# Mathematicians solve an old geometry problem on equiangular lines

How many lines can be pairwise separated by the same angle in high dimensions? Geometry breakthrough gives new insights into spectral graph theory.
Press Inquiries

### Press Contact:

Sandi Miller
Phone: 617-258-6895
Departments of Physics and Mathematics

Caption: In a regular icosahedron (purple), six main interior diagonals (red lines) make equal angles with each other.
Credits: Image: Zilin Jiang
Caption: “The proof worked out cleanly and beautifully,” says Yufei Zhao (center). “We had so much fun working on this problem together.” Left to right: Zilin Jiang, Jonathan Tidor, Zhao, Yuan Yao, and Shengtong Zhang
Credits: Photo: Sandi Miller/MIT Department of Mathematics

Images for download on the MIT News office website are made available to non-commercial entities, press and the general public under a Creative Commons Attribution Non-Commercial No Derivatives license. You may not alter the images provided, other than to crop them to size. A credit line must be used when reproducing images; if one is not provided below, credit the images to "MIT."

Caption:
In a regular icosahedron (purple), six main interior diagonals (red lines) make equal angles with each other.
Credits:
Image: Zilin Jiang
Caption:
“The proof worked out cleanly and beautifully,” says Yufei Zhao (center). “We had so much fun working on this problem together.” Left to right: Zilin Jiang, Jonathan Tidor, Zhao, Yuan Yao, and Shengtong Zhang
Credits:
Photo: Sandi Miller

Equiangular lines are lines in space that pass through a single point, and whose pairwise angles are all equal. Picture in 2D the three diagonals of a regular hexagon, and in 3D, the six lines connecting opposite vertices of a regular icosahedron (see the figure above). Mathematicians are not limited to three dimensions, however.

“In high dimensions, things really get interesting, and the possibilities can seem limitless,” says Yufei Zhao, assistant professor of mathematics.

But they aren’t limitless, according to Zhao and his team of MIT mathematicians, who sought to solve this problem on the geometry of lines in high-dimensional space. It’s a problem that researchers have been puzzling over for at least 70 years.

Their breakthrough determines the maximum possible number of lines that can be placed so that the lines are pairwise separated by the same given angle. Zhao wrote the paper with a group of MIT researchers consisting of undergraduates Yuan Yao and Shengtong Zhang, PhD student Jonathan Tidor, and postdoc Zilin Jiang. (Yao recently started as an MIT math PhD student, and Jiang is now a faculty member at Arizona State University). Their paper will be published in the November issue of Annals of Mathematics.

The mathematics of equiangular lines can be encoded using graph theory. The paper provides new insights into an area of mathematics known as spectral graph theory, which provides mathematical tools for studying networks. Spectral graph theory has led to important algorithms in computer science such as Google’s PageRank algorithm for its search engine.

This new understanding of equiangular lines has potential implications for coding and communications. Equiangular lines are examples of “spherical codes,” which are important tools in information theory, allowing different parties to send messages to each other over a noisy communication channel, such as those sent between NASA and its Mars rovers.

The problem of studying the maximum number of equiangular lines with a given angle was introduced in a 1973 paper of P.W.H. Lemmens and J.J. Seidel.

“This is a beautiful result providing a surprisingly sharp answer to a well-studied problem in extremal geometry that received a considerable amount of attention starting already in the ’60s,” says Princeton University professor of mathematics Noga Alon.

The new work by the MIT team provides what Zhao calls “a satisfying resolution to this problem.”

“There were some good ideas at the time, but then people got stuck for nearly three decades,” Zhao says. There was some important progress made a few years ago by a team of researchers including Benny Sudakov, a professor of mathematics at the Swiss Federal Institute of Technology (ETH) Zurich. Zhao hosted Sudakov’s visit to MIT in February 2018 when Sudakov spoke in the combinatorics research seminar about his work on equiangular lines.

Jiang was inspired to work on the problem of equiangular lines based on the work of his former PhD advisor Bukh Boris at Carnegie Mellon University. Jiang and Zhao teamed up in the summer of 2019, and were joined by Tidor, Yao, and Zhang. “I wanted to find a good summer research project, and I thought that this was a great problem to work on,” Zhao explains. “I thought we might make some nice progress, but it was definitely beyond my expectations to completely solve the entire problem.”

The research was partially supported by the Alfred P. Sloan Foundation and the National Science Foundation. Yao and Zhang participated in the research through the Department of Mathematics’ Summer Program for Undergraduate Research (SPUR), and Tidor was their graduate student mentor. Their results had earned them the mathematics department’s Hartley Rogers Jr. Prize for the best SPUR paper.

“It is one of the most successful outcomes of the SPUR program,” says Zhao. “It’s not every day that a long-standing open problem gets solved.”

One of the key mathematical tools used in the solution is known as spectral graph theory. Spectral graph theory tells us how to use tools from linear algebra to understand graphs and networks. The “spectrum” of a graph is obtained by turning a graph into a matrix and looking at its eigenvalues.

“It is as if you shine an intense beam of light on a graph and then examine the spectrum of colors that come out,” Zhao explains. “We found that the emitted spectrum can never be too heavily concentrated near the top. It turns out that this fundamental fact about the spectra of graphs has never been observed.”

The work gives a new theorem in spectral graph theory — that a bounded degree graph must have sublinear second eigenvalue multiplicity. The proof requires clever insights relating the spectrum of a graph with the spectrum of small pieces of the graph.

“The proof worked out cleanly and beautifully,” Zhao says. “We had so much fun working on this problem together.”

## More MIT News

### Study: Flying keeps getting safer

Reflecting a “Moore’s Law of aviation,” commercial flight has become roughly twice as safe each decade since the 1960s; Covid-19 added a wrinkle, however.

### Tracking emissions to help companies reduce their environmental footprint

Context Labs, led by Dan Harple SM ’13, uses AI-enabled data analytics and verification to help companies measure their true greenhouse emissions and document reductions.

### The art of the enzyme

Bioengineer and artist David Kastner seeks to unlock the secrets of catalysis and improve science communication through eye-catching visuals.

### New substrate material for flexible electronics could help combat e-waste

Electronic waste is a rapidly growing problem, but this degradable material could allow the recycling of parts from many single-use and wearable devices.

### Hamsa Balakrishnan appointed associate dean of engineering

Department of Aeronautics and Astronautics faculty member will play a vital role in shaping and supporting the MIT School of Engineering community.

### MIT School of Science launches Center for Sustainability Science and Strategy

New center taps Institute-wide expertise to improve understanding of, and responses to, sustainability challenges.