Related papers: Intermediate arithmetic operations on ordinal numb…
Trotter product formulas constitute a cornerstone quantum Hamiltonian simulation technique. However, the efficient implementation of Hamiltonian evolution of nested commutators remains an under explored area. In this work, we construct…
This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…
We consider K-interpolation methods involving slowly varying functions. Let $\overline{A}_{\theta,*}^{\mathcal{L}}$ and $\overline{A}_{\theta,*}^{\mathcal{R}}$ $(0\leq\theta\leq1)$ be the so called ${\mathcal{L}}$ or ${\mathcal{R}}$…
An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence…
Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…
A tight $\Omega((n/\sqrt{M})^{\log_2 7}M)$ lower bound is derived on the \io complexity of Strassen's algorithm to multiply two $n \times n$ matrices, in a two-level storage hierarchy with $M$ words of fast memory. A proof technique is…
Literature considers under the name \emph{unimaginable numbers} any positive integer going beyond any physical application, with this being more of a vague description of what we are talking about rather than an actual mathematical…
We consider an analogue of Nakada's $\alpha$-continued fraction transformation in the setting of continued fractions with odd partial quotients. More precisely, given $\alpha \in [\frac{1}{2}(\sqrt{5}-1),\frac{1}{2}(\sqrt{5}+1)]$, we show…
We first present some identities involving the Pochhammer symbol (rising factorial). We also recall and present some new properties of the Jacobi polynomials. We use them to expand a general hypergeometric function in an orthogonal series…
The first-order theory of addition over the natural numbers, known as Presburger arithmetic, is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the…
In previous work, the author has extended the concept of regular and irregular primes to the setting of arbitrary totally real number fields k_{0}, using the values of the zeta function \zeta_{k_{0}} at negative integers as our ``higher…
In this paper, we derive formal general formulas for noncommutative exponentiation and the exponential function, while also revisiting an unrecognized, and yet powerful theorem. These tools are subsequently applied to derive counterparts…
The natural Hopf algebra $\mathbf{N} \cdot \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We construct polynomial realizations of $\mathbf{N} \cdot \mathcal{O}$ by using…
We introduce the linear operators of fractional integration and fractional differentiation in the framework of the Riemann-Liouville fractional calculus. Particular attention is devoted to the technique of Laplace transforms for treating…
Let {\alpha} be the maximal value such that the product of an n x n^{\alpha} matrix by an n^{\alpha} x n matrix can be computed with n^{2+o(1)} arithmetic operations. In this paper we show that \alpha>0.30298, which improves the previous…
Zeta-regularized determinants are well-known to fail to be multiplicative. Hence one is lead to study the n-fold multiplicative anomaly M_n(A_1,...,A_n) :=\frac{\det_\zeta\Big(\prod_{i=1}^n A_i\Big)}{\prod_{i=1}^n \det_\zeta(A_i)} attached…
We propose two numerical algorithms in the fully nonconvex setting for the minimization of the sum of a smooth function and the composition of a nonsmooth function with a linear operator. The iterative schemes are formulated in the spirit…
We give an $O(N\cdot \log N\cdot 2^{O(\log^*N)})$ algorithm for multiplying two $N$-bit integers that improves the $O(N\cdot \log N\cdot \log\log N)$ algorithm by Sch\"{o}nhage-Strassen. Both these algorithms use modular arithmetic.…
Beklemishev introduced an ordinal notation system for the Feferman-Sch\"utte ordinal $\Gamma_0$ based on the autonomous expansion of provability algebras. In this paper we present the logic $\textbf{BC}$ (for Bracket Calculus). The language…
A targeted exponentiation algorithm computes a group exponentiation operation $a^k$ with a reversible circuit in such a way that the initial state of the circuit consists of only the base $a$ and fixed values, and the final state consists…