pith. sign in

arxiv: 2511.07615 · v4 · submitted 2025-11-10 · 🧮 math.FA

On measures derived from orbital integrals

Martin Miglioli This is my paper

Pith reviewed 2026-05-17 23:31 UTC · model grok-4.3

classification 🧮 math.FA
keywords orbital integralsadjoint orbitspiecewise polynomial measuresapolar inner productunitary groupcompact Lie groupsinvariant measuresmoment formulas
0
0 comments X

The pith

Orbital integrals on adjoint orbits yield piecewise polynomial measures through polynomial space transformations using the apolar inner product.

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

The paper develops a framework for extracting piecewise polynomial measures from invariant measures on adjoint orbits of compact semisimple Lie groups. These measures arise by applying transformations on spaces of polynomials equipped with the apolar inner product directly to orbital integrals. In the special case of the unitary group the work supplies an explicit formula for the moments of the projection of such an orbital measure. A sympathetic reader would care because the construction turns abstract group-invariant data into concrete, computable polynomial expressions on lower-dimensional spaces.

Core claim

The paper establishes a framework in which invariant measures on adjoint orbits of compact semisimple Lie groups produce piecewise polynomial measures; the measures are obtained from orbital integrals by means of transformations acting on spaces of polynomials endowed with the apolar inner product, and in the unitary-group case this yields a formula for the moments of the projected orbital measure.

What carries the argument

Transformations on spaces of polynomials endowed with the apolar inner product, applied to orbital integrals to produce the piecewise polynomial measures.

If this is right

  • Piecewise polynomial measures exist for adjoint orbits in every compact semisimple Lie group.
  • The moments of the projection of an orbital measure admit an explicit formula when the group is unitary.
  • Orbital integrals become computable via algebraic operations on polynomial spaces rather than direct integration over the group.
  • The framework converts group-invariant data into concrete expressions on the dual of a Cartan subalgebra or its quotient.

Where Pith is reading between the lines

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

  • The same transformation technique may simplify moment calculations for other projections or for coadjoint orbits in non-compact groups.
  • The resulting piecewise polynomial densities could be used to test conjectures on the support of orbital measures in higher-rank cases.
  • If the apolar inner product encodes a hidden symmetry, the method might extend to other integral transforms arising in representation theory.

Load-bearing premise

The transformations defined on polynomial spaces with the apolar inner product can be applied to orbital integrals to derive the claimed piecewise polynomial measures and moment formulas without further restrictions or unstated conditions.

What would settle it

Explicit computation of the projected measure for the adjoint orbit in SU(2) or SU(3) and direct verification that the resulting density is piecewise polynomial of the predicted degree and support.

read the original abstract

The present work develops a framework to derive piecewise polynomial measures arising from invariant measures on adjoint orbits in the context of compact and semisimple Lie groups. These measures are computed from orbital integrals via transformations on spaces of polynomials endowed with the apolar inner product. In the case of the unitary group, we obtain a formula for the moments of the projection of an orbital measure.

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 / 1 minor

Summary. The manuscript develops a framework to derive piecewise polynomial measures arising from invariant measures on adjoint orbits for compact and semisimple Lie groups. These measures are obtained from orbital integrals by means of transformations on spaces of polynomials equipped with the apolar inner product. For the unitary group, an explicit formula is given for the moments of the projection of an orbital measure.

Significance. If the derivations hold, the work could supply a useful bridge between orbital integrals and explicit measures in harmonic analysis and representation theory, with the apolar inner product offering a potentially clean algebraic route to piecewise polynomial expressions and moment formulas.

major comments (2)
  1. [Framework description (following abstract)] The central claim that transformations on polynomial spaces with the apolar inner product yield the stated piecewise polynomial measures is asserted without any derivation, explicit map, or verification that the output is indeed piecewise polynomial. This is load-bearing for the framework and cannot be assessed from the given text.
  2. [Unitary group case] The formula for the moments of the projection of an orbital measure in the unitary case is stated but no supporting calculation, recurrence, or proof is supplied, leaving open whether the result follows from the apolar construction or requires additional unstated regularity conditions on the orbit.
minor comments (1)
  1. [Preliminaries] The apolar inner product should be recalled with its precise definition and normalization in a preliminary section to make the transformations self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised identify places where the exposition of the framework and the unitary-group calculation would benefit from additional explicit derivations. We address each major comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

  1. Referee: The central claim that transformations on polynomial spaces with the apolar inner product yield the stated piecewise polynomial measures is asserted without any derivation, explicit map, or verification that the output is indeed piecewise polynomial. This is load-bearing for the framework and cannot be assessed from the given text.

    Authors: We agree that the manuscript states the central claim at a high level without supplying the explicit transformation map or a direct verification that the output measures are piecewise polynomial. In the revised version we will insert a new subsection immediately following the framework description. This subsection will (i) define the apolar-inner-product transformation explicitly on the space of polynomials, (ii) derive the induced measure on the orbit projection, and (iii) verify piecewise-polynomiality by exhibiting the explicit polynomial pieces in local coordinates together with a low-dimensional example computation. revision: yes

  2. Referee: The formula for the moments of the projection of an orbital measure in the unitary case is stated but no supporting calculation, recurrence, or proof is supplied, leaving open whether the result follows from the apolar construction or requires additional unstated regularity conditions on the orbit.

    Authors: We acknowledge that the moments formula is presented without the intermediate steps. The formula is obtained directly from the apolar construction, but the manuscript omits the recurrence relation and the verification that the relevant regularity conditions hold for the compact unitary orbits under consideration. In the revision we will add a dedicated subsection that (a) derives the recurrence from the apolar inner product, (b) computes the first few moments explicitly as an illustration, and (c) states the precise regularity conditions satisfied by the orbits in question. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper develops a mathematical framework deriving piecewise polynomial measures from orbital integrals on adjoint orbits via transformations on polynomial spaces equipped with the apolar inner product, including an explicit moments formula for the unitary group. No equations, definitions, or steps in the provided abstract or context reduce a claimed result to its own inputs by construction, nor do they rely on load-bearing self-citations or fitted parameters renamed as predictions. The derivation chain consists of theoretical transformations and computations that are independent of the target outputs, consistent with standard first-principles work in functional analysis and Lie theory. This is the expected honest outcome for a self-contained theoretical manuscript without evident reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Insufficient information from abstract only to identify specific free parameters, axioms, or invented entities; no explicit constants, assumptions, or new postulated objects are described.

pith-pipeline@v0.9.0 · 5331 in / 1289 out tokens · 37441 ms · 2026-05-17T23:31:34.616433+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

18 extracted references · 18 canonical work pages

  1. [1]

    Coquereaux, C

    R. Coquereaux, C. McSwiggen, J.-B. Zuber, Revisiting Horn's problem. J. Stat. Mech. Theory Exp. 2019, no. 9, 094018, 22 pp

    work page 2019

  2. [2]

    Faraut, Rayleigh theorem, projection of orbital measures and spline functions

    J. Faraut, Rayleigh theorem, projection of orbital measures and spline functions. Adv. Pure Appl. Math. 6 (2015), no. 4, 261--283

    work page 2015

  3. [3]

    Faraut, Horn's problem and Fourier analysis

    J. Faraut, Horn's problem and Fourier analysis. Tunis. J. Math. 1 (2019), no. 4, 585--606

    work page 2019

  4. [4]

    Guillemin, E

    V. Guillemin, E. Lerman, S. Sternberg, Symplectic fibrations and multiplicity diagrams. Cambridge University Press, Cambridge, 1996

    work page 1996

  5. [5]

    Horn, Doubly stochastic matrices and the diagonal of a rotation matrix

    A. Horn, Doubly stochastic matrices and the diagonal of a rotation matrix. Amer. J. Math. 76 (1954), 620--630

    work page 1954

  6. [6]

    Horn, Eigenvalues of sums of Hermitian matrices

    A. Horn, Eigenvalues of sums of Hermitian matrices. Pacific J. Math. 12 (1962), 225--241

    work page 1962

  7. [7]

    B. C. Hall, Holomorphic methods in analysis and mathematical physics. First Summer School in Analysis and Mathematical Physics (Cuernavaca Morelos, 1998), 1--59, Contemp. Math., 260, Aportaciones Mat., Amer. Math. Soc., Providence, RI, 2000

    work page 1998

  8. [8]

    Differential operators on a semisimple Lie algebra

    Harish-Chandra. Differential operators on a semisimple Lie algebra. American Journal of Mathematics, 79:87-120, 1957

    work page 1957

  9. [9]

    Itzykson, J.-B

    C. Itzykson, J.-B. Zuber, The planar approximation. II. Journal of Mathematical Physics, 21:411-421, 1980

    work page 1980

  10. [10]

    Klyachko, A. A. (1998). Stable vector bundles and Hermitian operators, Selecta Math. (N.S.), 4, 419--445

    work page 1998

  11. [11]

    Olshanski, Projections of orbital measures, Gelfand-Tsetlin polytopes, and splines

    G. Olshanski, Projections of orbital measures, Gelfand-Tsetlin polytopes, and splines. J. Lie Theory 23 (2013), no. 4, 1011--1022

    work page 2013

  12. [12]

    McDuff, D

    D. McDuff, D. Salamon, Introduction to symplectic topology. Third edition. Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, 2017

    work page 2017

  13. [13]

    McSwiggen, The Harish-Chandra integral: an introduction with examples

    C. McSwiggen, The Harish-Chandra integral: an introduction with examples. Enseign. Math. 67 (2021), no. 3-4, 229--299

    work page 2021

  14. [14]

    Miglioli, HCIZ integral formula as unitarity of a canonical map between reproducing kernel spaces

    M. Miglioli, HCIZ integral formula as unitarity of a canonical map between reproducing kernel spaces. J. Funct. Anal. 289 (2025), no. 6, Paper No. 110977, 16 pp

    work page 2025

  15. [15]

    Y. A. Neretin, Lectures on Gaussian integral operators and classical groups. EMS Series of Lectures in Mathematics. European Mathematical Society (EMS), Zrich, 2011

    work page 2011

  16. [16]

    Stanley, Chains in the Bruhat order

    A, Postnikov, R. Stanley, Chains in the Bruhat order. J. Algebraic Combin. 29 (2009), no. 2, 133--174

    work page 2009

  17. [17]

    D. I. Zubov, Projections of orbital measures for classical Lie groups. (Russian); translated from Funktsional. Anal. i Prilozhen. 50 (2016), no. 3, 76--81 Funct. Anal. Appl. 50 (2016), no. 3, 228--232

    work page 2016

  18. [18]

    Zuber, Horn's problem and Harish-Chandra's integrals

    J.-B. Zuber, Horn's problem and Harish-Chandra's integrals. Probability density functions. Ann. Inst. Henri Poincar D 5 (2018), no. 3, 309--338

    work page 2018