---
title: Extended Partition Function Overview
url: https://www.emergentmind.com/topics/extended-partition-function
type: topic
---

# Extended Partition Function Overview

“Extended partition function” is a field-dependent term for constructions that enlarge an ordinary partition function by adjoining extra variables, extra couplings, geometric constraints, refined symmetry data, or new counting rules. In the literature considered here, the extension may identify holographic complexity with a grand partition function, impose a fixed spatial-volume constraint in Euclidean gravity, refine open intersection-theoretic and KP tau-functions by extra times, or generalize Euler’s partition function to rectangle tilings, multiplicative statistics on partitions, and largest-part constrained families [1912.00153] [2512.12138] [2511.16919] [1411.5717] [2509.20495] [2102.04191]. This suggests that the phrase does not denote a single canonical object; rather, it denotes a recurrent strategy for extending a baseline partition-theoretic framework.

## 1. Terminological range and recurrent extension mechanisms

Several mathematically distinct constructions appear under the same label. They can be organized by the object being extended and by the mechanism of extension.

| Domain | Extension mechanism | Representative result |
|---|---|---|
| Holography and thermodynamics | Grand canonical variables and complexity growth | $\dot{\mathcal C}=T\ln\mathcal Z$ [1912.00153] |
| Euclidean gravity | Fixed-volume constraint and constrained instantons | $I_E^{\rm ext}=-(A_c+A_e)/(4G)$ [2512.12138] |
| Open intersection theory | Extra couplings $s_i$ and matrix refinement | $\mathcal Z_N^{o,\mathrm{ext}}=Z_N$ under Miwa parametrization [2511.16919] |
| $r$-reduced KP hierarchy | Extra KP times and generalized string equation | $Z_E(t^{KP})=Z(t)\,\mathcal Y(t^{KP})$ [1411.5717] |
| Torus-knot/Hurwitz tau-functions | Fractional-index times and topological recursion | EO recursion reproduces the $n$-point functions of $Z^{\mathrm{ext}}$ [2010.11021] |
| Enumerative combinatorics | Geometric, multiplicative, or constrained partition rules | $p(m,n)$, $p(\lambda)$, and $\rho(n)$ [2509.20495] [1403.3352] [2510.10133] |
| Numerical statistical mechanics | Temperature promoted to a sampled variable | Single-run nested sampling for temperature-dependent potentials [2509.02361] |

A common pattern is the replacement of a single generating object by a richer one: a partition function depending on more variables, a partition function evaluated in a larger ensemble, or a counting function defined on a larger class of combinatorial configurations. A second pattern is representational: several papers extend not the underlying physical theory alone but the formalism used to compute its partition function, as in matrix-model identifications, Pfaffian encodings, Berezin integrals, continued fractions, and matrix-recursive calculi [1201.0223] [1312.7289] [2301.12945].

## 2. Thermodynamic and gravitational formulations

In holography, the paper “Complexity growth rate, grand potential and partition function” formulates an explicit “Complexity/Grand potential/Partition Function” framework, or CV 3.0, by combining the late-time CV 2.0 relation $\dot{\mathcal C}\sim PV/\hbar$ with the grand-canonical identities $\Omega=-kT\ln\mathcal Z$ and $pV=-\Omega$. The resulting ansatz is
\[
\dot{\mathcal C}=\frac{kT}{\hbar}\ln\mathcal Z,
\qquad
\ln\mathcal Z=\frac{pV}{kT},
\]
and, after setting $\hbar=k=1$,
\[
\dot{\mathcal C}=T\ln\mathcal Z.
\]
The framework is then applied to original SYK, complex SYK, higher-dimensional coupled SYK islands, SYK wormholes, Schwarzschild–AdS, and RN–AdS geometries. On the bulk side, the semiclassical relation $\mathcal Z=e^{-I_E[g_*]}$ gives $\dot{\mathcal C}=-TI_E$, so complexity growth is directly linked to the Euclidean action. The same framework is used to discuss Hawking–Page behavior, first-order small/large black-hole transitions, sign/stability issues, Lloyd-type bounds, and the “second law of complexity” through $S=-(\partial\Omega/\partial T)_\mu=\partial\dot{\mathcal C}/\partial T$ [1912.00153].

A different gravitational extension appears in “On the gravitational partition function under volume constraints.” There the Euclidean action is augmented by a Lagrange multiplier imposing a fixed spatial volume on each Euclidean time slice,
\[
I_E[g;\lambda]=-\frac{1}{16\pi G}\int_{\mathcal M} d^D x\,\sqrt g\,R
-\int d\tau\,\lambda(\tau)\Bigl(\int_{\Sigma_\tau} d^{D-1}x\,\sqrt\gamma-V\Bigr)
-\frac{1}{8\pi G}\int_{\partial\mathcal M} d^{D-1}x\,\sqrt h\,K.
\]
The resulting fixed-volume partition function
\[
Z(V)=\int_{\mathrm{Vol}(\Sigma_\tau)=V}\mathcal D g\,e^{-I_E[g]}
\]
is evaluated semiclassically over a family of volume-constrained Euclidean geometries. The paper distinguishes a massless VCEG, a massive VCEG with an artificial boundary at $r=m$, and an extended VCEG in which that boundary is replaced by a throat and the geometry acquires two horizons. For the extended VCEG, the on-shell action becomes
\[
I_E^{\rm ext}=-\frac{A_c+A_e}{4G},
\]
with conical defects at the two horizons except at a critical mass $m=m^*$ where $\beta_c=\beta_e$ and the geometry is smooth. These objects are interpreted as constrained gravitational instantons, and their saddle contributions produce an analogy with Euclidean Schwarzschild–de Sitter in which the fixed-volume constraint plays a role akin to a cosmological constant [2512.12138].

## 3. Integrable hierarchies, matrix models, and refined tau-functions

In open intersection theory, the paper “The identification of the extended refined open partition function and the Kontsevich-Penner matrix model” introduces the matrix model $\mathcal Z_N^{o,\mathrm{ext},s}$ by replacing the scalar complex integral in the Buryak–Tessler open partition function with a complex matrix integral over $\mathcal M_N(\mathbb C)$ and by inserting couplings $s_i$ through
\[
\exp\!\left(\sum_{i\ge 0}\frac{2^{-i-1}}{(i+1)!}s_i\,\operatorname{tr}(\bar Z^t)^{i+1}\right).
\]
Under the Miwa parametrization
\[
s_i=2^i i!\,\operatorname{tr}\Lambda^{-2i-2},
\]
the model reduces exactly to the Kontsevich–Penner matrix model $Z_N$, establishing
\[
Z_N=\mathcal Z_N^{o,\mathrm{ext}}
\]
for all $N\ge 1$. The paper derives this by transforming the original open partition function with the Harish–Chandra–Itzykson–Zuber formula and operational calculus, and it relates the refined open model to Virasoro constraints and the KP/open-KdV hierarchy [2511.16919].

The paper “The partition function of the extended $r$-reduced Kadomtsev-Petviashvili hierarchy” extends the closed $r$-spin partition function $Z(t)$ to a solution of the extended $r$-reduced KP hierarchy by adjoining the missing KP times and imposing a generalized string equation. The extended partition function is written
\[
Z_E(t^{KP})=Z(t)\,\mathcal Y(t^{KP}),
\]
and satisfies
\[
L_{\mathrm{ext}}\,Z_E(t^{KP})=0.
\]
The factor $\mathcal Y$ is constructed from the wave function by the contour integral
\[
\mathcal Y(t^{KP})=\frac{1}{2\pi i}\oint_{z=\infty}\frac{d(z)\,v(t^{KP};z)}{z}\,dz,
\]
where $d(z)$ is the asymptotic series of a Pearcey-type integral solution. The construction generalizes Buryak’s $r=2$ extended open KdV solution to arbitrary $r\ge 2$ and is specified uniquely, up to multiplicative constant, by the generalized string equation and normalization [1411.5717].

A third integrable extension is the extended Ooguri–Vafa partition function for colored HOMFLY–PT polynomials of torus knots. It is defined by a fermionic vacuum expectation value with ordinary times $p_j$ and fractional-index times $\bar p_{i/Q}$,
\[
Z^{\mathrm{ext}}(p,\bar p)=
\left\langle
\exp\!\left(\sum_{j=1}^\infty \frac{\alpha_{-j}p_j}{j}\right)
\exp\!\left(\hbar \frac{P}{Q}\mathcal F_2\right)
\exp\!\left(\sum_{i=1}^\infty \frac{\alpha_i(\bar p_{i/Q}\,Q A^{iP/Q})}{i}\right)
\right\rangle.
\]
After a change of variables, it becomes a hypergeometric KP tau-function, and EO topological recursion on the torus-knot spectral curve reproduces the correlation differentials $\omega_{g,n}$ extracted from $\log Z^{\mathrm{ext}}$ [2010.11021].

An adjacent algebraic development is the SH$^c$-based analysis of Nekrasov instanton partition functions for $4D$ $U(N)$ linear quivers. There the extension lies in the symmetry algebra rather than in a new partition-function variable: SH$^c$ is a deformation of $W_{1+\infty}$ containing $W_N$, and its generators act by adding or removing boxes in Young-diagram data, yielding infinite recursion relations for the instanton partition function and reproducing Heisenberg and Virasoro constraints compatible with the AGT correspondence [1306.1523].

## 4. Enumerative and number-theoretic generalizations

In combinatorics, “Rectangle partitions generalizing integer partitions” defines $p(m,n)$ as the number of partitions of the $m\times n$ rectangle into axis-aligned rectangular blocks with positive integer side lengths, counted up to equality of multisets of block sizes and with $a\times b$ identified with $b\times a$. The one-dimensional specialization recovers Euler’s partition function:
\[
p(1,n)=p(n).
\]
The paper develops bounds and asymptotics for $p(2,n)$, including
\[
p(2,n)\sim \frac{\pi\,2^{1/4}}{32\,n^{7/4}}\,\exp\!\bigl(\pi\sqrt{2n}\bigr),
\]
restricted counts $p_{k,l}(2,n)$ with explicit recurrences and quasi-polynomial behavior, $m$-ary rectangular partitions with congruence properties, and symmetric variants such as $T(n)$ with
\[
T(n)\sim \frac{\pi}{6\,3^{1/4}\,n^{7/4}}\,\exp\!\bigl(2\pi\sqrt{n/3}\bigr).
\]
Here the extension is geometric: parts become integer-sided rectangles, while exact tilability replaces mere summation of integers [2509.20495].

A more algebraic extension appears in the Partition-Frequency Enumeration matrix. The paper “The Partition-Frequency Enumeration Matrix” defines an infinite upper-triangular number-theoretic matrix whose finite truncations $A_n$ couple partition-like coefficients $P(n)$ and part-frequency statistics $F_k(n)$ through
\[
A_n [P(n-1),P(n-2),\ldots,P(0)]^t=[F_1(n),F_2(n),\ldots,F_n(n)]^t
\]
and
\[
\sum_{k=1}^n kF_k(n)=nP(n).
\]
For ordinary partitions, $a_k(j)=1$ if $k\mid j$ and $0$ otherwise, yielding
\[
F_k(n)=p(n-k)+p(n-2k)+p(n-3k)+\cdots.
\]
The same calculus extends to arbitrary generating functions, Weierstrass products, and recurrences for $\sigma(n)$, $\tau(n)$, $r_k(n)$, $t_k(n)$, and $\zeta(2n)$, and it embeds Ramanujan-type congruences into infinite families [2102.04191].

A third line of work extends the partition function directly to functions on partitions. In “Maximal multiplicative properties of partitions,” the extension is
\[
p(\lambda):=\prod_{i=1}^k p(\lambda_i)
\]
for $\lambda=(\lambda_1,\ldots,\lambda_k)\in P(n)$. The paper proves that for $n\ge 4$, $n\neq 7$, the unique maximizer of $p(\lambda)$ is determined by $n\bmod 4$: all $4$’s when $n\equiv0$, one $5$ and the rest $4$’s when $n\equiv1$, one $6$ and the rest $4$’s when $n\equiv2$, and one $6$, one $5$, and the rest $4$’s when $n\equiv3$ [1403.3352].

Largest-part constrained variants furnish another explicit extension. “On recent Partition function of Kaur and Rana” studies $\rho(n)$, where the largest part $\lambda$ appears exactly once and the remaining parts form a partition of $\lambda$, giving
\[
\sum_{n=0}^{\infty}\rho(n)q^n=\frac{1}{(q^2;q^2)_\infty}-\frac{1}{1-q^2}.
\]
The paper then introduces $\rho_\ell(n)$, $\overline\rho(n)$, $\overline\rho_o(n)$, $\overline\rho_e(n)$, $\overline\rho_\ell(n)$, $\rho_{pod}(n)$, $\rho_{ped}(n)$, $\rho_{-k}(n)$, $\overline\rho_c(n)$, and $\rho_\epsilon(n)$ by imposing $\ell$-regularity, overpartition, parity, color, cubic, or order restrictions on the partition of $\lambda$ [2510.10133].

Continued-fraction methods provide a further representational extension. “Continued Fractions for partition generating functions” derives Euler-type continued fractions for products $\prod(1-a_k)$ and $\prod(1+a_k)$ and applies them to unrestricted, distinct, odd, binary, and $n$-ary partition generating functions; it also uses Ramanujan’s techniques, including the Rogers–Ramanujan continued fraction and its two-parameter generalization, to connect continued fractions with product expansions and restricted partition families [2301.12945].

## 5. Statistical-mechanical, graphical, and algebraic extensions

The paper “The Partition Function of Multicomponent Log-Gases” extends the one-dimensional log-gas from a single charge species to $J$ species with integer charges $q_1,\ldots,q_J$ and fixed total charge
\[
\mathbf M\cdot \mathbf q=\sum_{j=1}^J M_j q_j=N.
\]
The grand-canonical partition function is
\[
Z_N=\sum_{\mathbf M\cdot\mathbf q=N} z_1^{M_1}\cdots z_J^{M_J} Z_{\mathbf M},
\]
and, for $\beta=b^2$ with $K=bN$ even and at most one odd $L_j=bq_j$, it admits the Berezin-integral representation
\[
Z_N(\mathbf z)=\int e^{\omega(\mathbf z)}\,d\epsilon_{\mathrm{vol}},
\]
where $\omega(\mathbf z)=\sum_j z_j\omega_j$ is a non-homogeneous alternating tensor built from Wronskians of a complete polynomial family. This extends the de Bruijn $\beta=1$ and $\beta=4$ identities from single-species ensembles to multicomponent ensembles [1201.0223].

In graph theory, “Expansions of the Potts model partition function along deletions and contractions” extends the multivariate Tutte/Potts partition function
\[
Z(G;q,v)=\sum_{A\subseteq E} q^{k_G(A)}v_A
\]
from graphs to matroids by introducing the normalized form
\[
\widetilde Z(M;q,v)=\sum_{A\subseteq E} q^{-r_M(A)}v_A.
\]
The paper proves deletion and contraction expansions,
\[
\widetilde Z(M;q,v)=\sum_{F\subseteq E}\bigl((v/u)-1\bigr)_F\,\widetilde Z(M-F;q,u),
\]
\[
\widetilde Z(M;q,v)=\sum_{F\subseteq E} q^{-r_M(F)}(v-u)_F\,\widetilde Z(M/F;q,u),
\]
and shows that they are dual under matroid duality, thereby extending chromatic-flow duality from planar graphs to the matroidal setting [2405.07612].

For the Ising model, “Graph theory and Pfaffian representations of Ising partition function” extends the usual planar Pfaffian picture to arbitrary embeddings by expressing the closed-curve partition function as the real part of the Pfaffian of a single skew-symmetric matrix with coefficients in a multicomplex algebra $\mathbb C_{\tilde g}$, where $\tilde g$ is the non-orientable genus. The resulting formula is
\[
Z_G(w)=w(M_0\cap E_{\mathcal D}^E)\,
\operatorname{Re}\!\Bigl[\Lambda\,\operatorname{Pf}\bigl(A^{G,M_0}(w)\bigr)\Bigr].
\]
Known sums of $2^{\tilde g}$ complex Pfaffians or $4^g$ real Pfaffians are recovered by algebraic reduction. In this setting, the “extension” is topological and algebraic: the coefficients of the Pfaffian matrix are lifted from $\mathbb R$ to a multicomplex algebra that records the crosscap structure of the embedding surface [1312.7289].

## 6. Computational extensions for temperature-dependent effective potentials

A computationally distinct meaning of the term appears in “Probing the partition function for temperature-dependent potentials with nested sampling.” Standard nested sampling yields the density of states in a single run when the potential $U(\Gamma)$ is temperature independent, but this property is lost when the effective potential depends explicitly on temperature,
\[
Z(\beta)=\int d\Gamma\,e^{-\beta U_\beta(\Gamma)}.
\]
The paper restores the single-run strategy by introducing an extended partition function in which temperature is treated as an additional sampled variable. Operationally, the method samples joint points $(\boldsymbol x_i,\tilde\beta_i)$ with nested-sampling weights $w_i$, then reconstructs thermodynamic quantities at a target $\beta$ by a kernel $f(\beta-\tilde\beta_i;\alpha)$. The internal-energy estimator is
\[
U_c(\beta)\approx
\frac{\sum_i w_i\,(E_i+\tilde\beta_i E_i')\,f(\beta-\tilde\beta_i;\alpha)\,e^{-\beta E_i}}
{Z_c(\beta)},
\]
and the heat-capacity estimator contains the corresponding quadratic term in $E_i+\tilde\beta_iE_i'$ together with the derivative correction involving $2E_i'+\tilde\beta_iE_i''$. The paper applies this scheme to harmonic systems and to quantum Lennard-Jones clusters in the path-integral representation, where the ring-polymer effective potential is explicitly $\beta$ dependent. Empirically, it reports that a uniform prior on $\tilde T$ yields more balanced sampling than a uniform prior on $\tilde\beta$, that $\alpha=1$ is preferred for $P=4$ while $\alpha=1.4$ is preferred for $P\ge 8$, that the extended method recovers the direct method on $\mathrm{Ne}_3$ for $P=2,4,8$ with appropriate $K$, and that low-temperature sampling remains delicate for larger $P$ and for $\mathrm{Ne}_{13}$ [2509.02361].

Taken together, these usages indicate that an extended partition function is best understood as a family of extensions rather than a single theory. The extension may be ensemble-theoretic, geometric, algebraic, topological, combinatorial, or computational; what unifies the term is the systematic enlargement of a baseline partition function so that new observables, new constraints, or new structures become accessible.

Source: https://www.emergentmind.com/topics/extended-partition-function