Pith. sign in

REVIEW 3 major objections 3 minor 28 references

Geometry of the Atomic Condition

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The atomic condition for anisotropic integrands is reformulated as a convex-geometric extremality identity, and strict polyconvexity is shown to be insufficient for it in higher codimension.

desk verdict Strong structural results and a clean counterexample; the claimed regularity theorem in §9.16 is explicitly unproved and should be framed as a conjecture. read the letter →

arxiv 2607.22782 v1 pith:QQ6WG2JU submitted 2026-07-24 math.AP math.DG

Jacek Jakimiuk , S{l}awomir Kolasiński , Maciej Leśniak This is my paper
classification math.APmath.DG MSC 49Q2049Q1552A20
keywords atomicconditionanisotropicsurfaceenergiesconvexgeometryGaussimageextremepointsexposedpolyconvexityexteriorpower
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper reinterprets the atomic condition (AC) for anisotropic surface integrands as a purely convex-geometric statement: an integrand satisfies AC exactly when its Gauss image is the set of extreme points of its convex hull, with no lower-rank points in the hull. This reformulation yields a new necessary spectral condition, a new exposed-point variant (EC) that sits between the scalar atomic condition and AC, and a quadratic exposed condition (QEC) that is stable under small C^{1,1} perturbations and supplies a Caccioppoli-type inequality for regularity theory. On the negative side, the paper constructs strictly polyconvex integrands—coming from inner-product norms on exterior powers—that fail the basic rank condition of AC in all dimensions with k ≥ 2 and n−k ≥ 3, showing that strict polyconvexity is far from sufficient. A regularity theorem for QEC integrands is stated, but it depends on an unproved conversion step to uniform Legendre–Hadamard ellipticity.

What carries the argument

The central object is the Gauss image G_F = P_F^*(G(n,k)) together with its convex hull and the low-rank intersection. The main identity is Ψ_k^*(L) = Γ_k(τ(L)), relating the adjoint of the linear left-inverse Ψ_k of the exterior-power map to the derivative at identity τ(L); this linearisation converts verification of EC into strict 𝜑-accretivity of operators τ(N^*(S)). QEC adds a quadratic growth condition on the separating normals, enabling the Caccioppoli-type estimate.

What would settle it

Recompute the sum of the five first-variation matrices in the example of Section 10.5: if the resulting endomorphism A(μ) has rank greater than one (kernel dimension below 4), the counterexample collapses; the paper's explicit formula gives A(μ) = (2/5) γ^1(d)·d, a rank-one map with kernel of dimension 4.

Watch

Extended reading notes

Core claim

The central claim is the equivalence: F ∈ AC if and only if conv G_F ∩ {A : dim im A ≤ k} = G_F = extreme(conv G_F), where G_F is the image of the Grassmannian under the oblique projection P_F^* = B_F/F. This turns the measure-theoretic atomic condition into a finite-dimensional convex-geometric property. Replacing extreme points by exposed points gives the exposed condition EC, for which SAC ⊆ EC ⊆ AC, and a uniform quadratic version QEC (obtained by requiring a separating normal field with quadratic growth) is stable under C^{1,1} perturbations and yields a Caccioppoli-type inequality. The paper also proves a spectral necessary condition for AC, gives a sufficient condition via strict 𝜑-ac

Load-bearing premise

The regularity theorem for QEC integrands assumes that the quadratic exposed condition can be converted into a uniform Legendre–Hadamard ellipticity estimate in the nonparametric setting; the paper explicitly states that this conversion is not carried out.

Editorial extensions

If this is right

  • AC can be checked purely in terms of convex hulls of Gauss images, giving a finite-dimensional window into the class of atomic integrands.
  • In codimension one (n = k+1), EC coincides with AC, so the exposed-point formulation exhausts the atomic condition there.
  • QEC is stable under C^{1,1} perturbations and yields a Caccioppoli-type inequality, the two ingredients required for the De Rosa–Tione regularity scheme.
  • If the unproved conversion from QEC to uniform Legendre–Hadamard ellipticity is supplied, Lipschitz graphs with p-integrable anisotropic mean curvature (p > k) are C^{1,α} off a null set for QEC integrands.
  • Strict polyconvexity does not imply AC when k ≥ 2 and n−k ≥ 3, even for integrands associated to inner-product norms; the codimension-one characterization does not extend.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The convex-geometric equivalence suggests a computational route to certify AC: extremality of a compact set's convex hull is a finite-dimensional convex optimisation problem, so candidate integrands might be tested numerically.
  • The spectral necessary condition (conv G_F^* ⊆ Σ_J) provides a concrete eigenvalue obstruction that can be checked without constructing measures, potentially yielding new necessary conditions beyond strict polyconvexity.
  • In the remaining codimension-two case (n−k=2), the cyclic symmetry of the counterexample hints that symmetric inner-product norms might behave differently; the paper's numerical evidence of degeneration suggests the threshold is sharp, but this is not proved.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper develops a convex-geometric framework for the atomic condition (AC) for anisotropic k-area integrands. Its main structural result (Theorem 4.5) characterizes F∈AC by the identity conv G_F ∩ {rank ≤ k} = G_F = extreme(conv G_F). On this basis the authors introduce an exposed condition (EC) and a quadratic exposed condition (QEC), prove the inclusions USAC⊆QEC⊆EC⊆AC, give a stability theorem under C^{1,1} perturbations (9.12), and a Caccioppoli-type inequality (9.15). They also derive a spectral necessary condition for AC via a set Σ_J of endomorphisms (Section 5), and a sufficient condition for EC in polyconvex integrands phrased in terms of accretivity (Theorem 8.23). The final section constructs, for all k≥2, n−k≥3, strictly polyconvex inner-product integrands that violate AC, with a fully explicit five-plane example for n=5,k=2 (Theorems 10.6 and 10.8). A regularity theorem for QEC integrands is stated in Section 9.16, but the proof of the key ellipticity conversion is explicitly not carried out in the paper.

Significance. If the main claims are fully established, the paper gives the first structural reformulation of the atomic condition and the first counterexamples showing that strict polyconvexity is far from sufficient for AC in higher codimension. The reformulation in Theorem 4.5 is elegant and appears correct, and the counterexample in Theorem 10.6 is explicit and hand-checkable; the suspension argument in Theorem 10.8 is likewise concrete. The QEC stability and Caccioppoli estimates are potentially useful regardless of the missing regularity proof, and the honest list of open problems is a strength. However, the paper currently contains a stated C^{1,α} regularity theorem whose key step is admitted to be unproved, and there are two further technical gaps in the new sufficient/necessary conditions. These must be repaired or reformulated before the paper can be accepted.

major comments (3)
  1. [§9.16] The displayed theorem in §9.16 asserts u∈C^{1,α}(Ω0) for QEC integrands, but the proof is explicitly not supplied. The text says that the passage to the nonparametric setting and the conversion of QEC into a uniform Legendre–Hadamard ellipticity estimate — the analogue of [DRT22, Proposition 3.13] — “are not carried out in this paper.” This is not a routine missing detail: QEC (Def. 9.3) is a first-order condition on the Gauss map, while the excess-decay iteration of [DRT22] requires a quantitative second-order ellipticity estimate with constants depending on n,k,Γ,∥F∥_{C^2},Lip N. The Caccioppoli inequality 9.15 and the stability theorem 9.12 are derived from first-order data and do not by themselves produce the Legendre–Hadamard symbol. Citing [DRK20] gives qualitative Almgren ellipticity, not the quantitative nonparametric estimate needed here. As stated, §9.16 is a conjecture, not a
  2. [§8.23] The proof of Theorem 8.23 does not follow from the stated definition of strict accretivity. Definition 8.20 only requires that the set of unit vectors x with gradφ(x)·Ax=0 is at most one point. In the proof, for a fixed S the authors choose an arbitrary simple unit vector ξ∈G_0(n,k), with space ξ=imT, and conclude gradφ(ξ)·κ(N*(S))ξ>0. This conclusion is false under the stated definition if ξ is the unique zero direction of κ(N*(S)). The inequality is then an equality, and the invokation of 4.12 fails. What is needed is a stronger hypothesis, e.g. positivity on every unit vector (or at least on every simple unit vector), or a separate argument showing that the zero direction can be avoided for all S,T. As written, Theorem 8.23 is not established.
  3. [§5.11] The proof of Proposition 5.11 contains an unjustified step in the construction of the separating field N. Near the end of the proof the authors assert, by [Roc70, Theorem 6.6], that c=E♮(J) lies in relint C, where C=E♮[conv imP]. This requires a hypothesis linking J to conv imP, e.g. J∈relint conv imP. Proposition 5.11 as stated does not assume such a membership, and without it c may fail to lie in C, making the separation argument inapplicable. The later applications in 5.14 and 5.15 do arrange J∈relint convG, so the fix may be local (add the missing hypothesis to 5.11 and 5.14), but the proposition as stated is not fully proved.
minor comments (3)
  1. [Abstract] The abstract contains the typo “event artificial”; it should read “even artificial”.
  2. [§10.9(e)] The numerical experiments attributed to a large language model are not mathematical verification. The claims about non-empty interior of the failure set and about G♮(4,2) degenerations should be labeled explicitly as heuristics, or supported by reproducible code and rigorous statements. As written, they may be misinterpreted as evidence rather than conjecture.
  3. [§9.16] The regularity statement is placed in a “Remark” but is phrased as a theorem. If the missing ellipticity conversion is not supplied, the material should be reorganized as a conjecture or an open problem with a precise statement of the missing step, rather than a result.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation found; the only material gap is the explicitly unproved QEC-to-Legendre-Hadamard conversion in Theorem 9.16, which is a missing proof, not a circular step.

full rationale

The main derivation chain is self-contained. Theorem 4.5 is proved directly from Definition 4.3 by atomization and the injectivity of P*_F, so the convex-geometric characterization of AC is a genuine reformulation rather than an input. EC and QEC are new definitions whose inclusions SAC ⊆ EC ⊆ AC and USAC ⊆ QEC ⊆ EC follow from Straszewicz's theorem and elementary support arguments (4.12, 4.18, 9.4, 9.7). The Caccioppoli-type inequality 9.15 and the C^{1,1} stability theorem 9.12 are proven from QEC with explicit estimates and no fitted parameters. The counterexamples in Section 10 are explicit inner-product norms with hand-checkable rank computations (10.6, 10.8), independent of AC itself. Self-citations such as [DRK20] and [Leś25] are used for background, nomenclature, or for a conditional expectation in the unproved regularity passage; they do not carry the central derivations. The one substantive weakness is Section 9.16: the stated C^{1,α} regularity conclusion depends on an unproved analogue of [DRT22, Proposition 3.13] converting QEC into a uniform Legendre-Hadamard ellipticity estimate, and the paper explicitly says the details 'are not carried out in this paper.' This is an admitted gap in support, not a circular reduction of the conclusion to its hypotheses. Accordingly, no circularity is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

Pure mathematics with no empirical fitting: the explicit constants in the counterexample are constructions rather than fitted parameters. The central proofs rely on standard convex analysis, minimax theory, and geometric measure theory, plus one explicitly unproved regularity conversion step in Section 9.16.

assumptions (6)
  • standard math Standard convex-analysis facts from Rockafellar, including Straszewicz's theorem, separation theorems, and extreme/exposed point machinery
    Used throughout Sections 2, 4 and 5 to handle conv G_F, faces, and supporting hyperplanes.
  • standard math Kneser-Fan (Sion) minimax theorem and the interchange lemma 5.6
    Essential in Proposition 5.11 to characterize the inclusion conv im P ⊆ Σ_J.
  • standard math Federer-Allard geometric measure theory background, including the first-variation formula, Whitney extension, and Allard's tilt-excess method
    Underlies the definitions of G_F, B_F, P_F, and the Caccioppoli-type inequality in Section 9.
  • standard math Ghomi's theorem [Gho01, Thm 1.1.1] giving strictly convex C^2 norms with prescribed gradients
    Used in Lemma 8.13 to construct cross-norms ψ with grad ψ(φ⊗ξ) = φ/|φ| ⊗ grad φ(ξ).
  • domain assumption k-integrands are C^1 away from the origin, positive on the Grassmannian, and positively k-homogeneous
    Definition 3.3 sets the class of objects studied; the maps G_F, P_F and Q_F are defined only under this hypothesis.
  • ad hoc to paper There exists an analogue of [DRT22, Proposition 3.13] converting QEC into uniform Legendre-Hadamard ellipticity
    Section 9.16 explicitly assumes this unproved passage in order to state the C^{1,α} regularity theorem; the paper says the details are not carried out.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometry of the Atomic Condition." pith.science (2026). https://pith.science/paper/QQ6WG2JU

@misc{pith2026260722782,
  author       = {Pith},
  title        = {Pith review of: Geometry of the Atomic Condition},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QQ6WG2JU}},
  note         = {Machine review of arXiv:2607.22782}
}
abstract

The class AC of integrands satisfying the atomic condition was introduced by De Philippis, De Rosa, and Ghiraldin in 2018. These integrands give rise to Almgren elliptic geometric functionals as proven by the second author and De Rosa in 2020. So far, it is not known how to verify the atomic condition for any particular integrand (apart from the area integrand and its class 2 neighbourhood) or how to construct, event artificial, members of AC. We reinterpret the atomic condition in terms of convex geometry shedding light on the structure of this class. We also propose quantitative versions of AC, different from the SAC and USAC defined by De Rosa and Tione, which we call the exposed condition EC and the quadratic exposed condition QEC. As is the case with USAC, the QEC is stable under class 2 perturbations and supports a Caccioppoli-type inequality; hence, is suitable for proving regularity of critical points. Moreover, we provide some conditions sufficient for EC in case the integrand is associated to a norm on the exterior power of $\mathbf{R}^{n}$. Finally, for all $k \ge 2$ and $n-k \ge 3$ we construct strictly polyconvex integrands -- associated to inner-product norms on $\bigwedge_{k} \mathbf{R}^{n}$ -- which fail the atomic condition, showing that strict polyconvexity is necessary but far from sufficient for AC.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

28 extracted references · 1 canonical work pages

  1. [1]

    William K. Allard. On the first variation of a varifold. Ann. of Math. (2) , 95:417--491, 1972

    1972

  2. [2]

    William K. Allard. An integrality theorem and a regularity theorem for surfaces whose first variation with respect to a parametric elliptic integrand is controlled. In Geometric measure theory and the calculus of variations ( A rcata, C alif., 1984) , volume 44 of Proc. Sympos. Pure Math. , pages 1--28. Amer. Math. Soc., Providence, RI, 1986

    1984

  3. [3]

    F. J. Almgren, Jr. Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure. Annals of Mathematics. Second Series , 87:321--391, 1968

    1968

  4. [4]

    Dimensional estimates and rectifiability for measures satisfying linear PDE constraints

    Adolfo Arroyo-Rabasa, Guido De Philippis, Jonas Hirsch, and Filip Rindler. Dimensional estimates and rectifiability for measures satisfying linear PDE constraints. Geometric and Functional Analysis , 29(3):639--658, April 2019

    2019

  5. [5]

    Burago and S

    D. Burago and S. Ivanov. Gaussian images of surfaces and ellipticity of surface area functionals. Geom. Funct. Anal. , 14(3):469--490, June 2004

    2004

  6. [6]

    Busemann and E

    H. Busemann and E. G. Straus. Area and normality. Pacific J. Math. , 10:35--72, 1960

    1960

  7. [7]

    Convexity on G rassmann manifolds

    Herbert Busemann. Convexity on G rassmann manifolds. Enseign. Math. (2) , 7:139--152 (1962), 1961

    1962

  8. [8]

    Geometry of B anach spaces, duality mappings and nonlinear problems , volume 62 of Mathematics and its Applications

    Ioana Cioranescu. Geometry of B anach spaces, duality mappings and nonlinear problems , volume 62 of Mathematics and its Applications . Kluwer Academic Publishers Group, Dordrecht, 1990

    1990

Show all 28 references
  1. [9]

    Tensor norms and operator ideals , volume 176 of North-Holland Mathematics Studies

    Andreas Defant and Klaus Floret. Tensor norms and operator ideals , volume 176 of North-Holland Mathematics Studies . North-Holland Publishing Co., Amsterdam, 1993

    1993

  2. [10]

    Rectifiability of varifolds with locally bounded first variation with respect to anisotropic surface energies

    Guido De Philippis, Antonio De Rosa, and Francesco Ghiraldin. Rectifiability of varifolds with locally bounded first variation with respect to anisotropic surface energies. Comm. Pure Appl. Math. , 71(6):1123--1148, August 2018, 1609.01908

    2018 arXiv

  3. [11]

    Michael-simon inequality for anisotropic energies close to the area via multilinear kakeya-type bounds

    Guido De Philippis and Alessandro Pigati. Michael-simon inequality for anisotropic energies close to the area via multilinear kakeya-type bounds. 2026, 2601.10647

    2026

  4. [12]

    Equivalence of the ellipticity conditions for geometric variational problems

    Antonio De Rosa and S awomir Kolasi \' n ski. Equivalence of the ellipticity conditions for geometric variational problems. Communications on Pure and Applied Mathematics , 73(11):2473--2515, March 2020, arXiv:10.1002/cpa.21890

    2020 doi

  5. [13]

    Construction of F illings with P rescribed G aussian I mage and A pplications

    Antonio De Rosa, Yucong Lei, and Robert Young. Construction of F illings with P rescribed G aussian I mage and A pplications. Arch. Ration. Mech. Anal. , 249(4):Paper No. 39, 2025

    2025

  6. [14]

    Regularity for graphs with bounded anisotropic mean curvature

    Antonio De Rosa and Riccardo Tione. Regularity for graphs with bounded anisotropic mean curvature. Invent. Math. , 230(2):463--507, 2022

    2022

  7. [15]

    Topology: a geometric approach , volume 4 of Sigma Series in Pure Mathematics

    Ryszard Engelking and Karol Sieklucki. Topology: a geometric approach , volume 4 of Sigma Series in Pure Mathematics . Heldermann Verlag, Berlin, 1992. Translated from the Polish original by Adam Ostaszewski

    1992

  8. [16]

    Geometric measure theory

    Herbert Federer. Geometric measure theory . Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York, Inc., New York, 1969

    1969

  9. [17]

    Herbert Federer and Wendell H. Fleming. Normal and integral currents. Ann. of Math. (2) , 72:458--520, 1960

    1960

  10. [18]

    Existence of solutions to a general geometric elliptic variational problem

    Yangqin Fang and S awomir Kolasi\' n ski. Existence of solutions to a general geometric elliptic variational problem. Calc. Var. Partial Differential Equations , 57(3):Art. 91, 71, 2018

    2018

  11. [19]

    Strictly convex submanifolds and hypersurfaces of positive curvature

    Mohammad Ghomi. Strictly convex submanifolds and hypersurfaces of positive curvature. J. Differential Geom. , 57(2):239--271, 2001

    2001

  12. [20]

    Grothendieck

    A. Grothendieck. R\'esum\'e de la th\'eorie m\'etrique des produits tensoriels topologiques. Resenhas , 2(4):401--480, 1996. Reprint of Bol.\ Soc.\ Mat.\ S\ ao Paulo 8 (1953), 1--79 [MR0094682 (20 \#1194)]

    1996

  13. [21]

    Morris W. Hirsch. Differential topology . Springer New York, 1976

    1976

  14. [22]

    The joint spectral radius , volume 385 of Lecture Notes in Control and Information Sciences

    Rapha\"el Jungers. The joint spectral radius , volume 385 of Lecture Notes in Control and Information Sciences . Springer-Verlag, Berlin, 2009. Theory and applications

    2009

  15. [23]

    On polyconvexity and A lmgren uniform ellipticity with respect to polyhedral test pairs

    Maciej Le \' s niak. On polyconvexity and A lmgren uniform ellipticity with respect to polyhedral test pairs. Manuscripta Math. , 176(4):Paper No. 55, 15, 2025

    2025

  16. [24]

    A. Pazy. Semigroups of linear operators and applications to partial differential equations , volume 44 of Applied Mathematical Sciences . Springer-Verlag, New York, 1983

    1983

  17. [25]

    E. R. Reifenberg. Solution of the P lateau P roblem for m -dimensional surfaces of varying topological type. Acta Mathematica , 104:1--92, 1960

    1960

  18. [26]

    Tyrrell Rockafellar

    R. Tyrrell Rockafellar. Convex analysis . Princeton Mathematical Series, No. 28. Princeton University Press, Princeton, N.J., 1970

    1970

  19. [27]

    A T heory of C ross- S paces , volume No

    Robert Schatten. A T heory of C ross- S paces , volume No. 26 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1950

    1950

  20. [28]

    On general minimax theorems

    Maurice Sion. On general minimax theorems. Pacific J. Math. , 8:171--176, 1958

    1958

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.