Cayley graphs of R. Thompson's group F: new estimates for the density

Victor Guba

DOI: https://doi.org/10.48550/arXiv.2210.12304

2022-10-22

Abstract:We improve some known estimates for the density of the Cayley graph of Thompson's group F in standard generators.

Group Theory

What problem does this paper attempt to address?

Amenability problem for Thompson's group $F$: state of the art

Victor Guba

DOI: https://doi.org/10.46298/jgcc.2023.15.1.11315

2023-10-19

Abstract:This is a survey of our recent results on the amenability problem for Thompson's group $F$. They mostly concern esimating the density of finite subgraphs in Cayley graphs of $F$ for various systems of generators, and also equations in the group ring of $F$. We also discuss possible approaches to solve the problem in both directions.

Group Theory
On the cogrowth of Thompson's group $F$

Murray Elder,Andrew Rechnitzer,Thomas Wong

DOI: https://doi.org/10.1515/gcc-2012-0018

2012-10-10

Abstract:We investigate the cogrowth and distribution of geodesics in R. Thompson's group $F$.

Group Theory,Combinatorics
A central limit theorem in the framework of the Thompson group $F$

Arundhathi Krishnan

2024-09-24

Abstract:We discuss a central limit theorem in the framework of the group algebra of the Thompson group $F$. We consider the sequence of self-adjoint elements given by $a_n=\frac{g_n+g_n^{*}}{\sqrt{2}}$ in the noncommutative probability space $(\mathbb{C}(F),\varphi)$, where the expectation functional $\varphi$ is the trace associated to the left regular representation of $F$, and the $g_n$-s are the generators of $F$ in its standard infinite presentation. We show that the limit law of the sequence $s_n = \frac{a_0+\cdots+a_{n-1}}{\sqrt{n}}$ is the standard normal distribution.

Operator Algebras,Combinatorics,Group Theory,Probability
Finite groups with geodetic Cayley graphs

Murray Elder,Adam Piggott,Florian Stober,Alexander Thumm,Armin Weiß

2024-06-01

Abstract:A connected undirected graph is called \emph{geodetic} if for every pair of vertices there is a unique shortest path connecting them. It has been conjectured that for finite groups, the only geodetic Cayley graphs which occur are odd cycles and complete graphs. In this article we present a series of theoretical results which contribute to a computer search verifying this conjecture for all groups of size up to 1024. The conjecture is also verified theoretically for several infinite families of groups including dihedral and some families of nilpotent groups. Two key results which enable the computer search to reach as far as it does are: if the center of a group has even order, then the conjecture holds (this eliminates all 2-groups from our computer search); if a Cayley graph is geodetic then there are bounds relating the size of the group, generating set and center (which cuts down the number of generating sets which must be searched significantly).

Group Theory,Discrete Mathematics
A Cayley graph for $F_{2}\times F_{2}$ which is not minimally almost convex

Andrew Elvey Price

2024-06-06

Abstract:We give an example of a Cayley graph $\Gamma$ for the group $F_{2}\times F_{2}$ which is not minimally almost convex (MAC). On the other hand, the standard Cayley graph for $F_{2}\times F_{2}$ does satisfy the falsification by fellow traveler property (FFTP), which is strictly stronger. As a result, any Cayley graph property $K$ lying between FFTP and MAC (i.e., $\text{FFTP}\Rightarrow K\Rightarrow\text{MAC}$) is dependent on the generating set. This includes the well known properties FFTP and almost convexity, which were already known to depend on the generating set as well as Poénaru's condition $P(2)$ and the basepoint loop shortening property for which dependence on the generating set was previously unknown. We also show that the Cayley graph $\Gamma$ does not have the loop shortening property, so this property also depends on the generating set.

Group Theory
Chromatic numbers of Cayley graphs of abelian groups: A matrix method

Jonathan Cervantes,Mike Krebs

DOI: https://doi.org/10.1016/j.laa.2023.07.016

2023-11-13

Abstract:In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.

Combinatorics
Some unitary representations of Thompson's groups F and T

Vaughan F. R. Jones,Vaughan F.R. Jones

DOI: https://doi.org/10.48550/arXiv.1412.7740

2014-12-24

Group Theory

Abstract:In a "naive" attempt to create algebraic quantum field theories on the circle, we obtain a family of unitary representations of Thompson's groups T and F for any subfactor. The Thompson group elements are the "local scale transformations" of the theory. In a simple case the coefficients of the representations are polynomial invariants of links. We show that all links arise and introduce new "oriented" subgroups $\overrightarrow F <F$ and $\overrightarrow T< T$ which allow us to produce all \emph{oriented} knots and links.
The Dehn Function of Richard Thompson's Group F is Quadratic

Victor Guba

DOI: https://doi.org/10.48550/arXiv.math/0211395

2002-11-26

Abstract:We prove that the Dehn function (that is, the smallest isoperimetric function) of the Richard Thompson's group F is quadratic.

Group Theory
Lower Order Terms for Expected Value of Traces of Frobenius of a Family of Cyclic Covers of $\mathbb{P}^1_{\mathbb{F}_q}$ and One-Level Densities

Patrick Meisner

DOI: https://doi.org/10.48550/arXiv.2006.16886

2020-06-30

Abstract:We consider the expected value of $\mbox{Tr}(\Theta_C^n)$ where $C$ runs over a thin family of $r$-cyclic covers of $\mathbb{P}^1_{\mathbb{F}_q}$ for any $r$. We obtain many lower order terms dependent on the divisors of $r$. We use these results to calculate the one-level density of the family and hypothesize a refined one-level density result.

Number Theory
An extension of Krishnan's central limit theorem to the Brown-Thompson groups

Valeriano Aiello

2024-09-06

Abstract:We extend a central limit theorem, recently established for the Thompson group $F=F_2$ by Krishnan, to the Brown-Thompson groups $F_p$, where $p$ is any integer greater than or equal to $2$. The non-commutative probability space considered is the group algebra $\mathbb{C}[F_p]$, equipped with the canonical trace. The random variables in question are $a_n:= (x_n + x_n^{-1})/\sqrt{2}$, where $\{x_i\}_{i\geq 0}$ represents the standard family of infinite generators. Analogously to the case of $F=F_2$, it is established that the limit distribution of $s_n = (a_0 + \ldots + a_{n-1})/\sqrt{n}$ converges to the standard normal distribution. Furthermore, it is demonstrated that for a state corresponding to Jones's oriented subgroup $\vec{F}$, such a central limit theorem does not hold.

Operator Algebras,Probability
Finiteness properties of generalized Thompson groups via expansion sets

Daniel Farley

2024-09-11

Abstract:We outline a general procedure that builds classifying spaces for generalized Thompson groups $\Gamma$. The construction depends on a small number of choices: (1) an inverse semigroup $S$ of partial transformations that ``locally determine" $\Gamma$; (2) an equivalence relation on certain pairs $(f,D)$, and (3) an ``expansion" rule $\mathcal{E}$. These choices determine an \emph{expansion set} $\mathcal{B}$, which is a combinatorial device that outputs a simplicial complex $\Delta^{f}_{\mathcal{B}}$ upon which $\Gamma$ acts. Under favorable conditions, often achieved in practice, $\Delta^{f}_{\mathcal{B}}$ is contractible, and the action of $\Gamma$ has small stabilizers. The definition of $\Delta^{f}_{\mathcal{B}}$ is such that ascending and descending links in $\Delta^{f}_{\mathcal{B}}$ can be described via formulas that depend only on the expansion rule $\mathcal{E}$. The result is to facilitate the usual computations of the connectivity of the descending link. Under natural hypotheses, one can prove that the acting group has type $F_{\infty}$. The net effect of our results is to automate results of this kind. Several applications are given; in particular, we sketch unified proofs that $V$, $nV$, Röver's group $G$, and the Lodha-Moore group have type $F_{\infty}$.

Group Theory
Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra

Arnaud Brothier,Dilshan Wijesena

DOI: https://doi.org/10.1016/j.aim.2024.109871

2024-08-03

Abstract:We introduce the Pythagorean dimension: a natural number (or infinity) for all representations of the Cuntz algebra and certain unitary representations of the Richard Thompson groups called Pythagorean. For each natural number d we completely classify (in a functorial manner) all such representations using finite dimensional linear algebra. Their irreducible classes form a real manifold of dimension $2d^2+1$ playing the role of a moduli space. Apart from a finite disjoint union of circles, each point of the manifold corresponds to an irreducible unitary representation of Thompson's group F (which extends to the other Thompson groups and the Cuntz algebra) that is not monomial. The remaining circles provide monomial representations which we previously fully described and classified. We translate in our language a large number of previous results in the literature. We explain how our techniques extend them.

Operator Algebras,Group Theory
CAT(0) geometry for the Thompson Group

Dan-Titus Salajan

DOI: https://doi.org/10.48550/arXiv.1203.5749

2012-03-27

Abstract:We investigate Farley's CAT(0) cubical model for Thompson's group F (we adopt the classical language of F, using binary trees and piecewise linear maps). Main results include: in general, Thompson's group elements are parabolic; we find simple, exact formulas for the CAT(0) translation lengths, in particular the elements of F are ballistic and uniformly bounded away from zero; there exist flats of any dimension and we construct explicitly many of them; we reveal large regions in the Tits Boundary, for example the positive part of a non-separable Hilbert sphere, but also more complicated objects. En route, we solve several open problems proposed in Farley's papers.

Group Theory,Metric Geometry
Factor maps for automorphism groups via Cayley diagrams

Riley Thornton

2024-10-23

Abstract:We leverage a correspondence between group actions and edge-labelled graphs in two ways. First, we give a unified presentation of several folklore results connecting weak containment, local-global convergence, and continuous model theory. Second, we investigate the difference between $\operatorname{Aut}(\operatorname{Cay}(\Gamma))$-fiid combinatorics and $\Gamma$-fiid combinatorics for various marked groups $\Gamma$. It's straightforward to see that these differences vanish when $\operatorname{Cay}(\Gamma)$ admits an $\operatorname{Aut}(\operatorname{Cay}(\Gamma))$-fiid Cayley diagram. We extend this to show that the approximate combinatorics are the same when $\operatorname{Cay}(\Gamma)$ admits an approximate fiid Cayley diagram, and we give several examples and nonexamples of groups whose Cayley graphs admit (approximate) fiid Cayley diagrams. In particular, we show that trees admit approximate Cayley diagrams for any group whose Cayley graph is a tree; Cayley graphs of torsion free nilpotent groups do not admit fiid Cayley diagrams; and there are groups with isomorphic Cayley graphs so that only one them admits even an approximate Cayley diagram (in fact our construction answers a question of Weilacher).

Combinatorics,Dynamical Systems,Logic
Algebraic Cayley Graphs over Finite Fields

M. Lu,D. Wan,L. -P. Wang,X. -D. Zhang

DOI: https://doi.org/10.1016/j.ffa.2014.01.014

IF: 1.655

2014-01-01

Finite Fields and Their Applications

Abstract:A new algebraic Cayley graph is constructed using finite fields. It provides a more flexible source of expander graphs. Its connectedness, the number of connected components, and diameter bound are studied via Weil's estimate for character sums. Furthermore, we study the algorithmic problem of computing the number of connected components and establish a link to the integer factorization problem.
On zero-measured subsets of Thompson's group F

Victor Guba

2023-04-10

Abstract:A (discrete) group is called amenable whenever there exists a finitely additive right invariant probablity measure on it. For Thompson's group $F$ the problem whether it is amenable is a long-standing open question. We consider presentation of $F$ in terms of non-spherical semigroup diagrams. There is a natural partition of $F$ into 7 parts in terms of these diagrams. We show that for any measure with the above properties on $F$, all but one of these sets have zero measure. This helps to clarify the structure of Folner sets in $F$ provided the group is amenable.

Group Theory
On Thompson Problem

Rulin Shen,Wujie Shi,Feng Tang

2023-09-18

Abstract:In 1987, the second author of this paper reported his conjecture, all finite simple groups $S$ can be characterized uniformly using the order of $S$ and the set of element orders in $S$, to Prof. J. G. Thompson. In their communications, Thompson posed his problem about the judgment of solvability of finite groups $G$. In this paper we give a positive answer for Thompson's problem if the prime graph of $G$ is not connection.

Group Theory
Consequences of the random matrix solution to the Peterson-Thom conjecture

Ben Hayes,David Jekel,Srivatsav Kunnawalkam Elayavalli

2024-07-26

Abstract:In this paper we show various new structural properties of free group factors using the recent resolution (due independently to Belinschi-Capitaine and Bordenave-Collins) of the Peterson-Thom conjecture. These results include the resolution to the coarseness conjecture independently due to the first-named author and Popa, a generalization of Ozawa-Popa's celebrated strong solidity result using vastly more general versions of the normalizer (and in an ultraproduct setting), a dichotomy result for intertwining of maximal amenable subalgebras of interpolated free group factors, as well as application to ultraproduct embeddings of nonamenable subalgebras of interpolated free group factors.

Operator Algebras,Functional Analysis,Group Theory,Logic,Probability
On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

X. G. Fang,C. E. Praeger,J. Wang

DOI: https://doi.org/10.1112/S0024610702003666

2002-01-01

Abstract:Let G be a finite nonabelian simple group and let Gamma be a connected undirected Cayley graph for G. The possible structures for the full automorphism group AutGamma are specified. Then, for certain finite simple groups G, a sufficient condition is given under which G is a normal subgroup of AutGamma. Finally, as an application of these results, several new half-transitive graphs are constructed. Some of these involve the sporadic simple groups G J(1), J(4), Ly and BM, while others fall into two infinite families and involve the Ree simple groups and alternating groups. The two infinite families contain examples of half-transitive graphs of arbitrarily large valency.
Stallings Graphs, Algebraic Extensions and Primitive Elements in F2

Ori Parzanchevski,Doron Puder

DOI: https://doi.org/10.48550/arXiv.1210.6574

2012-10-24

Group Theory

Abstract:This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjecture by Miasnikov, Ventura and Weil, which seeks to characterize algebraic extensions in free groups in terms of Stallings graphs.

Cayley graphs of R. Thompson's group F: new estimates for the density

Amenability problem for Thompson's group $F$: state of the art

On the cogrowth of Thompson's group $F$

A central limit theorem in the framework of the Thompson group $F$

Finite groups with geodetic Cayley graphs

A Cayley graph for $F_{2}\times F_{2}$ which is not minimally almost convex

Chromatic numbers of Cayley graphs of abelian groups: A matrix method

Some unitary representations of Thompson's groups F and T

The Dehn Function of Richard Thompson's Group F is Quadratic

Lower Order Terms for Expected Value of Traces of Frobenius of a Family of Cyclic Covers of $\mathbb{P}^1_{\mathbb{F}_q}$ and One-Level Densities

An extension of Krishnan's central limit theorem to the Brown-Thompson groups

Finiteness properties of generalized Thompson groups via expansion sets

Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra

CAT(0) geometry for the Thompson Group

Factor maps for automorphism groups via Cayley diagrams

Algebraic Cayley Graphs over Finite Fields

On zero-measured subsets of Thompson's group F

On Thompson Problem

Consequences of the random matrix solution to the Peterson-Thom conjecture

On the Automorphism Groups of Cayley Graphs of Finite Simple Groups

Stallings Graphs, Algebraic Extensions and Primitive Elements in F2