Pith. sign in

REVIEW 3 major objections 4 minor 9 references

The paper proves that the k-th higher trace of a linear map on any finite-dimensional normed space equals an average of matrix coefficients over the unit sphere of the exterior power exactly when a single operator-valued moment of the avera

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Higher traces of a linear map on a normed space equal an average over the sphere of the k-th exterior power exactly when the measure's operator-valued second moment is the identity; cone measure always works.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection Solid, useful characterization of trace-average measures on exterior powers; the cone-measure universality is the real contribution—only a minor coefficient typo in Prop 4.1(iv) to fix. the 3 major comments →

arxiv 2510.16501 v2 pith:WW6AURNC submitted 2025-10-18 math.FA math.DG

Higher traces as boundary averages on finite-dimensional normed spaces

Tomasz Kania This is my paper
classification math.FA math.DG MSC 15A7552A4015A1546B2042C1020C1552A20
keywords higher tracesexterior powerstrace averagecone measurehypersurface measureorthogonal 2-designsspherical harmonicsMinkowski identity
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 addresses a classical question: can the coefficients of the characteristic polynomial of a linear operator on a normed space be recovered by averaging simple matrix coefficients over a unit sphere, as in the Euclidean case? The answer is yes for a wide class of measures, and the paper isolates the exact condition: a probability measure η on the unit sphere of the k-th exterior power Λ^k X reproduces the k-th trace λ_k(A)=tr(Λ^k A) for every operator A precisely when the averaged operator T_η = (N choose k) ∫ w⊗w* dη(w) equals the identity on Λ^k X. The paper shows that the cone probability measure of the unit ball of Λ^k X always satisfies this condition, for every norm and every k, giving a canonical higher-trace formula. For normalized Euclidean surface measure, the condition holds exactly when a finite isometry group of the norm induces an orthogonal 2-design on Λ^k R^N, as happens for spaces with a 1-symmetric basis. It also derives discrete polyhedral trace formulas and shows that, among power-weighted cone measures, the standard cone measure is the unique one that is isotropic for all convex bodies.

Core claim

The main theorem (Theorem 3.2) characterizes the trace-average formula. Let X be an N-dimensional real normed space, V=Λ^k X with n_k=dim V, and η a probability measure on the unit sphere S_V for which there is a measurable choice of norming functional w↦w*. Then tr(B)=n_k ∫_{S_V} ⟨Bw,w*⟩ dη(w) for every B∈End(V) if and only if T_η:=n_k ∫_{S_V} w⊗w* dη(w)=I_V. Applying this to B=Λ^k A yields λ_k(A)=tr(Λ^k A)=n_k ∫ ⟨(Λ^k A)w,w*⟩ dη(w) for every A∈End(X) under the same condition. The paper proves that cone probability measure always gives T_η=I_V, via the Gauss–Green theorem and the matrix-valued Minkowski identity, and that normalized Euclidean hypersurface measure does so whenever a finite i

What carries the argument

The central object is the operator-valued average T_η = (N choose k) ∫_{S_V} w⊗w* dη(w), built from a unit vector w in the exterior power and its norming functional w*. The identity T_η=I_V is the isotropy condition that makes the trace-average formula true for every B. The proof rests on Hilbert–Schmidt duality: the scalar integral n_k∫⟨Bw,w*⟩ dη equals the Hilbert–Schmidt inner product ⟨B,T_η⟩, so asking that it equal tr(B)=⟨B,I⟩ for all B forces T_η=I_V. Two mechanisms supply isotropy: the Gauss–Green theorem (Minkowski identity), which gives ∫_{∂K} x⊗n_e dσ = vol(K) I and makes cone measure work with no symmetry assumptions; and finite orthogonal groups whose induced action on Λ^k R^N is

Load-bearing premise

The equivalence between the trace-average formula and T_η=I_V is proven only for measures η on the unit sphere of Λ^k X that admit a measurable selection of norming functionals w↦w*; if a natural averaging measure lacks such a selection, the defining operator T_η is not even well defined and the theorem's conclusion does not apply.

What would settle it

Compute T_η = (N choose k) ∫_{S_{Λ^k X}} w⊗w* dν(w) numerically for the cone probability measure on a non-Euclidean normed space, for example the l_∞^4 ball with k=2, using sufficiently fine quadrature on the boundary of Λ^k X. The paper predicts T_ν=I exactly; any significant deviation from the identity would falsify the cone-measure claim. Alternatively, for a normed space whose isometry group does not induce a 2-design on Λ^k R^N (e.g., an l_p^3 ball with p≠2), compute the same integral for normalized hypersurface measure and check whether T_µ=I; a counterexample would challenge the claimed

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • For every finite-dimensional normed space and every k, cone probability measure on the unit sphere of Λ^k X yields an explicit formula λ_k(A)= (N choose k) ∫_{S_Λ^k X} ⟨(Λ^k A)w, w*⟩ dν(w), requiring no symmetry of the norm.
  • For spaces with a 1-symmetric basis, normalized Euclidean surface measure satisfies the same higher-trace formula simultaneously for all k, because the hyperoctahedral group induces an orthogonal 2-design on every Λ^k R^N.
  • For polyhedral norms, the cone-measure formula specializes to a discrete centroid formula: tr(A)= (1/vol(B_X)) Σ_j H^{N-1}(F_j) ⟨A c_j, n_j⟩ over facets F_j with centroids c_j and unit normals n_j.
  • For k=1, any norm whose support function has only degree-0 and degree-2 spherical harmonic components gives hypersurface-measure average equal to the trace to first order; the hexagon example shows that failure is visible already in a simple polyhedral norm.
  • Within the family dν^α ∝ ⟨n_e,w⟩^α dσ on the sphere of Λ^k X, only α=1 is isotropic for every convex body; for smooth strictly convex non-spherical bodies, any α≠1 fails for sufficiently small perturbations of the Euclidean ball.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The characterization suggests a practical route to approximate higher traces in high dimensions: any measure η with T_η=I_V (or even T_η close to I_V) yields a Monte-Carlo estimator for λ_k(A) from random samples of w, potentially cheaper than forming Λ^k A when k is small relative to N.
  • The orthogonal 2-design condition points beyond hyperoctahedral groups: any finite subgroup of O(N) whose exterior-power representation has trivial commutant will give a hypersurface trace formula; Clifford groups or exceptional Weyl groups might be tested for norms with those symmetries.
  • The first-order obstruction for k=1 being degree-2 harmonics suggests that, to higher order, hypersurface isotropy may require vanishing of higher-degree harmonic components, linking the failure of the trace average to the norm's deviation from ellipsoidal shape; this could be quantified by higher moments of the support function.
  • If cone measure is the unique isotropic member of the power-weighted family (α=1), a broader classification of isotropic boundary measures on convex bodies may be possible: one could ask which measures on ∂K yield ∫ w⊗w* = I, and whether they are all absolutely continuous with density proportional to ⟨n_e,w⟩.
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

3 major / 4 minor

Summary. The paper characterizes probability measures η on the unit sphere of V = Λ^k X for which the k-th higher trace of every A ∈ End(X) is recovered as m∫_{S_V} ⟨(Λ^k A)w, w*⟩ dη(w), where m = dim V and w* is a norming functional. The main result (Theorem 3.2) states that this trace–average formula holds for all A iff the rank-one operator average T_η = m∫ w⊗w* dη equals the identity on V. The proof is based on a Hilbert–Schmidt duality argument (Lemma 3.1). The paper shows that cone probability measure always satisfies the isotropy condition, via the Gauss–Green/Minkowski identity, and that hypersurface measure does so when a finite isometry group induces an orthogonal 2-design on Λ^k R^N. It also contains polyhedral trace formulas, a first-order spherical-harmonic obstruction for hypersurface averages, and a local uniqueness statement for α-cone measures.

Significance. If correct, the paper gives a clean and general framework for higher trace–average identities, extending the k=1 work of Kania and Morrison to all exterior powers and to all norms via cone measure. The central equivalence is proved directly, with no fitted parameters or ad hoc normalizations, and the cone-measure construction is genuinely parameter-free. The paper also corrects a normalization error in earlier literature and provides explicit counterexamples. However, Section 4 contains a false symmetry assertion and an inconsistent coefficient, so the quantitative-anisotropy part needs substantive correction.

major comments (3)
  1. [Proposition 4.1(ii)] The claim that A_X is symmetric is false. For X=R^2 with unit ball the centrally symmetric parallelogram conv{±(2,1), ±(1,3)}, direct calculation gives T_{μ_1} = 2∫ x⊗x* dμ = 1/(5+√5) [[(6√5)/5+4, (3√5)/5-3], [(8√5)/5-8, (4√5)/5+6]], so (T)_{12} ≈ -0.229 while (T)_{21} ≈ -0.611. Hence A_X = T − I is not symmetric. The traceless part is still true, but the symmetry assertion should be removed or replaced by a statement about the symmetric part; any later use of symmetry should be checked.
  2. [Proposition 4.1(iv) and Appendix A] The first displayed formula in Proposition 4.1(iv) is algebraically inconsistent with the derivation. The text obtains L(g) = −N∫ g(u)(uu^T − (1/N)I)dω, and for g(u)=u^T S u the integral is 2/(N(N+2)) S. Substituting into the displayed formula with coefficient −2ε/(N+2) gives −4ε/(N(N+2)^2) S, not the 'Equivalently' value −2ε/(N+2) S. The correct coefficient in front of the integral is −Nε. Appendix A repeats this inconsistency at (A.1); the 'Equivalently' line is correct.
  3. [Theorem 3.2(i) proof] The proof states that T_{μ_k} commutes with the Λ^k-action, but this is not automatic for an arbitrary measurable selection w↦w*. One must justify that the selection for hypersurface measure is equivariant a.e.; this follows from uniqueness of the normal a.e. (Alexandrov) and invariance of μ_k. Without this argument, the commutant step is incomplete. The repair is local, but it is needed.
minor comments (4)
  1. [Title] The title contains a typo: 'SP ACES' should be 'SPACES'.
  2. [Lemma 3.1/Theorem 3.2] The technical hypothesis of a measurable choice of norming functionals is automatic for any Borel probability measure: the graph of the duality map is closed in S_V × S_{V*}, so a Borel selection exists by Kuratowski–Ryll-Nardzewski. Stating this would make the hypothesis visibly non-restrictive.
  3. [Proposition 4.1(ii)] The bound ∥A_X∥_HS ≤ N + √N is stated without proof or reference. After correcting the symmetry claim, please provide a derivation or a citation for this estimate.
  4. [Typesetting] Several inline symbols (e.g., the pairing brackets in Lemma 3.1) appear corrupted in the text; please check the final typesetting.

Circularity Check

0 steps flagged

No significant circularity: the main equivalence is a direct Hilbert–Schmidt duality and the concrete isotropy checks are independent computations.

full rationale

The derivation chain is self-contained and non-circular. Lemma 3.1 defines T_eta as the Hilbert–Schmidt dual of the averaging functional, so the equivalence with T_eta = I_V is a genuine duality statement rather than a conclusion built into a definition. The substantive cases are verified independently: the cone-measure case follows from the Gauss–Green/Minkowski identity (Proposition 2.5), and the hypersurface case follows from group averaging plus tr(T_mu_k) = n_k. Theorem 4.2's local necessity is a first-order perturbation computation with explicit formulas. The self-citations [5,6] are used for background and for a standard measurable-selection fact; they do not supply the main conclusion, and the paper explicitly corrects [6] in Examples 3.8-3.9. The only concrete defect found is a coefficient typo in Proposition 4.1(iv)/Appendix A (the displayed -2epsilon/(N+2) coefficient is inconsistent with the preceding alpha_N = -N for general g, although the pure-quadratic 'Equivalently' line is consistent), but that is a correctness issue, not a circularity. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The central claim rests on standard convex-geometric and representation-theoretic facts and one explicit measurability hypothesis on the measure. No free parameters are fitted and no new entities are introduced.

axioms (4)
  • standard math Gauss–Green theorem and the fact that convex bodies are sets of finite perimeter
    Used in Lemma 2.4 and in the cone-measure proof of Theorem 3.2(ii); standard measure theory.
  • standard math Schur's lemma and the Peter–Weyl decomposition of even functions on S^{m-1} into spherical harmonics
    Used in Lemma 3.6 to show that an O(m)-equivariant map to Sym^2 factors through H0 and H2.
  • domain assumption The exterior projective norm on Λ^k X has the property that Λ^k Q is an isometry for isometries Q of X
    Taken from [8] and proved in Lemma 2.3; needed to make the symmetry argument for hypersurface measure.
  • domain assumption For the measure η, a measurable choice of norming functionals w* exists η-a.e.
    Explicit hypothesis in Lemma 3.1 and Theorem 3.2; verified for cone measure and cited for hypersurface measure, but not proved for arbitrary η.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher traces as boundary averages on finite-dimensional normed spaces." pith.science (2026). https://pith.science/paper/WW6AURNC

@misc{pith2026251016501,
  author       = {Pith},
  title        = {Pith review of: Higher traces as boundary averages on finite-dimensional normed spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WW6AURNC}},
  note         = {Machine review of arXiv:2510.16501}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Let $X$ be an $N$-dimensional real normed space, let $1\leqslant k\leqslant N$, and set $V=\Lambda^kX$ and $m=\binom Nk$. We characterise the probability measures $\eta$ on the unit sphere of $V$ for which \[ \operatorname{tr}(\Lambda^kA)=m\int w^\sharp\big((\Lambda^kA)w\big)d\eta(w) \] holds for every $A\in\operatorname{End}(X)$: this is equivalent to $m\int w\otimes w^\sharp d\eta(w)=\operatorname{Id}_V$. The cone probability measure always satisfies this condition, giving a canonical higher-trace formula for every norm. Normalised Euclidean hypersurface measure also does so under a scalar-commutant symmetry hypothesis, including spaces with a $1$-symmetric basis. We further obtain atomic and polyhedral formulae and show that, within a natural power-weighted family, cone measure is the unique universally isotropic member; for hypersurface measure the first-order obstruction is precisely the degree-$2$ spherical harmonic component of the support function.

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

9 extracted references

  1. [1]

    Dai and Y

    F. Dai and Y. Xu,Approximation Theory and Harmonic Analysis on Spheres and Balls, Springer Monographs in Mathematics, Springer, New York, 2013

    2013

  2. [2]

    Eberlein, A trace formula,Linear Multilinear Algebra9(1980), 231–236

    P. Eberlein, A trace formula,Linear Multilinear Algebra9(1980), 231–236

    1980

  3. [3]

    L. C. Evans and R. F. Gariepy,Measure Theory and Fine Properties of Functions, Revised edition, CRC Press, Boca Raton, FL, 2015

    2015

  4. [4]

    R. J. Gardner,Geometric Tomography, 2nd ed., Encyclopedia of Mathematics and its Applications, vol. 58, Cambridge University Press, 2006

    2006

  5. [5]

    Kania,A short proof of the fact that the matrix trace is the expectation of the numerical values,Am

    T. Kania,A short proof of the fact that the matrix trace is the expectation of the numerical values,Am. Math. Mon.122(2015), no. 8, 782–783

    2015

  6. [6]

    Kania and K

    T. Kania and K. E. Morrison, The trace as an average over the unit sphere of a normed space with a 1-symmetric basis,Operators and Matrices10(2016), 731–737

    2016

  7. [7]

    151, Cambridge University Press, 2014

    R.Schneider,Convex Bodies: The Brunn–Minkowski Theory,2ndexpandeded.,EncyclopediaofMathematics and its Applications, vol. 151, Cambridge University Press, 2014

    2014

  8. [8]

    A. Quas, P. Thieullen, and M. Zarrabi,Explicit bounds for separation between Oseledets subspaces,Dyn. Syst. 34(2019), no. 3, 517–560

    2019

  9. [9]

    W. P. Ziemer,Weakly Differentiable Functions, Graduate Texts in Mathematics, vol. 120, Springer, 1989. Institute of Mathematics, Czech Academy of Sciences, Žitná 25, 115 67 Prague 1, Czech Republic & Institute of Mathematics, Jagiellonian University, Łojasiewicza 6, 30-348 Kraków, Poland Email address:tomasz.marcin.kania@gmail.com

    1989

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.