graph
34905 papers tagged with this keyword
Acyclic orientations and poly-Bernoulli numbers
The main contribution of this paper is a formula for the number of acyclic orientations of a complete bipartite, $K_{n_1,n_2},$ revealing that it is equal to the poly-Bernoulli number $B_{n_1}^{(-n_2)}$ introduced in 1997 by Kaneko. We also give a simple bijective identification of acyclic orientations and lonesum matrices, confirming a 2008 result of Brewbaker, and show that the poly-Bernoulli numbers behave concavely, as well being symmetric.
A second goal is to explore the behaviour of more general complete $r$-partite graphs in the space of the number of acyclic orientations. We prove that the number of acyclic orientations of complete bipartite graphs on $n$ vertices is a unimodular concave function maximised by the Turán graph $T(2,n).$ For tripartite graphs, we derive an explicit formula for its number of its acyclic orientations, for the specific case with a single vertex partition. For more complex complete $r$-partite graphs an algorithmic approach is suggested, taking advantage of the relationship with graph colouring through the result of Stanley, namely the value of the graph colouring polynomial at the value -1.
An underlying theme is the exploration of the space of the number of acyclic orientations of graphs. We present various theoretical and computational results, with additional, conjectures for both complete $r$-partite and general graphs to guide future research.
To the theory of $q$-ary Steiner and other-type trades
Published in Discrete Math. 339(3) 2016, 1150-1157
• View Publication
• BIB
We introduce the concept of a clique bitrade, which generalizes several known types of bitrades, including latin bitrades, Steiner $T(k-1,k,v)$ bitrades, extended $1$-perfect bitrades. For a distance-regular graph, we show a one-to-one correspondence between the clique bitrades that meet the weight-distribution lower bound on the cardinality and the bipartite isometric subgraphs that are distance-regular with certain parameters. As an application of the results, we find the minimum cardinality of $q$-ary Steiner $T_q(k-1,k,v)$ bitrades and show a connection of minimum such bitrades with dual polar subgraphs of the Grassmann graph $J_q(v,k)$. Keywords: bitrades, trades, Steiner systems, subspace designs
Many disjoint edges in topological graphs
Published
• View Publication
• BIB
A monotone cylindrical graph is a topological graph drawn on an open cylinder with an infinite vertical axis satisfying the condition that every vertical line intersects every edge at most once. It is called simple if any pair of its edges have at most one point in common: an endpoint or a point at which they properly cross. We say that two edges are disjoint if they do not intersect. We show that every simple complete monotone cylindrical graph on $n$ vertices contains $Ω(n^{1-ε})$ pairwise disjoint edges for any $ε>0$. As a consequence, we show that every simple complete topological graph (drawn in the plane) with $n$ vertices contains $Ω(n^{\frac 12-ε})$ pairwise disjoint edges for any $ε>0$. This improves the previous lower bound of $Ω(n^\frac 13)$ by Suk which was reproved by Fulek and Ruiz-Vargas. We remark that our proof implies a polynomial time algorithm for finding this set of pairwise disjoint edges.
Necessary Spectral Conditions for Coloring Hypergraphs
Published in J. Combinatorial Computing and Machine Computing, 88 (2014), pp. 73-84
• Search Publication
Hoffman proved that for a simple graph $G$, the chromatic number $χ(G)$ obeys $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ where $λ_1$ and $λ_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$ respectively. Lovász later showed that $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ for any (perhaps negatively) weighted adjacency matrix.
In this paper, we give a probabilistic proof of Lovász's theorem, then extend the technique to derive generalizations of Hoffman's theorem when allowed a certain proportion of edge-conflicts. Using this result, we show that if a 3-uniform hypergraph is 2-colorable, then $\bar d \le -\frac{3}{2}λ_{\min}$ where $\bar d$ is the average degree and $λ_{\min}$ is the minimal eigenvalue of the underlying graph. We generalize this further for $k$-uniform hypergraphs, for the cases $k=4$ and $5$, by considering several variants of the underlying graph.
A Linear Cheeger Inequality using Eigenvector Norms
Published
• View Publication
• BIB
The Cheeger constant, $h_G$, is a measure of expansion within a graph. The classical Cheeger Inequality states: $λ_{1}/2 \le h_G \le \sqrt{2 λ_{1}}$ where $λ_1$ is the first nontrivial eigenvalue of the normalized Laplacian matrix. Hence, $h_G$ is tightly controlled by $λ_1$ to within a quadratic factor.
We give an alternative Cheeger Inequality where we consider the $\infty$-norm of the corresponding eigenvector in addition to $λ_1$. This inequality controls $h_G$ to within a linear factor of $λ_1$ thereby providing an improvement to the previous quadratic bounds. An additional advantage of our result is that while the original Cheeger constant makes it clear that $h_G \to 0$ as $λ_1 \to 0$, our result shows that $h_G \to 1/2$ as $λ_1 \to 1$.
A counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ is pseudo 2-factor isomorphic if the parity of the number of cycles in a 2-factor is the same for all 2-factors of $G$. Abreu et al. conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs (Abreu et al., Journal of Combinatorial Theory, Series B, 2008, Conjecture 3.6).
Using a computer search we show that this conjecture is false by constructing a counterexample with 30 vertices. We also show that this is the only counterexample up to at least 40 vertices.
A graph $G$ is 2-factor hamiltonian if all 2-factors of $G$ are hamiltonian cycles. Funk et al. conjectured that every 2-factor hamiltonian cubic bipartite graph can be obtained from $K_{3,3}$ and the Heawood graph by applying repeated star products (Funk et al., Journal of Combinatorial Theory, Series B, 2003, Conjecture 3.2). We verify that this conjecture holds up to at least 40 vertices.
The three-colour hat guessing game on the cycle graphs
Published
• View Publication
• BIB
We study a cooperative game in which each member of a team of $N$ players, wearing coloured hats and situated at the vertices of a cycle graph $C_N$, is guessing their own hat colour merely on the basis of observing the hats worn by their two neighbours without exchanging the information. Each hat can have one of three colours. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colours. We prove that a winning strategy exists if and only if $N$ is divisible by $3$ or $N=4$. This problem represents an example of a relational system using incomplete information about an unpredictable situation, where at least one participant has to act properly.
Mixing Homomorphisms, Recolourings, and Extending Circular Precolourings
Published
• View Publication
• BIB
This work brings together ideas of mixing graph colourings, discrete homotopy, and precolouring extension. A particular focus is circular colourings. We prove that all the $(k,q)$-colourings of a graph $G$ can be obtained by successively recolouring a single vertex provided $k/q\geq 2col(G)$ along the lines of Cereceda, van den Heuvel and Johnson's result for $k$-colourings. We give various bounds for such mixing results and discuss their sharpness, including cases where the bounds for circular and classical colourings coincide. As a corollary, we obtain an Albertson-type extension theorem for $(k,q)$-precolourings of circular cliques. Such a result was first conjectured by Albertson and West. General results on homomorphism mixing are presented, including a characterization of graphs $G$ for which the endomorphism monoid can be generated through the mixing process. As in similar work of Brightwell and Winkler, the concept of dismantlability plays a key role.
Some existence theorems on all fractional $(g,f)$-factors with prescribed properties
Published
• View Publication
• BIB
Let $G$ be a graph, and $g,f:V(G)\rightarrow Z^{+}$ with $g(x)\leq f(x)$ for each $x\in V(G)$. We say that $G$ admits all fractional $(g,f)$-factors if $G$ contains a fractional $r$-factor for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for any $x\in V(G)$. Let $H$ be a subgraph of $G$. We say that $G$ has all fractional $(g,f)$-factors excluding $H$ if for every $r:V(G)\rightarrow Z^{+}$ with $g(x)\leq r(x)\leq f(x)$ for all $x\in V(G)$, $G$ has a fractional $r$-factor $F_h$ such that $E(H)\cap E(F_h)=\emptyset$, where $h:E(G)\rightarrow [0,1]$ is a function. In this paper, we show a characterization for the existence of all fractional $(g,f)$-factors excluding $H$ and obtain two sufficient conditions for a graph to have all fractional $(g,f)$-factors excluding $H$.
On degree sequences forcing the square of a Hamilton cycle
Published
• View Publication
• BIB
A famous conjecture of Pósa from 1962 asserts that every graph on $n$ vertices and with minimum degree at least $2n/3$ contains the square of a Hamilton cycle. The conjecture was proven for large graphs in 1996 by Komlós, Sárközy and Szemerédi. In this paper we prove a degree sequence version of Pósa's conjecture: Given any $η>0$, every graph $G$ of sufficiently large order $n$ contains the square of a Hamilton cycle if its degree sequence $d_1\leq \dots \leq d_n$ satisfies $d_i \geq (1/3+η)n+i$ for all $i \leq n/3$. The degree sequence condition here is asymptotically best possible. Our approach uses a hybrid of the Regularity-Blow-up method and the Connecting-Absorbing method.
Location-domination and matching in cubic graphs
Published in Discrete Mathematics 339(4):1221-1231, 2016
• View Publication
• BIB
A dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex outside $D$ is adjacent to a vertex in $D$. A locating-dominating set of $G$ is a dominating set $D$ of $G$ with the additional property that every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N(u) \cap D \neq N(v) \cap D$ where $N(u)$ denotes the open neighborhood of $u$. A graph is twin-free if every two distinct vertices have distinct open and closed neighborhoods. The location-domination number of $G$, denoted $γ_L(G)$, is the minimum cardinality of a locating-dominating set in $G$. Garijo, Gonzalez and Marquez [Applied Math. Computation 249 (2014), 487--501] posed the conjecture that for $n$ sufficiently large, the maximum value of the location-domination number of a twin-free, connected graph on $n$ vertices is equal to $\lfloor \frac{n}{2} \rfloor$. We propose the related (stronger) conjecture that if $G$ is a twin-free graph of order $n$ without isolated vertices, then $γ_L(G)\leq \frac{n}{2}$. We prove the conjecture for cubic graphs. We rely heavily on proof techniques from matching theory to prove our result.
Long cycles through prescribed vertices have the Erdős-Pósa property
Published
• View Publication
• BIB
We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan.
In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.
Switched symplectic graphs and their 2-ranks
Published
• View Publication
• BIB
We apply Godsil-McKay switching to the symplectic graphs over $\mathbb{F}_2$ with at least 63 vertices and prove that the 2-rank of (the adjacency matrix of) the graph increases after switching. This shows that the switched graph is a new strongly regular graph with parameters $(2^{2ν}\!-1, 2^{2ν-1}, 2^{2ν-2},2^{2ν-2})$ and 2-rank $2ν+2$ when $ν\geq 3$. For the symplectic graph on $63$ vertices we investigate repeated switching by computer and find many new strongly regular graphs with the above parameters for $ν=3$ with various 2-ranks. Using these results and a recursive construction method for the symplectic graph from Hadamard matrices, we obtain several graphs with the above parameters, but different 2-ranks for every $ν\geq 3$.
On a test on switching separability of graphs modulo $q$
Published in Sib. Math. J. 57(1) 2016, 7-17 (English); Sib. Mat. Zh. 57(1) 2016, 10-24 (Russian)
• View Publication
• BIB
We consider the graphs whose edges are marked by the integers (weights) from $0$ to $q-1$ (zero corresponds to no-edge). Such graph is called additive if its vertices can be marked in such a way that the weight of every edge is equal to the modulo-$q$ sum of weights of the two incident vertices. By a switching of a graph we mean the modulo-$q$ sum of the graph with some additive graph on the same vertex set. A graph with $n$ vertices is called switching separable if some of its switchings does not have a connected component of order $n$ or $n-1$. We consider the following test for the switching separability: if removing any vertex of a graph $G$ results in a switching separable graph, then $G$ is switching separable itself. We prove this test for odd $q$ and characterize the exceptions when $q$ is even. We establish a connection between the switching separability of a graph and the reducibility of $(n-1)$-ary quasigroups constructed from this graph.
On the automorphism group of a Johnson graph
The Johnson graph $J(n,i)$ is defined to the graph whose vertex set is the set of all $i$-element subsets of $\{1,\ldots,n\}$, and two vertices are joined whenever the cardinality of their intersection is equal to $i-1$. In Ramras and Donovan [\emph{SIAM J. Discrete Math}, 25(1): 267-270, 2011], it is conjectured that if $n=2i$, then the automorphism group of the Johnson graph $J(n,i)$ is $S_n \times \langle T \rangle$, where $T$ is the complementation map $A \mapsto \{1,\ldots,n\} \setminus A$. We resolve this conjecture in the affirmative. The proof uses only elementary group theory and is based on an analysis of the clique structure of the graph.
Unitary Cayley Graphs of Dedekind Domain Quotients
Published
• View Publication
• BIB
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 domains the arithmetic functions known as Schemmel totient functions, and we use one of these generalizations to provide a simple formula, for any positive integer $m$, for the number of cliques of order $m$ in a generalized totient graph. In particular, we prove that the number of cliques of order $m$ in $G_{\mathbb Z/(n)}$ is \[\prod_{k=1}^m\frac{S_{k-1}(n)}{k},\] where $S_r$ is the $r^{\text{th}}$ Schemmel totient function.
We then proceed to determine many properties of generalized totient graphs such as their clique numbers, chromatic numbers, chromatic indices, clique domination numbers, and (in many, but not all cases) girths. We also determine the diameter of each component of a generalized totient graph. We correct one erroneous claim about the clique domination numbers of Euler totient Cayley graphs that has appeared in the literature and provide a counterexample to a second claim about the strong domination numbers of these graphs.
An Anti-Ramsey Problem Concerning Complete Bipartite Graphs
Published
• View Publication
• BIB
We consider quadruples of positive integers $(a,b,m,n)$ with $a\leq b$ and $m\leq n$ such that any proper edge-coloring of the complete bipartite graph $K_{m,n}$ contains a rainbow $K_{a,b}$ subgraph. We show that any such quadruple with $a\leq m$ and $n>(a^2-a+1)(b-1)$ satisfies this property. We also show that the quadruple $(2,3,3,6)$ satisfies this property. We end with a conjecture.
Generalizing $p$-goodness to ordered graphs
It is known that the connected graphs that are $p$-good for all $p$ are the trees. In this paper, we ask which ordered trees are order-$p$-good for all $p$.
Clique-Relaxed Competitive Graph Coloring
We investigate a variation of the graph coloring game, as studied in [2]. In the original coloring game, two players, Alice and Bob, alternate coloring vertices on a graph with legal colors from a fixed color set, where a color α is legal for a vertex if said vertex has no neighbors colored α. Other variations of the game change this definition of a legal color. For a fixed color set, Alice wins the game if all vertices are colored when the game ends, while Bob wins if there is a point in the game in which a vertex cannot be assigned a legal color. The least number of colors needed for Alice to have a winning strategy on a graph G is called the game chromatic number of G, and is denoted \c{hi}g(G). A well studied variation is the d-relaxed coloring game [5] in which a legal coloring of a graph G is defined as any assignment of colors to V (G) such that the subgraph of G induced by any color class has maximum degree d. We focus on the k-clique-relaxed n-coloring game. A k-clique-relaxed n-coloring of a graph G is an n-coloring in which the subgraph of G induced by any color class has maximum clique size k or less. In other words, a k-clique-relaxed n-coloring of G is an assignment of n colors to V (G) in which there are no monochromatic (k + 1)-cliques.
A bijection between aperiodic palindromes and connected circulant graphs
In this paper, we show that there is a one-to-one correspondence between the set of compositions (resp. prime compositions) of $n$ and the set of circulant digraphs (resp. connected circulant digraphs) of order $n$. We also show that there is a one-to-one correspondence between the set of palindromes (resp. aperiodic palindromes) of $n$ and the set of circulant graphs (resp. connected circulant graphs) of order $n$. As a corollary of this correspondence, we enumerate the number of connected circulant (di)graphs of order $n$.