REVIEW 3 major objections 4 minor 2 cited by
Lower Bounds on Quantum Tunneling for Excited States
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Under reflection symmetry of the single-well potential, every excited-state tunneling splitting is bounded below by an explicit exponential in the well separation.
desk verdict The 1D hopping formula is clean and correct, but the paper's main excited-state lower bound is vacuous as written because the reflection symmetry in §4 is impossible for a compactly supported single well. 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 engine of the proof is the hopping coefficient $\rho_j$, defined as the matrix element of the translated potential between a single-well eigenfunction and its $d$-shift; it is what the splitting $\Delta_j$ is asymptotically twice as large as. The argument chains four mechanisms: the surface-integral identity $\rho_j=\int_{\{x_1=d/2\}}[(\partial_1\varphi_j)R_d\varphi_j-\varphi_j\partial_1 R_d\varphi_j]$, which moves all information to the gap between the wells; the reflection-symmetry reduction of that integral to a derivative of the profile $\int_{\mathbb{R}^{\nu-1}}|\varphi_j(x_1,x_\perp)|^2 dx_\perp$ at $x_1=d/2$; a nonvanishing theorem for solutions of elliptic equations together with an exponential decay estimate, which turn sign-definiteness into the explicit $d$-dependence; and resolvent energy estimates in the style of a Schur-complement reduction, which connect $\rho_j$ to the actual eigenvalue splitting.
What would settle it
Test the hypothesis by choosing any nonzero $v$ with support in $B_a(0)$ and $d>2a$ and asking whether $v(x)=v(d-x)$ for every $x$; the identity forces $v$ to vanish on both half-spaces split by $x_1=d/2$, so no such potential exists. If the symmetry is instead taken as evenness about the origin, compute the hopping coefficient for a smooth even bump in one dimension and compare the exact $\rho_j=-2A_+A_-\kappa e^{-\kappa d}$ with the asserted lower bound; the ratio should approach 1 if the theorem's mechanism is correct.
Extended reading notes
Core claim
The discovery is that the hopping coefficient $\rho_j=\langle\varphi_j,\lambda^2 v(\cdot-d)\varphi_j\rangle$, rather than any property of the nodal set, controls the tunneling splitting of level $e_j$ in the fixed-$\lambda$, large-$d$ regime. The paper proves an exact surface-integral representation for $\rho_j$ over the bisecting hyperplane $x_1=d/2$, and shows that when the single-well potential is reflection symmetric this integral reduces to the derivative of the transverse profile of $|\varphi_j|^2$ at that plane. Because a classical nonvanishing theorem for elliptic equations prevents that profile from being identically zero, and an exponential decay estimate gives the decay rate, $\rho_j$ has the lower bound $|\rho_j(d)|\ge C_\varepsilon(\lambda)\sqrt{-e_j}\exp(-d\sqrt{-e_j+\varepsilon})$. Resolvent estimates then show $\Delta_j/(2|\rho_j|)\to1$, yielding the explicit lower bound on $\Delta_j$ stated in Corollary 5.2.
Load-bearing premise
The load-bearing premise is that a single-well potential supported in one small ball is reflection-symmetric about the far-away bisecting plane; because the two support regions are disjoint, that premise forces the potential to vanish identically, so the main lower bound as stated has no nonzero example.
Editorial extensions
If this is right
- Every excited-state level, not just the ground state, is guaranteed to have a tunneling splitting no smaller than an explicit exponential scale set by $\sqrt{-e_j}$.
- The ratio $\Delta_j/(2|\rho_j|)$ tends to 1 as $d\to\infty$, so computing the hopping coefficient from the surface integral gives the asymptotic splitting for each level.
- The bound holds with rate $\sqrt{-e_j+\varepsilon}$ for every $\varepsilon>0$, showing the exponential rate is pinned to the single-well binding energy in the limit $\varepsilon\downarrow0$.
- The paper formulates its resolvent energy estimates abstractly for translation-invariant kinetic terms and countable sets of wells, so the splitting-to-hopping mechanism is set up for use in periodic or multi-well settings beyond the two-well problem.
- The surface-integral representation extends to magnetic translations when the vector potential satisfies $[P_i,A_i(X)]=0$, so the same route is available for magnetized tunneling problems.
Reading between the lines
- As printed, the reflection hypothesis $U v=v$ about $x_1=d/2$ is incompatible with $\operatorname{supp}v\subseteq B_a(0)$ and $d>2a$: the reflected support lies in a disjoint ball, so every such $v$ is identically zero, leaving Theorem 4.1 and Corollary 5.2 without a single nontrivial instance. If the intended hypothesis is evenness about the origin, $v(x)=v(-x)$, the Fourier-transform computation
- A direct check of the one-dimensional formula $\rho_j=-2A_+A_-\sqrt{-e_j}\,e^{-\sqrt{-e_j}d}$ for a smooth even, compactly supported potential would test whether the prefactor and rate of the lower bound are sharp, and at what separation the asymptotic $\Delta_j/(2|\rho_j|)\to1$ becomes visible.
- The lower bound only requires $|\rho_j|$, not its sign, so the same machinery might yield lower bounds for asymmetric double wells if one can control the phase of the surface integral or prove a modulus lower bound directly.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the double-well Schrödinger operator H_{λ,d}=P^2+λ^2(v(x)+v(x-d)), with a compactly supported single-well potential v satisfying supp(v)⊆B_a(0) and d>2a. Its goal is to prove lower bounds on the excited-state tunneling splitting Δ_j=E_j^+-E_j^- as the well separation d tends to infinity. The strategy is to express the hopping coefficient ρ_j as a boundary integral on the bisecting hyperplane x_1=d/2, prove a d-dependent exponential lower bound on |ρ_j| under a reflection-symmetry assumption on v, and then invoke a Schur-complement/Rouché argument to show Δ_j/(2|ρ_j|)→1 as d→∞. A one-dimensional warm-up gives an exact exponential formula for ρ_j.
Significance. If valid, the advertised lower bound would extend Agmon-type tunneling estimates from the ground state to excited states in all spatial dimensions, with an explicit exponential rate in d. The one-dimensional exact formula and the boundary-integral representation are clean and potentially useful. The proof of Theorem 4.1 is plausible after correcting the symmetry hypothesis, and the paper is honest about the sketchy nature of Theorem 5.1. However, as written the main theorem's symmetry hypothesis is vacuous, a central proposition has a sign error, and the proof of the key bridge theorem is incomplete; the paper therefore needs substantial revision.
major comments (3)
- [Section 4, Eq. (4.1)-(4.2)] The hypothesis Uv=v is vacuous for any nonzero admissible v. Since supp(v)⊆B_a(0) and d>2a, for x∈B_a(0) we have x_1∈[-a,a] and d-x_1≥d-a>a, so Uv(x)=v(d-x_1,x_⊥)=0; hence Uv=v forces v≡0 on B_a(0). Consequently Theorem 4.1 and Corollary 5.2 have no nontrivial instance. The reflection symmetry that is compatible with the setup is evenness about the origin, v(-x)=v(x), with Uφ_j=±φ_j understood as parity about x=0; the proof of (4.3) also requires this parity, not reflection about the bisecting plane.
- [Theorem 5.1 and Section 6.1] The proof of (5.1) is only a sketch and does not establish the key estimate (5.4). The Schur complement reduction is asserted, the correction terms are dismissed with 'All other terms follow a similar pattern', and the resolvent lower bound in Theorem 6.3 depends on Lemma 6.5, whose proof contains a literal 'assumption??' placeholder immediately before invoking Lemma 6.4 (referred to as Theorem 6.4). Lemma 6.6 likewise refers to 'Theorem 6.5' where Lemma 6.5 is meant. The energy estimates are therefore not proved, so the bridge from |ρ_j| lower bounds to Δ_j is missing.
- [Proposition 3.1, Eq. (3.1)] The sign in Eq. (3.1) is incorrect. Because P^2=-Δ, the Green identity gives ⟨P^2φ,ψ⟩_D = ⟨φ,P^2ψ⟩_D - ∫_{∂D}((∇φ)ψ - φ∇ψ)·n, and hence ρ_j = +∫_{∂D}((∇φ)ψ - φ∇ψ)·n. Equation (3.1) has the opposite sign and is inconsistent with the correct specialization (3.2), which has the sign used in the rest of the paper. The proof's line immediately after 'Now using the various integration by parts formulae' should also have a plus sign before the boundary integral.
minor comments (4)
- [Corollary 5.2] The phrase 'set R=ε' should be 'set R=√ε' (or equivalent) in order to obtain the exponent -d√(-e_j+ε) from the proof of Theorem 4.1.
- [Section 6.2] The text 'we may assume e>γ' should read '|e|>γ', since e_j<0 and assumption 2 of Theorem 5.1 is |e_j|>γ_j.
- [Section 6.1] There are several incorrect cross-references: Lemma 6.5's proof refers to 'Theorem 6.4' (should be Lemma 6.4), Lemma 6.6 refers to 'Theorem 6.5' (should be Lemma 6.5), and Lemma 6.7 refers to 'Theorem 6.2' (should be Assumption 6.2).
- [Section 4, proof of Theorem 4.1] The sentence 'outside of the support of a' appears to have a typo; it should say 'outside of the support of v'.
Circularity Check
No circularity: the hopping lower bound is proved directly, and the ratio theorem is delegated to prior published work, not assumed; no fitted quantity is relabeled as a prediction.
full rationale
The derivation chain is non-circular. Theorem 2.1 and Proposition 3.1 derive exact integral representations for the hopping coefficient rho_j directly from the Schrodinger equation, using the fact that the bisecting hyperplane lies outside the support of the potentials. Theorem 4.1 then proves a lower bound on |rho_j(d)| from the Fourier representation of the eigenfunction, Aronszajn non-vanishing, and Agmon decay; no free parameter is fitted to tunneling-splitting data. Corollary 5.2 combines that lower bound with Theorem 5.1, which is explicitly conditional: it states that if |rho_j| obeys a lower bound of the form (4.2), then Delta_j/(2|rho_j|) tends to 1 as d tends to infinity. The proof of Theorem 5.1 is sketched, with detailed components cited to the authors' earlier published papers FSW22 and SW22, but those are prior external published works, not restatements of the present claim, and the lower bound on |rho_j| does not assume the target splitting. No parameter is fitted to a subset of data and then renamed a prediction, and no known result is merely relabeled. The paper does contain serious correctness issues that are outside the circularity pass: the reflection-symmetry hypothesis U v = v is vacuous for nonzero compactly supported v when d > 2a, the Fourier argument in Section 4 appears to use symmetry about x_1 = 0 rather than the stated symmetry about the bisecting plane, and Lemma 6.5's proof contains an unresolved 'assumption??' placeholder before invoking Theorem 6.4. These affect validity of the stated theorems, but they do not make the derivation circular.
Assumptions & free parameters
assumptions (4)
- standard math Aronszajn's unique continuation theorem: a solution of an elliptic equation that vanishes on an open set is identically zero.
- standard math Agmon's estimate: bound states decay exponentially with rate sqrt(-e_j) outside the support of the potential.
- domain assumption The single-well eigenvalues e_j are negative, simple, and well-separated (gap gamma_j with |e_j| > gamma_j).
- ad hoc to paper U v = v for U reflection about x1 = d/2, the stated symmetry of the single-well potential.
Cite this review
Pith. "Pith review of Lower Bounds on Quantum Tunneling for Excited States." pith.science (2026). https://pith.science/paper/QPRQWV6K
@misc{pith2026250612650,
author = {Pith},
title = {Pith review of: Lower Bounds on Quantum Tunneling for Excited States},
year = {2026},
howpublished = {\url{https://pith.science/paper/QPRQWV6K}},
note = {Machine review of arXiv:2506.12650}
}
read the original abstract
We revisit the problem of quantum tunneling for a particle moving in the continuum, and in the absence of a magnetic field. In all spatial dimensions, we extend previous results to the case where the single-well potential satisfies reflection-symmetry.
Figures
Forward citations
Cited by 2 Pith papers
-
Magnetic Double-Wells: Lower Bounds on Tunneling
For generic coupling λ in a strongly magnetic double well, the tunneling splitting and hopping coefficient are bounded below by exp(-λ^{1+ε}) outside a zero-density exceptional set.
-
Magnetic Double-Wells: Absence of Tunneling
Placing four exponentially small potential bumps at a tunable height around a radial well makes the magnetic double-well hopping coefficient vanish, so the eigenvalue splitting is exactly zero.
Reference graph
Works this paper leans on
-
[1]
[SK54] Slater, J. C. and Koster, G. F.: Physical Review.94(6), 1498–1524 (1954) [Aro57] Aronszajn, N.: Journal de Mathématiques Pures et Appliquées.36, 235–249 (1957) [AM76] Ashcroft, N. W. and Mermin, N. D.: Solid State Physics. Brooks Cole,
work page 1954
-
[1982]
Physique théorique.38(3), 295–308 (1983) [HS84] Helffer, B
[Sim83] Simon, B.: Annales de l’I.H.P. Physique théorique.38(3), 295–308 (1983) [HS84] Helffer, B. and Sjostrand, J.: Communications in Partial Differential Equa- tions.9(4), 337–408 (1984) [Sim84] Simon, B.: Annals of Mathematics.120(1), 89–118 (1984) [DS10] Dimassi, M. and Sjostrand, J.: London mathematical society lecture note se- ries: Spectral asympt...
work page 1983
-
[2010]
[FLW18] Fefferman, C. L., Lee-Thorp, J. P., and Weinstein, M. I.: Communications on Pure and Applied Mathematics.71(6), 1178–1270 (2018) [FSW22] Fefferman, C., Shapiro, J., and Weinstein, M. I.: SIAM Journal on Mathemat- ical Analysis.54(1), 1105–1130 (2022) [SW22] Shapiro,J.andWeinstein,M.I.:AdvancesinMathematics.403,108343(2022) [FMR25] Fournais, S., Mo...
work page 2018
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.