REVIEW 3 major objections 3 minor 1 cited by
Anisotropic Calder\'{o}n Problem for a Non-Local Second Order Elliptic Operator
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Internal data of a nonlocal order-2 operator on a shared open patch force the two manifolds to be isometric.
desk verdict A useful extension of the fractional anisotropic Calderón theorem to order 2, but the central Kannai formula has a normalization error that needs fixing. 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 chain is: (i) the fractional inverse $L_g^{-1/2}$ is written through the heat semigroup $e^{-tL_g}$ by a Gamma-integral formula, so assumed equality of data becomes vanishing of weighted $t$-integrals of the semigroup difference; (ii) integration by parts and the estimates of the bi-Laplace heat kernel (Theorem 2.1) turn those integrals into vanishing moments $\int_0^\infty \phi(s)s^k\,ds=0$; (iii) the Paley-Wiener theorem forces $\phi\equiv0$, giving equality of the bi-Laplace heat semigroups on a subdomain; (iv) Kannai's transmutation formulas formally convert this into equality of the Laplace heat kernels; and (v) a known heat-kernel rigidity theorem (Theorem 3.6) upgrades local kernel equality to a global isometry. The central object carrying the argument is the transmutation identity expressing $e^{t\Delta_g}$ (and $e^{-t\Delta_g^2}$) as an integral of $\sin(\sqrt{\tau}\,\Delta_g)/\Delta_g$ against a Gaussian weight.
What would settle it
Evaluate equation (27) on a single eigenfunction $\varphi_k$ of $\Delta_g$ with $\Delta_g\varphi_k=\lambda_k\varphi_k$; the identity as printed gives a prefactor $t^{7/6}e^{-\lambda_k^2 t}$ rather than $e^{-\lambda_k^2 t}$, so verifying the correct prefactor and weight against Kannai's statement settles whether the bridge from bi-Laplace to Laplace heat kernels is valid.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: let $(M_1,g_1)$ and $(M_2,g_2)$ be smooth closed connected Riemannian manifolds sharing an open set $(O,g)$, and suppose $L_{g_1}^{-1/2}f|_O = L_{g_2}^{-1/2}f|_O$ for every source $f\in C_0^\infty(O)$, where $L_g=(-\Delta_g)^2+m^2I$. Then a diffeomorphism $\Phi:M_1\to M_2$ exists with $\Phi^*g_2=g_1$. In other words, the full isometry class of a closed manifold is encoded in the restriction of the operator's inverse to an arbitrarily small open patch. A companion theorem (Theorem 1.4) states the same conclusion when the Cauchy data set of $A_g=L_g^{1/2}-mI$ agree.
Load-bearing premise
The proof relies on Kannai's transmutation formulas and an inverse Laplace transform step being valid on closed manifolds under the needed regularity and support conditions; the paper imports these formulas without checking those hypotheses.
Editorial extensions
If this is right
- If Theorem 1.1 is correct, the assignment $(M,g)\mapsto L_g^{-1/2}$ restricted to any open patch is injective up to isometry: no two non-isometric closed manifolds can have matching internal data.
- Theorem 1.4 extends the same rigidity to the operator $A_g=L_g^{1/2}-mI$ and its Cauchy data set of solutions to $A_gu=0$.
- The result gives an order-2 example in the nonlocal Calderón program, whose earlier operators had orders in $(0,2)$.
- Together with the heat-kernel rigidity theorem, the argument shows that local information about a nonlocal inverse problem determines global topology and geometry, not just the metric on the observed patch.
Reading between the lines
- If the transmutation step can be repaired with verified hypotheses, the same moment-to-heat-kernel strategy should apply to other fractional powers or functions of $\Delta_g$ that admit a sine/cosine transmutation, such as the relativistic Schrödinger operator $(-\Delta_g+m^2)^{\alpha}$.
- The proof's structure suggests a quantitative cousin: replacing 'all moments vanish' with 'finitely many moments are small' might yield a stability estimate or a partial-data reconstruction statement; the paper itself does not pursue this.
- Letting the mass parameter $m$ tend to zero would connect the result to the unperturbed bi-Laplacian inverse problem; the author keeps $m\neq0$ fixed and does not discuss the limit.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the anisotropic Calderón problem for the nonlocal second-order operator L_g^{1/2}=((−Δ_g)^2+m^2 I)^{1/2} on closed Riemannian manifolds. Theorem 1.1 claims that if two such manifolds share an open set O on which the metrics agree, and if the interior data L_{g_1}^{−1/2}f|_O = L_{g_2}^{−1/2}f|_O for all f∈C_0^∞(O), then the manifolds are isometric. The proof derives vanishing moment identities for the difference of heat semigroups of L_g, uses Paley–Wiener to conclude the semigroup difference vanishes, then invokes Kannai transmutation formulas to pass from equality of e^{−tΔ^2} to equality of e^{tΔ}, and finally applies a heat-kernel rigidity theorem from [20] to recover the diffeomorphism. A second, closely related theorem for A_g=L_g^{1/2}−mI is stated without proof.
Significance. The main result is a natural extension of the nonlocal anisotropic Calderón program to an operator of order 2, and if the proof can be repaired it would be a worthwhile contribution to the area. The paper's strategy is clear and follows the now-standard template of [20], and the final rigidity step is honestly imported from an independent source rather than reproved. The central new step, however, depends on an incorrect transmutation formula and an unsubstantiated inverse-Laplace uniqueness argument; these must be corrected before the result is reliable. The result's significance is therefore conditional on those repairs.
major comments (3)
- [Section 3, Eqs. (27) and (35)] The Kannai formulas are not correct as stated on a closed manifold. For the constant function v≡1, Δ1=0 and sin(√τΔ)/Δ acts as √τ, so the right-hand side of (27) equals (1/(4√π t^{1/3}))∫_0^∞ e^{−τ/(4t)}√τ dτ = t^{7/6}, whereas e^{−tΔ^2}1=1. The same calculation applies to (35) with e^{tΔ}. Since (27) is used to derive (28) and (35) is used to obtain equality of the Laplace heat semigroups, this is a load-bearing error. The author must supply a correct transmutation identity with the proper normalization and state the hypotheses under which it holds on compact manifolds.
- [Section 3, passage from (28) to (29)] The step from equality of the t-integrals in (28) to pointwise equality in σ invokes an inverse Laplace transform, but no uniqueness theorem is stated. After setting s=1/(4t), one has ∫_0^∞ e^{−sτ}F(τ)dτ=0 for all s>0 with F(τ)=[sin(√τΔ1)/Δ1−sin(√τΔ2)/Δ2]f(x). The function F is not known to lie in L^2 or to satisfy Paley–Wiener growth; on the constant component it grows like √τ. A Laplace-uniqueness theorem for polynomially growing functions or distributions, together with sufficient regularity to justify pointwise evaluation in x, must be supplied.
- [Section 1, Theorem 1.4] Theorem 1.4 is a separate theorem but is followed only by 'The proof is quite similar to Theorem 1.1' and no argument is given. If this theorem is to remain in the paper, the author must either prove it or give an explicit reduction of the Cauchy data for A_g to the data used in Theorem 1.1; otherwise it should be demoted to a remark.
minor comments (3)
- [Section 3, Eqs. (14), (17), and (18)] Equation (14) identifies ∂_t^l((e^{−tL_{g1}}−e^{−tL_{g2}})f) with a term involving L^k_g f; this should involve L^l_g f up to sign. Equation (17) mixes L^{2l} and L^k, and the bounds in (18) are not immediate from (17) without an additional argument. These inconsistencies appear repairable, but the displayed estimates should be corrected.
- [Section 3, Proposition 3.2] Using (18) and the definition φ(s)=diff/√s gives |φ(s)|≤Cs^{(n−1)/2} for s∈(0,1), not Cs^{n/2} as printed. The conclusion φ∈L^2(0,∞) is unaffected, but the exponent should be corrected.
- [Throughout] There are several typographical issues: 'psedodifferential' in Section 1; 'From (26) and (26)' before Eq. (28); a garbled displayed formula for ψ in (34); and Eq. (12) omits the harmless constant 1/Γ(1/2). These should be fixed in revision.
Circularity Check
No significant circularity: the paper reduces the new Cauchy-data assumption to a previously established heat-kernel rigidity theorem without assuming its conclusion.
full rationale
The derivation chain goes from equality of L^{-1/2} Cauchy data to moment vanishing for the heat-semigroup difference, then via Paley-Wiener to equality of e^{-tΔ^2} heat semigroups, then via Kannai transmutation formulas to equality of Laplace heat kernels, and finally applies the rigidity theorem from [20]. None of these steps defines its conclusion in terms of its own input. The cited [20, Theorem 1.5] is an independent external result asserting that equality of Laplace heat kernels on an open set forces an isometry; its hypotheses do not include the paper's Cauchy-data assumption, and the paper genuinely derives the kernel equality rather than assuming it. The references to [20], [21], and [26] are to the same research program, with the author's advisor among the coauthors of [20], but under the stated rules this is not circular because the cited theorem does not reproduce the present theorem's conclusion from its data. No fitted parameters are introduced, no output quantity is merely a renamed input, and no uniqueness claim is imported to forbid alternatives beyond the cited rigidity theorem. The printed normalization of the Kannai formulas (27) and (35) may be a correctness or rigor issue, but it is not a circularity issue: even a mistaken external formula would not make the argument equivalent to its inputs. The paper's central claim therefore does not reduce, by construction or by self-citation, to the assumption it starts from.
Assumptions & free parameters
free parameters (1)
- m =
fixed nonzero real (arbitrary)
assumptions (8)
- standard math Spectral theorem and functional calculus for unbounded self-adjoint operators on L^2(M).
- domain assumption Heat kernel estimate for the biharmonic heat kernel K_{Δ^2_g} from He [32, Theorem 2.1].
- domain assumption Varopoulos semigroup bound [52, Theorem 1] applied to e^{-tL_g}.
- domain assumption Kannai's transmutation formula [34] for the heat semigroup of the bi-Laplacian.
- standard math Paley-Wiener theorem [43] for L^2(0,∞).
- standard math Morera's theorem and identity theorem from complex analysis.
- domain assumption Unique continuation property for the heat equation on manifolds [41].
- domain assumption Heat kernel rigidity theorem of Feizmohammadi, Ghosh, Krupchyk, Uhlmann [20, Theorem 1.5].
Cite this review
Pith. "Pith review of Anisotropic Calder\'{o}n Problem for a Non-Local Second Order Elliptic Operator." pith.science (2026). https://pith.science/paper/CP7VFNM6
@misc{pith2026250512255,
author = {Pith},
title = {Pith review of: Anisotropic Calder\'on Problem for a Non-Local Second Order Elliptic Operator},
year = {2026},
howpublished = {\url{https://pith.science/paper/CP7VFNM6}},
note = {Machine review of arXiv:2505.12255}
}
read the original abstract
This paper investigates the anisotropic Calder\'{o}n problem for a non-local elliptic operator of order 2, on closed Riemannian manifolds. We demonstrate that using the Cauchy data set, we can recover the geometry of a closed Riemannian manifold up to standard gauge.
Forward citations
Cited by 1 Pith paper
-
Anisotropic Calder\'{o}n problem of a nearly Laplace-Beltrami operator of order $2+$
The paper claims an anisotropic Calderon uniqueness theorem for a logarithmic Laplacian of order 2+, but the central Paley-Wiener argument is invalid.
Reference graph
Works this paper leans on
-
[1]
Differential Equations 308 (2022), 327–368
[1]Ambrosio, V.On the fractional relativistic Schr¨ odinger operator.J. Differential Equations 308 (2022), 327–368. [2]Ambrosio, V., Bueno, H., Medeiros, A. H. S., and Pereira, G. A.On the convergence of the fractional relativistic Schrodinger operator.Bull. Braz. Math. Soc. (N.S.) 54, 4 (2023), Paper No. 56,
work page 2022
-
[14]
[41]Lin, F.-H.A uniqueness theorem for parabolic equations.Comm. Pure Appl. Math. 43, 1 (1990), 127–136. [42]Nachman, A. I.Global uniqueness for a two-dimensional inverse boundary value problem.Ann. of Math. (2) 143, 1 (1996), 71–96. [43]Paley, R. E. A. C., and Wiener, N.Fourier transforms in the complex domain, vol. 19 ofAmeri- can Mathematical Society C...
work page 1990
-
[18]
[13]Covi, G., Garc ´ıa-Ferrero, M. A., and R ¨uland, A.On the Calder´ on problem for nonlocal Schr¨ odinger equations with homogeneous, directionally antilocal principal symbols.J. Differential Equations 341(2022), 79–149. [14]Covi, G., Ghosh, T., R ¨uland, A., and Uhlmann, G.A reduction of the fractional Calder´ on problem to the local Calder´ on problem...
arXiv 2022
-
[42]
[25]Ghosh, T., Salo, M., and Uhlmann, G.The Calder´ on problem for the fractional Schr¨ odinger equation.Anal. PDE 13, 2 (2020), 455–475. 17 [26]Ghosh, T., and Uhlmann, G.The Calder´ on problem for nonlocal operators.arXiv:2110.09265 (2021). [27]Gilboa, G., and Osher, S.Nonlocal operators with applications to image processing.Multiscale Model. Simul. 7, 3...
arXiv 2020
-
[46]
[10]Choulli, M., and Ouhabaz, E
[9]Chen, X., and R ¨uland, A.Boundary reconstruction for the anisotropic fractional Calder´ on problem.arXiv:2502.12287(2025). [10]Choulli, M., and Ouhabaz, E. M.Fractional anisotropic Calder´ on problem on complete Rie- mannian manifolds.Commun. Contemp. Math. 26, 9 (2024), Paper No. 2350057,
arXiv 2025
-
[48]
[33]Helin, T., Lassas, M., Oksanen, L., and Saksala, T.Correlation based passive imaging with a white noise source.J. Math. Pures Appl. (9) 116(2018), 132–160. [34]Kannai, Y.Off diagonal short time asymptotics for fundamental solutions of diffusion equations. Comm. Partial Differential Equations 2, 8 (1977), 781–830. [35]Kenig, C. E., Sj ¨ostrand, J., and...
work page 2018
-
[56]
[46]R ¨uland, A., and Salo, M.Quantitative approximation properties for the fractional heat equation. Math. Control Relat. Fields 10, 1 (2020), 1–26. [47]Salo, M.The Calder´ on problem on Riemannian manifolds. InInverse problems and applications: inside out. II, vol. 60 ofMath. Sci. Res. Inst. Publ.Cambridge Univ. Press, Cambridge, 2013, pp. 167–247. 18 [...
work page 2020
-
[1973]
[12]Covi, G.Inverse problems for a fractional conductivity equation.Nonlinear Anal. 193(2020), 111418,
work page 2020
Show all 13 references
-
[1981]
E.Partial differential equations I
[50]Taylor, M. E.Partial differential equations I. Basic theory, vol. 115 ofApplied Mathematical Sciences. Springer, Cham, [2023]©2023. Third edition [of 1395148]. [51]Uhlmann, G.Inverse problems: seeing the unseen.Bull. Math. Sci. 4, 2 (2014), 209–279. [52]Varopoulos, N. T.Ha...
2014
-
[1987]
[44]Quan, H., and Uhlmann, G.The Calder´ on problem for the fractional Dirac operator.Math
Reprint of the 1934 original. [44]Quan, H., and Uhlmann, G.The Calder´ on problem for the fractional Dirac operator.Math. Res. Lett. 31, 1 (2024), 279–302. [45]R ¨uland, A., and Salo, M.The fractional Calder´ on problem: low regularity and stability.Non- linear Anal. 193(2020)...
2024
-
[1994]
[29]Guillarmou, C., and Tzou, L.Calder´ on inverse problem with partial data on Riemann surfaces
An introduction. [29]Guillarmou, C., and Tzou, L.Calder´ on inverse problem with partial data on Riemann surfaces. Duke Math. J. 158, 1 (2011), 83–120. [30]Harrach, B., Lin, Y., and Weth, T.The Calder´ on problem for the logarithmic´Schr¨ odinger equation.arXiv:2412.1777(2024)...
2011
-
[2010]
16 [4]Astala, K., and P ¨aiv¨arinta, L.Calder´ on’s inverse conductivity problem in the plane.Ann. of Math. (2) 163, 1 (2006), 265–299. [5]Bhattacharyya, S., Ghosh, T., and Uhlmann, G.Inverse problems for the fractional-Laplacian with lower order non-local perturbations.Trans....
2006
-
[2016]
L.Recovering a potential from Cauchy data in the two-dimensional case.J
[7]Bukhgeim, A. L.Recovering a potential from Cauchy data in the two-dimensional case.J. Inverse Ill-Posed Probl. 16, 1 (2008), 19–33. [8]Ceki ´c, M., Lin, Y.-H., and R ¨uland, A.The Calder´ on problem for the fractional Schr¨ odinger equation with drift.Calc. Var. Partial Dif...
2008
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.