{"id":"3071500e-96dd-4e5b-bf85-531701b7e0f5","arxiv_id":"1908.03259","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"New universal sequences of subspaces are constructed for all the main symmetrizations, extending Klain's convergence theorem and proving convergence for compact sets as well.","lead":"This paper proves that for several symmetrization operations, certain infinite sequences of subspaces force any convex shape to converge to a ball. It extends known results to Schwarz, Minkowski, fiber, and Minkowski-Blaschke symmetrizations and gives the first explicit universal sequences in intermediate dimensions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.9 appears to apply Lemma 3.6 to lin{v_p} though only v1 is guaranteed outside H1; the hypothesis H∩L⊥={o} can fail, and the argument likely needs lin{w_p}.","rationale":"The reader's weakest assumption is the internal correctness of Lemma 3.6, especially the Jacobian rank argument. I checked cases (a), (b), and (c): the linear independence claims are valid, and the dimension count yields the needed rank lower bound. So I do not see a substantive flaw in the lemma itself. The concrete soft spot I found is in Theorem 3.9, where Lemma 3.6 is invoked iteratively with H=lin{v_p}. The proof only ensures v1∉H1; the later basis vectors may lie in H1, and since v_p is automatically orthogonal to F_{p-1}, the hypothesis H∩L⊥={o} of Lemma 3.6 can fail. This is not a manufactured edge case: condition (ii) permits H2⊥∩H1≠{0}. The same paragraph defines w_p precisely so that w_p is not orthogonal to F_{p-1}, which strongly suggests the authors intended H=lin{w_p}. If so, the proof is repaired without changing the statement or the central existence results; hence conditional acceptance is appropriate. I mark agreement as partial because the reader identified the right technical core (Lemma 3.6) but not the actual weakness in how it is applied to build the rotational-symmetry sets.","tokens_in":36702,"tokens_out":42847,"duration_ms":412011,"concrete_test":"In R^4 take H1⊥=span{e1,e2}, H2⊥=span{e3,e1+e4} (this satisfies Theorem 3.9(ii) with k=2). Let v1=(e1+e4)/√2, v2=e3, w2=v1+v2. Check that with L=H1⊥+lin{v1}, H=lin{v2} violates H∩L⊥={o} (v2∈H1∩F1⊥), whereas H=lin{w2} satisfies H∩L⊥={o} and the reflection/rotation invariance needed for Lemma 3.6. If the corrected step with H=lin{w_p} completes the induction to H1⊥+H2⊥, the concern reduces to a typographical slip; otherwise Theorem 3.9's sufficiency is unproved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The Jacobian rank computations in Lemma 3.6 (cases (a)-(c)) check out, and I do not find a flaw there. The load-bearing soft spot is in the proof of Theorem 3.9 (the rotational-symmetry equivalence). After choosing an orthogonal basis v1,...,v_l of H2⊥ with v1∉H1, the paper defines w_p=v1+...+v_p and F_p=lin{w_1,...,w_p}, then says: 'Using Lemma 3.6 iteratively with H=lin{v_p} and L=H1⊥+F_{p-1}, p=1,...,l'. But v_p is orthogonal to F_{p-1} by construction, so L⊥=H1∩F_{p-1}⊥; if v_p∈H1, then v_p∈L⊥ and Lemma 3.6's hypothesis H∩L⊥={o} fails. Nothing in condition (ii) prevents H2⊥∩H1≠{0}: e.g. n=4, H1⊥=span{e1,e2}, H2⊥=span{e3,e1+e4} satisfies (ii), yet an orthogonal basis of H2⊥ has a vector e3∈H1. Since Theorem 3.9 feeds into Corollary 3.10 and hence Theorem 6.9 (Schwarz-universal sequences), the written proof of that central claim is incomplete. The natural repair is to apply Lemma 3.6 with H=lin{w_p}: then w_p∉F_{p-1}⊥, so the hypothesis holds, and the span condition gives H1⊥+F_l=H1⊥+H2⊥ as required. This looks like a typo rather than a false theorem, but it must be verified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies convergence of successive symmetrals under sequences of subspaces. It extends Klain's finite-set convergence theorem from Steiner symmetrization to fiber, Minkowski, Schwarz, and Minkowski-Blaschke symmetrizations (Theorems 5.6, 5.7, 5.11); identifies finite reflection and rotational symmetry sets that force full rotational symmetry (Section 3); and combines these to construct Minkowski-universal sequences for all valid dimensions i (Theorem 6.1) and Schwarz- and Minkowski-Blaschke-universal sequences (Theorem 6.9). It also proves that Steiner, Schwarz, and Minkowski universality for convex bodies is equivalent to universality for compact sets (Theorems 7.3 and 7.4). The paper is carefully structured and includes examples showing that several hypotheses in the Klain-type theorems cannot be dropped.","tokens_in":37075,"tokens_out":13566,"duration_ms":133099,"significance":"If correct, this is a substantial contribution to the symmetrization literature. The universal sequences constructed here are, to my knowledge, the first explicit ones for general i in the range 1,...,n-2, and the extensions of Klain's theorem to fiber, Minkowski, Schwarz, and Minkowski-Blaschke symmetrizations are natural and useful. The symmetry-extension lemma (Lemma 3.6) is a technically demanding result, and its proof is detailed. The paper is also commendable for its explicit examples, such as Examples 5.8, 5.9, and 6.4, which demonstrate the necessity of hypotheses in the main convergence theorems. The compact-set results in Section 7 are valuable and answer natural questions left open by earlier work. I believe the main results are likely correct, but one proof in Section 3 needs repair before the paper is fully convincing.","major_comments":[{"comment":"The iterative application of Lemma 3.6 with H = lin{v_p} and L = H1^⊥ + F_{p-1} is not justified by the lemma's hypotheses. Since v_p is orthogonal to F_{p-1} by construction, we have L^⊥ = H1 ∩ F_{p-1}^⊥; if v_p ∈ H1, then H ∩ L^⊥ ≠ {o}, so Lemma 3.6 cannot be invoked. Nothing in condition (ii) rules this out: in R^4, take H1 = span{e3,e4} and H2 = span{e1−e4,e2}; then H1^⊥ = span{e1,e2}, H2^⊥ = span{e3,e1+e4}, condition (ii) holds, and an orthogonal basis of H2^⊥ can be chosen with v2 = e3 ∈ H1. The natural repair is to apply Lemma 3.6 with H = lin{w_p} instead: because v1 ∉ H1, we have w_p ∉ H1, hence H ∩ L^⊥ = {o}, and the required invariance R_{H^⊥}E = E follows from w_p ∈ H2^⊥. This repair should be verified explicitly in the manuscript. As written, the proof of Theorem 3.9, and therefore of Corollary 3.10 and Theorem 6.9, is incomplete.","section":"Section 3, proof of Theorem 3.9"},{"comment":"The proof asserts that choosing subspaces with dim(H1^⊥ + ... + Hk^⊥) = n suffices for Theorem 3.9(ii), but the no-orthogonal-partition condition is an additional requirement that is not implied by the dimension estimate alone. For example, two complementary orthogonal subspaces satisfy the dimension equality but violate the partition condition. The proof should state that the H_j are chosen generically, or explicitly, so that both parts of Theorem 3.9(ii) hold; a generic choice avoids finitely many proper algebraic conditions. As written, the proof of Corollary 3.10 is incomplete, and this corollary is load-bearing for Theorem 6.9.","section":"Corollary 3.10"}],"minor_comments":[{"comment":"The sentence 'for otherwise {H1} and {H2,...,Hk} would be a partition of {H1,...,Hk} rendering (ii) false' should refer to a partition of {H1^⊥,...,Hk^⊥}, not {H1,...,Hk}, to match the statement of condition (ii).","section":"Section 3, proof of Theorem 3.9"},{"comment":"Theorem 7.1 is presented as a proof sketch that delegates the main argument to [4]. The preliminary observations (49)-(51) are plausible and the reduction is natural, but if the journal requires self-contained proofs, this theorem should be expanded by following the argument of [4, Theorem 6.1] in detail.","section":"Theorem 7.1"},{"comment":"The notation H1 and H1^⊥ is used interchangeably in some prose passages in Section 3; using a consistent notation, for example H1^⊥ for the orthogonal complement throughout, would reduce the risk of confusion.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the quick take. This is a serious paper and the main theorems are new: explicit universal sequences for all i, extensions of Klain's theorem to fiber, Minkowski, Minkowski-Blaschke, and Schwarz symmetrizations, and the compact-set equivalence results. The writing is clear, proofs are detailed, and the authors include examples showing assumptions are necessary. I was convinced by the core arguments in Sections 5 and 6.\n\nThe one soft spot that matters is in the proof of Theorem 3.9. The iterative use of Lemma 3.6 with H = lin{v_p} and L = H1^⊥ + F_{p−1} is not justified as written. Because v_p is orthogonal to F_{p−1}, the lemma's hypothesis H ∩ L^⊥ = {o} can fail when v_p ∈ H1. That is not excluded by condition (ii); the n=4 example with H1^⊥ = span{e1,e2}, H2^⊥ = span{e3,e1+e4} satisfies (ii) and has exactly this problem. The natural repair is to use H = lin{w_p}; then w_p ∉ F_{p−1}^⊥, so the hypothesis holds. This looks like a typo rather than a false theorem, and I would expect the fix to go through, but it must be checked. Since Theorem 3.9 feeds Corollary 3.10 and hence Theorem 6.9, this is a main-line proof step, not a peripheral remark.\n\nTheorem 7.1 on Schwarz symmetrization of compact sets is only sketched, but the key lemmas (49)–(51) are stated and the route through [4] is credible. I would not hold that against the paper.\n\nOverall: no circularity, no fabricated results, and the citation pattern is appropriate. The central claims are substantial and likely correct. I would send this to referees, with the specific request to verify the repair to Theorem 3.9. Citation worthiness depends on that repair, but I expect it to hold.","headline":"Genuinely useful new universal sequences for symmetrizations, but one central proof (Theorem 3.9) has a fixable gap in its application of Lemma 3.6.","tokens_in":37586,"tokens_out":5228,"would_cite":true,"duration_ms":49994,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A20","52A39","28B20","52A38","52A40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for every subspace dimension i, there are explicit finite lists of i-dimensional subspaces such that repeated symmetrization of any compact convex set about those subspaces converges to a ball centered at the origin…","keywords":["Steiner symmetrization","Schwarz symmetrization","Minkowski symmetrization","Minkowski-Blaschke symmetrization","fiber symmetrization","universal sequence","convex body","rotational symmetry"],"falsifier":"For a concrete test, set n=4, i=k=2, choose L=span{e1,e2} and H=span{e1, cos alpha e2 + sin alpha e3} with alpha in (0,pi/2), and take x=(1,1,0,0) in the notation of the proof of Lemma 3.6 case (c). The matrix D is 2x1; computing its single column explicitly and checking that it is nonzero decides whether the rank estimate rank D >= i-l = 1 holds in this instance, and a configuration where it fails would break Theorem 3.7 and Corollary 3.8.","tokens_in":36514,"feed_emoji":"🔵","tokens_out":7862,"duration_ms":74404,"temperature":0.7,"pith_summary":"The paper establishes that for every subspace dimension i, there are finite lists of i-dimensional subspaces with a strong property: if a compact convex set is symmetrized successively about the subspaces in such a list, with each list member used infinitely often, the shapes converge to a ball centered at the origin. This gives the first explicit universal sequences for Schwarz, Minkowski, Minkowski-Blaschke, and fiber symmetrizations in intermediate dimensions, where previously only hyperplane symmetrization and isolated cases were understood. The authors reach this by combining two results: a convergence theorem extending Klain's theorem for Steiner symmetrization to the other symmetrizations, and a geometric result showing that reflection or rotational symmetry in the subspaces of a carefully chosen finite set forces full rotational symmetry. A reader should care because symmetrization is a standard tool in isoperimetric-type inequalities, and knowing exactly which short lists of directions force convergence to a ball makes the tool more explicit and broadly applicable.","feed_headline":"Finite lists of subspaces force bodies into balls","feed_subtitle":"Repeating Schwarz, Minkowski, or fiber symmetrization about these subspaces converges to a centered ball, for all dimensions i.","key_machinery":"The argument runs on two machines. The first is the symmetry extension lemma (Lemma 3.6): if a closed subset E of the unit sphere is invariant under reflection in a subspace H and has full spherical sections over translates of a subspace L, then it has full spherical sections over translates of H+L; the proof is a Jacobian rank calculation showing that a certain parametrization covers a neighborhood. Iterating this lemma gives finite reflection sets whose symmetries force E to be the whole sphere, hence force a convex body to be a ball. The second is a Klain-type convergence theorem: using a volume layering functional, the authors show that successive symmetrals along a sequence from a finite set F converge to a compact convex set L, and the symmetry extension results identify L as symmetric about every subspace in F that appears infinitely often. The two machines are connected in Section 6 to produce the universal sequences.","core_discovery":"The central discovery is twofold. First, for any 1 <= i <= n-1 there exists a finite set U_1,...,U_k of i-dimensional subspaces such that if a sequence (H_m) is chosen from this set and each U_j occurs infinitely often, then the successive Minkowski symmetrals of any compact convex set converge to an origin-centered ball (Theorem 6.1); the same holds for Schwarz and Minkowski-Blaschke symmetrals with analogous sets (Theorem 6.9). Second, Klain's theorem, which says that successive symmetrals with respect to a sequence drawn from a finite set converge to a limit symmetric about every subspace used infinitely often, is extended from Steiner symmetrization to fiber, Minkowski, Schwarz, and Minkowski-Blaschke symmetrization, with Schwarz also valid for compact sets. The limit body is a ball exactly when the finite set of subspaces forces full rotational symmetry.","pith_inferences":["One could use the finite reflection sets as a rounding algorithm: alternating symmetrization about a fixed list of i-dimensional subspaces is guaranteed to converge to a ball, so the method is a deterministic alternative to random directions; convergence rates are not addressed here, so that is a natural next question.","Theorem 3.9's characterization of when rotational symmetries force a body to be spherical has a mechanical reading: a rigid body with prescribed finitely many rotational symmetries must be a ball exactly under the stated spanning and non-orthogonal-decomposability condition; one could test this by classifying symmetry groups of non-spherical solids.","The compact-set equivalence suggests that convexity of the starting set is not the main mechanism driving convergence for these symmetrizations; a plausible testable extension is whether the same equivalence holds for other processes satisfying Lemma 7.2's hypotheses, a question the paper leaves open."],"forward_implications":["For every subspace dimension i, explicit finite sequences exist that are Minkowski-universal; previously, explicit universal sequences were essentially restricted to hyperplane symmetrization (i=n-1) or isolated examples.","The same finite-subspace sequences give weakly universal sequences for any i-symmetrization process that is monotone, invariant on H-symmetric sets, and invariant under translations orthogonal to H, via Proposition 6.3.","Klain's convergence theorem now applies to fiber, Minkowski, Schwarz, and Minkowski-Blaschke symmetrization, so the limiting body is guaranteed to respect every symmetry direction used infinitely often.","For Steiner, Schwarz, and Minkowski symmetrization, universality for compact sets is equivalent to universality for convex bodies, so the new sequences work even when the initial set is not convex.","Schwarz-universal sequences coincide with Minkowski-Blaschke-universal sequences, giving a characterization analogous to the known Steiner/Minkowski equivalence for hyperplanes."],"supporting_citations":[{"why":"Supplies the original Klain theorem for Steiner symmetrization and the layering-function technique that the paper extends.","marker":"[25]"},{"why":"Supplies the proof strategy and compact-set arguments adapted for Theorems 5.6 and 7.1.","marker":"[4]"},{"why":"Supplies the i-symmetrization framework, containment relations, and previous weak-universality results used in Section 6.","marker":"[5]"},{"why":"Provides the finite reflection-set solution for i=n-1 used in Corollary 3.8.","marker":"[7]"},{"why":"Supplies the definitions of universal sequences and the known equivalences for hyperplane symmetrization.","marker":"[9]"},{"why":"Supplies Kronecker's approximation theorem used in Lemma 3.4 and Theorem 3.2.","marker":"[2]"},{"why":"Provides an isolated earlier Schwarz-universal sequence that the new Theorem 6.9 generalizes.","marker":"[38]"}],"fun_headline_variants":["Finite subspace sets force symmetrization limits to balls","Repeated symmetrization over a finite subspace set always yields a ball","Klain's theorem now covers Schwarz, Minkowski, and fiber symmetrizations","Finite families of subspaces are universal for symmetrization to balls","Symmetrization sequences from a fixed finite set converge to the ball"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction of reflection-type universal sequences rests on the Jacobian rank estimate inside the symmetry extension lemma (Lemma 3.6): in cases (a), (b), and (c), the matrix D must have rank at least i-l, and if that estimate fails for some configuration, the finite reflection sets and hence the Minkowski-universal sequences in Theorem 6.1 do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Finite subspace sets force symmetrization limits to balls","Repeated symmetrization over a finite subspace set always yields a ball","Klain's theorem now covers Schwarz, Minkowski, and fiber symmetrizations","Finite families of subspaces are universal for symmetrization to balls","Symmetrization sequences from a fixed finite set converge to the ball"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001086,"raw_usage":{"total_tokens":4594,"prompt_tokens":1051,"completion_tokens":3543,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":667,"completion_tokens_details":{"reasoning_tokens":3447}},"tokens_in":667,"tokens_out":3543,"duration_ms":26512,"temperature":1.0,"reasoning_tokens":3447,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:18:47.328680+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete test, set n=4, i=k=2, choose L=span{e1,e2} and H=span{e1, cos alpha e2 + sin alpha e3} with alpha in (0,pi/2), and take x=(1,1,0,0) in the notation of the proof of Lemma 3.6 case (c). The matrix D is 2x1; computing its single column explicitly and checking that it is nonzero decides whether the rank estimate rank D >= i-l = 1 holds in this instance, and a configuration where it fails would break Theorem 3.7 and Corollary 3.8.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original Klain theorem for Steiner symmetrization and the layering-function technique that the paper extends."},{"cited_title":"Bianchi, A","cited_arxiv_id":null,"evidence_quote":"Supplies the proof strategy and compact-set arguments adapted for Theorems 5.6 and 7.1."},{"cited_title":"Bianchi, R","cited_arxiv_id":null,"evidence_quote":"Supplies the i-symmetrization framework, containment relations, and previous weak-universality results used in Section 6."},{"cited_title":"Burchard, G","cited_arxiv_id":null,"evidence_quote":"Provides the finite reflection-set solution for i=n-1 used in Corollary 3.8."},{"cited_title":"Coupier and Y","cited_arxiv_id":null,"evidence_quote":"Supplies the definitions of universal sequences and the known equivalences for hyperplane symmetrization."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Kronecker's approximation theorem used in Lemma 3.4 and Theorem 3.2."},{"cited_title":"Tonelli, Sulle propriet´ a di minimo della sfera, Rend","cited_arxiv_id":null,"evidence_quote":"Provides an isolated earlier Schwarz-universal sequence that the new Theorem 6.9 generalizes."}],"review_version":1}