graph
34793 papers tagged with this keyword
Trees, parking functions, and standard monomials of skeleton ideals
Published in Australas. J. Comb. 81(1) (2021), pp. 126--151
• Search Publication
Parking functions are a widely studied class of combinatorial objects, with connections to several branches of mathematics. On the algebraic side, parking functions can be identified with the standard monomials of $M_n$, a certain monomial ideal in the polynomial ring $S = {\mathbb K}[x_1, \dots, x_n]$ where a set of generators are indexed by the nonempty subsets of $[n] = \{1,2,\dots,n\}$. Motivated by constructions from the theory of chip-firing on graphs we study generalizations of parking functions determined by $M^{(k)}_n$, a subideal of $M_n$ obtained by allowing only generators corresponding to subsets of $[n]$ of size at most $k$. For each $k$ the set of standard monomials of $M^{(k)}_n$, denoted $\text{stan}_n^k$, contains the usual parking functions and has interesting combinatorial properties in its own right. For general $k$ we show that elements of $\text{stan}_n^k$ can be recovered as certain vector-parking functions, which in turn leads to a formula for their count via results of Yan. The symmetric group $S_n$ naturally acts on the set $\text{stan}_n^k$ and we also obtain a formula for the number of orbits under this action. For the case of $k = n-2$ we study combinatorial interpretations of $\text{stan}_n^{n-2}$ and relate them to properties of uprooted trees in terms of root degree and surface inversions. As a corollary we obtain a combinatorial identity for $n^n$ involving Catalan numbers, reminiscent of a result of Benjamin and Juhnke. For the case of $k = 1$ we observe that the number of elements $\text{stan}_n^1$ is given by the determinant of the reduced `signless' Laplacian, which provides a weighted count for $|\text{stan}_n^1|$ in terms generalized spanning trees known as `spanning TU-subgraphs'. Our constructions naturally generalize to arbitrary graphs and lead to a number of open questions.
Complete regular dessins of odd prime power order
Published
• View Publication
• BIB
A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prime power order.
On the minimum leaf number of cubic graphs
Published
• View Publication
• BIB
The \emph{minimum leaf number} $\hbox{ml} (G)$ of a connected graph $G$ is defined as the minimum number of leaves of the spanning trees of $G$. We present new results concerning the minimum leaf number of cubic graphs: we show that if $G$ is a connected cubic graph of order $n$, then $\mathrm{ml}(G) \leq \frac{n}6 + \frac13$, improving on the best known result in [Inf. Process. Lett. 105 (2008) 164-169] and proving the conjecture in [Electron. J. Graph Theory and Applications 5 (2017) 207-211]. We further prove that if $G$ is also 2-connected, then $\mathrm{ml}(G) \leq \frac{n}{6.53}$, improving on the best known bound in [Math. Program., Ser. A 144 (2014) 227-245]. We also present new conjectures concerning the minimum leaf number of several types of cubic graphs and examples showing that the bounds of the conjectures are best possible.
Computing directed path-width and directed tree-width of recursively defined digraphs
In this paper we consider the directed path-width and directed tree-width of recursively defined digraphs. As an important combinatorial tool, we show how the directed path-width and the directed tree-width can be computed for the disjoint union, order composition, directed union, and series composition of two directed graphs. These results imply the equality of directed path-width and directed tree-width for all digraphs which can be defined by these four operations. This allows us to show a linear-time solution for computing the directed path-width and directed tree-width of all these digraphs. Since directed co-graphs are precisely those digraphs which can be defined by the disjoint union, order composition, and series composition our results imply the equality of directed path-width and directed tree-width for directed co-graphs and also a linear-time solution for computing the directed path-width and directed tree-width of directed co-graphs, which generalizes the known results for undirected co-graphs of Bodlaender and Moehring.
2-uniform words: cycle graphs, and an algorithm to verify specific word-representations of graphs
For an arbitrary word $w$ on an alphabet, we can define the alternating symbol graph, $G(w)$, as the graph in which the edge $(a, b)$ is in $E$ iff the letters $a$ and $b$ alternate in the word $w$. A graph $G = (V, E)$ is said to be word-representable if $G = G(w)$ for some word $w$ on $V$.
The general problem of checking whether a graph is word-representable has been shown to be NP-complete. However, checking whether a given graph is a 2-uniform word-representable (each letter occurring exactly twice in the word) has an $O(V^2)$-time algorithm, described by Spinrad. Related to this, we propose a novel $O(V \log(V) + E)$ time algorithm implementing Fenwick Trees to check whether $G(w) = G$, for a given 2-uniform word $w$ and a graph $G = (V, E)$.
We also prove that the number of 2-uniform words representing the labelled $n$-vertex cycle graphs is precisely $4n$.
The Game of Zombies and Survivors on the Cartesian Products of Trees
We consider the game of Zombies and Survivors as introduced by Fitzpatrick, Howell, Messinger and Pike (2016) This is a variation of the game Cops and Robber where the zombies (in the cops' role) are of limited intelligence and will always choose to move closer to a survivor (who takes on the robber's role). The zombie number of a graph is defined to be the minimum number of zombies required to guarantee the capture of a survivor on the graph. In this paper, we show that the zombie number of the Cartesian product of $n$ non-trivial trees is exactly $\lceil 2n/3 \rceil$. This settles a conjecture by Fitzpatrick et. al. (2016) that this is the zombie number for the $n$-dimensional hypercube. In proving this result, we also discuss other variations of Cops and Robber involving active and flexible players.
A $4$-choosable graph that is not $(8:2)$-choosable
Published in Advances in Combinatorics, 2019:5
• View Publication
• BIB
In 1980, Erdős, Rubin and Taylor asked whether for all positive integers $a$, $b$, and $m$, every $(a:b)$-choosable graph is also $(am:bm)$-choosable. We provide a negative answer by exhibiting a $4$-choosable graph that is not $(8:2)$-choosable.
Ubiquity in graphs I: Topological ubiquity of trees
Published
• View Publication
• BIB
Let $\triangleleft$ be a relation between graphs. We say a graph $G$ is \emph{$\triangleleft$-ubiquitous} if whenever $Γ$ is a graph with $nG \triangleleft Γ$ for all $n \in \mathbb{N}$, then one also has $\aleph_0 G \triangleleft Γ$, where $αG$ is the disjoint union of $α$ many copies of $G$.
The \emph{Ubiquity Conjecture} of Andreae, a well-known open problem in the theory of infinite graphs, asserts that every locally finite connected graph is ubiquitous with respect to the minor relation.
In this paper, which is the first of a series of papers making progress towards the Ubiquity Conjecture, we show that all trees are ubiquitous with respect to the topological minor relation, irrespective of their cardinality. This answers a question of Andreae from 1979.
Bounding the number of non-duplicates of the $q$-side in simple drawings of $K_{p,q}$
Published
• View Publication
• BIB
The number $Z(n):=\lfloor n/2\rfloor\lfloor (n-1)/2\rfloor$ is the smallest number of crossings in a simple planar drawing of $K_{2,n}$ in which both vertices on the 2-side have the same clockwise rotation. For two vertices $u,v$ on the $q$-side of a simple drawing of $K_{p,q}$, let $\operatorname{cr}_D(u,v)$ denote the total number of crossings that edges incident with $u$ have with edges incident with $v$.
We show that in any simple drawing $D$ of $K_{p,q}$ in a surface $Σ$ the number of pairs of vertices on the $q$-side of $K_{p,q}$ having $\operatorname{cr}_D(u,v)<Z(p)$ is bounded as a function of $p$ and $Σ$. As a consequence, we also show that, for a fixed integer $p$ and surface $Σ$, there exists a finite set of drawings $\mathcal{D}(p,Σ)$ of complete bipartite graphs such that, for each $q$, a crossing-minimal drawing of $K_{p,q}$ can be obtained by "duplicating vertices" in some drawing from $\mathcal D(p,Σ)$.
On the diameter and incidence energy of iterated total graphs
Published
• View Publication
• BIB
The total graph of $G$, $\mathcal T(G)$ is the graph whose set of vertices is the union of the sets of vertices and edges of $G$, where two vertices are adjacent if and only if they stand for either incident or adjacent elements in $G$. Let $\mathcal{T}^1(G)=\mathcal{T}(G)$, the total graph of $G$. For $k\geq2$, the $k\text{-}th$ iterated total graph of $G$, $\mathcal{T}^k(G)$, is defined recursively as $\mathcal{T}^k(G)=\mathcal{T}(\mathcal{T}^{k-1}(G)).$ If $G$ is a connected graph its diameter is the maximum distance between any pair of vertices in $G$. The incidence energy $IE(G)$ of $G$ is the sum of the singular values of the incidence matrix of $G$. In this paper for a given integer $k$ we establish a necessary and sufficient condition under which $diam(\mathcal{T}^{r+1}(G))>k-r,$ $r\geq0$. In addition, bounds for the incidence energy of the iterated graph $\mathcal{T}^{r+1}(G)$ are obtained, provided $G$ to be a regular graph. Finally, new families of non-isomorphic cospectral graphs are exhibited.
A spectral characterization of the s-clique extension of the square grid graphs
Published
• View Publication
• BIB
In this paper we show that for integers $s\geq2$, $t\geq1$, any co-edge-regular graph which is cospectral with the $s$-clique extension of the $t\times t$-grid is the $s$-clique extension of the $t\times t$-grid, if $t$ is large enough. Gavrilyuk and Koolen used a weaker version of this result to show that the Grassmann graph $J_q(2D,D)$ is characterized by its intersection array as a distance-regular graph, if $D$ is large enough.
On Commuting Graphs of Generalized Dihedral Groups
Published
• View Publication
• BIB
For a group $G$ and a subset $X$ of $G$, the commuting graph of $X$, denoted by $Γ(G,X)$ is the graph whose vertex set is $X$ and any two vertices $u$ and $v$ in $X$ are adjacent if and only if they commute in $G$. In this article, certain properties of the commuting graph of generalized dihedral groups have been studied.
Some Mixed Graphs Determined by Their Spectrum
Published
• View Publication
• BIB
A mixed graph is obtained from a graph by orienting some of its edges. The Hermitian adjacency matrix of a mixed graph with the vertex set $ \{v_{1}, \ldots , v_{n}\} $, is the matrix $ H=[h_{ij}]_{n \times n} $, where $ h_{ij}=-h_{ji}=i $ if there is a directed edge from $ v_{i} $ to $ v_{j} $, $ h_{ij}=1 $ if there exists an undirected edge between $v_i$ and $v_{j}$, and $h_{ij}=0$ otherwise. The Hermitian spectrum of a mixed graph is defined to be the spectrum of its Hermitian adjacency matrix. In this paper we study mixed graphs which are determined by their Hermitian spectrum (DHS). First, we show that each mixed cycle is switching equivalent to either a mixed cycle with no directed edges ($C_{n}$), a mixed cycle with exactly one directed edge ($C_{n}^{1}$), or a mixed cycle with exactly two consecutive directed edges with the same direction ($C_{n}^{2}$) and we determine the spectrum of these three types of cycles. Next, we characterize all DHS mixed paths and mixed cycles. We show that all mixed paths of even order, except $P_{8}$ and $P_{14}$, are DHS. It is also shown that mixed paths of odd order, except $P_{3}$, are not DHS. Also, all cospectral mates of $P_{8}$, $P_{14}$ and $P_{4k+1}$ and two families of cospectral mates of $P_{4k+3}$, where $k\geq1$, are introduced. Finally, we show that the mixed cycles $C_{2k}$ and $C_{2k}^{2}$, where $k\geq3$, are not DHS, but the mixed cycles $C_{4}$, $C_{4}^{2}$, $C_{2k+1}$, $C_{2k+1}^{2}$, $C_{2k+1}^{1}$ and $C_{2j}^{1}$ except $C_{7}^{1}$, $C_{9}^{1}$, $C_{12}^{1}$ and $C_{15}^{1}$, are DHS, where $k\geq1$ and $j\geq2$.
An asymmetric container lemma and the structure of graphs with no induced $4$-cycle
Published
• View Publication
• BIB
The method of hypergraph containers, introduced recently by Balogh, Morris, and Samotij, and independently by Saxton and Thomason, has proved to be an extremely useful tool in the study of various monotone graph properties. In particular, a fairly straightforward application of this technique allows one to locate, for each non-bipartite graph $H$, the threshold at which the distribution of edges in a typical $H$-free graph with a given number of edges undergoes a transition from 'random-like' to 'structured'. On the other hand, for non-monotone hereditary graph properties the standard version of this method does not allow one to establish even the existence of such a threshold.
In this paper we introduce a refinement of the container method that takes into account the asymmetry between edges and non-edges in a sparse member of a hereditary graph property. As an application, we determine the approximate structure of a typical graph with $n$ vertices, $m$ edges, and no induced copy of the $4$-cycle, for each function $m = m(n)$ satisfying $n^{4/3} (\log n)^4 \leqslant m \ll n^2$. We show that almost all such graphs $G$ have the following property: the vertex set of $G$ can be partitioned into an 'almost-independent' set (a set with $o(m)$ edges) and an 'almost-clique' (a set inducing a subgraph with density $1-o(1)$). The lower bound on $m$ is optimal up to a polylogarithmic factor, as standard arguments show that if $n \ll m \ll n^{4/3}$, then almost all such graphs are 'random-like'. As a further consequence, we deduce that the random graph $G(n,p)$ conditioned to contain no induced $4$-cycles undergoes phase transitions at $p = n^{-2/3 + o(1)}$ and $p = n^{-1/3 + o(1)}$.
The distribution of sandpile groups of random regular graphs
Published in Transactions of the American Mathematical Society, 373(9), 6529-6594., 2020
• View Publication
• BIB
We study the distribution of the sandpile group of random d-regular graphs. For the directed model, we prove that it follows the Cohen-Lenstra heuristics, that is, the limiting probability that the $p$-Sylow subgroup of the sandpile group is a given $p$-group $P$, is proportional to $|Aut(P)|^{-1}$. For finitely many primes, these events get independent in the limit. Similar results hold for undirected random regular graphs, where for odd primes the limiting distributions are the ones given by Clancy, Leake and Payne.
This answers an open question of Frieze and Vu whether the adjacency matrix of a random regular graph is invertible with high probability. Note that for directed graphs this was recently proved by Huang. It also gives an alternate proof of a theorem of Backhausz and Szegedy.
The diameter of the fractional matching polytope and its hardness implications
Published
• View Publication
• BIB
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard.
In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
Acyclic orientations with degree constraints
In this note we study the complexity of some generalizations of the notion of $st$-numbering.
Suppose that given some functions $f$ and $g$, we want to order the vertices of a graph such that every vertex $v$ is preceded by at least $f(v)$ of its neighbors and succeeded by at least $g(v)$ of its neighbors.
We prove that this problem is solvable in polynomial time if $fg\equiv 0$, but it becomes NP-complete for $f\equiv g \equiv 2$.
This answers a question of the first author posed in 2009.
Deza graphs with parameters $(n,k,k-1,a)$ and $β=1$
Published
• View Publication
• BIB
A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ common neighbours with a given vertex. Here we deal with the case $β=1$, thus we complete the characterization of strictly Deza graphs with $b=k-1$. It follows that all Deza graphs with $b=k-1$ and $β=1$ can be made from special strongly regular graphs, and we present several examples of such strongly regular graphs.
A divisible design graph is a special Deza graph, and a Deza graph with $β=1$ is a divisible design graph. The present characterization reveals an error in a paper on divisible design graphs by the second author et al. We discuss the cause and the consequences of this mistake and give the required errata.
On a Ramsey-Turán variant of the Hajnal-Szemerédi theorem
Published
• View Publication
• BIB
A seminal result of Hajnal and Szemerédi states that if a graph $G$ with $n$ vertices has minimum degree $δ(G) \ge (r-1)n/r$ for some integer $r \ge 2$, then $G$ contains a $K_r$-factor, assuming $r$ divides $n$. Extremal examples which show optimality of the bound on $δ(G)$ are very structured and, in particular, contain large independent sets. In analogy to the Ramsey-Turán theory, Balogh, Molla, and Sharifzadeh initiated the study of how the absence of such large independent sets influences sufficient minimum degree. We show the following two related results:
$\bullet$ For any $r > \ell \ge 2$, if $G$ is a graph satisfying $δ(G) \ge (r - \ell)n/(r - \ell + 1) +Ω(n)$ and $α_\ell(G)=o(n)$, that is, a largest $K_\ell$-free induced subgraph has at most $o(n)$ vertices, then $G$ contains a $K_r$-factor. This is optimal for $\ell = r - 1$ and extends a result of Balogh, Molla, and Sharifzadeh who considered the case $r = 3$.
$\bullet$ If a graph $G$ satisfies $δ(G) =Ω(n)$ and $α_r^*(G) =o(n)$, that is, every induced $K_r$-free $r$-partite subgraph of $G$ has at least one vertex class of size $o(n)$, then it contains a $K_r$-factor. A similar statement is proven for a general graph $H$.
The characterization of perfect Roman domination stable trees
A \emph{perfect Roman dominating function} (PRDF) on a graph $G = (V, E)$ is a function $f : V \rightarrow \{0, 1, 2\}$ satisfying the condition that every vertex $u$ for which $f(u) = 0$ is adjacent to exactly one vertex $v$ for which $f(v) = 2$. The weight of a PRDF is the value $w(f) = \sum_{u \in V}f(u)$. The minimum weight of a PRDF on a graph $G$ is called the \emph{perfect Roman domination number $γ_R^p(G)$} of $G$. A graph $G$ is perfect Roman domination domination stable if the perfect Roman domination number of $G$ remains unchanged under the removal of any vertex. In this paper, we characterize all trees that are perfect Roman domination stable.