Pith. sign in

REVIEW 2 major objections 6 minor 2 cited by

The Young Tableaux Hopf algebra and multiple Schur series

T0 review · 2 major / 6 minor · reviewed 2026-07-13 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A Hopf algebra of Young tableaux linearizes to the quasi-shuffle algebra and unifies Schur multiple zeta values with Schur Eisenstein series.

desk verdict Solid Hopf-algebra framework that cleanly unifies Schur-MZVs with quasi-shuffles and produces Schur multiple Eisenstein series; analytic existence of the double limit is the only real soft spot and it sits outside the algebraic core. read the letter →

arxiv 2607.09157 v1 pith:BOCH6DFT submitted 2026-07-10 math.NT math.COmath.QA

Jinbo Yu This is my paper · ORCID
classification math.NTmath.COmath.QA MSC 11M3216T0516T3005E0511F11
keywords MultiplezetavaluesEisensteinseriesHopfalgebraYoungtableauxSchurfunctionsmodularformsquasi-shuffleJacobi-Trudiformula
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper equips Young tableaux with a product that treats disconnected components as free factors and a cutting coproduct that splits a shape along every intermediate partition, producing a connected commutative graded Hopf algebra. Linearizing each tableau by summing the ⋄-products of its entries over all semi-standard decompositions induces a Hopf isomorphism onto the classical quasi-shuffle algebra. Multiple Schur series—Schur-type sums over semi-standard fillings—are then realized as ordered convolutions of single-variable maps and therefore become algebra homomorphisms automatically. Inside this structure the author proves a hook formula, shows that the Jacobi–Trudi determinant is a Hopf morphism that acts as the identity modulo the linearization kernel, and embeds the ring of symmetric functions so that every constant-entry tableau reduces to a polynomial in depth-one generators. The same maps recover Schur multiple zeta values, define Schur multiple Eisenstein series and their q-analogues, and yield their modularity properties from the algebraic reductions alone.

What carries the argument

The Young tableaux Hopf algebra (kA, ⋆, Δ_cut) together with the linearization L_⋄ that sends a tableau to the sum, over every semi-standard decomposition, of the ⋄-products of its block entries; L_⋄ induces the isomorphism with the quasi-shuffle algebra and transports the hook, Jacobi–Trudi, and reduction identities.

What would settle it

Produce an explicit Young tableau whose corner entries are all at least 2 for which the iterated limit lim_M lim_N of the truncated Schur Eisenstein sums diverges or fails to be holomorphic somewhere in the upper half-plane.

Watch

Extended reading notes

Core claim

The free algebra on connected Young tableaux, with the disconnected-union product and the cutting coproduct, is a connected commutative graded Hopf algebra; its quotient by the kernel of the linearization map that expands each tableau into the sum of words arising from semi-standard decompositions is isomorphic as a Hopf algebra to the quasi-shuffle Hopf algebra. Multiple Schur series arise as convolutions of single-variable maps on this quotient and therefore inherit all product and determinant relations.

Load-bearing premise

The double limit that defines every Schur multiple Eisenstein series is assumed to exist and to give a holomorphic function on the upper half-plane; the paper only sketches the argument by analogy with earlier work on ordinary multiple Eisenstein series.

Editorial extensions

If this is right

  • Jacobi–Trudi and hook identities for Schur multiple zeta values and Schur Eisenstein series follow from quasi-shuffle relations alone.
  • Every constant-entry Schur Eisenstein series reduces to a polynomial in ordinary depth-one Eisenstein series.
  • When all entries equal 2 the resulting series span the ring of quasimodular forms; for even entries ≥4 they are modular forms.
  • The same reductions supply explicit q-expansions and polynomial expressions for the associated Schur divisor-sum generating functions.
  • Schur multiple L-values can be forced through the quasi-shuffle algebra by enlarging the alphabet so that the character becomes part of the product.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Hopf algebra should produce Schur analogues of any other quasi-shuffle specialization (finite MZVs, multiple polylogarithms, etc.) without new combinatorial constructions.
  • The still-undescribed kernel of linearization may hide further tableau identities that translate into previously unknown linear relations among special values.
  • Because the construction is purely algebraic, any family of maps that are homomorphisms for a chosen ⋄-product immediately yields a Schur-type series with automatic product structure.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper constructs a connected commutative graded Hopf algebra (kA, ⋆, Δ_cut, S) on (skew) Young tableaux with entries in an alphabet A, and proves that the linearization map L_⋄ induces a Hopf-algebra isomorphism between the quotient kA_⋄ = kA/ker L_⋄ and Hoffman’s quasi-shuffle Hopf algebra (khAi, ⋆_⋄, Δ_dec). Within this structure it establishes a hook formula and shows that a Jacobi–Trudi map J is a Hopf endomorphism of the diagonal-constant subalgebra acting as the identity modulo ker L_⋄. Multiple Schur series are then defined by Schur-type sums over SSYT and realized as ordered convolutions of single-variable maps, yielding algebra homomorphisms out of kA_⋄. The framework recovers Schur multiple zeta values, introduces Schur multiple Eisenstein series and a q-analogue, embeds the ring of symmetric functions into kA_⋄, and derives polynomial reductions of constant-entry tableaux that imply (quasi)modularity statements for the Eisenstein realizations.

Significance. The work supplies the missing Hopf-algebraic foundation for Schur multiple zeta values that the quasi-shuffle algebra provides for ordinary MZVs, and it unifies several arithmetic series under a single convolution construction. The identification of the linearized Young-tableaux algebra with the quasi-shuffle Hopf algebra, together with the transport of the Jacobi–Trudi identity as a Hopf morphism, is a clean and reusable contribution. The embedding of symmetric functions and the resulting polynomial reductions for constant-entry tableaux give a transparent algebraic route to modularity statements for Schur multiple Eisenstein series. The algebraic core is developed with full proofs and is of lasting interest independent of the analytic applications.

major comments (2)
  1. Definition/Proposition 4.7 asserts that the iterated limit lim_M lim_N G_{M,N}(h;τ) exists for every h ∈ H^{2}_⋄ and defines a holomorphic function on the upper half-plane, with the argument only sketched by analogy with Bachmann–Tasaka and with absolute-convergence details for corner weight 2 deferred to forthcoming work. Corollary 4.12 (modularity/quasimodularity) and the claim that G(·;τ) is an algebra homomorphism into O(H) rest on this existence. Either a self-contained convergence argument for the double limit (at least for corner weight 2) should be included, or the modularity statements should be clearly labelled as conditional on the analytic results of [Yu] so that the logical status of the applications is unambiguous.
  2. Section 4.5 argues, via a pslq search and the absence of an obvious relation, that for a non-principal character the Q-span of Schur multiple L-values properly contains the span of column (multiple Dirichlet L) values. The numerical evidence is suggestive but not a proof; the claim that C^×_{χ,3} ⊊ S_{χ,3} should be stated as a conjecture or supported by a rigorous linear-independence argument, rather than presented as an established phenomenon of the algebraic setup.
minor comments (6)
  1. The antipode formula (2.5) is the Takeuchi formula; a brief remark that it reduces to the recursive formula used in the example after Main Theorem A would help the reader.
  2. In Definition 2.3 the multiset SC(h) of shifted connected components allows empty components (denoted 1); a short clarifying sentence that empty factors are units under ⋆ would avoid confusion in later product arguments.
  3. Notation for the product on kA is written both as ⋆ and as juxtaposition in places (e.g., the defining relation of kA); consistent use of ⋆ throughout would improve readability.
  4. Several results (Fourier expansion of G, reduction of Schur multitangents, full modularity proofs) are deferred to [BY, Yu]. A short roadmap paragraph at the end of the introduction listing precisely which statements are proved here and which are conditional on those works would help the reader navigate the applications section.
  5. Example 2.25 is long and useful; a brief pointer earlier in the proof of Theorem 2.24 that a fully worked matrix example appears later would aid orientation.
  6. Typographical: “coëfficient” appears with a diaeresis in several places (e.g., Lemma 2.1); standard English spelling “coefficient” is preferable unless house style requires otherwise.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Hopf structure, linearization isomorphism, and transport of identities are proved combinatorially from free definitions.

full rationale

Main Theorems A–D are derived inside a freely constructed graded Hopf algebra of Young tableaux. The product ⋆ is the disconnected-component product, Δ_cut is the cutting coproduct along intermediate shapes, and both are shown to satisfy the bialgebra axioms by direct combinatorial verification (Theorem 2.6); the antipode follows from connectedness (Theorem 2.7). Linearization L_⋄ is defined by summing over semi-standard decompositions and proved multiplicative and surjective (Proposition 2.13); compatibility with deconcatenation (Proposition 2.16) yields the Hopf isomorphism of the quotient with the quasi-shuffle algebra (Theorem 2.17). The hook formula and Jacobi–Trudi map are then established inside this structure (Theorems 2.18, 2.24) without external numerical input. Multiple Schur series arise by convolution of independently chosen maps f_m (Theorem 3.7). Self-citations [BY, Yu] appear only for deferred analytic applications (Fourier expansions, detailed modularity); they are not used to justify any load-bearing algebraic step. No parameter is fitted to data and then re-presented as a prediction, and no uniqueness theorem is imported from the author’s prior work. The sole soft spot (existence of the double limit defining G(h;τ)) is an analytic hypothesis external to the algebraic core and does not render any claimed identity circular by construction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The paper is pure algebra plus classical analysis of series. It imports standard Hopf-algebra and quasi-shuffle machinery, the combinatorial theory of Young tableaux and symmetric functions, and known convergence criteria for multiple zeta and Eisenstein series. No numerical free parameters are fitted. The only essentially new objects are the tableaux Hopf algebra itself and the multiple-Schur-series evaluation maps; both are defined explicitly and do not rely on external empirical input.

assumptions (4)
  • standard math Hoffman’s theorem that (khAi, ⋆_⋄, Δ_dec) is a Hopf algebra for any commutative associative product ⋄ on kA.
    Used as the target of the linearization isomorphism (Main Theorem A / Theorem 2.17); cited from [H, HI].
  • domain assumption Absolute convergence of Schur-type series when corner entries are ≥2 (and ≥1 elsewhere), and of multiple Eisenstein series under the double-limit ordering of [BT].
    Invoked to guarantee that the evaluation maps ζ and G land in R and O(H) respectively (Sections 4.1, 4.3).
  • standard math The ring of symmetric functions Λ_k is freely generated by elementary (or power-sum) generators, with Jacobi–Trudi and Newton identities holding over any commutative ring (or over Q).
    Used to embed Λ_k into kA_⋄ and to obtain polynomial reductions of constant-entry tableaux (Theorem 3.11, Corollary 3.14, Theorem 3.16).
  • ad hoc to paper The cutting coproduct Δ_cut is well-defined on the quotient that identifies a disconnected tableau with the product of its shifted connected components.
    Proved in Theorem 2.6; the defining relation (2.3) is the paper’s own presentation of the free algebra on connected tableaux.
invented entities (3)
  • Young tableaux Hopf algebra (kA, ⋆, Δ_cut, S) independent evidence
    purpose: Provide a single algebraic home for all Schur-type series and transport quasi-shuffle identities to tableaux.
    Defined from scratch in §2.2; no prior reference constructs this exact Hopf structure on (skew) Young tableaux with the cutting coproduct.
  • Multiple Schur series F_X independent evidence
    purpose: Realize the tableaux algebra by Schur-type sums over any totally ordered index set and any family of maps f_m.
    Definition 3.1 / Theorem 3.7; specializes to Schur MZVs, Schur MES, q-analogues and L-values.
  • Schur multiple Eisenstein series G(h;τ)
    purpose: Schur analogue of multiple Eisenstein series; source of new (quasi)modular forms.
    Introduced in §4.3; modularity claimed via reduction to classical Eisenstein series.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Young Tableaux Hopf algebra and multiple Schur series." pith.science (2026). https://pith.science/paper/BOCH6DFT

@misc{pith2026260709157,
  author       = {Pith},
  title        = {Pith review of: The Young Tableaux Hopf algebra and multiple Schur series},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BOCH6DFT}},
  note         = {Machine review of arXiv:2607.09157}
}
abstract

In this paper, we introduce multiple Schur series, which are defined by Schur-type sums over semi-standard Young tableaux and generalize both Schur multiple zeta values and multiple Eisenstein series. To study their algebraic structure, we construct a connected, commutative, graded Hopf algebra of Young tableaux and identify its linearized quotient with the quasi-shuffle algebra. Within this Hopf algebra and its quotient, we establish several relations, including a hook formula and the Jacobi--Trudi formula. Furthermore, we relate this Hopf algebra to the ring of symmetric functions, which yields polynomial reduction formulas for tableaux with constant entries. As applications, we recover Schur multiple zeta values, introduce Schur multiple Eisenstein series together with a $q$-analogue of Schur multiple zeta values, and discuss their (quasi)modularity.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Schur Eisenstein series and Schur MacMahon series

    math.NT 2026-07 conditional novelty 7.0 of 10

    Schur Eisenstein and Schur MacMahon series give explicit bases and transition formulas for quasimodular forms, with a conjecture that the MacMahon side spans the integral lattice.

  2. Multiple Zeta Values

    math.NT 2026-08 unverdicted novelty 1.0 of 10

    An extensive expository survey of multiple zeta values, their finite/symmetric and q-analogue variants, and their modular-form connections, proving no new theorem.

Reference graph

Works this paper leans on

17 extracted references · cited by 2 Pith papers

  1. [1]

    Arakawa, M

    T. Arakawa, M. Kaneko: On multiple L -values , J. Math. Soc. Japan, 56 (2004), 967--991

    2004

  2. [2]

    Bachmann: Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen , Master's thesis, Hamburg University (2012)

    H. Bachmann: Multiple Zeta-Werte und die Verbindung zu Modulformen durch Multiple Eisensteinreihen , Master's thesis, Hamburg University (2012)

    2012

  3. [3]

    Bachmann, S

    H. Bachmann, S. Charlton: Generalized Jacobi--Trudi determinants and evaluations of Schur multiple zeta values , European J. Combin. 87 (2020), 103133

    2020

  4. [4]

    Bachmann, U

    H. Bachmann, U. Kühn: The algebra of generating functions for multiple divisor sums and applications to multiple zeta values , Ramanujan J., 40 (2016), 605--648

    2016

  5. [5]

    Bachmann, K

    H. Bachmann, K. Tasaka: The double shuffle relations for multiple Eisenstein series , Nagoya Math. Journal 230 (2017), 1--33

    2017

  6. [6]

    Bachmann, J

    H. Bachmann, J. Yu: Schur Eisenstein series , in preparation

  7. [7]

    Bouillot: The algebra of multitangent functions , Journal of Algebra, 410 (2014), 148--238

    O. Bouillot: The algebra of multitangent functions , Journal of Algebra, 410 (2014), 148--238

    2014

  8. [8]

    D. M. Bradley: Multiple q -zeta values , J. Algebra 283 (2005), 752--798

    2005

Show all 17 references
  1. [9]

    Gangl, M

    H. Gangl, M. Kaneko, D. Zagier: Double zeta values and modular forms , in ``Automorphic forms and zeta functions'', World Sci. Publ., Hackensack, NJ (2006), 71--106

    2006

  2. [10]

    Hoffman: Quasi-shuffle products , J

    M.E. Hoffman: Quasi-shuffle products , J. Algebraic Combin. 11 (2000), 49--68

    2000

  3. [11]

    Hoffman, K

    M.E. Hoffman, K. Ihara: Quasi-shuffle products revisited , J. Algebra 481 (2017), 293--326

    2017

  4. [12]

    Ihara, M

    K. Ihara, M. Kaneko, D. Zagier: Derivation and double shuffle relations for multiple zeta values , Compos. Math. 142 (2006), no. 2, 307--338

    2006

  5. [13]

    Matsumoto, M

    K. Matsumoto, M. Nakasuji: Expressions of content-parametrized Schur multiple zeta-functions via the Giambelli formula , Funct. Approx. Comment. Math. 71 (1) (2024), 7--20

    2024

  6. [14]

    Nakasuji, O

    M. Nakasuji, O. Phuksuwan, Y. Yamasaki: On Schur multiple zeta functions: a combinatoric generalization of multiple zeta functions , Adv.\ Math. 333 (2018), 570--619

    2018

  7. [15]

    Yamasaki: Evaluations of multiple Dirichlet L -values via symmetric functions , J

    Y. Yamasaki: Evaluations of multiple Dirichlet L -values via symmetric functions , J. Number Theory 129 (2009), no. 10, 2369--2386

    2009

  8. [16]

    Yu: The Fourier expansion of Schur multiple Eisenstein series , in preparation

    J. Yu: The Fourier expansion of Schur multiple Eisenstein series , in preparation

  9. [17]

    Zhao: Multiple q -zeta functions and multiple q -polylogarithms , Ramanujan J

    J. Zhao: Multiple q -zeta functions and multiple q -polylogarithms , Ramanujan J. 14 (2007), 189--221

    2007

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.