Recently, Huang gave a very elegant proof of the Sensitivity Conjecture by proving that hypercube graphs have the following property: every induced subgraph on a set of more than half its vertices has maximum degree at least $\sqrt{d}$, where $d$ is the valency of the hypercube. This was generalised by Alon and Zheng who proved that every Cayley graph on an elementary abelian $2$-group has the same property. Very recently, Potechin and Tsang proved an analogous results for Cayley graphs on abelian groups. They also conjectured that all Cayley graphs have the analogous property. We disprove this conjecture by constructing various counterexamples, including an infinite family of Cayley graphs of unbounded valency which admit an induced subgraph of maximum valency $1$ on a set of more than half its vertices.
In this paper, we propose the following conjecture which generalizes a theorem proved by Huang [Hua19] in his recent breakthrough proof of the sensitivity conjecture. We conjecture that for any Cayley graph $X = Γ(G,S)$ on a group $G$ and any generating set $S$, if $U \subseteq G$ has size $|U| > |G|/2$, then the induced subgraph of $X$ on $U$ has maximum degree at least $\sqrt{|S|/2}$. Using a recent idea of Alon and Zheng [AZ20], who proved this conjecture for the special case when $G = Z_2^n$, we prove that this conjecture is true whenever $G$ is abelian. We also observe that for this conje…
We prove that asymptotically almost surely, the random Cayley sum graph over a finite abelian group $G$ has edge density close to the expected one on every induced subgraph of size at least $\log^c |G|$, for any fixed $c > 1$ and $|G|$ large enough.
Let $G$ be a Cayley graph of the elementary abelian $2$-group $\mathbb{Z}_2^{n}$ with respect to a set $S$ of size $d$. We prove that for any such $G, S$ and $d$, the maximum degree of any induced subgraph of $G$ on any set of more than half the vertices is at least $\sqrt d$. This is deduced from the recent breakthrough result of Huang who proved the above for the $n$-hypercube $Q^n$, in which the set of generators $S$ is the set of all vectors of Hamming weight $1$. Motivated by his method we define and study unitary signings of adjacency matrices of graphs, and compare them to the orthogona…
In this paper we study random induced subgraphs of Cayley graphs of the symmetric group induced by an arbitrary minimal generating set of transpositions. A random induced subgraph of this Cayley graph is obtained by selecting permutations with independent probability, $λ_n$. Our main result is that for any minimal generating set of transpositions, for probabilities $λ_n=\frac{1+ε_n}{n-1}$ where $n^{-{1/3}+δ}\le ε_n<1$ and $δ>0$, a random induced subgraph has a.s. a unique largest component of size $\wp(ε_n)\frac{1+ε_n}{n-1}n!$, where $\wp(ε_n)$ is the survival probability of a specific branchi…
Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by finitely many minimal forbidden induced subgraphs yet is not $2$-well-quasi-ordered. This counterexa…
We prove that for every $n$, there is a graph $G$ with $χ(G) \geq n$ and $ω(G) \leq 3$ such that every induced subgraph $H$ of $G$ with $ω(H) \leq 2$ satisfies $χ(H) \leq 4$. This disproves a well-known conjecture. Our construction is a digraph with bounded clique number, large dichromatic number, and no induced directed cycles of odd length at least 5.
We construct an infinite family of counterexamples to Thomassen's conjecture that the vertices of every 3-connected, cubic graph on at least 8 vertices can be colored blue and red such that the blue subgraph has maximum degree at most 1 and the red subgraph minimum degree at least 1 and contains no path on 4 vertices.
In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.
Let $Γ$ be a finite group acting transitively on $[n]=\{1,2,\ldots,n\}$, and let $G=\mathrm{Cay}(Γ,T)$ be a Cayley graph of $Γ$. The graph $G$ is called normal if $T$ is closed under conjugation. In this paper, we obtain an upper bound for the second (largest) eigenvalue of the adjacency matrix of the graph $G$ in terms of the second eigenvalues of certain subgraphs of $G$ (see Theorem 2.6). Using this result, we develop a recursive method to determine the second eigenvalues of certain Cayley graphs of $S_n$ and we determine the second eigenvalues of a majority of the connected normal Cayley g…
This paper deals with the Cayley graph $\Cay,$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. We prove that ${\rm{Aut}}(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes \textsf{D}_{n+1},$ where $\textsf{N}$ is the subgroup fixing $S_n$ element-wise and $\textsf{D}_{n+1}$ is a dihedral group of order $2(n+1)$. We conjecture that $\textsf{N}$ is trivial. We also prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose aut…
Let $Γ_n$ be the complete undirected Cayley graph of the odd cyclic group $Z_n$. Connected graphs whose vertices are rainbow tetrahedra in $Γ_n$ are studied, with any two such vertices adjacent if and only if they share (as tetrahedra) precisely two distinct triangles. This yields graphs $G$ of largest degree 6, asymptotic diameter $|V(G)|^{1/3}$ and almost all vertices with degree: {\bf(a)} 6 in $G$; {\bf(b)} 4 in exactly six connected subgraphs of the $(3,6,3,6)$-semi-regular tessellation; and {\bf(c)} 3 in exactly four connected subgraphs of the $\{6,3\}$-regular hexagonal tessellation. The…
A binary Cayley graph is a Cayley graph based on a binary group. In 1982, Payan proved that any non-bipartite binary Cayley graph must contain a generalized Mycielski graph of an odd-cycle, implying that such a graph cannot have chromatic number 3. We strengthen this result first by proving that any non-bipartite binary Cayley graph must contain a projective cube as a subgraph. We further conjecture that any homo- morphism of a non-bipartite binary Cayley graph to a projective cube must be surjective and we prove some special case of this conjecture.
The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles: ``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgrap…
We obtain a complete description of the planar cubic Cayley graphs, providing an explicit presentation and embedding for each of them. This turns out to be a rich class, comprising several infinite families. We obtain counterexamples to conjectures of Mohar, Bonnington and Watkins. Our analysis makes the involved graphs accessible to computation, corroborating a conjecture of Droms.
We prove that $\{\overline{K_3}, H\}$-free graphs are not counterexamples to Hadwiger's Conjecture, where $H$ is any one of 33 graphs on seven, eight, or nine vertices, or $H=K_8$. This improves on past results of Plummer-Stiebitz-Toft, Kriesell, and Bosse. The proofs are mostly computer-assisted.
This paper deals with the Cayley graph $\mathrm{Cay}(\mathrm{Sym}_n,T_n),$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. As the main result, we prove that Aut$(\mathrm{Cay}(\mathrm{Sym}_n,T_n))$ is the product of the left translation group by a dihedral group $\mathsf{D}_{n+1}$ of order $2(n+1)$. The proof uses several properties of the subgraph $Γ$ of $\mathrm{Cay}(\mathrm{Sym}_n,T_n)$ induced by the set $T_n$. In particular, $Γ$ is a $2(n-2)$-regular graph whose automo…
Let $G$ be a finite abelian group of order $n$. For any subset $B$ of $G$ with $B=-B$, the Cayley graph $G_B$ is a graph on vertex set $G$ in which $ij$ is an edge if and only if $i-j\in B.$ It was shown by Ben Green that when $G$ is a vector space over a finite field $Z/pZ$, then there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $clog nloglog n,$ where $c$ is an absolute constant. In this article we observe that a modification of his arguments shows that for an arbitrary finite abelian group of order $n$, there is a Cayley graph containing…
Bollobás and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.
Given graphs $G$ and $H$, the generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of $G$. In this paper, we obtain an asymptotic upper bound on ${\rm ex}(CT_n,C_{2l})$ for any $n \ge 3$ and $l\geq2$, where $C_{2l}$ is the cycle of length $2l$ and $CT_n$ is the complete transposition graph which is defined as the Cayley graph on the symmetric group ${\rm S}_n$ with respect to the set of all transpositions of ${\rm S}_n$.
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.
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 spanning tree in one of them has a limit that is not approximable by any subgraph of the other. We give an example where this subtree is a Hamiltonian cycle, but convergence is meant in a stronger sense. These latter are related to whether having a Hamiltonian cycle is a testable graph property.
A subset $R$ of the vertex set of a graph $Γ$ is said to be $(κ,τ)$-regular if $R$ induces a $κ$-regular subgraph and every vertex outside $R$ is adjacent to exactly $τ$ vertices in $R$. In particular, if $R$ is a $(κ,τ)$-regular set of some Cayley graph on a finite group $G$, then $R$ is called a $(κ,τ)$-regular set of $G$. Let $H$ be a non-trivial normal subgroup of $G$, and $κ$ and $τ$ a pair of integers satisfying $0\leqκ\leq|H|-1$, $1\leqτ\leq|H|$ and $\gcd(2,|H|-1)\midκ$. It is proved that (i) if $τ$ is even, then $H$ is a $(κ,τ)$-regular set of $G$; (ii) if $τ$ is odd, then $H$ is a $(κ…
Huang proved that every set of more than half the vertices of the $d$-dimensional hypercube $Q_d$ induces a subgraph of maximum degree at least $\sqrt{d}$, which is tight by a result of Chung, Füredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs. First, we present three infinite families of Cayley graphs of unbounded degree that contain induced subgraphs of maximum degree $1$ on more than half the vertices. In particular, this refutes a conjecture of Potechin and Tsang, for which first counterexamples were shown recently by Lehner a…
We resolve an open question posed by the authors of arXiv:1501.06925v2 in 2015 concerning a Gröbner theoretic approach for the noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$. We provide a negative answer to their question by producing an explicit antichain. In doing so, we establish a connection to well studied posets of graphs under the subgraph and induced subgraph relation. We then analyze this connection to suggest future paths of investigation, for example a deeper study of initial ideals in twisted commutative algebras.
Let us say that a Cayley graph $Γ$ of a group $G$ of order $n$ is a Cerny Cayley graph if every synchronizing automaton containing $Γ$ as a subgraph with the same vertex set admits a synchronizing word of length at most $(n-1)^2$. In this paper we use the representation theory of groups over the rational numbers to obtain a number of new infinite families of {Č}ern{ý} Cayley graphs.
Let $G$ be a regular graph of degree $d$ and let $A\subset V(G)$. Say that $A$ is $η$-closed if the average degree of the subgraph induced by $A$ is at least $ηd$. This says that if we choose a random vertex $x\in A$ and a random neighbour $y$ of $x$, then the probability that $y\in A$ is at least $η$. The work of this paper was motivated by an attempt to obtain a qualitative description of closed subsets of the Cayley graph $Γ$ whose vertex set is $\mathbb F_2^{n_1}\otimes \dots \otimes \mathbb F_2^{n_d}$ with two vertices joined by an edge if their difference is of the form $u_1\otimes \cdot…
The Turán number of a graph $H$, denoted $\mbox{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph with no subgraph isomorphic to $H$. Solymosi conjectured that if $H$ is any graph and $\mbox{ex}(n,H) = O(n^α)$ where $α> 1$, then any $n$-vertex graph with the property that each edge lies in exactly one copy of $H$ has $o(n^α)$ edges. This can be viewed as conjecturing a possible extension of the removal lemma to sparse graphs, and is well-known to be true when $H$ is a non-bipartite graph, in particular when $H$ is a triangle, due to Ruzsa and Szemerédi. Using Sidon sets we exhib…
If $X$ is a commutative ring with unity, then the unitary Cayley graph of $X$, denoted $G_X$, is defined to be the graph whose vertex set is $X$ and whose edge set is $\{\{a,b\}\colon a-b\in X^\times\}$. When $R$ is a Dedekind domain and $I$ is an ideal of $R$ such that $R/I$ is finite and nontrivial, we refer to $G_{R/I}$ as a \emph{generalized totient graph}. We study generalized totient graphs as generalizations of the graphs $G_{\mathbb{Z}/(n)}$, which have appeared recently in the literature, sometimes under the name \emph{Euler totient Cayley graphs}. We begin by generalizing to Dedekind…
A graph $G=(V(G), E(G))$ is supereulerian if it has a spanning Eulerian subgraph. Let $\ell(G)$ be the maximum number of edges of spanning Eulerian subgraphs of a supereulerian graph $G$. In $1996$, Catlin conjectured that if $G$ is a supereulerian graph, then $\ell(G)\ge \frac{2}{3}|E(G)|$. But in $2004$, infinitely many counterexamples were found for this conjecture and it was shown that this conjecture holds for $r$-regular graphs when $r\neq 5$. In this paper we show that Catlin's Conjecture holds for graphs having no vertex with degree $3$ and also it holds for $5$-regular graphs. Moreove…
In 2013 Andriy V. Bondarenko showed how to construct a two-distance counterexample to Borsuk's conjecture from any strongly regular graph whose vertex set is not the union of at most $f+1$ cliques (sets of pairwise adjacent vertices) where $f$ is the multiplicity of the second-largest eigenvalue of its adjacency matrix. He applied that construction to those two graphs that he had been able to prove to fulfill the condition: From the $G_2(4)$ graph (on 416 vertices) he got a 65-dimensional two-distance counterexample. From the $Fi_{23}$ graph (on 31671 vertices) he got a 782-dimensional one and…
A perfect matching reciprocity method for embedding multiple hypercubes in an augmented cube: Applications to Hamiltonian decomposition and fault-tolerant Hamiltonicity
We say that $k$ graphs $G_1,G_2,\dots,G_k$ on a common vertex set of size $n$ contain a rainbow copy of a graph $H$ if their union contains a copy of $H$ with each edge belonging to a distinct $G_i$. We provide a counterexample to a conjecture of Frankl on the maximum product of the sizes of the edge sets of three graphs avoiding a rainbow triangle. We propose an alternative conjecture, which we prove under the additional assumption that the union of the three graphs is complete. Furthermore, we determine the maximum product of the sizes of the edge sets of three graphs or four graphs avoiding…
Borodin and Kostochka conjectured that every graph $G$ with maximum degree $Δ\ge 9$ satisfies $χ\le \max\{ω, Δ-1\}$. We carry out an in-depth study of minimum counterexamples to the Borodin-Kostochka conjecture. Our main tool is the identification of graph joins that are $f$-choosable, where $f(v) = d(v) - 1$ for each vertex $v$. Since such a join cannot be an induced subgraph of a vertex critical graph with $χ= Δ$, we have a wealth of structural information about minimum counterexamples to the Borodin-Kostochka conjecture. Our main result proves that certain conjectures that are prima facie w…
Determining the maximum number of edges in an $n$-vertex $C_4$-free graph is a well-studied problem that dates back to a paper of Erdős from 1938. One of the most important families of $C_4$-free graphs are the Erdős-Rényi orthogonal polarity graphs. We show that the Cayley sum graph constructed using a Bose-Chowla Sidon set is isomorphic to a large induced subgraph of the Erdős-Rényi orthogonal polarity graph. Using this isomorphism we prove that the Petersen graph is a subgraph of every sufficiently large Erdős-Rényi orthogonal polarity graph.
A Frobenius group is a transitive permutation group which is not regular but only the identity element can fix two points. Such a group can be expressed as the semi-direct product $G = K \rtimes H$ of a nilpotent normal subgroup $K$ and another group $H$ fixing a point. A first-kind $G$-Frobenius graph is a connected Cayley graph on $K$ with connection set an $H$-orbit $a^H$ on $K$ that generates $K$, where $H$ has an even order or $a$ is an involution. It is known that the first-kind Frobenius graphs admit attractive routing and gossiping algorithms. A complete rotation in a Cayley graph on a…
Let $R$ be a commutative ring with unity and $R^{+}$ be $Z^*(R)$ be the additive group and the set of all non-zero zero-divisors of $R$, respectively. We denote by $\mathbb{CAY}(R)$ the Cayley graph $Cay(R^+,Z^*(R))$. In this paper, we study $\mathbb{CAY}(R)$. Among other results, it is shown that for every zero-dimensional non-local ring $R$, $\mathbb{CAY}(R)$ is a connected graph of diameter 2. Moreover, for a finite ring $R$, we obtain the vertex connectivity and the edge connectivity of $\mathbb{CAY}(R)$. We investigate rings $R$ with perfect $\mathbb{CAY}(R)$ as well. We also study $Reg(\…
The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact value of $c(k, g)$ is known only for some small values of $k, g$ and three infinite families where $g \in \{6, 8, 12\}$ and $k - 1$ is a prime power. These infinite families come from the incidence graphs of generalized polygons. Some of the best known upper bounds on $c(k,g)$ for $g \in \{6, 8, 12\}$ have been obtained by constructing small regular induced subg…
Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be co…
We prove a general large sieve statement in the context of random walks on subgraphs of a given graph. This can be seen as a generalization of previously known results where one performs a random walk on a group enjoying a strong spectral gap property. In such a context the point is to exhibit a strong uniform expansion property for a suitable family of Cayley graphs on quotients. In our combinatorial approach, this is replaced by a result of Alon--Roichman about expanding properties of random Cayley graphs. Applying the general setting we show e.g., that with high probability (in a strong exp…
We identify three 3-graphs on five vertices each missing in all known extremal configurations for Turan's (3,4)-problem and prove Turan's conjecture for 3-graphs that are additionally known not to contain any induced copies of these 3-graphs. Our argument is based on an (apparently) new technique of "indirect interpretation" that allows us to retrieve additional structure from hypothetical counterexamples to Turan's conjecture, but in rather loose and limited sense. We also include two miscellaneous calculations in flag algebras that prove similar results about some other additional forbidden …
Counterexamples to two conjectures on (1, 2)-domination in cubic graphs
Slovak University of Technology in Bratislava（布拉迪斯拉发斯洛伐克理工大学）；University of Split（斯普利特大学）；University of Novo Mesto（新梅斯托大学）；Rudolfovo – Science and Technology Centre Novo Mesto（鲁道尔福沃-新梅斯托科学与技术中心）；University of Ljubljana（卢布尔雅那大学）
