Nekrasov–Okounkov Polynomials

• Nekrasov–Okounkov polynomials are defined via generating functions using partition hook-lengths, encoding Fourier coefficients of the Dedekind eta function.
• They exhibit notable algebraic structures and recurrences, with properties such as coefficient unimodality, log-concavity, and Hurwitz stability under certain conditions.
• These polynomials bridge diverse areas including modular forms, representation theory, and mathematical physics, with applications in instanton moduli and vertex operator algebras.

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)$ (Heim et al., 2018, Heim et al., 2020). 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 (Heim et al., 2020, Heim et al., 2022, Heim et al., 2021). 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 (Heim et al., 2018). 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) (Heim et al., 2023).
• 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$ (Hong et al., 2020, Heim et al., 2020, Heim et al., 2018). 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 (Heim et al., 2022, Heim et al., 2021).

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 (Heim et al., 2021, Heim et al., 2023).
• 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 (Heim et al., 2022, Heim et al., 2023). 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 (Walsh et al., 2019, Wahiche, 2023), often realized as “type $\widetilde C$” or “doubled-distinct/self-conjugate” partition enumerations (Han et al., 2016, Pétréolle, 2015).
• 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 (Smirnov, 2014, Rains et al., 2016).

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 (Rains et al., 2016). 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 (Ferlinc et al., 14 Aug 2025).
• 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 (Yang, 2023).
• 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 (Wahiche, 2023).

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 (Han et al., 2016).
• 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 (Heim et al., 2018, Pétréolle, 2015, Smirnov, 2014).
• 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 (Heim et al., 2021, Heim et al., 2023).

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 (Hong et al., 2020, Heim et al., 2020).
• 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 (Ferlinc et al., 14 Aug 2025, Walsh et al., 2019).
• 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 (Ferlinc et al., 14 Aug 2025, Yang, 2023).
• 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 (Heim et al., 2018, Heim et al., 2020, Rains et al., 2016, Walsh et al., 2019, Pétréolle, 2015, Heim et al., 2023, Smirnov, 2014, Ferlinc et al., 14 Aug 2025, Yang, 2023, Wahiche, 2023, Heim et al., 2020, Heim et al., 2021, Heim et al., 2022, Hong et al., 2020), and (Han et al., 2016).