Frames over finite fields: Basic theory and equiangular lines in unitary geometry

We introduce the study of frames and equiangular lines in classical geometries over finite fields. After developing the basic theory, we give several examples and demonstrate finite field analogs of equiangular tight frames (ETFs) produced by modular difference sets, and by translation and modulation operators. Using the latter, we prove that Gerzon’s bound is attained in each unitary geometry of dimension d = 2 over the field F32 . We also investigate interactions between complex ETFs and those in finite unitary geometries, and we show that every complex ETF implies the existence of ETFs with the same size over infinitely many finite fields.

[1]  Peter G. Casazza,et al.  Introduction to Finite Frame Theory , 2013 .

[2]  S. G. Hoggar.  Two Quaternionic 4-Polytopes , 1981 .

[3]  Misha Rudnev,et al.  Erdös distance problem in vector spaces over finite fields , 2005 .

[4]  Shayne Waldron,et al.  Constructing exact symmetric informationally complete measurements from numerical solutions , 2017, 1703.05981.

[5]  J. Seidel,et al.  Spherical codes and designs , 1977 .

[6]  A. J. Scott,et al.  Symmetric informationally complete positive-operator-valued measures: A new computer study , 2010 .

[7]  D. E. Taylor.  The geometry of the classical groups , 1992 .

[8]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[9]  Dustin G. Mixon,et al.  Polyphase equiangular tight frames and abelian generalized quadrangles , 2016, Applied and Computational Harmonic Analysis.

[10]  A. Grothendieck,et al.  Étude locale des schémas et des morphismes de schémas , 1964 .

[11]  Joseph W. Iverson,et al.  Frames over finite fields: Equiangular lines in orthogonal geometry , 2020, Linear Algebra and its Applications.

[12]  R. Guralnick.  On the singular value decomposition over finite fields and orbits of GU×GU , 2021, Indagationes Mathematicae.

[13]  Joseph W. Iverson,et al.  OPTIMAL LINE PACKINGS FROM FINITE GROUP ACTIONS , 2017, Forum of Mathematics, Sigma.

[14]  A. Grothendieck,et al.  Éléments de géométrie algébrique , 1960 .

[15]  C. W. Tate.  Solve it. , 2005, Nursing standard (Royal College of Nursing (Great Britain) : 1987).

[16]  S. G. Hoggar.  64 Lines from a Quaternionic Polytope , 1998 .

[17]  Ferenc SzollHosi,et al.  All complex equiangular tight frames in dimension 3 , 2014, 1402.6429.

[18]  Aidan Roy,et al.  Equiangular lines, mutually unbiased bases, and spin models , 2009, Eur. J. Comb..

[19]  Jordan S. Ellenberg,et al.  On large subsets of $F_q^n$ with no three-term arithmetic progression , 2016 .

[20]  Dustin G. Mixon,et al.  Steiner equiangular tight frames , 2010, 1009.5730.

[21]  S. Waldron.  An Introduction to Finite Tight Frames , 2018 .

[22]  Dustin G. Mixon,et al.  Tremain equiangular tight frames , 2016, J. Comb. Theory, Ser. A.

[23]  Joseph W. Iverson,et al.  Optimal Line Packings from Nonabelian Groups , 2020, Discret. Comput. Geom..

[24]  Joseph W. Iverson,et al.  Doubly transitive lines I: Higman pairs and roux , 2018, Journal of Combinatorial Theory, Series A.

[25]  L. Grove,et al.  Classical Groups and Geometric Algebra , 2001 .

[26]  Thomas Strohmer,et al.  GRASSMANNIAN FRAMES WITH APPLICATIONS TO CODING AND COMMUNICATION , 2003, math/0301135.

[27]  Peter G. Casazza,et al.  Constructing tight fusion frames , 2011 .

[28]  J. Neukirch.  Algebraic Number Theory , 1999 .

[29]  Lloyd R. Welch,et al.  Lower bounds on the maximum cross correlation of signals (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[30]  Cunsheng Ding,et al.  A Generic Construction of Complex Codebooks Meeting the Welch Bound , 2007, IEEE Transactions on Information Theory.

[31]  Blake C. Stacey.  Equiangular Lines , 2021, A First Course in the Sporadic SICs.

[32]  Dustin G. Mixon,et al.  Equiangular Tight Frames From Hyperovals , 2016, IEEE Transactions on Information Theory.

[33]  Mátyás A. Sustik,et al.  On the existence of equiangular tight frames , 2007 .

[34]  Chris Godsil,et al.  Equiangular lines and covers of the complete graph , 2016 .

[35]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[36]  B. Bodmann,et al.  Frame theory for binary vector spaces , 2009, 0906.3467.

[37]  Dustin G. Mixon,et al.  The Road to Deterministic Matrices with the Restricted Isometry Property , 2012, Journal of Fourier Analysis and Applications.

[38]  H. O. Foulkes.  Abstract Algebra , 1967, Nature.

[39]  Ernie Croot,et al.  Progression-free sets in Z_4^n are exponentially small , 2017 .

[40]  Terence Tao,et al.  A sum-product estimate in finite fields, and applications , 2003, math/0301343.

[41]  Julia F. Knight,et al.  Algebraic number fields , 2006 .

[42]  Henry Cohn,et al.  Optimal simplices and codes in projective spaces , 2013, 1308.3188.

[43]  Jonathan Jedwab,et al.  A Simple Construction of Complex Equiangular Lines , 2014, 1408.2492.

[44]  Zeev Dvir,et al.  On the size of Kakeya sets in finite fields , 2008, 0803.2336.

[45]  B. Et-Taoui.  Quaternionic equiangular lines , 2020, Advances in Geometry.

[46]  Vsevolod F. Lev,et al.  Progression-free sets in $\mathbb Z_4^n$ are exponentially small , 2017 .

[47]  Huangjun Zhu,et al.  Super-symmetric informationally complete measurements , 2014, 1412.1099.

[48]  Wojciech Słomczyński,et al.  Informational power of the Hoggar symmetric informationally complete positive operator-valued measure , 2016 .

[49]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[50]  Georgios B. Giannakis,et al.  Achieving the Welch bound with difference sets , 2005, IEEE Transactions on Information Theory.

[51]  Joseph M. Renes,et al.  Symmetric informationally complete quantum measurements , 2003, quant-ph/0310075.

[52]  On the Passage From Local to Global in Number Theory , 1993, math/9307231.

[53]  Dustin G. Mixon,et al.  Fingerprinting With Equiangular Tight Frames , 2011, IEEE Transactions on Information Theory.

[54]  S. Chowla,et al.  On Difference Sets. , 1949, Proceedings of the National Academy of Sciences of the United States of America.