{"id":"df53d19b-a993-462e-9fef-9ccf4ebf498a","arxiv_id":"1908.09286","paper_version":6,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For two integrable minisuperspace cosmologies, the paper constructs equivalent Hamiltonians via Faddeev-Jackiw reduction and uses them to study quantum wave packets and Wigner functions.","lead":"The authors propose a way to turn the Wheeler-DeWitt equation of two simple cosmological models into an ordinary Schrödinger equation by rewriting the models with 'equivalent Hamiltonians' built through the Faddeev-Jackiw method. This gives a possible notion of time and probability in toy quantum cosmology, but the step from classical rewriting to quantum theory is assumed rather than proven.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The quantum equivalence of the reduced Hamiltonian is unproven: the FJ reduction promotes the original coordinate y to the momentum p, changing the symplectic structure, and the paper does not show that quantization commutes with this reduction.","rationale":"The classical construction is internally coherent: the first-order Lagrangians reproduce the constraint and equations of motion, and the reduction captures the correct number of physical degrees of freedom. The weak point is the step from classical reduction to quantum equivalence. This is the step on which the abstract's promise depends. The concern is concrete: the reduced symplectic structure is not derived from the original one, and the identification p≈y-y0 turns a configuration variable into a momentum. The paper provides no argument—such as a Dirac bracket computation or a unitary implementation of the canonical transformation—that the two quantizations agree. The fact that the original constraint is only recovered semiclassically in Sec. IV is an explicit admission that the quantum theory differs at the operator level. A direct comparison for the exactly solvable conformal scalar model would settle the issue. If the comparison fails, the central claim is unsupported; if it succeeds, the approach is vindicated. Therefore the appropriate verdict remains conditional rather than an unconditional acceptance or rejection, and no change to the reader's assessment is needed.","tokens_in":15991,"tokens_out":21487,"duration_ms":208182,"concrete_test":"For the conformal scalar model with k=1, quantize the original Wheeler–DeWitt constraint H = -1/2 π_r² + 1/(2r²) π_φ² - r²/2 = 0 after deparameterizing with φ, and compare the resulting physical Hamiltonian and spectrum with the harmonic oscillator spectrum of H̄ = 1/2(P²+Q²) from Eq. (3.17). Alternatively, compute the Dirac bracket {Q,P}_D on the original constraint surface; if it differs from 1, the reduced symplectic structure is not the physical one and the Schrödinger equation (4.1) is not the quantum reduction of the original system.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract's promise that 'quantum dynamics of the models can be studied using the equivalent Hamiltonians' rests on the step from the classically equivalent first-order system to the quantized reduced Hamiltonian. The paper establishes only a classical equivalence: the first-order equations (2.13)/(2.14) and (3.8)/(3.9) imply the original constraint and equations of motion, and the number of integration constants matches. It does not show that the symplectic form of the reduced phase space, in which p≈y-y0 is the momentum conjugate to x, equals the Dirac bracket of the original constrained system. In the original phase space the configuration variables satisfy {x,y}=0; in the reduced quantization they satisfy [x̂,p̂]=iℏ. The paper's own semiclassical analysis (Sec. IV) admits that the original Hamiltonian constraint is satisfied only for expectation values, with quantum fluctuations causing deviations. Thus the wave functions and Wigner functions computed in Secs. IV–V may be those of a different quantum model, and the central claim that the equivalent Hamiltonians describe the original quantum cosmology is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Faddeev–Jackiw reduction for two integrable minisuperspace models with a cyclic coordinate: the Liouville scalar model and the conformal scalar model. For each model it constructs a first-order Lagrangian on a reduced phase space in which the cyclic coordinate becomes the momentum conjugate to the remaining configuration variable, and it derives an equivalent Hamiltonian. It then treats these reduced Hamiltonians as quantum Hamiltonians: for the Liouville model it computes semiclassical cumulant dynamics, and for the conformal model it constructs exact Gaussian wave packets and Wigner functions, mapping the results back to the original minisuperspace variables. The paper is explicitly heuristic and lists several open issues, but its central claim is that the equivalent Hamiltonians allow the quantum dynamics of the original cosmological models to be studied.","tokens_in":16208,"tokens_out":19692,"duration_ms":188403,"significance":"The classical part of the paper is coherent and checkable: the first-order systems reproduce the equations of motion and the Hamiltonian constraint, and the conformal model reduction to a harmonic oscillator (k=1) and an inverted harmonic oscillator (k=-1) is elegant. The Wigner-function calculations for the conformal model are explicit and reproducible, and the authors are transparent about the breakdown of the M=2 cumulant approximation in the Liouville case. However, the significance of the paper hinges on a quantum equivalence that is not established. If that equivalence held, the paper would offer a practical deparametrization of two toy quantum cosmologies; without it, the computed wave functions and Wigner functions describe a reduced model whose relation to the original Wheeler–DeWitt theory is open.","major_comments":[{"comment":"The leap from classical equivalence to a quantum description is assumed rather than derived. In the original minisuperspace, x and y are both configuration variables and {x,y}=0; after the Faddeev–Jackiw reduction, p≈y−y0 is the momentum conjugate to x, so the quantized model has [x̂,p̂]=iℏ. The paper does not show that this reduced quantum theory is equivalent to the quantization of the original Hamiltonian constraint, for example by solving the Wheeler–DeWitt equation, by deriving a physical inner product from Dirac quantization, or by exhibiting a unitary map between the Hilbert spaces. Consequently the wave functions and Wigner functions in Secs. IV and V are computed for the reduced model, and the claim that they describe the original quantum cosmology is not established. The authors' own remark in Sec. IV that the original constraint is satisfied only for expectation values, with cumulants causing deviations, underlines that this is a nontrivial gap.","section":"Secs. II.B and IV; Eqs. (2.21)–(2.24), (4.1)"},{"comment":"The displayed general solutions of the first-order systems do not cover the full classical solution space. For U>0, Eq. (2.15) solves (2.13) only on the side of the singularity where π_{y0}(t−t0) has sign opposite to π_{y0}; for U<0, Eq. (2.16) requires π_{y0}<0, i.e., \\dot{y}<0. The original equations of motion are time-reversal invariant and admit either sign of \\dot{y}, whereas the equivalent Hamiltonian \\bar{H} generates only one orientation; the time-reversed system would require \\bar{H}→−\\bar{H}. The same branch issue appears for the conformal model with k=1, where (3.8) forces \\dot{\\phi}<0. The text should state this branch structure, since the claimed classical equivalence to the full original system is part of the motivation for the quantum construction.","section":"Sec. II.B; Eqs. (2.15)–(2.16) and (2.13)–(2.14)"},{"comment":"The M=2 cumulant truncation is not a controlled approximation for the Liouville model. The authors report that for U>0, κ0,2 becomes negative and κ2,0 grows without bound near p≈−1, which they identify as the limit of the approximation scheme. Thus the quantum-corrected trajectory in Fig. 1 is meaningful only in a limited interval, and the numerical results do not by themselves demonstrate that the equivalent Hamiltonian permits reliable computation of quantum dynamics for this model. The conclusion that higher-order cumulants are required is appropriate, but the abstract's general promise that 'quantum dynamics of the models can be studied' is only weakly supported for the Liouville model.","section":"Sec. IV; Eqs. (4.10)–(4.11), Fig. 1"}],"minor_comments":[{"comment":"The operator ordering of \\hat{H} is not specified; for the Liouville model with \\bar{H}∝e^{λx}sinh λp, the most naive ordering is not self-adjoint. Please specify the ordering (for example Weyl ordering) and discuss unitarity, especially because the paper motivates the approach by the need for a conserved probability current.","section":"Sec. IV, Eq. (4.1)"},{"comment":"The statement that overall normalizations of the Lagrangians and Hamiltonians are irrelevant for physics of cosmology is too quick; it is true for the classical constraint and equations of motion, but not automatically for the quantum Hamiltonian, the inner product, or the interpretation of the wave function.","section":"Sec. II.A"},{"comment":"The dependence of the Wigner functions on ϕ0 (peak splitting for ϕ0≠0) is a notable physical feature, but the text does not explain the classical meaning of ϕ0 in terms of initial conditions or the relation to the bouncing solution mentioned in Sec. V.C; a sentence or two would help the reader interpret the plots.","section":"Sec. V.B and V.C; Figs. 4–5, 7–8"},{"comment":"The phrase 'If we regard y0 as another integration constant' is confusing because y0 already appears in the solution; presumably the intended statement is that π_{y0}, t0, and y0 are the three independent constants, but the text should say so explicitly.","section":"Sec. II.B, after Eq. (2.15)"}],"recommendation":"major_revision","confidential_remarks":"The authors are candid about the limitations, but the abstract and title overstate the equivalence. The main risk is that the quantum step is an assumption rather than a derivation. In revision, the authors should either prove the quantum equivalence (or a precise statement of the sense in which the reduced quantum theory corresponds to the original constraint) or explicitly reframe the paper as a study of quantized reduced models rather than of the original quantum cosmology. The references to the xp model and to Riemann zeros are not load-bearing for the cosmological claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper does something genuinely useful. It gives a systematic way to turn two classically integrable minisuperspace models—the Liouville scalar model and the conformal scalar model—into one-dimensional quantum mechanical systems. The classical reduction is clean: the Faddeev–Jackiw first-order Lagrangians reproduce the original equations of motion and Hamiltonian constraint, and the degree-of-freedom counting works. For the conformal model the reduced Hamiltonian becomes a harmonic oscillator (k=1) and the well-known xp model (k=-1), which is a nice payoff. The wave packets and Wigner functions are explicit and the figures are clear.\n\nThe soft spot is the quantum step. The reduction takes the original coordinate y and identifies it with a momentum p conjugate to x. In the original phase space x and y commute; in the reduced quantization they do not. The paper never shows that quantization commutes with this reduction. The authors call the procedure a 'trick' and a 'proposal,' which is honest, but the abstract claims that quantum dynamics can be studied with these Hamiltonians. That claim rests on an unproven assumption. The stress-test note has it right: the symplectic structure changes, and the wave functions computed in Sections IV and V could describe a different model. The semiclassical constraint discussion in Sec. IV is itself an admission that the original constraint holds only for expectation values.\n\nTwo minor issues: the cumulant truncation at M=2 breaks down in the Liouville U>0 model, and the paper calls pure-state spreading 'decoherence,' which it is not. The citations are appropriate and the classical derivation is worth reading.\n\nFor whom: specialists in quantum cosmology working on the problem of time and deparametrization. The classical reduction is a solid example, and the connection to the Riemann-zeta-related xp model is a nice curiosity. But the quantum results are not established. I would send this to a serious referee: the flaw is addressable, and a referee could ask for a comparison with Wheeler–DeWitt quantization in these simple models, or at least a clear statement of why the reduced quantization is the correct physical one.","headline":"A clean classical reduction of two minisuperspace models, but the quantization of the reduced Hamiltonian is a heuristic leap that is not justified.","tokens_in":16715,"tokens_out":8677,"would_cite":false,"duration_ms":79476,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["02.30.Ik","03.65.Sq","04.20.Fy","04.20.Jb","04.60.Kz","45.20.Jj","98.80.Qc","98.80.Jk"],"model":"deepseek-v4-flash","headline":"Using a cyclic coordinate as a clock, the paper replaces constrained quantum cosmology with an equivalent first-order Hamiltonian whose quantization is a Schrödinger equation.","keywords":["quantum cosmology","minisuperspace","Faddeev–Jackiw method","equivalent Hamiltonian","Liouville scalar model","conformal scalar model","Wigner function","problem of time"],"falsifier":"Solve the original Wheeler–DeWitt wave equation for one of the two models directly, say the conformal scalar model with $k=-1$, for the same coherent initial state used in the paper, and compare the resulting probability density or Wigner function with the paper's prediction; any disagreement in the peak trajectories or spreading rate at order $\\hbar$ would show the reduction changes the quantum system.","tokens_in":15781,"feed_emoji":"🌌","tokens_out":10307,"duration_ms":89358,"temperature":0.7,"pith_summary":"The paper proposes that for integrable cosmological models with two dynamical variables and a cyclic coordinate, the constrained Wheeler–DeWitt system can be replaced by an equivalent first-order Hamiltonian on a reduced phase space via the Faddeev–Jackiw method. The cyclic coordinate is identified with the conjugate momentum of the remaining variable, so it plays the role of a clock and the quantum equation becomes a Schrödinger equation. Two models are treated: the Liouville scalar model, where quantum corrections are studied through cumulant dynamics, and the conformal scalar model, which reduces to a harmonic oscillator for spatial curvature $k=+1$ and to an $xp$-type inverted oscillator for $k=-1$. For the conformal model the paper constructs explicit Gaussian wave packets and Wigner functions, showing oscillatory dynamics in one case and decoherence in the other. This matters because it offers a concrete way to extract probabilities and semiclassical behavior from otherwise constrained quantum cosmologies.","feed_headline":"Cyclic coordinate becomes the clock for quantum cosmology","feed_subtitle":"Faddeev–Jackiw reduction maps Liouville and conformal scalar models to solvable quantum systems.","key_machinery":"The load-bearing object is the Faddeev–Jackiw equivalent Hamiltonian built from a first-order Lagrangian of the form $\\bar L=(y-y_0)\\dot x-\\bar H(x,p)$. The combination $y-y_0$, the cyclic coordinate offset, is treated as the momentum $p$ conjugate to $x$, which turns the cyclic coordinate into a clock. For the conformal scalar model the canonical transformation to $Q=\\sqrt{2q}\\cosh p$, $P=\\sqrt{2q}\\sinh p$ is the step that maps the model onto a harmonic oscillator or an $xp$-model. The paper then applies two quantum techniques: quantal cumulant dynamics, which gives Ehrenfest-type equations for expectation values and second-order cumulants, and explicit construction of Gaussian wave packets and Wigner functions.","core_discovery":"The central claim is that a cosmological model with a cyclic minisuperspace coordinate admits an equivalent Hamiltonian $\\bar H$ obtained from a first-order Lagrangian à la Faddeev–Jackiw, and that quantizing this reduced Hamiltonian describes the same quantum physics as quantizing the original constrained system. In the Liouville scalar model the equivalent Hamiltonians are $\\bar H=\\lambda^{-1}\\sqrt{U}\\,e^{\\lambda x}\\sinh(\\lambda p)$ for $U>0$ and the $\\cosh$ version for $U<0$, with $p\\approx y-y_0$. In the conformal scalar model a further canonical transformation turns the equivalent Hamiltonian into $\\frac12(P^2+Q^2)$ for $k=+1$ and into $QP$, equivalently an inverted oscillator, for $k=-1$. Classically these Hamiltonians reproduce the original equations of motion and the Hamiltonian constraint. Quantizing them, the conformal model yields exact Gaussian wave packets and positive Wigner functions, while the Liouville model is analyzed at second-order cumulant order, where quantum corrections shift the classical evolution and the $U>0$ case shows the truncation breaking down.","pith_inferences":["If the reduction is quantum-exact, the original Wheeler–DeWitt constraint would contain a hidden gauge freedom: different choices of cyclic coordinate would give different but unitarily related quantum descriptions, realizing the relational-time idea in integrable minisuperspace models.","The positivity of the Wigner function in the conformal $k=+1$ model is strong enough to be checked directly: a numerical solution of the original Wheeler–DeWitt wave equation in the $(a,\\chi)$ variables should reproduce the Gaussian packet for all times if the equivalence is right.","The $U<0$ Liouville case, whose equivalent Hamiltonian is a cosh-type operator, may be stable under quantum evolution, which could carry over to exponential-potential cosmologies used in dark-energy models, although the paper does not make that connection.","A testable extension would be to apply the same reduction to a minisuperspace model with three variables and two cyclic coordinates; if the procedure survives, the clock idea would generalize beyond two-dimensional phase space."],"forward_implications":["If the equivalence holds, the conformal scalar model with $k=+1$ is a harmonic oscillator in disguise, so coherent and squeezed states of the universe can be constructed and their evolution read off from standard oscillator results.","For $k=-1$, the conformal model reduces to the $xp$/inverted-oscillator system, and the paper's Wigner functions show initially localized packets spreading and decohering, giving a concrete toy setting for the emergence of classicality.","The Liouville scalar model can be studied with cumulant dynamics; quantum corrections shift $x$ relative to the classical solution, and the $U>0$ case identifies where second-order truncation fails and higher cumulants are needed.","Because the cyclic coordinate becomes the conjugate momentum, the construction supplies a natural clock variable, offering a route around the problem of time for this class of integrable minisuperspace models.","The method generalizes to other integrable models with a cyclic minisuperspace coordinate, potentially those with shift symmetries, converting second-order Wheeler–DeWitt constraints into Schrödinger-type evolution."],"supporting_citations":[{"why":"Supplies the Faddeev–Jackiw procedure for reading a first-order Hamiltonian off a first-order Lagrangian; this is the method used to define the reduced Hamiltonians.","marker":"[15, 16]"},{"why":"Provides the generating function that canonically transforms the Liouville Hamiltonian to $\\frac12\\Pi^2$, the classical basis for the equivalent Hamiltonian.","marker":"[17]"},{"why":"Introduces quantal cumulant dynamics, the Ehrenfest-type machinery used to compute quantum corrections in the Liouville scalar model.","marker":"[32, 33]"},{"why":"Gives the analytic Gaussian wave-packet expression that the paper adapts to the conformal scalar model.","marker":"[40]"},{"why":"Provides the Wigner-function formula for a Gaussian wave packet, used to plot the conformal model's quantum states in the $(a,\\chi)$ plane.","marker":"[42]"},{"why":"Earlier wave-packet solution of the Wheeler–DeWitt equation in the conformal scalar model that the paper's Wigner-function results are said to be consistent with.","marker":"[18]"}],"fun_headline_variants":["Faddeev–Jackiw reduction unlocks quantum cosmology","Equivalent Hamiltonians crack integrable cosmological models","A cyclic coordinate becomes the quantum clock","New approach maps integrable models to solvable systems","Quantum dynamics via Faddeev–Jackiw: simplified"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that quantizing the reduced Faddeev–Jackiw Hamiltonian, with the cyclic coordinate identified as the conjugate momentum, describes the same physics as quantizing the original constrained system; if reduction does not commute with quantization, the computed wave functions and Wigner functions belong to a different model.","fun_headline_variants_meta":{"raw":{"variants":["Faddeev–Jackiw reduction unlocks quantum cosmology","Equivalent Hamiltonians crack integrable cosmological models","A cyclic coordinate becomes the quantum clock","New approach maps integrable models to solvable systems","Quantum dynamics via Faddeev–Jackiw: simplified"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000196,"raw_usage":{"total_tokens":1294,"prompt_tokens":810,"completion_tokens":484,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":424}},"tokens_in":426,"tokens_out":484,"duration_ms":5322,"temperature":1.0,"reasoning_tokens":424,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:16:34.056927+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the original Wheeler–DeWitt wave equation for one of the two models directly, say the conformal scalar model with $k=-1$, for the same coherent initial state used in the paper, and compare the resulting probability density or Wigner function with the paper's prediction; any disagreement in the peak trajectories or spreading rate at order $\\hbar$ would show the reduction changes the quantum system.","supporting_citations":[{"cited_title":"Inte grable higher-dimensional cosmol- ogy with separable variables in an Einstein-dilaton-antis ymmetric field theory","cited_arxiv_id":null,"evidence_quote":"Provides the generating function that canonically transforms the Liouville Hamiltonian to $\\frac12\\Pi^2$, the classical basis for the equivalent Hamiltonian."},{"cited_title":"Weyl type as ymptotics and bounds for the eigenvalues of functional-difference operators for mirror c urves","cited_arxiv_id":null,"evidence_quote":"Gives the analytic Gaussian wave-packet expression that the paper adapts to the conformal scalar model."},{"cited_title":"Wigner functions and Weyl transforms for pe destrians","cited_arxiv_id":null,"evidence_quote":"Provides the Wigner-function formula for a Gaussian wave packet, used to plot the conformal model's quantum states in the $(a,\\chi)$ plane."}],"review_version":1}