Table of Contents
Fetching ...

Bilateral Bailey Lattices and Andrews-Gordon Type Identities

Jehanne Dousse, Frédéric Jouhet, Isaac Konan

TL;DR

This work generalizes the Bailey lattice to a bilateral setting, introducing simple transformation lemmas that map bilateral Bailey pairs from relative to $a$ to $a/q$ and enabling bilateral lattices and $N$-extensions. The bilateral framework unifies and extends existing lattices (Warnaar, Lovejoy) and yields new $m$-versions of Andrews–Gordon, Bressoud and related identities, including a new elementary proof of a general Bressoud identity. The authors develop recurrence machinery and two key bilateral lemmas to prove a broad bilateral $N$-growth of Bailey lattices and to derive numerous identities, culminating in bilateral proofs of Br80 variants and new $m$-versions of Göllnitz–Gordon-type identities. The results broaden the analytic toolkit for $q$-series, with potential implications for partition theory and connections to higher-rank and bilinear structures in combinatorics and representation theory.

Abstract

We show that the Bailey lattice can be extended to a bilateral version in just a few lines from the bilateral Bailey lemma, using a very simple lemma transforming bilateral Bailey pairs relative to $a$ into bilateral Bailey pairs relative to $a/q$. Using this and similar lemmas, we give bilateral versions and simple proofs of other (new and known) Bailey lattices, including a Bailey lattice of Warnaar and the inverses of Bailey lattices of Lovejoy. As consequences of our bilateral point of view, we derive new $m$-versions of the Andrews-Gordon identities, Bressoud's identities, a new companion to Bressoud's identities, and the Bressoud-Göllnitz-Gordon identities. Finally, we give a new elementary proof of another very general identity of Bressoud using one of our Bailey lattices.

Bilateral Bailey Lattices and Andrews-Gordon Type Identities

TL;DR

This work generalizes the Bailey lattice to a bilateral setting, introducing simple transformation lemmas that map bilateral Bailey pairs from relative to to and enabling bilateral lattices and -extensions. The bilateral framework unifies and extends existing lattices (Warnaar, Lovejoy) and yields new -versions of Andrews–Gordon, Bressoud and related identities, including a new elementary proof of a general Bressoud identity. The authors develop recurrence machinery and two key bilateral lemmas to prove a broad bilateral -growth of Bailey lattices and to derive numerous identities, culminating in bilateral proofs of Br80 variants and new -versions of Göllnitz–Gordon-type identities. The results broaden the analytic toolkit for -series, with potential implications for partition theory and connections to higher-rank and bilinear structures in combinatorics and representation theory.

Abstract

We show that the Bailey lattice can be extended to a bilateral version in just a few lines from the bilateral Bailey lemma, using a very simple lemma transforming bilateral Bailey pairs relative to into bilateral Bailey pairs relative to . Using this and similar lemmas, we give bilateral versions and simple proofs of other (new and known) Bailey lattices, including a Bailey lattice of Warnaar and the inverses of Bailey lattices of Lovejoy. As consequences of our bilateral point of view, we derive new -versions of the Andrews-Gordon identities, Bressoud's identities, a new companion to Bressoud's identities, and the Bressoud-Göllnitz-Gordon identities. Finally, we give a new elementary proof of another very general identity of Bressoud using one of our Bailey lattices.
Paper Structure (22 sections, 39 theorems, 110 equations)

This paper contains 22 sections, 39 theorems, 110 equations.

Key Result

Theorem 1.1

If $(\alpha_n, \beta_n)$ is a Bailey pair relative to $a$, then so is $(\alpha'_n, \beta'_n)$, where

Theorems & Definitions (46)

  • Theorem 1.1: Bailey lemma
  • Theorem 1.2: Rogers--Ramanujan identities
  • Theorem 1.3: Andrews--Gordon identities
  • Theorem 1.4: Bailey lattice
  • Lemma 1.5: McLaughlin
  • Remark 1.6
  • Theorem 1.7: bilateral Bailey lemma
  • Theorem 1.8: bilateral Bailey lattice
  • Lemma 1.9: key Lemma 1
  • Lemma 1.10: key Lemma 2
  • ...and 36 more