Related papers: A group version of stable regularity

Let $k$ be a field, and let $G$ be a simply connected semisimple k-group which is isotropic and contains a strictly proper parabolic $k$-subgroup $P$. Let $D$ be a discrete valuation ring which is a local ring of a smooth algebraic curve…

The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudo-reflection groups over regular domains. More precisely, let $A$ be a regular domain and let $K$ be its field of…

A graph is called $K$-almost regular if its maximum degree is at most $K$ times the minimum degree. Erd\H{o}s and Simonovits showed that for a constant $0< \varepsilon< 1$ and a sufficiently large integer $n$, any $n$-vertex graph with more…

We use algorithmic methods from online learning to explore some important objects at the intersection of model theory and combinatorics, and find natural ways that algorithmic methods can detect and explain (and improve our understanding…

Let $n$ be a positive integer and $G(n)$ denote the number of non-isomorphic finite groups of order $n$. It is well-known that $G(n) = 1$ if and only if $(n,\phi(n)) = 1$, where $\phi(n)$ and $(a, b)$ denote the Euler's totient function and…

Let $\Ga = (V, E)$ be a graph and $a, b$ nonnegative integers. An $(a, b)$-regular set in $\Ga$ is a nonempty proper subset $D$ of $V$ such that every vertex in $D$ has exactly $a$ neighbours in $D$ and every vertex in $V \setminus D$ has…

We solve two problems from the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay, which concern maximal stable quotients of groups type-definable in NIP theories. The first result says that…

Denote by $K_p(n,k)$ the random subgraph of the usual Kneser graph $K(n,k)$ in which edges appear independently, each with probability $p$. Answering a question of Bollob\'as, Narayanan, and Raigorodskii,we show that there is a fixed $p<1$…

In this paper we prove that whenever $G$ is hyperbolic relative to a family of exact, ressidually finite subgroups $\{H_1, \ldots, H_n\}$, the corresponding von Neumann algebra $\mathcal L(G)$ is solid relative to the family of subalgebras…

A graphic sequence $\pi$ is potentially $H$-graphic if there is some realization of $\pi$ that contains $H$ as a subgraph. The Erd\H{o}s-Jacobson-Lehel problem asks to determine $\sigma(H,n)$, the minimum even integer such that any $n$-term…

Let K \subset R^N be a convex body containing the origin. A measurable set G \subset R^N with positive Lebesgue measure is said to be uniformly K-dense if, for any fixed r > 0, the measure of G \cap (x + rK) is constant when x varies on the…

Let $\Gamma$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $\Gamma$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in…

The Fibonacci index of a graph is the number of its stable sets. This parameter is widely studied and has applications in chemical graph theory. In this paper, we establish tight upper bounds for the Fibonacci index in terms of the…

Let $n,k,s$ be three integers such that $k\geq 2$ and $n\geq s\geq 1$. Let $H$ be a $k$-partite $k$-uniform hypergraph with $n$ vertices in each class. Aharoni (2017) showed that if $e(H)>(s-1)n^{k-1}$, then $H$ has a matching of size $s$.…

A subgroup $H$ of a finite group $G$ is said to satisfy $\Pi$-property in $G$ if for every chief factor $L/K$ of $G$, $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi(HK/K\cap L/K)$-number. A subgroup $H$ of $G$ is called to be $\Pi$-supplemented in…

We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…

Let us consider two sequences of closed convex sets $\{A_n\}$ and $\{B_n\}$ converging with respect to the Attouch-Wets convergence to $A$ and $B$, respectively. Given a starting point $a_0$, we consider the sequences of points obtained by…

Suppose that a finite solvable group $G$ acts faithfully, irreducibly and quasi-primitively on a finite vector space $V$. Then $G$ has a uniquely determined normal subgroup $E$ which is a direct product of extraspecial $p$-groups for…

A comparison problem for volumes of convex bodies asks whether inequalities $f_K(\xi)\le f_L(\xi)$ for all $\xi\in S^{n-1}$ imply that $\vol_n(K)\le \vol_n(L),$ where $K,L$ are convex bodies in $\R^n,$ and $f_K$ is a certain geometric…

Let $G$ be a connected finite simple graph and let $I_G$ be the edge ideal of $G$. The smallest number $k$ for which $\depth S/I_G^k$ stabilizes is denoted by $\dstab(I_G)$. We show that $\dstab(I_G)<\ell(I_G)$ where $\ell(I_G)$ denotes the…