Related papers: A Note on Hilbert's "Geometric" Tenth Problem

In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton…

The goal of this paper is to give a numerical criterion for an open question in $p$-adic Fourier theory. Let $F$ be a finite extension of $\mathbf{Q}_p$. Schneider and Teitelbaum defined and studied the character variety $\mathfrak{X}$,…

This paper studies the uncertainty principle for spherical $h$-harmonic expansions on the unit sphere of $\mathbb{R}^d$ associated with a weight function invariant under a general finite reflection group, which is in full analogy with the…

Let $k$ be a field, $G$ be a finite group, $k(x(g):g\in G)$ be the rational function field with the variables $x(g)$ where $g\in G$. The group $G$ acts on $k(x(g):g\in G)$ by $k$-automorphisms where $h\cdot x(g)=x(hg)$ for all $h,g\in G$.…

In this paper we explore fundamental concepts in computational complexity theory and the boundaries of algorithmic decidability. We examine the relationship between complexity classes \textbf{P} and \textbf{NP}, where $L \in \textbf{P}$…

The paper gives the following characterization of the disc algebra in terms of the argument principle: A continuous function f on the unit circle T extends holomorphically through the unit disc if and only if for each polynomial P such that…

We propose a new notion of positivity for topological field theories (TFTs), based on S. Eilenberg's concept of completeness for semirings. We show that a complete ground semiring, a system of fields on manifolds and a system of action…

The most fundamental notion in frame theory is the frame expansion of a vector. Although it is well known that these expansions are unconditionally convergent series, no characterizations of the unconditional constant were known. This has…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

In this paper we complete B\"{u}chi's proof that there is no decision algorithm for the solubility in integers of arbitrary systems of diagonal quadratic form equations, by proving the assertion that whenever $x_1^2, \cdots, x_5^2$ are five…

Let $K$ be a finite extension of $\mathbb{Q}_p$ that is totally ramified over $\mathbb{Q}_p$. The set $\mathcal{M}\mathcal{F}(K)$ consists of power series in $1+zK[[z]]$ that are solutions of differential operators in $K(z)[d/dz]$ equipped…

With view to applications in stochastic analysis and geometry, we introduce a new correspondence for positive definite kernels (p.d.) $K$ and their associated reproducing kernel Hilbert spaces. With this we establish two kinds of…

Let $f = f(z,t)$ be a function holomorphic in $z \in O \subseteq {\mathbb C}^d$ for fixed $t\in \Omega$ and measurable in $t$ for fixed $z$ and such that$z \mapsto f(z,\cdot)$ is bounded with values in$E := L_{p}(\Omega)$, $1\le p \le…

Let $G$ be a finite group and $K$ a number field. We construct a $G$-extension $E/F$, with $F$ of transcendence degree $2$ over $K$, that specializes to all $G$-extensions of $K_\mathfrak{p}$, where $\mathfrak{p}$ runs over all but finitely…

We consider the problem of separability: decide whether a Hermitian operator on a finite dimensional Hilbert tensor product is separable or entangled. We show that the tensor convolution defined for certain mappings on an almost arbitrary…

For a non-CM elliptic curve $E$ defined over the rationals, Lang and Trotter made very deep conjectures concerning the number of primes $p\leq x$ for which $a_p(E)$ is a fixed integer (and for which the Frobenius field at $p$ is a fixed…

Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime…

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

In the present work the problem of distinguishing between essential and spurious (i.e., absorbable) constants contained in a metric tensor field in a Riemannian geometry is considered. The contribution of the study is the presentation of a…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…