pith. sign in

arxiv: 2410.21879 · v5 · submitted 2024-10-29 · 🧮 math.CO · math.RT

A New Grounded Partition Identity of Type D₄⁽³⁾

Benedek Dombos This is my paper

Pith reviewed 2026-05-23 19:04 UTC · model grok-4.3

classification 🧮 math.CO math.RT
keywords Rogers-Ramanujan identitiesgrounded partitionsaffine Kac-Moody algebrasperfect crystalscharacter formulasD_4^(3)Lepowsky product
0
0 comments X

The pith

A character computation for the affine algebra D_4^(3) equates a product formula to a sum over grounded partitions.

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

The paper proves a new Rogers-Ramanujan-type identity for grounded partitions. It obtains the identity by showing that two separate expressions for the character of one module of the affine Kac-Moody algebra D_4^(3) are equal. Lepowsky's product formula supplies one side. A sum extracted from perfect crystals via the Dousse-Konan approach supplies the other side. A sympathetic reader cares because the equality directly links an algebraic representation to a combinatorial generating function for partitions.

Core claim

The character of the module equals the Lepowsky product on one hand and the perfect-crystal sum on the other; therefore the product equals the sum, which is the stated grounded-partition identity.

What carries the argument

The character of an integrable highest-weight module of D_4^{(3)}, obtained once by Lepowsky's product formula and once by summation over ground-state vectors of a perfect crystal.

If this is right

  • The generating function for the grounded partitions in question equals the explicit infinite product given by Lepowsky's formula.
  • The perfect-crystal basis supplies a combinatorial model for the same generating function.
  • The Dousse-Konan summation technique applies successfully to this particular algebra and module.
  • The identity supplies one more algebraic proof of a partition generating function in the Rogers-Ramanujan family.

Where Pith is reading between the lines

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

  • The same two-way character computation could be repeated for other affine types to generate additional grounded-partition identities.
  • The crystal side may allow extraction of new recurrence relations or congruence properties for the grounded partitions that are not visible from the product alone.
  • The identity might admit a bijective proof or a modular-form interpretation that the algebraic proof does not address.

Load-bearing premise

Both the Lepowsky product and the crystal sum are correctly computed for exactly the same module and capture its full character.

What would settle it

Expanding the product side and the proposed sum side as power series and locating any degree where the coefficients differ would disprove the identity.

Figures

Figures reproduced from arXiv: 2410.21879 by Benedek Dombos.

Figure 1
Figure 1. Figure 1: three generalised Cartan matrices The algebra A (1) 1 is the simplest affine Kac–Moody algebra, characterised by a symmetric GCM. It will only be used in the preliminaries as an illustrative example. On the other hand, the algebras G (1) 2 and G (2) 2 , with transpose GCMs, will play an important role in our computations. As mentioned in the introduction, we will derive a partition identity by calculating … view at source ↗
Figure 2
Figure 2. Figure 2: a perfect crystal B of level one, and the tensor product B ⊗ B The graph B ⊗ B in [PITH_FULL_IMAGE:figures/full_fig_p014_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: affine crystal of paths P(Λ0) Since B(λ) and P(λ) are isomorphic, we can also use P(λ) to compute the character of L(λ). This can be done by defining a suitable invariant on tensor products of the perfect crystal B. Definition 2.12. An energy function on B ⊗ B is a map H : B ⊗ B → Z such that for all i ∈ {0, . . . , n − 1} and b1, b2 with fi(b1 ⊗ b2) 6= 0: H (fi(b1 ⊗ b2)) =    H(b1 ⊗ b2) if i 6= 0, H(… view at source ↗
Figure 4
Figure 4. Figure 4: G2 root system In particular, the set of short roots for the finite part is Φs = ±{α2, α1 + α2, α1 + 2α2}, and the set of long roots for the finite part is Φl = ±{α1, 2α1 + 3α2, α1 + 3α2}. Next, we need to parametrise the positive roots of the dual G (1) 2 of G (2) 2 , with Cartan matrix shown in [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Perfect crystal B of level 1 of type G (2) 2 The finite part of B, obtained by removing the 0-arrows, corresponds to the 7-dimensional standard representation of the finite simple Lie algebra G2, along with a copy of the trivial representation at the vertex Ψ. The vertex labels are taken directly from [KMOY07] and are motivated by the tableau model for finite g2-crystals (see [KM94] by Kang and Misra). Rec… view at source ↗
Figure 6
Figure 6. Figure 6: weights and levels of the vertices For this crystal to be perfect, we must first verify that there are unique elements b λ and bλ in B such that ε(b λ ) = Λ0 and ϕ(bλ) = Λ0. Indeed, we have b λ = bλ = Ψ, resulting in a constant ground state path of level 1, (ΨΨΨ . . .). Furthermore, the restriction of the maps ε and ϕ on P + ℓ is bijective, as there is only one level ℓ = 1 vertex. Next, we need to compute … view at source ↗
Figure 7
Figure 7. Figure 7: connected components of the finite part 24 [PITH_FULL_IMAGE:figures/full_fig_p024_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: the crystal B ⊗ B Using Definition 2.12, we can directly read off the energy function from the crystal B ⊗ B. By definition, the energy remains constant on the six components of the finite part, so we only need to check how it changes along the green arrows and ensure that it is consistent (e.g. there are no green arrows that begin and end in the same component of the finite part). In the way we have drawn… view at source ↗
Figure 9
Figure 9. Figure 9: specialisations of the weights We have seen in the previous section that the principal specialisation of e −Λ0 ch(L(Λ0)) equals the infinite product (8). To complete the proof of Theorem 1.6 (i.e. to formulate this statement as a partition identity), we need to specialise the colours and the variable t at suitable powers of q so that it is consistent with principal specialisation (in Theorem 2.4). Now, we … view at source ↗
Figure 10
Figure 10. Figure 10: principal specialisation of the energy function [PITH_FULL_IMAGE:figures/full_fig_p027_10.png] view at source ↗
read the original abstract

In this paper, we prove a new Rogers-Ramanujan-type identity, involving grounded partitions, by computing a character of the affine Kac-Moody algebra $D_4^{(3)}$ in two different ways. The product side is derived using Lepowsky's product formula, while the sum side is obtained using perfect crystals with a technique of Dousse and Konan.

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

0 major / 2 minor

Summary. The paper proves a new Rogers-Ramanujan-type identity involving grounded partitions by equating two expressions for the character of a module of the affine Kac-Moody algebra D_4^{(3)}: one side obtained via Lepowsky's product formula and the other via a sum over perfect crystals using the Dousse-Konan technique.

Significance. If correct, the result supplies a new explicit identity in the combinatorial representation theory of affine Lie algebras, extending the catalog of Rogers-Ramanujan-type identities beyond previously treated types. The dual computation (product formula versus crystal enumeration) on the same module constitutes independent verification and is a methodological strength of the work.

minor comments (2)
  1. The abstract and introduction refer to 'grounded partitions' without a self-contained definition or a precise citation to the relevant prior literature on the term; adding one sentence or a reference would aid readability for readers outside the immediate subfield.
  2. Section 2 (or the section introducing the module) would benefit from an explicit statement of which integrable highest-weight module of D_4^{(3)} is under consideration, including its level and highest weight, to make the application of Lepowsky's formula and the crystal construction immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, including the recognition of its significance in extending Rogers-Ramanujan-type identities for affine Lie algebras and the methodological strength of the dual computation. The recommendation for minor revision is noted; no specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; independent computations equated

full rationale

The paper derives the identity by equating two expressions for the same character of D_4^{(3)}: one via Lepowsky's product formula and one via perfect-crystal enumeration (Dousse-Konan technique). These are distinct external methods applied to the module; the equality is the non-tautological content of the proof. No self-citation, fitted parameter renamed as prediction, or definitional reduction appears in the described chain. The result is self-contained against the cited literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are visible from the abstract alone; the result rests on the correctness of Lepowsky's formula and the Dousse-Konan crystal technique, both treated as prior literature.

pith-pipeline@v0.9.0 · 5572 in / 1010 out tokens · 21792 ms · 2026-05-23T19:04:26.991912+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    On Schur’s second partition theorem (1967)

    Andrews G.E. On Schur’s second partition theorem (1967). Glasg. Math. J. 8(2): 127-132

    work page 1967

  2. [2]

    Andrews, G.E. (1976). The Theory of Partitions. Cambridge Univ. Press

    work page 1976

  3. [3]

    Assaf, S., and González, N. S. (2018). Crystal graphs, key tabloids, and nonsymmetric Macdonald polynomials. 30th International Conference on FPSAC. Sém. Lothar. Combin., 80B(90)

    work page 2018

  4. [4]

    Azenhas, N

    O. Azenhas, N. González, D. Huang, and J. Torres, Keys and evacuation via virtualization, preprint, arXiv:2409.12666, 2024

    work page arXiv 2024

  5. [5]

    Bump, D., and Schilling, A. (2017). Crystal Bases: Representations and Combinatorics. World Sci. Publ

    work page 2017

  6. [6]

    Carter, R. (2010). Lie Algebras of Finite and Affine Type. Cambridge Univ. Press

    work page 2010

  7. [7]

    and Konan, I.(2022)

    Dousse, J. and Konan, I.(2022). Generalisations of Capparelli’s and Primc’s identities, I: coloured Frobenius partitions and combinatorial proofs. Adv. Math., 408, 108571

    work page 2022

  8. [8]

    and Konan, I Generalisations of Capparelli’s and Primc’s identities, II: perfect \(A_ n-1 ^ (1) \) crystals and explicit character formulas

    Dousse, J. and Konan, I Generalisations of Capparelli’s and Primc’s identities, II: perfect \(A_ n-1 ^ (1) \) crystals and explicit character formulas . Preprint, arXiv:1911.13189

    work page arXiv 1911

  9. [9]

    Dousse, J., and Konan, I. (2022). Multi-grounded partitions and character formulas. Adv. Math., 400, 108275

    work page 2022

  10. [10]

    Characters of level 1 st andard modules of C (1) n as generating functions for generalised partitions

    Dousse, J., Konan, I. Characters of level 1 standard modules of \(C_n^ (1) \) as generating functions for generalized partitions . Preprint, arXiv:2212.12728

    work page arXiv

  11. [11]

    Dousse, J., Hardiman, L.,and Konan, I. (2023). Partition identities from higher level crystals of A_1^ (1) . arXiv:2111.10279, Accepted in Proc. Amer. Math. Soc

    work page arXiv 2023

  12. [12]

    and Lovejoy, J

    Dousse, J. and Lovejoy, J. (2018). On a Rogers-Ramanujan type identity from crystal base theory. Proc. Amer. Math. Soc., 146, 55–67

    work page 2018

  13. [13]

    Dousse, J. (2017). The method of weighted words revisited. FPSAC 2017, Sém. Lothar. Combin., 78B: Art. 66

    work page 2017

  14. [14]

    Galashin, P. (2017). A Littlewood–Richardson rule for dual stable Grothendieck polynomials. J. Combin. Theory Ser. A, 151, 23–35

    work page 2017

  15. [15]

    J., Ono, K., and Warnaar, S

    Griffin, M. J., Ono, K., and Warnaar, S. O. (2016). A framework of Rogers–Ramanujan identities and their arithmetic properties. Duke Math. J., 165, 1475-1527

    work page 2016

  16. [16]

    Hong, J., and Kang, S.-J. (2002). Introduction to Quantum Groups and Crystal Bases. Graduate Studies in Mathematics, Vol. 42. Amer. Math. Soc

    work page 2002

  17. [17]

    Kac, V. (1990). Infinite Dimensional Lie Algebras (3rd ed.). Cambridge Univ. Press

    work page 1990

  18. [18]

    Kang, S., Kashiwara, M., Misra, K., Miwa, T., Nakashima, T., and Nakayashiki, A. (1992). Perfect crystals of quantum affine Lie algebras. Duke Math. J., 68(3):499–607

    work page 1992

  19. [19]

    Kang, S., and Misra, K. (1994). Crystal bases and tensor product decompositions for \( U_q(G_2) \)-modules. J. Algebra, 163:675–691

    work page 1994

  20. [20]

    Kashiwara, M., Misra, K.C., Okado, M., Yamada, D. (2007). Perfect crystals for \(U_q(D_4^ (3) )\) . J. Algebra, 317(1), 392–423

    work page 2007

  21. [21]

    Lepowsky, J., and Milne, S. (1978). Lie algebraic approaches to classical partition identities. Adv. Math., 29, 15–59

    work page 1978

  22. [22]

    Lepowsky, J., and Wilson, R. L. (1984). The structure of standard modules, I: Universal algebras and the Rogers-Ramanujan identities. Invent. Math., 77, 199–290

    work page 1984

  23. [23]

    Lepowsky, J., and Wilson, R. L. (1985). The structure of standard modules, II: The case A^ (1) _1 , principal gradation . Invent. Math., 79, 417–442

    work page 1985

  24. [24]

    Lepowsky, J. (1978). Lectures on Kac--Moody Lie algebras. Université Paris VI, Spring 1978

    work page 1978

  25. [25]

    Morse, J., Schilling, A. (2015). Crystal approach to affine Schubert calculus. Int. Math. Res. Not., 2016(8), 2239–2294

    work page 2015

  26. [26]

    MacMahon, P. A. (1916). Combinatory Analysis (Vol. 2). Cambridge Univ. Press, New York, NY, USA

    work page 1916

  27. [27]

    Primc, M. (1999). Some crystal Rogers--Ramanujan type identities. Glas. Math. Ser. III, 34, 73–86

    work page 1999

  28. [28]

    J., and Ramanujan, S

    Rogers, L. J., and Ramanujan, S. (1919). Proof of certain identities in combinatory analysis. Math. Proc. Cambridge Philos. Soc., 19, 211–216

    work page 1919

  29. [29]

    Schur, I. (1917). Ein Beitrag zur Additiven Zahlentheorie und zur Theorie der Kettenbrüche. S.-B. Preuss. Akad. Wiss. Phys. Math. Klasse, 302–321

    work page 1917

  30. [30]

    Stanley, R. P. (1999). Enumerative Combinatorics, Volume 2. Cambridge Univ. Press

    work page 1999