-
Arithmeticity, thinness and efficiency of qutrit Clifford+T gates
Authors:
Shai Evra,
Ori Parzanchevski
Abstract:
The Clifford+T gate set is a topological generating set for PU(2), which has been well-studied from the perspective of quantum computation on a single qubit. The discovery that it generates a full S-arithmetic subgroup of PU(2) has led to a fruitful interaction between quantum computation and number theory, resulting in a proof that words in these gates cover PU(2) in an almost-optimal manner.
I…
▽ More
The Clifford+T gate set is a topological generating set for PU(2), which has been well-studied from the perspective of quantum computation on a single qubit. The discovery that it generates a full S-arithmetic subgroup of PU(2) has led to a fruitful interaction between quantum computation and number theory, resulting in a proof that words in these gates cover PU(2) in an almost-optimal manner.
In this paper we study the analogue gate set for PU(3). We show that in PU(3) the group generated by the Clifford+T gates is not arithmetic - in fact, it is a thin matrix group, namely a Zariski-dense group of infinite index in its ambient S-arithmetic group. On the other hand, we study a recently proposed extension of the Clifford+T gates, called Clifford+D, and show that these do generate a full S-arithmetic subgroup of PU(3), and satisfy a slightly weaker almost-optimal covering property than that of Clifford+T in PU(2). The proofs are different from those for PU(2): while both gate sets act naturally on a (Bruhat-Tits) tree, in PU(2) the generated group acts transitively on the vertices of the tree, and this is a main ingredient in proving both arithmeticity and efficiency. In the PU(3) Clifford+D case the action on the tree is far from being transitive. This makes the proof of arithmeticity considerably harder, and the study of efficiency by automorphic representation theory becomes more involved, and results in a covering rate which differs from the optimal one by a factor of $log_3(105)\approx 4.236$.
△ Less
Submitted 12 November, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Ramanujan Bigraphs
Authors:
Shai Evra,
Brooke Feigon,
Kathrin Maurischat,
Ori Parzanchevski
Abstract:
In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of v…
▽ More
In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many $p$.
Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Generalized Ramanujan Conjecture (GRC), on the respective groups. But while for $PGL_2$ the GRC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the GRC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis.
On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We also show that the graphs we construct exhibit the cutoff phenomenon with bounded window size for the mixing time of non-backtracking random walks, either as a consequence of the Ramanujan property, or the density hypothesis. Finally, we present some other applications of our work: super golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\tilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of Betti numbers of Picard modular surfaces.
△ Less
Submitted 4 April, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Sequential Sweeps and High Dimensional Expansion
Authors:
Vedat Levi Alev,
Ori Parzanchevski
Abstract:
It is well known that the spectral gap of the down-up walk over an $n$-partite simplicial complex (also known as Glauber dynamics) cannot be better than $O(1/n)$ due to natural obstructions such as coboundaries. We study an alternative random walk over partite simplicial complexes known as the sequential sweep or the systematic scan Glauber dynamics: Whereas the down-up walk at each step selects a…
▽ More
It is well known that the spectral gap of the down-up walk over an $n$-partite simplicial complex (also known as Glauber dynamics) cannot be better than $O(1/n)$ due to natural obstructions such as coboundaries. We study an alternative random walk over partite simplicial complexes known as the sequential sweep or the systematic scan Glauber dynamics: Whereas the down-up walk at each step selects a random coordinate and updates it based on the remaining coordinates, the sequential sweep goes through each of the coordinates one by one in a deterministic order and applies the same update operation. It is natural, thus, to compare $n$-steps of the down-up walk with a single step of the sequential sweep. Interestingly, while the spectral gap of the $n$-th power of the down-up walk is still bounded from above by a constant, under a strong enough local spectral assumption (in the sense of Gur, Lifschitz, Liu, STOC 2022) we can show that the spectral gap of this walk can be arbitrarily close to 1. We also study other isoperimetric inequalities for these walks, and show that under the assumptions of local entropy contraction (related to the considerations of Gur, Lifschitz, Liu), these walks satisfy an entropy contraction inequality.
△ Less
Submitted 15 May, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Free flags over local rings and powering of high dimensional expanders
Authors:
Tali Kaufman,
Ori Parzanchevski
Abstract:
Powering the adjacency matrix of an expander graph results in a better expander of higher degree. In this paper we seek an analogue operation for high-dimensional expanders. We show that the naive approach to powering does not preserve high-dimensional expansion, and define a new power operation, using geodesic walks on quotients of Bruhat-Tits buildings. Applying this operation results in high-di…
▽ More
Powering the adjacency matrix of an expander graph results in a better expander of higher degree. In this paper we seek an analogue operation for high-dimensional expanders. We show that the naive approach to powering does not preserve high-dimensional expansion, and define a new power operation, using geodesic walks on quotients of Bruhat-Tits buildings. Applying this operation results in high-dimensional expanders of higher degrees. The crux of the proof is a combinatorial study of flags of free modules over finite local rings. Their geometry describes links in the power complex, and showing that they are excellent expanders implies high dimensional expansion for the power-complex by Garland's local-to-global technique. As an application, we use our power operation to obtain new efficient double samplers.
△ Less
Submitted 17 April, 2021; v1 submitted 5 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.
-
Cutoff on Ramanujan complexes and classical groups
Authors:
Michael Chapman,
Ori Parzanchevski
Abstract:
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generat…
▽ More
The total-variation cutoff phenomenon has been conjectured to hold for simple random walk on all transitive expanders. However, very little is actually known regarding this conjecture, and cutoff on sparse graphs in general. In this paper we establish total-variation cutoff for simple random walk on Ramanujan complexes of type $\widetilde{A}_{d}$ $(d\geq1)$. As a result, we obtain explicit generators for the finite classical groups $\mathrm{PGL}_{n}(\mathbb{F}_{q})$ for which the associated Cayley graphs exhibit total-variation cutoff.
△ Less
Submitted 16 June, 2022; v1 submitted 27 January, 2019;
originally announced January 2019.
-
Ramanujan complexes and Golden Gates in PU(3)
Authors:
Shai Evra,
Ori Parzanchevski
Abstract:
In a seminal series of papers from the 80's, Lubotzky, Phillips and Sarnak applied the Ramanujan-Petersson Conjecture for $GL_{2}$ (Deligne's theorem), to a special family of arithmetic lattices, which act simply-transitively on the Bruhat-Tits trees associated with $SL_{2}(\mathbb{Q}_{p})$. As a result, they obtained explicit Ramanujan Cayley graphs from $PSL_{2}\left(\mathbb{F}_{p}\right)$, as w…
▽ More
In a seminal series of papers from the 80's, Lubotzky, Phillips and Sarnak applied the Ramanujan-Petersson Conjecture for $GL_{2}$ (Deligne's theorem), to a special family of arithmetic lattices, which act simply-transitively on the Bruhat-Tits trees associated with $SL_{2}(\mathbb{Q}_{p})$. As a result, they obtained explicit Ramanujan Cayley graphs from $PSL_{2}\left(\mathbb{F}_{p}\right)$, as well as optimal topological generators ("Golden Gates") for the compact Lie group $PU(2)$. In higher dimension, the naive generalization of the Ramanujan Conjecture fails, due to the phenomenon of endoscopic lifts. In this paper we overcome this problem for $PU_{3}$ by constructing a family of arithmetic lattices which act simply-transitively on the Bruhat-Tits buildings associated with $SL_{3}(\mathbb{Q}_{p})$ and $SU_{3}(\mathbb{Q}_{p})$, while at the same time do not admit any representation which violates the Ramanujan Conjecture. This gives us Ramanujan complexes from $PSL_{3}(\mathbb{F}_{p})$ and $PSU_{3}(\mathbb{F}_{p})$, as well as golden gates for $PU(3)$.
△ Less
Submitted 13 January, 2022; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Ramanujan Graphs and Digraphs
Authors:
Ori Parzanchevski
Abstract:
Ramanujan graphs have fascinating properties and history. In this paper we explore a parallel notion of Ramanujan digraphs, collecting relevant results from old and recent papers, and proving some new ones. Almost-normal Ramanujan digraphs are shown to be of special interest, as they are extreme in the sense of an Alon-Boppana theorem, and they have remarkable combinatorial features, such as small…
▽ More
Ramanujan graphs have fascinating properties and history. In this paper we explore a parallel notion of Ramanujan digraphs, collecting relevant results from old and recent papers, and proving some new ones. Almost-normal Ramanujan digraphs are shown to be of special interest, as they are extreme in the sense of an Alon-Boppana theorem, and they have remarkable combinatorial features, such as small diameter, Chernoff bound for sampling, optimal covering time and sharp cutoff. Other topics explored are the connection to Cayley graphs and digraphs, the spectral radius of universal covers, Alon's conjecture for random digraphs, and explicit constructions of almost-normal Ramanujan digraphs.
△ Less
Submitted 25 May, 2020; v1 submitted 21 April, 2018;
originally announced April 2018.
-
Aldous' Spectral Gap Conjecture for Normal Sets
Authors:
Ori Parzanchevski,
Doron Puder
Abstract:
Let $S_n$ denote the symmetric group on $n$ elements, and $Σ\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $Σ$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},Σ\right)$ is identical to the second eigenvalue of the Schreier graph on…
▽ More
Let $S_n$ denote the symmetric group on $n$ elements, and $Σ\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $Σ$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},Σ\right)$ is identical to the second eigenvalue of the Schreier graph on $n$ vertices depicting the action of $S_{n}$ on $\left\{ 1,\ldots,n\right\}$. Inspired by this seminal result, we study similar questions for other types of sets in $S_{n}$. Specifically, we consider normal sets: sets that are invariant under conjugation. Relying on character bounds due to Larsen and Shalev [2008], we show that for large enough $n$, if $Σ\subset S_{n}$ is a full conjugacy class, then the second eigenvalue of $\mathrm{Cay}\left(S_{n},Σ\right)$ is roughly identical to the second eigenvalue of the Schreier graph depicting the action of $S_{n}$ on ordered $4$-tuples of elements from $\left\{ 1,\ldots,n\right\}$. We further show that this type of result does not hold when $Σ$ is an arbitrary normal set, but a slightly weaker one does hold. We state a conjecture in the same spirit regarding an arbitrary symmetric set $Σ\subset S_{n}$, which yields surprisingly strong consequences.
△ Less
Submitted 26 July, 2020; v1 submitted 8 April, 2018;
originally announced April 2018.
-
Super-Golden-Gates for PU(2)
Authors:
Ori Parzanchevski,
Peter Sarnak
Abstract:
To each of the symmetry groups of the Platonic solids we adjoin a carefully designed involution yielding topological generators of PU(2) which have optimal covering properties as well as efficient navigation. These are a consequence of optimal strong approximation for integral quadratic forms associated with certain special quaternion algebras and their arithmetic groups. The generators give super…
▽ More
To each of the symmetry groups of the Platonic solids we adjoin a carefully designed involution yielding topological generators of PU(2) which have optimal covering properties as well as efficient navigation. These are a consequence of optimal strong approximation for integral quadratic forms associated with certain special quaternion algebras and their arithmetic groups. The generators give super efficient 1-qubit quantum gates and are natural building blocks for the design of universal quantum gates.
△ Less
Submitted 7 April, 2017;
originally announced April 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.
-
Spectrum and combinatorics of two-dimensional Ramanujan complexes
Authors:
Konstantin Golubev,
Ori Parzanchevski
Abstract:
Ramanujan graphs have extremal spectral properties, which imply a remarkable combinatorial behavior. In this paper we compute the high dimensional Hodge-Laplace spectrum of Ramanujan triangle complexes, and show that it implies a combinatorial expansion property, and a pseudo-randomness result. For this purpose we prove a Cheeger-type inequality and a mixing lemma of independent interest.
Ramanujan graphs have extremal spectral properties, which imply a remarkable combinatorial behavior. In this paper we compute the high dimensional Hodge-Laplace spectrum of Ramanujan triangle complexes, and show that it implies a combinatorial expansion property, and a pseudo-randomness result. For this purpose we prove a Cheeger-type inequality and a mixing lemma of independent interest.
△ Less
Submitted 4 July, 2017; v1 submitted 25 June, 2014;
originally announced June 2014.
-
A SageTeX Hypermatrix Algebra Package
Authors:
Edinah K. Gnang,
Ori Parzanchevski,
Yuval Filmus
Abstract:
We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package.
We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package.
△ Less
Submitted 11 March, 2014;
originally announced March 2014.
-
Mixing in high-dimensional expanders
Authors:
Ori Parzanchevski
Abstract:
We prove a generalization of the Expander Mixing Lemma for arbitrary (finite) simplicial complexes. The original lemma states that concentration of the Laplace spectrum of a graph implies combinatorial expansion (which is also referred to as mixing, or quasi-randomness). Recently, an analogue of this Lemma was proved for simplicial complexes of arbitrary dimension, provided that the skeleton of th…
▽ More
We prove a generalization of the Expander Mixing Lemma for arbitrary (finite) simplicial complexes. The original lemma states that concentration of the Laplace spectrum of a graph implies combinatorial expansion (which is also referred to as mixing, or quasi-randomness). Recently, an analogue of this Lemma was proved for simplicial complexes of arbitrary dimension, provided that the skeleton of the complex is complete. More precisely, it was shown that a concentrated spectrum of the simplicial Hodge Laplacian implies a similar type of expansion as in graphs. In this paper we remove the assumption of a complete skeleton, showing that concentration of the Laplace spectra in all dimensions implies combinatorial expansion in any complex. As applications we show that spectral concentration implies Gromov's geometric overlap property, and can be used to bound the chromatic number of a complex.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
Simplicial complexes: spectrum, homology and random walks
Authors:
Ori Parzanchevski,
Ron Rosenthal
Abstract:
Random walks on a graph reflect many of its topological and spectral properties, such as connectedness, bipartiteness and spectral gap magnitude. In the first part of this paper we define a stochastic process on simplicial complexes of arbitrary dimension, which reflects in an analogue way the existence of higher dimensional homology, and the magnitude of the high-dimensional spectral gap originat…
▽ More
Random walks on a graph reflect many of its topological and spectral properties, such as connectedness, bipartiteness and spectral gap magnitude. In the first part of this paper we define a stochastic process on simplicial complexes of arbitrary dimension, which reflects in an analogue way the existence of higher dimensional homology, and the magnitude of the high-dimensional spectral gap originating in the works of Eckmann and Garland.
The second part of the paper is devoted to infinite complexes. We present a generalization of Kesten's result on the spectrum of regular trees, and of the connection between return probabilities and spectral radius. We study the analogue of the Alon-Boppana theorem on spectral gaps, and exhibit a counterexample for its high-dimensional counterpart. We show, however, that under some assumptions the theorem does hold - for example, if the codimension-one skeletons of the complexes in question form a family of expanders.
Our study suggests natural generalizations of many concepts from graph theory, such as amenability, recurrence/transience, and bipartiteness. We present some observations regarding these ideas, and several open questions.
△ Less
Submitted 11 January, 2013; v1 submitted 28 November, 2012;
originally announced November 2012.
-
On tensor products of semistable lattices
Authors:
Ehud de Shalit,
Ori Parzanchevski
Abstract:
We give an elementary proof of low rank cases of the conjecture that the tensor product of two semistable Euclidean lattices is again semistable.
We give an elementary proof of low rank cases of the conjecture that the tensor product of two semistable Euclidean lattices is again semistable.
△ Less
Submitted 14 November, 2012;
originally announced November 2012.
-
Stallings Graphs, Algebraic Extensions and Primitive Elements in F2
Authors:
Ori Parzanchevski,
Doron Puder
Abstract:
This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjectur…
▽ More
This paper studies the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjecture by Miasnikov, Ventura and Weil, which seeks to characterize algebraic extensions in free groups in terms of Stallings graphs.
△ Less
Submitted 24 October, 2012;
originally announced October 2012.
-
Isoperimetric Inequalities in Simplicial Complexes
Authors:
Ori Parzanchevski,
Ron Rosenthal,
Ran J. Tessler
Abstract:
In graph theory there are intimate connections between the expansion properties of a graph and the spectrum of its Laplacian. In this paper we define a notion of combinatorial expansion for simplicial complexes of general dimension, and prove that similar connections exist between the combinatorial expansion of a complex, and the spectrum of the high dimensional Laplacian defined by Eckmann. In pa…
▽ More
In graph theory there are intimate connections between the expansion properties of a graph and the spectrum of its Laplacian. In this paper we define a notion of combinatorial expansion for simplicial complexes of general dimension, and prove that similar connections exist between the combinatorial expansion of a complex, and the spectrum of the high dimensional Laplacian defined by Eckmann. In particular, we present a Cheeger-type inequality, and a high-dimensional Expander Mixing Lemma. As a corollary, using the work of Pach, we obtain a connection between spectral properties of complexes and Gromov's notion of geometric overlap. Using the work of Gunder and Wagner, we give an estimate for the combinatorial expansion and geometric overlap of random Linial-Meshulam complexes.
△ Less
Submitted 19 May, 2013; v1 submitted 3 July, 2012;
originally announced July 2012.
-
On the Fourier Expansion of Word Maps
Authors:
Ori Parzanchevski,
Gili Schul
Abstract:
Frobenius observed that the number of times an element of a finite group is obtained as a commutator is given by a specific combination of the irreducible characters of the group. More generally, for any word w the number of times an element is obtained by substitution in w is a class function. Thus, it has a presentation as a combination of irreducible characters, called its Fourier expansion. In…
▽ More
Frobenius observed that the number of times an element of a finite group is obtained as a commutator is given by a specific combination of the irreducible characters of the group. More generally, for any word w the number of times an element is obtained by substitution in w is a class function. Thus, it has a presentation as a combination of irreducible characters, called its Fourier expansion. In this paper we present formulas regarding the Fourier expansion of words in which some letters appear twice. These formulas give simple proofs for classical results, as well as new ones.
△ Less
Submitted 2 July, 2012;
originally announced July 2012.
-
Measure Preserving Words are Primitive
Authors:
Doron Puder,
Ori Parzanchevski
Abstract:
We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distr…
▽ More
We establish new characterizations of primitive elements and free factors in free groups, which are based on the distributions they induce on finite groups. For every finite group $G$, a word $w$ in the free group on $k$ generators induces a word map from $G^k$ to $G$. We say that $w$ is measure preserving with respect to $G$ if given uniform distribution on $G^k$, the image of this word map distributes uniformly on $G$. It is easy to see that primitive words (words which belong to some basis of the free group) are measure preserving w.r.t. all finite groups, and several authors have conjectured that the two properties are, in fact, equivalent. Here we prove this conjecture. The main ingredients of the proof include random coverings of Stallings graphs, algebraic extensions of free groups, and Möbius inversions. Our methods yield the stronger result that a subgroup of $F_k$ is measure preserving if and only if it is a free factor.
As an interesting corollary of this result we resolve a question on the profinite topology of free groups and show that the primitive elements of $F_k$ form a closed set in this topology.
△ Less
Submitted 23 October, 2014; v1 submitted 15 February, 2012;
originally announced February 2012.
-
On G-sets and Isospectrality
Authors:
Ori Parzanchevski
Abstract:
We study finite G-sets and their tensor product with Riemannian manifolds, and obtain results on isospectral quotients and covers. In particular, we show the following: if M is a compact connected Riemannian manifold (or orbifold) whose fundamental group has a finite non-cyclic quotient, then M has isospectral non-isometric covers.
We study finite G-sets and their tensor product with Riemannian manifolds, and obtain results on isospectral quotients and covers. In particular, we show the following: if M is a compact connected Riemannian manifold (or orbifold) whose fundamental group has a finite non-cyclic quotient, then M has isospectral non-isometric covers.
△ Less
Submitted 26 November, 2012; v1 submitted 2 April, 2011;
originally announced April 2011.
-
The Isospectral Fruits of Representation Theory: Quantum Graphs and Drums
Authors:
Ram Band,
Ori Parzanchevski,
Gilad Ben-Shach
Abstract:
We present a method which enables one to construct isospectral objects, such as quantum graphs and drums. One aspect of the method is based on representation theory arguments which are shown and proved. The complementary part concerns techniques of assembly which are both stated generally and demonstrated. For that purpose, quantum graphs are grist to the mill. We develop the intuition that stan…
▽ More
We present a method which enables one to construct isospectral objects, such as quantum graphs and drums. One aspect of the method is based on representation theory arguments which are shown and proved. The complementary part concerns techniques of assembly which are both stated generally and demonstrated. For that purpose, quantum graphs are grist to the mill. We develop the intuition that stands behind the construction as well as the practical skills of producing isospectral objects. We discuss the theoretical implications which include Sunada's theorem of isospectrality arising as a particular case of this method. A gallery of new isospectral examples is presented and some known examples are shown to result from our theory.
△ Less
Submitted 5 July, 2009; v1 submitted 11 December, 2008;
originally announced December 2008.
-
Linear Representations and Isospectrality with Boundary Conditions
Authors:
Ori Parzanchevski,
Ram Band
Abstract:
We present a method for constructing families of isospectral systems, using linear representations of finite groups. We focus on quantum graphs, for which we give a complete treatment. However, the method presented can be applied to other systems such as manifolds and two-dimensional drums. This is demonstrated by reproducing some known isospectral drums, and new examples are obtained as well. I…
▽ More
We present a method for constructing families of isospectral systems, using linear representations of finite groups. We focus on quantum graphs, for which we give a complete treatment. However, the method presented can be applied to other systems such as manifolds and two-dimensional drums. This is demonstrated by reproducing some known isospectral drums, and new examples are obtained as well. In particular, Sunada's method is a special case of the one presented.
△ Less
Submitted 15 December, 2008; v1 submitted 5 June, 2008;
originally announced June 2008.
