scholarly journals Cayley Graphs Without a Bounded Eigenbasis

Author(s):  
Ashwin Sah ◽  
Mehtaab Sawhney ◽  
Yufei Zhao

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.

10.37236/2087 ◽  
2012 ◽  
Vol 19 (1) ◽  
Author(s):  
Jin-Xin Zhou ◽  
Yan-Quan Feng

A graph is vertex-transitive if its automorphism group acts transitively on its vertices. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the cubic vertex-transitive non-Cayley graphs of order $8p$ are classified for each prime $p$. It follows from this classification that there are two sporadic and two infinite families of such graphs, of which the sporadic ones have order $56$,  one infinite family exists for every prime $p>3$ and the other family exists if and only if $p\equiv 1\mod 4$. For each family there is a unique graph for a given order.


Author(s):  
Brendan D. McKay ◽  
Cheryl E. Praeger

AbstractThe Petersen graph on 10 vertices is the smallest example of a vertex-transitive graph which is not a Cayley graph. We consider the problem of determining the orders of such graphs. In this, the first of a series of papers, we present a sequence of constructions which solve the problem for many orders. In particular, such graphs exist for all orders divisible by a fourth power, and all even orders which are divisible by a square.


Author(s):  
PABLO SPIGA

AbstractIn this paper, we prove that the maximal order of a semiregular element in the automorphism group of a cubic vertex-transitive graph Γ does not tend to infinity as the number of vertices of Γ tends to infinity. This gives a solution (in the negative) to a conjecture of Peter Cameron, John Sheehan and the author [4, conjecture 2].However, with an application of the positive solution of the restricted Burnside problem, we show that this conjecture holds true when Γ is either a Cayley graph or an arc-transitive graph.


2019 ◽  
Vol 11 (05) ◽  
pp. 1930002
Author(s):  
G. H. J. Lanel ◽  
H. K. Pallage ◽  
J. K. Ratnayake ◽  
S. Thevasha ◽  
B. A. K. Welihinda

Lovász had posed a question stating whether every connected, vertex-transitive graph has a Hamilton path in 1969. There is a growing interest in solving this longstanding problem and still it remains widely open. In fact, it was known that only five vertex-transitive graphs exist without a Hamiltonian cycle which do not belong to Cayley graphs. A Cayley graph is the subclass of vertex-transitive graph, and in view of the Lovász conjecture, the attention has focused more toward the Hamiltonicity of Cayley graphs. This survey will describe the current status of the search for Hamiltonian cycles and paths in Cayley graphs and digraphs on different groups, and discuss the future direction regarding famous conjecture.


Author(s):  
Agelos Georgakopoulos ◽  
Alex Wendland

AbstractWe generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex-transitive graph.


10.37236/3144 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
David E. Roberson

A core of a graph X is a vertex minimal subgraph to which X admits a homomorphism. Hahn and Tardif have shown that for vertex transitive graphs, the size of the core must divide the size of the graph. This motivates the following question: when can the vertex set of a vertex transitive graph be partitioned into sets each of which induce a copy of its core? We show that normal Cayley graphs and vertex transitive graphs with cores half their size always admit such partitions. We also show that the vertex sets of vertex transitive graphs with cores less than half their size do not, in general, have such partitions.


2012 ◽  
Vol 21 (4) ◽  
pp. 635-641
Author(s):  
ÁDÁM TIMÁR

We construct a sequence of finite graphs that weakly converge to a Cayley graph, but there is no labelling of the edges that would converge to the corresponding Cayley diagram. A similar construction is used to give graph sequences that converge to the same limit, and such that a Hamiltonian cycle in one of them has a limit that is not approximable by any subgraph of the other. We give an example where this holds, but convergence is meant in a stronger sense. This is related to whether having a Hamiltonian cycle is a testable graph property.


10.37236/8890 ◽  
2020 ◽  
Vol 27 (4) ◽  
Author(s):  
Wei Jin ◽  
Ci Xuan Wu ◽  
Jin Xin Zhou

A 2-distance-primitive graph is a vertex-transitive graph whose vertex stabilizer is primitive on both the first step and the second step neighborhoods. Let $\Gamma$ be such a graph. This paper shows that either $\Gamma$ is a cyclic graph, or $\Gamma$ is a complete bipartite graph, or $\Gamma$ has girth at most $4$ and the vertex stabilizer acts faithfully on both the first step and the second step neighborhoods. Also a complete classification is given of such graphs  satisfying that the vertex stabilizer acts $2$-transitively on the second step neighborhood. Finally, we determine the unique 2-distance-primitive graph which is  locally cyclic.


2008 ◽  
Vol 85 (2) ◽  
pp. 145-154 ◽  
Author(s):  
PETER J. CAMERON ◽  
PRISCILA A. KAZANIDIS

AbstractThe core of a graph Γ is the smallest graph Δ that is homomorphically equivalent to Γ (that is, there exist homomorphisms in both directions). The core of Γ is unique up to isomorphism and is an induced subgraph of Γ. We give a construction in some sense dual to the core. The hull of a graph Γ is a graph containing Γ as a spanning subgraph, admitting all the endomorphisms of Γ, and having as core a complete graph of the same order as the core of Γ. This construction is related to the notion of a synchronizing permutation group, which arises in semigroup theory; we provide some more insight by characterizing these permutation groups in terms of graphs. It is known that the core of a vertex-transitive graph is vertex-transitive. In some cases we can make stronger statements: for example, if Γ is a non-edge-transitive graph, we show that either the core of Γ is complete, or Γ is its own core. Rank-three graphs are non-edge-transitive. We examine some families of these to decide which of the two alternatives for the core actually holds. We will see that this question is very difficult, being equivalent in some cases to unsolved questions in finite geometry (for example, about spreads, ovoids and partitions into ovoids in polar spaces).


Sign in / Sign up

Export Citation Format

Share Document