arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34763 papers tagged with this keyword
The NL-flow polynomial
In 1982 Víctor Neumann-Lara introduced the dichromatic number of a digraph $D$ as the smallest integer $k$ such that the vertices $V$ of $D$ can be colored with $k$ colors and each color class induces an acyclic digraph. Later a flow theory for the dichromatic number transferring Tutte's theory of nowhere-zero flows (NZ-flows) from classic graph colorings has been developed by Hochstättler. The purpose of this paper is to pursue this analogy by introducing a new definition of algebraic Neumann-Lara-flows (NL-flows) and a closed formula for their polynomial. Furthermore we generalize the Equivalence Theorem for nowhere-zero flows to NL-flows in the setting of regular oriented matroids. Finally we discuss computational aspects of computing the NL-flow polynomial for orientations of complete digraphs and obtain a closed formula in the acyclic case.
Toughness and prism-hamiltonicity of $P_4$-free graphs
The \emph{prism} over a graph $G$ is the product $G \Box K_2$, i.e., the graph obtained by taking two copies of $G$ and adding a perfect matching joining the two copies of each vertex by an edge. The graph $G$ is called \emph{prism-hamiltonian} if it has a hamiltonian prism. Jung showed that every $1$-tough $P_4$-free graph with at least three vertices is hamiltonian. In this paper, we extend this to observe that for $k \geq 1$ a $P_4$-free graph has a spanning \emph{$k$-walk} (closed walk using each vertex at most $k$ times) if and only if it is $\frac{1}{k}$-tough. As our main result, we show that for the class of $P_4$-free graphs, the three properties of being prism-hamiltonian, having a spanning $2$-walk, and being $\frac{1}{2}$-tough are all equivalent.
Proof of a conjecture on the algebraic connectivity of a graph and its complement
For a graph $G$, let $λ_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $λ_2(G) + λ_2(\overline{G}) \geq 1$, where $\bar{G}$ is the complement of $G$. Here, we prove this conjecture in the general case. Also, we will show that $\max\{λ_2(G), λ_2(\overline{G})\} \geq 1 - O(n^{-\frac 13})$, where $n$ is the number of vertices of $G$.
How Ramsey theory can be used to solve Harary's problem for $K_{2,k}$
Harary's conjecture $r(C_3,G)\leq 2q+1$ for every isolated-free graph G with $q$ edges was proved independently by Sidorenko and Goddard and Klietman. In this paper instead of $C_3$ we consider $K_{2,k}$ and seek a sharp upper bound for $r(K_{2,k},G)$ over all graphs $G$ with $q$ edges. More specifically if $q\geq 2$, we will show that $r(C_4,G)\leq kq+1$ and that equality holds if $G \cong qK_2$ or $K_3$. Using this we will generalize this result for $r(K_{2,k},G)$ when $k>2$. We will also show that for every graph $G$ with $q \geq 2$ edges and with no isolated vertices, $r(C_4, G) \leq 2p+ q - 2$ where $p=|V(G)|$ and that equality holds if $G \cong K_3$.
2019-01-06 v2
On enumerators of Smirnov words by descents and cyclic descents
A Smirnov word is a word over the positive integers in which adjacent letters must be different. A symmetric function enumerating these words by descent number arose in the work of Shareshian and the second named author on $q$-Eulerian polynomials, where a $t$-analog of a formula of Carlitz, Scoville, and Vaughan for enumerating Smirnov words is proved. A symmetric function enumerating a circular version of these words by cyclic descent number arose in the work of the first named author on chromatic quasisymmetric functions of directed graphs, where a $t$-analog of a formula of Stanley for enumerating circular Smirnov words is proved. In this paper we obtain new $t$-analogs of the Carlitz-Scoville-Vaughan formula and the Stanley formula in which the roles of descent number and cyclic descent number are switched. These formulas show that the Smirnov word enumerators are polynomials in $t$ whose coefficients are e-positive symmetric functions. We also obtain expansions in the power sum basis and the fundamental quasisymmetric function basis, complementing earlier results of Shareshian and the authors. Our work relies on studying refinements of the Smirnov word enumerators that count certain restricted classes of Smirnov words by descent number. Applications to variations of $q$-Eulerian polynomials and to the chromatic quasisymmetric functions introduced by Shareshian and the second named author are also presented.
Connected-Intersecting Families of Graphs
For a graph property $\mathcal{P}$ and a common vertex set $V = \{1, 2, \ldots, n\}$, a family of graphs on $V$ is \emph{$\mathcal{P}$-intersecting} iff $G \cap H$ satisfies $\mathcal{P}$ for all $G,H$ in the family. Addressing a question of Chung, Graham, Frankl, and Shearer, we explore---for various $\mathcal{P}$---the maximum cardinality among all $\mathcal{P}$-intersecting families of graphs. In the connected-intersecting case, we resolve the question completely by a short linear algebraic proof showing this maximum is attained by taking all graphs containing a fixed spanning tree (though we show other extremal constructions as well). We also present a new lower bound for containing unions of a fixed subgraph.
2019-01-06 v2
A Homotopy Category for Graphs
We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category by modding out by the 2-cells of our 2-category, and use the spider moves to show that for finite graphs, this category is a homotopy category in the sense that it satisfies the universal property for localizing homotopy equivalences. We then show that finite stiff graphs form a skeleton of this homotopy category.
2019-01-05 v3
Monochromatic disconnection of graphs
For an edge-colored graph $G$, we call an edge-cut $M$ of $G$ monochromatic if the edges of $M$ are colored with a same color. The graph $G$ is called monochromatically disconnected if any two distinct vertices of $G$ are separated by a monochromatic edge-cut. For a connected graph $G$, the monochromatic disconnection number, denoted by $md(G)$, of $G$ is the maximum number of colors that are needed in order to make $G$ monochromatically disconnected. We will show that almost all graphs have monochromatic disconnection numbers equal to 1. We also obtain the Nordhaus-Gaddum-type results for $md(G)$.
2019-01-05
Diagonal Ramsey numbers in multipartite graphs related to stars
Let the star on $n$ vertices, namely $K_{1,n-1}$ be denoted by $S_n$. If every two coloring of the edges of a complete balanced multipartite graph $K_{j \times s}$ there is a copy of $S_n$ in the first color or a copy of $S_m$ in the second color, then we will say $K_{j \times s}\rightarrow (S_n,S_m)$. The size Ramsey multipartite number $m_j(S_n, S_m)$ is the smallest natural number $s$ such that $K_{j \times s}\rightarrow (S_n,S_m)$. In this paper, we obtain the exact values of the size Ramsey numbers $m_j(S_n,S_m)$ for $n,m \ge 3$ and $j \ge 3$.
2019-01-04
On the Universality and Extremality of graphs with a distance constrained colouring
A lambda colouring (or $L(2,1)-$colouring) of a graph is an assignment of non-negative integers (with minimum assignment $0$) to its vertices such that the adjacent vertices must receive integers at least two apart and vertices at distance two must receive distinct integers. The lambda chromatic number (or the $λ$ number) of a graph $G$ is the least positive integer among all the maximum assigned positive integer over all possible lambda colouring of the graph $G$. Here we have primarily shown that every graph with lambda chromatic number $t$ can be embedded in a graph, with lambda chromatic number $t$, which admits a partition of the vertex set into colour classes of equal size. It is further proved that if an $n-$vertex graph with lambda chromatic number $t\geq5$, where $n\geq t+1$, contains maximum number of edges, then the vertex set of such graph admits an equitable partition. For such an admitted equitable partition there are either $0$ or $\min\{|A|,|B|\}$ number of edges between each pair $(A,B)$ of subsets (i.e. roughly, such partition is a "sparse like" equitable partition). Here we establish a classification result, identifying all possible $n-$vertex graphs with lambda chromatic number $t\geq3$, where $n\geq t+1$, which contain maximum number of edges. Such classification provides a solution of a problem posed more than two decades ago by John P. Georges and David W. Mauro.
2019-01-04
Orthogonal graphs modulo power of 2
In this work, we define an orthogonal graph on the set of equivalence classes of $(2ν+ δ)-$tuples over $\mathbb{Z}_{2^n}$ where $n$ and $ν$ are positive integers and $δ= 0, 1$ or $2$. We classify our graph if it is strongly regular or quasi-strongly regular and compute all parameters precisely. We show that our graph is arc transitive. The automorphisms group is given and the chromatic number of the graph except when $δ= 0$ and $ν$ is odd is determined. Moreover, we work on subconstituents of this orthogonal graph.
2019-01-04 v3
A unified construction of semiring-homomorphic graph invariants
Published in J. Algebraic Combin. 54 (3), 693-718 (2021) • View PublicationBIB
It has recently been observed by Zuiddam that finite graphs form a preordered commutative semiring under the graph homomorphism preorder together with join and disjunctive product as addition and multiplication, respectively. This led to a new characterization of the Shannon capacity $Θ$ via Strassen's Positivstellensatz: $Θ(\bar{G}) = \inf_f f(G)$, where $f : \mathsf{Graph} \to \mathbb{R}_+$ ranges over all monotone semiring homomorphisms. Constructing and classifying graph invariants $\mathsf{Graph} \to \mathbb{R}_+$ which are monotone under graph homomorphisms, additive under join, and multiplicative under disjunctive product is therefore of major interest. We call such invariants semiring-homomorphic. The only known such invariants are all of a fractional nature: the fractional chromatic number, the projective rank, the fractional Haemers bounds, as well as the Lovász number (with the latter two evaluated on the complementary graph). Here, we provide a unified construction of these invariants based on linear-like semiring families of graphs. Along the way, we also investigate the additional algebraic structure on the semiring of graphs corresponding to fractionalization. Linear-like semiring families of graphs are a new concept of combinatorial geometry different from matroids which may be of independent interest.
2019-01-03
A relative bound for independence
Published in Discrete Mathematics 342 (2019), no. 12, 111607, 8pp • Search Publication
We prove an upper bound for the independence number of a graph in terms of the largest Laplacian eigenvalue, and of a certain induced subgraph. Our bound is a refinement of a well-known Hoffman-type bound.
2019-01-03
A modified greedy algorithm to improve bounds for the vertex cover number
In any attempt at designing an efficient algorithm for the minimum vertex cover problem, obtaining good upper and lower bounds for the vertex cover number could be crucial. In this article we present a modified greedy algorithm of worst-case time complexity O(n3) to obtain bounds for the vertex cover number of an input graph of order n. Using simple facts, the proposed algorithm computes a lower bound for the vertex cover number. Then using this lower bound it outputs a minimal vertex cover and hence gives an upper bound. The algorithm ensures the output vertex cover is always minimal, which feature is an improvement upon the existing greedy algorithms.
2019-01-03
Non-bipartite distance-regular graphs with a small smallest eigenvalue
In 2017, Qiao and Koolen showed that for any fixed integer $D\geq 3$, there are only finitely many such graphs with $θ_{\min}\leq -αk$, where $0<α<1$ is any fixed number. In this paper, we will study non-bipartite distance-regular graphs with relatively small $θ_{\min}$ compared with $k$. In particular, we will show that if $θ_{\min}$ is relatively close to $-k$, then the odd girth $g$ must be large. Also we will classify the non-bipartite distance-regular graphs with $θ_{\min} \leq \frac{D-1}{D}$ for $D =4,5$.
2019-01-03 v2
Recursion relations for chromatic coefficients for graphs and hypergraphs
Published in Discussiones Mathematicae Graph Theory 42(1) (2022) 101-121 • View PublicationBIB
We establish a set of recursion relations for the coefficients in the chromatic polynomial of a graph or a hypergraph. As an application we provide a generalization of Whitney's broken cycle theorem for hypergraphs, as well as deriving an explicit formula for the linear coefficient of the chromatic polynomial of the $r$-complete hypergraph in terms of roots of the Taylor polynomials for the exponential function.
Clique-Width for Hereditary Graph Classes
Published in London Mathematical Society Lecture Note Series 456 (2019): 1-56 • View PublicationBIB
Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general can be shown to be polynomial-time solvable on ${\cal G}$. For this reason, the boundedness or unboundedness of clique-width has been investigated and determined for many graph classes. We survey these results for hereditary graph classes, which are the graph classes closed under taking induced subgraphs. We then discuss the algorithmic consequences of these results, in particular for the Colouring and Graph Isomorphism problems. We also explain a possible strong connection between results on boundedness of clique-width and on well-quasi-orderability by the induced subgraph relation for hereditary graph classes.
2019-01-02
The planar Cayley graphs are effectively enumerable II
We show that a group admits a planar, finitely generated Cayley graph if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al. asking whether the planar groups can be effectively enumerated.
2019-01-02
$H$-games played on vertex sets of random graphs
We introduce a new type of positional games, played on a vertex set of a graph. Given a graph $G$, two players claim vertices of $G$, where the outcome of the game is determined by the subgraphs of $G$ induced by the vertices claimed by each player (or by one of them). We study classical positional games such as Maker-Breaker, Avoider-Enforcer, Waiter-Client and Client-Waiter games, where the board of the game is the vertex set of the binomial random graph $G\sim G(n,p)$. Under these settings, we consider those games where the target sets are the vertex sets of all graphs containing a copy of a fixed graph $H$, called $H$-games, and focus on those cases where $H$ is a clique or a cycle. We show that, similarly to the edge version of $H$-games, there is a strong connection between the threshold probability for these games and the one for the corresponding vertex Ramsey property (that is, the property that every $r$-vertex-coloring of $G(n,p)$ spans a monochromatic copy of $H$). Another similarity to the edge version of these games we demonstrate, is that the games in which $H$ is a triangle or a forest present a different behavior compared to the general case.
On Radio Number of Stacked-Book Graphs
A Stacked-book graph $G_{m,n}$ results from the Cartesian product of a star graph $S_m$ and path $P_n$, where $m$ and $n$ are the orders of $S_m$ and $P_n$ respectively. A radio labeling problem of a simple and connected graph, $G$, involves a non-negative integer function $f:V(G)\rightarrow \mathbb Z^+$ on the vertex set $V(G)$ of G, such that for all $u,v \in V(G)$, $|f(u)-f(v)| \geq \textmd{diam}(G)+1-d(u,v)$, where $\textmd {diam}(G)$ is the diameter of $G$ and $d(u,v)$ is the shortest distance between $u$ and $v$. Suppose that $f_{min}$ and $f_{max}$ are the respective least and largest values of $f$ on $V(G)$, then, span$f$, the absolute difference of $f_{min}$ and $f_{max}$, is the span of $f$ while the radio number $rn(G)$ of $G$ is the least value of span$f$ over all the possible radio labels on $V(G)$. In this paper, we obtain the radio number for the stacked-book graph $G_{m,n}$ where $m \geq 4$ and $n$ is even, and obtain bounds for $m=3$ which improves existing upper and lower bounds for $G_{m,n}$ where $m=3$.