pith. machine review for the scientific record. sign in

arxiv: 2605.10262 · v1 · submitted 2026-05-11 · 🧮 math.NT

Recognition: no theorem link

An explicit Galois descent for multiple t-values of maximal height

Michael E. Hoffman, Nobuo Sato, Steven Charlton

Pith reviewed 2026-05-12 04:07 UTC · model grok-4.3

classification 🧮 math.NT MSC 11M32
keywords Galois descentmultiple t-valuesmultiple zeta valuesiterated beta integralszeta-half valuesmotivic periodsnumber theory
0
0 comments X

The pith

An explicit Galois descent formula expresses multiple t-values of maximal height as combinations of classical multiple zeta values.

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

The paper constructs an explicit formula that applies Galois descent to multiple t-values of maximal height and rewrites them directly in terms of ordinary multiple zeta values. This turns an earlier motivic statement by Murakami into a concrete, computable identity. The construction proceeds by means of iterated beta integrals that define the necessary descent map. The resulting formula is then used to produce explicit evaluations for several families of multiple zeta-half values.

Core claim

We give an explicit formula for the Galois descent expressing multiple t-values of maximal height in terms of classical multiple zeta values, making precise Murakami's earlier motivic result. Our results rely on the theory of iterated beta integrals. We apply this formula to obtain evaluations of various multiple zeta-half values.

What carries the argument

The explicit Galois descent map for multiple t-values of maximal height, defined via iterated beta integrals.

Load-bearing premise

Iterated beta integrals are sufficient to produce the full explicit descent map without hidden relations or obstructions from the Galois action.

What would settle it

A specific multiple t-value of maximal height whose numerical value fails to match the linear combination of multiple zeta values predicted by the formula, checked to high precision.

read the original abstract

We give an explicit formula for the Galois descent expressing multiple $t$-values of maximal height in terms of classical multiple zeta values, making precise Murakami's earlier motivic result. Our results rely on the theory of iterated beta integrals. We apply this formula to obtain evaluations of various multiple zeta-half values.

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 manuscript provides an explicit formula, derived via iterated beta integrals, for the Galois descent of multiple t-values of maximal height, expressing them as linear combinations of classical multiple zeta values. This concretizes Murakami's earlier motivic result. The formula is applied to produce evaluations of various multiple zeta-half values.

Significance. If the explicit descent map is correct, the work supplies a concrete computational tool that realizes the motivic Galois action on these t-values, enabling explicit relations and new evaluations in the MZV algebra. The iterated-beta-integral approach is a strength when it yields parameter-free linear combinations without invoking additional hidden relations.

minor comments (3)
  1. The abstract states the main result clearly but does not indicate the dimension of the target MZV space or the number of independent terms in the descent formula; adding this would help readers assess the result's scope.
  2. Notation for the multiple t-values and the maximal-height condition should be recalled or referenced in the introduction for readers unfamiliar with Murakami's motivic setup.
  3. The applications to zeta-half values would benefit from a short table comparing the new evaluations with known numerical values or prior results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

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

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper derives an explicit Galois descent formula for multiple t-values of maximal height via the theory of iterated beta integrals, expressing them as linear combinations of classical MZVs. This is a constructive translation from the motivic setting rather than a redefinition or tautological fit. Murakami's prior motivic result is cited only for context and motivation; it is not used as a load-bearing self-citation whose authors overlap with the present work, nor does any step reduce by construction to the input quantities. The derivation is self-contained against the external framework of beta integrals and does not exhibit self-definitional, fitted-prediction, or ansatz-smuggling patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard results from the theory of multiple zeta values and iterated integrals; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The theory of iterated beta integrals provides a complete set of relations sufficient for the explicit Galois descent.
    Invoked to obtain the explicit formula from the motivic statement.

pith-pipeline@v0.9.0 · 5335 in / 1184 out tokens · 32470 ms · 2026-05-12T04:07:41.224008+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

34 extracted references · 34 canonical work pages

  1. [1]

    K. C. Au and S. Charlton. Creative telescoping and generating functions of (variants of) multiple zeta values, 2024, arXiv:2404.16199

    work page arXiv 2024

  2. [2]

    Bl¨ umlein, D

    J. Bl¨ umlein, D. J. Broadhurst, and J. A. M. Vermaseren. The multiple zeta value data mine.Comput. Phys. Comm., 181.3, pp. 582–625, 2010, arXiv:0907.2557. doi:10.1016/j.cpc.2009.11.007

    work page doi:10.1016/j.cpc.2009.11.007 2010

  3. [3]

    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, pp. #5, 1997, arXiv:hep-th/9611004. URLhttp://www.combinatorics.org/ Volume_4/Abstracts/v4i2r5.html. The Wilf Festschrift (Philadelphia, PA, 1996)

    work page arXiv 1997

  4. [4]

    D. J. Broadhurst. Exploiting the 1,440-fold symmetry of the master two-loop diagram.Z. Phys. C Particles and Fields, 32, pp. 249–253, 1986. doi:10.1007/BF01552503

    work page doi:10.1007/bf01552503 1986

  5. [5]

    F. Brown. Mixed Tate motives overZ.Ann. of Math. (2), 175.2, pp. 949–976, 2012, arXiv:1102.1312. doi:10.4007/annals.2012.175.2.10

    work page doi:10.4007/annals.2012.175.2.10 2012

  6. [6]

    F. Brown. Notes on Motivic Periods, 2015, arXiv:1412.06410

    work page arXiv 2015

  7. [7]

    F. C. S. Brown. On the decomposition of motivic multiple zeta values. InGalois-Teichm¨ uller theory and arith- metic geometry, volume 63 ofAdv. Stud. Pure Math., pages 31–58. Math. Soc. Japan, Tokyo, 2012, arXiv:1102.1310. doi:10.2969/aspm/06310031

    work page doi:10.2969/aspm/06310031 2012

  8. [8]

    P. Cartier. Fonctions polylogarithmes, nombres polyzˆ etas et groupes pro-unipotents.Ast´ erisque, 282, pp. Exp. No. 885, viii, 137–173, 2002. S´ eminaire Bourbaki, Vol. 2000/2001

    work page 2002

  9. [9]

    Charlton.Identities arising from coproducts on multiple zeta values and multiple polylogarithms

    S. Charlton.Identities arising from coproducts on multiple zeta values and multiple polylogarithms. PhD thesis, Uni- versity of Durham, 2016. URLhttp://etheses.dur.ac.uk/11834/

    work page 2016

  10. [10]

    Charlton

    S. Charlton. Analogues of cyclic insertion-type identities for multiple zeta star values.Kyushu J. Math., 74.2, pp. 337– 352, 2020, arXiv:1806.10053. doi:10.2206/kyushujm.74.337

    work page doi:10.2206/kyushujm.74.337 2020

  11. [11]

    Charlton

    S. Charlton. The Alternating Block Decomposition of Iterated Integrals and Cyclic Insertion on Multiple Zeta Values. The Quarterly Journal of Mathematics, 72.3, pp. 975–1028, 2021, arXiv:1703.03784. doi:10.1093/qmath/haaa056

    work page doi:10.1093/qmath/haaa056 2021

  12. [12]

    Charlton and M

    S. Charlton and M. E. Hoffman. Symmetry results for multiplet-values.Math. Z., 309.4. Paper No. 75, 49pp., 2025, arXiv:2204.14183. doi:10.1007/s00209-024-03544-2

    work page doi:10.1007/s00209-024-03544-2 2025

  13. [13]

    Charlton and A

    S. Charlton and A. Keilthy. Evaluation ofζ(2,...,2,4,2,...,2) and period polynomial relations.Forum Math. Sigma,

    work page

  14. [14]

    e46, 50pp., 2024, arXiv:2210.03616

    Paper No. e46, 50pp., 2024, arXiv:2210.03616. doi:10.1017/fms.2024.16

    work page doi:10.1017/fms.2024.16 2024

  15. [15]

    K. Chen. Iterated path integrals.Bull. Amer. Math. Soc., 83.5, pp. 831–879, 1977. URLhttps://projecteuclid.org: 443/euclid.bams/1183539443

    work page arXiv 1977

  16. [16]

    Deligne and A

    P. Deligne and A. B. Goncharov. Groupes fondamentaux motiviques de Tate mixte.Ann. Sci. ´Ecole Norm. Sup. (4), 38.1, pp. 1–56, 2005. doi:10.1016/j.ansens.2004.11.001

    work page doi:10.1016/j.ansens.2004.11.001 2005

  17. [17]

    J. B. Gil and J. Fres´ an.Multiple zeta values: from numbers to motives. Clay Mathematics Proceedings, to appear

    work page

  18. [18]

    URLhttp://javier.fresan.perso.math.cnrs.fr/mzv.pdf

    work page

  19. [19]

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

    C. Glanois.Periods of the motivic fundamental groupoid ofP 1 \ {0,µN,∞}. PhD thesis, Pierre and Marie Curie University (Paris 6), 2016, arXiv:1603.05155. URLhttps://www.theses.fr/2016PA066013

    work page arXiv 2016

  20. [20]

    C. Glanois. Unramified Euler sums and Hoffman⋆basis, 2016, arXiv:1603.05178

    work page arXiv 2016

  21. [21]

    A. B. Goncharov. Multiple polylogarithms and mixed Tate motives, 2001, arXiv:math/0103059

    work page arXiv 2001

  22. [22]

    Hirose and N

    M. Hirose and N. Sato. Iterated beta integrals, 2026, arXiv:2603.25717

    work page arXiv 2026

  23. [23]

    M. E. Hoffman. An odd variant of multiple zeta values.Commun. Number Theory Phys., 13.3, pp. 529–567, 2019, arXiv:1612.05232

    work page arXiv 2019

  24. [24]

    M. E. Hoffman and K. Ihara. Quasi-shuffle products revisited.J. Algebra, 481, pp. 293–326, 2017, arXiv:1610.05180. doi:10.1016/j.jalgebra.2017.03.005

    work page doi:10.1016/j.jalgebra.2017.03.005 2017

  25. [25]

    Kreimer.Knots and Feynman diagrams, volume 13 ofCambridge Lecture Notes in Physics

    D. Kreimer.Knots and Feynman diagrams, volume 13 ofCambridge Lecture Notes in Physics. Cambridge University Press, Cambridge, 2000. doi:10.1017/CBO9780511564024

    work page doi:10.1017/cbo9780511564024 2000

  26. [26]

    Li and Z

    Z. Li and Z. Wang. Relations of multiplet-values of general level.Int. J. Number Theory, 20.5, pp. 1399–1427, 2024. doi:10.1142/S1793042124500696

    work page doi:10.1142/s1793042124500696 2024

  27. [27]

    Li and L

    Z. Li and L. Yan. Generating functions of multiplet-star values.Quaest. Math., 47.5, pp. 1095–1117, 2024. doi:10.2989/16073606.2023.2281554

    work page doi:10.2989/16073606.2023.2281554 2024

  28. [28]

    I. G. Macdonald.Symmetric functions and Hall polynomials. Oxford Classic Texts in the Physical Sciences. The Clarendon Press, Oxford University Press, New York, second edition, 2015. With contribution by A. V. Zelevinsky and a foreword by Richard Stanley, Reprint of the 2008 paperback edition [ MR1354144]

    work page 2015

  29. [29]

    Murakami

    T. Murakami. On Hoffman’st-values of maximal height and generators of multiple zeta values.Math. Ann., 382.1-2, pp. 421–458, 2022. doi:10.1007/s00208-021-02209-3

    work page doi:10.1007/s00208-021-02209-3 2022

  30. [30]

    E. Panzer. The parity theorem for multiple polylogarithms.J. Number Theory, 172, pp. 93–113, 2017, arXiv:1512.04482. doi:10.1016/j.jnt.2016.08.004

    work page doi:10.1016/j.jnt.2016.08.004 2017

  31. [31]

    Xu and L

    C. Xu and L. Yan. Parametric EulerT-sums of odd harmonic numbers, 2022, arXiv:2203.13996

    work page arXiv 2022

  32. [32]

    Yamamoto

    S. Yamamoto. Interpolation of multiple zeta and zeta-star values.J. Algebra, 385, pp. 102–114, 2013, arXiv:1203.1118. doi:10.1016/j.jalgebra.2013.03.023

    work page doi:10.1016/j.jalgebra.2013.03.023 2013

  33. [33]

    D. Zagier. Evaluation of the multiple zeta valuesζ(2,...,2,3,2,...,2).Ann. of Math. (2), 175.2, pp. 977–1000, 2012. doi:10.4007/annals.2012.175.2.11

    work page doi:10.4007/annals.2012.175.2.11 2012

  34. [34]

    J. Zhao. Identity families of multiple harmonic sums and multiple zeta star values.J. Math. Soc. Japan, 68.4, pp. 1669– 1694, 2016, arXiv:1303.2227. doi:10.2969/jmsj/06841669. GALOIS DESCENT FOR MtV’S OF MAXIMAL HEIGHT 17 Department of Mathematics and Computer Science, Division of Mathematics, University of Cologne, Wey- ertal 86-90, 50931 Cologne, German...

    work page doi:10.2969/jmsj/06841669 2016