graph
35411 papers tagged with this keyword
Laplacian State Transfer on Graphs with an Edge Perturbation Between Twin Vertices
Published
• View Publication
• BIB
We consider quantum state transfer relative to the Laplacian matrix of a graph. Let $N(u)$ denote the set of all neighbors of a vertex $u$ in a graph $G$. A pair of vertices $u$ and $v$ are called twin vertices of $G$ provided $N(u)\setminus\{v \}=N(v)\setminus\{u \}$. We investigate the existence of quantum state transfer between a pair of twin vertices in a graph when the edge between the vertices is perturbed. We find that removal of any set of pairwise non-adjacent edges from a complete graph with a number of vertices divisible by $4$ results Laplacian perfect state transfer (or LPST) at $\fracπ{2}$ between the end vertices of every edge removed. Further, we show that all Laplacian integral graphs with a pair of twin vertices exhibit LPST when the edge between the vertices is perturbed. In contrast, we conclude that LPST can be achieved in every complete graph between the end vertices of any number of suitably perturbed non-adjacent edges. The results are further generalized to obtain a family of edge perturbed circulant graphs exhibiting Laplacian pretty good state transfer (or LPGST) between twin vertices. A subfamily of which is also identified to admit LPST at $\fracπ{2}$.
Restrained condition on double Roman dominating functions
Published in Applied Mathematics and Computation, 2023
• View Publication
• BIB
We continue the study of restrained double Roman domination in graphs. For a graph $G=\big{(}V(G),E(G)\big{)}$, a double Roman dominating function $f$ is called a restrained double Roman dominating function (RDRD function) if the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices. The restrained double Roman domination number (RDRD number) $γ_{rdR}(G)$ is the minimum weight $\sum_{v\in V(G)}f(v)$ taken over all RDRD functions of $G$.
We first prove that the problem of computing $γ_{rdR}$ is NP-hard even for planar graphs, but it is solvable in linear time when restricted to bounded clique-width graphs such as trees, cographs and distance-hereditary graphs. Relationships between $γ_{rdR}$ and some well-known parameters such as restrained domination number $γ_{r}$, domination number $γ$ and restrained Roman domination number $γ_{rR}$ are investigated in this paper by bounding $γ_{rdR}$ from below and above involving $γ_{r}$, $γ$ and $γ_{rR}$ for general graphs, respectively. We prove that $γ_{rdR}(T)\geq n+2$ for any tree $T\neq K_{1,n-1}$ of order $n\geq2$ and characterize the family of all trees attaining the lower bound. The characterization of graphs with small RDRD numbers is given in this paper.
Adjacency eigenvalues of graphs without short odd cycles
Published
• View Publication
• BIB
It is well known that spectral Turán type problem is one of the most classical {problems} in graph theory. In this paper, we consider the spectral Turán type problem. Let $G$ be a graph and let $\mathcal{G}$ be a set of graphs, we say $G$ is \textit{$\mathcal{G}$-free} if $G$ does not contain any element of $\mathcal{G}$ as a subgraph. Denote by $λ_1$ and $λ_2$ the largest and the second largest eigenvalues of the adjacency matrix $A(G)$ of $G,$ respectively. In this paper we focus on the characterization of graphs without short odd cycles according to the adjacency eigenvalues of the graphs. Firstly, an upper bound on $λ_1^{2k}+λ_2^{2k}$ of $n$-vertex $\{C_3,C_5,\ldots,C_{2k+1}\}$-free graphs is established, where $k$ is a positive integer. All the corresponding extremal graphs are identified. Secondly, a sufficient condition for non-bipartite graphs containing an odd cycle of length at most $2k+1$ in terms of its spectral radius is given. At last, we characterize the unique graph having the maximum spectral radius among the set of $n$-vertex non-bipartite graphs with odd girth at least $2k+3,$ which solves an open problem proposed by Lin, Ning and Wu [Eigenvalues and triangles in graphs, Combin. Probab. Comput. 30 (2) (2021) 258-270].
Agile Sets in Graphs
A set of vertices in a graph is agile if, however we partition the set into two parts, we can always find two vertex-disjoint connected subgraphs where one covers the first and the other the second part. We present a characterization for the existence of large agile sets in terms of $K_{2,k}$ and large strip minors.
An improved lower bound for the Seidel energy of tree graphs
Published
• View Publication
• BIB
Let $G$ be a graph with the vertex set $ \lbrace v_1,\ldots,v_n \rbrace$. The Seidel matrix of $G$ is an $n\times n$ matrix whose diagonal entries are zero, $ij$-th entry is $-1$ if $ v_{i} $ and $ v_{j} $ are adjacent and otherwise is $ 1 $. The Seidel energy of $G$, denoted by $ \se{G} $, is defined to be the sum of absolute values of all eigenvalues of the Seidel matrix of $G$. In \cite{aekn}, the authors proved that the Seidel energy of any graph of order $n$ is at least $2n-2$. In this study, we improve the aforementioned lower bound for tree graphs.
Embedding dimensions of simplicial complexes on few vertices
Published in Annals of Combinatorics 27 (2023) 993-1003
• View Publication
• BIB
We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting family. As immediate consequences, we recover the classical van Kampen--Flores theorem and provide a topological extension of the Erd\H os--Ko--Rado theorem. By analogy with Fáry's theorem for planar graphs, we show in addition that such complexes satisfy the rigidity property that continuous and linear embeddability are equivalent.
Proceedings of the 29th International Symposium on Graph Drawing and Network Visualization (GD 2021)
This is the arXiv index for the electronic proceedings of GD 2021, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture Notes in Computer Science series.
Property {A} and duality in linear programming
Published
• View Publication
• BIB
Property A is a form of weak amenability for groups and metric spaces introduced as an approach to the famous Novikov higher signature conjecture, one of the most important unsolved problems in topology.
We show that property A can be reduced to a sequence of linear programming optimization problems on finite graphs. We explore the dual problems, which turn out to have interesting interpretations as combinatorial problems concerning the maximum total supply of flows on a network.
Using isoperimetric inequalities, we relate the dual problems to the Cheeger constant of the graph and explore the role played by symmetry of a graph to obtain a striking characterization of the difference between an expander and a graph without property A. Property A turns out to be a new measure of connectivity of a graph that is relevant to graph theory.
The dual linear problems can be solved using a variety of methods, which we demonstrate on several enlightening examples. As a demonstration of the power of this linear programming approach we give elegant proofs of theorems of Nowak and Willett about graphs without property A.
On $3$-graphs with no four vertices spanning exactly two edges
Published
• View Publication
• BIB
Let $D_2$ denote the $3$-uniform hypergraph with $4$ vertices and $2$ edges. Answering a question of Alon and Shapira, we prove an induced removal lemma for $D_2$ having polynomial bounds. We also prove an Erdős-Hajnal-type result: every induced $D_2$-free hypergraph on $n$ vertices contains a clique or an independent set of size $n^{c}$ for some absolute constant $c > 0$. In the case of both problems, $D_2$ is the only nontrivial $k$-uniform hypergraph with $k\geq 3$ which admits a polynomial bound.
Multigraphs from crossword puzzle grid designs
Crossword puzzles lend themselves to mathematical inquiry. Several authors have already described the arrangement of crossword grids and associated combinatorics of answer numbers. In this paper, we present a new graph-theoretic representation of crossword puzzle grid designs and describe the mathematical conditions placed on these graphs by well-known crossword construction conventions.
There does not exist a strongly regular graph with parameters $(1911,270,105,27)$
Published
• View Publication
• BIB
In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$.
$2$-complexes with unique embeddings in 3-space
Published
• View Publication
• BIB
A well-known theorem of Whitney states that a 3-connected planar graph admits an essentially unique embedding into the 2-sphere. We prove a 3-dimensional analogue: a simply-connected $2$-complex every link graph of which is 3-connected admits an essentially unique locally flat embedding into the 3-sphere, if it admits one at all. This can be thought of as a generalisation of the 3-dimensional Schoenflies theorem.
Odd edge-colorings of subdivisions of odd graphs
An odd graph is a finite graph all of whose vertices have odd degrees. Given graph $G$ is decomposable into $k$ odd subgraphs if its edge set can be partitioned into $k$ subsets each of which induces an odd subgraph of $G$. The minimum value of $k$ for which such a decomposition of $G$ exists is the odd chromatic index, $χ_{o}'(G)$, introduced by Pyber (1991). For every $k\geqχ_{o}'(G)$, the graph $G$ is said to be odd $k$-edge-colorable. Apart from two particular exceptions, which are respectively odd $5$- and odd $6$-edge-colorable, the rest of connected loopless graphs are odd $4$-edge-colorable, and moreover one of the color classes can be reduced to size $\leq2$. In addition, it has been conjectured that an odd $4$-edge-coloring with a color class of size at most $1$ is always achievable. Atanasov et al. (2016) characterized the class of subcubic graphs in terms of the value $χ_{o}'(G)\leq4$. In this paper, we extend their result to a characterization of all subdivisions of odd graphs in terms of the value of the odd chromatic index. This larger class $\mathcal{S}$ is of a particular interest as it collects all `least instances' of non-odd graphs. As a prelude to our main result, we show that every connected graph $G\in \mathcal{S}$ requiring the maximum number of four colors, becomes odd $3$-edge-colorable after removing a certain edge. Thus, we provide support for the mentioned conjecture by proving it for all subdivisions of odd graphs. The paper concludes with few problems for possible further work.
Matching integral 2-connected graphs
In this note we present an infinite family of 2-connected graphs such that their matching polynomials have only integer zeros. This answers in negative a question of Akbari et al. [Graphs with integer matching polynomial zeros, Discrete Appl. Math. 224 (2017), 1-8].
Ramsey simplicity of random graphs
Published in Combinator. Probab. Comp. 34 (2025) 298-320
• View Publication
• BIB
A graph $G$ is $q$-Ramsey for another graph $H$ if in any $q$-edge-colouring of $G$ there is a monochromatic copy of $H$, and the classic Ramsey problem asks for the minimum number of vertices in such a graph. This was broadened in the seminal work of Burr, Erdős, and Lovász to the investigation of other extremal parameters of Ramsey graphs, including the minimum degree.
It is not hard to see that if $G$ is minimally $q$-Ramsey for $H$ we must have $δ(G) \ge q(δ(H) - 1) + 1$, and we say that a graph $H$ is $q$-Ramsey simple if this bound can be attained. Grinshpun showed that this is typical of rather sparse graphs, proving that the random graph $G(n,p)$ is almost surely $2$-Ramsey simple when $\frac{\log n}{n} \ll p \ll n^{-2/3}$. In this paper, we explore this question further, asking for which pairs $p = p(n)$ and $q = q(n,p)$ we can expect $G(n,p)$ to be $q$-Ramsey simple. We resolve the problem for a wide range of values of $p$ and $q$; in particular, we uncover some interesting behaviour when $n^{-2/3} \ll p \ll n^{-1/2}$.
Independence Complex of the Lexicographic Product of a Forest
We study the independence complex of the lexicographic product $G[H]$ of a forest $G$ and a graph $H$. We prove that for a forest $G$ which is not dominated by a single vertex, if the independence complex of $H$ is homotopy equivalent to a wedge sum of spheres, then so is the independence complex of $G[H]$. We offer two examples of explicit calculations. As the first example, we determine the homotopy type of the independence complex of $L_m [H]$, where $L_m$ is the tree on $m$ vertices with no branches, for any positive integer $m$ when the independence complex of $H$ is homotopy equivalent to a wedge sum of $n$ copies of $d$-dimensional sphere. As the second one, for a forest $G$ and a complete graph $K$, we describe the homological connectivity of the independence complex of $G[K]$ by the independent domination number of $G$.
An objective function for order preserving hierarchical clustering
Published
• View Publication
• BIB
We present a theory and an objective function for similarity-based hierarchical clustering of probabilistic partial orders and directed acyclic graphs (DAGs). Specifically, given elements $x \le y$ in the partial order, and their respective clusters $[x]$ and $[y]$, the theory yields an order relation $\le'$ on the clusters such that $[x]\le'[y]$. The theory provides a concise definition of order-preserving hierarchical clustering, and offers a classification theorem identifying the order-preserving trees (dendrograms). To determine the optimal order-preserving trees, we develop an objective function that frames the problem as a bi-objective optimisation, aiming to satisfy both the order relation and the similarity measure. We prove that the optimal trees under the objective are both order-preserving and exhibit high-quality hierarchical clustering. Since finding an optimal solution is NP-hard, we introduce a polynomial-time approximation algorithm and demonstrate that the method outperforms existing methods for order-preserving hierarchical clustering by a significant margin.
On the asymptotic confirmation of the Faudree-Lehel Conjecture for general graphs
Given a simple graph $G$, the {\it irregularity strength} of $G$, denoted by $s(G)$, is the least positive integer $k$ such that there is a weight assignment on edges $f: E(G) \to \{1,2,\dots, k\}$ attributing distinct weighted degrees: $\tilde f(v):= \sum_{u: \{u,v\}\in E(G)} f(\{u,v\})$ to all vertices $v\in V(G)$. It is straightforward that $s(G) \geq n/d$ for every $d$-regular graph $G$ on $n$ vertices with $d>1$. In 1987, Faudree and Lehel conjectured in turn that there is an absolute constant $c$ such that $s(G) \leq n/d + c$ for all such graphs. Even though the conjecture has remained open in almost all relevant cases, it is more generally believed that there exists a universal constant $c$ such that $s(G) \leq n/δ+ c$ for every graph $G$ on $n$ vertices with minimum degree $δ\geq 1$ which does not contain an isolated edge. In this paper we confirm that the generalized Faudree-Lehel Conjecture holds for graphs with $δ\geq n^β$ where $β$ is any fixed constant larger than $0.8$. Furthermore, we confirm that the conjecture holds in general asymptotically. That is we prove that for any $\varepsilon\in(0,0.25)$ there exist absolute constants $c_1, c_2$ such that for all graphs $G$ on $n$ vertices with minimum degree %at least $δ\geq 1$ and without isolated edges, $s(G) \leq \frac{n}δ(1+\frac{c_1}{δ^{\varepsilon}})+c_2$, thus extending in various aspects and strengthening a recent result of Przybyło, who showed that $s(G) \leq \frac{n}{d}(1+ \frac{1}{\ln^{ε/19}n})=\frac{n}{d}(1+o(1))$ for $d$-regular graphs with $d\in [\ln^{1+ε} n, n/\ln^εn]$, and improving an earlier general upper bound: $s(G)< 6\frac{n}δ+6$ of Kalkowski, Karoński and Pfender.
Algebraic connectivity of the second power of a graph
Published
• View Publication
• BIB
Denote the Laplacian of a graph $G$ by $L(G)$ and its second smallest Laplacian eigenvalue by $λ_2(G)$. If $G$ is a graph on $n\ge 2$ vertices, then it is shown that the second smallest eigenvalue of $L(G) + \frac{1}{n} L(\overline{G^2})$ is at least 1, where $\overline{G^2}$ is the complement of the second power of $ G $. As a corollary of this result, it is shown that \begin{itemize}
\item $ n \, λ_2(G) \ge λ_2(G^2), $
\item $ λ_2(G) \ge 1-\frac{|D_G|}{n}, $
\item $ λ_2(G) + λ_2(\Gb) \ge 1, $ \end{itemize} where $|D_G|$ is the number of vertices of eccentricity at least 3 in $G$.
Large complete minors in expanding graphs
In 2009, Krivelevich and Sudakov studied the existence of large complete minors in $(t,α)$-expanding graphs whenever the expansion factor $t$ becomes super-constant. In this paper, we give an extension of the results of Krivelevich and Sudakov by investigating a connection between the existence of large complete minors in graphs and good vertex expansion properties.