Next Article in Journal
Fractional Diffusion in Gaussian Noisy Environment
Next Article in Special Issue
Maxwell–Lorentz Electrodynamics Revisited via the Lagrangian Formalism and Feynman Proper Time Paradigm
Previous Article in Journal / Special Issue
Quantum Measurements of Scattered Particles
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Multiple q-Zeta Brackets

School of Mathematical and Physical Sciences, the University of Newcastle, Callaghan, NSW 2308, Australia
Submission received: 27 January 2015 / Accepted: 13 March 2015 / Published: 20 March 2015
(This article belongs to the Special Issue Mathematical physics)

Abstract

:
The multiple zeta values (MZVs) possess a rich algebraic structure of algebraic relations, which is conjecturally determined by two different (shuffle and stuffle) products of a certain algebra of noncommutative words. In a recent work, Bachmann constructed a q-analogue of the MZVs — the so-called bi-brackets — for which the two products are dual to each other, in a very natural way. We overview Bachmann’s construction and discuss the radial asymptotics of the bi-brackets, its links to the MZVs, and related linear (in)dependence questions of the q-analogue.

Apart from the “standard” q-model of the multiple zeta values (MZVs),
ζ q ( s 1 , , s l ) : = ( 1 q ) s 1 + + s l n 1 > n 1 > 0 q ( s 1 1 ) n 1 + + ( s 1 1 ) n l ( 1 q n 1 ) s 1 ( 1 q n l ) s l ,
introduced in the earlier works [1,2], the different q-version
3 q ( s 1 , , s l ) : = ( 1 q ) s 1 + + s l n 1 > n 1 > 0 q n 1 ( 1 q n 1 ) s 1 ( 1 q n l ) s l
has received a special attention in the more recent work [3] by Castillo Medina, Ebrahimi-Fard and Manchon. One of the principal features of the latter q-MZVs is that they are well defined for any collection of integers s1,…, sl, so they do not require regularisation as the former q-MZVs and the MZVs themselves.
In the other recent work [4,5] Bachmann and Kühn introduced and studied a different q-analogue of the MZVs, namely,
[ s 1 , , s l ] : = 1 ( s 1 1 ) ! ( s l 1 ) ! n 1 > > n l > 0 d 1 , d l > 0 d 1 s 1 1 d l s l 1 q n 1 d 1 + + n l d 1 = 1 ( s 1 1 ) ! ( s l 1 ) ! m 1 > > m l > 0 d 1 , d l > 0 d 1 s 1 1 d l s l 1 q ( m 1 + + m l ) d 1 + ( m 2 + + m l ) d 2 + + m l d l .
The series are generating functions of multiple divisor sums, called (mono-)brackets, with the ℚ-algebra spanned by them denoted by M D. Note that the q-series (1) can be alternatively written
[ s 1 , , s l ] = 1 ( s 1 1 ) ! ( s l 1 ) ! n 1 > > n l > 0 P s 1 1 ( q n 1 ) P s l 1 ( q n l ) ( 1 q n 1 ) s 1 ( 1 q n l ) s l ,
where Ps−1(q) are the (slightly modified) Eulerian polynomials:
P s 1 ( q ) ( 1 q ) s = ( q D D q ) s 1 q 1 q = d = 1 d s 1 q d .
Since Ps−1(1) = (s − 1)! it is not hard to verify that
lim q 1 ( 1 q ) s 1 + + s l [ s 1 , , s l ] = ζ ( s 1 , , s l ) : = n 1 > > n l > 0 1 n 1 s 1 n l s l .
More recently [6] Bachmann introduced a more general model of the brackets
[ s 1 , , s l r 1 , , r l ] : = 1 r 1 ! ( s 1 1 ) ! r l ! ( s l 1 ) ! n 1 > > n l > 0 d 1 , , d l > 0 n 1 r 1 d 1 s 1 1 n l r l d l s l 1 q n 1 d 1 + n l d l = 1 r 1 ! ( s 1 1 ) ! r l ! ( s l 1 ) ! n 1 > > n l > 0 n 1 r 1 P s 1 1 ( q n 1 ) n l r l P s l 1 ( q n l ) ( 1 q n 1 ) s 1 ( 1 q n l ) s l ,
which he called bi-brackets, in order to describe, in a natural way, the double shuffle relations of these q-analogues of MZVs. Note that the stuffle (also known as harmonic or quasi-shuffle) product for the both models (1) and (3) in Bachmann’s work comes from the standard rearrangement of the multiple sums obtained from the term-by-term multiplication of two series. The other shuffle product is then interpreted for the model (3) only, as a dual product to the stuffle one via the partition duality. Bachmann further conjectures [6] that the ℚ-algebra B D spanned by the bi-brackets (3) coincides with the ℚ-algebra M D.
The goal of this note is to make an algebraic setup for Bachmann’s double stuffle relations as well as to demonstrate that those relations indeed reduce to the corresponding stuffle and shuffle relations in the limit as q → 1. We also address the reduction of the bi-brackets to the mono-brackets.

1. Asymptotics

The following result allows one to control the asymptotic behaviour of the bi-brackets not only as q → 1 but also as q approaches radially a root of unity. This produces an explicit version of the asymptotics used in [7] for proving some linear and algebraic results in the case l = 1.
Lemma 1. As q = 1 − ε → 1
1 ( s 1 ) ! P s 1 ( q n ) ( 1 q n ) s = 1 n s ε s ( ( 1 ε ) F s 1 ( ε ) + λ ^ s ε s ) λ ^ s + O ( ε )
where the polynomials Fk(ε) ∈ ℚ[ε] of degree max{0, k − 1} are generated by
k = 0 F k ( ε ) x k = 1 1 ( 1 e ε x ) / ε = 1 + x + ( 1 2 ε + 1 ) x 2 + ( 1 6 ε 2 ε + 1 ) x 3 + ( 1 24 ε 3 + 7 12 ε 2 3 2 ε + 1 ) x 4 + ( 1 120 ε 4 1 4 ε 3 + 5 4 ε 2 2 ε + 1 ) x 5 +
and
s = 0 λ ^ s x s = x e x 1 e x = 1 + 1 2 x + k = 1 B 2 k ( 2 k ) ! x 2 k
is the generating function of Bernoulli numbers.
Proof. The proof is technical but straightforward.
By moving the constant term λ ^ s to the right-hand side, we get
1 2 + P 0 ( q n ) 1 q n = 1 n ( ε 1 1 2 ) + O ( ε ) 1 12 + P 1 ( q n ) ( 1 q n ) 2 = 1 n 2 ( ε 2 ε 1 + 1 12 ) + O ( ε ) , P 2 ( q n ) ( 1 q n ) 3 = 1 n 3 ( ε 3 3 2 ε 2 + 1 2 ε 1 ) + O ( ε ) , 1 720 + P 3 ( q n ) ( 1 q n ) 4 = 1 n 4 ( ε 3 2 ε 3 + 7 6 ε 2 1 6 ε 1 1 720 ) + O ( ε ) ,
and so on.
Proposition 1. Assume that s1 > r1 + 1 and sjrj + 1 for j = 2, …, l. Then
[ s 1 , , s l r 1 , , r l ] ζ ( s 1 r 1 , s 2 r 2 , , s l r l ) r 1 ! r 2 ! r l ! 1 ( 1 q ) s 1 + s 2 + + s l a s q 1 ,
where ζ(s1, …, sl) denotes the standard MZV.
Another way to tackle the asymptotic behaviour of the (bi-)brackets is based on the Mellin transform
φ ( t ) φ ˜ ( s ) = 0 φ ( t ) t s 1 D t
which maps
q n 1 d 1 + + n l d l | q = e t Γ ( s ) ( n 1 d 1 + + n l d l ) s ;
see [8,9]. Note that the bijective correspondence between the bi-brackets and the zeta functions
Γ ( s ) r 1 ! ( s 1 1 ) ! r l ! ( s l 1 ) ! n 1 > > n l > 0 d 1 , , d l > 0 n 1 r 1 d 1 s 1 1 n l r l d l s l 1 ( n 1 d 1 + + n l d l ) s
can be potentially used for determining the linear relations of the former. A simple illustration is the linear independence of the depth 1 bi-brackets.
Theorem 1. The bi-brackets [ s 1 r 1 ] where 0 ≤ r1 < s1 ≤ n, s1 + r1 ≤ n, are linearly independent over ℚ. Therefore, the dimension d n B D of the ℚ-space spanned by all bi-brackets of weight at most n is bounded from below by ⌊(n + 1)2/4⌋ ≥ n(n + 2)/4.
Proof. Indeed, the functions
Γ ( s ) r 1 ! ( s 1 1 ) ! n 1 , d 1 > 0 n 1 r 1 d 1 s 1 1 ( n 1 d 1 ) s = Γ ( s ) ζ ( s s 1 + 1 ) ζ ( s r 1 ) ( s 1 1 ) ! r 1 ! , where 0 r 1 < s 1 n , s 1 + r 1 n ,
are linearly independent over ℚ (because of their disjoint sets of poles at s = s1 and s = r1 + 1, respectively); thus the corresponding bi-brackets [ s 1 r 1 ] are ℚ-linearly independent as well.
A similar (though more involved) analysis can be applied to describe the Mellin transform of the depth 2 bi-brackets; note that it is more easily done for another q-model we introduce further in Section 3.

2. The Stuffle Product

Consider the alphabet Z = {zs,r : s, r = 1, 2, …} on the double-indexed letters zs,r of the pre-defined weight s + r − 1. On ℚZ define the (commutative) product
z s 1 , r 1 z s 2 , r 2 : = ( r 1 + r 2 2 r 1 1 ) ( z s 1 + s 2 , r 1 + r 2 1 + j = 1 s 1 ( 1 ) s 2 1 ( s 1 + s 2 j 1 s 1 j ) λ s 1 + s 2 j z j , r 1 + r 2 1 + j = 1 s 2 ( 1 ) s 1 1 ( s 1 + s 2 j 1 s 2 j ) λ s 1 + s 2 j z j , r 1 + r 2 1 ) ,
where
s = 0 λ s x s = x 1 e x = 1 + s = 1 B s s ! x s
is the generating function of Bernoulli numbers. Note that λ ^ s = λ s for s ≥ 2, while λ ^ 1 = 1 2 = λ 1 in the notation of Section 1.
As explained in [4] (after the proof of Proposition 2.9), the product is also associative. With the help of (4) define the stuffle product on the ℚ-algebra ℚ〈Z〉 recursively by 1 ⊓⊓ w = w ⊓⊓ 1 := w and
a w b v : = a ( w b v ) + b ( a w v ) + ( a b ) ( w v ) ,
for arbitrary w, v ∈ ℚ〈Z〉 and a, bZ.
Proposition 2. The evaluation map
[ ] : z s 1 , r 1 z s l , r l [ s 1 , , s l r 1 1 , , r l 1 ]
extended to ℚ〈Zby linearity satisfies [w ⊓⊓ v] = [w]·[v], so that it is a homomorphism of the ℚ-algebra (ℚ〈Z〉,⊓⊓) onto ( B D, · ), the latter hence being a ℚ-algebra as well.
Proof. The proof follows the lines of the proof of ([4] Proposition 2.10) based on the identity
n r 1 1 P s 1 1 ( q n ) ( s 1 1 ) ! ( r 1 1 ) ! ( 1 q n ) s 1 n r 2 1 P s 2 1 ( q n ) ( s 2 1 ) ! ( r 2 1 ) ! ( 1 q n ) s 2 = ( r 1 + r 2 2 r 1 1 ) n r 1 + r 2 2 ( r 1 + r 2 2 ) ! ( P s 1 + s 2 1 ( q n ) ( s 1 + s 2 1 ) ! ( 1 q n ) s 1 + s 2 + j = 1 s 1 ( 1 ) s 2 1 ( s 1 + s 2 j 1 s 1 j ) λ s 1 + s 2 j P j 1 ( q n ) ( j 1 ) ! ( 1 q n ) j + j = 1 s 2 ( 1 ) s 1 1 ( s 1 + s 2 j 1 s 2 j ) λ s 1 + s 2 j P j 1 ( q n ) ( j 1 ) ! ( 1 q n ) j ) .
Modulo the highest weight, the commutative product (4) on Z assumes the form
z s 1 , r 1 z s 2 , r 2 ( r 1 + r 2 2 r 1 1 ) z s 1 + s 2 , r 1 + r 2 1 ,
so that the stuffle product (5) reads
z s 1 , r 1 w z s 2 , r 2 v z s 1 , r 1 ( w z s 2 , r 2 v ) + z s 2 , r 2 ( z s 1 , r 1 w v ) + ( r 1 + r 2 2 r 1 1 ) z s 1 + s 2 , r 1 + r 2 1 ( w v )
for arbitrary w, v ∈ ℚ〈Z〉 and zs1,r1, zs2,r2Z. If we set zs := zs,1 and further restrict the product to the subalgebra ℚ〈Z′〉, where Z′ = {zs : s = 1, 2, …}, then Proposition 1 results in the following statement.
Theorem 2 ([4]). For admissible words w = z s 1 z s l and v = z s m z s m of weight | w | = s 1 + + s l and | v | = s j + + s m , respectively,
[ w v ] ~ ( 1 q ) | w | | v | ζ ( w * v ) a s q 1 ,
where * denotes the standard stuffle (harmonic) product of MZVs on ℚ〈Z′〉
Since [w] ∼ (1 − q)−|w|ζ(w), [v] ∼ (1 − q)|v|ζ(v) as q → 1 and [w⊓⊓v] = [w] · [v], Theorem 2 asserts that the stuffle product (5) of the algebra M D reduces to the stuffle product of the algebra of MZVs in the limit as q → 1. This fact has been already established in [4].

3. The Duality

As an alternative extension of the mono-brackets (1) we introduce the multiple q-zeta brackets
3 [ s 1 , , s l r 1 , , r l ] = 3 q [ s 1 , , s l r 1 , , r l ] : = c m 1 , m l > 0 d 1 , d l > 0 m 1 r 1 1 d 1 s 1 1 m l r l 1 d l s 1 1 q ( m 1 + + m l ) d 1 + ( m 2 + + m l ) d 2 + + m l d l = c m 1 , m l > 0 m 1 r 1 1 P s 1 1 ( q m 1 + + m l ) m 2 r 2 1 P s 2 1 ( q m 2 + + m l ) m l r l 1 P s l 1 ( q m l ) ( 1 q m 1 + + m l ) s 1 ( 1 q m 2 + + m l ) s 2 ( 1 q m l ) s l
where
c = 1 ( r 1 1 ) ! ( s 1 1 ) ! ( r l 1 ) ! ( s l 1 ) ! .
Then
[ s 1 r 1 1 ] = 3 [ s 1 r 1 ] and [ s 1 , , s l ] = [ s 1 , , s l 0 , , 0 ] = 3 [ s 1 , , s l 1 , , 1 ] .
By applying iteratively the binomial theorem in the forms
( m + n ) r 1 1 ( r 1 1 ) ! n r 2 1 ( r 2 1 ) ! = j = 1 r 1 + r 2 1 ( j 1 r 2 1 ) m r 1 + r 2 + j 1 ( r 1 + r 2 j 1 ) ! n j 1 ( j 1 ) !
and
( n m ) r 1 ( r 1 ) ! = j = 1 r ( 1 ) r + i n i 1 ( i 1 ) ! m r i ( r i ) !
we see that the ℚ-algebras spanned by either (3) or (8) coincide. More precisely, the following formulae link the two versions of brackets.
Proposition 3. We have
[ s 1 , s 2 , , s l r 1 1 , r 2 1 , , r l 1 ] = j 2 1 r 1 + r 2 1 ( j 2 1 r 2 1 ) j 3 1 r 2 + r 3 1 ( j 3 1 r 3 1 ) j l 1 j l 1 + r l 1 ( j l 1 r l 1 ) × 3 [ s 1 , s 2 , , s l 1 , s l r 1 + r 2 j 2 , j 2 + r 3 j 3 , , j l 1 + r l j l , j l ]
and
3 [ s 1 , s l r 1 , r l ] = i 1 = 1 r 1 i 2 = 1 r 2 i l 1 = 1 r l 1 ( 1 ) r 1 + + r l 1 i 1 i l 1 × ( r 1 i 1 + i 2 1 r 1 i 1 ) ( r l 2 i l 2 + i l 1 1 r l 2 i l 2 ) ( r l 1 i l 1 + r l 1 r l 1 i l 1 ) × [ s 1 , i 1 1 , s 2 , r 1 i 1 + i 2 1 , , , s l 1 , r l 2 i l 2 + i l 1 1 , s l , r l 1 i l 1 + r l 1 ]
Proposition 3 allows us to construct an isomorphism φ of the two ℚ-algebras ℚ〈Z〉 with two evaluation maps [·] and 3 [ ],
3 [ z s 1 , r 1 z s l , r l ] = 3 [ s 1 , , s l r 1 , , r l ]
such that
[ w ] = 3 [ φ w ] and 3 [ w ] = [ φ 1 w ] .
Note however that the isomorphism breaks the simplicity of defining the stuffle product ⊓⊓ from Section 2.
Another algebraic setup can be used for the ℚ-algebra ℚ〈Z〉 with evaluation 3. We can recast it as the ℚ-subalgebra ℌ0:= ℚ + xy of the ℚ-algebra ℌ:= ℚ 〈x, y〉 by setting 3 [ 1 ] = 1[ and
3 [ x s 1 y r 1 x s l y r l ] = 3 [ s 1 , , s l r 1 , , r l ] .
The depth (or length) is defined as the number of appearances of the subword xy, while the weight is the number of letters minus the length.
Proposition 4 (Duality).
3 [ s 1 , s 2 , , s l r 1 , r 2 , , r l ] = 3 [ r l , r l 1 , , r 1 s l , s l 1 , , s 1 ] .
Proof. This follows from the rearrangement of the summation indices:
i = 1 l d i j = 1 l m j = i = 1 l d i j = 1 l m j
where d i = m l + 1 i and m j = d l + 1 j.
Denote by τ the anti-automorphism of the algebra ℌ, interchanging x and y; for example, τ(x2yxy) = xyxy2. Clearly, τ is an involution preserving both the weight and depth, and it is also an automorphism of the subalgebra ℌ0. The duality can be then stated as
3 [ τ w ] = 3 [ w ] for any w 0 .
We also extend τ to ℚ〈Z〉 by linearity.
The duality in Proposition 4 is exactly the partition duality given earlier by Bachmann for the model (3).

4. The Dual Stuffle Product

We can now introduce the product which is dual to the stuffle one. Namely, it is the duality composed with the stuffle product and, again, with the duality:
w ¯ v : = φ 1 τ ( τ φ τ φ v ) for w , v Z .
It follows then from Propositions 2 and 4 that
Proposition 5. The evaluation map (6) on ℚ〈Z〉 satisfies [w⊓⊓v] = [w] · [v], so that it is also a homomorphism of the ℚ-algebra (ℚ〈Z〉,⊓⊓ onto BD , ).
Note that (7) is also equivalent to the expansion from the right ([10] Theorem 9):
w z s 1 , r 1 v z s 2 , r 2 ( w v z s 2 , r 2 ) z s 1 , r 1 + ( w z s 1 , r 1 v ) z s 2 , r 2 + ( r 1 + r 2 2 r 1 1 ) ( w v ) z s 1 + s 2 , r 1 + r 1 1 .
The next statement addresses the structure of the dual stuffle product (10) for the words over the sub-alphabet Z′ = {zs = zs,1: s = 1, 2, …} ⊂ Z. Note that the words from ℚ〈Z′〉 can be also presented as the words from ℚ〈x, xy〉 necessarily ending with xy.
Proposition 6. Modulo the highest weight and depth,
a w ¯ b v a ( w ¯ b v ) + b ( a w ¯ v )
for arbitrary words w, v ∈ ℚ + ℚ〈x, xyxy and a, b ∈ {x, xy}.
Proof. First note that restricting (11) further modulo the highest depth implies
w z s 1 , r 1 v z s 2 , r 2 ( w v z s 2 , r 2 ) z s 1 , r 1 + ( w z s 1 , r 1 v ) z s 2 , r 2 ,
and that we also have
w z s 1 , r 1 + 1 v z s 2 , r 2 ( w z s 1 , r 1 v z s 2 , r 2 ) y + ( w z s 1 , r 1 + 1 v ) z s 2 , r 2 w z s 1 , r 1 + 1 v z s 2 , r 2 + 1 ( w z s 1 , r 1 v z s 2 , r 2 + 1 ) y + ( w z s 1 , r 1 + 1 v z s 2 , r 2 ) y .
The relations already show that
w a v b ( w v b ) a + ( w a v ) b
for arbitrary words w, v ∈ ℚ + ℚ 〈Z〉 and a′, b′ ∈ Z ∪ {y}, where
z s 1 , r 1 z s l 1 , r l 1 z s l , r l y s l , r l y = z s 1 , r 1 z s l 1 , r l 1 z s l , r l + 1 .
Secondly note that the isomorphism φ of Proposition 3 acts trivially on the words from ℚ〈Z′〉. Therefore, applying τφ to the both sides of (10) and extracting the homogeneous part of the result corresponding to the highest weight and depth we arrive at
τ ( w ¯ v ) τ w τ v for all w , v Z .
Denoting
a ¯ = τ a = { y if a = x , x y if a = x y ,
and using (13) we find out that
τ ( a w ¯ b v ) τ ( a w ) τ ( b v ) ( τ w ) a ¯ ( τ v ) b ¯ ( τ w ( τ v ) b ¯ ) a ¯ + ( ( τ w ) a ¯ τ v ) b ¯ ( τ w τ ( b v ) ) a ¯ + ( τ ( a w ) τ v ) b ¯ ( τ ( w ¯ b v ) ) a ¯ + ( τ ( a w ¯ v ) ) b ¯ τ ( a ( w ¯ b v ) + b ( a w ¯ v ) ) ,
which implies the desired result.
Theorem 3. For admissible words w = z s 1 z s l and v = z s 1 z s mof weight |w| = s1 + ⋯ + sl and | v | = s 1 + s m, respectively,
[ w ¯ v ] ( 1 q ) | w | | v | ζ ( w v ) a s q 1 ,
where ⊓⊓ denotes the standard shuffle product of MZVs on ℚ〈Z′〉.
Proof. Because both φ and τ respect the weight, Proposition 6 shows that the only terms that can potentially interfere with the asymptotic behaviour as q → 1 correspond to the same weight but lower depth. However, according to (10) and (11), the ‘shorter’ terms do not belong to ℚ〈Z′〉, that is, they are linear combinations of the monomials z q 1 , r 1 z q n , r n with r1 + ⋯+ rn = l + m > n, hence rj 2 for at least one j. The latter circumstance and Proposition 1 then imply
lim q 1 ( 1 q ) | w | + | v | [ z q 1 , r 1 z q n , r n ] = 0.
Theorem 3 asserts that the dual stuffle product (10) restricted from BD to the subalgebra MD reduces to the shuffle product of the algebra of MZVs in the limit as q → 1. This result is implicitly stated in [6]. More is true: using (7) and Proposition 6 we obtain
Theorem 4. For two words w = z s 1 z s l and v = z s 1 z s m, not necessarily admissible,
[ w v w ¯ v ] ~ ( 1 q ) | w | | v | ζ ( w * v w v ) a s q 1 ,
whenever the MZV on the right-hand side makes sense.
In other words, the q-zeta model of bi-brackets provides us with a (far reaching) regularisation of the MZVs: the former includes the extended double shuffle relations as the limiting q → 1 case.
Conjecture 1 (Bachmann [6]). The resulting double stuffle (that is, stuffle and dual stuffle) relations exhaust all the relations between the bi-brackets. Equivalently (and simpler), the stuffle relations and the duality exhaust all the relations between the bi-brackets.
We would like to point out that the duality τ from Section 3 also exists for the algebra of MZVs ([10] Section 6). However the two dualities are not at all related: the limiting q → 1 process squeezes the appearances of x before y in the words x s 1 y x s 2 y x s l y, so that they become x s 1 1 y x s 2 1 y x s l 1 y. Furthermore, the duality of MZVs respects the shuffle product: the dual shuffle product coincides with the shuffle product itself. On the other hand, the dual stuffle product of MZVs is very different from the stuffle (and shuffle) products. It may be an interesting problem to understand the double stuffle relations of the algebra of MZVs.

5. Reduction to Mono-Brackets

In this final section we present some observations towards another conjecture of Bachmann about the coincidence of the ℚ-algebras of bi- and mono-brackets.
Conjecture 2 (Bachmann). M D = B D.
Based on the representation of the elements from BD as the polynomials from ℚ〈x, y〉 (see also the last paragraph of Section 4), we can loosely interpret this conjecture for the algebra of MZVs as follows: all MZVs lie in the ℚ-span of:
ζ ( s 1 , s 2 , , s l ) = ζ ( x s 1 1 y x s 2 1 y x s l 1 y )
with all sj to be at least 2 (so that there is no appearance of yr with r ≥ 2). The latter statement is already known to be true: Brown [11] proves that one can span the ℚ-algebra of MZVs by the set with all sj ∈ {2, 3}.
In what follows we analyse the relations for the model (8), because it makes simpler keeping track of the duality relation. We point out from the very beginning that the linear relations given below are all experimentally found (with the check of 500 terms in the corresponding q-expansions) but we believe that it is possible to establish them rigorously using the double stuffle relations given above.
The first presence of the q-zeta brackets that are not reduced to ones from M D by the duality relation happens in weight 3. It is 3 [ 2 2 ] and we find out that
3 [ 2 2 ] = 1 2 3 [ 2 1 ] + 3 [ 3 1 ] 3 [ 2 , 1 1 , 1 ] .
There are 34 totally q-zeta brackets of weight up to 4,
3 [ ] * , 3 [ 1 1 ] * , 3 [ 2 1 ] = 3 [ 1 2 ] , 3 [ 2 2 ] * , 3 [ 3 1 ] = 3 [ 1 3 ] , 3 [ 3 2 ] = 3 [ 2 3 ] , 3 [ 4 1 ] = 3 [ 1 4 ] , 3 [ 2 2 ] , 3 [ 1 , 1 1 , 1 ] * , 3 [ 2 , 1 1 , 1 ] = 3 [ 1 , 1 1 , 2 ] , 3 [ 1 , 2 1 , 1 ] = 3 [ 1 , 1 2 , 1 ] , 3 [ 2 , 1 2 , 1 ] = 3 [ 1 , 2 1 , 2 ] , 3 [ 2 , 1 1 , 2 ] * , 3 [ 1 , 2 2 , 1 ] * , 3 [ 2 , 2 1 , 1 ] = 3 [ 1 , 1 2 , 2 ] , 3 [ 3 , 1 1 , 1 ] = 3 [ 1 , 1 1 , 3 ] , 3 [ 1 , 3 1 , 1 ] = 3 [ 1 , 1 3 , 1 ] , 3 [ 1 , 1 , 1 1 , 1 , 1 ] * , 3 [ 2 , 1 , 1 1 , 1 , 1 ] = 3 [ 1 , 1 , 1 1 , 1 , 2 ] , 3 [ 1 , 2 , 1 1 , 1 , 1 ] = 3 [ 1 , 1 , 1 1 , 2 , 1 ] , 3 [ 1 , 1 , 2 1 , 1 , 1 ] = 3 [ 1 , 1 , 1 2 , 1 , 1 ] , 3 [ 1 , 1 , 1 , 1 1 , 1 , 1 , 1 ] * ,
where the asterisk marks the self-dual ones. Only 21 of those listed are not dual-equivalent, and only five of the latter are not reduced to the q-zeta brackets from M D; besides the already mentioned 3 [ 2 2 ] these are 3 [ 3 2 ], 3 [ 2 , 1 2 , 1 ], 3 [ 2 , 1 1 , 2 ] and 3 [ 1 , 2 2 , 1 ]. We find out that
3 [ 3 2 ] = 1 4 3 [ 2 1 ] + 3 2 3 [ 4 1 ] 23 [ 2 , 2 1 , 1 ] , 3 [ 2 , 1 2 , 1 ] = 3 [ 2 , 1 1 , 1 ] + 1 2 3 [ 1 , 2 1 , 1 ] 3 [ 2 , 2 1 , 1 ] + 3 [ 1 , 3 1 , 1 ] 3 [ 2 , 1 , 1 1 , 1 , 1 ] 3 [ 1 , 2 , 1 1 , 1 , 1 ] , 3 [ 2 , 1 1 , 2 ] = 1 2 3 [ 2 , 1 1 , 1 ] 1 2 3 [ 1 , 2 1 , 1 ] + 23 [ 2 , 2 1 , 1 ] + 3 [ 3 , 1 1 , 1 ] 3 [ 1 , 3 1 , 1 ] + 3 [ 1 , 2 , 1 1 , 1 , 1 ] 3 [ 1 , 2 2 , 1 ] = 3 [ 2 , 1 1 , 1 ] + 23 [ 2 , 2 1 , 1 ] + 3 [ 2 , 1 , 1 1 , 1 , 1 ] ,
and there is one more relation in this weight between the q-zeta brackets from M D:
1 3 3 [ 2 1 ] 3 [ 3 1 ] + 3 [ 4 1 ] 23 [ 2 , 2 1 , 1 ] + 23 [ 3 , 1 1 , 1 ] = 0.
The computation implies that the dimension d 4 B D of the ℚ-space spanned by all multiple q-zeta brackets of weight not more than 4 is equal to the dimension d 4 M D of the ℚ-space spanned by all such brackets from M D and that both are equal to 15. A similar analysis demonstrates that
d 5 B D = d 5 M D = 28 and d 6 B D = d 6 M D = 51 ,
and it seems less realistic to compute and verify that d n B D = d n M D for n ≥ 7 though Conjecture 2 and ([4] Conjecture (5.4)) support
n = 0 d n M D x n = ? 1 x 2 + x 4 ( 1 x ) 2 ( 1 2 x 2 2 x 3 ) = 1 + 2 x + 4 x 2 + 8 x 3 + 15 x 4 + 28 x 5 + 51 x 6 + 92 x 7 + 165 x 8 + 294 x 9 + 523 x 10 + O ( x 11 ) .
We can compare this with the count c n M D and c n B D of all mono- and bi-brackets of weight ≤ n,
n = 0 c n M D x n = 1 1 2 x and n = 0 c n B D x n = 1 x 1 3 x + x 2 = n = 0 F 2 n x n ,
where Fn denotes the Fibonacci sequence.
In addition, we would like to point out one more expectation for the algebra of (both mono- and bi-) brackets, which is not shared by other q-models of MZVs: all linear (hence algebraic) relations between them seem to be over ℚ, not over ℂ(q).
Conjecture 3. A collection of (bi-)brackets is linearly dependent over ℂ(q) if and only if it is linearly dependent over ℚ.

Acknowledgments

I have greatly benefited from discussing this work with Henrik Bachmann, Kurusch Ebrahimi-Fard, Herbert Gangl and Ulf Kühn — it is my pleasure to thank them for numerous clarifications, explanations and hints. I thank the three anonymous referees of the journal for pointing out some typos in the preliminary version and helping to improve the exposition. I would also like to acknowledge that a part of this research was undertaken in ICMAT — Institute of Mathematical Sciences (Universidad Autónoma de Madrid, Spain) during the Research Trimester on Multiple Zeta Values, Multiple Polylogarithms, and Quantum Field Theory (September–December 2014).
The author is supported by Australian Research Council grant DP140101186.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Bradley, D.M. Multiple q-zeta values. J. Algebra. 2005, 283, 752–798. [Google Scholar]
  2. Okuda, J.; Takeyama, Y. On relations for the multiple q-zeta values. Ramanujan J. 2007, 14, 379–387. [Google Scholar]
  3. Castillo Medina, J.; Ebrahimi-Fard, K.; Manchon, D. Unfolding the double shuffle structure of q-multiple zeta values. Bull. Austral. Math. Soc. (to appear); Preprint 2014. arxiv.org/abs/1310.1330v3. [Google Scholar]
  4. Bachmann, H.; Kühn, U. The algebra of generating functions for multiple divisor sums and applications to multiple zeta values. Preprint 2014. arxiv.org/abs/1309.3920v2. [Google Scholar]
  5. Bachmann, H.; Kühn, U. A short note on a conjecture of Okounkov about a q-analogue of multiple zeta values. Preprint 2014. arxiv.org/abs/1407.6796. [Google Scholar]
  6. Bachmann, H. Generating Series of Multiple Divisor Sums and Other Interesting q-Series; Talk Slides; University of Bristol: Bristol, UK, 8 July 2014. [Google Scholar]
  7. Pupyrev, Y.A. Linear and algebraic independence of q-zeta values. Math. Notes 2005, 78, 563–568. [Google Scholar]
  8. Flajolet, P.; Sedgewick, R. Analytic Combinatorics; Cambridge University Press: Cambridge, UK, 2009. [Google Scholar]
  9. Zagier, D. The Mellin transform and other useful analytic techniques. Appendix to Zeidler, E. In Quantum Field Theory I: Basics in Mathematics and Physics. A Bridge Between Mathematicians and Physicists; Springer-Verlag: Berlin/Heidelberg, Germany; New York, NY, USA, 2006; pp. 305–323. [Google Scholar]
  10. Zudilin, W. Algebraic relations for multiple zeta values. Russ. Math. Surv. 2003, 58, 1–29. [Google Scholar]
  11. Brown, F.C.S. Tate motives over ℤ. Ann. Math. 2012, 175, 949–976. [Google Scholar]

Share and Cite

MDPI and ACS Style

Zudilin, W. Multiple q-Zeta Brackets. Mathematics 2015, 3, 119-130. https://0-doi-org.brum.beds.ac.uk/10.3390/math3010119

AMA Style

Zudilin W. Multiple q-Zeta Brackets. Mathematics. 2015; 3(1):119-130. https://0-doi-org.brum.beds.ac.uk/10.3390/math3010119

Chicago/Turabian Style

Zudilin, Wadim. 2015. "Multiple q-Zeta Brackets" Mathematics 3, no. 1: 119-130. https://0-doi-org.brum.beds.ac.uk/10.3390/math3010119

Article Metrics

Back to TopTop