graph
35299 papers tagged with this keyword
Sufficient conditions for $k$-factors and spanning trees of graphs
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
On a question of Matt Baker regarding the dollar game
In an introductory paper on dollar game played on a graph, Matt Baker wrote the following: ``The total number of borrowing moves required to win the game when playing the 'borrowing binge strategy' is independent of which borrowing moves you do in which order! Note, however, that it is usually possible to win in fewer moves by employing lending moves in combination with borrowing moves. The optimal strategy when one uses both kinds of moves is not yet understood.''
In this article, we give a lower bound on the minimum number $ M_{\text{min}} $ of such moves of an optimal algorithm in terms of the number of moves $ M_0 $ of the borrowing binge strategy. Concretely, we have: $ M_{\text{min}} \geq \frac{M_0}{n-1} $ where $ n $ is the number of vertices of the graph. This bound is tight.
Decreasing the mean subtree order by adding $k$ edges
Published
• View Publication
• BIB
The mean subtree order of a given graph $G$, denoted $μ(G)$, is the average number of vertices in a subtree of $G$. Let $G$ be a connected graph. Chin, Gordon, MacPhee, and Vincent [J. Graph Theory, 89(4): 413-438, 2018] conjectured that if $H$ is a proper spanning supergraph of $G$, then $μ(H) > μ(G)$. Cameron and Mol [J. Graph Theory, 96(3): 403-413, 2021] disproved this conjecture by showing that there are infinitely many pairs of graphs $H$ and $G$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)|= |E(G)|+1$ such that $μ(H) < μ(G)$. They also conjectured that for every positive integer $k$, there exists a pair of graphs $G$ and $H$ with $H\supset G$, $V(H)=V(G)$ and $|E(H)| = |E(G)| +k$ such that $μ(H) < μ(G)$. Furthermore, they proposed that $μ(K_m+nK_1) < μ(K_{m, n})$ provided $n\gg m$. In this note, we confirm these two conjectures.
On self-duality and unigraphicity for $3$-polytopes
Published
• View Publication
• BIB
Recent literature posed the problem of characterising the graph degree sequences with exactly one $3$-polytopal (i.e. planar, $3$-connected) realisation. This seems to be a difficult problem in full generality. In this paper, we characterise the sequences with exactly one self-dual $3$-polytopal realisation.
An algorithm in the literature constructs a self-dual $3$-polytope for any admissible degree sequence. To do so, it performs operations on the radial graph, so that the corresponding $3$-polytope and its dual are modified in exactly the same way. To settle our question and construct the relevant graphs, we apply this algorithm, we introduce some modifications of it, and we also devise new ones. The speed of these algorithms is linear in the graph order.
Tree-like graphings, wallings, and median graphings of equivalence relations
Published in Forum of Mathematics, Sigma 13 (2025) e64
• View Publication
• BIB
We prove several results showing that every locally finite Borel graph whose large-scale geometry is "tree-like" induces a treeable equivalence relation. In particular, our hypotheses hold if each component of the original graph either has bounded tree-width or is quasi-isometric to a tree, answering a question of Tucker-Drob. In the latter case, we moreover show that there exists a Borel quasi-isometry to a Borel forest, under the additional assumption of (componentwise) bounded degree. We also extend these results on quasi-treeings to Borel proper metric spaces. In fact, our most general result shows treeability of countable Borel equivalence relations equipped with an abstract wallspace structure on each class obeying some local finiteness conditions, which we call a proper walling. The proof is based on the Stone duality between proper wallings and median graphs, i.e., CAT(0) cube complexes. Finally, we strengthen the conclusion of treeability in these results to hyperfiniteness in the case where the original graph has one (selected) end per component, generalizing the same result for trees due to Dougherty--Jackson--Kechris.
Cohen-Macaulay oriented graphs with large girth
Published
• View Publication
• BIB
We classify the Cohen-Macaulay weighted oriented graphs whose underlying graphs have girth at least $5$.
Cliquewidth and dimension
Published
• View Publication
• BIB
We prove that every poset with bounded cliquewidth and with sufficiently large dimension contains the standard example of dimension $k$ as a subposet. This applies in particular to posets whose cover graphs have bounded treewidth, as the cliquewidth of a poset is bounded in terms of the treewidth of the cover graph. For the latter posets, we prove a stronger statement: every such poset with sufficiently large dimension contains the Kelly example of dimension $k$ as a subposet. Using this result, we obtain a full characterization of the minor-closed graph classes $\mathcal{C}$ such that posets with cover graphs in $\mathcal{C}$ have bounded dimension: they are exactly the classes excluding the cover graph of some Kelly example. Finally, we consider a variant of poset dimension called Boolean dimension, and we prove that posets with bounded cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization theorem, which is a fundamental tool in formal language and automata theory, and which we believe deserves a wider recognition in structural and algorithmic graph theory.