graph
34516 papers tagged with this keyword
Shift Graphs, Chromatic Number and Acyclic One-Path Orientations
Shift graphs, which were introduced by Erdős and Hajnal, have been used to answer various questions in extremal graph theory. In this paper, we prove two new results using shift graphs and their induced subgraphs.
1. Recently Girao [Combinatorica2023], showed that for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$, in which every $F$-free induced subgraph has chromatic number at most $c_F$. We significantly improve the value of the constant $c_F$ for the special case where $F$ is the complete bipartite graph $K_{a,b}$. We show that any $K_{a,b}$-free induced subgraph of the triangle-free shift graph $G_{n,2}$ has chromatic number bounded by $\mathcal{O}(\log(a+b))$.
2. An undirected simple graph $G$ is said to have the AOP Property if it can be acyclically oriented such that there is at most one directed path between any two vertices. We prove that the shift graph $G_{n,2}$ does not have the AOP property for all $n\geq 9$. Despite this, we construct induced subgraphs of shift graph $G_{n,2}$ with an arbitrarily high chromatic number and odd-girth that have the AOP property.
Furthermore, we construct graphs with arbitrarily high odd-girth that do not have the AOP Property and also prove the existence of graphs with girth equal to $5$ that do not have the AOP property.
Any link has a diagram with only triangles and quadrilaterals
A link diagram can be considered as a $4$-valent graph embedded in the $2$-sphere and divides the sphere into complementary regions. In this paper, we show that any link has a diagram with only triangles and quadrilaterals. This extends previous results shown by the authors and C. Adams.
On $Z$-monodromies in embedded graphs
We characterize all permutations which realize as the $z$-monodromies of faces in connected simple finite graphs embedded in surfaces whose duals are also simple.
Giant Rainbow Trees in Sparse Random Graphs
For any small constant $ε>0$, the Erdős-Rényi random graph $G(n,\frac{1+ε}{n})$ with high probability has a unique largest component which contains $(1\pm O(ε))2εn$ vertices. Let $G_c(n,p)$ be obtained by assigning each edge in $G(n,p)$ a color in $[c]$ independently and uniformly. Cooley, Do, Erde, and Missethan proved that for any fixed $α>0$, $G_{αn}(n,\frac{1+ε}{n})$ with high probability contains a rainbow tree (a tree that does not repeat colors) which covers $(1\pm O(ε))\fracα{α+1}εn$ vertices, and conjectured that there is one which covers $(1\pm O(ε))2εn$. In this paper, we achieve the correct leading constant and prove their conjecture correct up to a logarithmic factor in the error term, as we show that with high probability $G_{αn}(n,\frac{1+ε}{n})$ contains a rainbow tree which covers $(1\pm O(ε\log(1/ε)))2εn$ vertices.
Schur-Positive sets
In this thesis we prove Schur-positivity of certain graph families. In addition, we exlpor existence of cyclic descent extensions on several families of Schur-positive sets.
DP-Coloring of Graphs from Random Covers
DP-coloring (also called correspondence coloring) of graphs is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in $2015$. Intuitively, DP-coloring generalizes list coloring by allowing the colors that are identified as the same to vary from edge to edge. Formally, DP-coloring of a graph $G$ is equivalent to an independent transversal in an auxiliary structure called a DP-cover of $G$. In this paper, we introduce the notion of random DP-covers and study the behavior of DP-coloring from such random covers. We prove a series of results about the probability that a graph is or is not DP-colorable from a random cover. These results support the following threshold behavior on random $k$-fold DP-covers as $ρ\to\infty$ where $ρ$ is the maximum density of a graph: graphs are non-DP-colorable with high probability when $k$ is sufficiently smaller than $ρ/\lnρ$, and graphs are DP-colorable with high probability when $k$ is sufficiently larger than $ρ/\lnρ$. Our results depend on $ρ$ growing fast enough and imply a sharp threshold for dense enough graphs. For sparser graphs, we analyze DP-colorability in terms of degeneracy. We also prove fractional DP-coloring analogs to these results.
Sufficient conditions for $k$-factors and spanning trees of graphs
For any integer $k\geq1,$ a graph $G$ has a $k$-factor if it contains a $k$-regular spanning subgraph. In this paper we prove a sufficient condition in terms of the number of $r$-cliques to guarantee the existence of a $k$-factor in a graph with minimum degree at least $δ$, which improves the sufficient condition of O \cite{O2021} based on the number of edges. For any integer $k\geq2,$ a spanning $k$-tree of a connected graph $G$ is a spanning tree in which every vertex has degree at most $k$. Motivated by the technique of Li and Ning \cite{Li2016}, we present a tight spectral condition for an $m$-connected graph to have a spanning $k$-tree, which extends the result of Fan, Goryainov, Huang and Lin \cite{Fan2021} from $m=1$ to general $m$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of leaves adjacent to $v$ in $T$ for any $v\in V(T)$. We provide a tight spectral condition for the existence of a spanning tree with leaf degree at most $k$ in a connected graph with minimum degree $δ$, where $k\geq1$ is an integer.
Quantum walks on blow-up graphs
A blow-up of $n$ copies of a graph $G$ is the graph $\overset{n}\uplus~G$ obtained by replacing every vertex of $G$ by an independent set of size $n$, where the copies of vertices in $G$ are adjacent in the blow-up if and only if the vertices adjacent in $G$. Our goal is to investigate the existence of quantum state transfer on a blow-up graph $\overset{n}\uplus~G$, where the adjacency matrix is taken to be the time-independent Hamiltonian of the quantum system represented by $\overset{n}\uplus~G$. In particular, we establish necessary and sufficient conditions for vertices in a blow-up graph to exhibit strong cospectrality and various types of high probability quantum transport, such as periodicity, perfect state transfer (PST) and pretty good state transfer (PGST). It turns out, if $\overset{n}\uplus~G$ admits PST or PGST, then one must have $n=2.$ Moreover, if $G$ has an invertible adjacency matrix, then we show that every vertex in $\overset{2}\uplus~G$ pairs up with a unique vertex to exhibit strong cospectrality. We then apply our results to determine infinite families of graphs whose blow-ups admit PST and PGST.
Packing a Degree Sequence Realization With A Graph
Two simple $n$-vertex graphs $G_{1}$ and $G_{2}$, with respective maximum degrees $Δ_{1}$ and $Δ_{2}$, are said to pack if $G_{1}$ is isomorphic to a subgraph of the complement of $G_{2}$. The BEC conjecture by Bollobás, Eldridge, and Catlin, states that if $(Δ_{1}+1)(Δ_{2}+1)\leq n+1$, then $G_{1}$ and $G_{2}$ pack. The BEC conjecture is true when $Δ_{1}=2$ and has been confirmed for a few other classes of graphs with various conditions on $Δ_{1}$, $Δ_{2}$, or $n$. We show that if \[(Δ_{1}+1)(Δ_{2}+1)\leq n+\min\{Δ_{1},Δ_{2}\},\] then there exists a simple graph with an identical degree sequence as $G_{1}$ that packs with $G_{2}$. However, except for a few cases, we show that this bound is not sharp. As a consequence of our work, we confirm the BEC conjecture if $G_{1}$ is the vertex disjoint union of a unigraph and a forest $F$ such that either $F$ has at least $Δ_{2}+1$ components or at most $2Δ_{2}-1$ edges.
A lower bound on the multicolor size-Ramsey numbers of paths in hypergraphs
The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich. In a recent breakthrough result, Letzter, Pokrovskiy, and Yepremyan gave a linear upper bound on the $r$-color size-Ramsey number of the $k$-uniform tight path $P_{n}^{(k)}$; i.e. $\hat{R}_r(P_{n}^{(k)})=O_{r,k}(n)$. Winter gave the first non-trivial lower bounds on the 2-color size-Ramsey number of $P_{n}^{(k)}$ for $k\geq 3$; i.e. $\hat{R}_2(P_{n}^{(3)})\geq \frac{8}{3}n-O(1)$ and $\hat{R}_2(P_{n}^{(k)})\geq \lceil\log_2(k+1)\rceil n-O_k(1)$ for $k\geq 4$.
We consider the problem of giving a lower bound on the $r$-color size-Ramsey number of $P_{n}^{(k)}$ (for fixed $k$ and growing $r$). Our main result is that $\hat{R}_r(P_n^{(k)})=Ω_k(r^kn)$ which generalizes the best known lower bound for graphs mentioned above. One of the key elements of our proof is a determination of the correct order of magnitude of the $r$-color size-Ramsey number of every sufficiently short tight path; i.e. $\hat{R}_r(P_{k+m}^{(k)})=Θ_k(r^m)$ for all $1\leq m\leq k$.
All of our results generalize to $\ell$-overlapping $k$-uniform paths $P_{n}^{(k, \ell)}$. In particular we note that when $1\leq \ell\leq \frac{k}{2}$, we have $Ω_k(r^{2}n)=\hat{R}_r(P_{n}^{(k, \ell)})=O((r^2\log r)n)$ which essentially matches the best known bounds for graphs mentioned above. Additionally, in the case $k=3$, $\ell=2$, and $r=2$, we give a more precise estimate which implies $\hat{R}_2(P^{(3)}_{n})\geq \frac{28}{9}n-O(1)$, improving on the above-mentioned lower bound of Winter in the case $k=3$.
The critical group of a combinatorial map
Motivated by the appearance of embeddings in the theory of chip firing and the critical group of a graph, we introduce a version of the critical group (or sandpile group) for combinatorial maps, that is, for graphs embedded in orientable surfaces. We provide several definitions of our critical group, by approaching it through analogues of the cycle-cocycle matrix, the Laplacian matrix, and as the group of critical states of a chip firing game (or sandpile model) on the edges of a map.
Our group can be regarded as a perturbation of the classical critical group of its underlying graph by topological information, and it agrees with the classical critical group in the plane case. Its cardinality is equal to the number of spanning quasi-trees in a connected map, just as the cardinality of the classical critical group is equal to the number of spanning trees of a connected graph.
Our approach exploits the properties of principally unimodular matrices and the methods of delta-matroid theory.
Gotta match 'em all: Solution diversification in graph matching matched filters
We present a novel approach for finding multiple noisily embedded template graphs in a very large background graph. Our method builds upon the graph-matching-matched-filter technique proposed in Sussman et al., with the discovery of multiple diverse matchings being achieved by iteratively penalizing a suitable node-pair similarity matrix in the matched filter algorithm. In addition, we propose algorithmic speed-ups that greatly enhance the scalability of our matched-filter approach. We present theoretical justification of our methodology in the setting of correlated Erdos-Renyi graphs, showing its ability to sequentially discover multiple templates under mild model conditions. We additionally demonstrate our method's utility via extensive experiments both using simulated models and real-world dataset, include human brain connectomes and a large transactional knowledge base.
Simonovits's theorem in random graphs
Let $H$ be a graph with $χ(H) = r+1$. Simonovits's theorem states that, if $H$ is edge-critical, the unique largest $H$-free subgraph of $K_n$ is its largest $r$-partite subgraph, provided that $n$ is sufficiently large. We show that the same holds with $K_n$ replaced by the binomial random graph $G_{n,p}$ whenever $H$ is also strictly $2$-balanced and $p \ge (θ_H+o(1)) n^{-\frac{1}{m_2(H)}} (\log n)^{\frac{1}{e_H-1}}$ for some explicit constant $θ_H$, which we believe to be optimal. This (partially) resolves a conjecture of DeMarco and Kahn.
On nonrepetitive colorings of paths and cycles
We say that a sequence $a_1 \cdots a_{2t}$ of integers is repetitive if $a_i = a_{i+t}$ for every $i\in\{1,\ldots,t\}$. A walk in a graph $G$ is a sequence $v_1 \cdots v_r$ of vertices of $G$ in which $v_iv_{i+1}\in E(G)$ for every $i\in\{1,\ldots,r-1\}$. Given a $k$-coloring $c\colon V(G)\to\{1,\ldots,k\}$ of $V(G)$, we say that $c$ is walk-nonrepetitive (resp. stroll-nonrepetitive) if for every $t\in\mathbb{N}$ and every walk $v_1\cdots v_{2t}$ the sequence $c(v_1) \cdots c(v_{2t})$ is not repetitive unless $v_i = v_{i+t}$ for every $i\in\{1,\ldots,t\}$ (resp. unless $v_i = v_{i+t}$ for some $i\in\{1,\ldots,t\}$). The walk (resp. stroll) chromatic number $σ(G)$ (resp. $ρ(G)$) of $G$ is the minimum $k$ for which $G$ has a walk-nonrepetitive (resp. stroll-nonrepetitive) $k$-coloring. Let $C_n$ and $P_n$ denote, respectively, the cycle and the path with $n$ vertices. In this paper we present three results that answer questions posed by Barát and Wood in 2008: (i) $σ(C_n) = 4$ whenever $n\geq 4$ and $n \notin\{5,7\}$; (ii) $ρ(P_n) = 3$ if $3\leq n\leq 21$ and $ρ(P_n) = 4$ otherwise; and (iii) $ρ(C_n) = 4$, whenever $n \notin\{3,4,6,8\}$, and $ρ(C_n) = 3$ otherwise. In particular, (ii) improves bounds on $n$ obtained by Tao in 2023.
Quantum-Informed Recursive Optimization Algorithms
Published
• View Publication
• BIB
We propose and implement a family of quantum-informed recursive optimization (QIRO) algorithms for combinatorial optimization problems. Our approach leverages quantum resources to obtain information that is used in problem-specific classical reduction steps that recursively simplify the problem. These reduction steps address the limitations of the quantum component and ensure solution feasibility in constrained optimization problems. Additionally, we use backtracking techniques to further improve the performance of the algorithm without increasing the requirements on the quantum hardware. We demonstrate the capabilities of our approach by informing QIRO with correlations from classical simulations of shallow (depth $p=1$) circuits of the quantum approximate optimization algorithm (QAOA), solving instances of maximum independent set and maximum satisfiability problems with hundreds of variables. We also demonstrate how QIRO can be deployed on a neutral atom quantum processor available online on Amazon Braket to find large independent sets of graphs. In summary, our scheme achieves results comparable to classical heuristics, such as simulated annealing and greedy algorithms, even with relatively weak quantum resources. Furthermore, enhancing the quality of these quantum resources improves the performance of the algorithms, highlighting the potential of QIRO. Notably, the modular nature of QIRO offers various avenues for modifications, positioning our work as a blueprint for designing a broader class of hybrid quantum-classical algorithms for combinatorial optimization.
Cubic graphs with colouring defect 3
The colouring defect of a cubic graph is the smallest number of edges left uncovered by any set of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, those that cannot be $3$-edge-coloured (that is, snarks) are known to have defect at least $3$. In this paper we focus on the structure and properties of snarks with defect $3$. For such snarks we develop a theory of reductions similar to standard reductions of short cycles and small cuts in general snarks. We prove that every snark with defect $3$ can be reduced to a snark with defect $3$ which is either nontrivial (cyclically $4$-edge-connected and of girth at least $5$) or to one that arises from a nontrivial snark of defect greater than $3$ by inflating a vertex lying on a suitable $5$-cycle to a triangle. The proofs rely on a detailed analysis of Fano flows associated with triples of perfect matchings leaving exactly three uncovered edges. In the final part of the paper we discuss application of our results to the conjectures of Berge and Fulkerson, which provide the main motivation for our research.
Linear-Sized Spectral Sparsifiers and the Kadison-Singer Problem
Published
• View Publication
• BIB
The Kadison-Singer Conjecture, as proved by Marcus, Spielman, and Srivastava (MSS) [Ann. Math. 182, 327-350 (2015)], has been informally thought of as a strengthening of Batson, Spielman, and Srivastava's theorem that every undirected graph has a linear-sized spectral sparsifier [SICOMP 41, 1704-1721 (2012)]. We formalize this intuition by using a corollary of the MSS result to derive the existence of spectral sparsifiers with a number of edges linear in their number of vertices for all undirected, weighted graphs. The proof consists of two steps. First, following a suggestion of Srivastava [Asia Pac. Math. Newsl. 3, 15-20 (2013)], we show the result in the special case of graphs with bounded leverage scores by repeatedly applying the MSS corollary to partition the graph, while maintaining an appropriate bound on the leverage scores of each subgraph. Then, we extend to the general case by constructing a recursive algorithm that repeatedly (i) divides edges with high leverage scores into multiple parallel edges and (ii) uses the bounded leverage score case to sparsify the resulting graph.
Obstruction characterization of co-TT graphs
Threshold tolerance graphs and their complement graphs, known as co-TT graphs, were introduced by Monma, Reed, and Trotter[24]. Building on this, Hell et al.[19] introduced the concept of negative interval. Then they proceeded to define signedinterval digraphs/ bigraphs, demonstrating their equivalence to several seemingly distinct classes of digraphs/ bigraphs. They also showed that co-TT graphs are equivalent to symmetric signed-interval digraphs, where some vertices of the digraphs have loops and others do not. We have showed that this actually solve the representation characterization problem of co-TT graphs posed by Monma, Reed and Trotter [24]. In this paper, we characterize signed-interval bigraphs and signed-interval graphs in terms of their biadjacency matrices and adjacency matrices, respectively. Moreover we emphasize on the geometric representation of signed-interval graphs, i.e. co-TT graphs. Finally, by utilizing the geometric representation of signed-interval graphs, we resolve the open problem of characterizing co-TT graphs in terms of minimal forbidden induced subgraphs, a problem initially posed by Monma, Reed, and Trotter in the same paper.
An interlacing property of the signless Laplacian of threshold graphs
We show that for threshold graphs, the eigenvalues of the signless Laplacian matrix interlace with the degrees of the vertices. As an application, we show that the signless Brouwer conjecture holds for threshold graphs, i.e., for threshold graphs the sum of the k largest eigenvalues is bounded by the number of edges plus k + 1 choose 2.
Some orientation theorems for restricted DP-colorings of graphs
Published in Discrete Mathematics, Volume 348, Issue 4, 2025
• View Publication
• BIB
We define $Z$-signable correspondence assignments on multigraphs, which generalize good correspondence assignments as introduced by Kaul and Mudrock. We introduce an auxiliary digraph that allows us to prove an Alon-Tarsi style theorem for DP-colorings from $Z$-signable correspondence assignments on multigraphs, and apply this theorem to obtain three DP-coloring analogs of the Alon-Tarsi theorem for arbitrary correspondence assignments as corollaries. We illustrate the use of these corollaries for DP-colorings on a restricted class of correspondence assignments on toroidal grids.