graph
35411 papers tagged with this keyword
Counting proper colourings in 4-regular graphs via the Potts model
Published
• View Publication
• BIB
We give tight upper and lower bounds on the internal energy per particle in the antiferromagnetic $q$-state Potts model on $4$-regular graphs, for $q\ge 5$. This proves the first case of a conjecture of the author, Perkins, Jenssen, and Roberts on extensions of their methods, and implies tight bounds on the antiferromagnetic Potts partition function.
The zero-temperature limit gives upper and lower bounds on the number of proper $q$-colourings of $4$-regular graphs, which almost proves the case $d=4$ of a conjecture of Galvin and Tetali. For any $q \ge 5$ we prove that the number of proper $q$-colourings of a $4$-regular graph is maximised by a union of $K_{4,4}$'s.
Stable gonality is computable
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (June 13, 2019) dmtcs:4931
• View Publication
• BIB
Stable gonality is a multigraph parameter that measures the complexity of a graph. It is defined using maps to trees. Those maps, in some sense, divide the edges equally over the edges of the tree; stable gonality asks for the map with the minimum number of edges mapped to each edge of the tree. This parameter is related to treewidth, but unlike treewidth, it distinguishes multigraphs from their underlying simple graphs. Stable gonality is relevant for problems in number theory. In this paper, we show that deciding whether the stable gonality of a given graph is at most a given integer $k$ belongs to the class NP, and we give an algorithm that computes the stable gonality of a graph in $O((1.33n)^nm^m \text{poly}(n,m))$ time.
On the Hamilton-Waterloo Problem with cycle lengths of distinct parities
Published
• View Publication
• BIB
Let $K_v^*$ denote the complete graph $K_v$ if $v$ is odd and $K_v-I$, the complete graph with the edges of a 1-factor removed, if $v$ is even. Given non-negative integers $v, M, N, α, β$, the Hamilton-Waterloo problem asks for a $2$-factorization of $K^*_v$ into $α$ $C_M$-factors and $β$ $C_N$-factors. Clearly, $M,N\geq 3$, $M\mid v$, $N\mid v$ and $α+β= \lfloor\frac{v-1}{2}\rfloor$ are necessary conditions.
Very little is known on the case where $M$ and $N$ have different parities. In this paper, we make some progress on this case by showing, among other things, that the above necessary conditions are sufficient whenever $M|N$, $v>6N>36M$, and $β\geq 3$.
A combinatorial model for computing volumes of flow polytopes
Published in Transactions of the American Mathematical Society 372 (2019), no. 5, 3369-3404
• View Publication
• BIB
We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph.
As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.
Pebbling on Graph Products and other Binary Graph Constructions
Pebbling on graphs is a two-player game which involves repeatedly moving a pebble from one vertex to another by removing another pebble from the first vertex. The pebbling number $π(G)$ is the least number of pebbles required so that, regardless of the initial configuration of pebbles, a pebble can reach any vertex. Graham conjectured that the pebbling number for the cartesian product, $G \hspace{1mm}\square\hspace{1mm} H$, is bounded above by $π(G) π(H)$. We show that $π(G\hspace{1mm}\square\hspace{1mm} H) \le 2π(G) π(H)$ and, more sharply, that $π(G \hspace{1mm}\square\hspace{1mm} H) \le (π(G)+|G|) π(H)$. Furthermore, we provide similar results for other graph products and graph operations.
New code upper bounds for the folded n-cube
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph. The maximum size of codewords with minimum distance at least $d$ is denoted by $A(Γ,d)$. Let $\square_n$ denote the folded $n$-cube $H(n,2)$. We give an upper bound on $A(\square_n,d)$ based on block-diagonalizing the Terwilliger algebra of $\square_n$ and on semidefinite programming.The technique of this paper is an extension of the approach taken by A. Schrijver \cite{s} on the study of $A(H(n,2),d)$.
Riordan graphs II: Spectral properties
Published
• View Publication
• BIB
The authors of this paper have used the theory of Riordan matrices to introduce the notion of a Riordan graph in \cite{CJKM}. Riordan graphs are proved to have a number of interesting (fractal) properties, and they are a far-reaching generalization of the well known and well studied Pascal graphs and Toeplitz graphs, and also some other families of graphs. The main focus in \cite{CJKM} is the study of structural properties of families of Riordan graphs obtained from certain infinite Riordan graphs.
In this paper, we use a number of results in~\cite{CJKM} to study spectral properties of Riordan graphs. Our studies include, but are not limited to the spectral graph invariants for Riordan graphs such as the adjacency eigenvalues, (signless) Laplacian eigenvalues, nullity, positive and negative inertias, and rank. We also study determinants of Riordan graphs, in particular, giving results about determinants of Catalan graphs.
Spanning trees without adjacent vertices of degree 2
Published
• View Publication
• BIB
Albertson, Berman, Hutchinson, and Thomassen showed in 1990 that there exist highly connected graphs in which every spanning tree contains vertices of degree 2. Using a result of Alon and Wormald, we show that there exists a natural number $d$ such that every graph of minimum degree at least $d$ contains a spanning tree without adjacent vertices of degree 2. Moreover, we prove that every graph with minimum degree at least 3 has a spanning tree without three consecutive vertices of degree 2.
Embedding 5-planar graphs in three pages
Published
• View Publication
• BIB
A \emph{book-embedding} of a graph $G$ is an embedding of vertices of $G$ along the spine of a book, and edges of $G$ on the pages so that no two edges on the same page intersect. the minimum number of pages in which a graph can be embedded is called the \emph{page number}. The book-embedding of graphs may be important in several technical applications, e.g., sorting with parallel stacks, fault-tolerant processor arrays design, and layout problems with application to very large scale integration (VLSI). Bernhart and Kainen firstly considered the book-embedding of the planar graph and conjectured that its page number can be made arbitrarily large [JCT, 1979, 320-331]. Heath [FOCS84] found that planar graphs admit a seven-page book embedding. Later, Yannakakis proved that four pages are necessary and sufficient for planar graphs in [STOC86]. Recently, Bekos et al. [STACS14] described an $O(n^{2})$ time algorithm of two-page book embedding for 4-planar graphs. In this paper, we embed 5-planar graphs into a book of three pages by an $O(n^{2})$ time algorithm.
Fractional DP-Colorings of Sparse Graphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring developed recently by Dvořák and Postle. In this paper we introduce and study the fractional DP-chromatic number $χ_{DP}^\ast(G)$. We characterize all connected graphs $G$ such that $χ_{DP}^\ast(G) \leqslant 2$: they are precisely the graphs with no odd cycles and at most one even cycle. By a theorem of Alon, Tuza, and Voigt, the fractional list-chromatic number $χ_\ell^\ast(G)$ of any graph $G$ equals its fractional chromatic number $χ^\ast(G)$. This equality does not extend to fractional DP-colorings. Moreover, we show that the difference $χ^\ast_{DP}(G) - χ^\ast(G)$ can be arbitrarily large, and, furthermore, $χ^\ast_{DP}(G) \geq d/(2 \ln d)$ for every graph $G$ of maximum average degree $d \geq 4$. On the other hand, we show that this asymptotic lower bound is tight for a large class of graphs that includes all bipartite graphs as well as many graphs of high girth and high chromatic number.
Connectivity of cubical polytopes
Published
• View Publication
• BIB
A cubical polytope is a polytope with all its facets being combinatorially equivalent to cubes. We deal with the connectivity of the graphs of cubical polytopes. We first establish that, for any $d\ge 3$, the graph of a cubical $d$-polytope with minimum degree $δ$ is $\min\{δ,2d-2\}$-connected. Second, we show, for any $d\ge 4$, that every minimum separator of cardinality at most $2d-3$ in such a graph consists of all the neighbours of some vertex and that removing the vertices of the separator from the graph leaves exactly two components, with one of them being the vertex itself.
The Slow-coloring Game on Sparse Graphs: $k$-Degenerate, Planar, and Outerplanar
Published
• View Publication
• BIB
The \emph{slow-coloring game} is played by Lister and Painter on a graph $G$. Initially, all vertices of $G$ are uncolored. In each round, Lister marks a nonempty set $M$ of uncolored vertices, and Painter colors a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. The score of the game is the sum of the sizes of all sets marked by Lister. The goal of Painter is to minimize the score, while Lister tries to maximize it. We provide strategies for Painter on various classes of graphs whose vertices can be partitioned into a bounded number of sets inducing forests, including $k$-degenerate, acyclically $k$-colorable, planar, and outerplanar graphs. For example, we show that on an $n$-vertex graph $G$, Painter can keep the score to at most $\frac{3k+4}4n$ when $G$ is $k$-degenerate, $3.9857n$ when $G$ is acyclically $5$-colorable, $3n$ when $G$ is planar with a Hamiltonian dual, $\frac{8n+3m}5$ when $G$ is $4$-colorable with $m$ edges (hence $3.4n$ when $G$ is planar), and $\frac73n$ when $G$ is outerplanar.
List strong edge-coloring of graphs with maximum degree 4
Published
• View Publication
• BIB
A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges on a path of length three receive distinct colors. We denote the strong chromatic index by $χ_{s}'(G)$ which is the minimum number of colors that allow a strong edge-coloring of $G$. Erdős and Nešetřil conjectured in 1985 that the upper bound of $χ_{s}'(G)$ is $\frac{5}{4}Δ^{2}$ when $Δ$ is even and $\frac{1}{4}(5Δ^{2}-2Δ+1)$ when $Δ$ is odd, where $Δ$ is the maximum degree of $G$. The conjecture is proved right when $Δ\leq3$. The best known upper bound for $Δ=4$ is 22 due to Cranston previously. In this paper we extend the result of Cranston to list strong edge-coloring, that is to say, we prove that when $Δ=4$ the upper bound of list strong chromatic index is 22.
Efficient algorithms for computing a minimal homology basis
Published
• View Publication
• BIB
Efficient computation of shortest cycles which form a homology basis under $\mathbb{Z}_2$-additions in a given simplicial complex $\mathcal{K}$ has been researched actively in recent years. When the complex $\mathcal{K}$ is a weighted graph with $n$ vertices and $m$ edges, the problem of computing a shortest (homology) cycle basis is known to be solvable in $O(m^2n/\log n+ n^2m)$-time. Several works \cite{borradaile2017minimum, greedy} have addressed the case when the complex $\mathcal{K}$ is a $2$-manifold. The complexity of these algorithms depends on the rank $g$ of the one-dimensional homology group of $\mathcal{K}$. This rank $g$ has a lower bound of $Θ(n)$, where $n$ denotes the number of simplices in $\mathcal{K}$, giving an $O(n^4)$ worst-case time complexity for the algorithms in \cite{borradaile2017minimum,greedy}. This worst-case complexity is improved in \cite{annotation} to $O(n^ω+ n^2g^{ω-1})$ for general simplicial complexes where $ω< 2.3728639$ \cite{le2014powers} is the matrix multiplication exponent. Taking $g=Θ(n)$, this provides an $O(n^{ω+1})$ worst-case algorithm. In this paper, we improve this time complexity. Combining the divide and conquer technique from \cite{DivideConquer} with the use of annotations from \cite{annotation}, we present an algorithm that runs in $O(n^ω+n^2g)$ time giving the first $O(n^3)$ worst-case algorithm for general complexes. If instead of minimal basis, we settle for an approximate basis, we can improve the running time even further. We show that a $2$-approximate minimal homology basis can be computed in $O(n^ω\sqrt{n \log n})$ expected time. We also study more general measures for defining the minimal basis and identify reasonable conditions on these measures that allow computing a minimal basis efficiently.
Every planar graph without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles is DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}$
Published
• View Publication
• BIB
DP-coloring is a generalization of a list coloring in simple graphs. Many results in list coloring can be generalized in those of DP-coloring. Kim and Ozeki showed that planar graphs without $k$-cycles where $k=3,4,5,$ or $6$ are DP-$4$-colorable. Recently, Kim and Yu extended the result on $3$- and $4$-cycles by showing that planar graphs without triangles adjacent to $4$-cycles are DP-$4$-colorable. Xu and Wu showed that planar graphs without $5$-cycles adjacent simultaneously to $3$-cycles and $4$-cycles are $4$-choosable. In this paper, we extend the result on $5$-cycles and triangles adjacent to $4$-cycles by showing that planar graphs without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles are DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}.$ This also generalizes the result of Xu and Wu.
Spectral extremal results with forbidding linear forests
Published
• View Publication
• BIB
The Turán type extremal problem asks to maximize the number of edges over all graphs which do not contain fixed subgraphs. Similarly, the spectral Turán type extremal problem asks to maximize spectral radius of all graphs which do not contain fixed subgraphs.
In this paper, we determine the maximum spectral radius of all graphs without containing a linear forest as a subgraph and characterize all corresponding extremal graphs. In addition, the maximum number of edges and spectral radius of all bipartite graphs without containing $k\cdot P_3$ as a subgraph are obtained and all extremal graphs are also characterized. Moreover, some relations between Tuán type extremal problems and spectral Turán type extremal problems are discussed.
On generalized choice and coloring numbers
A well-known result of Alon shows that the coloring number of a graph is bounded by a function of its choosability. We explore this relationship in a more general setting with relaxed assumptions on color classes, encoded by a graph parameter.
The extremal functions for triangle-free graphs with excluded minors
Published
• View Publication
• BIB
We prove two results:
1. A graph $G$ on at least seven vertices with a vertex $v$ such that $G-v$ is planar and $t$ triangles satisfies $|E(G)| \leq 3|V(G)|- 9 + t/3$.
2. For $p=2,3,\ldots,9$, a triangle-free graph $G$ on at least $2p-5$ vertices with no $K_p$-minor satisfies $|E(G)|\leq (p-2)|V(G)| - (p-2)^2$.
Regularity and Gröbner bases of the Rees algebra of edge ideals of bipartite graphs
Let $G$ be a bipartite graph and $I=I(G)$ be its edge ideal. The aim of this note is to investigate different aspects of the Rees algebra $\mathcal{R}(I)$ of $I$. We compute its regularity and the universal Gröbner basis of its defining equations; interestingly, both of them are described in terms of the combinatorics of $G$. We apply these ideas to study the regularity of the powers of $I$. For any $s \ge \text{match}(G)+\lvert E(G) \rvert +1$ we prove that $\text{reg}(I^{s+1})=\text{reg}(I^s)+2$.
A linear programming method for exponential domination
Published
• View Publication
• BIB
For a graph $G,$ the set $D \subseteq V(G)$ is a porous exponential dominating set if $1 \le \sum_{d \in D} \left( 2 \right)^{1-dist(d,v)}$ for every $v \in V(G),$ where $dist(d,v)$ denotes the length of the shortest $dv$ path. The porous exponential dominating number of $G,$ denoted $γ_e^*(G),$ is the minimum cardinality of a porous exponential dominating set. For any graph $G,$ a technique is derived to determine a lower bound for $γ_e^*(G).$ Specifically for a grid graph $H,$ linear programing is used to sharpen bound found through the lower bound technique. Lower and upper bounds are determined for the porous exponential domination number of the King Grid $\mathcal{K_n},$ the Slant Grid $\mathcal{S_n},$ and the $n$-dimensional hypercube $Q_n.$