Related papers: Complete type amalgamation for non-standard finite…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

We prove that all (generalized) Higman groups on at least $5$ generators are superrigid for measure equivalence. More precisely, let $k\ge 5$, and let $H$ be a group with generators $a_1,\dots,a_k$, and Baumslag-Solitar relations given by…

We give a randomness-efficient homomorphism test in the low soundness regime for functions, $f: G\to \mathbb{U}_t$, from an arbitrary finite group $G$ to $t\times t$ unitary matrices. We show that if such a function passes a derandomized…

In this paper we study stable finiteness of ample groupoid algebras with applications to inverse semigroup algebras and Leavitt path algebras, recovering old results and proving some new ones. In addition, we develop a theory of (faithful)…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

In this paper, we prove that any graph product of finitely many groups, all satisfying the Haagerup property (or Gromov's a-T-menability) also satisfies Haagerup property.

We study the mixing properties of progressions $(x,xg,xg^2)$, $(x,xg,xg^2,xg^3)$ of length three and four in a model class of finite non-abelian groups, namely the special linear groups $SL_d(F)$ over a finite field $F$, with $d$ bounded.…

We initiate a quantitative study of Hilbert-Schmidt stability for infinitely presented groups through the novel notion of stability radius growth. We exhibit an uncountable family of Hilbert-Schmidt stable amenable groups with arbitrarily…

Suppose $G$ is a connected noncompact locally compact group, $A,B$ are nonempty and compact subsets of $G$, $\mu$ is a left Haar measure on $G$. Assuming that $G$ is unimodular, and $ \mu(A^2) < K \mu(A) $ with $K>1$ a fixed constant, our…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

We prove the following conjecture of Shkredov and Solymosi: every subset $A \subset \mathbf{Z}^2$ such that $\sum_{a\in A\setminus\{0\}} 1/\left\|a\right\|^{2} = +\infty$ contains the three vertices of an isosceles right triangle. To do…

For a large class of groups, we exhibit an infinite-dimensional space of homogeneous quasimorphisms that are invariant under the action of the automorphism group. This class includes non-elementary hyperbolic groups, infinitely-ended…

We prove a graded version of Alev-Polo's rigidity theorem: the homogenization of the universal enveloping algebra of a semisimple Lie algebra and the Rees ring of the Weyl algebras $A_n(k)$ cannot be isomorphic to their fixed subring under…

We introduce Riemannian metrics of positive scalar curvature on manifolds with Baas-Sullivan singularities, prove a corresponding homology invariance principle and discuss admissible products. Using this theory we construct positive scalar…

We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…

We consider the correlations of invariant observables for the $O(N)$ and $\mathbb{C}\mathbb{P}^{N-1}$ models at zero coupling, namely, with respect to the natural group-invariant measure. In the limit where one takes a large power of the…

In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an…

We make further progress towards a Kneser-type generalization of Pollard's Theorem to general abelian groups. For two sets $A$ and $B$ in an abelian group $G$, the \emph{$t$-popular sumset} of $A$ and $B$, denoted by $A+_t B$, is the set of…

We prove Abelian and Tauberian theorems for regularised Cauchy transforms of positive Borel measures on the real line whose distribution functions grow at most polynomially at infinity. In particular, we relate the asymptotics of the…

In our previous paper, we gave a complete list of the finite non-abelian simple groups whose holomorph contains a solvable regular subgroup. In this paper, we refine our previous work by considering all finite almost simple groups. In…