pith. sign in

arxiv: 2510.20046 · v3 · submitted 2025-10-22 · 🪐 quant-ph · cond-mat.other· math-ph· math.MP

Exact State Evolution and Energy Spectrum in Solvable Bosonic Models

Valery Shchesnovich This is my paper

Pith reviewed 2026-05-18 04:07 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.othermath-phmath.MP
keywords solvable bosonic modelsstate evolutionenergy spectrumcontinued fractionsJacobi matrixquantum opticssqueezed states
0
0 comments X

The pith

Solvable bosonic models admit exact analytic solutions for state evolution from any initial state together with their energy spectra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an exact analytic solution to the time-evolution problem that works for a broad class of solvable bosonic models and for arbitrary initial states. It also derives the characteristic equation that fixes the energy spectrum and gives explicit expressions for the eigenstates in the form of continued fractions and principal minors of the associated Jacobi matrix. These results matter in quantum optics because bosonic models describe light propagation in nonlinear media and the generation of squeezed states; exact closed-form expressions remove the need for approximations or numerical truncation in such systems.

Core claim

An exact analytic solution to the state-evolution problem is presented, applicable to a broad class of solvable bosonic models and arbitrary initial states. Moreover, the characteristic equation governing the energy spectrum is derived and the eigenstates are found in the form of continued fractions and as the principal minors of the associated Jacobi matrix. The results provide a solid analytical framework for discussion of exactly solvable bosonic models.

What carries the argument

The characteristic equation together with the continued-fraction and Jacobi-matrix-minor representations of the eigenstates, which together permit closed-form time evolution for arbitrary initial states.

If this is right

  • Time-evolved states can be written in closed form for any initial state without truncation or approximation.
  • The energy levels are the roots of the derived characteristic equation.
  • Eigenstates can be constructed recursively via continued fractions or by evaluating the principal minors of the Jacobi matrix.
  • Analytic predictions become available for squeezed-state generation and higher-order nonlinear optical processes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same Jacobi-matrix construction could be tested on other exactly solvable bosonic systems that share the tridiagonal recurrence property.
  • Direct comparison of the closed-form evolution with experimental data on state evolution in nonlinear media would provide an independent check.
  • Adaptation of the characteristic equation to weakly driven or time-dependent versions of these models offers a natural next step.

Load-bearing premise

The Hamiltonians of the bosonic models must possess the recursive structure that permits reduction to a Jacobi matrix whose principal minors and continued fractions yield the exact eigenstates and spectrum.

What would settle it

For a concrete solvable model such as parametric down-conversion, insert the analytic formulas into a small truncated Hilbert space and check whether the resulting state evolution exactly reproduces the numerical solution of the Schrödinger equation over the same interval.

Figures

Figures reproduced from arXiv: 2510.20046 by Valery Shchesnovich.

Figure 1
Figure 1. Figure 1: FIG. 1: The non-zero squared amplitudes [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
read the original abstract

Solvable bosonic models provide a fundamental framework for describing light propagation in nonlinear media, including optical down-conversion processes that generate squeezed states of light and their higher-order generalizations. In quantum optics a central objective is to determine the time evolution of a given initial state. Exact analytic solution to the state-evolution problem is presented, applicable to a broad class of solvable bosonic models and arbitrary initial states. Moreover, the characteristic equation governing the energy spectrum is derived and the eigenstates are found in the form of continued fractions and as the principal minors of the associated Jacobi matrix. The results provide a solid analytical framework for discussion of exactly solvable bosonic models.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript presents an exact analytic solution to the state-evolution problem applicable to a broad class of solvable bosonic models and arbitrary initial states. It derives the characteristic equation governing the energy spectrum and constructs the eigenstates in the form of continued fractions and as the principal minors of the associated Jacobi matrix, providing an analytical framework for these models in quantum optics.

Significance. If the central claims hold, the work supplies a useful closed-form analytical toolkit for time evolution in exactly solvable bosonic Hamiltonians that arise in nonlinear optics, including squeezed-state generation, without requiring numerical diagonalization or truncation for the models in the solvable class.

major comments (2)
  1. [Abstract / central derivation] Abstract and main derivation: the claim of an 'exact analytic solution to the state-evolution problem' for arbitrary initial states rests on constructing the eigenbasis via continued fractions and Jacobi-matrix minors. However, the time-evolved state is expressed as the formal sum |ψ(t)⟩ = ∑_k ⟨φ_k|ψ(0)⟩ e^{-i E_k t} |φ_k⟩; the manuscript does not demonstrate that the overlaps ⟨φ_k|ψ(0)⟩ admit closed analytic expressions for generic |ψ(0)⟩, leaving the result as an infinite series whose summation is not shown to close or simplify.
  2. [Main results section] The characteristic equation and eigenstate construction are standard for three-term recurrences in the Fock basis, but the step from this eigenbasis to a non-series, closed-form expression for U(t)|ψ(0)⟩ on arbitrary initial states is the load-bearing link that requires explicit verification or additional identities.
minor comments (2)
  1. Clarify the precise class of Hamiltonians for which the continued-fraction representation converges and the Jacobi-matrix minors are well-defined.
  2. Add a brief comparison with existing methods (e.g., algebraic solutions for specific quadratic or quartic bosonic models) to highlight novelty.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important aspects of the scope and presentation of our analytic results, which we address point by point below. We are prepared to make revisions to clarify the nature of the exact solution and strengthen the exposition.

read point-by-point responses

  1. Referee: [Abstract / central derivation] Abstract and main derivation: the claim of an 'exact analytic solution to the state-evolution problem' for arbitrary initial states rests on constructing the eigenbasis via continued fractions and Jacobi-matrix minors. However, the time-evolved state is expressed as the formal sum |ψ(t)⟩ = ∑_k ⟨φ_k|ψ(0)⟩ e^{-i E_k t} |φ_k⟩; the manuscript does not demonstrate that the overlaps ⟨φ_k|ψ(0)⟩ admit closed analytic expressions for generic |ψ(0)⟩, leaving the result as an infinite series whose summation is not shown to close or simplify.

    Authors: The exact analytic solution we present consists of the closed-form characteristic equation for the energies E_k together with explicit analytic expressions for the eigenstates |φ_k⟩ in terms of continued fractions (or equivalently the principal minors of the Jacobi matrix). These constructions are non-numerical and apply for the entire solvable class. For an arbitrary initial state expanded in the Fock basis, the overlaps ⟨φ_k|ψ(0)⟩ are then obtained by direct inner products with these analytic coefficient sequences; the resulting spectral sum is therefore exact. While we do not claim that the infinite sum always reduces to a finite closed expression for every conceivable |ψ(0)⟩, the framework supplies an analytic, truncation-free route to the time evolution that is the central contribution. We will revise the abstract and add a new subsection that explicitly computes the overlaps for representative states (Fock states and coherent states) and shows how the continued-fraction structure yields analytic expressions or rapidly convergent series in those cases. revision: partial

  2. Referee: [Main results section] The characteristic equation and eigenstate construction are standard for three-term recurrences in the Fock basis, but the step from this eigenbasis to a non-series, closed-form expression for U(t)|ψ(0)⟩ on arbitrary initial states is the load-bearing link that requires explicit verification or additional identities.

    Authors: We agree that three-term recurrences and their associated continued-fraction solutions are classical. Our advance is the concrete realization of these objects for the broad family of solvable bosonic Hamiltonians arising in nonlinear optics, together with the identification of the eigenstates as principal minors of the Jacobi matrix. This supplies a uniform analytic toolkit that bypasses both numerical diagonalization and basis truncation. We do not assert a summation-free closed form for U(t)|ψ(0)⟩ that holds for every initial state; the spectral decomposition itself is the exact solution furnished by the analytic eigenbasis. To address the concern, we will insert an explicit verification subsection that (i) derives the matrix elements of U(t) in the Fock basis using the continued-fraction coefficients and (ii) demonstrates consistency with direct numerical integration on truncated subspaces for a concrete model. revision: partial

Circularity Check

0 steps flagged

Derivation from Hamiltonian recurrence to continued-fraction eigenstates and Jacobi minors is self-contained

full rationale

The paper starts from the bosonic Hamiltonian acting on the Fock basis to produce a three-term recurrence relation, then derives the characteristic equation whose roots are the energies and constructs the eigenstates explicitly as continued fractions or principal minors of the associated Jacobi matrix. These steps follow directly from the model definition without presupposing the time-evolution result or any fitted parameters. The subsequent spectral expansion for arbitrary initial states is the standard unitary evolution formula applied to the obtained eigenbasis; it does not reduce to a tautology or self-referential prediction. No load-bearing self-citations or ansatz smuggling are identified in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the models are solvable in the precise sense allowing the characteristic equation and continued-fraction construction; no free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption The bosonic models are solvable, permitting exact state evolution and spectrum via the characteristic equation, continued fractions, and Jacobi matrix minors.
    This premise is invoked to define the broad class to which the exact solution applies.

pith-pipeline@v0.9.0 · 5634 in / 1274 out tokens · 49718 ms · 2026-05-18T04:07:00.840095+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    V. P. Karassiov and A. B.Klimov, An algebraic approach for solving evolution problems in some nonlinear quan- tum models, Phys. Lett. A 191, 117 (1994)

    work page 1994

  2. [2]

    V. P. Karassiov, Symmetry approach to reveal hidden coherent structures in Quantum Optics. General outlook and examples, J. Russian Laser Research, 21, 370 (2000)

    work page 2000

  3. [3]

    V. P. Karassiov, A. A. Gusev, and S. I. Vinitsky, Polyno- mial Lie algebra methods in solving the second-harmonic generation model: some exact and approximate calcula- tions, Phys. Lett. A 295, 247 (2002)

    work page 2002

  4. [4]

    Lee, W.-Li Yang, and Y.-Zh

    Y.-H. Lee, W.-Li Yang, and Y.-Zh. Zhang, Polynomial algebras and exact solutions of general quantum nonlin- ear optical models I: two-mode boson systems, J. Phys. A: Math. Theor. 43, 185204 (2010)

    work page 2010

  5. [5]

    Lee, W.-Li Yang, and Y.-Zh

    Y.-H. Lee, W.-Li Yang, and Y.-Zh. Zhang, Polynomial al- gebras and exact solutions of general quantum nonlinear optical models: II. Multi-mode boson systems, J. Phys. A: Math. Theor. 43, 375211 (2010)

    work page 2010

  6. [6]

    V. V. Ulyanov and O. B. Zaslavskii, New methods in the theory of quantum spin systems, Phys. Rep. 216, 179 (1992)

    work page 1992

  7. [7]

    V. A. Andreev and O. A. Ivanova, The dynamics of three- boson interaction and algebraic Bethe ansatz, Phys. Lett. A. 171, 145 (1992)

    work page 1992

  8. [8]

    V. E. Korepin, N. M. Bogoliubov, and A. G. Izer- gin, Quantum Inverse Scattering Method and Correlation Functions (Cambridge University Press, 1993)

    work page 1993

  9. [9]

    R. W. Boyd, Nonlinear Optics (Academic Press, Elsevier 2008)

    work page 2008

  10. [10]

    S. L. Braunstein and R. I. McLachlan, Generalized squeezing, Phys. Rev. A 35, 1659 (1987)

    work page 1987

  11. [11]

    W. S. Chang, C. Sab ´ ın, P. Forn-D ´ ıaz, F. Quijandr ´ ıa, A. M. Vadiraj, I. Nsanzineza, G. Johansson, and C. M. Wil- son, Observation of Three-Photon Spontaneous Paramet- ric Down-Conversion in a Superconducting Parametric Cavity, Phys. Rev. X 10, 011011 (2020)

    work page 2020

  12. [12]

    Loudon and P

    R. Loudon and P. L. Knight, Squeezed light, J. Mod. Opt. 34, 709 (1987)

    work page 1987

  13. [13]

    Couteau, Spontaneous parametric down-conversion, Contemporary Physics, 59, 291 (2018)

    C. Couteau, Spontaneous parametric down-conversion, Contemporary Physics, 59, 291 (2018)

    work page 2018

  14. [14]

    Zhang, Y.-F

    C. Zhang, Y.-F. Huang, B.-H. Liu, C.-F. Li, and G.-C. Guo, Spontaneous Parametric Down-Conversion Sources for Multiphoton Experiments, Adv. Quantum Technol. 4, 2000132 (2021)

    work page 2021

  15. [15]

    R. A. Fisher, M. M. Nieto, and V. D. Sandberg, Impos- sibility of naively generalizing squeezed coherent states , Phys. Rev. A 29, 1107 (1984)

    work page 1984

  16. [16]

    Scharf, Time Evolution of a Quantum Mechanical Maser Model, Annals of Physics, 83, 71 (1974)

    G. Scharf, Time Evolution of a Quantum Mechanical Maser Model, Annals of Physics, 83, 71 (1974)

    work page 1974

  17. [17]

    Hillery and M.S

    M. Hillery and M.S. Zubary, Path-integral approach to the quantum theory of the degenerate parametric ampli- fier, Phys. Rev. A 29, 1275 (1984)

    work page 1984

  18. [18]

    Scharf and D

    G. Scharf and D. F. Walls, Effect of pump quantization on squeezing in parametric amplifier, Opt. Comm. 50, 245 (1984)

    work page 1984

  19. [19]

    D. D. Crouch and S. L. Braunstein, Limitations to squeezing in a parametric amplifier due to pump quan- tum fluctuations, Phys. Rev. A 38, 4696 (1988)

    work page 1988

  20. [20]

    M. D. Reid and P. D. Drummond, Quantum Correlations of Phase in Nondegenerate Parametric Oscillation, Phys. Rev. Lett. 60, 2731 (1988)

    work page 1988

  21. [21]

    Drobn´ y and I

    G. Drobn´ y and I. Jex, Quantum properties of field modes in trilinear optical processes, Phys. Rev. A 46, 499 (1992)

    work page 1992

  22. [22]

    Buzek and G

    V. Buzek and G. Drobn´ y, Signal-pump entanglement in quantum k-photon down-conversion, Phys. Rev. A 47, 1237 (1993)

    work page 1993

  23. [23]

    Drobn´ y and V

    G. Drobn´ y and V. Buzek, Fundamental limit on energy transfer in k-photon down-conversion, Phys. Rev. A 50, 3492 (1994)

    work page 1994

  24. [24]

    Hillery, D

    M. Hillery, D. Yu, and J. Bergou, Effect of the pump state on the dynamics of the parametric amplifier, Phys. Rev. A 52, 3209 (1995)

    work page 1995

  25. [25]

    Xing and T

    W. Xing and T. C. Ralph, Pump depletion in opti- cal parametric amplification, Phys. Rev. A 107, 023712 (2023). 12

    work page 2023

  26. [26]

    Chinni and N

    K. Chinni and N. Quesada, Beyond the parametric approximation: Pump depletion, entanglement, and squeezing in macroscopic down-conversion, Phys. Rev. A 110, 013712 (2024)

    work page 2024

  27. [27]

    V. S. Shchesnovich, Exact solution for a class of quantu m models of interacting bosons, J. Phys. A: Math. Theor. 58, 115204 (2025)

    work page 2025

  28. [28]

    C. P. Huang, Computing Powers of Arbitrary Hessenberg Matrices, Linear Algebra Appl. 21, 123 (1978)

    work page 1978

  29. [29]

    Khruschev, Orthogonal Polynomials and Continued Fractions

    S. Khruschev, Orthogonal Polynomials and Continued Fractions. From Euler’s Point of View (Cambridge Uni- versity Press, 2008)

    work page 2008

  30. [30]

    D. B. Horoshko and V. S. Shchesnovich, Isoenergetic model for optical down-conversion and error-specific lim- its of the parametric approximation, Phys. Rev. A 112, 033706 (2025)

    work page 2025

  31. [31]

    Fl´ orez, J

    J. Fl´ orez, J. S. Lundeen, and M. V. Chekhova, Pump depletion in parametric down-conversion with low pump energies, Optics Letters 45, 4264 (2020)

    work page 2020