Related papers: A Cobham theorem for scalar multiplication
Let $r$ be a positive divisor of $q-1$ and $f(x,y)$ a rational function of degree sum $d$ over $\mathbb{F}_q$ with some restrictions, where the degree sum of a rational function $f(x,y) = f_1(x,y)/f_2(x,y)$ is the sum of the degrees of…
Formulating a Schubert problem as the solutions to a system of equations in either Pl\"ucker space or in the local coordinates of a Schubert cell usually involves more equations than variables. Using reduction to the diagonal, we previously…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. Let $\mathcal{N}_K$ be the set of positive integers $n$ such that there exist units $\varepsilon, \delta \in \mathcal{O}_K^\times$ satisfying $\varepsilon + \delta = n$. We…
Let $\xi, \zeta$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $\tau$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q \xi \|,…
We introduce the $\alpha,\beta$-symmetric difference derivative and the $\alpha,\beta$-symmetric N\"orlund sum. The associated symmetric quantum calculus is developed, which can be seen as a generalization of the forward and backward…
Let $A$ be a real soft function algebra. In arXiv:2208.11431 we have obtained a canonical splitting $\mathrm{H}^* (\Omega ^\bullet _{A|\mathrm{R}}) \cong \mathrm{H} ^* (X,\mathrm{R})\oplus \text{(something)}$ via the canonical maps…
We show that for a fixed integer $n \neq \pm2$, the congruence $x^2 + nx \pm 1 \equiv 0 \pmod{\alpha}$ has the solution $\beta$ with $0 < \beta < \alpha$ if and only if $\alpha/\beta$ has a continued fraction expansion with sequence of…
Let $S \subset \R^{k + m}$ be a compact semi-algebraic set defined by a system of $\ell$ polynomial inequalities of degree at most 2. $ Let $\pi$ denote the standard projection from $\R^{k + m}$ onto $\R^m$. We prove that for any $q >0$,…
For a given $\theta\in (-1,1)$, we find out all parameters $\alpha,\beta\in \{0,1\}$ such that, there exists a linear combination of Jacobi polynomials $J_{n+1}^{(\alpha,\beta)}(x)-C J_{n}^{(\alpha,\beta)}(x)$ which generates a Lobatto…
Recently 't Hooft demonstrated that ``For any quantum system there exists at least one deterministic model that reproduces all its dynamics after prequantization''. An extension is presented here which covers quantum systems that are…
Let $S = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$. Let $\Delta$ be a simplicial complex on $[n] = \{1, ..., n \}$ and $I_\Delta \subset S$ its Stanley--Reisner ideal. We write…
Let $1/2\leq\beta<1$, $p$ be a generic prime number and $f_\beta$ be a random multiplicative function supported on the squarefree integers such that $(f_\beta(p))_{p}$ is an i.i.d. sequence of random variables with distribution…
A causal, non-Hermitian, renormalizable, local, unitary and Lorentz convariant formulation of Quantum Theory (QT) (= Quantum Mechanics (QM) and Quantum Field Theory (QFT)) is developed which is free of formalistic problems we face in the…
We show that Sullivan's model of rational differential forms on a simplicial set $X$ may be interpreted as a (kind of) $0|1$-dimensional supersymmetric quantum field theory over $X$, and, as a consequence, concordance classes of such…
Using the corepresentation of the quantum supergroup OSp_q(1/2) a general method for constructing noncommutative spaces covariant under its coaction is developed. In particular, a one-parameter family of covariant algebras, which may be…
The parametric geometry of numbers of Schmidt and Summerer deals with rational approximation to points in $\mathbb{R}^n$. We extend this theory to a number field $K$ and its completion $K_w$ at a place $w$ in order to treat approximation…
We study periodic representations in number systems with an algebraic base $\beta$ (not a rational integer). We show that if $\beta$ has no Galois conjugate on the unit circle, then there exists a finite integer alphabet $\mathcal A$ such…
A computably presented algebraic field $F$ has a \emph{splitting algorithm} if it is decidable which polynomials in $F[X]$ are irreducible there. We prove that such a field is computably categorical iff it is decidable which pairs of…
We present a different proof of the following identity due to Munarini, which generalizes a curious binomial identity of Simons. \begin{align*} \sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k…