graph
34516 papers tagged with this keyword
Three observations on the Colin de Verdière spectral graph parameter
In this small note, we collect several observations pertaining to the famous spectral graph parameter $μ$ introduced in 1990 by Y. Colin de Verdière. This parameter is defined as the maximum corank among certain matrices akin to weighted Laplacians; we call them CdV matrices.
First, we answer negatively a question mentioned in passing in the influential 1996 survey on $μ$ by van der Holst, Lovász, and Schrijver concerning the Perron--Frobenious eigenvector of CdV matrices.
Second, by definition, CdV matrices posses certain transversality property. In some cases, this property is known to be satisfied automatically. We add one such case to the list.
Third, Y. Colin de Verdière conjectured an upper bound on $μ(G)$ for graphs embeddable into a fixed closed surface. Following a recent computer-verified counterexample to a continuous version of the conjecture by Fortier Bourque, Gruda-Mediavilla, Petri, and Pineault [arXiv:2312.03504], we also check using computer that the analogous example shows the failure of the conjectured upper bound on $μ(G)$ for graphs embeddable into 10-torus as well as to several other larger surfaces.
Pancyclicity of almost-planar graphs
A non-planar graph is almost-planar if either deleting or contracting any edge makes it planar. A graph with $n$ vertices is pancyclic if it contains a cycle of every length from $3$ to $n$, and it is Hamiltonian if it contains a cycle of length $n$. A Hamiltonian path is a path of length $n$ and a graph with a Hamiltonian path between every pair of vertices is called Hamiltonian-connected. In 1990, Gubser characterized the class of almost-planar graphs. This paper explores the pancyclicity of these graphs. We prove that a $3$-connected almost-planar graph is pancyclic if and only if it has a cycle of length 3. Furthermore, we prove that a 4-connected almost-planar graph is both pancyclic and Hamiltonian-connected.
Lines on digraphs of low diameter
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvtal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, it was conjectured in 2018 by Aboulker et al. that any large enough bridgeless graph on n vertices defines a metric space that has at least n lines. We study the natural extension of Aboulker et al.'s conjecture into the context of quasi-metric spaces defined by digraphs of low diameter. We prove that it is valid for quasi-metric spaces defined by bipartite digraphs of diameter at most three, oriented graphs of diameter two and, digraphs of diameter three and directed girth four.
The length polyhedron of an interval order
The length polyhedron $Q_P$ of an interval order $P$ is the convex hull of integral vectors representing the interval lengths in interval representations of $P$. This polyhedron has been studied by various authors, including Fishburn and Isaak. Notably, $Q_P$ forms a pointed affine cone, a property inherited from being a projection of the representation polyhedron, a structure explored also by Doignon and Pauwels. The apex of the length polyhedron corresponds to Greenough's minimal endpoint representation, which is, in fact, the length vector of the canonical interval representation -- an interval representation that minimizes the sum of the interval lengths.
Building on a combinatorial perspective of canonical representations, we refine Isaak's graph-theoretical model by introducing a new and simpler directed graph. From directed cycles of this key digraph, we extract a linear system of inequalities that precisely characterizes the length polyhedron $Q_P$. This combinatorial approach also reveals the unique Hilbert basis of the polyhedron. We prove that the intersection graph of the sets corresponding to these binary rays are Berge graphs; therefore they are perfect graphs. As a result, for interval orders with bounded width, the length polyhedron has a polynomial-sized Hilbert basis, which can be computed in polynomial time. We also provide an example of interval orders with a Hilbert basis of exponential size. In a companion paper we determine the Schrijver system for the length polyhedron. We conclude with open problems.
Product Structure and Tree-Decompositions
This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy.
In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor.
Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.
Upper bound for the number of maximal dissociation sets in trees
Let $G$ be a simple graph. A dissociation set of $G$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most 1. A dissociation set is maximal if it is not contained as a proper subset in any other dissociation set. We introduce the notation $Φ(G)$ to represent the number of maximal dissociation sets in $G$. This study focuses on trees, specifically showing that for any tree $T$ of order $n\geq4$, the following inequality holds:
\[Φ(T)\leq 3^{\frac{n-1}{3}}+\frac{n-1}{3}.\]
We also identify the extremal tree that attains this upper bound. Additionally, to establish the upper bound on the number of maximal dissociation sets in trees of order $n$, we also determine the second largest number of maximal dissociation sets in forests of order $n$.
On the Connectivity of Friends-and-strangers Graphs
Friends-and-strangers graphs, coined by Defant and Kravitz, are denoted by $\mathsf{FS}(X,Y)$ where $X$ and $Y$ are both graphs on $n$ vertices. The graph $X$ represents positions and edges mark adjacent positions while the graph $Y$ represents people and edges mark friendships. The vertex set of $\mathsf{FS}(X,Y)$ consists of all one-to-one placements of people on positions, and there is an edge between any two placements if it is possible to swap two people who are friends and on adjacent positions to get from one placement to the other. Previous papers have studied when $\mathsf{FS}(X,Y)$ is connected. In this paper, we consider when $\mathsf{FS}(X,Y)$ is $k$-connected where a graph is $k$-connected if it remains connected after removing any $k-1$ or less vertices. We first consider $\mathsf{FS}(X,Y)$ when $Y$ is a complete graph or star graph. We find tight bounds on their connectivity, proving their connectivity equals their minimum degree. We further consider the size of the connected components of $\mathsf{FS}(X,\mathsf{Star}_n)$ where $X$ is connected. We show that asymptotically similar conditions as the conditions mentioned by Bangachev are sufficient for $\mathsf{FS}(X,Y)$ to be $k$-connected. Finally, we consider when $X$ and $Y$ are independent Erdős--Rényi random graphs on $n$ vertices and edge probability $p_1$ and $p_2,$ respectively. We show that for $p_0 = n^{-1/2+o(1)},$ if $p_1p_2\geq p_0^2$ and $p_1,$ $p_2 \geq w(n) p_0$ where $w(n) \rightarrow 0$ as $n \rightarrow \infty,$ then $\mathsf{FS}(X,Y)$ is $k$-connected with high probability. This is asymptotically tight as we show that below an asymptotically similar threshold $p_0'=n^{-1/2+o(1)}$, the graph $\mathsf{FS}(X,Y)$ is disconnected with high probability if $p_1p_2 \leq (p_0')^2$.
A study on token digraphs
For a digraph $D$ of order $n$ and an integer $1 \leq k \leq n-1$, the $k$-token digraph of $D$ is the graph whose vertices are all $k$-subsets of vertices of $D$ and, given two such $k$-subsets $A$ and $B$, $(A,B)$ is an arc in the $k$-token digraph whenever $\{a\} = A \setminus B$, $\{b\} = B \setminus A$, and there is an arc $(a,b)$ in $D$. Token digraphs are a generalization of token graphs. In this paper, we study some properties of token digraphs, including strong and unilateral connectivity, kernels, girth, circumference and Eulerianity. We also extend some known results on the clique and chromatic numbers of $k$-token graphs, addressing the bidirected clique number and dichromatic number of $k$-token digraphs. Additionally, we prove that determining whether $2$-token digraphs have a kernel is NP-complete.
A Short Note on Relevant Cuts
The set of relevant cuts in a graph is the union of all minimum weight bases of the cut space. A cut is relevant if and only if it is the a minimum weight cut between two distinct vertices.
Paths and Intersections: Characterization of Quasi-metrics in Directed Okamura-Seymour Instances
We study the following distance realization problem. Given a quasi-metric $D$ on a set $T$ of terminals, does there exist a directed Okamura-Seymour graph that realizes $D$ as the (directed) shortest-path distance metric on $T$? We show that, if we are further given the circular ordering of terminals lying on the boundary, then Monge property is a sufficient and necessary condition. This generalizes previous results for undirected Okamura-Seymour instances.
With the circular ordering, we give a greedy algorithm for constructing a directed Okamura-Seymour instance that realizes the input quasi-metric. The algorithm takes the dual perspective concerning flows and routings, and is based on a new way of analyzing graph structures, by viewing graphs as \emph{paths and their intersections}. We believe this new understanding is of independent interest and will prove useful in other problems in graph theory and graph algorithms.
We also design an efficient algorithm for finding such a circular ordering that makes $D$ satisfy Monge property, if one exists. Combined with our result above, this gives an efficient algorithm for the distance realization problem.
Treewidth, Hadwiger Number, and Induced Minors
Treewidth and Hadwiger number are two of the most important parameters in structural graph theory.
This paper studies graph classes in which large treewidth implies the existence of a large complete graph minor.
To formalise this, we say that a graph class $\mathcal{G}$ is (tw,had)-bounded if there is a function $f$ (called the (tw,had)-bounding function) such that tw$(G)$ $\leq$ $f$(had$(G)$) for every graph $G \in \mathcal{G}$.
We characterise (tw,had)-bounded graph classes as those that exclude some planar graph as an induced minor, and use this characterisation to show that every proper vertex-minor-closed class is (tw,had)-bounded. Furthermore, we demonstrate that any (tw,had)-bounded graph class has a (tw,had)-bounding function in O(had$(G)^9$polylog(had$(G)$)). Our bound comes from the bound for the Grid Minor Theorem given by Chuzhoy and Tan, and any quantitative improvement to their result will lead directly to an improvement to our result.
More strongly, we conjecture that every (tw,had)-bounded graph class has a linear (tw,had)-bounding function.
In support of this conjecture, we show that it holds for the class of outer-string graphs, and for a natural generalisation of outer-string graphs: intersection graphs of strings rooted at the boundary of a fixed surface. We also verify our conjecture for low-rank perturbations of circle graphs, which is an important step towards verifying it for all proper vertex-minor-closed classes.
Some open mathematical problems on fullerenes
Fullerenes are hollow carbon molecules where each atom is connected to exactly three other atoms, arranged in pentagonal and hexagonal rings. Mathematically, they can be combinatorially modeled as planar, 3-regular graphs with facets composed only of pentagons and hexagons. In this work, we outline a few of the many open questions about fullerenes, beginning with the problem of generating fullerenes randomly. We then introduce an infinite family of fullerenes on which the generalized Stone-Wales operation is inapplicable. Furthermore, we present numerical insights on a graph invariant, called \textit{character} of a fullerene, derived from its adjacency and degree matrices. This descriptor may lead to a new method for linear enumeration of all fullerenes.
Distance cube polynomials of Fibonacci and Lucas-run graphs
The Fibonacci-run graphs $\mathcal{R}_n$ are a family of an induced subgraph of hypercubes introduced by Eğecioğlu and Iršič in 2021.
A cyclic version of $\mathcal{R}_n$, the Lucas-run graph $\mathcal{R}_n^l$, was also recently proposed (Jianxin Wei, 2024). We prove that the generating function previously given for the polynomial $D_{\mathcal{R}_n}(x,q)$ which counts the number of hypercubes at a given distance in $\mathcal{R}_n$ was erroneous and determine its correct expression. We also consider Lucas-run graphs and prove the conjecture proposed by Jianxin Wei establishing the link between cube polynomials of $\mathcal{R}_n^l$ and $\mathcal{R}_n$.
On combinatorial descriptions of faces of the cone of supermodular functions
Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.
Graphs with span 1 and shortest optimal walks
Published
• View Publication
• BIB
A span of a given graph $G$ is the maximum distance that two players can keep at all times while visiting all vertices (edges) of $G$ and moving according to certain rules, that produce different variants of span. We prove that the vertex and edge span of the same variant can differ by at most 1 and present a graph where the difference is exactly 1. For all variants of vertex span we present a lower bound in terms of the girth of the graph. Then we study graphs with the strong vertex span equal to 1. We present some nice properties of such graphs and show that interval graphs are contained in the class of graphs having the strong vertex span equal to 1. Finally, we present an algorithm that returns the minimum number of moves needed such that both players traverse all vertices of the given graph $G$ such that in each move the distance between players equals at least the chosen span of $G$.
On upper domatic number of graphs
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called an \emph{upper domatic partition} of size $k$ if either $V_i$ dominates $V_j$ or $V_j$ dominates $V_i$ or both for all $i, j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called the \emph{upper domatic number} of $G$, and it is denoted by $D(G)$. The \textsc{Maximum upper domatic number Problem} involves finding an upper domatic partition of a given graph with the maximum number of parts. It was known that the maximum upper domatic problem can be solved in linear time for trees. In this paper, we prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. Moreover, we show that this problem can be solved in polynomial time for unicyclic graphs. Finally, we partially solve a conjecture regarding the sink set posed by Haynes et al. [The upper domatic number of a graph, \emph{AKCE Int. J. Graphs Comb.}, 17, 2020].
Some Results on Local Distance Antimagic Chromatic Number of Graphs
Let G=(V,E) be a graph of order n without isolated vertices. A bijection f:V -- {1,2,...n} is called a local distance antimagic labeling if the weights of any two adjacent vertices are not equal, where the weight of a vertex is defined to be the sum of labels of adjacent vertices. The local distance antimagic chromatic number is defined to be the minimum number of colors taken over all colorings of G induced by local distance antimagic labelings of G. In this paper, we study the local distance antimagic chromatic number for the join of graphs and the lexicographic product of graphs with empty graphs.
Ramsey Goodness of paths and unbalanced graphs
Given graphs $G$ and $H$, we say that $G$ is $H$-$good$ if the Ramsey number $R(G,H)$ equals the trivial lower bound $(|G| - 1)(χ(H) - 1) + σ(H)$, where $χ(H)$ denotes the usual chromatic number of $H$, and $σ(H)$ denotes the minimum size of a color class in a $χ(H)$-coloring of $H$. Pokrovskiy and Sudakov [Ramsey goodness of paths. Journal of Combinatorial Theory, Series B, 122:384-390, 2017.] proved that $P_n$ is $H$-good whenever $n\geq 4|H|$. In this paper, given $\varepsilon>0$, we show that if $H$ satisfy a special unbalance condition, then $P_n$ is $H$-good whenever $n \geq (2 + \varepsilon)|H|$. More specifically, we show that if $m_1,\ldots, m_k$ are such that $\varepsilon\cdot m_i \geq 2m_{i-1}^2$ for $2\leq i\leq k$, and $n \geq (2 + \varepsilon)(m_1 + \cdots + m_k)$, then $P_n$ is $K_{m_1,\ldots,m_k}$-good.
Counting independent sets in regular graphs with bounded independence number
An $n$-vertex, $d$-regular graph can have at most $2^{n/2+o_d(n)}$ independent sets. In this paper we address what happens with this upper bound when we impose the further condition that the graph has independence number at most $α$.
We give upper and lower bounds that in many cases are close to each other. In particular, for each $0 < c_{\rm ind} \leq 1/2$ we exhibit a constant $k(c_{\rm ind})$ such that if $(G_n)_{n \in {\mathbb N}}$ is a sequence of graphs with $G_n$ $d$-regular on $n$ vertices and with maximum independent set size at most $α$, with $d\rightarrow \infty$ and $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$, then $G_n$ has at most $k(c_{\rm ind})^{n+o(n)}$ independent sets, and we show that there is a sequence $(G_n)_{n \in {\mathbb N}}$ of graphs with $G_n$ $d$-regular on $n$ vertices ($d \leq n/2$) and with maximum independent set size at most $α$, with $α/n \rightarrow c_{\rm ind}$ as $n \rightarrow \infty$ and with $G_n$ having at least $k(c_{\rm ind})^{n+o(n)}$ independent sets. We also consider the regime $1/2 < c_{\rm ind} < 1$. Here for each $0 < c_{\rm deg} \leq 1-c_{\rm ind}$ we exhibit a constant $k(c_{\rm ind},c_{\rm deg})$ for which an analogous pair of statements can be proven, except that in each case we add the condition $d/n \rightarrow c_{\rm deg}$ as $n \rightarrow \infty$.
Our upper bounds are based on graph container arguments, while our lower bounds are constructive.
Two-edge-connected (not necessarily spanning) subgraphs and polyhedra
Given a graph $G$, we study the $2$-edge-connected subgraph polytope $\mathrm{TECSP}(G)$, which is given by the convex hull of the incidence vectors of all $2$-edge-connected subgraphs of $G$. We describe the lattice points of this polytope by linear inequalities which provides an ILP-algorithm for finding a $2$-edge-connected subgraph of maximum weight. Furthermore, we characterize when these inequalities define facets of $\mathrm{TECSP}(G)$. We also consider further types of supporting hyperplanes of $\mathrm{TECSP}(G)$ and study when they are facet-defining. Finally, we investigate the efficiency of our considered inequalities practically on some classes of graphs.