Stanley's lemma and multiple theta functions

DOI10.1137/141001913MaRDI QIDQ4605441zbMATH OpenOpenAlexWikidataFDO

Authors William Y. C. Chen, Lisa Hui Sun

Publication date 22 February 2018

Published in SIAM Journal on Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.2172

addition formula contiguous relation Jacobi's triple product identity multiple theta function Stanley's lemma theta function

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Theta series; Weil representation; theta correspondences (11F27) Theta functions and curves; Schottky problem (14H42) (q)-gamma functions, (q)-beta functions and integrals (33D05) Elliptic functions and integrals (33E05)

Abstract: We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions

[(- 1)^{d e l t a} a_{1}^{a l p h a_{1}} a_{2}^{a l p h a_{2}} c d o t s a_{r}^{a l p h a_{r}} q^{s}; q^{t}]_{i} n f t y

, where

a l p h a_{i}

are integers,

d e l t a = 0

or

1

,

s i n m a t h b b Q

,

t i n m a t h b b Q^{+}

, and the exponent vectors

(a l p h a_{1}, a l p h a_{2}, l d o t s, a l p h a_{r})

are linearly independent over

m a t h b b Q

. For an identity on such multiple theta functions, we provide an algorithmic approach for computing a system of contiguous relations satisfied by all the involved multiple theta functions. Using Stanley's Lemma on the fundamental parallelepiped, we show that a multiple theta function can be determined by a finite number of its coefficients. Thus such an identity can be reduced to a finite number of simpler relations. Many classical multiple theta function identities fall into this framework, including Riemann's addition formula and the extended Riemann identity.

Recommendations

Cites work

Cited in

(1)

Elliptic function based algorithms to prove Jacobi theta function relations

This page was built for publication: Stanley's lemma and multiple theta functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4605441)