graph
34828 papers tagged with this keyword
The existence of the graphs that have exactly two main eigenvalues
An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b)\neq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.
Automorphism groups of a class of cubic Cayley graphs on symmetric groups
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $Γ_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $Γ_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $Γ_n$ is equal to $\mathrm{Aut}(Γ_n)=R(S_n)\rtimes \langle\mathrm{Inn}(φ)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $φ=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(φ)$ is the inner isomorphism of $S_n$ induced by $φ$.
Decomposing planar cubic graphs
Published
• View Publication
• BIB
The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.
A unifying framework for fast randomization of ecological networks with fixed (node) degrees
Published in Corrie Jacobien Carstens, Annabell Berger, Giovanni Strona, A unifying framework for fast randomization of ecological networks with fixed (node) degrees, MethodsX, Volume 5, 2018, Pages 773-780
• View Publication
• BIB
The switching model is a Markov chain approach to sample graphs with fixed degree sequence uniformly at random. The recently invented Curveball algorithm for bipartite graphs applies several switches simultaneously (`trades'). Here, we introduce Curveball algorithms for simple (un)directed graphs which use single or simultaneous trades. We show experimentally that these algorithms converge magnitudes faster than the corresponding switching models.
Laplacian Distribution and Domination
Published
• View Publication
• BIB
Let $m_G(I)$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$, and let $γ(G)$ denote its domination number. We extend the recent result $m_G[0,1) \leq γ(G)$, and show that isolate-free graphs also satisfy $γ(G) \leq m_G[2,n]$. In pursuit of better understanding Laplacian eigenvalue distribution, we find applications for these inequalities. We relate these spectral parameters with the approximability of $γ(G)$, showing that $\frac{γ(G)}{m_G[0,1)} \not\in O(\log n)$. However, $γ(G) \leq m_G[2, n] \leq (c + 1) γ(G)$ for $c$-cyclic graphs, $c \geq 1$. For trees $T$, $γ(T) \leq m_T[2, n] \leq 2 γ(G)$.
A Method for Computing the Edge-Hyper-Wiener Index of Partial Cubes and an Algorithm for Benzenoid Systems
Published in Appl. Anal. Discr. Math. 12 (2018) 126-142
• View Publication
• BIB
The edge-hyper-Wiener index of a connected graph $G$ is defined as $WW_e(G) = \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f) + \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f)^2$. We develop a method for computing the edge-hyper-Wiener index of partial cubes, which constitute a large class of graphs with a lot of applications. It is also shown how the method can be applied to trees. Furthermore, an algorithm for computing the edge-hyper-Wiener index of benzenoid systems is obtained. Finally, the algorithm is used to correct already known closed formulas for the edge-Wiener index and the edge-hyper-Wiener index of linear polyacenes.
On the number of solutions in random graph $k$-colouring
Let $k \ge 3$ be a fixed integer. We exactly determine the asymptotic distribution of $\ln Z_k(G(n,m))$, where $Z_k(G(n,m))$ is the number of $k$-colourings of the random graph $G(n,m)$. A crucial observation to this aim is that the fluctuations in the number of colourings can be attributed to the fluctuations in the number of small cycles in $G(n,m)$. Our result holds for a wide range of average degrees, and for $k$ exceeding a certain constant $k_0$ it covers all average degrees up to the so-called "condensation phase transition".
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
Totally Antimagic Total labeling of Ladders, Prisms and Generalised Pertersen graphs
Published
• View Publication
• BIB
Given a graph $G$, a total labeling on $G$ is called edge-antimagic total (respectively, vertex-antimagic total) if all edge-weights (respectively, vertex-weights) are pairwise distinct. If a labeling on $G$ is simultaneously edge-antimagic total and vertex-antimagic total, it is called a totally antimagic total labeling. A graph that admits totally antimagic total labeling is called a totally antimagic total graph. In this paper, we prove that ladders, prisms and generalised Pertersen graphs are totally antimagic total graphs. We also show that the chain graph of totally antimagic total graphs is a totally antimagic total graph.
$L^p$ Expander Graphs
Published in Israel Journal of Mathematics (2019)
• View Publication
• BIB
We discuss how graph expansion is related to the behavior of $L^{p}$-functions on the covering tree. We show that the non-trivial eigenvalues of the adjacency operator on aa $(q+1)$-regular graph are bounded by $q^{1/p}+q^{(p-1)/p}$ - the $L^{p}$-norm of the operator on the covering tree - if and only if properly averaged lifts of functions from the graph to the tree lie in $L^{p+ε}$ for every $ε>0$. We generalize the result to operators on edges and to bipartite graphs.
The work is based on a combinatorial interpretation of representation-theoretic ideas.
Minimal completely asymmetric (4; n)-regular matchstick graphs
A matchstick graph is a graph drawn with straight edges in the plane such that the edges have unit length, and non-adjacent edges do not intersect. We call a matchstick graph $(m;n)$-regular if every vertex has only degree $m$ or $n$. In this article we present the latest known $(4;n)$-regular matchstick graphs for $4\leq n\leq11$ with a minimum number of vertices and a completely asymmetric structure. We call a matchstick graph completely asymmetric, if the following conditions are complied. 1) The graph is rigid. 2) The graph has no point, rotational or mirror symmetry. 3) The graph has an asymmetric outer shape. 4) The graph can not be decomposed into rigid subgraphs and rearrange to a similar graph which contradicts to any of the other conditions.
Pursuit on a Graph under Partial Information from Sensors
Published
• View Publication
• BIB
We consider a class of pursuit-evasion problems where an evader enters a directed acyclic graph and attempts to reach one of the terminal nodes. A pursuer enters the graph at a later time and attempts to capture the evader before it reaches a terminal node. The pursuer can only obtain information about the evader's path via sensors located at each node in the graph; the sensor measurements are either green or red (indicating whether or not the evader has passed through that node). We first show that it is NP-hard to determine whether the pursuer can enter with some nonzero delay and still be guaranteed to capture the evader, even for the simplest case when the underlying graph is a tree. This also implies that it is NP-hard to determine the largest delay at which the pursuer can enter and still have a guaranteed capture policy. We further show that it is NP-hard to approximate (within any constant factor) the largest delay at which the pursuer can enter. Finally, we provide an algorithm to compute the maximum pursuer delay for a class of node-sweeping policies on tree networks and show that this algorithm runs in linear-time for bounded-degree trees.
Ramsey Numbers of Odd Cycles Versus Larger Even Wheels
Published
• View Publication
• BIB
The generalized Ramsey number $R(G_1, G_2)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ either contains a red copy of $G_1$ or a blue copy of $G_2$. Let $C_m$ denote a cycle of length $m$ and $W_n$ denote a wheel with $n+1$ vertices. In 2014, Zhang, Zhang and Chen determined many of the Ramsey numbers $R(C_{2k+1}, W_{n})$ of odd cycles versus larger wheels, leaving open the particular case where $n = 2j$ is even and $k<j<3k/2$. They conjectured that for these values of $j$ and $k$, $R(C_{2k+1}, W_{2j})=4j+1$. In 2015, Sanhueza-Matamala confirmed this conjecture asymptotically, showing that $R(C_{2k+1}, W_{2j}) \le 4j+334$. In this paper, we prove the conjecture of Zhang, Zhang and Chen for almost all of the remaining cases. In particular, we prove that $R(C_{2k+1},W_{2j})=4j+1$ if $j-k \ge 251$, $k<j<3k/2$, and $j \ge 212299$.
Stability of intersections of graphs in the plane and the van Kampen obstruction
Published in Topology and its Applications, 240 (2018) 259-269
• View Publication
• BIB
A map $\varphi:K\to R^2$ of a graph $K$ is approximable by embeddings, if for each $\varepsilon>0$ there is an $\varepsilon$-close to $\varphi$ embedding $f:K\to R^2$. Analogous notions were studied in computer science under the names of cluster planarity and weak simplicity. This short survey is intended not only for specialists in the area, but also for mathematicians from other areas. We present criteria for approximability by embeddings (P. Minc, 1997, M. Skopenkov, 2003) and their algorithmic corollaries. We introduce the van Kampen (or Hanani-Tutte) obstruction for approximability by embeddings and discuss its completeness. We discuss analogous problems of moving graphs in the plane apart (cf. S. Spiez and H. Torunczyk, 1991) and finding closest embeddings (H. Edelsbrunner). We present higher dimensional van Kampen obstruction, its completeness result and algorithmic corollary (D. Repovs and A. Skopenkov, 1998).
Perfect codes in Cayley graphs
Published
• View Publication
• BIB
Given a graph $Γ$, a subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than one to exactly one vertex in $C$, and a subset $C$ of $V(Γ)$ is called a total perfect code in $Γ$ if every vertex of $Γ$ is adjacent to exactly one vertex in $C$. In this paper we study perfect codes and total perfect codes in Cayley graphs, with a focus on the following themes: when a subgroup of a given group is a (total) perfect code in a Cayley graph of the group; and how to construct new (total) perfect codes in a Cayley graph from known ones using automorphisms of the underlying group. We prove several results around these questions.
The Szeged Index and the Wiener Index of Partial Cubes with Applications to Chemical Graphs
Published in Appl. Math. Comput. 309 (2017) 324-333
• View Publication
• BIB
In this paper we study the Szeged index of partial cubes and hence generalize the result proved by V. Chepoi and S. Klavžar, who calculated this index for benzenoid systems. It is proved that the problem of calculating the Szeged index of a partial cube can be reduced to the problem of calculating the Szeged indices of weighted quotient graphs with respect to a partition coarser than $Θ$-partition. Similar result for the Wiener index was recently proved by S. Klavžar and M. J. Nadjafi-Arani. Furthermore, we show that such quotient graphs of partial cubes are again partial cubes. Since the results can be used to efficiently calculate the Wiener index and the Szeged index for specific families of chemical graphs, we consider $C_4C_8$ systems and show that the two indices of these graphs can be computed in linear time.
Local convergence and stability of tight bridge-addable graph classes
Published in Canadian Journal of Mathematics, 72(3), 563-601 (2020)
• View Publication
• BIB
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if $\mathcal{G}$ is bridge-addable and $G_n$ is a uniform $n$-vertex graph from $\mathcal{G}$, then $G_n$ is connected with probability at least $(1+o_n(1))e^{-1/2}$. The constant $e^{-1/2}$ is best possible since it is reached for the class of all forests.
In this paper we prove a form of uniqueness in this statement: if $\mathcal{G}$ is a bridge-addable class and the random graph $G_n$ is connected with probability close to $e^{-1/2}$, then $G_n$ is asymptotically close to a uniform $n$-vertex random forest in some local sense. For example, if the probability converges to $e^{-1/2}$, then $G_n$ converges in the sense of Benjamini-Schramm to the uniform infinite random forest $F_\infty$. This result is reminiscent of so-called "stability results" in extremal graph theory, with the difference that here the stable extremum is not a graph but a graph class.
The edge Folkman number $F_e(3, 3; 4)$ is greater than 19
Published in Geombinatorics, 27(1):5-14, 2017
• Search Publication
The set of the graphs which do not contain the complete graph on $q$ vertices $K_q$ and have the property that in every coloring of their edges in two colors there exist a monochromatic triangle is denoted by $\mathcal{H}_e(3, 3; q)$. The edge Folkman numbers $F_e(3, 3; q) = \min\{|V(G)| : G \in \mathcal{H}_e(3, 3; q)\}$ are considered. Folkman proved in 1970 that $F_e(3, 3; q)$ exists if and only if $q \geq 4$. From the Ramsey number $R(3, 3) = 6$ it becomes clear that $F_e(3, 3; q) = 6$ if $q \geq 7$. It is also known that $F_e(3, 3; 6) = 8$ and $F_e(3, 3; 5) = 15$. The upper bounds on the number $F_e(3, 3; 4)$ which follow from the construction of Folkman and from the constructions of some other authors are not good. In 1975 Erdos posed the problem to prove the inequality $F_e(3, 3; 4) < 10^{10}$. This Erdos problem was solved by Spencer in 1978. The last upper bound on $F_e(3, 3; 4)$ was obtained in 2012 by Lange, Radziszowski and Xu, who proved that $F_e(3, 3; 4) \leq 786$. The best lower bound on this number is 19 and was obtained 10 years ago by Radziszowski and Xu. In this paper, we improve this result by proving $F_e(3, 3; 4) \geq 20$. At the end of the paper, we improve the known bounds on the vertex Folkman number $F_v(2, 3, 3; 4)$ by proving $20 \leq F_v(2, 3, 3; 4) \leq 24$.
Circuit Covers of Cubic Signed Graphs
Published in Journal of Graph Theory (2018)
• View Publication
• BIB
A signed graph is a graph $G$ associated with a mapping $σ: E(G)\to \{-1,+1\}$, denoted by $(G,σ)$. A $cycle$ of $(G,σ)$ is a connected 2-regular subgraph. A cycle $C$ is $positive$ if it has an even number of negative edges, and negative otherwise. A $circuit$ of of a signed graph $(G,σ)$ is a positive cycle or a barbell consisting of two edge-disjoint negative cycles joined by a path. The definition of a circuit of signed graph comes from the signed-graphic matroid. A circuit cover of $(G,σ)$ is a family of circuits covering all edges of $(G,σ)$. A circuit cover with the smallest total length is called a shortest circuit cover of $(G,σ)$ and its length is denoted by $\text{scc}(G,σ)$. Bouchet proved that a signed graph with a circuit cover if and only if it is flow-admissible (i.e., has a nowhere-zero integer flow). Máčajová et. al. show that a 2-edge-connected signed graph $(G,σ)$ has $\text{scc}(G,σ)\le 9 |E(G)|$ if it is flow-admissible. This bound was improved recently by Cheng et. al. to $\text{scc}(G,σ) \le 11|E(G)|/3$ for 2-edge-connected signed graphs with even negativeness, and particularly, $\text{scc}(G,σ)\le 3|E(G)|+ε(G,σ)/3$ for 2-edge-connected cubic signed graphs with even negativeness (where $ε(G,σ)$ is the negativeness of $(G,σ)$). In this paper, we show that every 2-edge-connected cubic signed graph has $\text{scc}(G,σ)\le 26|E(G)|/9$ if it is flow-admissible, and $\text{scc}(G,σ)\le 23|E(G)|/9$ if it has even negativeness.
Hadwiger's conjecture: finite vs infinite graphs
We study some versions of the statement of Hadwiger's conjecture for finite as well as infinite graphs.