{"id":"7d0574fa-8142-43ba-9a2e-3010b0042ad8","arxiv_id":"1908.04865","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rigidity of spherical symmetrisation perimeter inequality holds iff the set of radii with cap angle strictly between 0 and π is one interval and the angle is locally W^{1,1} there.","lead":"Researchers prove exactly when the spherical symmetrisation perimeter inequality has only rotated copies of the symmetral as equality cases. The answer is a clean condition on the cap angle profile: a single interval of non-degenerate radii and local absolute continuity on it.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The rigidity theorem rests on the sketched circular-symmetrisation machinery; if Lemma 1.5 or the composition claim En=Fv fails, (ii)⇒(i) is unsupported.","rationale":"The reader's strongest claim, Theorem 1.2, is a complete characterization of rigidity. The proof of the implication (ii)⇒(i) is the more delicate direction and it relies on Lemma 1.3, which is proved via circular symmetrisation; the reader correctly identified the circular-symmetrisation results as only sketched. My stress-test confirms this is the most load-bearing concern: the paper explicitly says 'We will only sketch the proofs' and refers to adaptations of [12, Proposition 4.2] and to earlier sections. There is no machine-checked verification of these parts, and the parameter count is zero, so no independent check substitutes for a full proof. I did not find a concrete mathematical error in the main construction; the Cantor-part counterexample in Proposition 8.4 is intricate but its iterative use of Proposition 8.3 is plausible, and the inequality chain in the necessity direction appears coherent. The concern is therefore about completeness and unverified nontrivial dependencies, not about a demonstrated contradiction. The reader's CONDITIONAL verdict already reflects this: the paper is likely correct but should be accepted only once the circular-symmetrisation proofs are supplied. My recommendation is UNCHANGED: the reader's judgement stands. My concrete test asks for the specific missing arguments to be written out, because that is what would settle whether the concern lands. If the test fails, the appropriate verdict would move toward REJECT or UNVERDICTED; if it succeeds, the paper can move to ACCEPT.","tokens_in":44337,"tokens_out":13438,"duration_ms":131273,"concrete_test":"Write out a full proof of Lemma 1.5, especially the converse direction (1.13) plus equality P(E;Φ12(I×S1))=P(F𝓁;Φ12(I×S1)) implying (1.12), using the explicit perimeter formula in Corollary 6.10 and the equality case of Proposition 6.9; verify that the two singular terms |rD^s_r ξ𝓁| and |D^s_{x′}𝓁| are controlled on I. In parallel, verify by direct coordinate computation for n=3 that repeated circular symmetrisation of an arbitrary spherical cap centered at d∈S^2, d≠e1, yields exactly Fv. If either step cannot be completed, or a counterexample to Lemma 1.5 is found, then Theorem 1.2(ii)⇒(i) is not established; if both steps are completed, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The equivalence in Theorem 1.2 depends on a chain of results whose proofs are only sketched. Section 6 states 'We will only sketch the proofs' for Theorem 1.4 and Lemma 1.5. Theorem 1.4 is dismissed with 'can be proved by following the lines of the proof of Theorem 1.1'; Lemma 1.5 is dismissed with 'can be shown by adapting the arguments used in the proof of [12, Proposition 4.2]'. These are not routine adaptations: the circular problem has a two-dimensional parameter (r,x′), and Corollary 6.10 contains two singular measures, |rD^s_r ξ𝓁| and |D^s_{x′}𝓁|, which have no counterpart in the one-variable Steiner case [12, Prop 4.2]. Lemma 1.3, which is the bridge from equality in the spherical perimeter inequality to the W^{1,1} regularity used in the proof of (ii)⇒(i), is proved through Lemma 1.5 and Theorem 1.4. Additionally, Step 2b of the proof of Lemma 1.3 asserts that after applying circular symmetrisations with respect to (e1,e2),…,(e1,en), one has En=Fv because the slices are spherical caps; this geometric fact is not obvious when the caps are centered away from e1, and it is not proved. A hidden technical failure anywhere in this chain would leave the implication (ii)⇒(i) unestablished. This is not a demonstrated error in the mathematics; it is a genuine, load-bearing incompleteness in the written argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the perimeter inequality under spherical symmetrisation and gives a necessary and sufficient condition for rigidity, i.e. for the equality cases in (1.4) to consist only of rotated copies of the spherical symmetral F_v. The main result, Theorem 1.2, states that rigidity holds if and only if the set {0 < α_v^∧ ≤ α_v^∨ < π} is an interval I and α_v is locally W^{1,1} on the interior of I. The proof has two parts: the necessity direction (i)⇒(ii) is proved by constructing explicit extremals when the interval condition or W^{1,1} regularity fails, including a construction using jumps and a Cantorian part; the sufficiency direction (ii)⇒(i) is proved through Theorem 1.1, a new Lemma 1.3 on the vanishing of tangential normal components, and a regularity argument for the barycentre direction d_E(r). The paper also proves the perimeter inequality (1.4) in detail and develops tools for the circular symmetrisation introduced by Pólya.","tokens_in":44679,"tokens_out":4288,"duration_ms":43756,"significance":"If the result is correct, it settles a natural rigidity question for spherical symmetrisation that was previously open in this generality; the closest earlier result, [25, Theorem 6.2], only sketched the inequality and did not address rigidity. The paper contains a detailed proof of Theorem 1.1, a genuinely new deformation argument for the necessity direction, and an original reduction of the sufficiency direction to the circular symmetrisation. I also want to credit the authors for making the counterexamples for the non-interval, jump, and Cantor cases explicit. However, the sufficiency direction rests on Sections 6 material — Theorem 1.4 and Lemma 1.5 — whose proofs are only sketched, and on a geometric identification in the proof of Lemma 1.3 that is asserted without proof. These are load-bearing gaps rather than cosmetic omissions.","major_comments":[{"comment":"Theorem 1.4 is the circular analogue of Theorem 1.1, and its proof is dismissed with the sentence 'Using the results shown above, Theorem 1.4 can be proved by following the lines of the proof of Theorem 1.1.' This is not a routine adaptation: the circular symmetrisation depends on the two-dimensional parameter (r,x′) and involves the singular measures |r D_r^s ξ_ℓ| and |D_{x′}^s ℓ| in Corollary 6.10, which have no counterpart in the one-variable spherical proof of Theorem 1.1. Since Theorem 1.4 is used directly in the proof of Lemma 1.5, and Lemma 1.5 is used to prove Lemma 1.3, this gap affects the implication (ii)⇒(i) of Theorem 1.2.","section":"Section 6, Theorem 1.4"},{"comment":"The proof of Lemma 1.5 is given as 'adapting the arguments used in the proof of [12, Proposition 4.2]'. That proposition concerns codimension-one Steiner symmetrisation with a single spatial variable, whereas Lemma 1.5 concerns the full circular symmetrisation of a set E with distribution ℓ(r,x′) and with the normal decomposition into ν_{12‖} and ν_{12⊥}. The proof passes through Proposition 6.12 and Corollary 6.10, both of which are only stated. Because Lemma 1.5 is the essential bridge from equality in the spherical perimeter inequality to vanishing of the tangential-normal contribution in Lemma 1.3, this is a load-bearing incompleteness in the written proof.","section":"Section 6, Lemma 1.5"},{"comment":"The proof asserts that after applying circular symmetrisations with respect to (e1,e2), …, (e1,en), one obtains E_n = F_v because 'H1-a.e. spherical section of E is a spherical cap'. This geometric identification is not proved, and it is not obvious when the spherical caps are centred at directions d(r) different from e1; the sequential circular symmetrisations in coordinate planes may interact with the centre of the cap in a nontrivial way. This identification is used to justify the chain of equalities P(F_v; Φ(I×S^{n-1})) = P(E_{n-1}; Φ(I×S^{n-1})) = … = P(E; Φ(I×S^{n-1})), which is central to the proof of (ii)⇒(i).","section":"Lemma 1.3, Step 2b"}],"minor_comments":[{"comment":"The displayed formula for P(F_ℓ; Φ_{12}(B×S^1)) contains p_E(r,x′) on the right-hand side, but the corollary is about F_ℓ; this should presumably be p_{F_ℓ}(r,x′), as in the analogous spherical formula (5.9).","section":"Corollary 6.10"},{"comment":"The inequality 'P(F_v; Φ(Ω×S^{n-1})) ≤ 2P(E; P(F_v; Φ(Ω×S^{n-1})))' appears to be a typographical error; the right-hand side should be 2P(E; Φ(Ω×S^{n-1})).","section":"Proposition 4.3, Step 5"},{"comment":"The word 'Viceversa' should be 'Vice versa' in both statements.","section":"Lemmas 1.3 and 1.5"},{"comment":"The caption contains the misspelling 'rigitidy' and should read 'rigidity'.","section":"Figure 1.4"}],"recommendation":"major_revision","confidential_remarks":"The central idea of the paper appears sound and the necessity direction is developed in impressive detail. My concern is structural: the sufficiency direction depends on Section 6, where Theorem 1.4 and Lemma 1.5 are only sketched, and on the unproved identification E_n = F_v in Lemma 1.3. These are not cosmetic omissions; they are exactly the points where a hidden technical failure would invalidate the equivalence. If the authors can supply complete proofs of Theorem 1.4 and Lemma 1.5 and justify the Step 2b identification, I would be happy to support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Plainly: this is the first complete characterization of rigidity for spherical symmetrisation, and the main theorem is the right statement. Condition (ii) — one interval where the approximate liminf/limsup of α_v stay open, and α_v locally W^{1,1} there — is exactly what the examples suggest. The authors prove (i)=>(ii) by building counterexamples for each failure mode: disconnection, jumps, Cantor part. Those constructions are explicit and careful. Theorem 1.1, the perimeter inequality and slice equality conditions, is proved in real detail, and the local formula for P(F_v) is useful. Citation pattern looks fine; the self-references are contextual.\n\nThe soft spot is Section 6. The text says at the start that the proofs of Theorem 1.4 and Lemma 1.5 will only be sketched, and then the sketches consist of \"follow the lines\" and \"adapting [12, Prop 4.2]\". That is not a routine adaptation: circular symmetrisation has base domain (0,∞)×R^{n-2}, two derivative components, and Corollary 6.10 has two singular measures, |rD^s_r ξ_l| and |D^s_{x'} l|, which do not appear in the one-dimensional Steiner argument. Lemma 1.3 is then proved through this machinery, and Step 2b asserts En=Fv after successive circular symmetrisations because the slices are spherical caps. That geometric claim is not obvious when the caps are centered away from e1, and it is not proved. Since Lemma 1.3 is exactly the bridge that converts slice-cap equality into the regularity of α_v used in (ii)=>(i), the converse direction is currently supported by unstated detail.\n\nI want to be clear: I do not think the theorem is wrong. The strategy is coherent, the (i)=>(ii) half is solid, and the sketched results are plausible. But a referee cannot certify (ii)=>(i) from the written argument as it stands. This is a load-bearing incompleteness, not a cosmetic one.\n\nThe paper deserves a serious referee. If the authors expand Section 6 into full proofs and justify the En=Fv step, it is a strong paper. If they cannot, the equivalence is not established. I would ask for that revision before accepting the claim as proven. Cite for the statement? I would, but with care.","headline":"First real candidate for the spherical rigidity characterization, but the (ii)=>(i) direction currently rests on sketched circular-symmetrisation machinery that a referee cannot certify from the written proof.","tokens_in":45171,"tokens_out":2503,"would_cite":true,"duration_ms":25817,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q20","28A75","26B30"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that equality in the spherical-symmetrisation perimeter inequality forces a single global rotation exactly when the cap-angle function is locally absolutely continuous on one interval.","keywords":["spherical symmetrisation","perimeter inequality","rigidity of equality cases","sets of finite perimeter","circular symmetrisation","functions of bounded variation","cap-angle function","foliated Schwarz symmetry"],"falsifier":"Take $n=3$ and let $\\alpha_v$ be a scaled Cantor function on an interval, with $v$ determined by (1.2)-(1.3); form the set $E$ from equations (8.20)-(8.28) in which each slice is rotated by $\\beta(r)=\\lambda(\\alpha_v(r)-\\alpha_v(a))$. If a direct computation of $P(E)$ by approximating $\\alpha_v$ with step functions gives strict inequality $P(E)>P(F_v)$, the perimeter-preservation claim in Proposition 8.4 fails. Conversely, verifying $P(E)=P(F_v)$ for such an explicit Cantor $\\alpha_v$ — for instance by computing the limit of the piecewise-rotated approximations — tests the necessity direction of Theorem 1.2.","tokens_in":44122,"feed_emoji":"📐","tokens_out":9543,"duration_ms":92023,"temperature":0.7,"pith_summary":"The paper gives a complete answer to when the perimeter inequality under spherical symmetrisation is rigid: when are the only equality cases, up to sets of measure zero, rotated copies of the spherical symmetral? It proves these extremals are exactly the rotated copies if and only if the set of radii where the cap angle lies strictly between $0$ and $\\pi$ is a single interval, and on that interval the cap-angle function is locally absolutely continuous. This matters because spherical symmetrisation is a standard tool for showing that minimisers and PDE solutions have partial symmetry, and rigidity is what upgrades partial symmetry to a definite axis. The proof combines a detailed study of equality cases for sets of finite perimeter with a codimension-one circular symmetrisation, and it constructs explicit counterexamples whenever the interval or absolute-continuity condition fails.","feed_headline":"Spherical symmetrisation is rigid exactly when caps fill one interval","feed_subtitle":"Equality cases collapse to one rotated copy precisely when the cap-angle function is locally absolutely continuous on that interval.","key_machinery":"The objects carrying the argument are the cap-angle function $\\alpha_v$ and its approximate limits $\\alpha_v^\\wedge$ and $\\alpha_v^\\vee$; the measure $\\lambda_E$ that records the radial contribution of the boundary where the tangential normal vanishes; the decomposition of the reduced boundary normal into radial and tangential parts; and the circular symmetrisation, the codimension-one version of the spherical one obtained by slicing with planes and symmetrising circumference arcs. The proof of the sufficiency direction works through the average direction $d_E(r)$, the normalized barycentre of the spherical slice $E_r$, showing that under condition (ii) it lies in $W^{1,1}_{\\mathrm{loc}}$ and its derivative vanishes almost everywhere, so all slices share one common axis. The necessity direction builds counterexamples: rotating the set beyond a radius where $\\alpha_v$ reaches $0$ or $\\pi$, rotating across a jump of $\\alpha_v$, and for a nonzero Cantor part approximating the Cantor function by step functions and taking a limit of perimeters.","core_discovery":"On its own terms, the central result is Theorem 1.2. Let $v$ be a measurable area-distribution function satisfying the volume constraint, with finite-volume finite-perimeter associated symmetral $F_v$, and let $\\alpha_v$ be the function whose value at radius $r$ is the aperture of the spherical cap of area $v(r)$. Rigidity $(R)$ — every spherically $v$-distributed set $E$ with $P(E)=P(F_v)$ equals a rotated copy of $F_v$ up to negligible sets — holds if and only if the effective set $\\{0<\\alpha_v^\\wedge\\le \\alpha_v^\\vee<\\pi\\}$ is a possibly unbounded interval $I$ and $\\alpha_v$ belongs to $W^{1,1}_{\\mathrm{loc}}$ on the interior of $I$, where $\\alpha_v^\\wedge$ and $\\alpha_v^\\vee$ are the representative-independent approximate lower and upper limits. The equivalence is established by showing in one direction that the average direction of the spherical slices of an extremal is locally absolutely continuous and satisfies a first-order ODE that forces it constant, and in the other direction by constructing extremals that piece together rotated copies of $F_v$ when the interval condition fails, when $\\alpha_v$ jumps, or when its Cantor part is nonzero.","pith_inferences":["A natural testable extension is that the same dichotomy holds for symmetrisations with densities or anisotropic norms: equality cases are rigid exactly when the analogue of the cap-angle is locally absolutely continuous on a single interval, because the average-direction ODE only uses the local geometry of the spheres.","For PDE applications, failure of rigidity means spherical symmetrisation alone cannot force a global foliated-Schwarz axis; one would need a second argument to rule out the continuously varying axes that the Cantor-part counterexamples produce.","The construction for Cantor parts suggests that whenever the derivative measure of $\\alpha_v$ has a singular continuous part, the family of extremals has positive 'dimension', so quantitative stability estimates for the perimeter deficit cannot hold uniformly over all distributions.","In dimension $n=2$, spherical and circular symmetrisation coincide, so the theorem gives a complete rigidity criterion for the original two-dimensional setting introduced in 1950; checking the explicit Cantor example numerically would provide a direct verification of the construction."],"forward_implications":["Whenever condition (ii) holds, every extremal of the spherical-symmetrisation perimeter inequality is, up to Lebesgue-negligible sets, the image of the spherical symmetral under one fixed orthogonal transformation.","If the set of active radii $\\{0<\\alpha_v^\\wedge\\le\\alpha_v^\\vee<\\pi\\}$ is disconnected by a radius with $\\alpha_v=0$ or $\\alpha_v=\\pi$, rigidity fails and equality cases can join independently rotated copies of the symmetral on the two sides.","If $\\alpha_v$ has an approximate jump, rigidity fails: rotating all slices beyond the jump by any sufficiently small angle preserves the perimeter.","If $\\alpha_v$ has a nonzero Cantor part, rigidity fails: there are extremals whose slice direction rotates by a continuous function built from the Cantor part, so equality cases form a nontrivial family.","On an open interval $I$, the condition $\\alpha_v\\in W^{1,1}_{\\mathrm{loc}}(I)$ is equivalent to the tangential part of the boundary of $F_v$ being $\\mathcal{H}^{n-1}$-negligible there, linking rigidity to a geometric non-degeneracy of the symmetral's boundary."],"supporting_citations":[{"why":"Supplies the codimension-one rigidity method whose Proposition 4.2 is adapted to prove Lemma 1.5 for circular symmetrisation.","marker":"[12]"},{"why":"Establishes the higher-codimension Steiner symmetrisation perimeter inequality and equality analysis whose arguments are adapted in Sections 4 and 5.","marker":"[3]"},{"why":"Provides necessary and sufficient rigidity conditions for Steiner's perimeter inequality, the direct analogue that Theorem 1.2 transfers to the spherical setting.","marker":"[9]"},{"why":"Supplies the BV theory, slicing formulas, and decomposition into absolutely continuous, jump, and Cantor parts used throughout the proof.","marker":"[2]"},{"why":"Provides the finite-perimeter background, reduced boundary, coarea formula, and lower semicontinuity tools used in the equality-case analysis.","marker":"[22]"},{"why":"Gives a smooth-case rigidity result for symmetrisations in warped products, used as the smooth counterpart of the sufficiency direction.","marker":"[24]"},{"why":"States the spherical symmetrisation perimeter inequality with a sketched proof; this paper supplies the full details and the rigidity analysis.","marker":"[25]"},{"why":"Introduces the circular and spherical symmetrisation procedures that are the objects of the paper in dimensions two and three.","marker":"[27]"},{"why":"Supplies the isoperimetric inequality on the sphere that identifies equality in spherical slices.","marker":"[28]"}],"fun_headline_variants":["Rigidity in spherical symmetrisation: one interval caps, one unique rotated copy","Cap-angle smoothness on an interval decides perimeter-equality uniqueness","Rigidity in spherical symmetrisation iff cap-angle is locally AC","When do extremals collapse to one rotation? When caps fill one interval","Caps on one interval and smooth cap angles: rigidity condition"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The main equivalence rests on Lemma 1.3, whose proof depends on Theorem 1.4 and Lemma 1.5 about circular symmetrisation; the paper only sketches those proofs by adapting earlier results, so any hidden technical failure there would break the sufficiency direction.","fun_headline_variants_meta":{"raw":{"variants":["Rigidity in spherical symmetrisation: one interval caps, one unique rotated copy","Cap-angle smoothness on an interval decides perimeter-equality uniqueness","Rigidity in spherical symmetrisation iff cap-angle is locally AC","When do extremals collapse to one rotation? When caps fill one interval","Caps on one interval and smooth cap angles: rigidity condition"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001252,"raw_usage":{"total_tokens":5092,"prompt_tokens":867,"completion_tokens":4225,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":483,"completion_tokens_details":{"reasoning_tokens":4130}},"tokens_in":483,"tokens_out":4225,"duration_ms":33143,"temperature":1.0,"reasoning_tokens":4130,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:30:00.418886+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $n=3$ and let $\\alpha_v$ be a scaled Cantor function on an interval, with $v$ determined by (1.2)-(1.3); form the set $E$ from equations (8.20)-(8.28) in which each slice is rotated by $\\beta(r)=\\lambda(\\alpha_v(r)-\\alpha_v(a))$. If a direct computation of $P(E)$ by approximating $\\alpha_v$ with step functions gives strict inequality $P(E)>P(F_v)$, the perimeter-preservation claim in Proposition 8.4 fails. Conversely, verifying $P(E)=P(F_v)$ for such an explicit Cantor $\\alpha_v$ — for instance by computing the limit of the piecewise-rotated approximations — tests the necessity direction of Theorem 1.2.","supporting_citations":[{"cited_title":"Chleb´ık, A","cited_arxiv_id":null,"evidence_quote":"Supplies the codimension-one rigidity method whose Proposition 4.2 is adapted to prove Lemma 1.5 for circular symmetrisation."},{"cited_title":"Barchiesi, F","cited_arxiv_id":null,"evidence_quote":"Establishes the higher-codimension Steiner symmetrisation perimeter inequality and equality analysis whose arguments are adapted in Sections 4 and 5."},{"cited_title":"Cagnetti, M","cited_arxiv_id":null,"evidence_quote":"Provides necessary and sufficient rigidity conditions for Steiner's perimeter inequality, the direct analogue that Theorem 1.2 transfers to the spherical setting."},{"cited_title":"Ambrosio, N","cited_arxiv_id":null,"evidence_quote":"Supplies the BV theory, slicing formulas, and decomposition into absolutely continuous, jump, and Cantor parts used throughout the proof."},{"cited_title":"Maggi, Sets of finite perimeter and geometric variational problems, vol","cited_arxiv_id":null,"evidence_quote":"Provides the finite-perimeter background, reduced boundary, coarea formula, and lower semicontinuity tools used in the equality-case analysis."},{"cited_title":"Morgan, S","cited_arxiv_id":null,"evidence_quote":"Gives a smooth-case rigidity result for symmetrisations in warped products, used as the smooth counterpart of the sufficiency direction."},{"cited_title":"Morgan, A","cited_arxiv_id":null,"evidence_quote":"States the spherical symmetrisation perimeter inequality with a sketched proof; this paper supplies the full details and the rigidity analysis."},{"cited_title":"P´olya, Sur la sym´ etrisation circulaire","cited_arxiv_id":null,"evidence_quote":"Introduces the circular and spherical symmetrisation procedures that are the objects of the paper in dimensions two and three."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the isoperimetric inequality on the sphere that identifies equality in spherical slices."}],"review_version":1}