pith. sign in

arxiv: 2605.02251 · v2 · pith:LMJSQVYXnew · submitted 2026-05-04 · 🧮 math.CO · hep-th· math.NT

On conjectural fermionic formulas for the Macdonald index in Argyres-Douglas theories

Shane Chern , Chanh Tran , Tanay Wakhare This is my paper

Pith reviewed 2026-05-08 18:48 UTC · model grok-4.3

classification 🧮 math.CO hep-thmath.NT
keywords Macdonald indexArgyres-Douglas theoriesfermionic formulasconjugate Bailey pairsorthogonal polynomialsbasic hypergeometric seriesq-series identities
0
0 comments X

The pith

The authors prove a fermionic-bosonic duality that confirms the conjectural fermionic formula for the Macdonald index in Argyres-Douglas theories of type (A1, D2k+1).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a fermionic-bosonic duality relation for the Macdonald index specifically in Argyres-Douglas theories of type (A1, D2k+1). By constructing a new conjugate Bailey pair using orthogonal polynomials and basic hypergeometric series, the authors show that a bosonic expression equals a fermionic one. This directly proves a conjectural fermionic formula and derives an implied sum expression from it. Such a result is of interest as it provides a rigorous combinatorial and analytic foundation for expressions that were previously conjectural in this area.

Core claim

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type (A1, D2k+1), thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.

What carries the argument

The new conjugate Bailey pair constructed via orthogonal polynomials and basic hypergeometric series, which establishes the fermionic-bosonic duality for the Macdonald index.

If this is right

  • The conjectural fermionic formula for the Macdonald index holds for the (A1, D2k+1) theories.
  • An alternative sum-like expression for the Macdonald index follows directly from the fermionic formula.
  • The duality relation is established for the full infinite family of these theories parameterized by k.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method of constructing the conjugate Bailey pair via special functions may extend to Macdonald indices in other Argyres-Douglas theories.
  • This duality connects the Andrews et al. conjecture with the Kim-Kim-Song sum expression in a way that could inspire similar links for other indices.

Load-bearing premise

The new conjugate Bailey pair exactly matches the structure of the Macdonald index for the (A1, D2k+1) theories without further restrictions or adjustments.

What would settle it

Directly computing the Macdonald index for small k using an independent method and checking numerical agreement with the fermionic sum would test whether the duality holds.

read the original abstract

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression independently conjectured by Andrews et al. and Kim et al. for the same Macdonald index.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The paper claims to prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type (A_1, D_{2k+1}) by establishing a new conjugate Bailey pair using techniques from orthogonal polynomials and basic hypergeometric series. This duality is used to derive the conjectural fermionic formula due to Andrews et al. and implies another sum-like expression conjectured by Kim, Kim, and Song.

Significance. If the result holds, it provides a rigorous proof of a long-standing conjecture at the interface of special functions and supersymmetric gauge theory. The independent construction of the Bailey pair from orthogonal polynomials is a strength, offering a parameter-free approach that could generalize to other theories.

major comments (1)
  1. [Main theorem] The main theorem constructs the conjugate Bailey pair independently, but the identification step equating it to the Macdonald index for general k requires explicit verification that the hypergeometric parameters align with the theory's fugacities without case-specific adjustments (see the statement following the Bailey pair definition).
minor comments (3)
  1. [Abstract] The abstract should include a specific citation to the Andrews et al. paper when referring to the conjectural fermionic formula.
  2. [Introduction] Notation for the Macdonald index and fugacity variables could be introduced with a brief definition in the introduction to aid readers from the combinatorial side.
  3. [Section 3] A short computational check for small values of k (e.g., k=1) would help illustrate the duality before the general proof.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive recommendation of minor revision. We are glad that the referee recognizes the significance of the result at the interface of special functions and supersymmetric gauge theory. We address the major comment below.

read point-by-point responses

  1. Referee: [Main theorem] The main theorem constructs the conjugate Bailey pair independently, but the identification step equating it to the Macdonald index for general k requires explicit verification that the hypergeometric parameters align with the theory's fugacities without case-specific adjustments (see the statement following the Bailey pair definition).

    Authors: We thank the referee for this observation. In the construction of the conjugate Bailey pair (Section 3), the parameters of the basic hypergeometric series are defined directly in terms of the fugacities x, y, t, and the variable q of the Macdonald index for the (A_1, D_{2k+1}) theory, as introduced in Section 2. This parameterization is uniform and holds for arbitrary positive integer k by the properties of the underlying orthogonal polynomials; no case-by-case adjustments are made. The identification with the index follows immediately from this general matching. Nevertheless, to improve clarity, we will add an explicit verification paragraph immediately following the Bailey pair definition in the revised version, confirming the parameter alignment for general k. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation proceeds by independently constructing a new conjugate Bailey pair via orthogonal polynomials and basic hypergeometric series, then verifying that this pair produces the fermionic-bosonic duality relation for the Macdonald index in (A1, D_{2k+1}) theories. This construction relies on standard external techniques rather than any self-referential definition, fitted parameter, or load-bearing self-citation. The resulting fermionic formula and implied sum expression follow directly from the duality without reducing to the paper's inputs by construction. The argument is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard results in the theory of basic hypergeometric series and orthogonal polynomials with no free parameters fitted to data and no new postulated entities.

axioms (1)
  • standard math Standard identities and convergence properties of basic hypergeometric series and orthogonal polynomials hold as established in the literature.
    Invoked to construct and verify the new conjugate Bailey pair.

pith-pipeline@v0.9.0 · 5382 in / 1247 out tokens · 125298 ms · 2026-05-08T18:48:00.495996+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.