graph
34828 papers tagged with this keyword
Colouring squares of claw-free graphs
Published
• View Publication
• BIB
Is there some absolute $\varepsilon > 0$ such that for any claw-free graph $G$, the chromatic number of the square of $G$ satisfies $χ(G^2) \le (2-\varepsilon) ω(G)^2$, where $ω(G)$ is the clique number of $G$? Erdős and Nešetřil asked this question for the specific case of $G$ the line graph of a simple graph and this was answered in the affirmative by Molloy and Reed. We show that the answer to the more general question is also yes, and moreover that it essentially reduces to the original question of Erdős and Nešetřil.
Squared chromatic number without claws or large cliques
Published in Can. Math. Bull. 62 (2019) 23-35
• View Publication
• BIB
Let $G$ be a claw-free graph on $n$ vertices with clique number $ω$, and consider the chromatic number $χ(G^2)$ of the square $G^2$ of $G$. Writing $χ'_s(d)$ for the supremum of $χ(L^2)$ over the line graphs $L$ of simple graphs of maximum degree at most $d$, we prove that $χ(G^2)\le χ'_s(ω)$ for $ω\in \{3,4\}$. For $ω=3$, this implies the sharp bound $χ(G^2) \leq 10$. For $ω=4$, this implies $χ(G^2)\leq 22$, which is within $2$ of the conjectured best bound. This work is motivated by a strengthened form of a conjecture of Erdős and Nešetřil.
A brief introduction to Spectral Graph Theory
Published in EMS Textbooks in Mathematics (2018)
• View Publication
• BIB
Expanded lecture notes. Preliminary version, comments are welcome.
Properties of the multiway discrepancy
Some properties of the multiway discrepanc of rectangular matrices of nonnegative entries are discussed. We are able to prove the continuity of this discrepancy, as well as some statements about the multiway discrepancy of some special matrices and graphs. We also conjecture that the k-way discrepancy is monotonic in k.
How much does a treedepth modulator help to obtain polynomial kernels beyond sparse graphs?
Published
• View Publication
• BIB
In the last years, kernelization with structural parameters has been an active area of research within the field of parameterized complexity. As a relevant example, Gajarsk{y} et al. [ESA 2013] proved that every graph problem satisfying a property called finite integer index admits a linear kernel on graphs of bounded expansion and an almost linear kernel on nowhere dense graphs, parameterized by the size of a $c$-treedepth modulator, which is a vertex set whose removal results in a graph of treedepth at most $c$, where $c \geq 1$ is a fixed integer. The authors left as further research to investigate this parameter on general graphs, and in particular to find problems that, while admitting polynomial kernels on sparse graphs, behave differently on general graphs.
In this article we answer this question by finding two very natural such problems: we prove that Vertex Cover admits a polynomial kernel on general graphs for any integer $c \geq 1$, and that Dominating Set does not for any integer $c \geq 2$ even on degenerate graphs, unless $\text{NP} \subseteq \text{coNP}/\text{poly}$. For the positive result, we build on the techniques of Jansen and Bodlaender [STACS 2011], and for the negative result we use a polynomial parameter transformation for $c\geq 3$ and an OR-cross-composition for $c = 2$. As existing results imply that Dominating Set admits a polynomial kernel on degenerate graphs for $c = 1$, our result provides a dichotomy about the existence of polynomial kernels for Dominating Set on degenerate graphs with this parameter.
Total domination polynomial of graphs from primary subgraphs
Published
• View Publication
• BIB
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum d_t(G,i)$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identify these two vertices. Then continue in this manner inductively. We say that $G$ is obtained by point-attaching from $G_1, \ldots ,G_k$ and that $G_i$'s are the primary subgraphs of $G$. In this paper, we consider some particular cases of these graphs that most of them are of importance in chemistry and study their total domination polynomials.
Variants of the Erdos-Szekeres and Erdos-Hajnal Ramsey problems
Published
• View Publication
• BIB
Given integers $\ell,n$, the $\ell$th power of the path $P_n$ is the ordered graph $P_n^{\ell}$ with vertex set $v_1<v_2<\cdots < v_n$, and all edges of the form $v_iv_j$ where $|i-j|\le \ell$. The ramsey number $r(P_n^{\ell}, P_n^{\ell})$ is the minimum $N$ such that every 2-coloring of ${[N] \choose 2}$ results in a monochromatic copy of $P_n^{\ell}$. It is well-known that $r(P_n^1, P_n^1)=(n-1)^2+1$. For $\ell>1$, Balko-Cibulka-Král-Kynčl proved that $r(P_n^{\ell}, P_n^{\ell})< c_{\ell}n^{128 \ell}$ and asked for the growth rate for fixed $\ell$. When $\ell=2$, we improve this upper bound by proving $r(P_n^{2}, P_n^{2})< cn^{19.5}$. Using this result, we determine the correct tower growth rate of the $k$-uniform hypergraph ramsey number of a $(k+1)$-clique versus an ordered tight path. Finally, we consider an ordered version of the classical Erd Hos-Hajnal hypergraph ramsey problem, improve the tower height given by the trivial upper bound, and conjecture that this tower height is optimal.
Neighborhood growth dynamics on the Hamming plane
Published in The Electronic Journal of Combinatorics 24(4)(2017), #P4.291
• View Publication
• BIB
We initiate the study of general neighborhood growth dynamics on two dimensional Hamming graphs. The decision to add a point is made by counting the currently occupied points on the horizontal and the vertical line through it, and checking whether the pair of counts lies outside a fixed Young diagram. We focus on two related extremal quantities. The first is the size of the smallest set that eventually occupies the entire plane. The second is the minimum of an energy-entropy functional that comes from the scaling of the probability of eventual full occupation versus the density of the initial product measure within a rectangle. We demonstrate the existence of this scaling and study these quantities for large Young diagrams.
Matching preclusion for $n$-grid graphs
Published
• View Publication
• BIB
A matching preclusion set of a graph is an edge set whose deletion results in a graph without perfect matching or almost perfect matching. The Cartesian product of $n$ paths is called an $n$-grid graph. In this paper, we study the matching preclusion problems for $n$-grid graphs and obtain the following results. If an $n$-grid graph has an even order, then it has the matching preclusion number $n$, and every optimal matching preclusion set is trivial. If the $n$-grid graph has an odd order, then it has the matching preclusion number $n+1$, and all the optimal matching preclusion sets are characterized.
Stabilizing on the distinguishing number of a graph
Published
• View Publication
• BIB
The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The distinguishing stability, of a graph $G$ is denoted by $st_D(G)$ and is the minimum number of vertices whose removal changes the distinguishing number. We obtain a general upper bound $st_D(G) \leqslant \vert V(G)\vert -D(G)+1$, and a relationships between the distinguishing stabilities of graphs $G$ and $G-v$, i.e., $st_D(G)\leqslant st_D(G-v)+1$, where $v\in V(G)$. Also we study the edge distinguishing stability number (distinguishing bondage number) of $G$.
Asymptotic tensor rank of graph tensors: beyond matrix multiplication
Published in J. comput. complex. (2019) 28: 57
• View Publication
• BIB
We present an upper bound on the exponent of the asymptotic behaviour of the tensor rank of a family of tensors defined by the complete graph on $k$ vertices. For $k\geq4$, we show that the exponent per edge is at most 0.77, outperforming the best known upper bound on the exponent per edge for matrix multiplication ($k=3$), which is approximately 0.79. We raise the question whether for some $k$ the exponent per edge can be below $2/3$, i.e. can outperform matrix multiplication even if the matrix multiplication exponent equals 2. In order to obtain our results, we generalise to higher order tensors a result by Strassen on the asymptotic subrank of tight tensors and a result by Coppersmith and Winograd on the asymptotic rank of matrix multiplication. Our results have applications in entanglement theory and communication complexity.
Boundary Measurement Matrices for Directed Networks on Surfaces
Published in Adv. in Appl. Math. 93 (2018), 69--92
• View Publication
• BIB
Franco, Galloni, Penante, and Wen have proposed a boundary measurement map for a graph on any closed orientable surface with boundary. We consider this boundary measurement map which takes as input an edge weighted directed graph embedded on a surface and produces on element of a Grassmannian. Computing the boundary measurement requires a choice of fundamental domain. Here the boundary measurement map is shown to be independent of the choice of fundamental domain Also, a formula for the Plücker coordinates of the element of Grassmannian in the image of the boundary measurement map is given. The formula expresses the Plücker coordinates as a rational function which can be combinatorially described in terms of paths and cycles in the directed graph.
Pre-adjunctions and the Ramsey property
Showing that the Ramsey property holds for a class of finite structures can be an extremely challenging task and a slew of sophisticated methods have been proposed in literature. In this paper we propose a new strategy to show that a class of structures has the Ramsey property. The strategy is based on a relatively simple result in category theory and consists of establishing a pre-adjunction between the category of structures which is known to have the Ramsey property, and the category of structures we are interested in. This strategy was implicitly used already in 1981 by H.J. Prömel and B. Voigt in their proof of the Ramsey property for the class of finite linearly ordered graphs. We demonstrate the applicability of this strategy by providing short proofs of three important well known results: we show the Ramsey property for the category of all finite linearly ordered posets with embeddings, for the category of finite convexly ordered ultrametric spaces with embeddings, and for the category of all finite linearly ordered metric spaces (rational metric spaces) with embeddings.
Long cycles in locally expanding graphs, with applications
Published
• View Publication
• BIB
We provide sufficient conditions for the existence of long cycles in locally expanding graphs, and present applications of our conditions and techniques to Ramsey theory, random graphs and positional games.
On the Wiener index, distance cospectrality and transmission regular graphs
Published in Discrete Applied Mathematics, 230 (2017), 1-10
• View Publication
• BIB
In this paper, we investigate various algebraic and graph theoretic properties of the distance matrix of a graph. Two graphs are $D$-cospectral if their distance matrices have the same spectrum. We construct infinite pairs of $D$-cospectral graphs with different diameter and different Wiener index. A graph is $k$-transmission-regular if its distance matrix has constant row sum equal to $k$. We establish tight upper and lower bounds for the row sum of a $k$-transmission-regular graph in terms of the number of vertices of the graph. Finally, we determine the Wiener index and its complexity for linear $k$-trees, and obtain a closed form for the Wiener index of block-clique graphs in terms of the Laplacian eigenvalues of the graph. The latter leads to a generalization of a result for trees which was proved independently by Mohar and Merris.
Graphs vertex-partitionable into strong cliques
A graph is said to be well-covered if all its maximal independent sets are of the same size. In 1999, Yamashita and Kameda introduced a subclass of well-covered graphs, called localizable graphs and defined as graphs having a partition of the vertex set into strong cliques, where a clique in a graph is strong if it intersects all maximal independent sets. Yamashita and Kameda observed that all well-covered trees are localizable, pointed out that the converse inclusion fails in general, and asked for a characterization of localizable graphs.
In this paper we obtain several structural and algorithmic results about localizable graphs. Our results include a proof of the fact that every very well-covered graph is localizable and characterizations of localizable graphs within the classes of line graphs, triangle-free graphs, $C_4$-free graphs, and cubic graphs, each leading to a polynomial time recognition algorithm. On the negative side, we prove NP-hardness of recognizing localizable graphs within the classes of weakly chordal graphs, complements of line graphs, and graphs of independence number three. Furthermore, using localizable graphs we disprove a conjecture due to Zaare-Nahandi about $k$-partite well-covered graphs having all maximal cliques of size $k$. Our results unify and generalize several results from the literature.
Strongly regular graphs from orthogonal groups $O^+(6,2)$ and $O^-(6,2)$
In this paper we construct all strongly regular graphs, with at most 600 vertices, admitting a transitive action of the orthogonal group $O^+(6,2)$ or $O^-(6,2)$. Consequently, we prove the existence of strongly regular graphs with parameters (216,40,4,8) and (540,187,58,68). We also construct a strongly regular graph with parameters (540,224,88,96) that was to the best of our knowledge previously unknown. Further, we show that under certain conditions an orbit matrix $M$ of a strongly regular graph $Γ$ can be used to define a new strongly regular graph $\widetildeΓ$, where the vertices of the graph $\widetildeΓ$ correspond to the orbits of $Γ$ (the rows of $M$). We show that some of the obtained graphs are related to each other in a way that one can be constructed from an orbit matrix of the other.
Cayley graphs with metric dimension two - A characterization
In this paper, we study the metric dimension of Cayley graphs. Specially, we present a complete characterization of Cayley graphs on Abelian groups whose metric dimension is two.
No-hole $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling for Square Grid
Given a fixed $k$ $\in$ $\mathbb{Z}^+$ and $λ$ $\in$ $\mathbb{Z}^+$, the objective of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of a graph $G$ is to assign non-negative integers (known as labels) from the set $\{0, \ldots, λ-1\}$ to the vertices of $G$ such that the adjacent vertices receive values which differ by at least $k$, vertices connected by a path of length two receive values which differ by at least $k-1$, and so on. The vertices which are at least $k+1$ distance apart can receive the same label. The smallest $λ$ for which there exists a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of $G$ is known as the $L(k, k-1, \ldots, 2, 1)$-labeling number of $G$ and is denoted by $λ_k(G)$. The ratio between the upper bound and the lower bound of a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling is known as the approximation ratio. In this paper a lower bound on the value of the labeling number for square grid is computed and a formula is proposed which yields a $λ$-$L(k, k-1, \ldots, 2, 1)$-labeling of square grid, with approximation ratio at most $\frac{9}{8}$. The labeling presented is a no-hole one, i.e., it uses each label from $0$ to $λ-1$ at least once.
Hyperbolic families and coloring graphs on surfaces
Published
• View Publication
• BIB
Let $G$ be a graph embedded in a fixed surface $Σ$ of genus $g$ and let $L=(L(v):v\in V(G))$ be a collection of lists such that either each list has size at least five, or each list has size at least four and $G$ is triangle-free, or each list has size at least three and $G$ has no cycle of length four or less. An $L$-coloring of $G$ is a mapping $φ$ with domain $V(G)$ such that $φ(v)\in L(v)$ for every $v\in V(G)$ and $φ(v)\neφ(u)$ for every pair of adjacent vertices $u,v\in V(G)$. We prove
* if every non-null-homotopic cycle in $G$ has length $Ω(\log g)$, then $G$ has an $L$-coloring,
* if $G$ does not have an $L$-coloring, but every proper subgraph does ("$L$-critical graph"), then $|V(G)|=O(g)$,
* if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and a set $X\subseteq V(G)$ of vertices that are pairwise at distance $Ω(1)$ is precolored from the corresponding lists, then the precoloring extends to an $L$-coloring of $G$,
* if every non-null-homotopic cycle in $G$ has length $Ω(g)$, and the graph $G$ is allowed to have crossings, but every two crossings are at distance $Ω(1)$, then $G$ has an $L$-coloring, and
* if $G$ has at least one $L$-coloring, then it has at least $2^{Ω(|V(G)|)}$ distinct $L$-colorings.
We show that the above assertions are consequences of certain isoperimetric inequalities satisfied by $L$-critical graphs, and we study the structure of families of embedded graphs that satisfy those inequalities. It follows that the above assertions hold for other coloring problems, as long as the corresponding critical graphs satisfy the same inequalities.