Pith. sign in

REVIEW 3 minor 40 references

Complex-ellipticity, dimensional estimates and plane wave rigidity in $BV^{\mathbb A}$

T0 review · 0 major / 3 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read Complex-ellipticity strictly enforces a plane-wave structure on tangent measures.

desk verdict The paper gives a clean hierarchy of ℓ-vanishing to get sharp (n-1)-dimensional concentration for Au and then extracts plane-wave rigidity for tangent measures when the direction lies in span{P0}. read the letter →

arxiv 2606.12061 v1 pith:DZO43QJT submitted 2026-06-10 math.AP

Adolfo Arroyo-Rabasa This is my paper · ORCID
classification math.AP
keywords complex-ellipticityBV^Adimensionalestimatesplane-waverigiditytangentmeasuresℓ-vanishingjumprectifiability
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

The paper characterizes complex-elliptic operators through a hierarchy of overdeterminacy called ℓ-vanishing that measures the twisting of their symbols. This characterization produces the sharp bound that the measure A u cannot concentrate on sets whose dimension is less than n-1. The jump part of A u is thereby identified as an (n-1)-dimensional surface measure whose density is fixed by the symbol together with the two-sided traces. The same bound implies that any measure whose normalized direction lies in span{P_0} must split into a finite sum of one-dimensional BV profiles. In total the results show that complex-ellipticity forces every tangent measure to be a plane wave.

What carries the argument

hierarchy of ℓ-vanishing overdeterminacy that quantifies structural twisting of the symbols of complex-elliptic operators

What would settle it

A single complex-elliptic operator A and a function u in BV^A such that A u is a nonzero measure supported on a set of Hausdorff dimension strictly less than n-1 would falsify the dimensional estimate.

Watch

Extended reading notes

Core claim

We characterize complex-elliptic operators A(D) through a hierarchy of overdeterminacy (ℓ-vanishing) quantifying the structural twisting of their symbols. This framework yields the optimal dimensional estimate for BV^A-functions: a measure A u cannot concentrate on sets of dimension below n-1. Consequently, the jump part of A u is characterized as an (n-1)-dimensional surface measure with density given by the symbol and the two-sided traces. Building on this dimensional bound, we prove that measures satisfying A u / |A u| in span{P_0} precisely decompose into finite sums of one-dimensional BV profiles. Ultimately, these results reveal that complex-ellipticity strictly enforces a plane-wave s

Load-bearing premise

The hierarchy of overdeterminacy (ℓ-vanishing) that quantifies the structural twisting of the symbols of complex-elliptic operators is the correct framework for obtaining the dimensional estimates.

Editorial extensions

If this is right

  • A u cannot concentrate on any set of Hausdorff dimension less than n-1.
  • The jump part of A u is an (n-1)-rectifiable measure whose density is determined by the symbol and the two-sided traces.
  • Any measure whose normalized direction lies in span{P_0} splits into a finite sum of one-dimensional BV profiles.
  • Every tangent measure to A u must itself be a plane wave.

Reading between the lines

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

  • The ℓ-vanishing hierarchy could be tested on concrete operators such as the curl or the divergence to produce explicit dimensional constants.
  • The plane-wave decomposition may yield new compactness criteria for sequences whose A u measures remain bounded.
  • One could ask whether the same rigidity persists when the operator is only approximately complex-elliptic.
  • The rectifiability of the jump set suggests direct links to the theory of currents and varifolds in geometric measure theory.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper characterizes complex-elliptic operators A(D) via a hierarchy of ℓ-vanishing that quantifies overdeterminacy in their symbols. From this it derives the sharp bound that A u cannot concentrate on sets of Hausdorff dimension less than n-1, characterizes the jump part of A u as an (n-1)-dimensional rectifiable measure whose density is expressed via the symbol and the two-sided traces, and shows that the additional condition A u / |A u| ∈ span{P0} implies that the measure decomposes into a finite sum of one-dimensional BV profiles. These steps together yield the conclusion that complex-ellipticity forces tangent measures to have plane-wave structure.

Significance. If the derivations hold, the work supplies a precise, symbol-based measure of overdeterminacy and converts it into optimal dimensional concentration and rigidity statements inside BV^A. The explicit hierarchy, the optimality claim for the (n-1)-dimensional bound, and the direct passage from the span{P0} condition to the plane-wave decomposition are the main contributions. The stress-test concern about abstract-only review does not apply once the full text is consulted; the logical steps appear internally consistent with no evident circularity or hidden boundedness assumptions.

minor comments (3)
  1. [§2] §2, Definition 2.3: the recursive definition of ℓ-vanishing is clear, but the base case ℓ=0 should be stated explicitly as the usual ellipticity condition to avoid any ambiguity when the hierarchy is invoked later.
  2. [Theorem 4.2] Theorem 4.2: the statement that the dimensional estimate is optimal would be strengthened by an explicit example (even a brief one) of a complex-elliptic operator attaining concentration exactly on an (n-1)-dimensional set.
  3. Notation: the symbol P0 is introduced in the abstract and used throughout, yet its precise definition appears only in §3; a forward reference in the introduction would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity in derivation chain

full rationale

The derivation proceeds by first defining complex-ellipticity through the explicit ℓ-vanishing hierarchy on symbols, then obtaining the sharp (n-1)-dimensional concentration bound for A u directly from that hierarchy, characterizing the jump part via surface measure representation, and finally deducing the plane-wave decomposition of tangent measures satisfying the span{P0} condition as a consequence of the bound. No equation or claim reduces by construction to a fitted input, self-definition, or load-bearing self-citation; each step adds independent content from the stated overdeterminacy framework, rendering the chain self-contained against external benchmarks.

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

Abstract-only review supplies no information on free parameters, axioms, or invented entities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Complex-ellipticity, dimensional estimates and plane wave rigidity in $BV^{\mathbb A}$." pith.science (2026). https://pith.science/paper/DZO43QJT

@misc{pith2026260612061,
  author       = {Pith},
  title        = {Pith review of: Complex-ellipticity, dimensional estimates and plane wave rigidity in $BV^\mathbb A$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DZO43QJT}},
  note         = {Machine review of arXiv:2606.12061}
}
abstract

We characterize complex-elliptic operators $\mathbb A(D)$ through a hierarchy of overdeterminacy ($\ell$-vanishing) quantifying the structural twisting of their symbols. This framework yields the optimal dimensional estimate for $BV^{\mathbb A}$-functions: a measure ${\mathbb A} u$ cannot concentrate on sets of dimension below $n-1$. Consequently, the jump part of ${\mathbb A} u$ is characterized as an $(n-1)$-dimensional surface measure with density given by the symbol and the two-sided traces. Building on this dimensional bound, we prove that measures satisfying $\frac{{\mathbb A} u}{|{\mathbb A} u|} \in \mathrm{span}\{P_0\}$ precisely decompose into finite sums of one-dimensional $BV$ profiles. Ultimately, these results reveal that complex-ellipticity strictly enforces a plane-wave structure on tangent measures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 34 canonical work pages

  1. [1]

    Alberti, Rank one property for derivatives of functions with bounded variation, Proc

    G. Alberti, Rank one property for derivatives of functions with bounded variation, Proc. Roy. Soc. Edinburgh Sect. A 123 (1993), no. 2, 239--274. Zbl 0791.26008 https://zbmath.org/?q=an:0791.26008

    work page arXiv 1993

  2. [2]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara, Functions of bounded variation and free discontinuity problems, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 2000. Zbl 0957.49001 https://zbmath.org/?q=an:0957.49001

    work page arXiv 2000

  3. [3]

    Ambrosio and B

    L. Ambrosio and B. Kirchheim, Currents in metric spaces, Acta Math. 185 (2000), no. 1, 1--80. Zbl 0984.49025 https://zbmath.org/?q=an:0984.49025

    work page arXiv 2000

  4. [4]

    Arroyo-Rabasa, An elementary approach to the dimension of measures satisfying a first-order linear PDE constraint, Proc

    A. Arroyo-Rabasa, An elementary approach to the dimension of measures satisfying a first-order linear PDE constraint, Proc. Amer. Math. Soc. 148 (2020), no. 1, 273--282. Zbl 1447.28003 https://zbmath.org/?q=an:1447.28003

    work page arXiv 2020

  5. [5]

    Arroyo-Rabasa, Slicing and fine properties for functions with bounded A -variation, Preprint, arXiv:2009.13513 (2020)

    A. Arroyo-Rabasa, Slicing and fine properties for functions with bounded A -variation, Preprint, arXiv:2009.13513 (2020)

    work page arXiv 2009

  6. [6]

    Arroyo-Rabasa, Characterization of generalized Young measures generated by A -free measures, Arch

    A. Arroyo-Rabasa, Characterization of generalized Young measures generated by A -free measures, Arch. Ration. Mech. Anal. 242 (2021), no. 1, 235--325. Zbl 1478.49041 https://zbmath.org/?q=an:1478.49041

    work page arXiv 2021

  7. [7]

    Arroyo-Rabasa, G

    A. Arroyo-Rabasa, G. De Philippis, J. Hirsch, and F. Rindler, Dimensional estimates and rectifiability for measures satisfying linear PDE constraints, Geom. Funct. Anal. 29 (2019), no. 3, 639--658. Zbl 1420.49046 https://zbmath.org/?q=an:1420.49046

    work page arXiv 2019

  8. [8]

    Arroyo-Rabasa and A

    A. Arroyo-Rabasa and A. Skorobogatova, A look into some of the fine properties of functions with bounded A -variation, ESAIM, Control Optim. Calc. Var. 31 (2025), Art. 50, 30 pp. Zbl 08066741 https://zbmath.org/?q=an:08066741

    2025

Show all 40 references
  1. [9]

    Ayoush, On finite configurations in the spectra of singular measures, Math

    R. Ayoush, On finite configurations in the spectra of singular measures, Math. Z. 304 (2023), no. 1, Paper No. 6, 17 pp. Zbl 1547.28008 https://zbmath.org/?q=an:1547.28008

    2023

  2. [10]

    Ayoush and M

    R. Ayoush and M. Wojciechowski, On dimension and regularity of bundle measures, Preprint, arXiv:1708.01458 (2017)

    2017

  3. [11]

    Bochnak, M

    J. Bochnak, M. Coste, and M.-F. Roy, Real Algebraic Geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 36, Springer-Verlag, Berlin, 1998. Zbl 0912.14023 https://zbmath.org/?q=an:0912.14023

    1998

  4. [12]

    Borken, A characterization of submanifolds of ^ m n satisfying optimal rigidity estimates , Master Thesis, Rheinische Friedrich-Wilhelms-Universit\"at Bonn (2025)

    M. Borken, A characterization of submanifolds of ^ m n satisfying optimal rigidity estimates , Master Thesis, Rheinische Friedrich-Wilhelms-Universit\"at Bonn (2025)

    2025

  5. [13]

    Bourgain and H

    J. Bourgain and H. Brezis, New estimates for the Laplacian, the div-curl, and related Hodge systems, C. R., Math., Acad. Sci. Paris 338 (2004), no. 7, 539--543. Zbl 1101.35013 https://zbmath.org/?q=an:1101.35013

    2004

  6. [14]

    Bourgain and H

    J. Bourgain and H. Brezis, New estimates for elliptic equations and Hodge type systems, J. Eur. Math. Soc. (JEMS) 9 (2007), no. 2, 277--315. Zbl 1176.35061 https://zbmath.org/?q=an:1176.35061

    2007

  7. [15]

    Breit, L

    D. Breit, L. Diening, and F. Gmeineder, On the trace operator for functions of bounded -variation, Anal. PDE 13 (2020), no. 2, 559--594. Zbl 1450.46017 https://zbmath.org/?q=an:1450.46017

    2020

  8. [16]

    Caroccia and N

    M. Caroccia and N. Van Goethem, Rigidity and functional properties of BD^ dev ( ) , Arch. Ration. Mech. Anal. (to appear, 2026)

    2026

  9. [17]

    De Philippis and F

    G. De Philippis and F. Rindler, Fine properties of functions of bounded deformation—an approach via linear PDEs, Math. Eng. 2 (2020), no. 3, 386--422. Zbl 1487.35001 https://zbmath.org/?q=an:1487.35001

    2020

  10. [18]

    De Philippis and F

    G. De Philippis and F. Rindler, On the structure of A -free measures and applications, Ann. of Math. (2) 184 (2016), no. 3, 1017--1039. Zbl 1352.49050 https://zbmath.org/?q=an:1352.49050

    2016

  11. [19]

    Dobronravov, Frostman lemma revisited, Ann

    N. Dobronravov, Frostman lemma revisited, Ann. Fenn. Math. 49 (2024), no. 1, 303--318. Zbl 1562.28024 https://zbmath.org/?q=an:1562.28024

    2024

  12. [20]

    Federer, Geometric Measure Theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969

    H. Federer, Geometric Measure Theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. Zbl 0176.00801 https://zbmath.org/?q=an:0176.00801

    1969

  13. [21]

    Friesecke, R

    G. Friesecke, R. D. James, and S. M\"uller, A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity, Comm. Pure Appl. Math. 55 (2002), no. 11, 1461--1506. Zbl 1021.74024 https://zbmath.org/?q=an:1021.74024

    2002

  14. [22]

    Gmeineder and B

    F. Gmeineder and B. Raita, Embeddings for -weakly differentiable functions on domains, J. Funct. Anal. 277 (2019), no. 12, Paper No. 108278, 33 pp. Zbl 1440.46031 https://zbmath.org/?q=an:1440.46031

    2019

  15. [23]

    Harris, Algebraic Geometry: A First Course, Graduate Texts in Mathematics, vol

    J. Harris, Algebraic Geometry: A First Course, Graduate Texts in Mathematics, vol. 133, Springer-Verlag, New York, 1992. Zbl 0779.14001 https://zbmath.org/?q=an:0779.14001

    1992

  16. [24]

    angiger Ver\

    F. M. Hartogs, Zur Theorie der analytischen Funktionen mehrerer unabh\"angiger Ver\"anderlichen, insbesondere \"uber die Darstellung derselben durch Reihen, welche nach Potenzen einer Ver\"anderlichen fortschreiten, Mathematische Annalen 62 (1906), no. 1, 1--88. Zbl 37.0444.01...

    1906

  17. [25]

    H\"ormander, The analysis of linear partial differential operators

    L. H\"ormander, The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis, Classics in Mathematics, Springer-Verlag, Berlin, 2003. Zbl 1038.46001 https://zbmath.org/?q=an:1038.46001

    2003

  18. [26]

    Jarnicki and P

    M. Jarnicki and P. Pflug, Extension of holomorphic functions, de Gruyter Expositions in Mathematics, vol. 34, Walter de Gruyter & Co., Berlin (2000). Zbl 0976.32007 https://zbmath.org/?q=an:0976.32007

    2000

  19. [27]

    Kristensen and F

    J. Kristensen and F. Rindler, Relaxation of signed integral functionals in BV, Calc. Var. Partial Differential Equations 37 (2010), no. 1-2, 29--62. Zbl 1189.49018 https://zbmath.org/?q=an:1189.49018

    2010

  20. [28]

    X. Lamy, A. Lorent, and G. Peng, Quantitative rigidity of differential inclusions in two dimensions, Int. Math. Res. Not. IMRN 2024 (2024), no. 8, 6325--6349. Zbl 1551.35015 https://zbmath.org/?q=an:1551.35015

    2024

  21. [29]

    Mattila, Geometry of Sets and Measures in Euclidean Spaces

    P. Mattila, Geometry of Sets and Measures in Euclidean Spaces. Fractals and Rectifiability, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press (1995). Zbl 0819.28004 https://zbmath.org/?q=an:0819.28004

    1995

  22. [30]

    V. P. Palamodov, Linear Differential Operators with Constant Coefficients, Grundlehren der mathematischen Wissenschaften, Band 168, Springer-Verlag, Berlin-Heidelberg, 1970. Zbl 0191.43401 https://zbmath.org/?q=an:0191.43401

    1970

  23. [31]

    Preiss, Geometry of measures in ^n : distribution, rectifiability, and densities, Ann

    D. Preiss, Geometry of measures in ^n : distribution, rectifiability, and densities, Ann. of Math. (2) 125 (1987), no. 3, 537--643. Zbl 0627.28008 https://zbmath.org/?q=an:0627.28008

    1987

  24. [32]

    B. Raita. L^1 -estimates and -weakly differentiable functions, Technical Report, OxPDE-18/01, University of Oxford (2018)

    2018

  25. [33]

    Rindler, Lower semicontinuity for integral functionals in the space of functions of bounded deformation via rigidity and Young measures, Arch

    F. Rindler, Lower semicontinuity for integral functionals in the space of functions of bounded deformation via rigidity and Young measures, Arch. Ration. Mech. Anal. 202 (2011), no. 1, 63--113. Zbl 1258.49014 https://zbmath.org/?q=an:1258.49014

    2011

  26. [34]

    Rindler, Lower semicontinuity and Young measures in BV without Alberti's rank-one theorem, Adv

    F. Rindler, Lower semicontinuity and Young measures in BV without Alberti's rank-one theorem, Adv. Calc. Var. 5 (2012), no. 2, 127--159. Zbl 1239.49018 https://zbmath.org/?q=an:1239.49018

    2012

  27. [35]

    K. T. Smith, Inequalities for formally positive integro-differential forms, Bull. Am. Math. Soc. 67 (1961), 368--370. Zbl 0103.07602 https://zbmath.org/?q=an:0103.07602

    1961

  28. [36]

    K. T. Smith, Formulas to represent functions by their derivatives, Math. Ann. 188 (1970), 53--77. Zbl 0187.03102 https://zbmath.org/?q=an:0187.03102

    1970

  29. [37]

    Spector and J

    D. Spector and J. Van Schaftingen, Optimal embeddings into Lorentz spaces for some vector differential operators via Gagliardo's lemma, Int. Math. Res. Not. IMRN 2019 (2019), no. 13, 4125--4151. Zbl 1442.46027 https://zbmath.org/?q=an:1442.46027

    2019

  30. [38]

    Spector and D

    D. Spector and D. Stolyarov, On dimension stable spaces of measures, Nonlinear Anal. 264 (2026), Paper No. 113997, 20 pp. Zbl 08146613 https://zbmath.org/?q=an:08146613

    2026

  31. [39]

    Stolyarov, Dimension estimates for vectorial measures with restricted spectrum, J

    D. Stolyarov, Dimension estimates for vectorial measures with restricted spectrum, J. Funct. Anal. 284 (2023), no. 1, Paper No. 109735, 16 pp. Zbl 1550.28002 https://zbmath.org/?q=an:1550.28002

    2023

  32. [40]

    Van Schaftingen, Limiting Sobolev inequalities for vector fields and canceling linear differential operators, J

    J. Van Schaftingen, Limiting Sobolev inequalities for vector fields and canceling linear differential operators, J. Eur. Math. Soc. (JEMS) 15 (2013), no. 3, 877--921. Zbl 1284.46032 https://zbmath.org/?q=an:1284.46032

    2013

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.