An Odd Variant of Multiple Zeta Values Michael E. Hoffman Number Theory Talk

advertisement
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
An Odd Variant of
Multiple Zeta Values
Michael E. Hoffman
U. S. Naval Academy
Number Theory Talk
Max-Planck-Institut für Mathematik, Bonn
20 June 2014
ME Hoffman
Multiple t-Values
Outline
Multiple
t-Values
ME Hoffman
Outline
1 Introduction
Introduction
MtVs as
images of
quasisymmetric
functions
2 MtVs as images of quasi-symmetric functions
3 Iterated integrals
Iterated
integrals
Calculations
and
conjectures
4 Calculations and conjectures
Depth 2
results
5 Depth 2 results
ME Hoffman
Multiple t-Values
Introduction
Multiple
t-Values
ME Hoffman
For positive integers a1 , . . . , ak with a1 > 1 we define the
corresponding multiple t-value (MtV) by
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
t(a1 , a2 , . . . , ak ) =
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
Multiple t-Values
Introduction cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
While multiple zeta values (for depth ≤ 2) have a history going
back to Euler, t-values can only claim a history of 98 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
ME Hoffman
Multiple t-Values
2n + 1
.
2
Introduction cont’d
Multiple
t-Values
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
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
ζ(2)ζ(3, 1) = ζ(2, 3, 1) + ζ(3, 2, 1) + ζ(3, 1, 2) + ζ(5, 1) + ζ(3, 3)
we have
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
Multiple t-Values
Introduction cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
Where MZVs and MtVs differ radically is in their representation
as iterated integrals. The iterated integral representation of
MZVs leads to a second algebra structure (shuffle product) and
the duality theorem, but the iterated integral representation of
MtVs is not nearly so nice. This is already apparent 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
Multiple t-Values
Introduction cont’d
Multiple
t-Values
MtVs as
images of
quasisymmetric
functions
Nevertheless, the iterated itegral represetation for MtVs does
lead to a formula expressing any MtV as a sum of alternating
MZVs. 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. Our calculations using these tables have led us to the
following conjecture.
Iterated
integrals
Conjecture
Calculations
and
conjectures
The dimension of the rational vector space spanned by MtVs of
weight n ≥ 2 is Fn , the nth Fibonacci number.
ME Hoffman
Outline
Introduction
Depth 2
results
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
Multiple t-Values
MtVs as Multiple Hurwitz Zeta Functions
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
In the literature there are several results about multiple
t-values, but these are usually discussed in the context of
multiple Hurwitz zeta values, defined by
ζ(a1 , . . . , ak ; p1 , . . . , pk ) =
X
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
n1 >···>nk ≥1
(n1 + p1
) a1
1
.
· · · (nk + pk )ak
It is evident that
1
1
t(a1 , . . . , ak ) = 2−a1 −···−ak ζ(a1 , . . . , ak ; − , . . . , − ).
2
2
ME Hoffman
Multiple t-Values
Quasi-Symmetric Functions
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Consider the algebra Q[[x1 , x2 , . . . ]] of formal power series in a
countable set of commuting generators x1 , x2 , . . . . This has a
graded subalgebra P consisting of those series of bounded
degree (where each xi has degree 1). An element of f ∈ P is a
quasi-symmetric function if
coefficient of xia11 xia22 · · · xiakk in f =
coefficient of x1a1 x2a2 · · · xkak in f
Calculations
and
conjectures
Depth 2
results
whenever i1 < i2 < · · · < ik . The set of such f is a subalgebra
QSym of P, called the quasi-symmetric functions.
ME Hoffman
Multiple t-Values
Quasi-Symmetric Functions cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
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
Multiple t-Values
Quasi-Symmetric Functions cont’d
Multiple
t-Values
ME Hoffman
Outline
In fact, QSym is a polynomial algebra on certain of the MI . We
order compositions lexicographically, i.e,
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
(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) ].
ME Hoffman
Multiple t-Values
Quasi-Symmetric Functions and MtVs
Multiple
t-Values
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 ζ(ak , . . . , a2 , a1 ) for ak ≥ 2.
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
This is paralleled by
Theorem
There is a homomorphism θ : QSym0 → R sending 1 to 1 and
M(a1 ,a2 ,...,ak ) to t(ak , . . . , a2 , a1 ) for ak ≥ 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
Multiple t-Values
t-Values of Repeated Arguments
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
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.
Theorem
For integer k ≥ 2, let Zk (x) be the generating function
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
Zk (x) = 1 +
∞
X
ζ({k}i )x ik .
i=1
Then
1+
∞
X
t({k}i )x ik =
i=1
ME Hoffman
Multiple t-Values
Zk (x)
.
Zk ( x2 )
t-Values of Repeated Arguments cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
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.,
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 .
ME Hoffman
Multiple t-Values
Iterated Integral Representations
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
Call a sequence of (a1 , . . . , ak ) of positive integers admissible if
a1 > 1. Now if
dt
dt
dt
, ω−1 =
,
ω0 = , ω1 =
t
1−t
1+t
then there is the well-known representation
Z 1
ζ(a1 , . . . , ak ) =
ω0a1 −1 ω1 · · · ω0ak −1 ω1
0
for any admissible sequence (a1 , . . . , ak ), which extends as
follows. If (a1 , . . . , ak ) is admissible and 1 , . . . , k ∈ {−1, 1},
then
Z 1
ω0a1 −1 ω1 · · · ω0ak −1 ωk =
0
1 · · · k ζ(1 a1 , 1 2 a2 , 2 3 a3 , . . . , k−1 k ak )
ME Hoffman
Multiple t-Values
Iterated Integrals cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
where for ai ∈ {−1, 1} we define the alternating MZV by
X
sgn(a1 )n1 · · · sgn(ak )nk
ζ(a1 , . . . , ak ) =
.
|a |
|a |
n1 1 · · · nk k
n1 >···>nk ≥1
For multiple t-values there is also an iterated integral
representation, but it is not so simple.
Proposition
For any admissible sequence (a1 , . . . , ak ),
Calculations
and
conjectures
Z
1
t(a1 , . . . , ak ) =
0
Depth 2
results
a
ω0a1 −1 Ωa · · · ω0k−1
−1
Ωa ω0ak −1 Ωb
where
Ωa =
tdt
1
= (ω1 − ω−1 ),
2
1−t
2
ME Hoffman
Ωb =
Multiple t-Values
dt
1
= (ω1 + ω−1 ).
2
1−t
2
Iterated Integrals cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
Expanding out the preceding result gives
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}.
ME Hoffman
Multiple t-Values
The Multiple Zeta Value Data Mine
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
Using the preceding result, we can expand any MtV into a sum
of alternating MZVs. For example,
1
ζ(2, 3, 1) − ζ(2̄, 3, 1) − ζ(2, 3̄, 1) − ζ(2, 3, 1̄)
8
+ ζ(2̄, 3̄, 1) + ζ(2̄, 3, 1̄) + ζ(2, 3̄, 1̄) − ζ(2̄, 3̄, 1̄) ,
t(2, 3, 1) =
where we have used the usual convention of writing n̄ instead
of −n in the exponent string. Using results of the Multiple
Zeta Values Data Mine project of Blümlein, Broadhurst and
Vermaseren, we expand each of the alternating MZVs in this
sum to obtain
t(2, 3, 1) = −
3
1
1
2
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
Multiple t-Values
Tables and Conjectures
Multiple
t-Values
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
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
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
Multiple t-Values
The Fibonacci Conjecture
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
The second conjecture 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 obvious conjecture
Conjecture
The dimension of the rational vector space spanned by
weight-n multiple t-values is Fn .
ME Hoffman
Multiple t-Values
Fibonacci Conjecture cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
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 64 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.
ME Hoffman
Multiple t-Values
Explicit Formulas in Depth 2
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
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
1775 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
Multiple t-Values
Explicit Formulas in Depth 2 cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
For ζ(2n, 1) one has another formula
2n−1
1 X
ζ(2n, 1) = nζ(2n + 1) −
ζ(i)ζ(2n + 1 − i).
2
i=2
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 Nakamura and Tasaka 2013).
ME Hoffman
Multiple t-Values
Explicit Formulas in Depth 2 cont’d
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
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.
ME Hoffman
Multiple t-Values
Tornheim Sums
Multiple
t-Values
ME Hoffman
The depth 2 formulas for the MZV case can all be rather neatly
proved using sums invented in Tornheim 1950:
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
T (a, b, c) =
∞ 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.
ME Hoffman
Multiple t-Values
Modified Tornheim Sums
Multiple
t-Values
ME Hoffman
For the t-values one can use a modified Tornheim sum
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
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.
ME Hoffman
Multiple t-Values
Tornheim and Modified Tornheim Sums
Multiple
t-Values
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
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
j=1
i=1
and the inner sum telescopes to give
∞
X
1
1
1 + ··· +
= ζ(p + 2) + ζ(p + 1, 1).
j p+1
i
j=1
ME Hoffman
Multiple t-Values
Tornheim and Modified Tornheim Sums cont’d
Multiple
t-Values
ME Hoffman
But in the corresponding sum
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
M(1, p, 1) =
∞
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.
ME Hoffman
Multiple t-Values
A Formula for t(2n + 1, 1)
Multiple
t-Values
ME Hoffman
Outline
Introduction
MtVs as
images of
quasisymmetric
functions
Iterated
integrals
Calculations
and
conjectures
Depth 2
results
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
ME Hoffman
Multiple t-Values
Download