Related papers: Real Mahler Series

The necessity of complex numbers in quantum mechanics has long been debated. This paper develops a real Kahler space formulation of quantum mechanics [19], asserting equivalence to the standard complex Hilbert space framework. By mapping…

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

A compact subset $K$ of the complex plane $\C$ is a set of polynomial (respectively rational) approximation if $P(K)=A(K)$ (respectively $R(K)=A(K)$), where $P(K)$ (respectively $R(K)$) is the family of functions on $K$ which are uniform…

Suppose $A$ is a $C^*$-algebra and $H$ is a $C^*$-correspondence over $A$. If $H$ is regular in the sense that the left action of $A$ is faithful and is given by compact operators, then we compute the $K$-theory of $\mathcal{O}_A(H) \rtimes…

We introduce a one-parameter family of series associated to the Riemann $\zeta$-function and prove that the values of the elements of this family at integers are linearly independent over the rationals for almost all values of the…

Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We…

Let $K=\mathbb{Q}(\alpha)$ be a number field generated by a complex root $\alpha$ of a monic irreducible polynomial $f(x)=x^{12}-m$, with $m\neq 1$ is a square free rational integer. In this paper, we prove that if $m \equiv 2$ or $3$ (mod…

A formal series in noncommuting variables $\Sigma$ over the rationals is a mapping $\Sigma^* \to \mathbb Q$. We say that a series is commutative if the value in the output does not depend on the order of the symbols in the input. The…

Given a pair of positive real numbers $\alpha, \beta$ and a sesqui-analytic function $K$ on a bounded domain $\Omega \subset \mathbb C^m$, in this paper, we investigate the properties of the sesqui-analytic function $\mathbb K^{(\alpha,…

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove…

The classical notion of a k-automatic subset of the natural numbers is here extended to that of an F-automatic subset of an arbitrary finitely generated abelian group $\Gamma$ equipped with an arbitrary endomorphism F. This is applied to…

In this paper, we give a purely algebraic proof of an identity coming directly from Euler's reflection formula for the gamma function. Our proof uses Hoffman's harmonic algebra and some binomial identities.

Let $X$ be an algebraic variety over a finite field $\bF_q$, homogeneous under a linear algebraic group. We show that the number of rational points of $X$ over $\bF_{q^n}$ is a periodic polynomial function of $q^n$ with integer…

We establish necessary and sufficient conditions for a quadratic polynomial to be irreducible in the ring $Z[[x]]$ of formal power series with integer coefficients. For $n,m\ge 1$ and $p$ prime, we show that $p^n+p^m\beta x+\alpha x^2$ is…

We prove that there exists a countable $\beta$-model in which, for all reals $X$ and $Y$, $X$ is definable from $Y$ if and only $X$ is hyperarithmetical in $Y$. We also obtain some related results and pose some related questions.

In this paper, we find rational zeta series with $\zeta(2n)$ in terms of $\zeta(2k+1)$ and $\beta(2k)$, the Dirichlet beta function. We then develop a certain family of generalized rational zeta series using the generalized Clausen function…

For $\alpha\in [1,2)$ we consider operators of the form $$L f(x)=\int_{R^d} [f(x+h)-f(x)-1_{(|h|\leq 1)} \nabla f(x)\cdot h] \frac{A(x,h)}{|h|^{d+\alpha}}$$ and for $\alpha\in (0,1)$ we consider the same operator but where the $\nabla f$…

We consider a one-parameter family of functions $\{F(t,x)\}_{t}$ on $[0,1]$ and partial derivatives $\partial_{t}^{k} F(t, x)$ with respect to the parameter $t$. Each function of the class is defined by a certain pair of two square matrices…

Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $\Gamma \subset G(k)$ has a rational…

Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset $S$ of the Gaussian integers is both $\alpha=-m+i $- and $\beta=-n+i$-recognizable, then it is syndetic, and they conjectured that $S$ must be eventually…