graph
34604 papers tagged with this keyword
Erdős-Gyárfás Conjecture for $P_8$-free graphs
Published
• View Publication
• BIB
A graph is $P_8$-free if it contains no induced subgraph isomorphic to the path $P_8$ on eight vertices. In 1995, Erdős and Gyárfás conjectured that every graph of minimum degree at least three contains a cycle whose length is a power of two. In this paper, we confirm the conjecture for $P_8$-free graphs by showing that there exists a cycle of length four or eight in every $P_8$-free graph with minimum degree at least three.
Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth
Published in Advances in Combinatorics, 2022:6, 29pp
• View Publication
• BIB
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)-free graph $G$ has treewidth at most $c\log (|V(G)|)$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth.
Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $|V(G)|$ for every graph $G$ excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.
Bipartite-ness under smooth conditions
Published
• View Publication
• BIB
Given a family $\mathcal{F}$ of bipartite graphs, the {\it Zarankiewicz number} $z(m,n,\mathcal{F})$ is the maximum number of edges in an $m$ by $n$ bipartite graph $G$ that does not contain any member of $\mathcal{F}$ as a subgraph (such $G$ is called {\it $\mathcal{F}$-free}). For $1\leq β<α<2$, a family $\mathcal{F}$ of bipartite graphs is $(α,β)$-{\it smooth} if for some $ρ>0$ and every $m\leq n$, $z(m,n,\mathcal{F})=ρm n^{α-1}+O(n^β)$. Motivated by their work on a conjecture of Erdős and Simonovits on compactness and a classic result of Andrásfai, Erdős and Sós, in \cite{AKSV} Allen, Keevash, Sudakov and Verstraëte proved that for any $(α,β)$-smooth family $\mathcal{F}$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $ρ(\frac{2n}{5}+o(n))^{α-1}$ is bipartite.
In this paper, we strengthen their result by showing that for every real $δ>0$, there exists $k_0$ such that for all odd $k\geq k_0$ and sufficiently large $n$, any $n$-vertex $\mathcal{F}\cup\{C_k\}$-free graph with minimum degree at least $δn^{α-1}$ is bipartite. Furthermore, our result holds under a more relaxed notion of smoothness, which include the families $\mathcal{F}$ consisting of the single graph $K_{s,t}$ when $t\gg s$. We also prove an analogous result for $C_{2\ell}$-free graphs for every $\ell\geq 2$, which complements a result of Keevash, Sudakov and Verstraëte in \cite{KSV}.
Forest formulas of discrete Green's functions
Published in Journal of Graph Theory 102 (2023), 556-577
• View Publication
• BIB
The discrete Green's functions are the pseudoinverse (or the inverse) of the Laplacian (or its variations) of a graph. In this paper, we will give combinatorial interpretations of Green's functions in terms of enumerating trees and forests in a graph that will be used to derive further formulas for several graph invariants. For example, we show that the trace of the Green's function $\mathbf{G}$ associated with the combinatorial Laplacian of a connected simple graph $Γ$ on $n$ vertices satisfies $\text{Tr}(\mathbf{G})=\sum_{λ_i \neq 0} \frac 1 {λ_i}= \frac{1}{nτ}|\mathbb{F}^*_2|$, where $λ_i$ denotes the eigenvalues of the combinatorial Laplacian, $τ$ denotes the number of spanning trees and $\mathbb{F}^*_2$ denotes the set of rooted spanning $2$-forests in $Γ$. We will prove forest formulas for discrete Green's functions for directed and weighted graphs and apply them to study random walks on graphs and digraphs. We derive a forest expression of the hitting time for digraphs, which gives combinatorial proofs to old and new results about hitting times, traces of discrete Green's functions, and other related quantities.
Coordinating drones with mothership vehicles: The mothership and multiple drones routing problem with Graphs
Published
• View Publication
• BIB
This paper considers the optimization problems that arise to coordinate a tandem between a mothership vehicle and a fleet of drones. %more than one drone. Each drone can be launched from the mothership to perform an operation. After completing the operations the drones return to the mothership to recharge batteries and to be ready for a new operation. Operations consist on (partially) visiting graphs with given lengths to deliver some service or to perform some surveillance/inspection activity. The goal is to minimize the overall weighted distance traveled by the mothership while satisfying some requirements in terms of percentages of visits to the target graphs. In all cases, we develop exact formulations resorting to mixed integer second order cone programs that are compared on a testbed of instances to assess their performance. We also develop a matheuristic algorithm that provides reasonable solutions. Computational experiments show the usefulness of our methods in different scenarios.
Extremal problems of double stars
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (April 20, 2023) dmtcs:8499
• View Publication
• BIB
In a generalized Turán problem, two graphs $H$ and $F$ are given and the question is the maximum number of copies of $H$ in an $F$-free graph of order $n$. In this paper, we study the number of double stars $S_{k,l}$ in triangle-free graphs. We also study an opposite version of this question: what is the maximum number edges/triangles in graphs with double star type restrictions, which leads us to study two questions related to the extremal number of triangles or edges in graphs with degree-sum constraints over adjacent or non-adjacent vertices.
Ramsey Numbers of Trails
Published
• View Publication
• BIB
We initiate the study of Ramsey numbers of trails. Let $k \geq 2$ be a positive integer. The Ramsey number of trails with $k$ vertices is defined as the the smallest number $n$ such that for every graph $H$ with $n$ vertices, $H$ or the complete $\overline{H}$ contains a trail with $k$ vertices. We prove that the Ramsey number of trails with $k$ vertices is at most $k$ and at least $2\sqrt{k}+Θ(1)$. This improves the trivial upper bound of $\lfloor 3k/2\rfloor -1$.
On the chromatic number in the stochastic block model
Published
• View Publication
• BIB
We prove a generalisation of Bollobás' classical result on the asymptotics of the chromatic number of the binomial random graph to the stochastic block model. In addition, by allowing the number of blocks to grow, we determine the chromatic number in the Chung-Lu model. Our approach is based on the estimates for the weighted independence number, where weights are specifically designed to encapsulate inhomogeneities of the random graph.
The fractional chromatic number of double cones over graphs
Published
• View Publication
• BIB
Assume $n, m$ are positive integers and $G$ is a graph. Let $P_{n,m}$ be the graph obtained from the path with vertices $\{-m, -(m-1), \ldots, 0, \ldots, n\}$ by adding a loop at vertex $ 0$. The double cone $Δ_{n,m}(G)$ over a graph $G$ is obtained from the direct product $G \times P_{n,m}$ by identifying $V(G) \times \{n\}$ into a single vertex $(\star, n)$, identifying $V(G) \times \{-m\}$ into a single vertex $(\star, -m)$, and adding an edge connecting $(\star, -m)$ and $(\star, n)$. This paper determines the fractional chromatic number of $Δ_{n,m}(G)$. In particular, if $n < m$ or $n=m$ is even, then $χ_f(Δ_{n,m}(G)) = χ_f(Δ_n(G))$, where $Δ_n(G)$ is the $n$th cone over $G$. If $n=m$ is odd, then $χ_f(Δ_{n,m}(G)) > χ_f(Δ_n(G))$. The chromatic number of $Δ_{n,m}(G)$ is also discussed.
Girth and $λ$-choosability of graphs
Published
• View Publication
• BIB
Assume $ k $ is a positive integer, $ λ=\{k_1,k_2,...,k_q\} $ is a partition of $ k $ and $ G $ is a graph. A $λ$-assignment of $ G $ is a $ k $-assignment $ L $ of $ G $ such that the colour set $ \bigcup_{v\in V(G)} L(v) $ can be partitioned into $ q $ subsets $ C_1\cup C_2\cup\cdots\cup C_q $ and for each vertex $ v $ of $ G $, $ |L(v)\cap C_i|=k_i $. We say $ G $ is $λ$-choosable if for each $λ$-assignment $ L $ of $ G $, $ G $ is $ L $-colourable. In particular, if $ λ=\{k\} $, then $λ$-choosable is the same as $ k $-choosable, if $ λ=\{1, 1,...,1\} $, then $λ$-choosable is equivalent to $ k $-colourable. For the other partitions of $ k $ sandwiched between $ \{k\} $ and $ \{1, 1,...,1\} $ in terms of refinements, $λ$-choosability reveals a complex hierarchy of colourability of graphs.
Assume $λ=\{k_1, \ldots, k_q\} $ is a partition of $ k $ and $λ' $ is a partition of $ k'\ge k $. We write $ λ\le λ' $ if there is a partition $λ''=\{k''_1, \ldots, k''_q\}$ of $k'$ with $k''_i \ge k_i$ for $i=1,2,\ldots, q$ and
$λ'$ is a refinement of $λ''$. It follows from the definition that if $ λ\le λ' $, then every $λ$-choosable graph is $λ'$-choosable. It was proved in [X. Zhu, A refinement of choosability of graphs, J. Combin. Theory, Ser. B 141 (2020) 143 - 164] that the converse is also true. This paper strengthens this result and proves that for any $ λ\not\le λ' $, for any integer $g$, there exists a graph of girth at least $g$ which is $λ$-choosable but not $λ'$-choosable.
Dense Eulerian graphs are $(1, 3)$-choosable
Published
• View Publication
• BIB
A graph $G$ is total weight $(k,k')$-choosable if for any total list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ real numbers, and each edge $e$ a set $L(e)$ of $k'$ real numbers, there is a proper total $L$-weighting, i.e., a mapping $f: V(G) \cup E(G) \to \mathbb{R}$ such that for each $z \in V(G) \cup E(G)$, $f(z) \in L(z)$, and for each edge $uv$ of $G$, $\sum_{e \in E(u)}f(e)+f(u) \ne \sum_{e \in E(v)}f(e) + f(v)$. This paper proves that if $G$ decomposes into complete graphs of odd order, then $G$ is total weight $(1,3)$-choosable. As a consequence, every Eulerian graph $G$ of large order and with minimum degree at least $0.91|V(G)|$ is total weight $(1,3)$-choosable. We also prove that any graph $G$ with minimum degree at least $0.999|V(G)|$ is total weight $(1,4)$-choosable.
The Optimization of Signed Trees
A signed graph $G$ is a graph where each edge is assigned a + (positive edge) or a - (negative edge). The signed degree of a vertex $v$ in a signed graph, denoted by $sdeg(v)$, is the number of positive edges incident to $v$ subtracted by the number of negative edges incident to $v$. Finally, we say $G$ realizes the set $D$ if: $$ D = \{sdeg(v) \text{ : } v\in V(G) \}. $$ The topic of signed degree sets and signed degree sequences has been studied from many directions. In this paper, we study properties needed for signed trees to have a given signed degree set. We start by proving that $D$ is the signed degree set of a tree if and only if $1\in D$ or $-1\in D$. Further, for every valid set $D$, we find the smallest diameter that a tree must have to realize $D$. Lastly, for valid sets $D$ with nonnegative numbers, we find the smallest order that a tree must have to realize $D$.
Triconed Graphs, weighted forests, and h-vectors of matroid complexes
A well-known conjecture of Stanley is that the h-vector of a matroid is a pure O-sequence. There have been numerous papers with partial progress on this conjecture, but it is still wide open. In particular, for graphic matroids coming from taking the spanning trees of a graph as bases, the conjecture is mostly unsolved. In graph theory, a set of vertices is called dominating if every other vertex is adjacent to some vertex inside the chosen set. Kook proved Stanley's conjecture for coned graphs, which is the class of graphs that are dominated by a single vertex. Cranford et al extended that result to biconed graphs, which is the class of graphs dominated by a single edge. In this paper we extend that result to triconed graphs, the class of graphs dominated by a path of length 2.
Linear cover time is exponentially unlikely
Published
• View Publication
• BIB
Proving a 2009 conjecture of Itai Benjamini, we show: For any C there is an $\varepsilon>0$ such that for any simple graph $G$ on $V$ of size $n$, and $X_0,\ldots$ an ordinary random walk on $G$, $P(\{X_0,\dots, X_{Cn}\}= V) < e^{-\varepsilon n}.$ A first ingredient in the proof of this is a similar statement for Markov chains in which all transition probabilities are sufficiently small relative to $C$.
Universality in minor-closed graph classes
Stanislaw Ulam asked whether there exists a universal countable planar graph (that is, a countable planar graph that contains every countable planar graph as a subgraph). János Pach (1981) answered this question in the negative. We strengthen this result by showing that every countable graph that contains all countable planar graphs must contain (i) an infinite complete graph as a minor, and (ii) a subdivision of the complete graph $K_t$ with multiplicity $t$, for every finite $t$.
On the other hand, we construct a countable graph that contains all countable planar graphs and has several key properties such as linear colouring numbers, linear expansion, and every finite $n$-vertex subgraph has a balanced separator of size $O(\sqrt{n})$. The graph is $\mathcal{T}_6\boxtimes P_{\!\infty}$, where $\mathcal{T}_k$ is the universal treewidth-$k$ countable graph (which we define explicitly), $P_{\!\infty}$ is the 1-way infinite path, and $\boxtimes$ denotes the strong product. More generally, for every positive integer $t$ we construct a countable graph that contains every countable $K_t$-minor-free graph and has the above key properties.
Our final contribution is a construction of a countable graph that contains every countable $K_t$-minor-free graph as an induced subgraph, has linear colouring numbers and linear expansion, and contains no subdivision of the countably infinite complete graph (implying (ii) above is best possible).
Graph Automorphism Shuffles from Pile-Scramble Shuffles
Published
• View Publication
• BIB
A pile-scramble shuffle is one of the most effective shuffles in card-based cryptography. Indeed, many card-based protocols are constructed from pile-scramble shuffles. This article aims to study the power of pile-scramble shuffles. In particular, for any directed graph $G$, we introduce a new protocol called "a graph shuffle protocol for $G$", and show that it can be implemented by using pile-scramble shuffles only. Our proposed protocol requires $2(n+m)$ cards, where $n$ and $m$ are the numbers of vertices and edges of $G$, respectively. The number of pile-scramble shuffles is $k+1$, where $1 \leq k \leq n$ is the number of distinct degrees of vertices of $G$. As an application, a random cut for $n$ cards, which is also an important shuffle, can be realized by $3n$ cards and two pile-scramble shuffles.
On the size of special class 1 graphs and $(P_3; k)$-co-critical graphs
Published
• View Publication
• BIB
A well-known theorem of Vizing states that if $G$ is a simple graph with maximum degree $Δ$, then the chromatic index $χ'(G)$ of $G$ is $Δ$ or $Δ+1$. A graph $G$ is class 1 if $χ'(G)=Δ$, and class 2 if $χ'(G)=Δ+1$; $G$ is $Δ$-critical if it is connected, class 2 and $χ'(G-e)<χ'(G)$ for every $e\in E(G)$. A long-standing conjecture of Vizing from 1968 states that every $Δ$-critical graph on $n$ vertices has at least $(n(Δ-1)+ 3)/2$ edges. We initiate the study of determining the minimum number of edges of class 1 graphs $G$, in addition, $χ'(G+e)=χ'(G)+1$ for every $e\in E(\overline{G})$. Such graphs have intimate relation to $(P_3; k)$-co-critical graphs, where a non-complete graph $G$ is $(P_3; k)$-co-critical if there exists a $k$-coloring of $E(G)$ such that $G$ does not contain a monochromatic copy of $P_3$ but every $k$-coloring of $E(G+e)$ contains a monochromatic copy of $P_3$ for every $e\in E(\overline{G})$. We use the bound on the size of the aforementioned class 1 graphs to study the minimum number of edges over all $(P_3; k)$-co-critical graphs. We prove that if $G$ is a $(P_3; k)$-co-critical graph on $n\ge k+2$ vertices, then \[e(G)\ge {k \over 2}\left(n- \left\lceil {k \over 2} \right\rceil - \varepsilon\right) + {\lceil k/2 \rceil+\varepsilon \choose 2},\] where $\varepsilon$ is the remainder of $n-\lceil k/2 \rceil $ when divided by $2$. This bound is best possible for all $k \ge 1$ and $n \ge \left\lceil {3k /2} \right\rceil +2$.
Non-Binary Diameter Perfect Constant-Weight Codes
Published
• View Publication
• BIB
Diameter perfect codes form a natural generalization for perfect codes. They are based on the code-anticode bound which generalizes the sphere-packing bound. The code-anticode bound was proved by Delsarte for distance-regular graphs and it holds for some other metrics too. In this paper we prove the bound for non-binary constant-weight codes with the Hamming metric and characterize the diameter perfect codes and the maximum size anticodes for these codes. We distinguish between six families of non-binary diameter constant-weight codes and four families of maximum size non-binary constant-weight anticodes. Each one of these families of diameter perfect codes raises some different questions. We consider some of these questions and leave lot of ground for further research. Finally, as a consequence, some t-intersecting families related to the well-known Erdös-Ko-Rado theorem, are constructed.
Minimal induced subgraphs of two classes of 2-connected non-Hamiltonian graphs
Published in Discrete Mathematics, Volume 345, Issue 7, July 2022, 112869
• View Publication
• BIB
In 1981, Duffus, Gould, and Jacobson showed that every connected graph either has a Hamiltonian path, or contains a claw ($K_{1,3}$) or a net (a fixed six-vertex graph) as an induced subgraph. This implies that subject to being connected, these two are the only minimal (under taking induced subgraphs) graphs with no Hamiltonian path.
Brousek (1998) characterized the minimal graphs that are $2$-connected, non-Hamiltonian and do not contain the claw as an induced subgraph. We characterize the minimal graphs that are $2$-connected and non-Hamiltonian for two classes of graphs: (1) split graphs, (2) triangle-free graphs. We remark that testing for Hamiltonicity is NP-hard in both of these classes.
An Exploration of the Symmetry Groups of Certain Configurations of Points
We start by introducing the basics of configurations of points and lines, and then move into discussing symmetry groups of these configurations. Specifically, we explore how we might classify the symmetries of $(9_3)$ and $(10_3)$ geometric configurations, given the graph automorphisms of their underlying set-configurations. Finally, we show how a specific class of combinatorial configurations called generalized cyclic configurations can be explored using this terminology, and give several interesting geometric results.