Related papers: A note on generically stable measures and fsg grou…

We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from…

For SFTs, any equilibrium measure is Gibbs, as long a $f$ has $d$-summable variation. This is a theorem of Lanford and Ruelle. Conversely, a theorem of Dobru{\v{s}}in states that for strongly-irreducible subshifts, shift-invariant…

In this paper we study the solutions and stability of the generalized Wilson's functional equation $\int_{G}f(xty)d\mu(t)+\int_{G}f(xt\sigma(y))d\mu(t)=2f(x)g(y),\; x,y\in G$, where $G$ is a locally compact group, $\sigma$ is a continuous…

Let $(X,T)$ and $(Y,S)$ be two topological dynamical systems, where $(X,T)$ has the weak specification property. Let $\xi$ be an invariant measure on the product system $(X\times Y, T\times S)$ with marginals $\mu$ on $X$ and $\nu$ on $Y$,…

Fix $n\in\mathbb{N}$. Let $\mathbf{T}_n$ be the set of rooted trees $(T,o)$ whose vertices are labeled by elements of $\{1,...,n\}$. Let $\nu$ be a strongly connected multi-type Galton-Watson measure. We give necessary and sufficient…

We construct a general form for an F-theory Weierstrass model over a general base giving a 6D or 4D supergravity theory with gauge group $(\operatorname{SU}(3) \times \operatorname{SU}(2) \times \operatorname{U}(1)) / \mathbb{Z}_6$ and…

We characterize some classes of finite soluble groups. In particular, we prove that: a finite group $G$ is supersoluble if and only if $G$ has a normal subgroup $D$ such that $G/D$ is supersoluble and $D$ avoids every chief factor of $G$…

For each symmetric, aperiodic probability measure $\mu$ on a finitely generated group $G$, we define a subset $A_{\mu}$ consisting of group elements $g$ for which the limit of the ratio ${\mu^{\ast n}(g)}/{\mu^{\ast n}(e)}$ tends to $1$. We…

Let $K$ be a number field with ring of integers $\mathcal O_K$, and let $\{f_k\}_{k\in \mathbb N}\subseteq \mathcal O_K[x]$ be a sequence of monic polynomials such that for every $n\in \mathbb N$, the composition $f^{(n)}=f_1\circ…

For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…

A theory is NIP (resp. stable) if and only if every formula with parameters in two single variables is NIP (resp. does not have the order property).

For G a group definable in an NIP theory we prove that there is a smallest type-definable subgroup H of G such that the quotient G/H is stable. This generalizes the existence of G^00, the smallest type-definable subgroup of G of bounded…

Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the…

Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite. In other words, every group satisfying Gottschalk's conjecture also satisfies…

We describe general classes of 6D and 4D F-theory models with gauge group $(\operatorname{SU}(3) \times \operatorname{SU}(2) \times \operatorname{U}(1)) / \mathbb{Z}_6$. We prove that this set of constructions gives all possible consistent…

In this paper, we will construct a gauge field model, in which the masses of gauge fields are non-zero and the local gauge symmetry is strictly preserved. A SU(N) gauge field model is discussed in details in this paper. In the limit $\alpha…

If $G$ is an abelian group, we say $S\subset G$ is a set of recurrence if for every probability measure preserving $G$-system $(X,\mu,T)$ and every $D\subset X$ having $\mu(D)>0$, there is a $g\in S$ such that $\mu(D\cap T^{g}D)>0$. We say…

Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all…

We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagrand's stability', and explain the relationship between this…

A component of the moduli space M_g(Y,b) of stable maps from genus g curves to a variety Y is said to be regular if it is generically smooth and of the expected dimension provided by deformation theory. In this note we prove existence of…