REVIEW
Algebraic Relations Between Harmonic Sums and Associated Quantities
High Energy Physics - Phenomenology · Submitted 4 Nov 2003 · 56 references
Pith's verdict: A solid working reference — explicit shuffle reductions to depth 6 plus a Lyndon-word counting rule — with one expository gap (injectivity) that a referee should close but that does not threaten the result.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Blümlein argues that the algebraic relations among finite harmonic sums are generated entirely by their multiplication rule, so the number of independent sums for any index set is exactly the number of Lyndon words on that set.
The reading
What carries the argument
The engine is the product relation for two finite harmonic sums, which expresses their ordinary product as a sum over all index shuffles minus terms in which two adjacent indices are merged by the operation $a wedge b = sign(a) sign(b)(|a|+|b|)$. Because the right-hand side is again a linear combination of harmonic sums, permuting the indices over a complete set produces a homogeneous linear system among the sums of that set. The rank of that system is the number of independent sums, and the paper identifies it with the number of Lyndon words, the words smaller than all their proper suffixes, which by Radford's theorem freely generate the shuffle algebra. The bridge between algebra and counting is the second Witt formula, and the author checks that the ranks of the coefficient matrices he builds match the Lyndon counts case by case.
Extended reading notes
Core claim
Consider all finite harmonic sums built from a fixed multiset of indices, say $a,a,a,b,b$, allowing every ordering. The paper claims two things about them. First, the product relation between two sums yields, after permuting indices over the whole set, a linear system whose rank is the number of independent sums; the author solves that system explicitly for every index pattern up to depth 6, writing each dependent sum as a polynomial in a chosen basis with the indices left as free parameters rather than fixed numbers. Second, that rank equals the number of Lyndon words on the index set, computed by $l_n(n_1,...,n_q) = (1/n) sum_{d | n_i} mu(d) (n/d)! / ((n_1/d)! ... (n_q/d)!)$, so the basis size is known in advance from the multiplicities alone. The resulting fraction of independent sums is at most $1/d$ for depth $d$, independent of weight, saturating the bound when the multiplicities are coprime and falling below it when a common divisor forces a Möbius correction.
Load-bearing premise
The load-bearing premise is that the shuffle product relation generates all algebraic relations among finite harmonic sums, so the Lyndon-word count is the exact number of independent sums rather than only an upper bound; the paper backs this with explicit matrix ranks through depth 6 and extrapolates the rest from the free-algebra theorem.
Editorial extensions
If this is right
- Any three-loop Mellin-space result in massless QCD or QED can be compressed onto a basis whose size is fixed in advance by the index multiplicities, before any analytic continuation is attempted.
- The same relations transfer verbatim to harmonic polylogarithms by deleting the merged-index terms, and to nested Z-sums with all arguments equal to one, so one derivation covers several function classes at once.
- The counting tables to depth 10 give the exact dimension of the space of sums needed at each index pattern, which sets a target size for automated reduction tools.
- Because the relations depend only on index structure and not on the value of the sums, they hold for any object obeying the same multiplication rule, including objects that arise in processes with more than one scale.
- The explicit low-depth relations remove several functions previously counted as basic, reducing the function set needed at two loops to at most 23.
Reading between the lines
- If the Lyndon count is exact at every depth, the shuffle algebra of finite harmonic sums is free, which would mean no hidden functional relations exist among them beyond the shuffle ones; this could be probed numerically at depths 7 to 10, where the paper tabulates only counts and not the relations themselves.
- The $1/d$ scaling suggests that for four-loop Mellin-space work the practical bottleneck is depth rather than transcendental weight, which would argue for organizing reduction pipelines by index multiplicity instead of by weight.
- Since multiple zeta values are the $N \to \infty$ limit of these sums and obey extra stuffle and duality relations, the Lyndon count should be an upper bound there rather than an equality; the paper's own remark that zeta values are simpler objects is consistent with this reading.
Original abstract
We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth~6. All relations for the sums up to weight~6 are given in explicit form. These relations depend on the structure of the index sets of the harmonic sums only, but not on their value. They are therefore valid for all other mathematical objects which obey the same multiplication relation or can be obtained as a special case thereof, as the harmonic polylogarithms. We verify that the number of independent elements for a given index set can be determined by counting the Lyndon words which are associated to this set. The algebraic relations between the finite harmonic sums can be used to reduce the high complexity of the expressions for the Mellin moments of the Wilson coefficients and splitting functions significantly for massless field theories as QED and QCD up to three loop and higher orders in the coupling constant and are also of importance for processes depending on more scales. The ratio of the number of independent sums thus obtained to the number of all sums for a given index set is found to be $\leq 1/d$ with $d$ the depth of the sum independently of the weight. The corresponding counting relations are given in analytic form for all classes of harmonic sums to arbitrary depth and are tabulated up to depth $d=10$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth~6. All relations for the sums up to weight~6 are given in explicit form. These relations depend on the structure of the index sets of the harmonic sums only, but not on their value. They are therefore valid for all other mathematical objects which obey the same multiplication relation or can be obtained as a special case thereof, as the harmonic polylogarithms. We verify that the number of independent elements for a given index set can be determined by counting the Lyndon words which are associated to this set. The algebraic relations between the finite harmonic sums can be used to reduce the high complexity of the expressions for the Mellin moments of the Wilson coefficients and splitting functions significantly for massless field theories as QED and QCD up to three loop and higher orders in the coupling constant and are also of importance for processes depending on more scales. The ratio of the number of independent sums thus obtained to the number of all sums for a given index set is found to be $\leq 1/d$ with $d$ the depth of the sum independently of the weight. The corresponding counting relations are given in analytic form for all classes of harmonic sums to arbitrary depth and are tabulated up to depth $d=10$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We derive the algebraic relations of alternating and non-alternating finite harmonic sums up to the sums of depth~6. | contribution 0.96 | 0.97 | 0.19 | asserted 1.00 |
| s1 | All relations for the sums up to weight~6 are given in explicit form. | result 0.55 | 0.93 | 0.15 | asserted 1.00 |
| s2 | These relations depend on the structure of the index sets of the harmonic sums only, but not on their value. | result 0.60 | 0.77 | 0.13 | asserted 1.00 |
| s3 | They are therefore valid for all other mathematical objects which obey the same multiplication relation or can be obtained as a special case thereof, as the harmonic polylogarithms. | interpretation 0.95 | 0.54 | 0.11 | asserted 0.97 |
| s4 | We verify that the number of independent elements for a given index set can be determined by counting the Lyndon words which are associated to this set. | result 0.89 | 0.94 | 0.11 | asserted 0.99 |
| s5 | The algebraic relations between the finite harmonic sums can be used to reduce the high complexity of the expressions for the Mellin moments of the Wilson coefficients and splitting functions significantly for massless field theories as QED and QCD up to three loop and higher orders in the coupling constant and are also of importance for processes depending on more scales. | interpretation 0.79 | 0.73 | 0.49 | asserted 0.98 |
| s6 | The ratio of the number of independent sums thus obtained to the number of all sums for a given index set is found to be $\leq 1/d$ with $d$ the depth of the sum independently of the weight. | result 1.00 | 0.95 | 0.16 | asserted 1.00 |
| s7 | The corresponding counting relations are given in analytic form for all classes of harmonic sums to arbitrary depth and are tabulated up to depth $d=10$. | result 0.65 | 0.93 | 0.14 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
53 arXiv papers cite this in 104 sentences
Papers citing it · 40 sentences without a confident label
Builds on it 2 papers
-
The nested sums at finite values of $N$ are studied in Section [ref], including their algebraic and structural relations, generalizing [ref] .
Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials · Introduction · 0.99
-
In [ref] this aspect has been utilized for the class of harmonic sums, and it has been enhanced for generalized, cyclotomic and binomial sums in [ref] .
Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation · Basic representations · 0.82
Uses its method or tool 35 papers
-
The difference equations are solved by using methods from difference field theory [ref] implemented in the package Sigma [ref] utilizing functions from HarmonicSums [ref] , to obtain the three–loop Wilson coefficients.
The massless three-loop Wilson coefficients for the deep-inelastic structure functions $F_2, F_L, xF_3$ and $g_1$ · Details of the calculation · 1.00
-
We solve this differential equation using [ref] and fix its constants of integration with the large-mass expansion of $B^aux_1,2$ [equation]
Analytic auxiliary mass flow to compute master integrals in singular kinematics · Family B · 1.00
-
We will follow the latter way and use the algebraic relations [ref] to express $S_2,1,1,1,1(N)$ afterwards,
Structural Relations of Harmonic Sums and Mellin Transforms at Weight w=6 · Complex Analysis of Harmonic Sums · 0.95
Compares with it 1 paper
-
We remark that that the found relations for harmonic sums, cyclotomic sums and generalized harmonic sums coincide with the derived relations [ref] that are obtained by using the underlying quasi-shuffle algebras [ref] .
Modern Summation Methods for Loop Integrals in Quantum Field Theory: The Packages Sigma, EvaluateMultiSums and SumProduction · Simplification of indefinite nested product-sum expressions · 0.99
Cites it as support 1 paper
-
[Due to the algebraic relations [ref] of the harmonic sums one may show that this divergence is at most of $O(ln^m(N))$, where $m$ is the number of indices equal to one at the beginning of the index set.] To obtain a representation which is as compact as possible we seek to find all relations between the harmonic sums.
Structural Relations of Harmonic Sums and Mellin Transforms at Weight w=6 · Introduction · 0.97
Cites it as background 8 papers
-
Especially in the heavy-mass effective field theory [ref] , which had a wide phenomenological applications in heavy quark and black hole physics [ref] , the kinematic algebra was found to be isomorphic to an infinite dimensional combinatorial algebra [ref] , i.e. a (generalised) quasi-shuffle Hopf algebra [ref] .
Kinematic Hopf algebra for amplitudes from higher-derivative operators · Introduction · 0.93
-
Remarkably, it was found that the BCJ numerators for tree-level amplitudes of two heavy particles and any number of gluons can be constructed from a quasi-shuffle Hopf algebra, which is well studied in the context of combinatorial Hopf algebras of shuffles and quasi-shuffles [ref] .
Amplitudes, Hopf algebras and the colour-kinematics duality · Introduction · 0.85
-
At the moment we do not discuss matters like algebraic or structural independence of these quantities, cf. [ref] , but rather consider ([ref]) as a placeholder.
Three Loop Massive Operator Matrix Elements and Asymptotic Wilson Coefficients with Two Different Masses · The Calculation Strategy · 0.93
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.