arXiv++ Combinatorics

We give an explicit description, in terms of the quantum Bruhat graph, of the (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants $\langle \mathcal{O}(- λ), \mathcal{O}^{w}, \mathcal{O}_{u} \rangle_{d}$ for the (full) flag manifold $X = G/B$, where $\mathcal{O}(- λ)$ denotes the class in the (torus-equivariant) $K$-theory ring $K_{T}(X)$ of $X$ of the line bundle $\mathcal{O}_{X}(- λ) = G \times_{B} \mathbb{C}_λ$ over $X = G/B$ associated to a weight $λ\in W \varpi_i$ lying in the Weyl group orbit of a minuscule fundamental weight $\varpi_i$, and $\mathcal{O}_{u}$, $\mathcal{O}^{w}$ are the Schubert and opposite Schubert classes in $K_{T}(X)$ for $u, w \in W$. This result can be thought of as a partial generalization of the quantum $K$-theoretic divisor axiom, which we obtained in our previous work; our proof utilizes a generalization of the Chevalley formula in the (torus-equivariant) quantum $K$-theory ring $QK_{T}(X)$ of $X$, which computes the quantum product with the line bundle class $\mathcal{O}(- λ)$ associated to the weight $λ$ above.

Schubitopes are a family of generalized permutahedra arising as the Newton polytopes of both Schubert polynomials and Demazure characters of $\mathrm{GL}_n$. Monical, Tokcan, and Yong conjectured that Schubitopes are Ehrhart positive. We exhibit a counterexample to this conjecture, a Schubitope whose Ehrhart polynomial contains a negative coefficient in its monomial expansion. This example was found using GPT-5.6 Sol Pro in ChatGPT.

In 2016, Straub proved that Euler's classic partition identity holds true for partitions with largest hook (perimeter) $n$. This inspired further study of the relationship between classical partitions and fixed perimeter partitions. We extend the study of parity bias inequalities, first introduced by Kim, Kim, and Lovejoy in 2020, to the fixed perimeter setting and show using combinatorial methods that fixed perimeter analogues of many classical parity bias results can be proven and generalized. We also extend these methods to prove similar inequalities for the fixed perimeter analogues of PED and POD partitions. We additionally develop recursive formulas for the number of perimeter $n$ partitions with odd parts distinct and even parts unrestricted and with even parts distinct and odd parts unrestricted.

A Catalan multijection is a way to partition a set of $\binom{2n}{n}$ objects into equivalence classes of size $n+1$, where each equivalence class has exactly one distinct Catalan object. Isaak and Langley investigated when two multijections produced the same partitions in an unpublished manuscript. We propose some new multijections for which we get different partitions from previously discovered multijections.

A graph $G$ is $F$-saturated if $G$ contains no copy of $F$ but $G+e$ contains a copy of $F$ for every missing edge $e$ of $G$. The saturation number $\sat(n,F)$ is the minimum number of edges in an $n$-vertex $F$-saturated graph. Motivated by a problem posed by Faudree, Ferrara, Gould, and Jacobson concerning $K_p\cup K_q\cup K_{q+1}$, we determine the saturation number and the unique extremal graph for $K_p\cup K_q\cup K_r$ whenever $2\le p\le q<r<p+q$ and $n$ is sufficiently large. Together with the previously known results for $r\ge p+q$ and for $r=q$, this completes the determination of the saturation number and the extremal graphs for unions of three cliques, for all sufficiently large $n$.

It is well known that the number of partitions of $[n]$ without singletons equals the number of partitions of $[n]$ in which no block contains two cyclically adjacent elements $i,i+1\pmod{n}$. Bernhart remarked that there might be no simple bijection between these two classes. Although Callan later constructed an algorithmic bijection proving the stronger equidistribution of singletons and adjacencies, his construction proceeds through multiple rounds of exchanges. Therefore, Bernhart's remark may still retain some validity, as suggested by Chen and Wang. In this article, we address this remark by giving a direct ``one-round'' bijection between the two classes. Unlike Callan's bijection, our map is closely compatible with the refinement order on partitions: in one direction it only decomposes blocks, while its inverse only merges blocks, with a single exceptional pair when $n>2$ is even. We further observe that this exception is unavoidable, establishing the optimality of the bijection with respect to the refinement order. The specific local form of these operations --- splitting off only singleton blocks and merging a singleton only with the block containing its cyclic neighbor --- also ensures that the construction restricts, without modification, to a bijection between the corresponding classes of noncrossing partitions.

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}\subseteq {V\brack k}$ and $\mathcal{G}\subseteq {V\brack \ell}$ are said to be cross $t$-intersecting if $\dim(F\cap G)\geq t$ for all $F\in\mathcal{F}$ and $G\in \mathcal{G}$. In this paper, we determine the extremal structures when $|\mathcal{F}||\mathcal{G}|$ attains the maximum value under the conditions $\dim\left(\cap_{F\in \mathcal{F}}F\right)<t$ and $\dim\left(\cap_{G\in \mathcal{G}}G\right)<t$.

In this paper, by using $q$-identities and differential operator techniques, we establish two $q$-supercongruences modulo the square of a cyclotomic polynomial, which are associated with truncated double basic hypergeometric $q$-series.

A directed triple system can be defined as a decomposition of a complete digraph to directed triples $\langle x,y,z\rangle$. By setting $xy =z$, $yz =x$, $xz =y$ and $uu =u$ we get a binary operation that can be a quasigroup. We give an algebraic description of such quasigroups, explain how they can be associated with triangulated pseudosurfaces and report enumeration results.

A proper conflict-free coloring is a proper vertex coloring in which every nonisolated vertex has a color occurring uniquely in its open neighborhood. We prove that every graph with neither a $K_5$-minor nor a $Q_6$-minor admits such a coloring with at most seven colors, where $Q_6=K_3\vee\overline{K_3}$. In particular, this improves the previous general upper bound of eight for planar graphs. The proof combines a previously developed iterated distance-three selector construction with a general anchor-contraction lifting principle. The first supplies independently colored witnesses in closed neighborhoods, while the second combines those witnesses with a proper coloring of a suitable minor. We also develop the parity analogue of the first mechanism and show that, whenever the $K_{k+1}$ case of Hadwiger's conjecture holds, every $K_{k+1}$-minor-free graph can be proper vertex colored with $2k-1$ colors such that every nonisolated vertex has a color occurring an odd number of times in its open neighborhood.

Subbarao and Verma introduced, in 1999, a number of open problems concerning the sequence $(f(n))_{n \geq 0}$ of complementary Bell numbers, which may be defined via Bell polynomials $B_{n}(x) = \sum_{k=0}^{n} \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} x^k$ so that $f(n) = B_{n}(-1)$. Yang [Electron. J. Combin., 2001] subsequently solved the first two problems from Subbarao and Verma, but the third such problem has remained open, to the best of our knowledge. The first part of this third problem asks whether or not $f(n)$ takes any given value only a finite number of times. We solve this problem in the affirmative, through a combined application of finite difference-based methods, partial Motzkin paths, the completeness of the Tate algebra with respect to the Gauss norm, and Strassmann's theorem.

For a graph $G$, let $ψ(G)=\max\{χ(G[V(C)]):C$ is an odd cycle of $G\}$, with $ψ(G)=0$ when $G$ is bipartite. For positive integers $N$, set $F(N)=\max\{χ(G)-ψ(G):|V(G)|\le N\}$. The function $F$ measures the finite-order additive gap arising from an open problem of Erdos and Hajnal. We prove $N^{1/6-o(1)}\le F(N)<\sqrt{6N}$. The lower bound raises the finite-order scale supplied by the Cameron-Clow path-colour construction from $\log N/\log\log N$ to a fixed power of $N$. Its proof constructs a palette-code graph from a binary covering code $\mathcal{C}\subseteq\{0,1\}^p$ and establishes the exact identities $χ(G)=2p+\ell-ρ(\mathcal{C})$ and $ψ(G)=2p$. Near-middle Hamming coverings yield the exponent $1/6$. The upper bound combines Polavarapu's connectivity theorem, the Chvatal-Erdos Hamiltonicity theorem, and maximum-independent-set stripping.

For ordinary permutations on $n$ letters, the distribution of the number of fixed points of a random permutation is well known to approach the Poisson$(1)$ distribution in total variation distance as $n\to\infty$. We use Stein's method to get related results for the number of fixed points of random permutations of multisets.

We introduce $k$-cascading parking functions, a parametrized variant of parking functions in which cars form bumping cascades of up to $k \geq 0$ cars. Setting $k = 0$ recovers classical parking functions, whereas $k = 1$ recovers MVP parking functions. Although parking functions and cascading parking functions are equivalent as sets, they are generally distinct as maps. Therefore, in this paper we consider the enumeration of the fibers of their outcomes. Our main result is a recursive, permutation pattern-based formula for the size of the fiber of any given permutation, for any given $k \geq 0$. When specialized to the longest word, the formula reduces to a family of integer sequences that interpolate between the simplest sequence ($k=0$), the Motzkin numbers ($k = 1$), and the Catalan numbers ($k\geq n-1$). When specialized to the set of layered permutations, the formula gives new combinatorial interpretations for the row sums of certain convolution triangles, including Motzkin and Catalan convolution triangles.

A $(k,d)$-edge coloring of a loopless multigraph $G$ is an edge coloring using at most $k$ colors such that the subgraph formed by each color class has maximum degree at most $d$. The least such $k$ is denoted by $χ'_d(G)$. Let $G$ be a loopless non-bipartite multigraph with maximum degree $Δ(G)$ and odd girth $g_0(G)$, and let $d\ge1$ be odd. We prove that \[ χ'_d(G)\le\left\lceil\frac{g_0(G)Δ(G)-1}{dg_0(G)-1}\right\rceil. \] For $d=1$, this is Goldberg's odd-girth refinement of Shannon's theorem, while for $g_0(G)=3$ it is the defective Shannon bound of Aboulker, Aubian, and Huang. For every odd $d>1$, every odd $g_0\ge3$, and every $Δ>d$, an almost full ring multigraph $R(Δ,g_0)$, an odd cycle with edge multiplicities alternating between $\lfloorΔ/2\rfloor$ and $\lceilΔ/2\rceil$, except that two consecutive edges have multiplicity $\lfloorΔ/2\rfloor$, attains equality. We also derive a range in which the defective Goldberg--Seymour conjecture holds.

We address three questions of Spiro [Europ. J. Combin., 133:Paper No. 104307, 2026] on smallest $q$-kernels in digraphs. All three questions are on the existence of small $q$-kernels in digraphs, where 'smallness' is measured in different ways. We answer one of these questions in the affirmative, and the other two in the negative. We further study the latter two questions in the context of bipartite digraphs. In particular, we show that in the bipartite setting, the answer to one of the two questions is affirmative if and only if $q$ is odd. For the other question, we show that the answer is positive when the digraph is bipartite and $q$ is odd (the case when the digraph is bipartite and $q$ is even remains open).

The spectral sensitivity $λ(f)$ of a Boolean function is the largest eigenvalue of the adjacency matrix of its sensitivity graph. It lower-bounds every standard measure of query complexity, and Aaronson, Ben-David, Kothari, Rao and Tal, who introduced it, asked whether block sensitivity is at most quadratic in it: is $bs(f)=O(λ(f)^{2})$? We show that it is not. We construct a total Boolean function on $2017584$ variables with $bs(f)\ge 14011$ and $λ(f)\le 89.0162$, so that $bs(f)\geλ(f)^{2.127}$, and hence by composition a family with $λ(f_n)\to\infty$ and $bs(f_n)=Ω(λ(f_n)^{2.127})$. The function is the indicator of a union of $k$ subcubes indexed by the vertices of a doubly regular tournament, and the freedom left in the construction is fixed by the Lovász local lemma. The main result has been formally verified in Lean. We also give numerical evidence that a member of the same family on $1255$ variables reaches an exponent near $2.20$, and exhibit a member on $30$ variables whose exponent already exceeds $2$ and whose spectral sensitivity can be computed exactly.

A family of subsets of $[n]$ is called intersecting if it contains no pair of disjoint sets. It is called trivial if all its members contain a common element. Frankl and Kupavskii, and independently Balogh, Das, Liu, Sharifzadeh, and Tran, proved that there is a constant $c>0$ such that, whenever $n \geq 2k+2+c\sqrt{k\ln k}$, almost all $k$-uniform intersecting families are trivial. Balogh, Garcia, Li, and Wagner later improved this range to $n \geq 2k+100\ln k$. In this paper, we prove that the same conclusion holds for every $n\geq 2k+3$. This verifies the conjectured conclusion of Balogh, Garcia, Li, and Wagner throughout this range.

A positive integer $k$ is called $Bn$-collinear if at least one lattice triangle with $n$ boundary points ($B(T)=n$) and $k$ interior lattice points exists, and every such triangle has all of its interior points collinear. Building on prior work on $B(T)=3$, we completely classify the $B4$- and $B5$-collinear integers. Using canonical lattice classifications together with arithmetic properties of Alder's generalized totient function $g(k)$, we prove that the only $B4$-collinear integers are $k\in\{1,2,5\}$. Furthermore, we show that no integer is $B5$-collinear. This establishes a structural contrast: while three and four boundary lattice points exhibit some collinearity constraints, five boundary points disrupt the pattern.

Bracketing covers and $δ$-covers provide finite discretizations of the anchored boxes that define the star discrepancy. Let $N_{[]}(d,δ)$ and $N(d,δ)$ denote the corresponding bracketing and covering numbers. We prove the lower bounds \[ N_{[]}(d,δ)\ge \lceil δ^{-d}\rceil, \qquad N(d,δ)\ge \left\lceil \frac{d!}{d^d}\,δ^{-d}\right\rceil. \] We also construct, for every fixed $d$, bracketing covers which, together with the lower bound, show that $N_{[]}(d,δ)=(1+o_d(1))δ^{-d}$ as $δ\downarrow0$. The construction combines a coarse partition with box-dependent anisotropic local grids. Its shared vertices yield $δ$-covers with asymptotic upper coefficient one. Explicit upper bounds are obtained for both quantities.