We consider the generalised root identities introduced in [1] for simple functions, and also for Γ(z+1) and ζ(s). In this paper, unlike [1], we focus on the case of noninteger μ. For the simplest function f(z)=z, and hence for arbitrary polynomials, we show that they are satisfied for arbitrary real μ (and hence for arbitrary complex μ by analytic continuation). Using this, we then develop an asymptotic formula for the derivative side of the root identities for Γ(z+1) at arbitrary real μ, from which we are able to demonstrate numerically that Γ(z+1) also satisfies the generalised root identities for arbitrary μ, not just integer values. Finally we examine the generalised root identites for ζ also for non-integer values of μ. Having shown in [1] that ζ satisfies these identities exactly for integer μ>1 (and also for μ=1 after removal of an obstruction), in this paper we present strong numerical evidence first that ζ satisfies them for arbitrary μ>1 where the root side is classically convergent, and then that this continues to be true also for -1<μ<1 where Césaro divergences must be removed and Césaro averaging of the residual partial-sum functions is required (when μ<0). Careful consideration of a neighbourhood of μ=0 also sheds light on the appearance of the 2d ln-divergence that was handled heuristically in [1] and why the assignment of 2d Césaro limit 0 to this in [1] is justified. The numerical calculations for μ>0 are bundled in portable R-code; the code for the case -1<μ<0, including the Césaro averaging required when μ<0, is in VBA. Both the R-scripts and XL spreadsheet are made available with this paper, along with supporting files, and can be readily used to further verify these claims.
We consider generalised root identities for zeta functions of curves over finite fields, ζ_{k}, and compare with the corresponding analysis for the Riemann zeta function. We verify numerically that, as for ζ, the ζ_{k} do satisfy the generalised root identities and we investigate these in detail for the special cases of μ=0,-1\:\&\:-2. Unlike for ζ, however, we show that in the setting of zeta functions of curves over finite fields the μ=-2 root identity is consistent with the Riemann hypothesis (RH) proved by Weil. Comparison of this analysis with the corresponding calculations for ζilluminat…
We derive eight identities of symmetry in three variables related to generalized twisted Bernoulli polynomials and generalized twisted power sums, both of which are twisted by ramified roots of unity. All of these are new, since there have been results only about identities of symmetry in two variables. The derivations of identities are based on the $p$-adic integral expression of the generating function for the generalized twisted Bernoulli polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the generalized twisted power sums.
We derive three identities of symmetry in two variables and eight in three variables related to generalized twisted Bernoulli polynomials and generalized twisted power sums, both of which are twisted by unramified roots of unity. The case of ramified roots of unity was treated previously. The derivations of identities are based on the $p$-adic integral expression, with respect to a measure introduced by Koblitz, of the generating function for the generalized twisted Bernoulli polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the…
I revisit Bressoud's generalised Borwein conjecture. Making use of certain positivity-preserving transformations for q-binomial coefficients, I establish the truth of infinitely many new cases of the Bressoud conjecture. In addition, I prove new doubly-bounded refinement of the Foda-Quano identities. Finally, I discuss new companions to the Bressoud even moduli identities. In particular, all 10 mod 20 identities are derived.
We derive eight identities of symmetry in three variables related to generalized twisted Euler polynomials and alternating generalized twisted power sums, both of which are twisted by ramified roots of unity. All of these are new, since there have been results only about identities of symmetry in two variables. The derivations of identities are based on the $p$-adic integral expression of the generating function for the generalized twisted Euler polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the alternating generalized twiste…
A formula for the sum of quadratic residues modulus a prime $p=4n-1$ is studied. We relate some terms on this formula with roots of quadratics and provide an exhaustive analysis of new concepts based on these roots. A number of formulas for the sum of the quadratic residues are obtained. We finalize the paper by obtaining several identities involving $h(-p)$ the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p}).$
We find two combinatorial identities on the theta series of the root lattices of the finite-dimensional simple Lie algebras of type $D_{4n}$ and the cosets in their integral duals, in terms of the well-known Essenstein series $E_4(z)$ and Ramanujan series $\Dlt_{24}(z)$. Using these two identities, we determine the theta series of certain infinite families of postive definite even unimodular lattices obtained by gluing finite copies of the root lattices of the finite-dimensional simple Lie algebras of type $D_{2n}$. It turns out that these theta series are weighted symmetric polynomials of two…
In this paper we derive two expressions for the Hurwitz zeta function involving the complete Bell polynomials in the restricted case where q is a positive integer greater than 1. The arguments of the complete Bell polynomials comprise the generalised harmonic number functions. These in turn give rise to Euler-Hurwitz series which may then be used to determine identities for combinations of both linear and non-linear Euler sums.
For a given support $L \in \mathbb{F}_{q^m}^n$ and a polynomial $g\in \mathbb{F}_{q^m}[x]$ with no roots in $\mathbb{F}_{q^m}$, we prove equality between the $q$-ary Goppa codes $Γ_q(L,N(g)) = Γ_q(L,N(g)/g)$ where $N(g)$ denotes the norm of $g$, that is $g^{q^{m-1}+\cdots +q+1}.$ In particular, for $m=2$, that is, for a quadratic extension, we get $Γ_q(L,g^q) = Γ_q(L,g^{q+1})$. If $g$ has roots in $\mathbb{F}_{q^m}$, then we do not necessarily have equality and we prove that the difference of the dimensions of the two codes is bounded above by the number of distinct roots of $g$ in $\mathbb{F}…
We show under the Generalised Riemann Hypothesis that for every $δ>0$, almost every prime $q$ in $[Q,2Q]$ has the expected of prime primitive roots in the interval $[x,x+x^{\frac{1}2+δ}]$ provided $Q$ is not more than $x^{\frac{2}{3}-ε}$. We obtain this via a variant of the classical truncated Perron's formula for the partial sums of the coefficients of a Dirichlet series.
We prove several power series identities involving the refined generating function of interval orders, as well as the refined generating function of the self-dual interval orders. These identities may be expressed as $\sum_{n\ge 0}(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(q;q)_n$ and $\sum_{n\ge 0} (-1)^n(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(-q;q)_n =\sum_{n\ge 0} (q/p)^n(p;q^2)_n$, where the equalities apply to the (purely formal) power series expansions of the above expressions at $p=q=1$, as well as at other suitable roots of unity.
In this paper, we prove identities for a class of generalized Appell functions which are based on the $\operatorname{A}_2$ root lattice. The identities are reminiscent of periodicity relations for the classical Appell function, and are proven using only analytic properties of the functions. Moreover they are a consequence of the blow-up formula for generating functions of invariants of moduli spaces of semi-stable sheaves of rank 3 on rational surfaces. Our proof confirms that in the latter context, different routes to compute the generating function (using the blow-up formula and wall-crossin…
In the first paper of this series, we gave infinite families of coloured partition identities which generalise Primc's and Capparelli's classical identities. In this second paper, we study the representation theoretic consequences of our combinatorial results. First, we show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity, which have a very simple expression, are actually the energy function with values in $\{0,1,2\}$ for the perfect crystal of the tensor product of the vector representation and its dual in $A_{n-1}^{(1)}$. Then we introduce a…
The bilateral series corresponding to many of the third-, fifth-, sixth- and eighth order mock theta functions may be derived as special cases of $_2ψ_2$ series \[ \sum_{n=-\infty}^{\infty}\frac{(a,c;q)_n}{(b,d;q)_n}z^n. \] Three transformation formulae for this series due to Bailey are used to derive various transformation and summation formulae for both these mock theta functions and the corresponding bilateral series. \\ New and existing summation formulae for these bilateral series are also used to make explicit in a number of cases the fact that for a mock theta function, say $χ(q)$, and …
