---
title: Nekrasov–Okounkov Polynomials
url: https://www.emergentmind.com/topics/nekrasov-okounkov-polynomials
type: topic
---

# Nekrasov–Okounkov Polynomials

Nekrasov–Okounkov polynomials constitute a fundamental family of polynomials naturally arising at the interface of combinatorics, representation theory, mathematical physics, and algebraic geometry. Originally introduced to encapsulate partition statistics via hook-lengths and to encode the Fourier coefficients of powers of the Dedekind eta function, these polynomials possess deep connections to modular forms, random partitions, moduli spaces of instantons, and the structural theory of symmetric functions.

## 1. Definition, Generating Function, and Hook-Length Formula

Let $\lambda$ be a partition of $n$ with Young diagram. Define for each cell $u$:
- Arm $a_u(\lambda)$: number of boxes to the right in the row of $u$
- Leg $\ell_u(\lambda)$: number of boxes below in the column of $u$
- Hook-length $h_u(\lambda) = a_u(\lambda) + \ell_u(\lambda) + 1$

Denoting the multiset of hook-lengths as $\mathcal{H}(\lambda)$, the Nekrasov–Okounkov polynomials $P_n(z)$ (or, after translation in $z$, $Q_n(z)$) are defined by the generating function
\[
\sum_{n=0}^\infty P_n(z)\,q^n = \prod_{m=1}^\infty (1-q^m)^{-z}
\]
with the explicit hook-formula
\[
Q_n(z) = \sum_{|\lambda|=n} \prod_{h \in \mathcal{H}(\lambda)} \left(1 + \frac{z}{h^2}\right)
\]
or, equivalently, $Q_n(z) = P_n(z+1)$ [1810.02226, 2010.07890]. These polynomials have degree $n$ and positive coefficients.

## 2. Recurrences and Algebraic Structure

Nekrasov–Okounkov polynomials arise as a specialization of the two-parameter family $P_n^{g,h}(x)$ defined recursively:
\[
P_0^{g,h}(x) = 1,\qquad P_n^{g,h}(x) = \frac{x}{h(n)} \sum_{k=1}^n g(k)\,P_{n-k}^{g,h}(x)
\]
with
\[
g(n) = \sigma(n) = \sum_{d|n} d,\quad h(n) = n
\]
for the Nekrasov–Okounkov/D'Arcais case [2010.07890, 2204.01008, 2101.04654]. The underlying generating function is
\[
\prod_{m=1}^\infty (1-q^m)^{-x} = \sum_{n=0}^\infty P_n^{\sigma,\mathrm{id}}(x)\,q^n
\]
and the explicit expression for the polynomial coefficients is
\[
A_{\sigma,\mathrm{id}}(n,m) = \frac{n!}{m!} \sum_{k_1 + \dots + k_m = n} \prod_{i=1}^m \sigma(k_i)
\]
The D’Arcais (sometimes: “Serre–Newman”) polynomials correspond to $P_n^{\sigma,\mathrm{id}}(z)$, and $Q_n(z) = P_n(z+1)$.

## 3. Properties: Roots, Unimodality, and Log-Concavity

The polynomials $Q_n(z)$ satisfy several notable analytic and combinatorial properties:

- **Zeros:** Amdeberhan conjectured all roots are real, simple, and negative; Heim–Neuhauser disproved total realness for $n=10$ and higher [1810.02226]. Numerical evidence up to $n=700$ supports the refined conjecture: all zeros are simple, and all nonreal zeros lie in the open left-half plane $\operatorname{Re} z < 0$ (i.e., Hurwitz stability) [2304.02694].

- **Coefficient Unimodality and Log-Concavity:** The coefficients $(A_{n,0}, ..., A_{n,n})$ of $Q_n(z)$ are conjectured and numerically verified to be unimodal and ultra-log-concave for $n \leq 1500$ [2008.10069, 2010.05231, 1810.02226]. Hong–Zhang prove that this holds for small $k$ ($k \ll n^{1/6}/\log n$), and that the tail is monotonically decreasing for large $k$ ($k \gg \sqrt{n} \log n$), reducing the full unimodality conjecture to explicit log-concavity conditions on auxiliary sequences. This property connects to the Pólya frequency sequence criterion and real-rootedness of generating polynomials.

- **Recurrence Structure:** While $P_n^{g,h}(x)$ can yield orthogonal polynomial systems for certain pairs $(g,h)$, in the Nekrasov–Okounkov case ($g=\sigma$, $h(n)=n$) one does not obtain a three-term recurrence nor classical orthogonality [2204.01008, 2101.04654].

## 4. Connections to Partition Theory, Modular Forms, and Representation Theory

Nekrasov–Okounkov polynomials provide a bridge between partition enumeration, modular objects, and algebraic combinatorics:

- **Modular Context:** The $n$-th coefficient of $\prod_{m=1}^\infty (1-q^m)^{r}$ equals $P_n^{\sigma,\mathrm{id}}(r)$; the vanishing of such coefficients is tightly linked to Lehmer’s conjecture on Ramanujan’s $\tau$–function [2101.04654, 2304.02694].

- **Generalizations and Analogues:** The polynomials interpolate between classical families: for $g(n) = n$, $h(n) = n$ they recover associated Laguerre polynomials; for $g(n) = n$, $h(n) = 1$, the Chebyshev polynomials of the second kind [2204.01008, 2304.02694]. Variations involving different $g, h$ correspond to distinct root and orthogonality structures.

- **Refinements and Modular Extensions:** Modular generalizations, involving restriction to $r$-cores or summing only over hooks divisible by $r$, yield further polynomial families with applications to the generating functions of moduli spaces and affine root systems [1902.03386, 2306.08071], often realized as “type $\widetilde C$” or “doubled-distinct/self-conjugate” partition enumerations [1601.04369, 1505.01324].

- **Representation Theory and Instanton Moduli:** Generalized Jack and Macdonald polynomials—crucial in the study of instanton moduli spaces—reduce in special cases to expressions involving Nekrasov–Okounkov polynomials and their hook-length factorizations. This connection is encoded in the AGT correspondence and in formulas for equivariant localization [1404.5304, 1606.04613].

## 5. Deformations, Wreath Products, and Cluster Extensions

Recent developments generalize the classical Nekrasov–Okounkov formula to higher rank and modular settings:

- **$(q,t)$ and Wreath Deformations:** The $(q,t)$–Nekrasov–Okounkov formula for Macdonald polynomials (Rains–Warnaar) replaces hook ratios with $(q,t)$–ratios, yielding a four–parameter plethystic product and settling conjectures on Hodge polynomials of character varieties [1606.04613]. The extension to the wreath-Macdonald case ($r\geq 3$), involving $r$-core and $r$-quotient decompositions and “mixed” hook-lengths, has been proved via Ext operator formalism [2508.10772].

- **Multi-Parameter and Topological Vertex Extensions:** New “Nekrasov–Okounkov type” formulas, depending on $2N+1$ parameters, arise from the symmetries of the topological vertex and rotation invariance, supporting $N$-tuples of partitions and manifesting as sum-product identities relevant in refined topological string theory and vertex operator algebra [2312.08218].

- **Macdonald Identities for Affine Types:** Uniform $q$–Nekrasov–Okounkov formulas exist for all seven families of affine root systems (types $\widetilde{A}, \widetilde{B}, \widetilde{C}$ etc.), with explicit combinatorial interpretation via abacus models and content statistics, further emphasizing the central role of these polynomials in the theory of symmetric functions, cores, and Schur-type enumerations [2306.08071].

## 6. Specializations, Polynomiality, and Applications

Several structural phenomena are notable:

- **Polynomiality of Weighted Hook Sums:** For classical, “doubled-distinct,” and “self-conjugate” partition classes, sums over partitions of products of symmetric functions in hooks and contents, normalized by hook-products (e.g., $ \sum \frac{F_1\cdot F_2}{H_t(\lambda)} $), are always polynomials in the level parameter $n$; closed forms and degree bounds follow combinatorially via difference operators on $t$-quotients and Littlewood decomposition, generalizing Stanley’s seminal result for all partitions [1601.04369].

- **Physical and Enumerative Applications:** The connection to random partitions, Seiberg–Witten theory, and the geometry of Hilbert schemes links Nekrasov–Okounkov polynomials to counting problems in gauge theory, crystal melting, and quantum invariants [1810.02226, 1505.01324, 1404.5304].

- **Explicit Coefficient Identities and Asymptotics:** Explicit closed forms for coefficients and growth bounds of $P_n(z)$ have been established, including best-known non-vanishing regions for eta powers and strong control on the zero distributions [2101.04654, 2304.02694].

## 7. Open Questions and Future Directions

Active areas of investigation include:

- **Complete Unimodality and Log-Concavity:** The transition regime where unimodality remains undetermined invites refined asymptotic and combinatorial bounds, possibly via deeper analysis of convolution recursions and partition asymptotics [2008.10069, 2010.05231].

- **Full $(q,t)$ and Elliptic Generalizations:** Modular and elliptic analogues (involving theta functions in place of $(1-q^a)$ factors; see the Walsh–Warnaar and related conjectures) are open and subject to computation and proof via operator traces, Plethystic identities, and geometric representation theory [2508.10772, 1902.03386].

- **Algebraic and Geometric Proofs:** Bijective, representation-theoretic, and geometric arguments for identities previously obtained analytically, especially for wreath-product and affine-type generalizations, are sought. There is particular interest in combinatorial models for Ext-operator actions and modular parameter dependence [2508.10772, 2312.08218].

- **Interdisciplinary Links:** Potential applications extend to the theory of special functions, random matrix ensembles, cluster algebras, and integrable systems.

**Summary Table: Core Characteristics**

| Aspect                      | Classical NO Polynomials                | Generalizations                                      |
|-----------------------------|-----------------------------------------|------------------------------------------------------|
| Recurrence                  | $P_n(z) = \frac{z}{n}\sum_{k=1}^n \sigma(k) P_{n-k}(z)$ | Modular restrictions, $(q,t)$, $r$-core variants       |
| Generating Function         | $\prod_{m=1}^\infty (1-q^m)^{-z}$      | Products over cores, $q$-Pochhammer, topological vertex|
| Partition Classes           | All partitions                          | Doubled-distinct, self-conjugate, $t$-cores          |
| Root Properties             | Simple, Hurwitz-stable (conjectural)    | Analogous, with nonreal zeros in left-half plane     |
| Orthogonality               | No classical OPS, no 3-term recurrence  | $(g(n)=n, h(n)=n^s)$: Laguerre/Chebyshev special cases|
| Physics/Geom. Connection    | Eta-function powers, gauge theory       | Hilbert schemes, instanton moduli, AGT correspondence|
| Open Problems               | Unimodality, full root location, elliptic generalization | Bijective proofs, modular parametrization            |

For further technical details, proof sketches, and extensive references, see [1810.02226], [2010.07890], [1606.04613], [1902.03386], [1505.01324], [2304.02694], [1404.5304], [2508.10772], [2312.08218], [2306.08071], [2010.05231], [2101.04654], [2204.01008], [2008.10069], and [1601.04369].

Source: https://www.emergentmind.com/topics/nekrasov-okounkov-polynomials