pith. sign in

arxiv: 2203.17074 · v5 · submitted 2022-03-31 · 🧮 math.NT · math.CO· math.QA

Combinatorial multiple Eisenstein series

Henrik Bachmann , Annika Burmester This is my paper

Pith reviewed 2026-05-24 12:03 UTC · model grok-4.3

classification 🧮 math.NT math.COmath.QA
keywords combinatorial multiple Eisenstein seriesextended double shuffle equationsmultiple zeta valuesq-analoguesbimouldsymmetril invarianceswap invariance
0
0 comments X

The pith

A family of q-series with rational coefficients lifts solutions of the extended double shuffle equations and recovers multiple zeta values as q approaches 1.

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

The paper constructs combinatorial multiple Eisenstein series as q-series whose coefficients remain rational. These series obey a variant of the extended double shuffle equations and arise directly as lifts of any given rational solution to those equations. As q tends to zero the series recover the starting rational solution, while as q tends to one they approach multiple zeta values. The work proceeds by exhibiting the generating series of these objects as symmetril and swap invariant bimoulds. The construction therefore supplies an explicit interpolation between rational data and multiple zeta values that reduces to classical Eisenstein series in depth one.

Core claim

We construct combinatorial (bi-)multiple Eisenstein series as q-series with rational coefficients satisfying a variant of the extended double shuffle equations. These series are lifts of a given Q-valued solution of the extended double shuffle equations. They interpolate between that rational solution as q approaches 0 and multiple zeta values as q approaches 1. The explicit construction is performed on the level of generating series, which are shown to be symmetril and swap invariant bimoulds.

What carries the argument

Symmetril and swap invariant bimould formed by the generating series of the combinatorial multiple Eisenstein series.

If this is right

  • Every rational solution of the extended double shuffle equations extends to a family of q-series obeying the same algebraic relations in deformed form.
  • Depth-one cases of the construction coincide exactly with classical Eisenstein series.
  • The q-series supply explicit rational-coefficient deformations of multiple zeta values that are tied to modular forms.
  • The interpolation property holds uniformly across all depths for any starting rational solution.

Where Pith is reading between the lines

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

  • The rational-coefficient property may allow direct computation of linear relations among the series coefficients without passing through transcendental numbers.
  • The bimould invariance could be used to derive new identities among q-analogues that specialize to known multiple zeta value relations.
  • The construction might extend to other algebraic structures on multiple zeta values by replacing the double shuffle equations with different starting relations.

Load-bearing premise

A given rational solution of the extended double shuffle equations admits a lift to a symmetril and swap invariant bimould whose coefficients remain rational and whose limit as q approaches 1 recovers multiple zeta values.

What would settle it

A concrete rational solution of the extended double shuffle equations for which the constructed generating series either fails to have rational coefficients or fails to satisfy the symmetril and swap invariance properties would falsify the claimed lift.

read the original abstract

We construct a family of $q$-series with rational coefficients satisfying a variant of the extended double shuffle equations, which are a lift of a given $\mathbb{Q}$-valued solution of the extended double shuffle equations. These $q$-series will be called combinatorial (bi-)multiple Eisenstein series, and in depth one they are given by Eisenstein series. The combinatorial multiple Eisenstein series can be seen as an interpolation between the given $\mathbb{Q}$-valued solution of the extended double shuffle equations (as $q\rightarrow 0$) and multiple zeta values (as $q\rightarrow 1$). In particular, they are $q$-analogues of multiple zeta values closely related to modular forms. Their definition is inspired by the Fourier expansion of multiple Eisenstein series introduced by Gangl-Kaneko-Zagier. Our explicit construction is done on the level of their generating series, which we show to be a so-called symmetril and swap invariant bimould.

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 / 3 minor

Summary. The paper constructs a family of q-series with rational coefficients, termed combinatorial (bi-)multiple Eisenstein series, that lift a given Q-valued solution of the extended double shuffle (EDS) equations while satisfying a variant of the EDS equations. The construction is performed explicitly at the level of generating series, which are shown to be symmetril and swap invariant bimoulds. In depth one these reduce to classical Eisenstein series; the series interpolate between the input EDS solution (q → 0) and multiple zeta values (q → 1) and are inspired by the Fourier expansions of multiple Eisenstein series due to Gangl–Kaneko–Zagier.

Significance. If the explicit construction and invariance properties hold, the work supplies a combinatorial q-analogue of MZVs that preserves rationality of coefficients, satisfies the algebraic double-shuffle relations in a lifted form, and links directly to modular forms. The explicit bimould-level lift is a concrete strength that could facilitate further study of the algebraic and arithmetic properties of MZVs via q-deformations.

minor comments (3)
  1. [§2] §2: the precise statement of the “variant” double-shuffle equations satisfied by the combinatorial series is not compared side-by-side with the classical EDS; adding such a comparison would clarify the precise modification.
  2. [Introduction, §4] Introduction and §4: while the depth-one case is identified with Eisenstein series, an explicit low-depth numerical check (e.g., depth 2, weight 4) verifying that the q-series coefficients remain rational and recover the expected MZV limit would strengthen the exposition.
  3. The bimould notation (symmetril, swap invariance) is used without a self-contained reminder of the definitions; a short appendix or reference box would aid readers outside the immediate bimould literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction is self-contained

full rationale

The paper asserts an explicit construction of the combinatorial (bi-)multiple Eisenstein series as q-series with rational coefficients that lift any given Q-valued EDS solution while preserving symmetril and swap invariance. The abstract and description frame this as achieved by direct definition on the generating series level, with the q→0 and q→1 limits following from the construction itself rather than from any fitted parameter or self-citation chain. No load-bearing step reduces by definition or by prior self-result to the target claim; the derivation chain is therefore independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The construction rests on the existence of Q-valued solutions to the extended double shuffle equations and on standard algebraic properties of bimoulds; no free parameters or new entities are mentioned in the abstract.

axioms (2)
  • domain assumption Existence of Q-valued solutions to the extended double shuffle equations that can be lifted to q-series.
    Invoked when the combinatorial series are defined as lifts of a given solution.
  • standard math Standard properties of symmetril and swap invariant bimoulds in the theory of multiple zeta values.
    Used to assert that the generating series satisfy the required invariance.
invented entities (1)
  • combinatorial (bi-)multiple Eisenstein series no independent evidence
    purpose: q-analogues that interpolate between rational shuffle solutions and multiple zeta values
    New objects introduced by the construction; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5690 in / 1443 out tokens · 18429 ms · 2026-05-24T12:03:04.942158+00:00 · methodology

discussion (0)

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