Related papers: Fast multi-precision computation of some Euler pro…
We give an exact formula for the number of normal subgroups of each finite index in the Baumslag-Solitar group BS(p,q) when p and q are coprime. Unlike the formula for all finite index subgroups, this one distinguishes different…
In this paper we study products of quadratic residues modulo odd primes and prove some identities involving quadratic residues. For instance, let $p$ be an odd prime. We prove that if $p\equiv5\pmod8$, then…
If $\frak g$ is a complex simple Lie algebra, and $k$ does not exceed the dual Coxeter number of $\frak g$, then the k$^{th}$ coefficient of the $dim \frak g$ power of the Euler product may be given by the dimension of a subspace of…
Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by direct sum and tensor product. In this article we prove that if L is a component of the (stable)…
Let $\E$ be an ordinary elliptic curve over a finite field $\F_{q}$ of $q$ elements and $x(Q)$ denote the $x$-coordinate of a point $Q = (x(Q),y(Q))$ on $\E$. Given an $\F_q$-rational point $P$ of order $T$, we show that for any subsets…
Translation from the Latin of Euler's "Demonstratio theorematis circa ordinem in summis divisorum observatum" (1760). E244 in the Enestroem index. In his previous paper E243, Euler stated the pentagonal number theorem and assuming it proved…
We present algorithms for real and complex dot product and matrix multiplication in arbitrary-precision floating-point and ball arithmetic. A low-overhead dot product is implemented on the level of GMP limb arrays; it is about twice as fast…
We consider an algorithm to approximate complex-valued periodic functions $f(e^{i\theta})$ as a matrix element of a product of $SU(2)$-valued functions, which underlies so-called quantum signal processing. We prove that the algorithm runs…
Convergent infinite products, indexed by all natural numbers, in which each factor is a rational function of the index, can always be evaluated in terms of finite products of gamma functions. This goes back to Euler. A purpose of this note…
Let X be a smooth proper curve over a finite field of characteristic p. We prove a product formula for p-adic epsilon factors of arithmetic D-modules on X. In particular we deduce the analogous formula for overconvergent F-isocrystals,…
The quantum integer [n]_q is the polynomial 1 + q + q^2 + ... + q^{n-1}, and the sequence of polynomials { [n]_q }_{n=1}^{\infty} is a solution of the functional equation f_{mn}(q) = f_m(q)f_n(q^m). In this paper, semidirect products of…
The absolute zeta function for a scheme $X$ of finite type over $\mathbb{Z}$ satisfying a certain condition is defined as the limit as $p\to 1$ of the congruent zeta function for $X\otimes\mathbb{F}_p$. In 2016, after calculating absolute…
A strong direct product theorem says that if we want to compute k independent instances of a function, using less than k times the resources needed for one instance, then our overall success probability will be exponentially small in k. We…
A polynomial-time algorithm is produced which, given generators for a group of permutations on a finite set, returns a direct product decomposition of the group into directly indecomposable subgroups. The process uses bilinear maps and…
To determine Euler numbers modulo powers of two seems to be a difficult task. In this paper we achieve this and apply the explicit congruence to give a new proof of a classical result due to M. A. Stern.
In [14] Ozden-Simsek-Cangul constructed generating functions of higher-order twisted $(h,q)$-extension of Euler polynomials and numbers, by using $p$-adic q-deformed fermionic integral on $\Bbb Z_p$. By applying their generating functions,…
The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…
In this note we give a bijective proof for the explicit formula giving the total number of principal series of the direct product $\mathbb{Z}_{p^{\alpha_1}} \times \mathbb{Z}_{p^{\alpha_2}}$, where $p$ is a prime number. This new proof is…
We show that quantum query complexity satisfies a strong direct product theorem. This means that computing $k$ copies of a function with less than $k$ times the quantum queries needed to compute one copy of the function implies that the…
For an arbitrary positive integer $p$, Landen's formula is extended to express theta function with modulus $p\tau$ by $p$ product of theta functions with $\tau$, which is applied to several examples. Next it is shown that double product of…