pith. sign in

arxiv: 2606.30538 · v1 · pith:XXCANIQZnew · submitted 2026-06-29 · 🧮 math.MG

Measure-valued valuations on star bodies

Jorge S. Ib\'a\~nez-Marcos , Monika Ludwig , Pedro Tradacete , Ignacio Villanueva This is my paper

Pith reviewed 2026-06-30 02:58 UTC · model grok-4.3

classification 🧮 math.MG
keywords valuationsstar bodiesmeasure-valuedweak-star continuitydual area measuresrotation equivariantconvex geometry
0
0 comments X

The pith

Weak-star continuous measure-valued valuations on star bodies in R^n admit a complete classification.

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

The paper establishes a complete classification of weak-star continuous, measure-valued valuations on star bodies in Euclidean n-space. This provides an integral representation for the rotation-equivariant cases and characterizes dual area measures. A sympathetic reader would care because such valuations encode additive properties of measures on star-shaped sets, which are central to geometric measure theory and convex geometry. Understanding their structure clarifies how these functionals behave under set operations like unions.

Core claim

Every weak-star continuous measure-valued valuation on star bodies in R^n can be classified completely, with the classification implying an integral representation for rotation equivariant ones and a characterization of dual area measures.

What carries the argument

Weak-star continuous measure-valued valuation, which is additive on unions of star bodies and continuous with respect to the weak-star topology on measures.

Load-bearing premise

That weak-star continuity alone suffices to classify all measure-valued valuations on star bodies without needing additional regularity conditions on the measures.

What would settle it

The discovery of a weak-star continuous measure-valued valuation on star bodies that does not fit the proposed classification would disprove the claim.

read the original abstract

A complete classification of weak$^*$~continuous, measure-valued valuations is established on star bodies in $\R^n$. Consequences are an integral representation of rotation equivariant, measure-valued valuations and a characterization of dual area measures.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper establishes a complete classification of all weak*-continuous measure-valued valuations on star bodies in R^n. As consequences it derives an integral representation for the rotation-equivariant subclass and a characterization of dual area measures.

Significance. If the classification is correct it supplies a measure-valued analogue of classical scalar valuation theorems (Hadwiger-type results) in the setting of star bodies, together with explicit integral representations that could be useful for integral-geometric applications. The work also supplies a new characterization of dual area measures.

major comments (2)
  1. [Abstract / Main classification theorem] The abstract states that the classification is established, yet the provided text supplies neither a proof outline nor an explicit verification that additivity plus weak* continuity forces the output measures to have support confined to the radial boundary or unit sphere. This step is load-bearing for the completeness claim.
  2. [Definition of measure-valued valuation and Theorem 1.1] It is not shown that every weak*-continuous valuation satisfying the stated additivity on star bodies must produce measures whose total variation is controlled or whose support is restricted in the manner required by the listed forms. If measures with other supports can still satisfy the hypotheses, the classification is incomplete.
minor comments (2)
  1. Notation for the space of star bodies and the weak* topology on measures should be introduced before the statement of the main theorem.
  2. The paper should include a short remark on whether the listed forms are exhaustive even when the measures are allowed to be signed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments. We address each major comment below, pointing to the relevant parts of the manuscript where the required verifications appear.

read point-by-point responses

  1. Referee: [Abstract / Main classification theorem] The abstract states that the classification is established, yet the provided text supplies neither a proof outline nor an explicit verification that additivity plus weak* continuity forces the output measures to have support confined to the radial boundary or unit sphere. This step is load-bearing for the completeness claim.

    Authors: The explicit verification is contained in the proof of Theorem 1.1 (Section 3). Proposition 3.1 first shows that any weak*-continuous measure-valued valuation on star bodies must be supported on the radial boundary: if positive mass were placed in the interior, the valuation property applied to a radial decomposition into two star bodies with overlapping interiors would produce a contradiction with additivity. Weak* continuity is then used to pass to the limit under radial approximation, localizing the measure to the unit sphere in the radial sense. We will insert a short proof sketch of this localization step into the introduction of the revised manuscript. revision: partial

  2. Referee: [Definition of measure-valued valuation and Theorem 1.1] It is not shown that every weak*-continuous valuation satisfying the stated additivity on star bodies must produce measures whose total variation is controlled or whose support is restricted in the manner required by the listed forms. If measures with other supports can still satisfy the hypotheses, the classification is incomplete.

    Authors: The control on total variation and the support restriction are established directly in the proof of Theorem 1.1. Lemma 3.2 derives a uniform bound on the total variation by applying the valuation property to the unit ball and its radial scalings; the resulting estimate depends only on the valuation evaluated at the unit ball. Lemma 3.3 then proves that any measure with mass away from the radial boundary violates weak* continuity when the star body is approximated in the radial metric by bodies whose radial functions are smooth and strictly positive. Consequently, only the integral representations listed in the theorem can arise, and the classification is exhaustive. revision: no

Circularity Check

0 steps flagged

No circularity: classification rests on independent valuation additivity and weak* continuity

full rationale

The abstract states a complete classification of weak* continuous measure-valued valuations on star bodies in R^n, with consequences for rotation equivariant cases and dual area measures. No derivation steps, equations, or self-citations are provided that reduce the claimed classification to a fitted input, self-definition, or prior author result by construction. The additivity property on unions of star bodies and weak* continuity are standard external conditions in valuation theory; the result does not rename known patterns or smuggle ansatzes via citation. The derivation chain is therefore self-contained and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available; therefore the ledger records only the background assumptions that must be present for any such classification theorem in convex geometry.

axioms (2)
  • domain assumption Valuations satisfy finite additivity on star bodies whose unions remain star bodies.
    Standard definition invoked by any valuation theorem on star bodies.
  • domain assumption The weak-star topology on the space of measures is the relevant continuity notion.
    The classification is stated precisely for weak-star continuous valuations.

pith-pipeline@v0.9.1-grok · 5553 in / 1184 out tokens · 52570 ms · 2026-06-30T02:58:33.895126+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

54 extracted references · 39 canonical work pages · 1 internal anchor

  1. [1]

    , TITLE =

    Alesker, S. , TITLE =. Adv. Geom. , FJOURNAL =. 2019 , PAGES =. doi:10.1515/advgeom-2018-0031 , URL =

    work page doi:10.1515/advgeom-2018-0031 2019

  2. [2]

    and Burkinshaw, O

    Aliprantis, C. and Burkinshaw, O. , TITLE =. 2006 , PAGES =. doi:10.1007/978-1-4020-5008-4 , URL =

    work page doi:10.1007/978-1-4020-5008-4 2006

  3. [3]

    Cohn, D. L. , TITLE =. 2013 , PAGES =. doi:10.1007/978-1-4614-6956-8 , URL =

    work page doi:10.1007/978-1-4614-6956-8 2013

  4. [4]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2017 , PAGES =. doi:10.1007/s00526-017-1243-4 , URL =

    work page doi:10.1007/s00526-017-1243-4 2017

  5. [5]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2019 , PAGES =. doi:10.1093/imrn/rnx189 , URL =

    work page doi:10.1093/imrn/rnx189 2019

  6. [6]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.jfa.2020.108573 , URL =

    work page doi:10.1016/j.jfa.2020.108573 2020

  7. [7]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2022.108832 , URL =

    work page doi:10.1016/j.aim.2022.108832 2023

  8. [8]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2022 , PAGES =

    2022

  9. [9]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , journal =. The. 2024 , volume =

    2024

  10. [10]

    and Ludwig, M

    Colesanti, A. and Ludwig, M. and Mussnig, F. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2024 , PAGES =. doi:10.1007/s00039-024-00693-8 , URL =

    work page doi:10.1007/s00039-024-00693-8 2024

  11. [11]

    and Pagnini, D

    Colesanti, A. and Pagnini, D. and Tradacete, P. and Villanueva, I. , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2020.107069 , URL =

    work page doi:10.1016/j.aim.2020.107069 2020

  12. [12]

    and Pagnini, D

    Colesanti, A. and Pagnini, D. and Tradacete, P. and Villanueva, I. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jfa.2020.108873 , URL =

    work page doi:10.1016/j.jfa.2020.108873 2021

  13. [13]

    and Faires, B

    Diestel, J. and Faires, B. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1974 , PAGES =. doi:10.2307/1996758 , URL =

    work page doi:10.2307/1996758 1974

  14. [14]

    and Uhl, Jr., J

    Diestel, J. and Uhl, Jr., J. J. , TITLE =. 1977 , PAGES =

    1977

  15. [15]

    and Habala, P

    Fabian, M. and Habala, P. and H\'. Functional Analysis and Infinite-dimensional Geometry , SERIES =. 2001 , PAGES =. doi:10.1007/978-1-4757-3480-5 , URL =

    work page doi:10.1007/978-1-4757-3480-5 2001

  16. [16]

    , TITLE =

    Federer, H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1959 , PAGES =. doi:10.2307/1993504 , URL =

    work page doi:10.2307/1993504 1959

  17. [17]

    , TITLE =

    Federer, H. , TITLE =. 1969 , PAGES =

    1969

  18. [18]

    , TITLE =

    Gardner, R. , TITLE =. 2006 , PAGES =. doi:10.1017/CBO9781107341029 , URL =

    work page doi:10.1017/cbo9781107341029 2006

  19. [19]

    and Hug, D

    Gardner, R. and Hug, D. and Weil, W. and Ye, D. , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.jmaa.2015.05.016 , URL =

    work page doi:10.1016/j.jmaa.2015.05.016 2015

  20. [20]

    , TITLE =

    Hadwiger, H. , TITLE =. 1957 , PAGES =

    1957

  21. [21]

    and Lutwak, E

    Huang, Y. and Lutwak, E. and Yang, D. and Zhang,G. , TITLE =. Acta Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1007/s11511-016-0140-6 , URL =

    work page doi:10.1007/s11511-016-0140-6 2016

  22. [22]

    Yi-Jen Shih, Desh Raj, Chunyang Wu, Wei Zhou, SK Bong, Yashesh Gaur, Jay Mahadeokar, Ozlem Kalinli, and Mike Seltzer

    Klain, D. , TITLE =. Adv. Math. , FJOURNAL =. 1996 , PAGES =. doi:10.1006/aima.1996.0048 , URL =

    work page doi:10.1006/aima.1996.0048 1996

  23. [23]

    , TITLE =

    Klain, D. , TITLE =. Adv. Math. , FJOURNAL =. 1997 , PAGES =. doi:10.1006/aima.1997.1601 , URL =

    work page doi:10.1006/aima.1997.1601 1997

  24. [24]

    , TITLE =

    Knoerr, J. , TITLE =. J. Differential Geom. , FJOURNAL =. 2024 , PAGES =. doi:10.4310/jdg/1712344223 , URL =

    work page doi:10.4310/jdg/1712344223 2024

  25. [25]

    , TITLE =

    Knoerr, J. , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2024 , PAGES =. doi:10.1007/s00526-024-02698-5 , URL =

    work page doi:10.1007/s00526-024-02698-5 2024

  26. [26]

    and Ulivelli, J

    Knoerr, J. and Ulivelli, J. , TITLE =. Math. Ann. , FJOURNAL =. 2024 , PAGES =. doi:10.1007/s00208-024-02902-z , URL =

    work page doi:10.1007/s00208-024-02902-z 2024

  27. [27]

    and Ludwig, M

    Li, J. and Ludwig, M. , TITLE =. Preprint , YEAR =

  28. [28]

    and Tzafriri, L

    Lindenstrauss, J. and Tzafriri, L. , TITLE =. 1977 , PAGES =

    1977

  29. [29]

    and Tzafriri, L

    Lindenstrauss, J. and Tzafriri, L. , TITLE =. 1979 , PAGES =

    1979

  30. [30]

    , TITLE =

    Ludwig, M. , TITLE =. Adv. Math. , FJOURNAL =. 2011 , PAGES =. doi:10.1016/j.aim.2010.08.021 , URL =

    work page doi:10.1016/j.aim.2010.08.021 2011

  31. [31]

    , TITLE =

    Ludwig, M. , TITLE =. Amer. J. Math. , FJOURNAL =. 2012 , PAGES =. doi:10.1353/ajm.2012.0019 , URL =

    work page doi:10.1353/ajm.2012.0019 2012

  32. [32]

    , TITLE =

    Ludwig, M. , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1016/j.aam.2012.12.003 , URL =

    work page doi:10.1016/j.aam.2012.12.003 2013

  33. [33]

    , TITLE =

    Ludwig, M. , TITLE =. European. 2023 , ISBN =

    2023

  34. [34]

    , TITLE =

    Lutwak, E. , TITLE =. Pacific J. Math. , FJOURNAL =. 1975 , PAGES =

    1975

  35. [35]

    , TITLE =

    Lutwak, E. , TITLE =. Adv. in Math. , FJOURNAL =. 1988 , PAGES =

    1988

  36. [36]

    and Ma, D

    Li, J. and Ma, D. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jfa.2016.09.011 , URL =

    work page doi:10.1016/j.jfa.2016.09.011 2017

  37. [37]

    M. A. Mouamine and F. Mussnig , title =. 2026 , journal =

    2026

  38. [38]

    , TITLE =

    Mussnig, F. , TITLE =. J. Geom. Anal. , FJOURNAL =. 2021 , PAGES =. doi:10.1007/s12220-020-00539-3 , URL =

    work page doi:10.1007/s12220-020-00539-3 2021

  39. [39]

    , TITLE =

    Mussnig, F. , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.01.012 , URL =

    work page doi:10.1016/j.aim.2019.01.012 2019

  40. [40]

    , TITLE =

    Mussnig, F. , TITLE =. Canad. J. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.4153/S0008414X19000531 , URL =

    work page doi:10.4153/s0008414x19000531 2021

  41. [41]

    , TITLE =

    Schneider, R. , TITLE =. Abh. Math. Sem. Univ. Hamburg , FJOURNAL =. 1975 , PAGES =. doi:10.1007/BF02992942 , URL =

    work page doi:10.1007/bf02992942 1975

  42. [42]

    , TITLE =

    Schneider, R. , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 1978 , PAGES =. doi:10.1007/BF02413869 , URL =

    work page doi:10.1007/bf02413869 1978

  43. [43]

    , publisher =

    Schneider, R. , publisher =. Convex. 2014 , edition =

    2014

  44. [44]

    Thomson, B. S. , TITLE =. Handbook of measure theory,. 2002 , MRCLASS =. doi:10.1016/B978-044450263-6/50006-3 , URL =

    work page doi:10.1016/b978-044450263-6/50006-3 2002

  45. [45]

    and Villanueva, I

    Tradacete, P. and Villanueva, I. , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.jmaa.2017.05.026 , URL =

    work page doi:10.1016/j.jmaa.2017.05.026 2017

  46. [46]

    and Villanueva, I

    Tradacete, P. and Villanueva, I. , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.02.021 , URL =

    work page doi:10.1016/j.aim.2018.02.021 2018

  47. [47]

    and Villanueva, I

    Tradacete, P. and Villanueva, I. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2020 , PAGES =. doi:10.1093/imrn/rny129 , URL =

    work page doi:10.1093/imrn/rny129 2020

  48. [49]

    , TITLE =

    Tsang, A. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2012 , PAGES =. doi:10.1090/s0002-9947-2012-05681-9 , URL =

    work page doi:10.1090/s0002-9947-2012-05681-9 2012

  49. [50]

    , TITLE =

    Villanueva, I. , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2015.12.030 , URL =

    work page doi:10.1016/j.aim.2015.12.030 2016

  50. [51]

    , TITLE =

    Wang, T. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2014 , PAGES =. doi:10.1512/iumj.2014.63.5365 , URL =

    work page doi:10.1512/iumj.2014.63.5365 2014

  51. [52]

    and Zhou, J

    Zhu, B. and Zhou, J. and Xu, W. , TITLE =. Adv. Math. , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.aim.2014.07.019 , URL =

    work page doi:10.1016/j.aim.2014.07.019 2014

  52. [53]

    and Orlicz, W

    Drewnowski, L. and Orlicz, W. , TITLE =. Bull. Acad. Polon. Sci. S\'er. Sci. Math. Astronom. Phys. , FJOURNAL =. 1968 , PAGES =

    1968

  53. [54]

    , TITLE =

    Kuczma, M. , TITLE =. 1985 , PAGES =

    1985

  54. [55]

    Polynomial local functionals on convex functions

    Knoerr, J. , TITLE =. arXiv:2512.15402 , YEAR =

    work page internal anchor Pith review Pith/arXiv arXiv