精读笔记
Problem Setting
论文标题：Symplectic Transversality and Endpoint Green Estimates for Finite-Horizon Pontryagin Systems（arXiv preprint / 2026）。
这篇论文处理的是有限时域离散时间 Pontryagin 系统在稳态 Pontryagin triple 附近的局部分支问题：给定两端边界扰动，是否存在唯一 stationary branch，并且解、敏感性、一阶展开的常数是否能对 horizon T 一致。
真正困难不在 PMP 方程本身，而在两点边值线性化的逆。固定 T 下可以直接用有限维隐函数定理，但这样 inverse norm 可能随 T 指数变坏。长时域下，内部动力学的 exponential dichotomy 只解释局部 forcing 的指数衰减；两端边界行会产生 homogeneous correction，这些 correction 从相反端点开始衰减，虽然小，但在非线性加权估计中不可忽略。
关键矛盾是：要做 nonlinear local branch，需要一个统一的线性逆；但有限时域边界条件本身正是导致逆随 T 变坏的来源。本文的目标就是把“什么时候不会变坏”刻画为 stable/unstable boundary transversality，并把它转化成可验证的 Green estimate。
Motivation
已有路线不够的地方很明确。固定 horizon 的 IFT 对实际长时域敏感性没有解释力；turnpike / sensitivity 文献虽然有 horizon-uniform decay，但通常工作在 optimal solutions 上，依赖二阶充分条件、constraint qualification、耗散性或 Riccati 型最优结构。本文想避开这些：它只研究 stationary Pontryagin branch，不声称 optimality。
作者的核心观察是：有限时域 Pontryagin BVP 的 conditioning 本质上是 exponential dichotomy + compatible boundary rows，而 compatible 的正确形式不是普通边界矩阵可逆，而是稳定端和不稳定端在 scaled coordinates 下的横截性。换句话说，缺的不是另一个最优性条件，而是一个能直接服务于 nonlinear contraction 的 endpoint Green estimate。
这也解释了为什么论文会走 symplectic transversality 路线：Pontryagin/LQ 线性化天然是 symplectic，stable/unstable spaces 是 Lagrangian；因此 endpoint inverse 假设可以在数据层面转化为图横截性或 Riccati 条件，而不是作为不可检查的抽象假设停留。
Core Idea
核心思想可以压缩为一句话：用 scaled stable/unstable transversality 构造带 endpoint correction 的 Green kernel，再用与两端衰减匹配的权重做非线性收缩。
这改变了问题的组织方式。普通做法会把有限时域 BVP 看成一个大线性系统求逆；本文把它拆成稳定子空间从左端传播、不稳定子空间从右端传播，以及 forcing 诱导的 particular solution，再用 endpoint rows 只匹配有限维的 stable/unstable 系数。scaled Γ_N 的作用是把 unstable 系数预先按 D_u^{-N} 缩放，避免长时域指数爆炸，因此可逆性变成 T-uniform 的横截性问题。
和 prior 的本质区别在于，本文不是从 optimality / dissipativity 推出轨道中段靠近稳态，而是从线性边值问题的横截性推出某个局部 stationary branch 的端点衰减与一阶敏感性。它的 inductive bias 是 Hamiltonian/symplectic splitting，而不是价值函数凸性或耗散结构。
Method
1. Stationarity-based control elimination：利用 H_uu 非奇异，把 H_u=0 局部解成 u=ν(x,p_+)。这一步把 Pontryagin 条件转化为状态-协态的隐式一步方程 F(z_t,z_{t+1})=0。它解决变量耦合问题，但同时把适用范围限定在 interior stationary graph。
2. Endpoint inverse property：定义线性问题 L[h_t,h_{t+1}]=f_t, B_0h_0+B_Th_T=b 的统一逆估计。重要的是 kernel κ_T 包含三项：interior decay 与两个 endpoint-image decay。这个定义不是形式主义；后两个项正是非线性边界残差和 forcing 通过对端传播回来时需要的估计。
3. Scaled transversality：当 L_1 可逆时化为 h_{t+1}=Mh_t+g_t。若 M hyperbolic，则用 stable basis V_s 与 unstable basis V_u 构造 Γ_N。Γ_N 一致可逆意味着边界行能以 T-uniform 条件数确定稳定/不稳定 homogeneous coefficients。这一步是从动力学二分到两端 BVP 可逆性的桥。
4. Weighted nonlinear reconstruction：选 w_T(t)=e^{-αt}+e^{-α(T-t)}，α<γ/2。由于 quadratic residual 是 O(w_T^2)，而 Green kernel 与 w_T^2 卷积仍是 O(w_T^2)，收缩映射可以在半径 O(‖Δ‖) 的 weighted ball 内闭合，并给出 O(w_T^2‖Δ‖^2) 的一阶余项。
5. Symplectic/Riccati verification：LQ 线性化的 transition matrix M 是 symplectic；stable/unstable spaces 是 Lagrangian。对边界 x_0=ξ, p_T-Sx_T=π，transversality 变成 X_s 与 P_u-SX_u 的可逆性。对 stabilizable、A 可逆、Q,R 定正的 LQ 系统，energy identity 排除单位圆谱并证明 graph 条件。
Key Insight / Why It Works
最核心贡献是 endpoint-corrected Green estimate，而不是控制消元或 Banach contraction 本身。控制消元是标准 IFT；weighted contraction 也是常规技巧。真正有价值的是作者准确识别了有限时域两端边界造成的额外 kernel，并把它保留下来用于非线性估计。如果只用普通 e^{-γ|t-s|} Green kernel，端点 residual 的传播无法以 w_T^2 形式闭合。
方法有效的原因是三层结构完全匹配：hyperbolicity 给 stable/unstable decay；scaled transversality 保证两端 boundary matching 不放大；endpoint weight 让 quadratic residual 在 Green convolution 下保持更高阶。这里不是 scaling law，也不是数据覆盖，也不是 hidden supervision；本质上是 latent symplectic structure 与边值问题 conditioning 的对齐。
最可能的实质创新是把 classical dichotomy/BVP conditioning 机制具体化为离散 Pontryagin 系统可用的 endpoint-corrected kernel，并进一步和 nonlinear endpoint maps 结合。Symplectic 与 Riccati 部分更像是重要但相对传统的 certificate 层：它把抽象 inverse hypothesis 变成 LQ 数据条件，但许多事实本身属于经典 Hamiltonian/Riccati 理论。数值部分则主要是 scaling/certificate demonstration，不应被理解为方法增益来源。
需要强调：文中的 decay 不是 turnpike 机制。它只说明在给定横截性和小端点扰动下，局部分支的影响从端点指数衰减；不是说任意最优轨道中段会靠近稳态，也不说明全局最优性。
Relation To Prior Work
最接近的技术谱系是 exponential dichotomy for two-point BVP、finite-interval Green estimates、Hamiltonian/symplectic Riccati theory，以及最优控制敏感性/turnpike 文献。
和 dichotomy/BVP 经典理论相比，本文的新意不是发现“二分 + 边界横截性 = well-conditioned”，而是把这个机制写成适配离散 Pontryagin 非线性重构的 endpoint-corrected kernel，并显式展示两个 endpoint-image terms 如何进入 contraction。
和 sensitivity/turnpike 工作相比，本质差异是对象不同：已有很多结果在 optimal solution/KKT 系统上工作，假设 SOSC、CQ、耗散性或强正则性；本文只要求 stationary branch 的 linear endpoint inverse。它更弱也更局部：少了 optimality 假设，但也少了全局最优轨道解释。
和 Riccati/LQ 理论相比，Theorem 7.2 的 substance 相当经典：stabilizability + definite weights 排除单位圆谱，并给出 graph property。本文的实质增量在于把这些经典条件接到前面的 horizon-uniform nonlinear branch theorem 上。也就是说，Riccati 不是替代最优性理论，而是 inverse hypothesis 的 certificate。
Dataset / Evaluation
这不是数据驱动论文，evaluation 主要是数值 illustration。实验覆盖一个低维 coupled LQ 数据和一个小的非线性动力学扰动，展示 scaled boundary matrices 的收敛、最小奇异值的稳定，以及 weighted first-order remainder 对 horizon 基本有界。
这些实验确实验证了论文核心机制的可计算性：Γ_N、Γ_∞、graph transversality margin、empirical Green constant 都能通过有限矩阵计算得到；非线性例子也符合 O(w_T^2‖Δ‖^2) 的理论预期。
但 evaluation 很窄：没有多场景、大规模、真实控制系统或复杂约束；也没有展示在接近 transversality failure 时常数如何恶化。它支持“certificate 可数值检查”这一 claim，但不支持更强的泛化或实际部署 claim。好在论文也没有过度宣称实验贡献。
Limitation
第一，核心假设很强：linearized endpoint inverse property 是整篇文章的承重墙。Symplectic/Riccati 只能覆盖一部分数据；一般非 LQ、非 hyperbolic、非图型稳定/不稳定空间时，验证路线并不充分。
第二，控制消元要求 H_uu 非奇异且参考控制在 int U。活跃约束、bang-bang、奇异控制、控制边界上的 Pontryagin cone 都不在当前理论内。作者提到 polyhedral face + strict complementarity 作为扩展，但文中未充分说明。
第三，L_1 singular 情况基本被留作 open problem。当前最清楚的 certificate 依赖把隐式线性化化成 first-order map；一旦这一步失败，Definition 4.1 虽然可作为假设，但数据级可验证性缺失。
第四，结果只保证局部 stationary branch，不保证最优性、不保证全局存在，也不保证 dissipative turnpike。若读者把中段 decay 理解为 optimal turnpike，会误读论文。
第五，scalability 的真实瓶颈在高维 stable/unstable subspace 与 Γ_N condition number 的数值计算。理论上 constants uniform in T，但不代表 uniform in dimension 或 robust to near-tangency。这里的增益可能主要来自数据满足良好 transversality margin；margin 小时方法没有魔法。
Takeaway
- 1. 对有限时域 Pontryagin BVP，长时域稳定性的核心不是 PMP，而是两端边界线性化的 T-uniform inverse；这个 inverse 必须显式包含 endpoint correction。
- 2. Scaled stable/unstable transversality 是一个很干净的 reusable certificate：它把 horizon-dependent 大系统 conditioning 降到固定维度的子空间横截性问题。
- 3. Weighted spaces 的选择不是技术装饰，而是和 endpoint Green kernel 精确匹配的机制；这一点可以迁移到其他有限区间 Hamiltonian/BVP、非自治二分系统和 KKT sensitivity 问题。
- 4. 真正值得继续做的是 singular L_1、活跃约束面、非自治 reference，以及把 stationary branch certificate 与二阶充分条件结合，形成既有 local branch 又有 optimality 的完整理论。
一句话总结
这篇论文把有限时域 Pontryagin stationary branch 的 horizon-uniform 正则性归结为 symplectic stable/unstable endpoint transversality，并通过 endpoint-corrected Green estimate 给出一个比传统固定时域 IFT 更可解释、但仍高度局部的边值问题正则化框架。