Related papers: Finite-State Dimension and Real Arithmetic

We derive explicit asymptotic expansions of the density of the supremum of a strictly stable process when the index $\alpha$ is not rational. In the case when parameters $\alpha$ and $\rho=\p(X_1>0)$ satisfy $\rho+k=l/\alpha$ for some…

Many known results on finite von Neumann algebras are generalized, by purely algebraic proofs, to a certain class ${\mathcal C}$ of finite Baer *-rings. The results in this paper can also be viewed as a study of the properties of Baer…

We establish a law of the iterated logarithm (LIL) for the set of real numbers whose $n$-th partial quotient is bigger than $\alpha_n$, where $(\alpha_n)$ is a sequence such that $\sum 1/\alpha_n$ is finite. This set is shown to have…

Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\alpha \in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the…

We study quadratic algebras over a field $\textbf{k}$. We show that an $n$-generated PBW algebra $A$ has finite global dimension and polynomial growth \emph{iff} its Hilbert series is $H_A(z)= 1 /(1-z)^n$. Surprising amount can be said when…

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given…

Quantum Field Theory (QFT) introduced us to the notion that a causal diamond in space-time corresponded to a subsystem of a quantum mechanical system defined on the global space-time. Work by Jacobson\cite{ted95}, Fischler and…

We define for real $q$ a unital $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ quantizing the universal enveloping $*$-algebra of $\mathfrak{sl}(2,\mathbb{R})$. The $*$-algebra $U_q(\mathfrak{sl}(2,\mathbb{R}))$ is realized as a…

Power series are introduced that are simultaneously convergent for all real and p-adic numbers. Our expansions are in some aspects similar to those of exponential, trigonometric, and hyperbolic functions. Starting from these series and…

We hereby present a class of multidimensional higher derivative theories of gravity that realizes an ultraviolet completion of Einstein general relativity. This class is marked by a "non-polynomal" entire function (form factor), which…

We single out some problems of Schubert calculus of subspaces of codimension 2 that have the property that all their solutions are real provided that the data are real. Our arguments explore the connection between subspaces of codimension 2…

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

In 1974, M. B. Nathanson proved that every irrational number $\alpha$ represented by a simple continued fraction with infinitely many elements greater than or equal to $k$ is approximable by an infinite number of rational numbers $p/q$…

We study the problem of finding positive integers $n$ such that all the decimal digits of $2^n$ are even, i.e., belong to $\{0, 2, 4, 6, 8\}$. Computational checks up to $n = 10^{15}$ reveal the known cases $n = 1, 2, 3, 6, 11$ and no…

Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$…

We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental…

In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We prove the longstanding physics conjecture that there exists a unique two-parameter $\mathcal{W}_{\infty}$-algebra which is freely generated of type $\mathcal{W}(2,3,\dots)$, and generated by the weights $2$ and $3$ fields. Subject to…