graph
35299 papers tagged with this keyword
Perfect State Transfer on gcd-graphs
Published in Linear and Multilinear Algebra, 65(11): pp.2245-2256 (2016)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ is denoted by $H(t)$ and it is defined by $H(t):=\exp{\left(itA\right)},\;t\in\mathbb{R}.$ The graph $G$ has perfect state transfer (PST) from a vertex $u$ to another vertex $v$ if there exist $τ\left(\neq0\right)\in\mathbb{R}$ such that the $uv$-th entry of $H(τ)$ has unit modulus. In case when $u=v$, we say that $G$ is periodic at the vertex $u$ at time $τ$. The graph $G$ is said to be periodic if it is periodic at all vertices at the same time. A gcd-graph is a Cayley graph over a finite abelian group defined by greatest common divisors. We establish a sufficient condition for a gcd-graph to have periodicity and PST at $\fracπ{2}$. Using this we deduce that there exists gcd-graph having PST over an abelian group of order divisible by $4$. Also we find a necessary and sufficient condition for a class of gcd-graphs to be periodic at $π$. Using this we characterize a class of gcd-graphs not exhibiting PST at $\fracπ{2^{k}}$ for all positive integers $k$.
Affine primitive symmetric graphs of diameter two
Published
• View Publication
• BIB
Let $n$ be a positive integer, $q$ be a prime power, and $V$ be a vector space of dimension $n$ over $\mathbb{F}_q$. Let $G := V \rtimes G_0$, where $G_0$ is an irreducible subgroup of ${\rm GL}(V)$ which is maximal by inclusion with respect to being intransitive on the set of nonzero vectors. We are interested in the class of all diameter two graphs $Γ$ that admit such a group $G$ as an arc-transitive, vertex-quasiprimitive subgroup of automorphisms. In particular, we consider those graphs for which $G_0$ is a subgroup of either ${\rm ΓL}(n,q)$ or ${\rm ΓSp}(n,q)$ and is maximal in one of the Aschbacher classes $\mathcal{C}_i$, where $i \in \{2,4,5,6,7,8\}$. We are able to determine all graphs $Γ$ which arise from $G_0 \leq {\rm ΓL}(n,q)$ with $i \in \{2,4,8\}$, and from $G_0 \leq {\rm ΓSp}(n,q)$ with $i \in \{2,8\}$. For the remaining classes we give necessary conditions in order for $Γ$ to have diameter two, and in some special subcases determine all $G$-symmetric diameter two graphs.
Bipartite separability and non-local quantum operations on graphs
Published in Physical Review A 94, 012306 (2016)
• View Publication
• BIB
In this paper we consider the separability problem for bipartite quantum states arising from graphs. Earlier it was proved that the degree criterion is the graph-theoretic counterpart of the familiar positive partial transpose criterion for separability, although there are entangled states with positive partial transpose for which the degree criterion fails. Here we introduce the concept of partially symmetric graphs and degree symmetric graphs by using the well-known concept of partial transposition of a graph and degree criteria, respectively. Thus, we provide classes of bipartite separable states of dimension $m \times n$ arising from partially symmetric graphs. We identify partially asymmetric graphs that lack the property of partial symmetry. We develop a combinatorial procedure to create a partially asymmetric graph from a given partially symmetric graph. We show that this combinatorial operation can act as an entanglement generator for mixed states arising from partially symmetric graphs.
An eigenvalue localization theorem for stochastic matrices and its application to Randić matrices
Published
• View Publication
• BIB
A square matrix is called stochastic (or row-stochastic) if it is non-negative and has each row sum equal to unity. Here, we constitute an eigenvalue localization theorem for a stochastic matrix, by using its principal submatrices. As an application, we provide a suitable bound for the eigenvalues, other than unity, of the Randić matrix of a connected graph.
The quaternionic second weighted zeta function of a graph and the Study determinant
Published
• View Publication
• BIB
We establish a generalization of the second weighted zeta function of a graph to the case of quaternions. For an arc-weighted graph whose weights are quaternions, we define the second weighted zeta function by using the Study determinant that is a quaternionic determinant for quaternionic matrices defined by Study. This definition is regarded as a quaternionic analogue of the determinant expression of Hashimoto type for the Ihara zeta function of a graph. We derive the Study determinant expression of Bass type and the Euler product for the quaternionic second weighted zeta function.
Further applications of the Container Method
Published in Recent trends in Combinatorics, The IMA Volumes in Mathematics and its Applications Vol. 159, 2016
• View Publication
• BIB
Recently, Balogh--Morris--Samotij and Saxton--Thomason proved that hypergraphs satisfying some natural conditions have only few independent sets. Their main results already have several applications. However, the methods of proving these theorems are even more far reaching. The general idea is to describe some family of events, whose cardinality a priori could be large, only with a few certificates. Here, we show some applications of the methods, including counting $C_4$-free graphs, considering the size of a maximum $C_4$-free subgraph of a random graph and counting metric spaces with a given number of points. Additionally, we discuss some connections with the Szemerédi Regularity Lemma.
Zero-sum 6-flows in 5-regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph. A zero-sum flow of $G$ is an assignment of non-zero real numbers to the edges of $G$ such that the sum of the values of all edges incident with each vertex is zero. Let $k$ be a natural number. A zero-sum $k$-flow is a flow with values from the set $\{\pm1, \ldots, \pm(k - 1)\}$. In this paper, we prove that every 5-regular graph admits a zero-sum 6-flow.
Homomorphism Complexes and k-Cores
We prove that the topological connectivity of a graph homomorphism complex Hom($G,K_m$) is at least $m-D(G)-2$, where $\displaystyle D(G)=\max_{H\subseteq G}δ(H)$. This is a strong generalization of a theorem of Cukić and Kozlov, in which $D(G)$ is replaced by the maximum degree $Δ(G)$. It also generalizes the graph theoretic bound for chromatic number, $\displaystyleχ(G)\leq D(G)+1$, as $\displaystyleχ(G)=\min\{ m:\text{Hom}(G,K_m)\neq\varnothing\}$. Furthermore, we use this result to examine homological phase transitions in the random polyhedral complexes Hom$(G(n,p),K_m)$ when $p=c/n$ for a fixed constant $c > 0$.
Topologically $4$-chromatic graphs and signatures of odd cycles
Published
• View Publication
• BIB
We investigate group-theoretic "signatures" of odd cycles of a graph, and their connections to topological obstructions to 3-colourability. In the case of signatures derived from free groups, we prove that the existence of an odd cycle with trivial signature is equivalent to having the coindex of the hom-complex at least 2 (which implies that the chromatic number is at least 4). In the case of signatures derived from elementary abelian 2-groups we prove that the existence of an odd cycle with trivial signature is a sufficient condition for having the index of the hom-complex at least 2 (which again implies that the chromatic number is at least 4).
>k-homogeneous infinite graphs
Published in Journal of Combinatorial Theory, Series B 128 (2018) 160-174
• View Publication
• BIB
In this article we give an explicit classification for the countably infinite graphs $\mathcal{G}$ which are, for some $k$, $\geq$$ k$-homogeneous. It turns out that a $\geq$$k-$homogeneous graph $\mathcal{M}$ is non-homogeneous if and only if it is either not $1-$homogeneous or not $2-$homogeneous, both cases which may be classified using ramsey theory.
A class of gcd-graphs having Perfect State Transfer
Published in Electronic Notes in Discrete Mathematics, 53: pp.319-329 (2016)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix corresponding to $G$ is defined by $H(t):=\exp{\left(itA\right)}$, $t\in\Rl$. The graph $G$ is said to have perfect state transfer (PST) from a vertex $u$ to another vertex $v$, if there exist $τ\in\Rl$ such that the $uv$-th entry of $H(τ)$ has unit modulus. The graph $G$ is said to be periodic at $τ\in\Rl$ if there exist $γ\in\Cl$ with $|γ|=1$ such that $H(τ)=γI$, where $I$ is the identity matrix. A $\mathit{gcd}$-graph is a Cayley graph over a finite abelian group defined by greatest common divisors. In this paper, we construct classes of $\mathit{gcd}$-graphs having periodicity and perfect state transfer.
Total Dominating Sequences in Graphs
Published
• View Publication
• BIB
A vertex in a graph totally dominates another vertex if they are adjacent. A sequence of vertices in a graph $G$ is called a total dominating sequence if every vertex $v$ in the sequence totally dominates at least one vertex that was not totally dominated by any vertex that precedes $v$ in the sequence, and at the end all vertices of $G$ are totally dominated. While the length of a shortest such sequence is the total domination number of $G$, in this paper we investigate total dominating sequences of maximum length, which we call the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$. We provide a characterization of the graphs $G$ for which $γ_{\rm gr}^t(G)=|V(G)|$ and of those for which $γ_{\rm gr}^t(G)=2$. We show that if $T$ is a nontrivial tree of order~$n$ with no vertex with two or more leaf-neighbors, then $γ_{\rm gr}^t(T) \ge \frac{2}{3}(n+1)$, and characterize the extremal trees. We also prove that for $k \ge 3$, if $G$ is a connected $k$-regular graph of order~$n$ different from $K_{k,k}$, then $γ_{\rm gr}^t(G) \ge (n + \lceil \frac{k}{2} \rceil - 2)/(k-1)$ if $G$ is not bipartite and $γ_{\rm gr}^t(G) \ge (n + 2\lceil \frac{k}{2} \rceil - 4)/(k-1)$ if $G$ is bipartite. The Grundy total domination number is proven to be bounded from above by two times the Grundy domination number, while the former invariant can be arbitrarily smaller than the latter. Finally, a natural connection with edge covering sequences in hypergraphs is established, which in particular yields the NP-completeness of the decision version of the Grundy total domination number.
Ends of Schreier graphs and cut-points of limit spaces of self-similar groups
Published in Journal of Fractal Geometry, Volume 4, Issue 4, 2017, 369-424
• View Publication
• BIB
Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one or two ends, and we characterize bounded automata whose Schreier graphs have two ends almost surely. The connection with (local) cut-points of limit spaces of self-similar groups is established.
Spectral analogues of Moon-Moser's theorem on Hamilton paths in bipartite graphs
Published in Linear Algebra Appl. 515 (2017) 180--195
• View Publication
• BIB
In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.
Vertex Colorings without Rainbow or Monochromatic Subgraphs
Published
• View Publication
• BIB
This paper investigates vertex colorings of graphs such that some rainbow subgraph~$R$ and some monochromatic subgraph $M$ are forbidden. Previous work focussed on the case that $R=M$. Here we consider the more general case, especially the case that $M=K_2$.
On the Cycle Structure of Mallows Permutations
Published
• View Publication
• BIB
We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$.
We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices.
Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation.
Spectral characterizations of two families of nearly complete bipartite graphs
Published
• View Publication
• BIB
It is not hard to find many complete bipartite graphs which are not determined by their spectra. We show that the graph obtained by deleting an edge from a complete bipartite graph is determined by its spectrum. We provide some graphs, each of which is obtained from a complete bipartite graph by adding a vertex and an edge incident on the new vertex and an original vertex, which are not determined by their spectra.
Sparse exchangeable graphs and their limits via graphon processes
Published in Journal of Machine Learning Research 18(210):1-71, 2018
• Search Publication
In a recent paper, Caron and Fox suggest a probabilistic model for sparse graphs which are exchangeable when associating each vertex with a time parameter in $\mathbb{R}_+$. Here we show that by generalizing the classical definition of graphons as functions over probability spaces to functions over $σ$-finite measure spaces, we can model a large family of exchangeable graphs, including the Caron-Fox graphs and the traditional exchangeable dense graphs as special cases. Explicitly, modelling the underlying space of features by a $σ$-finite measure space $(S,\mathcal{S},μ)$ and the connection probabilities by an integrable function $W\colon S\times S\to [0,1]$, we construct a random family $(G_t)_{t\geq 0}$ of growing graphs such that the vertices of $G_t$ are given by a Poisson point process on $S$ with intensity $tμ$, with two points $x,y$ of the point process connected with probability $W(x,y)$. We call such a random family a graphon process. We prove that a graphon process has convergent subgraph frequencies (with possibly infinite limits) and that, in the natural extension of the cut metric to our setting, the sequence converges to the generating graphon. We also show that the underlying graphon is identifiable only as an equivalence class over graphons with cut distance zero. More generally, we study metric convergence for arbitrary (not necessarily random) sequences of graphs, and show that a sequence of graphs has a convergent subsequence if and only if it has a subsequence satisfying a property we call uniform regularity of tails. Finally, we prove that every graphon is equivalent to a graphon on $\mathbb{R}_+$ equipped with Lebesgue measure.
Size Ramsey numbers of stars versus cliques
Published
• View Publication
• BIB
The size Ramsey number $ \hat{r}(G,H) $ of two graphs $ G $ and $ H $ is the smallest integer $ m $ such that there exists a graph $ F $ on $ m $ edges with the property that every red-blue colouring of the edges of $ F $, yields a red copy of $ G $ or a blue copy of $ H $. In $ 1981 $, Erdős observed that $\hat{r}(K_{1,k},K_{3})\leq \binom{2k+1}{2}-\binom{k}{2}$ and he conjectured that the corresponding upper bound on $ \hat{r}(K_{1,k},K_{3}) $ is sharp. In $ 1983 $, Faudree and Sheehan extended this conjecture as follows: \hat{r}(K_{1,k},K_{n})=\left \{ {lr} \binom{k(n-1)+1}{2}-\binom{k}{2} & ~k\geq n~ \text{or}~ k~ \text{odd}. \binom{k(n-1)+1}{2}-k(n-1)/2 & \text{otherwise}. \right. They proved the case $ k=2 $. In $ 2001 $, Pikhurko showed that this conjecture is not true for $ n=3 $ and $ k\geq 5 $, disproving the mentioned conjecture of Erdős. Here we prove Faudree and Sheehan's conjecture for a given $ k\geq 2 $ and $ n\geq k^{3}+2k^{2}+2k $.
Latent Network Features and Overlapping Community Discovery via Boolean Intersection Representations
Published
• View Publication
• BIB
We propose a new latent Boolean feature model for complex networks that captures different types of node interactions and network communities. The model is based on a new concept in graph theory, termed the Boolean intersection representation of a graph, which generalizes the notion of an intersection representation. We mostly focus on one form of Boolean intersection, termed cointersection, and describe how to use this representation to deduce node feature sets and their communities. We derive several general bounds on the minimum number of features used in cointersection representations and discuss graph families for which exact cointersection characterizations are possible. Our results also include algorithms for finding optimal and approximate cointersection representations of a graph.