Certifying numerical estimates of spectral gaps

DOI10.1515/gcc-2018-0004zbMath1394.22008arXiv1703.09680OpenAlexW2964188227MaRDI QIDQ1647864

Piotr W. Nowak, Marek Kaluba

Publication date: 27 June 2018

Published in: Groups, Complexity, Cryptology (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.09680

zbMATH Keywords

semidefinite programmingKazhdan constantsspecial linear groupProperty (T)

Mathematics Subject Classification ID

Convex programming (90C25) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Unitary representations of locally compact groups (22D10)

Related Items

On property (T) for \(\Aut(F_n)\) and \(\mathrm{SL}_n(\mathbb{Z})\) ⋮ Geometric structures in group theory. Abstracts from the workshop held February 27 -- March 5, 2022 ⋮ Group algebra criteria for vanishing of cohomology ⋮ \(\Aut(\mathbb{F}_5)\) has property \((T)\)

Uses Software

• GAP
• Julia
• JuMP
• SCS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conic optimization via operator splitting and homogeneous self-dual embedding
• Polyhedral and semidefinite programming methods in combinatorial optimization
• Real closed separation theorems and applications to group algebras
• Uniform Kazhdan constant for some families of linear groups.
• Kazhdan’s Property (T) via Semidefinite Optimization
• On the $O(1/n)$ Convergence Rate of the Douglas–Rachford Alternating Direction Method
• Real Algebraic Geometry and its Applications
• Julia: A Fresh Approach to Numerical Computing
• KAZHDAN CONSTANTS FOR SL_n(ℤ)
• NONCOMMUTATIVE REAL ALGEBRAIC GEOMETRY OF KAZHDAN’S PROPERTY (T)
• Kazhdan constants for SL (3, Z).
• Non-commutative Real Algebraic Geometry - Some Basic Concepts and First Ideas
• Semidefinite Programming
• JuMP: A Modeling Language for Mathematical Optimization
• Bounded generation and Kazhdan's property (T)