Related papers: On a theorem of Avez

We say that an action of a countable discrete inverse semigroup on a locally compact Hausdorff space is amenable if its groupoid of germs is amenable in the sense of Anantharaman-Delaroche and Renault. We then show that for a given inverse…

We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also F{\o}lner's type characterizations of amenability and give an example of a…

For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense…

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…

Amenable groups are those admitting an invariant mean -- a finitely additive probability mean that assigns equal ``weight'' to any two translates of the same set. We introduce coset correct means (CCMs), a class of finitely additive means…

Let $F$ be a free group of rank $r$ and fix some $w\in F$. For any compact group $G$ we can define a measure $\mu_{w,G}$ on $G$ by (Haar-)uniformly sampling $g_1,...,g_r\in G$ and evaluating $w(g_1,...,g_r)$. In [arXiv:1802.04862], Magee…

We use ideas from topological dynamics (amenability), combinatorics (structural Ramsey theory) and model theory (Fra\" {i}ss\' e limits) to study closed amenable subgroups $G$ of the symmetric group $S_\infty$ of a countable set, where…

The class A of countable groups that admit a faithful, transitive, amenable -- in the sense that there is an invariant mean -- action on a set has been widely investigated in the past. In this paper, we no longer require the action to be…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant…

Suppose $G$ is a compact semisimple Lie group, $\mu$ is the normalized Haar measure on $G$, and $A, A^2 \subseteq G$ are measurable. We show that $$\mu(A^2)\geq \min\{1, 2\mu(A)+\eta\mu(A)(1-2\mu(A))\}$$ with the absolute constant $\eta>0$…

Consider two free measure preserving group actions $\Gamma \actson (X, \mu), \Delta \actson (X, \mu)$, and a measure preserving action $\Delta \actson^a (Z, \nu)$ where $(X, \mu), (Z, \nu)$ are standard probability spaces. We show how to…

Suppose that a group $G$ acts non-elementarily on a hyperbolic space $S$ and does not fix any point of $\partial S$. A subgroup $H\le G$ is said to be geometrically dense in $G$ if the limit sets of $H$ and $G$ coincide and $H$ does not fix…

For every non-hyper-FC-central countable amenable group and every $k\geq 2$, we provide a sequence of symmetric, fully supported probability measures such that their convex combination is non-Liouville (that is it admits a non-constant…

Building on work from Sun and Kechris-Quorning, we prove that every acylindrically hyperbolic group $G$ admits a weakly mixing probability measure preserving action $G \curvearrowright (X,\mathcal{B},\mu)$ which is faithful but not…

We are now witnessing a rapid growth of a new part of group theory which has become known as "statistical group theory". A typical result in this area would say something like ``a random element (or a tuple of elements) of a group G has a…

A measure preserving action of a countably infinite group \Gamma is called totally ergodic if every infinite subgroup of \Gamma acts ergodically. For example, all mixing and mildly mixing actions are totally ergodic. This note shows that if…

We generalize the notion of isoperimetric profiles of finitely generated groups to their actions by measuring the boundary of finite subgraphings of the orbit graphing. We prove that like the classical isoperimetric profiles for groups,…

Let $E$ be a Moran set on $\mathbb{R}^1$ associated with a closed interval $J$ and two sequences $(n_k)_{k=1}^\infty$ and $(\mathcal{C}_k=(c_{k,j})_{j=1}^{n_k})_{k\geq1}$. Let $\mu$ be the infinite product measure (Moran measure) on $E$…

The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$…

Richard Thompson's group F is the group of piecewise linear homeomorphisms of the unit interval with a finite number of break points, all at dyadic rational numbers (their denominators are powers of 2) and with slopes which are powers of 2.…