arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35436 papers tagged with this keyword
Parikh Word Representability of Bipartite Permutation Graphs
The class of Parikh word representable graphs were recently introduced. In this work, we further develop its general theory beyond the binary alphabet. Our main result shows that this class is equivalent to the class of bipartite permutation graphs. Furthermore, we study certain graph theoretic properties of these graphs in terms of the arity of the representing word.
2018-12-26 v2
The 2-Factor Polynomial Detects Even Perfect Matchings
Published in Electronic Journal of Combinatorics, 27 (2020), no. 2, Paper No. 2.27, 16pp • View Publication • BIB
In this paper, we prove that the 2-factor polynomial, an invariant of a planar trivalent graph with a perfect matching, counts the number of 2- factors that contain the the perfect matching as a subgraph. Consequently, we show that the polynomial detects even perfect matchings.
The number of Gallai k-colorings of complete graphs
An edge coloring of the $n$-vertex complete graph, $K_n$, is a Gallai coloring if it does not contain any rainbow triangle, that is, a triangle whose edges are colored with three distinct colors. We prove that for $n$ large and every $k$ with $k\le 2^{n/4300}$, the number of Gallai colorings of $K_n$ that use at most $k$ given colors is $(\binom{k}{2}+o_n(1))\,2^{\binom{n}{2}}$. Our result is asymptotically best possible and implies that, for those $k$, almost all Gallai $k$-colorings use only two colors. However, this is not true for $k \ge Ω(2^{2n})$.
2018-12-25 v2
The rainbow vertex-disconnection in graphs
Let $G$ be a nontrivial connected and vertex-colored graph. A subset $X$ of the vertex set of $G$ is called rainbow if any two vertices in $X$ have distinct colors. The graph $G$ is called \emph{rainbow vertex-disconnected} if for any two vertices $x$ and $y$ of $G$, there exists a vertex subset $S$ of $G$ such that when $x$ and $y$ are nonadjacent, $S$ is rainbow and $x$ and $y$ belong to different components of $G-S$; whereas when $x$ and $y$ are adjacent, $S+x$ or $S+y$ is rainbow and $x$ and $y$ belong to different components of $(G-xy)-S$. For a connected graph $G$, the \emph{rainbow vertex-disconnection number} of $G$, denoted by $rvd(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-disconnected. In this paper, we characterize all graphs of order $n$ with rainbow vertex-disconnection number $k$ for $k\in\{1,2,n\}$, and determine the rainbow vertex-disconnection numbers of some special graphs. Moreover, we study the extremal problems on the number of edges of a connected graph $G$ with order $n$ and $rvd(G)=k$ for given integers $k$ and $n$ with $1\leq k\leq n$.
2018-12-24
Circular Flows in Planar Graphs
Published in SIAM J. Discrete Math. Vol. 34(1), 2020, pp. 497-519 • View Publication • BIB
For integers $a\ge 2b>0$, a \emph{circular $a/b$-flow} is a flow that takes values from $\{\pm b, \pm(b+1), \dots, \pm(a-b)\}$. The Planar Circular Flow Conjecture states that every $2k$-edge-connected planar graph admits a circular $(2+\frac{2}{k})$-flow. The cases $k=1$ and $k=2$ are equivalent to the Four Color Theorem and Grötzsch's 3-Color Theorem. For $k\ge 3$, the conjecture remains open. Here we make progress when $k=4$ and $k=6$. We prove that (i) {\em every 10-edge-connected planar graph admits a circular 5/2-flow} and (ii) {\em every 16-edge-connected planar graph admits a circular 7/3-flow.} The dual version of statement (i) on circular coloring was previously proved by Dvořák and Postle (Combinatorica 2017), but our proof has the advantages of being much shorter and avoiding the use of computers for case-checking. Further, it has new implications for antisymmetric flows. Statement (ii) is especially interesting because the counterexamples to Jaeger's original Circular Flow Conjecture are 12-edge-connected nonplanar graphs that admit no circular 7/3-flow. Thus, the planarity hypothesis of (ii) is essential.
2018-12-24 v3
Replica Symmetry in Upper Tails of Mean-Field Hypergraphs
Given a sequence of $s$-uniform hypergraphs $\{H_n\}_{n \geq 1}$, denote by $T_p(H_n)$ the number of edges in the random induced hypergraph obtained by including every vertex in $H_n$ independently with probability $p \in (0, 1)$. Recent advances in the large deviations of low complexity non-linear functions of independent Bernoulli variables can be used to show that tail probabilities of $T_p(H_n)$ are precisely approximated by the so-called 'mean-field' variational problem, under certain assumptions on the sequence $\{H_n\}_{n \geq 1}$. In this paper, we study properties of this variational problem for the upper tail of $T_p(H_n)$, assuming that the mean-field approximation holds. In particular, we show that the variational problem has a universal replica symmetric phase (where it is uniquely minimized by a constant function), for any sequence of regular $s$-uniform hypergraphs, which depends only on $s$. We also analyze the associated variational problem for the related problem of estimating subgraph frequencies in a converging sequence of dense graphs. Here, the variational problems themselves have a limit which can be expressed in terms of the limiting graphon.
2018-12-24 v2
Planar graphs without pairwise adjacent 3-,4-,5-, and 6-cycle are 4-choosable
Xu and Wu proved that if every 5-cycle of a planar graph G is not simultaneously adjacent to 3-cycles and 4-cycles, then G is 4-choosable. In this paper, we improve this result as follows. If G is a planar graph without pairwise adjacent 3-,4-,5-, and 6-cycle, then G is 4-choosable.
2018-12-24
Cops, robbers, and burning bridges
We consider a variant of Cops and Robbers wherein each edge traversed by the robber is deleted from the graph. The focus is on determining the minimum number of cops needed to capture a robber on a graph $G$, called the {\em bridge-burning cop number} of $G$ and denoted $c_b(G)$. We determine $c_b(G)$ exactly for several elementary classes of graphs and give a polynomial-time algorithm to compute $c_b(T)$ when $T$ is a tree. We also study two-dimensional square grids and tori, as well as hypercubes, and we give bounds on the capture time of a graph (the minimum number of rounds needed for a single cop to capture a robber on $G$, provided that $c_b(G) = 1$).
2018-12-24
Propagation time for probabilistic zero forcing
Zero forcing is a coloring game played on a graph that was introduced more than ten years ago in several different applications. The goal is to color all the vertices blue by repeated use of a (deterministic) color change rule. Probabilistic zero forcing was introduced by Kang and Yi in [Probabilistic zero forcing in graphs, Bull. Inst. Combin. Appl. 67 (2013), 9--16] and yields a discrete dynamical system, which is a better model for some applications. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this is a natural parameter to study. We determine expected propagation time exactly for paths and cycles, establish the asymptotic value for stars, and present asymptotic upper and lower bounds for any graph in terms of its radius and order. We apply these results to obtain values and bounds on $\ell$-round probabilistic zero forcing, throttling number for probabilistic zero forcing, and confidence levels for propagation time.
2018-12-23
Dirichlet p-Laplacian eigenvalues and Cheeger constants on symmetric graphs
In this paper, we study eigenvalues and eigenfunctions of $p$-Laplacians with Dirichlet boundary condition on graphs. We characterize the first eigenfunction (and the maximum eigenfunction for a bipartite graph) via the sign condition. By the uniqueness of the first eigenfunction of $p$-Laplacian, as $p\to 1,$ we identify the Cheeger constant of a symmetric graph with that of the quotient graph. By this approach, we calculate various Cheeger constants of spherically symmetric graphs.
On DP-Coloring of Digraphs
DP-coloring is a relatively new coloring concept by Dvořák and Postle and was introduced as an extension of list-colorings of (undirected) graphs. It transforms the problem of finding a list-coloring of a given graph $G$ with a list-assignment $L$ to finding an independent transversal in an auxiliary graph with vertex set $\{(v,c) ~|~ v \in V(G), c \in L(v)\}$. In this paper, we extend the definition of DP-colorings to digraphs using the approach from Neumann-Lara where a coloring of a digraph is a coloring of the vertices such that the digraph does not contain any monochromatic directed cycle. Furthermore, we prove a Brooks' type theorem regarding the DP-chromatic number, which extends various results on the (list-)chromatic number of digraphs.
2018-12-23 v4
Lower bounds on the chromatic number of random graphs
We prove that a formula predicted on the basis of non-rigorous physics arguments [Zdeborova and Krzakala: Phys. Rev. E (2007)] provides a lower bound on the chromatic number of sparse random graphs. The proof is based on the interpolation method from mathematical physics. In the case of random regular graphs the lower bound can be expressed algebraically, while in the case of the binomial random we obtain a variational formula. As an application we calculate improved explicit lower bounds on the chromatic number of random graphs for small (average) degrees. Additionally, show how asymptotic formulas for large degrees that were previously obtained by lengthy and complicated combinatorial arguments can be re-derived easily from these new results.
The hat guessing number of graphs
Consider the following hat guessing game: $n$ players are placed on $n$ vertices of a graph, each wearing a hat whose color is arbitrarily chosen from a set of $q$ possible colors. Each player can see the hat colors of his neighbors, but not his own hat color. All of the players are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. Given a graph $G$, its hat guessing number ${\rm{HG}}(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ possible colors. In 2008, Butler et al. asked whether the hat guessing number of the complete bipartite graph $K_{n,n}$ is at least some fixed positive (fractional) power of $n$. We answer this question affirmatively, showing that for sufficiently large $n$, the complete $r$-partite graph $K_{n,\ldots,n}$ satisfies ${\rm{HG}}(K_{n,\ldots,n})=Ω(n^{\frac{r-1}{r}-o(1)})$. Our guessing strategy is based on a probabilistic construction and other combinatorial ideas, and can be extended to show that ${\rm{HG}}(\vec{C}_{n,\ldots,n})=Ω(n^{\frac{1}{r}-o(1)})$, where $\vec{C}_{n,\ldots,n}$ is the blow-up of a directed $r$-cycle, and where for directed graphs each player sees only the hat colors of his outneighbors.
2018-12-23
Integer points enumerator of hypergraphic polytopes
For a hypergraphic polytope there is a weighted quasisymmetric function which enumerates positive integer points in its normal fan and determines its f-polynomial. This quasisymmetric function invariant of hypergraphs extends the Stanley chromatic symmetric function of simple graphs. We consider a certain combinatorial Hopf algebra of hypergraphs and show that universal morphism to quasisymmetric functions coincides with this enumerator function.
2018-12-23
Maximum Modulus of Independence Roots of Graphs and Trees
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size and its roots are called independence roots. We bound the maximum modulus, $\mbox{maxmod}(n)$, of an independence root over all graphs on $n$ vertices and the maximum modulus, $\mbox{maxmod}_{T}(n)$, of an independence root over all trees on $n$ vertices in terms of $n$. In particular, we show that $$\frac{\log_3(\mbox{maxmod}(n))}{n}=\frac{1}{3}+o(1)$$ and $$\frac{\log_2(\mbox{maxmod}_{T}(n))}{n}=\frac{1}{2}+o(1).$$
Packing functions and graphs with perfect closed neighbourhood matrices
In this work we consider a straightforward linear programming formulation of the recently introduced $\{k\}$-packing function problem in graphs, for each fixed value of the positive integer number $k$. We analyse a special relation between the case $ k = 1$ and $ k \geq 2$ and give a sufficient condition for optimality ---the perfection--- of the closed neighbourhood matrix $N[G]$ of the input graph $G$. We begin a structural study of graphs satisfying this condition. In particular, we look for a characterization of graphs that have perfect closed neighbourhood matrices which involves the property of being a clique-node matrix of a perfect graph. We present a necessary and sufficient condition for a graph to have a clique-node closed neighbourhood matrix. Finally, we study the perfection of the graph of maximal cliques associated to $N[G]$.
Automorphism Groups of nilpotent Lie algebras associated to certain graphs
Published in Communications in Algebra https://www.tandfonline.com/doi/full/10.1080/00927872.2019.1640239 • View Publication • BIB
We consider a family of 2-step nilpotent Lie algebras associated to uniform complete graphs on odd number of vertices. We prove that the symmetry group of such a graph is the holomorph of the additive cyclic group $\Z_n$. Moreover, we prove that the (Lie) automorphism group of the corresponding nilpotent Lie algebra contains the dihedral group of order $2n$ as a subgroup.
Entropy of Tournament Digraphs
The Rényi $α$-entropy $H_α$ of complete antisymmetric directed graphs (i.e., tournaments) is explored. We optimize $H_α$ when $α= 2$ and $3$, and find that as $α$ increases $H_α$'s sensitivity to what we refer to as `regularity' increases as well. A regular tournament on $n$ vertices is one with each vertex having out-degree $\frac{n-1}{2}$, but there is a lot of diversity in terms of structure among the regular tournaments; for example, a regular tournament may be such that each vertex's out-set induces a regular tournament (a doubly-regular tournament) or a transitive tournament (a rotational tournament). As $α$ increases, on the set of regular tournaments, $H_α$ has maximum value on doubly regular tournaments and minimum value on rotational tournaments. The more `regular', the higher the entropy. We show, however, that $H_2$ and $H_3$ are maximized, among all tournaments on any number of vertices by any regular tournament. We also provide a calculation that is equivalent to the von Neumann entropy, but may be applied to any directed or undirected graph and shows that the von Neumann entropy is a measure of how quickly a random walk on the graph or directed graph settles.
2018-12-21 v2
Further results on the least Q-eigenvalue of a graph with fixed domination number
In this paper, we proceed on determining the minimum $q_{min}$ among the connected nonbipartite graphs on $n\geq 5$ vertices and with domination number $\frac{n+1}{3}<γ\leq \frac{n-1}{2}$. Further results obtained are as follows: $\mathrm{(i)}$ among all nonbipartite connected graph of order $n\geq 5$ and with domination number $\frac{n-1}{2}$, the minimum $q_{min}$ is completely determined; $\mathrm{(ii)}$ among all nonbipartite graphs of order $n\geq 5$, with odd-girth $g_{o}\leq5$ and domination number at least $\frac{n+1}{3}<γ\leq \frac{n-2}{2}$, the minimum $q_{min}$ is completely determined.
2018-12-21
On the hardness of deciding the equality of the induced and the uniquely restricted matching number
If $G(M)$ denotes the subgraph of a graph $G$ induced by the set of vertices that are covered by some matching $M$ in $G$, then $M$ is an induced or a uniquely restricted matching if $G(M)$ is $1$-regular or if $M$ is the unique perfect matching of $G(M)$, respectively. Let $ν_s(G)$ and $ν_{ur}(G)$ denote the maximum cardinality of an induced and a uniquely restricted matching in $G$. Golumbic, Hirst, and Lewenstein (Uniquely restricted matchings, Algorithmica 31 (2001) 139-154) posed the problem to characterize the graphs $G$ with $ν_{ur}(G) = ν_{s}(G)$. We prove that the corresponding decision problem is NP-hard, which suggests that a good characterization is unlikely to be possible.