graph
35396 papers tagged with this keyword
A note on shortest circuit cover of 3-edge colorable cubic signed graphs
Published
• View Publication
• BIB
A {sign-circuit cover} $\mathcal{F}$ of a signed graph $(G, σ)$ is a family of sign-circuits which covers all edges of $(G, σ)$. The shortest sign-circuit cover problem was initiated by Má$\check{\text{c}}$ajová, Raspaud, Rollová, and Škoviera (JGT 2016) and received many attentions in recent years. In this paper, we show that every flow-admissible 3-edge colorable cubic signed graph $(G, σ)$ has a sign-circuit cover with length at most $\frac{20}{9} |E(G)|$.
A note on the distribution of the extreme degrees of a random graph via the Stein-Chen method
Published
• View Publication
• BIB
We offer an alternative proof, using the Stein-Chen method, of Bollobás' theorem concerning the distribution of the extreme degrees of a random graph. Our proof also provides a rate of convergence of the extreme degree to its asymptotic distribution. The same method also applies in a more general setting where the probability of every pair of vertices being connected by edges depends on the number of vertices.
Distinct degrees and homogeneous sets
Published
• View Publication
• BIB
In this paper we investigate the extremal relationship between two well-studied graph parameters: the order of the largest homogeneous set in a graph $G$ and the maximal number of distinct degrees appearing in an induced subgraph of $G$, denoted respectively by $\hom (G)$ and $f(G)$. Our main theorem improves estimates due to several earlier researchers and shows that if $G$ is an $n$-vertex graph with $\hom (G) \geq n^{1/2}$ then $f(G) \geq \big ( {n}/{\hom (G)} \big )^{1 - o(1)}$. The bound here is sharp up to the $o(1)$-term, and asymptotically solves a conjecture of Narayanan and Tomon. In particular, this implies that $\max \{ \hom (G), f(G) \} \geq n^{1/2 -o(1)}$ for any $n$-vertex graph $G$,which is also sharp. The above relationship between $\hom (G)$ and $f(G)$ breaks down in the regime where $\hom (G) < n^{1/2}$. Our second result provides a sharp bound for distinct degrees in biased random graphs, i.e. on $f\big (G(n,p) \big )$. We believe that the behaviour here determines the extremal relationship between $\hom (G)$ and $f(G)$ in this second regime. Our approach to lower bounding $f(G)$ proceeds via a translation into an (almost) equivalent probabilistic problem, and it can be shown to be effective for arbitrary graphs. It may be of independent interest.
Posets and spaces of $k$-noncrossing RNA Structures
Published
• View Publication
• BIB
RNA molecules are single-stranded analogues of DNA that can fold into various structures which influence their biological function within the cell. RNA structures can be modelled combinatorially in terms of a certain type of graph called an RNA diagram. In this paper we introduce a new poset of RNA diagrams $\mathcal{B}^r_{f,k}$, $r\ge 0$, $k \ge 1$ and $f \ge 3$, which we call the Penner-Waterman poset, and, using results from the theory of multitriangulations, we show that this is a pure poset of rank $k(2f-2k+1)+r-f-1$, whose geometric realization is the join of a simplicial sphere of dimension $k(f-2k)-1$ and an $\left((f+1)(k-1)-1\right)$-simplex in case $r=0$. As a corollary for the special case $k=1$, we obtain a result due to Penner and Waterman concerning the topology of the space of RNA secondary structures. These results could eventually lead to new ways to investigate landscapes of RNA $k$-noncrossing structures.
Topological approach to diagonalization algorithms
In this paper we prove that there exists an asymptotical diagonalization algorithm for a class of sparse Hermitian (or real symmetric) matrices if and only if the matrices become Hessenberg matrices after some permutation of rows and columns. The proof is based on Morse theory, Roberts' theorem on indifference graphs, toric topology, and computer-based homological calculations.
On complex roots of the independence polynomial
Published
• View Publication
• BIB
It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(λ)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided that $\vertλ\vert \leq \frac{d^d}{(d+1)^{d+1}}$. Significant extensions of this result have recently been given in the case $\Re λ\geq 0$ by Peters and Regts (2019) and Bencs and Csikvári (arxiv:1807.08963). In this paper, our motivation is to further extend these results and find zero free regions when $\Re λ\leq 0$.
We begin by giving new geometric criteria for establishing zero-free regions as well as for carrying out semi-rigorous numerical explorations. We then provide two examples of the (rigorous) use of these criteria, by establishing two new zero-free regions in the left-half plane. We also improve upon the results of Bencs and Csikvári (arxiv:1807.08963) for the right half-plane using our framework. By a direct application of the interpolation method of Barvinok, combined with extensions due to Patel and Regts, these results also imply deterministic polynomial time approximation algorithms for the independence polynomial of bounded degree graphs in the new zero-free regions.
Quantum state transfer on integral oriented circulant graphs
Published
• View Publication
• BIB
An oriented circulant graph is called integral if all eigenvalues of its Hermitian adjacency matrix are integers. The main purpose of this paper is to investigate the existence of perfect state transfer ($\PST$ for short) and multiple state transfer ($\MST$ for short) on integral oriented circulant graphs. Specifically, a characterization of $\PST$ (or $\MST$) on integral oriented circulant graphs is provided. As an application, we also obtain a closed-form expression for the number of integral oriented circulant graphs with fixed order having $\PST$ (or $\MST$).
Perfect state transfer in neighborhood coronas
The neighborhood corona $G \star H$ is the graph obtained by taking one copy $G$ and $|G|$ copies of $H$, and joining each vertex of the $j$th copy of $H$ to all neighbors of $v_{j}$ in $G$. In this paper, we study the state transfer of neighborhood coronas related to the adjacency matrix. Concretely, we provide some necessary conditions under which the neighborhood corona $G \star H$ admits perfect state transfer, and obtain a new family of graphs with pretty good state transfer based on neighborhood coronas.
Revisiting and improving upper bounds for identifying codes
Published in SIAM Journal on Discrete Mathematics 36(4):2619-2634, 2022
• View Publication
• BIB
An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. These codes have been widely studied for over two decades. We give an improvement over all the best known upper bounds, some of which have stood for over 20 years, for identifying codes in trees, proving the upper bound of $(n+\ell)/2$, where $n$ is the order and $\ell$ is the number of leaves (pendant vertices) of the graph. In addition to being an improvement in size, the new upper bound is also an improvement in generality, as it actually holds for bipartite graphs having no twins (pairs of vertices with the same closed or open neighbourhood) of degree 2 or greater. We also show that the bound is tight for an infinite class of graphs and that there are several structurally different families of trees attaining the bound. We then use our bound to derive a tight upper bound of $2n/3$ for twin-free bipartite graphs of order $n$, and characterize the extremal examples, as $2$-corona graphs of bipartite graphs. This is best possible, as there exist twin-free graphs, and trees with twins, that need $n-1$ vertices in any of their identifying codes. We also generalize the existing upper bound of $5n/7$ for graphs of order $n$ and girth at least 5 when there are no leaves, to the upper bound $\frac{5n+2\ell}{7}$ when leaves are allowed. This is tight for the $7$-cycle $C_7$ and for all stars.
Some stability and exact results in generalized Turán problems
Published
• View Publication
• BIB
Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in $n$-vertex $F$-free graphs. Stability refers to the usual phenomenon that if an $n$-vertex $F$-free graph $G$ contains almost $\mathrm{ex}(n,H,F)$ copies of $H$, than $G$ is in some sense similar to some extremal graph. We obtain new stability results for generalized Turán problems and derive several new exact results.
Maximum principal ratio of the signless Laplacian of graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph and $Q(G)$ be the signless Laplacian of $G$. The principal ratio $γ(G)$ of $Q(G)$ is the ratio of the maximum and minimum entries of the Perron vector of $Q(G)$. In this paper, we consider the maximum principal ratio $γ(G)$ among all connected graphs of order $n$, and show that for sufficiently large $n$ the extremal graph is a kite graph obtained by identifying an end vertex of a path to any vertex of a complete graph.
Planar graphs without cycles of length from 4 to 7 are near-bipartite
A graph is near-bipartite if its vertex set can be partitioned into an independent set and a set which induces a forest. In this paper, planar graphs without cycles of length from 4 to 7 are shown to be near-bipartite.
Maximal density and the kappa values for the families $\{a,a+1,2a+1,n\}$ and $\{a,a+1,2a+1,3a+1,n\}$
Published
• View Publication
• BIB
Let $M$ be a set of positive integers. We study the maximal density $μ(M)$ of the sets of nonnegative integers $S$ whose elements do not differ by an element in $M$. In 1973, Cantor and Gordon established a formula for $μ(M)$ for $|M|\leq 2$. Since then, many researchers have worked upon the problem and found several partial results in the case $|M|\geq 3$, including some results in the case, $M$ is an infinite set. In this paper, we study the maximal density problem for the families $M=\{a,a+1,2a+1,n\}$ and $M=\{a,a+1,2a+1,3a+1,n\}$, where $a$ and $n$ are positive integers. In most of the cases, we find bounds for the parameter \textit{kappa}, denoted by $κ(M)$, which actually serves as a lower bound for $μ(M)$. The parameter $κ(M)$ has already got its importance due to its rich connection with the problems such as the "lonely runner conjecture" in Diophantine approximations and coloring parameters such as "circular coloring" and "fractional coloring" in graph theory.
Pseudo-Geometric Strongly Regular Graphs with a Regular Point
We study pseudo-geometric strongly regular graphs whose second subconstituent with respect to a vertex is a cover of a strongly regular graph or a complete graph. By studying the structure of such graphs, we characterize all graphs containing such a vertex, and use our characterization to find many new strongly regular graphs. Thereby, we answer a question posed by Gardiner, Godsil, Hensel, and Royle. We give an explicit construction for q new, pairwise non-isomorphic graphs with the same parameters as the collinearity graph of generalized quadrangles of order $(q,q)$ and a new non-geometric graph with the same parameters as the collinearity graph of the Hermitian generalized quadrangle of order $(q^2, q)$, for prime powers $q$. Using our characterization, we computed 135478 new strongly regular graphs with parameters (85,20,3,5) and 27 039 strongly regular graphs with parameters (156, 30, 4, 6).
Of Shadows and Gaps in Spatial Search
Published in Quantum Information and Computation, 22(13&14):1110-1131, 2022
• View Publication
• BIB
Spatial search occurs in a connected graph if a continuous-time quantum walk on the adjacency matrix of the graph, suitably scaled, plus a rank-one perturbation induced by any vertex will unitarily map the principal eigenvector of the graph to the characteristic vector of the vertex. This phenomenon is a natural continuous-time analogue of Grover search. The spatial search is said to be optimal if it occurs with constant fidelity and in time inversely proportional to the shadow of the target vertex on the principal eigenvector. Extending a result of Chakraborty et al. (Physical Review A, 102:032214, 2020), we prove a simpler characterization of optimal spatial search. Based on this characterization, we observe that some families of distance-regular graphs, such as Hamming and Grassmann graphs, have optimal spatial search. We also show a matching lower bound on time for spatial search with constant fidelity, which extends a bound due to Farhi and Gutmann for perfect fidelity. Our elementary proofs employ standard tools, such as Weyl inequalities and Cauchy determinant formula.
Permutation-bipartition pairs
Permutation-partition pairs were introduced by Stahl in 1980. These pairs are generalizations of graphs and graphs on surfaces. They were used to solve some problems for orientable embeddings of graphs. In this paper, we introduce a particular type of permutation-partition pair, called permutation-bipartition pair, which can be seen as generalizations of signed graphs and signed graph embeddings. Some applications are given.
Tight toughness, isolated toughness and binding number bounds for the $\{K_2,C_n\}$-factors
Published
• View Publication
• BIB
The $\{K_2,C_n\}$-factor of a graph is a spanning subgraph whose each component is either $K_2$ or $C_n$. In this paper, a sufficient condition with regard to tight toughness, isolated toughness and binding number bounds to guarantee the existence of the $\{K_2,C_{2i+1}| i\geq 2 \}$-factor for any graph is obtained, which answers a problem due to Gao and Wang (J. Oper. Res. Soc. China (2021), https://doi.org/10.1007/s40305-021-00357-6).
Monochromatic vertex-disconnection of graphs
Published
• View Publication
• BIB
Let G be a vertex-colored graph. A vertex cut S of G is called a monochromatic vertex cut if the vertices of S are colored with the same color. A graph G is monochromatically vertex-disconnected if any two nonadjacent vertices of G has a monochromatic vertex cut separating them. The monochromatic vertex-disconnection number of G, denoted by mvd(G), is the maximum number of colors that are used to make G monochromatically vertex-disconnected. In this paper, the connection between the graph parameters are studied: mvd(G), connectivity and block decomposition. We determine the value of mvd(G) for some well known graphs, and then characterize G when n-5\leq mvd(G)\leq n and all blocks of G are minimally 2-connected triangle-free graphs. We obtain the maximum size of a graph G with mvd(G)=k for any k. Furthermore, we study the Erdős-Gallai-type results for mvd(G), and completely solve them. Finally, we propose an algorithm to compute mvd(G) and give an mvd-coloring of G.
On local antimagic vertex coloring for complete full $t$-ary trees
Published in Fundamenta Informaticae, Volume 185, Issue 2 (May 6, 2022) fi:9336
• View Publication
• BIB
Let $G = (V, E)$ be a finite simple undirected graph without $K_2$ components. A bijection $f : E \rightarrow \{1, 2,\cdots, |E|\}$ is called a local antimagic labeling if for any two adjacent vertices $u$ and $v$, they have different vertex sums, i.e., $w(u) \neq w(v)$, where the vertex sum $w(u) = \sum_{e \in E(u)} f(e)$, and $E(u)$ is the set of edges incident to $u$. Thus any local antimagic labeling induces a proper vertex coloring of $G$ where the vertex $v$ is assigned the color (vertex sum) $w(v)$. The local antimagic chromatic number $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. It was conjectured \cite{Aru-Wang} that for every tree $T$ the local antimagic chromatic number $l+ 1 \leq χ_{la} ( T )\leq l+2$, where $l$ is the number of leaves of $T$. In this article we verify the above conjecture for complete full $t$-ary trees, for $t \geq 2$. A complete full $t$-ary tree is a rooted tree in which all nodes have exactly $t$ children except leaves and every leaf is of the same depth. In particular we obtain that the exact value for the local antimagic chromatic number of all complete full $t$-ary trees is $ l+1$ for odd $t$.
Generalized Tuza's conjecture for random hypergraphs
Published
• View Publication
• BIB
A celebrated conjecture of Tuza states that in any finite graph the minimum size of a cover of triangles by edges is at most twice the maximum size of a set of edge-disjoint triangles. For an $r$-uniform hypergraph ($r$-graph) $G$, let $τ(G)$ be the minimum size of a cover of edges by $(r-1)$-sets of vertices, and let $ν(G)$ be the maximum size of a set of edges pairwise intersecting in fewer than $r-1$ vertices. Aharoni and Zerbib proposed the following generalization of Tuza's conjecture: $$ \text{For any $r$-graph $G$, $τ(G)/ν(G) \leq \lceil(r+1)/2\rceil$.} $$
Let $H_r(n,p)$ be the uniformly random $r$-graph on $n$ vertices. We show that, for $r \in \{3, 4, 5\}$ and any $p = p(n)$, $H_r(n,p)$ satisfies the Aharoni-Zerbib conjecture with high probability (i.e., with probability approaching 1 as $n \rightarrow \infty$). We also show that there is a $C < 1$ such that, for any $r \geq 6$ and any $p = p(n)$, $τ(H_r(n, p))/ν(H_r(n, p)) \leq C r$ with high probability. Furthermore, we may take $C < 1/2 + \varepsilon$, for any $\varepsilon > 0$, by restricting to sufficiently large $r$ (depending on $\varepsilon$).