arXiv++ Combinatorics

In 2007, Ando and Egawa proved a theorem which provides a lower bound on the number of contractible edges preserving $4$-connectedness in $4$-connected graphs. In this paper, we refine their bounds, especially for the $4$-connected plane triangulations. In particular, we show that if $G$ is a $4$-connected plane triangulation of order at least $7$, then $G$ contains at least $|V_{\ge 5}|+2$ contractible edges preserving $4$-connectedness, where $V_{\ge 5}$ is the set of vertices of degree at least $5$. We also determine the extremal graphs.

As part of the graph minor project, Robertson and Seymour showed in 1990 that the class of graphs that can be embedded in a given surface can be characterized by a finite set of minimal excluded minors. However, their proof, because existential, provides no explicit information about these excluded minors. In 1993, Seymour established the first upper bound on the order of such minimal excluded minors. Very recently, Houdaigoui and Kawarabayashi improved this result by deriving a quasi-polynomial upper bound. Despite this progress, the gap between this bound and the known linear lower bound $Ω(g)$ (where $g$ denotes the genus) remains substantial. In particular, they conjectured that a polynomial upper bound should hold. In this paper, we confirm this conjecture by showing that the order of the minimal excluded minors for a surface of genus $g$ is $O(g^{8+\varepsilon})$ for every $\varepsilon >0$. This result significantly narrows the gap between the known lower and upper bounds, bringing the asymptotic behavior much closer to the conjectured optimum. Our approach introduces a new forbidden structure of minimal excluded minors. Let $G$ be a minimal excluded minor for a surface of Euler genus $g$. Houdaigoui and Kawarabayashi showed that $G$ contains $O(\log g)$ pairwise disjoint cycles that are contractible and nested in some embedding of $G$. We strengthen this result by proving a separator-based variant: for any contractible subgraph $H \subseteq G$ with a separator of size $s$ (with $H$ completely contained in one side), the subgraph $H$ contains $O(\log s)$ disjoint cycles that are contractible and nested in some embedding of $G$. This allows us to replace a genus-dependent bound with a separator-dependent one, which is the main new ingredient in deriving our polynomial bound.

For a $k$-uniform hypergraph $F$ and positive integers $s$ and $N$, the generalized Erdős-Rogers function $f^{(k)}_{F,s}(N)$ denotes the largest integer $m$ such that every $K_s^{(k)}$-free $k$-graph on $N$ vertices contains an $F$-free induced subgraph on $m$ vertices. In particular, if $F = K^{(k)}_t$, then we write $f^{(k)}_{t,s}(N)$ for $f^{(k)}_{F,s}(N)$. Mubayi and Suk (\emph{J. London. Math. Soc. 2018}) conjectured that $f^{(4)}_{5,6}(N)=(\log \log N)^{Θ(1)}$. Motivated by this conjecture, we prove that $f^{(4)}_{5^{-},6}(N)=(\log\log N)^{Θ(1)}$, where $5^{-}$ denotes the $4$-graph obtained from $K_5^{(4)}$ by deleting one edge. Our proof combines a probabilistic construction of a $2$-coloring of pairs with a stepping-up construction and an analysis of multi-layer local extremum structures. Furthermore, we derive an upper bound for a more general Erdős-Rogers function, which implies the lower bound $r_4(6,n)\ge 2^{2^{cn^{1/2}}}$. By applying a variant of the Erdős-Hajnal stepping-up lemma due to Mubayi and Suk, we also slightly improve the lower bound for $r_k(k+2,n)$.

Answering a question of Leo Versteegen, we prove that for $n\ge 3$ every sum-free set $A\subseteq\mathbb{F}_5^n$ with $|A|\ge 28\cdot 5^{n-3}$ is either contained in the union of two parallel hyperplanes, or isomorphic to $Λ\times \mathbb{F}_5^{n-3}$, where $Λ\subseteq \mathbb{F}_5^3$ denotes a certain sum-free set of size $28$ discovered by Vsevolod Lev and Leo Versteegen.

We consider the problem of wrapping three-dimensional solid bodies with a given planar sheet of paper, where the paper may be folded or wrinkled but not stretched or torn. We propose a conjecture characterising the maximumvolume solid wrappable by any given sheet: the maximum is always achieved (or approached) by a non-convex body. In other words, for any convex solid wrappable by a given sheet, there exists a non-convex solid of strictly greater volume that the same sheet can wrap. We discuss related work, a key subquestion involving the sphere, and several further directions.

Sample compression schemes were defined by Littlestone and Warmuth (1986) as an abstraction of the structure underlying many learning algorithms. In a sample compression scheme, we are given a large sample of vertices of a fixed hypergraph with labels indicating the containment in some hyperedge. The task is to compress the sample in such a way that we can retrieve the labels of the original sample. The size of a sample compression scheme is the amount of information that is kept in the compression. Every hypergraph with a sample compression scheme of bounded size must have bounded VC-dimension. Conversely, Moran and Yehudayoff (J. ACM, 2016) showed that every hypergraph of bounded VC-dimension admits a sample compression scheme of bounded size. We study a specific class of hypergraphs emerging from balls in graphs. The schemes that we construct (contrary to the ones constructed by Moran and Yehudayoff) are \textit{proper}, meaning that we retrieve not only the labeling of the original sample but also a hyperedge (ball) consistent with the original labeling. First, we prove that for every graph $G$ of treewidth at most $t$, the hypergraph of balls in $G$ has a proper sample compression scheme of size $\mathcal{O}(t\log t)$; this is tight up to the logarithmic factor and improves the quadratic (improper) bound that follows from the result of Moran and Yehudayoff. Second, we prove an analogous result for graphs of cliquewidth at most $t$.

We initiate a probabilistic study of forward stability for products of Schubert polynomials through the record statistic (left-to-right maxima) of permutations. Building on the explicit record formula for forward stability obtained by Hardt and Wallach, we study random pairs of permutations drawn from three natural families: uniform permutations, Grassmannian permutations, and Boolean permutations. For each family, we determine record probabilities and use them to analyze the asymptotic behavior of forward stability. For uniform and Grassmannian permutations, we obtain asymptotics for the mean together with limiting distribution results. For Boolean permutations, we prove linear-order growth of the mean, and our analysis also produces an explicit time-inhomogeneous Markov chain that yields an exact linear-time uniform sampler. Beyond these cases, we prove that the record-set statistic is equidistributed on the avoidance classes of $132$ and $231$, and consequently the corresponding forward stability distributions coincide. We conclude with conjectures for numerous further permutation classes and a conjectural recursive criterion for when two avoidance classes have the same record-set distribution.

We compute the automorphism group of the dual complex $\mathsf{T}_{d, n}$ of the boundary divisor in the Kontsevich moduli space $\overline{\mathcal{M}}_{0, n}(\mathbb{P}^r, d)$. When $d \geq 2$, we find that $\mathrm{Aut}(\mathsf{T}_{d, n}) \cong \mathbb{S}_{n}$, while $\mathrm{Aut}(\mathsf{T}_{1, n}) \cong \mathbb{S}_{n + 1}$ for all $n \geq 4$. The complex $\mathsf{T}_{1, n}$ is also the dual complex of the boundary divisor in the Fulton--MacPherson compactification of the configuration space of $n$ points on $X$, if $X$ is any smooth, proper, and connected algebraic variety over $\mathbb{C}$. Following work of Massarenti, this implies that $\mathsf{T}_{1, n}$ admits automorphisms which in general do not extend to $X[n]$.

Given a root system $R$, two roots are said to be \emph{strongly orthogonal} if neither their sum nor difference is a root. Gashi defined a family of graphs with vertices labelled by sums of $k$-element strongly orthogonal subsets of roots, and edges connect vertices whose difference is also a vertex. Gashi and the current authors established Erdős--Ko--Rado type results for graphs developed from Type $A$ root systems. In this paper, we study graphs developed from the exceptional root systems $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$. We compute graph-theoretic invariants including regularity, connectivity, and clique numbers, and analyze clique structures with respect to sunflower properties. The automorphism group contains the Weyl group; we use these symmetries to obtain complete counts of maximum cliques and maximum sunflowers. Unlike type $A$, where all maximal cliques are sunflowers for large rank, sunflower cliques comprise at most 11\% of maximum cliques in the simply-laced exceptional types $E_6$, $E_7$, and $E_8$.

Let $2\le k\in\mathbb{Z}$. A total coloring of a $k$-regular simple graph via $k+1$ colors is an efficient total coloring if each color yields an efficient dominating set, where the 3-cube efficient domination condition applies to the restriction of each color class to the vertex set. Focus was set upon graphs of girth $k+1$ with efficient total colorings of finite simple cubic graphs $Γ$ of girth 4 built up from the 3-cube and leading to a conjecture that all of those colorings were obtained by means of four basic operations. In the present work, a fifth basic operation is found necessary in terms of combinatorial cubic maps $M(Γ)$ of which the graphs $Γ$ are their 1-skeletons. This takes to conjecturing that any simple cubic graph that is toroidally 3-edge-connected (defined in the work) and whose $\ell$-belts have $\ell\equiv 0$ mod 4 has an efficient total coloring.

We introduce a nonnegative functional on the space of line arrangements in $\mathbb{P}^2$ that vanishes precisely on free arrangements, obtained as a semicontinuous relaxation of Saito's criterion for freeness. Given an arrangement $\mathcal{A}$ of $n$ lines with candidate exponents $(d_1, d_2)$, we parameterize the spaces of logarithmic derivations of degrees $d_1$ and $d_2$ via the null spaces of the associated derivation matrices and express the Saito determinant as a bilinear map into the space of degree $n$ polynomials. The functional then admits a natural geometric interpretation: it measures the squared sine of the angle between the image of this bilinear map and the direction of the defining polynomial $Q(\mathcal{A})$ in coefficient space, and equals zero if and only if its image contains the line spanned by $Q(\mathcal{A})$. This provides a computable measure of how far a given arrangement is from admitting a free basis of logarithmic derivations of the expected degrees. Using this functional as a reward signal, we develop a sequential construction procedure in which lines are added one at a time so as to minimize the angular distance to freeness, implemented via reinforcement learning with an adaptive curriculum over arrangement sizes and exponent types. Our results suggest that semicontinuous relaxation techniques, grounded in the geometry of polynomial coefficient spaces, offer a viable approach to the computational exploration of freeness in the theory of line arrangements.

Let $R$ be a commutative ring with identity and let $Z^{\ast}(R)$ denote the set of nonzero zero-divisors of $R$. The \emph{zero-divisor graph} $ \varGamma(R)$ is the simple graph with vertex set $V( \varGamma(R))=Z^{\ast}(R)$, where two distinct vertices$x,y\in Z^{\ast}(R)$ are adjacent if and only if $xy=0$ in $R$. In this paper we investigate the zero-divisor graph of the truncated polynomial ring $R=\mathbb{Z}_{p}[x]/\langle x^{c}\rangle,$ for $c\in\mathbb{N}.$ We determine the spectrum of the $A_α$-matrix associated with $ \varGamma(R)$, and, as special cases, explicitly obtain both the adjacency spectrum and the signless Laplacian spectrum of $ \varGamma(R)$. Furthermore, we prove that the Laplacian eigenvalues, as well as the distance eigenvalues, of these graphs are all integers.

We prove that random $\mathbb{Z}$-homomorphisms on weakly expanding bipartite graphs exhibit a strong "flatness" phenomenon. Extending prior work of Peled, Samotij, and Yehudayoff for expanders, we first show that on any bipartite $(n, d, λ)$-graph with $λ\leq (1-δ)d$, a uniformly chosen $\mathbb{Z}$-homomorphism has a range at most $O(\log \log n)$ with high probability, which is tight up to a constant factor. This provides an affirmative answer to their question in the spectral setting. As a concrete application, we prove that a random $\mathbb{Z}$-homomorphism on the middle layers of the Hamming cube takes at most $5$ values with high probability. This shows that the $O(1)$-flatness for the full Hamming cube, proved by Kahn and Galvin, persists even when the rigid structural properties are relaxed.

We introduce decorated sweep covers as a colouring on maximal antichains in tree posets such that if two elements have the same colour they are siblings. DSCs appear in applications wherever maximal antichains require structural differentiation among parallel options that have a common ancestry, e.g., distributed systems, drone routing in logistics, and Monte Carlo Tree Search. We restrict our analysis to enumerating $k$-coloured DSCs in $n$-ary tree posets and prove i) their ordinary generating function in Theorem 1, ii) new Schur-convexity results for binomial coefficients in Theorem 2 and iii) bounds on the OGF coefficients which scale as $Θ(D_n^k k^β)$ in Theorem 3 where $D_n$ is the exponential growth constant for $n$ determined by the OGF and $β\geq n^2 - 1$.

Let $M$ be the $n$-square matrix partitioned into $\ell^2$ blocks $b_{ij}$ according to some partition $P=\{C_{1},\dots,C_{\ell}\}$ of index set $\{1,\dots,n\}$. The quotient matrix $Q=(q_{ij})$ is a $k$-square matrix, with $\ell \leq k \leq n-1$, where $(ij)$-th entry is the average row sum (or column sum) of the corresponding block $b_{ij}$ in $M$. The partition $P$ is said to be \emph{equitable} if row sum of each block $b_{ij}$ is constant. In this case, the matrix $Q$ is referred to as the \emph{equitable quotient matrix} of $M$, and the spectrum of $Q$ is the subset of the spectrum of parent matrix $M$. We characterize some classes of matrices such that their equitable quotient matrix $Q$ contains all the distinct eigenvalues of $M$, thereby information can be obtained form the smallest matrix $Q$ without actually analyzing the parent matrix $M.$ We present necessary and the sufficient conditions for distinct eigenvalue of $M$ contained in the spectrum of of $Q$ in terms of eigenspaces. We end up article with some applications, where distinct eigenvalues of a parent matrix can be completely encoded by quotient matrix.