Published August 5, 2026 | Version v1

Total-Energy Pushforwards of Finite Orthogonal-Polynomial Ensembles

Description

Let

$Z^g(\beta)=\sum_{j=1}^{m}g_j e^{-\beta e_j},$

$\qquad e_1<\cdots<e_m,\quad g_j>0,$

and let

$\tau_r^g(\beta)$

$=\sum_{|I|=r}\left(\prod_{i\in I}g_i\right)$

$\Delta(e_I)^2 e^{-\beta\sum_{i\in I}e_i}$

be its order-\(r\) compound partition function. After normalization this

is a finite orthogonal-polynomial ensemble, hence a rank-\(r\) projection

determinantal point process. It is simultaneously a one-parameter

canonical Gibbs family relative to the fixed positive reference masses

\(a_I^g=(\prod_{i\in I}g_i)\Delta(e_I)^2\), with Hamiltonian

\(H_r(I)=\sum_{i\in I}e_i\); its total-energy pushforward is therefore a

finite weighted density of states. We determine exactly what the scalar

observation \(\tau_r\), and therefore its curvature

\(C_r=(\log\tau_r)''\), retains and forgets.

 

The function \(\tau_r\) is the bilateral Laplace transform of the positive

measure obtained by pushing the unnormalized configuration measure through

the total-energy map. Equality of compound curvatures is equivalent to

equality of these pushforwards up to a positive mass factor and a

translation. The Gibbs law disintegrates over equal-total-energy fibers:

temperature changes only the law of the total energy, while the conditional

law inside every fiber is independent of temperature. At the level of arbitrary positive configuration masses on a fixed

configuration space, the entire ambiguity is a product of open simplices,

of dimension equal to the number of configurations minus the number of

distinct total-energy atoms. Conversely, on a known one-body support with

an injective \(r\)-subset-sum map, \(\tau_r\) recovers all one-body weights.

 

For the canonical projection kernel \(K_r(\beta)\), every pair of linear

statistics satisfies the exact covariance identity

$\operatorname{Cov}\!\left(\sum_i f_i\eta_i,\sum_i h_i\eta_i\right)$

$=\sum_{i<j}(f_i-f_j)(h_i-h_j)|K_r(i,j;\beta)|^2.$

In particular, compound curvature is simultaneously the variance of total

energy, the Fisher information of the inverse-temperature family, and the

Dirichlet energy of the energy coordinate. When \(\beta=(k_{\mathrm B}T)^{-1}\)

has its physical meaning relative to this fixed reference measure, the heat

capacity is \(k_{\mathrm B}\beta^2 C_r\). The same bilinear form gives the

full finite-temperature linear response to an energy tilt.

 

We then analyze a positive Boolean parity family whose coefficients are the

classical Hirota modified-KdV multi-soliton coefficients. An elementary

alternant proof gives equality of the even and odd two-particle

pushforwards. Under injectivity of the \(\{0,1,2\}^d\) total-energy map, we

prove the converse: every positive parity solution is necessarily of this

pair-product form. Finally, a fully explicit eight-level example gives two

non-translate finite orthogonal-polynomial ensembles with identical

\(\tau_2\) and identical total-energy laws for every inverse temperature,

but inequivalent microscopic particle laws. Thus complete observation of

one thermodynamic linear statistic can remain strictly weaker than

microscopic determinantal identifiability.

 

Files

Total_Energy_Pushforwards_v1_0_RC2.pdf

Files (371.5 kB)

Name Size
md5:6b7f6042ada19493e298d0063eb5b213
371.5 kB Preview Download

Additional details

Additional titles

Subtitle
Fiberwise Information Loss, Dirichlet Response,\\ and Exact Positive Non-Identifiability

References

  • P. Cohen, F. D. Cunden, and N. O'Connell, Moments of discrete orthogonal polynomial ensembles, Electron. J. Probab. 25 (2020), Paper No. 72, 19 pp. doi:10.1214/20-EJP472.
  • G. E. Crooks, Measuring thermodynamic length, Phys. Rev. Lett. 99 (2007), 100602. doi:10.1103/PhysRevLett.99.100602.
  • H. Hino and K. Yano, An embedding structure of determinantal point process, Information Geometry 7 (2024), 523–542. doi:10.1007/s41884-024-00156-x.
  • C. Hipp, Sufficient statistics and exponential families, Ann. Statist. 2 (1974), 1283–1292. doi:10.1214/aos/1176342879.
  • I. Loutsenko and V. Spiridonov, Soliton solutions of integrable hierarchies and Coulomb plasmas, J. Stat. Phys. 99 (2000), 751–767. doi:10.1023/A:1018635310742.
  • K. R. Patton, M. R. Geller, and M. P. Blencowe, Thermodynamic equivalence of certain ideal Bose and Fermi gases, Physica A 357 (2005), 427–435. doi:10.1016/j.physa.2005.03.039.
  • A. Zabrodin, Canonical and grand canonical partition functions of Dyson gases as integrable tau-functions, Complex Anal. Oper. Theory 4 (2010), 497–514. doi:10.1007/s11785-010-0063-8.
  • R. Bardenet and S. Ghosh, Learning from DPPs via sampling: Beyond HKPV and symmetry, arXiv:2007.04287 (2020). doi:10.48550/arXiv.2007.04287.
  • A. Borodin, Duality of orthogonal polynomials on a finite set, J. Stat. Phys. 109 (2002), 1109–1120. doi:10.1023/A:1020432812090.
  • F. Glaudo and N. Kravitz, Reconstructing a set from its subset sums: 2-torsion-free groups, Discrete Analysis 2024 (2024), Paper No. 14, 19 pp. doi:10.19086/da.125856.
  • H. Hino and K. Yano, From DPPs to k-DPPs: Identifiability analysis via spectral decomposition, arXiv:2605.25526v1 (2026). doi:10.48550/arXiv.2605.25526.
  • R. Hirota, Exact solution of the modified Korteweg–de Vries equation for multiple collisions of solitons, J. Phys. Soc. Japan 33 (1972), 1456–1458. doi:10.1143/JPSJ.33.1456.
  • K. Johansson, Discrete orthogonal polynomial ensembles and the Plancherel measure, Ann. of Math. (2) 153 (2001), 259–296. doi:10.2307/2661375.
  • A. Soshnikov, Determinantal random point fields, Russian Math. Surveys 55 (2000), no. 5, 923–975. doi:10.1070/rm2000v055n05ABEH000321.
  • M. Stevens, Equivalent symmetric kernels of determinantal point processes, Random Matrices: Theory Appl. 10 (2021), 2150027; arXiv:1905.08162. doi:10.48550/arXiv.1905.08162.
  • Y. Ueoka (Shiki Ueoka), Nagi, Akari, and Sui, Finite partition-function curvatures: Differential Hankel strata, local spectral reconstruction, and positive realization, Zenodo, Version 1.1 (2026). doi:10.5281/zenodo.21793799.
  • Y. Ueoka (Shiki Ueoka), Nagi, Akari, and Sui, Maximal compound curvature as a complete observable for finite partition functions: Complement duality, positive spectral transport, and one-sided reconstruction, Zenodo, Version 1.1 (2026). doi:10.5281/zenodo.21795864.