Related papers: Multiplicity Estimates for Algebraically Dependent…
Let X be the moduli space of SL(3,C) representations of a free group of rank r. In this paper we describe maximal algebraically independent subsets of certain minimal sets of coordinate functions on X. These subsets locally parametrize the…
Shapley values have become increasingly popular in the machine learning literature thanks to their attractive axiomatisation, flexibility, and uniqueness in satisfying certain notions of `fairness'. The flexibility arises from the myriad…
We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections…
The last years have seen a growing interest from mathematicians in Mahler functions. This class of functions includes the generating series of the automatic sequences. The present paper is concerned with the following problem, which is…
Finite renormalization freedom in locally covariant quantum field theories on curved spacetime is known to be tightly constrained, under certain standard hypotheses, to the same terms as in flat spacetime up to finitely many curvature…
We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…
We prove the existence of transcendental entire functions $f$ having a property studied by Mahler, namely that $f(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$ and $f^{-1}(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$, and…
In this paper, we unify the study of classical and non-classical algebra-valued models of set theory, by studying variations of the interpretation functions for identity and set-membership. Although, these variations coincide with the…
Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a parameterized telescoping solution, proves algebraic…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
The paper presents a novel view of the Dempster-Shafer belief function as a measure of diversity in relational data bases. It is demonstrated that under the interpretation The Dempster rule of evidence combination corresponds to the join…
We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power…
In this paper, we first prove that given pairwise distinct algebraic numbers $\alpha_1, \ldots, \alpha_n$, the numbers $\alpha_1+t, \ldots, \alpha_n+t$ are multiplicatively independent for all sufficiently large integers $t$. Then, for a…
It is shown (Theorem A and its corollary) that if g is any nonconstant nonunivalent analytic function on a half-plane H and if D is either a half-plane or a smoothly bounded Jordan domain, then there is a function f on D for which f'(D)…
We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the…
The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear…
In this article we investigate different forms of multiplicative independence between the sequences $n$ and $\lfloor n \alpha \rfloor$ for irrational $\alpha$. Our main theorem shows that for a large class of arithmetic functions $a, b…
The aim of this paper is to introduce a new technique for calculation of observables, in particular multiplicity distributions, in various statistical ensembles at finite volume. The method is based on Fourier analysis of the grand…
In this work we investigate the possibility of using the reflection algebra as a source of functional equations. More precisely, we obtain functional relations determining the partition function of the six-vertex model with domain-wall…
In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the…