graph
35436 papers tagged with this keyword
The strong spectral property for graphs
Published
• View Publication
• BIB
We introduce the set $\mathcal{G}^{\rm SSP}$ of all simple graphs $G$ with the property that each symmetric matrix corresponding to a graph $G \in \mathcal{G}^{\rm SSP}$ has the strong spectral property. We find several families of graphs in $\mathcal{G}^{\rm SSP}$ and, in particular, characterise the trees in $\mathcal{G}^{\rm SSP}$.
Edge-ordered Ramsey numbers
Published in European Journal of Combinatorics 87, pages 103100, 2020
• View Publication
• BIB
We introduce and study a variant of Ramsey numbers for edge-ordered graphs, that is, graphs with linearly ordered sets of edges. The edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ of an edge-ordered graph $\mathfrak{G}$ is the minimum positive integer $N$ such that there exists an edge-ordered complete graph $\mathfrak{K}_N$ on $N$ vertices such that every 2-coloring of the edges of $\mathfrak{K}_N$ contains a monochromatic copy of $\mathfrak{G}$ as an edge-ordered subgraph of $\mathfrak{K}_N$.
We prove that the edge-ordered Ramsey number $\overline{R}_e(\mathfrak{G})$ is finite for every edge-ordered graph $\mathfrak{G}$ and we obtain better estimates for special classes of edge-ordered graphs. In particular, we prove $\overline{R}_e(\mathfrak{G}) \leq 2^{O(n^3\log{n})}$ for every bipartite edge-ordered graph $\mathfrak{G}$ on $n$ vertices. We also introduce a natural class of edge-orderings, called lexicographic edge-orderings, for which we can prove much better upper bounds on the corresponding edge-ordered Ramsey numbers.
Traceability of Connected Domination Critical Graphs
Published
• View Publication
• BIB
A dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex outside $S$ is adjacent to a vertex in $S$. A connected dominating set in $G$ is a dominating set $S$ such that the subgraph $G[S]$ induced by $S$ is connected. The connected domination number of $G$, $γ_c(G)$, is the minimum cardinality of a connected dominating set of $G$. A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for every pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut-vertices of $G$. It is known that if $G$ is a $k$-$γ_{c}$-critical graph, then $G$ has at most $k - 2$ cut-vertices, that is $ζ\le k - 2$. In this paper, for $k \ge 4$ and $0 \le ζ\le k - 2$, we show that every $k$-$γ_{c}$-critical graph with $ζ$ cut-vertices has a hamiltonian path if and only if $k - 3 \le ζ\le k - 2$.
Extra-factorial sum: a graph-theoretic parameter in Hamiltonian cycles of complete weighted graphs
A graph-theoretic parameter, in a form of a function, called the extra-factorial sum is discussed. The main results are presented in ref. [1] (Nastou et al., Optim Lett, 10, 1203-1220, 2016) and the reader is strongly advised to study the aforementioned paper. The current work presents subject matter in a tutorial form with proofs and some newer unpublished results towards the end (lemma six extension and lemma seven). The extra-factorial sum is relevant to Hamiltonian cycles of complete weighted graphs $WH_n$ with $n$ vertices and is obtained for each edge of $WH_n$. If this sum is multiplied by $1 / (n - 2)$ then it gives directly the arithmetic mean of the sum of lengths $l_i$ of all Hamiltonian cycles that traverse a selected edge $e_q$. The number of terms in this sum is a factorial proven to be $(n - 2)!$ which signifies that its value depends on $n$. Using the extra-factorial sum, the arithmetic mean of the sum of the squared lengths of $(n - 1)! / 2$ Hamiltonian cycles of $WH_{n}$ can be obtained as well.
The Moran forest
Published in Random Structures & Algorithms, 59(2):155-188 (2021)
• View Publication
• BIB
Starting from any graph on $\{1, \ldots, n\}$, consider the Markov chain where at each time-step a uniformly chosen vertex is disconnected from all of its neighbors and reconnected to another uniformly chosen vertex. This Markov chain has a stationary distribution whose support is the set of non-empty forests on $\{1, \ldots, n\}$. The random forest corresponding to this stationary distribution has interesting connections with the uniform rooted labeled tree and the uniform attachment tree. We fully characterize its degree distribution, the distribution of its number of trees, and the limit distribution of the size of a tree sampled uniformly. We also show that the size of the largest tree is asymptotically $α\log n$, where $α= (1 - \log(e - 1))^{-1} \approx 2.18$, and that the degree of the most connected vertex is asymptotically $\log n / \log\log n$.
Group-theoretic generalisations of vertex and edge connectivities
Published
• View Publication
• BIB
Let $p$ be an odd prime. Let $P$ be a finite $p$-group of class $2$ and exponent $p$, whose commutator quotient $P/[P,P]$ is of order $p^n$. We define two parameters for $P$ related to central decompositions. The first parameter, $κ(P)$, is the smallest integer $s$ for the existence of a subgroup $S$ of $P$ satisfying (1) $S\cap [P,P]=[S,S]$, (2) $|S/[S,S]|=p^{n-s}$, and (3) $S$ admits a non-trivial central decomposition. The second parameter, $λ(P)$, is the smallest integer $s$ for the existence of a central subgroup $N$ of order $p^s$, such that $P/N$ admits a non-trivial central decomposition. While defined in purely group-theoretic terms, these two parameters generalise respectively the vertex and edge connectivities of graphs: For a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lovász (B. Braz. Math. Soc., 1989), there is a $p$-group of class $2$ and exponent $p$ $P_G$ that is naturally associated with $G$. Our main results show that the vertex connectivity $κ(G)$ is equal to $κ(P_G)$, and the edge connectivity $λ(G)$ is equal to $λ(P_G)$. We also discuss the relation between $κ(P)$ and $λ(P)$ for a general $p$-group $P$ of class $2$ and exponent $p$, as well as the computational aspects of these parameters.
Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs
Published
• View Publication
• BIB
A digraph $D=(V, A)$ has a good pair at a vertex $r$ if $D$ has a pair of arc-disjoint in- and out-branchings rooted at $r$. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$
When $T$ is arbitrary, we obtain the following result: every strong digraph composition $Q$ in which $n_i\ge 2$ for every $1\leq i\leq t$, has a good pair at every vertex of $Q.$ The condition of $n_i\ge 2$ in this result cannot be relaxed. When $T$ is semicomplete, we characterize semicomplete compositions with a good pair, which generalizes the corresponding characterization by Bang-Jensen and Huang (J. Graph Theory, 1995) for quasi-transitive digraphs. As a result, we can decide in polynomial time whether a given semicomplete composition has a good pair rooted at a given vertex.
On edge-ordered Ramsey numbers
Published
• View Publication
• BIB
An edge-ordered graph is a graph with a linear ordering of its edges. Two edge-ordered graphs are equivalent if their is an isomorphism between them preserving the ordering of the edges. The edge-ordered Ramsey number $r_{edge}(H; q)$ of an edge-ordered graph $H$ is the smallest $N$ such that there exists an edge-ordered graph $G$ on $N$ vertices such that, for every $q$-coloring of the edges of $G$, there is a monochromatic subgraph of $G$ equivalent to $H$. Recently, Balko and Vizer announced that $r_{edge}(H;q)$ exists. However, their proof uses the Graham-Rothschild theorem and consequently gives an enormous upper bound on these numbers. We give a new proof giving a much better bound. We prove that for every edge-ordered graph $H$ on $n$ vertices, we have $r_{edge}(H;q) \leq 2^{c^qn^{2q-2}\log^q n}$, where $c$ is an absolute constant. We also explore the edge-ordered Ramsey number of sparser graphs and prove a polynomial bound for edge-ordered graphs of bounded degeneracy. We also prove a strengthening for edge-labeled graphs, graphs where every edge is given a label and the labels do not necessary have an ordering.
Minimal definable graphs of definable chromatic number at least three
Published in Forum of Mathematics, Sigma (2021), Vol. 9:e7 1--16
• View Publication
• BIB
We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails.
Globally simple Heffter arrays $H(n;k)$ when $k\equiv 0,3\mod 4$
Square Heffter arrays are $n\times n$ arrays such that each row and each column contains $k$ filled cells, each row and column sum is divisible by $2nk+1$ and either $x$ or $-x$ appears in the array for each integer $1\leq x\leq nk$.
Archdeacon noted that a Heffter array, satisfying two additional conditions, yields a face $2$-colourable embedding of the complete graph $K_{2nk+1}$ on an orientable surface, where for each colour, the faces give a $k$-cycle system. Moreover, a cyclic permutation on the vertices acts as an automorphism of the embedding. These necessary conditions pertain to cyclic orderings of the entries in each row and each column of the Heffter array and are: (1) for each row and each column the sequential partial sums determined by the cyclic ordering must be distinct modulo $2nk+1$; (2) the composition of the cyclic orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. We construct Heffter arrays that satisfy condition (1) whenever (a) $k\equiv 0\mod 4$; or (b) $n\equiv 1\mod 4$ and $k\equiv 3\mod 4$; or (c) $n\equiv 0\mod 4$, $k\equiv3\mod 4$ and $n\gg k$. As corollaries to the above we obtain pairs of orthogonal $k$-cycle decompositions of $K_{2nk+1}$.
Characterization of subgroup perfect codes in Cayley graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than $1$ to exactly one vertex of $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if $C$ is a perfect code in some Cayley graph of $G$. In this paper we give sufficient and necessary conditions for a subgroup $H$ of a finite group $G$ to be a perfect code of $G$. Based on this, we determine the finite groups that have no nontrivial subgroup as a perfect code, which answers a question by Ma, Walls, Wang and Zhou.
An Efficient Structural Descriptor Sequence to Identify Graph Isomorphism and Graph Automorphism
In this paper, we study the graph isomorphism and graph automorphism problems. We propose a novel technique to analyze graph isomorphism and graph automorphism. Further we handled some strongly regular datasets for prove the efficiency of our technique. The neighbourhood matrix $ \mathcal{NM}(G) $ was proposed in \cite {ALPaper} as a novel representation of graphs and was defined using the neighbourhood sets of the vertices. It was also shown that the matrix exhibits a bijection between the product of two well known graph matrices, namely the adjacency matrix and the Laplacian matrix. Further, in a recent work\cite{NM_SPath}, we introduced the sequence of matrices representing the powers of $\mathcal{NM}(G)$ and denoted it as $ \mathcal{NM}^{\{l\}}, 1\leq l \leq k(G)$ where $ k(G) $ is called the \textbf{iteration number}, $k(G)=\ceil*{\log_{2}diameter(G)} $. In this article we introduce a structural descriptor given by a sequence and clique sequence for any undirected unweighted simple graphs with help of the sequences of matrices $ NM^{\{l\}} $. The $ i^{th} $ element of structural descriptor sequence encodes the complete structural information of the graph from the vertex $ i\in V(G) $. The $ i^{th} $ element of clique sequence encodes the Maximal cliques on $ i $ vertices. The above sequences is shown to be a graph invariants and is used to study the graph isomorphism and automorphism problem.
Inequalities of Independence Number, Clique Number and Connectivity of Maximal Connected Domination Critical Graphs
A $k$-$γ_{c}$-edge critical graph is a graph $G$ with the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$γ_{c}$-vertex critical if $γ_{c}(G) = k$ and $γ_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$γ_{c}$-vertex critical graph is a graph which are both $k$-$γ_{c}$-edge critical and $k$-$γ_{c}$-vertex critical. Let $κ, δ, ω$ and $α$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$γ_{c}$-vertex critical graph $G$ satisfies $α\leq δ$ and this bound is best possible. We prove further that $G$ satisfies $α+ ω\leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $κ< δ$, then every two vertices of $G$ are joined by hamiltonian path.
Aggregate Play and Welfare in Strategic Interactions on Networks
Published
• View Publication
• BIB
In recent work by Bramoullé and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoullé et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibria with small changes in network structure, makes it challenging for a system planner to estimate the maximum social welfare of such a game or to devise interventions that enhance this welfare. Our main results address this challenge by providing close approximations to the maximum social welfare and the maximum aggregate play in terms of only network characteristics such as the maximum degree and independence number. For the special case when the underlying network is a tree, we derive formulae which use only the number of nodes and their degrees. These results allow a system planner to assess aggregate outcomes and design interventions for the game, directly from the underlying graph structure, without enumerating all equilibria of the game, thereby significantly simplifying the planner's problem. A part of our results can be viewed as a logical extension of [7] where the maximum weighted aggregate effort of the model in [2] was characterized as the weighted independence number of the graph.
Transitive tournament tilings in oriented graphs with large minimum total degree
Published
• View Publication
• BIB
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\vec{T}_4$'s, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint $\vec{T}_k$'s.
Characterizing cospectral vertices via isospectral reduction
Published
• View Publication
• BIB
Two emerging topics in graph theory are the study of cospectral vertices of a graph, and the study of isospectral reductions of graphs. In this paper, we prove a fundamental relationship between these two areas, which is that two vertices of a graph are cospectral if and only if the isospectral reduction over these vertices has a nontrivial automorphism. It is well known that if two vertices of a graph are symmetric, i.e. if there exists a graph automorphism permuting these two vertices, then they are cospectral. This paper extends this result showing that any two cospectral vertices are symmetric in some reduced version of the graph. We also prove that two vertices are strongly cospectral if and only if they are cospectral and the isospectral reduction over these two vertices has simple eigenvalues. We further describe how these results can be used to construct new families of graphs with cospectral vertices.
Wiener index and Harary index on pancyclic graphs
Wiener index and Harary index are two classic and well-known topological indices for the characterization of molecular graphs. Recently, Yu et al. \cite{YYSX} established some sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph. In this paper, we give some sufficient conditions for a graph being pancyclic in terms of the Wiener index, the Harary index, the distance spectral radius and the Harary spectral radius of a graph.
Throttling numbers for adversaries on connected graphs
In this paper, we answer two open problems from [Breen et al., Throttling for the game of Cops and Robbers on graphs, Discrete Math., 341 (2018) 2418-2430]. The throttling number $th_c(G)$ of a graph $G$ is the minimum possible value of $k + capt_k(G)$ over all positive integers $k$, where $capt_k(G)$ is the number of rounds needed for $k$ cops to capture the robber on $G$. One of the problems from [Breen et al., 2018] was to determine whether there exists a family of trees $T$ of order $n$ for which $th_c(T)$ is asymptotically equal to $2 \sqrt{n}$. We show that such a family cannot exist by improving the upper bound on $\displaystyle \max_{T} th_c(T)$ for all trees $T$ of order $n$ from $2 \sqrt{n}$ to $\frac{\sqrt{14}}{2} \sqrt{n} + O(1)$. We prove this bound by deriving a more general throttling bound for connected graphs that applies to multiple graph adversaries, including the robber and the gambler. This also improves the best known upper bounds on $th_c(G)$ for chordal graphs and unicyclic graphs $G$, as well as throttling numbers for positive semidefinite (PSD) zero forcing on trees. In addition to the results about cop versus robber, we use our general throttling bound to improve previous upper bounds on throttling numbers for the cop versus gambler game on connected graphs.
Another open problem from [Breen et al., 2018] was to obtain a bound on $th_c(G)$ for cactus graphs $G$. We prove an $O(\sqrt{n})$ bound for all cactus graphs $G$ of order $n$. Furthermore, we exhibit a family of trees $T$ of order $n$ that have $th_c(T) > 1.4502 \sqrt{n}$ for all $n$ sufficiently large, improving on the previous lower bound of $\lceil \sqrt{2n}-\frac{1}{2} \rceil + 1$ on $\displaystyle \max_{T} th_c(T)$ for trees $T$ of order $n$.
On the size-Ramsey number of grid graphs
Published in Combinator. Probab. Comp. 30 (2021) 670-685
• View Publication
• BIB
The size-Ramsey number of a graph $F$ is the smallest number of edges in a graph $G$ with the Ramsey property for $F$, that is, with the property that any 2-colouring of the edges of $G$ contains a monochromatic copy of $F$. We prove that the size-Ramsey number of the grid graph on $n\times n$ vertices is bounded from above by $n^{3+o(1)}$.
Generalized Ramsey numbers: forbidding paths with few colors
Published
• View Publication
• BIB
Let $f(K_n, H, q)$ be the minimum number of colors needed to edge-color $K_n$ so that every copy of $H$ is colored with at least $q$ colors. Originally posed by Erdős and Shelah when $H$ is complete, the asymptotics of this extremal function have been extensively studied when $H$ is a complete graph or a complete balanced bipartite graph. Here we investigate this function for some other $H$, and in particular we determine the asymptotic behavior of $f(K_n, P_v, q)$ for almost all values of $v$ and $q$, where $P_v$ is a path on $v$ vertices.