Related papers: Tuple regularity and $k$-ultrahomogeneity for fini…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

We consider isomorphisms and automorphisms of quantum groups. Let $k$ be a field and suppose $p, q\in k^*$ are not roots of unity. We prove that the two quantum groups $U_q(\mathfrak {sl}_2)$ and $U_p(\mathfrak{sl}_2)$ over a field $k$ are…

In this paper, we study the structure of the permutability graphs of subgroups, and the permutability graphs of non-normal subgroups of the following groups: the dihedral groups $D_n$, the generalized quaternion groups $Q_n$, the…

The classic extremal problem is that of computing the maximum number of edges in an $F$-free graph. In the case where $F=K_{r+1}$, the extremal number was determined by Tur\'an. Later results, known as supersaturation theorems, proved that…

In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is…

Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…

We develop an explicit geometric construction of automorphisms of finite fields arising from isogeny cycles. Let $k$ be a finite field, $E/k$ an elliptic curve, and $\ell$ an integer coprime to $\mathrm{char}(k)$. Let $\mathfrak{h}$ be an…

Given $r$-uniform hypergraphs $G$ and $H$ the Tur\'an number $\rm ex(G, H)$ is the maximum number of edges in an $H$-free subgraph of $G$. We study the typical value of $\rm ex(G, H)$ when $G=G_{n,p}^{(r)}$, the Erd\H{o}s-R\'enyi random…

Let $X$ be a smooth, projective, and geometrically connected curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ different from $2$ and $S\subseteq X$ a subset of closed points. Let $\overline{X}$ and $\overline{S}$ be…

Given a finite graph G there is a corresponding group given by the presentation with generators the vertices of G and a relation [x,y]=1 for generators x and y precisely when (x,y) is an edge of G. Such groups are known as partially…

The hypergraph regularity lemma -- the extension of Szemer\'edi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several…

We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Let $G$ be a graph of order $n$ and let $k\in \{1,2,\ldots,n-1\}$. The $k$-token graph of $G$ is the graph, whose vertices are all the $k$-subsets of vertices of $G$, where two such $k$-sets are adjacent whenever their symmetric difference…

We study the homogeneous ind-spaces $\mathrm{GL}(\mathbf{s})/\mathbf{P}$ where $\mathrm{GL}(\mathbf{s})$ is a strict diagonal ind-group defined by a supernatural number $\mathbf{s}$ and $\mathbf{P}$ is a parabolic ind-subgroup of…

We use a variant of Bukh's random algebraic method to show that for every natural number $k \geq 2$ there exists a natural number $\ell$ such that, for every $n$, there is a graph with $n$ vertices and $\Omega_k(n^{1 + 1/k})$ edges with at…

In this paper, we introduce the t-graphs defined on finitely-generate groups. We study some general aspects of the t-graphs on 2-generator groups, emphasising establishing necessary conditions for their connectedness. In particular, we…

We consider the homology theory of \'etale groupoids introduced by Crainic and Moerdijk, with particular interest to groupoids arising from topological dynamical systems. We prove a K\"unneth formula for products of groupoids and a…

We study definable topological dynamics of some algebraic group actions over an arbitrary NIP field $K$. We show that the Ellis group of the universal definable flow of $\mathrm{SL}_2(K)$ is non-trivial if the multiplicative group of $K$ is…

Burr and Erd\H{o}s conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length…