We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Combinatorics

Title: Cayley graphs without a bounded eigenbasis

Abstract: Does every $n$-vertex Cayley graph have an orthonormal eigenbasis all of whose coordinates are $O(1/\sqrt{n})$? While the answer is yes for abelian groups, we show that it is no in general.
On the other hand, we show that every $n$-vertex Cayley graph (and more generally, vertex-transitive graph) has an orthonormal basis whose coordinates are all $O(\sqrt{\log n / n})$, and that this bound is nearly best possible.
Our investigation is motivated by a question of Assaf Naor, who proved that random abelian Cayley graphs are small-set expanders, extending a classic result of Alon--Roichman. His proof relies on the existence of a bounded eigenbasis for abelian Cayley graphs, which we now know cannot hold for general groups. On the other hand, we navigate around this obstruction and extend Naor's result to nonabelian groups.
Comments: 18 pages
Subjects: Combinatorics (math.CO); Group Theory (math.GR)
Cite as: arXiv:2005.04502 [math.CO]
  (or arXiv:2005.04502v2 [math.CO] for this version)

Submission history

From: Ashwin Sah [view email]
[v1] Sat, 9 May 2020 19:42:17 GMT (671kb,D)
[v2] Wed, 28 Oct 2020 04:20:16 GMT (672kb,D)

Link back to: arXiv, form interface, contact.