Related papers: An elementary inductive proof that $AB=I$ implies …
We give elementary proofs of the univariate elliptic beta integral with bases $|q|, |p|<1$ and its multiparameter generalizations to integrals on the $A_n$ and $C_n$ root systems. We prove also some new unit circle multiple elliptic beta…
We demonstrate the successful use of scattering representations without further compression for simulation-based inference (SBI) with images (i.e. field-level), illustrated with a cosmological case study. Scattering representations provide…
We give a sufficient condition for a model theoretic structure $B$ to 'inherit' quantifier elimination from another structure $A$. This yields an alternative proof of one of the main result from \cite{kle}, namely quantifier elimination for…
In this paper we introduce the notion of elementary numerosity as a special function defined on all subsets of a given set X which takes values in a suitable non-Archimedean field, and satisfies the same formal properties of finite…
The paper is devoted to model-theoretic properties of Kac-Moody groups with the focus on elementary equivalence of Kac-Moody groups. We show that elementary equivalence of (untwisted) affine Kac-Moody groups implies coincidence of their…
Let $K$ be an algebraically closed field with an absolute value. This note gives an elementary proof of the classical result that the roots of a polynomial with coefficients in $K$ are continuous functions of the coefficients of the…
Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding logical formulas into numerical vectors -- from simple…
We give a new and elementary proof of the nested Artin approximation Theorem for linear equations with algebraic power series coefficients. Moreover, for any Noetherian local subring of the ring of formal power series, we clarify the…
The notion of isomorphism of stable AF-C*-algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix.…
We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…
The testimony and practice of notable mathematicians indicate that there is an important phenomenological and epistemological difference between superficial and deep analogies in mathematics. In this paper, we offer a descriptive theory of…
We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the…
Initial Semantics aims at characterizing the syntax associated to a signature as the initial object of some category. We present an initial semantics result for typed higher-order syntax together with its formalization in the Coq proof…
We prove that all algebraic bases $\beta$ allow an eventually periodic representations of the elements of $\mathbb Q(\beta)$ with a finite alphabet of digits $\mathcal A$. Moreover, the classification of bases allowing that those…
For any primitive matrix $M\in\mathbb{R}^{n\times n}$ with positive diagonal entries, we prove the existence and uniqueness of a positive vector $\mathbf{x}=(x_1,\dots,x_n)^t$ such that $M\mathbf{x}=(\frac{1}{x_1},\dots,\frac{1}{x_n})^t$.…
We use an elementary argument to prove some finite sums involving expressions of the forms $(q)_n$ and $(a;q)_n$ along with inductive formulas for some sequences.
We first study situations where the stable AF-algebras defined by two square primitive nonsingular incidence matrices with nonnegative integer matrix elements are isomorphic even though no powers of the associated automorphisms of the…
A cycle is algebraically trivial if it can be exhibited as the difference of two fibers in a family of cycles parameterized by a smooth scheme. Over an algebraically closed field, it is a result of Weil that it suffices to consider families…
Elementary proofs are given for sums of Schur functions over partitions into at most n parts each less than or equal to m for which i) all parts are even, ii) all parts of the conjugate partition are even. Also, an elementary proof of a…
We illustrate the use of the notion of derived recurrences introduced earlier to evaluate the algebraic entropy of self-maps of projective spaces. We in particular give an example, where a complete proof is still awaited, but where…