Related papers: Uniform Boundedness of S-Units in Arithmetic Dynam…

Many practical problems need the output of a machine learning model to satisfy a set of constraints, $K$. Nevertheless, there is no known guarantee that classical neural network architectures can exactly encode constraints while…

In the present article we describe a class of algebraic curves on which rational functions of two arguments may reach all their possible limiting values. We also solve a similar question for functions that can be represented as a uniform…

Let K be a ring and let A be a subset of K. We say that a map f:A \to K is arithmetic if it satisfies the following conditions: if 1 \in A then f(1)=1, if a,b \in A and a+b \in A then f(a+b)=f(a)+f(b), if a,b \in A and a \cdot b \in A then…

We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

Let $f:\mathbb{P}^N\to\mathbb{P}^N$ be an endomorphism of degree $d\ge2$ defined over $\overline{\mathbb{Q}}$ or $\overline{\mathbb{Q}}_p$, and let $K$ be the field of moduli of $f$. We prove that there is a field of definition $L$ for $f$…

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

In this paper, the set of all physical theories is represented by a countable collection of consequence operators. It is established that in the Grundlegend Structure, a nonstandard structure, there exists a function S such that for any…

An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such…

We prove that united K-theory is a surjective functor from the category of real simple purely infinite C*-algebras to the cateogry of countable acyclic CRT-modules.

The aim of this paper is to study the relationship between reduction numbers and Borel-fixed ideals in all characteristics. By definition, Borel-fixed ideals are closed under certain specializations which is similar to the strong stability.…

We give a conditional proof of the Uniform Boundedness Conjecture of Morton and Silverman in the case of polynomials over number fields, assuming a standard conjecture in arithmetic geometry. Our technique simultaneously yields a dynamical…

For an algebraic number field K such that prime l splits completely in K we define a regulator R(K) that characterize the subgroup of universal norms from the cyclotomic extension of K in the completed group of S-units of K, where S…

Let $k$ be a number field with algebraic closure $\bar{k}$, and let $S$ be a finite set of places of $k$ containing all the archimedean ones. Fix $d\geq 2$ and $\alpha \in \bar{k}$ such that the map $z\mapsto z^d+\alpha$ is not…

Given a pair of distinct unitary cuspidal automorphic representations for GL(n) over a number field, let S denote the set of finite places at which the automorphic representations are unramified and their associated Hecke eigenvalues…

Let $A$ and $B$ be non-constant rational functions over $\mathbb{C}$, and let $K \subset \mathbb{P}^1(\mathbb{C})$ be an infinite set. Using height functions, we prove that the inclusion $ A^{-1}(K) \subseteq B^{-1}(K) $ implies the…

We will prove an S-arithmetic version of a theorem of Dani-Margulis on the convergence of ergodic averages of a given bounded continuous function, when the initial point is outside certain compact subsets of the singular set associated to…

We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…

There are two possible definitions of the "s-disjoint r-uniform Kneser hypergraph'' of a set system T: The hyperedges are either r-sets or r-multisets. We point out that Ziegler's (combinatorial) lower bound on the chromatic number of an…

We compute the K-theory of the three C*-algebras associated to a rational function R acting on the Riemann sphere, its Fatou set, and its Julia set. The latter C*-algebra is a unital UCT Kirchberg algebra and is thus classified by its…