arXiv++ Combinatorics

In this work, we investigate the arbitrary intersection of real Bruhat cells. Such objects have attracted interest from various authors, particularly due to their appearance in different contexts: such as in Kazhdan-Lusztig theory and in the study of locally convex curves. We study the homotopy type of the intersection of two real Bruhat cells. This homotopy type is the same as that of an explicit submanifold of the group of real lower triangular matrices with diagonal entries equal to 1. For $(n+1)\times(n+1)$ matrices with $n\leq4$, these submanifolds are the disjoint union of contractible connected components. Our focus is on such intersections for $6\times6$ real matrices. For this, we study the connected components of Bruhat cells for permutations $σ\in\Sn_6$ with at most 12 inversions. We make use of the structure of the dual CW complexes associated with these components. We show that for permutations with at most 12 inversions, with the exception of $σ=[563412]$ , all connected components are contractible. Furthermore, for $σ=[563412]$, we identify new non-contractible connected components with the homotopy type of the circle.

A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked when all such tuples are 2-linked. We give a new and simple proof of the ``two paths theorem'', a characterisation of edge-maximal graphs which are not 2-linked as webs: particular near triangulations filled with cliques. Our proof works by generalising the theorem, replacing the four vertices above by an arbitrary tuple; it does not require major theorems such as Kuratowski's or Menger's theorems. Instead it follows an inductive characterisation of generalised webs via parallel composition, a graph operation consisting in taking a disjoint union before identifying some pairs of vertices. We use the insights provided by this proof to design a simple O(nm) recursive algorithm for the ``two vertex-disjoint paths'' problem. This algorithm is constructive in that it returns either two disjoint paths, or an embedding of the input graph into a web.

Let $σ$ be a simplicial triangulation of the 2-sphere, $X$ the associated integral 2-cycle. A filling of $X$ is an integral 3-chain $Y$ with $\partial Y = X$; a taut filling is one with minimal $L_1$-norm. We show that any taut filling arises from an extension of $σ$ to a shellable simplicial triangulation of the 3-ball. The key to the proof is the general fact that any taut filling of an $n$-cycle splits under disjoint union, connected sum, and more generally what we call almost disjoint union, where summands are supported on sets that overlap in at most $n+1$ vertices. Despite the generality of this result, we have nothing to say about optimal fillings of spheres of dimension 3 or higher.

Let $(X_1,d_1),\dots, (X_N,d_N)$ be metric spaces, where $d_i: X_i \times X_i \rightarrow [0,1]$ is a distance function for $i=1,\dots,N$. Let $\mathcal{X}$ denote the set theoretic product $X_1\times \cdots \times X_N$. Let $\mathcal{G} = \left(\mathcal{V},\mathcal{E}\right)$ be a directed graph with vertex set $\mathcal{V} =\{1,\dots, N\}$, and let $\mathcal{P} = \{p_{ij}\}$ be a collection of weights, where each $p_{ij}\in (0, 1]$ is associated with the edge $(i,j) \in \mathcal{E}$. We introduce the function $d_{\mathcal{X},\mathcal{G},\mathcal{P}}: \mathcal{X}\times \mathcal{X} \to [0,1]$ defined by \begin{align*} d_{\mathcal{X},\mathcal{G},\mathcal{P}}(\mathbf{g},\mathbf{h}) := \left(1 - \frac{1}{N}\sum_{j=1}^N \prod_{i=1}^N \left[1- d_i(g_i,h_i)\right]^{\frac{1}{p_{ji}}} \right), \end{align*} for all $\mathbf{g},\mathbf{h} \in \mathcal{X}$. In this paper we show that $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ defines a metric space over $\mathcal{X}$. Then we determine how this distance behaves under various graph operations, including disjoint unions and Cartesian products. We investigate two limiting cases: (a) when $d_{\mathcal{X},\mathcal{G},\mathcal{P}}$ is defined over a finite field, leading to a broad generalization of graph-based distances commonly studied in error-correcting code theory; and (b) when the metric is extended to graphons, enabling the measurement of distances in a continuous graph limit setting.

Let $G$ be a connected graph with $n$ vertices and $n+k-2$ edges and $tK_m$ denote the disjoint union of $t$ complete graphs $K_m$. In this paper, by developing a trichotomy for sparse graphs, we show that for given integers $m\ge 2$ and $t\ge 1$, there exists a positive constant $c$ such that if $1\le k\le cn^{\frac{2}{m-1}}$ and $n$ is large, then $G$ is $tK_m$-good, that is, the Ramsey number is \[ r(G, tK_m)=(n-1)(m-1)+t\,. \] In particular, the above equality holds for any positive integers $k$, $m$, and $t$, provided $n$ is large. The case $t=1$ was obtained by Burr, Erdős, Faudree, Rousseau, and Schelp (1980), and the case $k=1$ was established by Luo and Peng (2023).

Connections between structural graph theory and finite model theory recently gained a lot of attention. In this setting, many interesting questions remain on the properties of dependent (NIP) hereditary classes of graphs, in particular related to first-order transductions. In this paper, we study modelizations (which are strong forms of transduction pairings) of classes of graphs by classes of structures. In particular, we consider models obtained by coupling a partial order and a colored graph (thus forming a partially ordered colored graph). Motivated by Simon's decomposition theorem of dependent types into a stable part and a distal (order-like) part, we conjecture that every dependent hereditary class of graphs admits a modelization in a monadically dependent coupling of a class of posets with bounded treewidth cover graphs and a monadically stable class of colored graphs. In this paper, we consider the first non-trivial case (classes with bounded linear cliquewidth) and prove that the conjecture holds in a strong form, the model class being a monadically dependent coupling of a class of disjoint unions of chains and a class of colored graphs with bounded pathwidth. We extend our study to classes that admit bounded-size bounded linear cliquewidth decompositions and prove that they have a modelization in a monadically dependent coupling of a class of disjoint unions of chains and a class of colored graphs with bounded expansion, the model class also admitting bounded-size bounded linear cliquewidth decompositions.

Let $T$ be a forest. We study polynomially high-chromatic pure pairs in graphs with no $T$ as an induced subgraph ($T$-free graphs in other words), with applications to the polynomial Gyárfás-Sumner conjecture. In addition to reproving several known results in the literature, we deduce: $\bullet$ If $T=P_5$ is the five-vertex path, then every $T$-free graph $G$ with clique number $w\ge2$ contains a complete pair $(A,B)$ of induced subgraphs with $χ(A)\ge w^{-d}χ(G)$ and $χ(B)\ge 2^{-d}χ(G)$, for some universal $d\ge1$. The proof uses the recent Erdős-Hajnal result for $P_5$-free graphs. Via the classical Gyárfás path argument, such a ``polynomial versus linear high-$χ$ complete pairs'' result can be viewed as further supporting evidence for the polynomial Gyárfás-Sumner conjecture for $P_5$. In particular, it implies \[χ(G)\le w^{O(\log w/\log\log w)}\] which asymptotically improves the bound $χ(G)\le w^{\log w}$ of Scott, Seymour, and Spirkl. $\bullet$ If $T$ and a broom satisfy the polynomial Gyárfás-Sumner conjecture, then so does their disjoint union. Unifying earlier results of Chudnovsky, Scott, Seymour, and Spirkl, and of Scott, Seymour, and Spirkl, this gives new instances of $T$ for which the conjecture holds.

Functional digraphs are unlabelled finite digraphs where each vertex has exactly one out-neighbor. They are isomorphic classes of finite discrete-time dynamical systems. Endowed with the direct sum and product, functional digraphs form a semiring with an interesting multiplicative structure. For instance, we do not know if the following division problem can be solved in polynomial time: given two functional digraphs $A$ and $B$, does $A$ divide $B$? That $A$ divides $B$ means that there exists a functional digraph $X$ such that $AX$ is isomorphic to $B$, and many such $X$ can exist. We can thus ask for the number of solutions $X$. In this paper, we focus on the case where $B$ is a sum of cycles (a disjoint union of cycles, corresponding to the limit behavior of finite discrete-time dynamical systems). There is then a naïve sub-exponential algorithm to compute the non-isomorphic solutions $X$, and our main result is an improvement of this algorithm which has the property to be polynomial when $A$ is fixed. It uses a divide-and-conquer technique that should be useful for further developments on the division problem.

We study the symmetric functions \( g_{\mm,k}(x;q) \), introduced by Abreu and Nigro for a Hessenberg function \( \mm \) and a positive integer \( k \), which refine the chromatic symmetric function. Building on Hikita's recent breakthrough on the Stanley--Stembridge conjecture, we prove the \( e \)-positivity of \( g_{\mm,k}(x;1) \), refining Hikita's result. We also provide a Schur expansion of the sum \( \sum_{k=1}^n e_k(x) g_{\mm,n-k}(x;q) \) in terms of \( P \)-tableaux with 1 in the upper-left corner. We introduce a restricted version of the modular law as our main tool. Then, we show that any function satisfying the restricted modular law is determined by its values on disjoint unions of path graphs.

In 1973, Chvátal conjectured that there exists a constant $t_0$ such that every $t_0$-tough graph on at least three vertices is Hamiltonian. This conjecture has inspired extensive research and has been verified for several special classes of graphs. Notably, Jung in 1978 proved that every 1-tough $P_4$-free graph on at least three vertices is Hamiltonian. However, the problem remains challenging even when restricted to graphs with no induced $P_4\cup P_1$, the disjoint union of a path on four vertices and a one-vertex path. In 2013, Nikoghosyan conjectured that every 1-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian. Later in 2015, Broersma remarked that ``this question seems to be very hard to answer, even if we impose a higher toughness." He instead posed the following question: ``Is the general conjecture of Chvátal's true for $(P_4\cup P_1)$-free graphs?" We provide a positive answer to Broersma's question by establishing that every $23$-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian.

In the Avoider-Enforcer convention of positional games, two players, Avoider and Enforcer, take turns selecting vertices from a hypergraph H. Enforcer wins if, by the time all vertices of H have been selected, Avoider has completely filled an edge of H with her vertices; otherwise, Avoider wins. In this paper, we first give some general results, in particular regarding the outcome of the game and disjoint unions of hypergraphs. We then determine which player has a winning strategy for all hypergraphs of rank 2, and for linear hypergraphs of rank 3 when Avoider plays the last move. The structural characterisations we obtain yield polynomial-time algorithms.

A graph is determined by its signless Laplacian spectrum if there is no other non-isomorphic graph sharing the same signless Laplacian spectrum. Let $C_l$, $P_l$, $K_l$ and $K_{s,l-s}$ be the cycle, the path, the complete graph and the complete bipartite graph with $l$ vertices, respectively. We prove that $$G\cong K_1\vee (C_{l_1}\cup C_{l_2}\cup\cdots \cup C_{l_t}\cup sK_1),$$ with $s\ge 0, t\ge 1, n\geq 22$, is determined by the signless Laplacian spectrum if and only if either $s=0$ or $s\ge 1$ and $l_i\ne 3$ holds for all $1\leq i\leq t$, where $n$ is the order of $G$, and $\cup$ and $\vee$ stand for the disjoint union and the join of two graphs, respectively. Moreover, for $s\ge 1$ and $l_t=3$, $K_1\vee (K_{1,3}\cup C_{l_1}\cup C_{l_2}\cup\cdots \cup C_{l_{t-1}}\cup (s-1)K_1)$ is fixed as a graph sharing the signless Laplacian spectrum with $G$. This contribution extends some recently published results.

For a graph on $m$ edges, a bijective function between the edge set of the graph and $\{1,2,\ldots,m\}$ is an antimagic labeling provided that when adding the labels of the edges incident to the same vertex, the sums are pairwise distinct. Hartsfield and Ringel conjectured that every connected graph has antimagic labeling. On the other hand, it is known that for any graph $G$, the disjoint union of $G$ and many $P_3$, a path on 3 vertices, is not antimagic. In this paper, we determined the exact number of $P_3$'s such that the disjoint union of a double star with the number of $P_3$'s is antimagic. In addition, we provide some examples of $(1,1)$-antimagic labelings. That is, the antimagic labelings have vertex sums 1 through the number of vertices of the graphs.

The problem of determining the maximum number of copies of $T$ in an $H$-free graph, for any graphs $T$ and $H$, was considered by Alon and Shikhelman. This is a variant of Turán's classical extremal problem. We show lower and upper bounds for the maximum number of $s$-cliques in a graph with no disjoint copies of arbitrary graph. We also determine the maximum number of $s$-cliques in an $n$-vertex graph that does not contain a disjoint union of $k$ paths of length two when $k=2,3$, or $s\geqslant k+2$, or $n$ is sufficiently large, this partly confirms a conjecture posed by Chen, Yang, Yuan, and Zhang \cite{2024Chen113974}.

For a graph $F$, let ${\rm EX}(n,F)$ be the set of $F$-free graphs of order $n$ with the maximum number of edges. The graph $F$ is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3. For $h\geq2$, let $F_{1},F_{2},...,F_{h}$ be vertex-critical graphs with the same chromatic number. Let $\cup_{1\leq i\leq h}F_{i}$ be the disjoint union of them. In this paper, we characterize the graphs in ${\rm EX}(n,\cup_{1\leq i\leq h}F_{i})$, when there is a proper order among the graphs $F_{1},F_{2},...,F_{h}$. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora \cite{XZ}.

In 2010, Brešar, Klavžar and Rall introduced the optimization variant of the graph domination game and the game domination number, which was proved PSPACE-hard by Brešar et al. in 2016. In 2024, Leo Versteegen obtained the celebrated proof of the Conjecture $\frac{3}{5}$ on this variant of the domination game, proposed by Kinnersley, West and Zamani in 2013. In this paper, we investigate for the first time the normal play of the domination game, which we call Normal Domination Game, that is an impartial game where the last to play wins. We first prove that this game is PSPACE-complete even in graphs with diameter two. We also use the Sprague-Grundy theory to prove that Alice (the first player) wins in the path $P_n$ if and only if $n$ is not a multiple of $4$, and wins in the cycle $C_n$ if and only if $n=4k+3$ for some integer $k$. Moreover, we obtain a polynomial time algorithm to decide the winner for any disjoint union of paths and cycles in the Normal Domination Game and its natural partizan variant. Finally, we also prove that the Misère Domination Game (the last to play loses) is PSPACE-complete, as are the natural partizan variants of the normal game and the misère game.

We study some combinatorial statistics defined on the set $NC^{(mton)}(n)$ of monotonically ordered non-crossing partitions of {1,...,n}, and on the set $NC_2^{(mton)}(2n)$ of monotonically ordered non-crossing pair-partitions of {1,...,2n}. Unlike in the analogous results known for unordered non-crossing partitions, the computations of expectations and variances for natural block-counting statistics on $NC^{(mton)}(n)$ and for the expectation of the area statistic on $NC_2^{(mton)}(2n)$ turn out to yield a logarithmic regime. An important role in our study is played by a nice tree structure on the disjoint union of the $NC^{(mton)}(n)$'s, which we use to streamline our arguments. As an illustration of how these ideas can be applied to calculations of cumulants in monotone probability, we discuss some combinatorial aspects of the monotonic Poisson process.

The graph parameter shrub-depth is a dense analog of tree-depth. We characterize classes of bounded shrub-depth by forbidden induced subgraphs. The obstructions are well-controlled flips of large half-graphs and of disjoint unions of many long paths. Applying this characterization, we show that on every hereditary class of unbounded shrub-depth, MSO is more expressive than FO. This confirms a conjecture of [Gajarský and Hliněný; LMCS 2015] who proved that on classes of bounded shrub-depth FO and MSO have the same expressive power. Combined, the two results fully characterize the hereditary classes on which FO and MSO coincide, answering an open question by [Elberfeld, Grohe, and Tantau; LICS 2012]. Our work is inspired by the notion of stability from model theory. A graph class C is MSO-stable, if no MSO-formula can define arbitrarily long linear orders in graphs from C. We show that a hereditary graph class is MSO-stable if and only if it has bounded shrub-depth. As a key ingredient, we prove that every hereditary class of unbounded shrub-depth FO-interprets the class of all paths. This improves upon a result of [Ossona de Mendez, Pilipczuk, and Siebertz; Eur. J. Comb. 2025] who showed the same statement for FO-transductions instead of FO-interpretations.

A separated $d$-interval is defined as a disjoint union of $d$ convex sets from the real line $\mathbb R$. In this paper, we establish a series of Helly-type theorems for convexity spaces derived from separated $d$-intervals. Our results encompass the Radon number, Helly number, colorful Helly number, fractional Helly number, colorful fractional Helly theorem, $(p,q)$ theorem, and two kinds of colorful $(p,q)$ theorems for these convexity spaces. The primary tools employed in our proofs involve simplicial complexes and collapsibility.

One of the fundamental results in graph minor theory is that for every planar graph~$H$, there is a minimum integer~$f(H)$ such that graphs with no minor isomorphic to~$H$ have treewidth at most~$f(H)$. The best known bound for an arbitrary planar $H$ is ${O(|V(H)|^9\operatorname{poly~log} |V(H)|)}$. We show that if $H$ is the disjoint union of cycles, then $f(H)$ is $O(|V(H)|\log^2 |V(H)|)$, which is a $\log|V(H)|$ factor away being optimal.