-
Non-commutative error correcting codes and proper subgroup testing
Authors:
Michael Chapman,
Irit Dinur,
Alexander Lubotzky
Abstract:
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the fo…
▽ More
Property testing has been a major area of research in computer science in the last three decades. By property testing we refer to an ensemble of problems, results and algorithms which enable to deduce global information about some data by only reading small random parts of it. In recent years, this theory found its way into group theory, mainly via group stability.
In this paper, we study the following problem: Devise a randomized algorithm that given a subgroup $H$ of $G$, decides whether $H$ is the whole group or a proper subgroup, by checking whether a single (random) element of $G$ is in $H$. The search for such an algorithm boils down to the following purely group theoretic problem: For $G$ of rank $k$, find a small as possible test subset $A\subseteq G$ such that for every proper subgroup $H$, $|H\cap A|\leq (1-δ)|A|$ for some absolute constant $δ>0$, which we call the detection probability of $A$. It turns out that the search for sets $A$ of size linear in $k$ and constant detection probability is a non-commutative analogue of the classical search for families of good error correcting codes. This paper is devoted to proving that such test subsets exist, which implies good universal error correcting codes exist -- providing a far reaching generalization of the classical result of Shannon.
In addition, we study this problem in certain subclasses of groups -- such as abelian, nilpotent, and finite solvable groups -- providing different constructions of test subsets for these subclasses with various qualities. Finally, this generalized theory of non-commutative error correcting codes suggests a plethora of interesting problems and research directions.
△ Less
Submitted 28 June, 2024; v1 submitted 25 June, 2024;
originally announced June 2024.
-
Low Acceptance Agreement Tests via Bounded-Degree Symplectic HDXs
Authors:
Yotam Dikstein,
Irit Dinur,
Alexander Lubotzky
Abstract:
We solve the derandomized direct product testing question in the low acceptance regime, by constructing new high dimensional expanders that have no small connected covers. We show that our complexes have swap cocycle expansion, which allows us to deduce the agreement theorem by relying on previous work.
Derandomized direct product testing, also known as agreement testing, is the following proble…
▽ More
We solve the derandomized direct product testing question in the low acceptance regime, by constructing new high dimensional expanders that have no small connected covers. We show that our complexes have swap cocycle expansion, which allows us to deduce the agreement theorem by relying on previous work.
Derandomized direct product testing, also known as agreement testing, is the following problem. Let X be a family of k-element subsets of [n] and let $\{f_s:s\toΣ\}_{s\in X}$ be an ensemble of local functions, each defined over a subset $s\subset [n]$. Suppose that we run the following so-called agreement test: choose a random pair of sets $s_1,s_2\in X$ that intersect on $\sqrt k$ elements, and accept if $f_{s_1},f_{s_2}$ agree on the elements in $s_1\cap s_2$. We denote the success probability of this test by $Agr(\{f_s\})$. Given that $Agr(\{f_s\})=ε>0$, is there a global function $G:[n]\toΣ$ such that $f_s = G|_s$ for a non-negligible fraction of $s\in X$ ?
We construct a family X of k-subsets of $[n]$ such that $|X| = O(n)$ and such that it satisfies the low acceptance agreement theorem. Namely,
$Agr (\{f_s\}) > ε\; \; \longrightarrow$ there is a function $G:[n]\toΣ$ such that $\Pr_s[f_s\overset{0.99}{\approx} G|_s]\geq poly(ε)$.
A key idea is to replace the well-studied LSV complexes by symplectic high dimensional expanders (HDXs). The family X is just the k-faces of the new symplectic HDXs. The later serve our needs better since their fundamental group satisfies the congruence subgroup property, which implies that they lack small covers. We also give a polynomial-time algorithm to construct this family of symplectic HDXs.
△ Less
Submitted 12 April, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Some remarks on Grothendieck pairs
Authors:
Andrei Jaikin-Zapirain,
Alexander Lubotzky
Abstract:
We revisit the paper of Alexander Grothendiek where he introduced Grothendieck pairs and discuss the relation between profinite rigidity and left/right Grothendieck rigidity. We also show that various groups are left and/or right Grothendieck rigid and, in particular, all ascending HNN extensiona of finitely generated free groups are right Grothendieck rigid. Along the way we present a number of q…
▽ More
We revisit the paper of Alexander Grothendiek where he introduced Grothendieck pairs and discuss the relation between profinite rigidity and left/right Grothendieck rigidity. We also show that various groups are left and/or right Grothendieck rigid and, in particular, all ascending HNN extensiona of finitely generated free groups are right Grothendieck rigid. Along the way we present a number of questions and suggestions for further research.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Stability of Homomorphisms, Coverings and Cocycles II: Examples, Applications and Open problems
Authors:
Michael Chapman,
Alexander Lubotzky
Abstract:
Coboundary expansion (with $\mathbb{F}_2$ coefficients), and variations on it, have been the focus of intensive research in the last two decades. It was used to study random complexes, property testing, and above all Gromov's topological overlap** property.
In part I of this paper, we extended the notion of coboundary expansion (and its variations) to cochains with permutation coefficients, eq…
▽ More
Coboundary expansion (with $\mathbb{F}_2$ coefficients), and variations on it, have been the focus of intensive research in the last two decades. It was used to study random complexes, property testing, and above all Gromov's topological overlap** property.
In part I of this paper, we extended the notion of coboundary expansion (and its variations) to cochains with permutation coefficients, equipped with the normalized Hamming distance. We showed that this gives a unified language for studying covering stability of complexes, as well as stability of group homomorphisms -- a topic that drew a lot of attention in recent years.
In this part, we extend the theory to the permutation coefficients setting. This gives some new results, even for $\mathbb{F}_2$ coefficients, opens several new directions of research, and suggests a pattern to proving the existence of non-sofic groups.
Along the way, we solve the dimension $2$ case of a problem of Gromov, exhibiting a family of bounded degree coboundary expanders with $\mathbb{F}_2$ coefficients.
△ Less
Submitted 1 April, 2024; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Stability of Homomorphisms, Coverings and Cocycles I: Equivalence
Authors:
Michael Chapman,
Alexander Lubotzky
Abstract:
This paper is motivated by recent developments in group stability, high dimensional expansion, local testability of error correcting codes and topological property testing. In Part I, we formulate and motivate three stability problems: 1. Homomorphism stability: Are almost homomorphisms close to homomorphisms? 2. Covering stability: Are almost coverings of a cell complex close to genuine coverings…
▽ More
This paper is motivated by recent developments in group stability, high dimensional expansion, local testability of error correcting codes and topological property testing. In Part I, we formulate and motivate three stability problems: 1. Homomorphism stability: Are almost homomorphisms close to homomorphisms? 2. Covering stability: Are almost coverings of a cell complex close to genuine coverings of it? 3. Cocycle stability: Are 1-cochains whose coboundary is small close to 1-cocycles? We then prove that these three problems are equivalent.
△ Less
Submitted 1 April, 2024; v1 submitted 26 October, 2023;
originally announced October 2023.
-
Finite simple characteristic quotients of the free group of rank 2
Authors:
William Y. Chen,
Alex Lubotzky,
Pham Huu Tiep
Abstract:
In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides counterexamples to two conjectures in the theory of noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$. Our main result explicitly produces, for every prime p…
▽ More
In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides counterexamples to two conjectures in the theory of noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$. Our main result explicitly produces, for every prime power $q\ge 7$, the groups $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$ as characteristic quotients of $F_2$. Our strategy is to study specializations of the Burau representation for the braid group $B_4$, exploiting an exceptional relationship between $F_2$ and $B_4$ first observed by Dyer, Formanek, and Grossman. Weisfeiler's strong approximation theorem guarantees that our specializations are surjective for infinitely many primes, but it is not effective. To make our result effective, we give another proof of surjectivity via a careful analysis of the maximal subgroup structures of $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$. We also show that our examples of $\text{PSL}_3(\mathbb{F}_q)$ and $\text{PSU}_3(\mathbb{F}_q)$ are minimal in the sense that no group of the form $\text{PSL}_2(\mathbb{F}_q)$ is a characteristic quotient of $F_2$.
△ Less
Submitted 27 November, 2023; v1 submitted 28 August, 2023;
originally announced August 2023.
-
Stability and instability of lattices in semisimple groups
Authors:
Uri Bader,
Alexander Lubotzky,
Roman Sauer,
Shmuel Weinberger
Abstract:
Using cohomological methods, we show that lattices in semisimple groups are typically stable with respect to the Frobenius norm but not with respect to the operator norm.
Using cohomological methods, we show that lattices in semisimple groups are typically stable with respect to the Frobenius norm but not with respect to the operator norm.
△ Less
Submitted 30 August, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Asymptotic Cohomology and Uniform Stability for Lattices in Semisimple Groups
Authors:
Lev Glebsky,
Alexander Lubotzky,
Nicolas Monod,
Bharatram Rangarajan
Abstract:
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on finite-dimensional Hilbert spaces equipped with submultiplicative norms. Namely, we show that for (most) high-rank lattices, every finite-dimensional unitary "a…
▽ More
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on finite-dimensional Hilbert spaces equipped with submultiplicative norms. Namely, we show that for (most) high-rank lattices, every finite-dimensional unitary "almost-representation" of $Γ$ is a small deformation of a (true) unitary representation. This extends a result of Kazhdan (1983) for amenable groups and of Burger-Ozawa-Thom (2013) for SL(n,Z) (for n>2). Towards this goal, we first build an elaborate cohomological theory capturing the obstruction to such stability, and show that the vanishing of second cohomology implies uniform stability in this setting. This cohomology can be roughly thought of as an asymptotic version of bounded cohomology, and sheds light on a question raised in Monod (2006) about a possible connection between vanishing of second bounded cohomology and Ulam stability.
△ Less
Submitted 9 July, 2023; v1 submitted 1 January, 2023;
originally announced January 2023.
-
Property FA is not a profinite property
Authors:
Tamunonye Cheetham-West,
Alexander Lubotzky,
Alan W. Reid,
Ryan Spitler
Abstract:
We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $Δ$ and $Γ$ with $Δ$ having Property FA, $Γ$ having a non-trivial action on a tree and $Δ$ and $Γ$ having isomorphic profinite completions.
We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $Δ$ and $Γ$ with $Δ$ having Property FA, $Γ$ having a non-trivial action on a tree and $Δ$ and $Γ$ having isomorphic profinite completions.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Good Locally Testable Codes
Authors:
Irit Dinur,
Shai Evra,
Ron Livne,
Alexander Lubotzky,
Shahar Mozes
Abstract:
An explicit construction of locally testable codes of constant rate, constant distance and constant number of queries is given. Hence answering affirmatively the $c^3$-problem.
An explicit construction of locally testable codes of constant rate, constant distance and constant number of queries is given. Hence answering affirmatively the $c^3$-problem.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Testability in group theory
Authors:
Oren Becker,
Alexander Lubotzky,
Jonathan Mosheiff
Abstract:
This paper is a journal counterpart to our FOCS 2021 paper, in which we initiate the study of property testing problems concerning a finite system of relations $E$ between permutations, generalizing the study of stability in permutations. To every such system $E$, a group $Γ=Γ_E$ is associated and the testability of $E$ depends only on $Γ$ (just like in Galois theory, where the solvability of a po…
▽ More
This paper is a journal counterpart to our FOCS 2021 paper, in which we initiate the study of property testing problems concerning a finite system of relations $E$ between permutations, generalizing the study of stability in permutations. To every such system $E$, a group $Γ=Γ_E$ is associated and the testability of $E$ depends only on $Γ$ (just like in Galois theory, where the solvability of a polynomial is determined by the solvability of the associated group). This leads to the notion of testable groups, and, more generally, Benjamini-Schramm rigid groups. The paper presents an ensemble of tools to check if a given group $Γ$ is testable/BS-rigid or not.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Sylow-conjugate number fields
Authors:
Alexander Lubotzky,
Danny Neftin
Abstract:
By a classical result of Neukirch and Uchida, a number field K is determined by the structure of its absolute Galois group Gal(K). We show that K is not determined by the structure of the Sylow subgroups of Gal(K), answering a question raised by Florian Pop.
By a classical result of Neukirch and Uchida, a number field K is determined by the structure of its absolute Galois group Gal(K). We show that K is not determined by the structure of the Sylow subgroups of Gal(K), answering a question raised by Florian Pop.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Locally Testable Codes with constant rate, distance, and locality
Authors:
Irit Dinur,
Shai Evra,
Ron Livne,
Alexander Lubotzky,
Shahar Mozes
Abstract:
A locally testable code (LTC) is an error-correcting code that has a property-tester. The tester reads $q$ bits that are randomly chosen, and rejects words with probability proportional to their distance from the code. The parameter $q$ is called the locality of the tester.
LTCs were initially studied as important components of PCPs, and since then the topic has evolved on its own. High rate LTC…
▽ More
A locally testable code (LTC) is an error-correcting code that has a property-tester. The tester reads $q$ bits that are randomly chosen, and rejects words with probability proportional to their distance from the code. The parameter $q$ is called the locality of the tester.
LTCs were initially studied as important components of PCPs, and since then the topic has evolved on its own. High rate LTCs could be useful in practice: before attempting to decode a received word, one can save time by first quickly testing if it is close to the code.
An outstanding open question has been whether there exist "$c^3$-LTCs", namely LTCs with *c*onstant rate, *c*onstant distance, and *c*onstant locality.
In this work we construct such codes based on a new two-dimensional complex which we call a left-right Cayley complex. This is essentially a graph which, in addition to vertices and edges, also has squares. Our codes can be viewed as a two-dimensional version of (the one-dimensional) expander codes, where the codewords are functions on the squares rather than on the edges.
△ Less
Submitted 15 December, 2021; v1 submitted 8 November, 2021;
originally announced November 2021.
-
On the Asymptotic Number of Generators of High Rank Arithmetic Lattices
Authors:
Alexander Lubotzky,
Raz Slutsky
Abstract:
$ $Abert, Gelander and Nikolov [AGN17] conjectured that the number of generators $d(Γ)$ of a lattice $Γ$ in a high rank simple Lie group $H$ grows sub-linearly with $v = μ(H / Γ)$, the co-volume of $Γ$ in $H$. We prove this for non-uniform lattices in a very strong form, showing that for $2-$generic such $H$'s, $d(Γ) = O_H(\log v / \log \log v)…
▽ More
$ $Abert, Gelander and Nikolov [AGN17] conjectured that the number of generators $d(Γ)$ of a lattice $Γ$ in a high rank simple Lie group $H$ grows sub-linearly with $v = μ(H / Γ)$, the co-volume of $Γ$ in $H$. We prove this for non-uniform lattices in a very strong form, showing that for $2-$generic such $H$'s, $d(Γ) = O_H(\log v / \log \log v)$, which is essentially optimal. While we can not prove a new upper bound for uniform lattices, we will show that for such lattices one can not expect to achieve a better bound than $d(Γ) = O(\log v)$.
△ Less
Submitted 18 January, 2021;
originally announced January 2021.
-
Testability of relations between permutations
Authors:
Oren Becker,
Alexander Lubotzky,
Jonathan Mosheiff
Abstract:
We initiate the study of property testing problems concerning relations between permutations. In such problems, the input is a tuple $(σ_1,\dotsc,σ_d)$ of permutations on $\{1,\dotsc,n\}$, and one wishes to determine whether this tuple satisfies a certain system of relations $E$, or is far from every tuple that satisfies $E$. If this computational problem can be solved by querying only a small num…
▽ More
We initiate the study of property testing problems concerning relations between permutations. In such problems, the input is a tuple $(σ_1,\dotsc,σ_d)$ of permutations on $\{1,\dotsc,n\}$, and one wishes to determine whether this tuple satisfies a certain system of relations $E$, or is far from every tuple that satisfies $E$. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single relation $\mathsf{XY=YX}$, this corresponds to testing whether $σ_1σ_2=σ_2σ_1$, where $σ_1σ_2$ and $σ_2σ_1$ denote composition of permutations.
We define a collection of graphs, naturally associated with the system $E$, that encodes all the information relevant to the testability of $E$. We then prove two theorems that provide criteria for testability and non-testability in terms of expansion properties of these graphs. By virtue of a deep connection with group theory, both theorems are applicable to wide classes of systems of relations.
In addition, we formulate the well-studied group-theoretic notion of stability in permutations as a special case of the testability notion above, interpret all previous works on stability as testability results, survey previous results on stability from a computational perspective, and describe many directions for future research on stability and testability.
△ Less
Submitted 13 October, 2021; v1 submitted 10 November, 2020;
originally announced November 2020.
-
Constructing highly regular expanders from hyperbolic Coxeter groups
Authors:
Marston Conder,
Alexander Lubotzky,
Jeroen Schillewaert,
François Thilmany
Abstract:
A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of…
▽ More
A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist.
In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$.
This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
The Congruence Subgroup Problem for finitely generated Nilpotent Groups
Authors:
David El-Chai Ben-Ezra,
Alexander Lubotzky
Abstract:
The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In the case $G=Aut(Γ)$ we denote $C\left(Γ\right)=C\left(Aut(Γ),Γ\right)$.
Let $Γ$ be a finitely generated group, $\barΓ=Γ/[Γ,Γ]$, and…
▽ More
The congruence subgroup problem for a finitely generated group $Γ$ and $G\leq Aut(Γ)$ asks whether the map $\hat{G}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(G,Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In the case $G=Aut(Γ)$ we denote $C\left(Γ\right)=C\left(Aut(Γ),Γ\right)$.
Let $Γ$ be a finitely generated group, $\barΓ=Γ/[Γ,Γ]$, and $Γ^{*}=\barΓ/tor(\barΓ)\cong\mathbb{Z}^{(d)}$. Denote $Aut^{*}(Γ)=\textrm{Im}(Aut(Γ)\to Aut(Γ^{*}))\leq GL_{d}(\mathbb{Z})$. In this paper we show that when $Γ$ is nilpotent, there is a canonical isomorphism $C\left(Γ\right)\simeq C(Aut^{*}(Γ),Γ^{*})$. In other words, $C\left(Γ\right)$ is completely determined by the solution to the classical congruence subgroup problem for the arithmetic group $Aut^{*}(Γ)$.
In particular, in the case where $Γ=Ψ_{n,c}$ is a finitely generated free nilpotent group of class $c$ on $n$ elements, we get that $C(Ψ_{n,c})=C(\mathbb{Z}^{(n)})=\{e\}$ whenever $n\geq3$, and $C(Ψ_{2,c})=C(\mathbb{Z}^{(2)})=\hat{F}_ω$ = the free profinite group on countable number of generators.
△ Less
Submitted 7 May, 2020;
originally announced May 2020.
-
On representations of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$, $\widehat{GT}$ and $\mathrm{Aut}(\hat{F}_2)$
Authors:
Frauke M. Bleher,
Ted Chinburg,
Alexander Lubotzky
Abstract:
By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is…
▽ More
By work of Belyi, the absolute Galois group $G_{\mathbb{Q}}=\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be embedded into $A=\mathrm{Aut}(\widehat{F_2})$, the automorphism group of the free profinite group $\widehat{F_2}$ on two generators. The image of $G_{\mathbb{Q}}$ lies inside $\widehat{GT}$, the Grothendieck-Teichmüller group. While it is known that every abelian representation of $G_{\mathbb{Q}}$ can be extended to $\widehat{GT}$, Lochak and Schneps put forward the challenge of constructing irreducible non-abelian representations of $\widehat{GT}$. We do this virtually, namely by showing that a rich class of arithmetically defined representations of $G_{\mathbb{Q}}$ can be extended to finite index subgroups of $\widehat{GT}$. This is achieved, in fact, by extending these representations all the way to finite index subgroups of $A=\mathrm{Aut}(\widehat{F_2})$. We do this by develo** a profinite version of the work of Grunewald and Lubotzky, which provided a rich collection of representations for the discrete group $\mathrm{Aut}(F_d)$.
△ Less
Submitted 10 June, 2021; v1 submitted 19 April, 2020;
originally announced April 2020.
-
Uncountably many permutation stable groups
Authors:
Arie Levit,
Alexander Lubotzky
Abstract:
In a 1937 paper B.H. Neumann constructed an uncountable family of $2$-generated groups. We prove that all of his groups are permutation stable by analyzing the structure of their invariant random subgroups.
In a 1937 paper B.H. Neumann constructed an uncountable family of $2$-generated groups. We prove that all of his groups are permutation stable by analyzing the structure of their invariant random subgroups.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Infinitely presented stable groups and invariant random subgroups of metabelian groups
Authors:
Arie Levit,
Alexander Lubotzky
Abstract:
We prove that all invariant random subgroups of the lamplighter group $L$ are co-sofic. It follows that $L$ is permutation stable, providing an example of an infinitely presented such a group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.
We prove that all invariant random subgroups of the lamplighter group $L$ are co-sofic. It follows that $L$ is permutation stable, providing an example of an infinitely presented such a group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.
△ Less
Submitted 26 November, 2019; v1 submitted 25 September, 2019;
originally announced September 2019.
-
From Ramanujan Graphs to Ramanujan Complexes
Authors:
Alexander Lubotzky,
Ori Parzanchevski
Abstract:
Ramanujan graphs are graphs whose spectrum is bounded optimally. Such graphs have found numerous applications in combinatorics and computer science. In recent years, a high dimensional theory has emerged. In this paper these developments are surveyed. After explaining their connection to the Ramanujan conjecture we will present some old and new results with an emphasis on random walks on these dis…
▽ More
Ramanujan graphs are graphs whose spectrum is bounded optimally. Such graphs have found numerous applications in combinatorics and computer science. In recent years, a high dimensional theory has emerged. In this paper these developments are surveyed. After explaining their connection to the Ramanujan conjecture we will present some old and new results with an emphasis on random walks on these discrete objects and on the Euclidean spheres. The latter lead to "golden gates" which are of importance in quantum computation.
△ Less
Submitted 6 April, 2019;
originally announced April 2019.
-
What Is... A Thin Group?
Authors:
Alex Kontorovich,
D. Darren Long,
Alexander Lubotzky,
Alan W. Reid
Abstract:
This paper describes in basic terms what a "Thin Group" is, as well as its uses in various subjects.
This paper describes in basic terms what a "Thin Group" is, as well as its uses in various subjects.
△ Less
Submitted 5 December, 2018;
originally announced December 2018.
-
Linear representations of random groups
Authors:
Gady Kozma,
Alexander Lubotzky
Abstract:
We show that for a fixed k, Gromov random groups with any positive density have no non-trivial degree-k representations over any field, a.a.s. This is especially interesting in light of the results of Agol, Ollivier and Wise that when the density is less than 1/6 such groups have a faithful linear representation over the rationals, a.a.s.
We show that for a fixed k, Gromov random groups with any positive density have no non-trivial degree-k representations over any field, a.a.s. This is especially interesting in light of the results of Agol, Ollivier and Wise that when the density is less than 1/6 such groups have a faithful linear representation over the rationals, a.a.s.
△ Less
Submitted 2 October, 2018;
originally announced October 2018.
-
Group stability and Property (T)
Authors:
Oren Becker,
Alexander Lubotzky
Abstract:
In recent years, there has been a considerable amount of interest in the stability of a finitely-generated group $Γ$ with respect to a sequence of groups $\left\{G_{n}\right\}_{n=1}^{\infty}$, equipped with bi-invariant metrics $\left\{d_{n}\right\}_{n=1}^{\infty}$. We consider the case $G_{n}=\operatorname{U}\left(n\right)$ (resp. $G_{n}=\operatorname{Sym}\left(n\right)$), equipped with the norma…
▽ More
In recent years, there has been a considerable amount of interest in the stability of a finitely-generated group $Γ$ with respect to a sequence of groups $\left\{G_{n}\right\}_{n=1}^{\infty}$, equipped with bi-invariant metrics $\left\{d_{n}\right\}_{n=1}^{\infty}$. We consider the case $G_{n}=\operatorname{U}\left(n\right)$ (resp. $G_{n}=\operatorname{Sym}\left(n\right)$), equipped with the normalized Hilbert-Schmidt metric $d_{n}^{\operatorname{HS}}$ (resp. the normalized Hamming metric $d_{n}^{\operatorname{Hamming}}$). Our main result is that if $Γ$ is infinite, hyperlinear (resp. sofic) and has Property $\operatorname{(T)}$, then it is not stable with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ (resp. $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$). This answers a question of Hadwin and Shulman regarding the stability of $\operatorname{SL}_{3}\left(\mathbb{Z}\right)$. We also deduce that the map** class group $\operatorname{MCG}\left(g\right)$, $g\geq 3$, and $\operatorname{Aut}\left(\mathbb{F}_n\right)$, $n\geq 3$, are not stable with respect to $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$. Our main result exhibits a difference between stability with respect to the normalized Hilbert-Schmidt metric on $\operatorname{U}\left(n\right)$ and the (unnormalized) $p$-Schatten metrics, since many groups with Property $\operatorname{(T)}$ are stable with respect to the latter metrics, as shown by De Chiffre-Glebsky-Lubotzky-Thom and Lubotzky-Oppenheim. We suggest a more flexible notion of stability that may repair this deficiency of stability with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ and $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$.
△ Less
Submitted 22 February, 2019; v1 submitted 3 September, 2018;
originally announced September 2018.
-
Non p-norm approximated Groups
Authors:
Alexander Lubotzky,
Izhar Oppenheim
Abstract:
It was shown in a previous work of the first named author with De Chiffre, Glebsky and Thom that there exists a finitely presented group which cannot be approximated by almost-homomorphisms to the unitary groups $U(n)$ equipped with the Frobenius norms (a.k.a as $L^2$ norm, or the Schatten-2-norm). In his ICM18 lecture, Andreas Thom asks if this result can be extended to general Schatten-p-norms.…
▽ More
It was shown in a previous work of the first named author with De Chiffre, Glebsky and Thom that there exists a finitely presented group which cannot be approximated by almost-homomorphisms to the unitary groups $U(n)$ equipped with the Frobenius norms (a.k.a as $L^2$ norm, or the Schatten-2-norm). In his ICM18 lecture, Andreas Thom asks if this result can be extended to general Schatten-p-norms. We show that this is indeed the case for $1<p< \infty$.
△ Less
Submitted 27 January, 2019; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Expansion in simple groups
Authors:
Emmanuel Breuillard,
Alexander Lubotzky
Abstract:
Two short seminal papers of Margulis used Kazhdan's property $(T)$ to give, on the one hand, explicit constructions of expander graphs, and to prove, on the other hand, the uniqueness of some invariant means on compact simple Lie groups. These papers opened a rich line of research on expansion and spectral gap phenomena in finite and compact simple groups. In this paper we survey the history of th…
▽ More
Two short seminal papers of Margulis used Kazhdan's property $(T)$ to give, on the one hand, explicit constructions of expander graphs, and to prove, on the other hand, the uniqueness of some invariant means on compact simple Lie groups. These papers opened a rich line of research on expansion and spectral gap phenomena in finite and compact simple groups. In this paper we survey the history of this area and point out a number of problems which are still open.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Stability and Invariant Random Subgroups
Authors:
Oren Becker,
Alexander Lubotzky,
Andreas Thom
Abstract:
Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $Γ$ is \emph{P-stable} if every almost homomorphism $ρ_{n_k}\colon Γ\rightarrow\operatorname{Sym}(n_k)$ (i.e., for every $g,h\inΓ$, $\lim_{k\rightarrow\infty}d_{n_k}( ρ_{n_k}(gh),ρ_{n_k}(g)ρ_{n_k}(h))=0$) is close to an actual homomorphism…
▽ More
Consider $\operatorname{Sym}(n)$, endowed with the normalized Hamming metric $d_n$. A finitely-generated group $Γ$ is \emph{P-stable} if every almost homomorphism $ρ_{n_k}\colon Γ\rightarrow\operatorname{Sym}(n_k)$ (i.e., for every $g,h\inΓ$, $\lim_{k\rightarrow\infty}d_{n_k}( ρ_{n_k}(gh),ρ_{n_k}(g)ρ_{n_k}(h))=0$) is close to an actual homomorphism $\varphi_{n_k} \colonΓ\rightarrow\operatorname{Sym}(n_k)$. Glebsky and Rivera observed that finite groups are P-stable, while Arzhantseva and Păunescu showed the same for abelian groups and raised many questions, especially about P-stability of amenable groups. We develop P-stability in general, and in particular for amenable groups. Our main tool is the theory of invariant random subgroups (IRS), which enables us to give a characterization of P-stability among amenable groups, and to deduce stability and instability of various families of amenable groups.
△ Less
Submitted 15 February, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
High Dimensional Expanders
Authors:
Alexander Lubotzky
Abstract:
Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence and applications going both ways (cf. [Lub94], [HLW06], [Lub12] and the references therein). In the last decade, a theory of "high dimensional expanders" has begun to emerge. The goal of the current paper is to describe some paths of this…
▽ More
Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence and applications going both ways (cf. [Lub94], [HLW06], [Lub12] and the references therein). In the last decade, a theory of "high dimensional expanders" has begun to emerge. The goal of the current paper is to describe some paths of this new area of study.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Stability, cohomology vanishing, and non-approximable groups
Authors:
Marcus De Chiffre,
Lev Glebsky,
Alex Lubotzky,
Andreas Thom
Abstract:
Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\mathrm{Sym}(n)$ (in the sofic case) or the finite dimensional unitary groups ${\rm U}(n)$ (in the hyperlinear case)? In the case of ${\rm U}(n)$, the question can be asked with respect to different metrics and norm…
▽ More
Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\mathrm{Sym}(n)$ (in the sofic case) or the finite dimensional unitary groups ${\rm U}(n)$ (in the hyperlinear case)? In the case of ${\rm U}(n)$, the question can be asked with respect to different metrics and norms. This paper answers, for the first time, one of these versions, showing that there exist fintely presented groups which are not approximated by ${\rm U}(n)$ with respect to the Frobenius norm $\|T\|_{\rm{Frob}}=\sqrt{\sum_{i,j=1}^n|T_{ij}|^2},T=[T_{ij}]_{i,j=1}^n\in\mathrm{M}_n(\mathbb C)$. Our strategy is to show that some higher dimensional cohomology vanishing phenomena implies stability, that is, every Frobenius-approximate homomorphism into finite-dimensional unitary groups is close to an actual homomorphism. This is combined with existence results of certain non-residually finite central extensions of lattices in some simple $p$-adic Lie groups. These groups act on high rank Bruhat-Tits buildings and satisfy the needed vanishing cohomology phenomenon and are thus stable and not Frobenius-approximated.
△ Less
Submitted 15 February, 2018; v1 submitted 28 November, 2017;
originally announced November 2017.
-
Ramanujan Graphs
Authors:
Alexander Lubotzky
Abstract:
This is an item on Ramanujan Graphs for a planned encyclopedia on Ramanujan. The notion of Ramanujan graphs is explained, as well as the reason to name these graphs after Ramanujan.
This is an item on Ramanujan Graphs for a planned encyclopedia on Ramanujan. The notion of Ramanujan graphs is explained, as well as the reason to name these graphs after Ramanujan.
△ Less
Submitted 15 November, 2017;
originally announced November 2017.
-
The congruence topology, Grothendieck duality and thin groups
Authors:
Alexander Lubotzky,
T. N. Venkataramana
Abstract:
This paper answers a question raised by Grothendieck in 1970 on the "Grothendieck closure" of an integral linear group and proves a conjecture of the first author made in 1980. This is done by a detailed study of the congruence topology of arithmetic groups, obtaining along the way, an arithmetic analogue of a classical result of Chevalley for complex algebraic groups. As an application we also de…
▽ More
This paper answers a question raised by Grothendieck in 1970 on the "Grothendieck closure" of an integral linear group and proves a conjecture of the first author made in 1980. This is done by a detailed study of the congruence topology of arithmetic groups, obtaining along the way, an arithmetic analogue of a classical result of Chevalley for complex algebraic groups. As an application we also deduce a group theoretic characterization of thin subgroups of arithmetic groups.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
First order rigidity of non-uniform higher rank arithmetic lattices
Authors:
Nir Avni,
Alexander Lubotzky,
Chen Meiri
Abstract:
If $Γ$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $Λ$ is a finitely generated group that is elementarily equivalent to $Γ$, then $Λ$ is isomorphic to $Γ$.
If $Γ$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $Λ$ is a finitely generated group that is elementarily equivalent to $Γ$, then $Λ$ is isomorphic to $Γ$.
△ Less
Submitted 8 September, 2017;
originally announced September 2017.
-
Counting non-uniform lattices
Authors:
Mikhail Belolipetsky,
Alex Lubotzky
Abstract:
In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(γ(H)+o(1))\log x/\log\log x}$ where $γ(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups…
▽ More
In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(γ(H)+o(1))\log x/\log\log x}$ where $γ(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices.
△ Less
Submitted 30 March, 2018; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Good cyclic codes and the uncertainty principle
Authors:
Shai Evra,
Emmanuel Kowalski,
Alexander Lubotzky
Abstract:
A long standing problem in the area of error correcting codes asks whether there exist good cyclic codes. Most of the known results point in the direction of a negative answer.
The uncertainty principle is a classical result of harmonic analysis asserting that given a non-zero function $f$ on some abelian group, either $f$ or its Fourier transform $\hat{f}$ has large support.
In this note, we…
▽ More
A long standing problem in the area of error correcting codes asks whether there exist good cyclic codes. Most of the known results point in the direction of a negative answer.
The uncertainty principle is a classical result of harmonic analysis asserting that given a non-zero function $f$ on some abelian group, either $f$ or its Fourier transform $\hat{f}$ has large support.
In this note, we observe a connection between these two subjects. We point out that even a weak version of the uncertainty principle for fields of positive characteristic would imply that good cyclic codes do exist. We also provide some heuristic arguments supporting that this is indeed the case.
△ Less
Submitted 18 April, 2017; v1 submitted 3 March, 2017;
originally announced March 2017.
-
Generalized triangle groups, expanders, and a problem of Agol and Wise
Authors:
Alexander Lubotzky,
Jason Fox Manning,
Henry Wilton
Abstract:
Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak.
Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak.
△ Less
Submitted 29 May, 2018; v1 submitted 27 February, 2017;
originally announced February 2017.
-
Random walks on Ramanujan complexes and digraphs
Authors:
Eyal Lubetzky,
Alex Lubotzky,
Ori Parzanchevski
Abstract:
The cutoff phenomenon was recently confirmed for random walks on Ramanujan graphs by the first author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group $G$ over a local field $F$. We show that if $T$ is any $k$-regular $G$-equivariant operator on the Bruhat-Tits building with a simple combinatorial pro…
▽ More
The cutoff phenomenon was recently confirmed for random walks on Ramanujan graphs by the first author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group $G$ over a local field $F$. We show that if $T$ is any $k$-regular $G$-equivariant operator on the Bruhat-Tits building with a simple combinatorial property (collision-free), the associated random walk on the $n$-vertex Ramanujan complex has cutoff at time $\log_k n$. The high dimensional case, unlike that of graphs, requires tools from non-commutative harmonic analysis and the infinite-dimensional representation theory of $G$. Via these, we show that operators $T$ as above on Ramanujan complexes give rise to Ramanujan digraphs with a special property ($r$-normal), implying cutoff. Applications include geodesic flow operators, geometric implications, and a confirmation of the Riemann Hypothesis for the associated zeta functions over every group $G$, previously known for groups of type $\widetilde A_n$ and $\widetilde C_2$.
△ Less
Submitted 6 March, 2017; v1 submitted 17 February, 2017;
originally announced February 2017.
-
The Congruence Subgroup Problem for low rank Free and Free Metabelian groups
Authors:
David El-Chai Ben-Ezra,
Alexander Lubotzky
Abstract:
The congruence subgroup problem for a finitely generated group $Γ$ asks whether $\widehat{Aut\left(Γ\right)}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we first give two new short proofs of two known results (for $Γ=F_{2}$ and $Φ_{2}$) and a new result for $Γ=Φ_{3}$:
1.…
▽ More
The congruence subgroup problem for a finitely generated group $Γ$ asks whether $\widehat{Aut\left(Γ\right)}\to Aut(\hatΓ)$ is injective, or more generally, what is its kernel $C\left(Γ\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In this paper we first give two new short proofs of two known results (for $Γ=F_{2}$ and $Φ_{2}$) and a new result for $Γ=Φ_{3}$:
1. $C\left(F_{2}\right)=\left\{ e\right\}$ when $F_{2}$ is the free group on two generators.
2. $C\left(Φ_{2}\right)=\hat{F}_ω$ when $Φ_{n}$ is the free metabelian group on $n$ generators, and $\hat{F}_ω$ is the free profinite group on $\aleph_{0}$ generators.
3. $C\left(Φ_{3}\right)$ contains $\hat{F}_ω$.
Results 2. and 3. should be contrasted with an upcoming result of the first author showing that $C\left(Φ_{n}\right)$ is abelian for $n\geq4$.
△ Less
Submitted 29 December, 2016; v1 submitted 14 August, 2016;
originally announced August 2016.
-
On groups and simplicial complexes
Authors:
Alexander Lubotzky,
Zur Luria,
Ron Rosenthal
Abstract:
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the conc…
▽ More
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
A trichotomy theorem for transformation groups of locally symmetric manifolds and topological rigidity
Authors:
Sylvain Cappell,
Alexander Lubotzky,
Shmuel Weinberger
Abstract:
Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is isomorphic to a subgroup of $G$. Borel [Bo] asked if there exist $M$'s with $G(M)$ trivial and if the number of conjugacy classes of finite subgroups of…
▽ More
Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is isomorphic to a subgroup of $G$. Borel [Bo] asked if there exist $M$'s with $G(M)$ trivial and if the number of conjugacy classes of finite subgroups of $\text{Homeo}^+(M)$ is finite. We answer both questions: (1) For every finite group $G$ there exist $M$'s with $G(M) = G$, and (2) the number of maximal subgroups of $\text{Homeo}^+(M)$ can be either one, countably many or continuum and we determine (at least for $\dim M \neq 4$) when each case occurs. Our detailed analysis of (2) also gives a complete characterization of the topological local rigidity and topological strong rigidity (for dim$M\neq 4$) of proper discontinuous actions of uniform lattices in semisimple Lie groups on the associated symmetric spaces.
△ Less
Submitted 3 January, 2016;
originally announced January 2016.
-
Random Steiner systems and bounded degree coboundary expanders of every dimension
Authors:
Alexander Lubotzky,
Zur Luria,
Ron Rosenthal
Abstract:
We introduce a new model of random $d$-dimensional simplicial complexes, for $d\geq 2$, whose $(d-1)$-cells have bounded degrees. We show that with high probability, complexes sampled according to this model are coboundary expanders. The construction relies on Keevash's recent result on designs [Ke14], and the proof of the expansion uses techniques developed by Evra and Kaufman in [EK15]. This giv…
▽ More
We introduce a new model of random $d$-dimensional simplicial complexes, for $d\geq 2$, whose $(d-1)$-cells have bounded degrees. We show that with high probability, complexes sampled according to this model are coboundary expanders. The construction relies on Keevash's recent result on designs [Ke14], and the proof of the expansion uses techniques developed by Evra and Kaufman in [EK15]. This gives a full solution to a question raised in [DK12], which was solved in the two-dimensional case by Lubotzky and Meshulam [LM13].
△ Less
Submitted 28 December, 2015;
originally announced December 2015.
-
Presentations: from Kac-Moody groups to profinite and back
Authors:
Inna Capdeboscq,
Alexander Lubotzky,
Bertrand Rémy
Abstract:
We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.
We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.
△ Less
Submitted 29 August, 2016; v1 submitted 3 August, 2015;
originally announced August 2015.
-
Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders
Authors:
Tali Kaufman,
David Kazhdan,
Alexander Lubotzky
Abstract:
Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged, and several variants have been studied. Among them stand out coboundary expansion and topological expansion. It is known that for every $d$ there are unbounded degree simplicial complexes of dimension $d$ with these properties. However, a major open problem, f…
▽ More
Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged, and several variants have been studied. Among them stand out coboundary expansion and topological expansion. It is known that for every $d$ there are unbounded degree simplicial complexes of dimension $d$ with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders exist for $d \geq 2$.
We present an explicit construction of bounded degree complexes of dimension $d=2$ which are topological expanders, thus answering Gromov's question in the affirmative. Conditional on a conjecture of Serre on the congruence subgroup property, infinite sub-family of these give also a family of bounded degree coboundary expanders.
The main technical tools are new isoperimetric inequalities for Ramanujan Complexes. We prove linear size bounds on $F_2$ systolic invariants of these complexes, which seem to be the first linear $F_2$ systolic bounds. The expansion results are deduced from these isoperimetric inequalities.
△ Less
Submitted 4 September, 2014;
originally announced September 2014.
-
Ramanujan Complexes and bounded degree topological expanders
Authors:
Tali Kaufman,
David Kazhdan,
Alexander Lubotzky
Abstract:
Expander graphs have been a focus of attention in computer science in the last four decades. In recent years a high dimensional theory of expanders is emerging. There are several possible generalizations of the theory of expansion to simplicial complexes, among them stand out coboundary expansion and topological expanders. It is known that for every d there are unbounded degree simplicial complexe…
▽ More
Expander graphs have been a focus of attention in computer science in the last four decades. In recent years a high dimensional theory of expanders is emerging. There are several possible generalizations of the theory of expansion to simplicial complexes, among them stand out coboundary expansion and topological expanders. It is known that for every d there are unbounded degree simplicial complexes of dimension d with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders, according to these definitions, exist for d >= 2. We present an explicit construction of bounded degree complexes of dimension d = 2 which are high dimensional expanders. More precisely, our main result says that the 2-skeletons of the 3-dimensional Ramanujan complexes are topological expanders. Assuming a conjecture of Serre on the congruence subgroup property, infinitely many of them are also coboundary expanders.
△ Less
Submitted 27 August, 2014;
originally announced August 2014.
-
Mixing properties and the chromatic number of Ramanujan complexes
Authors:
Shai Evra,
Konstantin Golubev,
Alexander Lubotzky
Abstract:
Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs.
Ramanujan complexes are high dimensional simplical complexes generalizing Ramanujan graphs. A result of Oh on quantitative property (T) for Lie groups over local fields is used to deduce a Mixing Lemma for such complexes. As an application we prove that non-partite Ramanujan complexes have 'high girth' and high chromatic number, generalizing a well known result about Ramanujan graphs.
△ Less
Submitted 30 July, 2014; v1 submitted 29 July, 2014;
originally announced July 2014.
-
Expansion of Building-Like Complexes
Authors:
Alexander Lubotzky,
Roy Meshulam,
Shahar Mozes
Abstract:
Following Gromov, the coboundary expansion of building-like complexes is studied. In particular, it is shown that for any $n \geq 1$, there exists a constant $ε(n)>0$ such that for any $0 \leq k <n$ the $k$-th coboundary expansion constant of any $n$-dimensional spherical building is at least $ε(n)$.
Following Gromov, the coboundary expansion of building-like complexes is studied. In particular, it is shown that for any $n \geq 1$, there exists a constant $ε(n)>0$ such that for any $0 \leq k <n$ the $k$-th coboundary expansion constant of any $n$-dimensional spherical building is at least $ε(n)$.
△ Less
Submitted 23 July, 2014;
originally announced July 2014.
-
Invariable Generation of Infinite Groups
Authors:
William M. Kantor,
Alexander Lubotzky,
Aner Shalev
Abstract:
A subset S of a group G invariably generates G if G = <s^(g(s)) | s in S> for each choice of g(s) in G, s in S. In this paper we study invariable generation of infinite groups, with emphasis on linear groups. Our main result shows that a finitely generated linear group is invariably generated by some finite set of elements if and only if it is virtually solvable. We also show that the profinite co…
▽ More
A subset S of a group G invariably generates G if G = <s^(g(s)) | s in S> for each choice of g(s) in G, s in S. In this paper we study invariable generation of infinite groups, with emphasis on linear groups. Our main result shows that a finitely generated linear group is invariably generated by some finite set of elements if and only if it is virtually solvable. We also show that the profinite completion of an arithmetic group having the congruence subgroup property is invariably generated by a finite set of elements.
△ Less
Submitted 17 July, 2014;
originally announced July 2014.
-
Random methods in 3-manifold theory
Authors:
Alexander Lubotzky,
Joseph Maher,
Conan Wu
Abstract:
We show that for any integers k and g, with g at least two, there are infinitely many closed hyperbolic 3-manifolds which are integral homology spheres with Casson invariant k, and Heegaard genus equal to g. This existence result is shown using random methods, using a model of random 3-manifolds arising from random walks on the map** class group of a closed orientable surface.
We show that for any integers k and g, with g at least two, there are infinitely many closed hyperbolic 3-manifolds which are integral homology spheres with Casson invariant k, and Heegaard genus equal to g. This existence result is shown using random methods, using a model of random 3-manifolds arising from random walks on the map** class group of a closed orientable surface.
△ Less
Submitted 25 May, 2014;
originally announced May 2014.
-
High Dimensional Expanders and Property Testing
Authors:
Tali Kaufman,
Alexander Lubotzky
Abstract:
We show that the high dimensional expansion property as defined by Gromov, Linial and Meshulam, for simplicial complexes is a form of testability. Namely, a simplicial complex is a high dimensional expander iff a suitable property is testable. Using this connection, we derive several testability results.
We show that the high dimensional expansion property as defined by Gromov, Linial and Meshulam, for simplicial complexes is a form of testability. Namely, a simplicial complex is a high dimensional expander iff a suitable property is testable. Using this connection, we derive several testability results.
△ Less
Submitted 9 December, 2013;
originally announced December 2013.
-
Quantum error-correcting codes and 4-dimensional arithmetic hyperbolic manifolds
Authors:
Larry Guth,
Alexander Lubotzky
Abstract:
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters cou…
▽ More
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters could exist at all.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Random Latin squares and 2-dimensional expanders
Authors:
Alexander Lubotzky,
Roy Meshulam
Abstract:
Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(φ) of every Z_2-valued 1-cochain φ\in C^1(X;Z_2) satisfies |support(d_1(φ))| \geq ε|\supp(φ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expander…
▽ More
Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(φ) of every Z_2-valued 1-cochain φ\in C^1(X;Z_2) satisfies |support(d_1(φ))| \geq ε|\supp(φ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.
△ Less
Submitted 12 July, 2013;
originally announced July 2013.