---
title: 'Macdonald Index: 4D SCFT and Combinatorics'
url: https://www.emergentmind.com/topics/macdonald-index
type: topic
---

# Macdonald Index: 4D SCFT and Combinatorics

The Macdonald index is a specialization of the four-dimensional \(\mathcal N=2\) superconformal index obtained by taking \(p\to0\) while keeping two fugacities independent. In this limit it counts the same Schur operators as the Schur index, but with one additional refinement fugacity, and it has become a central object in the study of protected operator spectra, chiral algebras, class \(\mathcal S\) topological field theory, and partition expansions controlled by Macdonald polynomials [1612.08956]. The same expression “Macdonald index” also appears in algebraic combinatorics, where it denotes the major index on fillings used in formulas for symmetric and integral Macdonald polynomials [2602.12672].

## 1. Definition in four-dimensional superconformal field theory

For a 4D \(\mathcal N=2\) SCFT \(\mathcal T\) with conserved quantum numbers \((E,R,r,m)\) under \(SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F\), one convenient parametrization of the Macdonald limit is
\[
I_{\rm Macdonald}(q,\xi,z)
:= \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\,
q^{E-R}\,\xi^{R+r}\,z^m,
\]
obtained from the full superconformal index by sending \(p\to0\) and reparametrizing \(t\to \xi q\) [2103.00985]. In this form the trace is over the Schur sector, and \(z\) is a flavor fugacity.

A second standard parametrization uses \(t=qT\), in which
\[
\mathcal I_M(q,t)
=\mathrm{Tr}_{\{\tfrac14\text{–BPS}\}}(-1)^F\,q^{\Delta-2R+r}\,t^{R-r}
=\mathrm{Tr}(-1)^F\,q^{\Delta-R}\,T^{R-r}.
\]
In this convention the Macdonald index counts the same \(\tfrac14\)-BPS operators as the Schur index, but refines the counting by the extra fugacity \(T\) [1612.08956].

The Schur specialization is recovered by setting the refinement to unity. In the \((q,\xi,z)\) notation this is the limit \(\xi\to1\) together with unrefined flavor fugacity; in the \((q,t)\) notation it is \(t=q\), equivalently \(T=1\) [2103.00985]. This relation fixes the Macdonald index as an interpolation between the ordinary superconformal index and the Schur-sector chiral-algebra character.

## 2. Refined characters and the VOA correspondence

The modern interpretation of the Macdonald index is inseparable from the 4d/2d correspondence. Any 4D \(\mathcal N=2\) theory \(\mathcal T\) admits a Schur, or chiral, subsector isomorphic to a generally non-unitary 2D VOA \(\chi[\mathcal T]\), and the Schur index is the vacuum character of that VOA [1612.08956].

Song’s prescription constructs a filtration of the VOA vacuum module \(\mathcal V\),
\[
\mathcal V_0\subset \mathcal V_1\subset \mathcal V_2\subset\cdots,
\qquad
\mathcal V_k=
\mathrm{span}\Big\{
X^{(i_1)}_{-n_1}\cdots X^{(i_m)}_{-n_m}\ket0
\;\big|\;m\le k,\;n_j>0
\Big\}\Big/\{\text{nulls}\},
\]
followed by the associated graded space
\[
V_{\rm gr}=\bigoplus_{k\ge0}V^{(k)},
\qquad
V^{(k)}=\mathcal V_k/\mathcal V_{k-1}.
\]
Decomposing further by \(L_0\)-eigenvalue gives a refined character
\[
Z^{\rm ref}_{\mathcal V}(q,T;\vec z)
=
\sum_{k=0}^\infty\sum_{h\ge0}
\chi\!\bigl(V^{(k)}_h;\vec z\bigr)\,q^h\,T^k,
\]
with the conjectural identification
\[
\mathcal I_M(q,t;\vec z)\big|_{t=qT}=Z^{\rm ref}_{\mathcal V}(q,T;\vec z).
\]
When the VOA has multiple independent generator families, the prescription requires 4D input to assign each generator its \(T\)-weight \(w(X^{(i)})=R-r|_{\mathrm{4d\ origin}}\) [1612.08956].

A closely related proposal appears for VOAs \(\mathcal W_G\) labelled by crystallographic complex reflection groups \(G\). There one defines the \(R\)-filtered vacuum character
\[
\chi_{\rm VAC}(q,\xi,z)
:=
\mathrm{Tr}_{\chi[\mathcal T]}
(-1)^F\,q^h\,\xi^{R+r}\,z^m,
\]
and Bonetti–Andriolo–Kantor–Papageorgakis conjecture that
\[
\chi_{\rm VAC}(q,\xi,z)=I_{\rm Macdonald}(q,\xi,z)
\]
whenever \(\chi[\mathcal T]\) is realized as \(\mathcal W_G\) [2103.00985]. In this form, the Macdonald index becomes a refined VOA vacuum character with null states removed.

## 3. Macdonald-polynomial and TQFT formulations

For class \(\mathcal S\) theories of type \(A_{k-1}\), the Macdonald index can be organized as a correlator of a two-dimensional topological field theory. In this setting the structure constants are diagonal in a basis built from ordinary type-\(A\) Macdonald polynomials,
\[
f^\lambda_{q,t}(a)=\mathcal K_{q,t}(a)\,P^\lambda(a\mid q,t),
\]
and a genus-\(\mathfrak g\) surface with \(s\) punctures has index
\[
\mathcal I_{g,s}(\{a_I\})
=
\sum_\lambda
\bigl(C_\lambda^{(k)}(q,t)\bigr)^{2g-2+s}
\prod_{I=1}^s
f^\lambda_{q,t}\bigl(a_I(\Lambda_I)\bigr).
\]
This is the formulation in which the Macdonald slice of the superconformal index is identified with a \((q,t)\)-deformation of two-dimensional Yang–Mills theory [1110.3740].

For \(U(N)\) \(\mathcal N=4\) SYM, a deformed Schur, or two-parameter deformed Macdonald, index admits an exact combinatorial summation over partitions,
\[
I_N(t,u;q)
=
\frac{(q;q)_\infty^N}{(t;q)_\infty^N}
\sum_{\lambda:\,\ell(\lambda)\le N}
u^{|\lambda|}\,b_\lambda(q,t)\,N_{\lambda,N}(q,t),
\]
derived from a matrix integral using the Macdonald–Cauchy identity and Macdonald-polynomial orthogonality [2503.03952]. This gives a discrete partition expansion already at finite \(N\).

The elliptic lift of this story rewrites the full superconformal index of \(\mathcal N=4\) \(U(N)\) SYM as
\[
I_N(p,q,t;u)
=
\chi'_N
\sum_{\lambda\in\Lambda^N}
u^{|\lambda|}\,
B_\lambda(p,q,t)\,
\mathcal N_\lambda(p,q,t),
\]
where the coefficients are built from elliptic Macdonald polynomials, the common eigenfunctions of the elliptic Ruijsenaars–Schneider difference operators [2604.00924]. In the limit \(p\to0\), this reduces to the ordinary Macdonald data, and at large \(N\) one obtains
\[
I_\infty(p,q,t;u)
=
\frac{(q;q)_\infty\,(p;p)_\infty}
{(t;t)_\infty\,(u;u)_\infty
\bigl(\frac{pq}{tu};\frac{pq}{tu}\bigr)_\infty}.
\]
These results place the Macdonald index within a broader integrable-systems framework.

## 4. Explicit families, closed forms, and S-fold examples

A major class of exact formulas concerns Argyres–Douglas theories. For the \((A_1,A_{2k})\) family, the Macdonald index has a closed fermionic sum
\[
\mathcal I_{(A_1,A_{2k})}(q,t)
=
\sum_{N_1\ge\cdots\ge N_k\ge0}
\frac{
q^{\,\sum_{i,j=1}^k\min(i,j)\,N_i\,N_j}\;
t^{\,\sum_{i=1}^kN_i}
}{
(q)_{N_1-N_2}\,(q)_{N_2-N_3}\cdots(q)_{N_k}
},
\]
with a path interpretation in terms of \(k\) species of particles on restricted solid-on-solid paths [1912.01896]. For rank-two theories related to non-unitary \(\mathcal W_3\) minimal models, analogous four-species fermionic sums were proposed.

For \((A_1,D_{2n+1})\), one proposal based on the arc space of the Zhu algebra gives
\[
\mathcal I_M^{(A_1,D_{2n+1})}(q,t)
=
1+\sum_{m=1}^\infty
t^m\sum_{l=1}^m
\frac{f^n_{m,l}(q)}{(q;q)_l}
\sum_{k=0}^{2l}\binom{2l}{k}_q,
\]
and this formula was checked against Schur limits and RG flows [2507.06294]. A later result proved a fermionic–bosonic duality for the same family, thereby yielding the conjectural fermionic formula of Andrews et al. and implying another sum-like expression conjectured by Kim, Kim, and Song [2605.02251].

The Macdonald index also appears in \(\mathcal N=3\) S-fold theories. The vacuum character was brute-force evaluated for VOAs labelled by the crystallographic complex reflection groups \(G(k,1,1)=\mathbb Z_k\), \(k=3,4,6\), and \(G(3,1,2)\). For \(\mathbb Z_{3,4}\) and \(G(3,1,2)\), these vacuum characters were conjectured to reproduce the Macdonald limit of the superconformal index for rank-one and rank-two S-fold \(\mathcal N=3\) theories, respectively; for the \(\mathbb Z_3\) case, in the Schur limit, agreement was found with predictions from the literature [2103.00985]. In the \(\mathbb Z_3\) case, the Schur index also admits a closed plethystic ansatz matching up to \(O(q^{10})\).

## 5. Intrinsic, three-dimensional, and infrared constructions

Several recent approaches seek constructions of the Macdonald index that do not begin with the four-dimensional path integral. One theorem states that if the VOA \(\mathcal V\) is strongly finitely generated, then its refined character equals the Hilbert series of the arc space of its Zhu algebra,
\[
H_{A(\mathcal V)_\infty}(q,t)
=
\sum_{\ell,m\ge0}
\dim\bigl(A(\mathcal V)_\infty\bigr)_{\ell,m}\,
q^\ell\,t^m.
\]
Assuming Song’s conjecture, this gives
\[
\mathcal I_M(q,t)=H_{A(\mathcal V)_\infty}(q,t),
\]
with flavor fugacities set to unity [2507.06294]. This reformulation turns Macdonald-index computation into a problem in commutative algebra and Gröbner-basis enumeration.

A distinct intrinsic VOA construction recovers a special non-Schur limit rather than the full two-variable index. Defining
\[
\mathcal I_R(q)\equiv
\mathcal I_M\bigl(qe^{\pi i},e^{\pi i}\bigr),
\]
one constructs a Hermitian Gram matrix \(M_{h,f}^{ij}\) on weight-\(h\), fermion-parity-\(f\) states, counts its positive and negative eigenvalues \(x_{h,f}^\pm\), and forms
\[
I_R(q)=
\sum_{h,f}(-1)^f\,q^h\,
\bigl(x_{h,f}^+-x_{h,f}^-\bigr).
\]
Under graded unitarity this series matches the \(R\)-limit of the Macdonald index [2603.29829].

A three-dimensional route arises from a twisted reduction of the 4D theory. In this framework the Macdonald index appears as a refined A-twisted half-index of a 3D \(\mathcal N=2\) abelian Chern–Simons matter theory flowing to a 3D \(\mathcal N=4\) SCFT, with
\[
I^A(q,T)
=
\mathrm{Tr}_B\,(-1)^F\,q^{J+R_H}\,T^{R_H-R_C},
\qquad
I^A(q,T)=I_{\rm Mac}(q,T),
\]
after identifying the distinguished infrared \(U(1)_A\) symmetry [2511.11186]. Closely related is the refined Kontsevich–Soibelman proposal for “special” theories admitting a source/sink chamber, according to which
\[
I_M(q,T;\{z_i\})
=
(q)_\infty^r\,(qT)_\infty^r\,
\mathrm{Tr}\,[\,\mathcal O(q,T)\,].
\]
For \((A_1,\mathfrak g)\) Argyres–Douglas theories, explicit low-order expansions from this trace agree with existing Macdonald-index calculations [2511.07521].

## 6. Limitations, mismatches, and open problems

The refined-character interpretation is not completely automatic. When a chiral algebra has more than one family of generators, the VOA data alone do not determine the refinement weights; one must import the 4D origin of each generator to assign \(w(X)=R-r\) correctly [1612.08956]. This is a structural limitation of purely two-dimensional reconstructions.

There are also explicit finite-level mismatches in some module computations. In the study of \((A_{n-1},A_{m-1})\) Argyres–Douglas theories, refined-character agreement was established in the large-\(m\) limit and supported in several simple modules at finite \(m\), but for \((A_1,A_{2k})\) with \(s\ge2\) the naive Macdonald index failed to be a simple refined character; periodicity in \(s\) was lost, and an ad hoc infinite product in the strip-off factor \(F\) was needed to restore agreement [1909.04074]. This identifies a concrete point where the refined-character picture is subtler than in the vacuum module.

Brute-force VOA constructions also encounter computational barriers. For the proposed \(\mathcal N=3\) S-fold extensions to rank-two \(G(4,1,2)\) and rank-three \(G(3,3,3)\), the free-field realizations require ansätze with \(O(10^2\!-\!10^3)\) undetermined coefficients, making direct \(W\)-algebra closure challenging; improved screening methods and direct BPS-state computations from string junctions were suggested as alternatives [2103.00985]. On the infrared side, a chamber-independent definition of the refined KS operator and its behavior under quiver mutation remain open problems [2511.07521].

## 7. The combinatorial “Macdonald index” as major index

In algebraic combinatorics, the phrase “Macdonald index” often denotes the major index on fillings of the conjugate diagram \(\mathrm{dg}(\lambda')\). If \(\sigma\) is a filling, a descent occurs at a box \(u\) when \(\sigma(u)>\sigma(\mathrm{South}(u))\), and the statistic is
\[
\mathrm{maj}(\sigma)
=
\sum_{u\in \mathrm{Des}(\sigma)}
\bigl(\mathrm{leg}(u)+1\bigr).
\]
This definition is entirely in terms of boxes, descents, and leg-lengths of a partition diagram [2602.12672].

The statistic enters directly in the Haglund–Haiman–Loehr formula for modified Macdonald polynomials,
\[
\widetilde H_{\lambda}(X;q,t)
=
\sum_{\tau\in T(\lambda)}
x^\tau\,t^{\mathrm{maj}(\tau)}\,q^{\mathrm{inv}(\tau)},
\]
and in superization formulas for the integral Macdonald polynomial \(J_\lambda(X;q,t)\) and the symmetric polynomial \(P_\lambda(X;q,t)\) [2602.12672]. In the worked example with \(\lambda=(3,2)\), the filling displayed in the paper has \(\mathrm{Des}(\tau)=\{(2,1),(3,2)\}\) and \(\mathrm{maj}(\tau)=3\). This usage concerns fillings and symmetric-function expansions rather than protected operator counting, but it is part of the modern vocabulary surrounding Macdonald polynomials.

Source: https://www.emergentmind.com/topics/macdonald-index