Pith. sign in

REVIEW 2 minor 30 references

On the equivalence of BV notions in metric measure spaces

T0 review · 0 major / 2 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read All notions of functions of bounded variation coincide isometrically in locally complete metric measure spaces.

desk verdict This paper proves isometric equivalence among several BV definitions in metric measure spaces, extending the 2014 Ambrosio-Di Marino result to more pseudo-gradients and curve-richness notions in locally complete spaces. read the letter →

arxiv 2606.22899 v1 pith:CXFFWG65 submitted 2026-06-22 math.FA math.MG

Luigi Ambrosio , Enrico Pasqualetto , Nageswari Shanmugalingam This is my paper
classification math.FAmath.MG
keywords BVfunctionsmetricmeasurespacesboundedvariationrelaxationtestplansabsolutelycontinuouscurvesisometricequivalencetotal
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 examines multiple definitions of the BV space on a metric measure space, split into relaxation methods that start from smoother functions with varying pseudo-gradients and curve-based methods that demand controlled behavior along sufficiently many absolutely continuous paths, where richness of the path family is measured either by an approximation modulus or by test plans. It proves these definitions produce identical spaces equipped with identical total variation seminorms. A reader would care because the result removes the need to track which definition is in use when applying BV theory to new settings. The equivalence extends an earlier result that held only in more restrictive spaces.

What carries the argument

Isometric equivalence between relaxation procedures (from Lipschitz or smooth functions) and testing along rich families of absolutely continuous curves.

What would settle it

An explicit function on a non-locally complete metric measure space whose total variation computed via relaxation differs from the total variation computed via test plans.

Watch

Extended reading notes

Core claim

The paper proves that the relaxation-based BV notions and the curve-based BV notions (using either Martio's approximation modulus or Ambrosio-Gigli-Savaré test plans) are isometrically equivalent on any locally complete metric measure space, so they induce the same seminorm on L^1 functions.

Load-bearing premise

The underlying space must be a locally complete metric measure space.

Editorial extensions

If this is right

  • Any theorem proved with one BV definition automatically holds for all the others.
  • The total variation of a function is independent of the chosen definition.
  • Results from Euclidean or Riemannian settings transfer directly to general locally complete metric measure spaces.
  • One may freely select the definition that simplifies a given proof or computation.

Reading between the lines

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

  • The equivalence may allow BV theory to be axiomatized from any single convenient characterization.
  • Computations on discrete or fractal spaces could adopt whichever definition is easiest to verify numerically.
  • Removing local completeness might produce counterexamples that separate the definitions.
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 / 2 minor

Summary. The paper compares several notions of BV functions on metric measure spaces (X,d,m), grouped into two classes: those defined via relaxation from nicer functions (with varying pseudo-gradients) and those defined via good behavior along rich families of absolutely continuous curves (using either Martio modulus or test plans). Extending Ambrosio-Di Marino (J. Funct. Anal. 2014), it proves that all these notions are isometrically equivalent when the space is locally complete.

Significance. If the equivalence holds, the result unifies disparate definitions of BV in the metric setting, allowing practitioners to switch between relaxation and curve-based characterizations without loss of the total variation. This strengthens the foundations of analysis on metric measure spaces and directly extends a prior isometric-equivalence theorem to the locally complete case.

minor comments (2)
  1. The abstract states the result for 'any locally complete metric measure space' but does not indicate whether the local-completeness hypothesis is sharp; a brief remark or counter-example reference in the introduction would clarify the necessity of the assumption.
  2. Notation for the various BV seminorms (e.g., |Du|_relax vs. |Du|_curve) is introduced informally in the abstract; a consolidated table or subsection listing the precise definitions before the equivalence statements would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; equivalence proof is self-contained

full rationale

The paper presents a mathematical proof that several BV notions (relaxation-based and curve-based via Martio modulus or test plans) are isometrically equivalent in locally complete metric measure spaces, explicitly extending the 2014 Ambrosio-Di Marino result. No self-definitional reduction, fitted parameter renamed as prediction, or load-bearing self-citation chain appears in the abstract or described argument. The central claim is an independent equivalence theorem whose validity rests on the paper's own derivations rather than re-labeling inputs or prior self-citations as the sole justification. This is the expected outcome for a rigorous comparison paper in analysis; the derivation chain does not collapse to its inputs by construction.

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

The paper is a pure equivalence proof in metric geometry and relies only on standard background results in the field; no free parameters, ad-hoc axioms, or new entities are introduced.

assumptions (1)
  • standard math Standard properties of metric measure spaces and absolutely continuous curves (as in the cited references)
    Invoked throughout the comparison of definitions

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the equivalence of BV notions in metric measure spaces." pith.science (2026). https://pith.science/paper/CXFFWG65

@misc{pith2026260622899,
  author       = {Pith},
  title        = {Pith review of: On the equivalence of BV notions in metric measure spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CXFFWG65}},
  note         = {Machine review of arXiv:2606.22899}
}
abstract

The aim of the paper is to compare in detail several notions of $BV$ space of functions of bounded variation in metric measure spaces $({\rm X},\mathsf{d},\mathfrak{m})$. Informally, they can be grouped in two classes, either by a relaxation procedure starting from a class of nicer functions (and with different notions of pseudo-gradient in the relaxation procedure) or by requiring good behaviour along a rich class of absolutely continuous curves. In the second approach, richness can be understood according to the notion of approximation modulus of [O. Martio, Adv. Calc. Var., 9 (2016)] or according to the notion of test plan introduced in [L. Ambrosio, N. Gigli, and G. Savar\'{e}, Invent. Math., 195 (2014)]. Extending [L. Ambrosio and S. Di Marino, J. Funct. Anal., 266 (2014)], we prove that all these approaches are isometrically equivalent in any locally complete metric measure space.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages

  1. [1]

    Ambrosio and S

    L. Ambrosio and S. Di Marino , Equivalent definitions of BV space and of total variation on metric measure spaces , J. Funct. Anal., 266 (2014), pp. 4150--4188

    2014

  2. [2]

    Ambrosio, S

    L. Ambrosio, S. Di Marino, and G. Savar\'e , On the duality between p -modulus and probability measures , J. Eur. Math. Soc. (JEMS), 17 (2015), pp. 1817--1853

    2015

  3. [3]

    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. [4]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savar\'e , Density of L ipschitz functions and equivalence of weak gradients in metric measure spaces , Rev. Mat. Iberoam., 29 (2013), pp. 969--996

    2013

  5. [5]

    Math., 195 (2014), pp

    height 2pt depth -1.6pt width 23pt, Calculus and heat flow in metric measure spaces and applications to spaces with R icci bounds from below , Invent. Math., 195 (2014), pp. 289--391

    2014

  6. [6]

    Ambrosio, T

    L. Ambrosio, T. Ikonen, D. Lu c i\' c , and E. Pasqualetto , Metric S obolev spaces I : E quivalence of definitions , Milan J. Math., 92 (2024), pp. 255--347

    2024

  7. [7]

    Ambrosio and P

    L. Ambrosio and P. Tilli , Topics on analysis in metric spaces , vol. 25 of Oxford Lecture Series in Mathematics and its Applications, Oxford University Press, Oxford, 2004

    2004

  8. [8]

    Cheeger , Differentiability of L ipschitz functions on metric measure spaces , Geom

    J. Cheeger , Differentiability of L ipschitz functions on metric measure spaces , Geom. Funct. Anal., 9 (1999), pp. 428--517

    1999

Show all 30 references
  1. [9]

    Cobza s , R

    S . Cobza s , R. Miculescu, and A. Nicolae , Lipschitz F unctions , Lecture Notes in Mathematics, Springer International Publishing, 2019

    2019

  2. [10]

    Di Marino , Recent advances on BV and S obolev spaces in metric measure spaces , PhD thesis, Scuola Normale Superiore (Pisa), 2014

    S. Di Marino , Recent advances on BV and S obolev spaces in metric measure spaces , PhD thesis, Scuola Normale Superiore (Pisa), 2014. CVGMT preprint

    2014

  3. [11]

    Di Marino, N

    S. Di Marino, N. Gigli, and A. Pratelli , Global L ipschitz extension preserving local constants , Rend. Lincei Mat. Appl., 31 (2020), pp. 757--765

    2020

  4. [12]

    Durand-Cartagena, S

    E. Durand-Cartagena, S. Eriksson-Bique, R. Korte, and N. Shanmugalingam , Equivalence of two B V classes of functions in metric spaces, and existence of a S emmes family of curves under a 1 - P oincar\' e inequality , Advances in Calculus of Variations, 14 (2021), pp. 231--245

    2021

  5. [13]

    Gutev , Lipschitz extensions and approximations , Journal of Mathematical Analysis and Applications, 491 (2020), p

    V. Gutev , Lipschitz extensions and approximations , Journal of Mathematical Analysis and Applications, 491 (2020), p. 124242

    2020

  6. [14]

    Haj asz , Sobolev spaces on metric-measure spaces , in Heat kernels and analysis on manifolds, graphs, and metric spaces ( P aris, 2002), vol

    P. Haj asz , Sobolev spaces on metric-measure spaces , in Heat kernels and analysis on manifolds, graphs, and metric spaces ( P aris, 2002), vol. 338 of Contemp. Math., Amer. Math. Soc., Providence, RI, 2003, pp. 173--218

    2002

  7. [15]

    Heinonen , Nonsmooth calculus , Bull

    J. Heinonen , Nonsmooth calculus , Bull. Amer. Math. Soc. (N.S.), 44 (2007), pp. 163--232

    2007

  8. [16]

    Heinonen, P

    J. Heinonen, P. Koskela, N. Shanmugalingam, and J. T. Tyson , Sobolev spaces on metric measure spaces. An approach based on upper gradients , vol. 27 of New Mathematical Monographs, Cambridge University Press, Cambridge, 2015

    2015

  9. [17]

    Honzlov\'a Exnerov\'a, O

    V. Honzlov\'a Exnerov\'a, O. r. F. K. Kalenda, J. Mal\'y, and O. Martio , Plans on measures and AM -modulus , J. Funct. Anal., 281 (2021), pp. Paper No. 109205, 35

    2021

  10. [18]

    Honzlov\'a Exnerov\'a, J

    V. Honzlov\'a Exnerov\'a, J. Mal\'y, and O. Martio , Functions of bounded variation and the AM -modulus in R^n , Nonlinear Anal., 177 (2018), pp. 553--571

    2018

  11. [19]

    Koskela and P

    P. Koskela and P. MacManus , Quasiconformal mappings and S obolev spaces , Studia Math., 131 (1998), pp. 1--17

    1998

  12. [20]

    Martio , Functions of bounded variation and curves in metric measure spaces , Adv

    O. Martio , Functions of bounded variation and curves in metric measure spaces , Adv. Calc. Var., 9 (2016), pp. 305--322

    2016

  13. [21]

    Martio , The space of functions of bounded variation on curves in metric measure spaces , Conform

    O. Martio , The space of functions of bounded variation on curves in metric measure spaces , Conform. Geom. Dyn., 20 (2016), pp. 81--96

    2016

  14. [22]

    E. J. McShane , Extension of range of functions , Bull. Amer. Math. Soc., 40 (1934), pp. 837--842

    1934

  15. [23]

    Miranda, Jr

    M. Miranda, Jr. , Functions of bounded variation on ``good'' metric spaces , J. Math. Pures Appl. (9), 82 (2003), pp. 975--1004

    2003

  16. [24]

    Nobili, E

    F. Nobili, E. Pasqualetto, and T. Schultz , On master test plans for the space of BV functions , Adv. Calc. Var., 16 (2023), pp. 1061--1092

    2023

  17. [25]

    Nobili, F

    F. Nobili, F. Renzi, and F. Vitillaro , Mosco-convergence of C heeger energies on varying spaces satisfying curvature dimension conditions , Arxiv 2511.13320, (2025)

    2025

  18. [26]

    Pasqualetto and G

    E. Pasqualetto and G. E. Sodini , Functions of bounded variation and L ipschitz algebras in metric measure spaces , ESAIM:COCV, 32 (2026)

    2026

  19. [27]

    H. L. Royden and P. M. Fitzpatrick , Real Analysis , Pearson, 2010

    2010

  20. [28]

    Savar\' e , Sobolev spaces in extended metric-measure spaces , in New trends on analysis and geometry in metric spaces, vol

    G. Savar\' e , Sobolev spaces in extended metric-measure spaces , in New trends on analysis and geometry in metric spaces, vol. 2296 of Lecture Notes in Math., Springer, Cham, 2022, pp. 117--276

    2022

  21. [29]

    S. M. Srivastava , A course on B orel sets , vol. 180 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1998

    1998

  22. [30]

    A. H. Stone , Paracompactness and product spaces , Bulletin of the American Mathematical Society, 54 (1948), pp. 977--982

    1948

Pith tools

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