{"id":"67cf0c16-9fff-4f3f-b1e1-0450ab78d239","arxiv_id":"2504.19234","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The set of flat singular points of locally maximal density in an area-minimizing integral current has locally finite (m-2)-dimensional Hausdorff measure.","lead":"This mathematics paper proves that the flat singular points of highest density in area-minimizing surfaces have a controlled size: their (m-2)-dimensional measure is finite. It is a step toward the long-open question of bounding the full singular set of such surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.4 is deferred, not proved; the single-piece Minkowski-content argument is the load-bearing unverified step.","rationale":"The paper's strongest claim, Theorem 1.2, is obtained by splitting F_Q(T) into F_{Q,<=1+delta}(T), which is shown to be H^{m-2}-null in Theorem 1.5, and F_{Q,>=1+delta}(T), for which Theorem 1.4 asserts a finite (m-2)-dimensional Minkowski content bound. Theorem 1.5 and Proposition 3.1 are presented with substantial arguments and appear internally plausible. The remaining step, however, is not proved in the preprint: Section 5 gives only a setup and a list of ideas, and explicitly sends the reader to [11] and [26, Part 2] for the full proof. Since the whole point of Section 5 is to avoid the countable decomposition of [11], the single-piece treatment is a genuinely new ingredient rather than a routine citation. If the deferred argument fails or requires a countable decomposition with non-uniform constants, then Theorem 1.4 and hence Theorem 1.2 do not follow. This is a proof-completeness concern, not a claim that the result is false; the correct disposition is to keep the reader's conditional verdict pending a complete proof. I therefore set verdict_should_be to UNCHANGED and agree with the reader's identification of the weakest assumption.","tokens_in":18134,"tokens_out":4915,"duration_ms":48503,"concrete_test":"Write out the proof of Theorem 1.4 in the notation of Section 5, or pinpoint in [11] and [26, Part 2] the exact statements that imply the Minkowski content estimate (2) for S_K0 as a single set. Specifically, verify that [11, Proposition 13.2] and the iterative covering argument of [11, Appendix A] hold with constants independent of any upper bound on the singularity degree and without decomposing S_K0 into frequency bands; if either requires a fixed dyadic frequency band, attempt to sum the resulting Minkowski-content bounds over K and check whether the sum remains finite.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central finiteness claim, Theorem 1.2, depends on Theorem 1.4, and Theorem 1.4 is not proved in this preprint. Section 5 describes a stopping/restarting construction, lists four ingredients from [11] and [26, Part 2], and then says: 'we refer the reader to [11], [26, Part 2] for the full proof.' The claimed novelty is precisely that the countable frequency decomposition of [11] is replaced by a single set S_K0 (Section 5, third paragraph). This replacement is essential: if one only has the [11] estimates on each frequency band S_K, the union over K need not have finite (m-2)-dimensional Minkowski content, because the constants are not necessarily uniform and the pieces are not closed. The manuscript asserts that the single-piece adaptation works, but does not exhibit the proof. In particular, the beta-2 coefficient estimates and the iterative covering argument (steps (1)-(4)) depend on the uniform tilt-excess decay of Proposition 3.1; whether [11, Proposition 13.2] and [11, Appendix A] carry over to the whole set S_K0 is exactly the unverified step. This is not a disagreement with prior consensus; it is a verifiability gap in the paper's central argument. The paper itself flags the limitation by deferring the proof and by acknowledging obstructions in Remark 1.6, so the reader's conditional verdict is appropriate.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the singular set of area-minimizing integral currents of dimension m and general codimension in a smooth Riemannian manifold. Its main theorem, Theorem 1.2, asserts that the set F_Q(T) of flat singular points of locally highest density Q has locally finite (m-2)-dimensional Hausdorff measure. The proof splits F_Q(T) into two pieces: F_{Q,<=1+delta}(T), for which Theorem 1.5 claims H^{m-2}-nullity, and F_{Q,>=1+delta}(T), for which Theorem 1.4 claims finite (m-2)-dimensional Minkowski content. The main new ingredients are a uniform tilt-excess decay (Proposition 3.1), a quantitative version of a dichotomy lemma from the authors' prior work (Lemma 4.2), and a single-piece adaptation of the center-manifold construction of [11] and [26] to avoid the countable frequency decomposition that prevented Minkowski content bounds. The paper is largely a research announcement: several key steps are summarized with explicit references to [9], [10], [11], [26], and [31] for the full arguments.","tokens_in":18398,"tokens_out":4845,"duration_ms":50454,"significance":"If Theorem 1.2 is fully established, it is a substantial advance: it upgrades the known (m-2)-rectifiability of flat singularities of top density to a quantitative Hausdorff measure bound, and the uniform-in-center tilt excess decay of Proposition 3.1 is a genuine strengthening of [10, Proposition 7.2]. The paper is transparent about its main obstruction and about what is deferred, which is a strength. The central claim is not circular: the authors do not assume the conclusion, and the theorems are not equivalent to any single cited result. However, the proof of Theorem 1.4, which is load-bearing for Theorem 1.2, is not contained in the manuscript: Section 5 describes a construction and then refers to [11] and [26, Part 2] for the full proof. This is a verifiability gap rather than an evident contradiction, but it prevents the current version from being accepted as a complete proof.","major_comments":[{"comment":"The proof of the Minkowski content bound (2) is not present in the manuscript. After defining the single piece S = S_{K0} and stating the setup with adapted center manifolds, the section lists four steps (1)-(4) and then says 'we refer the reader to [11], [26, Part 2] for the full proof.' The crucial new point is precisely that the countable frequency decomposition of [11] is replaced by the entire set S as a single piece. The manuscript does not prove that the beta-2 coefficient estimates of [11, Proposition 13.2] and the iterative covering argument of [11, Appendix A] hold for this single, not-necessarily-closed set with constants uniform over all frequency bands. Since Theorem 1.4 is one of the two pillars of Theorem 1.2, this is a load-bearing gap. The authors should either supply the complete adaptation, or state precisely which estimates from [11] and [26, Part 2] are being invoked and why they pass through unchanged in the single-piece setting.","section":"Section 5, Theorem 1.4 and Eq. (2)"},{"comment":"Proposition 3.3 is the compactness result on which Proposition 3.1 depends, and its proof is asserted in one sentence: it is said to 'follow verbatim' from [10, Proposition 4.1] with [10, Lemma 4.5] unchanged in the setting of varying blowup centers. The uniformity of the radius r_0(I_0,m,n,Q) in Proposition 3.1 is a key novelty of the paper and is used essentially in Section 5. The manuscript does not explain how the varying-center compactness argument, the condition (9), and the conclusion v = lambda u are obtained without changes. At minimum, the exact modifications to [10, Lemma 4.5] should be described so that the uniformity claim can be checked.","section":"Section 3.1, Proposition 3.3"},{"comment":"The transition from Lemma 4.2 to the H^{m-2}-nullity of F_{Q,<=1+delta}(T) is announced as an immediate corollary, but the covering argument is not written out. Lemma 4.2 provides a scale-dependent dichotomy, with alternative (b) involving an (m-3)-dimensional affine subspace, and the manuscript does not show how the p-dependent scale rho(p,epsilon) and the quantitative constants combine with Proposition 3.1 to yield a global null-set estimate for every delta < 1/Q. Since Theorem 1.5 is the second pillar of Theorem 1.2, the details should be included or the precise statement in [9] or [31] that supplies the covering should be identified, together with the modification needed for the range of singularity degrees considered here.","section":"Section 4, Theorem 1.5"}],"minor_comments":[{"comment":"The line 'n ≥ n ≥ 2' contains a typo; it should presumably be 'n ≥ 2'. The dimensional notation around R^{m+n} = R^{m+n+l} is also confusing and should be clarified.","section":"Assumption 1.0"},{"comment":"The statement 'there exists r_1 = r_1(m,n,Q,delta) such that and C(Q,m,n,delta)>0 such that' is grammatically malformed; it should read 'there exist r_1 > 0 and C > 0 such that'.","section":"Theorem 1.4"},{"comment":"In the proof of Theorem 1.2, the reference to 'Proposition 1.5' should be to Theorem 1.5.","section":"Proof of Theorem 1.2"},{"comment":"The constants in Theorem 4.1 are written as C(Q,m,n,n), which appears to be a typo for C(Q,m,n) or a similar expression. Also, in the bibliography, reference [25] contains the typo 'extimates' for 'estimates'.","section":"Theorem 4.1 and references"},{"comment":"The bold notation 'mmm_{x,k}' in Eq. (21) is nonstandard and is confusing; it should be replaced by a clearly defined symbol such as m_{x,k} or M_{x,k}.","section":"Notation in Section 5"}],"recommendation":"major_revision","confidential_remarks":"The main issue is verifiability: Theorem 1.4, the load-bearing Minkowski content bound, is deferred to the authors' own preprints [11] and [26, Part 2]. I could not verify the central claim from this manuscript alone. The paper is not obviously wrong, but it is closer to a research announcement than to a complete proof. I would recommend that the editors ask for a complete version of Section 5, or for a precise statement of the invoked estimates, before publication. A referee with detailed knowledge of [11] and [26] would be particularly helpful."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: if Theorem 1.2 is right, it is a real step forward—H^{m−2} finiteness for top-density flat singularities—but the posted paper does not prove the main quantitative half. Section 5, which carries Theorem 1.4, is an extended outline that ends with \"we refer the reader to [11], [26, Part 2] for the full proof.\" The novelty of that section is precisely the single-piece adaptation, so the deferral hits the central theorem. That is not a desk-reject situation; it is a referee-and-revise situation.\n\nWhat is genuinely new and good. Proposition 3.1, the uniform tilt-excess decay with r0 depending only on I0, m, n, Q, is a real improvement over [10, Prop 7.2] and is the technical engine of the paper. The extension of H^{m−2}-nullity from frequency-one points to F_{Q,≤1+δ}, δ<1/Q, via Lemma 4.2, is also a genuine strengthening, and the byproduct that H^{m−2}-a.e. flat Q-point has singularity degree at least 1+1/Q is worth recording. The paper is honest about its limits: Remark 1.6 states the obstructions to full singular-set bounds, and the introduction clearly says what is and is not new. The self-reliance on earlier papers is heavy, but the central claim is not in those papers and the build-up is explicit; I do not see a circularity problem.\n\nSoft spots, in proportion. (1) Section 5 is not a proof of Theorem 1.4. Steps (1)–(4) list ingredients, but the load-bearing claim—that uniform decay lets the whole set S_{K0} be treated as one piece without the countable decomposition of [11], and that the β2 and covering estimates carry over—is asserted rather than demonstrated. This is exactly where Minkowski content concentration between pieces could occur. (2) Lemma 4.2 is a compactness-contradiction sketch; it is plausible but needs a careful check around the classification step. (3) Proposition 3.3 is declared to follow verbatim from [10, Prop 4.1]; acceptable if true, but a referee should verify the varying-centers point.\n\nThese are completeness gaps, not signs of a wrong argument. The main theorem may well be correct. But as posted, a referee cannot certify Theorem 1.2 from the manuscript alone. This is a specialist paper for people in geometric measure theory, and they are the right audience to judge whether the deferred sections are routine. I would send it to peer review, with acceptance conditional on the Section 5 argument being supplied or independently verified. Until then I would not cite the main theorem, though I would want to track the eventual version.","headline":"The paper announces a major measure-bound result but defers the central Minkowski-content proof; referee it seriously and make acceptance contingent on closing that gap.","tokens_in":18979,"tokens_out":4036,"would_cite":false,"duration_ms":40563,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q15","49Q20","28A78"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that flat singular points of locally highest density of area-minimizing integral currents have locally finite (m−2)-dimensional Hausdorff measure.","keywords":["integral currents","area-minimizing currents","flat singularities","singularity degree","Hausdorff measure","Minkowski content","frequency function","center manifold"],"falsifier":"One could look for a sequence of scales $r_j\\to 0$ and centers $x_j\\in F_{Q,\\ge 1+\\delta}(T)$ for which the single-piece covering estimate (2) fails, e.g. $|B_{r_j}(F_{Q,\\ge 1+\\delta}(T))| \\ge c r_j^{n+2-\\varepsilon}$ for some $\\varepsilon>0$ while each point still satisfies the uniform tilt-excess decay of Proposition 3.1; such a current would violate the finite Minkowski content conclusion of Theorem 1.4.","tokens_in":17917,"feed_emoji":"📐","tokens_out":12236,"duration_ms":106838,"temperature":0.7,"pith_summary":"This paper proves that, for an area-minimizing integral current of dimension $m$ in a smooth Riemannian manifold, the set of flat singular points of a fixed locally maximal density $Q$ has locally finite $(m-2)$-dimensional Hausdorff measure, i.e. $H^{m-2}(F_Q(T)) < \\infty$. The proof splits $F_Q(T)$ into two parts using the singularity degree $I(T,p)$. Points with singularity degree at most $1+\\delta$ form an $H^{m-2}$-negligible set, while points with singularity degree at least $1+\\delta$ have finite $(m-2)$-dimensional Minkowski content. Together these two estimates give the finite-measure conclusion and provide a quantitative size bound for the top-density flat part of the singular set, complementing the known rectifiability of the singular set.","feed_headline":"Flat singularities get finite (m−2)-dimensional measure","feed_subtitle":"Proof splits the top-density flat singularities into a negligible low-degree set and a finite-content high-degree set.","key_machinery":"The central object is the singularity degree $I(T,p)$, defined as the infimum of the frequency values of fine blow-up limits at $p$; it measures how homogeneous the first nontrivial blow-up term is. The proof is carried by three mechanisms. Proposition 3.1 is a uniform tilt-excess decay: at points with $I(T,p) \\ge I_0 > 1$, the tilt excess $E(T,B_r(p))$ decays like $(r/r_0)^\\alpha$, with the threshold $r_0$ depending only on $I_0$, $m$, $n$, $Q$ and not on $T$ or $p$. Lemma 4.2 is a quantitative dichotomy: at low-degree points the current is either close to a multi-plane cone with a common $(m-2)$-dimensional spine, or all density-$Q$ points are trapped near an $(m-3)$-dimensional subspace; this feeds the conical excess decay theorem used to prove $H^{m-2}$-negligibility. For high-degree points, a $(1+\\delta)$-stopping and restarting procedure constructs center manifolds and intervals of flattening over the whole set $F_{Q,\\ge 1+\\delta}(T)$ at once, avoiding the countable decomposition of earlier work, and yields the $\\beta_2$-coefficient and iterative covering estimates behind the Minkowski content bound.","core_discovery":"Under Assumption 1.1, Theorem 1.2 asserts $H^{m-2}(F_Q(T)) < \\infty$ for the flat singular points of density $Q$. The argument establishes two stronger statements: Theorem 1.5 shows $H^{m-2}(F_{Q,\\le 1+\\delta}(T)) = 0$ for every $\\delta \\in (0,1/Q)$, and Theorem 1.4 shows that $F_{Q,\\ge 1+\\delta}(T)$ has finite $(m-2)$-dimensional upper Minkowski content, meaning $|B_r(F_{Q,\\ge 1+\\delta}(T))| \\le C r^{n+2}$ for all small $r$ with a constant independent of the single point. The low-degree part is handled by a quantitative version of the frequency-one analysis, and the high-degree part is handled by applying the covering construction to the entire set at once rather than to countably many pieces.","pith_inferences":["The local statement should globalize to compact ambient manifolds by a finite covering argument, giving a global finite $(m-2)$-Hausdorff bound for top-density flat singularities without new analytic input.","A natural next target is the remaining set $F_{Q,\\le 1+\\delta}(T)$: a Minkowski-content bound there would upgrade Theorem 1.2 to a full Minkowski-content statement for all density-$Q$ flat singularities, and the paper's own discussion points to the 'holes' condition in the covering argument as the obstruction.","The uniformity in Proposition 3.1 suggests the constant in (1) depends only on $Q$, $m$, $n$ and the ambient geometry, so one could attempt to extract explicit rates from the deferred proofs and test them on model examples such as unions of complex planes in $\\mathbb{C}^n$."],"forward_implications":["If the theorem is right, every current satisfying Assumption 1.1 has a top-density flat singular set with finite $(m-2)$-dimensional Hausdorff measure, not merely a rectifiable one of possibly infinite measure.","The low-degree set $F_{Q,\\le 1+\\delta}(T)$ is $H^{m-2}$-negligible, so the entire $(m-2)$-measure of $F_Q(T)$ is carried by points with singularity degree at least $1+\\delta$.","The high-degree set has finite $(m-2)$-dimensional Minkowski content, which implies finite upper Minkowski dimension at most $m-2$ and is a stronger quantitative control than Hausdorff measure alone.","At $H^{m-2}$-almost every flat singular point of density $Q$, the singularity degree is at least $1+1/Q$.","The same two-part argument adapts to integral currents semicalibrated by a smooth differential form, upgrading the known rectifiability result to local Hausdorff measure bounds for density-$Q$ flat singularities."],"supporting_citations":[{"why":"Supplies the singularity degree and tilt-excess decay framework that Proposition 3.1 sharpens into a uniform-in-center statement.","marker":"[10]"},{"why":"Supplies the intervals of flattening, spine-splitting, and iterative covering estimates that Section 5 adapts to the single-piece construction.","marker":"[11]"},{"why":"Provides the conical excess decay theorem and the frequency-one dichotomy that Lemma 4.2 makes quantitative.","marker":"[9]"},{"why":"Provides the center manifold construction, normal approximations, and reverse Sobolev inequality used throughout the proof.","marker":"[16]"},{"why":"Introduces the single-piece construction that Section 5 uses to avoid a countable decomposition of the high-degree set.","marker":"[26]"},{"why":"Provides the Minkowski content covering method for high-degree flat singularities on which Theorem 1.4 relies.","marker":"[27]"},{"why":"Provides the classification of homogeneous multiple-valued energy minimizers in two dimensions that closes the contradiction in Lemma 4.2.","marker":"[12]"},{"why":"Provides the Lipschitz approximation theorem used for diagonal coarse blowups and excess comparisons.","marker":"[13]"},{"why":"Provides the covering argument adapted to prove $H^{m-2}$-negligibility of the low-degree set.","marker":"[31]"},{"why":"Fixes the center manifold parameters and height bounds used to define the intervals of flattening.","marker":"[15]"}],"fun_headline_variants":["Flat singularities of top density: finite (m−2)-measure","Top-density flat singularities: null set and finite Minkowski content","Flat singularities: null set plus finite (m−2)-measure set","Highest-density flat singularities: split into null and finite (m−2)-measure","Area-minimizing currents: flat singularities have finite (m−2)-measure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise of the Minkowski-content half is that the center-manifold and covering construction, applied to the whole set $F_{Q,\\ge 1+\\delta}(T)$ as a single piece, still yields the $\\beta_2$-coefficient estimates and iterative covering bounds that the original construction yields piecewise; the paper sets this up in Section 5 and defers the full proof to [11] and [26, Part 2].","fun_headline_variants_meta":{"raw":{"variants":["Flat singularities of top density: finite (m−2)-measure","Top-density flat singularities: null set and finite Minkowski content","Flat singularities: null set plus finite (m−2)-measure set","Highest-density flat singularities: split into null and finite (m−2)-measure","Area-minimizing currents: flat singularities have finite (m−2)-measure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002006,"raw_usage":{"total_tokens":7771,"prompt_tokens":839,"completion_tokens":6932,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":6829}},"tokens_in":455,"tokens_out":6932,"duration_ms":45636,"temperature":1.0,"reasoning_tokens":6829,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:57:36.092456+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One could look for a sequence of scales $r_j\\to 0$ and centers $x_j\\in F_{Q,\\ge 1+\\delta}(T)$ for which the single-piece covering estimate (2) fails, e.g. $|B_{r_j}(F_{Q,\\ge 1+\\delta}(T))| \\ge c r_j^{n+2-\\varepsilon}$ for some $\\varepsilon>0$ while each point still satisfies the uniform tilt-excess decay of Proposition 3.1; such a current would violate the finite Minkowski content conclusion of Theorem 1.4.","supporting_citations":[{"cited_title":"Ars Inveniendi Analytica","cited_arxiv_id":null,"evidence_quote":"Supplies the singularity degree and tilt-excess decay framework that Proposition 3.1 sharpens into a uniform-in-center statement."},{"cited_title":"Annals of Mathematics","cited_arxiv_id":null,"evidence_quote":"Provides the center manifold construction, normal approximations, and reverse Sobolev inequality used throughout the proof."},{"cited_title":"Journal of the European Mathematical Society","cited_arxiv_id":null,"evidence_quote":"Provides the Minkowski content covering method for high-degree flat singularities on which Theorem 1.4 relies."},{"cited_title":"Memoirs of the American Mathematical Society","cited_arxiv_id":null,"evidence_quote":"Provides the classification of homogeneous multiple-valued energy minimizers in two dimensions that closes the contradiction in Lemma 4.2."},{"cited_title":"Geometric and Functional Analysis","cited_arxiv_id":null,"evidence_quote":"Provides the Lipschitz approximation theorem used for diagonal coarse blowups and excess comparisons."},{"cited_title":"Journal of Differential Geometry","cited_arxiv_id":null,"evidence_quote":"Provides the covering argument adapted to prove $H^{m-2}$-negligibility of the low-degree set."},{"cited_title":"Annals of Mathematics","cited_arxiv_id":null,"evidence_quote":"Fixes the center manifold parameters and height bounds used to define the intervals of flattening."}],"review_version":1}