Pith. sign in

REVIEW 2 major objections 5 minor 19 references

Minimally singular functions and the rigidity problem for Steiner's perimeter inequality

T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper proves that a function of bounded variation is minimally singular exactly when a new curve-based pseudometric, the singular vertical distance, vanishes from some point to almost every other point, and uses this to characterize…

desk verdict Theorem 1.8 (the SVD characterization of minimally singular functions) looks like a genuine new result with a substantial proof, but the flagship application, Theorem 1.9, has a surjectivity gap: as written, rigidity over Ω does not imply minimal singularity. read the letter →

arxiv 2411.17633 v1 pith:6Z6U76BV submitted 2024-11-26 math.AP

Matteo Perugini This is my paper · ORCID
classification math.AP MSC 26B3049Q2028A75
keywords minimallysingularfunctionsverticaldistanceSteinersymmetrizationrigidityofperimeterinequalityboundedvariationbarycenterfunctionessentialconnectednessequalitycases
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 tries to identify exactly when Steiner symmetrization has no nontrivial competitors: when the only v-distributed sets with the same perimeter as the Steiner symmetric set are vertical translations of it. It introduces a new class of functions of bounded variation, called minimally singular, and proves that on an open connected domain of finite measure, u is minimally singular precisely when a geometric quantity, the singular vertical distance from one fixed point to almost every other point, is zero. The author then uses this to characterize rigidity of equality cases for Steiner's perimeter inequality over such domains: rigidity over Ω holds if and only if v is minimally singular in Ω. If correct, this converts an analytic rigidity question into a curve-counting condition on the singular part of v's derivative.

What carries the argument

The named central object is the singular vertical distance $\operatorname{SVD}_{u,\Omega}$, defined in Definition 4.1 as a pseudometric on the good points of $\Omega$: it records, for two points $x_1,x_2$, the infimum of $|D^s u_\gamma|(I_\gamma^\circ)$ over all polygonal chains $\gamma\in\Gamma_\Omega(u)$ connecting them, where $u_\gamma$ is the restriction of $u^\wedge$ to the chain. The companion notion is minimal singularity: a BV function $u$ is minimally singular when the only GBV functions whose singular behaviour is controlled by $D^s u$ are constants. The theorem that carries the application is Theorem 1.9, which identifies rigidity over $\Omega$ for Steiner's inequality with minimal singularity of $v$, using the established fact that equality cases in $\mathcal M_\Omega(v)$ are described by a barycenter function $b_{E,\Omega}$ whose approximate gradient vanishes, whose jumps are bounded by $\frac12[v]$, and whose Cantor part is controlled by $D^c v$.

What would settle it

Compute the singular vertical distance for the Cantor function on $(0,1)$: the function $b(t)=|D^s u|((0,t))$ is nonconstant and satisfies conditions (1.22)-(1.24), so $u$ is not minimally singular; the theorem then forces $\operatorname{SVD}_{u,(0,1)}(\bar x,x)>0$ for positive-measure pairs, and a direct chain computation should confirm this. A computation giving $\operatorname{SVD}=0$ almost everywhere for this $u$, or in higher dimensions any $u$ with $\operatorname{SVD}=0$ almost everywhere that still admits a nonconstant controlled $b$, would refute Theorem 1.8.

Watch

Extended reading notes

Core claim

The central result characterizes minimal singularity geometrically. For an open connected Ω with $\mathcal L^n(\Omega)<\infty$ and $u\in BV(\Omega)$, define $\operatorname{SVD}_{u,\Omega}(\bar x,x)$ as the infimum of $|D^s u_\gamma|(I_\gamma^\circ)$ over polygonal chains $\gamma\subset\Omega$ joining $\bar x$ to $x$, where $u_\gamma(t)=u^\wedge(\gamma(t))$. Theorem 1.8 states that $u$ is minimally singular if and only if some $\bar x$ has $\operatorname{SVD}_{u,\Omega}(\bar x,x)=0$ for $\mathcal L^n$-a.e. $x$. Minimal singularity means: every $b\in GBV(\Omega)$ with approximate gradient zero, jump $[b]\le [u]$, and Cantor part controlled by $D^c u$ must be constant. Theorem 1.9 translates this into Steiner rigidity: under the domain condition (1.16), rigidity over $\Omega$ holds if and only if $v$ is minimally singular in $\Omega$; with a global-support condition, local rigidity upgrades to global rigidity.

Load-bearing premise

The whole bridge to rigidity rests on Proposition 1.6, a cited equality-case characterization taken from prior work 'by careful inspection of the proofs'; if that characterization requires hypotheses stronger than the domain condition (1.16), Theorem 1.9 does not follow.

Editorial extensions

If this is right

  • Rigidity over $\Omega$ becomes equivalent to a single geometric identity: existence of a point from which the singular vertical distance to almost every other point vanishes.
  • The equality-case problem in $\mathcal M_\Omega(v)$ reduces to checking the barycenter function $b_{E,\Omega}$: since rigidity is $b_{E,\Omega}$ constant, Theorem 1.9 identifies exactly which $v$ force this.
  • The one-dimensional rigidity theorem from prior work is recovered: $v$ is rigid iff its support is an interval and $v\in W^{1,1}$ with positive lower limit.
  • The mismatched stairway property of earlier work coincides with minimal singularity when $\{v^\wedge>0\}$ is open, connected, and finite-measure.
  • If $D^s v$ is concentrated on a set that essentially disconnects $\Omega$, rigidity fails; the singular vertical distance condition quantifies precisely this obstruction.

Reading between the lines

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

  • The singular vertical distance pseudometric could be tested numerically on piecewise-linear approximations: if a BV function is approximated by functions with small singular variation along sampled chains, rigidity may be certified in applications where exact solutions are unavailable.
  • The definition of minimal singularity is not tied to Steiner symmetrization; analogous barycenter rigidity problems for spherical, Schwarz, or Gaussian symmetrization may admit the same curve-variation criterion.
  • A positive answer to the paper's Open Problem 4.10 would give a higher-dimensional analogue of the decomposition of a one-dimensional BV function into absolutely continuous plus singular parts, with 'minimally singular' replacing 'absolutely continuous'.
  • The paper's Proposition 1.12 implies that the characterization, though broad, does not settle the rigidity problem in full generality; a complete solution would need a criterion that also covers domains where $\{v^\wedge>0\}$ is not essentially open.
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

2 major / 5 minor

Summary. The paper introduces a class of functions of bounded variation called minimally singular functions on an open connected domain Ω of finite measure. A function u∈BV(Ω) is minimally singular if every GBV function b with zero approximate gradient, jump controlled by [u], and Cantor part controlled by D^c u must be constant. The author defines a pseudometric, the singular vertical distance SVD_{u,Ω}, by taking infima of the singular variation of restrictions of u to polygonal chains, and proves (Theorem 1.8) that u is minimally singular if and only if there is a point x̄ such that SVD_{u,Ω}(x̄,x)=0 for almost every x. This is then applied to the localized rigidity problem for Steiner's perimeter inequality: over a domain Ω satisfying (1.16), rigidity over Ω is claimed to be equivalent to minimal singularity of v (Theorem 1.9). The paper also discusses when such a domain exists (Lemma 1.11, Proposition 1.12, Lemma 1.13) and records two open problems about the new class.

Significance. If correct, Theorem 1.8 is a genuine geometric characterization of a new class of BV functions, and Theorem 1.9 would be the first characterization of localized rigidity for Steiner's inequality under hypothesis (1.16). The method is original: it adapts Vol'pert's theory of one-dimensional restrictions to a family of polygonal chains and uses the resulting singular variation as a pseudometric. The technical scaffolding in Propositions 3.4 and 3.5 is substantial, and the paper is commendably explicit about its limitations, especially Proposition 1.12 and Open Problems 4.9–4.10. However, the application to rigidity currently depends on an imported proposition and, more seriously, on a surjectivity step that the stated Proposition 1.6 does not provide. The central geometric characterization is promising, but the bridge from equality cases to arbitrary admissible barycenter functions must be made rigorous before the main rigidity theorem can be accepted.

major comments (2)
  1. [Section 6, Step 1 (proof of Theorem 1.9)] The implication (i)⇒(ii) is not justified. Rigidity over Ω gives, for every E∈MΩ(v), a constant barycenter b_E,Ω. To conclude that (1/2)v is minimally singular, one must know that every admissible b∈GBV(Ω) satisfying (1.18)–(1.20) is realized as b_E,Ω for some E∈MΩ(v). Proposition 1.6, as stated in Section 1.4, is an equivalence for a fixed E and its own barycenter; it does not assert this surjectivity. The phrase "Thanks to the generality of E∈MΩ(v)" does not bridge the gap. If the "careful inspection" of [6, Theorems 1.7 and 1.9] establishes the surjectivity under hypothesis (1.16), this should be stated and proved; otherwise the main application remains incomplete.
  2. [Section 1.4, Proposition 1.6] This proposition is load-bearing and is imported without proof. The paper says only that "a careful inspection of the proofs" of [6, Theorems 1.7 and 1.9] leads to it, but the localized hypotheses (1.16) and the appearance of Ω in all four conditions are not shown to follow from the original statements. Since Theorem 1.9 inherits every hidden assumption from this proposition, a complete proof or a precise derivation from [6] is required. This is especially important because the constants in (1.19) and (1.20) differ from those in Definition 1.7 after the factor 1/2, and the reader must be able to verify the compatibility.
minor comments (5)
  1. [Theorem 1.8 / Definition 4.1] Definition 4.1 defines SVD_{u,Ω} only for points in tildeΩ_u, while Theorem 1.8 asserts existence of x̄∈Ω with SVD_{u,Ω}(x̄,x)=0 for almost every x. The proof begins with x̄∈tildeΩ_u, and Remark 4.2 suggests an extension. Please reformulate the theorem on tildeΩ_u or explicitly invoke Remark 4.2 so that the statement is well-posed for arbitrary x̄∈Ω.
  2. [Lemma 1.13] The displayed identity "H^{n-1}({v∧ = 0} \setminus {v∧ = 0}) = 0" is evidently a typo; the first set should be the boundary set appearing in (1.26), namely ∂{v∧>0} \setminus {v∧=0}. Please correct.
  3. [Throughout] There are several spelling inconsistencies: "Schwartz" should be "Schwarz" in the introduction and references, and "Radon–Nykodim" in Section 2.2 should be "Radon–Nikodym".
  4. [Section 1.5] The informal sentence "if {v∧>0} ⊂ R^n is H^{n-1}-equivalent to an open and connected set Ω it can be proved that rigidity over R^n holds if and only if v∈BV(Ω) is minimally singular" would benefit from a precise hypothesis or a forward reference to Theorem 1.9.
  5. [Proposition 1.6(iv)] The quantifier "for L1-a.e. M>0" appears after the integral equality; please state clearly that (1.20) is required to hold for every bounded Borel set B and for L1-a.e. M>0.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.9 is a direct application of the external characterization from [6], and the SVD criterion of Theorem 1.8 is independent nontrivial content.

full rationale

The derivation chain is not circular. Definition 1.7 deliberately mirrors the barycenter conditions of Proposition 1.6, but minimal singularity is not defined in terms of rigidity; the identification of the two requires the independent published characterization from [6, Theorems 1.7, 1.9], quoted as Proposition 1.6. The skeptical worry that rigidity over Ω only gives constancy of barycenters of actual extremals is addressed by the 'if' direction of Proposition 1.6: given any GBV function b satisfying (1.18)-(1.20), the v-distributed set whose vertical slices are centered at b(x) with length v(x) satisfies (1.17) by construction, so Proposition 1.6 applies and places that set in M_Ω(v). The paper leaves this elementary construction implicit in Step 1 of Theorem 1.9, but that is an expositional omission, not a circular assumption. Theorem 1.8 itself is proved from the definition of SVD and the GBV estimates of Section 4 without importing the rigidity conclusion, and Proposition 5.1 and Proposition 6.1 follow from Theorem 1.8. No fitted parameter is renamed as a prediction, no self-citation chain forces the main result, and the author's own prior works [8,15,16] appear only as contextual references or for standard inequalities. The central rigidity characterization therefore has independent content and does not reduce to its inputs by construction.

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

The central results rest on standard BV theory and on prior specialized characterizations from [6] and [7]. No empirical or fitted parameters appear. The paper's genuinely new objects are the definitions of minimally singular functions and the singular vertical distance, both internal mathematical constructs without external falsifiable handles.

assumptions (4)
  • standard math Standard theory of BV functions, slicing, coarea formula, and fine properties of BV functions as in Ambrosio-Fusco-Pallara [2]
    The paper repeatedly invokes [2] for BV structure theorems, Proposition 2.4 on 1-dimensional restrictions, and related results throughout Sections 2-6.
  • domain assumption Proposition 1.6, the localized characterization of equality cases M_Ω(v), cited from Cagnetti-Colombo-De Philippis-Maggi [6, Theorems 1.7 and 1.9] without proof
    This prior theorem, stated in the paper as a proposition with 'a careful inspection of the proofs' of [6], is the bridge between equality cases and barycenter functions. Theorem 1.9 relies on it to connect minimal singularity to rigidity.
  • domain assumption Essential connectedness criterion and essential disconnection from Cagnetti et al. [7]
    The paper uses this notion to formulate condition (1.8) and to prove Lemma 6.4 and Lemma 1.13, which are needed for the rigidity applications.
  • standard math De Giorgi structure theorem and Decomposition Theorem for sets of finite perimeter (Ambrosio-Caselles-Masnou-Morel [1] and Maggi [14])
    Used in the proof of Theorem 1.9 Step 2 and in the construction of Proposition 1.12, when decomposing a set into indecomposable components.
invented entities (2)
  • Minimally singular functions (Definition 1.7)
    purpose: To identify BV functions whose singular part cannot support nonconstant GBV functions with controlled distributional derivative, serving as the analytic counterpart of rigidity.
    New notion introduced in this paper; it is an internal mathematical definition with no external empirical handle, and its usefulness is measured by the theorems proved about it.
  • Singular vertical distance SVD_{u,Ω} (Definition 4.1)
    purpose: To quantify the infimum of the total singular variation of u along polygonal chains connecting two points; it characterizes minimal singularity in Theorem 1.8.
    New pseudometric introduced in this paper; it is a mathematical construction with no independent evidence outside the paper, and its value is judged by the characterization theorem it supports.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Minimally singular functions and the rigidity problem for Steiner's perimeter inequality." pith.science (2026). https://pith.science/paper/6Z6U76BV

@misc{pith2026241117633,
  author       = {Pith},
  title        = {Pith review of: Minimally singular functions and the rigidity problem for Steiner's perimeter inequality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6Z6U76BV}},
  note         = {Machine review of arXiv:2411.17633}
}
abstract

Let $n\geq 1$, and let $\Omega\subset \mathbb{R}^n$ be an open and connected set with finite Lebesgue measure. Among functions of bounded variation in $\Omega$ we introduce the class of \emph{minimally singular} functions. Inspired by the original theory of Vol'pert of one-dimensional restrictions of $BV$ functions, we provide a geometric characterization for this class of functions via the introduction of a pseudometric that we call \emph{singular vertical distance}. As an application, we present a characterization result for \emph{rigidity} of equality cases for Steiner's perimeter inequality. By \emph{rigidity} we mean that the only extremals for Steiner's perimeter inequality are vertical translations of the Steiner symmetric set.

Figures

Figures reproduced from arXiv: 2411.17633 by the authors.

Figure 1.1
Figure 1.1. A pictorial representation in R 3 of {v ∧ = 0} (see the red line on the left) that essentially disconnects the projection of F[v] on R 2 that is {v > 0} (see the light red region on the left). Indeed the set E on the right is a v-distributed set having the same perimeter of F[v], thus in this situation rigidity fails. Let us observe that there is no limitation on how much we could have lifted up the parallelepiped-b… view at source ↗
Figure 1
Figure 1. ) [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 1.2
Figure 1.2. ). F [v] E [PITH_FULL_IMAGE:figures/full_fig_p004_1_2.png] view at source ↗
Figures from the paper (4 more)
Figure 1.3
Figure 1.3. Figure 1.3: On the left, a pictorial representation in R 3 of the subgraph of a function u ∈ BV (Ω) which is not minimally singular. In light blue we have the vertical parts of ∂ ∗Σ u , while in grey we have the remaining part of ∂ ∗Σ u . On the right, in grey we can see ∂ ∗Σ b …
Figure 1.4
Figure 1.4. Figure 1.4: A pictorial representation in R 3 of the idea at the hearth of the notion of singular vertical distance between ¯x and x for a given u ∈ BV (Ω). In bold black we can see a polygonal chain γ connecting ¯x and x in Ω. In green (appearing on ∂ ∗Σ u ) we drew (γ, uγ) whe…
Figure 3.1
Figure 3.1. Figure 3.1: A pictorial representation in R 2 of part of the notation introduced in Section 2.4 and in Section 3.1. In particular, O stands for the origin in R 2 , and for γ as in the above picture we have that m = 3 with γ(a0) = ¯x and γ(a3) = x. 3.2. A family of one-dimensiona…
Figure 3.2
Figure 3.2. Figure 3.2: A pictorial representation in R 3 of parts of the notation introduced at the beginning of step 1 and in step 1.1 of the proof of Proposition 3.4. On the left we can see B = Bϵ(0) ⊂ R 3 together with B2 (in grey) and B1 . On the right picture we can see a dotted line …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 18 canonical work pages

  1. [6]

    Cagnetti, M

    F. Cagnetti, M. Colombo, G. De Philippis, and F. Maggi , Rigidity of equality cases in Steiner’s perimeter inequality, Anal. PDE, 7 (2014), pp. 1535–1593

    work page 2014

  2. [1]

    Ambrosio, V

    L. Ambrosio, V. Caselles, S. Masnou, and J.-M. Morel , Connected components of sets of finite perimeter and applications to image processing , J. Eur. Math. Soc. (JEMS), 3 (2001), no. 1, pp. 39–92

    work page 2001

  3. [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

    2000

  4. [3]

    J. E. Brothers and W. P. Ziemer , Minimal rearrangements of Sobolev functions , J. Reine Angew. Math., 384 (1988), pp. 153–179

    work page 1988

  5. [4]

    Cagnetti , Rigidity for perimeter inequalities under symmetrization: state of the art and open problems , Port

    F. Cagnetti , Rigidity for perimeter inequalities under symmetrization: state of the art and open problems , Port. Math. 75 (2018), no. 3/4, pp. 329–366

    work page 2018

  6. [5]

    , Necessary and sufficient conditions for rigidity of P´ olya-Szeg¨ o inequality under Schwarz symmetrisation, Nonlinear Differ. Equ. Appl. 32, 7 (2025)

    work page 2025

  7. [7]

    , Essential connectedness and the rigidity problem for Gaussian symmetrization , J. Eur. Math. Soc. (JEMS), 19 (2017), pp. 395–439

    work page 2017

  8. [8]

    Cagnetti, M

    F. Cagnetti, M. Perugini, D. St¨oger Rigidity for perimeter inequality under spherical symmetrisation. Calc. Var. Partial Differential Equations 59 (2020), no. 4, Paper No 139, 53 pp

    work page 2020

Show all 19 references
  1. [9]

    Chleb´ık, A

    M. Chleb´ık, A. Cianchi, and N. Fusco , The perimeter inequality under Steiner symmetrization: cases of equality, Ann. of Math. (2), 162 (2005), pp. 525–555. 37

    2005

  2. [10]

    De Giorgi, Sulla propriet` a isoperimetrica dell’ipersfera, nella classe degli insiemi aventi frontiera orientata di misura finita , Atti Accad

    E. De Giorgi, Sulla propriet` a isoperimetrica dell’ipersfera, nella classe degli insiemi aventi frontiera orientata di misura finita , Atti Accad. Naz. Lincei. Mem. Cl. Sci. Fis. Mat. Nat. Sez. I (8), 5 (1958), pp. 33–44

    1958

  3. [11]

    [Author name on title page: Ennio Giorgi], Edited by Luigi Ambrosio, Gianni Dal Maso, Marco Forti, Mario Miranda and Sergio Spagnolo, Reprint of the 2006 edition

    , Selected papers, Springer Collected Works in Mathematics, Springer, Heidelberg, 2013. [Author name on title page: Ennio Giorgi], Edited by Luigi Ambrosio, Gianni Dal Maso, Marco Forti, Mario Miranda and Sergio Spagnolo, Reprint of the 2006 edition

    2013

  4. [12]

    Domazakis, Rigidity for the perimeter inequality under Schwarz symmetrisation , Proc

    G. Domazakis, Rigidity for the perimeter inequality under Schwarz symmetrisation , Proc. R. Soc. Edinb. A: Math., (forthcoming)

  5. [13]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Soucek , Cartesian currents in the Calculus of Variations. I. Cartesian currents, vol. 37 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, Springer-Verlag, Berlin, 1998

    1998

  6. [14]

    Maggi , Sets of finite perimeter and geometric variational problems , vol

    F. Maggi , Sets of finite perimeter and geometric variational problems , vol. 135 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2012. An introduction to Geometric Measure Theory

    2012

  7. [15]

    Perugini, Rigidity of Steiner’s inequality for the anisotropic perimeter Ann

    M. Perugini, Rigidity of Steiner’s inequality for the anisotropic perimeter Ann. Sc. Norm. Super. Pisa Cl. Sci., (5) Vol. XXIII (2022), pp. 1921–2001

    2022

  8. [16]

    , Perimeter inequality under circular and Steiner symmetrisation: Geometric characterisation of ex- tremals Nonlinear Analysis, Volume 240, (2024)

    2024

  9. [17]

    Royden, P

    H.L. Royden, P. Fitzpatrick, Real Analysis, Prentice Hall, Boston, 2010

    2010

  10. [18]

    Steiner , Einfacher Beweis der isoperimetrischen Haupts¨ atze J

    J. Steiner , Einfacher Beweis der isoperimetrischen Haupts¨ atze J. reine angew Math., Volume 18, (1838), 281–296

  11. [19]

    A. I. Vol ′ pert, Spaces BV and quasilinear equations , Mat. Sb. (N.S.), 73 (115) (1967), pp. 255–302. (Matteo Perugini) Universit´a degli Studi di Milano, Dipartimento di Matematica, Milano Email address : matteo.perugini@unimi.it 38

    1967

Pith tools

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