{"id":"41467d0f-5e9d-4a51-9e5c-c02c9a272d12","arxiv_id":"2507.14112","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"There exists an isoperimetric 3-partition of R^8 with one bounded and two unbounded regions whose blow-down is a singular minimal cone and which is not a lens partition.","lead":"The paper proves that in eight-dimensional space there exists a three-part partition that is locally perimeter-minimizing but is not the standard lens shape, breaking a pattern that had been confirmed up to dimension seven. The existence result confirms a conjecture and connects the theory of isoperimetric partitions to the well-known Simons cone minimal cone.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 5.10 asserts the reflected varifold is stationary across ∂Π without proving the required free-boundary orthogonality; Theorem 4.1, the expansion (49), and the key lower bound ΔF≥ΔL all depend on it.","rationale":"The paper's overall architecture is plausible and the numerical defect comparison in Lemma 5.6 checks out: ΔL ≈ 7.29 versus ΔQ ≈ 7.10, with the barrel construction giving an admissible competitor after rescaling to unit volume. The concentration-compactness framework is standard and the closure theorem, while technical, is a reasonable extension of previous work. The decisive point is Proposition 5.10, which is the only step that produces the lower bound ΔF^{Π} ≥ ΔL for all possible half-space limits. Its proof hinges on the assertion that reflecting F2∩Π across ∂Π gives a stationary varifold in Rd\\BR. That assertion mixes two-sided local minimality with regularity on the boundary and silently assumes the free-boundary orthogonality condition. Without orthogonality the reflected interface has a crease and the first variation has a nonzero boundary term on ∂Π. The paper gives no argument and no citation establishing this condition from the stated definition of J-isoperimetric partition in a closed half-space. Because Theorem 4.1, the asymptotic expansion (49), and the annular convergence (76) all require this stationarity, and because (81) is the only route to contradicting ΔL ≤ ΔQ in Theorem 5.12, this is the most load-bearing concern. It is exactly the reader's weakest assumption, and I agree with that identification. A focused first-variation computation would settle whether the free-boundary condition is actually a consequence of the hypotheses; if it is, the proof can likely be completed, and if it is not, the main theorem is not established.","tokens_in":23180,"tokens_out":12505,"duration_ms":527042,"concrete_test":"Compute the first variation of v(∂E\\BR,1) at a regular point x ∈ ∂Π ∩ ∂*F2 with a smooth vector field Φ supported in a small ball around x. Decompose Φ into symmetric and antisymmetric parts across ∂Π and derive the boundary integrand; show it is proportional to ⟨ν_{F2}, ν_Π⟩·φ integrated against H^{d-2} on ∂Π. Then verify from the volume-constrained minimality of F in Π (allowing compact variations supported in Π that slide the contact line along ∂Π) that this term must vanish, i.e. that the free-boundary orthogonality condition holds. If this derivation can be completed, Proposition 5.10 is repairable; if it cannot, the stationarity claim and the application of Theorem 4.1 fail, and the main theorem lacks a proof of the central defect comparison.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Proposition 5.10 the proof defines E = (F2∩Π) ∪ σ(F2∩Π) and states that E is locally minimal in each half-space and regular on ∂Π, 'as a consequence' v(∂E\\BR,1) is stationary in Rd\\BR. This does not follow from the given hypotheses. Local minimality of F in Π controls variations with support in Π, and local minimality of the reflected copy controls variations in the complementary half-space; neither controls variations supported in a ball centered on ∂Π that cross the boundary. Stationarity of the reflected varifold across ∂Π is a separate first-variation statement equivalent to the interface meeting ∂Π orthogonally (the free-boundary condition). The paper never derives this condition from the J-isoperimetric property in Definition 2.2, and the cited regularity of ∂E on ∂Π does not by itself force it. Without orthogonality, ∂E has a crease along ∂Π and the first variation carries a measure concentrated on ∂Π, so v(∂E\\BR,1) is not stationary. Since Theorem 4.1 is then invoked with this stationarity as an assumption, the asymptotic expansion (49), the annular convergence (76), and the subsequent Steiner/capillarity comparison yielding ΔF^{Π} ≥ ΔL are all unsupported. Inequality (81) in Theorem 5.12 is the only route to the contradiction ΔL ≤ ΔQ, so this gap is load-bearing for the main result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves existence of an isoperimetric 3-partition of R^8 with one bounded region of volume 1 and two unbounded regions, which is not a lens partition and whose blow-down is a singular minimal cone. The strategy is to compare the \"defect\" of a lens partition (≈7.29) with that of a barrel partition built from the Simons cone (≈7.10), then take limits of isoperimetric partitions in large balls with Simons-cone boundary data. Concentration compactness produces limit partitions in R^8 or in half-spaces; if all such limits were lenses or lens-like half-space partitions, the total defect would be bounded below by that of a lens, contradicting the upper bound from the barrel partition. The proof relies on the authors' earlier framework for compactness and closure of isoperimetric partitions, and on several new results for half-space partitions.","tokens_in":23421,"tokens_out":8848,"duration_ms":113298,"significance":"If the main theorem is correct, it resolves a conjecture raised in the authors' earlier work and in [7], and provides the first non-standard isoperimetric 3-partition in Euclidean space, in analogy with the Simons-cone counterexamples for minimal sets. The explicit defect computations in Lemma 5.6 are a concrete strength: they are analytic, checkable, and give the numerical ordering that drives the argument. The paper also extends concentration-compactness and blow-down tools to partitions with half-space limits, which is of independent interest. However, the proof as written contains a load-bearing gap in the free-boundary stationarity assertion of Proposition 5.10.","major_comments":[{"comment":"The assertion that the reflected set E = (F2∩Π) ∪ σ(F2∩Π) has stationary boundary varifold v(∂E\\BR,1) in Rd\\BR is not justified. Local minimality of F in Π controls variations supported in Π, and local minimality of the reflected copy controls variations in the complementary half-space, but neither controls variations supported in a ball centered on ∂Π that cross the boundary. Stationarity across ∂Π is a separate first-variation statement equivalent to the free-boundary condition that the interface meets ∂Π orthogonally; the proof never derives this condition from the J-isoperimetric property in Definition 2.2, and the regularity of ∂E on ∂Π does not by itself force it. Consequently the hypotheses of Theorem 4.1 are not verified, so the asymptotic expansion (49), the convergence (76), and the bound ∆^Π_F ≥ ∆L in (77) are unsupported. Since (77) is used to establish (81) in Theorem 5.12, the only route to the contradiction ∆L ≤ ∆Q, this gap is load-bearing for the main result.","section":"Proposition 5.10, paragraph 2"},{"comment":"The proof applies the strong maximum principle of [21, Corollary 1] to ∂E∞, where E∞ is a locally minimal cone that may be singular at the origin (in R^8, Simons-type cones are singular). The quoted result is formulated for smooth area-minimizing hypersurfaces, and the manuscript does not justify its applicability at singular points of ∂E∞. This matters because Theorem 5.9 and, through it, the case analysis in Theorem 5.12 use Theorem 5.8 to identify blow-downs as half-planes. The authors should either state a maximum principle valid for minimal cones with singularities, or give a separate argument (for example, using tangent cones at regular points) that ∂E∞ must coincide with ∂Π.","section":"Theorem 5.8"}],"minor_comments":[{"comment":"The abstract contains a grammatical error: \"a isoperimetric\" should be \"an isoperimetric\"; the title also has a spacing artifact in \"P AR TITION\".","section":"Abstract and title"},{"comment":"In the definition of the Simons' cone partition, the set S3 is written as Rd \\ S2, but since the ambient space is R^8 the notation should be R^8 \\ S2 for consistency.","section":"Definition 5.4"},{"comment":"The displayed formula for ∆L in the proof contains the garbled expression \"4 8 s 4π3...\", which appears to be a typographical artifact of the radical notation; the formula should be typeset as a single clean radical expression.","section":"Lemma 5.6"},{"comment":"In the statement of the theorem, the notation \"E∞ = (∅, E1∞, E2∞)\" is inconsistent with the convention used elsewhere for partitions, where regions are indexed by subscripts (E1, E2, E3); this should be clarified or aligned with the earlier notation.","section":"Theorem 5.12"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious and well-motivated contribution, and the main idea is compelling. The free-boundary stationarity gap in Proposition 5.10 is substantive but appears fixable with an additional argument; I would not recommend rejection, but the current proof is not complete. The second concern about the maximum principle in Theorem 5.8 should also be addressed, even if only by citing a more general version or adding a short justification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nRead the thing. The headline result is what it says: a non-standard isoperimetric 3-partition in R^8, one bounded region, two unbounded, asymptotic to a singular cone. That resolves a conjecture that [7] and [17] had left open, and it's the first example for N=3. The construction is very much in the spirit of the Simons cone: compare the 'defects' of the lens vs. the barrel, then use concentration compactness on the approximating balls. The defect arithmetic in Lemma 5.6 checks out (7.29 vs 7.10), and the idea of forcing a non-lens limit by ruling out all-lens limits via a defect lower bound is genuinely new and quite elegant. The paper is honest about its limits—it doesn't prove the limit is the Simons cone, and it flags the independent Bronsard et al. result.\n\nThe soft spot is where the stress test points: Proposition 5.10. The proof reflects the half-space interface and asserts that the reflected varifold is stationary in R^d\\B_R. That doesn't follow from the two displayed local minimalities. You need the interface to meet ∂Π orthogonally, i.e., the free-boundary condition. The paper says ∂E is regular on ∂Π and then jumps to stationarity. Regularity alone doesn't imply the crease disappears. The isoperimetric property in the closed half-space should force the orthogonality by a standard first-variation argument, but it's not supplied. Since Theorem 4.1, the asymptotic expansion, and the bound Δ≥Δ_L all ride on this, it's a real gap in the written proof—not a cosmetic one.\n\nI don't think it's fatal. The missing argument is likely a page of standard variations and a citation to Allard or Hardt-Simon. But the paper as submitted is not complete. Lemma 5.7 is also hard to unwind; the ε bookkeeping looks plausible but I wouldn't want to certify it without doggedly tracing the estimates.\n\nWho is this for? Geometric measure theorists working on isoperimetric clusters, and anyone interested in the Bernstein/Simons analogy for partitions. It deserves the full referee treatment, but the referee should demand the Prop 5.10 fix before publication.\n\nRecommendation: send to peer review, conditionally accept if the free-boundary stationarity is proven.\n\nBest,\n[You]","headline":"A likely-correct resolution of a real open problem, with one load-bearing step that needs a missing free-boundary argument; the gap is probably fixable, so let it go to referees.","tokens_in":23998,"tokens_out":4461,"would_cite":true,"duration_ms":51389,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q20","49Q05","49Q10"],"pacs":[],"model":"deepseek-v4-flash","headline":"An isoperimetric 3-partition of $\\mathbb{R}^8$ exists that is not a lens: its blow-down is a singular minimal cone.","keywords":["isoperimetric partitions","lens partition","Simons cone","singular minimal cone","blow-down","concentration compactness","perimeter defect","half-space partitions"],"falsifier":"Recompute the closed-form defects in Lemma 5.6: the argument requires the lens defect $\\Delta_L \\approx 7.29$ to be strictly larger than the barrel defect $\\Delta_Q \\approx 7.10$, and if the exact values instead satisfy $\\Delta_L \\le \\Delta_Q$ the contradiction in Theorem 5.12 loses its force. A separate direct check would be to produce a half-space minimal interface meeting the boundary at a non-right angle, which would falsify the reflection step of Proposition 5.10.","tokens_in":22938,"feed_emoji":"📐","tokens_out":9032,"duration_ms":97015,"temperature":0.7,"pith_summary":"The paper proves that the standard “lens” does not describe all perimeter-minimizing three-way partitions of Euclidean space once the dimension reaches 8. It constructs an isoperimetric 3-partition of $\\mathbb{R}^8$ with one region of volume 1 and two regions of infinite volume, and shows this partition is asymptotic to a singular minimal cone rather than to a pair of half-spaces meeting in a hyperplane. This matters because for dimensions up to 7 all such triple partitions are known to be lenses; the result locates the first dimension where the lens model breaks, in parallel with the known appearance of singular minimal cones in dimension 8. The proof works by comparing two numbers: the “defect” needed to turn a hyperplane into a lens is strictly larger than the defect needed to turn the Simons’ cone into a “barrel” partition, and this gap forces at least one limit partition to be non-lens.","feed_headline":"In dimension 8, triple bubbles need not be lenses","feed_subtitle":"A 3-way perimeter-minimizing split with one bounded region is asymptotic to a singular cone, not a plane.","key_machinery":"The load-bearing device is the defect functional of Definition 5.1: for a partition $E$ with unique blow-down $E_\\infty$, the defect $\\Delta^{\\Pi}_{E}$ is the limiting excess perimeter per unit of $|E_1|^{(d-1)/d}$ inside the cone $\\Pi$. The proof’s engine is the strict numerical comparison in Lemma 5.6: the lens partition’s defect is $\\approx 7.29$ while the barrel partition—the Simons’ cone with a $B^4\\times B^4$ block inserted—has defect $\\approx 7.10$. A compactness and closure theorem (Theorem 3.6) transfers isoperimetric minimality to limits in half-spaces, a monotonicity formula gives blow-downs in cones (Corollary 4.4), and Proposition 5.10 asserts that the only possible half-space limits contribute at least the lens defect; the gap $\\Delta_Q < \\Delta_L$ then makes the contradiction go through.","core_discovery":"The central result is Theorem 5.12: there exists an isoperimetric 3-partition $E=(E_1,E_2,E_3)$ of $\\mathbb{R}^8$ with $m(E)=(1,+\\infty,+\\infty)$ which is not a lens partition. Its blow-down partition $E_\\infty=(\\emptyset,E_1^\\infty,E_2^\\infty)$ is a singular minimal cone. The construction takes, for large radii $R_n$, the isoperimetric partition in the ball $\\overline{B}_{R_n}$ that matches the Simons’ cone outside the ball and has $|E_1|=1$; by concentration compactness the rescaled partitions split into limits, each isoperimetric in a half-space or in $\\mathbb{R}^8$. If every limit were a lens, summing their defects would give a lower bound $\\Delta_L\\approx 7.29$, but the barrel partition is a competitor whose defect is $\\approx 7.10$, a contradiction. Hence one limit is not a lens; by known uniqueness results its blow-down must be a singular cone.","pith_inferences":["If the reflection step in Proposition 5.10 can be repaired or replaced, the same defect comparison should produce non-lens isoperimetric 3-partitions in every dimension $d\\geq 8$ where an analogous singular cone and barrel can be built.","A natural next step is to identify the non-lens limit partition explicitly; the authors’ numerics suggest it is the constant-mean-curvature deformation of the barrel shown in Figure 1, so proving that profile is isoperimetric would make the construction explicit rather than a limit argument.","The open question whether the blow-down is exactly the Simons’ cone could be settled by computing the density of the constructed blow-down and comparing it with the known density of the Simons’ cone.","One might expect that, for all sufficiently large radii, the finite-ball minimizers themselves are already non-lens; the paper only proves that at least one limit is non-lens, and a uniform version of the defect gap would be needed to promote the conclusion to the finite-radius minimizers."],"forward_implications":["For $N=3$, the lens is not the only isoperimetric partition in $\\mathbb{R}^8$: uniqueness of isoperimetric triple partitions fails from dimension 8 onward.","Because the blow-down is a singular minimal cone, the example ties the failure of lens uniqueness to the same dimension threshold where singular minimal cones such as the Simons’ cone first appear for locally minimal sets.","The construction shows that half-space isoperimetric partitions can be non-standard when $d\\geq 4$, a phenomenon isolated in Proposition 5.10 and the surrounding discussion.","The method reduces the existence question to comparing two explicit constants, the barrel and lens defects, so the same scheme could in principle be repeated with other candidate cones once the half-space defect bound is available."],"supporting_citations":[{"why":"Introduces the isoperimetric-partition definition used throughout and proves the lens uniquely minimizes relative perimeter in $\\mathbb{R}^2$, the baseline the paper overturns in $\\mathbb{R}^8$.","marker":"[1]"},{"why":"Supplies the uniqueness of isoperimetric 3-partitions for $d\\leq 7$, the blow-down existence result reused as Theorem 4.2, and the fact that a non-lens partition must have a singular blow-down.","marker":"[7]"},{"why":"Provides the prior theory of locally isoperimetric partitions, the standard-partition minimality results, and technical lemmas (e.g., their Theorem 2.8) that the present proofs adapt.","marker":"[17]"},{"why":"Gives the concentration-compactness theorem for clusters in homogeneous spaces that Section 3 extends to partitions.","marker":"[16]"},{"why":"Proves the minimality of the Simons’ cone, making the Simons’ cone partition $S$ an isoperimetric partition that serves as the boundary data for the construction.","marker":"[4]"},{"why":"Supplies an alternative short proof of the Simons’ cone minimality, cited by the paper as further support for the same fact.","marker":"[8]"},{"why":"Provides the asymptotic expansion of planelike stationary varifolds (Theorem 4.1) used to show half-space limits are asymptotically flat in Proposition 5.10.","marker":"[12]"},{"why":"Foundational varifold theory underlying the monotonicity and stationarity arguments in Theorem 4.1 and Proposition 5.10.","marker":"[2]"},{"why":"Boundary regularity for area-minimizing currents used in Theorem 5.9 to show the blow-down interface in a half-space is a half-hyperplane.","marker":"[10]"},{"why":"Strong maximum principle for area-minimizing hypersurfaces used in Theorem 5.8 to force a locally minimal set contained in a half-space to have planar boundary.","marker":"[21]"}],"fun_headline_variants":["Triple bubble in 8D escapes lens shape","Isoperimetric triple split admits singular cone","8D minimal triple partition need not be a lens","Nonstandard triple bubble exists in 8 dimensions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Proposition 5.10 assumes that a partition that is locally perimeter-minimal on each side of a boundary plane, with a regular interface, can be reflected across that plane to give a globally stationary interface; the reflection is valid only if the interface meets the plane orthogonally, and that orthogonality is not proved.","fun_headline_variants_meta":{"raw":{"variants":["Triple bubble in 8D escapes lens shape","Isoperimetric triple split admits singular cone","8D minimal triple partition need not be a lens","Nonstandard triple bubble exists in 8 dimensions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000172,"raw_usage":{"total_tokens":1193,"prompt_tokens":779,"completion_tokens":414,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":395,"completion_tokens_details":{"reasoning_tokens":363}},"tokens_in":395,"tokens_out":414,"duration_ms":5279,"temperature":1.0,"reasoning_tokens":363,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:02:27.278232+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the closed-form defects in Lemma 5.6: the argument requires the lens defect $\\Delta_L \\approx 7.29$ to be strictly larger than the barrel defect $\\Delta_Q \\approx 7.10$, and if the exact values instead satisfy $\\Delta_L \\le \\Delta_Q$ the contradiction in Theorem 5.12 loses its force. A separate direct check would be to produce a half-space minimal interface meeting the boundary at a non-right angle, which would falsify the reflection step of Proposition 5.10.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the isoperimetric-partition definition used throughout and proves the lens uniquely minimizes relative perimeter in $\\mathbb{R}^2$, the baseline the paper overturns in $\\mathbb{R}^8$."},{"cited_title":"An Infinite Double Bubble Theorem","cited_arxiv_id":"2401.08063","evidence_quote":"Supplies the uniqueness of isoperimetric 3-partitions for $d\\leq 7$, the blow-down existence result reused as Theorem 4.2, and the fact that a non-lens partition must have a singular blow-down."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the prior theory of locally isoperimetric partitions, the standard-partition minimality results, and technical lemmas (e.g., their Theorem 2.8) that the present proofs adapt."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the concentration-compactness theorem for clusters in homogeneous spaces that Section 3 extends to partitions."},{"cited_title":"Bombieri, E","cited_arxiv_id":null,"evidence_quote":"Proves the minimality of the Simons’ cone, making the Simons’ cone partition $S$ an isoperimetric partition that serves as the boundary data for the construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies an alternative short proof of the Simons’ cone minimality, cited by the paper as further support for the same fact."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the asymptotic expansion of planelike stationary varifolds (Theorem 4.1) used to show half-space limits are asymptotically flat in Proposition 5.10."},{"cited_title":"Allard, On the first variation of a varifold , Ann","cited_arxiv_id":null,"evidence_quote":"Foundational varifold theory underlying the monotonicity and stationarity arguments in Theorem 4.1 and Proposition 5.10."},{"cited_title":"3, 439–486","cited_arxiv_id":null,"evidence_quote":"Boundary regularity for area-minimizing currents used in Theorem 5.9 to show the blow-down interface in a half-space is a half-hyperplane."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Strong maximum principle for area-minimizing hypersurfaces used in Theorem 5.8 to force a locally minimal set contained in a half-space to have planar boundary."}],"review_version":1}