graph
34828 papers tagged with this keyword
Graphical Mahonian Statistics on Words
Published
• View Publication
• BIB
Foata and Zeilberger defined the graphical major index, $\mathrm{maj}'_U$, and the graphical inversion index, $\mathrm{inv}'_U$, for words. These statistics are a generalization of the classical permutation statistics $\mathrm{maj}$ and $\mathrm{inv}$ indexed by directed graphs $U$. They showed that $\mathrm{maj}'_U$ and $\mathrm{inv}'_U$ are equidistributed over all rearrangement classes if and only if $U$ is bipartitional. In this paper we strengthen their result by showing that if $\mathrm{maj}'_U$ and $\mathrm{inv}'_U$ are equidistributed on a single rearrangement class then $U$ is essentially bipartitional. Moreover, we define a graphical sorting index, $\mathrm{sor}'_U$, which generalizes the sorting index of a permutation. We then characterize the graphs $U$ for which $\mathrm{sor}'_U$ is equidistributed with $\mathrm{inv}'_U$ and $\mathrm{maj}'_U$ on a single rearrangement class.
Odd decompositions of eulerian graphs
We prove that an eulerian graph $G$ admits a decomposition into $k$ closed trails of odd length if and only if and it contains at least $k$ pairwise edge-disjoint odd circuits and $k\equiv |E(G)|\pmod{2}$. We conjecture that a connected $2d$-regular graph of odd order with $d\ge 1$ admits a decomposition into $d$ odd closed trails sharing a common vertex and verify the conjecture for $d\le 3$. The case $d=3$ is crucial for determining the flow number of a signed eulerian graph which is treated in a separate paper (arXiv:1408.1703v2). The proof of our conjecture for $d=3$ is surprisingly difficult and calls for the use of signed graphs as a convenient technical tool.
A Note on Schnyder's Theorem
Published in Order (July 2011) 28:221-226
• View Publication
• BIB
We give an alternate proof of Schnyder's Theorem, that the incidence poset of a graph $G$ has dimension at most three if and only if $G$ is planar.
The Generalised Colouring Numbers on Classes of Bounded Expansion
The generalised colouring numbers $\mathrm{adm}_r(G)$, $\mathrm{col}_r(G)$, and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as generalisations of the usual colouring number, also known as the degeneracy of a graph, and have since then found important applications in the theory of bounded expansion and nowhere dense classes of graphs, introduced by Nešetřil and Ossona de Mendez. In this paper, we study the relation of the colouring numbers with two other measures that characterise nowhere dense classes of graphs, namely with uniform quasi-wideness, studied first by Dawar et al. in the context of preservation theorems for first-order logic, and with the splitter game, introduced by Grohe et al. We show that every graph excluding a fixed topological minor admits a universal order, that is, one order witnessing that the colouring numbers are small for every value of $r$. Finally, we use our construction of such orders to give a new proof of a result of Eickmeyer and Kawarabayashi, showing that the model-checking problem for successor-invariant first-order formulas is fixed-parameter tractable on classes of graphs with excluded topological minors.
Anagram-free colorings of graphs
A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$. Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols.
Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$.
In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.
Colorability Saturation Games
We consider the following two-player game: Maxi and Mini start with the empty graph on $n$ vertices and take turns, always adding one additional edge to the graph such that the chromatic number is at most $k$, where $k \in \mathbb{N}$ is a given parameter. The game is over when the graph is saturated and no further edge can be inserted. Maxi wants to maximize the length of the game while Mini wants to minimize it. The score $s(n,χ_{>k})$ denotes the number of edges in the final graph, given that both players followed an optimal strategy.
This colorability game belongs to the family of \emph{saturation games} that are known to provide beautiful and challenging problems despite being defined via simple combinatorial rules. The analysis of colorability saturation games has been initiated recently by Hefetz, Krivelevich, Naor, and Stojaković (2016). In this paper, we improve their results by providing almost matching lower and upper bounds on the score of the game that hold for arbitrary choices of $k$ and $n>k$. In addition, we study the specific game with $k=4$ in more details and prove that its score is $n^2/3+O(n)$.
Modularity of regular and treelike graphs
Published
• View Publication
• BIB
Clustering algorithms for large networks typically use modularity values to test which partitions of the vertex set better represent structure in the data. The modularity of a graph is the maximum modularity of a partition. We consider the modularity of two kinds of graphs.
For $r$-regular graphs with a given number of vertices, we investigate the minimum possible modularity, the typical modularity, and the maximum possible modularity. In particular, we see that for random cubic graphs the modularity is usually in the interval $(0.666, 0.804)$, and for random $r$-regular graphs with large $r$ it usually is of order $1/\sqrt{r}$. These results help to establish baselines for statistical tests on regular graphs.
The modularity of cycles and low degree trees is known to be close to 1: we extend these results to `treelike' graphs, where the product of treewidth and maximum degree is much less than the number of edges. This yields for example the (deterministic) lower bound $0.666$ mentioned above on the modularity of random cubic graphs.
How many subsets of edges of a directed multigraph can be represented as trails?
For each subset of edges of a (directed multi-) graph, one may determine whether the edges can be represented as a trail. I prove that the fraction trail-representable subsets of edges is at most $O(\sqrt{\log m}/\sqrt{m})$, where $m$ is the number of edges, and show by example that the upper bound is nearly tight.
Graphlike families of multiweights
Let ${\cal G}=(G,w)$ be a weighted graph , that is, a graph $G$ endowed with a function $w$ from the edge set of $G$ to the set of real numbers; for any subset $S$ of the vertex set of $G$, we define $D_S({\cal G})$ to be the minimum of the weights of the subgraphs of $G$ whose vertex set contains $S$; we call $D_S({\cal G})$ a multiweight of ${\cal G}$.
Let $X$ be a finite set and let $\{D_S\}_{S \subset X, \; \sharp S \geq 2} $ be a family of positive real numbers. We find necessary and sufficient conditions for the family to be the family of multiweights of a positive-weighted graph with vertex set $X$. Moreover we study the analogous problem for trees. Finally, we find a criterion to say if there exists a nonnegative-weighted tree ${\cal T}$ with leaf set $X$ and such that $D_S ({\cal T})=D_S $ for any $S \subset X$.
Spectral radius and Hamiltonian properties of graphs, II
Published in Linear Multilinear Algebra 68 (2020), no. 11, 2298--2315
• View Publication
• BIB
In this paper, we first present spectral conditions for the existence of $C_{n-1}$ in graphs (2-connected graphs) of order $n$, which are motivated by a conjecture of Erdős. Then we prove spectral conditions for the existence of Hamilton cycles in balanced bipartite graphs. This result presents a spectral analog of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends a previous theorem due to Li and the second author for $n$ sufficiently large. We conclude this paper with two problems on tight spectral conditions for the existence of long cycles of given lengths.
The extremal function for cycles of length $\ell$ mod $k$
Published
• View Publication
• BIB
Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In particular, using known results on Turán numbers for even cycles, we obtain $c_k(\ell) = O(\ell k^{2/\ell})$ for all even $\ell$, which is tight for $\ell \in \{4,6,10\}$. Since the complete bipartite graph $K_{\ell - 1,n - \ell + 1}$ has no cycle of length $2\ell$ mod $k$, it also shows $c_k(\ell) = Θ(\ell)$ for $\ell = Ω(\log k)$.
The Erdös-Hajnal Conjecture---A Survey
Published in Journal of Graph Theory 75(2014), 178-190
• View Publication
• BIB
The Erdös-Hajnal conjecture states that for every graph $H$, there exists a constant $δ(H) > 0$ such that every graph $G$ with no induced subgraph isomorphic to $H$ has either a clique or a stable set of size at least $|V(G)|^{δ(H)}$. This paper is a survey of some of the known results on this conjecture.
(Total) Domination in Prisms
Published
• View Publication
• BIB
With the aid of hypergraph transversals it is proved that $γ_t(Q_{n+1}) = 2γ(Q_n)$, where $γ_t(G)$ and $γ(G)$ denote the total domination number and the domination number of $G$, respectively, and $Q_n$ is the $n$-dimensional hypercube. More generally, it is shown that if $G$ is a bipartite graph, then $γ_t(G \square K_2) = 2γ(G)$. Further, we show that the bipartite condition is essential by constructing, for any $k \ge 1$, a (non-bipartite) graph $G$ such that $γ_t (G \square K_2 ) = 2γ(G) - k$. Along the way several domination-type identities for hypercubes are also obtained.
Distinguishing number and distinguishing index of lexicographic product of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The lexicographic product of two graphs $G$ and $H$, $G[H]$ can be obtained from $G$ by substituting a copy $H_u$ of $H$ for every vertex $u$ of $G$ and then joining all vertices of $H_u$ with all vertices of $H_v$ if $uv\in E(G)$. In this paper we obtain some sharp bounds for the distinguishing number and the distinguishing index of lexicographic product of two graphs. As consequences, we prove that if $G$ is a connected graph with a special condition on automorphism group of $G[G]$ and $D(G)> 1$, then for every natural $k$, $D(G)\leq D(G^k)\leq D(G)+k-1$, where $G^k=G[G[...]]$. Also we prove that all lexicographic powers of $G$, $G^k$ ($k\geq 2$) can be distinguished by at most two edge labels.
Weak embeddings of posets to the Boolean lattice
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 24, 2018) dmtcs:3684
• View Publication
• BIB
The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs and of Patkos. As an equivalent reformulation of one of these problems, we also derive that it is NP-complete to decide whether a given graph can be embedded to the two middle levels of some hypercube.
The Dulmage-Mendelsohn Decomposition for $b$-Matchings
We establish the theory of the Dulmage-Mendelsohn decomposition for $b$-matchings. The original Dulmage-Mendelsohn decomposition is a classical canonical decomposition of bipartite graphs, which describes the structures of the maximum $1$-matchings and the dual optimizers, i.e., the minimum vertex covers. In this paper, we develop analogical properties, and thus obtain the structure of the maximum $b$-matchings and characterizes the family of $b$-verifying set.
The twist for positroid varieties
Published
• View Publication
• BIB
The purpose of this note is to connect two maps related to certain graphs embedded in the disc. The first is Postnikov's boundary measurement map, which combines partition functions of matchings in the graph into a map from an algebraic torus to an open positroid variety in a Grassmannian. The second is a rational map from the open positroid variety to an algebraic torus, given by certain Plücker coordinates which are expected to be a cluster in a cluster structure.
This paper clarifies the relationship between these two maps, which has been ambiguous since they were introduced by Postnikov in 2001. The missing ingredient supplied by this paper is a twist automorphism of the open positroid variety, which takes the target of the boundary measurement map to the domain of the (conjectural) cluster. Among other applications, this provides an inverse to the boundary measurement map, as well as Laurent formulas for twists of Plücker coordinates.
The 3x3 rooks graph is the unique smallest graph with lazy cop number 3
In the ordinary version of the pursuit-evasion game "cops and robbers", a team of cops and a robber occupy vertices of a graph and alternately move along the graph's edges, with perfect information about each other. If a cop lands on the robber, the cops win; if the robber can evade the cops indefinitely, he wins. In the variant "lazy cops and robbers", the cops may only choose one member of their squad to make a move when it's their turn. The minimum number of cops (respectively lazy cops) required to catch the robber is called the "cop number" (resp. "lazy cop number") of G and is denoted $c(G)$ (resp. $c_L(G)$). Previous work by Beveridge at al. has shown that the Petersen graph is the unique graph on ten vertices with $c(G)=3$, and all graphs on nine or fewer vertices have $c(G)\leq 2$. (This was a self-contained mathematical proof of a result found by computational search by Baird and Bonato.) In this article, we prove a similar result for lazy cops, namely that the 3x3 rooks graph ($K_3\square K_3$) is the unique graph on nine vertices which requires three lazy cops, and a graph on eight or fewer vertices requires at most two lazy cops.
Enumeration of graphs with given weighted number of connected components
We give a generating function for the number of graphs with given numerical properties and prescribed weighted number of connected components. As an application, we give a generating function for the number of bipartite graphs of given order, size and number of connected components.
Twin peaks
Published
• View Publication
• BIB
We study random labelings of graphs conditioned on a small number (typically one or two) peaks, i.e., local maxima. We show that the boundaries of level sets of a random labeling of a square with a single peak have dimension 2, in a suitable asymptotic sense. The gradient line of a random labeling of a long ladder graph conditioned on a single peak consists mostly of straight line segments. We show that for some tree-graphs, if a random labeling is conditioned on exactly two peaks then the peaks can be very close to each other. We also study random labelings of regular trees conditioned on having exactly two peaks. Our results suggest that the top peak is likely to be at the root and the second peak is equally likely, more or less, to be any vertex not adjacent to the root.