pith. machine review for the scientific record. sign in

arxiv: 2605.10048 · v1 · submitted 2026-05-11 · 🧮 math-ph · math.MP

Recognition: 2 theorem links

· Lean Theorem

Generalized i-boson model and boxed BUC plane partitions

Denghui Li, Shengyu Zhang, Zhaowen Yan

Pith reviewed 2026-05-12 02:32 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords generalized i-boson modelboxed BUC plane partitionsSchur Q-functionsgenerating functionsscalar productneutral fermionsplane partitions
0
0 comments X

The pith

The scalar product of the generalized i-boson model equals the generating function for boxed BUC plane partitions, expressed as a product of Schur Q-functions.

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

This paper shows how the algebraic structure of a generalized i-boson model produces the enumeration formula for a specific class of boxed plane partitions. The authors first define a representation of the model's algebra and compute the actions of its monodromy operators on basis states. They then introduce neutral fermion vertex operators acting on a fermionic Fock space and demonstrate that the model's scalar product between suitable states directly reproduces the desired generating function. A reader would care because the result supplies an explicit product formula in terms of well-studied Schur Q-functions and also records the form of the same generating function after a double scaling limit is taken.

Core claim

With the representation of the generalized i-boson algebra and the explicit actions of the monodromy matrix operators on basis vectors together with the actions of neutral fermion vertex operators on state vectors in the neutral fermionic Fock space, the scalar product of the model equals the generating function for boxed BUC plane partitions; this generating function factors as a product of Schur Q-functions. The paper also records the corresponding generating function in the double scaling limit.

What carries the argument

The scalar product of the generalized i-boson model, built from the monodromy matrix actions on basis vectors and the neutral fermion vertex operators on Fock space states.

If this is right

  • The generating function for boxed BUC plane partitions is given by a concrete product of Schur Q-functions.
  • The same generating function admits an explicit closed form after the double scaling limit is applied.
  • The algebraic setup supplies a systematic way to obtain further specializations or limits of the generating function by choosing different states in the model.

Where Pith is reading between the lines

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

  • The same technique might be applied to other families of boxed plane partitions by choosing different representations or different vertex operators.
  • The appearance of Schur Q-functions suggests that the model may be related to symmetric-function identities that have not yet been exploited for enumeration.
  • One could test whether the double scaling limit corresponds to a known asymptotic regime in the theory of plane partitions.

Load-bearing premise

That the scalar product constructed from the model's operator actions on the chosen states equals the generating function for boxed BUC plane partitions without extra factors or normalizations.

What would settle it

Direct computation of the scalar product for small box dimensions and small values of the model's parameters, followed by comparison with the explicit product of Schur Q-functions evaluated at the same values.

Figures

Figures reproduced from arXiv: 2605.10048 by Denghui Li, Shengyu Zhang, Zhaowen Yan.

Figure 1
Figure 1. Figure 1: A 2-dimensional view of the strict plane partition. The sequence of values covered in the slice is the corresponding partition. In particular, π0 = (5, 2, 1) and |π| = 30. We refer to the (strict) partition µ confined within rectangle [N, M] with N rows and M columns as (strict) boxed partitions and record it as µ ∈ [N, M]. Set ( ˜χ) = (˜µ, ν˜), the (strict) 2-partition ˜χ is called (strict) boxed 2-partit… view at source ↗
Figure 2
Figure 2. Figure 2: All paths in [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
read the original abstract

This paper is devoted to investigating the relation between the generalized i-boson model and boxed BUC plane partitions. The representation of the generalized i-boson algebra and the actions of the monodromy matrix operators on basis vectors have been studied. We also consider the actions of neutral fermion vertex operators on state vectors in terms of the neutral fermionic Fock space. With the help of the scalar product of the generalized i-boson model, the generating function for boxed BUC plane partitions is derived which can be represented as the products of Schur Q-functions. Moreover, the generating function for BUC plane partitions with the double scaling limit is presented.

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 manuscript investigates the relation between the generalized i-boson model and boxed BUC plane partitions. It details the representation of the generalized i-boson algebra, the actions of monodromy matrix operators on basis vectors, and the actions of neutral fermion vertex operators on state vectors in the neutral fermionic Fock space. Using the scalar product of the generalized i-boson model, it derives the generating function for boxed BUC plane partitions, which is expressed as a product of Schur Q-functions; a version for the double scaling limit is also presented.

Significance. If the central derivation holds, the work supplies an algebraic derivation of a known generating function via integrable-system techniques, linking the i-boson algebra and neutral-fermion Fock space to the combinatorics of plane partitions. The closed-form product of Schur Q-functions and the double-scaling result constitute concrete, falsifiable outputs that could be checked against existing enumerative formulas.

minor comments (2)
  1. The abstract states that a derivation exists but supplies no intermediate steps or verification; the main text should include an explicit computation (e.g., the action of the scalar product on the relevant states) so that readers can confirm the identification with the Schur-Q product without external references.
  2. Notation for the neutral-fermion vertex operators and the precise definition of the boxed BUC boundary conditions should be introduced with a short table or diagram to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript, accurate summary of its contents, and recommendation of minor revision. The referee correctly identifies the central results: the algebraic derivation of the generating function for boxed BUC plane partitions as a product of Schur Q-functions via the scalar product of the generalized i-boson model, together with the double-scaling limit.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives the generating function for boxed BUC plane partitions directly from the scalar product of the generalized i-boson model after establishing the algebra representation, monodromy matrix actions on basis vectors, and neutral-fermion vertex operator actions in the Fock space. This follows standard integrable-model techniques that map algebraic objects to combinatorial generating functions expressed as Schur Q-function products; no equation reduces a claimed prediction to a fitted parameter by construction, no load-bearing uniqueness theorem is imported via self-citation, and no ansatz is smuggled in. The result is obtained by explicit computation rather than presupposed, rendering the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on standard structures from integrable systems and symmetric functions; no free parameters or new entities introduced in the abstract.

axioms (2)
  • domain assumption Standard representation theory of the generalized i-boson algebra and actions of monodromy and vertex operators.
    Invoked to study actions on basis vectors and state vectors.
  • standard math Known properties of Schur Q-functions and their products as generating functions.
    Used to express the derived generating function.

pith-pipeline@v0.9.0 · 5404 in / 1267 out tokens · 42771 ms · 2026-05-12T02:32:15.493532+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.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

  1. [1]

    N. Yu. Reshetikhin, L. A. Takhtadzhyan and L. D. Faddeev, Quantization of Lie groups and Lie algebras, Leningrad Math. J. 1 (1990) 193-225

    work page 1990

  2. [2]

    V. V. Bazhanov, S. L. Lukyanov and A. B. Zamolodchikov, In tegrable structure of conformal field theory, quantum KdV theory and thermodynamic Bethe ansatz, Comm. Math. Phys . 177 (1996) 381-398

    work page 1996

  3. [3]

    A. Yu. Volkov and L. D. Faddeev, Yang-baxterization of th e quantum dilogarithm, J. Math. Sci. 88 (1998) 202-207

    work page 1998

  4. [4]

    S. `E. Derkachev and V. P. Spiridonov, Yang-Baxter equation, pa rameter permutations, and the elliptic beta integral, Russ. Math. Surv. 68 (2013) 1027-1072

    work page 2013

  5. [5]

    I. G. Macdonald, Symmetric Functions and Hall Polynomia ls, Clarendon Press, Oxford 1995

    work page 1995

  6. [6]

    You, Polynomial solutions of the BKP hierarchy and pro jective representations of symmetric groups, in Infinite- Dimensional Lie Algebras and Groups, Adv

    Y. You, Polynomial solutions of the BKP hierarchy and pro jective representations of symmetric groups, in Infinite- Dimensional Lie Algebras and Groups, Adv. Ser. Math. Phys. 7 (1989) 449-464

    work page 1989

  7. [7]

    Nimmo, Hall-Littlewood symmetric functions and the B KP equation, J

    J. Nimmo, Hall-Littlewood symmetric functions and the B KP equation, J. Phys. A 23 (1990) 751760

    work page 1990

  8. [8]

    V. G. Kac, Infinite Dimensional Lie algebras, Cambridge U niversity Press, Cambridge 1990

    work page 1990

  9. [9]

    E. Date, M. Kashiwara, M. Jimbo and T. Miwa, Transformati on groups for soliton equations: Nonlinear integrable systems-classical theory and quantum theory (Kyoto, 1981) , World Scientific Publishing, Singapore 1983

    work page 1981

  10. [10]

    E. K. Sklyanin, L. A. Takhtadzhyan and L. D. Faddeev, Qua ntum inverse problem method. I, Theor. Math. Phys. 40 (1979) 688-706. 28

    work page 1979

  11. [11]

    Korepin, N

    V. Korepin, N. M. Bogoliubov and A. Izergin, Quantum Inv erse Scattering Method and Correlation Functions, Cambridge University Press, Cambridge 1993

    work page 1993

  12. [12]

    N. M. Bogoliubov and R. K. Bullough, A q-deformed completely integrable Bose gas model, J. Phys. A 2 5 (1992) 4057-4071

    work page 1992

  13. [13]

    Wheeler, Free fermions in classical and quantum inte grable models, Ph.D thesis, Univ

    M. Wheeler, Free fermions in classical and quantum inte grable models, Ph.D thesis, Univ. Melbourne, arXiv:1110.6703v1

    work page arXiv

  14. [14]

    N. H. Jing, Z. J. Li and T. W. Cai, Correlation functions o f charged free boson and fermion systems, J. Stat. Mech. 2020 (2020) 083101

    work page 2020

  15. [15]

    N. M. Bogoliubov, A. G. Izergin and N. A. Kitanine, Corre lators of the phase model, Phys. Lett. A 231 (1997) 347-352

    work page 1997

  16. [16]

    N. V. Tsilevich, Quantum inverse scattering method for the q-boson model and symmetric functions, Funct. Anal. Appl. 40 (2006) 207-217

    work page 2006

  17. [17]

    Araujo, Q-boson model and relations with integrable hierarchies, Nucl

    T. Araujo, Q-boson model and relations with integrable hierarchies, Nucl. Phys. B 1006 (2024) 116640

    work page 2024

  18. [18]

    R. G. Baxter, Exactly Solved Models in Statistical Mech anics, Academic press, London 1982

    work page 1982

  19. [19]

    N. M. Bogoliubov and C. L. Malyshev, Scalar product of th e five-vertex model and complete symmetric polynomials, J. Math. Sci. 284 (2024) 654-664

    work page 2024

  20. [20]

    P. A. MacMahon, Combinatory Analysis, Cambridge Unive rsity Press, Cambridge 1915

    work page 1915

  21. [21]

    Bergeron, G

    F. Bergeron, G. Labelle and P. Leroux, Combinatorial Sp ecies and Tree-Like Structures, Cambridge University Press, Cambridge 1998

    work page 1998

  22. [22]

    Vo lume 2, Volume 62 of Cambridge Studies in Advanced Math- ematics, Cambridge University Press, Cambridge 1999

    Richard Peter Stanley, Enumerative Combinatorics. Vo lume 2, Volume 62 of Cambridge Studies in Advanced Math- ematics, Cambridge University Press, Cambridge 1999

    work page 1999

  23. [23]

    A. M. Vershik, Statistical mechanics of combinatorial partitions, and their limit shapes, Funct. Anal. Appl. 30 (1 996) 90-105

    work page

  24. [24]

    R. J. Baxter, Exactly Solved Models in Statistical Mech anics, Academic Press, New York 1982

    work page 1982

  25. [25]

    Okounkov, Random matrices and random permutations, Int

    A. Okounkov, Random matrices and random permutations, Int. Math. Res. Not. 2000 (2000) 1043-1095

    work page 2000

  26. [26]

    N. M. Bogolyubov, Enumeration of plane partitions and t he algebraic Bethe anzatz, Theor. Math. Phys. 150 (2007) 165-174

    work page 2007

  27. [27]

    Okounkov and N

    A. Okounkov and N. Reshetikhin, Correlation function o f Schur process with application to local geometry of a random 3-dimensional Young diagram, J. Am. Math. Soc. 16 (20 03) 581-603

    work page

  28. [28]

    Vuleti´ c, Shifted Schur process and asymptotics of l arge random strict plane partitions, Int

    M. Vuleti´ c, Shifted Schur process and asymptotics of l arge random strict plane partitions, Int. Math. Res. Not. 14 (2007) 043

    work page 2007

  29. [29]

    Foda and M

    O. Foda and M. Wheeler, BKP plane partitions, J. High Ene rg. Phys. 01 (2007) 075

    work page 2007

  30. [30]

    O. Foda, M. Wheeler and M. Zuparic, On free fermions and p lane partitions, J. Algebra 321 (2009) 3249-3273

    work page 2009

  31. [31]

    Vuleti´ c, A generalization of MacMahon’s formula, T rans

    M. Vuleti´ c, A generalization of MacMahon’s formula, T rans. Am. Math. Soc. 361 (2009) 2789-2804

    work page 2009

  32. [32]

    N. H. Jing, Vertex operators and Hall-Littlewood symme tric functions, Adv. Math. 87 (1991) 226-248

    work page 1991

  33. [33]

    N. H. Jing, Boson-fermion correspondence for Hall-Lit tlewood polynomials, J. Math. Phys. 36 (1995) 7073-7080

    work page 1995

  34. [34]

    Foda and M

    O. Foda and M. Wheeler, Hall-Littlewood plane partitio ns and KP, Int. Math. Res. Not. 14 (2009) 2597-2619

    work page 2009

  35. [35]

    S. Y. Zhang and Z. W. Yan, UC and BUC plane partitions, Eur . Phys. J. C 371 (2024) 84

    work page 2024

  36. [36]

    N. M. Bogoliubov, Boxed plane partitions as an exactly s olvable boson model, J. Phys. A 38 (2005) 9415-9430

    work page 2005

  37. [37]

    Shigechi and M

    K. Shigechi and M. Uchiyama, Boxed skew plane partition and integrable phase model, J. Phys. A 38 (2005) 10287-10306

    work page 2005

  38. [38]

    N. M. Bogoliubov, Four-vertex model and random tilings , Theor. Math. Phys. 155 (2008) 523-535

    work page 2008

  39. [39]

    Motegi, Factorization of rational six vertex model p artition functions, Nucl

    K. Motegi, Factorization of rational six vertex model p artition functions, Nucl. Phys. B 1009 (2024) 116743. 29

    work page 2024

  40. [40]

    S. Y. Zhang, J. Z. Liu and Z. W. Yan, Boxed UC plane partiti ons and the two-site generalized phase model, arXiv:2601.03941

    work page arXiv

  41. [41]

    Ogawa, Generalized Q-functions and UC hierarchy of B -Type, Tokyo J

    Y. Ogawa, Generalized Q-functions and UC hierarchy of B -Type, Tokyo J. Math. 32 (2009) 350-380

    work page 2009

  42. [42]

    Okuda and Y

    S. Okuda and Y. Yoshida, G/G gauged WZW model and Bethe An satz for the phase model, J. High Energ. Phys. 2012 (2012) 146

    work page 2012

  43. [43]

    Okuda and Y

    S. Okuda and Y. Yoshida, G/G gauged WZW-matter model, Be the Ansatz for q-boson model and Commutative Frobenius algebra, J. High Energ. Phys. 2014 (2014) 3. 30

    work page 2014