graph
34665 papers tagged with this keyword
Homological aspects of oriented hypergraphs
We define an algebraic setup of homology for hypergraphs, which defaults to simplicial homology in the case of graphs, and study its basic properties. As part of our study we define algebraic spanning trees of hypergraphs, along with fundamental cuts and cycles playing their usual roles.
Edge-critical subgraphs of Schrijver graphs II: The general case
Published in Journal of Combinatorial Theory, Series B 152: 453-482, 2022
• View Publication
• BIB
We give a simple combinatorial description of an $(n-2k+2)$-chromatic edge-critical subgraph of the Schrijver graph $\mathrm{SG}(n,k)$, itself an induced vertex-critical subgraph of the Kneser graph $\mathrm{KG}(n,k)$. This extends the main result of [J. Combin. Theory Ser. B 144 (2020) 191--196] to all values of $k$, and sharpens the classical results of Lovász and Schrijver from the 1970s.
Hadamard diagonalizable graphs of order at most 36
Published
• View Publication
• BIB
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an efficient computation for determining all graphs diagonalized by a given Hadamard matrix of any order. Using these two tools, we determine and present all Hadamard diagonalizable graphs up to order 36. Note that it is not even known how many Hadamard matrices there are of order 36.
A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem
Published
• View Publication
• BIB
We give the first $2$-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than $2$ is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2$ from any vertex of the input graph.
As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.
Perfect codes in Cayley sum graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code of $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$. Let $A$ be a finite abelian group and $T$ a square-free subset of $A$. The Cayley sum graph of $A$ with respect to the connection set $T$ is a simple graph with $A$ as its vertex set, and two vertices $x$ and $y$ are adjacent whenever $x+y\in T$. A subgroup of $A$ is said to be a subgroup perfect code of $A$ if the subgroup is a perfect code of some Cayley sum graph of $A$. In this paper, we give some necessary and sufficient conditions for a subset of $A$ to be a perfect code of a given Cayley sum graph of $A$. We also characterize all subgroup perfect codes of $A$.
On zero-sum spanning trees and zero-sum connectivity
Published
• View Publication
• BIB
We consider $2$-colourings $f : E(G) \rightarrow \{ -1 ,1 \}$ of the edges of a graph $G$ with colours $-1$ and $1$ in $\mathbb{Z}$. A subgraph $H$ of $G$ is said to be a zero-sum subgraph of $G$ under $f$ if $f(H) := \sum_{e\in E(H)} f(e) =0$. We study the following type of questions, in several cases obtaining best possible results: Under which conditions on $|f(G)|$ can we guarantee the existence of a zero-sum spanning tree of $G$? The types of $G$ we consider are complete graphs, $K_3$-free graphs, $d$-trees, and maximal planar graphs. We also answer the question of when any such colouring contains a zero-sum spanning path or a zero-sum spanning tree of diameter at most $3$, showing in passing that the diameter-$3$ condition is best possible. Finally, we give, for $G = K_n$, a sharp bound on $|f(K_n)|$ by which an interesting zero-sum connectivity property is forced, namely that any two vertices are joined by a zero-sum path of length at most $4$.
One feature of this paper is the proof of an Interpolation Lemma leading to a Master Theorem from which many of the above results follow and which can be of independent interest.
Asymptotic Enumeration and Limit Laws for Multisets: the Subexponential Case
Published
• View Publication
• BIB
For a given combinatorial class $\mathcal{C}$ we study the class $\mathcal{G} = \mathrm{MSET}(\mathcal{C})$ satisfying the multiset construction, that is, any object in $\mathcal{G}$ is uniquely determined by a set of $\mathcal{C}$-objects paired with their multiplicities. For example, $\mathrm{MSET}(\mathbb{N})$ is (isomorphic to) the class of number partitions of positive integers, a prominent and well-studied case. The multiset construction appears naturally in the study of unlabelled objects, for example graphs or various structures related to number partitions. Our main result establishes the asymptotic size of the set $\mathcal{G}_{n,N}$ that contains all multisets in $\mathcal{G}$ having size $n$ and being comprised of $N$ objects from $\mathcal{C}$, as $n$ \emph{and} $N$ tend to infinity and when the counting sequence of $\mathcal{C}$ is governed by subexponential growth; this is a particularly important setting in combinatorial applications. Moreover, we study the component distribution of random objects from $\mathcal{G}_{n,N}$ and we discover a phenomenon that we baptise \emph{extreme condensation}: taking away the largest component as well as all the components of the smallest possible size, we are left with an object which converges in distribution as $n,N\to\infty$. The distribution of the limiting object is also retrieved. Moreover and rather surprisingly, in stark contrast to analogous results for labelled objects, the results here hold uniformly in $N$.
The mod $k$ chromatic index of graphs is $O(k)$
Published
• View Publication
• BIB
Let $χ'_k(G)$ denote the minimum number of colors needed to color the edges of a graph $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1 \pmod k$. Scott [{\em Discrete Math. 175}, 1-3 (1997), 289--291] proved that $χ'_k(G)\leq5k^2\log k$, and thus settled a question of Pyber [{\em Sets, graphs and numbers} (1992), pp. 583--610], who had asked whether $χ_k'(G)$ can be bounded solely as a function of $k$. We prove that $χ'_k(G)=O(k)$, answering affirmatively a question of Scott.
Rolling backwards can move you forward: on embedding problems in sparse expanders
We develop a general embedding method based on the Friedman-Pippenger tree embedding technique (1987) and its algorithmic version, essentially due to Aggarwal et al. (1996), enhanced with a roll-back idea allowing to sequentially retrace previously performed embedding steps. We use this method to obtain the following results.
-We show that the size-Ramsey number of logarithmically long subdivisions of bounded degree graphs is linear in their number of vertices, settling a conjecture of Pak (2002).
-We give a deterministic, polynomial time online algorithm for finding vertex-disjoint paths of prescribed length between given pairs of vertices in an expander graph. Our result answers a question of Alon and Capalbo (2007).
-We show that relatively weak bounds on the spectral ratio of $d$-regular graphs force the existence of a topological minor of $K_t$ where $t=(1-o(1))d$. We also exhibit a construction which shows that the theoretical maximum $t=d+1$ cannot be attained even if $λ=O(\sqrt{d})$. This answers a question of Fountoulakis, Kühn and Osthus (2009).
On the edit distance function of the random graph
Published
• View Publication
• BIB
Given a hereditary property of graphs $\mathcal{H}$ and a $p\in [0,1]$, the edit distance function ${\rm ed}_{\mathcal{H}}(p)$ is asymptotically the maximum proportion of edge-additions plus edge-deletions applied to a graph of edge density $p$ sufficient to ensure that the resulting graph satisfies $\mathcal{H}$. The edit distance function is directly related to other well-studied quantities such as the speed function for $\mathcal{H}$ and the $\mathcal{H}$-chromatic number of a random graph. Let $\mathcal{H}$ be the property of forbidding an Erdős-Rényi random graph $F\sim \mathbb{G}(n_0,p_0)$, and let $\varphi$ represent the golden ratio. In this paper, we show that if $p_0\in [1-1/\varphi,1/\varphi]$, then a.a.s. as $n_0\to\infty$,
\begin{align*}
{\rm ed}_{\mathcal{H}}(p) = (1+o(1))\,\frac{2\log n_0}{n_0}
\cdot\min\left\{
\frac{p}{-\log(1-p_0)},
\frac{1-p}{-\log p_0}
\right\}.
\end{align*} Moreover, this holds for $p\in [1/3,2/3]$ for any $p_0\in (0,1)$.
Tight Frame Graphs Arising as Line Graphs
Published in PUMP J. Undergrad. Res. 4 (2021), 1-19
• View Publication
• BIB
Dual multiplicity graphs are those simple, undirected graphs that have a weighted Hermitian adjacency matrix with only two distinct eigenvalues. From the point of view of frame theory, their characterization can be restated as which graphs have a representation by a tight frame. In this paper, we classify certain line graphs that are tight frame graphs and improve a previous result on the embedding of frame graphs in tight frame graphs.
Further results on Hendry's Conjecture
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (August 22, 2022) dmtcs:6700
• View Publication
• BIB
Recently, a conjecture due to Hendry was disproved which stated that every Hamiltonian chordal graph is cycle extendible. Here we further explore the conjecture, showing that it fails to hold even when a number of extra conditions are imposed. In particular, we show that Hendry's Conjecture fails for strongly chordal graphs, graphs with high connectivity, and if we relax the definition of "cycle extendible" considerably. We also consider the original conjecture from a subtree intersection model point of view, showing that a result of Abuieda et al is nearly best possible.
Inference and mutual information on random factor graphs
Published
• View Publication
• BIB
Random factor graphs provide a powerful framework for the study of inference problems such as decoding problems or the stochastic block model. Information-theoretically the key quantity of interest is the mutual information between the observed factor graph and the underlying ground truth around which the factor graph was created; in the stochastic block model, this would be the planted partition. The mutual information gauges whether and how well the ground truth can be inferred from the observable data. For a very general model of random factor graphs we verify a formula for the mutual information predicted by physics techniques. As an application we prove a conjecture about low-density generator matrix codes from [Montanari: IEEE Transactions on Information Theory 2005]. Further applications include phase transitions of the stochastic block model and the mixed $k$-spin model from physics.
Neumaier graphs with few eigenvalues
Published
• View Publication
• BIB
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2.
Cospectrality preserving graph modifications and eigenvector properties via walk equivalence of vertices
Published
• View Publication
• BIB
Originating from spectral graph theory, cospectrality is a powerful generalization of exchange symmetry and can be applied to all real-valued symmetric matrices. Two vertices of an undirected graph with real edge weights are cospectral iff the underlying weighted adjacency matrix $M$ fulfills $[M^k]_{u,u} = [M^k]_{v,v}$ for all non-negative integer $k$, and as a result any eigenvector $φ$ of $M$ has (or, in the presence of degeneracies, can be chosen to have) definite parity on $u$ and $v$. We here show that the powers of a matrix with cospectral vertices induce further local relations on its eigenvectors, and also can be used to design cospectrality preserving modifications. To this end, we introduce the concept of \emph{walk equivalence} of cospectral vertices with respect to \emph{walk multiplets} which are special vertex subsets of a graph. Walk multiplets allow for systematic and flexible modifications of a graph with a given cospectral pair while preserving this cospectrality. The set of modifications includes the addition and removal of both vertices and edges, such that the underlying topology of the graph can be altered. In particular, we prove that any new vertex connected to a walk multiplet by suitable connection weights becomes a so-called unrestricted substitution point (USP), meaning that any arbitrary graph may be connected to it without breaking cospectrality. Also, suitable interconnections between walk multiplets within a graph are shown to preserve the associated cospectrality. Importantly, we demonstrate that the walk equivalence of cospectral vertices $u,v$ imposes a local structure on every eigenvector $φ$ obeying $φ_{u} = \pm φ_{v} \ne 0$ (in the case of degeneracies, a specific choice of the eigenvector basis is needed). Our work paves the way for flexibly exploiting hidden structural symmetries in the design of generic complex network-like systems.
The signless Laplacian spectral radius of graphs with forbidding linear forests
Published in Linear algebra Application 591(2020)25-43
• View Publication
• BIB
Turán type extremal problem is how to maximize the number of edges over all graphs which do not contain fixed forbidden subgraphs. Similarly, spectral Turán type extremal problem is how to maximize (signless Laplacian) spectral radius over all graphs which do not contain fixed subgraphs. In this paper, we first present a stability result for $k\cdot P_3$ in terms of the number of edges and then determine all extremal graphs maximizing the signless Laplacian spectral radius over all graphs which do not contain a fixed linear forest with at most two odd paths or $k\cdot P_3$ as a subgraph, respectively.
The Chromatic Number of Dense Random Block Graphs
The chromatic number $χ(G)$ of a graph $G$, that is, the smallest number of colors required to color the vertices of $G$ so that no two adjacent vertices are assigned the same color, is a classic and extensively studied parameter. Here we consider the case where $G$ is a random block graph, also known as the stochastic block model. The vertex set is partitioned into $k\in\mathbb{N}$ parts $V_1, \dotsc, V_k$, and for each $1 \le i\le j\le k$, two vertices $u \in V_i, v\in V_j$ are connected by an edge with some probability $p_{ij} \in (0,1)$ independently. Our main result pins down the typical asymptotic value of $χ(G)$ and establishes the distribution of the sizes of the color classes in optimal colorings. We discover that in contrast to the case of a binomial random graph $G(n,p)$, that corresponds to $k=1$ in our model, where the average size of a color class in an (almost) optimal coloring essentially coincides with the independence number, the block model reveals a more diverse picture: the "average" class in an optimal coloring is a convex combination of several types of independent sets that vary in total size as well as in the size of their intersection with each $V_i$, $1\le i \le k$.
Adapting the Directed Grid Theorem into an FPT Algorithm
Published
• View Publication
• BIB
The Grid Theorem of Robertson and Seymour [JCTB, 1986], is one of the most important tools in the field of structural graph theory, finding numerous applications in the design of algorithms for undirected graphs. An analogous version of the Grid Theorem in digraphs was conjectured by Johnson et al. [JCTB, 2001], and proved by Kawarabayashi and Kreutzer [STOC, 2015]. Namely, they showed that there is a function $f(k)$ such that every digraph of directed tree-width at least $f(k)$ contains a cylindrical grid of size $k$ as a butterfly minor and stated that their proof can be turned into an XP algorithm, with parameter $k$, that either constructs a decomposition of the appropriate width, or finds the claimed large cylindrical grid as a butterfly minor. In this paper, we adapt some of the steps of the proof of Kawarabayashi and Kreutzer to improve this XP algorithm into an FPT algorithm. Towards this, our main technical contributions are two FPT algorithms with parameter $k$. The first one either produces an arboreal decomposition of width $3k-2$ or finds a haven of order $k$ in a digraph $D$, improving on the original result for arboreal decompositions by Johnson et al. The second algorithm finds a well-linked set of order $k$ in a digraph $D$ of large directed tree-width. As tools to prove these results, we show how to solve a generalized version of the problem of finding balanced separators for a given set of vertices $T$ in FPT time with parameter $|T|$, a result that we consider to be of its own interest.
Plattenbauten: Touching Rectangles in Space
Published
• View Publication
• BIB
Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar 3-colorable graphs can be represented this way. The result implies a characterization of corner polytopes previously obtained by Eppstein and Mumford. A by-product of our proof is a distributive lattice structure on the set of orthogonal surfaces with given skeleton. Further, we study representations by axis-aligned non-coplanar rectangles in $\mathbb{R}^3$ such that all regions are boxes. We show that the resulting graphs correspond to octahedrations of an octahedron. This generalizes the correspondence between planar quadrangulations and families of horizontal and vertical segments in $\mathbb{R}^2$ with the property that all regions are rectangles.
Rankwidth meets stability
We study two notions of being well-structured for classes of graphs that are inspired by classic model theory. A class of graphs $C$ is monadically stable if it is impossible to define arbitrarily long linear orders in vertex-colored graphs from $C$ using a fixed first-order formula. Similarly, monadic dependence corresponds to the impossibility of defining all graphs in this way. Examples of monadically stable graph classes are nowhere dense classes, which provide a robust theory of sparsity. Examples of monadically dependent classes are classes of bounded rankwidth (or equivalently, bounded cliquewidth), which can be seen as a dense analog of classes of bounded treewidth. Thus, monadic stability and monadic dependence extend classical structural notions for graphs by viewing them in a wider, model-theoretical context. We explore this emerging theory by proving the following:
- A class of graphs $C$ is a first-order transduction of a class with bounded treewidth if and only if $C$ has bounded rankwidth and a stable edge relation (i.e. graphs from $C$ exclude some half-graph as a semi-induced subgraph).
- If a class of graphs $C$ is monadically dependent and not monadically stable, then $C$ has in fact an unstable edge relation.
As a consequence, we show that classes with bounded rankwidth excluding some half-graph as a semi-induced subgraph are linearly $χ$-bounded. Our proofs are effective and lead to polynomial time algorithms.