graph
34604 papers tagged with this keyword
Stable set rings which are Gorenstein on the punctured spectrum
Published
• View Publication
• BIB
The non-Gorenstein locus of stable set rings of finite simple perfect graphs is studied. We describe combinatorially those perfect graphs whose stable set rings are Gorenstein on the punctured spectrum. In addition, we show that, in general, for Cohen--Macaulay graded algebras, their Cohen--Macaulay type and residue are largely independent.
On the Queue-Number of Partial Orders
Published
• View Publication
• BIB
The queue-number of a poset is the queue-number of its cover graph viewed as a directed acyclic graph, i.e., when the vertex order must be a linear extension of the poset. Heath and Pemmaraju conjectured that every poset of width $w$ has queue-number at most $w$. Recently, Alam et al. constructed posets of width $w$ with queue-number $w+1$. Our contribution is a construction of posets with width $w$ with queue-number $Ω(w^2)$. This asymptotically matches the known upper bound.
Totally nonnegative Grassmannians, Grassmann necklaces and quiver Grassmannians
Published
• View Publication
• BIB
Postnikov constructed a cellular decomposition of the totally nonnegative Grassmannians. The poset of cells can be described (in particular) via Grassmann necklaces. We study certain quiver Grassmannians for the cyclic quiver admitting a cellular decomposition, whose cells are naturally labeled by Grassmann necklaces. We show that the posets of cells coincide with the reversed cell posets of the cellular decomposition of the totally nonnegative Grassmannians. We investigate algebro-geometric and combinatorial properties of these quiver Grassmannians. In particular, we describe the irreducible components, study the action of the automorphism groups of the underlying representations and describe the moment graphs. We also construct a resolution of singularities for each irreducible component; the resolutions are defined as quiver Grassmannians for an extended cyclic quiver.
Hadwiger's conjecture implies a conjecture of Füredi-Gyárfás-Simonyi
One of the most important open problems in the field of graph colouring or even graph theory is the conjecture of Hadwiger. This conjecture was the inspiration for many mathematical works, one of them being the work of Füredi, Gyárfás and Simonyi in which they "risked" to conjecture the precise bound for a graph with independence number $2$ to contain a certain connected matching. We prove that their conjecture would be a corollary of Hadwiger's conjecture or equivalently if their risky conjecture would be false, then Hadwiger's conjecture would be false as well.
Smallest graphs with given automorphism group
Published
• View Publication
• BIB
For a finite group $G$, denote by $α(G)$ the minimum number of vertices of any graph $Γ$ having $\text{Aut}(Γ)\cong G$. In this paper, we prove that $α(G)\leq |G|$, with specified exceptions. The exceptions include four infinite families of groups, and 17 other small groups. Additionally, we compute $α(G)$ for the groups $G$ such that $α(G)> |G|$ where the value $α(G)$ was previously unknown.
Shotgun assembly of unlabeled Erdos-Renyi graphs
Published
• View Publication
• BIB
Given a positive integer $n$, an unlabeled graph $G$ on $n$ vertices, and a vertex $v$ of $G$, let $N_G(v)$ be the subgraph of $G$ induced by vertices of $G$ of distance at most one from $v$. We show that there are universal constants $C,c>0$ with the following property. Let the sequence $(p_n)_{n=1}^\infty$ satisfy $n^{-1/2}\log^C n\leq p_n\leq c$. For each $n$, let $Γ_n$ be an unlabeled $G(n,p_n)$ Erdös-Rényi graph. Then with probability $1-o_n(1)$, any unlabeled graph $\tilde Γ_n$ on $n$ vertices with $\{N_{\tilde Γ_n}(v)\}_{v}=\{N_{Γ_n}(v)\}_{v}$ must coincide with $Γ_n$. This establishes $\tilde Θ(n^{-1/2})$ as the transition range for the density parameter $p_n$ between reconstructability and non-reconstructability of Erdös-Rényi graphs from their $1$-neighborhoods, and resolves a problem of Gaudio and Mossel.
Intersecting diametral balls induced by a geometric graph
Published
• View Publication
• BIB
For a graph whose vertex set is a finite set of points in the Euclidean $d$-space consider the closed (open) balls with diameters induced by its edges. The graph is called a (an open) Tverberg graph if these closed (open) balls intersect. Using the idea of halving lines, we show that ($i$) for any finite set of points in the plane, there exists a Hamiltonian cycle that is a Tverberg graph; ($ii$) for any $ n $ red and $ n $ blue points in the plane, there exists a perfect red-blue matching that is a Tverberg graph. Also, we prove that ($iii$) for any even set of points in the Euclidean $ d $-space, there exists a perfect matching that is an open Tverberg graph; ($iv$) for any $ n $ red and $ n $ blue points in the Euclidean $ d $-space, there exists a perfect red-blue matching that is a Tverberg graph.
The average search probabilities of discrete-time quantum walks
Published
• View Publication
• BIB
We study the average probability that a discrete-time quantum walk finds a marked vertex on a graph. We first show that, for a regular graph, the spectrum of the transition matrix is determined by the weighted adjacency matrix of an augmented graph. We then consider the average search probability on a distance regular graph, and find a formula in terms of the adjacency matrix of its vertex-deleted subgraph. In particular, for any family of (1) complete graphs, or (2) strongly regular graphs, or (3) distance regular graphs of a fixed parameter $d$, varying valency $k$ and varying size $n$, such that $k^{d-1}/n$ vanishes as $k$ increases, the average search probability approaches $1/4$ as the valency goes to infinity. We also present a more relaxed criterion, in terms of the intersection array, for this limit to be approached by distance regular graphs.
Uniform scrambles on graphs
A scramble on a connected multigraph is a collection of connected subgraphs that generalizes the notion of a bramble. The maximum order of a scramble, called the scramble number of a graph, was recently developed as a tool for lower bounding divisorial gonality. We present results on the scramble of all connected subgraphs with a fixed number of vertices, using these to calculate scramble number and gonality both for large families of graphs, and for specific examples like the $4$- and $5$-dimensional hypercube graphs. We also study the computational complexity of the egg-cut number of a scramble.
Morse subgroups and boundaries of random right-angled Coxeter groups
Published
• View Publication
• BIB
We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled Coxeter group are virtually free.
We also apply these methods to show that for a random graph $Γ$ at densities below $(1-ε)\sqrt{\frac{\log{n}}{n}}$, $\square(Γ)$ almost surely contains an isolated vertex. As a consequence, this provides infinitely many examples of right-angled Coxeter groups with no one-ended hyperbolic Morse special subgroups that are not quasi-isometric to a right-angled Artin group.
Metric dimensions vs. cyclomatic number of graphs with minimum degree at least two
Published
• View Publication
• BIB
The vertex (resp. edge) metric dimension of a connected graph G; denoted by dim(G) (resp. edim(G)), is defined as the size of a smallest set S in V (G) which distinguishes all pairs of vertices (resp. edges) in G: Bounds dim(G) <= L(G)+2c(G) and edim(G) <= L(G) + 2c(G); where c(G) is the cyclomatic number in G and L(G) depends on the number of leaves in G, are known to hold for cacti and are conjectured to hold for general graphs. In leafless graphs it holds that L(G) = 0; so for such graphs the conjectured upper bound becomes 2c(G). In this paper, we show that the bound 2c(G) cannot be attained by leafless cacti, so the upper bound for such cacti decreases to 2c(G)-1, and we characterize all extremal leafless cacti for the decreased bound. We conjecture that the decreased bound holds for all leafless graphs, i.e. graphs with minimum degree at least two. We support this conjecture by showing that it holds for all graphs with minimum degree at least three and that it is suficient to show that it holds for all 2-connected graphs, and we also verify the conjecture for graphs of small order.
On the maximal $α$-spectral radius of graphs with given matching number
Published
• View Publication
• BIB
Let $\mathscr{G}_{n,β}$ be the set of graphs of order $n$ with given matching number $β$. Let $D(G)$ be the diagonal matrix of the degrees of the graph $G$ and $A(G)$ be the adjacency matrix of the graph $G$. The largest eigenvalue of the nonnegative matrix $A_α(G)=αD(G)+A(G)$ is called the $α$-spectral radius of $G$. The graphs with maximal $α$-spectral radius in $\mathscr{G}_{n,β}$ are completely characterized in this paper. In this way we provide a general framework to attack the problem of extremal spectral radius in $\mathscr{G}_{n,β}$. More precisely, we generalize the known results on the maximal adjacency spectral radius in $\mathscr{G}_{n,β}$ and the signless Laplacian spectral radius.
On well-f-coveredness of lexicographic product of graphs
A simple graph G is said to be well-f-covered, whenever any two maximal induced forest in G be of the same order. In this note, well-f-coveredness of lexicographic product of two graphs in case where the first component is empty, is characterized. In cases where the second component is empty, and the second component is nonempty, a necessary condition is given, and in each one, by an example, it is shown that the given condition is not sufficient.
Improved bound for Hadwiger's conjecture
Published
• View Publication
• BIB
Hadwiger conjectured in 1943 that for every integer $t \ge 1$, every graph with no $K_t$ minor is $(t-1)$-colorable. Kostochka, and independently Thomason, proved every graph with no $K_t$ minor is $O(t(\log t)^{1/2})$-colorable. Recently, Postle improved it to $O(t (\log \log t)^6)$-colorable. In this paper, we show that every graph with no $K_t$ minor is $O(t (\log \log t)^{5})$-colorable.
A Pivot Gray Code Listing for the Spanning Trees of the Fan Graph
Published
• View Publication
• BIB
We use a greedy strategy to list the spanning trees of the fan graph, $F_n$, such that successive trees differ by pivoting a single edge around a vertex. It is the first greedy algorithm for exhaustively generating spanning trees using such a minimal change operation. The resulting listing is then studied to find a recursive algorithm that produces the same listing in $O(1)$-amortized time using $O(n)$ space. Additionally, we present $O(n)$-time algorithms for ranking and unranking the spanning trees for our listing; an improvement over the generic $O(n^3)$-time algorithm for ranking and unranking spanning trees of an arbitrary graph.
On the Computational Complexities of Various Geography Variants
Published
• View Publication
• BIB
Generalized Geography is a combinatorial game played on a directed graph. Players take turns moving a token from vertex to vertex, deleting a vertex after moving the token away from it. A player unable to move loses. It is well known that the computational complexity of determining which player should win from a given position of Generalized Geography is PSPACE-complete. We introduce several rule variants to Generalized Geography, and we explore the computational complexity of determining the winner of positions of many resulting games. Among our results is a proof that determining the winner of a game known in the literature as Undirected Partizan Geography is PSPACE-complete, even when restricted to being played on a bipartite graph.
On the Sombor characteristic polynomial and Sombor energy of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,\ldots, v_n\}$. The Sombor matrix of $G$, denoted by $A_{SO}(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $\sqrt{d_i^2+d_j^2}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the Sombor matrix $A_{SO}(G)$ be $ρ_1\geq ρ_2\geq \ldots\geq ρ_n$ which are the roots of the Sombor characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The Sombor energy $En_{SO}$ of $G$ is the sum of absolute values of the eigenvalues of $A_{SO}(G)$. In this paper we compute the Sombor characteristic polynomial and the Sombor energy for some graph classes, define Sombor energy unique and propose a conjecture on Sombor Energy.
Unbounded Mixed Resolvability of Web Graph and Prism Related Graph
Let $\mathbb{E}(H)$ and $\mathbb{V}(H)$ denote the edge set and the vertex set of the simple connected graph $H$, respectively. The mixed metric dimension of the graph $H$ is the graph invariant, which is the mixture of two important graph parameters, the edge metric dimension and the metric dimension. In this article, we compute the mixed metric dimension for the two families of the plane graphs viz., the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$. We show that the mixed metric dimension is non-constant unbounded for these two families of the plane graph. Moreover, for the Web graph $\mathbb{W}_{n}$ and the Prism allied graph $\mathbb{D}_{n}^{t}$, we unveil that the mixed metric basis set $M_{G}^{m}$ is independent.
Metric dimension, doubly resolving set and strong metric dimension for $(C_n\Box P_k)\Box P_m$
A subset $Q = \{q_1, q_2, ..., q_l\}$ of vertices of a connected graph $G$ is a doubly resolving set of $G$ if for any various vertices $x, y \in V(G)$ we have $r(x|Q)-r(y|Q)\neqλI$, where $λ$ is an integer, and $I$ indicates the unit $l$- vector $(1,..., 1)$. A doubly resolving set of vertices of graph $G$ with the minimum size, is denoted by $ψ(G)$. In this work, we will consider the computational study of some resolving sets with the minimum size for $(C_n\Box P_k)\Box P_m$.
Paley-like graphs for the Ramsey number $r(C_4,K_t)$
An earlier version of this paper constructed a family of $n$-vertex $C_4$-free graphs which we conjectured to have independence number $n^{\frac 12+o(1)}$. This conjecture is false, as pointed out by Michael Tait.