-
Multem 3: An updated and revised version of the program for transmission and band calculations of photonic crystals
Authors:
Artem Shalev,
Konstantin Ladutenko,
Igor Lobanov,
Vassilios Yannopapas,
Alexander Moroz
Abstract:
We present here Multem 3, an updated and revised version of Multem 2, which syntax has been upgraded to Fortran 2018, with the source code being divided into modules. Multem 3 is equipped with LAPACK, the state-of-the art Faddeeva complex error function routine, and the Bessel function package AMOS. The amendments significantly improve both the speed, convergence, and precision of Multem 2. Increa…
▽ More
We present here Multem 3, an updated and revised version of Multem 2, which syntax has been upgraded to Fortran 2018, with the source code being divided into modules. Multem 3 is equipped with LAPACK, the state-of-the art Faddeeva complex error function routine, and the Bessel function package AMOS. The amendments significantly improve both the speed, convergence, and precision of Multem 2. Increased stability allows to freely increase the cut-off value LMAX on the number of spherical vector wave functions and the cut-off value RMAX controlling the maximal length of reciprocal vectors taken into consideration. An immediate bonus is that Multem 3 can be reliably used to describe bound states in the continuum (BICs). To ensure convergence of the layer coupling scheme, it appears that appreciably larger values of convergence paramaters LMAX and RMAX are required than those reported in numerous published work in the past using Multem 2. We hope that Multem 3 will become a reliable and fast alternative to generic commercial software, such as COMSOL Multiphysics, CST Microwave Studio, or Ansys HFSS, and that it will become the code of choice for various optimization tasks for a large number of research groups. The improvements concern the core part of Multem 2, which is common to the extensions of Multem 2 for acoustic and elastic multiple scattering and to the original layer-Kohn-Korringa-Rostocker (LKKR) code. Therefore, the enhancements presented here can be readily applied to the above codes as well.
△ Less
Submitted 15 May, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Identities with coefficients in simple compact Lie groups
Authors:
Michael Larsen,
Aner Shalev
Abstract:
We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a **-pong argument.
We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a **-pong argument.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
From braces to pre-Lie rings
Authors:
Aner Shalev,
Agata Smoktunowicz
Abstract:
Let $A$ be a brace of cardinality $p^{n}$ where $p>n+1$ is prime, and let $ann (p^{2})$ be the set of elements of additive order at most $p^{2}$ in this brace. We construct a pre-Lie ring related to the brace $A/ann(p^{2})$.
In the case of strongly nilpotent braces of nilpotency index $k<p$ the brace $A/ann(p^{2})$ can be recovered by applying the construction of the group of flows to the result…
▽ More
Let $A$ be a brace of cardinality $p^{n}$ where $p>n+1$ is prime, and let $ann (p^{2})$ be the set of elements of additive order at most $p^{2}$ in this brace. We construct a pre-Lie ring related to the brace $A/ann(p^{2})$.
In the case of strongly nilpotent braces of nilpotency index $k<p$ the brace $A/ann(p^{2})$ can be recovered by applying the construction of the group of flows to the resulting pre-Lie ring. We don't know whether, when applied to braces which are not right nilpotent, our construction is related to the group of flows. We use powerful Lie rings associated with finite $p$-groups in the study of brace automorphisms with few fixed points. As an application we bound the number of elements which commute with a given element in a brace, as well as the number of elements which multiplied from left by a given element give zero.
We also study various Lie rings associated to powerful groups and braces whose adjoint groups are powerful, and show that the obtained Lie and pre-Lie rings are also powerful.
We also show that braces whose adjoint groups are powerful and powerful left nilpotent pre-Lie rings are in one-to-one correspondence and that they are left and right nilpotent under some cardinality assumptions.
△ Less
Submitted 30 September, 2023; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Engineering data-driven solutions for future mobility: perspectives and challenges
Authors:
Daphne Tuncer,
Oytun Babacan,
Raoul Guiazon,
Halima Abu Ali,
Josephine Conway,
Sebastian Kern,
Ana Teresa Moreno,
Max Peel,
Arthur Pereira,
Nadia Assad,
Giulia Franceschini,
Margrethe Gjerull,
Anna Hardisty,
Imran Marwa,
Blanca Alvarez Lopez,
Ariella Shalev,
Christopher D' Cruz Tambua,
Hapsari Damayanti,
Paul Frapart,
Sacha Lepoutre,
Peer Novak
Abstract:
The automotive industry is currently undergoing major changes. These include a general shift towards decarbonised mode of transportation, the implementation of mobility as an end-to-end service, and the transition to vehicles that increasingly rely on software and digital tools to function. Digitalisation is expected to play a key role in sha** the future of mobility ecosystems by fostering the…
▽ More
The automotive industry is currently undergoing major changes. These include a general shift towards decarbonised mode of transportation, the implementation of mobility as an end-to-end service, and the transition to vehicles that increasingly rely on software and digital tools to function. Digitalisation is expected to play a key role in sha** the future of mobility ecosystems by fostering the integration of traditionally independent system domains in the energy, transportation and information sectors. This report discusses opportunities and challenges for engineering data-driven solutions that support the requirements of future digitalised mobility systems based on three use cases for electric vehicle public charging infrastructures, services and security.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Bound States in the Continuum in Multipolar Lattices
Authors:
Sergei Gladyshev,
Artem Shalev,
Kristina Frizyuk,
Konstantin Ladutenko,
Andrey Bogdanov
Abstract:
We develop a theory of bound states in the continuum (BICs) in multipolar lattices -- periodic arrays of resonant multipoles. We predict that BICs are completely robust to changes in lattice parameters remaining pinned to specific directions in the $k$-space. The lack of radiation for BICs in such structures is protected by the symmetry of multipoles forming the lattice. We also show that some mul…
▽ More
We develop a theory of bound states in the continuum (BICs) in multipolar lattices -- periodic arrays of resonant multipoles. We predict that BICs are completely robust to changes in lattice parameters remaining pinned to specific directions in the $k$-space. The lack of radiation for BICs in such structures is protected by the symmetry of multipoles forming the lattice. We also show that some multipolar lattices can host BICs forming a continuous line in the $k$-space and such BICs carry zero topological charge. The developed approach sets a direct fundamental relation between the topological charge of BIC and the asymptotic behavior of the Q-factor in its vicinity. We believe that our theory is a significant step towards gaining deeper insight into the physics of BICs and the engineering of high-Q states in all-dielectric metasurfaces.
△ Less
Submitted 22 February, 2022; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Representations and tensor product growth
Authors:
Michael Larsen,
Aner Shalev,
Pham Huu Tiep
Abstract:
The deep theory of approximate subgroups establishes 3-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper we obtain 2-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations.
Let $G$ be a finite simple group of Lie type and $χ$ a…
▽ More
The deep theory of approximate subgroups establishes 3-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper we obtain 2-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations.
Let $G$ be a finite simple group of Lie type and $χ$ a character of $G$. Let $|χ|$ denote the sum of the squares of the degrees of all (distinct) irreducible characters of $G$ which are constituents of $χ$. We show that for all $δ>0$ there exists $ε>0$, independent of $G$, such that if $χ$ is an irreducible character of $G$ satisfying $|χ| \le |G|^{1-δ}$, then $|χ^2| \ge |χ|^{1+ε}$. We also obtain results for reducible characters, and establish faster growth in the case where $|χ| \le |G|^δ$.
In another direction, we explore covering phenomena, namely situations where every irreducible character of $G$ occurs as a constituent of certain products of characters. For example, we prove that if $|χ_1| \cdots |χ_m|$ is a high enough power of $|G|$, then every irreducible character of $G$ appears in $χ_1\cdotsχ_m$. Finally, we obtain growth results for compact semisimple Lie groups.
△ Less
Submitted 23 April, 2021;
originally announced April 2021.
-
Characteristic Covering Numbers of Finite Simple Groups
Authors:
Michael Larsen,
Aner Shalev,
Pham Huu Tiep
Abstract:
We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteri…
▽ More
We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
Permutation groups with restricted stabilizers
Authors:
Timothy C. Burness,
Aner Shalev
Abstract:
Fix a positive integer $d$ and let $Γ_d$ be the class of finite groups without sections isomorphic to the alternating group $A_d$. The groups in $Γ_d$ were studied by Babai, Cameron and Pálfy in the 1980s and they determined bounds on the order of a primitive permutation group with this property, which have found a wide range of applications. Subsequently, results on the base sizes of such groups…
▽ More
Fix a positive integer $d$ and let $Γ_d$ be the class of finite groups without sections isomorphic to the alternating group $A_d$. The groups in $Γ_d$ were studied by Babai, Cameron and Pálfy in the 1980s and they determined bounds on the order of a primitive permutation group with this property, which have found a wide range of applications. Subsequently, results on the base sizes of such groups were also obtained. In this paper we replace the structural conditions on the group by restrictions on its point stabilizers, and we obtain similar, and sometimes stronger conclusions. For example, we prove that there is a linear function $f$ such that the base size of any finite primitive group with point stabilizers in $Γ_d$ is at most $f(d)$. This generalizes a recent result of the first author on primitive groups with solvable point stabilizers. For non-affine primitive groups we obtain stronger results, assuming only that stabilizers of $c$ points lie in $Γ_d$. We also show that if $G$ is any permutation group of degree $n$ whose $c$-point stabilizers lie in $Γ_d$, then $|G| \leqslant ((1+o_c(1))d/e)^{n-1}$. This asymptotically extends and improves a $d^{n-1}$ upper bound on $|G|$ obtained by Babai, Cameron and Pálfy assuming $G \in Γ_d$.
△ Less
Submitted 23 July, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Insights on Evaluation of Camera Re-localization Using Relative Pose Regression
Authors:
Amir Shalev,
Omer Achrack,
Brian Fulkerson,
Ben-Zion Bobrovsky
Abstract:
We consider the problem of relative pose regression in visual relocalization. Recently, several promising approaches have emerged in this area. We claim that even though they demonstrate on the same datasets using the same split to train and test, a faithful comparison between them was not available since on currently used evaluation metric, some approaches might perform favorably, while in realit…
▽ More
We consider the problem of relative pose regression in visual relocalization. Recently, several promising approaches have emerged in this area. We claim that even though they demonstrate on the same datasets using the same split to train and test, a faithful comparison between them was not available since on currently used evaluation metric, some approaches might perform favorably, while in reality performing worse. We reveal a tradeoff between accuracy and the 3D volume of the regressed subspace. We believe that unlike other relocalization approaches, in the case of relative pose regression, the regressed subspace 3D volume is less dependent on the scene and more affect by the method used to score the overlap, which determined how closely sampled viewpoints are. We propose three new metrics to remedy the issue mentioned above. The proposed metrics incorporate statistics about the regression subspace volume. We also propose a new pose regression network that serves as a new baseline for this task. We compare the performance of our trained model on Microsoft 7-Scenes and Cambridge Landmarks datasets both with the standard metrics and the newly proposed metrics and adjust the overlap score to reveal the tradeoff between the subspace and performance. The results show that the proposed metrics are more robust to different overlap threshold than the conventional approaches. Finally, we show that our network generalizes well, specifically, training on a single scene leads to little loss of performance on the other scenes.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Random generation of associative algebras
Authors:
Damian Sercombe,
Aner Shalev
Abstract:
There has been considerable interest in recent decades in questions of random generation of finite and profinite groups, and finite simple groups in particular. In this paper we study similar notions for finite and profinite associative algebras. Let $k=F_q$ be a finite field. Let $A$ be a finite dimensional, associative, unital algebra over $k$. Let $P(A)$ be the probability that two elements of…
▽ More
There has been considerable interest in recent decades in questions of random generation of finite and profinite groups, and finite simple groups in particular. In this paper we study similar notions for finite and profinite associative algebras. Let $k=F_q$ be a finite field. Let $A$ be a finite dimensional, associative, unital algebra over $k$. Let $P(A)$ be the probability that two elements of $A$ chosen (uniformly and independently) at random will generate $A$ as a unital $k$-algebra. It is known that, if $A$ is simple, then $P(A) \to 1$ as $|A| \to \infty$. We extend this result to a large class of finite associative algebras. For $A$ simple, we find the optimal lower bound for $P(A)$ and we estimate the growth rate of $P(A)$ in terms of the minimal index $m(A)$ of any proper subalgebra of $A$. We also study the random generation of simple algebras $A$ by two elements that have a given characteristic polynomial (resp. a given rank). In addition, we bound above and below the minimal number of generators of general finite algebras. Finally, we let $A$ be a profinite algebra over $k$. We show that $A$ is positively finitely generated if and only if $A$ has polynomial maximal subalgebra growth. Related quantitative results are also established.
△ Less
Submitted 2 March, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
McKay graphs for alternating and classical groups
Authors:
M. W. Liebeck,
A. Shalev,
Pham Huu Tiep
Abstract:
Let $G$ be a finite group, and $α$ a nontrivial character of $G$. The McKay graph $\mathcal{M}(G,α)$ has the irreducible characters of $G$ as vertices, with an edge from $χ_1$ to $χ_2$ if $χ_2$ is a constituent of $αχ_1$. We study the diameters of McKay graphs for finite simple groups $G$. For alternating groups, we prove a conjecture made in [LST]: there is an absolute constant $C$ such that…
▽ More
Let $G$ be a finite group, and $α$ a nontrivial character of $G$. The McKay graph $\mathcal{M}(G,α)$ has the irreducible characters of $G$ as vertices, with an edge from $χ_1$ to $χ_2$ if $χ_2$ is a constituent of $αχ_1$. We study the diameters of McKay graphs for finite simple groups $G$. For alternating groups, we prove a conjecture made in [LST]: there is an absolute constant $C$ such that $\hbox{diam}\,{\mathcal M}(G,α) \le C\frac{\log |\mathsf{A}_n|}{\log α(1)}$ for all nontrivial irreducible characters $α$ of $\mathsf{A}_n$. Also for classsical groups of symplectic or orthogonal type of rank $r$, we establish a linear upper bound $Cr$ on the diameters of all nontrivial McKay graphs.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Residually finite dimensional algebras and polynomial almost identities
Authors:
Michael Larsen,
Aner Shalev
Abstract:
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over…
▽ More
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$-Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$-algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.
△ Less
Submitted 23 May, 2020;
originally announced May 2020.
-
The length and depth of associative algebras
Authors:
Damian Sercombe,
Aner Shalev
Abstract:
Recently there has been considerable interest in studying the length and the depth of finite groups, algebraic groups and Lie groups. In this paper we introduce and study similar notions for algebras. Let $k$ be a field and let $A$ be an associative, not necessarily unital, algebra over $k$. An unrefinable chain of $A$ is a chain of subalgebras $A=A_0>A_1>...>A_t=0$ for some integer $t$ where each…
▽ More
Recently there has been considerable interest in studying the length and the depth of finite groups, algebraic groups and Lie groups. In this paper we introduce and study similar notions for algebras. Let $k$ be a field and let $A$ be an associative, not necessarily unital, algebra over $k$. An unrefinable chain of $A$ is a chain of subalgebras $A=A_0>A_1>...>A_t=0$ for some integer $t$ where each $A_i$ is a maximal subalgebra of $A_{i-1}$. The maximal (respectively, minimal) length of such an unrefinable chain is called the length (respectively, depth) of $A$. It turns out that finite length, finite depth and finite dimension are equivalent properties for $A$. For $A$ finite dimensional, we give a formula for the length of $A$, we bound the depth of $A$, and we study when the length of $A$ equals its dimension and its depth respectively. Finally, we investigate under what circumstances the dimension of $A$ is bounded above by a function of its length, or its depth, or its length minus its depth.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Products of normal subsets and derangements
Authors:
Michael Larsen,
Aner Shalev,
Pham Huu Tiep
Abstract:
In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial e…
▽ More
In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$.
We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity.
Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements.
△ Less
Submitted 15 July, 2020; v1 submitted 28 March, 2020;
originally announced March 2020.
-
On the diameters of McKay graphs for finite simple groups
Authors:
Martin W. Liebeck,
Aner Shalev,
Pham Huu Tiep
Abstract:
Let $G$ be a finite group, and $α$ a nontrivial character of $G$. The McKay graph ${\mathcal M}(G,α)$ has the irreducible characters of $G$ as vertices, with an edge from $χ_1$ to $χ_2$ if $χ_2$ is a constituent of $αχ_1$. We study the diameters of McKay graphs for simple groups $G$. For $G$ a group of Lie type, we show that for any $α$, the diameter is bounded by a quadratic function of the rank,…
▽ More
Let $G$ be a finite group, and $α$ a nontrivial character of $G$. The McKay graph ${\mathcal M}(G,α)$ has the irreducible characters of $G$ as vertices, with an edge from $χ_1$ to $χ_2$ if $χ_2$ is a constituent of $αχ_1$. We study the diameters of McKay graphs for simple groups $G$. For $G$ a group of Lie type, we show that for any $α$, the diameter is bounded by a quadratic function of the rank, and obtain much stronger bounds for $G={\rm PSL}_n(q)$ or ${\rm PSU}_n(q)$. We also bound the diameter for symmetric and alternating groups.
△ Less
Submitted 29 November, 2019;
originally announced November 2019.
-
NFV-based IoT Security for Home Networks using MUD
Authors:
Yehuda Afek,
Anat Bremler-Barr,
David Hay,
Ran Goldschmidt,
Lior Shafir,
Gafnit Abraham,
Avraham Shalev
Abstract:
A new scalable ISP level system architecture to secure and protect all IoT devices in a large number of homes is presented. The system is based on whitelisting, as in the Manufacturer Usage Description (MUD) framework, implemented as a VNF. Unlike common MUD suggestions that place the whitelist application at the home/enterprise network, our approach is to place the enforcement upstream at the pro…
▽ More
A new scalable ISP level system architecture to secure and protect all IoT devices in a large number of homes is presented. The system is based on whitelisting, as in the Manufacturer Usage Description (MUD) framework, implemented as a VNF. Unlike common MUD suggestions that place the whitelist application at the home/enterprise network, our approach is to place the enforcement upstream at the provider network, combining an NFV (Network Function Virtualization) with router/switching filtering capabilities, e.g., ACLs. The VNF monitors many home networks simultaneously, and therefore, is a highly-scalable managed service solution that provides both the end customers and the ISP with excellent visibility and security of the IoT devices at the customer premises.
The system includes a mechanism to distinguish between flows of different devices at the ISP level despite the fact that most home networks (and their IoT devices) are behind a NAT and all the flows from the same home come out with the same source IP address. Moreover, the NFV system needs to receive only the first packet of each connection at the VNF, and rules space is proportional to the number of unique types of IoT devices rather than the number of IoT devices. The monitoring part of the solution is off the critical path and can also uniquely protect from incoming DDoS attacks.
To cope with internal traffic, that is not visible outside the customer premise and often consists of P2P communication, we suggest a hybrid approach, where we deploy a lightweight component at the CPE, whose sole purpose is to monitor P2P communication. As current MUD solution does not provide a secure solution to P2P communication, we also extend the MUD protocol to deal also with peer-to-peer communicating devices. A PoC with a large national level ISP proves that our technology works as expected.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
Almost PI algebras are PI
Authors:
Michael Larsen,
Aner Shalev
Abstract:
We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan algebras. We also prove related quantitative results for simple and semisimple algebras.
We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan algebras. We also prove related quantitative results for simple and semisimple algebras.
△ Less
Submitted 13 October, 2019;
originally announced October 2019.
-
HoloStain: Holographic virtual staining of individual biological cells
Authors:
Yoav N. Nygate,
Mattan Levi,
Simcha K. Mirsky,
Nir A. Turko,
Moran Rubin,
Itay Barnea,
Gili Dardikman-Yoffe,
Alon Shalev,
Natan T. Shaked
Abstract:
Many medical and biological protocols for analyzing individual biological cells involve morphological evaluation based on cell staining, designed to enhance imaging contrast and enable clinicians and biologists to differentiate between various cell organelles. However, cell staining is not always allowed in certain medical procedures. In other cases, staining may be time consuming or expensive to…
▽ More
Many medical and biological protocols for analyzing individual biological cells involve morphological evaluation based on cell staining, designed to enhance imaging contrast and enable clinicians and biologists to differentiate between various cell organelles. However, cell staining is not always allowed in certain medical procedures. In other cases, staining may be time consuming or expensive to implement. Here, we present a new deep-learning approach, called HoloStain, which converts images of isolated biological cells acquired without staining by holographic microscopy to their virtually stained images. We demonstrate this approach for human sperm cells, as there is a well-established protocol and global standardization for characterizing the morphology of stained human sperm cells for fertility evaluation, but, on the other hand, staining might be cytotoxic and thus is not allowed during human in vitro fertilization (IVF). We use deep convolutional Generative Adversarial Networks (DCGANs) with training that is based on both the quantitative phase images and two gradient phase images, all extracted from the digital holograms of the stain-free cells, with the ground truth of bright-field images of the same cells that subsequently underwent chemical staining. To validate the quality of our virtual staining approach, an experienced embryologist analyzed the unstained cells, the virtually stained cells, and the chemically stained sperm cells several times in a blinded and randomized manner. We obtained a 5-fold recall (sensitivity) improvement in the analysis results. With the introduction of simple holographic imaging methods in clinical settings, the proposed method has a great potential to become a common practice in human IVF procedures, as well as to significantly simplify and facilitate other cell analyses and techniques such as imaging flow cytometry.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
Words, permutations, and the nonsolvable length of a finite group
Authors:
Alexander Bors,
Aner Shalev
Abstract:
We study the impact of certain identities and probabilistic identities on the structure of finite groups. More specifically, let $w$ be a nontrivial word in $d$ distinct variables and let $G$ be a finite group for which the word map $w_G:G^d\rightarrow G$ has a fiber of size at least $ρ|G|^d$ for some fixed $ρ>0$. We show that, for certain words $w$, this implies that $G$ has a normal solvable sub…
▽ More
We study the impact of certain identities and probabilistic identities on the structure of finite groups. More specifically, let $w$ be a nontrivial word in $d$ distinct variables and let $G$ be a finite group for which the word map $w_G:G^d\rightarrow G$ has a fiber of size at least $ρ|G|^d$ for some fixed $ρ>0$. We show that, for certain words $w$, this implies that $G$ has a normal solvable subgroup of index bounded above in terms of $w$ and $ρ$. We also show that, for a larger family of words $w$, this implies that the nonsolvable length of $G$ is bounded above in terms of $w$ and $ρ$, thus providing evidence in favor of a conjecture of Larsen. Along the way we obtain results of some independent interest, showing roughly that most elements of large finite permutation groups have large support.
△ Less
Submitted 4 April, 2019;
originally announced April 2019.
-
Girth, words and diameter
Authors:
Martin W. Liebeck,
Aner Shalev
Abstract:
We study the girth of Cayley graphs of finite classical groups G on random sets of generators. Our main tool is an essentially best possible bound we obtain on the probability that a given word w takes the value 1 when evaluated in G in terms of the length of w, which has additional applications. We also study the girth of random directed Cayley graphs of symmetric groups, and the relation between…
▽ More
We study the girth of Cayley graphs of finite classical groups G on random sets of generators. Our main tool is an essentially best possible bound we obtain on the probability that a given word w takes the value 1 when evaluated in G in terms of the length of w, which has additional applications. We also study the girth of random directed Cayley graphs of symmetric groups, and the relation between the girth and the diameter of random Cayley graphs of finite simple groups.
△ Less
Submitted 22 March, 2019; v1 submitted 2 March, 2019;
originally announced March 2019.
-
Zero-one generation laws for finite simple groups
Authors:
Robert M. Guralnick,
Martin W. Liebeck,
Frank Lübeck,
Aner Shalev
Abstract:
Let $G$ be a simple algebraic group over the algebraic closure of $GF(p)$ ($p$ prime), and let $G(q)$ denote a corresponding finite group of Lie type over $GF(q)$, where $q$ is a power of $p$. Let $X$ be an irreducible subvariety of $G^r$ for some $r\ge 2$. We prove a zero-one law for the probability that $G(q)$ is generated by a random $r$-tuple in $X(q) = X\cap G(q)^r$: the limit of this probabi…
▽ More
Let $G$ be a simple algebraic group over the algebraic closure of $GF(p)$ ($p$ prime), and let $G(q)$ denote a corresponding finite group of Lie type over $GF(q)$, where $q$ is a power of $p$. Let $X$ be an irreducible subvariety of $G^r$ for some $r\ge 2$. We prove a zero-one law for the probability that $G(q)$ is generated by a random $r$-tuple in $X(q) = X\cap G(q)^r$: the limit of this probability as $q$ increases (through values of $q$ for which $X$ is stable under the Frobenius morphism defining $G(q)$) is either 1 or 0. Indeed, to ensure that this limit is 1, one only needs $G(q)$ to be generated by an $r$-tuple in $X(q)$ for two sufficiently large values of $q$. We also prove a version of this result where the underlying characteristic is allowed to vary.
In our main application, we apply these results to the case where $r=2$ and the irreducible subvariety $X = C\times D$, a product of two conjugacy classes of elements of finite order in $G$. This leads to new results on random $(2,3)$-generation of finite simple groups $G(q)$ of exceptional Lie type: provided $G(q)$ is not a Suzuki group, we show that the probability that a random involution and a random element of order 3 generate $G(q)$ tends to $1$ as $q \rightarrow \infty$. Combining this with previous results for classical groups, this shows that finite simple groups (apart from Suzuki groups and $PSp_4(q)$) are randomly $(2,3)$-generated.
Our tools include algebraic geometry, representation theory of algebraic groups, and character theory of finite groups of Lie type.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
Probabilistic Waring problems for finite simple groups
Authors:
Michael Larsen,
Aner Shalev,
Pham Huu Tiep
Abstract:
The probabilistic Waring problem for finite simple groups asks whether every word of the form $w_1w_2$, where $w_1$ and $w_2$ are non-trivial words in disjoint sets of variables, induces almost uniform distribution on finite simple groups with respect to the $L^1$ norm. Our first main result provides a positive solution to this problem.
We also provide a geometric characterization of words induc…
▽ More
The probabilistic Waring problem for finite simple groups asks whether every word of the form $w_1w_2$, where $w_1$ and $w_2$ are non-trivial words in disjoint sets of variables, induces almost uniform distribution on finite simple groups with respect to the $L^1$ norm. Our first main result provides a positive solution to this problem.
We also provide a geometric characterization of words inducing almost uniform distribution on finite simple groups of Lie type of bounded rank, and study related random walks.
Our second main result concerns the probabilistic $L^{\infty}$ Waring problem for finite simple groups. We show that for every $l \ge 1$ there exists $N = N(l)$, such that if $w_1, \ldots , w_N$ are non-trivial words of length at most $l$ in pairwise disjoint sets of variables, then their product $w_1 \cdots w_N$ is almost uniform on finite simple groups with respect to the $L^{\infty}$ norm. The dependence of $N$ on $l$ is genuine. This result implies that, for every word $w = w_1 \cdots w_N$ as above, the word map induced by $w$ on a semisimple algebraic group over an arbitrary field is a flat morphism.
Applications to representation varieties, subgroup growth, and random generation are also presented.
△ Less
Submitted 9 September, 2019; v1 submitted 15 August, 2018;
originally announced August 2018.
-
Character ratios, representation varieties and random generation of finite groups of Lie type
Authors:
Martin W. Liebeck,
Aner Shalev,
Pham H. Tiep
Abstract:
We use character theory of finite groups of Lie type to establish new results on representation varieties of Fuchsian groups, and also on probabilistic generation of groups of Lie type.
We use character theory of finite groups of Lie type to establish new results on representation varieties of Fuchsian groups, and also on probabilistic generation of groups of Lie type.
△ Less
Submitted 17 August, 2020; v1 submitted 23 July, 2018;
originally announced July 2018.
-
The length and depth of compact Lie groups
Authors:
Timothy C. Burness,
Martin W. Liebeck,
Aner Shalev
Abstract:
Let $G$ be a connected Lie group. An unrefinable chain of $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal connected subgroup of $G_{i-1}$. In this paper, we introduce the notion of the length (respectively, depth) of $G$, defined as the maximal (respectively, minimal) length of such a chain, and we establish several new results for compact groups. In p…
▽ More
Let $G$ be a connected Lie group. An unrefinable chain of $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal connected subgroup of $G_{i-1}$. In this paper, we introduce the notion of the length (respectively, depth) of $G$, defined as the maximal (respectively, minimal) length of such a chain, and we establish several new results for compact groups. In particular, we compute the exact length and depth of every compact simple Lie group, and draw conclusions for arbitrary connected compact Lie groups $G$. We obtain best possible bounds on the length of $G$ in terms of its dimension, and characterize the connected compact Lie groups that have equal length and depth. The latter result generalizes a well known theorem of Iwasawa for finite groups. More generally, we establish a best possible upper bound on $\dim G'$ in terms of the chain difference of $G$, which is its length minus its depth.
△ Less
Submitted 11 April, 2019; v1 submitted 24 May, 2018;
originally announced May 2018.
-
On the length and depth of finite groups (with an appendix by D.R. Heath-Brown)
Authors:
Timothy C. Burness,
Martin W. Liebeck,
Aner Shalev
Abstract:
An unrefinable chain of a finite group $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal subgroup of $G_{i-1}$. The length (respectively, depth) of $G$ is the maximal (respectively, minimal) length of such a chain. We studied the depth of finite simple groups in a previous paper, which included a classification of the simple groups of depth $3$. Here we…
▽ More
An unrefinable chain of a finite group $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal subgroup of $G_{i-1}$. The length (respectively, depth) of $G$ is the maximal (respectively, minimal) length of such a chain. We studied the depth of finite simple groups in a previous paper, which included a classification of the simple groups of depth $3$. Here we go much further by determining the finite groups of depth $3$ and $4$. We also obtain several new results on the lengths of finite groups. For example, we classify the simple groups of length at most $9$, which extends earlier work of Janko and Harada from the 1960s, and we use this to describe the structure of arbitrary finite groups of small length. We also present a number-theoretic result of Heath-Brown, which implies that there are infinitely many non-abelian simple groups of length at most $9$.
Finally we study the chain difference of $G$ (namely the length minus the depth). We obtain results on groups with chain difference $1$ and $2$, including a complete classification of the simple groups with chain difference $2$, extending earlier work of Brewster et al. We also derive a best possible lower bound on the chain ratio (the length divided by the depth) of simple groups, which yields an explicit linear bound on the length of $G/R(G)$ in terms of the chain difference of $G$, where $R(G)$ is the soluble radical of $G$.
△ Less
Submitted 21 May, 2019; v1 submitted 6 February, 2018;
originally announced February 2018.
-
Probabilistically nilpotent groups
Authors:
Aner Shalev
Abstract:
We show that, for a finitely generated residually finite group $Γ$, the word $[x_1, \ldots, x_k]$ is a probabilistic identity of $Γ$ if and only if $Γ$ is virtually nilpotent of class less than $k$. Related results, generalizations and problems are also discussed.
We show that, for a finitely generated residually finite group $Γ$, the word $[x_1, \ldots, x_k]$ is a probabilistic identity of $Γ$ if and only if $Γ$ is virtually nilpotent of class less than $k$. Related results, generalizations and problems are also discussed.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
The length and depth of algebraic groups
Authors:
Timothy C. Burness,
Martin W. Liebeck,
Aner Shalev
Abstract:
Let $G$ be a connected algebraic group. An unrefinable chain of $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal connected subgroup of $G_{i-1}$. We introduce the notion of the length (respectively, depth) of $G$, defined as the maximal (respectively, minimal) length of such a chain. Working over an algebraically closed field, we calculate the length of…
▽ More
Let $G$ be a connected algebraic group. An unrefinable chain of $G$ is a chain of subgroups $G = G_0 > G_1 > \cdots > G_t = 1$, where each $G_i$ is a maximal connected subgroup of $G_{i-1}$. We introduce the notion of the length (respectively, depth) of $G$, defined as the maximal (respectively, minimal) length of such a chain. Working over an algebraically closed field, we calculate the length of a connected group $G$ in terms of the dimension of its unipotent radical $R_u(G)$ and the dimension of a Borel subgroup $B$ of the reductive quotient $G/R_u(G)$. In particular, a simple algebraic group of rank $r$ has length $\dim B + r$, which gives a natural extension of a theorem of Solomon and Turull on finite quasisimple groups of Lie type. We then deduce that the length of any connected algebraic group $G$ exceeds $\frac{1}{2} \dim G$.
We also study the depth of simple algebraic groups. In characteristic zero, we show that the depth of such a group is at most $6$ (this bound is sharp). In the positive characteristic setting, we calculate the exact depth of each exceptional algebraic group and we prove that the depth of a classical group (over a fixed algebraically closed field of positive characteristic) tends to infinity with the rank of the group.
Finally we study the chain difference of an algebraic group, which is the difference between its length and its depth. In particular we prove that, for any connected algebraic group $G$, the dimension of $G/R(G)$ is bounded above in terms of the chain difference of $G$.
△ Less
Submitted 24 May, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
The depth of a finite simple group
Authors:
Timothy C. Burness,
Martin W. Liebeck,
Aner Shalev
Abstract:
We introduce the notion of the depth of a finite group $G$, defined as the minimal length of an unrefinable chain of subgroups from $G$ to the trivial subgroup. In this paper we investigate the depth of (non-abelian) finite simple groups. We determine the simple groups of minimal depth, and show, somewhat surprisingly, that alternating groups have bounded depth. We also establish general upper bou…
▽ More
We introduce the notion of the depth of a finite group $G$, defined as the minimal length of an unrefinable chain of subgroups from $G$ to the trivial subgroup. In this paper we investigate the depth of (non-abelian) finite simple groups. We determine the simple groups of minimal depth, and show, somewhat surprisingly, that alternating groups have bounded depth. We also establish general upper bounds on the depth of simple groups of Lie type, and study the relation between the depth and the much studied notion of the length of simple groups. The proofs of our main theorems depend (among other tools) on a deep number-theoretic result, namely, Helfgott's recent solution of the ternary Goldbach conjecture.
△ Less
Submitted 14 November, 2017; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Character bounds for finite groups of Lie type
Authors:
Roman Bezrukavnikov,
Martin W. Liebeck,
Aner Shalev,
Pham Huu Tiep
Abstract:
We establish new bounds on character values and character ratios for finite groups $G$ of Lie type, which are considerably stronger than previously known bounds, and which are best possible in many cases. These bounds have the form $|χ(g)| \le χ(1)^{α_g}$, and give rise to a variety of applications, for example to covering numbers and mixing times of random walks on such groups. In particular we d…
▽ More
We establish new bounds on character values and character ratios for finite groups $G$ of Lie type, which are considerably stronger than previously known bounds, and which are best possible in many cases. These bounds have the form $|χ(g)| \le χ(1)^{α_g}$, and give rise to a variety of applications, for example to covering numbers and mixing times of random walks on such groups. In particular we deduce that, if $G$ is a classical group in dimension $n$, then, under some conditions on $G$ and $g \in G$, the mixing time of the random walk on $G$ with the conjugacy class of $g$ as a generating set is (up to a small multiplicative constant) $n/s$, where $s$ is the support of $g$.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Words, Hausdorff dimension and randomly free groups
Authors:
Michael Larsen,
Aner Shalev
Abstract:
We study fibers of word maps in finite, profinite, and residually finite groups. Our main result is that, for any word w in the free group on d generators, there exists $ε> 0$ such that if G is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map $w\colon G^d \to G$ have Hausdorff dimension at most $d-ε$.
We conclude…
▽ More
We study fibers of word maps in finite, profinite, and residually finite groups. Our main result is that, for any word w in the free group on d generators, there exists $ε> 0$ such that if G is a residually finite group with infinitely many non-isomorphic non-abelian upper composition factors, then all fibers of the word map $w\colon G^d \to G$ have Hausdorff dimension at most $d-ε$.
We conclude that the profinite completion of a group G as above satisfies no probabilistic identity. It is therefore randomly free; namely, for any d > 0, the probability that d randomly chosen elements freely generate a free subgroup of G is 1. This solves an open problem of Dixon, Pyber, Seress, and Shalev.
Additional applications and related results are also established. For example, combining our results with recent results of Bors, we conclude that a profinite group in which the set of elements of finite odd order has positive measure has an open prosolvable subgroup. This may be regarded as a probabilistic version of the Feit-Thompson theorem.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Adposition and Case Supersenses v2.6: Guidelines for English
Authors:
Nathan Schneider,
Jena D. Hwang,
Vivek Srikumar,
Archna Bhatia,
Na-Rae Han,
Tim O'Gorman,
Sarah R. Moeller,
Omri Abend,
Adi Shalev,
Austin Blodgett,
Jakob Prange
Abstract:
This document offers a detailed linguistic description of SNACS (Semantic Network of Adposition and Case Supersenses; Schneider et al., 2018), an inventory of 52 semantic labels ("supersenses") that characterize the use of adpositions and case markers at a somewhat coarse level of granularity, as demonstrated in the STREUSLE corpus (https://github.com/nert-nlp/streusle/ ; version 4.5 tracks guidel…
▽ More
This document offers a detailed linguistic description of SNACS (Semantic Network of Adposition and Case Supersenses; Schneider et al., 2018), an inventory of 52 semantic labels ("supersenses") that characterize the use of adpositions and case markers at a somewhat coarse level of granularity, as demonstrated in the STREUSLE corpus (https://github.com/nert-nlp/streusle/ ; version 4.5 tracks guidelines version 2.6). Though the SNACS inventory aspires to be universal, this document is specific to English; documentation for other languages will be published separately.
Version 2 is a revision of the supersense inventory proposed for English by Schneider et al. (2015, 2016) (henceforth "v1"), which in turn was based on previous schemes. The present inventory was developed after extensive review of the v1 corpus annotations for English, plus previously unanalyzed genitive case possessives (Blodgett and Schneider, 2018), as well as consideration of adposition and case phenomena in Hebrew, Hindi, Korean, and German. Hwang et al. (2017) present the theoretical underpinnings of the v2 scheme. Schneider et al. (2018) summarize the scheme, its application to English corpus data, and an automatic disambiguation task. Liu et al. (2021) offer an English Lexical Semantic Recognition tagger that includes SNACS labels in its output.
This documentation can also be browsed alongside corpus data on the Xposition website (Gessler et al., 2022): http://www.xposition.org/
△ Less
Submitted 7 July, 2022; v1 submitted 7 April, 2017;
originally announced April 2017.
-
Generation of second maximal subgroups and the existence of special primes
Authors:
Timothy C. Burness,
Martin W. Liebeck,
Aner Shalev
Abstract:
Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$. In this paper we consider subgroups at the next level of the subgroup lattice - the so-called second maximal subgroups. We prove that with the possible exception of some families of rank 1 groups of Lie type, t…
▽ More
Let $G$ be a finite almost simple group. It is well known that $G$ can be generated by 3 elements, and in previous work we showed that 6 generators suffice for all maximal subgroups of $G$. In this paper we consider subgroups at the next level of the subgroup lattice - the so-called second maximal subgroups. We prove that with the possible exception of some families of rank 1 groups of Lie type, the number of generators of every second maximal subgroup of $G$ is bounded by an absolute constant. We also show that such a bound holds without any exceptions if and only if there are only finitely many primes $r$ for which there is a prime power $q$ such that $(q^r-1)/(q-1)$ is prime. The latter statement is a formidable open problem in Number Theory. Applications to random generation and polynomial growth are also given.
△ Less
Submitted 18 November, 2016;
originally announced November 2016.
-
Word Embeddings and Their Use In Sentence Classification Tasks
Authors:
Amit Mandelbaum,
Adi Shalev
Abstract:
This paper have two parts. In the first part we discuss word embeddings. We discuss the need for them, some of the methods to create them, and some of their interesting properties. We also compare them to image embeddings and see how word embedding and image embedding can be combined to perform different tasks. In the second part we implement a convolutional neural network trained on top of pre-tr…
▽ More
This paper have two parts. In the first part we discuss word embeddings. We discuss the need for them, some of the methods to create them, and some of their interesting properties. We also compare them to image embeddings and see how word embedding and image embedding can be combined to perform different tasks. In the second part we implement a convolutional neural network trained on top of pre-trained word vectors. The network is used for several sentence-level classification tasks, and achieves state-of-art (or comparable) results, demonstrating the great power of pre-trainted word embeddings over random ones.
△ Less
Submitted 26 October, 2016;
originally announced October 2016.
-
Simple groups, interleaved products, complexity and conjectures of Gowers and Viola
Authors:
Aner Shalev
Abstract:
We study the distribution of products of conjugacy classes in finite simple groups, obtaining various effective uniformity results, which give rise to an approximation to a conjecture of Thompson. Our results, combined with work of Gowers and Viola, also lead to the solution of recent conjectures they posed on interleaved products and related complexity lower bounds, extending their work on the gr…
▽ More
We study the distribution of products of conjugacy classes in finite simple groups, obtaining various effective uniformity results, which give rise to an approximation to a conjecture of Thompson. Our results, combined with work of Gowers and Viola, also lead to the solution of recent conjectures they posed on interleaved products and related complexity lower bounds, extending their work on the groups SL$(2,q)$ to all (nonabelian) finite simple groups. In particular it follows that, if $G$ is a finite simple group, and $A, B \subseteq G^t$ for $t \ge 2$ are subsets of fixed positive densities, then, as $a = (a_1, \ldots , a_t) \in A$ and $b = (b_1, \ldots , b_t) \in B$ are chosen uniformly, the interleaved product $a \bullet b := a_1b_1 \cdots a_tb_t$ is almost uniform on $G$ (with quantitative estimates) with respect to the $\ell_{\infty}$-norm. It also follows that the communication complexity of an old decision problem related to interleaved products of $a, b \in G^t$ is at least $Ω(t \log |G|)$ when $G$ is a finite simple group of Lie type of bounded rank, and at least $Ω(t \log \log |G|)$ when $G$ is any finite simple group. Both these bounds are best possible.
△ Less
Submitted 24 January, 2016; v1 submitted 5 January, 2016;
originally announced January 2016.
-
Rapid expansion in finite simple groups
Authors:
Martin W. Liebeck,
Gili Schul,
Aner Shalev
Abstract:
We show that small normal subsets $A$ of finite simple groups expand very rapidly -- namely, $|A^2| \ge |A|^{2-ε}$, where $ε>0$ is arbitrarily small.
We show that small normal subsets $A$ of finite simple groups expand very rapidly -- namely, $|A^2| \ge |A|^{2-ε}$, where $ε>0$ is arbitrarily small.
△ Less
Submitted 13 October, 2015;
originally announced October 2015.
-
A probabilistic Tits alternative and probabilistic identities
Authors:
Michael Larsen,
Aner Shalev
Abstract:
We introduce the notion of a probabilistic identity of a residually finite group. We prove that a finitely generated linear group satisfies a probabilistic identity if and only if it is virtually solvable.
As an application, we prove a probabilistic variant of the Tits alternative: let G be the profinite completion of a finitely generated linear group. Then either G is virtually solvable, or for…
▽ More
We introduce the notion of a probabilistic identity of a residually finite group. We prove that a finitely generated linear group satisfies a probabilistic identity if and only if it is virtually solvable.
As an application, we prove a probabilistic variant of the Tits alternative: let G be the profinite completion of a finitely generated linear group. Then either G is virtually solvable, or for any positive integer n, with probability one, n independent, uniformly distributed elements of G freely generate a free subgroup of G of rank n.
△ Less
Submitted 31 July, 2015;
originally announced July 2015.
-
Surjective word maps and Burnsides $p^aq^b$ theorem
Authors:
Robert Guralnick,
Martin Liebeck,
Eamon O'Brien,
Aner Shalev,
Pham Tiep
Abstract:
We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is surjective on every finite non-abelian simple group; If is an odd integer, then the word map sending the triple (x,y,z) to the product of the Nth powers is surjec…
▽ More
We prove surjectivity of certain word maps on finite non-abelian simple groups. More precisely, we prove the following: if N is a product of two prime powers, then the word map sending (x,y) to the product of the Nth powers of x and y is surjective on every finite non-abelian simple group; If is an odd integer, then the word map sending the triple (x,y,z) to the product of the Nth powers is surjective on every finite quasisimple group. These generalize classical theorems of Burnside and Feit-Thompson. We also prove asymptotic results about the surjectivity of the word map sending (x,y) to the product of the Nth powers of x and y that depend on the number of prime factors of the integer N.
△ Less
Submitted 4 May, 2015;
originally announced May 2015.
-
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.
-
The Waring problem for Lie groups and Chevalley groups
Authors:
Chun Yin Hui,
Michael Larsen,
Aner Shalev
Abstract:
The classical Waring problem deals with expressing every natural number as a sum of g(k) k-th powers. Similar problems were recently studied in group theory, where we aim to present group elements as short products of values of a given non-trivial word w. In this paper we study this problem for Lie groups and Chevalley groups over infinite fields. We show that for a fixed non-trivial word w and fo…
▽ More
The classical Waring problem deals with expressing every natural number as a sum of g(k) k-th powers. Similar problems were recently studied in group theory, where we aim to present group elements as short products of values of a given non-trivial word w. In this paper we study this problem for Lie groups and Chevalley groups over infinite fields. We show that for a fixed non-trivial word w and for a classical connected real compact Lie group G of sufficiently large rank we have w(G)^2=G, namely every element of G is a product of 2 values of w. We prove a similar result for non-compact Lie groups of arbitrary rank, arising from Chevalley groups over R or over a p-adic field. We also study this problem for Chevalley groups over arbitrary infinite fields, and show in particular that every element in such a group is a product of two squares.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
On the Distribution of Values of Certain Word Maps
Authors:
Michael Larsen,
Aner Shalev
Abstract:
For any positive integers m and n, the word map (x,y) -> x^m y^n is almost measure preserving on large finite simple groups G.
For any positive integers m and n, the word map (x,y) -> x^m y^n is almost measure preserving on large finite simple groups G.
△ Less
Submitted 6 August, 2013;
originally announced August 2013.
-
Word Values in p-Adic and Adelic Groups
Authors:
Nir Avni,
Tsachik Gelander,
Martin Kassabov,
Aner Shalev
Abstract:
We study the sets of values of words in p-adic and adelic groups.
We study the sets of values of words in p-adic and adelic groups.
△ Less
Submitted 5 March, 2013;
originally announced March 2013.
-
Waring Problem for Finite Quasisimple Groups
Authors:
Michael Larsen,
Aner Shalev,
Pham Huu Tiep
Abstract:
The classical Waring problem deals with expressing every natural number as a sum of g(k) kth powers. Similar problems for finite simple groups have been studied recently, and in this paper we study them for finite quasisimple groups G.
We show that for a fixed non-trivial group word w and large enough G we have w(G)^3=G, namely every element of G is a product of 3 values of w. For various famili…
▽ More
The classical Waring problem deals with expressing every natural number as a sum of g(k) kth powers. Similar problems for finite simple groups have been studied recently, and in this paper we study them for finite quasisimple groups G.
We show that for a fixed non-trivial group word w and large enough G we have w(G)^3=G, namely every element of G is a product of 3 values of w. For various families of finite quasisimple groups, including covers of alternating groups, we obtain a stronger result, namely w(G)^2=G. However, in contrast with the case of simple groups, we show that w(G)^2 need not equal G for all large G. If k>2 then x^k y^k fails to be surjective for infinitely many finite quasisimple groups.
The case k=2 turns out to be exceptional. Indeed, our last result shows that every element of a finite quasisimple group is a product of two squares. This can be regarded as a non-commutative analogue of Lagrange's four squares theorem.
△ Less
Submitted 17 July, 2011;
originally announced July 2011.
-
Product decompositions in finite simple groups
Authors:
Martin Liebeck,
Nikolay Nikolov,
Aner Shalev
Abstract:
We propose a general conjecture on decompositions of finite simple groups as products of conjugates of an arbitrary subset. We prove this conjecture for bounded subsets of arbitrary finite simple groups, and for large subsets of groups of Lie type of bounded rank. Some of our arguments apply recent advances in the theory of growth in finite simple groups of Lie type, and provide a variety of new p…
▽ More
We propose a general conjecture on decompositions of finite simple groups as products of conjugates of an arbitrary subset. We prove this conjecture for bounded subsets of arbitrary finite simple groups, and for large subsets of groups of Lie type of bounded rank. Some of our arguments apply recent advances in the theory of growth in finite simple groups of Lie type, and provide a variety of new product decompositions of these groups.
△ Less
Submitted 7 July, 2011;
originally announced July 2011.
-
Invariable generation and the chebotarev invariant of a finite group
Authors:
W. M. Kantor,
A. Lubotzky,
And A. Shalev
Abstract:
A subset S of a finite group G invariably generates G if G = <hsg(s) j s 2 Si > for each choice of g(s) 2 G; s 2 S. We give a tight upper bound on the minimal size of an invariable generating set for an arbitrary finite group G. In response to a question in [KZ] we also bound the size of a randomly chosen set of elements of G that is likely to generate G invariably. Along the way we prove that eve…
▽ More
A subset S of a finite group G invariably generates G if G = <hsg(s) j s 2 Si > for each choice of g(s) 2 G; s 2 S. We give a tight upper bound on the minimal size of an invariable generating set for an arbitrary finite group G. In response to a question in [KZ] we also bound the size of a randomly chosen set of elements of G that is likely to generate G invariably. Along the way we prove that every finite simple group is invariably generated by two elements.
△ Less
Submitted 18 July, 2011; v1 submitted 27 October, 2010;
originally announced October 2010.
-
Counting arithmetic lattices and surfaces
Authors:
Mikhail Belolipetsky,
Tsachik Gelander,
Alex Lubotzky,
Aner Shalev
Abstract:
We give estimates on the number $AL_H(x)$ of arithmetic lattices $Γ$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\log AL_H(x) / x\log x$ when $x\to\infty$. The proofs use several different te…
▽ More
We give estimates on the number $AL_H(x)$ of arithmetic lattices $Γ$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\log AL_H(x) / x\log x$ when $x\to\infty$. The proofs use several different techniques: geometric (bounding the number of generators of $Γ$ as a function of its covolume), number theoretic (bounding the number of maximal such $Γ$) and sharp estimates on the character values of the symmetric groups (to bound the subgroup growth of $Γ$).
△ Less
Submitted 22 April, 2010; v1 submitted 15 November, 2008;
originally announced November 2008.
-
Commutator maps, measure preservation, and T-systems
Authors:
Shelly Garion,
Aner Shalev
Abstract:
Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we have $a^{-1}(X)/|G|^2 = |X|/|G| + o(1)$, namely $a$ is almost measure preserving. From this we deduce that almost all elements $g \in G$ can be expressed as…
▽ More
Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we have $a^{-1}(X)/|G|^2 = |X|/|G| + o(1)$, namely $a$ is almost measure preserving. From this we deduce that almost all elements $g \in G$ can be expressed as commutators $g = [x,y]$ where x,y generate G. This enables us to solve some open problems regarding T-systems and the Product Replacement Algorithm (PRA) graph. We show that the number of T-systems in G with two generators tends to infinity as the order of G goes to infinity. This settles a conjecture of Guralnick and Pak. A similar result follows for the number of connected components of the PRA graph of G with two generators. Some of our results apply for more general finite groups, and more general word maps. Our methods are based on representation theory, combining classical character theory with recent results on character degrees and values in finite simple groups. In particular the so called Witten zeta function plays a key role in the proofs.
△ Less
Submitted 27 August, 2007;
originally announced August 2007.
-
On the girth of random Cayley graphs
Authors:
Alex Gamburd,
Shlomo Hoory,
Mehrdad Shahshahani,
Aner Shalev,
Balint Virag
Abstract:
We prove that random d-regular Cayley graphs of the symmetric group asymptotically almost surely have girth at least (log_{d-1}|G|)^{1/2}/2 and that random d-regular Cayley graphs of simple algebraic groups over F_q asymptotically almost surely have girth at least log_{d-1}|G|/dim(G). For the symmetric p-groups the girth is between log log |G| and (log|G|)^alpha with alpha<1. Several conjectures…
▽ More
We prove that random d-regular Cayley graphs of the symmetric group asymptotically almost surely have girth at least (log_{d-1}|G|)^{1/2}/2 and that random d-regular Cayley graphs of simple algebraic groups over F_q asymptotically almost surely have girth at least log_{d-1}|G|/dim(G). For the symmetric p-groups the girth is between log log |G| and (log|G|)^alpha with alpha<1. Several conjectures and open questions are presented.
△ Less
Submitted 12 July, 2007;
originally announced July 2007.
-
Word maps and Waring type problems
Authors:
Michael Larsen,
Aner Shalev
Abstract:
Waring's classical problem deals with expressing every natural number as a sum of g(k) k-th powers. Recently there has been considerable interest in similar questions for nonabelian groups, and simple groups in particular. Here the k-th power word is replaced by an arbitrary nontrivial group word w, and the goal is to express group elements as short products of values of w.
We give a best poss…
▽ More
Waring's classical problem deals with expressing every natural number as a sum of g(k) k-th powers. Recently there has been considerable interest in similar questions for nonabelian groups, and simple groups in particular. Here the k-th power word is replaced by an arbitrary nontrivial group word w, and the goal is to express group elements as short products of values of w.
We give a best possible and somewhat surprising solution for this Waring type problem for various finite simple groups, showing that a product of length two suffices to express all elements. We also show that the set of values of w is very large, improving various results obtained previously.
Along the way we also obtain new results of independent interest on character values and class squares in symmetric groups.
Our methods involve algebraic geometry, representation theory, probabilistic arguments, as well as three prime theorems from additive number theory (approximating Goldbach's Conjecture).
△ Less
Submitted 11 January, 2007;
originally announced January 2007.
-
Permutation groups, minimal degrees and quantum computing
Authors:
Julia Kempe,
Laszlo Pyber,
Aner Shalev
Abstract:
We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support. These results contribute to the foundations of a non-commutative coding theory.
A main application of our results concerns the Hidden Subgroup Problem for t…
▽ More
We study permutation groups of given minimal degree without the classical primitivity assumption. We provide sharp upper bounds on the order of a permutation group of minimal degree m and on the number of its elements of any given support. These results contribute to the foundations of a non-commutative coding theory.
A main application of our results concerns the Hidden Subgroup Problem for the symmetric group in Quantum Computing. We completely characterize the hidden subgroups of the symmetric group that can be distinguished from identity with weak Quantum Fourier Sampling, showing these are exactly the subgroups with bounded minimal degree. This implies that the weak standard method for the symmetric group has no advantage whatsoever over classical exhaustive search.
△ Less
Submitted 28 July, 2006;
originally announced July 2006.
-
Thompson-like characterization of the solvable radical
Authors:
R. Guralnick,
B. Kunyavskii,
E. Plotkin,
A. Shalev
Abstract:
We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x in G the subgroup of G generated by x and y is solvable. We present analogues of this result for finite dimensional Lie algebras and some classes of infinite groups. We also consider a similar problem for pairs of elements.
We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x in G the subgroup of G generated by x and y is solvable. We present analogues of this result for finite dimensional Lie algebras and some classes of infinite groups. We also consider a similar problem for pairs of elements.
△ Less
Submitted 28 August, 2005; v1 submitted 8 April, 2005;
originally announced April 2005.