arXiv++ Combinatorics

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a disjoint union of trees with exactly one vertex of degree 3 and paths. This dichotomy also characterizes exactly those monotone graph classes for which many NP-hard algorithmic problems admit polynomial-time algorithms. These algorithmic dichotomies, however, do not extend to the universe of all hereditary classes, which are classes closed under taking induced subgraphs. This leads to the natural question of whether we can extend known algorithmic dichotomies for monotone classes to larger families of hereditary classes. We give an affirmative answer to this question by considering the family of hereditary graph classes that are closed under self-intersection, which is known to be located strictly between the monotone and hereditary classes. We prove a new structural characterization of graphs in self-intersection-closed classes excluding a tripod. We use our characterization to give a complete dichotomy of Maximum Independent Set, and its weighted variant for self-intersection-closed classes defined by finitely many obstructions: these problems are in P if the class excludes a tripod and NP-hard otherwise. This generalizes several known results on Maximum Independent Set. We also use it to obtain dichotomies for Maximum Induced Matching on self-intersection-closed classes of bipartite graphs defined by finitely many obstructions. Similarly, we obtain dichotomies for Satisfiability and Counting Satisfiability on self-intersection-closed classes of (bipartite) incidence graphs defined by finitely many obstructions, and for boundedness of clique-width for self-intersection-closed classes of bipartite graphs defined by finitely many obstructions.

Let $G$ be a finite group and let $S$ be an inverse-closed subset of $G$ not containing the identity. The Cayley graph $\mathrm{Cay}(G,S)$ has vertex set $G$, where two vertices $x$ and $y$ are adjacent if and only if $x^{-1}y \in S$. Kaseasbeh and Erfanian (2021) determined the structure of all Cayley graphs on the dihedral group of order $2n$ for subsets $S$ of size at most three. We extend their work by analyzing the structure of such Cayley graphs for subsets $S$ of size at least four. Our main results are as follows: 1. using a classical result of Burnside and Schur, we determine the automorphism groups of Cayley graphs on dihedral groups of order $2p$, where $p$ ranges over infinitely many primes and $S$ consists only of rotations; 2. if $S$ consists of $4 \le 2k < n$ distinct rotations, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is the disjoint union of two isomorphic circulant graphs on $n$ vertices, and 3. if $S$ is a generating set of $4\leq k\leq n$ reflections, then the Cayley graph $\mathrm{Cay}(D_{2n},S)$ is bipartite, forming the disjoint union of $k$ perfect matchings.

In this paper, we study the simplex faces of the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a finite poset $P$. We show that, if $P$ can be recursively constructed from $\mathbf{X}$-free posets using disjoint unions and ordinal sums, then $\mathcal{C}(P)$ has at least as many $k$-dimensional simplex faces as $\mathcal{O}(P)$ does, for each dimension $k$. This generalizes a previous result of Mori, both in terms of the dimensions of the simplices and in terms of the class of posets considered.

A sunlet is a cycle with a pendant edge attached at each vertex of the cycle. For the bipartite toroidal grid graphs $C_{2n} \Box C_{2n}$, factorizations into sunlets are given by homomorphisms from disjoint unions of $s$ copies of a sunlet for $s \in \{1, n, n^2\}, n \geq 3$ such that edges are mapped bijectively.

We express the outer multiplicities in the tensor products of two fundamental simple modules for an affine Kac-Moody algebra of type $A$ in terms of counting certain sets of multipartitions by exploring the stabilizing limits of certain excellent filtrations. This extends for all ranks a previously obtained result by Jakelić and the second author for rank $1$. The same outer multiplicities were previously computed by Misra and Wilson in terms of counting certain sets of tableaux. By comparing these two expressions and by explicitly exhibiting a combinatorial description of level-$2$ affine Weyl group orbits, we establish the existence of a bijection between the Misra-Wilson set of tableaux and a disjoint union of certain sets of multipartitions.

Two graphs are said to be $Q$-cospectral if they share the same signless Laplacian spectrum. A simple graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if there exists no other non-isomorphic simple graph with the same signless Laplacian spectrum. In this paper, we establish the following results: (1) Let$G \cong K_{1} \vee \bigl(C_{k} \cup qK_{2} \cup sK_{1}\bigr),$ with $q,s \geq 1$, $k \geq 4$, and at least $21$ vertices. If $k$ is odd, then $G$ is DQS. Moreover, if $k$ is even and $F$ is $Q$-cospectral with $G$, then $$F \cong G \quad \text{or} \quad F \cong K_{1} \vee \bigl(C_{4} \cup P_{k-3} \cup P_{3} \cup (q-2)K_{2} \cup sK_{1}\bigr).$$ (2) Let $G\cong K_1\vee (C_{k_1}\cup C_{k_2}\cup\cdots \cup C_{k_t}\cup qK_2\cup sK_1)$ with $t\ge 2$, $q,s\ge 1$, $k_i\ge 4$ and at least $33$ vertices. If each $k_i$ is odd, then $G$ is DQS. (3) The graph $K_{1} \vee \bigl(C_{3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup sK_{1}\bigr),$ with $t,q,s \geq 1$ and $k_{i} \geq 3$, is not DQS. Moreover, it is $Q$-cospectral with $K_{1} \vee \bigl(K_{1,3} \cup C_{k_{1}} \cup C_{k_{2}} \cup \cdots \cup C_{k_{t-1}} \cup qK_{2} \cup (s-1)K_{1}\bigr).$ Here $P_{n}$, $C_{n}$, $K_{n}$ and $K_{n-r,r}$ denote the path, the cycle, the complete graph and the complete bipartite graph on $n$ vertices, while $\cup$ and $\vee$ represent the disjoint union and the join of two graphs, respectively. Furthermore, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.

We derive exact values and new bounds for the Shannon capacity of two families of graphs: the $q$-Kneser graphs and the tadpole graphs. We also construct a countably infinite family of connected graphs whose Shannon capacity is not attained by the independence number of any finite strong power. Building on recent work of Schrijver, we establish sufficient conditions under which the Shannon capacity of a polynomial in graphs, formed via disjoint unions and strong products, equals the corresponding polynomial of the individual capacities, thereby reducing the evaluation of such capacities to that of their components. Finally, we prove an inequality relating the Shannon capacities of the strong product of graphs and their disjoint union, which yields alternative proofs of several known bounds as well as new tightness conditions. In addition to contributing to the computation of the Shannon capacity of graphs, this paper is intended to serve as an accessible entry point to those wishing to work in this area.

Cho and van Willigenburg (arXiv:1508.07670) and Alinaeifard, Wang, and van Willgenburg (arXiv:2010.00147) introduce multiplicative chromatic bases for the ring $Λ$ of symmetric functions, consisting of the chromatic symmetric functions (CSFs) of a sequence of connected graphs $G_1,G_2,\dots$ such that $G_n$ has total weight $n$, together with the CSFs of their disjoint unions. In arXiv:1707.04058, Tsujie introduces an alternative ring structure $\widetildeΛ$ on the vector space $Λ$ that makes CSFs multiply over joins instead of over disjoint unions. The $\widetilde{m}_λ$ basis, consisting of all CSFs of weighted cliques, is a multiplicative basis for $\widetildeΛ$, as is the $r_λ$ basis of complete multipartite graphs studied by Penaguiao (arXiv:1803.08824) and Crew and Spirkl (arXiv:2009.14141). We show that one can get more of these "cochromatic bases" (where the starting graphs are combined by joins instead of disjoint unions, hence forming a multiplicative basis for $\widetildeΛ$ instead of $Λ$) if and only if the starting graphs are edgeless. We also show that $\widetildeΛ$ is a Hopf algebra with the same coproduct as $Λ$, and that many of the chromatic bases for $Λ$ generated by cliques can be taken to their corresponding cochromatic bases via Hopf algebra isomorphisms $Λ\to \widetildeΛ.$ We also show that there is a single Hopf algebra morphism taking the CSFs of all unweighted triangle-free graphs to the CSFs of their complements, and we give several more conditions and examples for when one can or cannot find Hopf algebra maps taking the CSFs of certain graphs to the CSFs of their complements. Finally, we show that $K$-analogues of many of the above statements also hold if one instead uses the Kromatic symmetric function (KSF) defined by Crew, Pechenik, and Spirkl (arXiv:2301.02177).

We observe that the definition of Shelah's classical $\mathrm{NSOP}_{n}$ hierarchy for first-order theories, for integers $n \geq 3$, can be restated so that it extends to the case where $n$ is replaced with any real number $r \geq 3$. Using this observation, we define a potentially larger family of properties $\mathrm{NSOP}_{r}$ for real numbers $r \geq 3$. Motivated by the question of whether the integer-valued and real-valued hierarchies are distinct, we translate these hierarchies into the setting of hereditary classes, obtaining a new real-valued quantity of independent combinatorial interest, $\mathfrak{o}(\mathcal{H})$, associated with any hereditary class $\mathcal{H}$. We show that, when $\mathcal{H}$ is defined by a finite family of forbidden weakly embedded substructures, $\mathfrak{o}(\mathcal{H})$ is an integer. While Malliaris implicitly showed that the properties $\mathrm{NSOP}_{n}$ are equivalent to closure under helix maps between graphs, both our observation that the properties $\mathrm{NSOP}_{n}$ can be restated so that $n$ can be replaced with any real number at least $3$, and our result that $\mathfrak{o}(\mathcal{H})$ is an integer when $\mathcal{H}$ is a hereditary class defined by a finite family of forbidden weakly embedded substructures, are even exhibited by a special class of helix maps, the interval helix maps. These are helix maps that respect the direction of edges, and whose regions are disjoint unions of linearly ordered sets without any edges between them. Toward showing the conjectural claim that $\mathfrak{o}(\mathcal{H})$ is not an integer in general, and therefore that the real-valued $\mathrm{NSOP}_{r}$ hierarchy is distinct from the integer-valued $\mathrm{NSOP}_{n}$ hierarchy at the level of hereditary classes, we show that the statement that $\mathfrak{o}(\mathcal{H})$ is an integer in general cannot be exhibited by interval helix maps.

The planar Tuán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is defined as the maximum number of edges in an $n$-vertex $H$-free planar graph. The exact value of $ex_{\mathcal{P}}(n,H)$ remains a mystery when $H$ is large (for example, $H$ is a long path or a long cycle), while tight bounds have been established for many small planar graphs such as cycles, paths, $Θ$-graphs and other small graphs formed by a union of them. One representative graph among such union graphs is $K_1+L$ where $L$ is a linear forest without isolated vertices. Previous works solved the cases when $L$ is a path or a matching. In this work, we first investigate the planar Turán number of the graph $K_1+L$ when $L$ is the disjoint union of a $P_2$ and $P_3$. Equivalently, $K_1+L$ represents a specific configuration formed by combining a $C_3$ and a $Θ_4$. We further consider the planar Turán numbers of the all graphs obtained by combining $C_3$ and $Θ_4$. Among the six possible such configurations, three have been resolved in earlier works. For the remaining three configurations (including $K_1+(P_2\dot{\cup}P_3)$), we derive tight bounds. Furthermore, we completely characterize all extremal graphs for the remaining two of these three cases.

Analytic combinatorics studies asymptotic properties of families of combinatorial objects using complex analysis on their generating functions. In their reference book on the subject, Flajolet and Sedgewick describe a general approach that allows one to derive precise asymptotic expansions starting from systems of combinatorial equations. In the situation where the combinatorial system involves only cartesian products and disjoint unions, the generating functions satisfy polynomial systems with positivity constraints for which many results and algorithms are known. We extend these results to the general situation. This produces an almost complete algorithmic chain going from combinatorial systems to asymptotic expansions. Thus, it is possible to compute asymptotic expansions of all generating functions produced by the symbolic method of Flajolet and Sedgewick when they have algebraic-logarithmic singularities (which can be decided), under the assumption that Schanuel's conjecture from number theory holds. That conjecture is not needed for systems that do not involve the constructions of sets and cycles.

The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.

The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is the trivial value $3n-6$. Let $C_{\ell}$ denote the cycle of length $\ell$ and $C_{\ell}\cup C_t$ denote the union of disjoint cycles $C_{\ell}$ and $C_t$. The planar Turán number $ex_{\mathcal{P}}(n,H)$ is known if $H=C_{\ell}\cup C_k$, where $\ell,k\in \{3,4\}$. In this paper, we determine the value $ex_{\mathcal{P}}(n,C_3\cup C_5)=\lfloor\frac{8n-13}{3}\rfloor$ and characterize the extremal graphs when $n$ is sufficiently large.

Complement-reducible graphs (or cographs) are the graphs formed from the single-vertex graph by the operations of complement and disjoint union. By combining the Johnson-Newman theorem on generalized cospectrality with the standard tools in the asymptotic enumeration of trees, we show that almost all cographs have a cospectral mate. This result can be viewed as an analogue to a well-known result by Schwenk, who proved that almost all trees have a cospectral mate.

A graph is said to be determined by its signless Laplacian spectrum (abbreviated as DQS) if no other non-isomorphic graph shares the same signless Laplacian spectrum. In this paper, we establish the following results: (1). Every graph of the form $K_1 \vee (C_s \cup qK_2)$, where $q \ge 0$, $s \ge 3$, and the number of vertices is at least $16$, is DQS; (2). Every graph of the form $K_1 \vee (C_{s_1} \cup C_{s_2} \cup \cdots \cup C_{s_t} \cup qK_2)$, where $t \ge 2$, $q \ge 0$, $s_i \ge 3$, and the number of vertices is at least $52$, is DQS. Here, $K_n$ and $C_n$ denote the complete graph and the cycle of order $n$, respectively, while $\cup$ and $\vee$ represent the disjoint union and the join of graphs. Moreover, the signless Laplacian spectrum of the graphs under consideration is computed explicitly.

We prove a coarse version of Halin's Grid Theorem: Every one-ended, locally finite graph that contains the disjoint union of infinitely many rays as an asymptotic minor also contains the half-grid as an asymptotic minor. More generally, we show that the same holds for arbitrary (not necessarily one-ended or locally finite) graphs under additional, necessary assumptions on the minor-models of the infinite rays. This resolves a conjecture of Georgakopoulos and Papasoglu. As an application, we show that every one-ended, quasi-transitive, locally finite graph contains the half-grid as an asymptotic minor and as a diverging minor. This in particular includes all locally finite Cayley graphs of one-ended finitely generated groups and solves a problem of Georgakopoulos and Papasoglu.

In a recent breakthrough, Zhang proves that if $G$ is an $H$-free graph with $m$ edges, then $G$ has a cut of size at least $m/2+c_Hm^{0.5001}$, making a significant step towards a well known conjecture of Alon, Bollobás, Krivelevich and Sudakov. We show that the methods of Zhang can be further boosted, and prove the following strengthening. If $G$ is a graph with $m$ edges and no clique of size $m^{1/2-δ}$, then $G$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\varepsilon(δ)>0$. In addition, we sharpen another result of Zhang by proving that if $G$ is an $n$-vertex $m$-edge graph with MaxCut of size at most $m/2+n^{1+\varepsilon}$ (or its smallest eigenvalue $λ_n$ satisfies $|λ_n|\leq n^{\varepsilon}$), then $G$ is $n^{-\varepsilon}$-close to the disjoint union of cliques for some absolute constant $\varepsilon>0$.

For any $ε> 0$, we show that if $G$ is a regular graph on $n \gg_ε1$ vertices that is $ε$-far (differs by at least $εn^2$ edges) from any Turán graph, then its second eigenvalue $λ_2$ satisfies $$λ_2 \geq n^{1/4 - ε}.$$ The exponent $1/4$ is optimal. Our result generalizes an analogous bound, independently obtained by Balla, Räty -- Sudakov-Tomon, and Ihringer, which only applies to graphs with density at most $\frac{1}{2}$. Up to a lower-order factor, this confirms a conjecture of Räty, Sudakov and Tomon. Our spectral approach has interesting applications to max-cut. First, we show that if a graph $G$, on $n \gg_ε1$ vertices and $m$ edges, is $ε$-far from a disjoint union of cliques, then it has a max-cut of size at least $$\frac{m}{2} + n^{1.01}.$$ Our result improves upon a classical result of Edwards by a non-trivial polynomial factor, making progress towards another conjecture of Räty, Sudakov and Tomon. As another application of our method, we show that if a graph $G$ is $H$-free and has $m$ edges, then $G$ has a max-cut of size at least $$\frac{m}{2} + c_H m^{0.5001}$$ where $c_H > 0$ is some constant depending on $H$ only. This result makes progress towards a conjecture of Alon, Bollobás, Krivelevich and Sudakov, and answers recent questions by Glock-Janzer-Sudakov and Balla-Janzer-Sudakov.

Abstract notions of convexity over the vertices of a graph, and corresponding notions of halfspaces, have recently gained attention from the machine learning community. In this work we study monophonic halfspaces, a notion of graph halfspaces defined through closure under induced paths. Our main result is a $2$-satisfiability based decomposition theorem, which allows one to represent monophonic halfspaces as a disjoint union of certain vertex subsets. Using this decomposition, we achieve efficient and (nearly) optimal algorithms for various learning problems, such as teaching, active, and online learning. Most notably, we obtain a polynomial-time algorithm for empirical risk minimization. Independently of the decomposition theorem, we obtain an efficient, stable, and proper sample compression scheme. This makes monophonic halfspaces efficiently learnable with proper learners and linear error rate $1/\varepsilon$ in the realizable PAC setting. Our results answer open questions from the literature, and show a stark contrast with geodesic halfspaces, for which most of the said learning problems are NP-hard.

We prove that for any circle graph $H$ with at least one edge and for any positive integer $k$, there exists an integer $t=t(k,H)$ so that every graph $G$ either has a vertex-minor isomorphic to the disjoint union of $k$ copies of $H$, or has a $t$-perturbation with no vertex-minor isomorphic to $H$. Using the same techniques, we also prove that for any planar multigraph $H$, every binary matroid either has a minor isomorphic to the cycle matroid of $kH$, or is a low-rank perturbation of a binary matroid with no minor isomorphic to the cycle matroid of $H$.