REVIEW 3 major objections 4 minor 1 cited by
An Inverse Theorem for Partially Symmetric Two-Dimensional Semiclassical Schr\"odinger Operators
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read For a 2D Schrödinger well with one reflection symmetry, the first two quantum normal-form layers determine the entire Taylor series of the potential, provided the sign of $a_{30}$ and the transverse-line data $\{a_{1,2k}\}$ are also known.
desk verdict Genuinely new conditional inverse result with a fully worked base case; the induction step needs to be repaired before the result is fully reliable. 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 quantum Birkhoff normal form (QBNF), a formal Weyl symbol $B = H_2 + \sum_{2r+k+\ell\ge 2} b_{r,k,\ell}\;\hbar^{2r}\Omega_1^k\Omega_2^\ell$ in the two harmonic-action variables $\Omega_j = x_j^2+\xi_j^2$. It is obtained from the Schrödinger symbol by unitary conjugation, and its coefficients are spectral invariants. The proof's engine is the third-order Moyal bracket $\{\cdot,\cdot\}_3$ together with the resonant projection $\Pi$ onto the kernel of $L(\cdot)=\{\cdot,H_2\}$, which is exactly the polynomial algebra spanned by $\Omega_1,\Omega_2$ when $v_1/v_2$ is irrational. Two structural facts carry the argument: Lemma 3.1, that every even-degree homogeneous component of the potential is determined by its resonant projection (the relevant binomial coefficients are always nonzero), and a backward recursion at odd degrees in which the $\hbar^2$ layer of the normal form yields an equation whose coefficient is $64\,(a_{30}/v_1)\,2^{-(2N-1)}\binom{2m}{m}\binom{2n-1}{n}n(n-1)^2$ times the unknown $a_{2N-1-2m,2m}$. Because $a_{30}\neq 0$, this coefficient never vanishes along the steps where the recursion actually runs, so each Taylor coefficient is solved uniquely.
What would settle it
Construct two explicit $C^\infty$ potentials sharing the same $v_1,v_2$ with $v_1/v_2\notin\mathbb{Q}$, the same sign of $a_{30}$, and the same transverse-line data $\{a_{1,2k}\}$, but differing in a higher coefficient such as $a_{50}$; compute their quantum Birkhoff normal forms through the layers $b_{0,k,\ell}$ and $b_{1,k,\ell}$. The theorem asserts those layers must separate the two potentials, so a single example where they coincide would disprove it.
Extended reading notes
Core claim
Theorem 1.1 states that, under the assumptions that $V$ has a non-degenerate minimum at the origin, is reflection-symmetric in $x_2$, and has harmonic frequencies $v_1,v_2$ with $v_1/v_2\notin\mathbb{Q}$, the coefficients $b_{0,k,\ell}$ and $b_{1,k,\ell}$ of the quantum Birkhoff normal form (the classical layer and the $\hbar^2$ layer) uniquely determine the full Taylor series of $V$, once the sign of $a_{30}$ and the sequence $\{a_{1,2k}\}_{k\ge1}$ are prescribed. The explicit starting relation is $a_{30}^2 = 2v_1 b_{1,0,0} + \frac{v_2^2}{v_1^2-4v_2^2} a_{12}^2$. The proof then proceeds by induction on the degree: at each odd degree $2N-1$ the $\hbar^2$ layer of the normal form gives a nonsingular linear equation (whose coefficient is proportional to $a_{30}$) that determines the unknown coefficient $a_{2N-1-2m,2m}$ by a backward recursion starting from the known data $a_{1,2N-2}$, and at each even degree $2N$ the classical layer fixes the resonant projection of $U_{2N}$, from which Lemma 3.1 recovers the whole homogeneous piece $U_{2N}$. As a direct consequence (Corollary 1.3), the semiclassical eigenvalues $E(\hbar)$ themselves determine the Taylor series once the same auxiliary data are given.
Load-bearing premise
The transverse-line data $\{a_{1,2k}\}$, equivalently the function $\partial_{x_1}V(0,x_2)$, must be supplied from outside the spectrum; without it the backward induction cannot start, because the highest-order unknown in each odd potential layer is only fixed by that condition.
Editorial extensions
If this is right
- Corollary 1.3: the family of eigenvalues $E(\hbar)$ in the interval $[0,\delta]$ uniquely determines the full Taylor series of $V$ at the origin, given the sign of $a_{30}$ and the transverse-line data $\{a_{1,2k}\}$.
- The reconstruction is constructive: order by order, the normal-form coefficients yield explicit linear equations (relation (1.6) and the degree-$2N$ recursion), so each Taylor coefficient is computed without solving nonlinear systems.
- The class of recoverable potentials strictly widens Hezari's class: the cross-odd terms $a_{1,2k}$ may be nonzero, and the auxiliary symmetry $V(x_1,0)=V(-x_1,0)$ used in earlier 2D results is replaced by the prescribed transverse-line data.
- The non-resonance condition $v_1/v_2\notin\mathbb{Q}$ plays a double role: it guarantees the quantum Birkhoff normal form exists and is spectrally determined, and it implies $v_1^2-4v_2^2\neq 0$, so all formulas are well defined.
Reading between the lines
- Because the transverse-line data are prescribed rather than recovered, a natural test is to search for two potentials with identical first two QBNF layers and the same sign of $a_{30}$ that differ in $a_{12}$ (with $b_{1,0,0}$ adjusted via relation (1.6)) and in higher $a_{1,2k}$; if such a pair exists, the auxiliary data are genuinely necessary.
- The recursion coefficient vanishes exactly at $n=1$, the step supplied by the transverse-line data; this suggests the algebra leaves the highest-order odd coefficient unconstrained at every degree without that input, which is why the problem is structurally a Cauchy problem rather than pure spectral rigidity.
- The complex-coordinate Diophantine matching used here should generalize to potentials in $d$ dimensions symmetric in $d-1$ coordinates, with the analogous data prescribed on a codimension-one hyperplane; the same combinatorics (products of nonvanishing binomial coefficients) would drive the recursion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a formal local inverse result for a two-dimensional semiclassical Schrödinger operator whose potential is even in one coordinate only. After a linear symplectic normalization and under a nonresonance assumption v1/v2 not in Q, the quantum Birkhoff normal form is computed. Theorem 1.1 states that the first two layers of the QBNF coefficients (b_{0,k,ell} and b_{1,k,ell}), together with the sign of a30 and the transverse-line data {a_{1,2k}}, uniquely determine the full Taylor series of V at the bottom of the well. The proof proceeds by induction on the homogeneous degree: the base case U3 and U4 is worked out and yields the explicit relation a30^2 = 2v1 b_{1,0,0} + (v2^2/(v1^2-4v2^2)) a12^2; the induction step reconstructs the odd part U_{2N-1} by a backward recursion on the second index and then the even part U_{2N} from its resonant projection.
Significance. If the induction step is made rigorous, this is a meaningful advance: it weakens the symmetry hypotheses in two-dimensional semiclassical inverse spectral theory from full evenness or two-coordinate symmetry to a single reflection symmetry, and it generalizes Hezari's setting by allowing nonzero transverse-line data rather than requiring a_{1,2k}=0. The paper also gives an explicit, parameter-free formula for the leading reconstruction and a worked base case, including a concrete computation of b_{1,0,0}. The authors are candid that the result is a Cauchy problem with prescribed line data rather than a pure spectral rigidity theorem, and Remark 1.2 states this limitation clearly. However, the central induction step rests on an unproved triangularity assertion; the main diagonal computation in the appendix is not enough to establish the claimed uniqueness without a complete treatment of the cross-derivative terms.
major comments (3)
- [§3.2, Eq. (3.14) and Appendix A] The triangularity claim is the load-bearing step of the induction, but it is not proved. The paragraph after (3.14) asserts that cross-derivative contributions to Π({S3,U_{2N-1}}_3 + {S^0_{2N-1},U3}_3) involve only coefficients of U_{2N-1} with larger second index, and Appendix A explicitly computes only the pure z1/bar z1 derivative terms, writing '+ cross terms' without giving them. The displayed recurrence is not a well-formed equation: it has no right-hand side, and Γ_m is never defined or computed. Since the invertibility of the backward recursion depends on the coefficient 64 a30/v1 2^{2N-1} binom(2m,m) binom(2n-1,n) n(n-1)^2 being the only coupling to the current unknown a_{2N-1-2m,2m}, the manuscript needs either a complete index-balance argument for all cross-derivative patterns or a symbolic verification of the N=3 and N=4 steps. This is required for the uniqueness claim in Theorem 1.1.
- [§3.2, Eq. (3.14)] The 'known terms' in (3.14) are not enumerated. They include the ℏ^2-layer Poisson contribution -1/2 {S^2_{2N-1}, U3}, the ℏ^2 component of R_{2N}, and potentially similar terms arising from the BCH expansion. Without an explicit list or a lemma accounting for all ℏ^2 contributions from (3.13), the claimed formula for B^2_{2N} cannot be checked independently. This is bookkeeping, but it is essential because the recurrence is used to solve for each unknown coefficient in the backward induction.
- [§3.2, paragraph after (3.12)] The reconstruction of U_{2N-1} uses the prescribed coefficient a_{1,2N-2} as the starting value of the backward recursion. The text correctly identifies this as transverse-line data, but the induction statement should make explicit that the entire sequence {a_{1,2k}} is an external input, not recovered by the method. This is a limitation of the inverse spectral interpretation rather than an internal inconsistency, but it should be stated in the theorem statement itself and not only in Remark 1.2.
minor comments (4)
- [Appendix A] The table reporting algebraic contributions should show how the common factor a30/v1 2^{2N-1} binom(2m,m) a_{2N-1-2m,2m} is extracted, and at least one row of the table should be derived in detail so the reader can verify the signs and combinatorial factors.
- [Eq. (3.3)] The term Dℏ^2 in (3.3) is later identified with b_{1,0,0}; this identification should be made explicitly at the point where D is introduced.
- [Eq. (3.6)] The multi-index notation z^{(...)} bar z^{(...)} is used without a prior definition; define it or state that it means the product of the two monomials.
- [References] Reference [1] is listed with only an arXiv identifier and no publication data; complete the bibliographic information if available.
Circularity Check
No significant circularity: the reconstruction is an explicit algebraic inversion with the transverse-line data and normal-form coefficients as independent inputs.
full rationale
The derivation in Section 3 is a direct, equation-by-equation inversion of the quantum Birkhoff homological equations. The only externally supplied quantities beyond the QBNF coefficients are sgn(a30) and {a_{1,2k}}, and the paper explicitly labels this in Remark 1.2: 'the problem is not a pure spectral rigidity problem, but should be viewed as a Cauchy initial value problem depending on transverse line data.' The relation (1.6), a30^2 = 2v1 b_{1,0,0} + ... a12^2, is computed from the third-order Moyal bracket, not assumed, and it determines a30 only because the sign and a12 are prescribed inputs; the sequence {a_{1,2k}} is never claimed to be recovered from the QBNF, so no fitted quantity is renamed as a prediction. The base case recovers U3 and U4 from known data, and the induction step recursively solves triangular linear equations in the unknown potential coefficients, with the a priori known highest-index coefficient a_{1,2N-2} supplied by condition (ii). No load-bearing step reduces to a self-citation chain, and the cited normal-form and spectral-invariant results are standard external results; the proof is self-contained once those invariants are accepted. The proof may rely on an asserted triangularity of the Γ_m terms in §3.2, but that is a correctness or detail question, not a circularity. I therefore find no circular step.
Assumptions & free parameters
assumptions (6)
- domain assumption The potential V is C-infinity with a non-degenerate minimum at the origin, V(0)=0, ∇V(0)=0, and V^{-1}([0,ε]) is compact for small ε.
- domain assumption The harmonic frequencies v1 and v2 satisfy v1/v2 not in Q.
- domain assumption The potential has the partial reflection symmetry V(x1,x2)=V(x1,−x2).
- domain assumption The cubic coefficient a30 is non-zero.
- standard math The eigenvalues determine the quantum Birkhoff normal form, as shown by Guillemin-Paul-Uribe and Colin de Verdière.
- standard math The Moyal product expansion (2.6), the higher-order bracket identities, and the normal form construction are valid.
Cite this review
Pith. "Pith review of An Inverse Theorem for Partially Symmetric Two-Dimensional Semiclassical Schr\"odinger Operators." pith.science (2026). https://pith.science/paper/WHVGX5DH
@misc{pith2026260804796,
author = {Pith},
title = {Pith review of: An Inverse Theorem for Partially Symmetric Two-Dimensional Semiclassical Schr\"odinger Operators},
year = {2026},
howpublished = {\url{https://pith.science/paper/WHVGX5DH}},
note = {Machine review of arXiv:2608.04796}
}
abstract
We prove a formal local inverse spectral result for a two-dimensional semiclassical Schr\"odinger operator whose potential well possesses a single reflection symmetry. After a harmonic linear normalization, the potential can be written as $V(x_1,x_2)=\frac{1}{2}(v_1x_1^2+v_2x_2^2)+\sum_{j+2k\ge 3}a_{j,2k}\,x_1^j x_2^{2k}$, with $v_1/v_2\notin\mathbb{Q}$. The operator can be brought into a quantum Birkhoff normal form whose Weyl symbol is a formal series $B \equiv H_2 + \sum_{2r+k+\ell \ge 2} b_{r,k,\ell}\, \hbar^{2r} \Omega_1^k \Omega_2^\ell$. If the coefficient $a_{30}$ of the cubic term $x_1^3$ is non-zero, then the first two layers of the quantum Birkhoff normal form (i.e., the coefficients $b_{0,k,\ell}$ and $b_{1,k,\ell}$) uniquely determine the full Taylor series of $V$, once the sign of $a_{30}$ and the transverse-line data $\{a_{1,2k}\}_{k\ge 1}$ are prescribed.
Forward citations
Cited by 1 Pith paper
-
Generic Spectral Determination of Semiclassical Schr\"odinger Operators with $\mathbb Z_2$-Symmetry
For generic Z2-symmetric two-dimensional potentials, the first three quantum Birkhoff normal form layers determine the potential's full Taylor series up to spatial inversion.
Reference graph
Works this paper leans on
-
[1]
The semi-classical spectrum and the Birkhoff normal form
Y. Colin de Verdi` ere,The semi-classical spectrum and the Birkhoff normal form, arXiv:0902.2470, 2009
work page Pith review arXiv 2009
-
[2]
Y. Colin de Verdi` ere and V. Guillemin,A semi-classical inverse problem I: Taylor expan- sions, Geometric Aspects of Analysis and Mechanics, Progress in Mathematics, vol. 292, Birkh¨ auser, Boston, 2011, pp. 81–95
work page 2011
-
[3]
M. Dimassi and J. Sj¨ ostrand,Spectral Asymptotics in the Semi-Classical Limit, Cambridge University Press, Cambridge, 1999
work page 1999
-
[4]
V. Guillemin and H. Hezari,A Fulling–Kuchment theorem for the 1D harmonic oscillator, Inverse Problems28(2012), no. 4, 045009
work page 2012
-
[5]
V. Guillemin, T. Paul, and A. Uribe,“Bottom of the well” semi-classical trace invariants, Math. Res. Lett.14(2007), no. 4, 711–719
work page 2007
-
[6]
V. Guillemin and A. Uribe,Some inverse spectral results for semi-classical Schr¨ odinger operators, Math. Res. Lett.14(2007), no. 4, 623–632
work page 2007
-
[7]
V. Guillemin and A. Uribe,Some inverse spectral results for the two-dimensional Schr¨ odinger operator, in Geometry and Analysis, vol. I, Advanced Lectures in Mathematics, vol. 17, 2011, pp. 319–328
work page 2011
-
[8]
Hezari,Inverse spectral problems for Schr¨ odinger operators, Comm
H. Hezari,Inverse spectral problems for Schr¨ odinger operators, Comm. Math. Phys.288 (2009), no. 3, 1061–1088
work page 2009
Show all 11 references
-
[9]
Iantchenko, J
A. Iantchenko, J. Sj¨ ostrand, and M. Zworski,Birkhoff normal forms in semi-classical in- verse problems, Math. Res. Lett.9(2002), no. 2–3, 337–362
2002
-
[10]
Vu Ngoc,The quantum Birkhoff normal form and spectral asymptotics, Journ´ ees ´Equations aux d´ eriv´ ees partielles (2006), 1–12
S. Vu Ngoc,The quantum Birkhoff normal form and spectral asymptotics, Journ´ ees ´Equations aux d´ eriv´ ees partielles (2006), 1–12
2006
-
[11]
West,A pair of non-isometric potentials with the same semiclassical invariants, J
M. West,A pair of non-isometric potentials with the same semiclassical invariants, J. Math. Phys.64(2023), no. 11, 112103. 13
2023
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.