{"id":"18a752d7-8d41-4d14-b7d9-fa2ee5451eda","arxiv_id":"2607.09412","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Near the ball in dimension n≥3 the operator IB^{2} has neutral ellipsoidal modes and a sharp spectral gap (n-2)(n+4)/(n+1)^{2} that yields an explicit local stability rate for the characterization of ellipsoids.","lead":"The paper computes the full spectrum of the squared intersection-body operator at the Euclidean ball and proves a local quantitative stability theorem: near the ball, if IB^{2}K is close to a multiple of K then K is close to a centered ellipsoid at an explicit rate. It also shows the spectral gap vanishes exactly as dimension approaches 2, giving a dynamical reason for the known planar degeneracy.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the Sobolev-algebra growth as the method’s only soft spot and correctly notes that it is already disclosed and does not affect the fixed-n theorem. The linear theory is elementary Fourier analysis of the Funk transform; the passage to quantitative stability is a routine invariant-manifold argument once the spectral gap and the identification of the center manifold with ellipsoids are granted. Both ingredients are solid. No stronger load-bearing concern exists: the paper never claims uniformity in n, never claims global periodic points, and never relies on an unproved estimate. The recommended verdict therefore remains ACCEPT with high confidence.","tokens_in":13411,"tokens_out":468,"duration_ms":5601,"concrete_test":"Independently recompute the Funk multipliers μ_{2m} from the Gegenbauer formula (6) and verify that σ_4=9/(n+1)^{2} is indeed the largest multiplier for d≥4; then check that the ratio σ_{2m+2}/σ_{2m}=((2m+1)/(n+2m-1))^{2}<1 for all m≥1, n≥3. If either fails, the claimed gap and C(n) collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.4) rests on a standard center-manifold reduction for the shape map of I^{2} in Hs(S^{n-1}), s>(n-1)/2, using the explicit spectral gap of L^{2} at the ball. The linear spectrum (Theorem 1.2) is closed-form and sharp; the nonlinear remainder is controlled by the Banach-algebra property (Lemma 4.1); and the ellipsoids fill the center manifold by the global rigidity of [8] (Proposition 4.2). The only genuine limitation is the n-dependent shrinkage of rn, which the paper states openly and which does not undermine the fixed-n local statement. No hidden assumption, circularity, or gap appears in the argument for each fixed n≥3.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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\to2^+, 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.","tokens_in":13564,"tokens_out":1081,"duration_ms":10218,"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\to∞. 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.","major_comments":[],"minor_comments":[{"comment":"In the abstract and Theorem 1.2 the sphere is written Sph or S^{n-1} inconsistently; standardize to S^{n-1} throughout.","section":null},{"comment":"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.","section":null},{"comment":"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":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean, self-contained local analysis that sits comfortably in the convex-geometry literature. The dependence on the global theorem of [8] for the identification of the center manifold is properly acknowledged and does not create circularity. I see no novelty or citation issues. Fit for a solid journal in geometric analysis or convex geometry is good; the contribution is incremental but explicit and useful."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","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\to2^{+}—and that centered ellipsoids form a normally attracting manifold for the shape dynamics.\n\nThe 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).\n\nThe 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.\n\nThis 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.","headline":"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.","tokens_in":14189,"tokens_out":543,"would_cite":true,"duration_ms":13222,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A20","52A38","44A12","37D10"],"pacs":[],"model":"grok-4.5","headline":"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.","keywords":["intersection body","Funk transform","spherical harmonics","quantitative stability","center manifold","spectral gap","star bodies","Busemann-Petty"],"falsifier":"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.","tokens_in":14305,"feed_emoji":"📐","tokens_out":1034,"duration_ms":10546,"temperature":0.7,"pith_summary":"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.","feed_headline":"Spectral gap proves local stability of ellipsoids under I²","feed_subtitle":"Near the ball, I²K close to cK forces K near an ellipsoid, with rate that blows up only as n\to2","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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\to∞ and diverges as n\to2+, 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."],"fun_headline_variants":["Spectral gap of IB² yields local ellipsoid stability near the ball","IB² gap at ball explains dynamical origin of 2D degeneracy","Quantitative stability: I²K≈cK forces K near ellipsoid at rate C(n)","Ellipsoids form normally attracting manifold under iterated IB","Center-manifold reduction gives sharp local stability of IB² for n≥3"],"cache_read_input_tokens":640,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Spectral gap of IB² yields local ellipsoid stability near the ball","IB² gap at ball explains dynamical origin of 2D degeneracy","Quantitative stability: I²K≈cK forces K near ellipsoid at rate C(n)","Ellipsoids form normally attracting manifold under iterated IB","Center-manifold reduction gives sharp local stability of IB² for n≥3"]},"model":"grok-4.5","effort":"low","cost_usd":0.009954,"raw_usage":{"total_tokens":2401,"prompt_tokens":1017,"num_sources_used":0,"completion_tokens":97,"cost_in_usd_ticks":99540000,"prompt_tokens_details":{"text_tokens":1017,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1287,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":1017,"tokens_out":97,"duration_ms":12433,"temperature":1.0,"reasoning_tokens":1287,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T03:11:54.733346+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}