graph
34665 papers tagged with this keyword
Symmetrical 2-extensions of the 3-dimensional grid. I
Published
• View Publication
• BIB
For a positive integer $d$, a connected graph $Γ$ is a symmetrical 2-extension of the $d$-dimensional grid $Λ^d$ if there exists a vertex-tran\-sitive group $G$ of automorphisms of $Γ$ and its imprimitivity system $σ$ with blocks of order 2 such that there exists an isomorphism $\varphi$ of the quotient graph $Γ/σ$ onto $Λ^d$. The tuple $(Γ, G, σ, \varphi)$ with specified components is called a realization of the symmetrical 2-extension $Γ$ of the grid $Λ^{d}$. Two realizations $(Γ_1, G_1,$ $σ_1, \varphi_1)$ and $(Γ_2, G_2, σ_2, \varphi_2)$ are called equivalent if there exists an isomorphism of the graph $Γ_1$ onto $Γ_2$ which maps $σ_1$ onto $σ_2$. V. Trofimov proved that, up to equivalence, there are only finitely many realizations of symmetrical $2$-extensions of $Λ^{d}$ for each positive integer $d$. E. Konovalchik and K. Kostousov found all, up to equivalence, realizations of symmetrical 2-extensions of the grid $Λ^2$. In this work we found all, up to equivalence, realizations $(Γ, G, σ, \varphi)$ of symmetrical 2-extensions of the grid $Λ^3$ for which only the trivial automorphism of $Γ$ preserves all blocks of $σ$ (we prove that there are 5573 such realizations, and that among corresponding graphs $Γ$ there are 5350 pairwise non-isomorphic).
Second powers of cover ideals of paths
Published in Algebra Colloq. 29 (2022), no. 4, 669-686
• View Publication
• BIB
We show that the second power of the cover ideal of a path graph has linear quotients. To prove our result we construct a recursively defined order on the generators of the ideal which yields linear quotients. Our construction has a natural generalization to the larger class of chordal graphs. This generalization allows us to raise some questions that are related to some open problems about powers of cover ideals of chordal graphs.
Short proof that Kneser graphs are Hamiltonian for $n\geq 4k$
Published
• View Publication
• BIB
For integers $n\geq k\geq 1$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian and later improved this to $n\geq 2.62k+1$. Furthermore, Chen and Füredi gave a short proof that if $k | n$, Kneser graphs are Hamiltonian for $n\geq 3k$. In this note, we present a short proof that does not need the divisibility condition, i.e., we give a short proof that $K(n,k)$ is Hamiltonian for $n\geq 4k$.
The size of graphs with restricted rainbow $2$-connection number
Let $k$ be a positive integer, and $G$ be a $k$-connected graph. An edge-coloured path is \emph{rainbow} if all of its edges have distinct colours. The \emph{rainbow $k$-connection number} of $G$, denoted by $rc_k(G)$, is the minimum number of colours in an edge-colouring of $G$ such that, any two vertices are connected by $k$ internally vertex-disjoint rainbow paths. The function $rc_k(G)$ was introduced by Chartrand, Johns, McKeon and Zhang in 2009, and has since attracted significant interest. Let $t_k(n,r)$ denote the minimum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\le r$. Let $s_k(n,r)$ denote the maximum number of edges in a $k$-connected graph $G$ on $n$ vertices with $rc_k(G)\ge r$. The functions $t_1(n,r)$ and $s_1(n,r)$ have previously been studied by various authors. In this paper, we study the functions $t_2(n,r)$ and $s_2(n,r)$. We determine bounds for $t_2(n,r)$ which imply that $t_2(n,2)=(1+o(1))n\log_2 n$, and $t_2(n,r)$ is linear in $n$ for $r\ge 3$. We also provide some remarks about the function $s_2(n,r)$.
Cops and Robbers on graphs of bounded diameter
Published
• View Publication
• BIB
The game of Cops and Robbers is a well known game played on graphs. In this paper we consider the class of graphs of bounded diameter. We improve the strategy of cops and previously used probabilistic method which results in an improved upper bound for the cop number of graphs of bounded diameter. In particular, for graphs of diameter four, we improve the upper bound from $n^{\frac{2}{3}+o(1)}$ to $n^{\frac{3}{5}+o(1)}$ and for diameter three from $n^{\frac{2}{3}+o(1)}$ to $n^{\frac{4}{7}+o(1)}$.
Separability of Schur rings over abelian groups of odd order
Published in Graphs and Combinatorics, Vol. 36, No. 6 (2020), 1891-1911
• View Publication
• BIB
An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial isomorphism. A finite group $G$ is said to be separable with respect to $\mathcal{K}$ if every $S$-ring over $G$ is separable with respect to $\mathcal{K}$. We prove that every abelian group $G$ of order $9p$, where $p$ is a prime, is separable with respect to the class of all finite abelian groups. Modulo previously obtained results, this completes a classification of noncyclic abelian groups of odd order that are separable with respect to the class of all finite abelian groups. Also this implies that the Weisfeiler-Leman dimension of the class of Cayley graphs over $G$ is at most 2.
Nonlocal network dynamics via fractional graph Laplacians
Published in Journal of Complex Networks, Volume 8, Issue 3, June 2020, cnaa017
• View Publication
• BIB
We introduce nonlocal dynamics on directed networks through the construction of a fractional version of a nonsymmetric Laplacian for weighted directed graphs. Furthermore, we provide an analytic treatment of fractional dynamics for both directed and undirected graphs, showing the possibility of exploring the network employing random walks with jumps of arbitrary length. We also provide some examples of the applicability of the proposed dynamics, including consensus over multi-agent systems described by directed networks.
Techniques for determining equality of the maximum nullity and the zero forcing number of a graph
Published
• View Publication
• BIB
It is known that the zero forcing number of a graph is an upper bound for the maximum nullity of the graph. In this paper, we search for characteristics of a graph that guarantee the maximum nullity of the graph and the zero forcing number of the graph are the same by studying a variety of graph parameters which bound the maximum nullity of a graph below. In particular, we introduce a new graph parameter which acts as a lower bound for the maximum nullity of the graph. As a result, we show that the Aztec Diamond graph's maximum nullity and zero forcing number are the same. Other graph parameters that are considered are a Colin de Verdiére type parameter and the vertex connectivity. We also use matrices, such as a divisor matrix of a graph and an equitable partition of the adjacency matrix of a graph, to establish a lower bound for the nullity of the graph's adjacency matrix.
Restricted extension of sparse partial edge colorings of complete graphs
Published
• View Publication
• BIB
Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions.
Colorings with only rainbow arithmetic progressions
Published
• View Publication
• BIB
If we want to color $1,2,\ldots,n$ with the property that all 3-term arithmetic progressions are rainbow (that is, their elements receive 3 distinct colors), then, obviously, we need to use at least $n/2$ colors. Surprisingly, much fewer colors suffice if we are allowed to leave a negligible proportion of integers uncolored. Specifically, we prove that there exist $α,β<1$ such that for every $n$, there is a subset $A$ of $\{1,2,\ldots,n\}$ of size at least $n-n^α$, the elements of which can be colored with $n^β$ colors with the property that every 3-term arithmetic progression in $A$ is rainbow. Moreover, $β$ can be chosen to be arbitrarily small. Our result can be easily extended to $k$-term arithmetic progressions for any $k\ge 3$.
As a corollary, we obtain the following result of Alon, Moitra, and Sudakov, which can be used to design efficient communication protocols over shared directional multi-channels. There exist $α',β'<1$ such that for every $n$, there is a graph with $n$ vertices and at least $\binom{n}{2}-n^{1+α'}$ edges, whose edge set can be partitioned into at most $n^{1+β'}$ induced matchings.
Enumeration of Permutation Classes and Weighted Labelled Independent Sets
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (March 29, 2021) dmtcs:5995
• View Publication
• BIB
In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cells filled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding becomes a bijection to its image. We describe the image of those restrictions using independent sets of graphs weighted with permutations. We derive the generating function for the independent sets and then for their weighted counterparts. The bijections we establish provide the enumeration of permutation classes. We use our results to uncover some unbalanced Wilf-equivalences of permutation classes and outline how to do random sampling in the permutation classes. In particular, we cover the classes $\mathrm{Av}(2314,3124)$, $\mathrm{Av}(2413,3142)$, $\mathrm{Av}(2413,3124)$, $\mathrm{Av}(2413,2134)$ and $\mathrm{Av}(2314,2143)$, as well as many subclasses.
What is actually a metric graph?
Metric graphs are often introduced based on combinatorics, upon "associating" each edge of a graph with an interval; or else, casually "gluing" a collection of intervals at their endpoints in a network-like fashion. Here we propose an abstract, self-contained definition of metric graph. Being mostly topological, it doesn't require any knowledge from graph theory and already determines uniquely several concepts that are commonly and unnecessarily \textit{defined} in the literature. Nevertheless, many ideas mentioned here are folklore in the quantum graph community: we discuss them for later reference.
A new upper bound on the chromatic number of graphs with no odd $K_t$ minor
Published
• View Publication
• BIB
Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. This is a strengthening of the famous Hadwiger's Conjecture. Geelen et al. proved that every graph with no odd $K_t$ minor is $O(t\sqrt{\log t})$-colorable. Using the methods the present authors and Postle recently developed for coloring graphs with no $K_t$ minor, we make the first improvement on this bound by showing that every graph with no odd $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$.
Automorphisms of the k-curve graph
Published
• View Publication
• BIB
Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.
The polynomial method for list-colouring extendability of outerplanar graphs
Published
• View Publication
• BIB
We restate theorems of Hutchinson on list-colouring extendability for outerplanar graphs in terms of non-vanishing monomials in a graph polynomial, which yields an Alon-Tarsi equivalent for her work. This allows to simplify her proofs as well as obtain more general results.
Meyniel's conjecture on graphs of bounded degree
Published
• View Publication
• BIB
The game of Cops and Robbers is a well known pursuit-evasion game played on graphs. It has been proved \cite{bounded_degree} that cubic graphs can have arbitrarily large cop number $c(G)$, but the known constructions show only that the set $\{c(G) \mid G \text{ cubic}\}$ is unbounded. In this paper we prove that there are arbitrarily large subcubic graphs $G$ whose cop number is at least $n^{1/2-o(1)}$ where $n=|V(G)|$. We also show that proving Meyniel's conjecture for graphs of bounded degree implies a weak Meyniel's conjecture for all graphs.
Small Connected Planar Graph with 1-Cop-Move Number 4
This paper describes a 720-vertex connected planar graph G such that cop1(G), denoting the minimum number of cops needed to catch the robber in the 1-cop-move game on G, is at least 4 and at most 7. Furthermore, G has a connected subgraph H such that cop1(H) is exactly 4, meaning that 4 cops are barely sufficient to catch the robber in the 1-cop-move game on H. This is a significant improvement over the graph given by Gao and Yang in 2017.
On NP-hard graph properties characterized by the spectrum
Published
• View Publication
• BIB
Properties of graphs that can be characterized by the spectrum of the adjacency matrix of the graph have been studied systematically recently. Motivated by the complexity of these properties, we show that there are such properties for which testing whether a graph has that property can be NP-hard (or belong to other computational complexity classes consisting of even harder problems). In addition, we discuss a possible spectral characterization of some well-known NP-hard problems. In particular, for every integer $k\geq 6$ we construct a pair of $k$-regular cospectral graphs, where one graph is Hamiltonian and the other one not.
Geometric random graphs on circles
Published
• View Publication
• BIB
Given a dense countable set in a metric space, the infinite random geometric graph is the random graph with the given vertex set and where any two points at distance less than 1 are connected, independently, with some fixed probability. It has been observed by Bonato and Janssen that in some, but not all, such settings, the resulting graph does not depend on the random choices, in the sense that it is almost surely isomorphic to a fixed graph. While this notion makes sense in the general context of metric spaces, previous work has been restricted to sets in Banach spaces. We study the case when the underlying metric space is a circle of circumference $L$, and find a surprising dependency of behavior on the rationality of $L$.
On joins of a clique and a co-clique as star complements in regular graphs
Published
• View Publication
• BIB
In this paper we consider $r$-regular graphs $G$ that admit the vertex set partition such that one of the induced subgraphs is the join of an $s$-vertex clique and a $t$-vertex co-clique and represents a star complement for an eigenvalue $μ$ of $G$. The cases in which one of the parameters $s, t$ is less than 2 or $μ=r$ are already resolved. It is conjectured in [J. Wang, X. Yuan, L. Liu, Regular graphs with a prescribed complete multipartite graph as a star complement, Linear Algebra Appl.~579 (2019) 302--319] that if $s, t\geq 2$ and $μ\neq r$, then $μ=-2, t=2$ and $G=\overline{(s+1)K_2}$. For $μ=-t$ we verify this conjecture to be true. We further study the case in which $μ\neq-t$ and confirm the conjecture provided $t^2-4μ^2t-4μ^3=0$. For the remaining possibility we determine the structure of a putative counterexample and relate its existence to the existence of a particular 2-class block design. It occurs that the smallest counterexample would have 1265 vertices.