Macdonald Index: 4D SCFT and Combinatorics

• Macdonald index is a specialized limit of the N=2 superconformal index that uses refinement fugacities to count Schur operators and interpolate between different index limits.
• It connects 4D superconformal field theories with 2D vertex operator algebras, offering insights via refined characters and protected operator spectra.
• The index also arises in algebraic combinatorics where it represents the major index on fillings, linking symmetric function theory with combinatorial statistics.

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 (Song, 2016). 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 (Jin et al., 13 Feb 2026).

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$ (Agarwal et al., 2021). In this form the trace is over the Schur sector, and $p\to0$0 is a flavor fugacity.

A second standard parametrization uses $p\to0$1, in which

$p\to0$2

In this convention the Macdonald index counts the same $p\to0$3-BPS operators as the Schur index, but refines the counting by the extra fugacity $p\to0$4 (Song, 2016).

The Schur specialization is recovered by setting the refinement to unity. In the $p\to0$5 notation this is the limit $p\to0$6 together with unrefined flavor fugacity; in the $p\to0$7 notation it is $p\to0$8, equivalently $p\to0$9 (Agarwal et al., 2021). 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 S$0 theory $\mathcal S$1 admits a Schur, or chiral, subsector isomorphic to a generally non-unitary 2D VOA $\mathcal S$2, and the Schur index is the vacuum character of that VOA (Song, 2016).

Song’s prescription constructs a filtration of the VOA vacuum module $\mathcal S$3,

$\mathcal S$4

followed by the associated graded space

$\mathcal S$5

Decomposing further by $\mathcal S$6-eigenvalue gives a refined character

$\mathcal S$7

with the conjectural identification

$\mathcal S$8

When the VOA has multiple independent generator families, the prescription requires 4D input to assign each generator its $\mathcal S$9-weight $\mathcal N=2$0 (Song, 2016).

A closely related proposal appears for VOAs $\mathcal N=2$1 labelled by crystallographic complex reflection groups $\mathcal N=2$2. There one defines the $\mathcal N=2$3-filtered vacuum character

$\mathcal N=2$4

and Bonetti–Andriolo–Kantor–Papageorgakis conjecture that

$\mathcal N=2$5

whenever $\mathcal N=2$6 is realized as $\mathcal N=2$7 (Agarwal et al., 2021). 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 N=2$8 theories of type $\mathcal N=2$9, 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-$\mathcal T$0 Macdonald polynomials,

$\mathcal T$1

and a genus-$\mathcal T$2 surface with $\mathcal T$3 punctures has index

$\mathcal T$4

This is the formulation in which the Macdonald slice of the superconformal index is identified with a $\mathcal T$5-deformation of two-dimensional Yang–Mills theory (Gadde et al., 2011).

For $\mathcal T$6 $\mathcal T$7 SYM, a deformed Schur, or two-parameter deformed Macdonald, index admits an exact combinatorial summation over partitions,

$\mathcal T$8

derived from a matrix integral using the Macdonald–Cauchy identity and Macdonald-polynomial orthogonality (Hatsuda, 5 Mar 2025). This gives a discrete partition expansion already at finite $\mathcal T$9.

The elliptic lift of this story rewrites the full superconformal index of $(E,R,r,m)$0 $(E,R,r,m)$1 SYM as

$(E,R,r,m)$2

where the coefficients are built from elliptic Macdonald polynomials, the common eigenfunctions of the elliptic Ruijsenaars–Schneider difference operators (Ren et al., 1 Apr 2026). In the limit $(E,R,r,m)$3, this reduces to the ordinary Macdonald data, and at large $(E,R,r,m)$4 one obtains

$(E,R,r,m)$5

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 $(E,R,r,m)$6 family, the Macdonald index has a closed fermionic sum

$(E,R,r,m)$7

with a path interpretation in terms of $(E,R,r,m)$8 species of particles on restricted solid-on-solid paths (Foda et al., 2019). For rank-two theories related to non-unitary $(E,R,r,m)$9 minimal models, analogous four-species fermionic sums were proposed.

For $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$0, one proposal based on the arc space of the Zhu algebra gives

$SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$1

and this formula was checked against Schur limits and RG flows (Andrews et al., 8 Jul 2025). 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 (Chern et al., 4 May 2026).

The Macdonald index also appears in $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$2 S-fold theories. The vacuum character was brute-force evaluated for VOAs labelled by the crystallographic complex reflection groups $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$3, $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$4, and $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$5. For $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$6 and $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$7, these vacuum characters were conjectured to reproduce the Macdonald limit of the superconformal index for rank-one and rank-two S-fold $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$8 theories, respectively; for the $SO(2)_E\times SU(2)_R\times U(1)_r\times U(1)_F$9 case, in the Schur limit, agreement was found with predictions from the literature (Agarwal et al., 2021). In the $$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$0 case, the Schur index also admits a closed plethystic ansatz matching up to $$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$1.

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 $$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$2 is strongly finitely generated, then its refined character equals the Hilbert series of the arc space of its Zhu algebra,

$$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$3

Assuming Song’s conjecture, this gives

$$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$4

with flavor fugacities set to unity (Andrews et al., 8 Jul 2025). 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

$$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$5

one constructs a Hermitian Gram matrix $$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$6 on weight-$$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$7, fermion-parity-$$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$8 states, counts its positive and negative eigenvalues $$I_{\rm Macdonald}(q,\xi,z) := \mathrm{Tr}_{\mathcal H_{\rm schur}}\,(-1)^F\, q^{E-R}\,\xi^{R+r}\,z^m,$$9, and forms

$p\to0$0

Under graded unitarity this series matches the $p\to0$1-limit of the Macdonald index (Jiang, 31 Mar 2026).

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 $p\to0$2 abelian Chern–Simons matter theory flowing to a 3D $p\to0$3 SCFT, with

$p\to0$4

after identifying the distinguished infrared $p\to0$5 symmetry (Kim et al., 14 Nov 2025). Closely related is the refined Kontsevich–Soibelman proposal for “special” theories admitting a source/sink chamber, according to which

$p\to0$6

For $p\to0$7 Argyres–Douglas theories, explicit low-order expansions from this trace agree with existing Macdonald-index calculations (Andrews et al., 10 Nov 2025).

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 $p\to0$8 correctly (Song, 2016). 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 $p\to0$9 Argyres–Douglas theories, refined-character agreement was established in the large-$t\to \xi q$0 limit and supported in several simple modules at finite $t\to \xi q$1, but for $t\to \xi q$2 with $t\to \xi q$3 the naive Macdonald index failed to be a simple refined character; periodicity in $t\to \xi q$4 was lost, and an ad hoc infinite product in the strip-off factor $t\to \xi q$5 was needed to restore agreement (Watanabe et al., 2019). 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 $t\to \xi q$6 S-fold extensions to rank-two $t\to \xi q$7 and rank-three $t\to \xi q$8, the free-field realizations require ansätze with $t\to \xi q$9 undetermined coefficients, making direct $p\to0$00-algebra closure challenging; improved screening methods and direct BPS-state computations from string junctions were suggested as alternatives (Agarwal et al., 2021). On the infrared side, a chamber-independent definition of the refined KS operator and its behavior under quiver mutation remain open problems (Andrews et al., 10 Nov 2025).

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 $p\to0$01. If $p\to0$02 is a filling, a descent occurs at a box $p\to0$03 when $p\to0$04, and the statistic is

$p\to0$05

This definition is entirely in terms of boxes, descents, and leg-lengths of a partition diagram (Jin et al., 13 Feb 2026).

The statistic enters directly in the Haglund–Haiman–Loehr formula for modified Macdonald polynomials,

$p\to0$06

and in superization formulas for the integral Macdonald polynomial $p\to0$07 and the symmetric polynomial $p\to0$08 (Jin et al., 13 Feb 2026). In the worked example with $p\to0$09, the filling displayed in the paper has $p\to0$10 and $p\to0$11. This usage concerns fillings and symmetric-function expansions rather than protected operator counting, but it is part of the modern vocabulary surrounding Macdonald polynomials.