Quantitative stability of the intersection body operator near the ball, and the dynamical origin of the two--dimensional degeneracy

S. Spektor

Quantitative stability of the intersection body operator near the ball, and the dynamical origin of the two--dimensional degeneracy

T0 review · 0 major / 6 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read Near the ball, if I^{2}K is close to a multiple of K then K is close to an ellipsoid, with an explicit rate set by a spectral gap that vanishes only as dimension approaches 2.

desk verdict Clean local quantitative stability for I^{2} near the ball, with an explicit spectral gap that also explains the planar degeneracy; solid fixed-n math, openly local. read the letter →

arxiv 2607.09412 v1 pith:IASYYPRB submitted 2026-07-10 math.MG math.DS

S. Spektor This is my paper · ORCID

classification math.MGmath.DS MSC 52A2052A3844A1237D10

keywords intersectionbodyFunktransformsphericalharmonicsquantitativestabilitycentermanifoldspectralgapstarbodiesBusemann-Petty

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The intersection body operator I turns a star body into another star body whose radial function records the volumes of central sections. A recent global theorem says that for dimension n at least 3 the equation I^{2}K = cK holds precisely when K is a centered ellipsoid. This paper supplies the missing local quantitative version near the Euclidean ball. By linearizing the shape map on the sphere and computing its spectrum in closed form, it shows that ellipsoidal (degree-two) modes are neutral while every higher mode is strictly contracted, with an explicit gap of size (n-2)(n+4)/(n+1)^{2}. The gap produces a sharp linear stability constant C(n) and, after a center-manifold reduction in a Sobolev space, a genuine nonlinear stability theorem: if K is already close to the ball and I^{2}K is within δ of a multiple of K, then K lies within a multiple of C(n)δ of some centered ellipsoid. The same calculation explains the classical two-dimensional degeneracy: the gap collapses exactly as n approaches 2, recovering the fact that every origin-symmetric planar star body is a fixed point of I. The methods remain perturbative, so they do not settle the existence of higher-period orbits far from the ball.

What carries the argument

The closed-form spectrum of the linearization of I^{2} on spherical harmonics: degree-two multipliers equal 1 (neutral) while all higher even multipliers are strictly less than 1, with maximum 9/(n+1)^{2}, producing the explicit gap used for both the linear estimate and the center-manifold reduction.

What would settle it

Compute or bound the true nonlinear radius of stability for a sequence of dimensions and check whether it remains bounded away from zero as n grows, or construct a sequence of star bodies near the ball whose I^{2}-defect is o(1) while their distance to every ellipsoid stays larger than any multiple of C(n) times that defect.

Watch

Extended reading notes

Core claim

For each fixed dimension n≥3 the linearization of I^{2} at the ball has spectral gap gap(n)=(n-2)(n+4)/(n+1)^{2} away from the neutral ellipsoidal subspace; this gap yields the sharp linear constant C(n)=(n+1)^{2}/((n-2)(n+4)) and, via center-manifold reduction in H^s, a local quantitative stability theorem: if a star body is sufficiently close to the ball and I^{2}K is δ-close to a multiple of K, then K is O(C(n)δ)-close to a centered ellipsoid.

Load-bearing premise

The argument needs a single function space that is both a Banach algebra (to control the nonlinear power map) and has bounded harmonic projections (to apply the spectral gap); the Sobolev spaces that work force the admissible neighbourhood radius to shrink with dimension.

Editorial extensions

If this is right

Centered ellipsoids form a normally attracting invariant manifold for the shape dynamics of iterated intersection bodies near the ball.
The linear constant C(n) tends to 1 as n o∞ and diverges as n o2+, giving a dynamical explanation of the planar identity IK=2K.
The same spectral analysis applies, with only multiplier changes, to the lower-order intersection body operators Ii.
No period-four shape orbit of I can bifurcate from the ball, because the second iterate is the identity on the center manifold to all orders.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A different function space that exploits the decay of Funk multipliers might restore a dimension-uniform neighbourhood, answering the open question left in Section 6.
The explicit normal form on ellipsoidal directions supplies the first-order terms needed for any future numerical search of higher-period orbits near the ball.
The pole of C(n) at n=2 suggests that quantitative stability statements for other section or projection operators may likewise detect exceptional low dimensions by spectral degeneration.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The new piece is the closed-form spectrum of the linearization of I^{2} at the ball: degree-2 harmonics sit at multiplier 1, everything higher contracts, and the gap is exactly (n-2)(n+4)/(n+1)^{2}. That gives the sharp linear constant C(n)=(n+1)^{2}/((n-2)(n+4)) and, after a standard center-manifold reduction in Hs, a local quantitative stability theorem: if a star body is Hs-close to the ball and I^{2}K is close to a multiple of K, then it is close to an ellipsoid at rate controlled by C(n). The same calculation shows why n=2 is exceptional—the gap vanishes as n o2^{+}—and that centered ellipsoids form a normally attracting manifold for the shape dynamics.

The linear theory is clean and self-contained: Funk multipliers, a short monotonicity argument for the sequence σd, and the gap falls out. The nonlinear step uses the usual Banach-space center-manifold theorem; the identification of the center manifold with ellipsoids leans on the global rigidity of Milman–Shabelman–Yehudayoff rather than circular reasoning. The paper recovers the earlier near-ball rigidity of Fish–Nazarov–Ryabogin–Zvavitch as the δ=0 case by a different route and is honest about what it does not do (global periods m≥3, uniformity in n).

The soft spot is real but proportional: the admissible radius rn shrinks with n because the Sobolev algebra constant and the binomial factor both grow. The author states this openly and does not claim a uniform-in-n result. For each fixed n≥3 the local statement holds. Citations look appropriate; no free parameters or invented objects.

This is for people working on intersection bodies, Busemann–Petty-type questions, or quantitative rigidity in convex geometry. It is a natural quantitative companion to the recent global theorem and deserves a serious referee. I would accept it for peer review and would cite the gap formula and the local stability constant if I were writing in the area.

Referee Report

0 major / 6 minor

Summary. The paper studies the local dynamics of the intersection body operator I near the Euclidean ball in R^n, n≥3. Building on the global rigidity theorem of Milman–Shabelman–Yehudayoff that I^{2}K=cK characterizes centered ellipsoids, it linearizes the shape map of I (and of I^{2}) on L^{2}(S^{n-1}) and computes the full spectrum via the classical Funk multipliers: the degree-two harmonics are neutral with multiplier 1 under I^{2}, while all higher even harmonics are contracted, with sharp spectral gap gap(n)=(n-2)(n+4)/(n+1)^{2}. This yields an explicit linear stability constant C(n)=(n+1)^{2}/((n-2)(n+4)). Passing to the Sobolev space H^s(S^{n-1}), s>(n-1)/2, a center-manifold reduction identifies the local center manifold with the family of centered ellipsoids and produces a quantitative local stability theorem: if ∥ρ_K-1∥_{H^s}≤r_n and the relative defect of I^{2}K is at most δ, then the H^s-distance of K to some centered ellipsoid is at most A_n δ with A_n≤2C(n). The gap vanishes as n o2^+, giving a dynamical explanation of the two-dimensional degeneracy. A reduced normal form on the ellipsoidal directions and the observation that ellipsoids form a normally attracting invariant manifold are also recorded.

Significance. The work supplies the first quantitative stability rates for the intersection-body characterization of ellipsoids, with an explicit, sharp linear constant that is dimension-uniform and improves as n o∞. The closed-form spectrum and the transparent dynamical origin of the n=2 degeneracy are clean contributions that recover the known exceptional status of the plane as a simple pole of C(n). The local theory is complementary to the global geometric argument of [8] and recovers the earlier perturbative rigidity of Fish–Nazarov–Ryabogin–Zvavitch by a different route. The limitations (n-dependent shrinkage of the admissible radius, locality of the method) are stated openly. The explicit spectral formulae and the center-manifold reduction are standard but carefully executed tools of the field; the paper does not claim global results for higher periods.

minor comments (6)

In the abstract and Theorem 1.2 the sphere is written Sph or S^{n-1} inconsistently; standardize to S^{n-1} throughout.
Section 2.1: the first few Funk multipliers are listed after (6); it would help the reader to flag that μ_4=3/(n^{2}-1) is the source of the gap, since this value is used repeatedly later.
Lemma 4.1: the bound K_n ≤ C_{n,s} binom(n-1,2)(3/2)^{n-3} is correct under the stated smallness, but a one-line remark that the same estimate holds with any fixed factor >1 in place of 3/2 (by shrinking the ball) would clarify that the constant is not sharp.
Section 5, equation (7): the quadratic coefficient β(n)=-2(n-2)/(n+4) is derived from κ(n)=4/(n+4) proved in the appendix; a forward reference to Lemma A.2 at the first appearance of κ(n) would improve readability.
Appendix A: the Wick-pairing counts for the isotropic moments (10)–(11) are standard but terse; a short citation to a reference that records the same Gaussian moments would be useful for non-specialists.
Typographical: the title page and running heads contain spaced letters (“QUANTIT A TIVE”, “ST ABILITY”); these appear to be PDF-generation artifacts and should be cleaned.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: spectrum from classical Funk multipliers, stability from spectral gap + standard center-manifold reduction, ellipsoids identified via independent global theorem [8].

full rationale

The derivation is self-contained and non-circular. Theorem 1.2 obtains the multipliers of L and L^{2} by multiplying the classical Gegenbauer/Funk multipliers (5)–(6) by (n−1) and squaring; the gap (4) and C(n) are then elementary algebra on those closed forms, with sharpness attained on H4. Theorem 1.3 is the resulting spectral estimate on the stable subspace. The nonlinear step (Theorem 1.4) uses a standard Banach-space center-manifold theorem in Hs (s>(n−1)/2), controls the remainder by the algebra property (Lemma 4.1), and identifies the center manifold with centered ellipsoids by invoking the independent global rigidity theorem of Milman–Shabelman–Yehudayoff [8] that every centered ellipsoid is a fixed point of the shape of I^{2} (Proposition 4.2). No parameter is fitted to data and then re-predicted; no uniqueness or ansatz is imported from the present author’s prior work; the only external load-bearing citation is [8], whose authors do not overlap with Spektor. The reduced normal form (7)–(9) is an independent cubic check, not an input to the stability claim. The acknowledged n-dependence of rn is a limitation of the method, not a circularity. Score 0 is therefore the correct finding.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is pure mathematics. It rests on classical facts about the Funk transform and spherical harmonics, the Banach-algebra property of Hs for s>(n-1)/2, and the center-manifold theorem in Banach spaces; all are standard and cited. The only external geometric input is the global fixed-point theorem of Milman–Shabelman–Yehudayoff used to identify the center manifold with the ellipsoid family. No free parameters or invented physical entities appear.

assumptions (4)

standard math The Funk (spherical Radon) transform is diagonalized by spherical harmonics with multipliers given by the ratio of Gegenbauer polynomials C_λ^d(0)/C_λ^d(1), λ=(n-2)/2 (standard, eq. (5)–(6)).
Used throughout Section 2 and the proof of Theorem 1.2; classical and independently verified.
standard math Hs(S^{n-1}) is a Banach algebra for s>(n-1)/2, with some finite constant Cn,s (Taylor, PDE III).
Invoked in Section 4 to control the power-map nonlinearity; forces the n-dependent radius.
standard math Center-manifold theorem for C^k maps in Banach spaces (Hirsch–Pugh–Shub / Vanderbauwhede–Iooss).
Used to reduce the nonlinear dynamics of I^{2} to the graph of a map h:Xc→Xs (Section 4.2).
domain assumption For n≥3, I^{2}K=cK if and only if K is a centered ellipsoid (Milman–Shabelman–Yehudayoff, Theorem 1.1).
Used in Proposition 4.2 to identify the local center manifold with the ellipsoid family; the linear spectrum itself does not need it.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantitative stability of the intersection body operator near the ball, and the dynamical origin of the two--dimensional degeneracy." pith.science (2026). https://pith.science/paper/IASYYPRB

@misc{pith2026260709412,
  author       = {Pith},
  title        = {Pith review of: Quantitative stability of the intersection body operator near the ball, and the dynamical origin of the two--dimensional degeneracy},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IASYYPRB}},
  note         = {Machine review of arXiv:2607.09412}
}

abstract

Let $\IB$ denote the intersection body operator on star bodies in $\R^n$. A recent theorem of Milman, Shabelman and Yehudayoff establishes that for $n\ge 3$ the equation $\IB^2 K = cK$ holds if and only if $K$ is a centered ellipsoid, thereby resolving the fixed--point problem for $\IB^2$ and, as a consequence, the long--standing conjecture $\IB K = cK \Leftrightarrow K$ is a ball. We complement this qualitative rigidity with a \emph{quantitative} analysis in a neighbourhood of the ball. Linearizing the associated shape dynamics on $L^2(\Sph)$, we compute the full spectrum of the operator $\IB^2$ at the ball in closed form for every dimension: the degree--two (ellipsoidal) harmonics are neutral with multiplier exactly $1$, while all higher harmonics are contracted, with a sharp spectral gap \[ \mathrm{gap}(n)\;=\;\frac{(n-2)(n+4)}{(n+1)^2}. \] This yields an explicit linear stability constant $C(n)=(n+1)^2/\big((n-2)(n+4)\big)$, and, via a center--manifold reduction, a local quantitative stability statement for $\IB^2$ near the ball valid in each fixed dimension $n\ge 3$. The gap degenerates precisely as $n\to 2^+$, giving a transparent \emph{dynamical} explanation of the well--known exceptional status of the plane, where $\IB K = 2K$ for every origin--symmetric star body. We also record the reduced normal form of $\IB$ on the ellipsoidal directions and observe that the centered ellipsoids constitute a normally attracting invariant manifold for the shape under iterated intersection bodies. The methods are perturbative and do not address the global periodic problem $\IB^m K = cK$ for $m\ge 3$, which we discuss.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

11 extracted references · 1 linked inside Pith

[8]

Milman, S

E. Milman, S. Shabelman, A. Yehudayoff,Fixed and periodic points of the intersection body operator, Invent. Math. (2025); arXiv:2408.08171

arXiv 2025
[1]

A. Fish, F. Nazarov, D. Ryabogin, A. Zvavitch,The behavior of iterations of the intersection body operator in a small neighborhood of the unit ball, Adv. Math.226(2011), 2967–2986

2011
[2]

R. J. Gardner,A positive answer to the Busemann–Petty problem in three dimensions, Ann. of Math. (2)140 (1994), 435–447

1994
[3]

R. J. Gardner, A. Koldobsky, T. Schlumprecht,An analytic solution to the Busemann–Petty problem on sections of convex bodies, Ann. of Math. (2)149(1999), 691–703

1999
[4]

M. W. Hirsch, C. C. Pugh, M. Shub,Invariant Manifolds, Lecture Notes in Math.583, Springer, 1977

1977
[5]

Koldobsky,Fourier Analysis in Convex Geometry, Math

A. Koldobsky,Fourier Analysis in Convex Geometry, Math. Surveys Monogr.116, Amer. Math. Soc., 2005

2005
[6]

Q. Lin, C. Xiong,Fixed and periodic points of the intersection body operators of lower orders, preprint, arXiv:2510.26381 (2025)

arXiv 2025
[7]

Lutwak,Intersection bodies and dual mixed volumes, Adv

E. Lutwak,Intersection bodies and dual mixed volumes, Adv. Math.71(1988), 232–261

1988

Show all 11 references

[9]

Rubin,Inversion formulas for the spherical Radon transform and the generalized cosine transform, Adv

B. Rubin,Inversion formulas for the spherical Radon transform and the generalized cosine transform, Adv. in Appl. Math.29(2002), 471–497

2002
[10]

M. E. Taylor,Partial Differential Equations III: Nonlinear Equations, 2nd ed., Appl. Math. Sci.117, Springer, 2011

2011
[11]

Vanderbauwhede, G

A. Vanderbauwhede, G. Iooss,Center manifold theory in infinite dimensions, Dynam. Report. Expositions Dynam. Systems (N.S.)1(1992), 125–163. S. Spektor, School of Data, Computing and Mathematics, Canisius University, 2001 Main Street, Buffalo, NY, 14208-1098 Email address:spek...

1992

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.

[1] [8]

Milman, S

E. Milman, S. Shabelman, A. Yehudayoff,Fixed and periodic points of the intersection body operator, Invent. Math. (2025); arXiv:2408.08171

arXiv 2025

[2] [1]

A. Fish, F. Nazarov, D. Ryabogin, A. Zvavitch,The behavior of iterations of the intersection body operator in a small neighborhood of the unit ball, Adv. Math.226(2011), 2967–2986

2011

[3] [2]

R. J. Gardner,A positive answer to the Busemann–Petty problem in three dimensions, Ann. of Math. (2)140 (1994), 435–447

1994

[4] [3]

R. J. Gardner, A. Koldobsky, T. Schlumprecht,An analytic solution to the Busemann–Petty problem on sections of convex bodies, Ann. of Math. (2)149(1999), 691–703

1999

[5] [4]

M. W. Hirsch, C. C. Pugh, M. Shub,Invariant Manifolds, Lecture Notes in Math.583, Springer, 1977

1977

[6] [5]

Koldobsky,Fourier Analysis in Convex Geometry, Math

A. Koldobsky,Fourier Analysis in Convex Geometry, Math. Surveys Monogr.116, Amer. Math. Soc., 2005

2005

[7] [6]

Q. Lin, C. Xiong,Fixed and periodic points of the intersection body operators of lower orders, preprint, arXiv:2510.26381 (2025)

arXiv 2025

[8] [7]

Lutwak,Intersection bodies and dual mixed volumes, Adv

E. Lutwak,Intersection bodies and dual mixed volumes, Adv. Math.71(1988), 232–261

1988