Pith. sign in

REVIEW 3 major objections 5 minor 25 references

Motivic multiple mixed values of depth under four that reduce to ordinary multiple zeta values are completely classified, together with several infinite families of any depth.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-30 21:43 UTC pith:H2VR62HI

load-bearing objection Solid depth-3 classification and three new infinite families; the exclusion half of Theorem 4.3 is real work but the write-up of §5 is thinner than the claim needs. the 3 major comments →

arxiv 2607.23455 v1 pith:H2VR62HI submitted 2026-07-26 math.AG

Unramified Motivic Multiple Mixed Values

Ce Xu , Jianqiang Zhao This is my paper
classification math.AG MSC 11M3211G9914E1818M25
keywords motivic multiple zeta valuesmotivic Euler sumsmultiple mixed valuesunramifiednessGalois descentmotivic coactionlevel-two variants
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Multiple mixed values are level-two cousins of multiple zeta values obtained by forcing fixed parity patterns on the summation indices. The analytic question of which of them actually lie in the span of ordinary multiple zeta values is still out of reach, but the same question can be answered completely on the motivic side. Using the Brown–Glanois descent criterion, the paper lists every unramified motivic triple mixed value and exhibits three infinite families that remain unramified in arbitrarily large depth. The resulting classification confirms earlier special-case conjectures and supplies an explicit dictionary between those values and ordinary motivic multiple zeta values. The work therefore turns a transcendental-number-theory problem into a finite linear-algebra check that can be carried out for every low-depth parity pattern.

Core claim

Every unramified motivic multiple mixed value of depth at most three is one of the ordinary motivic multiple zeta values, one of the previously known regular-parity families (multiple t-, T- or S-values), or exactly one of the three irregular-parity exceptions M^m(1̌,1̌,3), M^m(1̌,2,2) and M^m(1̌,4,4). In addition, three infinite families of unbounded depth—two of almost extremal height and one of height one—are proved unramified, and explicit expressions in terms of motivic multiple zeta values are given for all but one of them.

What carries the argument

The Brown–Glanois descent criterion: a weight-w motivic Euler sum lies in the level-one Hopf algebra if and only if its D_1 coaction vanishes and every odd-r coaction lands inside L_r ⊗ H_{w-r}. All classification proofs reduce to verifying this finite-dimensional linear-algebra condition on the motivic coproduct.

Load-bearing premise

The descent criterion is taken as both necessary and sufficient; if it misses a hidden ramification, the lists of unramified values are incomplete.

What would settle it

Compute the full set of odd coactions D_r for any claimed unramified triple mixed value outside the list of Theorem 4.3 (or for a member of one of the infinite families) and check whether every image lands in the predicted level-one subspace; a single nonzero component outside that subspace falsifies the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Under the period conjecture the analytic triple mixed values that equal linear combinations of ordinary MZVs are precisely the ones listed in Theorem 4.3.
  • The three infinite families give infinitely many new explicit identities expressing irregular-parity Euler sums as rational combinations of MZVs.
  • The same coaction technique yields a complete dictionary for the height-one family V_j(d) in every even depth.
  • The conjectures of Section 8 supply a concrete checklist that can be tested numerically for every depth greater than three.

Where Pith is reading between the lines

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

  • The same parity-pattern analysis should extend, with only notational changes, to the alternating multiple mixed values already introduced by the authors, producing a parallel unramified list at level two with signs.
  • If the depth-four and depth-five conjectures hold, the only unramified wide MMVs that are not ordinary MZVs or multiple t-values will be a handful of sporadic examples, suggesting a strong rigidity once width exceeds three.
  • The explicit coaction formulae for the height-one family give a practical algorithm that computer-algebra systems can use to decide unramifiedness for any fixed depth and parity signature.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies multiple mixed values (MMVs), level-two variants of MZVs defined by parity restrictions on summation indices, and asks which motivic MMVs are unramified, i.e., descend to the level-one motivic MZV algebra H_1 via the Brown–Glanois descent criterion (Theorem 2.1: D_1 vanishes and all odd coactions D_r land in L_r ⊗ H_{w−r}). Main results: (i) Theorem 4.3, a complete classification of unramified motivic MMVs in depth ≤ 3, including the assertion that exactly three irregular-parity values — M^m(1̌,1̌,3), M^m(1̌,2,2), M^m(1̌,4,4) — are unramified; (ii) two infinite unramified families of unbounded depth and near-extremal height (Theorems 6.2, 6.3), proved by induction with explicit cut enumeration; (iii) a height-one family V_j^m(d) in even depths with explicit MZV expressions (Theorems 7.5, 7.12), one member's closed form conditional on a clearly labeled conjecture (Conjecture 7.7); (iv) conjectures in all depths ≥ 4 based on numerical experiments. The unramifiedness direction of Theorem 4.3 is proved by explicit coaction computation (Lemma 4.1); the exclusion direction occupies §5 (Theorems 5.1–5.4).

Significance. If correct, this is the first complete motivic unramifiedness classification for all parity patterns in depth three, extending the authors' prior work on the regular t-/T-/S-families, and it identifies three sporadic irregular values plus three new infinite families with explicit reductions to MZVs. Strengths: the descent criterion reduces everything to finite, checkable linear algebra; the proofs of Lemma 4.1, Lemma 3.3, Theorems 6.2–6.3 and 7.5/7.12 are fully displayed with explicit cut diagrams; the conditional statement (Theorem 7.12 modulo Conjecture 7.7) is honestly flagged; and §8 formulates concrete, falsifiable conjectures. The results are unconditional at the motivic level, with analytic consequences conditional on the period conjecture in the standard way. The field is specialized but active, and completeness theorems of this kind are the natural benchmarks for it.

major comments (3)
  1. [§5, Theorem 5.1, Cases (III.1)–(III.2)] Theorem 5.1, Case (III.1): the boundary b=0 is not covered by the written argument, and the assertion that the S-part coefficient is 'clearly positive' is false there. For (a,b,c)=(1,0,1) (i.e. M^m(2,1̌,2̌), allowed: w=5 odd, b=0 even, a,c>0) the S-coefficient 2^{b+1}−2+δ_{b≥c≥0}C(b,c) equals 0, and the t-coefficient also vanishes (C(b+a,b−a)=C(1,−1)=0, δ_{a=b}=0), so the displayed formula gives D_{b+1}M^m=0 and the subcase argument collapses. The ramified conclusion survives only because the reduction T^l(b+1)=(2^{b+1}−1)ζ̃^l(b+1) (Lemma 3.1(2), stated for k≥2) fails at b=0, where T^l(1)=log^l 2=−ζ̃^l(1) (Lemma 3.1(1)); a direct computation gives D_1=−2log^l 2⊗S^m(a+1,c+1)≠0. The same gap affects Case (III.2) when a=b=0 (c even ≥2): the text claims 'δ_{a=b}=0 since b is odd' — b is even in Case III, and δ_{a=b}=1 at a=b=0 — and the displayed X vanishes identically. Please add the b=0 bo
  2. [§5, Theorems 5.2–5.4] The exclusion half of Theorem 4.3 (the 'precisely three irregular values' claim) rests on Theorems 5.2–5.4, where the key non-vanishing/non-cancellation steps are asserted rather than shown. Theorem 5.2 is 'only sketched'; Case (III) ends with 'it can be shown that D_{b+1}M^m is ramified' with no argument, and Case (IV) lists five subcases with 'we can show'. Theorem 5.3 Case (V) says 'By consider the coaction D_{a+b+1}... we can show that it is always ramified', and Case (VI) asserts C≠0 in five subcases without display. Theorem 5.4 (III.2) contains the incomplete sentence 'But we can show that D_{a+c}X by the same idea as used before.' Given that the one fully written proof (Theorem 5.1) harbors the genuine b=0 gap above, these omitted checks are load-bearing for the completeness claim and should be written out in full, at least in an appendix.
  3. [§5, Theorem 5.4, Case (III.1)] Case (III.1) restricts to a=0, b=c≥5 and declares D_{b+4}M^m(1̌,b′,b′) 'clearly ramified'. This requires two unstated inputs: (i) T^m(1,b−2) is ramified (weight b−1 even, so via Lemma 3.1(9) or [19, Thm. 1.2]), and (ii) the two displayed terms cannot cancel since their left factors are proportional via T^l(b+4)=(2^{b+4}−1)ζ̃^l(b+4) while exactly one right factor is ramified. More importantly, the threshold b=c≥5 is unexplained: for b=c=3 (the exception M^m(1̌,4,4)) the cut D_{b+4} exists (r=7≤w−1=8) but the displayed formula must fail, since Lemma 4.1(iii) computes D_7=T^l(7)⊗ζ̃^m(2) with no second term. Please explain why the cut formula degenerates at b=c=3 and justify the restriction; this is another instance of small-parameter degeneration of the coaction formulas that the reader needs to see handled.
minor comments (5)
  1. [§4, Remark 4.2] Remark 4.2: 'Since D_3M^m(1̌,1̌,3)=0, we now can lift (4.1)' contradicts the line above, which computes D_3=−2T^l(3)⊗ζ^m(2)≠0. Presumably D_1=0 is meant.
  2. [passim] Typos: §1.4 'conjecture of Kaneko and Tsumura. Tsumura.'; §7 title 'unrmaified'; Lemma 3.3 'Turing to'; Theorem 4.3 proof 'mixed values of with irregular'; Theorem 5.2 'the proceeding proof'; Theorem 5.4 'Case (IV))'; missing superscript on ζ̃(b+4) in Theorem 5.4 (III.1).
  3. [§7, Theorems 7.1/7.5, Lemma 7.4] The index ranges for the unramified V_j(d) are stated inconsistently: §7 intro and Theorem 7.1 say j=∅,2,…,d−1 (with a log 2 correction needed at j=1,d), while Theorem 7.5's display is given 'for all 1≤j≤d'. Please state once, precisely, which V_j^m(d) are unramified and which require the correction term 2(δ_{j=1}−δ_{j=d})T^m(d)log^m 2. In Lemma 7.4 the 'In particular' cases overlap (j=n=1 satisfies n≥1).
  4. [§7, Theorem 7.5; §5] In the proof of Theorem 7.5, cut ④ cites 'Cor. 7.4' (presumably Cor. 7.2) and 'Lemma (7.4)'; please check cross-references. It would help the reader to state explicitly at the start of §5 that non-admissible (c′=1) MMVs are included via shuffle regularization, since Cases (II) of Theorems 5.1–5.4 concern c=0.
  5. [§8] The numerical evidence underlying Conjectures 8.2–8.6 is described as 'extensive' but not documented. A brief description (weight/depth ranges searched, use of [1], and the motivic vs. analytic status of the checks) would strengthen §8 without lengthening it much.

Circularity Check

1 steps flagged

No load-bearing circularity: classification applies external Brown–Glanois coaction criterion case-by-case; self-citations supply prior regular-pattern lemmas, not the new irregular/family results.

specific steps
  1. self citation load bearing [Theorem 4.3(2)–(4); proof paragraph after Lemma 4.1]
    "Turning to (2), we see that (i) is just Lemma 3.1(8). For Part(ii), … t_m(E,1,N≥2) is unramified by [19, Theorem 9.8]. Next, [19, Theorem 1.2 and Theorem 1.4] quickly imply (3) and (4), respectively."

    Regular-pattern depth-3 unramified lists are imported wholesale from the authors’ prior paper [19] rather than re-derived. This is minor and non-load-bearing for the paper’s new content (irregular triples and unbounded-depth families), which are proved independently via coactions; it does not force the strongest claim by construction.

full rationale

The paper’s central claims (Theorem 4.3 complete depth-3 list; Theorems 6.2–6.3 and 7.5/7.12 infinite families) are verified by direct computation of motivic coactions D_r against the external Brown–Glanois descent criterion (Theorem 2.1, from Brown/Glanois). Unramifiedness of the three irregular triples is proved in Lemma 4.1 by explicit D_1/D_3/… vanishing; ramification of all other irregular triples is argued in Theorems 5.1–5.4 by exhibiting nonzero ramified cuts (even where some subcases are only sketched). The infinite families are proved by induction on depth with base cases checked directly and inductive steps reducing cuts to lower-depth members or to Lemma 6.1. Self-citations to the authors’ prior work [19] appear for regular-pattern t/T/S classifications already settled there and for technical lemmas (Lemma 3.1); those citations are ordinary sequential dependence, not a loop in which the target classification is assumed. There is no fitted parameter renamed as prediction, no self-definitional identity, and no uniqueness/ansatz smuggled from an unverified self-citation. Correctness gaps (sketched non-cancellation arguments, edge-case coefficient vanishing) are separate from circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 2 invented entities

The paper works entirely inside the existing motivic Hopf-algebra framework of Brown and Glanois; the only external unproved inputs are that framework itself, the standard period map, and one analytic identity (Conjecture 7.7) used solely for an explicit formula, not for unramifiedness. No free parameters are fitted.

axioms (4)
  • domain assumption Brown–Glanois descent criterion: ζ_a^m(s;ε) lies in H_1 iff D_1=0 and D_r lands in L_r⊗H_{w-r} for all odd r<w (Theorem 2.1).
    Taken as necessary and sufficient throughout; all classification proofs reduce to verifying this condition.
  • domain assumption Existence and axioms of motivic iterated integrals I^m and the period map dch (Brown, Deligne–Goncharov).
    Standard background for motivic MZVs/Euler sums; invoked from §2 onward.
  • standard math Stuffle and shuffle product structures, path reversal, and duality for motivic Euler sums and MMVs.
    Used repeatedly to simplify coactions and to obtain explicit formulas (e.g., Lemmas 3.1–3.3, 7.3–7.4).
  • ad hoc to paper Conjecture 7.7: ζ^♯(2,1^{d-3},2)=½ζ(d+1)-2∑_{m+n=d+1,2|n}ζ(m,n) for d≥3.
    Needed only to write the closed form of V_0(d); unramifiedness of V_0^m is proved independently.
invented entities (2)
  • Multiple mixed values M(s;ε) and their motivic lifts M^m(s;ε) independent evidence
    purpose: Uniform language that contains t-, T-, S-values and all irregular parity patterns as special cases.
    Defined in the authors’ earlier work [17]; the present paper studies their unramified locus systematically.
  • Height-one family V_j^m(d) (j=∅,0,…,d) independent evidence
    purpose: Concrete infinite family of unramified (or nearly unramified) motivic MMVs of even depth with explicit MZV expressions.
    Introduced in §7; unramifiedness proved by direct coaction computation.

pith-pipeline@v1.2.0-grok45-kimik3 · 41766 in / 3105 out tokens · 62862 ms · 2026-07-30T21:43:01.019303+00:00 · methodology

0 comments
read the original abstract

The multiple mixed values (MMVs) are level two variants of multiple zeta values produced by restricting the summation indices to fixed parity patterns. One particularly interesting problem is to determine exactly when such values are actually in level one, namely, expressible in terms of multiple zeta values. To solve this completely is beyond our current knowledge since it calls for new ideas from transcendental number theory. However, much progress has been made on the motivic level. Previously, using the descent theory developed by Brown et al. we have tackled this problem for a few special classes of MMVs with regular parity patterns among the summation indices, including Hoffman's multiple $t$-values, Kaneko and Tsumura's multiple $T$-values, and our own multiple $S$-values. In this paper, we turn to the general case and determine completely all the unramified motivic MMVs of depth less than four as well as a few families of unbounded depths. At the end of the paper, we will present some general conjectures to describe the unramified MMVs at all depths greater than three.

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

25 extracted references · 1 canonical work pages

  1. [1]

    Bl¨ umlein, D.J

    J. Bl¨ umlein, D.J. Broadhurst and J.A.M. Vermaseren, The multiple zeta value data mine, Comput. Phys. Commun.181(2010), pp. 582–625

    2010

  2. [2]

    Broadhurst, Multiple Deligne values: a data mine with empirically tamed denomina- tors

    D.J. Broadhurst, Multiple Deligne values: a data mine with empirically tamed denomina- tors. arXiv:1409.7204

    Pith/arXiv arXiv

  3. [3]

    Brown, Mixed Tate motives overZ,Ann

    F. Brown, Mixed Tate motives overZ,Ann. Math.175(2) (2012), pp. 949–976

    2012

  4. [4]

    Borwein, D.J

    J.M. Borwein, D.J. Broadhurst and J. Kamnitzer, Central binomial sums, multiple Clausen values, and zeta values,Experiment. Math.10(1) (2001), pp. 25–34

    2001

  5. [5]

    Borwein, D.M

    J.M. Borwein, D.M. Bradley and D.J. Broadhurst, Evaluations ofk-fold Euler/Zagier sums: a compendium of results for arbitraryk,Electron. J. Combin.4(2) (1997), R5

    1997

  6. [6]

    Charlton: On motivic multiplet-values, Saha’s basis conjecture, and generators of alter- nating MZVs,Math

    S. Charlton: On motivic multiplet-values, Saha’s basis conjecture, and generators of alter- nating MZVs,Math. Ann.392(2025), pp. 1995-2079. https://doi.org/10.1007/s00208-024- 02928-3

    doi:10.1007/s00208-024- 2025

  7. [7]

    Deligne, Le groupe fondamental de laG m −µ N , pourN= 2, 3, 4, 6 ou 8 (in French), Publ

    P. Deligne, Le groupe fondamental de laG m −µ N , pourN= 2, 3, 4, 6 ou 8 (in French), Publ. Math. Inst. Hautes Etudes Sci.112(2010), pp. 101–141

    2010

  8. [8]

    Deligne and A

    P. Deligne and A. Goncharov, Groupes fondamentaux motiviques de Tate mixte (in French), Ann. Sci. Ecole Norm. S.38(1) (2005), pp. 1–56

    2005

  9. [9]

    Glanois, Periods of the motivic fundamental groupoid ofP 1 \ {0,µn,∞}, Ph.D

    C. Glanois, Periods of the motivic fundamental groupoid ofP 1 \ {0,µn,∞}, Ph.D. thesis, Universit´ e Pierre et Marie Curie, 2016

    2016

  10. [10]

    Glanois, Motivic unipotent fundamental groupoid ofG m \µ N forN= 2,3,4,6,8 and Galois descents,J

    C. Glanois, Motivic unipotent fundamental groupoid ofG m \µ N forN= 2,3,4,6,8 and Galois descents,J. Number Theory160(2016), pp. 334–384. arXiv:1411.4947. 36

    Pith/arXiv arXiv 2016

  11. [11]

    M. E. Hoffman, An odd variant of multiple zeta values,Commun. Number Theory Phys. 13(2019), pp. 529–567

    2019

  12. [12]

    Jin and J

    Z. Jin and J. Li, Motivic multiple zeta values relative toµ 2,Algebra Number Theory,14 (2020), pp. 2685-2712

    2020

  13. [13]

    Kaneko and H

    M. Kaneko and H. Tsumura, On multiple zeta vaues of level two,Tsukuba J. Math.,44 (2020), pp. 213–234

    2020

  14. [14]

    Linebarger and J

    E. Linebarger and J. Zhao, A family of multiple harmonic sum and multiple zeta star value identities,Mathematika61(1) (2015), pp. 63–71. doi.org/10.1112/S0025579313000302. arXiv: 1304.3927

    Pith/arXiv arXiv 2015

  15. [15]

    Murakami, On Hoffman’st-values of maximal height and generators of multiple zeta values,Math

    T. Murakami, On Hoffman’st-values of maximal height and generators of multiple zeta values,Math. Ann.,382(2022), pp. 421-458

    2022

  16. [16]

    Soud` eres, Motivic double shuffle,Intl

    I. Soud` eres, Motivic double shuffle,Intl. J. Number Theory6(2010), pp. 339–370

    2010

  17. [17]

    Xu and J

    C. Xu and J. Zhao, Variants of multiple zeta values with even and odd summation indices, Math. Zeit.,300(2022), 3109-3142

    2022

  18. [18]

    C. Xu, L. Yan and J. Zhao, Alternating multiple mixed values, regularization, parity, and dimension conjecture,Indagationes Math.35(6) (2024), pp. 1212–1248. doi.org/10.1016/j.indag.2024.06.001. arxiv.org/2208.09593

    Pith/arXiv arXiv 2024

  19. [19]

    Xu and J

    C. Xu and J. Zhao, Ramified and unramified motivic multiplet-,T- andS-values. arXiv: 2310.16041

    Pith/arXiv arXiv

  20. [20]

    Yamamoto, Interpolation of multiple zeta and zeta-star values,J

    S. Yamamoto, Interpolation of multiple zeta and zeta-star values,J. Algebra,385(2013), pp. 102–114

    2013

  21. [21]

    Yuan and J

    H. Yuan and J. Zhao, Double shuffle relations of double zeta values and double eisenstein series of levelN,J. London Math. Soc.92(2) (2015), pp. 520–546

    2015

  22. [22]

    Zagier, Values of zeta functions and their applications, in: First European Congress of Mathematics (Paris, 1992), Vol.II, A

    D. Zagier, Values of zeta functions and their applications, in: First European Congress of Mathematics (Paris, 1992), Vol.II, A. Josephet al.(eds.), Birkh¨ auser, Basel, 1994, pp. 497–512

    1992

  23. [23]

    Zhao, On a conjecture of Borwein, Bradley and Broadhurst,J

    J. Zhao, On a conjecture of Borwein, Bradley and Broadhurst,J. Reine Angew. Math.639 (2010), pp. 223–233. doi.org/10.1515/crelle.2010.016. (MR2608196)

    work page doi:10.1515/crelle.2010.016 2010

  24. [24]

    Zhao, Identity Families of multiple harmonic sums and multiple zeta (star) values.J

    J. Zhao, Identity Families of multiple harmonic sums and multiple zeta (star) values.J. Math. Soc. Japan68(4) (2016), pp. 1669–1694. doi.org/10.2969/jmsj/06841669. arXiv: 1303.2227

    arXiv 2016

  25. [25]

    Zhao,Multiple zeta functions, multiple polylogarithms and their special values, Series on Number Theory and its Applications, Vol

    J. Zhao,Multiple zeta functions, multiple polylogarithms and their special values, Series on Number Theory and its Applications, Vol. 12, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2016. 37

    2016