Odd Relatives of Multiple Zeta Values Michael E. Hoffman

advertisement
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Odd Relatives of
Multiple Zeta Values
Michael E. Hoffman
USNA Mathematics Colloquium
6 April 2016
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Outline
Odd Relatives
of MZVs
ME Hoffman
1 Introduction
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
2 MtVs as Images of Quasi-Symmetric Functions
3 MtVs of Repeated and Even Arguments
4 Iterated Integrals and Alternating MZVs
Iterated
Integrals and
Alternating
MZVs
5 Calculations and Conjectures
Calculations
and
Conjectures
6 Depth 2 Results
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Introduction
Odd Relatives
of MZVs
ME Hoffman
For positive integers a1 , . . . , ak with a1 > 1 we define the
corresponding multiple t-value (MtV) by
Outline
Introduction
t(a1 , a2 , . . . , ak ) =
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
X
1
.
· · · nkak
n a1 n a2
n1 >n2 >···>nk ≥1, ni odd 1 2
Except for the specification that the ni are odd, this is just the
usual definition of the multiple zeta value ζ(a1 , . . . , ak ). We
say t(a1 , . . . , ak ) has depth k and weight a1 + · · · + ak . MtVs
of depth 1 are simply related to values of the Riemann zeta
function:
X
X 1
1
=
ζ(a)−
= 1 − 2−a ζ(a). (1)
t(a) =
a
a
n
n
n > 0 even
n > 0 odd
ME Hoffman
Odd Relatives of MZVs
History
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
While multiple zeta values (for depth ≤ 2) appear in the
correspondence between Euler and Goldbach in the 1740s,
t-values can only claim a history of 110 years. In 1906 N.
Nielsen showed that
n−1
X
t(2i)t(2n − 2i) =
i=1
2n − 1
,
2
which parallels the result Euler gave for zeta values:
n−1
X
ζ(2i)ζ(2n − 2i) =
i=1
2n + 1
.
2
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
MtVs vs. MZVs
Odd Relatives
of MZVs
ME Hoffman
Outline
It turns out that the theory of multiple t-values is in some ways
directly parallel to that for multiple zeta values, and in other
ways completely different. The MtVs share with the MZVs the
“harmonic algebra” (AKA “stuffle”) multiplication, e.g., just as
Introduction
QuasiSymmetric
Functions
ζ(2)ζ(3, 1) = ζ(2, 3, 1) + ζ(3, 2, 1) + ζ(3, 1, 2) + ζ(5, 1) + ζ(3, 3)
MtVs of
Repeated and
Even
Arguments
we have
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
t(2)t(3, 1) = t(2, 3, 1) + t(3, 2, 1) + t(3, 1, 2) + t(5, 1) + t(3, 3).
From this (and equation (1)) follows, e.g.,
π 2n
,
t(2, . . . , 2) =
| {z }
2(2n)!
n
ME Hoffman
π 2n
cf. ζ(2, . . . , 2) =
.
| {z }
(2n + 1)!
n
Odd Relatives of MZVs
MtVs vs. MZVs cont’d
Odd Relatives
of MZVs
Similarly one has
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
π 4n
t(4, . . . , 4) = 2n
,
| {z }
2 (4n)!
n
3π 6n
t(6, . . . , 6) =
,
| {z }
4(6n)!
n
which directly parallel
22n+1 π 4n
ζ(4, . . . , 4) =
,
| {z }
(4n + 2)!
n
6π 6n
ζ(6, . . . , 6) =
.
| {z }
(6n + 3)!
n
But in other ways MtVs differ markedly from MZVs. For MZVs
one has the sum theorem: the sum of all MZVs of weight n
and depth k is ζ(n), regardless of k. There seems to be
nothing comparable for MtVs.
ME Hoffman
Odd Relatives of MZVs
MtVs vs. MZVs cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Also absent from the MtVs is an analogue of the MZV duality;
while one has, for example, the relations ζ(2, 1, 1) = ζ(4) and
ζ(3, 1, 2) = ζ(2, 3, 1), nothing like this exists for MtVs. Duality
of MZVs comes from an iterated integral representation: for
example,
Z 1
Z
Z
Z x3
Z
dx2 x2 dx1
dx5 x5 dx4 x4 dx3
ζ(3, 2) =
x4 0 1 − x3 0 x2 0 1 − x1
0
0 x5
and the change of variable
(x1 , x2 , x3 , x4 , x5 ) → (1 − x5 , 1 − x4 , 1 − x3 , 1 − x2 , 1 − x1 )
leads to the duality relation ζ(3, 2) = ζ(2, 2, 1). The iterated
integral representation of MZVs leads to a second algebra
structure (shuffle product).
ME Hoffman
Odd Relatives of MZVs
MtVs vs. MZVs cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
For MtVs there is an iterated integral representation, but it’s
not nearly as nice; for example,
Z
Z
Z x3
Z
Z 1
dx2 x2 dx1
dx5 x5 dx4 x4 x3 dx3
.
t(3, 2) =
x4 0 1 − x32 0 x2 0 1 − x12
0
0 x5
The change of variable above doesn’t take an iterated integral
of this form to another, and integrals of this form are not
closed under the shuffle product of forms. Already one sees the
consequences in weight 3: while for MZVs one has the first
instance of duality
ζ(2, 1) = ζ(3)
(discovered by Euler and many others since), for MtVs one has
1
t(2, 1) = − t(3) + t(2) log 2.
2
ME Hoffman
Odd Relatives of MZVs
MtVs and alternating MZVs
Odd Relatives
of MZVs
ME Hoffman
Outline
Nevertheless, the iterated integral represetation for MtVs does
lead to a formula expressing any MtV as a sum of alternating
MZVs, e.g.,
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
ζ(3̄, 2) =
(−1)n1
,
3 n2
n
1
2
≥1
X
n1 >n2
ζ(3, 2̄) =
(−1)n2
.
3 n2
n
1
2
≥1
X
n1 >n2
Alternating or “colored” MZVs have been studied, at least by
physicists, since they began to turn up in quantum field theory
in the late 1980s. Thanks to the Multiple Zeta Value Data
Mine project of Blümlein, Broadhurst and Vermaseren,
extensive tables expressing alternating MZVs in terms of a
(provisional) basis exist.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
A conjecture
Odd Relatives
of MZVs
ME Hoffman
We have used these expressions to write out the t-values
through weight 7. Thus, e.g.,
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
t(2, 1, 3) =
27
5
1
t(6) − t(3)2 + t(2)ζ(3̄, 1).
112
28
2
Calculations using these tables have led us to the following
conjecture.
Conjecture
The dimension of the rational vector space spanned by MtVs of
weight n ≥ 2 is Fn , the nth Fibonacci number.
The corresponding conjecture for MZVs reads the same, but
with Fn replaced by Pn , the nth Padovan number (i.e., P0 = 1,
P1 = 0, P2 = 1, Pn = Pn−2 + Pn−3 ).
ME Hoffman
Odd Relatives of MZVs
Relative growth
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
The Padovan number Pn is known to be an upper bound on
the dimension of the rational vector space generated by the
MZVs of weight n. If we denote by MZVn and MtVn ,
respectively, the rational vector spaces generated by weight-n
MZVs and MtVs, we can judge their relative growth by
comparing Pn and Fn .
n
Pn ≥ dimQ MZVn
Fn = dimQ MtVn ?
2
1
1
3
1
2
4
1
3
5
2
5
6
2
8
7
3
13
Evidently there are a lot more relations among MZVs than
among MtVs.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
MtVs as multiple Hurwitz zeta functions
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Several results about multiple t-values are scattered about the
literature, in a variety of different notations. Sometimes they
are discussed in terms of multiple Hurwitz zeta values, defined
by
ζ(a1 , . . . , ak ; p1 , . . . , pk ) =
X
n1 >···>nk ≥1
(n1 + p1
) a1
1
.
· · · (nk + pk )ak
Evidently
1
1
t(a1 , . . . , ak ) = 2−a1 −···−ak ζ(a1 , . . . , ak ; − , . . . , − ).
2
2
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Quasi-symmetric functions
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Consider the algebra Q[[x1 , x2 , . . . ]] of formal power series in a
countable set of commuting generators x1 , x2 , . . . . This has a
graded subalgebra B consisting of those series of bounded
degree (where each xi has degree 1). An element of f ∈ B is a
quasi-symmetric function if
coefficient of xia11 xia22 · · · xiakk in f =
coefficient of x1a1 x2a2 · · · xkak in f
whenever i1 < i2 < · · · < ik . The set of such f is a subalgebra
QSym of B, called the quasi-symmetric functions.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Quasi-symmetric functions cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
As a vector space, QSym has the basis consisting of monomial
quasi-symmetric functions M(a1 ,...,ak ) , where (a1 , . . . , ak ) is a
composition (ordered sequence) of positive integers and
X a
M(a1 ,...,ak ) =
xi11 · · · xiakk .
i1 <···<ik
QSym has as a subalgebra the symmetric functions Sym; the
symmetric functions have the vector space basis
X
xia11 · · · xiakk
ma1 ,...,ak =
i1 , . . . , ik distinct
indexed by partitions (unordered sequences) of positive
integers. Note that, e.g.,
m2,2,1 = M(2,2,1) + M(2,1,2) + M(1,2,2) .
ME Hoffman
Odd Relatives of MZVs
Quasi-symmetric functions cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
In fact, QSym is a polynomial algebra on certain of the MI . We
order compositions lexicographically, i.e,
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
(1) < (1, 1) < (1, 2) < (1, 2, 1) < · · ·
and call a composition I Lyndon if I < K for any proper
factorization I = JK : e.g., (1, 3) is Lyndon but (1, 1) and
(1, 2, 1) aren’t. Then QSym is the polynomial algebra on the
MI with I Lyndon (Malvenuto and Reutenauer, 1995). Note
that the only Lyndon composition ending in 1 is (1). Let
QSym0 be the subalgebra of QSym generated by MI for
I 6= (1) Lyndon, so that QSym = QSym0 [M(1) ].
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Quasi-symmetric functions and MtVs
Odd Relatives
of MZVs
The following result is well-known (Hoffman 1997).
ME Hoffman
Theorem
Outline
There is a homomorphism ζ : QSym0 → R sending 1 to 1 and
M(a1 ,a2 ,...,ak ) to ζ(a1 , a2 , . . . ak ) for a1 ≥ 2.
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
There is an exact analogue for MtVs.
Theorem
There is a homomorphism θ : QSym0 → R sending 1 to 1 and
M(a1 ,a2 ,...,ak ) to t(a1 , a2 , . . . , ak ) for a1 ≥ 2.
It follows that if any linear combination of t-values is the image
of a symmetric function, then it is actually expressible as a
rational polynomial in the depth 1 t-values, e.g.,
t(2, 3) + t(3, 2) = t(2)t(3) − t(5).
ME Hoffman
Odd Relatives of MZVs
MtVs of repeated arguments
Odd Relatives
of MZVs
ME Hoffman
Outline
In particular, any t-value of repeated arguments is a rational
polynomial in the t(i). If we write {k}n for k repeated n times,
then we have the following.
Introduction
Theorem
QuasiSymmetric
Functions
For integer k ≥ 2, let Zk (x) be the generating function
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Zk (x) = 1 +
∞
X
ζ({k}i )x ik .
i=1
Then the corresponding generating function for multiple
t-values is
∞
X
Zk (x)
1+
t({k}i )x ik =
.
Zk ( x2 )
i=1
ME Hoffman
Odd Relatives of MZVs
MtVs of repeated arguments cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
Now the generating functions Zk (x) were studied in some detail
back in the 1990’s: see Broadhurst, Borwein and Bradley 1997.
From their results and the preceding theorem we have, e.g.,
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
t({4}n ) =
π 4n
π 6n
,
t({6}
)
=
,
n
22n (4n)!
(8n)(6n − 1)!
π 10n (L10n + 1)
t({10}n ) =
,
(32n)(10n − 1)!
where in the last formula Ln is the nth Lucas number, i.e.,
L0 = 2, L1 = 1 and Ln = Ln−1 + Ln−2 .
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
MtVs of even arguments
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Another area where results on MtVs closely parallel those on
MZVs is in sums of elements of purely even arguments. If for
k ≤ n we let T (2n, k) be the sum of all MtVs of even
arguments having depth k and weight 2n, then Zhao 2015
showed that
c
b k−1
2
X
(−1)j π 2j t(2n − 2j) 2k − 2j − 2
,
T (2n, k) =
k −1
22k−2 (2j)!k
j=0
following my result
c
b k−1
2
X (−1)j π 2j ζ(2n − 2j) 2k − 2j − 1
E (2n, k) =
22n−2j−2 (2j + 1)!
k
j=0
for E (2n, k) the sum of all MZVs of even arguments having
depth k and weight 2n.
ME Hoffman
Odd Relatives of MZVs
Generating functions
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Both formulas are proved from corresponding generating
functions: we have the parallel results
p
∞ X
n
cos π2 (1 − s)t
X
√ T(t, s) = 1 +
T (2n, k)t n s k =
cos π2 t
n=1 k=1
and
∞ X
n
X
p
sin(π (1 − s)t)
√ .
E (2n, k)t s = √
E(t, s) = 1 +
1 − s sin(π t)
n=1 k=1
n k
These in turn follow from taking images under appropriate
homomorphisms of the generating function
ME Hoffman
Odd Relatives of MZVs
Generating functions cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
F(t, s) = 1 +
∞ X
n
X
Nn,k t n s k ∈ QSym[[t, s]],
n=1 k=1
where Nn,k is the sum of all monomial symmetric functions
corresponding of partitions of n with k parts. In fact
E(t, s) = ζP2 F(t, s)
and T(t, s) = θP2 F(t, s)
where P2 : QSym → QSym sends each xi to xi2 . The formulas
on the preceding slide then follow from
F(t, s) = H(t)E ((s − 1)t),
where H(t) and E (t) are respectively the generating functions
for the complete and elementary symmetric functions.
ME Hoffman
Odd Relatives of MZVs
Iterated integral representations
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Call a sequence of (a1 , . . . , ak ) of positive integers admissible if
a1 > 1. Now if
ω0 =
dt
dt
dt
, ω1 =
, ω−1 =
,
t
1−t
1+t
then there is the well-known representation of MZVs
Z 1
ζ(a1 , . . . , ak ) =
ω0a1 −1 ω1 · · · ω0ak −1 ω1
0
for any admissible sequence (a1 , . . . , ak ). This can be extended
as follows. Let P be the set of positive integers,
P̃ = {. . . , 3̄, 2̄, 1̄, 1, 2, 3, . . . }. The set {−1, 1} acts on P̃ as
follows: 1 ◦ n = n, 1 ◦ n̄ = n̄, (−1) ◦ n = n̄, (−1) ◦ n̄ = n. For
a ∈ P̃, let sgn(a) = 1 if a ∈ P and −1 otherwise. Note
sgn(a) ◦ a ∈ P.
ME Hoffman
Odd Relatives of MZVs
Alternating MZVs
Odd Relatives
of MZVs
ME Hoffman
For b1 , . . . , bk ∈ P̃ with b1 6= 1, define the alternating MZV by
Outline
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
sgn(b1 )n1 · · · sgn(bk )nk
sgn(b1 )◦b1
n1 >···>nk ≥1
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
X
ζ(b1 , . . . , bk ) =
Introduction
n1
sgn(bk )◦bk
.
· · · nk
Now let (a1 , . . . , ak ) be admissible. If 1 , . . . , k ∈ {−1, 1},
then
Z
0
1
ω0a1 −1 ω1 · · · ω0ak −1 ωk =
1 · · · k ζ(1 ◦ a1 , 1 2 ◦ a2 , 2 3 ◦ a3 , . . . , k−1 k ◦ ak )
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Iterated integrals for MtVs
Odd Relatives
of MZVs
ME Hoffman
For multiple t-values there is also an iterated integral
representation, but it is not so simple.
Outline
Introduction
Proposition
QuasiSymmetric
Functions
For any admissible sequence (a1 , . . . , ak ),
Z
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
1
t(a1 , . . . , ak ) =
0
a
ω0a1 −1 Ωa · · · ω0k−1
−1
Ωa ω0ak −1 Ωb
where
Ωa =
1
tdt
= (ω1 − ω−1 ),
2
1−t
2
Ωb =
dt
1
= (ω1 + ω−1 ).
2
1−t
2
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
MtVs and alternating MZVs
Odd Relatives
of MZVs
ME Hoffman
Expanding out the preceding result and using the extended
integral representation of alternating MZVs gives the following.
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Theorem
For an admissible sequence (a1 , . . . , ak ), the multiple t-value
t(a1 , . . . , ak ) is given by
1 X
1 · · · k ζ(1 ◦ a1 , . . . , k ◦ ak ),
2k ,...,
1
k
where the sum is over the 2k k-tuples (1 , . . . , k ) with
i ∈ {−1, 1}.
This expresses t(a1 , . . . , ak ) as a sum of 2k alternating MZVs.
ME Hoffman
Odd Relatives of MZVs
MtVs and alternating MZVs cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
But it’s possible to do better. For admissible (a1 , . . . , ak ) and
p ≤ k, let Lp ζ(a1 , . . . , ak ) be the sum of the kp alternating
MZVs in which (−1)◦ is applied to exactly p of the arguments.
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Theorem
For an admissible sequence (a1 , . . . , ak ), the multiple t-value
t(a1 , . . . , ak ) is given by
1
2a1 +···+ak
ζ(a1 , . . . , ak ) −
1
2k−1
X
Lp ζ(a1 , . . . , ak ).
p≤k odd
This expresses t(a1 , . . . , ak ) as a sum of 2k−1 + 1 alternating
MZVs.
ME Hoffman
Odd Relatives of MZVs
MtVs and alternating MZVs cont’d
Odd Relatives
of MZVs
Even for double t-values this is an improvement; it replaces
ME Hoffman
t(a, b) =
Outline
1
ζ(a, b) − ζ(a, b̄) − ζ(ā, b) + ζ(ā, b̄)
4
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
with
t(a, b) =
1
2
ζ(a, b) −
a+b
1
ζ(a, b̄) + ζ(ā, b) .
2
For triple t-values we have
t(a, b, c) =
−
1
2a+b+c
ζ(a, b, c)
1
ζ(a, b, c̄) + ζ(a, b̄, c) + ζ(ā, b, c) + ζ(ā, b̄, c̄) .
4
ME Hoffman
Odd Relatives of MZVs
The Multiple Zeta Value Data Mine
Odd Relatives
of MZVs
ME Hoffman
Using the preceding result, we can expand any MtV into a sum
of alternating MZVs. For example,
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
t(2, 3, 1) =
1
1
ζ(2, 3, 1) − ζ(2̄, 3, 1) + ζ(2, 3̄, 1) + ζ(2, 3, 1̄)
64
4
+ ζ(2̄, 3̄, 1̄) .
Now we can use tables from the Multiple Zeta Value Data
Mine project of Blümlein, Broadhurst and Vermaseren to
expand each of the alternating MZVs in this sum, resulting in
t(2, 3, 1) = −
1
2
3
1
t(6) −
t(3)2 − t(2)ζ(3̄, 1) + ζ(5̄, 1)
21
196
2
4
1
4
− t(5) log 2 + t(2)t(3) log 2.
2
7
ME Hoffman
Odd Relatives of MZVs
Tables and conjectures
Odd Relatives
of MZVs
ME Hoffman
Similarly we have obtained formulas for all multiple t-values of
weight ≤ 7. In our tables we have
4
1
t(2, 3) = − t(5) + t(2)t(3).
2
7
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
This and many similar instances have led us to the following
conjecture.
Conjecture
Every multiple t-value admits a representation as a polynomial
in the t(i), i ≥ 2, log 2, and selected alternating MZVs in such
a way that
∂t(s, 1)
= t(s).
∂ log 2
for any admissible sequence s.
ME Hoffman
Odd Relatives of MZVs
Derivation Conjecture
Odd Relatives
of MZVs
ME Hoffman
Outline
Consider the function A− : QSym → QSym given by
(
M(i1 ,...,ik−1 ) , if ik = 1,
A− (M(i1 ,...,ik ) ) =
0,
otherwise.
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Then A− is a derivation of QSym, and it restricts to a
derivation of QSym0 . The conjecture above can be restated as
follows.
Conjecture
There is a derivation d on MtV = θ(QSym0 ) such that
θA− = dθ.
Note that if there were a derivation ∂ on MZV = ζ(QSym0 )
such that ζA− = ∂ζ, then we’d have the contradiction
0 = ζ(A− M3 ) = ∂ζ(3) = ∂ζ(2, 1) = ζ(A− M(2,1) ) = ζ(2).
ME Hoffman
Odd Relatives of MZVs
The Fibonacci Conjecture
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
The second conjecture, which we have already mentioned, is
based on computations of the rank of the set of multiple
t-values of a given weight. Based on our tables through weight
7, we have computed the ranks (starting in weight 2) as
1, 2, 3, 5, 8, 13
which leads to the following “Fibonacci Conjecture.”
Conjecture
If MtVn is the rational vector subspace of R spanned by
weight-n multiple t-values, then dimQ MtVn = Fn , the nth
Fibonacci number.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Fibonacci Conjecture cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Of course the existing evidence for the Fibonacci Conjecture is
rather thin. The Multiple Zeta Value Data Mine actually has
publically available files on alterating MZVs for weights
through 14, so there is plenty of testing yet to do even without
extending their work. But this gets laborious: in weight 7 there
are 32 admissible sequences, and the sum for t(2, 1, 1, 1, 1, 1)
has 33 terms. Blümlein, Broadhurst and Vermaseren are all
particle physicists, with plenty of experience with large-scale
calculations, so they probably have helpful ideas on how to
manage the higher weights.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Explicit formulas in depth 2
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
One place where the theories of MZVs and MtVs are closely
parallel is in depth 2. It is convenient to define
2i − 2
2i − 2
N(a, b, i) =
+
,
a−1
b−1
where pj = 0 if j > p. It is well-known (and implicit in Euler’s
1776 paper) that
(−1)a
a+b
ζ(a, b) =
− 1 ζ(2n + 1)+
2
a
(
P
ζ(a)ζ(b) − ni=2 N(a, b, i)ζ(2i − 1)ζ(2n − 2i + 2), a even,
Pn
i=2 N(a, b, i)ζ(2i − 1)ζ(2n − 2i + 2), otherwise.
if a + b = 2n + 1 and a, b ≥ 2 (No general formula in terms of
single zeta values is known for ζ(a, b) if a + b is even.)
ME Hoffman
Odd Relatives of MZVs
Explicit formulas in depth 2 cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
For ζ(2n, 1) one has another formula
2n−1
1 X
ζ(2n, 1) = nζ(2n + 1) −
ζ(i)ζ(2n + 1 − i).
2
i=2
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
Depth 2
Results
Basu 2008 gave the similar formula
1
t(a, b) = − t(2n + 1)+
2
(
P
t(a)t(b) − ni=2 N(a, b, i) t(2i−2)t(2n−2i+2)
, a even,
22i−1 −1
Pn
t(2i−1)t(2n−2i+2)
, otherwise,
i=2 N(a, b, i)
22i−1 −1
for a + b = 2n + 1. Basu actually stipulates that a, b ≥ 2, but
if we take a = 2n, b = 1 and set t(1) = log 2 the formula is
still valid (as follows from Jordan 1973 or Nakamura and
Tasaka 2013).
ME Hoffman
Odd Relatives of MZVs
Explicit formulas in depth 2 cont’d
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
The proofs used by Basu and Nakamura-Tasaka are elementary
but different. I have been able to prove the a = 2n, b = 1 case,
that is,
1
t(2n, 1) = − t(2n + 1) + t(2n) log 2
2
n
X
t(2i − 1)t(2n − 2i + 2)
−
,
22i−1 − 1
i=2
using yet another elementary method. I believe this can be
extended to the general case a + b = 2n + 1, though I haven’t
yet done this. My method involves modified Tornheim sums.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Tornheim sums
Odd Relatives
of MZVs
ME Hoffman
The depth 2 formulas for the MZV case can all be rather neatly
proved using sums invented in Tornheim 1950:
Outline
Introduction
T (a, b, c) =
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
∞ X
∞
X
i=1 j=1
1
.
+ j)c
i a j b (i
They have the properties T (a, b, c) = T (b, a, c),
T (a, 0, c) = ζ(c, a) for c > 1, T (a, b, 0) = ζ(a)ζ(b) for
a, b ≥ 2, and
T (a, b, c) = T (a − 1, b, c + 1) + T (a, b − 1, c + 1)
for a, b ≥ 1.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Modified Tornheim sums
Odd Relatives
of MZVs
ME Hoffman
For the t-values one can use a modified Tornheim sum
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
M(a, b, c) =
∞ X
∞
X
i=1 j=0
1
(2i)a (2j
+
1)b (2i
+ 2j + 1)c
One has M(0, b, c) = t(c, b) for c > 1,
M(a, b, 0) = 2−a ζ(a)t(b) for a, b ≥ 2 and
M(a, b, c) = M(a − 1, b, c + 1) + M(a, b − 1, c + 1)
for a, b ≥ 1, but the symmetry in the first two arguments is lost
and M(a, 0, c) is not particularly simple. Nevertheless, one can
mimic many of the arguments used for Tornheim sums.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Tornheim and modified Tornheim sums
Odd Relatives
of MZVs
ME Hoffman
Outline
Here is an interesting point of difference between T and M. By
partial fractions one has
Introduction
∞
∞ X
1
1 X 1
−
,
T (1, p, 1) =
j p+1
i
i +j
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
j=1
i=1
and the inner sum telescopes to give
∞
X
1
1
1 + ··· +
= ζ(p + 2) + ζ(p + 1, 1).
j p+1
j
j=1
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Tornheim and modified Tornheim sums cont’d
Odd Relatives
of MZVs
ME Hoffman
But in the corresponding sum
Outline
Introduction
M(1, p, 1) =
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
∞
X
j=0
∞ X
1
1
1
−
(2j + 1)p+1
2i
2i + 2j + 1
i=1
the inner sum does not telescope, and instead we have
∞
X
j=0
1
1
1
+
·
·
·
+
−
log
2
+
1
+
(2j + 1)p+1
3
2j + 1
= t(p + 2) + t(p + 1, 1) − t(p + 1) log 2.
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
A formula for t(2n + 1, 1)
Odd Relatives
of MZVs
ME Hoffman
Outline
Introduction
QuasiSymmetric
Functions
MtVs of
Repeated and
Even
Arguments
Iterated
Integrals and
Alternating
MZVs
Calculations
and
Conjectures
The argument for t(2n, 1) can be modified slightly to give a
formula for t(2n + 1, 1) (but one must pay the price of
including an alternating MZV):
1
t(2n + 1, 1) = t(2n + 1) log 2 − ζ(2n + 1, 1)+
2
(2n + 1)(1 − 22n+1 ) − 22n+2
t(2n + 2)+
4(22n+2 − 1)
n−1 2n+1
X
2
− 22i+1 − 22n−2i+1 + 1
t(2i + 1)t(2n − 2i + 1).
2(22i+1 − 1)(22n−2i+1 − 1)
i=1
Depth 2
Results
ME Hoffman
Odd Relatives of MZVs
Download