Total-Energy Pushforwards of Finite Orthogonal-Polynomial Ensembles
Authors/Creators
- 1. Independent Researcher
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
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.