REVIEW 2 major objections 7 minor 36 references
Partial data stability for the inverse fractional conductivity problem
T0 review · 2 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Partial exterior measurements for the fractional conductivity problem determine the interior conductivity with logarithmic stability, and with log-log stability when the conductivities are not known outside the domain.
desk verdict First partial-data stability estimates for the fractional conductivity problem, but the proof of the log-log theorem uses a regularity hypothesis the stated assumptions don't imply. 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 fractional Liouville reduction: multiplying a solution of the conductivity equation by $\gamma^{1/2}$ turns it into a solution of $(-\Delta)^s v + q v = 0$ with $q = -(-\Delta)^s(\gamma^{1/2}-1)/\gamma^{1/2}$, and conjugates the conductivity Dirichlet-to-Neumann map into the Schr\"odinger one through multiplication by $\gamma^{\pm 1/2}$. The argument also relies on a regularity lemma showing that $\gamma^{\pm 1/2}$ maps $\widetilde H^s$ spaces homeomorphically, on a known logarithmic stability theorem for fractional Schr\"odinger equations with partial exterior data, and, for the log-log case, on a proposition that bounds a compactly supported function in terms of its fractional Laplacian outside the set.
What would settle it
Verify whether the assumed $H^{2s+\epsilon,n/s}(\mathbb{R}^n)$ condition implies the weighted-space hypothesis $H^{(2s+\epsilon)/\theta_0,\theta_0 n/s}$ used in the cited comparison proposition for every allowed $\theta_0$; a counterexample for small $\epsilon$ would expose a gap in the proof of Theorem 1.2, and a pair of conductivities achieving a slower-than-logarithmic rate would refute Theorem 1.1.
Extended reading notes
Core claim
The central discovery is that partial exterior data suffice for quantitative stability in the fractional conductivity problem, not just uniqueness. After applying the fractional Liouville reduction, which rewrites the conductivity equation as a fractional Schr\"odinger equation with reduced potential $q = -(-\Delta)^s(\gamma^{1/2}-1)/\gamma^{1/2}$, the paper proves that the operator-norm difference of the conductivity Dirichlet-to-Neumann maps dominates the difference of the reduced potentials. An elliptic estimate then converts the potential difference into the $H^s(\Omega)$ difference of the conductivities themselves. The resulting moduli of continuity are explicit, and all constants depend only on the geometry, the measurement sets, the ellipticity bound, and the a priori smoothness bound, not on the individual conductivities.
Load-bearing premise
The proof requires the background deviations $m_i = \gamma_i^{1/2}-1$ to lie in the mixed-norm Sobolev space $H^{2s+\epsilon,n/s}(\mathbb{R}^n)$ with a uniform bound, and the reduced Schr\"odinger operators to avoid a zero Dirichlet eigenvalue; if either fails, the chain of estimates is not established.
Editorial extensions
If this is right
- Partial exterior measurements are enough: when the conductivities agree a priori in the whole exterior, the interior $H^s(\Omega)$ conductivity error is bounded by $C|\log \delta|^{-\sigma}$, where $\delta$ is the operator-norm measurement error.
- Without exterior agreement, compact support of the conductivity difference still gives control in $L^p(\mathbb{R}^n)$ for $1 \le p < 2n/(n-2s)$, at a log-log rate.
- The constants in both estimates depend only on $s,n,\Omega$, the measurement sets, the ellipticity lower bound, and the a priori smoothness bound, so the stability is uniform over the admissible class.
- This improves the earlier complete-data stability result by allowing the measurements to be taken only on bounded open subsets of the exterior, rather than on the whole exterior.
- The nonlocal nature of the operator is used essentially: the proof controls the difference in a larger set by the fractional Laplacian of the difference in an exterior set, a step with no local analogue.
Reading between the lines
- The log-log rate in Theorem 1.2 likely reflects the additional uncertainty from not knowing the conductivities outside $\Omega$; an analogous rate is known to be optimal in the local inverse conductivity problem, and one may conjecture a similar optimality here.
- A direct check of whether the assumed $H^{2s+\epsilon,n/s}(\mathbb{R}^n)$ condition implies the weighted-space hypothesis used in the cited comparison proposition is a natural next step; the paper does not spell out that implication, despite relying on it.
- The same reduction should yield partial-data stability for other nonlocal inverse problems, such as fractional magnetic Schr\"odinger equations, whenever a comparable comparison lemma for the relevant Dirichlet-to-Neumann maps is available.
- Numerical experiments on simple conductivity families could test whether the logarithmic modulus is qualitatively sharp or merely an artifact of the proof technique.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the inverse fractional conductivity problem with partial exterior measurements. The authors prove two stability estimates: a logarithmic bound for conductivities that agree a priori in the whole exterior, and a log-log bound when the difference has compact support and measurements are taken on a single exterior set. The proofs use the fractional Liouville reduction to relate the conductivity DN map to the fractional Schrödinger DN map, then invoke known stability results of Rüland–Salo and of Covi–Railo–Tyni–Zimmermann. The paper also contains a self-contained proof that multiplication by gamma^{1/2} and gamma^{-1/2} preserves the space tilde H^s(U).
Significance. If the stated estimates hold, these are the first partial-data stability results for the fractional conductivity problem with the expected logarithmic and log-log rates, extending the full-data result of CRTZ24. The reduction strategy is elegant and Lemma 3.3 is a useful independent technical contribution. However, the proof of Theorem 1.2 relies on a regularity hypothesis in a quoted proposition that is not implied by the theorem's assumptions, and the non-eigenvalue condition required by the main Schrödinger stability theorem is never checked. Both issues are repairable, but as written the main claims are not fully established.
major comments (2)
- [Section 3, Proposition 3.7 and Theorem 3.1] The proof of Theorem 1.2 invokes Proposition 4.1, quoted from CRTZ24 Proposition 5.1, to bound the Schrödinger DN-map difference in terms of the conductivity DN-map difference. Proposition 4.1 requires the background deviations to satisfy m_i in H^{(2s+epsilon)/theta_0, theta_0 n/s}(R^n) for some s/n < theta_0 < 1, whereas Theorem 1.2 assumes only m_i in H^{2s+epsilon, n/s}(R^n). These spaces are not nested in the needed direction: on the level of homogeneous norms, H^{a,p} scales as lambda^{-n/p+a} and H^{b,q} as lambda^{-n/q+b}, and here b - n/q = (s+epsilon)/theta_0 is larger than a - n/p = s+epsilon, so no embedding H^{2s+epsilon,n/s} into H^{(2s+epsilon)/theta_0, theta_0 n/s} exists. The sentence 'Repeating the argument in the proof of Proposition 3.7' only yields the H^{delta, n/(2s)} bound on q_j, not the required Sobolev regularity of the background deviations m_i. Since Proposition 4.1 is the only bridge from the conductivity data to the Schrödinger-potential data in this proof, the log-log stability estimate is not established under the stated hypotheses. This gap is repairable by either strengthening assumption (iii) of Theorem 1.2 to the CRTZ24 condition or by proving the comparison estimate under the weaker H^{2s+epsilon,n/s} regularity.
- [Section 3, Proposition 3.7] Theorem 3.1, which is the key input for Proposition 3.7, requires that zero is not a Dirichlet eigenvalue of the exterior value problem (-Delta)^s u + q_j u = 0 in Omega with u = 0 in Omega^e, for j = 1, 2. Proposition 3.7 states that 'It suffices to show that the conditions of Theorem 3.1 are met' and then verifies only the H^{delta,n/(2s)} bound on q_j. The non-eigenvalue condition is never stated, checked, or referenced for the reduced potentials q_j = -((-Delta)^s m_j)/gamma_j^{1/2}. Without this condition the DN maps Lambda_{q_j} are not known to be well-defined, and the stability estimate of Theorem 3.1 does not apply. Since the paper aims to use Theorem 3.1 as a black box, the missing verification is a load-bearing gap, though it may be filled by a perturbation argument or by imposing a smallness condition on the potentials.
minor comments (7)
- [Abstract] In the abstract, 'shaper' should be 'sharper'.
- [Introduction, page 1] The word 'furhter' should be 'further'.
- [Section 2, Theorem 3.1 statement (page 7)] The typo 'non-emtpy' should be 'non-empty'.
- [Section 4, proof of Theorem 1.2 (page 13)] The typo 'becuse' should be 'because'.
- [Section 3, proof of Lemma 3.4, equation (5)] The estimate ||phi_k^pm psi - gamma^{pm 1/2} psi||_{H^s} <= ||phi_k^pm - gamma^{pm 1/2} chi||_{H^s} ||psi||_{H^s} is not a direct consequence of the H^s multiplication because H^s is not an algebra. Since psi is fixed, smooth, and compactly supported, multiplication by psi is a bounded operator on H^s, so the argument survives with a constant depending on psi. The authors should state this to avoid giving the impression that the displayed inequality holds as written.
- [Section 4, Theorem 1.2 condition (i)] The assumption supp(gamma_1 - gamma_2) = Sigma is an equality; if the authors intend only that the support is contained in Sigma, the condition should be stated as supp(...) subset Sigma to avoid measure-theoretic pedantry.
- [Section 4, proof of Theorem 1.2 (parameter p)] The proof works with p = 2n/(n-2s') for s' < s; the connection to an arbitrary p in the range stated in the theorem should be made explicit by choosing s' such that p < 2n/(n-2s') and then adjusting the constants.
Circularity Check
No circularity: the conductivity-to-Schrodinger reduction and stability estimates are built from independent published lemmas, not from the theorem being proved.
full rationale
The derivation chain is: convert the conductivity DN-map difference into a fractional Schrodinger DN-map difference via the Liouville reduction (Lemma 3.6), using the multiplication homeomorphism Lemmas 3.2 and 3.3, which are proved from the stated hypotheses and from [RZ24, Lemma 3.9]; apply the external stability theorem [RS20, Theorem 1.2] (stated as Theorem 3.1) to the reduced potentials q1, q2; and finally transfer the Schrodinger-potential estimate back to the conductivity difference through the elliptic estimate in Lemma 3.8. Each step is either proved in the paper or quotes a published result whose hypotheses do not include the target estimate. Theorem 1.2 additionally invokes [CRTZ24, Proposition 5.1] (restated as Proposition 4.1) and [GRSU20, Proposition 6.1] as black boxes; these are independent, peer-reviewed results, and their use is not circular even though CRTZ24 shares authors with the present paper. The regularity-gap concern raised in review (that the stated assumption m_i in H^{2s+epsilon,n/s} need not imply the stronger hypothesis of Proposition 4.1) is a potential correctness gap in the proof, not a circularity: the conclusion is not equivalent to the assumptions by construction, and no fitted parameter is renamed as a prediction. Hence no circular step is present.
Assumptions & free parameters
assumptions (4)
- standard math Bessel potential space embeddings, including H^{delta,n/s}(Omega) subset H^{delta,n/(2s)}(Omega) and Triebel-Lizorkin identifications
- standard math Kato-Ponce fractional product inequality
- domain assumption Zero is not a Dirichlet eigenvalue of (-Delta)^s + q_i for the reduced Schrodinger operators
- domain assumption Background deviation regularity m_i in H^{2s+epsilon,n/s}(R^n) with uniform bound C1
Cite this review
Pith. "Pith review of Partial data stability for the inverse fractional conductivity problem." pith.science (2026). https://pith.science/paper/XQQM6IQG
@misc{pith2026250518567,
author = {Pith},
title = {Pith review of: Partial data stability for the inverse fractional conductivity problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/XQQM6IQG}},
note = {Machine review of arXiv:2505.18567}
}
read the original abstract
The classical Calder\'on problem with partial data is known to be log-log stable in some special cases, but even the uniqueness problem is open in general. We study the partial data stability of an analogous inverse fractional conductivity problem on bounded smooth domains. Using the fractional Liouville reduction, we obtain a log-log stability estimate when the conductivities a priori agree in the measurement set and their difference has compact support. In the case in which the conductivities are assumed to agree a priori in the whole exterior of the domain, we obtain a shaper logarithmic stability estimate.
Reference graph
Works this paper leans on
-
[1]
Stable determination of conductivity by boundary measurements
Giovanni Alessandrini. Stable determination of conductivity by boundary measurements. Appl. Anal. , 27(1-3):153--172, 1988
work page 1988
-
[2]
Calder\' o n's inverse conductivity problem in the plane
Kari Astala and Lassi P\" a iv\" a rinta. Calder\' o n's inverse conductivity problem in the plane. Ann. of Math. (2) , 163(1):265--299, 2006
work page 2006
-
[3]
Calder\' o n's inverse problem for anisotropic conductivity in the plane
Kari Astala, Lassi P\" a iv\" a rinta, and Matti Lassas. Calder\' o n's inverse problem for anisotropic conductivity in the plane. Comm. Partial Differential Equations , 30(1-3):207--224, 2005
work page 2005
-
[4]
Lipschitz stability for the inverse conductivity problem
Giovanni Alessandrini and Sergio Vessella. Lipschitz stability for the inverse conductivity problem. Adv. in Appl. Math. , 35(2):207--241, 2005
work page 2005
-
[5]
Alberto-P. Calder\' o n. On an inverse boundary value problem. In Seminar on N umerical A nalysis and its A pplications to C ontinuum P hysics ( R io de J aneiro, 1980) , pages 65--73. Soc. Brasil. Mat., Rio de Janeiro, 1980
work page 1980
-
[6]
Stability estimates for the calderón problem with partial data
Pedro Caro, David Dos Santos Ferreira , and Alberto Ruiz. Stability estimates for the calderón problem with partial data. Journal of Differential Equations , 260(3):2457--2489, 2016
work page 2016
-
[7]
Giovanni Covi, Tuhin Ghosh, Angkana Rüland, and Gunther Uhlmann. A reduction of the fractional C alder\'on problem to the local C alder\'on problem by means of the C affarelli- S ilvestre extension, 2023. arXiv:2305.04227
arXiv 2023
-
[8]
u land. The C alder\' o n problem for the fractional S chr\
Mihajlo Ceki\' c , Yi-Hsuan Lin, and Angkana R\" u land. The C alder\' o n problem for the fractional S chr\" o dinger equation with drift. Calc. Var. Partial Differential Equations , 59(3):Paper No. 91, 46, 2020
work page 2020
Show all 36 references
-
[9]
Unique continuation property and P oincar\' e inequality for higher order fractional L aplacians with applications in inverse problems
Giovanni Covi, Keijo M\" o nkk\" o nen, and Jesse Railo. Unique continuation property and P oincar\' e inequality for higher order fractional L aplacians with applications in inverse problems. Inverse Probl. Imaging , 15(4):641--681, 2021
2021
-
[10]
The higher order fractional C alder\' o n problem for linear local operators: U niqueness
Giovanni Covi, Keijo M\" o nkk\" o nen, Jesse Railo, and Gunther Uhlmann. The higher order fractional C alder\' o n problem for linear local operators: U niqueness. Adv. Math. , 399:Paper No. 108246, 2022
2022
-
[11]
Inverse problems for a fractional conductivity equation
Giovanni Covi. Inverse problems for a fractional conductivity equation. Nonlinear Anal. , 193:111418, 18, 2020
2020
-
[12]
Uniqueness for the fractional C alder\'on problem with quasilocal perturbations
Giovanni Covi. Uniqueness for the fractional C alder\'on problem with quasilocal perturbations. SIAM J. Math. Anal. , 54(6):6136--6163, 2022
2022
-
[13]
The inverse problem for the fractional conductivity equation: a survey, 2024
Giovanni Covi. The inverse problem for the fractional conductivity equation: a survey, 2024. arXiv:2408.14200
2024 arXiv
-
[14]
Stability estimates for the inverse fractional conductivity problem
Giovanni Covi, Jesse Railo, Teemu Tyni, and Philipp Zimmermann. Stability estimates for the inverse fractional conductivity problem. SIAM Journal on Mathematical Analysis , 56(2):2456--2487, 2024
2024
-
[15]
The global inverse fractional conductivity problem, 2022
Giovanni Covi, Jesse Railo, and Philipp Zimmermann. The global inverse fractional conductivity problem, 2022. arXiv:2204.04325
2022 arXiv
-
[16]
Stability of the calderón problem in admissible geometries
Pedro Caro and Mikko Salo. Stability of the calderón problem in admissible geometries. Inverse Problems and Imaging , 8(4):939--957, 2014
2014
-
[17]
S. N. Chandler-Wilde, D. P. Hewett, and A. Moiola. Sobolev spaces on non- L ipschitz subsets of R ^n with application to boundary integral equations on fractal screens. Integral Equations Operator Theory , 87(2):179--224, 2017
2017
-
[18]
Kenig, Mikko Salo, and Gunther Uhlmann
David Dos Santos Ferreira, Carlos E. Kenig, Mikko Salo, and Gunther Uhlmann. Limiting C arleman weights and anisotropic inverse problems. Invent. Math. , 178(1):119--171, 2009
2009
-
[19]
The C alder\' o n problem for variable coefficients nonlocal elliptic operators
Tuhin Ghosh, Yi-Hsuan Lin, and Jingni Xiao. The C alder\' o n problem for variable coefficients nonlocal elliptic operators. Comm. Partial Differential Equations , 42(12):1923--1961, 2017
1923
-
[20]
Uniqueness and reconstruction for the fractional C alder\' o n problem with a single measurement
Tuhin Ghosh, Angkana R\" u land, Mikko Salo, and Gunther Uhlmann. Uniqueness and reconstruction for the fractional C alder\' o n problem with a single measurement. J. Funct. Anal. , 279(1):108505, 42, 2020
2020
-
[21]
The C alder\' o n problem for the fractional S chr\" o dinger equation
Tuhin Ghosh, Mikko Salo, and Gunther Uhlmann. The C alder\' o n problem for the fractional S chr\" o dinger equation. Anal. PDE , 13(2):455--475, 2020
2020
-
[22]
The C alderón problem for nonlocal operators, 2021
Tuhin Ghosh and Gunther Uhlmann. The C alderón problem for nonlocal operators, 2021. arXiv:2110.09265
2021 arXiv
-
[23]
Commutator estimates and the euler and navier-stokes equations
Tosio Kato and Gustavo Ponce. Commutator estimates and the euler and navier-stokes equations. Communications on Pure and Applied Mathematics , 41(7):891--907, 1988
1988
-
[24]
On instability mechanisms for inverse problems
Herbert Koch, Angkana R\" u land, and Mikko Salo. On instability mechanisms for inverse problems. Ars Inven. Anal. , pages Paper No. 7, 93, 2021
2021
-
[25]
The fractional p\, -biharmonic systems: optimal poincaré constants, unique continuation and inverse problems, 2022
Manas Kar, Jesse Railo, and Philipp Zimmermann. The fractional p\, -biharmonic systems: optimal poincaré constants, unique continuation and inverse problems, 2022. arXiv:2208.09528
2022 arXiv
-
[26]
Inverse problems for fractional semilinear elliptic equations
Ru-Yu Lai and Yi-Hsuan Lin. Inverse problems for fractional semilinear elliptic equations. Nonlinear Anal. , 216:Paper No. 112699, 2022
2022
-
[27]
Exponential instability in an inverse problem for the S chr\" o dinger equation
Niculae Mandache. Exponential instability in an inverse problem for the S chr\" o dinger equation. Inverse Problems , 17(5):1435--1444, 2001
2001
-
[28]
Maz'ya and Tatyana O
Vladimir G. Maz'ya and Tatyana O. Shaposhnikova. Theory of S obolev multipliers , volume 337 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2009. With applications to differential and integral operators
2009
-
[29]
Adrian I. Nachman. Reconstructions from boundary measurements. Ann. of Math. (2) , 128(3):531--576, 1988
1988
-
[30]
Sobolev Spaces of Fractional Order, Nemytskij Operators, and Nonlinear Partial Differential Equations
Thomas Runst and Winfried Sickel. Sobolev Spaces of Fractional Order, Nemytskij Operators, and Nonlinear Partial Differential Equations . De Gruyter, Berlin, New York, 1996
1996
-
[31]
The fractional C alder\' o n problem: low regularity and stability
Angkana R\" u land and Mikko Salo. The fractional C alder\' o n problem: low regularity and stability. Nonlinear Anal. , 193:111529, 56, 2020
2020
-
[32]
Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data
Jesse Railo and Philipp Zimmermann. Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data. Inverse Probl. Imaging , 17(2):406--418, 2023
2023
-
[33]
Fractional C alder\'on problems and P oincar\'e inequalities on unbounded domains
Jesse Railo and Philipp Zimmermann. Fractional C alder\'on problems and P oincar\'e inequalities on unbounded domains. J. Spectr. Theory , 13(1):63--131, 2023
2023
-
[34]
Low regularity theory for the inverse fractional conductivity problem
Jesse Railo and Philipp Zimmermann. Low regularity theory for the inverse fractional conductivity problem. Nonlinear Anal. , 239:Paper No. 113418, 27, 2024
2024
-
[35]
A global uniqueness theorem for an inverse boundary value problem
John Sylvester and Gunther Uhlmann. A global uniqueness theorem for an inverse boundary value problem. Ann. of Math. , 125(1):153--169, 1987
1987
-
[36]
30 years of C alder\' o n's problem
Gunther Uhlmann. 30 years of C alder\' o n's problem. In S\' e minaire L aurent S chwartz---\' E quations aux d\' e riv\' e es partielles et applications. A nn\' e e 2012--2013 , S\' e min. \' E qu. D\' e riv. Partielles, pages Exp. No. XIII, 25. \' E cole Polytech., Palaiseau, 2014
2012
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.