组合数学

The nearly complete bipartite graph $G(m,n,k)$ is obtained by removing $k$ independent edges from the complete bipartite graph $K_{m,n}$. In this paper, we prove that for any nearly complete bipartite graph $G(m,n,k)$ with $m, n\geq 3$, and…

The Birkhoff polytope $\Omega_n$ is the polytope of doubly stochastic matrices of order $n$. The Birkhoff polytope graph $G(\Omega_n)$ is the skeleton of $\Omega_n$; it is the Cayley graph whose vertex set consists of the elements of the…

A proper infinite parallelepiped (IP) set in a semigroup is an infinite set consisting of a sequence $\myseq{a}$ and its finite sums, or a superset of such a set. Hindman's theorem asserts that the proper IP sets of natural numbers are…

A multivariate, formal power series over a field $K$ is a B\'ezivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$; it is a P\'olya series if one can take…

A (noncommutative) P\'olya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$. We show that rational P\'olya series are unambiguous rational series,…

Given a set $A=\{a_1,\ldots,a_n\}$ of real numbers and real coefficients $b_1,\ldots,b_n$, consider the distribution of the sum obtained by pairing the $a_i$'s with the $b_i$'s according to a uniformly random permutation. A recent theorem…

In a game of permutation wordle, a player attempts to guess a secret permutation in the fewest number of guesses possible. Previously, Samuel Kutin and Lawren Smithline (arXiv:2408.00903) introduced this game and proposed a strategy called…

Twin-width is a graph parameter introduced in the context of first-order model checking, and has since become a central parameter in algorithmic graph theory. While many algorithmic problems become easier on arbitrary classes of bounded…

We provide two constructions for $t$ edge-disjoint maximal outerplanar graphs on every number of $n \geq 4t$ vertices. The bound on the minimum number of vertices is tight. These constructions yield the existence of optimal…

We consider the classical $n$-queens problem, which asks how many ways one can place $n$ mutually non-attacking queens on an $n$ x $n$ chessboard. We prove that the total number of solutions to the $n$-queens problem $Q(n)$ is divisible by…

The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm…

We narrow the gap between the family of graphs that do and the family of graphs that do not satisfy the fat minor conjecture by obtaining much simpler counterexamples than were previously known, including $K_t, t \geq 6$ and $K_{s,t}, s,t…

A 1983 conjecture of Bouchet states that every flow-admissible signed graph has a nowhere-zero six-flow. We prove this conjecture for cyclically five-edge-connected, cubic signed graphs.

We propose a canonical local-to-global lattice theory for rational fans. We define the $\textit{ray lattice } L_{\mathrm{rays}}(\Sigma)$ and the $\textit{relation lattice } L_{\mathrm{rel}}(\Sigma)$ as invariants functorial under fan…

In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vre\'cica and \v{Z}ivaljevi\'c on cycle-free chessboard complexes (that is, multipath complexes of complete…

Recently, there has been a lot of work on combinatorial inequalities related to hook-lengths in $t$-regular partitions. In this short note, we give a proof using generating functions for a result proved by Singh and Barman (2026) using…

A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and…

We relate hook-length products for adjacent staircase partitions to special values of Jacobi polynomials. This connection expresses the number of semistandard tableaux in terms of Jacobi polynomials defined via Gauss hypergeometric…

The online Ramsey number $\tilde r(G,H)$ is defined via a Builder--Painter game on an empty graph with countably many vertices. In each round, Builder reveals an edge, which Painter immediately colors either red or blue. Builder wins once a…

We study a quantitative Ramsey-type problem on 3-term arithmetic progressions: how should the set of integers $[n] = \{1, 2, \dots, n\}$ be colored using 3 colors in order to maximize the number of rainbow 3-term arithmetic progressions? By…