High-Dimensional Expanders: How I learned to stop worrying and love group-theoretic constructions

High-Dimensional Expanders: How I learned to stop worrying and love group-theoretic constructions

🎙 Ryan O'Donnell 👥 14K 📅 April 8, 2022 ⏱ 47 min 👁 4K 📄 expert opinion 🧭 2026-08-17
Available in: English (current) Français

Keywords

expander graphshigh-dimensional expandersconstant linkgroup theoryRamanujan graphs

Summary

In this talk, Ryan O’Donnell introduces the concept of high-dimensional expanders, focusing on two-dimensional expanders. He begins by defining expander graphs and their importance in theoretical computer science. He then explains the notion of the link of a vertex and defines two-dimensional expanders as graphs where every vertex link is a good expander. He discusses the challenge of constructing families of graphs with constant link, showing that for many small graphs like cycles or the Petersen graph, only finitely many such graphs exist. He highlights the role of group theory in overcoming these obstacles, presenting examples like the L3 graph and the work of Christina Balantine, who constructed infinite families of high-dimensional expanders using algebraic methods. He also mentions the Cartwright-Soleil-Juke paper that provides explicit constructions and conjectures about Ramanujan high-dimensional expanders. The talk concludes with a discussion of recent developments, including the proof of the Langlands correspondence and explicit constructions of Ramanujan complexes.

154 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk provides a clear and insightful overview of high-dimensional expanders, emphasizing the difficulty of constructing families with constant link. The argumentation is well-structured, starting from basic definitions and building up to advanced constructions. The speaker effectively motivates the use of group theory by showing the limitations of naive approaches. The value lies in the synthesis of known results and the presentation of open problems, making it a valuable resource for researchers and students.

Scientific Rigor, Source Quality, Title Accuracy

The talk is scientifically rigorous, with references to key papers and theorems. The speaker cites specific works, such as the paper by Cartwright, Soleil, and Juke, and mentions the Classification of Finite Simple Groups. The title accurately reflects the content, though it is somewhat informal. The talk is based on joint work with Kevin Pratt, and the associated arXiv paper is referenced. The sources are appropriate and well-integrated into the presentation.

160 words

Title / Content Match

The title is catchy and accurately reflects the content, which focuses on high-dimensional expanders and the use of group-theoretic constructions.

Quality & Reliability

8/10

The talk is given by a recognized expert in theoretical computer science, and it is based on joint work with Kevin Pratt, with a preprint on arXiv. The content is technically accurate and well-structured, though it is a presentation rather than a peer-reviewed publication.

Key Moments

Cited Sources

Concurring Sources

Contribution & Novelties

The talk provides a comprehensive overview of high-dimensional expanders, highlighting the importance of group-theoretic constructions. It presents recent results and open problems, making it a valuable resource for researchers. The speaker’s perspective as a theoretical computer scientist adds a unique angle to the topic.

Pour aller plus loin :

88 words

Radar Profile

The radar profile shows high scores in quality and technical level, indicating a technically deep and reliable presentation. The quantity of information is also high, but the overall score is slightly lower due to the lack of explicit verification of all sources.

Reliability 8/10