Global versus regional internal--external potential field separation

C. Gerhards; X. Huang; Z. Ren

REVIEW 3 major objections 2 minor 1 cited by

Regional internal–external magnetic field separation is not unique without assumptions and becomes unique but highly unstable under a geophysically motivated spherical-shell constraint.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-15 14:55 UTC pith:V2352QHQ

load-bearing objection 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. the 3 major comments →

arxiv 2603.04886 v2 pith:V2352QHQ submitted 2026-03-05 math.FA physics.geo-ph

Global versus regional internal--external potential field separation

X. Huang , C. Gerhards , Z. Ren This is my paper

classification math.FA physics.geo-ph MSC 86A2531B0546F12

keywords internal-external field separationspherical Hardy-Hodge decompositionregional geomagnetic datapotential field uniquenesssource-free spherical shellinstability of inverse problemsgeomagnetism

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Internal–external field separation tries to split a magnetic field observed on a surface into the part generated inside that surface and the part generated outside it. On a complete sphere the split is classical, unique, and stable, but when measurements cover only a regional subdomain the same split is no longer uniquely determined by the data alone. The paper shows that uniqueness can be restored by the modeling assumption that all exterior sources lie above a source-free spherical shell; under that assumption the spherical Hardy–Hodge decomposition yields a unique separation. That separation is nevertheless severely unstable, which accounts for the practical difficulties that have long been observed when regional aeromagnetic or ground-based surveys attempt the same decomposition. The result therefore supplies both a rigorous uniqueness statement and a precise explanation of why regional separations remain fragile.

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.

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.

Load-bearing premise

The premise that all exterior sources sit above a source-free spherical shell; if that geometric constraint fails, uniqueness is lost.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

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 one thing to know is that this is a clean theoretical diagnosis of a problem geomagnetists already feel in practice: on a full sphere Gauss separation is unique and stable; on a proper subdomain it is not unique without extra assumptions, and under the usual “exterior sources above a source-free spherical shell” hypothesis it becomes unique but highly unstable. That is the contribution, obtained via the spherical Hardy–Hodge decomposition.

What is new is the regional non-uniqueness result and the uniqueness-plus-instability theorem under that geometric source constraint. The global case is classical; the paper’s value is making the regional failure modes precise and explaining why regional data-based separations are intrinsically hard. The abstract is well-scoped, the modeling premise is stated up front rather than smuggled in, and there is no data-fitting or free-parameter circularity. For potential theory and geomagnetism this is useful organization of a long-standing difficulty.

Soft spots are almost entirely about what we cannot see. We have only the abstract, so the function-space settings, boundary regularity, and quantitative instability rates are unchecked. The load-bearing geophysical assumption (exterior sources above a source-free shell) is explicit; if it fails in a given application the uniqueness claim does not apply, but that is a modeling limitation, not a hidden flaw in the math as formulated. Nothing in the abstract looks incoherent or over-claimed.

This is for people who work on regional potential-field separation, aeromagnetic/ground surveys, or spherical Hardy–Hodge methods. A serious referee should see the full proofs and estimates. I would send it to peer review; it deserves that time even if the instability rates turn out milder or sharper than the abstract suggests. Bring it to reading group only if someone is already deep in regional geomagnetic inverse problems; otherwise wait for the full text.

Referee Report

3 major / 2 minor

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

0 steps flagged

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.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Pure mathematical analysis of potential fields on spheres/subdomains. No free parameters are fitted. Load-bearing ingredients are standard potential theory plus the domain assumption that exterior sources lie above a source-free shell, and the use of the spherical Hardy–Hodge decomposition as the analytic engine. No new physical entities are introduced.

axioms (3)

domain assumption Magnetic field is a potential field admitting an internal–external decomposition on spherical geometry (classical Gauss setting).
Background of the whole separation problem; stated as the global case that is stable and standard.
domain assumption Exterior sources lie above a source-free spherical shell.
Explicit geophysical modeling assumption that restores uniqueness; if false, uniqueness fails.
standard math Spherical Hardy–Hodge decomposition is valid for the function spaces and observation surfaces under consideration.
Named analytic tool on which uniqueness and instability proofs rest; treated as established mathematics applied to this setting.

pith-pipeline@v1.1.0-grok45 · 6066 in / 2040 out tokens · 25285 ms · 2026-07-15T14:55:30.756762+00:00 · methodology

0 comments

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.

discussion (0)

Forward citations

Cited by 1 Pith paper

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

A converse to generalized Runcorn's theorem
math-ph 2026-07 accept novelty 7.0

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