Pith. sign in

REVIEW 2 major objections 4 minor 36 references

Tridendriform and dendriform Zeta Values from Schroeder trees

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

Pith's one-line read Multiple Zeta Values are shown to factor through tridendriform and dendriform algebra morphisms on Schroeder trees, so arborified zeta values are multiplicative for associative tree products.

desk verdict Worth reading and worth refereeing: a clean structural contribution to MZV/tree combinatorics, with one real definitional bug in the vertex-decoration bridge and one unproved theorem in the Shintani section; both look fixable. read the letter →

arxiv 2508.19863 v1 pith:C2YIR7GS submitted 2025-08-27 math.CO math.NTmath.RA

classification math.COmath.NTmath.RA MSC 16W9916S1011E4505C05
keywords MultipleZetaValuestridendriformalgebrasdendriformSchroedertreesshuffleproductsquasi-shufflearborifiedShintani
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

Multiple Zeta Values are known to be multiplicative for two word products: the quasi-shuffle for the series representation and the shuffle for the integral representation. This paper claims those two facts are shadows of finer structures: the series representation factors through a tridendriform algebra of formal series and the integral representation through a dendriform algebra of formal integrals, with the classical zeta maps themselves being algebra morphisms before evaluation. Using the freeness of these algebras on Schroeder trees, the authors extend the construction to tree-valued arguments and obtain arborified zeta values that remain multiplicative for associative tree products. The payoff is a systematic way to write tree-indexed zeta values, and a family of Shintani zeta values, as rational linear combinations of classical Multiple Zeta Values.

What carries the argument

The engine is the universal property of free tridendriform and dendriform algebras: angle-decorated Schroeder trees—planar rooted trees whose internal vertices have at least two children—freely generate the tridendriform category, while {x,y}-decorated binary trees freely generate the dendriform category. Specifying the value on one-node trees determines a unique algebra morphism into the spaces of formal series and formal integrals, giving ζ_FS and ζ_FI and hence ζ_Tri and ζ_Dend. The maps ι and flat connect the tree spaces back to words, and the evaluation map ev turns convergent formal objects into real numbers.

What would settle it

Take the decorated Schroeder tree whose root has two angles both labelled 1. The paper's map ι sends it to a vertex decorated by 2, but Definition 4.1 admits only decorations strictly larger than the number of angles, so ι(t) is not an element of Tree(N*) as written. Checking whether the intended non-strict inequality was meant settles whether the equality ev∘ζ_Tri(t)=ζ_T(ι(t)) can be evaluated as stated.

Watch

Extended reading notes

Core claim

The central claim is that ζ = ev ∘ ζ_FS and ζ_int = ev ∘ ζ_FI, where ζ_FS is a tridendriform algebra morphism from words to formal series and ζ_FI is a dendriform algebra morphism from words to formal integrals. Applying the universal properties of Schroeder trees and binary trees yields tridendriform zeta values ζ_Tri and dendriform zeta values ζ_Dend, which are algebra morphisms for associative quasi-shuffle and shuffle products of trees. As a consequence, arborified zeta values ζ_T and ζ_T_int are algebra morphisms for these associative products, and every convergent tridendriform or dendriform zeta value is an explicit rational combination of usual Multiple Zeta Values.

Load-bearing premise

The construction assumes that summing angle decorations always gives a vertex decoration allowed by Definition 4.1, but that definition requires the decoration to be strictly larger than the number of angles, so a vertex with two angles both labelled 1 violates it and the map ι is not defined on some trees the paper later calls convergent.

Editorial extensions

If this is right

  • Arborified zeta values ζ_T and ζ_T_int are multiplicative for associative, noncommutative tree products, not just for word shuffles.
  • Every convergent tridendriform or dendriform zeta value can be written explicitly as a rational linear combination of classical Multiple Zeta Values.
  • The classical multiplicativity of Multiple Zeta Values for quasi-shuffles and shuffles is recovered as the shadow of finer tridendriform and dendriform morphisms that are lost only at the final evaluation.
  • A family of Shintani zeta values can be expressed as linear combinations of Multiple Zeta Values with rational coefficients.
  • The formal series and formal integral spaces inherit standard analytic-bookkeeping properties before any convergence issue is addressed, separating algebra from analysis.

Reading between the lines

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

  • The strict inequality in Definition 4.1 appears to be a domain-definition slip: a vertex whose angles are all decorated by 1 has decoration equal to the number of angles, so relaxing the condition to 'greater than or equal' makes the map ι total and is consistent with the paper's own convergence theorem.
  • The construction is insensitive to the particular monoid structure on the decorations, so the same formal-series recipe could build zeta-like tree-indexed functions for other commutative semigroups.
  • Because the new tree products are associative but not commutative, iterating them should produce identities among arborified zeta values that have no word-shuffle analogue, potentially yielding new relations among classical Multiple Zeta Values.
  • The paper notes the lack of a tree-level analogue of Kontsevitch's map; if such a map exists, it would close the diagram between ζ_Tri and ζ_Dend and likely reveal a single tree-indexed object unifying both zeta families.
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 / 4 minor

Summary. The paper develops a framework of formal series (Def. 2.1) and formal Chen integrals (Def. 5.1) carrying tridendriform and dendriform algebra structures. Using freeness of Schroeder and planar binary trees, it defines tridendriform and dendriform zeta values (Defs. 3.6, 6.5), and shows that the classical MZV maps factor as ζ = ev∘ζ_FS and ζ_int = ev∘ζ_FI with ζ_FS and ζ_FI being algebra morphisms (Props. 2.10, 5.10). It then relates these maps to arborified zeta values via a flattening map and the map ι (Thm. 4.10, Cor. 4.12, Cor. 7.6), obtaining new morphism properties for arborified zeta values with respect to associative products on trees (Cors. 4.13, 7.7). Finally it gives a Shintani zeta representation of dendriform zeta values (Thm. 8.4).

Significance. If the domain issues are fixed, the paper gives a clean algebraic explanation of the shuffle/quasi-shuffle property of MZVs by lifting evaluation to formal objects. The universal-property arguments are elegant, and the resulting associative tree products for arborified zeta values are genuinely new and explicitly computable. Strengths include explicit decompositions ζ = ev∘ζ_FS and ζ_int = ev∘ζ_FI, the construction of new formal series and integral spaces, and concrete relations expressing arborified zeta values as rational linear combinations of MZVs. These are falsifiable and testable claims, and the framework is likely to be useful for further generalizations.

major comments (2)
  1. [Definitions 4.1–4.2; Lemma 4.4; Theorem 4.8; Corollary 4.12] Definition 4.1's strict inequality d(v)>|Ang(v)| makes Tree(N*) too small for the map ι of Definition 4.2. For a vertex all of whose angle decorations are 1, d(v)=|Ang(v)|, so ι(t) is not in Tree(N*). Already the generator i(1) is mapped to a binary vertex decorated 1, which Definition 4.1 excludes; consequently flat∘ι is not defined on all of Tridend(N*) and the universal-property proof of Theorem 4.10 breaks. Moreover Theorem 4.8 is false for this domain: the word 21 ∈ W_conv(N*) is flat(B+_2(|, B+_1(|,|))), but the binary child B+_1(|,|) violates the strict inequality. Corollaries 4.12–4.13 also use ζT(ι(t)) for convergent trees whose root has two angles decorated 1, giving d(v)=|Ang(v)|. Remove the inequality (or impose only d(v)≥1) and let convergence be defined by root≠1 as in Theorem 4.8; this restores ι, Lemma 4.4 and the corollaries.
  2. [Theorem 8.4] The main Shintani result is stated without proof: the text says 'We will omit the proof since it is an adaptation of [9, Theorem 1.19]'. This is a load-bearing claim for the abstract and Section 8. The segment/matrix construction in Definitions 8.2–8.3 is intricate, and the claimed invariance under x-decorated bifurcated vertices is not demonstrated. At least a proof sketch, or a precise explanation of why the proof of [9, Theorem 1.19] carries over unchanged, should be included. Also, Remark 8.1 ('permuting rows... does not change the value') is only true if the word ω_t is permuted correspondingly; as written it is misleading.
minor comments (4)
  1. [Proposition 2.2] In the second displayed identity, the product bound 'n∏' should presumably be 'd∏'; as written it is a typo.
  2. [Lemma 1.11] The notation w_{i,j} is used without definition; it should be defined explicitly, e.g. as the sum of the two letters.
  3. [Definition 8.2] The definition of B(t) has ambiguous precedence: 'v ∈ νy(t) or v ∈ νx(t) and v is a bifurcated vertex'. Parentheses would clarify the intended logical grouping.
  4. [Section 5.1] The vector space K is used in Definition 5.1 without specifying the field; the earlier notation KX suggests it is the base field, but the field itself is never named.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the freeness-based constructions and commutativity diagrams are genuine universal-property arguments; cited results are external support.

full rationale

The paper's central maps ζFS, ζFI, ζTri, ζDend are defined either by explicit formal series/integral formulas or by freeness universal properties, and the morphism properties stated in Propositions 2.10, 5.10 and Definitions 3.6, 6.5 are direct consequences of those definitions, not derived from the target properties. The commutativity theorems 4.10 and 7.5 are proved by exhibiting one more morphism with the same values on generators and invoking uniqueness from the free algebra universal property (Theorems 3.5 and 6.4); this is a standard and non-circular argument. The new corollaries 4.13 and 7.7 then use the known fact that ζ and ζint are algebra morphisms for quasi-shuffle/shuffle (equation (3)) together with the proved flat-morphism lemmas (4.9 and 7.4). The reliance on [8] for Theorems 4.8 and 7.3, and on [9] for Theorem 8.4, is self-citation by one of the authors, but these are external published results invoked as lemmas, not restatements of the paper's own conclusions; hence they do not make the derivation circular. There is a genuine domain/correctness issue: Definition 4.1 requires d(v) > |Ang(v)| strictly, while the map ι of Definition 4.2 can produce d(v) = |Ang(v)| (e.g., a vertex with two angles both decorated 1), so ι is not well-defined on all of Tridend(N*) and Corollary 4.12's ζT(ι(t)) can be undefined; this is a fixable defect in the stated definitions (replace '>' by '≥'), not a circular reduction. The proof of Theorem 8.4 is omitted with a sketch referring to an adaptation of [9, Thm 1.19]; again this is missing proof detail, not circularity.

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

No fitted parameters. The paper relies on standard freeness theorems for Schroeder and binary trees, on the known tridendriform/dendriform structures on words, on convergence theorems for arborified zeta values, and on the implicit well-definedness of the evaluation maps. Two ad hoc assumptions are present: the domain of iota when angle sums equal the angle count, and the unproved adaptation of [9, Theorem 1.19].

assumptions (9)
  • standard math Freeness of Tridend(Omega) over Schroeder trees (theorem 3.5)
    Used to define zeta_Tri (definition 3.6); cited to [36].
  • standard math Freeness of Dend(Omega) over binary trees (theorem 6.4)
    Used to define zeta_Dend (definition 6.5); cited to [29, 24].
  • standard math Words with quasi-shuffle form a tridendriform algebra (proposition 1.9)
    Provides the tridendriform structure on W_N* used to transport structure to formal series; cited to [4].
  • standard math Words with shuffle form a dendriform algebra (proposition 1.9)
    Provides the dendriform structure on W_{x,y} used for formal integrals.
  • standard math Convergence criterion for arborified zeta values (theorem 4.8)
    Quoted from [8]; used to identify convergent trees and the factorization zeta_T = zeta composed with flat.
  • standard math Kontsevitch relation zeta = zeta_int composed with s
    Used to relate series and integral representations of MZVs.
  • domain assumption Well-definedness of the evaluation map ev on convergent formal series/integrals
    The paper assumes that the algebraic formal objects in the quotient by J_n define convergent sums/integrals after evaluation, e.g. definitions 2.4 and 5.4 and example 2.2.
  • ad hoc to paper Strict inequality d(v) > |Ang(v)| in Definition 4.1 is compatible with the map iota
    Lemma 4.4 constructs preimages whose angle sums can equal the angle count when all angles are 1; either the definition or the map needs adjustment, as written this is inconsistent.
  • ad hoc to paper Theorem 8.4 is a valid adaptation of [9, Theorem 1.19]
    The proof is omitted, so the Shintani zeta representation and the convergence claim in remark 8.2 rest on an asserted adaptation of a cited result.
invented entities (4)
  • Space of formal series S_N*
    purpose: Intermediate object factoring MZVs as ev composed with zeta_FS and carrying a tridendriform structure
    Introduced in section 2; its only support is the theorems in this paper.
  • Space of formal Chen integrals A_Omega
    purpose: Formal integral lift of MZVs carrying a dendriform structure
    Introduced in section 5; same situation as S_N*.
  • Tridendriform zeta values zeta_Tri
    purpose: Tree-indexed generalization of zeta that is a tridendriform morphism
    Defined via universal property in definition 3.6; shown in theorem 4.10 to equal zeta_FS composed with flat and iota.
  • Dendriform zeta values zeta_Dend
    purpose: Tree-indexed generalization of zeta_int that is a dendriform morphism
    Defined via universal property in definition 6.5; related to zeta_FI composed with flat in theorem 7.5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tridendriform and dendriform Zeta Values from Schroeder trees." pith.science (2026). https://pith.science/paper/C2YIR7GS

@misc{pith2026250819863,
  author       = {Pith},
  title        = {Pith review of: Tridendriform and dendriform Zeta Values from Schroeder trees},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/C2YIR7GS}},
  note         = {Machine review of arXiv:2508.19863}
}
read the original abstract

To build new generalisations of Multiple Zeta Values, we define new spaces of formal series and formal integrals. We show that they are tridendriform and dendriform algebras. This allows us to reinterpret the fact that Multiple Zeta Values are algebra morphisms for shuffles of words in terms of finer tridendriform and dendriform structures. Applying universal properties of Schroeder trees we obtain generalisations of Multiple Zeta Values that are algebra morphisms for associative products. Hence we find new properties of Arborified Zeta Values and state how this enables the computation of some Shintani Zeta Values.

Figures

Figures reproduced from arXiv: 2508.19863 by the authors.

Figure 1
Figure 1. The ι map 4.2 Arborified Zeta Values In the literature [27, 34], we can find a definition of an arborification of the Multiple Zeta Value. We introduce a similar concept adapted to the trees we are considering: Definition 4.6 (Arborification of the integral Multiple Zeta Values). We define the following linear map ζ T : Tree(N * ) conv → R such that for any tree t of Tree(N * ) conv, we define: ζ T (t) = X k∈Dt Y v∈… view at source ↗
Figure 2
Figure 2. Freeness diagrams Theorem 4.10. The following diagram commutes: Tree(N ∗ ) flat ❖' ❖❖ ❖❖ ❖❖ ❖❖ ❖❖ Tridend(N ∗ ) ι oo Ψ  ζ Tri /SN∗ WN∗ ζFS 99 rrr rr rr rr r . (19) Proof. We know that ι and flat are tridendriform algebras morphisms (proposition 4.5 and lemma 4.9 respectively). Thus flat ◦ι : Tridend(N ∗ ) −→ WN∗ is a morphism of tridendriform algebras. But from the definition of maps i and j in the diagram 2a, rep… view at source ↗
Figure 3
Figure 3. Diagrams for dendriform structures Theorem 7.5. The following diagram commutes: Dend({x, y}) A{x,y} W{x,y} flat ζ Dend ζFI Proof. We have shown in proposition 5.10 that ζFI is a dendriform morphism. Hence, ζFI ◦ flat and ζ Dend are both dendriform morphisms. Moreover, ζFI ◦ flat ◦i = L. So, we deduce by the unicity of ζ Dend of the universal property of theorem 5.10 that ζFI ◦ flat = ζ Dend . 34 [PITH_FULL_IMAGE:fi… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Picture of the general situation With our construction, we have: 37 [PITH_FULL_IMAGE:figures/full_fig_p037_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 35 canonical work pages

  1. [1]

    Multidimensiona l shintani zeta functions and zeta distributions on r ˆd

    Takahiro Aoyama and Takashi Nakamura. Multidimensiona l shintani zeta functions and zeta distributions on r ˆd. Tokyo Journal Mathematics , 36:521538, 2013. 4

  2. [2]

    Tridendriform structu re on combinatorial hopf algebras

    Emily Burgunder and María Ronco. Tridendriform structu re on combinatorial hopf algebras. Journal of Algebra , 324(10):2860–2883, 2010. 7

  3. [3]

    Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta p-adiques

    Pierrette Cassou-Nogues. Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta p-adiques. Inventiones mathematicae, 51(1):29–59, 1979. 4

  4. [4]

    Tridendriform structures

    Pierre Catoire. Tridendriform structures. Symmetry, Integrability and Geometry: Methods and Applications, September 2023. 4, 9, 16, 18, 31, 32

  5. [5]

    Zinbiel algebras and multiple zeta v alues

    Frédéric Chapoton. Zinbiel algebras and multiple zeta v alues. Documenta Mathematica , 27:519–533, 2022. 4 38

  6. [6]

    Iterated path integrals

    Kuo-Tsai Chen. Iterated path integrals. Bull. Am. Math. Soc. , 83:831–879, 1977. 13

  7. [7]

    Iterated path integrals

    Kuo-Tsai Chen. Iterated path integrals. Bulletin of the American Mathematical Society , 83(5):831–879, 1977. 29

  8. [8]

    Double shuffle relations for arborified z eta values

    Pierre J Clavier. Double shuffle relations for arborified z eta values. Journal of Algebra , 543:111–155, 2020. 4, 5, 23, 24, 33, 34

Show all 36 references
  1. [9]

    Generalisations of m ultiple zeta values to rooted forests

    Pierre J Clavier and Dorian Perrot. Generalisations of m ultiple zeta values to rooted forests. Journal of Number Theory , 264:233–276, 2024. 4, 5, 36, 37

  2. [10]

    Valeurs zêta multiples

    Clément Dupont. Valeurs zêta multiples. Journées mathématiques X-UPS , pages 155–195,

  3. [11]

    Monotone, free, and boolean cumulants: A shuffle algebra approach

    Kurusch Ebrahimi-Fard and Frédéric Patras. Monotone, free, and boolean cumulants: A shuffle algebra approach. Advances in Mathematics , 328:112–132, April 2018. 9

  4. [12]

    J. Ecalle. Les fonctions résurgentes, Vol.1 . Pub. Math. Orsay, 1981. 4

  5. [13]

    J. Ecalle. Les fonctions résurgentes, Vol.2 . Pub. Math. Orsay, 1981. 3, 4

  6. [14]

    L. Euler. Introductio in analysin infinitorum . 2 volums, 1796. 3

  7. [15]

    A map between arborifications of multiple zet a values

    Ku-Yu Fan. A map between arborifications of multiple zet a values. 2025. 38

  8. [16]

    Bidendriform bialgebras, trees, and free quasi-symmetric functions

    Loïc Foissy. Bidendriform bialgebras, trees, and free quasi-symmetric functions. Journal of Pure and Applied Algebra , 209(2):439–459, 2007. 7

  9. [17]

    Multiple zeta values: f rom numbers to motives

    JI Burgos Gil and Javier Fresán. Multiple zeta values: f rom numbers to motives. Clay Mathematics Proceedings, to appear, 379, 2017. 4

  10. [18]

    L. Guo, S. Paycha, and B. Zhang. Conical zeta values and t heir double subdivision relations. Advances in Mathematics , Vol. 252:343–381, 2013. 9

  11. [19]

    M. E. Hoffman. Multiple Harmonic series. Pacific J. Math. , 152:275–290, 1992. 3

  12. [20]

    M. E. Hoffman. Quasi-shuffle products. J. Algebraic Combin. , 11:49–68, 2000. 4, 8

  13. [21]

    Algebres ayant deux opérations associative s (digebres)

    J-L Loday. Algebres ayant deux opérations associative s (digebres). Comptes rendus de l’Académie des sciences. Série 1, Mathématique , 321(2):141–146, 1995. 4

  14. [22]

    Une version non commutative des alge bres de lie: les algebres de leibniz

    Jean-Louis Loday. Une version non commutative des alge bres de lie: les algebres de leibniz. Les rencontres physiciens-mathématiciens de Strasbourg- RCP25, 44:127–151, 1993. 4

  15. [23]

    On the structure of co free hopf algebras

    Jean-Louis Loday and María Ronco. On the structure of co free hopf algebras. J. reine angew. Math , 592:123–155, 2006. 4

  16. [24]

    Jean-Louis Loday and María O. Ronco. Hopf algebra of the planar binary trees. Adv. Math., 139(2):293–309, 1998. 32

  17. [25]

    Trialgebras and fam ilies of polytopes

    Jean-Louis Loday and Maria O Ronco. Trialgebras and fam ilies of polytopes. arXiv preprint math/0205043, 2002. 4, 7

  18. [26]

    The Milnor-Moore and Poincaré-Birkhoff-Witt theorems in the locality set up and the polar structure of Shintani zeta f unctions

    Diego Andrés López Valencia. The Milnor-Moore and Poincaré-Birkhoff-Witt theorems in the locality set up and the polar structure of Shintani zeta f unctions. PhD thesis, Dissertation, Potsdam, Universität Potsdam, 2023, 2023. 4, 36 39

  19. [27]

    Arborified multiple zeta values, 20 16

    Dominique Manchon. Arborified multiple zeta values, 20 16. 3, 4, 23, 33

  20. [28]

    On mordell-tornheim and other multip le zeta-functions

    Kohji Matsumoto. On mordell-tornheim and other multip le zeta-functions. In Proceed- ings of the Session in Analytic Number Theory and Diophantin e Equations, Bonner Math. Schriften, volume 360, page 17, 2003. 4, 35, 37

  21. [29]

    Primitive elements in a free dendriform al gebra

    María Ronco. Primitive elements in a free dendriform al gebra. In New trends in Hopf algebra theory. Proceedings of the colloquium on quantum gr oups and Hopf algebras, La Falda, Sierras de Córdoba, Argentina, August 9–13, 1999 , pages 245–263. Providence, RI: American Mathema...

  22. [30]

    Eulerian idempotents and milnor–moore th eorem for certain non- cocommutative hopf algebras

    María Ronco. Eulerian idempotents and milnor–moore th eorem for certain non- cocommutative hopf algebras. Journal of Algebra , 254(1):152–172, 2002. 7

  23. [31]

    On evaluation of zeta functions of tot ally real algebraic number fields at non-positive integers

    Takuro Shintani. On evaluation of zeta functions of tot ally real algebraic number fields at non-positive integers. J. Fac. Sci. Univ. Tokyo Sect. IA Math. , 23(2):393, 1976. 4

  24. [32]

    Sweedler

    M.E. Sweedler. Hopf Algebras: Notes from a Course Given in the Spring of 1968 . Mathe- matics lecture note series. W. A. Benjamin, 1969. 9

  25. [33]

    Waldschmidt

    M. Waldschmidt. Lectures on Multiple Zeta Values . IMSC, 2011. 4, 8

  26. [34]

    Yamamoto

    S. Yamamoto. Integrals associated with 2-posets and ap plications to multiple zeta values. RIMS Kôkyûroku Bessatsu , B83:27–46, 2020. 4, 23, 33

  27. [35]

    D. Zagier. Values of Zeta functions and their applicati ons. In First Europeen Congress of Mathematics, volume II, pages 497–512. Birkhäuser, 1994. 3

  28. [36]

    Free ( tri) dendriform family algebras

    Yuanyuan Zhang, Xing Gao, and Dominique Manchon. Free ( tri) dendriform family algebras. Journal of Algebra , 547:456–493, 2020. 4, 17, 19 40

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.