arXiv++ Combinatorics

Recently, Kawarabayashi and Thorup presented the first deterministic edge-connectivity recognition algorithm in near-linear time. A crucial step in their algorithm uses the existence of vertex subsets of a simple graph $G$ on $n$ vertices whose contractions leave a multigraph with $\tilde{O}(n/δ)$ vertices and $\tilde{O}(n)$ edges that preserves all non-trivial min-cuts of $G$, where $δ$ is the minimum degree of $G$ and $\tilde{O}$ hides logarithmic factors. We present a simple argument that improves this contraction-based sparsifier by eliminating the poly-logarithmic factors, that is, we show a contraction-based sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges, preserves all non-trivial min-cuts and can be computed in near-linear time $\tilde{O}(m)$, where $m$ is the number of edges of $G$. We also obtain that every simple graph has $O((n/δ)^2)$ non-trivial min-cuts. Our approach allows to represent all non-trivial min-cuts of a graph by a cactus representation, whose cactus graph has $O(n/δ)$ vertices. Moreover, this cactus representation can be derived directly from the standard cactus representation of all min-cuts in linear time. We apply this compact structure to show that all min-cuts can be explicitly listed in $\tilde{O}(m) + O(n^2 / δ)$ time for every simple graph, which improves the previous best time bound $O(nm)$ given by Gusfield and Naor.

A permutation graph $G_π$ is a simple graph with vertices corresponding to the elements of $π$ and an edge between $i$ and $j$ when $i$ and $j$ are inverted in $π$. A set of vertices $D$ is said to dominate a graph $G$ when every vertex in $G$ is either an element of $D$, or adjacent to an element of $D$. The domination number $γ(G)$ is defined as the cardinality of a minimum dominating set of $G$. A strong fixed point of a permutation $π$ of order $n$ is an element $k$ such that $π^{-1}(j)<π^{-1}(k)$ for all $j<k$, and $π^{-1}(i)>π^{-1}(k)$ for all $i>k$. In this article, we count the number of connected permutation graphs on $n$ vertices with domination number $1$ and domination number $\frac{n}{2}$. We further show that for a natural number $k\leq \frac{n}{2}$, there exists a connected permutation graph on $n$ vertices with domination number $k$. We find a closed expression for the number of permutation graphs dominated by a set with two elements, and we find a closed expression for the number of permutation graphs efficiently dominated by any set of vertices. We conclude by providing an application of these results to strong fixed points, proving some conjectures posed on the OEIS.

Let $λ_2(G)$ and $κ'(G)$ be the second largest eigenvalue and the edge-connectivity of a graph $G$, respectively. Let $d$ be a positive integer at least 3. For $t=1$ or 2, Cioaba proved sharp upper bounds for $λ_2(G)$ in a $d$-regular simple graph $G$ to guarantee that $κ'(G) \ge t+1$. In this paper, we settle down for all $t \ge 3$.

For any fixed simple graph $H=(V,E)$ and any fixed $u>0$, we establish the leading order of the exponential rate function for the probability that the number of copies of $H$ in the Erdős--Rényi graph $G(n,p)$ exceeds its expectation by a factor $1+u$, assuming $n^{-κ(H)}\ll p\ll1$, with $κ(H) = 1/(2Δ)$, where $Δ\ge 1$ is the maximum degree of $H$. This improves on a previous result of Chatterjee and the second author, who obtained $κ(H)=c/(Δ|E|)$ for a constant $c>0$. Moreover, for the case of cycle counts we can take $κ$ as large as $1/2$. We additionally obtain the sharp upper tail for Schatten norms of the adjacency matrix, as well as the sharp lower tail for counts of graphs for which Sidorenko's conjecture holds. As a key step, we establish quantitative versions of Szemerédi's regularity lemma and the counting lemma, suitable for the analysis of random graphs in the large deviations regime.

In this paper we enumerate the necessary and sufficient conditions for the weak modular product of two simple graphs to be perfect. The weak modular product differs from the direct product by also encoding non-adjacencies of the factor graphs in its edges. This work is motivated by the following: a 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Furthermore, a straightforward corollary of Kozen's theorem and Lovász's sandwich theorem is if the weak modular product between two graphs is perfect, then checking if the graphs are isomorphic is polynomial in $n$. Interesting cases include complete multipartite graphs and disjoint unions of cliques. All perfect weak modular products have factors that fall into classes of graphs for which testing isomorphism is already known to be polynomial in the number of vertices.

Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.

Consider finitely many points in a geodesic space. If the distance of two points is less than a fixed threshold, then we regard these two points as "near". Connecting near points with edges, we obtain a simple graph on the points, which is called a unit ball graph. If the space is the real line, then it is known as a unit interval graph. Unit ball graphs on a geodesic space describe geometric characteristics of the space in terms of graphs. In this article, we show that every unit ball graph on a geodesic space is (strongly) chordal if and only if the space is an $ \mathbb{R} $-tree and that every unit ball graph on a geodesic space is (claw, net)-free if and only if the space is a connected manifold of dimension at most $ 1 $. As a corollary, we prove that the collection of unit ball graphs essentially characterizes the real line and the unit circle.

For a simple graph we introduce notions of the double star sequence, the double star frequently sequence and prove that these sequences are inverses of each other. As a consequence, we express the general second Zagreb index in terms of the double star sequence. Also, we calculate the ordinary generating function and a linear recurrence relation for the sequence of the general second Zagreb indexes.

Let $G$ be a simple graph and let $ν(G)$ be the matching number of $G$. It is well-known that $\reg I(G) \leqslant ν(G)+1$. In this paper we show that $\reg I(G) = ν(G)+1$ if and only if every connected component of $G$ is either a pentagon or a Cameron-Walker graph.

Let $G$ be a simple graph with the Laplacian matrix $L(G)$ and let $e(G)$ be the number of edges of $G$. A conjecture by Brouwer and a conjecture by Grone and Merris state that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at most $e(G)+\binom{k+1}{2}$ and $\sum_{i=1}^{k}d_{i}^{*}$, respectively, where $(d_{i}^{*})_{i}$ is the conjugate of the degree sequence $(d_i)_{i}$. We generalize these conjectures to weighted graphs and symmetric matrices. Moreover, among other results we show that under some assumptions, concave upper bounds on convex functions of symmetric real matrices are equivalent to concave upper bounds on convex functions of $(0,1)$ matrices.

Stanley's symmetrized chromatic polynomial is a generalization of the ordinary chromatic polynomial to a graph invariant with values in a ring of polynomials in infnitely many variables. The ordinary chromatic polynomial is a specialization of the Stanley's one. Our goal is to extend Stanley's chromatic polynomial to embedded graphs. In contrast to well-known extensions of, say, the Tutte polynomial from abstract to embedded graphs [5], we do not treat an embedded graph as an abstract graph endowed with additional information about the embedding. Instead, we consider the binary delta-matroid associated to an embedded graph and define the extended Stanley's chromatic polynomial as an invariant of delta-matroids. We show that, similarly to Stanley's symmetrized chromatic polynomial of graphs, which satisfies 4-term relations for simple graphs and determines in this way a knot invariant, extended Stanley's chromatic polynomial of binary delta-matroids we define satisfies the 4-term relations for binary delta-matroids [10] and determines, therefore, an invariant of links.

It was conjectured by Koh and Tay [Graphs Combin. 18(4) (2002), 745--756] that for $n\geq 5$ every simple graph of order $n$ and size at least $\binom{n}{2}-n+5$ has an orientation of diameter two. We prove this conjecture and hence determine for every $n\geq 5$ the minimum value of $m$ such that every graph of order $n$ and size $m$ has an orientation of diameter two.

We prove that every simple graph with maximum degree $Δ$ has an edge correspondence colouring with $Δ+o(Δ)$ colours.

A finite simple graph is called a 2-graph if all of its unit spheres S(x) are cyclic graphs of length 4 or larger. A 2-graph G is Eulerian if all vertex degrees of G are even. An edge refinement of a graph splits an edge (a,b) to two edges (a,c),(c,b) and connects the newly added vertex c to the intersection of S(a) with S(b). Theorem I assures that every 2-graph can be rendered Eulerian by successive edge refinements. The construction is explicit using geodesic cutting. After the refinement, we have an Eulerian 2-graph that carries a natural geodesic flow. We construct some ergodic ones. A 2-graph with boundary is finite simple graph for which every unit sphere is either a path graph of length n larger than 1 or a cyclic graph of length larger than 3. 2-balls are special 2-graphs are simply connected with a circular boundary. Theorem II tells that every 2-ball can be edge refined using interior edges to become Eulerian if and only if its boundary has length divisible by 3. A billiard map is defined already if all interior vertices have even degree. We will construct some ergodic billiards in 2-balls, where the geodesics bouncing off at the boundary symmetrically and which visit every interior edge exactly once. A consequence of Theorem II is that an Eulerian billiard which is ergodic must have a boundary length that is divisible by 3. We also construct other 2-graphs like tori with ergodic geodesic flows. This clashes with experience in the continuum, where tori have periodic points minimizing the length in homology classes of paths. Ergodic Eulerian 2-graphs or billiards are exciting because they satisfy a Hopf-Rynov result: there exists a geodesic connection between any two vertices. We get so unique canonical metric associated to any ergodic Eulerian graph. It is non-local in the sense that two adjacent vertices can have large distance.

An independent dominating set of the simple graph $G=(V,E)$ is a vertex subset that is both dominating and independent in $G$. The independent domination polynomial of a graph $G$ is the polynomial $D_i(G,x)=\sum_{A} x^{|A|}$, summed over all independent dominating subsets $A\subseteq V$. A root of $D_i(G,x)$ is called an independence domination root. We investigate the independent domination polynomials of some generalized compound graphs. As consequences, we construct graphs whose independence domination roots are real. Also, we consider some certain graphs and study the number of their independent dominating sets.

Let $G$ be a finite simple graph on the vertex set $[n] = \{ 1, \ldots, n \}$ and $K[X, Y] = K[x_1, \ldots, x_n, y_1, \ldots, y_n]$ the polynomial ring in $2n$ variables over a field $K$ with each $\mathrm{deg} x_i = \mathrm{deg} y_j = 1$. The binomial edge ideal of $G$ is the binomial ideal $J_G \subset K[X, Y]$ which is generated by those binomials $x_iy_j - x_jy_i$ for which $\{i, j\}$ is an edge of $G$. The Hilbert series $H_{K[X, Y]/J_G}(λ)$ of $K[X, Y]/J_G$ is of the form $H_{K[X, Y]/J_G}(λ) = h_{K[X, Y]/J_G}(λ)/(1 - λ)^d$, where $d = \mathrm{dim} K[X, Y]/J_G$ and where $h_{K[X, Y]/J_G}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with each $h_i \in \mathbb{Z}$ and with $h_s \neq 0$ is the $h$-polynomial of $K[X, Y]/J_G$. It is known that, when $K[X, Y]/J_G$ is Cohen-Macaulay, one has $\mathrm{reg}(K[X, Y]/J_G) = \mathrm{deg} h_{K[X, Y]/J_G}(λ)$, where $ \mathrm{reg}(K[X, Y]/J_G)$ is the (Castelnuovo-Mumford) regularity of $K[X, Y]/J_G$. In the present paper, given arbitrary integers $r$ and $s$ with $2 \leq r \leq s$, a finite simple graph $G$ for which $\mathrm{reg}(K[X, Y]/J_G) = r$ and $\mathrm{deg} h_{K[X, Y]/J_G}(λ) = s$ will be constructed.

Seymour conjectured that every oriented simple graph contains a vertex whose second neighborhood is at least as large as its first. In this note, we put forward a conjecture that we prove is actually equivalent: every oriented simple graph contains a subset of vertices $S$ whose second neighborhood is at least as large as its first. This subset perspective gives some insight into the original conjecture. For example, if there is a counterexample to the second neighborhood conjecture with minimum degree $δ$, then there exists a counterexample on at most ${δ+ 1 \choose 2}$ vertices. Given a vertex $v$, let $d_1^+(v)$ and $d_2^+(v)$ be the size of its first and second neighborhoods respectively. A digraph is $m$-free if there is no directed cycle on $m$ or fewer vertices. Let $λ_m$ be the largest value such that every $m$-free graph contains a vertex $v$ with $d_2^+(v) \geq λ_m d_1^+(v)$. The second neighborhood conjecture implies $λ_m = 1$ for all $m \geq 2$. Liang and Xu provided lower bounds for all $λ_m$, and showed that $λ_m \to 1$ as $m \to \infty$. We improve on Liang and Xu's bound for $m \geq 3$ using this subset perspective.

Let $τ(G)$ and $κ'(G)$ denote the edge-connectivity and the spanning tree packing number of a graph $G$, respectively. Proving a conjecture initiated by Cioaba and Wong, Liu et al. in 2014 showed that for any simple graph $G$ with minimum degree $δ\ge 2k \ge 4$, if the second largest adjacency eigenvalue of $G$ satisfies $λ_2(G) < δ- \frac{2k-1}{δ+1}$, then $τ(G) \ge k$. Similar results involving the Laplacian eigenvalues and the signless Laplacian eigenvalues of $G$ are also obtained. In this paper, we find a function $f(δ, k, g)$ such that for every graph $G$ with minimum degree $δ\ge 2k \ge 4$ and girth $g \ge 3$, if its second largest adjacency eigenvalue satisfies $λ_2(G) < f(δ, k, g)$, then $τ(G) \ge k$. As $f(δ, k, 3) = δ- \frac{2k-1}{δ+1}$, this extends the above-mentioned result of Liu et al. Related results involving the girth of the graph, Laplacian eigenvalues and the signless Laplacian eigenvalues to describe $τ(G)$ and $κ'(G)$ are also obtained.

Let $G$ be a simple graph. Consider all weightings of the vertices of $G$ with real numbers whose total sum is nonnegative. How many edges of $G$ have endpoints with a nonnegative sum? We consider the minimum number of such edges over all such weightings as a graph parameter. Computing this parameter has been shown to be NP-hard but we give a polynomial algorithm to compute the minimum of this parameter over realizations of a given degree sequence. We also completely determine the minimum and maximum value of this parameter for regular graphs.

Let a \neq b be two positive scalars. A Euclidean representation of a simple graph G in R^r is a mapping of the nodes of G into points in R^r such that the squared Euclidean distance between any two points is a if the corresponding nodes are adjacent and b otherwise. A Euclidean representation is spherical if the points lie on an (r-1)-sphere, and is J-spherical if this sphere has radius 1 and a=2 < b. Let dim_E(G), dim_S(G) and dim_J(G) denote, respectively, the smallest dimension r for which G admits a Euclidean, spherical and J-spherical representation. In this paper, we extend and simplify the results of Roy[18] and Nozaki and shinohara[17] by deriving exact simple formulas for dim_E(G) and dim_S(G) in terms of the eigenvalues of V^TAV, where A is the adjacency matrix of G and V is the matrix whose columns form an orthonormal basis for the orthogonal complement of the vector of all 1's. We also extend and simplify the results of Musin [16] by deriving explicit formulas for determining the J-spherical representation of G and for determining dim_J(G)in terms of the largest eigenvalue of \bar{A}, the adjacency matrix of the complement graph \bar{G}. As a byproduct, we obtain several related results and in particular we answer a question raised by Musin in [16].