arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34763 papers tagged with this keyword
Extending partial automorphisms of $n$-partite tournaments
We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.
2019-03-18 v2
Upper tail bounds for cycles
This paper examines bounds on upper tails for cycle counts in $G_{n,p}$. For a fixed graph $H$ define $ξ_H= ξ_H^{n,p}$ to be the number of copies of $H$ in $G_{n,p}$. It is a much studied and surprisingly difficult problem to understand the upper tail of the distribution of $ξ_H$, for example, to estimate \begin{equation*} \mathbb{P}(ξ_H > 2 \mathbb{E}ξ_H). \end{equation*} The best known result for general $H$ and $p$ is due to Janson, Oleszkiewicz, and Ruciński, who, in 2004, proved \begin{align}\label{a:JOR} \exp[-O_{H, η}(M_H(n,p) \ln(1/p))]&<\mathbb{P}(ξ_H > (1+η)\mathbb{E} ξ_H)\\&<\exp[-Ω_{H, η}(M_{H}(n,p))].\nonumber \end{align} Thus they determined the upper tail up to a factor of $\ln(1/p)$ in the exponent. There has since been substantial work to improve these bounds for particular $H$ and $p$. We close the $\ln(1/p)$ gap for cycles, up to a constant in the exponent. Here the lower bound given by JOR is the truth for $l$-cycles when $p> \frac{\ln^{1/(l-2)}n}{n}$.
2019-03-18 v3
Tutte's dichromate for signed graphs
Published • View PublicationBIB
We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.
2019-03-17 v4
Euler-genus distributions of cubic Halin graphs
Gross derived an $O(n^2)$-time algorithm to calculate the genus distribution of a given cubic Halin graph. In this paper, with the help of overlap matrix, we get a recurrence relation for the Euler-genus polynomial of cubic caterpillar-Halin graphs. Explicit formulas for the embeddings of cubic caterpillar-Halin graph into a surface with Euler-genus 0, 1 and 2 are also obtained.
2019-03-17 v2
Shortest directed networks in the plane
Given a set of sources and a set of sinks as points in the Euclidean plane, a directed network is a directed graph drawn in the plane with a directed path from each source to each sink. Such a network may contain nodes other than the given sources and sinks, called Steiner points. We characterize the local structure of the Steiner points in all shortest-length directed networks in the Euclidean plane. This characterization implies that these networks are constructible by straightedge and compass. Our results build on unpublished work of Alfaro, Campbell, Sher, and Soto from 1989 and 1990. Part of the proof is based on a new method that uses other norms in the plane. This approach gives more conceptual proofs of some of their results, and as a consequence, we also obtain results on shortest directed networks for these norms.
Lights Out on graphs
We model the Lights Out game on general simple graphs in the framework of linear algebra over the field $\mathbb F_2$. Based upon a version of the Fredholm alternative, we introduce a separating invariant of the game, i.e., an initial state can be transformed into a final state if and only if the invariant of both states agrees. We also investigate certain states with particularly interesting properties. Apart from the classical version of the game, we propose several variants, in particular a version with more than only two states (light on, light off), where the analysis resides on systems of linear equations over the ring $\mathbb Z_n$. Although it is easy to find a concrete solution of the Lights Out problem, we show that it is NP-hard to find a minimal solution. We also propose electric circuit diagrams to actually realize the Lights Out game.
2019-03-15
On Cayley graphs of basic algebraic structures
We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.
The mixing time of the switch Markov chains: a unified approach
Published in European Journal of Combinatorics 99 (2022) 103421 • View PublicationBIB
Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unified method by showing that on any $P$-stable family of unconstrained/bipartite/directed degree sequences the switch Markov chain is rapidly mixing. This is a common generalization of every known result that shows the rapid mixing nature of the switch Markov chain on a region of degree sequences. Two applications of this general result will be presented. One is an almost uniform sampler for power-law degree sequences with exponent $γ>1+\sqrt{3}$. The other one shows that the switch Markov chain on the degree sequence of an Erdős-Rényi random graph $G(n,p)$ is asymptotically almost surely rapidly mixing if $p$ is bounded away from 0 and 1 by at least $\frac{5\log n}{n-1}$.
2019-03-15 v3
Large homogeneous submatrices
A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many cases) such that forbidding $P$ in $A$ guarantees an $n^{1-o(1)}\times n^{1-o(1)}$ homogeneous submatrix. We apply our results to chordal bipartite graphs, totally balanced matrices, halfplane-arrangements and string graphs.
2019-03-15
Counting Graph Homomorphisms Involving Complete Graphs
Published in Congressus Numerantium, 2017, volume 228 • Search Publication
In the branch of mathematics known as graph theory, graphs are considered as a set of points, called vertices, with connections between these points, called edges. The purpose of this paper is to study mappings between two graphs that have certain desirable properties, called graph homomorphisms, and the probability of such a mapping occurring. By using notions from graph theory and combinatorics, in this paper we prove several new theorems that place bounds on this probability for certain common classes of graphs such as Kn, and show that isolated vertices may safely be ignored.
2019-03-15
Stability of Critical p-Improper Interval Graphs
Published in Congressus Numerantium, 2017, Volume 228 • Search Publication
A $p$-improper interval graph is an interval graph that has an interval representation in which no interval contains more than $p$ other intervals. A critical $p$-improper interval graph is $p-1$ improper when any vertex is removed. In this paper we investigate the spectrum of impropriety of critical $p$-improper interval graphs upon the removal of a single vertex, which is informally known as the stability of the graph.
2019-03-14
Complementary Graphs with Flows Less Than Three
X. Hou, H.-J. Lai, P. Li and C.-Q. Zhang [J. Graph Theory 69 (2012) 464-470] showed that for a simple graph $G$ with $|V(G)|\ge 44$, if $\min\{δ(G),δ(G^c)\}\ge 4$, then either $G$ or its complementary graph $G^c$ has a nowhere-zero $3$-flow. In this paper, we improve this result by showing that if $|V(G)|\ge 32$ and $\min\{δ(G),δ(G^c)\}\ge 4$, then either $G$ or $G^c$ has flow index strictly less than $3$. Our result is proved by a newly developed closure operation and contraction method.
Strong cliques and forbidden cycles
Given a graph $G$, the strong clique number $ω_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some set of cycle lengths. For a graph $G$ of large enough maximum degree $Δ$, we show among other results the following: $ω_2'(G)\le5Δ^2/4$ if $G$ is triangle-free; $ω_2'(G)\le3(Δ-1)$ if $G$ is $C_4$-free; $ω_2'(G)\leΔ^2$ if $G$ is $C_{2k+1}$-free for some $k\ge 2$. These bounds are attained by natural extremal examples. Our work extends and improves upon previous work of Faudree, Gyárfás, Schelp and Tuza (1990), Mahdian (2000) and Faron and Postle (2019). We are motivated by the corresponding problems for the strong chromatic index.
2019-03-14
Disjoint dominating and 2-dominating sets in graphs
A graph $G$ is a $D\!D_2$-graph if it has a pair $(D,D_2)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $D_2$ is a 2-dominating set of $G$. We provide several characterizations and hardness results concerning $D\!D_2$-graphs.
2019-03-14
Keyed hash function from large girth expander graphs
In this paper we present an algorithm to compute keyed hash function (message authentication code MAC). Our approach uses a family of expander graphs of large girth denoted $D(n,q)$, where $n$ is a natural number bigger than one and $q$ is a prime power. Expander graphs are known to have excellent expansion properties and thus they also have very good mixing properties. All requirements for a good MAC are satisfied in our method and a discussion about collisions and preimage resistance is also part of this work. The outputs closely approximate the uniform distribution and the results we get are indistinguishable from random sequences of bits. Exact formulas for timing are given in term of number of operations per bit of input. Based on the tests, our method for implementing DMAC shows good efficiency in comparison to other techniques. 4 operations per bit of input can be achieved. The algorithm is very flexible and it works with messages of any length. Many existing algorithms output a fixed length tag, while our constructions allow generation of an arbitrary length output, which is a big advantage.
2019-03-14
Bad drawings of small complete graphs
We show that for $K_5$ (resp.~ $K_{3,3}$) there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, provided $i$ is odd with $1\le i\le 15$ (resp.~ $1\le i\le 17$). Conversely, using the deleted product cohomology, we show that for $K_5$ and $K_{3,3}$, if $A$ is any set of pairs of independent edges, and $A$ has odd cardinality, then there is a drawing in the plane for which each element in $A$ cross an odd number of times, while each pair of independent edges not in $A$ cross an even number of times. For $K_6$ we show that there is a drawing with $i$ independent crossings, and no pair of independent edges cross more than once, if and only if $3\le i\le 40$.
2019-03-13
On $m$-step competition graphs of bipartite tournaments
In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.
An Unique and Novel Graph Matrix for Efficient Extraction of Structural Information of Networks
In this article, we propose a new type of square matrix associated with an undirected graph by trading off the naturally imbedded symmetry in them. The proposed matrix is defined using the neighbourhood sets of the vertices. It is called as neighbourhood matrix and it is denoted by $ \mathcal{NM}(G)$ as this proposed matrix also exhibits a bijection between the product of the two graph matrices, namely the adjacency matrix and the graph Laplacian. This matrix can also be obtained by looking at every vertex and the subgraph with vertices from the first two levels in the level decomposition from that vertex. The two levels in the level decomposition of the graph give us more information about the neighbour of a vertex along with the neighbour of neighbour of a vertex. This insight is required and is found useful in studying the impact of broadcasting on social networks, in particular, and complex networks, in general. We establish several interesting properties of the $ \mathcal{NM}(G) $. In addition, we also show how to reconstruct a graph $G$, given a $ \mathcal{NM} (G)$. The proposed matrix is also found to solve many graph theoretic problems using less time complexity in comparison to the existing algorithms.
2019-03-13
On the location of roots of the independence polynomial of bounded degree graphs
In [1] Peters and Regts confirmed a conjecture by Sokal by showing that for every $Δ\in \mathbb{Z}_{\geq 3}$ there exists a complex neighborhood of the interval $\left[0, \frac{\left(Δ- 1\right)^{Δ- 1}}{\left(Δ-2\right)^Δ}\right)$ on which the independence polynomial is nonzero for all graphs of maximum degree $Δ$. Furthermore, they gave an explicit neighborhood $U_Δ$ containing this interval on which the independence polynomial is nonzero for all finite rooted Cayley trees with branching number $Δ$. The question remained whether $U_Δ$ would be zero-free for the independence polynomial of all graphs of maximum degree $Δ$. In this paper it is shown that this is not the case. [1] Han Peters and Guus Regts, On a conjecture of sokal concerning roots of the independence polynomial, Michigan Math. J. (2019), Advance publication.
2019-03-13 v2
Normal 6-edge-colorings of some bridgeless cubic graphs
Published • View PublicationBIB
In an edge-coloring of a cubic graph, an edge is poor or rich, if the set of colors assigned to the edge and the four edges adjacent it, has exactly five or exactly three distinct colors, respectively. An edge is normal in an edge-coloring if it is rich or poor in this coloring. A normal $k$-edge-coloring of a cubic graph is an edge-coloring with $k$ colors such that each edge of the graph is normal. We denote by $χ'_{N}(G)$ the smallest $k$, for which $G$ admits a normal $k$-edge-coloring. Normal edge-colorings were introduced by Jaeger in order to study his well-known Petersen Coloring Conjecture. It is known that proving $χ'_{N}(G)\leq 5$ for every bridgeless cubic graph is equivalent to proving Petersen Coloring Conjecture. Moreover, Jaeger was able to show that it implies classical conjectures like Cycle Double Cover Conjecture and Berge-Fulkerson Conjecture. Recently, two of the authors were able to show that any simple cubic graph admits a normal $7$-edge-coloring, and this result is best possible. In the present paper, we show that any claw-free bridgeless cubic graph, permutation snark, tree-like snark admits a normal $6$-edge-coloring. Finally, we show that any bridgeless cubic graph $G$ admits a $6$-edge-coloring such that at least $\frac{7}{9}\cdot |E|$ edges of $G$ are normal.