REVIEW 3 major objections 4 minor 29 references
A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps
T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that for a class of warped-product manifolds, equality of the local Dirichlet-to-Neumann maps on any nonempty open boundary patch forces equality of the global maps and hence of the metric, under a quasi-analytic boundary
desk verdict A genuinely new spectral propagation mechanism for partial-boundary Calderón problems, with a real regularity gap at the singular end that needs fixing before the main theorem is fully supported. 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 tool is the diagonalization of the DN map on warped products: after separation of variables, $\Lambda_g$ acts on each eigenspace of the Laplace-Beltrami operator of $K$ by scalar multiplication, with scalar given by a term involving the Weyl-Titchmarsh function $M(-\rho_k^2)$ evaluated at the shifted eigenvalues $\rho_k^2=\lambda_k+\frac{(d-2)^2}{4}$. The difference of two such functions admits a Laplace-transform representation with a Volterra-type integral kernel (a triangular kernel that encodes the difference of the effective potentials), yielding the decay bound (5.47). The second key ingredient is a pointwise spectral projector estimate valid on symmetric spaces: the sum of squared eigenfunctions at any poi
What would settle it
Take a round sphere $K=S^2$ and two distinct $C^2$ radial conformal factors $c$ and $\tilde c$ on the unit ball whose derivatives up to order 2 satisfy the quasi-analytic closeness bound with $\theta(t)=1/\log t$ but which are not identical (for instance, flat but non-zero difference). If the local DN maps on some small open cap coincide, Theorem 1.5 says the global DN maps must coincide; a numerical or rigorous demonstration that they differ would falsify the claim. Alternatively, a direct check of whether the Weyl-Titchmarsh difference decays like $e^{-\rho \theta(\rho)}$ for such a potential difference would test the k
Extended reading notes
Core claim
The central claim is Theorem 1.5. Let $M=(0,1]\times K$ where $K$ is a compact Riemannian symmetric space, and let $g=c(r)^4(dr^2+r^2 g_K)$ and $\tilde g=\tilde c(r)^4(dr^2+r^2 g_K)$ be two conformally warped metrics. In the logarithmic coordinate $x=-\log r$, write $f(x)=e^{-x/2}c(e^{-x})$ and similarly $\tilde f$. Suppose the two conformal factors satisfy the boundary closeness estimate $|f^{(j)}(x)-\tilde f^{(j)}(x)|\le C e^{\Phi(x)}$ for $j=0,1,2$ and all small $x$, where $\Phi(x)=\inf_{t\ge T}(2xt - t \theta(t))$ and $\theta$ is a decreasing positive function with $\int_T^\infty \frac{\theta(t)}{t}\,dt=\infty$. If the local DN maps agree on any nonempty open set $O\subset K$, then the global DN maps agree on all of $K$; by the authors' earlier uniqueness result, this implies $g=\tilde g$.
Load-bearing premise
The argument's weakest point is the reliance on the previously established spectral machinery—the Laplace-transform representation of the difference of the two Weyl-Titchmarsh functions with controlled Volterra-type kernels, and the self-adjointness of the Dirichlet-to-Neumann maps at the possibly singular cone end—since the main theorem collapses if either fails.
Editorial extensions
If this is right
- If Theorem 1.5 is correct, the inverse Steklov problem on these warped products is uniquely solvable from partial boundary data on any nonempty open set, without requiring the conformal factors to be real-analytic.
- The borderline example θ(t)=1/log t shows the propagation condition is essentially optimal: the integral ∫ θ/t diverges, while any slower decay fails, mirroring the classical boundary between quasi-analytic and non-quasi-analytic classes.
- The propagation mechanism reduces the local-to-global question to a purely spectral statement, so any future improvement in quasi-analytic propagation theorems on Riemannian manifolds would immediately yield analogous uniqueness results there.
- Combined with the earlier uniqueness result of the same authors, local DN equality implies full metric equality g=\tilde g in the warped product class, extending the reach of partial-data inverse boundary value problems.
- The self-adjointness trick used to pass from vanishing of the difference on test functions to vanishing of the operator is general and applies to any difference of DN maps with a common boundary metric.
Reading between the lines
- One can test numerically on a round sphere: construct two C^2 conformal factors that are flat (all derivatives vanish) at the boundary but not identical, and check whether local DN equality on a small cap forces global equality; the theorem predicts it does.
- The quasi-analytic boundary closeness is a condition on the difference of the conformal factors, not on each factor individually, so the result holds even when the individual factors are only C^m and vanish on an interior region; this suggests the mechanism is about the difference's spectral decay rather than regularity.
- The same spectral propagation template might work for other boundary operators (e.g., Robin-to-Neumann) or for metrics that are not symmetric spaces, provided a pointwise bound on spectral projections is available.
- If the boundary symmetric-space assumption were relaxed to any compact manifold with a sufficiently strong pointwise Weyl law, the argument would carry through; the paper notes this is open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies local-to-global propagation of equality of Dirichlet-to-Neumann maps. Theorem 1.1 shows that under a collar coincidence assumption, equality of local DN maps on a nonempty open boundary subset propagates to the whole boundary component. Theorem 1.2 replaces the collar assumption by an exponential spectral decay assumption on the difference of the global DN maps and invokes spectral unique continuation. Theorem 1.5, the main result, concerns conformally warped metrics g=c(r)^4(dr^2+r^2 g_K) on M=(0,1]×K with K a compact symmetric space; it asserts that a quasi-analytic boundary closeness of the conformal factors, together with local DN equality on any nonempty open O⊂K, forces global DN equality. The proof separates variables, relates the DN eigenvalues to a Weyl-Titchmarsh function, derives a quantitative decay estimate for the difference via Laplace-transform and Volterra bounds imported from [4], and finally applies the Ganguly-Thangavelu quasi-analytic propagation theorem. The paper also advertises a fourth result for compact quasi-analytic manifolds that does not appear in the body.
Significance. If the gaps are closed, the propagation mechanism proposed here is genuinely novel: instead of Carleman estimates or classical unique continuation, the proof uses quasi-analytic decay of spectral projections together with the Ganguly-Thangavelu propagation theorem. Theorem 1.5, if fully justified, gives a quantitatively sharp boundary-closeness condition under which local DN measurements determine the full DN map for a class of cone-end warped metrics, going beyond the exponential regime of the local Borg-Marchenko theory. The paper is clearly organized; Lemma 5.1 is elementary and correct, and the algebraic chain (5.44)-(5.47)-(6.4)-(6.10) is coherent. However, the proof rests on substantial imported results whose hypotheses are not verified in the singular C^m setting, and the advertised fourth result is missing.
major comments (3)
- [§5.2, §5.5] The proof of Theorem 1.5 relies on self-adjointness with compact resolvent of Λ_g for C^m cone-end metrics (5.2), but §5.2 justifies this only in the regular case where r=0 is a removable point of a smooth compact completion, via (5.7). The paper explicitly notes this case is unavailable for non-fillable K such as P^2(C). The imports from [4]—the Volterra kernel bound (5.34), the Laplace-transform representation (5.36), and the H^δ isomorphism of B ([4, Prop. 4.6])—are applied to c,\tilde c∈C^m without verifying their hypotheses. These feed directly into the decay estimate (5.47), which is load-bearing for (6.10) and Theorem 1.5. This gap must be closed by proving the statements in the singular C^m setting or by restricting Theorem 1.5 to a regime where [4] is known to apply.
- [§3 (Theorem 1.2)] The application of Le Rousseau-Lebeau [18, Prop. 5.6] is incomplete as written. In its standard form this proposition is a quantitative interpolation inequality for eigenfunction sums with a constant C_O depending on the observation set O; to infer Aψ=0 on K from the decay (3.6), the rate ε must exceed C_O. The theorem allows arbitrary ε>0 and the proof does not state the proposition or check the required lower bound. Without this, the step 'all assumptions of Proposition 5.6 are fulfilled' is unjustified. Either Theorem 1.2 should include an explicit lower bound ε>ε_0(K,O), or a separate argument is needed to handle small ε.
- [Abstract/Introduction] The manuscript advertises four local-to-global results, including one for compact quasi-analytic manifolds via Bhowmik-Pradhan, but the body contains only Theorems 1.1, 1.2, and 1.5. No quasi-analytic-manifold theorem is stated or proved, and Remark 1.6 says no such analogue is currently available. The abstract in the full text says 'three' while the abstract supplied with the manuscript says 'four'. This mismatch must be corrected: either add the missing theorem or revise the claims.
minor comments (4)
- [§6, (6.9)-(6.10)] The absorption of the polynomial factor by 'possibly replacing θ by a smaller function' should be stated as a short lemma, since θ must remain decreasing, positive, and satisfy the divergent integral condition. The step is plausible but deserves a proof.
- [References] Typo in reference [22]: 'Chacteristic classes' should read 'Characteristic classes'.
- [Remark 1.4] Typo: 'il (ϕℓ)' should read 'if (ϕℓ)'.
- [Lemma 5.1] The statement I(ρ)≤e^{-ρθ(ρ)} should include the factor ε (or an explicit constant C_ε), since integrating the pointwise bound over (0,ε) yields ε e^{-ρθ(ρ)}. The final use is harmless, but the displayed estimate is formally missing this factor.
Circularity Check
No circularity: Theorem 1.5 is a genuine propagation argument; local DtN equality and quasi-analytic boundary closeness are inputs, global DtN equality is derived through Weyl–Titchmarsh estimates and the Ganguly–Thangavelu theorem rather than assumed.
full rationale
The derivation chain does not identify its conclusion with any of its hypotheses. Theorem 1.5 assumes local DtN equality on an open set O and a quantitative quasi-analytic boundary closeness of the conformal factors, (1.11). The proof then derives, in sequence, closeness of the effective potentials (5.44), Laplace-transform decay of the Volterra-transformed potential difference via Lemma 5.1, (5.45)-(5.46), decay of the Weyl–Titchmarsh difference (5.47), the spectral-coefficient estimate (6.10) via the diagonalization (6.4) and Weyl law, and finally global vanishing by Proposition 4.1 (Ganguly–Thangavelu). Each step is a nontrivial mathematical implication; the quasi-analytic boundary closeness is not the same object as the spectral decay, and the spectral decay is not the same object as global DtN equality. The local DtN equality is a hypothesis and is never produced as an output; the conclusion Λ_g = Λ_\tilde g is obtained only after the propagation argument. The cited lemmas from the authors' earlier work [4] — the Volterra kernel bound (5.34), the Laplace representation (5.36), the B-isomorphism, and the local uniqueness theorem — are load-bearing but they are parameter-free published results with stated hypotheses; they do not assume the target conclusion of this paper, so under the provided rule they count as independent support rather than circularity. Remark 1.6 explicitly separates the new propagation mechanism from the imported uniqueness statement, further reducing any concern of a self-citation chain forcing the conclusion. The skeptical worries about whether [4]'s estimates apply to merely C^m, non-fillable cone ends, and about the unverified hypotheses of Le Rousseau–Lebeau Proposition 5.6 in Theorem 1.2, are legitimacy/rigor risks concerning the validity of cited hypotheses, not circularity: even if those gaps were fatal, the argument would be unsupported rather than circular. No equation in the paper reduces to its own input by construction, and no fitted parameter is relabeled as a prediction. Hence the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (7)
- standard math Boundary elliptic unique continuation: if w is harmonic in a collar neighborhood and both w and its normal derivative vanish on a nonempty open subset of a connected boundary component, then w vanishes on the collar (used in Theorem 2.1, eqs. (2.3)-(2.4)).
- domain assumption Exponential spectral unique continuation: if u in L^2(K), u=0 on an open set O, and ||P_k u|| <= C e^{-epsilon sqrt(lambda_k)}, then u=0 (used in Theorem 1.2 via eq. (3.7)).
- domain assumption Ganguly-Thangavelu quasi-analytic propagation (Prop. 4.1): F=0 on O plus pointwise spectral decay |P_k F(omega)| <= C_omega e^{-sqrt(lambda_k) theta(sqrt(lambda_k))} with integral theta(t)/t dt = infinity forces F identically 0 on K.
- domain assumption Weyl-Titchmarsh machinery of [4]: Lemmas 4.4, 4.5, Corollary 4.3, Prop. 4.6 - Volterra operator bounds and the Laplace-transform representation of M - M~ (eqs. 5.34-5.38 here).
- domain assumption Well-posedness and self-adjointness of the DN map, with compact resolvent, for the (possibly singular) warped product metric (stated in Section 5.2, below eq. (5.8)).
- ad hoc to paper Quantitative boundary closeness (1.11)/(6.1): |f^(j)(x) - f~^(j)(x)| <= C e^{Phi(x)} for j=0,1,2 with Phi(x) = inf_{t>=T}(2xt - t theta(t)) and integral theta(t)/t dt = infinity.
- standard math On a compact symmetric space, the eigenspace projector kernel is constant on the diagonal: sum_alpha |Y_{k,alpha}(omega)|^2 = d_k / Vol(K) (eq. 5.52).
Cite this review
Pith. "Pith review of A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps." pith.science (2026). https://pith.science/paper/RC3OXLGE
@misc{pith2026260629233,
author = {Pith},
title = {Pith review of: A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/RC3OXLGE}},
note = {Machine review of arXiv:2606.29233}
}
abstract
We establish four local-to-global propagation results for Dirichlet--to--Neumann maps. Our first two results are proved in the general setting of smooth compact Riemannian manifolds with boundary. The first shows that if two smooth Riemannian metrics coincide in a collar neighborhood of a connected boundary component \(\Gamma\), then equality of the corresponding local Dirichlet--to--Neumann maps on a nonempty open subset of \(\Gamma\) propagates to equality of the associated global Dirichlet--to--Neumann maps on all of \(\Gamma\). The proof combines unique continuation and self-adjointness arguments. The second replaces the geometric collar assumption by an exponential spectral assumption on the difference of the corresponding global Dirichlet--to--Neumann maps. The proof relies on the spectral unique continuation theory of Jerison--Lebeau, through the formulation of Le~Rousseau--Lebeau. Our third and fourth results establish local-to-global propagation principles under Ingham-type quasi--analytic spectral assumptions. Assuming that the boundary manifold is respectively a compact Riemannian symmetric space or a compact quasi--analytic Riemannian manifold, they rely on the propagation theorems of Ganguly--Thangavelu and of Bhowmik--Pradhan. As an application, we consider a class of conformally warped product metrics. In this setting, the local Borg--Marchenko theorem and Weyl--Titchmarsh theory relate the required Ingham-type spectral decay to a suitable quasi--analytic boundary closeness of the conformal factors, yielding new local-to-global uniqueness results for Dirichlet--to--Neumann maps.
Figures
Reference graph
Works this paper leans on
-
[4]
Daud´ e, N
T. Daud´ e, N. Kamran, and F. Nicoleau, Stability in the inverse Steklov problem on warped product Rie- mannian manifolds, J. Geom. Anal. 31 (2021), no. 2, 1821–1854
2021
-
[1]
M. Bhowmik and S. Pradhan, Quantitative uniqueness properties for functions on compact quasi-analytic manifolds, arXiv:2606.04530, (2026)
arXiv 2026
-
[2]
A. L. Bukhgeim and G. Uhlmann, Recovering a potential from partial Cauchy data, Comm. PDE, 27 (2002), 653–668
2002
-
[3]
Calder´ on, On an inverse boundary value problem, Seminar on Numerical Analysis and its Applications to Continuum Physics, Soc
A.-P. Calder´ on, On an inverse boundary value problem, Seminar on Numerical Analysis and its Applications to Continuum Physics, Soc. Brasil. Mat., Rio de Janeiro, (1980)
1980
-
[5]
Dos Santos Ferreira, C
D. Dos Santos Ferreira, C. Kenig, M. Salo and G. Uhlmann, Limiting Carleman weights and anisotropic inverse problems, Invent. Math. 178 (2009), 119–171
2009
-
[6]
Gangolli and V
R. Gangolli and V. S. Varadarajan,Harmonic Analysis of Spherical Functions on Real Reductive Groups, Springer, Berlin, 1988
1988
-
[7]
Ganguly and S
P. Ganguly and S. Thangavelu, Theorems of Chernoff and Ingham for certain eigenfunction expansions, Adv. Math. 386 (2021), 107815
2021
-
[8]
Girouard and I
A. Girouard and I. Polterovich, Spectral geometry of the Steklov spectrum, Journal of Spectral Theory7, no. 2, (2017), 321-359
2017
Show all 29 references
-
[9]
Helgason,Groups and Geometric Analysis, Academic Press, Orlando, 1984
S. Helgason,Groups and Geometric Analysis, Academic Press, Orlando, 1984
1984
-
[10]
H¨ ormander, The spectral function of an elliptic operator, Acta Math
L. H¨ ormander, The spectral function of an elliptic operator, Acta Math. 121 (1968), 193–218
1968
-
[11]
H¨ ormander,The Analysis of Linear Partial Differential Operators, IV
L. H¨ ormander,The Analysis of Linear Partial Differential Operators, IV. Fourier integral operators, Springer-Verlag, Berlin, (1985)
1985
-
[12]
O. Y. Imanuvilov, G. Uhlmann and M. Yamamoto, The Calder´ on problem with partial data in two dimen- sions, J. Amer. Math. Soc. 23 (2010), 655–691
2010
-
[13]
A. E. Ingham, A theorem on Fourier transforms, J. London Math. Soc. S1-9 (1) (1934), 29–32
1934
-
[14]
Isakov, On uniqueness in the inverse conductivity problem with local data, Inverse Problems and Imaging 1 (2007), 95–105
V. Isakov, On uniqueness in the inverse conductivity problem with local data, Inverse Problems and Imaging 1 (2007), 95–105
2007
-
[15]
Jerison and G
D. Jerison and G. Lebeau. Nodal sets of sums of eigenfunctions, InHarmonic Analysis and Partial Differential Equations (Chicago, IL, 1996), Chicago Lectures in Mathematics, 223–239. University of Chicago Press, Chicago, 1999
1996
-
[16]
C. E. Kenig and M. Salo, Recent progress in the Calder´ on problem with partial data, inInverse Problems and Applications, Contemp. Math.615, Amer. Math. Soc., Providence, RI, 2014, 193–213
2014
-
[17]
C. E. Kenig, J. Sj¨ ostrand and G. Uhlmann, The Calder´ on problem with partial data, Ann. of Math. 165 (2007), 567–591
2007
-
[18]
Le Rousseau and G
J. Le Rousseau and G. Lebeau, On Carleman estimates for elliptic and parabolic operators. Applications to unique continuation and control of parabolic equations. ESAIM Control Optim. Calc. Var. 18 (2012), no. 3, 712–747
2012
-
[19]
Lebeau and L
G. Lebeau and L. Robbiano, Contrˆ ole exact de l’´ equation de la chaleur. Comm. Partial Differential Equations 20 (1995), no. 1–2, 335–356
1995
-
[20]
Lebeau and E
G. Lebeau and E. Zuazua. Null-controllability of a system of linear thermoelasticity. Arch. Rational Mech. Anal. 141 (1998), no. 4, 297–329
1998
-
[21]
Salo and L
M. Salo and L. Tzou, Carleman estimates and inverse problems for Dirac operators.Math. Ann., 344 (2009), 161–184
2009
-
[22]
Milnor and J
J. Milnor and J. Stasheff,Chacteristic classes, Annals of Mathematics Studies, Princeton University Press (1974)
1974
-
[23]
Petersen,Riemannian Geometry, Third Edition, Graduate Texts in Mathematics 171, Springer, (2016)
P. Petersen,Riemannian Geometry, Third Edition, Graduate Texts in Mathematics 171, Springer, (2016)
2016
-
[24]
Reed and B
M. Reed and B. Simon,Methods of modern mathematical physics- Scattering theory, Academic Press (1978). 18 T. DAUD ´E, A. ENCISO, B. HELFFER, N. KAMRAN, AND F. NICOLEAU
1978
-
[25]
Safarov and D
Y. Safarov and D. Vassiliev,The Asymptotic Distribution of Eigenvalues of Partial Differential Operators, Translations of Mathematical Monographs, Vol. 155, American Mathematical Society, Providence, RI, 1997
1997
-
[26]
Salo,Unique continuation for elliptic equations, Lecture notes, University of Jyv¨ askyl¨ a, Finland, 2014
M. Salo,Unique continuation for elliptic equations, Lecture notes, University of Jyv¨ askyl¨ a, Finland, 2014
2014
-
[27]
R. T. Seeley, Eigenfunction expansions of analytic functions, Proc. Amer. Math. Soc. 21 (1969), 734–738
1969
-
[28]
Tataru,Unique continuation for pde’s, The IMA Volumes in Mathematics and its Applications137, (2003), 239-255
D. Tataru,Unique continuation for pde’s, The IMA Volumes in Mathematics and its Applications137, (2003), 239-255
2003
-
[29]
Uhlmann, Thirty years of Calder´ on’s problem, S´ eminaire Laurent Schwartz, 2012–2013
G. Uhlmann, Thirty years of Calder´ on’s problem, S´ eminaire Laurent Schwartz, 2012–2013. Universit´e Marie et Louis Pasteur, CNRS, LmB (UMR 6623), F-25000 Besanc ¸on, France Email address:thierry.daude@univ-fcomte.fr Instituto de Ciencias Matem´aticas, Consejo Superior de In...
2012
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.