Pith. sign in

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 →

arxiv 2505.12255 v3 pith:CP7VFNM6 submitted 2025-05-18 math.AP

classification math.AP MSC 35R3058J3535S0547G30
keywords anisotropicCalderónproblemnonlocalellipticoperatorfractionalpowerofbi-LaplaceheatkernelrigidityRiemannianmanifoldsisometryrecoverypseudodifferentialinternalCauchydata
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper claims an anisotropic Calderón theorem for the nonlocal second-order operator $L_g^{1/2} = ((-\Delta_g)^2 + m^2 I)^{1/2}$ on a smooth closed connected Riemannian manifold: if the internal Cauchy data of two such operators agree on a common open set, the manifolds are isometric. The point of the result is that a genuinely nonlocal, order-2 elliptic operator still carries complete metric information, even though the classical local anisotropic Calderón problem for the Laplacian remains open in smooth geometry. The proof works by converting the assumed data equality into equality of the associated heat kernels and then invoking a known rigidity theorem for heat kernels on Riemannian manifolds.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [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.
  2. [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.
  3. [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

0 steps flagged · score 0.0 of 10

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 1 free parameters · 8 assumptions · 0 invented entities

The central claim depends on the spectral calculus for L_g^{1/2}, external heat kernel and semigroup estimates, Kannai's transmutation formula, and a final heat kernel rigidity theorem imported from the authors' earlier work. No new physical or mathematical entities are introduced. The constant m is a fixed input parameter, not a fitted free parameter.

free parameters (1)
  • m = fixed nonzero real (arbitrary)
    m is a fixed constant in the operator L_g = (−Δ_g)^2 + m^2 I. It is not fitted to data; it is an input parameter. The theorem holds for every fixed m ≠ 0, and the proof uses m ≠ 0 only to ensure invertibility and exponential decay of the heat semigroup.
assumptions (8)
  • standard math Spectral theorem and functional calculus for unbounded self-adjoint operators on L^2(M).
    Used to define L_g^{1/2} and its inverse via spectral projections; standard in functional analysis.
  • domain assumption Heat kernel estimate for the biharmonic heat kernel K_{Δ^2_g} from He [32, Theorem 2.1].
    Provides the pointwise decay (7) that underpins the boundary term vanishing in Proposition 3.1; not proved in the paper.
  • domain assumption Varopoulos semigroup bound [52, Theorem 1] applied to e^{-tL_g}.
    Used in (17) to control the heat semigroup for large t; the application to a fourth-order semigroup is not fully justified in the text.
  • domain assumption Kannai's transmutation formula [34] for the heat semigroup of the bi-Laplacian.
    Central to Proposition 3.5 to convert bi-Laplace heat kernel equality into Laplace heat kernel equality; the required regularity is not checked.
  • standard math Paley-Wiener theorem [43] for L^2(0,∞).
    Used in Proposition 3.4 to conclude φ ≡ 0 from vanishing of its Fourier transform.
  • standard math Morera's theorem and identity theorem from complex analysis.
    Used in Propositions 3.2 and 3.3 to establish holomorphy and vanishing of f.
  • domain assumption Unique continuation property for the heat equation on manifolds [41].
    Used in Proposition 3.5 to extend equality from ω2 to O.
  • domain assumption Heat kernel rigidity theorem of Feizmohammadi, Ghosh, Krupchyk, Uhlmann [20, Theorem 1.5].
    Final step: equality of Laplace heat kernels on an open set implies isometry; imported as a black box from overlapping authors.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Anisotropic Calder\'{o}n problem of a nearly Laplace-Beltrami operator of order $2+$

    math.AP 2025-06 reject novelty 5.0 of 10

    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

13 extracted references · 10 canonical work pages · cited by 1 Pith paper

  1. [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,

  2. [14]

    Pure Appl

    [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...

  3. [18]

    A., and R ¨uland, A.On the Calder´ on problem for nonlocal Schr¨ odinger equations with homogeneous, directionally antilocal principal symbols.J

    [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...

  4. [42]

    PDE 13, 2 (2020), 455–475

    [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...

  5. [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,

  6. [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...

  7. [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 [...

  8. [1973]

    193(2020), 111418,

    [12]Covi, G.Inverse problems for a fractional conductivity equation.Nonlinear Anal. 193(2020), 111418,

Show all 13 references
  1. [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...

  2. [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)...

  3. [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)...

  4. [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....

  5. [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...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.