arXiv++ Combinatorics

An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk (the anchor of the curve). Additionally, if each two curves are allowed to cross at most once, we call this an \emph{outer-$1$-string representation} of $G$. If we impose a cyclic ordering on the vertices of $G$ and require the cyclic order of the anchors to respect this cyclic order, such a representation is called a \emph{constrained outer-string representation}. In this paper, we present two results about graphs admitting outer-string representations. Firstly, we show that for a bipartite graph $G$ (and, more generally, for any $\{C_3,C_5\}$-free graph $G$) with a given cyclic order of vertices, we can decide in polynomial time whether $G$ admits a constrained outer-string representation. Our algorithm follows from a characterization by a single forbidden configuration, similar to that of Biedl et al. [GD 2024] for chordal graphs. Secondly, we answer an open question from the same authors and show that determining whether a given graph admits an outer-1-string representation is NP-hard. More generally, we show that it is NP-hard to determine if a given graph $G$ admits an outer-$k$-string representation for any fixed $k\ge1$.

A hereditary graph class is called polynomially $χ$-bounded if there exists a polynomial function $f$ such that $χ(G) \le f(ω(G))$ for every induced subgraph $G$. A class $\mathcal{C}$ is called Pollyanna if, for every $χ$-bounded class $\mathcal{F}$, the class $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded. In the paper by Chudnovsky et al., \emph{Reuniting $χ$-boundedness with polynomial $χ$-boundedness} (J.\ Combin.\ Theory Ser.\ B 176 (2026), 30--73), the authors posed twelve problems and one conjecture concerning the Pollyanna framework. In this work, we investigate several of these problems by studying the chromatic number of hereditary graph classes defined by forbidden induced subgraphs. We prove three new strong Pollyanna results. In particular, for every $t \ge 2$, every $\{\text{diamond}, \mathrm{hammer}(t)^+\}$-free graph is $t$-strongly Pollyanna. We also show that graph classes obtained by forbidding suitable combinations of bowties and dumbbells are $(2t-2)$-strongly Pollyanna. We show that the class of $\{(2,2)$-bowtie, $P_5$, $(3,3)$-dumbbell$\}$-free graphs is polynomially $χ$-bounded. We also prove polynomial $χ$-boundedness for diamond-free graphs in which every edge lies in at least two triangles, under additional forbidden configurations.

Let $F$ be a $k\times \ell$ (0,1)-matrix. A matrix is simple if it is a (0,1)-matrix with no repeated columns. A (0,1)-matrix $A$ is said to have a $F$ as a configuration if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a trace. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. The $2\times (p+1)$ (0,1)-matrix $F(0,p,1,0)$ consists of a row of $p$ 1's and a row of one 1 in the remaining column. The paper determines $\mathrm{forb}(m,F(0,p,1,0))$ for $1\le p\le 9$ and the extremal matrices are characterized. A construction may be extremal for all $p$.

Let $F$ be a $k\times \ell$ (0,1)-matrix. Define a (0,1)-matrix $A$ to have a $F$ as a \emph{configuration} if there is a submatrix of $A$ which is a row and column permutation of $F$. In the language of sets, a configuration is a \emph{trace}. Define a matrix to be {\it simple} if it is a (0,1)-matrix with no repeated columns. Let $\mathrm{Avoid}(m,F)$ be all simple $m$-rowed matrices $A$ with no configuration $F$. Define $\mathrm{forb}(m,F)$ as the maximum number of columns of any matrix in $\mathrm{Avoid}(m,F)$. Determining $\mathrm{forb}(m,F)$ requires determining bounds and constructions of matrices in $\mathrm{Avoid}(m,F)$. The paper considers some column maximal $k$-rowed simple $F$ that have the bound $Θ(m^{k-2})$ and yet adding a column increases bound to $Ω(m^{k-1})$. By a construction, $\mathrm{forb(m,F)}$ is determined exactly.

The codegree squared sum ${\rm co}_2(\cal F)$ of a family (hypergraph) $\cal F \subseteq \binom{[n]} k$ is defined to be the sum of codegrees squared $d(E)^2$ over all $E\in \binom{[n]}{k-1}$, where $d(E)=|\{F\in \cal F: E\subseteq F\}|$. Given a family of $k$-uniform families $\mathscr H$, Balogh, Clemen and Lidický recently introduced the problem to determine the maximum codegree squared sum ${\rm co}_2(\cal F)$ over all $\mathscr H$-free $\cal F$. In the present paper, we consider the families which has as forbidden configurations all pairs of sets with intersection sizes less than $t$, that is, the well-known $t$-intersecting families. We prove the following Erdős--Ko--Rado Theorem in $\ell_2$-norm, which confirms a conjecture of Brooks and Linz. Let $t,k,n$ be positive integers such that $t\leq k\leq n$. If a family $\mathcal F\subseteq \binom{[n]}{k}$ is $t$-intersecting, then for $n\ge (t+1)(k-t+1)$, we have \[{\rm co}_2(\cal F)\le {\binom{n-t}{k-t}}(t+(n-k+1)(k-t)),\] equality holds if and only if $\mathcal{F}=\{F\in {\binom{[n]}{k}}: T\subset F\}$ for some $t$-subset $T$ of $[n]$. In addition, we prove a Frankl--Hilton--Milner Theorem in $\ell_2$-norm for $t\ge 2$, and a generalized Turán result, i.e., we determine the maximum number of copies of tight path of length 2 in $t$-intersecting families.

2-quasi best match graphs (2-qBMGs) are directed graphs that capture a notion of close relatedness in phylogenetics. Here, we investigate the undirected underlying graph of a 2-qBMG (un-2qBMG) and show that they contain neither a path $P_l$ nor a cycle $C_l$ of length $l\geq 6$ as an induced subgraph. This property guarantees the existence of specific vertex decompositions with dominating bicliques that provide further insights into their structure.

It is conjectured by Chen and Raspaud that for each integer $k \ge 2$, any graph $G$ with \[ \mathrm{mad}(G) < \frac{2k+1}{k} \quad\text{and}\quad \mathrm{odd\text{-}girth}(G) \ge 2k+1 \] admits a homomorphism into the Kneser graph $K(2k+1,k)$. The base cases $k=2$ and $k=3$ are known from earlier work. A modular inductive proof is provided here, in which graphs at level $k+1$ are classified into four structural classes and are shown to admit no minimal counterexamples by means of forbidden configuration elimination, a discharging argument, path-collapsing techniques, and a combinatorial embedding of smaller Kneser graphs into larger ones. This argument completes the induction for all $k \ge 2$, thus settling the Chen-Raspaud conjecture in full generality.

Stability is a well investigated concept in extremal combinatorics. The main idea is that if some object is close in size to an extremal object, then it retains the structure of the extremal construction. In the present paper we study stability in the context of forbidden configurations. $(0,1)$-matrix $F$ is a configuration in a $(0,1)$-matrix $A$ if $F$ is a row and columns permutation of a submatrix of $A$. $\mathrm{Avoid}(m,F)$ denotes the set of $m$-rowed $(0,1)$-matrices with pairwise distinct columns without configuration $F$, $\mathrm{forb}(m,F)$ is the largest number of columns of a matrix in $\mathrm{Avoid}(m,F)$, while $\mathrm{ext}(m,F)$ is the set of matrices in $\mathrm{Avoid}(m,F)$ of size $\mathrm{forb}(m,F)$. We show cases (i) when each element of $\mathrm{Avoid}(m,F)$ have the structure of element(s) in $\mathrm{ext}(m,F)$, (ii) $\mathrm{forb}(m,F)=Θ(m^2)$ and the size of $A\in \mathrm{Avoid}(m,F)$ deviates from $\mathrm{forb}(m,F)$ by a linear amount, or (iii) $\mathrm{forb}(m,F)=Θ(m)$ and the size of $A$ is smaller by a constant, then the structure of $A$ is same as the structure of a matrix in $\mathrm{ext}(m,F)$.

The celebrated Szemerédi--Trotter theorem states that the maximum number of incidences between $n$ points and $n$ lines in the plane is $O(n^{4/3})$, which is asymptotically tight. Solymosi (2005) conjectured that for any set of points $P_0$ and for any set of lines $\mathcal{L}_0$ in the plane, the maximum number of incidences between $n$ points and $n$ lines in the plane whose incidence graph does not contain the incidence graph of $(P_0,\mathcal{L}_0)$ is $o(n^{4/3})$. This conjecture is mentioned in the book of Brass, Moser, and Pach (2005). Even a stronger conjecture, which states that the bound can be improved to $O(n^{4/3-\varepsilon})$ for some $\varepsilon = \varepsilon(P_0,\mathcal{L}_0)>0$, was introduced by Mirzaei and Suk (2021). We disprove both of these conjectures. We also introduce a new approach for proving the upper bound $O(n^{4/3-\varepsilon})$ on the number of incidences for configurations $(P,\mathcal{L})$ that avoid certain subconfigurations.

Constant weight codes (CWCs) and constant composition codes (CCCs) are two important classes of codes that have been studied extensively in both combinatorics and coding theory for nearly sixty years. In this paper we show that for {\it all} fixed odd distances, there exist near-optimal CWCs and CCCs asymptotically achieving the classic Johnson-type upper bounds. Let $A_q(n,w,d)$ denote the maximum size of $q$-ary CWCs of length $n$ with constant weight $w$ and minimum distance $d$. One of our main results shows that for {\it all} fixed $q,w$ and odd $d$, one has $\lim_{n\rightarrow\infty}\frac{A_q(n,d,w)}{\binom{n}{t}}=\frac{(q-1)^t}{\binom{w}{t}}$, where $t=\frac{2w-d+1}{2}$. This implies the existence of near-optimal generalized Steiner systems originally introduced by Etzion, and can be viewed as a counterpart of a celebrated result of Rödl on the existence of near-optimal Steiner systems. Note that prior to our work, very little is known about $A_q(n,w,d)$ for $q\ge 3$. A similar result is proved for the maximum size of CCCs. We provide different proofs for our two main results, based on two strengthenings of the well-known Frankl-Rödl-Pippenger theorem on the existence of near-optimal matchings in hypergraphs: the first proof follows by Kahn's linear programming variation of the above theorem, and the second follows by the recent independent work of Delcour-Postle, and Glock-Joos-Kim-Kühn-Lichev on the existence of near-optimal matchings avoiding certain forbidden configurations. We also present several intriguing open questions for future research.

Binary clustering systems are closely related to monotone transit functions. An interesting class are pyramidal transit functions defined by the fact that their transit sets form an interval hypergraph. We investigate here properties of transit function $R$, such as union-closure, that are sufficient to ensure that $R$ is at least weakly pyramidal. Necessary conditions for pyramidal transit functions are derived from the five forbidden configurations in Tucker's characterization of interval hypergraphs. The first corresponds to $β$-acyclicity, also known as total balancedness, for which we obtain three alternative characterizations. For monotonous transit functions, the last forbidden configuration becomes redundant, leaving us with characterization of pyramidal transit functions in terms of four additional conditions.

The NP-complete graph problem Cluster Editing seeks to transform a static graph into a disjoint union of cliques by making the fewest possible edits to the edges. We introduce a natural interpretation of this problem in temporal graphs, whose edge sets change over time. This problem is NP-complete even when restricted to temporal graphs whose underlying graph is a path, but we obtain two polynomial-time algorithms for restricted cases. In the static setting, it is well-known that a graph is a disjoint union of cliques if and only if it contains no induced copy of $P_3$; we demonstrate that no general characterisation involving sets of at most four vertices can exist in the temporal setting, but obtain a complete characterisation involving forbidden configurations on at most five vertices. This characterisation gives rise to an FPT algorithm parameterised simultaneously by the permitted number of modifications and the lifetime of the temporal graph.

A $(d,h)$-decomposition of a graph $G$ is an ordered pair $(D, H)$ such that $H$ is a subgraph of $G$ of maximum degree at most $h$ and $D$ is an acyclic orientation of $G-E(H)$ with maximum out-degree at most $d$. In this paper, we prove that for $l \in \{5, 6, 7, 8, 9\}$, every planar graph without $4$- and $l$-cycles is $(2,1)$-decomposable. As a consequence, for every planar graph $G$ without $4$- and $l$-cycles, there exists a matching $M$, such that $G - M$ is $3$-DP-colorable and has Alon-Tarsi number at most $3$. In particular, $G$ is $1$-defective $3$-DP-colorable, $1$-defective $3$-paintable and 1-defective 3-choosable. These strengthen the results in [Discrete Appl. Math. 157~(2) (2009) 433--436] and [Discrete Math. 343 (2020) 111797].

One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erdős, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as induced subgraphs by Prömel and Steger. Here, we consider one of the most basic counting problems for $3$-graphs. Let $E_1$ be the $3$-graph with $4$ vertices and $1$ edge. What is the number of induced $\{K_4^3,E_1\}$-free $3$-graphs on $n$ vertices? We show that the number of such $3$-graphs is of order $n^{Θ(n^2)}$. More generally, we determine asymptotically the number of induced $\mathcal{F}$-free $3$-graphs on $n$ vertices for all families $\mathcal{F}$ of $3$-graphs on $4$ vertices. We also provide upper bounds on the number of $r$-graphs on $n$ vertices which do not induce $i \in L$ edges on any set of $k$ vertices, where $L \subseteq \big \{0,1,\ldots,\binom{k}{r} \big\}$ is a list which does not contain $3$ consecutive integers in its complement. Our bounds are best possible up to a constant multiplicative factor in the exponent when $k = r+1$. The main tool behind our proof is counting the solutions of a constraint satisfaction problem.

We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers.

A spanning subgraph of a graph $G$ is called a perfect star packing in $G$ if every component of the spanning subgraph is isomorphic to the star graph $K_{1,3}$. An efficient dominating set of graph $G$ is a vertex subset $D$ of $G$ such that each vertex of $G$ not in $D$ is adjacent to exactly one vertex from $D$ and any two vertices of $D$ are not adjacent in $G$. Fullerene graph is a connected plane cubic graph with only pentagonal and hexagonal faces, which is the molecular graph of carbon fullerene. Clearly, a perfect star packing in a fullerene graph $G$ on $n$ vertices will exist if and only if $G$ has an efficient dominating set of cardinality $\frac{n}{4}$. The problem of finding an efficient dominating set is algorithmically hard \cite{Alg_hard}. In this paper, we give a characterization for a fullerene graph to own a perfect star packing. And mainly show that it is necessary for a fullerene $G$ owning a perfect star packing to have order being divisible by $8$. This answers an open problem asked by Doslić et. al. and also shows that a fullerene graph with an efficient dominating set has $8n$ vertices. By the way, we find some counterexamples for the necessity of Theorem $14$ in \cite{Doslic} and list some forbidden configurations to preclude the existence of a perfect star packing of type $P0$.

Given finite configurations $P_1, \dots, P_n \subset \mathbb{R}^d$, let us denote by $\mathbf{m}_{\mathbb{R}^d}(P_1, \dots, P_n)$ the maximum density a set $A \subseteq \mathbb{R}^d$ can have without containing congruent copies of any $P_i$. We will initiate the study of this geometrical parameter, called the independence density of the considered configurations, and give several results we believe are interesting. For instance we show that, under suitable size and non-degeneracy conditions, $\mathbf{m}_{\mathbb{R}^d}(t_1 P_1, t_2 P_2, \dots, t_n P_n)$ progressively `untangles' and tends to $\prod_{i=1}^n \mathbf{m}_{\mathbb{R}^d}(P_i)$ as the ratios $t_{i+1}/t_i$ between consecutive dilation parameters grow large; this shows an exponential decay on the density when forbidding multiple dilates of a given configuration, and gives a common generalization of theorems by Bourgain and by Bukh in geometric Ramsey theory. We also consider the analogous parameter $\mathbf{m}_{S^d}(P_1, \dots, P_n)$ on the more complicated framework of sets on the unit sphere $S^d$, obtaining the corresponding results in this setting.

In the usual aim of discrete tomography, the reconstruction of an unknown discrete set is considered, by means of projection data collected along a set $U$ of discrete directions. Possible ambiguous reconstructions can arise if and only if switching components occur, namely, if and only if non-empty images exist having null projections along all the directions in $U$. In order to lower the number of allowed reconstructions, one tries to incorporate possible extra geometric constraints in the tomographic problem. In particular, the class $\mathbb{P}$ of horizontally and vertically convex connected sets (briefly, $hv$-convex polyominoes) has been largely considered. In this paper we introduce the class of $hv$-convex switching components, and prove some preliminary results on their geometric structure. The class includes all switching components arising when the tomographic problem is considered in $\mathbb{P}$, which highly motivates the investigation of such configurations. It turns out that the considered class can be partitioned in two disjointed subclasses of closed patterns, called windows and curls, respectively. It follows that all windows have a unique representation, while curls consist of interlaced sequences of sub-patterns, called $Z$-paths, which leads to the problem of understanding the combinatorial structure of such sequences. We provide explicit constructions of families of curls associated to some special sequences, and also give additional details on further allowed or forbidden configurations by means of a number of illustrative examples.

The forbidden number $\mathrm{forb}(m,F)$, which denotes the maximum number of unique columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\dots,r-1\}$. The combinatorics of the generalized forbidden number is less well-studied. In this paper, we provide exact bounds for many $(0,1)$-matrices $F$, including all $2$-rowed matrices when $r > 3$. We also prove a stability result for the $2\times 2$ identity matrix. Along the way, we expose some interesting qualitative differences between the cases $r=2$, $r = 3$, and $r > 3$.

In an effort to find more examples of amalgamation classes whose almost sure theories are the same as their generic theories as well as amalgamation classes whose almost sure theories are different from their generic theories, we address our attention to two new cases: the bipartite diameter 3 metrically homogeneous graphs of generic type. These graphs were identified by Cherlin, and are determined by certain forbidden configurations. In this paper, we explicitly identify and enumerate their ages, for which we then establish both unlabeled and labeled 0-1 laws. Finally, we show that for one of these bipartite graphs the almost sure theory matches its generic theory, and for the other bipartite graph it does not.