REVIEW 2 major objections 3 minor 30 references
Nonlinear Dynamics from Linear Quantum Evolutions
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A linear quantum flow, restricted to Gaussian or coherent states, becomes generically nonlinear on the parameter manifold; a pulled-back Lagrangian handles non-invariant families.
desk verdict The invariant-submanifold reduction is careful and mostly correct, but the advertised extension to non-invariant submanifolds is never checked against the exact Schrödinger flow, and the harmonic-oscillator section contains a sign slip. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the pair $(\tilde\omega_L,\tilde E_L)$ obtained by pulling back, through the tangent map of the immersion $i:M\to\mathcal{H}$, the Lagrangian two-form and the energy of the projective Schrödinger dynamics. The equation $i_{\tilde\Gamma_l}\tilde\omega_L=-\tilde d\tilde E_L$ then defines the induced vector field on the parameter manifold; when the pulled-back two-form is degenerate, its kernel generators (dilations and phase rotations) must be handled separately, and a parallel-transport condition fixes the normalization and phase. In the invariant case, the same result is obtained by directly restricting the original Schrödinger vector field, and the two procedures provably coincide; in this way the Lagrangian machinery supplies a dynamical generalization of the variational method for trial states.
What would settle it
Run the anharmonic-oscillator Schrödinger equation numerically from a normalized Gaussian initial state with $\lambda>0$ and compare the time-dependent width, centroid, and overlap with the trajectory of the reduced system (4.60). If the reduced trajectory departs from the exact evolution on a time scale comparable to the harmonic period, the paper's advertised approximation scheme for non-invariant families is not supported.
Extended reading notes
Core claim
On the paper's own terms, the central claim is that a one-parameter unitary group $\phi_t$ on a Hilbert space $\mathcal{H}$, restricted to an immersed submanifold $i(M)\subset\mathcal{H}$ of states, induces a one-parameter group $\tilde\phi_t$ on $M$, and this induced dynamics is generically nonlinear regardless of whether the embedding $i$ itself is nonlinear. For invariant submanifolds, the restriction of the Schrödinger vector field directly gives $\tilde\phi_t$; for non-invariant submanifolds, the covariant Lagrangian procedure defines a vector field $\tilde\Gamma_l$ on $TM$ by $i_{\tilde\Gamma_l}\tilde\omega_L=-\tilde d\tilde E_L$, where $\tilde\omega_L=(Ti)^*\omega_L$ and $\tilde E_L=(Ti)^*E_L$, and this is an approximation of the full evolution within the chosen family. The paper verifies the invariant case on squeezed and correlated Gaussian states for the free particle and harmonic oscillator, obtaining nonlinear equations for the Gaussian parameters; it verifies the non-invariant case on the anharmonic oscillator, obtaining the finite-dimensional system (4.60). A further claim is that the nonlinearity of the induced dynamics is unrelated to the nonlinearity of the embedding: for spin-coherent states and for bosonic and fermionic oscillator coherent states, the induced motion is simply $z\mapsto z e^{i\omega t}$.
Load-bearing premise
The load-bearing premise is that the motion computed on a non-invariant family of trial states is a faithful approximation of the actual Schrödinger evolution; the paper gives the reduced equations for the anharmonic oscillator, but explicitly leaves the detailed comparison with the full quantum evolution to future work.
Editorial extensions
If this is right
- A linear quantum flow restricted to an invariant state family is generically nonlinear: Gaussian states for the free particle and the harmonic oscillator obey the nonlinear systems (2.15) and (2.36), so nonlinearity can arise from confinement to a submanifold rather than from nonlinear fundamental laws.
- When the submanifold is invariant, the direct restriction procedure and the pulled-back Lagrangian procedure give the same dynamics on the parameter manifold.
- For non-invariant families, the pulled-back Lagrangian yields a finite-dimensional system of ODEs, such as equations (4.60) for the anharmonic oscillator, generalizing the variational method from stationary problems to time-dependent ones.
- The induced dynamics can be linear even when the embedding is nonlinear: spin-coherent states and bosonic and fermionic oscillator coherent states all rotate as $z\mapsto z e^{i\omega t}$ under their natural Hamiltonians, so the nonlinearity of the embedding and of the induced flow are independent.
- The same Lagrangian reduction works for anticommuting-valued parameter spaces, where it reproduces fermionic anticommutation relations through a symmetric bracket, indicating that the construction covers fermionic systems as well.
Reading between the lines
- If the anharmonic reduction proves quantitatively accurate, the procedure offers a practical route to simulate infinite-dimensional quantum dynamics by integrating finite ODEs on a chosen trial-state family; adding more parameters should systematically improve fidelity, much as enlarging a variational ansatz improves ground-state energies.
- The symplectic coordinate reformulation of the Gaussian induced dynamics, with an inverse-square potential in the variance variables, hints that the reduced systems may be completely integrable in broader settings; this could be tested by searching for additional Poisson-commuting invariants beyond the two found for the free and harmonic cases.
- The same pulling-back construction could be applied to open-system dynamics: the paper sketches an invariant equatorial disc in the qubit state space for a non-Markovian qubit evolution, suggesting a route to classical-like non-Markovian dynamics on parameter manifolds.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies how a linear unitary flow on a Hilbert space induces dynamics on submanifolds of states. For invariant submanifolds (Gaussian states, coherent-state families), the authors compute the reduced nonlinear equations for free and harmonic-oscillator Hamiltonians and for spin/bosonic/fermionic coherent states. For non-invariant submanifolds, they propose a covariant pullback of a degenerate Lagrangian for the Schrödinger equation, Eq. (1.8), which yields a reduced Hamiltonian system on the parameter manifold; the anharmonic oscillator is treated as the example. The invariant-submanifold part is explicit and mostly self-contained; the non-invariant approximation claim is not tested.
Significance. If the reduction results are correct, the paper provides a clean geometric mechanism for nonlinear dynamics from linear evolution and a variational scheme for time-dependent problems. The restriction computations are explicit, no parameters are fitted, and the Darboux-coordinate analysis in §4.1–4.2 gives integrable finite-dimensional systems. However, the advertised generalization to non-invariant submanifolds lacks any validation, so the significance of that part is presently conditional.
major comments (2)
- [Section 4, Eq. (4.60) and paragraphs following it] The central new claim—that the pulled-back Lagrangian dynamics approximates the unitary flow when the submanifold is not invariant—is not supported. The manuscript states verbatim that "an extensive comparison between solutions of the equations of the motion on the submanifold of Gaussian states and their quantum evolution is beyond the scope of this paper and will be addressed elsewhere," and the conclusion repeats that approximation procedures are future work. No error estimate and no numerical comparison are provided. Without such a check, the anharmonic-oscillator equations are just one particular dynamical system on the parameter manifold, and the abstract's claim that the Lagrangian procedure "can be extended also to non-invariant submanifolds" as an approximation is unsubstantiated. Please add a quantitative comparison with the exact evolution (for example, the state overlap between the reduced Gaussian state and the projected Schrödinger state) or clearly present the approximation property as a conjecture.
- [§2.2, Eq. (2.37) vs. §4.2, Eq. (4.42)] The two displayed equations for the real part of the Gaussian-width parameter have opposite signs for the ω² term. Substituting a = a_R + i a_I into Eq. (2.36) gives ˙a_I = 2(a_I² - a_R²) + ω²/2, in agreement with Eq. (4.42), so Eq. (2.37) is wrong as printed. This error also makes Eq. (2.37) inconsistent with the solutions (2.38)–(2.40), which correspond to the plus sign. The sign in Eq. (2.37) should be corrected.
minor comments (3)
- [§4.2, Eq. (4.59)] The coefficient of db_R contains a spurious term ω b_R/(4a_R²) in addition to the correct ω² b_R/(4a_R²). Differentiating Eq. (4.58) with respect to b_R yields only the latter term; the printed differential is therefore inconsistent with the equations of motion (4.60), which contain no corresponding ω term in the evolution of b_I.
- [Section 4, before Example 1] The text says that equality of the two reduction procedures on an invariant submanifold "is, actually, a general result which will be shown in the rest of this section," but the subsequent argument only proves that the pulled-back forms and energy satisfy the commutation relations (4.20). The proof that the restricted Schrödinger vector field coincides with the Hamiltonian vector field defined by (4.22) is only sketched; please state this argument explicitly.
- [Section 4, bullet list] There is a typo in the second bullet: "insotropic" should read "isotropic." Similar small typos (e.g., "corrsponding" in Example 1) should be corrected.
Circularity Check
No significant circularity: the reduced dynamics are derived by direct restriction or Lagrangian pullback, with no fitted parameters and no prediction that reduces to its inputs.
full rationale
The paper's derivation chain is self-contained and non-circular. In the invariant-submanifold cases, the reduced equations are obtained by direct substitution of the Gaussian ansatz into the Schrödinger equation, e.g. Eq. (2.14) '−i˙a(t)x2 + i˙b(t)x + i˙c(t) = −1/2 {[−2a(t)x + b(t)]2 + (−2a(t))}' leading to (2.15), and similarly for the harmonic oscillator in (2.35)–(2.36). These are not fitted to any target; they are algebraic consequences of requiring the restricted flow to remain on the chosen submanifold. The Lagrangian procedure of Section 4 pulls back a fixed Lagrangian, Eq. (4.2), to the parameter manifold, and the resulting equations (4.28) and (4.41)–(4.44) are shown to coincide with the direct restriction results on invariant submanifolds, which is an independent consistency check rather than a circular reduction. The anharmonic-oscillator example explicitly acknowledges that the reduced finite-dimensional system is only claimed to be an approximation, and the paper states that 'an extensive comparison between solutions of the equations of the motion on the submanifold of Gaussian states and their quantum evolution is beyond the scope of this paper and will be addressed elsewhere.' That is an unvalidated approximation claim, not a circular one: the pulled-back Lagrangian always defines some dynamical system on the parameter manifold, and no equation in the derivation is equivalent to the target conclusion by construction. The self-citations (e.g. [1], [3], [26]) supply context and previous examples, but the paper's central equations are derived in the text from the Schrödinger equation and the given Lagrangian without relying on those citations as load-bearing premises. There are no fitted parameters, no benchmark predictions, and no uniqueness theorem invoked from the authors' own prior work to force a choice. The score is therefore 0.
Assumptions & free parameters
assumptions (3)
- standard math The Lagrangian L = i/2[(ψ,vψ)-(vψ,ψ)]/(ψ,ψ) - (ψ,Hψ)/(ψ,ψ), together with the parallel transport condition (4.4), correctly reproduces the Schrödinger equation on the Hilbert space.
- ad hoc to paper The pulled-back Lagrangian dynamics on a non-invariant submanifold M is an acceptable approximation of the full unitary evolution, even though no error estimate is supplied.
- standard math The quotient by R+×U(1) and the choice of connection allow one to lift dynamics from the projective Hilbert space back to a normalized, phase-fixed vector satisfying Eq. (1.1).
Cite this review
Pith. "Pith review of Nonlinear Dynamics from Linear Quantum Evolutions." pith.science (2026). https://pith.science/paper/7YJR5OGW
@misc{pith2026190803699,
author = {Pith},
title = {Pith review of: Nonlinear Dynamics from Linear Quantum Evolutions},
year = {2026},
howpublished = {\url{https://pith.science/paper/7YJR5OGW}},
note = {Machine review of arXiv:1908.03699}
}
abstract
Linear dynamics restricted to invariant submanifolds generally gives rise to nonlinear dynamics. Submanifolds in the quantum framework may emerge for several reasons: one could be interested in specific properties possessed by a given family of states, either as a consequence of experimental constraints or inside an approximation scheme. In this work we investigate such issues in connection with a one parameter group $\phi_t$ of transformations on a Hilbert space, $\mathcal{H}$, defining the unitary evolutions of a chosen quantum system. Two procedures will be presented: the first one consists in the restriction of the vector field associated with the Schr\"{o}dinger equation to a submanifold invariant under the flow $\phi_t$. The second one makes use of the Lagrangian formalism and can be extended also to non-invariant submanifolds, even if in such a case the resulting dynamics is only an approximation of the flow $\phi_t$. Such a result, therefore, should be conceived as a generalization of the variational method already employed for stationary problems.
Reference graph
Works this paper leans on
-
[1]
V. I. Man’ko and G. Marmo. Generalized reduction procedure and nonlinear non- stationary dynamical systems. Mod. Phys. Lett. A , 7(36), 1992. ↓ 2
work page 1992
-
[21]
P. Kramer and M. Saraceno. Geometry of the time dependent variational principle in Quantum Mechanics . Springer-Verlag, Berlin, 1981. ↓ 21 37
work page 1981
-
[2]
F.M. Ciaglia, F. Di Cosmo, A. Ibort, and G. Marmo. Dynamical aspects in the quantizer–dequantizer formalism. Ann. Phys., 385:769–781, 2017. ↓ 3
work page 2017
-
[3]
F. Almaki and V. V. Kisil. Geometric dynamics of a harmonic oscillator, arbitrary minimal uncertainty states and the smallest step 3 nilpotent Lie group. J. Phys. A: Math. Theor., 52(2):025301–25, 2018. ↓ 3, 31 36
work page 2018
-
[4]
F. Almaki and V. V. Kisil. Solving the Schr¨ odinger equation by reduction to a first- order differential operator through a coherent states transform.arXiv:1903.03554v2, 2019.↓ 3
work page Pith review arXiv 1903
-
[5]
V. V. Dodonov, E. V. Kurmyshev, and V. I. Man’ko. Generalized uncertainty relation and correlated coherent states. Phys. Lett. A , 79:150,152, 1980. ↓ 7
work page 1980
-
[6]
H. P. Robertson. The Uncertainty Principle. Phys. Rev., 34:163,164, 1929. ↓ 7
work page 1929
-
[7]
E. Schr¨ odinger. Zum Heisenbergschen Unscharfeprinzip. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse , 14:296,303, 1930. ↓ 7
work page 1930
Show all 30 references
-
[8]
J. M. Radcliffe. Some properties of coherent spin states. J. Phys. A: Gen. Phys. , 4(313), 1971. ↓ 12
1971
-
[9]
V. I. Man’ko, G. Marmo, F. Ventriglia, and P. Vitale. Metric on the space of quantum states from relative entropy. Tomographic reconstruction. J. Phys. A: Math. Theor, 50(335302), 2017. ↓ 13
2017
-
[10]
Glauber Photon Correlations
R. Glauber Photon Correlations. Phys. Rev. Lett., 10(84), 1963. ↓ 14
1963
-
[11]
E. C. G. Sudarshan. Equivalence of semiclassical and Quantum Mechanical descrip- tions of statistical light beams. Phys. Rev. Lett., 10(277), 1963. ↓ 14
1963
-
[12]
V. I. Man’ko, G. Marmo, E. C. G. Sudarshan, and F. Zaccaria. f-oscillators and nonlinear coherent states. Phys. Scripta, 55(5):528, 1997. ↓ 14, 15
1997
-
[13]
I. V. Dudinec, V. I. Man’ko, G. Marmo, and F. Zaccaria. Tomography on f- oscillators. Physica Scripta,55(5):528-541, 2017. ↓ 14
2017
-
[14]
P. Jordan. Der Zusammenhang der symmetrischen und linearen Gruppen und das Mehrk¨ orperproblemZeit. Phys., 94(7):531-535, 1935. ↓ 16
1935
-
[15]
Schwinger
J. Schwinger. Quantum theory of angular momentum . Academic press, New York, 1965.↓ 16
1965
-
[16]
V. I. Man’ko, G. Marmo, P. Vitale, and F. Zaccaria. A generalization of the Jordan- Schwinger map: the classical version and its q deformation. Int. J. of Mod. Phys. A, 9(5541), 1994. ↓ 16, 34
1994
-
[17]
J.W.F. Valle. Fermionic coherent states in a Fock superspace. J. Math. Phys. , 22:1521–1525, 1981. ↓ 17, 34
1981
-
[18]
A pedagogical presentation of a C ⋆-algebraic approach to quantum tomography
A Ibort, V I Man’ko, G Marmo, A Simoni, and F Ventriglia. A pedagogical presentation of a C ⋆-algebraic approach to quantum tomography. Phys. Scripta , 84(6):065006, 2011. ↓ 19
2011
-
[19]
V. V. Dodonov, I. A. Malkin, and V. I. Man’ko. Even and odd coherent states and excitations of a singular oscillator. Physica, 72(3):597,615, 1974. ↓ 20
1974
-
[20]
Ansari and V.I
N.A. Ansari and V.I. Man’ko. Photon statistics of multimode even and odd coherent light. Phys. Rev. A , 50(2):1942, 1994. ↓ 20
1942
-
[22]
Balachandran, G
A.P. Balachandran, G. Marmo, B. Skagerstam, and A. Stern. Gauge symmetries and fibre bundles . Lect. Not. Phys., vol.188, Springer, Berlin, 1983. ↓ 22
1983
-
[23]
Landi and G
G. Landi and G. Marmo. Algebraic differential calculus for gauge theories. Nucl.Phys.Proc.Suppl., 18A:171–206, 1990. ↓ 22
1990
-
[24]
Kol´ ar, J
I. Kol´ ar, J. Slov´ ak, and P. W. Michor.Natural operations in differential geometry . Springer-Verlag, Berlin Heidelberg, 1993. ↓ 22, 23
1993
-
[25]
G. Marmo. Neinhuis operators in Classical Dynamics. Proceedings of Seminar on Group theoretical Methods in Physics. USSR Academy of Sciences, Yurmala, Latvian SSR, May 1985. ↓ 26
1985
-
[26]
Krivoshlykov, V.I
S.G. Krivoshlykov, V.I. Man’ko, and I.N. Sissakian. Coherent state evolution for the quantum anharmonic oscillator. Phys. Lett. A , 90(4):165–168, 1982. ↓ 32
1982
-
[27]
Ibort, G
A. Ibort, G. Landi, J. Mar´ ın-Solano, and G. Marmo. On the inverse problem of Lagrangian supermechanics. Int. J. Mod. Phys. A , 8(20):3565–3576, 1993. ↓ 33
1993
-
[28]
Ibort and J
A. Ibort and J. Mar´ ın-Solano. Geometrical foundations of Lagrangian superme- chanics and supersymmetry. Rep. Math. Phys. , 32(3):385–409, 1993. ↓ 33
1993
-
[29]
Carmeli, G
C. Carmeli, G. Cassinelli, A. Toigo, and V.S. Varadarajan. Unitary representations of super Lie groups and applications to the classification and multiplet structure of super particles. Comm. Math. Physics , 263(1):217–258, 2006. ↓ 34
2006
-
[30]
F. A. Wudarski and D. Chruscinski. Markovian semigroup from non-Markovian evolutions. Phys. Rev. A , 93(042120), 2016. ↓ 35 38
2016
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.