Related papers: Algebraic Independence and Mahler's method
Free independence is an important tool for studying the structure of operator algebras. It is natural to ask from the model-theoretic standpoint whether free independence is captured well in first-order model theory via the notion of a…
In a previous paper, the authors introduced several vector space norms on the space of algebraic numbers modulo torsion which corresponded to the Mahler measure on a certain class of numbers and allowed the authors to formulate L^p Lehmer…
For almost all tuples $(x_1,\dots,x_n)$ of complex numbers, a strong version of Schanuel's Conjecture is true: the $2n$ numbers $x_1,\dots,x_n, {\mathrm e}^{x_1},\dots, {\mathrm e}^{x_n}$ are algebraically independent. Similar statements…
Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…
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…
We prove that if y"=f(y,y',t) is a generic Painlev\'e equation from the class III and VI, and if y_1,...,y_n are distinct solutions, then y_1,y_1',...,y_n,y_n' are algebraically independent over C(t). This improves the weaker results…
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by Marczewski for elements of an algebraic structure.…
We introduce the notion of dependence, as a property of a Keisler measure, and generalize several results of [HPS13] on generically stable measures (in $NIP$ theories) to arbitrary theories. Among other things, we show that this notion is…
We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we…
Based on the notion of free orbit-dimension introduced by D. Hadwin and J. Shen [4], we introduce a new invariant on finite von Neumann algebras that do not necessarily act on separable Hilbert space. We show that this invariant is…
I develop in depth the machinery of $(\mathcal L, n)$-models originally introduced by Shelah and, independently in a slightly different form by Kripke. This machinery allows fairly routine constructions of true but unprovable sentences in…
We generalize P. M. Neumann's Lemma to the setting of isometric actions on metric spaces and use it to prove several results in continuous logic related to algebraic independence. In particular, we show that algebraic independence satisfies…
We establish various new results on a problem proposed by K. Mahler in 1984 concerning rational approximation to fractal sets by rational numbers inside and outside the set in question, respectively. Some of them provide a natural…
Let $H_n =\sum\limits_{k=1}^n \frac{1}{k}$ be the $n$-th harmonic number. Euler extended it to complex arguments and defined $H_r$ for any complex number $r$ except for the negative integers. In this paper, we give a new proof of the…
Let $\{F_{n}\}_{n\geq0}$ be the sequence of the Fibonacci numbers. The aim of this paper is to give explicit formulae for the infinite products \[ \prod_{n=1}^{\infty}\left( 1+\frac{1}{F_{n}}\right) ,\qquad\prod_{n=3}^{\infty}\left(…
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite…
We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.
In this paper, we established a sharp version of the difference analogue of the celebrated H\"{o}lder's theorem concerning the differential independence of the Euler gamma function $\Gamma$. More precisely, if $P$ is a polynomial of $n+1$…
We introduce the concepts of dependence and independence in a very general framework. We use a concept of rank to study dependence and independence. By means of the rank we identify (total) dependence with inability to create more…
We develop a new tool, namely polynomial and linear algebraic methods, for studying systems of word equations. We illustrate its usefulness by giving essentially simpler proofs of several hard problems. At the same time we prove extensions…