Local Expansion of Symmetrical Graphs

1992 ◽  
Vol 1 (1) ◽  
pp. 1-11 ◽  
Author(s):  
László Babai ◽  
Mario Szegedy

A graph is vertex-transitive (edge-transitive) if its automorphism group acts transitively on the vertices (edges, resp.). The expansion rate of a subset S of the vertex set is the quotient e(S):= |∂(S)|/|S|, where ∂(S) denotes the set of vertices not in S but adjacent to some vertex in S. Improving and extending previous results of Aldous and Babai, we give very simple proofs of the following results. Let X be a (finite or infinite) vertex-transitive graph and let S be a finite subset of the vertices. If X is finite, we also assume |S| ≤|V(X)/2. Let d be the diameter of S in the metric induced by X. Then e(S) ≥1/(d + 1); and e(S) ≥ 2/(d +2) if X is finite and d is less than the diameter of X. If X is edge-transitive then |δ(S)|/|S| ≥ r/(2d), where ∂(S) denotes the set of edges joining S to its complement and r is the harmonic mean of the minimum and maximum degrees of X. – Diverse applications of the results are mentioned.

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).


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.


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.


2018 ◽  
Vol 25 (03) ◽  
pp. 493-508 ◽  
Author(s):  
Mimi Zhang ◽  
Jinxin Zhou

Let k, m and n be three positive integers such that 2m ≡ 1 (mod n) and k ≥ 2. The Bouwer graph, which is denoted by B(k, m, n), is the graph with vertex set [Formula: see text] and two vertices being adjacent if they can be written as (a, b) and (a + 1, c), where either c = b or [Formula: see text] differs from [Formula: see text] in exactly one position, say the jth position, where [Formula: see text]. Every B(k, m, n) is a vertex- and edge-transitive graph, and Bouwer proved that B(k, 6, 9) is half-arc-transitive for every k ≥ 2. In 2016, Conder and Žitnik gave the classification of half-arc-transitive Bouwer graphs. In this paper, the full automorphism group of every B(k, m, n) is determined.


1975 ◽  
Vol 20 (3) ◽  
pp. 377-384 ◽  
Author(s):  
D. A. Holton ◽  
Douglas D. Grant

AbstractWe show that a graph G is semi-stable at vertex v if and only if the set of vertices of G adjacent to v is fixed by the automorphism group of Gv, the subgraph of G obtained by deleting v and its incident edges. This result leads to a neat proof that regular graphs are semi-stable at each vertex. We then investigate stable regular graphs, concentrating mainly on stable vertex-transitive graphs. We conjecture that if G is a non-trivial vertex-transitive graph, then G is stable if and only if γ(G) contains a transposition, offering some evidence for its truth.


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.


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/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.


Sign in / Sign up

Export Citation Format

Share Document