graph
35436 papers tagged with this keyword
Finding Tutte paths in linear time
It is well-known that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $G-P$ has at most three attachment points on $P$. However, it was only recently shown that such Tutte paths can be found in polynomial time. In this paper, we give a new proof that 3-connected planar graphs have Tutte paths, which leads to a linear-time algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $G-P$ have exactly three attachment points, and we can assign distinct representatives to them that are interior vertices. Finally, our running time bound is slightly stronger; we can bound it in terms of the degrees of the faces that are incident to $P$. This allows us to find some applications of Tutte paths (such as binary spanning trees and 2-walks) in linear time as well.
An improved diameter bound for finite simple groups of Lie type
Published
• View Publication
• BIB
For a finite group $G$, let $\mathrm{diam}(G)$ denote the maximum diameter of a connected Cayley graph of $G$. A well-known conjecture of Babai states that $\mathrm{diam}(G)$ is bounded by ${(\log_{2} |G|)}^{O(1)}$ in case $G$ is a non-abelian finite simple group. Let $G$ be a finite simple group of Lie type of Lie rank $n$ over the field $F_{q}$. Babai's conjecture has been verified in case $n$ is bounded, but it is wide open in case $n$ is unbounded. Recently, Biswas and Yang proved that $\mathrm{diam}(G)$ is bounded by $q^{O( n {(\log_{2}n + \log_{2}q)}^{3})}$. We show that in fact $\mathrm{diam}(G) < q^{O(n {(\log_{2}n)}^{2})}$ holds. Note that our bound is significantly smaller than the order of $G$ for $n$ large, even if $q$ is large. As an application, we show that more generally $\mathrm{diam}(H) < q^{O( n {(\log_{2}n)}^{2})}$ holds for any subgroup $H$ of $\mathrm{GL}(V)$, where $V$ is a vector space of dimension $n$ defined over the field $F_q$.
Optimal cube factors of Fibonacci and matchable Lucas cubes
The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.
Complexity of circulant graphs with non-fixed jumps, its arithmetic properties and asymptotics
In the present paper, we investigate a family of circulant graphs with non-fixed jumps $$G_n=C_{βn}(s_1, \ldots,s_k,α_1n,\ldots,α_\ell n),\, 1\le s_1<\ldots<s_k\le[\frac{βn}{2}],\, 1\le α_1< \ldots<α_\ell\le[\fracβ{2}].$$ Here $n$ is an arbitrary large natural number and integers $s_1, \ldots,s_k,α_1, \ldots,α_\ell$ are supposed to be fixed.
First, we present an explicit formula for the number of spanning trees in the graph $G_n.$ This formula is a product of $βs_k-1$ factors, each given by the $n$-th Chebyshev polynomial of the first kind evaluated at the roots of some prescribed polynomial of degree $s_k.$ Next, we provide some arithmetic properties of the complexity function. We show that the number of spanning trees in $G_n$ can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending of parity of $β$ and $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the Laurent polynomials differing by a constant from $2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$
On the adjacency matrix of a complex unit gain graph
A complex unit gain graph is a simple graph in which each orientation of an edge is given a complex number with modulus 1 and its inverse is assigned to the opposite orientation of the edge. In this article, first we establish bounds for the eigenvalues of the complex unit gain graphs. Then we study some of the properties of the adjacency matrix of complex unit gain graph in connection with the characteristic and the permanental polynomials. Then we establish spectral properties of the adjacency matrices of complex unit gain graphs. In particular, using Perron-Frobenius theory, we establish a characterization for bipartite graphs in terms of the set of eigenvalues of gain graph and the set of eigenvalues of the underlying graph. Also, we derive an equivalent condition on the gain so that the eigenvalues of the gain graph and the eigenvalues of the underlying graph are the same.
Characterizing the fullerene graphs with the minimum forcing number 3
The minimum forcing number of a graph $G$ is the smallest number of edges simultaneously contained in a unique perfect matching of $G$. Zhang, Ye and Shiu \cite{HDW} showed that the minimum forcing number of any fullerene graph was bounded below by $3$. However, we find that there exists exactly one excepted fullerene $F_{24}$ with the minimum forcing number $2$. In this paper, we characterize all fullerenes with the minimum forcing number $3$ by a construction approach. This also solves an open problem proposed by Zhang et al. We also find that except for $F_{24}$, all fullerenes with anti-forcing number $4$ have the minimum forcing number $3$. In particular, the nanotube fullerenes of type $(4, 2)$ are such fullerenes.
On the status sequences of trees
The status of a vertex $v$ in a connected graph is the sum of the distances from $v$ to all other vertices. The status sequence of a connected graph is the list of the statuses of all the vertices of the graph. In this paper we investigate the status sequences of trees. Particularly, we show that it is NP-complete to decide whether there exists a tree that has a given sequence of integers as its status sequence. We also present some results about trees whose status sequences are comprised of a few distinct numbers or many distinct numbers. In this direction, we provide a partial answer to a conjecture of Shang and Lin from 2011, showing that any status injective tree is unique among trees. Finally, we investigate how orbit partitions and equitable partitions relate to the status sequence.
Catlin's conjecture and maximum eulerian subgraph
A graph $G=(V(G), E(G))$ is supereulerian if it has a spanning Eulerian subgraph. Let $\ell(G)$ be the maximum number of edges of spanning Eulerian subgraphs of a supereulerian graph $G$. In $1996$, Catlin conjectured that if $G$ is a supereulerian graph, then $\ell(G)\ge \frac{2}{3}|E(G)|$. But in $2004$, infinitely many counterexamples were found for this conjecture and it was shown that this conjecture holds for $r$-regular graphs when $r\neq 5$. In this paper we show that Catlin's Conjecture holds for graphs having no vertex with degree $3$ and also it holds for $5$-regular graphs. Moreover, if $G$ is a graph having no vertex with degree $3$, then $\ell(G)\ge \frac{2}{3}|E(G)|+ v_2(G)$, when $v_2(G)$ is the number of vertices of degree $2$.
Map graphs having witnesses of large girth
Published
• View Publication
• BIB
A half-square of a bipartite graph $B=(X,Y,E_B)$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. If $G=(V,E_G)$ is the half-square of a planar bipartite graph $B=(V,W,E_B)$, then $G$ is called a map graph, and $B$ is a witness of $G$. Map graphs generalize planar graphs, and have been introduced and investigated by Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]. They proved that recognizing map graphs is in $\mathsf{NP}$ by proving the existence of a witness. Soon later, Thorup [FOCS 1998] claimed that recognizing map graphs is in $\mathsf{P}$, by providing an $Ω(n^{120})$-time algorithm for $n$-vertex input graphs.
In this note, we give good characterizations and efficient recognition for half-squares of bipartite graphs with girth at least a given integer $g\ge 8$. It turns out that map graphs having witnesses of girth at least $g$ are precisely the graphs whose vertex-clique incidence bipartite graph is planar and of girth at least $g$. Our structural characterization implies an $O(n^2m)$-time algorithm for recognizing if a given $n$-vertex $m$-edge graph $G$ is such a map graph.
Generalized Hamming weights of projective Reed--Muller-type codes over graphs
Let $G$ be a connected graph and let $\mathbb{X}$ be the set of projective points defined by the column vectors of the incidence matrix of $G$ over a field $K$ of any characteristic. We determine the generalized Hamming weights of the Reed--Muller-type code over the set $\mathbb{X}$ in terms of graph theoretic invariants. As an application to coding theory we show that if $G$ is non-bipartite and $K$ is a finite field of ${\rm char}(K)\neq 2$, then the $r$-th generalized Hamming weight of the linear code generated by the rows of the incidence matrix of $G$ is the $r$-th weak edge biparticity of $G$. If ${\rm char}(K)=2$ or $G$ is bipartite, we prove that the $r$-th generalized Hamming weight of that code is the $r$-th edge connectivity of $G$.
An existence result on two-orbit maniplexes
A maniplex of rank n is a connected, n-valent, edge-coloured graph that generalises abstract polytopes and maps. If the automorphism group of a maniplex M partitions the vertex-set of M into k distinct orbits, we say that M is a k-orbit n-maniplex. The symmetry type graph of M is the quotient pregraph obtained by contracting every orbit into a single vertex. Symmetry type graphs of maniplexes satisfy a series of very specific properties. The question arises whether any pregraph of order k satisfying these properties is the symmetry type graph of some k-orbit maniplex. We answer the question when k = 2.
Classification of cubic vertex-transitive tricirculants
A finite graph is called a tricirculant if admits a cyclic group of automorphism which has precisely three orbits on the vertex-set of the graph, all of equal size. We classify all finite connected cubic vertex-transitive tricirculants. We show that except for some small exceptions of order less than 54, each of these graphs is either a prism of order 6k with k odd, a Möbius ladder, or it falls into one of two infinite families, each family containing one graph for every order of the form 6k with k odd.
Melting lollipop chromatic quasisymmetric functions and Schur expansion of unicellular LLT polynomials
Published
• View Publication
• BIB
In this work, we generalize and utilize the linear relations of LLT polynomials introduced by Lee \cite{Lee}. By using the fact that the chromatic quasisymmetric functions and the unicellular LLT polynomials are related via plethystic substitution and thus they satisfy the same linear relations, we can apply the linear relations to both sets of functions.
As a result, in the chromatic quasisymmetric function side, we find a class of $e$-positive graphs, called \emph{melting lollipop graphs}, and explicitly prove the $e$-unimodality. In the unicellular LLT side, we obtain Schur expansion formulas for LLT polynomials corresponding to certain set of graphs, namely, complete graphs, path graphs, lollipop graphs and melting lollipop graphs.
Spiders and their Kin: An Investigation of Stanley's Chromatic Symmetric Function for Spiders and Related Graphs
Published
• View Publication
• BIB
We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call generalized nets, has no e-positive members, providing a more general counterexample to the necessity of the claw-free condition. We use yet another class of generalized spiders to construct a counterexample to a problem involving the $e$-positivity of claw-free, P4-sparse graphs, showing that Tsujie's result on the e-positivity of claw-free, P4-free graphs cannot be extended to graphs in this set. Finally, we investigate the e-positivity of another type of graphs, the horseshoe crab graphs (a class of unit interval graphs), and prove the positivity of all but one of the coefficients. This has close connections to the work of Gebhard and Sagan and Cho and Huh.
Asymptotic bounds on total domination in regular graphs
We find new upper bounds on the size of a minimum totally dominating set for random regular graphs and for regular graphs with large girth. These bounds are obtained through the analysis of a local algorithm using a method due to Hoppen and Wormald [Local algorithms, regular graphs of large girth, and random regular graphs. Combinatorica 38(3) (2018), 619-664].
The $k$-conversion number of regular graphs
Given a graph $G=(V,E)$ and a set $S_0\subseteq V$, an irreversible $k$-threshold conversion process on $G$ is an iterative process wherein, for each $t=1,2,\dots$, $S_t$ is obtained from $S_{t-1}$ by adjoining all vertices that have at least $k$ neighbours in $S_{t-1}$. We call the set $S_0$ the seed set of the process, and refer to $S_0$ as an irreversible $k$-threshold conversion set, or a $k$-conversion set, of $G$ if $S_t=V(G)$ for some $t\geq 0$. The $k$-conversion number $c_{k}(G)$ is the size of a minimum $k$-conversion set of $G$.
A set $X\subseteq V$ is a decycling set, or feedback vertex set, if and only if $G[V-X]$ is acyclic. It is known that $k$-conversion sets in $(k+1)$-regular graphs coincide with decycling sets.
We characterize $k$-regular graphs having a $k$-conversion set of size $k$, discuss properties of $(k+1)$-regular graphs having a $k$-conversion set of size $k$, and obtain a lower bound for $c_k(G)$ for $(k+r)$-regular graphs. We present classes of cubic graphs that attain the bound for $c_2(G)$, and others that exceed it---for example, we construct classes of $3$-connected cubic graphs $H_m$ of arbitrary girth that exceed the lower bound for $c_2(H_m)$ by at least $m$.
The spectra of generalized Paley graphs of $(q^\ell+1)$-th powers and applications
We consider a special class of generalized Paley graphs over finite fields, namely the Cayley graphs with vertex set $\mathbb{F}_{q^m}$ and connection set the nonzero $(q^\ell+1)$-th powers in $\mathbb{F}_{q^m}$, as well as their complements. We explicitly compute the spectrum and the energy of these graphs. As a consequence, the graphs turn out to be (with trivial exceptions) simple, connected, non-bipartite, integral and strongly regular, of pseudo or negative Latin square type. By using the spectral information we compute several invariants of these graphs. We exhibit infinitely many pairs of equienergetic non-isospectral graphs. As applications, on the one hand we solve Waring's problem over $\mathbb{F}_q^m$ for the exponents $q^\ell+1$, for each $q$ and for infinitely many values of $\ell$ and $m$. We obtain that the Waring's number $g(q^\ell+1,q^m)=1$ or $2$, depending on $m$ and $\ell$, thus solving some open cases. On the other hand, we construct infinite towers of Ramanujan graphs in all characteristics. Finally, we give the Ihara zeta functions of these graphs.
Irredundance Graphs
A set D of vertices of a graph G=(V,E) is irredundant if each v of D satisfies (a) v is isolated in the subgraph induced by D, or (b) v is adjacent to a vertex in V-D that is nonadjacent to all other vertices in D. The upper irredundance number IR(G) is the largest cardinality of an irredundant set of G; an IR(G)-set is an irredundant set of cardinality IR(G). The IR-graph of G has the IR(G)-sets as vertex set, and sets D and D' are adjacent if and only if D' is obtained from D by exchanging a single vertex of D for an adjacent vertex in D'. We study the realizability of graphs as IR-graphs and show that all disconnected graphs are IR-graphs, but some connected graphs (e.g. stars of order three or more, the paths of order 4 or 5, the 5-cycle) are not.
DNA graph characterization for the line digraph of dicycle with $\left\lfloor{\frac{n}{3}}\right \rfloor$ chords, $\infty$-digraph $C_n \cdot C_p$, and 3-blade-propeller $C_n \cdot C_p \cdot C_q$
DNA graph has important contribution in completing the computational step of DNA sequencing process. Using $(α,k)$-labeling, several families of digraphs have characterized as DNA graphs. Dicycles and dipaths are DNA graphs, rooted trees and self adjoint digraphs are DNA graphs if and only if their maximum degree is not greater than four, while the $m^{\text{th}}$ line digraph of dicycle with one chord is a DNA graph for all $m\in\mathbb{Z}^+$. In this paper we construct $(α,k)$-labeling to show that for all $m\in\mathbb{Z}^+$, the $m^{\text{th}}$ line digraph of dicycle $C_n$ with $\left\lfloor{\frac{n}{3}}\right \rfloor$ chords are DNA graphs for $n\geq 6$, and the $m^{\text{th}}$ line digraph of $\infty$-digraph $C_n\cdot C_p$ and 3-blade-propeller $C_n\cdot C_p \cdot C_q$ are DNA graphs for $n\geq 3$ and certain values of $p$ and $q$.
The Chvátal-Erdős condition for prism-Hamiltonicity
The prism over a graph $G$ is the cartesian product $G \Box K_2$. It is known that the property of having a Hamiltonian prism (prism-Hamiltonicity) is stronger than that of having a $2$-walk (spanning closed walk using every vertex at most twice) and weaker than that of having a Hamilton path. For a graph $G$, it is known that $α(G) \leq 2 κ(G)$, where $α(G)$ is the independence number and $κ(G)$ is the connectivity, imples existence of a $2$-walk in $G$, and the bound is sharp. West asked for a bound on $α(G)$ in terms of $κ(G)$ guaranteeing prism-Hamiltonicity. In this paper we answer this question and prove that $α(G) \leq 2 κ(G)$ implies the stronger condition, prism-Hamiltonicity of $G$.