REVIEW 2 major objections 3 minor 46 references
Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$
T0 review · 2 major / 3 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read For Schrödinger equations on tori controlled only through the real part of a forcing term, the initial states that can be driven to zero are exactly those real-orthogonal to the purely imaginary stationary modes.
desk verdict A clean structural answer for real-part controllability on tori, proven self-containedly in the open-set case; the measurable-product case rests on an unproved external multiplier approximation and one wrong conjugate identity. 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 load-bearing structure is the real Hilbert space structure on $L^2(\mathbb T^d;\mathbb C)$ given by $\langle u,v\rangle_{\mathbb R}=\operatorname{Re}\int u\,\overline v\,dx$. The real-part observation couples the forward and backward Schrödinger evolutions into the double spectrum $\Sigma_c=\{(-\mu_n,n),(\mu_n,n):n\in\mathbb Z^d\}$ with $\mu_n=|n|^2-c$. An admissible measurable product set is a Cartesian product of measurable factors over blocks of variables of size one or two, each factor of positive measure. The duality proposition converts controllability into lower bounds for the real-part observation with the stationary projection as correction term. For open sets the proof combines a high-frequency oscillatory estimate, a compactness–uniqueness argument, and elliptic unique continuation to identify the invisible space with $K_{\mathrm{Im}}$; for admissible measurable product sets, it uses the approximation of the rough indicator by real trigonometric polynomials, product stability under small removals, and non-resonant translations to absorb finitely many low frequencies one at a time.
What would settle it
Exhibit one initial datum $\phi\notin K_{\mathrm{Im}}$ for which $\operatorname{Re}(e^{it(\Delta-V)}\phi)$ vanishes on $(0,T)\times E$; the paper's Lemma 3.7 says no such datum exists, so any example would falsify Theorem 1.1. For the shifted free measurable-product case, the parallel test is to find $\phi\notin (K_c)_{\mathrm{Im}}$ with $\operatorname{Re}(e^{it(\Delta+c)}\phi)=0$ on an admissible product set $G$, which would falsify Theorem 1.2.
Extended reading notes
Core claim
Let $H=-\Delta+V$ with $V\in C(\mathbb T^d;\mathbb R)$, let $K=\ker H$, and let $K_{\mathrm{Im}}=\{i\operatorname{Im}\phi:\phi\in K\}$. The paper's central claim is that for $G=(0,T)\times E$ with $E\subset\mathbb T^d$ nonempty and open, the set of initial data that can be driven to zero by a real-part control is exactly the real orthogonal complement $K_{\mathrm{Im}}^{\perp_\mathbb R}$, computed with the inner product $\langle u,v\rangle_{\mathbb R}=\operatorname{Re}\int_{\mathbb T^d} u\,\overline v\,dx$. The same conclusion holds for the shifted free operator $-\Delta-c$ when the control set is an admissible measurable product set, with the obstruction generated by the Fourier modes satisfying $|n|^2=c$. The paper expresses this as observability inequalities with stationary correction terms, and proves the correction is optimal: projecting onto any proper real subspace of $K_{\mathrm{Im}}$ would make some nonzero invisible mode uncontrollable.
Load-bearing premise
The load-bearing premise is the imported approximation result used for rough control sets: the characteristic function of the control region can be replaced, up to an arbitrarily small error when applied to Schrödinger solutions, by a real trigonometric polynomial, and this paper relies on that replacement for the measurable-product theorem without proving it here.
Editorial extensions
If this is right
- If $V\ge 0$ with positive spatial mean, then $K=\{0\}$, so the correction term vanishes and every initial datum is null-controllable with real-part controls.
- For $V=0$, the only uncontrollable direction is the imaginary part of the spatial average: $X=\{\phi:\operatorname{Im}\int_{\mathbb T^d}\phi\,dx=0\}$.
- For $V\equiv -c$, full null controllability holds if and only if $c\notin\{|n|^2:n\in\mathbb Z^d\}$, because this is exactly the condition for the stationary Fourier space $K_c$ to be trivial.
- Within each geometric class, the controllable subspace is independent of the control time and of the particular open or admissible measurable control region.
- The stationary correction term in the observability inequality cannot be shrunk: every proper real subspace of $K_{\mathrm{Im}}$ leaves some nonzero mode uncontrollable.
Reading between the lines
- A natural extension the paper does not pursue: the same 'purely imaginary stationary modes are the only obstruction' principle should hold for any self-adjoint operator with compact resolvent whose control map is a real-linear projection, which would make the result an abstract theorem about unitary groups rather than a torus-specific one.
- For the free equation, the single lost direction is the purely imaginary constant, so adding one independent real-valued control channel that moves the imaginary mean would restore full controllability; this is a concrete, testable corollary of the paper's characterization.
- The double-spectrum mechanism relies on the quadratic dispersion $\mu_n=|n|^2-c$; transferring it to fractional Schrödinger equations with $\mu_n=|n|^s-c$ on tori would predict a stationary obstruction at $|n|^s=c$, which the paper does not address.
- Because Theorem 1.2 depends on the imported multiplier approximation for rough sets, a computational check of that approximation for simple product sets would show where the measurable-set result can be extended or where it needs a new idea.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the null-controllable subspace of the Schrödinger equation on the torus when the control enters only through its real part. Treating L^2 as a real Hilbert space, it proves that the maximal controllable subspace is the real orthogonal complement of K_Im = {i Im φ : φ ∈ ker(-Δ+V)}: Theorem 1.1 for cylindrical open control sets G=(0,T)×E, and Theorem 1.2 for admissible measurable product sets in the shifted free case V≡-c. The proof reduces controllability to real-part observability inequalities (Propositions 2.1 and 2.2), proves the open-set estimate by a compactness-uniqueness argument (Section 3), and proves the measurable-product estimate through a double-spectrum inequality (Section 4), using Burq-Zhu's complex-valued observability and multiplier approximation results as external inputs. The paper also establishes optimality of the stationary correction term and includes a coercivity lemma for nonnegative potentials in the appendix.
Significance. If the two issues below are resolved, the paper makes a clean and substantial contribution: it gives an explicit, finite-codimensional description of the controllable subspace, independent of the time horizon and of the open control set, and it isolates the purely imaginary stationary modes as the exact obstruction. The real-Hilbert-space duality framework is natural and well executed, and the double-spectrum formalism for the measurable-product case is a promising approach. The open-set theorem is largely self-contained and, after correction of the identity in Eq. (3.9), appears sound. The measurable-product theorem, however, rests on an unproved multiplier approximation imported from preprints, so its status is conditional on that external input.
major comments (2)
- [§1.3 and §3.1, Eq. (3.9)] Equation (3.9) states Re(e^{it(Δ-V)}φ) = 1/2(e^{it(Δ-V)}φ + e^{-it(Δ-V)}φ). This is not an identity for complex-valued φ. Since H=-Δ+V has real coefficients, one has \overline{e^{-itH}φ}=e^{itH}\bar φ = e^{-it(Δ-V)}\bar φ, so the second summand should contain \bar φ, not φ. The same incorrect formula appears in Section 1.3. Lemma 3.6 uses (3.9) for φ=(I-Π_N)u_0, which is generally complex, so the proof of the high-frequency real-part estimate is not valid as written. The argument appears repairable: replacing φ by \bar φ in the I_- term preserves the required bound because Π_N commutes with complex conjugation and the estimates depend only on the coefficient moduli. Nevertheless, this is a load-bearing error in the proof of Proposition 3.4 and Theorem 3.1, and it must be corrected.
- [§4.1, Proposition 4.4(iii)] Proposition 4.4(iii) is the key multiplier approximation used in Lemma 4.5 and therefore in Theorem 4.3 and Theorem 1.2. The proof of Step 1 merely states that Burq-Zhu's Theorem 1.10, together with estimate (ii), puts χ=1_G in the multiplier-norm closure of trigonometric polynomials; it does not reproduce the exact statement or hypotheses of that theorem, nor the passage to (4.7)-(4.9). Since Lemma 4.5, Lemma 4.9, and Theorem 4.3 all inherit this approximation, Theorem 1.2 has no self-contained proof of its central input. The authors should either state and prove the needed closure result in detail or give a direct proof. If the cited preprints do not establish exactly (4.7), the measurable-product characterization is unsupported.
minor comments (3)
- [§4.7, Step 3] The displayed spatial Fourier coefficient of v_{S^c} should be 1/2(a_k e^{-iµ_k t} + \overline{a_{-k}} e^{iµ_k t}); the missing complex conjugation does not change the subsequent ℓ^2 estimate, but the formula as written is not the coefficient of Re(e^{it(Δ+c)}φ).
- [§4.1, proof of Proposition 4.4(iii), Step 1] The replacement of ζ_0 by ζ=Re ζ_0 is justified by the pointwise bound |χ-Re ζ_0|=|Re(χ-ζ_0)|≤|χ-ζ_0| because χ is real-valued; this is true, but it should be stated explicitly since the displayed argument only says that the replacement does not increase the error.
- [General] The paper would benefit from an explicit statement of which theorem in [14] is used for Proposition 4.4(i) and which theorem in [14] or [15] is used for Proposition 4.4(iii), as the current references are only listed by preprint number.
Circularity Check
No significant circularity: the main theorems are derived from external observability inputs and self-contained duality/compactness arguments, with no fitted parameter renamed as a prediction.
full rationale
The claimed derivation chain is not circular. Theorem 1.1 is reduced in Section 2.2 to the open-set real-part estimate (2.7), which is proved as Theorem 3.1 using Proposition 3.4 (observability up to a compact term) and Lemma 3.7 (unique continuation, N_T = K_Im). These are established in Section 3 from the classical torus observability inequality of Anantharaman–Macià [3], a Weyl-counting dyadic estimate, and elliptic unique continuation [41]; none of these inputs contains the target characterization of the controllable subspace. The stationary obstruction K_Im is defined from ker(-Δ+V) independently of the controllable subspace, and the necessary inclusion X ⊂ K_Im^⊥R follows from Proposition 2.2 by a direct pairing argument, while the sufficient inclusion is proved through the observability estimate. Theorem 1.2 is reduced in Section 2.3 to the measurable-product real-part estimate (2.8), proved in Section 4 via the full-frequency double-spectrum inequality Theorem 4.3. The key external input, Proposition 4.4, is imported from Burq–Zhu [14, 15], who are not authors of this paper and whose results are not equivalent to the paper's conclusion. The paper explicitly marks Proposition 4.4 as an external input ('Proposition 4.4 (External inputs from complex-valued observability)') and then applies it inside its own double-spectrum analysis; the subsequent Lemmas 4.5, 4.8, 4.9 and Theorem 4.3 do the new work. It is a legitimate correctness concern that Proposition 4.4(iii) is not proved in the manuscript and depends on Burq–Zhu preprints, but that is a verification or gap issue, not circularity: the cited theorem is by other authors and is not a rename of the target statement. No parameter is fitted to a subset of data and then presented as a prediction; the only constants are universal estimates depending on d, c, T, E, V, or G. Self-citations in the reference list ([21], [23], [39]) appear only in the related-work discussion and are not load-bearing in the proofs. A score of 0 accordingly reflects that the derivation is self-contained relative to the stated external benchmarks.
Assumptions & free parameters
assumptions (6)
- standard math Classical complex-valued observability for Schrodinger groups on tori from nonempty open sets
- standard math Burq-Zhu observability and multiplier approximation for admissible measurable product sets in the shifted free case
- standard math Elliptic unique continuation for eigenfunctions of a real-coefficient Schrodinger operator vanishing on an open set
- standard math Weyl eigenvalue counting bound for -Delta+V
- standard math Turan inequality for trigonometric polynomials
- domain assumption H=-Delta+V is self-adjoint with real coefficients, V is in C(T^d;R), and the control region has the stated geometric form
Cite this review
Pith. "Pith review of Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$." pith.science (2026). https://pith.science/paper/DS4IF3A4
@misc{pith2026260804357,
author = {Pith},
title = {Pith review of: Controllable subspaces and real-part observability for Schr\"odinger equations on $\mathbb T^d$},
year = {2026},
howpublished = {\url{https://pith.science/paper/DS4IF3A4}},
note = {Machine review of arXiv:2608.04357}
}
read the original abstract
We study internal controllability of Schr\"odinger equations on tori with controls acting only through their real parts. This real-part constraint leads to a real-linear control problem for which full null controllability may fail. We characterize the maximal null-controllable subspace and show that the uncontrollable directions are precisely given by the purely imaginary stationary modes. These results provide an explicit description of controllable and uncontrollable directions for Schr\"odinger equations with real-part controls. The characterization is obtained through observability inequalities with sharp stationary correction terms. For cylindrical open control regions, we prove such an estimate by a real-part compactness--uniqueness argument. For admissible measurable product control regions in the shifted free case, we establish the corresponding estimate for rough spacetime control sets. The proof combines complex-valued observability inputs with a double-spectrum analysis arising from the coupling of the forward and backward Schr\"odinger evolutions in the real-part observation.
Reference graph
Works this paper leans on
-
[1]
P. Alphonse and N. Tzvetkov, A smoothing effect for the fractional Schr¨ odinger equations on the circle and observability,Int. Math. Res. Not. IMRN(2025), no. 8, Paper No. rnaf100, 20 pp
work page 2025
-
[2]
F. Ammar-Khodja, A. Benabdallah, M. Gonz´ alez-Burgos, and L. de Teresa, Recent results on the controlla- bility of linear coupled parabolic problems: a survey,Math. Control Relat. Fields1 (2011), no. 3, 267–306
work page 2011
-
[3]
N. Anantharaman and F. Maci` a, Semiclassical measures for the Schr¨ odinger equation on the torus,J. Eur. Math. Soc. (JEMS)16 (2014), no. 6, 1253–1288
work page 2014
-
[4]
F. D. Araruna, E. Cerpa, A. Mercado, and M. C. Santos, Internal null controllability of a linear Schr¨ odinger– KdV system on a bounded interval,J. Differential Equations260 (2016), no. 1, 653–687
work page 2016
- [5]
-
[6]
K. Beauchard and C. Laurent, Local controllability of 1D linear and nonlinear Schr¨ odinger equations with bilinear control,J. Math. Pures Appl.94 (2010), no. 5, 520–554
work page 2010
-
[7]
A. Benabdallah, P. Cannarsa, and M. Yamamoto, Null controllability of some systems of parabolic equations by one control force,Rend. Sem. Mat. Univ. Padova121 (2009), 11–32
work page 2009
-
[8]
A. Bonami and B. Demange, A survey on uncertainty principles related to quadratic forms,Collect. Math. Vol. Extra (2006), 1–36
work page 2006
Show all 46 references
-
[9]
Boscain, M
U. Boscain, M. Caponigro, T. Chambrion, and M. Sigalotti, A weak spectral condition for the controllability of the bilinear Schr¨ odinger equation with application to the control of a rotating planar molecule,Comm. Math. Phys.311 (2012), no. 2, 423–455
2012
-
[10]
Bourgain, On the control problem for Schr¨ odinger operators on tori, inGeometric aspects of functional analysis, Springer, Cham, 2014, 97–105
J. Bourgain, On the control problem for Schr¨ odinger operators on tori, inGeometric aspects of functional analysis, Springer, Cham, 2014, 97–105
2014
-
[11]
Bourgain, N
J. Bourgain, N. Burq, and M. Zworski, Control for Schr¨ odinger operators on 2-tori: rough potentials,J. Eur. Math. Soc. (JEMS)15 (2013), no. 5, 1597–1628
2013
-
[12]
Burq and M
N. Burq and M. Zworski, Control for Schr¨ odinger operators on tori,Math. Res. Lett.19 (2012), no. 2, 309–324
2012
-
[13]
Burq and M
N. Burq and M. Zworski, Rough controls for Schr¨ odinger operators on 2-tori,Ann. Henri Lebesgue2 (2019), 331–347
2019
-
[14]
Burq and H
N. Burq and H. Zhu, Observability of Schr¨ odinger propagators on tori in rough settings, preprint, arXiv:2509.23965 [math.AP], 2025
2025
-
[15]
Burq and H
N. Burq and H. Zhu, Resolvent bounds imply observability from measurable time sets for Schr¨ odinger equa- tions, preprint, arXiv:2510.24517 [math.AP], 2025
2025
-
[16]
Chambrion, P
T. Chambrion, P. Mason, M. Sigalotti, and U. Boscain, Controllability of the discrete-spectrum Schr¨ odinger equation driven by an external field,Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire26 (2009), no. 1, 329–349
2009
-
[17]
Coron,Control and nonlinearity, Mathematical Surveys and Monographs, vol
J.-M. Coron,Control and nonlinearity, Mathematical Surveys and Monographs, vol. 136, American Mathe- matical Society, Providence, RI, 2007
2007
-
[18]
Dard´ e and S
J. Dard´ e and S. Ervedoza, On the reachable set for the one-dimensional heat equation,SIAM J. Control Optim.56 (2018), no. 3, 1692–1715
2018
-
[19]
Fern´ andez-Cara, M
E. Fern´ andez-Cara, M. Gonz´ alez-Burgos, and L. de Teresa, Boundary controllability of parabolic coupled equations,J. Funct. Anal.259 (2010), no. 7, 1720–1758
2010
-
[20]
Fontes-Merz, A multidimensional version of Tur´ an’s lemma,J
N. Fontes-Merz, A multidimensional version of Tur´ an’s lemma,J. Approx. Theory140 (2006), no. 1, 27–30
2006
-
[21]
X. Fu, G. Wang, H. Yu, and X. Zhu, Observability from measurable sets for strongly coupled parabolic systems via single-component observation, preprint, arXiv:2604.13599 [math.OC], 2026
2026 arXiv
-
[22]
Guerrero, Null controllability of some systems of two parabolic equations with one control force,SIAM J
S. Guerrero, Null controllability of some systems of two parabolic equations with one control force,SIAM J. Control Optim.46 (2007), no. 2, 379–394
2007
-
[23]
B. H. Haak, P. Jaming, M. Wang, and Y. Wang, Curved Ingham inequalities and observability of the toroidal Schr¨ odinger equation, preprint, arXiv:2603.15193 [math.AP], 2026
2026
-
[24]
Haraux, S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangulaire,J
A. Haraux, S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangulaire,J. Math. Pures Appl. (9)68 (1989), no. 4, 457–465
1989
-
[25]
Hartmann, K
A. Hartmann, K. Kellay, and M. Tucsnak, From the reachable space of the heat equation to Hilbert spaces of holomorphic functions,J. Eur. Math. Soc. (JEMS)22 (2020), no. 10, 3417–3440
2020
-
[26]
Havin and B
V. Havin and B. J¨ oricke,The uncertainty principle in harmonic analysis, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 28, Springer-Verlag, Berlin, 1994
1994
-
[27]
Huang and C
X. Huang and C. D. Sogge, Weyl formulae for Schr¨ odinger operators with critically singular potentials, Comm. Partial Differential Equations46 (2021), no. 11, 2088–2133
2021
-
[28]
A. E. Ingham, Some trigonometrical inequalities with applications to the theory of series,Math. Z.41 (1936), 367–379
1936
-
[29]
Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Port
S. Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Port. Math.47 (1990), no. 4, 423–429
1990
-
[30]
Kahane, Pseudo-p´ eriodicit´ e et s´ eries de Fourier lacunaires,Ann
J.-P. Kahane, Pseudo-p´ eriodicit´ e et s´ eries de Fourier lacunaires,Ann. Sci.´Ecole Norm. Sup. (3)79 (1962), 93–150
1962
-
[31]
Komornik, On the exact internal controllability of a Petrowsky system,J
V. Komornik, On the exact internal controllability of a Petrowsky system,J. Math. Pures Appl. (9)71 (1992), no. 4, 331–342. 44 GENGSHENG W ANG AND MING W ANG
1992
-
[32]
Laurent, Internal control of the Schr¨ odinger equation,Math
C. Laurent, Internal control of the Schr¨ odinger equation,Math. Control Relat. Fields4 (2014), no. 2, 161–186
2014
-
[33]
Le Balc’h and J
K. Le Balc’h and J. Martin, Observability estimates for the Schr¨ odinger equation in the plane with peri- odic bounded potentials from measurable sets,Ann. Inst. Fourier (Grenoble), to appear. arXiv:2304.08050 [math.AP], 2023
2023 arXiv
-
[34]
Li and J
X. Li and J. Yong,Optimal Control Theory for Infinite Dimensional Systems, Systems & Control: Founda- tions & Applications, Birkh¨ auser Boston, Boston, MA, 1995
1995
-
[35]
Lions,Contrˆ olabilit´ e exacte, perturbations et stabilisation de syst` emes distribu´ es
J.-L. Lions,Contrˆ olabilit´ e exacte, perturbations et stabilisation de syst` emes distribu´ es. Tome 1: Contrˆ olabilit´ e exacte, Recherches en Math´ ematiques Appliqu´ ees, vol. 8, Masson, Paris, 1988
1988
-
[36]
Lissy and E
P. Lissy and E. Zuazua, Internal observability for coupled systems of linear partial differential equations, SIAM J. Control Optim.57 (2019), no. 2, 832–853
2019
-
[37]
X. Liu, Q. L¨ u, and X. Zhang, Finite codimensional controllability and optimal control problems with endpoint state constraints,J. Math. Pures Appl.138 (2020), 164–203
2020
-
[38]
Maci` a, High-frequency propagation for the Schr¨ odinger equation on the torus,J
F. Maci` a, High-frequency propagation for the Schr¨ odinger equation on the torus,J. Funct. Anal.258 (2010), no. 3, 933–955
2010
-
[39]
J. Niu, M. Wang, and S. Xiang, The periodic KdV with control on space-time measurable sets,J. Funct. Anal.291 (2026), no. 11, Paper No. 111621
2026
-
[40]
Rauch and M
J. Rauch and M. Taylor, Decay of solutions to nondissipative hyperbolic systems on compact manifolds, Comm. Pure Appl. Math.28 (1975), 501–523
1975
-
[41]
Schechter and B
M. Schechter and B. Simon, Unique continuation for Schr¨ odinger operators with unbounded potentials,J. Math. Anal. Appl.77 (1980), 482–492
1980
-
[42]
Tao, Exact control for the Schr¨ odinger equation on the torus from small balls,Pure Appl
Z. Tao, Exact control for the Schr¨ odinger equation on the torus from small balls,Pure Appl. Anal.3 (2021), no. 2, 387–401
2021
-
[43]
T¨ aufer, Controllability of the Schr¨ odinger equation on unbounded domains without geometric control condition,ESAIM Control Optim
M. T¨ aufer, Controllability of the Schr¨ odinger equation on unbounded domains without geometric control condition,ESAIM Control Optim. Calc. Var.29 (2023), Paper No. 59, 11 pp
2023
-
[44]
Tucsnak, Reachable states for infinite-dimensional linear systems: old and new, inProceedings of the International Congress of Mathematicians 2022, Vol
M. Tucsnak, Reachable states for infinite-dimensional linear systems: old and new, inProceedings of the International Congress of Mathematicians 2022, Vol. 7, EMS Press, 2022, 5374–5395
2022
-
[45]
Wunsch, Periodic damping gives polynomial energy decay,Math
J. Wunsch, Periodic damping gives polynomial energy decay,Math. Res. Lett.24 (2017), no. 2, 571–580
2017
-
[46]
Zygmund, A Cantor–Lebesgue theorem for double trigonometric series,Studia Math.43 (1972), 173–178
A. Zygmund, A Cantor–Lebesgue theorem for double trigonometric series,Studia Math.43 (1972), 173–178. HETAO Institute of Mathematics and Interdisciplinary Studies (Shenzhen), 518017, China Email address:wanggs62@yeah.net School of Mathematics and Statistics, HNP-LAMA, Central ...
1972
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.