REVIEW 3 major objections 2 minor 1 cited by
Global versus regional internal--external potential field separation
T0 review · 3 major / 2 minor · reviewed 2026-07-15 · grok-4.5
Pith's one-line read Regional internal–external magnetic field separation is not unique without assumptions and becomes unique but highly unstable under a geophysically motivated spherical-shell constraint.
desk verdict Abstract-only: regional non-uniqueness of internal–external separation, and uniqueness-plus-high-instability under a source-free shell via spherical Hardy–Hodge — clear claims, proofs unchecked. 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 spherical Hardy–Hodge decomposition, which splits a vector field on a sphere into an internal potential part, an external potential part, and a toroidal remainder; under the shell assumption the remainder vanishes and the two potential parts become uniquely recoverable from regional data.
What would settle it
Construct a smooth magnetic field that is generated by currents both inside the Earth and below the assumed shell yet coincides, on a chosen open spherical cap, with a purely internal field; any numerical separation algorithm that claims uniqueness must then return the wrong exterior component.
Extended reading notes
Core claim
Without any prior geometric constraints an internal–external potential-field separation performed on a proper subdomain of a spherical observation surface is non-unique. Once exterior sources are required to lie above a source-free spherical shell, the spherical Hardy–Hodge decomposition produces a unique separation, yet the reconstruction operator is highly unstable.
Load-bearing premise
The premise that all exterior sources sit above a source-free spherical shell; if that geometric constraint fails, uniqueness is lost.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies internal–external potential field separation for magnetic data given only on a regional subdomain of a spherical observation surface. It claims that, without prior assumptions, such a separation is not uniquely determined, in contrast to the classical global Gauss procedure on the full sphere. Under the additional geometric hypothesis that exterior sources lie above a source-free spherical shell, uniqueness is restored via the spherical Hardy–Hodge decomposition, but the resulting inverse problem is highly unstable. The work aims to explain the intrinsic mathematical difficulties of regional data-based separation in geomagnetism.
Significance. If the non-uniqueness, conditional uniqueness, and instability statements hold rigorously, the paper would supply a clear functional-analytic foundation for a well-known practical obstacle in aeromagnetic and ground-based geomagnetism. Explicitly tying the restoration of uniqueness to a geophysically motivated source-location constraint, and documenting high instability of the resulting map, would be of genuine interest to both potential theory and applied geomagnetism. Credit is due for framing the problem against the classical global Gauss baseline and for invoking the spherical Hardy–Hodge decomposition as the natural tool; those strengths can only be fully assessed once the proofs and estimates are available.
major comments (3)
- Only the abstract is available for this review. The central claims—regional non-uniqueness without assumptions, uniqueness under the exterior-sources-above-source-free-shell hypothesis, and high instability of the resulting separation—rest on Hardy–Hodge arguments, function-space settings, and quantitative instability estimates that cannot be checked. A full technical assessment of correctness is therefore impossible from the material provided.
- Abstract: the uniqueness claim is load-bearing and is conditioned on the geometric premise that exterior sources lie above a source-free spherical shell. The manuscript must state the precise function-space hypotheses (trace spaces, regularity of the subdomain boundary, admissible source classes) under which uniqueness holds, and must exhibit the argument that this premise is both necessary and sufficient for uniqueness in the regional setting.
- Abstract: the claim that the conditional separation is “highly unstable” is load-bearing for the paper’s explanatory goal. Without a modulus of continuity, singular-value decay rates, or an explicit ill-posedness estimate derived from the spherical Hardy–Hodge decomposition, the instability assertion remains qualitative and cannot be verified or compared with the stable global Gauss case.
minor comments (2)
- Abstract: the phrase “geophysically reasonable assumption” is appropriate for motivation but should be paired, in the full text, with a precise mathematical formulation of the source-free shell so that the modeling premise is not left informal.
- Abstract: a brief indication of the function spaces (e.g., Sobolev or Hardy-type spaces on the sphere and on the regional subdomain) would help the reader anticipate the technical setting before the full development.
Circularity Check
No significant circularity; abstract-only mathematical uniqueness/stability claim is self-contained against classical Gauss baseline.
full rationale
Only the abstract is available. It states a pure mathematical result: without prior assumptions, regional internal–external separation on a subdomain is non-unique; under the explicit geometric modeling premise that exterior sources lie above a source-free spherical shell, uniqueness is restored via the spherical Hardy–Hodge decomposition, but the problem is highly unstable. No parameters are fitted to data, no prediction is claimed that reduces to a fitted constant, and no uniqueness theorem is imported solely by self-citation as an external fact that forces the result. The classical global Gauss separation is the external baseline; the regional non-uniqueness and conditional uniqueness/instability are presented as consequences of the stated function-space setting and the source-location assumption. That assumption is load-bearing for geophysical applicability but is declared openly rather than smuggled in; it does not make the mathematical claim circular by construction. With no equations, proofs, or self-referential definitions available to exhibit a reduction of the form Eq. X = Eq. Y by construction, the honest finding is score 0 and empty steps. Minor residual risk that the full paper leans on prior author work for Hardy–Hodge setup cannot be verified from the abstract and does not raise the score under the hard rules.
Assumptions & free parameters
assumptions (3)
- domain assumption Magnetic field is a potential field admitting an internal–external decomposition on spherical geometry (classical Gauss setting).
- domain assumption Exterior sources lie above a source-free spherical shell.
- standard math Spherical Hardy–Hodge decomposition is valid for the function spaces and observation surfaces under consideration.
Cite this review
Pith. "Pith review of Global versus regional internal--external potential field separation." pith.science (2026). https://pith.science/paper/V2352QHQ
@misc{pith2026260304886,
author = {Pith},
title = {Pith review of: Global versus regional internal--external potential field separation},
year = {2026},
howpublished = {\url{https://pith.science/paper/V2352QHQ}},
note = {Machine review of arXiv:2603.04886}
}
read the original abstract
Internal--external field separation is crucial for many aspects of geomagnetism, aiming at distinguishing contributions of the magnetic field generated within a given observation surface from those generated in the exterior. When data are available on a full spherical observation surface, this separation is a standard, stable, and widely used procedure dating back to Gauss. However, when data are only available in a subdomain of the observation surface (as is the case for aeromagnetic and ground-based surveys), the situation drastically changes. Here we show that, without prior assumptions, an internal--external field separation is not uniquely possible. Given the geophysically reasonable assumption that the exterior sources, e.g., magnetospheric and ionospheric current systems, are located above a source-free spherical shell, we show that a unique separation becomes possible but that it is highly unstable. The results are based on the spherical Hardy--Hodge decomposition and explain the intrinsic difficulties of regional data-based internal--external potential field separation.
Forward citations
Cited by 1 Pith paper
-
A converse to generalized Runcorn's theorem
Non-radial silent magnetizations on a fixed spherical shell are exactly those whose angular coefficients satisfy one finite set of radial moment conditions per degree; if the shell is allowed to shrink, only radial (a...
Reviewed July 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.