Pith. sign in

REVIEW 1 major objections 3 minor 22 references

This paper characterizes which functions on a spherical annulus are invisible to all harmonic probes, proving that a fixed annulus admits infinitely many non-radial silent functions while silencing on every sub-annulus forces radiality (wit

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 · deepseek-v4-flash

2026-08-01 15:34 UTC pith:KYB5B5V4

load-bearing objection A genuine converse to Runcorn's theorem with a clean fixed-annulus characterization; the core math is solid, but formula (1.4) has a basis-dependent degeneracy that needs a small fix. the 1 major comments →

arxiv 2607.18379 v1 pith:KYB5B5V4 submitted 2026-07-20 math-ph math.MP

A converse to generalized Runcorn's theorem

Vjekoslav Kova\v{c} , Ivica Smoli\'c This is my paper
classification math-ph math.MP MSC 86A2286A2533C5543A90
keywords Runcorn's theoreminverse problemspherical harmonicsharmonic functionssilent magnetizationgeomagnetismmoment conditionsannulus
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.

The paper studies the converse of Runcorn's theorem, a geophysical result saying that a radially symmetric magnetization of a spherical shell produces no external magnetic field. The question is whether every 'silent' source—one that produces zero interaction with all harmonic test functions—must be radial. The paper answers no on a fixed annulus: a square-integrable function is silent exactly when each spherical-harmonic radial coefficient is orthogonal to a small explicit set of integer-power radial monomials, leaving infinite-dimensional families of non-radial silent functions. It answers yes only when silence is required on every sub-annulus of the shell, and then only in dimensions three and higher; in the plane, three dipole modes survive. The characterization turns a global inverse problem into finitely many radial moment conditions per angular frequency.

Core claim

For fixed radii r_-<a<b<r_+, f∈L²(A_{a,b}) satisfies (1.2) for all harmonic u,v if and only if each radial coefficient g_{k,j}(r) in its spherical-harmonic expansion lies in G_k, the orthogonal complement of the finite monomial set R_k (empty for k=0, and in the plane also for k=1). Hence the solution space is ⊕ (G_k⊗H_k): the radial part is unconstrained, while each tangential degree k≥1 (k≥2 in the plane) contributes an infinite-dimensional family of silent non-radial functions subject only to finitely many radial moment conditions. Explicitly, in three dimensions f(r,θ,φ)=(r-(a+b)/2)cosθ is silent on the fixed annulus. If the same vanishing is required on every sub-annulus, the classifica

What carries the argument

The carrying object is the spherical-harmonic expansion f(rσ)=Σ_{k,j} g_{k,j}(r)Y_{k,j}(σ) with radial coefficient functions g_{k,j}; the argument turns on the finite monomial sets R_k—for n≥3 and k≥1, R_k={r^{2ℓ-k-n+2}:0≤ℓ≤k−1}, for n=2 and k≥2, R_k={r^{2ℓ-k}:0≤ℓ≤k−2}—and their orthogonal complements G_k. Two harmonic-analysis inputs do the work: the family of harmonic polynomials (ζ·x)^k with ζ·ζ=0 spans all solid spherical harmonics, which makes the moment conditions necessary, and the computation that, for ζ·ζ=0, ∇(ζ·x)^p·∇(|x|^{2−n−2q}(ζ·x)^q)=−p(n+2q−2)|x|^{−n−2q}(ζ·x)^{p+q} converts the integral condition into moment conditions. The sufficiency uses the standard inversion transform fo

Load-bearing premise

The result hinges on the algebraic lemma that the harmonics (ζ·x)^k with ζ·ζ=0 generate every spherical harmonic of degree k; if that span were any smaller, the radial moment conditions would not be necessary, and Theorem 1's passage from integrals to pointwise identities also assumes f is continuous.

What would settle it

In dimension 3 with a=1, b=2, take f=(r-1)^2 z/r, u=x_3, and v=|x|^{-1}. Theorem 2 predicts the integral in (1.2) equals -4π/9 (a direct consequence of ∫_1^2 (r-1)^2 dr = 1/3). Evaluating the integral numerically—or by exact quadrature in spherical coordinates—and finding zero would disprove the necessity of the degree-1 moment condition; finding the predicted nonzero value supports it.

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

If this is right

  • On a fixed annulus, silent sources are abundant and explicitly constructible: any radial factor can be made silent by subtracting its projection onto the span of R_k, and every degree k≥1 (k≥2 in 2D) yields an infinite-dimensional family.
  • Requiring (1.2) on all sub-annuli of (r_-,r_+) forces radiality in n≥3; in n=2 only the angular modes e^{-iφ}, 1, e^{iφ} survive, with arbitrary radial coefficients.
  • The finite moment conditions per degree give a concrete test for whether a given source distribution is invisible to all harmonic probes on a fixed shell.
  • Strictly positive non-radial silent magnetizations exist on a fixed annulus, e.g. f_ε(r,θ,φ)=1+ε(r-(a+b)/2)cosθ for small ε, so invisibility cannot be ruled out by positivity.
  • In the multi-shell setting, Theorem 1 recovers a true converse of Runcorn's theorem, settling the geophysical expectation for that case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Going beyond the paper: the fixed-annulus flexibility means a single shell of harmonic data cannot pin down a magnetization; uniqueness should require measurements at multiple radii or extra structural assumptions, a practical consequence the paper leaves implicit.
  • Going beyond the paper: the null-cone spanning trick (ζ·x)^k with ζ·ζ=0 is likely reusable in other inverse or moment problems on spherical geometries, such as Helmholtz or Maxwell source recovery.
  • Going beyond the paper: a natural testable extension is that the same G_k moment conditions characterize silence for L^p data or for vector-valued/tensor sources by the same density argument; the paper only treats L^2 scalar functions.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 3 minor

Summary. The paper characterizes the null space of the integral operator in (1.2) for complex L^2 functions on a fixed spherical annulus, with harmonic test functions u in an inner ball and v in an exterior region vanishing at infinity. The main result, Theorem 2, states that in a spherical-harmonic expansion, each radial coefficient must lie in G_k, the orthogonal complement of a finite set of monomials R_k. Theorem 1 then shows that if the condition holds for all sub-annuli in (r_-, r_+), then f is radial for n >= 3 and has only angular modes 0 and ±1 for n = 2. The proofs rely on a spanning set of harmonic polynomials (Lemma 3) and an explicit formula for ∇P·∇(KQ) (Lemma 5).

Significance. If the stated characterization is correct, the paper resolves a natural converse question and disproves the informal conjecture of Arkani-Hamed and Dyment (Ref. [1]) for fixed annuli, while confirming the radiality version when the annulus is varied. The proof is self-contained and built from classical harmonic analysis, with no fitted parameters or ad-hoc assumptions. The explicit non-radial examples in Section 4 are valuable for inverse magnetization problems. The overall mathematical strategy and core derivations are sound, but the statement and proof contain a flaw related to complex spherical-harmonic bases that must be addressed.

major comments (1)
  1. [Section 1.2, Eq. (1.4); Section 3; Section 4.2] The theorem permits complex-valued spherical-harmonic bases, but the bilinear form ⟨G,H⟩=∫GH dS is not positive definite and can vanish for nonzero complex Y. For example, on S^1, Y=e^{iφ} satisfies ⟨Y,Y⟩=0, so formula (1.4) divides by zero and is undefined. Moreover, the complex exponential basis {e^{ikφ}, e^{-ikφ}} used in Section 4.2 is not orthogonal with respect to this bilinear form because ⟨e^{ikφ}, e^{-ikφ}⟩=2π ≠0 for k≥1. The necessity proof in Section 3 explicitly uses (1.4) to divide by ∥Y_{k,j}∥², so the argument fails for such bases. The central theorems appear correct when a real-valued orthonormal basis is used, and the derived moment conditions in Section 4.2 can be justified via real bases followed by linearity, but the current statement and examples are not well-defined. Please revise Theorem 2 and the examples to use a real orthonormal basis (or clearly specify a compl
minor comments (3)
  1. [Title page / heading] The author name appears garbled as 'VJEKOSLA V KOV AˇC'; it should presumably be 'VJEKOSLAV KOVAČ'.
  2. [Section 4.2] The phrase 'a convenient basis of H_k on the unit circle is provided by the complex exponentials' is misleading in light of the bilinear inner product defined earlier; these functions are not orthogonal in that product. Please rephrase or connect to the corrected choice of basis.
  3. [Section 3, after Lemma 5] The sentence 'It is also possible to give a direct proof that (2) and (3) are equivalent... we omit the details' is acceptable, but the omission of a proof of an alternative route could be expanded or removed for clarity.

Circularity Check

0 steps flagged

No significant circularity: the main characterization is derived from classical harmonic analysis; the only self-citation is motivational and recovered, not load-bearing.

full rationale

The derivation chain is self-contained. Theorem 2 is proved from the standard L^2(A_{a,b}) = direct sum of L^2((a,b), r^{n-1}dr) tensor H_k decomposition, the Kelvin transform, the harmonic decomposition (2.6), and two auxiliary lemmas whose proofs are included. The critical spanning lemma, Lemma 3, is proved in the paper by an elementary divisibility argument on the complex quadric; it is not imported as an unverified self-citation. The moment set R_k is computed from explicit gradient products in Lemma 4 and then shown sufficient via Lemma 5; this is a genuine if-and-only-if derivation, not a definition of G_k as 'functions satisfying (1.2)'. The reduction of (1.2) to the moment conditions is precisely the content of the proof. The only self-citation, [20], states the forward Runcorn theorem; it is used as motivation and is recovered as the k=0 case (R_0 = empty), not assumed in the proof. Theorem 1 is then obtained by applying Theorem 2 to every sub-annulus and using continuity of the radial coefficient functions; no fitted parameter or predicted quantity is involved. The reviewer-flagged division by the bilinear norm in (1.4) for certain complex spherical-harmonic bases concerns well-definedness and basis conventions, not circular dependence, and Theorem 2 can be read with the allowed real-valued basis. The paper also omits a direct proof of (2) iff (3) in Theorem 1, but that equivalence is already proven via Theorem 2, so the omission is expository rather than a hidden assumption.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The central claim is a theorem in harmonic analysis; its only inputs are the dimension n, radii r_-<r_+, and chosen a,b, which are problem data rather than fitted constants. The auxiliary objects (spherical harmonic bases, Kelvin transforms, Laurent monomial sets R_k) are constructed and proved, not estimated from data. The paper introduces no new physical entity and no adjustable parameter; the main hidden inputs are standard theorems from harmonic function theory, listed in the axioms.

axioms (6)
  • standard math L^2(A_{a,b}) decomposes orthogonally as ⊕_k (L^2([a,b], r^{n-1}dr) ⊗ H_k).
    Used at the start of the proof of Theorem 2 via [3, Thm. 5.12]; without it the spherical-harmonic coefficient decomposition (1.3) fails.
  • standard math Harmonic functions on U and on V have spherical-harmonic expansions whose series, together with first derivatives, converge uniformly on compact sub-annuli.
    Used in the sufficiency part of Theorem 2 to interchange sums with the integral over A_{a,b}; cited to [3, Ch. 10].
  • standard math The Kelvin transform preserves harmonicity and satisfies the explicit formula (2.4) for homogeneous harmonic polynomials.
    Used throughout Lemmas 4 and 5 to construct admissible exterior harmonic functions v; cited to [3, Thm. 4.7].
  • standard math Harmonic homogeneous polynomials decompose as in (2.6), with the components expressible as in (2.7).
    Used in Lemma 5 to expand products P Q into |x|^{2ℓ} K_{d-2ℓ}; cited to [3, Thm. 5.7 and Thm. 5.21].
  • domain assumption The bilinear (non-conjugated) dot product is the correct pairing for the magnetization integral.
    Stated in §1.1; the theorem is proved for this convention, and real-valued results follow by choosing real spherical-harmonic bases.
  • standard math The polynomials (ζ·x)^k with ζ·ζ=0 span the solid spherical harmonics H_k.
    Lemma 3, the critical spanning input for necessity in Theorem 2; the paper supplies a full proof and also cites [10, Lemma 4.10].

pith-pipeline@v1.3.0-alltime-deepseek · 12868 in / 24049 out tokens · 190492 ms · 2026-08-01T15:34:43.452819+00:00 · methodology

0 comments
read the original abstract

We study an inverse problem for generalized Runcorn's theorem motivated by an apparent paradox of lunar magnetism. In mathematical terms, we characterize square-integrable complex functions $f$ such that $$ \int_{\{ x\in\mathbb{R}^n : a \leq |x| \leq b \}} f(x) \nabla u(x)\cdot\nabla v(x)\,\mathrm{d}\mathrm{V}(x) = 0 $$ for every complex harmonic function $u$ in the inner ball $|x|<r_+$ and every complex harmonic function $v$ in the exterior region $|x|>r_-$ that vanishes at infinity. The solution space depends on whether the radii $a$ and $b$ such that $r_-<a<b<r_+$ are regarded as varying or fixed. The solutions are described through the expansion of $f$ into spherical harmonics, and explicit representations are provided.

Figures

Figures reproduced from arXiv: 2607.18379 by Ivica Smoli\'c, Vjekoslav Kova\v{c}.

Figure 1
Figure 1. Figure 1: Cross-section of the annulus. In [20] the functions f, u, and v are real-valued, but the same identity remains valid in the complex-valued setting once we interpret ∇u · ∇v := Xn m=1 ∂mu ∂mv bilinearly, that is, without complex conjugation. If the gradients are identified with column vectors and (·) T stands for the transposition, then the above expression can also be written simply as (∇u) T∇v. Throughout… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 12 canonical work pages

  1. [1]

    Arkani-Hamed and J

    J. Arkani-Hamed and J. Dyment,Magnetic potential and magnetization contrasts of Earth’s litho- sphere, J. Geophys. Res.101(1996), 11401–11425. doi:10.1029/95JB03537. [Erratum: J. Geophys. Res.102(1997), 22765. doi:10.1029/97JB01854.]

    work page doi:10.1029/95jb03537 1996

  2. [2]

    Atfeh, L

    B. Atfeh, L. Baratchart, J. Leblond, and J. R. Partington,Bounded extremal and Cauchy– Laplace problems on the sphere and shell, J. Fourier Anal. Appl.16(2010), no. 2, 177–203. doi:10.1007/s00041-009-9110-0

    work page doi:10.1007/s00041-009-9110-0 2010

  3. [3]

    Axler, P

    S. Axler, P. Bourdon, and W. Ramey,Harmonic function theory, 2nd ed, Grad. Texts in Math. 137, Springer, New York, 2001

    2001

  4. [4]

    Backus,Poloidal and toroidal fields in geomagnetic field modeling, Rev

    G. Backus,Poloidal and toroidal fields in geomagnetic field modeling, Rev. Geophys.24(1986), no. 1, 75–109. doi:10.1029/RG024i001p00075

    doi:10.1029/rg024i001p00075 1986

  5. [5]

    Baratchart and C

    L. Baratchart and C. Gerhards,On the recovery of core and crustal components of geomagnetic potential fields, SIAM J. Appl. Math.77(2017), no. 5, 1756–1780. doi:10.1137/17M1121640

    work page doi:10.1137/17m1121640 2017

  6. [6]

    Baratchart, C

    L. Baratchart, C. Gerhards, and A. Kegeles,Decomposition ofL 2-vector fields on Lipschitz surfaces: characterization via null-spaces of the scalar potential, SIAM J. Math. Anal.53(2021), no. 4, 4096–

    2021

  7. [7]

    Baratchart, C

    L. Baratchart, C. Gerhards, A. Kegeles, and P. Menzel,Unique reconstruction of simple mag- netizations from their magnetic potential, Inverse Problems37(2021), no. 10, article 105006. doi:10.1088/1361-6420/ac1e82

    work page doi:10.1088/1361-6420/ac1e82 2021

  8. [8]

    Baratchart, D

    L. Baratchart, D. P. Hardin, E. A. Lima, E. B. Saff, and B. P. Weiss,Characterizing kernels of operators related to thin-plate magnetizations via generalizations of Hodge decompositions, Inverse Problems29(2013), no. 1, article 015004. doi:10.1088/0266-5611/29/1/015004

    work page doi:10.1088/0266-5611/29/1/015004 2013

  9. [9]

    Baratchart, J

    L. Baratchart, J. Leblond, and M. Nemaire,Silent sources inL p and Helmholtz-type decompositions, SIAM J. Math. Anal.57(2025), no. 3, 2715–2745. doi:10.1137/24M1630335

    work page doi:10.1137/24m1630335 2025

  10. [10]

    Flavi,Decompositions of powers of quadrics, Dissertationes Math.602(2025), 108 pp

    C. Flavi,Decompositions of powers of quadrics, Dissertationes Math.602(2025), 108 pp. doi:10.4064/dm231228-23-1

    work page doi:10.4064/dm231228-23-1 2025

  11. [11]

    Gerhards,On the unique reconstruction of induced spherical magnetizations, Inverse Problems 32(2016), no

    C. Gerhards,On the unique reconstruction of induced spherical magnetizations, Inverse Problems 32(2016), no. 1, article 015002. doi:10.1088/0266-5611/32/1/015002

    work page doi:10.1088/0266-5611/32/1/015002 2016

  12. [12]

    Gubbins, D

    D. Gubbins, D. Ivers, S. M. Masterton, and D. E. Winch,Analysis of lithospheric magnetization in vector spherical harmonics, Geophys. J. Int.187(2011), no. 1, 99–117. doi:10.1111/j.1365- 246X.2011.05153.x

    Pith/arXiv arXiv 2011

  13. [13]

    Huang, C

    X. Huang, C. Gerhards, and Z. Ren,Global versus regional internal–external potential field separa- tion, preprint,arXiv:2603.04886, 2026

    Pith/arXiv arXiv 2026

  14. [14]

    Jackson,Runcorn ’s theorem, in: D

    A. Jackson,Runcorn ’s theorem, in: D. Gubbins and E. Herrero-Bervera (eds.),Encyclopedia of Geomagnetism and Paleomagnetism, Springer, Dordrecht, 2007, pp. 888–889. doi:10.1007/978-1- 4020-4423-6 285

    doi:10.1007/978-1- 2007

  15. [15]

    Jackson, D

    A. Jackson, D. E. Winch, and V. Lesur,Geomagnetic effects of the Earth’s ellipticity, Geophys. J. Int.138(1999), no. 1, 285–289. doi:10.1046/j.1365-246X.1999.00860.x

    arXiv 1999

  16. [16]

    Lesur and A

    V. Lesur and A. Jackson,Exact solutions for internally induced magnetization in a shell, Geophys. J. Int.140(2000), no. 2, 453–459. doi:10.1046/j.1365-246X.2000.00046.x

    arXiv 2000

  17. [17]

    Maus and V

    S. Maus and V. Haak,Magnetic field annihilators: invisible magnetization at the magnetic equator, Geophys. J. Int.155(2003), no. 2, 509–513. doi:10.1046/j.1365-246X.2003.02053.x

    Pith/arXiv arXiv 2003

  18. [18]

    S. K. Runcorn,An ancient lunar magnetic dipole field, Nature253(1975), 701–703. doi:10.1038/253701a0. [Erratum: Nature254(1975), 360. doi:10.1038/254360b0.] 16 V. KOV A ˇC AND I. SMOLI ´C

    work page doi:10.1038/253701a0 1975

  19. [19]

    S. K. Runcorn,On the interpretation of lunar magnetism, Phys. Earth Planet. Inter.10(1975), 327–335. doi:10.1016/0031-9201(75)90059-X

    work page doi:10.1016/0031-9201(75)90059-x 1975

  20. [20]

    Smoli´ c,Generalized Runcorn ’s theorem and crustal magnetism, Eur

    I. Smoli´ c,Generalized Runcorn ’s theorem and crustal magnetism, Eur. Phys. J. Plus140(2025), article no. 282. doi:10.1140/epjp/s13360-025-06228-w

    work page doi:10.1140/epjp/s13360-025-06228-w 2025

  21. [21]

    E. M. Stein and G. Weiss,Introduction to Fourier analysis on Euclidean spaces, Princeton Math. Ser.32, Princeton University Press, Princeton, 1971. (V. K.)University of Zagreb F aculty of Science, Department of Mathematics, Bijeniˇcka cesta 30, 10000 Zagreb, Croatia Email address:vjekovac@math.hr (I. S.)University of Zagreb F aculty of Science, Department...

    1971

  22. [4117]

    doi:10.1137/20M1387754

    work page doi:10.1137/20m1387754