{"id":"6af46e84-5d21-4390-b27b-5436042ec998","arxiv_id":"2502.03624","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The ground state energy of a quantum system is extracted from the large imaginary-time limit of the phase space integral of the star exponential of the Hamiltonian, a reformulation of the trace formula.","lead":"The paper recasts the standard ground state energy as the long-time limit of the phase space integral of a star exponential, in the language of deformation quantization. It is a concise reformulation of known trace and partition function identities with worked examples for simple quantum systems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed 'any prescribed physical system' is not supported: Eq. (19) requires trace-class semigroups and integrable star exponentials, conditions violated even by the paper's own free-particle example, while Eq. (27) contains a residual imaginary phase after Wick rotation.","rationale":"The paper's central identity Eq. (19) is essentially the spectral/trace representation of the imaginary-time propagator in Wigner form. For Hamiltonians with purely discrete spectrum and trace-class e^{-τH}, the Fourier-Dirichlet expansion (15), the normalization (16), termwise integration, and the τ→∞ limit jointly recover E0. The core mathematics is therefore not wrong. The load-bearing gap is the domain of applicability asserted in the abstract: 'any prescribed physical system.' The derivation requires (i) convergence of the Fourier-Dirichlet expansion as a phase-space function, (ii) integrability of the Wick-rotated star exponential, and (iii) a spectrum for which Σ e^{-τE_n/ℏ} converges and is dominated by E0. The paper states none of these conditions, and its own examples show why they matter. The free-particle star exponential is x-independent, so the phase-space integral in Eq. (19) diverges; the claimed E0=0 is obtainable only through an implicit regularization absent from the formula. For continuous spectra, Eq. (15) must be replaced by an energy integral and the step from Eq. (16) to Eq. (17) is not justified. The general quadratic example in §3.1.4 also contains a residual imaginary phase in the Wick-rotated exponent; with that phase, the phase-space Gaussian integral would not yield Eq. (28). This is a concrete internal inconsistency in an illustrative example, though likely fixable by a sign/phase correction. None of this falsifies the formula for, say, the harmonic oscillator, but it does falsify the sweeping 'any physical system' statement. The appropriate remedy is to state precise hypotheses (discrete spectrum bounded below, trace-class semigroup, integrable star exponential, validity of analytic continuation) or to temper the claim. Thus the reader's conditional verdict remains appropriate and no further verdict change is needed.","tokens_in":7924,"tokens_out":15491,"duration_ms":140065,"concrete_test":"Evaluate Eq. (19) literally for the free particle of §3.1.1: compute ∫_{R^2} e^{-τp^2/(2mℏ)} dx dp for any fixed τ>0. Since the integrand is independent of x, the integral is infinite and the right-hand side of Eq. (19) is undefined. Then check whether the paper specifies a regularization (e.g., finite volume L with a limiting prescription) before taking τ→∞; if no such prescription appears, the central claim must be restricted to systems with trace-class e^{-τH} and integrable star exponentials.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula Eq. (19) is derived from Eq. (17) by termwise phase-space integration of the Fourier-Dirichlet expansion (15) followed by a Wick rotation. For the claim to hold for 'any prescribed physical system', one needs the Wick-rotated star exponential to be integrable on R^2 and the semigroup e^{-τH} to be trace class, so that Σ e^{-τE_n/ℏ} converges and the τ→∞ limit is controlled by E0. None of these hypotheses are stated, and the paper's own first example, §3.1.1, violates them: Exp⋆(-τH_free/ℏ)=e^{-τp^2/(2mℏ)} is independent of x, so the integral in Eq. (19) diverges and the logarithm is undefined. The quoted result E0=0 therefore requires an implicit volume regularization that is not part of the stated formula. For continuous spectra generally, Eq. (15) must be replaced by an energy integral, and the move from Eq. (16) to Eq. (17) is not justified. A second, local inconsistency appears in §3.1.4: after Wick rotation, Eq. (27) still carries a factor i in the exponent, e^{-iH_q/(ℏ√(ab-c^2)) tanh(...)}. The Gaussian integration leading to Eq. (28) is valid only for the real exponent -H_q/(ℏ√(ab-c^2)) tanh(...); with the i present, the integral would yield a coth-type factor, not the quoted csch. Correcting this sign likely restores the example, but as printed the example does not follow. These issues do not falsify Eq. (19) for well-behaved, discrete-spectrum, trace-class systems, but they do falsify the unqualified 'any prescribed physical system' claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a deformation-quantization analogue of the Feynman-Kac formula. Starting from the Fourier-Dirichlet expansion of the star exponential, Exp⋆(-itH/ℏ) = 2πℏ Σ e^{-itE_n/ℏ} ρ_n, the authors integrate over phase space, perform a Wick rotation τ = it, and take τ → ∞ to extract the ground-state energy as E0 = -lim_{τ→∞} (ℏ/τ) ln[(1/2πℏ)∫ Exp⋆(-τH/ℏ) dxdp] (Eq. (19)). Examples for the free particle, harmonic oscillator, linear potential, general quadratic Hamiltonians, and a damped oscillator are presented.","tokens_in":8300,"tokens_out":7534,"duration_ms":62493,"significance":"If Eq. (19) is restricted to Hamiltonians with discrete spectrum and trace-class heat semigroup, the derivation is straightforward and the harmonic-oscillator and quadratic examples check out. The paper is commendable for making the phase-space trace explicit and for identifying the linear-potential case as problematic. However, the abstract's 'any prescribed physical system' claim is not supported, and one printed example contains a sign error. With appropriate hypotheses and corrections, the paper would be a useful contribution to the deformation-quantization literature.","major_comments":[{"comment":"The central claim that Eq. (19) applies to 'any prescribed physical system' is not supported. The derivation from (15) to (17) requires the Fourier-Dirichlet expansion to hold with integrable, normalized Wigner functions and allows term-by-term integration; the Wick-rotated limit in (18) additionally requires Σ e^{-τE_n/ℏ} to converge (i.e., e^{-τH} trace class) and a real, discrete spectrum bounded below. The paper's own free-particle example, §3.1.1, violates these hypotheses: Exp⋆(-τH_free/ℏ) = e^{-τp²/(2mℏ)} is independent of x, so the phase-space integral in (19) diverges and the logarithm is undefined; the quoted E0 = 0 requires an implicit volume regularization. Similarly, the linear-potential example, §3.1.3, has a divergent integral for τ → ∞; stating that 'the energy is not bounded from below' is not a consequence of (19) as written. The theorem should be stated with explicit hypotheses (discrete spectrum, trace-class semigroup, integrable star exponential) and the examples reclassified accordingly.","section":"§3, Eq. (19); §3.1.1; §3.1.3"},{"comment":"In the Wick-rotated star exponential for the general quadratic Hamiltonian, Eq. (27) retains a factor i in the exponent: e^{-i H_q/(ℏ√(ab-c²)) tanh(√(ab-c²)τ)}. The Gaussian integration leading to Eq. (28) is valid only for the real exponent -H_q/(ℏ√(ab-c²)) tanh(...); with the printed i, the integral yields a coth-type factor, not the quoted csch. This appears to be a sign typo (the factor should be -1, not -i), but as printed the example does not follow from (19).","section":"§3.1.4, Eq. (27)"},{"comment":"The damped-oscillator example extends Eq. (19) to a non-Hermitian star product and produces a complex ground-state energy E0 = ℏ(ω/2 + iγ/2). The derivation of (19) in Section 3 assumes real eigenvalues E_n and normalized Wigner functions; for the complex case one must justify the analytic continuation of the logarithm and the validity of the Tauberian limit for a non-self-adjoint generator. As printed, this example goes beyond the hypotheses under which (19) was derived.","section":"§3.1.5, Eqs. (34)-(35)"}],"minor_comments":[{"comment":"'Constructing on previous work' should read 'Building on previous work'.","section":"Abstract"},{"comment":"The prefactor (cos(-iωτ/2))^{-1} equals sech(ωτ/2); writing it as such would make the Wick rotation more transparent.","section":"§3.1.2, Eq. (21)"},{"comment":"The sentence that the Feynman-Kac formula 'reveals' that the energy is not bounded from below is misleading, since the integral in (19) does not converge; the example should be labeled as outside the domain of applicability.","section":"§3.1.3, Eq. (25)"},{"comment":"The right-hand side contains e^{-iγτ/2}, making the phase-space integral complex; please specify the chosen branch of the logarithm or discuss how the real part is isolated in the limit.","section":"§3.1.5, Eq. (34)"},{"comment":"The Hilbert-Schmidt relation is stated for f ∈ L²(R^{2n}), but the star exponentials used in Section 3 are often distributions; a brief comment on the generalized-function extension would be helpful.","section":"Section 2, Eq. (4)"}],"recommendation":"major_revision","confidential_remarks":"The novelty is modest: Eq. (19) is essentially the trace of the heat semigroup re-expressed in the Wigner-Weyl picture, and the Fourier-Dirichlet expansion already appears in [1]. The value of the paper lies in making the phase-space formula explicit and in collecting examples. With the stated hypotheses and the sign correction, the paper would be within the scope of math-ph and suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The central identity, Eq. (19), is exactly the standard statistical-mechanical limit for the ground state energy: the large-τ logarithm of the trace of the imaginary-time evolution operator. The derivation from the Fourier-Dirichlet expansion (15) is a one-line manipulation, so the novelty is essentially zero. That is not a crime, but it means the paper should earn its keep through clarity and correctness.\n\nWhat the paper does well: the harmonic oscillator example checks out, and the collection of star exponentials for several systems is handy. The authors also correctly note that the continuous-spectrum case requires sums to be replaced by integrals, even if they do not follow through with that caveat.\n\nThe soft spots are real. First, the free particle example in §3.1.1 is invalid as stated: Exp⋆(-τH_free/ℏ) = e^{-τp²/2mℏ} is independent of x, so the phase-space integral diverges, and the quoted E0=0 requires an implicit volume regularization that is no part of the formula. Second, Eq. (27) for the general quadratic Hamiltonian has a residual factor i in the exponent after Wick rotation; the Gaussian integration leading to Eq. (28) is valid only for a real exponent. Without a sign correction, the example does not follow. Third, the abstract's 'any prescribed physical system' is simply not supported. The formula needs trace-class semigroups, integrable star exponentials, and a discrete spectrum bounded below. None of these conditions are stated, and the paper's own examples violate them.\n\nThese issues do not falsify Eq. (19) for well-behaved systems, but they do undermine the paper as written. The 'Feynman-Kac' name is mostly branding; the content is a known consequence of Bayen et al.'s expansion.\n\nFor peer review: I would not send this to referees. It is a pedagogical note with a central result that is already in the literature, and the current examples contain errors. If the authors fix the sign error, regularize the free particle, and replace 'any prescribed physical system' with an explicit hypothesis statement, it could become a decent short note. As is, it does not justify referee time.","headline":"A clean restatement of a known trace formula with an overbroad claim and a couple of concrete errors in the examples; not novel enough to warrant refereeing as is.","tokens_in":8833,"tokens_out":2231,"would_cite":false,"duration_ms":20798,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81S30","46F10","53D55","81S40"],"pacs":[],"model":"deepseek-v4-flash","headline":"A phase-space integral of the Wick-rotated star exponential of the Hamiltonian determines the ground-state energy of a quantum system.","keywords":["deformation quantization","star product","star exponential","Moyal product","Feynman-Kac formula","Wigner functions","ground state energy","Wick rotation"],"falsifier":"Take a one-dimensional finite square well and compute the phase-space integral of its Wick-rotated star exponential from the known propagator. If the logarithmic large-$\\tau$ limit does not reproduce the lowest bound-state energy, then Eq. (19) does not hold for systems with a continuous spectrum, contrary to the paper's 'any prescribed physical system' wording.","tokens_in":7741,"feed_emoji":"⚛️","tokens_out":12622,"duration_ms":104307,"temperature":0.7,"pith_summary":"The paper argues that the Feynman-Kac formula of path-integral quantum mechanics has a direct analogue in deformation quantization: after a Wick rotation $\\tau=it$, the ground-state energy $E_0$ of a Hamiltonian is recovered from the large-$\\tau$ logarithm of the phase-space integral of the star exponential $\\operatorname{Exp}_\\star(-\\tau H/\\hbar)$, Eq. (19). The claim is that no operators or propagators are needed; only the star exponential of the Hamiltonian as a function on phase space is required. The authors demonstrate the formula on the free particle, the harmonic oscillator, general quadratic Hamiltonians, and the damped harmonic oscillator, obtaining the expected energies, and they point out that the linear potential example signals a spectrum unbounded from below. If correct, the result gives a purely phase-space route to ground-state energies for any system whose star exponential is known and integrable.","feed_headline":"Ground-state energies fall out of a phase-space integral","feed_subtitle":"Wick-rotating the star exponential of the Hamiltonian yields E0 directly from phase space.","key_machinery":"The machinery is the star exponential and its spectral expansion. The star exponential $\\operatorname{Exp}_\\star(-itH/\\hbar)=\\sum_{n=0}^\\infty \\frac{1}{n!}(-it/\\hbar)^n H^{\\star n}$ is a phase-space function built from the Moyal star product. Its Fourier-Dirichlet expansion $\\operatorname{Exp}_\\star(-itH/\\hbar)=2\\pi\\hbar\\sum_n e^{-itE_n/\\hbar}\\rho_n$, with $\\rho_n$ the normalized Wigner functions of the energy eigenstates, turns the phase-space integral into a sum over eigenvalues; after the Wick rotation $\\tau=it$, the $\\tau\\to\\infty$ limit is dominated by the smallest eigenvalue. This expansion is the bridge from the operator spectrum to a purely phase-space formula.","core_discovery":"The central claim is that for a Hamiltonian with discrete spectrum bounded below, the ground-state energy is $$E_0 = -\\lim_{\\tau\\to\\infty} \\frac{\\hbar}{\\tau}\\ln\\left[\\frac{1}{2\\pi\\hbar}\\int_{\\mathbb{R}^2}\\operatorname{Exp}_\\star\\left(-\\frac{\\tau}{\\hbar}H\\right)\\,dx\\,dp\\right],$$ obtained from the Fourier-Dirichlet expansion (15), term-by-term phase-space integration using the normalization of the Wigner functions (16), and the Wick rotation $\\tau=it$. The paper presents this as the deformation-quantization counterpart of the Feynman-Kac formula: instead of a stochastic expectation value, one needs only the star exponential of the Hamiltonian. The examples reproduce the known ground-state energies, while the linear potential illustrates what happens when the spectrum is not bounded below.","pith_inferences":["The paper leaves implicit that, for continuous spectra, the spectral sum in Eq. (15) becomes an integral, so Eq. (19) as written needs a regularization or subtraction before the logarithmic limit is meaningful.","A stress test the paper does not perform is an anharmonic oscillator: one would compute $\\operatorname{Exp}_\\star$ order by order in the Moyal product and check that the $\\tau\\to\\infty$ limit selects the exact anharmonic ground state rather than the harmonic-oscillator value.","Equation (17) is formally the analytic continuation of a phase-space partition function, so the formula can be read as the zero-temperature limit of a deformation-quantization thermal state, a direction the paper touches through the KMS condition in the quadratic example.","For deformed star products the same logarithmic limit returns complex energies, suggesting the formula could serve as a diagnostic for non-Hermitian or dissipative quantum systems beyond the damped oscillator."],"forward_implications":["For any system whose Wick-rotated star exponential can be computed and integrated, Eq. (19) yields the ground-state energy without operator diagonalization and without propagators.","The same phase-space integral encodes the full sum $\\sum_n e^{-\\tau E_n/\\hbar}$, so the large-$\\tau$ behavior carries spectral information beyond just $E_0$.","When the ground state is degenerate, the limiting integral equals the degeneracy, so the formula also detects ground-state multiplicity.","The damped-oscillator example shows the formula can be applied to deformed, non-Hermitian star products, producing complex ground-state energies.","The conclusions state that the construction is expected to generalize to quantum field theory and string theory, although no field-theoretic example is worked out."],"supporting_citations":[{"why":"Defines the deformation quantization program, the Moyal star product, and the Fourier-Dirichlet expansion of star exponentials that underlies Eq. (15).","marker":"[1]"},{"why":"Gives the standard Feynman-Kac formula for ground-state energies that this paper recasts in phase-space language.","marker":"[5]"},{"why":"Supplies the closed-form Wick-rotated star exponentials for the free particle, oscillator, linear potential, and quadratic Hamiltonians used in the examples.","marker":"[6]"},{"why":"Establishes the star-product representation of Feynman path integrals, the conceptual link this paper extends.","marker":"[7]"},{"why":"Provides phase-space deformation-quantization formulas and the replacement of sums by integrals for continuous spectra.","marker":"[19]"},{"why":"Connects equilibrium states to the star-exponential limit in the quadratic example through the KMS condition.","marker":"[21]"},{"why":"Gives the damped-oscillator star product and its complex spectrum used in the final example.","marker":"[22]"}],"fun_headline_variants":["Wick-rotating the star exponential yields ground-state energy","Ground-state energy from a phase-space star exponential","Feynman-Kac without paths: E0 from star exponential integral","Deformation quantization gives a Feynman-Kac for ground states","Star exponential integral replaces path integral for E0"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation rests on assuming that the spectral expansion of the star exponential can be integrated term by term and then Wick-rotated, with the long-time limit controlled by a discrete lowest energy level; the paper gives no general conditions under which this is true.","fun_headline_variants_meta":{"raw":{"variants":["Wick-rotating the star exponential yields ground-state energy","Ground-state energy from a phase-space star exponential","Feynman-Kac without paths: E0 from star exponential integral","Deformation quantization gives a Feynman-Kac for ground states","Star exponential integral replaces path integral for E0"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000176,"raw_usage":{"total_tokens":1198,"prompt_tokens":765,"completion_tokens":433,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":381,"completion_tokens_details":{"reasoning_tokens":350}},"tokens_in":381,"tokens_out":433,"duration_ms":4354,"temperature":1.0,"reasoning_tokens":350,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T04:17:40.811989+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a one-dimensional finite square well and compute the phase-space integral of its Wick-rotated star exponential from the known propagator. If the logarithmic large-$\\tau$ limit does not reproduce the lowest bound-state energy, then Eq. (19) does not hold for systems with a continuous spectrum, contrary to the paper's 'any prescribed physical system' wording.","supporting_citations":[{"cited_title":"Bayen, M","cited_arxiv_id":null,"evidence_quote":"Defines the deformation quantization program, the Moyal star product, and the Fourier-Dirichlet expansion of star exponentials that underlies Eq. (15)."},{"cited_title":"Glimm and A","cited_arxiv_id":null,"evidence_quote":"Gives the standard Feynman-Kac formula for ground-state energies that this paper recasts in phase-space language."},{"cited_title":"Sharan, Star-product representation of path integrals , Phys","cited_arxiv_id":null,"evidence_quote":"Establishes the star-product representation of Feynman path integrals, the conceptual link this paper extends."},{"cited_title":"Basart and A","cited_arxiv_id":null,"evidence_quote":"Connects equilibrium states to the star-exponential limit in the quadratic example through the KMS condition."}],"review_version":1}