Showing 1–9 of 9 results for author: Becker, O

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.

Comments: 22 pages

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.

Comments: 42 pages; this version was accepted to FOCS 2021

Stability of approximate group actions: uniform and probabilistic

Authors: Oren Becker, Michael Chapman

Abstract: We prove that every uniform approximate homomorphism from a discrete amenable group into a symmetric group is uniformly close to a homomorphism into a slightly larger symmetric group. That is, amenable groups are uniformly flexibly stable in permutations. This answers affirmatively a question of Kun and Thom and a slight variation of a question of Lubotzky. We also give a negative answer to Lubotz… ▽ More We prove that every uniform approximate homomorphism from a discrete amenable group into a symmetric group is uniformly close to a homomorphism into a slightly larger symmetric group. That is, amenable groups are uniformly flexibly stable in permutations. This answers affirmatively a question of Kun and Thom and a slight variation of a question of Lubotzky. We also give a negative answer to Lubotzky's original question by showing that the group $\mathbb{Z}$ is not uniformly strictly stable. Furthermore, we show that $\text{SL}_{r}(\mathbb{Z})$, $r\geq3$, is uniformly flexibly stable, but the free group $F_{r}$, $r\geq 2$, is not. We define and investigate a probabilistic variant of uniform stability that has an application to property testing. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Comments: 35 pages, 2 figures

Network Design for Controllability Metrics

Authors: Cassiano O. Becker, Sérgio Pequito, George J. Pappas, Victor M. Preciado

Abstract: In this paper, we consider the problem of tuning the edge weights of a networked system described by linear time-invariant dynamics. We assume that the topology of the underlying network is fixed and that the set of feasible edge weights is a given polytope. In this setting, we first consider a feasibility problem consisting of tuning the edge weights such that certain controllability properties a… ▽ More In this paper, we consider the problem of tuning the edge weights of a networked system described by linear time-invariant dynamics. We assume that the topology of the underlying network is fixed and that the set of feasible edge weights is a given polytope. In this setting, we first consider a feasibility problem consisting of tuning the edge weights such that certain controllability properties are satisfied. The particular controllability properties under consideration are (i) a lower bound on the smallest eigenvalue of the controllability Gramian, which is related to the worst-case energy needed to control the system, and (ii) an upper bound on the trace of the Gramian inverse, which is related to the average control energy. In both cases, the edge-tuning problem can be stated as a feasibility problem involving bilinear matrix equalities, which we approach using a sequence of convex relaxations. Furthermore, we also address a design problem consisting of finding edge weights able to satisfy the aforementioned controllability constraints while seeking to minimize a cost function of the edge weights, which we assume to be convex. In particular, we consider a sparsity-promoting cost function aiming to penalize the number of edges whose weights are modified. Finally, we verify our results with numerical simulations over many random network realizations as well as with an IEEE 14-bus power system topology. △ Less

Submitted 6 January, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Abelian groups are polynomially stable

Authors: Oren Becker, Jonathan Mosheiff

Abstract: In recent years, there has been a considerable amount of interest in stability of equations and their corresponding groups. Here, we initiate the systematic study of the quantitative aspect of this theory. We develop a novel method, inspired by the Ornstein-Weiss quasi-tiling technique, to prove that abelian groups are polynomially stable with respect to permutations, under the normalized Hamming… ▽ More In recent years, there has been a considerable amount of interest in stability of equations and their corresponding groups. Here, we initiate the systematic study of the quantitative aspect of this theory. We develop a novel method, inspired by the Ornstein-Weiss quasi-tiling technique, to prove that abelian groups are polynomially stable with respect to permutations, under the normalized Hamming metrics on the groups $\operatorname{Sym}(n)$. In particular, this means that there exists $D\geq 1$ such that for $A,B\in \operatorname{Sym}(n)$, if $AB$ is $δ$-close to $BA$, then $A$ and $B$ are $ε$-close to a commuting pair of permutations, where $ε\leq O(δ^{1/D})$. We also observe a property-testing reformulation of this result, yielding efficient testers for certain permutation properties. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 49 pages

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 mapping 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.

Comments: 20 pages; v2 includes new results in Section 3 and an appendix

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.

Comments: 24 pages; v2 includes minor updates and new references

Journal ref: Duke Math. J. 168, no. 12 (2019), 2207-2234

Symmetric Unique Neighbor Expanders and Good LDPC Codes

Authors: Oren Becker

Abstract: An infinite family of bounded-degree 'unique-neighbor' expanders was constructed explicitly by Alon and Capalbo (2002). We present an infinite family F of bounded-degree unique-neighbor expanders with the additional property that every graph in the family F is a Cayley graph. This answers a question raised by Tali Kaufman. Using the same methods, we show that the symmetric LDPC codes constructed b… ▽ More An infinite family of bounded-degree 'unique-neighbor' expanders was constructed explicitly by Alon and Capalbo (2002). We present an infinite family F of bounded-degree unique-neighbor expanders with the additional property that every graph in the family F is a Cayley graph. This answers a question raised by Tali Kaufman. Using the same methods, we show that the symmetric LDPC codes constructed by Kaufman and Lubotzky (2012) are in fact symmetric under a simply transitive group action on coordinates. △ Less

Submitted 1 May, 2016; originally announced May 2016.

The minimal degree of permutation representations of finite groups

Authors: Oren Becker

Abstract: In this thesis we study the following property of a finite group G: the minimal number n such that G embeds in Sn. We start with an explicit formula for the number n for abelian groups. Then, we study the behavior of this group property in respect to direct products. Finally, we define and explore the "compression ratio" of a finite group G which measures how much better the best embedding is rela… ▽ More In this thesis we study the following property of a finite group G: the minimal number n such that G embeds in Sn. We start with an explicit formula for the number n for abelian groups. Then, we study the behavior of this group property in respect to direct products. Finally, we define and explore the "compression ratio" of a finite group G which measures how much better the best embedding is relative to the embedding given by Cayley's theorem. △ Less

Submitted 7 April, 2012; originally announced April 2012.