{"id":"400e7d1d-40d9-46b4-8c60-05c784f45ac1","arxiv_id":"2606.18818","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Convex optimal control is realized as an infinite-dimensional incremental port-Hamiltonian PDE whose equilibria recover Pontryagin optima and whose shifted Hamiltonian indicates convergence under controllability.","lead":"The paper casts continuous-time primal-dual gradient dynamics for linear-convex optimal control as an infinite-dimensional port-Hamiltonian PDE system in physical and algorithmic time. This framing is offered as a route to suboptimal controllers and to interconnection-based stability analysis with other port-Hamiltonian systems.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the reader's already-flagged LaSalle gap.","rationale":"The note’s central structural claim—that infinite-dimensional PDGCT is an incremental port-Hamiltonian PDE system whose equilibria coincide with the first-order optimality conditions—is supported by a transparent formal calculation that lifts the static case without introducing new algebraic gaps. The only place where the argument is incomplete is precisely the one identified by the reader: the passage from “largest invariant set is the optimum” (Prop. 3.2) to actual asymptotic convergence in infinite dimensions is left as an expectation. No stronger load-bearing concern (e.g., failure of formal skew-adjointness, incorrect variational derivatives, or mismatch with Pontryagin) is present. Consequently the CONDITIONAL verdict and the medium correctness-risk assessment remain appropriate; no adjustment is warranted.","tokens_in":9685,"tokens_out":456,"duration_ms":3930,"concrete_test":"Specialize to the scalar LQR case (n=m=1, K quadratic) and discretize the PDE (17) by a simple method-of-lines scheme (finite differences in t, forward Euler in τ) with the boundary conditions (25). Check whether the discrete trajectories converge to the known closed-form optimal control as τ\to∞ for several mesh sizes; if they do not, the expected infinite-dimensional LaSalle step fails even in the simplest setting.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption is already the correct load-bearing soft spot: after Proposition 3.2 shows that the largest invariant set inside {dẽH/dτ=0} is the single optimal trajectory (under controllability of (A,B) and the boundary conditions (25)), the paper only asserts that a weak infinite-dimensional LaSalle principle is “expected” for suitable function spaces. No further hidden inconsistency appears in the formal derivation of the PDE system (17)/(23), the formal skew-adjointness of J, the energy balance (24), or the identification of equilibria with the Pontryagin conditions (13). The structural claim therefore stands; the convergence claim remains incomplete exactly as the reader states.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The note extends the known incremental port-Hamiltonian formulation of continuous-time primal-dual gradient dynamics from static constrained convex optimization to finite-horizon convex optimal control with linear dynamics. Interpreting the dynamics as infinite-dimensional equality constraints yields a two-time-scale system of PDEs (physical time t and algorithmic time τ) that is formally incremental port-Hamiltonian (Eqs. 17 and 23). Equilibria of the algorithmic dynamics coincide with the first-order conditions of Pontryagin’s minimum principle (13). A shifted Hamiltonian functional is constructed whose formal time derivative is non-positive under the mixed boundary conditions (25); Proposition 3.2 shows that the largest invariant set inside the zero-derivative set is the single optimal trajectory when (A,B) is controllable. The author argues that the PDE formulation can serve as a starting point for sub-optimal control schemes and for interconnection with other port-Hamiltonian systems.","tokens_in":9857,"tokens_out":864,"duration_ms":6916,"significance":"If the indicated convergence can be made rigorous, the paper supplies a clean structural bridge between continuous-time primal-dual methods and optimal control that inherits passivity and compositionality properties of port-Hamiltonian systems. This is potentially useful for “instant MPC”-style sub-optimal controllers and for distributed or interconnected optimization, and it clarifies the infinite-dimensional constructions already appearing in the recent literature (especially Gernandt–Schaller). The formal derivation of the skew-adjoint operator J, the energy balance, and the identification of equilibria with the Pontryagin conditions are clean and self-contained. The contribution is therefore of genuine interest as a short note, provided the convergence claim is either completed or carefully qualified.","major_comments":[{"comment":"After Proposition 3.2 the manuscript only asserts that a weak infinite-dimensional LaSalle principle is “expected” for suitable function spaces and technical conditions. The central claim of convergence to the optimal control therefore remains incomplete. Either a precise function-space setting and a reference (or sketch) of the applicable invariance principle should be supplied, or the abstract and conclusions should be rephrased to state only that the largest invariant set is the optimal trajectory and that asymptotic stability is indicated but not proved.","section":null},{"comment":"The energy balance (24) contains residual boundary terms that vanish only under the mixed conditions (25). Remark 3.3 correctly notes that without these conditions one obtains a boundary-controlled port-Hamiltonian system, yet the paper never returns to the question of how such boundary ports would be used for interconnection or for free-endpoint problems. A short clarification of the intended scope (fixed versus free terminal state) would strengthen the claim that the PDE system is ready for interconnection.","section":null}],"minor_comments":[{"comment":"The title uses “Suboptimal” while the abstract and body use “sub-optimal”; consistent hyphenation would improve polish.","section":null},{"comment":"References [14] and [15] appear to be identical; one should be removed.","section":null},{"comment":"In the display of the operator J (18) the placement of the partial-derivative symbols is slightly ambiguous; a short remark that they act only on the co-state component would help the reader.","section":null},{"comment":"The phrase “compromizing between” (Section 2) is a typographical error for “compromising between.”","section":null},{"comment":"A brief pointer to the precise domains that make J skew-adjoint (already referenced to [5]) would make the note more self-contained.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The note is short, correctly positioned as a clarification of ideas already present in [5], and free of circularity. The only load-bearing soft spot is the incomplete LaSalle argument; once that is either completed or carefully caveated, the manuscript is suitable for a short communication or note format. Fit with the journal depends on whether the venue regularly accepts conceptual/structural notes without full well-posedness proofs."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that van der Schaft writes down an explicit two-time-scale port-Hamiltonian PDE system (physical time t, algorithmic time τ) whose equilibria are exactly the Pontryagin first-order conditions for linear dynamics and strictly convex running cost. That formulation is not in the static papers or in the infinite-dimensional optimizer-dynamics work he cites as inspiration; it is a direct but useful lift.\n\nWhat the note does well is the formal derivation. Starting from the Lagrangian of the optimal-control problem, he obtains the monotone operator plus formally skew-adjoint J (equation 18), rewrites everything in energy variables, produces the shifted Hamiltonian, and gets the energy balance (24). Under the natural boundary conditions and controllability of (A,B), Proposition 3.2 correctly identifies the largest invariant set inside {dēH/dτ = 0} as the single optimal trajectory. The math is clean, self-contained, and easy to re-derive. Circularity is low; the self-citations are to the author’s own prior PH framework and are used as scaffolding, not as black boxes.\n\nThe soft spot is exactly the one the reader flagged and the stress-test confirmed: asymptotic convergence is only indicated. After the invariant-set argument the paper says a weak infinite-dimensional LaSalle principle is “expected” for suitable function spaces. No function-space details, no weak-solution theory, no numerical scheme. The suggestion that one could extract suboptimal controllers by discretizing the PDE is left as a research question. That is proportionate for a short note, but it means the strongest claim (convergence to the optimal control) remains incomplete.\n\nThis is for people already working on port-Hamiltonian systems, continuous-time primal-dual methods, or optimization-based control by interconnection. Outside that circle the payoff is modest. I would still send it to peer review: the structural observation is new enough and clean enough to deserve referee time, even if the referees will demand a sharper statement of what is proved versus what is hoped for. Worth a look if you care about the PH/optimization interface; not a must-read otherwise.","headline":"Clean, explicit PDE lift of port-Hamiltonian PDGCT to linear-convex optimal control; the structural claim is solid, the infinite-dimensional convergence claim is only sketched.","tokens_in":10457,"tokens_out":537,"would_cite":false,"duration_ms":5576,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49J15","93B52","37J25","49M29"],"pacs":[],"model":"grok-4.5","headline":"Continuous-time primal-dual gradient dynamics for convex optimal control form a port-Hamiltonian PDE system whose equilibria are the Pontryagin conditions and that can be used for sub-optimal control.","keywords":["primal-dual gradient dynamics","port-Hamiltonian systems","optimal control","Pontryagin minimum principle","infinite-dimensional systems","suboptimal control","shifted Hamiltonian"],"falsifier":"Construct an explicit linear controllable plant and strictly convex cost for which the PDE dynamics (17)–(23) with the stated boundary conditions remain bounded away from the unique Pontryagin solution for all algorithmic time; or prove that no such counter-example exists in the chosen Sobolev-type spaces.","tokens_in":10563,"feed_emoji":"⏱️","tokens_out":926,"duration_ms":8111,"temperature":0.7,"pith_summary":"The paper shows that the continuous-time primal-dual gradient algorithm, already known to be an incremental port-Hamiltonian system for static constrained convex optimization, extends in a natural way to the infinite-dimensional setting of linear optimal control with strictly convex cost. Interpreting the linear dynamics as equality constraints produces a system of partial differential equations in two times: ordinary physical time and an algorithmic time. That PDE system is itself an infinite-dimensional port-Hamiltonian system; its equilibria are exactly the first-order necessary conditions of Pontryagin’s minimum principle, and a shifted Hamiltonian decreases along trajectories. Under the natural mixed boundary conditions and controllability of the plant, this decrease indicates convergence to the optimal control. The same PDE formulation is proposed as a starting point for deriving computationally lighter, sub-optimal controllers, for example by discretizing the two-time dynamics or by stopping the algorithmic evolution early.","feed_headline":"Optimal control becomes a port-Hamiltonian PDE in two times","feed_subtitle":"Primal-dual gradient dynamics converge to Pontryagin solutions and yield sub-optimal controllers","key_machinery":"The formally skew-adjoint operator J that couples the state, control and co-state along physical time (Eq. 18), together with the shifted Hamiltonian functional built from the quadratic energy variables; their combination yields the infinite-dimensional port-Hamiltonian PDE (Eq. 23) whose dissipation inequality is used for the convergence argument.","core_discovery":"The continuous-time primal-dual gradient algorithm applied to a linear optimal-control problem with strictly convex running cost is an infinite-dimensional incremental port-Hamiltonian system of PDEs whose equilibria coincide with the Pontryagin first-order conditions and whose shifted Hamiltonian is non-increasing, thereby indicating asymptotic convergence to the optimal trajectory under the mixed boundary conditions of the minimum principle and controllability of (A,B).","pith_inferences":["Because the dissipation inequality is exact, any consistent spatial discretization of the PDE should inherit a discrete passivity property that can be exploited for certified early termination in model-predictive control.","The two-time structure suggests a natural multi-rate implementation: fast algorithmic iterations nested inside a slower physical-time receding-horizon loop.","If the same construction works for nonlinear plants whose dynamics remain port-Hamiltonian, the approach would cover a much larger class of optimal-control problems without losing the Lyapunov argument."],"forward_implications":["Numerical schemes for the two-time port-Hamiltonian PDE can be truncated early to obtain real-time sub-optimal controllers with built-in passivity guarantees.","The same PDE system can be interconnected with other port-Hamiltonian plants (physical or optimizer dynamics) while preserving a shifted total Hamiltonian as a Lyapunov function.","State and input constraints can be incorporated by replacing gradients with subdifferentials inside the same port-Hamiltonian structure.","Distributed optimal control problems become power-preserving interconnections of infinite-dimensional primal-dual gradient systems."],"fun_headline_variants":["Primal-dual gradients yield port-Hamiltonian PDEs for optimal control","Two-time port-Hamiltonian dynamics solve convex optimal control","Suboptimal control extracted from primal-dual PDE systems","Optimal trajectories as equilibria of port-Hamiltonian primal-dual flows","Primal-dual gradient PDEs converge to Pontryagin solutions"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That a weak LaSalle invariance principle holds in the infinite-dimensional function spaces once the largest invariant set inside the zero-dissipation set has been shown to be only the optimal trajectory.","fun_headline_variants_meta":{"raw":{"variants":["Primal-dual gradients yield port-Hamiltonian PDEs for optimal control","Two-time port-Hamiltonian dynamics solve convex optimal control","Suboptimal control extracted from primal-dual PDE systems","Optimal trajectories as equilibria of port-Hamiltonian primal-dual flows","Primal-dual gradient PDEs converge to Pontryagin solutions"]},"model":"grok-4.5","effort":"low","cost_usd":0.004996,"raw_usage":{"total_tokens":1276,"prompt_tokens":617,"num_sources_used":0,"completion_tokens":91,"cost_in_usd_ticks":49960000,"prompt_tokens_details":{"text_tokens":617,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":568,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":617,"tokens_out":91,"duration_ms":4443,"temperature":1.0,"reasoning_tokens":568,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T17:45:27.608243+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct an explicit linear controllable plant and strictly convex cost for which the PDE dynamics (17)–(23) with the stated boundary conditions remain bounded away from the unique Pontryagin solution for all algorithmic time; or prove that no such counter-example exists in the chosen Sobolev-type spaces.","supporting_citations":[],"review_version":2}