graph
34726 papers tagged with this keyword
The Hopf monoid and the basic invariant of directed graphs
Aguiar and Ardila defined the Hopf monoid GP of generalized permutahedra and showed that it contains many submonoids that correspond to combinatorial objects. They also give a basic polynomial invariant of generalized permutahedra, which then specializes to the submonoids. We define the Hopf monoid of directed graphs and show that it also embeds in GP. The resulting basic invariant coincides with the strict chromatic polynomial of Awan and Bernardi.
Reducing Path TSP to TSP
Published
• View Publication
• BIB
We present a black-box reduction from the path version of the Traveling Salesman Problem (Path TSP) to the classical tour version (TSP). More precisely, we show that given an $α$-approximation algorithm for TSP, then, for any $ε>0$, there is an $(α+ε)$-approximation algorithm for the more general Path TSP. This reduction implies that the approximability of Path TSP is the same as for TSP, up to an arbitrarily small error. This avoids future discrepancies between the best known approximation factors achievable for these two problems, as they have existed until very recently.
A well-studied special case of TSP, Graph TSP, asks for tours in unit-weight graphs. Our reduction shows that any $α$-approximation algorithm for Graph TSP implies an $(α+ε)$-approximation algorithm for its path version. By applying our reduction to the $1.4$-approximation algorithm for Graph TSP by Sebő and Vygen, we obtain a polynomial-time $(1.4+ε)$-approximation algorithm for Graph Path TSP, improving on a recent $1.497$-approximation algorithm of Traub and Vygen.
We obtain our results through a variety of new techniques, including a novel way to set up a recursive dynamic program to guess significant parts of an optimal solution. At the core of our dynamic program we deal with instances of a new generalization of (Path) TSP which combines parity constraints with certain connectivity requirements. This problem, which we call $Φ$-TSP, has a constant-factor approximation algorithm and can be reduced to TSP in certain cases when the dynamic program would not make sufficient progress.
Medians in median graphs and their cube complexes in linear time
Published
• View Publication
• BIB
The median of a set of vertices $P$ of a graph $G$ is the set of all vertices $x$ of $G$ minimizing the sum of distances from $x$ to all vertices of $P$. In this paper, we present a linear time algorithm to compute medians in median graphs, improving over the existing quadratic time algorithm. We also present a linear time algorithm to compute medians in the $\ell_1$-cube complexes associated with median graphs. Median graphs constitute the principal class of graphs investigated in metric graph theory and have a rich geometric and combinatorial structure, due to their bijections with CAT(0) cube complexes and domains of event structures. Our algorithm is based on the majority rule characterization of medians in median graphs and on a fast computation of parallelism classes of edges ($Θ$-classes or hyperplanes) via Lexicographic Breadth First Search (LexBFS). To prove the correctness of our algorithm, we show that any LexBFS ordering of the vertices of $G$ satisfies the following fellow traveler property of independent interest: the parents of any two adjacent vertices of $G$ are also adjacent. Using the fast computation of the $Θ$-classes, we also compute the Wiener index (total distance) of $G$ in linear time and the distance matrix in optimal quadratic time.
High-Dimensional Expanders from Expanders
We present an elementary way to transform an expander graph into a simplicial complex where all high order random walks have a constant spectral gap, i.e., they converge rapidly to the stationary distribution. As an upshot, we obtain new constructions, as well as a natural probabilistic model to sample constant degree high-dimensional expanders.
In particular, we show that given an expander graph $G$, adding self loops to $G$ and taking the tensor product of the modified graph with a high-dimensional expander produces a new high-dimensional expander. Our proof of rapid mixing of high order random walks is based on the decomposable Markov chains framework introduced by Jerrum et al.
Multiplex graph matching matched filters
Published
• View Publication
• BIB
We consider the problem of detecting a noisy induced multiplex template network in a larger multiplex background network. Our approach, which extends the framework of Sussman et al. (2019) to the multiplex setting, leverages a multiplex analogue of the classical graph matching problem to use the template as a matched filter for efficiently searching the background for candidate template matches. The effectiveness of our approach is demonstrated both theoretically and empirically, with particular attention paid to the potential benefits of considering multiple channels.
Coloring the Voronoi tessellation of lattices
Published in J. London Math. Soc. (2) 104 (2021) 1135-1171
• View Publication
• BIB
In this paper we define the chromatic number of a lattice: It is the least number of colors one needs to color the interiors of the cells of the Voronoi tessellation of a lattice so that no two cells sharing a facet are of the same color. We compute the chromatic number of the root lattices, their duals, and of the Leech lattice, we consider the chromatic number of lattices of Voronoi's first kind, and we investigate the asymptotic behaviour of the chromatic number of lattices when the dimension tends to infinity. We introduce a spectral lower bound for the chromatic number of lattices in spirit of Hoffman's bound for finite graphs. We compute this bound for the root lattices and relate it to the character theory of the corresponding Lie groups.
Non-separating Planar Graphs
Published
• View Publication
• BIB
A graph $G$ is a non-separating planar graph if there is a drawing $D$ of $G$ on the plane such that (1) no two edges cross each other in $D$ and (2) for any cycle $C$ in $D$, any two vertices not in $C$ are on the same side of $C$ in $D$.
Non-separating planar graphs are closed under taking minors and are a subclass of planar graphs and a superclass of outerplanar graphs.
In this paper, we show that a graph is a non-separating planar graph if and only if it does not contain $K_1 \cup K_4$ or $K_1 \cup K_{2,3}$ or $K_{1,1,3}$ as a minor.
Furthermore, we provide a structural characterisation of this class of graphs. More specifically, we show that any maximal non-separating planar graph is either an outerplanar graph or a subgraph of a wheel or it can be obtained by subdividing some of the side-edges of the 1-skeleton of a triangular prism (two disjoint triangles linked by a perfect matching).
Lastly, to demonstrate an application of non-separating planar graphs, we use the characterisation of non-separating planar graphs to prove that there are maximal linkless graphs with $3n-3$ edges which provides an answer to a question asked by Horst Sachs about the number of edges of linkless graphs in 1983.
Injective edge-coloring of sparse graphs
Published
• View Publication
• BIB
An injective edge-coloring $c$ of a graph $G$ is an edge-coloring such that if $e_1$, $e_2$, and $e_3$ are three consecutive edges in $G$ (they are consecutive if they form a path or a cycle of length three), then $e_1$ and $e_3$ receive different colors. The minimum integer $k$ such that, $G$ has an injective edge-coloring with $k$ colors, is called the injective chromatic index of $G$ ($χ'_{\textrm{inj}}(G)$). This parameter was introduced by Cardoso et \textit{al.} \cite{CCCD} motivated by the Packet Radio Network problem. They proved that computing $χ'_{\textrm{inj}}(G)$ of a graph $G$ is NP-hard. We give new upper bounds for this parameter and we present the relationships of the injective edge-coloring with other colorings of graphs. The obtained general bound gives 8 for the injective chromatic index of a subcubic graph. If the graph is subcubic bipartite we improve this last bound. We prove that a subcubic bipartite graph has an injective chromatic index bounded by $6$. We also prove that if $G$ is a subcubic graph with maximum average degree less than $\frac{7}{3} $ (resp. $\frac{8}{3} $, $3$), then $G$ admits an injective edge-coloring with at most 4 (resp. $6$, $7$) colors. Moreover, we establish a tight upper bound for subcubic outerplanar graphs.
Equitable partition of planar graphs
Published in Discrete Math., 344(6):112351, June 2021
• View Publication
• BIB
An equitable $k$-partition of a graph $G$ is a collection of induced subgraphs $(G[V_1],G[V_2],\ldots,G[V_k])$ of $G$ such that $(V_1,V_2,\ldots,V_k)$ is a partition of $V(G)$ and $-1\le |V_i|-|V_j|\le 1$ for all $1\le i<j\le k$. We prove that every planar graph admits an equitable $2$-partition into $3$-degenerate graphs, an equitable $3$-partition into $2$-degenerate graphs, and an equitable $3$-partition into two forests and one graph.
A rainbow blow-up lemma for almost optimally bounded edge-colourings
Published
• View Publication
• BIB
A subgraph of an edge-coloured graph is called rainbow if all its edges have different colours. We prove a rainbow version of the blow-up lemma of Komlós, Sárközy and Szemerédi that applies to almost optimally bounded colourings. A corollary of this is that there exists a rainbow copy of any bounded-degree spanning subgraph $H$ in a quasirandom host graph $G$, assuming that the edge-colouring of $G$ fulfills a boundedness condition that is asymptotically best possible.
This has many applications beyond rainbow colourings, for example to graph decompositions, orthogonal double covers and graph labellings.
Local and Union Page Numbers
Published
• View Publication
• BIB
We introduce the novel concepts of local and union book embeddings, and, as the corresponding graph parameters, the local page number ${\rm pn}_\ell(G)$ and the union page number ${\rm pn}_u(G)$. Both parameters are relaxations of the classical page number ${\rm pn}(G)$, and for every graph $G$ we have ${\rm pn}_\ell(G) \leq {\rm pn}_u(G) \leq {\rm pn}(G)$. While for ${\rm pn}(G)$ one minimizes the total number of pages in a book embedding of $G$, for ${\rm pn}_\ell(G)$ we instead minimize the number of pages incident to any one vertex, and for ${\rm pn}_u(G)$ we instead minimize the size of a partition of $G$ with each part being a vertex-disjoint union of crossing-free subgraphs. While ${\rm pn}_\ell(G)$ and ${\rm pn}_u(G)$ are always within a multiplicative factor of $4$, there is no bound on the classical page number ${\rm pn}(G)$ in terms of ${\rm pn}_\ell(G)$ or ${\rm pn}_u(G)$.
We show that local and union page numbers are closer related to the graph's density, while for the classical page number the graph's global structure can play a much more decisive role. We introduce tools to investigate local and union book embeddings in exemplary considerations of the class of all planar graphs and the class of graphs of tree-width $k$. As an incentive to pursue research in this new direction, we offer a list of intriguing open problems.
Double domination and total $2$-domination in digraphs and their dual problems
Published in Discussiones Mathematicae Graph Theory, 2020
• View Publication
• BIB
A subset $S$ of vertices of a digraph $D$ is a double dominating set (total $2$-dominating set) if every vertex not in $S$ is adjacent from at least two vertices in $S$, and every vertex in $S$ is adjacent from at least one vertex in $S$ (the subdigraph induced by $S$ has no isolated vertices). The double domination number (total $2$-domination number) of a digraph $D$ is the minimum cardinality of a double dominating set (total $2$-dominating set) in $D$. In this work, we investigate these concepts which can be considered as two extensions of double domination in graphs to digraphs, along with the concepts $2$-limited packing and total $2$-limited packing which have close relationships with the above-mentioned concepts.
Word-representability of Toeplitz graphs
Published
• View Publication
• BIB
Distinct letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word of the form $xyxy\cdots$ (of even or odd length) or a word of the form $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$.
In this paper we initiate the study of word-representable Toeplitz graphs, which are Riordan graphs of the Appell type. We prove that several general classes of Toeplitz graphs are word-representable, and we also provide a way to construct non-word-representable Toeplitz graphs. Our work not only merges the theories of Riordan matrices and word-representable graphs via the notion of a Riordan graph, but also it provides the first systematic study of word-representability of graphs defined via patterns in adjacency matrices. Moreover, our paper introduces the notion of an infinite word-representable Riordan graph and gives several general examples of such graphs. It is the first time in the literature when the word-representability of infinite graphs is discussed.
A Cantor-Bernstein-type theorem for spanning trees in infinite graphs
Published in Journal of Combinatorial Theory, Series B Volume 149 (July 2021): Pages 16-22
• View Publication
• BIB
We show that if a graph admits a packing and a covering both consisting of $λ$ many spanning trees, where $λ$ is some infinite cardinal, then the graph also admits a decomposition into $λ$ many spanning trees. For finite $λ$ the analogous question remains open, however, a slightly weaker statement is proved.
A note on randomly colored matchings in random bipartite graphs
Published
• View Publication
• BIB
We are given a bipartite graph that contains at least one perfect matching and where each edge is colored from a set $Q=\{c_1,c_2,\ldots,c_q}\$. Let $Q_i=\set{e\in E(G):c(e)=c_i}$, where $c(e)$ denotes the color of $e$. The perfect matching color profile $mcp(G)$ is defined to be the set of vectors $(m_1,m_2,\ldots,m_q)\in [n]^q$ such that there exists a perfect matching $M$ such that $|M\cap Q_i|=m_i$. We give bounds on the matching color profile for a randomly colored random bipartite graph.
Parking on the integers
Published
• View Publication
• BIB
Models of parking in which cars are placed randomly and then move according to a deterministic rule have been studied since the work of Konheim and Weiss in the 1960s. Recently, Damron, Gravner, Junge, Lyu, and Sivakoff introduced a model in which cars are both placed and move at random. Independently at each point of a Cayley graph $G$, we place a car with probability $p$, and otherwise an empty parking space. Each car independently executes a random walk until it finds an empty space in which to park. In this paper we introduce three new techniques for studying the model, namely the space-based parking model, and the strategies for parking and for car removal. These allow us to study the original model by coupling it with models where parking behaviour is easier to control. Applying our methods to the one-dimensional parking problem in $\mathbb{Z}$, we improve on previous work, showing that for $p<1/2$ the expected journey length of a car is finite, and for $p=1/2$ the expected journey length by time $t$ grows like $t^{3/4}$ up to a polylogarithmic factor.
On spectral spread of generalized distance matrix of a graph
Published
• View Publication
• BIB
For a simple connected graph $G$, let $D(G)$, $Tr(G)$, $D^{L}(G)$ and $D^{Q}(G)$, respectively be the distance matrix, the diagonal matrix of the vertex transmissions, distance Laplacian matrix and the distance signless Laplacian matrix of a graph $G$. The convex linear combinations $D_α(G)$ of $Tr(G)$ and $D(G)$ is defined as $D_α(G)=αTr(G)+(1-α)D(G)$, $0\leq α\leq 1$. As $D_{0}(G)=D(G), ~~~ 2D_{\frac{1}{2}}(G)=D^{Q}(G), ~~~ D_{1}(G)=Tr(G)$ and $D_α(G)-D_β(G)=(α-β)D^{L}(G)$, this matrix reduces to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. Let $\partial_{1}(G)\geq \partial_{2}(G)\geq \dots \geq \partial_{n}(G)$ be the eigenvalues of $D_α(G)$ and let $D_αS(G)=\partial_{1}(G)-\partial_{n}(G)$ be the generalized distance spectral spread of the graph $G$. In this paper, we obtain some bounds for the generalized distance spectral spread $D_α(G)$. We also obtain relation between the generalized distance spectral spread $D_α(G)$ and the distance spectral spread $S_{D}(G)$. Further, we obtain the lower bounds for $D_αS(G)$ of bipartite graphs involving different graph parameters and we characterize the extremal graphs for some cases. We also obtain lower bounds for $D_αS(G)$ in terms of clique number and independence number of the graph $G$ and characterize the extremal graphs for some cases.
Transformed flips in triangulations and matchings
Plane perfect matchings of $2n$ points in convex position are in bijection with triangulations of convex polygons of size $n+2$. Edge flips are a classic operation to perform local changes both structures have in common. In this work, we use the explicit bijection from Aichholzer et al. (2018) to determine the effect of an edge flip on the one side of the bijection to the other side, that is, we show how the two different types of edge flips are related. Moreover, we give an algebraic interpretation of the flip graph of triangulations in terms of elements of the corresponding Temperley-Lieb algebra.
Generalized chromatic polynomials of graphs from Heaps of pieces
Published
• View Publication
• BIB
Let $G$ be a simple graph and let $\mathcal{L}(G)$ be the free partially commutative Lie algebra associated to $G$. In this paper, using heaps of pieces, we prove an expression for the generalized $\textbf k$-chromatic polynomial of $G$ in terms of dimensions of the grade spaces of $\mathcal{L}(G)$. This will give us a new interpretation for the chromatic polynomials in terms of multilinear heaps and Lyndon length. The classical results of Stanley, and Greene and Zaslavsky regarding the acyclic orientations of $G$ are obtained as corollaries. A heap with a unique minimal piece is said to be a pyramid and our main theorem is proved using the properties of pyramids. For this reason, we prove two important properties of pyramids namely the pyramid proportionality lemma, and the pyramid and Lyndon heap lemma. In the last section, we will introduce the $(m,λ)$-labelling on acyclic orientations which is similar to Stanley's $λ$-compatible pairs. As an application of our main theorem, using this $(m,λ)$-labelled acyclic orientations, we will prove the reciprocity theorem for the derivatives of the chromatic polynomials.
Complexity of Modification Problems for Reciprocal Best Match Graphs
Published
• View Publication
• BIB
Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying evolutionary tree. In practical applications this tree is unknown and the edges of the RBMGs are inferred by quantifying sequence similarity. Due to noise in the data, these empirically determined graphs in general violate the condition of being a ``biologically feasible'' RBMG. Therefore, it is of practical interest in computational biology to correct the initial estimate. Here we consider deletion (remove at most $k$ edges) and editing (add or delete at most $k$ edges) problems. We show that the decision version of the deletion and editing problem to obtain RBMGs from vertex colored graphs is NP-hard. Using known results for the so-called bicluster editing, we show that the RBMG editing problem for $2$-colored graphs is fixed-parameter tractable.
A restricted class of RBMGs appears in the context of orthology detection. These are cographs with a specific type of vertex coloring known as hierarchical coloring. We show that the decision problem of modifying a vertex-colored graph (either by edge-deletion or editing) into an RBMG with cograph structure or, equivalently, to an hierarchically colored cograph is NP-complete.