graph
34665 papers tagged with this keyword
On strongly walk regular graphs, triple sum sets and their codes
Published in Designs, Codes and Cryptography 91[2] (2023)
• View Publication
• BIB
Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary case for medium size code lengths. For the binary case, the divisibility of the weights of these codes is investigated and several general results are shown. It is known that an $s$-SWRG has at most 4 distinct eigenvalues $k > θ_1 > θ_2 > θ_3$, and that the triple $(θ_1, θ_2, θ_3)$ satisfies a certain homogeneous polynomial equation of degree $s - 2$ (Van Dam, Omidi, 2013). This equation defines a plane algebraic curve; we use methods from algorithmic arithmetic geometry to show that for $s = 5$ and $s = 7$, there are only the obvious solutions, and we conjecture this to remain true for all (odd) $s \ge 9$.
On the Bond Polytope
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, the maximum bond problem searches for a maximum cut $δ(S) \subseteq E$ with $S \subseteq V$ such that $G[S]$ and $G[V\setminus S]$ are connected. This problem is closely related to the well-known maximum cut problem and known under a variety of names such as largest bond, maximum minimal cut and maximum connected (sides) cut. The bond polytope is the convex hull of all incidence vectors of bonds. Similar to the connection of the corresponding optimization problems, the bond polytope is closely related to the cut polytope. While cut polytopes have been intensively studied, there are no results on bond polytopes. We start a structural study of the latter.
We investigate the relation between cut- and bond polytopes and study the effect of graph modifications on bond polytopes and their facets. Moreover, we study facet-defining inequalities arising from edges and cycles for bond polytopes. In particular, these yield a complete linear description of bond polytopes of cycles and $3$-connected planar $(K_5-e)$-minor free graphs. Moreover we present a reduction of the maximum bond problem on arbitrary graphs to the maximum bond problem on $3$-connected graphs. This yields a linear time algorithm for maximum bond on $(K_5-e)$-minor free graphs.
Turán Density of $2$-edge-colored Bipartite Graphs with Application on $\{2, 3\}$-Hypergraphs
Published
• View Publication
• BIB
We consider the Turán problems of $2$-edge-colored graphs. A $2$-edge-colored graph $H=(V, E_r, E_b)$ is a triple consisting of the vertex set $V$, the set of red edges $E_r$ and the set of blue edges $E_b$ with $E_r$ and $E_b$ do not have to be disjoint. The Turán density $π(H)$ of $H$ is defined to be $\lim_{n\to\infty} \max_{G_n}h_n(G_n)$, where $G_n$ is chosen among all possible $2$-edge-colored graphs on $n$ vertices containing no $H$ as a sub-graph and $h_n(G_n)=(|E_r(G)|+|E_b(G)|)/{n\choose 2}$ is the formula to measure the edge density of $G_n$. We will determine the Turán densities of all $2$-edge-colored bipartite graphs. We also give an important application of our study on the Turán problems of $\{2, 3\}$-hypergraphs.
Component factors in $K_{1,r}$-free graphs
Published
• View Publication
• BIB
A graph is said to be $K_{1,r}$-free if it does not contain an induced subgraph isomorphic to $K_{1,r}$. An $\mathcal{F}$-factor is a spanning subgraph $H$ such that each connected component of $H$ is isomorphic to some graph in $\mathcal{F}$. In particular, $H$ is called an $\{P_2,P_3\}$-factor of $G$ if $\mathcal{F}=\{P_2,P_3\}$; $H$ is called an $\mathcal{S}_n$-factor of $G$ if $\mathcal{F}=\{K_{1,1},K_{1,2},K_{1,3},...,K_{1,n}\}$, where $n\geq2$. A spanning subgraph of a graph $G$ is called a $\mathcal{P}_{\geq k}$-factor of $G$ if its each component is isomorphic to a path of order at least $k$, where $k\geq2$. A graph $G$ is called a $\mathcal{F}$-factor covered graph if there is a $\mathcal{F}$-factor of $G$ including $e$ for any $e\in E(G)$. In this paper, we give a minimum degree condition for a $K_{1,r}$-free graph to have an $\mathcal{S}_n$-factor and a $\mathcal{P}_{\geq 3}$-factor, respectively. Further, we obtain sufficient conditions for $K_{1,r}$-free graphs to be $\mathcal{P}_{\geq 2}$-factor, $\mathcal{P}_{\geq 3}$-factor or $\{P_2,P_3\}$-factor covered graphs. In addition, examples show that our results are sharp.
Enumeration of paths in Young--Fibonacci graph
Published
• View Publication
• BIB
The Young--Fibonacci graph is the Hasse diagram of one of the two (along with the Young lattice) 1-differential graded modular lattices. This explains the interest to path enumeration problems in this graph. We obtain a formula for the number of paths between two vertices of the Young--Fibonacci graph which is polynomial with respect to the minimum of their ranks.
Percolation of a strongly connected component in simple directed random graphs with a given degree distribution
We study site and bond percolation on directed simple random graphs with a given degree distribution and derive the expressions for the critical value of the percolation probability above which the giant strongly connected component emerges and the fraction of vertices in this component.
Homotopy Covers of Graphs
Published
• View Publication
• BIB
We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed into moves which adjust at most one vertex at a time, generalizing the spider lemma of \cite{CS1}. We define a notion of homotopy covering map and develop a theory of universal covers and deck transformations, generalizing \cites{TardifWroncha, Matsushita} to non-simple graphs. We examine the case of reflexive graphs, where each vertex has at least one loop. We also prove that these homotopy covering maps satisfy a homotopy lifting property for arbitrary graph homomorphisms, generalizing path lifting results of \cites{Matsushita, TardifWroncha}.
Clustered colouring of graph classes with bounded treedepth or pathwidth
Published
• View Publication
• BIB
The "clustered chromatic number" of a class of graphs is the minimum integer $k$ such that for some integer $c$ every graph in the class is $k$-colourable with monochromatic components of size at most $c$. We determine the clustered chromatic number of any minor-closed class with bounded treedepth, and prove a best possible upper bound on the clustered chromatic number of any minor-closed class with bounded pathwidth. As a consequence, we determine the fractional clustered chromatic number of every minor-closed class.
Linkedness of Cartesian products of complete graphs
This paper is concerned with the linkedness of Cartesian products of complete graphs. A graph with at least $2k$ vertices is {\it $k$-linked} if, for every set of $2k$ distinct vertices organised in arbitrary $k$ pairs of vertices, there are $k$ vertex-disjoint paths joining the vertices in the pairs.
We show that the Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ of complete graphs $K^{d_{1}+1}$ and $K^{d_{2}+1}$ is $\floor{(d_{1}+d_{2})/2}$-linked for $d_{1},d_{2}\ge 2$, and this is best possible.
%A polytope is said to be {\it $k$-linked} if its graph is $k$-linked.
This result is connected to graphs of simple polytopes. The Cartesian product $K^{d_{1}+1}\times K^{d_{2}+1}$ is the graph of the Cartesian product $T(d_{1})\times T(d_{2})$ of a $d_{1}$-dimensional simplex $T(d_{1})$ and a $d_{2}$-dimensional simplex $T(d_{2})$. And the polytope $T(d_{1})\times T(d_{2})$ is a {\it simple polytope}, a $(d_{1}+d_{2})$-dimensional polytope in which every vertex is incident to exactly $d_{1}+d_{2}$ edges.
While not every $d$-polytope is $\floor{d/2}$-linked, it may be conjectured that every simple $d$-polytope is. Our result implies the veracity of the revised conjecture for Cartesian products of two simplices.
Cycle convexity and the tunnel number of links
In this work, we introduce a new graph convexity, that we call Cycle Convexity, motivated by related notions in Knot Theory.
For a graph $G=(V,E)$, define the interval function in the Cycle Convexity as $I_{cc}(S) = S\cup \{v\in V(G)\mid \text{there is a cycle }C\text{ in }G\text{ such that } V(C)\setminus S=\{v\}\}$, for every $S\subseteq V(G)$. We say that $S\subseteq V(G)$ is convex if $I_{cc}(S)=S$. The convex hull of $S\subseteq V(G)$, denoted by $Hull(S)$, is the inclusion-wise minimal convex set $S'$ such that $S\subseteq S'$. A set $S\subseteq V(G)$ is called a hull set if $Hull(S)=V(G)$. The hull number of $G$ in the cycle convexity, denoted by $hn_{cc}(G)$, is the cardinality of a smallest hull set of $G$.
We first present the motivation for introducing such convexity and the study of its related hull number. Then, we prove that: the hull number of a 4-regular planar graph is at most half of its vertices; computing the hull number of a planar graph is an $NP$-complete problem; computing the hull humber of chordal graphs, $P_4$-sparse graphs and grids can be done in polynomial time.
Note on the connectivity keeping spiders in $k$-connected graphs
W. Mader [J. Graph Theory 65 (2010), 61--69] conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with $δ(G)\geq\lfloor\frac{3k}{2}\rfloor+m-1$ contains a tree $T'\cong T$ such that $G-V(T')$ remains $k$-connected. In 2010, Mader confirmed the conjecture for the $k$-connected graph if $T$ is a path; very recently, Liu et al. confirmed the conjecture if $k=2,3$. The conjecture is open for $k\geq 4$ till now. In this paper, we show that Mader's conjecture is true for the $k+1$-connected graph if $T$ is a spider and $Δ(G)=|G|-1$.
Conflict-free connection number and independence number of a graph
Published
• View Publication
• BIB
An edge-colored graph $G$ is conflict-free connected if any two of its vertices are connected by a path, which contains a color used on exactly one of its edges. The conflict-free connection number of a connected graph $G$, denoted by $cfc(G)$, is defined as the minimum number of colors that are required in order to make $G$ conflict-free connected. In this paper, we investigate the relation between the conflict-free connection number and the independence number of a graph. We firstly show that $cfc(G)\le α(G)$ for any connected graph $G$, and an example is given showing that the bound is sharp. With this result, we prove that if $T$ is a tree with $Δ(T)\ge \frac{α(T)+2}{2}$, then $cfc(T)=Δ(T)$.
Rainbow and monochromatic circuits and cuts in binary matroids
Given a matroid together with a coloring of its ground set, a subset of its elements is called rainbow colored if no two of its elements have the same color. We show that if a binary matroid of rank $r$ is colored with exactly $r$ colors, then $M$ either contains a rainbow colored circuit or a monochromatic cut. As the class of binary matroids is closed under taking duals, this immediately implies that if $M$ is colored with exactly $n-r$ colors, then $M$ either contains a rainbow colored cut or a monochromatic circuit. As a byproduct, we give a characterization of binary matroids in terms of reductions to partition matroids.
Motivated by a conjecture of Bérczi et al., we also analyze the relation between the covering number of a binary matroid and the maximum number of colors or the maximum size of a color class in any of its rainbow circuit-free colorings. For simple graphic matroids, we show that there exists a rainbow circuit-free coloring that uses each color at most twice only if the graph is $(2,3)$-sparse, that is, it is independent in the $2$-dimensional rigidity matroid. Furthermore, we give a complete characterization of minimally rigid graphs admitting such a coloring.
Divisible subdivisions
Published
• View Publication
• BIB
We prove that for every graph $H$ of maximum degree at most $3$ and for every positive integer $q$ there is a finite $f=f(H,q)$ such that every $K_f$-minor contains a subdivision of $H$ in which every edge is replaced by a path whose length is divisible by $q$. For the case of cycles we show that for $f=O(q \log q)$ every $K_f$-minor contains a cycle of length divisible by $q$, and observe that this settles a recent problem of Friedman and the second author about cycles in (weakly) expanding graphs.
Decomposition of $(2k+1)$-regular graphs containing special spanning $2k$-regular Cayley graphs into paths of length $2k+1$
Published
• View Publication
• BIB
A $P_\ell$-decomposition of a graph $G$ is a set of paths with $\ell$ edges in $G$ that cover the edge set of $G$. Favaron, Genest, and Kouider (2010) conjectured that every $(2k+1)$-regular graph that contains a perfect matching admits a $P_{2k+1}$-decomposition. They also verified this conjecture for $5$-regular graphs without cycles of length $4$. In 2015, Botler, Mota, and Wakabayashi verified this conjecture for $5$-regular graphs without triangles. In this paper, we verify it for $(2k+1)$-regular graphs that contain the $k$th power of a spanning cycle; and for $5$-regular graphs that contain special spanning $4$-regular Cayley graphs.
Discrepancies of Spanning Trees and Hamilton Cycles
Published
• View Publication
• BIB
We study the multicolour discrepancy of spanning trees and Hamilton cycles in graphs. As our main result, we show that under very mild conditions, the $r$-colour spanning-tree discrepancy of a graph $G$ is equal, up to a constant, to the minimum $s$ such that $G$ can be separated into $r$ equal parts by deleting $s$ vertices. This result arguably resolves the question of estimating the spanning-tree discrepancy in essentially all graphs of interest. In particular, it allows us to immediately deduce as corollaries most of the results that appear in a recent paper of Balogh, Csaba, Jing and Pluhár, proving them in wider generality and for any number of colours. We also obtain several new results, such as determining the spanning-tree discrepancy of the hypercube. For the special case of graphs possessing certain expansion properties, we obtain exact asymptotic bounds.
We also study the multicolour discrepancy of Hamilton cycles in graphs of large minimum degree, showing that in any $r$-colouring of the edges of a graph with $n$ vertices and minimum degree at least $\frac{r+1}{2r}n + d$, there must exist a Hamilton cycle with at least $\frac{n}{r} + 2d$ edges in some colour. This extends a result of Balogh et al., who established the case $r = 2$. The constant $\frac{r+1}{2r}$ in this result is optimal; it cannot be replaced by any smaller constant.
Isomorphic Bisections of Cubic Graphs
Published
• View Publication
• BIB
Graph partitioning, or the dividing of a graph into two or more parts based on certain conditions, arises naturally throughout discrete mathematics, and problems of this kind have been studied extensively. In the 1990s, Ando conjectured that the vertices of every cubic graph can be partitioned into two parts that induce isomorphic subgraphs. Using probabilistic methods together with delicate recolouring arguments, we prove Ando's conjecture for large connected graphs.
A note on simplicial cliques
Published in Discrete Mathematics, Volume 344, Issue 9, September 2021, 112470
• View Publication
• BIB
Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden induced subgraphs.
On Squared Distance Matrix of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let $G = K_{n_1,n_2,\cdots,n_t}$ be a complete $t$-partite graph on $n=\sum_{i=1}^t n_i$ vertices. The distance between vertices $i$ and $j$ in $G$, denoted by $d_{ij}$ is defined to be the length of the shortest path between $i$ and $j$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. We define the squared distance energy $E_Δ(G)$ of $G$ to be the sum of the absolute values of its eigenvalues. We determine the inertia of $Δ(G)$ and compute the squared distance energy $E_Δ(G)$. More precisely, we prove that if $n_i \geq 2$ for $1\leq i \leq t$, then $ E_Δ(G)=8(n-t)$ and if $ h= |\{i : n_i=1\}|\geq 1$, then $$ 8(n-t)+2(h-1) \leq E_Δ(G) < 8(n-t)+2h.$$ Furthermore, we show that for a fixed value of $n$ and $t$, both the spectral radius of the squared distance matrix and the squared distance energy of complete $t$-partite graphs on $n$ vertices are maximal for complete split graph $S_{n,t}$ and minimal for Tur{á}n graph $T_{n,t}$.
Coloring of Graphs Avoiding Bicolored Paths of a Fixed Length
The problem of finding the minimum number of colors to color a graph properly without containing any bicolored copy of a fixed family of subgraphs has been widely studied. Most well-known examples are star coloring and acyclic coloring of graphs (Grünbaum, 1973) where bicolored copies of $P_4$ and cycles are not allowed, respectively. In this paper, we introduce a variation of these problems and study proper coloring of graphs not containing a bicolored path of a fixed length and provide general bounds for all graphs. A $P_k$-coloring of an undirected graph $G$ is a proper vertex coloring of $G$ such that there is no bicolored copy of $P_k$ in $G,$ and the minimum number of colors needed for a $P_k$-coloring of $G$ is called the $P_k$-chromatic number of $G,$ denoted by $s_k(G).$ We provide bounds on $s_k(G)$ for all graphs, in particular, proving that for any graph $G$ with maximum degree $d\geq 2,$ and $k\geq4,$ $s_k(G)=O(d^{\frac{k-1}{k-2}}).$ Moreover, we find the exact values for the $P_k$-chromatic number of the products of some cycles and paths for $k=5,6.$