skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The free group on n generators modulo n + u random relations as n goes to infinity
Abstract We show that, as n goes to infinity, the free group on n generators, modulo {n+u} random relations, converges to a random group that we give explicitly. This random group is a non-abelian version of the random abelian groups that feature in the Cohen–Lenstra heuristics. For each n , these random groups belong to the few relator model in the Gromov model of random groups.  more » « less
Award ID(s):
2052036
PAR ID:
10253279
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Journal für die reine und angewandte Mathematik (Crelles Journal)
Volume:
2020
Issue:
762
ISSN:
0075-4102
Page Range / eLocation ID:
123 to 166
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We prove a number of results to the effect that generic quantum graphs (defined via operator systems as in the work of Duan-Severini-Winter / Weaver) have few symmetries: for a Zariski-dense open set of tuples ( X 1 , ⋯ , X d ) (X_1,\cdots ,X_d) of traceless self-adjoint operators in the n × n n\times n matrix algebra the corresponding operator system has trivial automorphism group, in the largest possible range for the parameters: 2 ≤ d ≤ n 2 − 3 2\le d\le n^2-3 . Moreover, the automorphism group is generically abelian in the larger parameter range 1 ≤ d ≤ n 2 − 2 1\le d\le n^2-2 . This then implies that for those respective parameters the corresponding random-quantum-graph model built on the GUE ensembles of X i X_i ’s (mimicking the Erdős-Rényi G ( n , p ) G(n,p) model) has trivial/abelian automorphism group almost surely. 
    more » « less
  2. We compute the multiplicity of the irreducible representations in the decomposition of the tensor product of an arbitrary number n of fundamental representations of SU(N), and we identify a duality in the representation content of this decomposition. Our method utilizes the mapping of the representations of SU(N) to the states of free fermions on the circle, and can be viewed as a random walk on a multidimensional lattice. We also derive the large-n limit and the response of the system to an external non-abelian magnetic field. These results can be used to study the phase properties of non-abelian ferromagnets and to take various scaling limits. 
    more » « less
  3. Abstract Does every $$n$$-vertex Cayley graph have an orthonormal eigenbasis all of whose coordinates are $$O(1/\sqrt{n})$$? While the answer is yes for abelian groups, we show that it is no in general. On the other hand, we show that every $$n$$-vertex Cayley graph (and more generally, vertex-transitive graph) has an orthonormal basis whose coordinates are all $$O(\sqrt{\log n / n})$$, and that this bound is nearly best possible. Our investigation is motivated by a question of Assaf Naor, who proved that random abelian Cayley graphs are small-set expanders, extending a classic result of Alon–Roichman. His proof relies on the existence of a bounded eigenbasis for abelian Cayley graphs, which we now know cannot hold for general groups. On the other hand, we navigate around this obstruction and extend Naor’s result to nonabelian groups. 
    more » « less
  4. Abstract We prove that ifAis a non-separable abelian tracial von Neuman algebra then its free powersA∗n,2≤n≤∞, are mutually non-isomorphic and with trivial fundamental group,$$\mathcal{F}(A^{*n})=1$$, whenever 2≤n<∞. This settles the non-separable version of the free group factor problem. 
    more » « less
  5. We introduce a mathematical framework for symmetry-resolved entanglement entropy with a non-Abelian symmetry group. To obtain a reduced density matrix that is block-diagonal in the non-Abelian charges, we define subsystems operationally in terms of subalgebras of invariant observables. We derive exact formulas for the average and the variance of the typical entanglement entropy for the ensemble of random pure states with fixed non-Abelian charges. We focus on compact, semisimple Lie groups. We show that, compared to the Abelian case, new phenomena arise from the interplay of locality and non-Abelian symmetry, such as the asymmetry of the entanglement entropy under subsystem exchange, which we show in detail by computing the Page curve of a many-body system with SU(2) symmetry. 
    more » « less