Equiangular lines explained

In geometry, a set of lines is called equiangular if all the lines intersect at a single point, and every pair of lines makes the same angle.

Equiangular lines in Euclidean space

Computing the maximum number of equiangular lines in n-dimensional Euclidean space is a difficult problem, and unsolved in general, though bounds are known. The maximal number of equiangular lines in 2-dimensional Euclidean space is 3: we can take the lines through opposite vertices of a regular hexagon, each at an angle 120 degrees from the other two. The maximum in 3 dimensions is 6: we can take lines through opposite vertices of an icosahedron. It is known that the maximum number in any dimension

n is less than or equal to $\backslash binom$.^[1] This upper bound is tight up to a constant factor to a construction by de Caen.^[2] The maximum in dimensions 1 through 16 is listed in the On-Line Encyclopedia of Integer Sequences as follows:

1, 3, 6, 6, 10, 16, 28, 28, 28, 28, 28, 28, 28, 28, 36, 40, ... .

In particular, the maximum number of equiangular lines in 7 dimensions is 28. We can obtain these lines as follows. Take the vector (−3,−3,1,1,1,1,1,1) in

R ^{8} , and form all 28 vectors obtained by permuting its components. The dot product of two of these vectors is 8 if both have a component 3 in the same place or −8 otherwise. Thus, the lines through the origin containing these vectors are equiangular. Moreover, all 28 vectors are orthogonal to the vector (1,1,1,1,1,1,1,1) in R ^{8} , so they lie in a 7-dimensional space. In fact, these 28 vectors and their negatives are, up to rotation and dilation, the 56 vertices of the 3₂₁ polytope. In other words, they are the weight vectors of the 56-dimensional representation of the Lie group E₇.

Equiangular lines are equivalent to two-graphs. Given a set of equiangular lines, let c be the cosine of the common angle. We assume that the angle is not 90°, since that case is trivial (i.e., not interesting, because the lines are just coordinate axes); thus, c is nonzero. We may move the lines so they all pass through the origin of coordinates. Choose one unit vector in each line. Form the matrix M of inner products. This matrix has 1 on the diagonal and ±c everywhere else, and it is symmetric. Subtracting the identity matrix I and dividing by c, we have a symmetric matrix with zero diagonal and ±1 off the diagonal. This is the Seidel adjacency matrix of a two-graph. Conversely, every two-graph can be represented as a set of equiangular lines.

The problem of determining the maximum number of equiangular lines with a fixed angle in sufficiently high dimensions was solved by Jiang, Tidor, Yao, Zhang, and Zhao.^[3] The answer is expressed in spectral graph theoretic terms. Let

N _{\alpha(d)} denote the maximum number of lines through the origin in d dimensions with common pairwise angle \arccos\alpha . Let k denote the minimum number (if it exists) of vertices in a graph whose adjacency matrix has spectral radius exactly ( 1- \alpha)/( 2 \alpha) . If k is finite, then N _{\alpha(d)} = \lfloor k(d -1 )/(k -1 ) \rfloor for all sufficiently large dimensions d (here the "sufficiently large" may depend on \alpha ). If no k exists, then N _{\alpha(d)} = d + o(d) .

Equiangular lines in complex vector space

In a complex vector space equipped with an inner product, we can define the angle between unit vectors

\hat{a} and \hat{b} by the relation \cos(\theta) = |(\hat{a},\hat{b})| . It is known that an upper bound for the number of complex equiangular lines in any dimension n is n ^{2} . Unlike the real case described above, it is possible that this bound is attained in every dimension n . The conjecture that this holds true was proposed by Zauner^[4] and verified analytically or numerically up to n = 67 by Scott and Grassl.^[5] A maximal set of complex equiangular lines is also known as a SIC or SIC-POVM.

Notes

• J. J. Seidel "Discrete non-Euclidean geometry" In Buekenhout (ed.), Handbook of Incidence Geometry, Elsevier, Amsterdam, The Nederlands (1995) claims, without proof, that the maximum number of equiangular lines in dimension 14 is 28. This was not known at the time.

References

• K. Hartnett (2017), "A new path to equal-angle lines", Quanta Magazine.
• 1606.06620. Balla. Igor. Dräxler. Felix. Keevash. Peter. Sudakov. Benny. Equiangular Lines and Spherical Codes in Euclidean Space. 2016. math.CO.
• A002853. Maximal size of a set of equiangular lines in n dimensions.
• Brouwer, A.E., Cohen, A.M., and Neumaier, A. Distance-Regular Graphs. Springer-Verlag, Berlin, 1989. Section 3.8.
• . (See Chapter 11.)
• Gosselin, S., Regular two-graphs and equiangular lines, Master's thesis, Mathematics Department, University of Waterloo, 2004.
  • 1403.2155. 10.1016/j.jcta.2015.09.008. Equiangular lines in Euclidean spaces. 2016. Greaves. Gary. Koolen. Jacobus H.. Munemasa. Akihiro. Szöllősi. Ferenc. Journal of Combinatorial Theory, Series A. 138. 208–235. 11841813.
• 2002.08085. Greaves. Gary. Syatriadi. Jeven. Yatsyna. Pavlo. Equiangular lines in low dimensional Euclidean spaces. 2020. math.CO.
• 1311.3219. Barg. Alexander. Yu. Wei-Hsuan. New bounds for equiangular lines. 2013. math.MG.
• 1907.12466. Jiang. Zilin. Tidor. Jonathan. Yao. Yuan. Zhang. Shengtong. Zhao. Yufei. Equiangular lines with a fixed angle. Annals of Mathematics. 2021. 194. 3. 729–743. 10.4007/annals.2021.194.3.3. 198967748.

Notes and References

1. Lemmens. P. W. H. Seidel. J. J. 1973-03-01. Equiangular lines. Journal of Algebra. en. 24. 3. 494–512. 10.1016/0021-8693(73)90123-3. 0021-8693. free.
2. Caen. D. de. 2000-11-09. Large Equiangular Sets of Lines in Euclidean Space. The Electronic Journal of Combinatorics. en. 7. R55. 10.37236/1533. 1077-8926. free.
3. Jiang. Zilin. Tidor. Jonathan. Yao. Yuan. Zhang. Shengtong. Zhao. Yufei. Equiangular lines with a fixed angle. Annals of Mathematics. 2021. 194. 3. 729–743. 10.4007/annals.2021.194.3.3. 1907.12466. 198967748.
4. Zauner. Gerhard. Quantum Designs Foundations of noncommutative Design Theory. 1999. University of Vienna. PhD.
5. 2010-04-01. Symmetric informationally complete positive-operator-valued measures: A new computer study. Journal of Mathematical Physics. 51. 4. 042203. 10.1063/1.3374022. 0022-2488. 2010JMP....51d2203S. Scott. A. J.. Grassl. M.. 0910.5784. 115159554.