graph
34585 papers tagged with this keyword
Bounds for regular induced subgraphs of strongly regular graphs
Published
• View Publication
• BIB
Given feasible strongly regular graph parameters $(v,k,λ,μ)$ and a non-negative integer $d$, we determine upper and lower bounds on the order of a $d$-regular induced subgraph of any strongly regular graph with parameters $(v,k,λ,μ)$. Our new bounds are at least as good as the bounds on the order of a $d$-regular induced subgraph of a $k$-regular graph determined by Haemers. Further, we prove that for each non-negative integer $d$, our new upper bound improves on Haemers' upper bound for infinitely many strongly regular graphs.
Defective incidence coloring of graphs
Published
• View Publication
• BIB
We define the $d$-defective incidence chromatic number of a graph, generalizing the notion of incidence chromatic number, and determine it for some classes of graphs including trees, complete bipartite graphs, complete graphs, and outerplanar graphs. Fast algorithms for constructing the optimal $d$-defective incidence colorings of those graphs are presented.
Conflict-free incidence coloring of outer-1-planar graphs
Published
• View Publication
• BIB
An incidence of a graph $G$ is a vertex-edge pair $(v,e)$ such that $v$ is incidence with $e$. A conflict-free incidence coloring of a graph is a coloring of the incidences in such a way that two incidences $(u,e)$ and $(v,f)$ get distinct colors if and only if they conflict each other, i.e.,(i) $u=v$, (ii) $uv$ is $e$ or $f$, or (iii) there is a vertex $w$ such that $uw=e$ and $vw=f$. The minimum number of colors used among all conflict-free incidence colorings of a graph is the conflict-free incidence chromatic number. A graph is outer-1-planar if it can be drawn in the plane so that vertices are on the outer-boundary and each edge is crossed at most once. In this paper, we show that the conflict-free incidence chromatic number of an outer-1-planar graph with maximum degree $Δ$ is either $2Δ$ or $2Δ+1$ unless the graph is a cycle on three vertices, and moreover, all outer-1-planar graphs with conflict-free incidence chromatic number $2Δ$ or $2Δ+1$ are completely characterized. An efficient algorithm for constructing an optimal conflict-free incidence coloring of a connected outer-1-planar graph is given.
On the double covers of a line graph
Published
• View Publication
• BIB
Let $L(X)$ be the line graph of graph $X$. Let $X^{\prime\prime}$ be the Kronecker product of $X$ by $K_2$. In this paper, we see that $L(X^{\prime\prime})$ is a double cover of $L(X)$. We define the symmetric edge graph of $X$, denoted as $γ(X)$ which is also a double cover of $L(X)$. We study various properties of $γ(X)$ in relation to $X$ and the relationship amongst the three double covers of $L(X)$ that are $L(X^{\prime\prime}),γ(X)$ and $L(X)^{\prime\prime}$. With the help of these double covers, we show that for any integer $k\geq 5$, there exist two equienergetic graphs of order $2k$ that are not cospectral.
Perfect state transfer on bi-Cayley graphs over abelian groups
Published
• View Publication
• BIB
The study of perfect state transfer on graphs has attracted a great deal of attention during the past ten years because of its applications to quantum information processing and quantum computation. Perfect state transfer is understood to be a rare phenomenon. This paper establishes necessary and sufficient conditions for a bi-Cayley graph having perfect state transfer over any given finite abelian group. As corollaries, many known and new results are obtained on Cayley graphs having perfect state transfer over abelian groups, (generalized) dihedral groups, semi-dihedral groups and generalized quaternion groups. Especially, we give an example of a connected non-normal Cayley graph over a dihedral group having perfect state transfer between two distinct vertices, which was thought impossible.
A Lower Bound on the Failed Zero Forcing Number of a Graph
Published in Involve 16 (2023) 493-504
• View Publication
• BIB
Given a graph $G=(V,E)$ and a set of vertices marked as filled, we consider a color-change rule known as zero forcing. A set $S$ is a zero forcing set if filling $S$ and applying all possible instances of the color change rule causes all vertices in $V$ to be filled. A failed zero forcing set is a set of vertices that is not a zero forcing set. Given a graph $G$, the failed zero forcing number $F(G)$ is the maximum size of a failed zero forcing set. An open question was whether given any $k$ there is a an $\ell$ such that all graphs with at least $\ell$ vertices must satisfy $F(G)\geq k$. We answer this question affirmatively by proving that for a graph $G$ with $n$ vertices, $F(G)\geq \lfloor\frac{n-1}{2}\rfloor$.
Computer assisted discharging procedure on planar graphs: application to 2-distance coloring
Using computational techniques we provide a framework for proving results on subclasses of planar graphs via discharging method. The aim of this paper is to apply these techniques to study the 2-distance coloring of planar subcubic graphs. Applying these techniques we show that every subcubic planar graph $G$ of girth at least 8 has 2-distance chromatic number at most 6.
Degree 2 Boolean Functions on Grassmann Graphs
Published
• View Publication
• BIB
We investigate the existence of Boolean degree $d$ functions on the Grassmann graph of $k$-spaces in the vector space $\mathbb{F}_q^n$. For $d=1$ several non-existence and classification results are known, and no non-trivial examples are known for $n \geq 5$. This paper focusses on providing a list of examples on the case $d=2$ in general dimension and in particular for $(n, k)=(6,3)$ and $(n,k) = (8, 4)$.
We also discuss connections to the analysis of Boolean functions, regular sets/equitable bipartitions/perfect 2-colorings in graphs, $q$-analogs of designs, and permutation groups. In particular, this represents a natural generalization of Cameron-Liebler line classes.
Classifying the globally rigid edge-transitive graphs and distance-regular graphs in the plane
Published in Journal of Graph Theory (2022)
• View Publication
• BIB
A graph is said to be globally rigid if almost all embeddings of the graph's vertices in the Euclidean plane will define a system of edge-length equations with a unique (up to isometry) solution. In 2007, Jackson, Servatius and Servatius characterised exactly which vertex-transitive graphs are globally rigid solely by their degree and maximal clique number, two easily computable parameters for vertex-transitive graphs. In this short note we will extend this characterisation to all graphs that are determined by their automorphism group. We do this by characterising exactly which edge-transitive graphs and distance-regular graphs are globally rigid by their minimal and maximal degrees.
On the List Color Function Threshold
Published
• View Publication
• BIB
The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$. The list color function of graph $G$, denoted $P_{\ell}(G,m)$, is a list analogue of the chromatic polynomial that has been studied since the early 1990s, primarily through comparisons with the corresponding chromatic polynomial. It is known that for any graph $G$ there is a $k \in \mathbb{N}$ such that $P_\ell(G,m) = P(G,m)$ whenever $m \geq k$. The list color function threshold of $G$, denoted $τ(G)$, is the smallest $k \geq χ(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In 2009, Thomassen asked whether there is a universal constant $α$ such that for any graph $G$, $τ(G) \leq χ_{\ell}(G) + α$, where $χ_{\ell}(G)$ is the list chromatic number of $G$. We show that the answer to this question is no by proving that there exists a constant $C$ such that $τ(K_{2,l}) - χ_{\ell}(K_{2,l}) \ge C\sqrt{l}$ for $l \ge 16$.
On some non-rigid unit distance patterns
Published
• View Publication
• BIB
A recent generalization of the Erdős Unit Distance Problem, proposed by Palsson, Senger and Sheffer, asks for the maximum number of unit distance paths with a given number of vertices in the plane and in $3$-space. Studying a variant of this question, we prove sharp bounds on the number of unit distance paths and cycles on the sphere of radius $1/\sqrt{2}$. We also consider a similar problem about $3$-regular unit distance graphs in $\mathbb{R}^3$.
Distance-regular Cayley graphs over dicyclic groups
Published
• View Publication
• BIB
The characterization of distance-regular Cayley graphs originated from the problem of identifying strongly regular Cayley graphs, or equivalently, regular partial difference sets. In this paper, a classification of distance-regular Cayley graphs on dicyclic groups is obtained. More specifically, it is shown that every distance-regular Cayley graph on a dicyclic group is a complete graph, a complete multipartite graph, or a non-antipodal bipartite distance-regular graph with diameter $3$ satisfying some additional conditions.
Large induced distance matchings in certain sparse random graphs
Published
• View Publication
• BIB
For a fixed integer $k\geqslant 2$, let $G\in \mathcal{G}(n,p)$ be a simple connected graph on $n\rightarrow\infty$ vertices with the expected degree $d=np$ satisfying $d\geqslant c$ and $d^{k-1}= o(n)$ for some large enough constant $c$. We show that the asymptotical size of any maximal collection of edges $M$ in $G$ such that no two edges in $M$ are within distance $k$, which is called a distance $k$-matching, is between $ \frac{(k-1)n\log d}{4d^{k-1}}$ and $ \frac{k n \log d}{2d^{k-1}}$. We also design a randomized greedy algorithm to generate one large distance $k$-matching in $G$ with asymptotical size $ \frac{kn\log d}{4d^{k-1}}$. Our results partially generalize the results on the size of the largest distance $k$-matchings from the case $k=2$ or $d=c$ for some large constant $c$.
On 1-skeleton of the polytope of pyramidal tours with step-backs
Published in Siberian Electronic Mathematical Reports, Volume 19, Issue 2, 2022, Pages 674-687
• View Publication
• BIB
Pyramidal tours with step-backs are Hamiltonian tours of a special kind: the salesperson starts in city 1, then visits some cities in ascending order, reaches city $n$, and returns to city 1 visiting the remaining cities in descending order. However, in the ascending and descending direction, the order of neighboring cities can be inverted (a step-back). It is known that on pyramidal tours with step-backs the traveling salesperson problem can be solved by dynamic programming in polynomial time.
We define the polytope of pyramidal tours with step-backs $\operatorname{PSB}(n)$ as the convex hull of the characteristic vectors of all possible pyramidal tours with step-backs in a complete directed graph. The 1-skeleton of $\operatorname{PSB}(n)$ is the graph whose vertex set is the vertex set of the polytope, and the edge set is the set of geometric edges or one-dimensional faces of the polytope. We present a linear-time algorithm to verify vertex adjacencies in 1-skeleton of the polytope $\operatorname{PSB}(n)$ and estimate the diameter and the clique number of 1-skeleton: the diameter is bounded above by 4 and the clique number grows quadratically in the parameter $n$.
Longest Cycle above Erdős-Gallai Bound
Published
• View Publication
• BIB
In 1959, Erdős and Gallai proved that every graph G with average vertex degree ad(G)\geq 2 contains a cycle of length at least ad(G). We provide an algorithm that for k\geq 0 in time 2^{O(k)} n^{O(1)} decides whether a 2-connected n-vertex graph G contains a cycle of length at least ad(G)+k. This resolves an open problem explicitly mentioned in several papers. The main ingredients of our algorithm are new graph-theoretical results interesting on their own.
Perfect state transfer on semi-Cayley graphs over abelian groups
Published
• View Publication
• BIB
In this paper, we consider the problem on the existence of perfect state transfer(PST for short) on semi-Cayley graphs over abelian groups (which are not necessarily regular), i.e on the graphs having semiregular and abelian subgroups of automorphisms with two orbits of equal size. We stablish a characterization of semi-Cayley graphs over abelian groups having PST. As a result, we give a characterization of Cayley graphs over groups with an abelian subgroup of index 2 having PST, which improves the earlier results on Cayley graphs over abelian groups, dihedral groups and dicyclic group and determines Cayley graphs over generalized dihedral groups and generalized dicyclic groups having PST.
Reducing the Vertex Cover Number via Edge Contractions
Published
• View Publication
• BIB
The CONTRACTION(vc) problem takes as input a graph $G$ on $n$ vertices and two integers $k$ and $d$, and asks whether one can contract at most $k$ edges to reduce the size of a minimum vertex cover of $G$ by at least $d$. Recently, Lima et al. [JCSS 2021] proved, among other results, that unlike most of the so-called blocker problems, CONTRACTION(vc) admits an XP algorithm running in time $f(d) \cdot n^{O(d)}$. They left open the question of whether this problem is FPT under this parameterization. In this article, we continue this line of research and prove the following results:
1. CONTRACTION(vc) is W[1]-hard parameterized by $k + d$. Moreover, unless the ETH fails, the problem does not admit an algorithm running in time $f(k + d) \cdot n^{o(k + d)}$ for any function $f$. In particular, this answers the open question stated in Lima et al. [JCSS 2021] in the negative.
2. It is NP-hard to decide whether an instance $(G, k, d)$ of CONTRACTION(vc) is a yes-instance even when $k = d$, hence enhancing our understanding of the classical complexity of the problem.
3. CONTRACTION(vc) can be solved in time $2^{O(d)} \cdot n^{k - d + O(1)}$. This XP algorithm improves the one of Lima et al. [JCSS 2021], which uses Courcelle's theorem as a subroutine and hence, the $f(d)$-factor in the running time is non-explicit and probably very large. On the other hard, it shows that when $k=d$, the problem is FPT parameterized by $d$ (or by $k$).
Cubical setting for discrete homotopy theory, revisited
Published in Compos. Math. 160 (2024), no. 12, 2856-2903
• View Publication
• BIB
We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use this to prove a conjecture of Babson, Barcelo, de Longueville, and Laubenbacher from 2006, and a strong version of the Hurewicz theorem in discrete homotopy theory.
On Vietoris--Rips complexes (with scale 3) of hypercube graphs
Published
• View Publication
• BIB
For a metric space $(X, d)$ and a scale parameter $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex on vertex set $X$, where a finite set $σ\subseteq X$ is a simplex if and only if diameter of $σ$ is at most $r$. For $n \geq 1$, let $\mathbb{I}_n$ denotes the $n$-dimensional hypercube graph. In this paper, we show that $\mathcal{VR}(\mathbb{I}_n;r)$ has non trivial reduced homology only in dimensions $4$ and $7$. Therefore, we answer a question posed by Adamaszek and Adams recently.
A (finite) simplicial complex $Δ$ is $d$-collapsible if it can be reduced to the void complex by repeatedly removing a face of size at most $d$ that is contained in a unique maximal face of $Δ$. The collapsibility number of $Δ$ is the minimum integer $d$ such that $Δ$ is $d$-collapsible. We show that the collapsibility number of $\mathcal{VR}(\mathbb{I}_n;r)$ is $2^r$ for $r \in \{2, 3\}$.
Vertex-coloring graphs with 4-edge-weightings
Published in Combinatorica 2023
• View Publication
• BIB
An edge-weighting of a graph is called vertex-coloring if the weighted degrees yield a proper vertex coloring of the graph. It is conjectured that for every graph without isolated edge, a vertex-coloring edge-weighting with the set {1,2,3} exists. In this note, we show that the statement is true for the weight set {1,2,3,4}.