arXiv++ Combinatorics

X. Hou, H.-J. Lai, P. Li and C.-Q. Zhang [J. Graph Theory 69 (2012) 464-470] showed that for a simple graph $G$ with $|V(G)|\ge 44$, if $\min\{δ(G),δ(G^c)\}\ge 4$, then either $G$ or its complementary graph $G^c$ has a nowhere-zero $3$-flow. In this paper, we improve this result by showing that if $|V(G)|\ge 32$ and $\min\{δ(G),δ(G^c)\}\ge 4$, then either $G$ or $G^c$ has flow index strictly less than $3$. Our result is proved by a newly developed closure operation and contraction method.

A Horizontal Visibility Graph (HVG) is a simple graph extracted from an ordered sequence of real values, and this mapping has been used to provide a combinatorial encryption of time series for the task of performing network based time series analysis. While some properties of the spectrum of these graphs --such as the largest eigenvalue of the adjacency matrix-- have been routinely used as measures to characterise time series complexity, a theoretic understanding of such properties is lacking. In this work we explore some algebraic and spectral properties of these graphs associated to periodic and chaotic time series. We focus on the family of Feigenbaum graphs, which are HVGs constructed in correspondence with the trajectories of one-parameter unimodal maps undergoing a period-doubling route to chaos (Feigenbaum scenario). For the set of values of the map's parameter $μ$ for which the orbits are periodic with period $2^n$, Feigenbaum graphs are fully characterised by two integers (n,k) and admit an algebraic structure. We explore the spectral properties of these graphs for finite n and k, and among other interesting patterns we find a scaling relation for the maximal eigenvalue and we prove some bounds explaining it. We also provide numerical and rigorous results on a few other properties including the determinant or the number of spanning trees. In a second step, we explore the set of Feigenbaum graphs obtained for the range of values of the map's parameter $μ$ for which the system displays chaos. We show that in this case, Feigenbaum graphs form an ensemble for each value of $μ$ and the system is typically weakly self-averaging. Unexpectedly, we find that while the largest eigenvalue can distinguish chaos from an iid process, it is not a good measure to quantify the chaoticity of the process, and that the eigenvalue density does a better job.

Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_1, \ldots, x_n\}$ and $I(G) \subset K[V(G)]$ its edge ideal, where $K[V(G)]$ is the polynomial ring in $x_1, \ldots, x_n$ over a field $K$ with each ${\rm deg} x_i = 1$ and where $I(G)$ is generated by those squarefree quadratic monomials $x_ix_j$ for which $\{x_i, x_j\}$ is an edge of $G$. In the present paper, given integers $1 \leq a \leq r$ and $s \geq 1$, the existence of a finite connected simple graph $G = G(a, r, d)$ with ${\rm im}(G) = a$, ${\rm reg}(R/I(G)) = r$ and ${\rm deg} h_{K[V(G)]/I(G)} (λ) = s$, where ${\rm im}(G)$ is the induced matching number of $G$ and where $h_{K[V(G)]/I(G)} (λ)$ is the $h$-polynomial of $K[V(G)]/I(G)$.

Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other? We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $α$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $α(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $α$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope. We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.

For $d \ge 1$, $s \ge 0$ a $(d, d+s)$-{\em graph} is a graph whose degrees all lie in the interval $\{d, d+1, \ldots, d + s\}$. For $r \ge 1$, $a \ge 0$, an $(r, r+a)$-{\em factor} of a graph $G$ is a spanning $(r, r+a)$-subgraph of $G$. An $(r, r+a)$-{\em factorization} of a graph $G$ is a decomposition of $G$ into edge-disjoint $(r, r+a)$-factors. A graph is $(r, r+a)$-{\em factorable} if it has an $(r, r+a)$-factorization. Let $σ(r, s, a, t)$ be the least integer such that, if $d \ge σ(r, s, a, t)$, then every $(d, d+s)$-simple graph $G$ is $(r,r+a)$-factorable with $x$ factors for at least $t$ different values of $x$. In this paper we evaluate $σ(r,s,a,t)$ for all values of $r, s, a$ and $t$. We also show that if $a \ge 2$ and $r \ge 1$, then, when $r$ is even and $a$ is odd, every $(d, d+s)$-simple graph $G$ has an $(r, r+a)$-factorization with $x$ factors if and only if $$ \frac{d+s}{r+a}\, < x \le \frac{d}{r}\,,$$ and we prove similar statements for other parities of $r$ and $a$.

A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lovász (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.

Let $G$ be a simple graph and $A(G)$ be the adjacency matrix of $G$. The matrix $S(G) = J -I -2A(G)$ is called the Seidel matrix of $G$, where $I$ is an identity matrix and $J$ is a square matrix all of whose entries are equal to 1. Clearly, if $G$ is a graph of order $n$ with no isolated vertex, then the Seidel matrix of $G$ is also the adjacency matrix of a signed complete graph $K_n$ whose negative edges induce $G$. In this paper, we study the Seidel eigenvalues of the complete multipartite graph $K_{n_1,\ldots,n_k}$ and investigate its Seidel characteristic polynomial. We show that if there are at least three parts of size $n_i$, for some $i=1,\ldots,k$, then $K_{n_1,\ldots,n_k}$ is determined, up to switching, by its Seidel spectrum.

An ordered graph $\mathcal{G}$ is a simple graph together with a total ordering on its vertices. The (2-color) Ramsey number of $\mathcal{G}$ is the smallest integer $N$ such that every 2-coloring of the edges of the complete ordered graph on $N$ vertices has a monochromatic copy of $\mathcal{G}$ that respects the ordering. In this paper we investigate the effect of various graph operations on the Ramsey number of a given ordered graph, and detail a general framework for applying results on extremal functions of 0-1 matrices to ordered Ramsey problems. We apply this method to give upper bounds on the Ramsey number of ordered matchings arising from sum-decomposable permutations, an alternating ordering of the cycle, and an alternating ordering of the tight hyperpath. We also construct ordered matchings on $n$ vertices whose Ramsey number is $n^{q+o(1)}$ for any given exponent $q\in(1,2)$.

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of $G$, denoted by $χ'(G)$ (resp. $χ^*(G)$). Let $Δ(G)$ be the maximum degree of $G$ and let \[Γ(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E(U)$ is the set of all edges of $G$ with both ends in $U$. Clearly, $\max\{Δ(G), \, \lceil Γ(G) \rceil \}$ is a lower bound for $χ'(G)$. As shown by Seymour, $χ^*(G)=\max\{Δ(G), \, Γ(G)\}$. In the 1970s Goldberg and Seymour independently conjectured that $χ'(G) \le \max\{Δ(G)+1, \, \lceil Γ(G) \rceil\}$. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for $χ'(G)$, so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is $NP$-hard in general to determine $χ'(G)$, we can approximate it within one of its true value, and find it exactly in polynomial time when $Γ(G)>Δ(G)$; third, every multigraph $G$ satisfies $χ'(G)-χ^*(G) \le 1$, so FECP has a fascinating integer rounding property.

Random graphs with a given degree sequence are often constructed using the configuration model, which yields a random multigraph. We may adjust this multigraph by a sequence of switchings, eventually yielding a simple graph. We show that, assuming essentially a bounded second moment of the degree distribution, this construction with the simplest types of switchings yields a simple random graph with an almost uniform distribution, in the sense that the total variation distance is $o(1)$. This construction can be used to transfer results on distributional convergence from the configuration model multigraph to the uniform random simple graph with the given vertex degrees. As examples, we give a few applications to asymptotic normality. We show also a weaker result yielding contiguity when the maximum degree is too large for the main theorem to hold.

Persistent homology enables fast and computable comparison of topological objects. However, it is naturally limited to the analysis of topological spaces. We extend the theory of persistence, by guaranteeing robustness and computability to significant data types as simple graphs and quivers. We focus on categorical persistence functions that allow us to study in full generality strong kinds of connectedness such as clique communities, $k$-vertex and $k$-edge connectedness directly on simple graphs and monic coherent categories.

Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist distinct vertices $v_1,v_2,v_3$ so that (working with the indices modulo 3) we have $v_i v_{i+1} \in E(G_i)$ for $1 \le i \le 3$. We provide an example to show this bound is best possible. This also answers a question of Diwan and Mubayi. We include a new short proof of Mantel's Theorem we obtained as a byproduct.

A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such sentence that has been reduced, that is, which is unchanged under application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is, in fact, a simple graph. Our main result is a complete characterization of graphs that can support unsatisfiable 2-CNF sentences. We show that a simple graph can support an unsatisfiable reduced 2-CNF sentence if and only if it contains any one of four specific small graphs as a topological minor. Equivalently, all reduced 2-CNF sentences supported on a given simple graph are satisfiable if and only if all subdivisions of those four graphs are forbidden as subgraphs of of the original graph. We conclude with a discussion of why the Robertson-Seymour graph minor theorem does not apply in our approach.

The matching complex $M(G)$ of a simple graph $G$ is the simplicial complex consisting of the matchings on $G$. The matching complex $M(G)$ is isomorphic to the independence complex of the line graph $L(G)$. Braun and Hough introduced a family of graphs $Δ^m_n$, which is a generalization of the line graph of the $(n \times 2)$-grid graph. In this paper, we show that the independence complex of $Δ^m_n$ is a wedge of spheres. This gives an answer to a problem suggested by Braun and Hough.

For a hypergraphic polytope there is a weighted quasisymmetric function which enumerates positive integer points in its normal fan and determines its f-polynomial. This quasisymmetric function invariant of hypergraphs extends the Stanley chromatic symmetric function of simple graphs. We consider a certain combinatorial Hopf algebra of hypergraphs and show that universal morphism to quasisymmetric functions coincides with this enumerator function.

Establishing inequalities among graph densities is a central pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression is to write it as a sum of squares. In this paper, we identify a simple condition under which a graph density expression cannot be a sum of squares. Using this result, we prove that the Blakley-Roy inequality does not have a sum of squares certificate when the path length is odd. We also show that the same Blakley-Roy inequalities cannot be certified by sums of squares using a multiplier of the form one plus a sum of squares. These results answer two questions raised by Lovász. Our main tool is used again to show that the smallest open case of Sidorenko's conjectured inequality cannot be certified by a sum of squares. Finally, we show that our setup is equivalent to existing frameworks by Razborov and Lovász-Szegedy, and thus our results hold in these settings too.

We consider random graphs with a given degree sequence and show, under weak technical conditions, asymptotic normality of the number of components isomorphic to a given tree, first for the random multigraph given by the configuration model and then, by a conditioning argument, for the simple uniform random graph with the given degree sequence. Such conditioning is standard for convergence in probability, but much less straightforward for convergence in distribution as here. The proof uses the method of moments, and is based on a new estimate of mixed cumulants in a case of weakly dependent variables. The result on small components is applied to give a new proof of a recent result by Barbour and Röllin on asymptotic normality of the size of the giant component in the random multigraph; moreover, we extend this to the random simple graph.

Given a simple graph $G=(V_G, E_G)$ with vertex set $V_G$ and edge set $E_G$, the mixed graph $\widetilde{G}$ is obtained from $G$ by orienting some of its edges. Let $H(\widetilde{G})$ denote the Hermitian adjacency matrix of $\widetilde{G}$ and $A(G)$ be the adjacency matrix of $G$. The $H$-rank (resp. rank) of $\widetilde{G}$ (resp. $G$), written as $rk(\widetilde{G})$ (resp. $r(G)$), is the rank of $H(\widetilde{G})$ (resp. $A(G)$). Denote by $d(G)$ the dimension of cycle spaces of $G$, that is $d(G) = |E_G|-|V_G|+ω(G)$, where $ω(G),$ denotes the number of connected components of $G$. In this paper, we concentrate on the relation between the $H$-rank of $\widetilde{G}$ and the rank of $G$. We first show that $-2d(G)\leqslant rk(\widetilde{G})-r(G)\leqslant 2d(G)$ for every mixed graph $\widetilde{G}$. Then we characterize all the mixed graphs that attain the above lower (resp. upper) bound. By these obtained results in the current paper, all the main results obtained in \cite{004,1} may be deduced consequently.

A complex unit gain graph is a simple graph in which each orientation of an edge is given a complex number with modulus 1 and its inverse is assigned to the opposite orientation of the edge. In this article, first we establish bounds for the eigenvalues of the complex unit gain graphs. Then we study some of the properties of the adjacency matrix of complex unit gain graph in connection with the characteristic and the permanental polynomials. Then we establish spectral properties of the adjacency matrices of complex unit gain graphs. In particular, using Perron-Frobenius theory, we establish a characterization for bipartite graphs in terms of the set of eigenvalues of gain graph and the set of eigenvalues of the underlying graph. Also, we derive an equivalent condition on the gain so that the eigenvalues of the gain graph and the eigenvalues of the underlying graph are the same.

A total $k$-coloring of a graph is an assignment of $k$ colors to its vertices and edges such that no two adjacent or incident elements receive the same color. The Total Coloring Conjecture (TCC) states that every simple graph $G$ has a total ($Δ(G)+2$)-coloring, where $Δ(G)$ is the maximum degree of $G$. This conjecture has been confirmed for planar graphs with maximum degree at least 7 or at most 5, i.e., the only open case of TCC is that of maximum degree 6. It is known that every planar graph $G$ of $Δ(G) \geq 9$ or $Δ(G) \in \{7, 8\}$ with some restrictions has a total $(Δ(G) + 1)$-coloring. In particular, in [Shen and Wang, "On the 7 total colorability of planar graphs with maximum degree 6 and without 4-cycles", Graphs and Combinatorics, 25: 401-407, 2009], the authors proved that every planar graph with maximum degree 6 and without 4-cycles has a total 7-coloring. In this paper, we improve this result by showing that every diamond-free and house-free planar graph of maximum degree 6 is totally 7-colorable if every 6-vertex is not incident with two adjacent 4-cycles or not incident with three cycles of size $p,q,\ell$ for some $\{p,q,\ell\}\in \{\{3,4,4\},\{3,3,4\}\}$.