arXiv++ Combinatorics

Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $ν_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $ν_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(ν_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.

An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals.

For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems. We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.

For an edge-colored complete graph, we define the color degree of a node as the number of colors appearing on edges incident to it. In this paper, we consider colorings that don't contain tricolored triangles (also called rainbow triangles); these colorings are also called Gallai colorings. We give a complete characterization of all possible color degree sequences $d_1 \le d_2 \le \dots \le d_n$ that can arise on a Gallai coloring of $K_n$: it is necessary and sufficient that \[ \sum_{i = k}^n \frac{1}{2^{d_i - d_{k-1}}} \ge 1 \] holds for all $1 \le k \le n$, where $d_0=0$ for convenience. As a corollary, this gives another proof of a 2018 result of Fujita, Li, and Zhang who showed that the minimum color degree in such a coloring is at most $\log_2n$.

Given a simplicial complex $Δ$, we investigate how to construct a new simplicial complex $\barΔ$ such that the corresponding monomial ideals satisfy nice algebraic properties. We give a procedure to check the vertex decomposability of an arbitrary hypergraph. As a consequence, we prove that attaching non-pure skeletons at all vertices of a cycle cover of a simplicial complex $Δ$ results in a simplicial complex $\barΔ$ such that the associated hypergraph $\mathcal{H}(\barΔ)$ is vertex decomposable. Also, we prove that all symbolic powers of the cover ideal of $\barΔ$ are componentwise linear. Our work generalizes the earlier known result where non-pure complete graphs were added to all vertices of a cycle cover of a graph.

Given a graph $T$ and a family of graphs $\mathcal{H}$. The generalized Turán number of $\mathcal{H}$ is the maximum number of copies of $T$ in an $\mathcal{H}$-free graph on $n$ vertices, denoted by $ex(n, T, \mathcal{H})$. Let $ex(n, T, \mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl (arXiv2210.15076) determined the exact values of $\rm{ex}(n, \{K_{r+1}, M_{s+1}\})$, where $K_{r+1}$ and $M_{s+1}$ are complete graph on $r + 1$ vertices and matching of size $s + 1$, respectively. Ma and Hou (arXiv2301.05625) gave the generalized version of Alon and Frankl's Theorem, which determine the exact values of $ex(n, K_r, \{K_{k+1}, M_{s+1}\})$. Zhang determined the exact values of $ex(n, K_r, \mathcal{L}_{n, s})$, where $\mathcal{L}_{n, s}$ be the family of all linear forests of order $n$ with $s$ edges. Inspired by the work of Zhang and Ma, in this paper, we determined the exact number of $ex(n, \{K_{r+1}, \mathcal{L}_{n, s}\})$.

For each surface besides the sphere, projective plane, and Klein bottle, we construct a face-simple minimal quadrangulation, i.e., a simple quadrangulation on the fewest number of vertices possible, whose dual is also a simple graph. Our result answers a question of Liu, Ellingham, and Ye while providing a simpler proof of their main result. The inductive construction is based on an earlier idea for finding near-quadrangular embeddings of the complete graphs using the diamond sum operation.

For graphs $G_0$, $G_1$ and $G_2$, write $G_0\longmapsto(G_1, G_2)$ if each red-blue-edge-coloring of $G_0$ yields a red $G_1$ or a blue $G_2$. The Ramsey number $r(G_1, G_2)$ is the minimum number $n$ such that the complete graph $K_n\longmapsto(G_1, G_2)$. In [Discrete Math. 312(2012)], Schelp formulated the following question: for which graphs $H$ there is a constant $0<c<1$ such that for any graph $G$ of order at least $r(H, H)$ with $δ(G)>c|V(G)|$, $G\longmapsto(H, H)$. In this paper, we prove that for any $m>n$, if $G$ is a balanced bipartite graph of order $2(m+n-1)$ with $δ(G)>\frac{3}{4}(m+n-1)$, then $G\longmapsto(CM_m, CM_n)$, where $CM_i$ is a matching with $i$ edges contained in a connected component. By Szeméredi's Regularity Lemma, using a similar idea as introduced by [J. Combin. Theory Ser. B 75(1999)], we show that for every $η>0$, there is an integer $N_0>0$ such that for any $N>N_0$ the following holds: Let $α_1>α_2>0$ such that $α_1+α_2=1$. Let $G[X, Y]$ be a balanced bipartite graph on $2(N-1)$ vertices with $δ(G)\geq(\frac{3}{4}+3η)(N-1)$. Then for each red-blue-edge-coloring of $G$, either there exist red even cycles of each length in $\{4, 6, 8, \ldots, (2-3η^2)α_1N\}$, or there exist blue even cycles of each length in $\{4, 6, 8, \ldots, (2-3η^2)α_2N\}$. Furthermore, the bound $δ(G)\geq(\frac{3}{4}+3η)(N-1)$ is asymptotically tight. Previous studies on Schelp's question on cycles are on diagonal case, we obtain an asymptotic result of Schelp's question for all non-diagonal cases.

For a given graph $F$, the $F$-saturation number of a graph $G$, denoted by $ {sat}(G, F)$, is the minimum number of edges in an edge-maximal $F$-free subgraph of $G$. In 2017, Korándi and Sudakov determined $ {sat}({G}(n, p), K_r)$ asymptotically, where ${G}(n, p) $ denotes the Erdős-Rényi random graph and $ K_r$ is the complete graph on $r$ vertices. In this paper, among other results, we present an asymptotic upper bound on ${sat}({G}(n, p), F)$ for any bipartite graph $F$ and also an asymptotic lower bound on ${sat}({G}(n, p), F)$ for any complete bipartite graph $F$.

Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges.

Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an identification of the spectrum of complete graphs $K_n$ and complete bipartite graphs $K_{m,n}$ with loops. We characterize any graphs with loops of order n whose eigenvalues are all positive or non-negative, and also any graphs with a few distinct eigenvalues. Finally, we provide some bounds related to $G_S$.

The Alon-Tarsi number of a polynomial is a parameter related to the exponents of its monomials. For graphs, their Alon-Tarsi number is the Alon-Tarsi number of their graph polynomials. As such, it provides an upper bound on their choice and online choice numbers. In this paper, we obtain the Alon-Tarsi number of some complete multipartite graphs, line graphs of some complete graphs of even order, and line graphs of some other regular graphs.

The celebrated canonical Ramsey theorem of Erdős and Rado implies that for a given $k$-uniform hypergraph (or $k$-graph) $H$, if $n$ is sufficiently large then any colouring of the edges of the complete $k$-graph $K^{(k)}_n$ gives rise to copies of $H$ that exhibit certain colour patterns. We are interested in sparse random versions of this result and the threshold at which the random $k$-graph ${\mathbf{G}}^{(k)}(n,p)$ inherits the canonical Ramsey properties of $K^{(k)}_n$. Our main result here pins down this threshold when we focus on colourings that are constrained by some prefixed lists. This result is applied in an accompanying work of the authors on the threshold for the canonical Ramsey property (with no list constraints) in the case that $H$ is a (2-uniform) even cycle.

We offer a new structural basis for the theory of 3-connected graphs, providing a unique decomposition of every such graph into parts that are either quasi 4-connected, wheels, or thickened $K_{3,m}$'s. Our construction is explicit, canonical, and has the following applications: we obtain a new theorem characterising all finite Cayley graphs as either essentially 4-connected, cycles, or complete graphs on at most four vertices, and we provide an automatic proof of Tutte's wheel theorem.

For a graph $G$, the generalized adjacency matrix $A_α(G)$ is the convex combination of the diagonal matrix $D(G)$ and the adjacency matrix $A(G)$ and is defined as $A_α(G)=αD(G)+(1-α) A(G)$ for $0\leq α\leq 1$. This matrix has been found to be useful in merging the spectral theories of $A(G)$ and the signless Laplacian matrix $Q(G)$ of the graph $G$. The generalized adjacency energy or $A_α$-energy is the mean deviation of the $A_α$-eigenvalues of $G$ and is defined as $E(A_α(G))=\sum_{i=1}^{n}|p_i-\frac{2αm}{n}|$, where $p_i$'s are $A_α$-eigenvalues of $G$. In this paper, we investigate the $A_α$-eigenvalues of a strongly regular graph $G$. We observe that $A_α$-spectral radius $p_1$ satisfies $δ(G)\leq p_1 \leq Δ(G)$, where $δ(G)$ and $Δ(G)$ are, respectively, the smallest and the largest degrees of $G$. Further, we show that the complete graph is the only graph to have exactly two distinct $A_α$-eigenvalues. We obtain lower and upper bounds of $A_α$-energy in terms of order, size and extremal degrees of $G$. We also discuss the extremal cases of these bounds.

We consider the random clique complex process - the process of clique complexes induced by the complete graph with i.i.d. Uniform edge weights. We investigate the evolution of the Betti numbers of the clique complex process in the critical window and in particular, show a process-level convergence of the Betti numbers to a Poisson process. Our proof technique gives easily an hitting time result i.e, with high probability, the $k$th cohomology becomes trivial when there are no more isolated $k$-faces. Our results imply that the thresholds for vanishing of cohomology of the clique complex process coincides with that of the threshold for vanishing of `instantaneous' homology determined by \citet{SVT}. We also give a lower bound for the probability of clique complex process to have Kazhdan's property $(T)$. These results show a different behaviour for the clique complex process compared to the Čech complex process investigated in the geometric setting by \citet{B19}.

One formulation of the Erdos-Szekeres monotone subsequence theorem states that for any red/blue coloring of the edge set of the complete graph on $\{1, 2, \ldots, N\}$, there exists a monochromatic red $s$-clique or a monochromatic blue increasing path $P_n$ with $n$ vertices, provided $N >(s-1)(n-1)$. %We had previously shown that a suitable generalization of this problem to quadruple systems is essentially equivalent to classical diagonal hypergraph Ramsey numbers. Here, we prove a similar statement as above in the off-diagonal case for triple systems, with the quasipolynomial bound $N>2^{c(\log n)^{s-1}}$. For the $t$th power $P_n^t$ of the ordered increasing graph path with $n$ vertices, we prove a near linear bound $c\, n(\log n)^{s-2}$ which improves the previous bound that applied to a more general class of graphs than $P_n^t$ due to Conlon-Fox-Lee-Sudakov.

For a graph $G$, a vertex coloring $f$ is called nonrepetitive if for all $k\in\mathbb N$ and all $P_{2k}=\langle v_1, \cdots, v_k,v_{k+1}, \cdots, v_{2k}\rangle$ (path of $2k$ vertices) in $G$, there must be some $1\le i\le k$ such that $f(v_i)\not=f(v_{k+i})$. We use $π(G)$ to denote the minimum number of colors required for $G$ to be nonrepetitively colored. In 1906, Thue proved that $π(P_n)\le3$ for all $n$. In this paper, we focus on grids, which are the Cartesian products of paths. We prove that $5\leπ(P_n\square P_n)\le12$ for sufficiently large $n$, where the previous best lower bound was 4 and upper bound was 16. Moreover, we also discuss nonrepetitive coloring of the Cartesian product of complete graphs.

The $k$-coalescence of two graphs is obtained by merging a $k$-clique of each graph. The $A_α$-matrix of a graph is the convex combination of its degree matrix and adjacency matrix. In this paper, we present some structural properties of a non-regular graph which is obtained from the $k$-coalescence of two graphs. Also, we derive the $A_α$-characteristic polynomial of $k$-coalescence of two graphs and then compute the $A_α$-spectra of $k$-coalescence of two complete graphs. In addition, we estimate the $A_α$-energy of $k$-coalescence of two complete graphs. Furthermore, we obtain some topological indices of vertex coalescence of two graphs, and as an application, we determine some indices of some family of graphs. From these results, we calculate the Wiener index, hyper-Wiener index etc. of the organic compound 1,2-dicyclohexylethane(\ce{C_{14}H_{26}}).

It is a longstanding conjecture that every simple drawing of a complete graph on $n \geq 3$ vertices contains a crossing-free Hamiltonian cycle. We strengthen this conjecture to "there exists a crossing-free Hamiltonian path between each pair of vertices" and show that this stronger conjecture holds for several classes of simple drawings, including strongly c-monotone drawings and cylindrical drawings. As a second main contribution, we give an overview on different classes of simple drawings and investigate inclusion relations between them up to weak isomorphism.