Related papers: Independence relations for exponential fields
Third order three-dimensional symmetric and traceless tensors play an important role in physics and tensor representation theory. A minimal integrity basis of a third order three-dimensional symmetric and traceless tensor has four…
Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear…
We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field…
We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…
In this short paper, we investigate the consequences of observer dependence of the quantum effective potential for an interacting field theory. Specializing to $d+2$ dimensional Euclidean Rindler space, we develop the formalism to calculate…
We show how the presence of a very light scalar with a cubic self-interaction in six dimensions can stabilize the extra dimensions at radii which are naturally exponentially large, $r \sim \ell \exp [(4\pi)^3/g^2]$, where $\ell$ is a…
A noncommutative space is considered the position operators of which satisfy the commutativity relations of a Lie algebra. The basic tools for calculation on this space, including the product of the fields, inner product and the proper…
A set of real $n$th roots that is pairwise linearly independent over the rationals must also be linearly independent. We show how this result may be extended to more general fields.
We consider the relation between exact solutions of cosmological models having minimally and non-minimally coupled scalar fields. This is done for a particular class of solvable models which, in the Einstein frame, have potentials depending…
We study the problem of testing \emph{conditional independence} for discrete distributions. Specifically, given samples from a discrete random variable $(X, Y, Z)$ on domain $[\ell_1]\times[\ell_2] \times [n]$, we want to distinguish, with…
Monadic stability and the more general monadic dependence (or NIP) are tameness conditions for classes of logical structures, studied in the 80's in Shelah's classification program in model theory. They recently emerged in algorithmic and…
We study the generic theory of algebraically closed fields of fixed positive characteristic with a predicate for an additive subgroup, called $\mathrm{ACFG}$. This theory was introduced recently as a new example of $\mathrm{NSOP}_1$ non…
In this paper, we establish the linear independence of values of the $q$-analogue of the exponential function, $E_q(x)$ and its derivatives at specified algebraic arguments, when $q$ is a Pisot-Vijayraghavan number. We also deduce similar…
The enumeration of independent sets of regular graphs is of interest in statistical mechanics, as it corresponds to the solution of hard-particle models. In 2004, it was conjectured by Fendleyet al. that for some rectangular grids, with…
This paper studies the connection between probabilistic conditional independence in uncertain reasoning and data dependency in relational databases. As a demonstration of the usefulness of this preliminary investigation, an alternate proof…
The Schr\"odinger equation for a charged particle in the field of a nonrelativistic electric quadrupole in two dimensions is known to be separable in spherical coordinates. We investigate the occurrence of bound states of negative energy…
Entropic uncertainty is a well-known concept to formulate uncertainty relations for continuous variable quantum systems with finitely many degrees of freedom. Typically, the bounds of such relations scale with the number of oscillator…
We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…
We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then…
We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…