April 19, 2024

MIT Mathematicians Solve an Old Geometry Problem on Equiangular Lines

In a regular icosahedron (purple), six primary interior diagonals (red lines) make equal angles with each other. Credit: Image: Zilin Jiang
The number of lines can be pairwise separated by the exact same angle in high measurements? Geometry development offers new insights into spectral graph theory.
Equiangular lines are lines in space that go through a single point, and whose pairwise angles are all equal. Photo in 2D the three diagonals of a regular hexagon, and in 3D, the 6 lines connecting opposite vertices of a routine icosahedron (see the figure above). Mathematicians are not limited to three dimensions, nevertheless..
” In high measurements, things truly get interesting, and the possibilities can seem endless,” states Yufei Zhao, assistant teacher of mathematics.

Equiangular lines are lines in space that pass through a single point, and whose pairwise angles are all equivalent. Their development identifies the maximum possible number of lines that can be positioned so that the lines are pairwise separated by the very same provided angle. The mathematics of equiangular lines can be encoded utilizing chart theory. Zhao hosted Sudakovs visit to MIT in February 2018 when Sudakov spoke in the combinatorics research study seminar about his work on equiangular lines.
Jiang was motivated to work on the issue of equiangular lines based on the work of his former PhD advisor Bukh Boris at Carnegie Mellon University.

But they arent endless, according to Zhao and his group of MIT mathematicians, who sought to solve this problem on the geometry of lines in high-dimensional area. Its a problem that scientists have actually been perplexing over for a minimum of 70 years..
Their development identifies the maximum possible number of lines that can be placed so that the lines are pairwise separated by the same provided angle. Zhao composed the paper with a group of MIT scientists consisting of undergrads Yuan Yao and Shengtong Zhang, PhD trainee Jonathan Tidor, and postdoc Zilin Jiang.
” The evidence worked out cleanly and perfectly,” says Yufei Zhao (center). Left to right: Zilin Jiang, Jonathan Tidor, Zhao, Yuan Yao, and Shengtong Zhang.
The mathematics of equiangular lines can be encoded utilizing graph theory. The paper supplies new insights into a location of mathematics known as spectral graph theory, which supplies mathematical tools for studying networks. Spectral chart theory has actually caused crucial algorithms in computer system science such as Googles PageRank algorithm for its online search engine..
This new understanding of equiangular lines has possible ramifications for coding and interactions. Equiangular lines are examples of “spherical codes,” which are essential tools in details theory, permitting different celebrations to send out messages to each other over a loud communication channel, such as those sent out between NASA and its Mars rovers.
The problem of studying the maximum variety of equiangular lines with an offered angle was presented in a 1973 paper of P.W.H. Lemmens and J.J. Seidel.
” This is a lovely result providing a surprisingly sharp response to a well-studied problem in extremal geometry that got a substantial quantity of attention starting already in the 60s,” states Princeton University teacher of mathematics Noga Alon.
The brand-new work by the MIT team supplies what Zhao calls “a rewarding resolution to this issue.”.
” There were some excellent concepts at the time, but then individuals got stuck for nearly three years,” Zhao says. There was some crucial development made a few years ago by a team of scientists including Benny Sudakov, a teacher of mathematics at the Swiss Federal Institute of Technology (ETH) Zurich. Zhao hosted Sudakovs visit to MIT in February 2018 when Sudakov spoke in the combinatorics research study seminar about his deal with equiangular lines.
Jiang was influenced to deal with the problem of equiangular lines based upon the work of his former PhD consultant Bukh Boris at Carnegie Mellon University. Jiang and Zhao collaborated in the summertime of 2019, and were joined by Tidor, Yao, and Zhang. “I wished to discover a great summer season research study job, and I thought that this was a great problem to deal with,” Zhao discusses. “I thought we may make some nice progress, however it was absolutely beyond my expectations to totally fix the entire issue.”.
The research study was partly supported by the Alfred P. Sloan Foundation and the National Science Foundation. Yao and Zhang took part in the research study through the Department of Mathematics Summer Program for Undergraduate Research (SPUR), and Tidor was their graduate trainee mentor. Their results had earned them the mathematics departments Hartley Rogers Jr. Reward for the very best SPUR paper.
” It is one of the most successful results of the SPUR program,” states Zhao. “Its not every day that a long-standing open issue gets fixed.”.
Among the key mathematical tools used in the solution is understood as spectral chart theory. Spectral graph theory informs us how to use tools from direct algebra to comprehend graphs and networks. The “spectrum” of a graph is obtained by turning a chart into a matrix and taking a look at its eigenvalues.
” It is as if you shine an extreme beam on a chart and after that take a look at the spectrum of colors that come out,” Zhao discusses. “We found that the given off spectrum can never ever be too greatly concentrated near the top. It ends up that this fundamental reality about the spectra of charts has never been observed.”.
The work provides a brand-new theorem in spectral chart theory– that a bounded degree graph must have sublinear second eigenvalue multiplicity. The evidence requires smart insights relating the spectrum of a graph with the spectrum of small pieces of the chart.
” The evidence exercised easily and beautifully,” Zhao states. “We had so much enjoyable dealing with this issue together.”.
Reference: “Equiangular lines with a repaired angle” by Zilin Jiang, Jonathan Tidor, Yuan Yao, Shengtong Zhang and Yufei Zhao, Accepted, Annals of Mathematics.arXiv:1907.12466.