A note on several inverse problems with generally random coefficients
Pith reviewed 2026-05-25 06:18 UTC · model grok-4.3
The pith
The averaged Schrödinger Green's operator determines the pointwise mean and variance of a random potential, while the expected Dirichlet-to-Neumann map does not determine even the mean.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper establishes that the full law of the Dirichlet-to-Neumann map determines the law of the random potential, but the expected Dirichlet-to-Neumann map and any fixed finite hierarchy of its boundary moments need not determine even the mean potential. In contrast, the averaged Schrödinger Green's operator determines the pointwise mean and variance of the potential, and in a two-atom model it determines all pointwise moments of the two-point law.
What carries the argument
The averaged Schrödinger Green's operator, which provides interior averaged information that encodes the pointwise statistical moments of the random potential.
If this is right
- The full law of the Dirichlet-to-Neumann map recovers the entire law of the random potential.
- No fixed finite number of moments of the Dirichlet-to-Neumann map recovers the mean potential.
- The averaged Green's operator recovers the mean and variance at each interior point.
- In a two-atom model the averaged Green's operator recovers all moments of the two-point law.
- Analogous positive and negative results hold for the conductivity equation.
Where Pith is reading between the lines
- Interior averaged data may be essential for recovering statistics in random media inverse problems where boundary data alone is insufficient.
- The results suggest testing whether similar distinctions appear in nonlinear or time-dependent elliptic problems with randomness.
- Practical recovery algorithms could prioritize averaged Green's functions over boundary maps for statistical identification.
- Extensions to unbounded domains or other boundary conditions could reveal if the interior advantage persists.
Load-bearing premise
The elliptic equations are well-posed on a bounded domain with the Dirichlet-to-Neumann map and Green's operator well-defined, and the coefficients are random without imposed probabilistic structure.
What would settle it
Finding two different random potentials whose averaged Green's operators coincide but whose pointwise means or variances differ would falsify the recovery result for the Green's operator.
read the original abstract
We consider several inverse problems for elliptic equations whose coefficients are random, without imposing a special probabilistic structure on the randomness. The main body treats the Schr\"odinger equation. We compare what can be recovered from the full law of the Dirichlet-to-Neumann map, from its expectation, from finitely many joint moments of its boundary bilinear form, and from the averaged interior Green's operator. We obtain both positive and negative results. That the full law of the Dirichlet-to-Neumann map determines the law of the random potential is almost trivial. However, the expected Dirichlet-to-Neumann map and, more generally, any fixed finite hierarchy of its boundary moments need not determine even the mean potential. In contrast, the averaged Schr\"odinger Green's operator determines the pointwise mean and variance of the potential. In a two-atom model it determines all pointwise moments of the two-point law. The appendices contain the corresponding results for the conductivity equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers inverse problems for the Schrödinger equation (and conductivity equation in appendices) with random coefficients lacking special probabilistic structure. It claims that the full law of the Dirichlet-to-Neumann map determines the law of the random potential (almost trivially), but the expectation of the DN map or any fixed finite collection of its boundary moments need not determine even the mean potential. In contrast, the averaged interior Green's operator determines the pointwise mean and variance of the potential, and in a two-atom model determines all pointwise moments of the two-point law.
Significance. If the results hold, they usefully distinguish the informational content of full distributional boundary data versus low-order moments versus averaged interior data in random-coefficient inverse problems. The positive result on the averaged Green's operator and the negative result on finite DN moments provide a clear contrast that could inform future work on stochastic inverse problems.
major comments (1)
- [Introduction, §2 (well-posedness assumptions)] The manuscript states results for random coefficients 'without imposing a special probabilistic structure,' yet all claims presuppose that the Schrödinger equation is well-posed and that the DN map (as a bounded operator on H^{1/2}(∂Ω)) and Green's operator exist for a.e. realization. Standard theory requires q ∈ L^∞(Ω) (or at least q ∈ L^{n/2+ε}) a.s. for this; nothing in the stated generality prevents realizations outside this class on a set of positive probability. This is load-bearing for the positive and negative results in the abstract and main body (§2 and following). The negative result on finite moments further requires explicit counterexamples that remain inside the well-posed regime.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comment on well-posedness. We address it directly below.
read point-by-point responses
-
Referee: [Introduction, §2 (well-posedness assumptions)] The manuscript states results for random coefficients 'without imposing a special probabilistic structure,' yet all claims presuppose that the Schrödinger equation is well-posed and that the DN map (as a bounded operator on H^{1/2}(∂Ω)) and Green's operator exist for a.e. realization. Standard theory requires q ∈ L^∞(Ω) (or at least q ∈ L^{n/2+ε}) a.s. for this; nothing in the stated generality prevents realizations outside this class on a set of positive probability. This is load-bearing for the positive and negative results in the abstract and main body (§2 and following). The negative result on finite moments further requires explicit counterexamples that remain inside the well-posed regime.
Authors: We agree that the results presuppose well-posedness almost surely and that this requires the random coefficient q to lie in L^∞(Ω) (or the appropriate space L^{n/2+ε}) almost surely. Although the phrase 'without imposing a special probabilistic structure' was intended only to exclude assumptions such as Gaussianity or independence, the referee is correct that the current wording does not explicitly record the necessary integrability. In the revision we will add a precise statement in the introduction and at the beginning of §2 that all realizations satisfy q ∈ L^∞(Ω) a.s., thereby guaranteeing the existence of the DN map and Green's operator almost everywhere. This is a clarification rather than a restriction on the probabilistic law. For the negative results on finite moments of the DN map, the counterexamples are constructed with bounded potentials (hence inside the well-posed regime); we will insert a short remark confirming that each realization satisfies the L^∞ bound used in the existence theory. revision: yes
Circularity Check
No circularity; results are direct comparisons using external deterministic uniqueness
full rationale
The paper's central claims rest on (1) the standard deterministic uniqueness for the Calderón problem (external to this work), making the 'full law determines law of q' statement a direct transfer; (2) explicit counterexample constructions for the negative results on moments of the DN map; and (3) direct integral identities or kernel expansions for the averaged Green's operator recovering pointwise moments. None of these steps reduce by definition or self-citation to the paper's own inputs. The well-posedness assumption is stated but does not create a definitional loop. This matches the expected non-circular case for a short note comparing data types.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Elliptic equations are well-posed on bounded domains with smooth boundary
- domain assumption Random coefficients have no special probabilistic structure
Reference graph
Works this paper leans on
-
[1]
Gang Bao, Chuchu Chen, and Peijun Li. Inverse random source scatter- ing problems in several dimensions.SIAM/ASA Journal on Uncertainty Quantification, 4(1):1263–1287, 2016
work page 2016
-
[2]
Claude Bardos, Josselin Garnier, and George Papanicolaou. Identifi- cation of Green’s functions singularities by cross correlation of noisy signals.Inverse Problems, 24(1):015011, 2008
work page 2008
-
[3]
Detecting stochastic inclusions in electrical impedance tomography
Andrea Barth, Bastian Harrach, Nuutti Hyv¨ onen, and Lauri Mustonen. Detecting stochastic inclusions in electrical impedance tomography. Inverse Problems, 33(11):115012, 2017
work page 2017
-
[4]
Inverse scattering for a random potential.Analysis and Applications, 17(4):513–567, 2019
Pedro Caro, Tapio Helin, and Matti Lassas. Inverse scattering for a random potential.Analysis and Applications, 17(4):513–567, 2019
work page 2019
-
[5]
C. I. Cˆ arstea, Ali Feizmohammadi, and Lauri Oksanen. Remarks on the anisotropic Calder´ on problem.Proceedings of the American Mathematical Society, 151(10):4461–4473, 2023
work page 2023
-
[6]
Maarten V. de Hoop and Knut Solna. Estimating a Green’s function from field-field correlations in a random medium.SIAM Journal on Applied Mathematics, 69(4):909–932, 2009
work page 2009
-
[7]
Allan Greenleaf and Gunther Uhlmann. Recovering singularities of a potential from singularities of scattering data.Communications in Mathematical Physics, 157(3):549–572, 1993
work page 1993
-
[8]
Bastian Harrach. The Calder´ on problem with finitely many unknowns is equivalent to convex semidefinite optimization.SIAM Journal on Mathematical Analysis, 55(5):5666–5684, 2023
work page 2023
-
[9]
An inverse problem for the wave equation with one measurement and the pseudorandom source
Tapio Helin, Matti Lassas, and Lauri Oksanen. An inverse problem for the wave equation with one measurement and the pseudorandom source. Analysis & PDE, 5(5):887–912, 2012
work page 2012
-
[10]
Tapio Helin, Matti Lassas, and Lauri Oksanen. Inverse problem for the wave equation with a white noise source.Communications in Mathematical Physics, 332(3):933–953, 2014
work page 2014
-
[11]
Tapio Helin, Matti Lassas, Lauri Oksanen, and Teemu Saksala. Cor- relation based passive imaging with a white noise source.Journal de Math´ ematiques Pures et Appliqu´ ees, 116:132–160, 2018. 31
work page 2018
-
[12]
Kechris.Classical Descriptive Set Theory, volume 156 of Graduate Texts in Mathematics
Alexander S. Kechris.Classical Descriptive Set Theory, volume 156 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995
work page 1995
-
[13]
Inverse problem for a random potential
Matti Lassas, Lassi P¨ aiv¨ arinta, and Eero Saksman. Inverse problem for a random potential. InPartial Differential Equations and Inverse Problems, volume 362 ofContemporary Mathematics, pages 277–288. American Mathematical Society, Providence, RI, 2004
work page 2004
-
[14]
Matti Lassas, Lassi P¨ aiv¨ arinta, and Eero Saksman. Inverse scattering problem for a two dimensional random potential.Communications in Mathematical Physics, 279:669–703, 2008
work page 2008
-
[15]
Jianliang Li, Tapio Helin, and Peijun Li. Inverse random source problems for time-harmonic acoustic and elastic waves.Communications in Partial Differential Equations, 45(10):1335–1380, 2020
work page 2020
-
[16]
Inverse elastic scattering for a random source
Jianliang Li and Peijun Li. Inverse elastic scattering for a random source. SIAM Journal on Mathematical Analysis, 51(6):4570–4603, 2019
work page 2019
-
[17]
Jianliang Li, Peijun Li, and Xu Wang. Inverse elastic scattering for a random potential.SIAM Journal on Mathematical Analysis, 54(5):5126– 5159, 2022
work page 2022
-
[18]
Jianliang Li, Peijun Li, Xu Wang, and Guanlin Yang. Inverse random potential scattering for the polyharmonic wave equation using far-field patterns.SIAM Journal on Applied Mathematics, 85(3):1237–1260, 2025
work page 2025
-
[19]
Jingzhi Li, Hongyu Liu, and Shiqi Ma. Determining a random Schr¨ odinger equation with unknown source and potential.SIAM Journal on Mathematical Analysis, 51(4):3465–3491, 2019
work page 2019
-
[20]
Jingzhi Li, Hongyu Liu, and Shiqi Ma. Determining a random Schr¨ odinger operator: both potential and source are random.Commu- nications in Mathematical Physics, 381(2):527–556, 2021
work page 2021
-
[21]
Ming Li, Chuchu Chen, and Peijun Li. Inverse random source scattering for the Helmholtz equation in inhomogeneous media.Inverse Problems, 34(1):015003, 2018
work page 2018
-
[22]
Peijun Li and Xu Wang. Inverse random source scattering for the Helmholtz equation with attenuation.SIAM Journal on Applied Mathe- matics, 81(2):485–506, 2021. 32
work page 2021
-
[23]
Peijun Li and Xu Wang. Inverse scattering for the biharmonic wave equation with a random potential.SIAM Journal on Mathematical Analysis, 56(2):1959–1995, 2024
work page 1959
-
[24]
Hongyu Liu and Shiqi Ma. Inverse problem for a random Schr¨ odinger equation with unknown source and potential.Mathematische Zeitschrift, 304(2):Paper No. 28, 31 pp., 2023
work page 2023
-
[25]
Qi L¨ u and Xu Zhang. Inverse problems for stochastic partial differential equations: some progresses and open problems.Numerical Algebra, Control and Optimization, 14(2):227–272, 2024
work page 2024
-
[26]
Shiqi Ma. On recent progress of single-realization recoveries of random Schr¨ odinger systems.Electronic Research Archive, 29(3):2391–2415, 2021
work page 2021
-
[27]
From Feynman–Kac formulae to numerical stochastic homogenization in electrical impedance tomography
Petteri Piiroinen and Martin Simon. From Feynman–Kac formulae to numerical stochastic homogenization in electrical impedance tomography. Annals of Applied Probability, 26(5):3001–3043, 2016
work page 2016
-
[28]
Petteri Piiroinen and Martin Simon. Probabilistic interpretation of the Calder´ on problem.Inverse Problems and Imaging, 11(3):553–575, 2017
work page 2017
-
[29]
Juan Manuel Reyes and Alberto Ruiz. Reconstruction of the singularities of a potential from backscattering data in 2D and 3D.Inverse Problems and Imaging, 6(2):321–355, 2012
work page 2012
-
[30]
Springer Spektrum, Wiesbaden, 2015
Martin Simon.Anomaly Detection in Random Heterogeneous Media: Feynman–Kac Formulae, Stochastic Homogenization and Statistical Inversion. Springer Spektrum, Wiesbaden, 2015
work page 2015
-
[31]
John Sylvester and Gunther Uhlmann. A global uniqueness theorem for an inverse boundary value problem.Annals of Mathematics, 125:153–169, 1987
work page 1987
-
[32]
Tianjiao Wang, Xiang Xu, and Yue Zhao. Inverse random scattering for the one-dimensional Helmholtz equation.Inverse Problems, 41(6):065011, 2025
work page 2025
-
[33]
Stability for the inverse random potential scattering problem
Tianjiao Wang, Xiang Xu, and Yue Zhao. Stability for the inverse random potential scattering problem. arXiv preprint arXiv:2512.21814, 2025. 33
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.