graph
34726 papers tagged with this keyword
On strictly Deza graphs derived from the Berlekamp-van Lint-Seidel graph
Published
• View Publication
• BIB
In this paper, we find strictly Deza graphs that can be obtained from the Berlekamp-van Lint-Seidel graph by applying dual Seidel switching.
Identifiability of Graphs with Small Color Classes by the Weisfeiler-Leman Algorithm
As it is well known, the isomorphism problem for vertex-colored graphs with color multiplicity at most 3 is solvable by the classical 2-dimensional Weisfeiler-Leman algorithm (2-WL). On the other hand, the prominent Cai-Fürer-Immerman construction shows that even the multidimensional version of the algorithm does not suffice for graphs with color multiplicity 4. We give an efficient decision procedure that, given a graph $G$ of color multiplicity 4, recognizes whether or not $G$ is identifiable by 2-WL, that is, whether or not 2-WL distinguishes $G$ from any non-isomorphic graph. In fact, we solve the much more general problem of recognizing whether or not a given coherent configuration of maximum fiber size 4 is separable. This extends our recognition algorithm to graphs of color multiplicity 4 with directed and colored edges.
Our decision procedure is based on an explicit description of the class of graphs with color multiplicity 4 that are not identifiable by 2-WL. The Cai-Fürer-Immerman graphs of color multiplicity 4 distinctly appear here as a natural subclass, which demonstrates that the Cai-Fürer-Immerman construction is not ad hoc. Our classification reveals also other types of graphs that are hard for 2-WL. One of them arises from patterns known as $(n_3)$-configurations in incidence geometry.
Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the \textsc{${\cal F}$-TM-Deletion} problem has as input an $n$-vertex graph $G$ and an integer $k$ and asks whether there exists a set $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a topological minor. We prove that for every such ${\cal F}$, \textsc{${\cal F}$-TM-Deletion} is fixed parameter tractable on planar graphs. Our algorithm runs in a $2^{\mathcal{O}(k^2)}\cdot n^{2}$ time or, alternatively in $2^{\mathcal{O}(k)}\cdot n^{4}$ time. Our techniques can easily be extended to graphs that are embeddable on any fixed surface.
Some graft transformations and their applications on distance (signless) Laplacian spectra of graphs
Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ and $L_{D}(G)=Tr(G)-D(G)$ are respectively the distance signless Laplacian matrix and distance Laplacian matrix of $G$. The largest eigenvalues $ρ_{Q}(G)$ and $ρ_{L}(G)$ of $Q_D(G)$ and $L_D(G)$ are respectively called distance signless Laplacian spectral radius and distance Laplacian spectral radius of $G$. In this paper we give some graft transformations and use them to characterize the tree $T$ such that $ρ_{Q}(T)$ and $ρ_{L}(T)$ attain the maximum among all trees of order $n$ with given number of pendant vertices.
The number of rooted forests in circulant graphs
Published
• View Publication
• BIB
In this paper, we develop a new method to produce explicit formulas for the number $f_{G}(n)$ of rooted spanning forests in the circulant graphs $ G=C_{n}(s_1,s_2,\ldots,s_k)$ and $ G=C_{2n}(s_1,s_2,\ldots,s_k,n).$ These formulas are expressed through Chebyshev polynomials. We prove that in both cases the number of rooted spanning forests can be represented in the form $f_{G}(n)=p\,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending on the parity of $n$. Finally, we find an asymptotic formula for $f_{G}(n)$ through the Mahler measure of the associated Laurent polynomial $P(z)=2k+1-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
Packing Directed Cycles Quarter- and Half-Integrally
Published in Combinatorica 42(2), 1409-1438, 2022; Proceedings: ESA 2019, 72:1-72:13
• View Publication
• BIB
The celebrated Erdős-Pósa theorem states that every undirected graph that does not admit a family of $k$ vertex-disjoint cycles contains a feedback vertex set (a set of vertices hitting all cycles in the graph) of size $O(k \log k)$. After being known for long as Younger's conjecture, a similar statement for directed graphs has been proven in 1996 by Reed, Robertson, Seymour, and Thomas. However, in their proof, the dependency of the size of the feedback vertex set on the size of vertex-disjoint cycle packing is not elementary.
We show that if we compare the size of a minimum feedback vertex set in a directed graph with the quarter-integral cycle packing number, we obtain a polynomial bound. More precisely, we show that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most four of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^4)$. Furthermore, a variant of our proof shows that if in a directed graph $G$ there is no family of $k$ cycles such that every vertex of $G$ is in at most two of the cycles, then there exists a feedback vertex set in $G$ of size $O(k^6)$.
On the way there we prove a more general result about quarter-integral packing of subgraphs of high directed treewidth: for every pair of positive integers $a$ and $b$, if a directed graph $G$ has directed treewidth $Ω(a^6 b^8 \log^2(ab))$, then one can find in $G$ a family of $a$ subgraphs, each of directed treewidth at least $b$, such that every vertex of $G$ is in at most four subgraphs.
Vector Colorings of Random, Ramanujan, and Large-Girth Irregular Graphs
We prove that in sparse Erdős-Rényi graphs of average degree $d$, the vector chromatic number (the relaxation of chromatic number coming from the Lovàsz theta function) is typically $\tfrac{1}{2}\sqrt{d} + o_d(1)$. This fits with a long-standing conjecture that various refutation and hypothesis-testing problems concerning $k$-colorings of sparse Erdős-Rényi graphs become computationally intractable below the `Kesten-Stigum threshold' $d_{KS,k} = (k-1)^2$. Along the way, we use the celebrated Ihara-Bass identity and a carefully constructed non-backtracking random walk to prove two deterministic results of independent interest: a lower bound on the vector chromatic number (and thus the chromatic number) using the spectrum of the non-backtracking walk matrix, and an upper bound dependent only on the girth and universal cover. Our upper bound may be equivalently viewed as a generalization of the Alon-Boppana theorem to irregular graphs
Functorial Approach to Graph and Hypergraph Theory
We provide a new approach to categorical graph and hypergraph theory by using categorical syntax and semantics. For each monoid $M$ and action on a set $X$, there is an associated presheaf topos of $(X,M)$-graphs where each object can be interpreted as a generalized uniform hypergraph where each edge has cardinality $\#X$ incident vertices (including multiplicity) and where the monoid informs what type of cohesivity the edges possess. One distinguishing feature of $(X,M)$-graphs is the presence of unfixed edges. We prove that unfixed edges are a necessary feature of a category of graphs or uniform hypergraphs if one wants exponentials and effective equivalence relations to exist in the category. The main advantage of separating syntax (the $(X,M)$-graph theories) from semantics (the categories of $(X,M)$-graphs) is the ability to interpret the theory in any cocomplete category. This interpetation functor then yields a nerve-realization adjunction and allows us to transfer structure between the category of $(X,M)$-graphs and the receptive cocomplete category.
Clique immersions and independence number
Published
• View Publication
• BIB
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{χ(G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $α$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54α}-1.13\bigr\rceil$ vertices. We improve on this result for all $α\ge 3$, by showing that every $n$-vertex graph with independence number $α\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 α- f(α)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function.
Spectral zeta functions
Published
• View Publication
• BIB
This paper discusses the simplest examples of spectral zeta functions, especially those associated with graphs, a subject which has not been much studied. The analogy and the similar structure of these functions, such as their parallel definition in terms of the heat kernel and their functional equations, are emphasized. Another theme is to point out various contexts in which these non-classical zeta functions appear. This includes Eisenstein series, the Langlands program, Verlinde formulas, Riemann hypotheses, Catalan numbers, Dedekind sums, and hypergeometric functions. Several open-ended problems are suggested with the hope of stimulating further research.
Linear transformations between colorings in chordal graphs
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colorings of a $d$-degenerate graph $G$. Can we transform one into the other by recoloring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length.
If $k=d+2$, we know that there exists graphs for which a quadratic number of recolorings is needed. And when $k=2d+2$, there always exists a linear transformation. In this paper, we prove that, as long as $k \ge d+4$, there exists a transformation of length at most $f(Δ) \cdot n$ between any pair of $k$-colorings of chordal graphs (where $Δ$ denotes the maximum degree of the graph). The proof is constructive and provides a linear time algorithm that, given two $k$-colorings $c_1,c_2$ computes a linear transformation between $c_1$ and $c_2$.
On Hamiltonian cycles in balanced $k$-partite graphs
Published
• View Publication
• BIB
For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[ \left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}=\begin{cases} \lceil\frac{n}{2}\rceil+\lfloor\frac{n+2}{k+1}\rfloor-\frac{n}{k} & : k \text{ odd }\\ \frac{n}{2}+\lfloor\frac{n+2}{k+2}\rfloor-\frac{n}{k} & : k \text{ even } \end{cases}, \] then $G$ has a Hamiltonian cycle unless $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$. In the case where $k=2$ and 4 divides $n$, or $k=\frac{n}{2}$ and 4 divides $n$, we can characterize the graphs which do not have a Hamiltonian cycle and see that $\left\lceil\frac{n}{2}\right\rceil+\left\lfloor\frac{n+2}{2\lceil\frac{k+1}{2}\rceil}\right\rfloor-\frac{n}{k}+1$ suffices. This result is tight for all $k\geq 2$ and $n\geq 3$ divisible by $k$.
Testing Gap k-planarity is NP-complete
Published
• View Publication
• BIB
For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is NP-complete. In particular, given a graph with local crossing number either at most $k\ge 1$ or at least $2k$, we show that it is NP-complete to decide whether the local crossing number is at most $k$ or at least $2k$. This algorithmic lower bound proves the non-existence of a $(2-ε)$-approximation algorithm for any fixed $k \ge 1$. In addition, we analyze the sometimes competing relationship between the local crossing number (maximum number of crossings per edge) and crossing number (total number of crossings) of a drawing. We present results regarding the non-existence of drawings that simultaneously approximately minimize both the local crossing number and crossing number of a graph.
A lower bound on the average degree forcing a minor
Published in Electronic Journal of Combinatorics 27;P2.4, 2020
• View Publication
• BIB
We show that for sufficiently large $d$ and for $t\geq d+1$, there is a graph $G$ with average degree $(1-\varepsilon)λt \sqrt{\ln d}$ such that almost every graph $H$ with $t$ vertices and average degree $d$ is not a minor of $G$, where $λ=0.63817\dots$ is an explicitly defined constant. This generalises analogous results for complete graphs by Thomason (2001) and for general dense graphs by Myers and Thomason (2005). It also shows that an upper bound for sparse graphs by Reed and Wood (2016) is best possible up to a constant factor.
Paired domination and 2- distance Paired domination of the flower graph $f_{n\times m}$
Let $G = (V, E)$ be a graph without an isolated vertex. A set $D\subseteq V(G)$ is a $k$-distance paired domination set of $G$ if $D$ is a $k$-distance dominating set of $G$ and the induced subgraph $\langle D \rangle$ has a perfect matching. The minimum cardinality of a $k$-distance paired dominating set for graph $G$ is the $k$-distance paired domination number, denoted by $γ_{p} ^{k}(G)$. In this paper, the $k$-distance paired domination of the flower graph $f_{n\times m}$ is discussed. For $m,n\geq 3$, the exact values for paired domination number and $2$-distance paired domination number of flower graph $f_{n\times m}$ are determined
Elegant vertex labelings with prime numbers
We consider graph labelings with an assignment of odd prime numbers to the vertices. Similarly to graceful graphs, a labeling is said to be elegant if the absolute differences between the labels of adjacent vertices describe exactly the first even numbers. The labels of an elegant tree with $n$ vertices are the first $n$ odd prime numbers and we want that the resulting edge labels are exactly the first even numbers up to $2n-2$. We conjecture that each path is elegant and we give the algorithm with which we got elegant paths of $n$ primes for all $n$ up to $n=3500$.
Coboundary and cosystolic expansion from strong symmetry
Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not have high dimensional edge-expansion. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, prior to this work, the only known bounded degree cosystolic expanders known were derived from the theory of buildings that is far from being elementary.
In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove coboundary and cosystolic expansion.
Determining the Hausdorff Distance Between Trees in Polynomial Time
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Discrete Algorithms (August 19, 2021) dmtcs:6952
• View Publication
• BIB
The Hausdorff distance is a relatively new measure of similarity of graphs. The notion of the Hausdorff distance considers a special kind of a common subgraph of the compared graphs and depends on the structural properties outside of the common subgraph. There was no known efficient algorithm for the problem of determining the Hausdorff distance between two trees, and in this paper we present a polynomial-time algorithm for it. The algorithm is recursive and it utilizes the divide and conquer technique. As a subtask it also uses the procedure that is based on the well known graph algorithm of finding the maximum bipartite matching.
Covering graphs with convex sets and partitioning graphs into convex sets
We present some complexity results concerning the problems of covering a graph with $p$ convex sets and of partitioning a graph into $p$ convex sets. The following convexities are considered: digital convexity, monophonic convexity, $P_3$-convexity, and $P_3^*$-convexity.
Minimizing the numbers of cliques and cycles of fixed size in an $F$-saturated graph
Published in European Journal of Combinatorics, Volume 90, December 2020, 103185
• View Publication
• BIB
This paper considers two important questions in the well-studied theory of graphs that are $F$-saturated. A graph $G$ is called $F$-saturated if $G$ does not contain a subgraph isomorphic to $F$, but the addition of any edge creates a copy of $F$. We first resolve a fundamental question of minimizing the number of cliques of size $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, confirming a conjecture of Kritschgau, Methuku, Tait, and Timmons. We also go further and prove a corresponding stability result. Next we minimize the number of cycles of length $r$ in a $K_s$-saturated graph for all sufficiently large numbers of vertices, and classify the extremal graphs for most values of $r$, answering another question of Kritschgau, Methuku, Tait, and Timmons for most $r$. We then move on to a central and longstanding conjecture in graph saturation made by Tuza, which states that for every graph $F$, the limit $\lim_{n \rightarrow \infty} \frac{\sat(n, F)}{n}$ exists, where $\sat(n, F)$ denotes the minimum number of edges in an $n$-vertex $F$-saturated graph. Pikhurko made progress in the negative direction by considering families of graphs instead of a single graph, and proved that there exists a graph family $\mathcal{F}$ of size $4$ for which $\lim_{n \rightarrow \infty} \frac{\sat(n, \mathcal{F})}{n}$ does not exist (for a family of graphs $\mathcal{F}$, a graph $G$ is called $\mathcal{F}$-saturated if $G$ does not contain a copy of any graph in $\mathcal{F}$, but the addition of any edge creates a copy of a graph in $\mathcal{F}$, and $\sat(n, \mathcal{F})$ is defined similarly). We make the first improvement in 15 years by showing that there exist infinitely many graph families of size $3$ where this limit does not exist. Our construction also extends to the generalized saturation problem when we minimize the number of fixed-size cliques.