graph
35436 papers tagged with this keyword
Constant Congestion Brambles
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 31, 2022) dmtcs:6699
• View Publication
• BIB
A bramble in an undirected graph $G$ is a family of connected subgraphs of $G$ such that for every two subgraphs $H_1$ and $H_2$ in the bramble either $V(H_1) \cap V(H_2) \neq \emptyset$ or there is an edge of $G$ with one endpoint in $V(H_1)$ and the second endpoint in $V(H_2)$. The order of the bramble is the minimum size of a vertex set that intersects all elements of a bramble.
Brambles are objects dual to treewidth: As shown by Seymour and Thomas, the maximum order of a bramble in an undirected graph $G$ equals one plus the treewidth of $G$. However, as shown by Grohe and Marx, brambles of high order may necessarily be of exponential size: In a constant-degree $n$-vertex expander a bramble of order $Ω(n^{1/2+δ})$ requires size exponential in $Ω(n^{2δ})$ for any fixed $δ\in (0,\frac{1}{2}]$. On the other hand, the combination of results of Grohe and Marx and Chekuri and Chuzhoy shows that a graph of treewidth $k$ admits a bramble of order $\widetildeΩ(k^{1/2})$ and size $\widetilde{\mathcal{O}}(k^{3/2})$. ($\widetildeΩ$ and $\widetilde{\mathcal{O}}$ hide polylogarithmic factors and divisors, respectively.)
In this note, we first sharpen the second bound by proving that every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetildeΩ(k^{1/2})$ and congestion $2$, i.e., every vertex of $G$ is contained in at most two elements of the bramble (thus the bramble is of size linear in its order). Second, we provide a tight upper bound for the lower bound of Grohe and Marx: For every $δ\in (0,\frac{1}{2}]$, every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetildeΩ(k^{1/2+δ})$ and size $2^{\widetilde{\mathcal{O}}(k^{2δ})}$.
On the intersection of two longest paths in $k$-connected graphs
We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$.
Characterization and a 2D Visualization of B$_0$-VPG Cocomparability Graphs
Published
• View Publication
• BIB
B$_0$-VPG graphs are intersection graphs of vertical and horizontal line segments on a plane. Cohen, Golumbic, Trotter, and Wang [Order, 2016] pose the question of characterizing B$_0$-VPG permutation graphs. We respond here by characterizing B$_0$-VPG cocomparability graphs. This characterization also leads to a polynomial time recognition and B$_0$-VPG drawing algorithm for the class. Our B$_0$-VPG drawing algorithm starts by fixing any one of the many posets $P$ whose cocomparability graph is the input graph $G$. The drawing we obtain not only visualizes $G$ in that one can distinguish comparable pairs from incomparable ones, but one can also identify which among a comparable pair is larger in $P$ from this visualization.
Coronae graphs and their $α$-eigenvalues
Published in Bull. Malays. Math. Sci. Soc. 43 (2020) 2911-2927
• View Publication
• BIB
Let $G_1$ and $G_2$ be two simple connected graphs. The invariant \textit{coronal} of graph is used in order to determine the $α$-eigenvalues of four different types of graph equations that are $G_1 \circ G_2, G_1\lozenge G_1$ and the other two`s are $G_1 \odot G_2$ and $G_1 \circleddash G_2$ which are obtained using the $R$-graph of $G_1$. As an application we construct infinitely many pairs of non-isomorphic $α$-Isospectral graph.
Seurat games on Stockmeyer graphs
Published in Journal of Graph Theory 99, 278 - 311, 2022
• View Publication
• BIB
We define a family of vertex colouring games played over a pair of graphs or digraphs $(G,H)$ by players $\forall$ and $\exists$. These games arise from work on a longstanding open problem in algebraic logic. It is conjectured that there is a natural number $n$ such that $\forall$ always has a winning strategy in the game with $n$ colours whenever $G\not\cong H$. This is related to the reconstruction conjecture for graphs and the degree-associated reconstruction conjecture for digraphs. We show that the reconstruction conjecture implies our game conjecture with $n=3$ for graphs, and the same is true for the degree-associated reconstruction conjecture and our conjecture for digraphs. We show (for any $k<ω$) that the 2-colour game can distinguish certain non-isomorphic pairs of graphs that cannot be distinguished by the $k$-dimensional Weisfeiler-Leman algorithm. We also show that the 2-colour game can distinguish the non-isomorphic pairs of graphs in the families defined by Stockmeyer as counterexamples to the original digraph reconstruction conjecture.
Criteria for the less-equal-relation between partial Lovász-vectors of digraphs
Finite digraphs $R$ and $S$ are studied with $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every finite digraph $G \in \mathfrak{ D }'$, where ${\cal H}(G,H)$ is the set of order homomorphisms from $G$ to $H$ and $\mathfrak{ D }'$ is a class of finite digraphs. It is shown that for several classes $\mathfrak{ D }'$ of digraphs and $R \in \mathfrak{ D }'$, the relation $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every $G \in \mathfrak{ D }'$ is implied by the relation $\# {\cal S}(G,R) \leq \# {\cal S}(G,S)$ for every $G \in \mathfrak{ D }'$, where ${\cal S}(G,H)$ is the set of homomorphisms from $G$ to $H$ mapping all proper arcs of $G$ to proper arcs of $H$. Under an application-oriented regularity condition, the two relations are even equivalent. A method is developed for the rearrangement of a digraph $R$, resulting in a digraph $S$ with $\# {\cal H}(G,R) \leq \# {\cal H}(G,S)$ for every digraph $G$. The method is applied in constructing pairs of partially ordered sets $R$ and $S$ with $\# {\cal H}(P,R) \leq \# {\cal H}(P,S)$ for every partially ordered set $P$. The main part of the results holds also for undirected graphs.
Cubic graphs that cannot be covered with four perfect matchings
A conjecture of Berge suggests that every bridgeless cubic graph can have its edges covered with at most five perfect matchings. Since three perfect matchings suffice only when the graph in question is $3$-edge-colourable, the rest of cubic graphs falls into two classes: those that can be covered with four perfect matchings, and those that need at least five. Cubic graphs that require more than four perfect matchings to cover their edges are particularly interesting as potential counterexamples to several profound and long-standing conjectures including the celebrated cycle double cover conjecture. However, so far they have been extremely difficult to find.
In this paper we build a theory that describes coverings with four perfect match\-ings as flows whose flow values and outflow patterns form a configuration of six lines spanned by four points of the 3-dimensional projective space $\mathbb{P}_3(\mathbb{F}_2)$ in general position. This theory provides powerful tools for investigation of graphs that do not admit such a cover and offers a great variety of methods for their construction. As an illustrative example we produce a rich family of snarks (nontrivial cubic graphs with no $3$-edge-colouring) that cannot be covered with four perfect matchings. The family contains all previously known graphs with this property.
Constructing transient amplifiers for death-Birth updating: A case study of cubic and quartic regular graphs
Published
• View Publication
• BIB
A central question of evolutionary dynamics on graphs is whether or not a mutation introduced in a population of residents survives and eventually even spreads to the whole population, or gets extinct. The outcome naturally depends on the fitness of the mutant and the rules by which mutants and residents may propagate on the network, but arguably the most determining factor is the network structure. Some structured networks are transient amplifiers. They increase for a certain fitness range the fixation probability of beneficial mutations as compared to a well-mixed population. We study a perturbation methods for identifying transient amplifiers for death-Birth updating. The method includes calculating the coalescence times of random walks on graphs and finding the vertex with the largest remeeting time. If the graph is perturbed by removing an edge from this vertex, there is a certain likelihood that the resulting perturbed graph is a transient amplifier. We test all pairwise nonisomorphic cubic and quartic regular graphs up to a certain size and thus cover the whole structural range expressible by these graphs. We carry out a spectral analysis and show that the graphs from which the transient amplifiers can be constructed share certain structural properties. The graphs are path-like, have low conductance and are rather easy to divide into subgraphs by removing edges and/or vertices. This is connected with the subgraphs being identical (or almost identical) building blocks and the frequent occurrence of cut and/or hinge vertices. Identifying spectral and structural properties may promote finding and designing such networks.
Automorphism groups of maps in linear time
Published
• View Publication
• BIB
By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which preserves the vertex-edge-face incidences in the embedding. When the underlying surface is orientable, every automorphism of a map determines an angle-preserving homeomorphism of the surface. While it is conjectured that there is no "truly subquadratic" algorithm for testing map isomorphism for unconstrained genus, we present a linear-time algorithm for computing the generators of the automorphism group of a map, parametrized by the genus of the underlying surface. The algorithm applies a sequence of local reductions and produces a uniform map, while preserving the automorphism group. The automorphism group of the original map can be reconstructed from the automorphism group of the uniform map in linear time. We also extend the algorithm to non-orientable surfaces by making use of the antipodal double-cover.
Eigenvalues of graph Laplacians via rank-one perturbations
Published
• View Publication
• BIB
We show how the spectrum of a graph Laplacian changes with respect to a certain type of rank-one perturbation. We apply our finding to give new short proofs of the spectral version of Kirchhoff's Matrix Tree Theorem and known derivations for the characteristic polynomials of the Laplacians for several well known families of graphs, including complete, complete multipartite, and threshold graphs.
The average eccentricity of a graph with prescribed girth
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$. The eccentricity $e(v)$ of a vertex $v$ is the distance from $v$ to a vertex farthest from $v$. The average eccentricity of $G$ is the mean of all eccentricities in $G$. We give upper bounds on the average eccentricity of $G$ in terms of order $n$, minimum degree $δ$, and girth $g$. In addition, we construct graphs to show that, if for given $g$ and $δ$, there exists a Moore graph of minimum degree $δ$ and girth $g$, then the bounds are asymptotically sharp. Moreover, we show that the bounds can be improved for a graph of large degree $Δ$.
Extension to the Beraha-Kahane-Weiss Theorem with Applications
Published
• View Publication
• BIB
The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.
Minimum maximal matchings in cubic graphs
Published
• View Publication
• BIB
We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, Fürst, Henning, Mohr and Rautenbach (2019) on regular graphs. More generally, we prove that every graph with $n$ vertices and $m$ edges and maximum degree at most $3$ has a maximal matching of size at most $\frac{4n-m}{6}+ \frac{1}{2}$. These bounds are attained by the graph $K_{3,3}$, but asymptotically there may still be some room for improvement. Moreover, the claimed maximal matchings can be found efficiently. As a corollary, we have a $\left(\frac{25}{18} + O \left( \frac{1}{n}\right)\right) $-approximation algorithm for minimum maximal matching in connected cubic graphs.
The Amazing Power of Randomness: NP=RP
We (claim to) prove the extremely surprising fact that NP=RP. It is achieved by creating a Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for approximately counting the number of independent sets in bounded degree graphs, with any fixed degree bound, which is known to imply NP=RP. While our method is rooted in the well known Markov Chain Monte Carlo (MCMC) approach, we overcome the notorious problem of slow mixing by a new idea for generating a random sample from among the independent sets. A key tool that enables the result is a solution to a novel sampling task that we call Subset Sampling. In its basic form, a stationary sample is given from the (exponentially large) state space of a Markov chain, as input, and we want to transform it into another stationary sample that is conditioned on falling into a given subset, which is still exponentially large. In general, Subset Sampling can be both harder and easier than stationary sampling from a Markov chain. It can be harder, due to the conditioning on a subset, which may have more complex structure than the original state space. But it may also be easier, since a stationary sample is already given, which, in a sense, already encompasses "most of the hardness" of such sampling tasks, being already in the stationary distribution, which is hard to reach in a slowly mixing chain. We show that it is possible to efficiently balance the two sides: we can capitalize on already having a stationary sample from the original space, so that the complexity of confining it to a subset is mitigated. We prove that an efficient approximation is possible for the considered sampling task, and then it is applied recursively to create the FPRAS.
Bordered complex Hadamard matrices and strongly regular graphs
Published
• View Publication
• BIB
We consider bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph. Examples include a complex Hadamard matrix whose core is contained in the Bose-Mesner algebra of a conference graph due to J. Wallis, F. Szöllősi, and a family of Hadamard matrices given by Singh and Dubey. In this paper, we prove that there are no other bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph.
Ordering Trees by Their ABC Spectral Radii
Published
• View Publication
• BIB
Let $G=(V,E)$ be a connected graph, where $V=\{v_1, v_2, \cdots, v_n\}$. Let $d_i$ denote the degree of vertex $v_i$. The ABC matrix of $G$ is defined as $M(G)=(m_{ij})_{n \times n}$, where $m_{ij}=\sqrt{(d_i + d_j -2)/(d_i d_j)}$ if $v_i v_j \in E$, and 0 otherwise. The ABC spectral radius of $G$ is the largest eigenvalue of $M(G)$. In the present paper, we establish two graph perturbations with respect to ABC spectral radius. By applying these perturbations, the trees with the third, fourth, and fifth largest ABC spectral radii are determined.
Extremal trees with fixed degree sequence
Published
• View Publication
• BIB
The greedy tree $\mathcal{G}(D)$ and the $\mathcal{M}$-tree $\mathcal{M}(D)$ are known to be extremal among trees with degree sequence $D$ with respect to various graph invariants. This paper provides a general theorem that covers a large family of invariants for which $\mathcal{G}(D)$ or $\mathcal{M}(D)$ is extremal. Many known results, for example on the Wiener index, the number of subtrees, the number of independent subsets and the number of matchings follow as corollaries, as do some new results on invariants such as the number of rooted spanning forests, the incidence energy and the solvability. We also extend our results on trees with fixed degree sequence $D$ to the set of trees whose degree sequence is majorised by a given sequence $D$, which also has a number of applications.
A general framework for hypergraph colouring
Published
• View Publication
• BIB
The Lovász Local Lemma is a powerful probabilistic technique for proving the existence of combinatorial objects. It is especially useful for colouring graphs and hypergraphs with bounded maximum degree. This paper presents a general theorem for colouring hypergraphs that in many instances matches or slightly improves upon the bounds obtained using the Lovász Local Lemma. Moreover, the theorem directly shows that there are exponentially many colourings. The elementary and self-contained proof is inspired by a recent result for nonrepetitive colourings by Rosenfeld [2020]. We apply our general theorem in the setting of proper hypergraph colouring, proper graph colouring, independent transversals, star colouring, nonrepetitive colouring, frugal colouring, Ramsey number lower bounds, and for $k$-SAT.
Approximating pathwidth for graphs of small treewidth
Published in ACM Transactions on Algorithms, 19/2:1--19, 2023
• View Publication
• BIB
We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some function $f$.
Our approach builds on the following key insight: every graph with large pathwidth has large treewidth or contains a subdivision of a large complete binary tree. Specifically, we show that every graph with pathwidth at least $th+2$ has treewidth at least $t$ or contains a subdivision of a complete binary tree of height $h+1$. The bound $th+2$ is best possible up to a multiplicative constant. This result was motivated by, and implies (with $c=2$), the following conjecture of Kawarabayashi and Rossman (SODA'18): there exists a universal constant $c$ such that every graph with pathwidth $Ω(k^c)$ has treewidth at least $k$ or contains a subdivision of a complete binary tree of height $k$.
Our main technical algorithm takes a graph $G$ and some (not necessarily optimal) tree decomposition of $G$ of width $t'$ in the input, and it computes in polynomial time an integer $h$, a certificate that $G$ has pathwidth at least $h$, and a path decomposition of $G$ of width at most $(t'+1)h+1$. The certificate is closely related to (and implies) the existence of a subdivision of a complete binary tree of height $h$. The approximation algorithm for pathwidth is then obtained by combining this algorithm with the approximation algorithm of Feige, Hajiaghayi, and Lee (STOC'05) for treewidth.
On the chromatic number of the preferential attachment graph
Published
• View Publication
• BIB
We prove that for every $m\in \mathbb N$ and every $δ\in (-m,0)$, the chromatic number of the preferential attachment graph $PA_t(m, δ)$ is asymptotically almost surely equal to $m+1$. The proof relies on a combinatorial construction of a family of digraphs of chromatic number $m+1$ followed by a proof that asymptotically almost surely there is a digraph in this family, which is realised as a subgraph of the preferential attachment graph.