math.CO ↗ arXiv
7121 papers in this category
Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets
For a finite hypergraph H, the complements of the models of its associated definite Horn CNF are exactly the stopping sets of H; hence the complements of its coatoms are the inclusion-minimal nonempty stopping sets. We study their output-sensitive enumeration from the hypergraph incidence representation. Our main result is a representation of arbitrary Horn model posets whose incidence size is linear in the incidence length of the normalized Horn input. Given a Horn CNF $Γ$, we construct a hypergraph $C(Γ)$ of rank at most three whose proper-model poset is inclusion-order isomorphic to the model poset of $Γ$; equivalently, each source model has a unique extension to a proper target model. Thus maximal models of $Γ$ correspond bijectively to target coatoms. Combining this representation with the maximal-model construction of Kavvadias, Sideri, and Stavropoulos shows that coatom enumeration is not in OutputP unless P=NP, even when all hyperedges have size two or three. Incidence splitting reduces maximum element frequency to three while preserving the stopping-set poset, and a local replacement of two-element hyperedges yields the same lower bound for three-uniform hypergraphs of maximum element frequency at most three. These thresholds are conditionally sharp for arbitrary-order enumeration: rank at most two and maximum element frequency at most two both admit output-linear total-time generation; in the frequency-two case, a polynomial-delay, polynomial-space algorithm is also available. In contrast, coatom extension is NP-complete already for three-uniform hypergraphs of exact element frequency two.
The basic tropical polynomials generate the semifield of $r$-symmetric tropical rational functions
Let the symmetric group $S_n$ act on the space of $n \times r$ real matrices by permuting rows, so orbits are multisets of $n$ points in $\mathbb{R}^r$. The basic $r$-symmetric tropical polynomials form a family of $\binom{n+r}{r}-1$ nonconstant invariants of degree at most $n$ that separates orbits and embeds the orbit space bi-Lipschitzly. We prove that this family generates the semifield of all $r$-symmetric tropical rational functions, answering a question raised in [J. Pure Appl. Algebra 223 (2019) 72-85]. Derksen showed that the invariant semifield of any permutation group $G \le S_N$ is generated in degree at most $N p_1 \cdots p_{|G|}$ ($p_i$ the $i$th prime), which for the row action is $nr p_1 \cdots p_{n!}$; the present result replaces this by generators of degree at most $n$. The generating expression is a finite minimum over the ways of re-assembling a multiset from its sorted columns, with penalties from the basic values that, via the bi-Lipschitz inequality, dominate a wrong re-assembly. The same penalties describe the image of the basic coordinate map as the zero set of a single tropical rational function and yield an expression algorithm. Subfamilies of the basic family containing the single-column values generate if and only if they separate. For any permutation group $G \le S_N$ the same mechanism generates the invariant semifield in degree at most $\max\{N, \binom{N}{2}\}$, a quadratic bound independent of the group order; combined with a genericity theorem of Cahill, Iverson, Mixon, and Packer, it yields $2N+1$ invariant tropical polynomials that separate orbits and $3N$ that generate, with at least $N$ necessary for each task. The quadratic bound is optimal: every $A_N$-invariant tropical polynomial of degree less than $\binom{N}{2}$ is $S_N$-invariant, so every separating family for the alternating group $A_N$ contains a member of degree at least $\binom{N}{2}$.
Pessimal Elections for Approximately Dominating Sets
Condorcet's paradox is a foundational result in social choice theory, showing that no matter which candidate wins an election, a majority of voters may prefer some losing candidate. Worse still, even if the election can choose a committee of $k$ winners, some loser may beat every winner in a majority vote.
Recent work showed that this obstruction can be sidestepped by relaxing the majority threshold. For all $\varepsilon > 0$, any election can select a committee of $O(1/\varepsilon^2)$ winners such that no loser is preferred to every winner by $\frac12 + \varepsilon$ fraction of voters.
We present a simple construction, found by GPT-5.6 Sol Ultra, which proves that this result is tight up to a constant factor.
Vertex-Ramsey theorems for Cartesian powers of graphs
For graphs $G,H$ and positive integers $r$ and $n$ we write $G^{\square n} \xrightarrow{r} H$ if every $r$-vertex-coloring of the Cartesian power $G^{\square n}$ of $G$ contains a monochromatic copy of $H$. Since chromatic number $χ$ of $G^{\square n}$ is the same as $χ(G)$, there is an $r$-vertex coloring of $G^{\square n}$ for $r=χ(G)$, such that each color class is an independent set.
We prove that for $r<χ(G)$ there is a large class of graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. These graphs are so-called layered graphs in a hypercube. We also show that for some graphs $G$, such as for example odd cycles or cliques, the class of layered graphs $H$ is the only one satisfying the above Ramsey property when $χ(G)/2 < r < χ(G)$.
In addition, we prove a more general result relating Ramsey properties of $G$ and graphs $H$ such that $G^{\square n} \xrightarrow{r} H$. One of the technical tools is a Ramsey-type statement for discrete cubes $[m]^n$ that we call the Cube Layered Lemma, which is of independent interest. One of the original motivations for studying Ramsey properties of Cartesian powers of $G$ is the fact that $G^{\square n}$ is a unit distance graph if $G$ is a unit distance graph. This provides applications in Euclidean Ramsey theory.
Improved Bounds for Nested Orthogonal Arrays
Nested orthogonal arrays (NOAs) have found increasing application in various experimental design problems. A central challenge in this field is the derivation of lower bounds on the number of runs. These bounds serve as a powerful criterion to prove the nonexistence of specific arrays. For symmetric NOAs, Mukerjee, Qian, and Wu developed statistical arguments that yield fairly tight bounds. By contrast, the bounds for asymmetric NOAs proposed by Lin, Pang and Chen, which are obtained via a recursive column deletion technique that reduces the general problem to NOAs of strength 2, are not optimal. Consequently, improving these bounds remains a significant open problem.
In this paper, we reformulate the Rao bound and establish a new bound for NOAs under a group theoretic framework. Using the character theory of finite abelian groups, we obtain an equivalent characterization via group characters. This framework allows us to give a new proof of Rao bound for orthogonal arrays and to derive significantly sharper lower bounds for asymmetric NOAs than those of Lin et al. In the case where all factor levels are equal, our bounds reduce naturally to the symmetric bounds of Mukerjee, Qian, and Wu. We also confirm their optimality by explicitly two constructions of NOAs that achieve these bounds.
Polytopal Bier spheres and nonrealizable central symmetries
Bier spheres arise as deleted joins of simplicial complexes with their combinatorial Alexander duals and form one of the largest known families of simplicial spheres. We study centrally symmetric Bier spheres and give a simple criterion for when they cannot arise as boundaries of centrally symmetric polytopes. From this, we obtain a large new family of simplicial polytopes with combinatorial automorphisms that cannot be realized geometrically. Prior to our construction, the Bokowski--Ewald--Kleinschmidt polytope was the only known simplicial example exhibiting these properties. By Smith theory, these polytopes have noncontractible realization spaces. Finally, we establish that every Bier sphere with at most $12$ vertices is polytopal.
Unified framework for asymptotically uniform iterative construction of generalised random graphs with local constraints
We develop a unified framework for constructing combinatorial structures under local constraints. Our approach extends the configuration model for random graphs with a prescribed degree sequence, and covers many special cases, including bipartite graphs, directed graphs, oriented graphs, edge-colored (bipartite) graphs, and (directed) hypergraphs.
By reformulating half-edge matching as an independent set problem in an auxiliary graph, we identify 2-uniformity, a property characterising when greedy sampling preserves asymptotic uniformity. We classify all 2-uniform graphs and show that only two classes, the configuration space and the bipartite configuration space, have unbounded independence number, enabling the asymptotic regime. Our main theorem then gives the asymptotic sampling distribution and enumeration formulae for configurations, with error terms of order $O(d_{\max}^4\log m/m+d_{\max}^2(\log m)^2/m)$ as the number of edges $m$ tends to infinity with maximum degree $d_{\max}=O(m^{1/4}/\log m)$. This settles the long-standing $O(m^{1/4-τ})$ bound (for some fixed $τ> 0$), making the critical exponent explicit.
Furthermore, our theorem accommodates forbidden edges, provided that each vertex participates in at most $O(m^{1/4}/\log m)$ of them. In particular, this enables the sampling of edge-colored graphs with prescribed degree sequences for each color class by constructing the colored subgraphs one at a time.
A three-dimensional corner configuration involving the Omega function
Let $Ω(n)$ denote the number of prime factors of $n$, counted with multiplicity. We prove that if $A\subset\mathbb{N}^3$ has positive upper Banach density, then there are $(x,y,z)\in\mathbb{N}^3$ and $d\in\mathbb{N}$ such that $$(x,y,z),(x+d,y,z),(x,y+d,z),(x,y,z+Ω(d))\in A.$$ To establish the above result, we give an $L^2$-decoupling theorem for the triple ergodic averages $$ \frac1N\sum_{n=1}^N T_1^n f_1\,T_2^n f_2\,S^{Ω(n)}g $$ associated with three commuting transformations by isotropy factors and nilpotent structures in $\mathbb{Z}^2$-actions.
Arithmetic Properties of Mixed Stirling Numbers of the second kind
We investigate the mixed Stirling numbers of the second kind, $\mathcal{S}(n; \mathbf{c})$, which count partitions of $n$ distinct elements into $m$ unlabeled and $k$ labeled non-empty blocks encoded by $\mathbf{c} = (m, 1^k)$. We establish their recurrence relations and exponential generating functions, and analyze their behavior modulo a prime $p$ and $p^2$. In particular, we extend the classical Touchard congruence to this mixed framework. Our results show that these configurations possess unique number-theoretic signatures distinct from classical set partitions.
Reachability under arc crossing changes
Cericola proved that every knot diagram can be transformed into an ascending unknot diagram by arc crossing changes. We refine this result for all diagrams on a fixed R1-reduced classical knot shadow with more than three crossings. Apart from at most two source diagrams, any two diagrams of the same state parity are mutually reachable. Each source diagram reaches every non-source diagram of its parity but cannot be reached from another diagram. A local five-occurrence condition on the marked Gauss word characterizes the sources and thereby determines the full directed reachability relation.
Matroid flat counts can have many peaks
We disprove Rota's conjecture that the counts of flats in a matroid according to rank form a unimodal sequence. Furthermore, we show that this sequence can have arbitrarily many peaks. The construction starts by finding a generalized theta graph for which log-concavity fails severely. By taking direct sums, we break log-concavity in many places. We then use Whittle's $q$-lift construction to produce a matroid whose flat counts have many peaks.
Maximum spread of $K_{s,t}$-minor-free graphs II: the non-admissible cases
We have previously determined the maximum-spread $K_{s, t}$-minor-free graph(s) on $n$ vertices when $n$ is sufficiently large, $2\le s\le t$, and $s=2$ or $t\ge \frac{3}{2}(s-3) + \frac{4}{s-1}$. In this sequel paper, we completely determine the maximum-spread $K_{s, t}$-minor-free graphs on $n$ vertices for $n$ sufficiently large and $2\le s\le t$. In all of the remaining cases, the extremal graph is unique and is of the form $(K_r \vee (s-1-r)K_1) \vee (\ell_r K_t \cup (n-s+1-t\ell_r)K_1)$, where $r$ is an integer determined by $s$ and $t$ and $\ell_r$ is an integer determined by $n, s, t,$ and $r$.
A complete characterization of maximally σ-irregular trees with prescribed maximum degree
The sigma-irregularity of a graph G = (V, E) is defined as the sum, over all edges uv in E, of (d(u) - d(v))^2, where d(u) denotes the degree of vertex u. A tree on n vertices with maximum degree Delta is called maximal if it attains the greatest possible sigma-irregularity among all such trees. The maximal trees are already known for chemical trees (Delta <= 4) and for Delta = 5. In this paper, we characterize the maximal trees for every Delta >= 6 when n >= Delta(Delta - 1) + 1. We introduce three families of trees, T'{n,Delta}, T''{n,Delta}, and T'''{n,Delta}. All trees within the same family have the same sigma-irregularity, and we derive an explicit formula for the value attained by each family. Comparing these formulas determines which family has the greatest sigma-irregularity for given n and Delta. We then prove that a tree is maximal if and only if it belongs to a family attaining this greatest value. In contrast to the case Delta <= 5, the two natural candidate families T'{n,Delta} and T''{n,Delta} are not sufficient, since for every Delta >= 7 and every n congruent to 3 modulo Delta, the trees in T'''{n,Delta} have strictly greater sigma-irregularity.
$Δ$-separated Sidon sets in additive number theory
The nonempty set $A$ of integers is $Δ$-separated if $|a-a'| \geq Δ$ for all $a,a' \in A$ with $a \neq a'$. The set $A$ is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. A $B_2$-set is also called a Sidon set. Upper and lower bounds are obtained for the cardinality of the largest $Δ$-separated Sidon sets contained in the integer interval $\{1,2,\ldots, n\}$.
On the size of $(K_{t_1}, \ldots, K_{t_k})$-co-critical graphs
Given integers $k\ge2$ and $t_1, \ldots, t_k\ge2$, we write $G \rightarrow (K_{t_1}, \ldots, K_{t_k})$ if every $k$-coloring of the edges of a graph $G$ contains a monochromatic copy of $K_{t_i}$ in color $i$ for some $i\in\{1, \ldots, k\}$. A non-complete graph $G$ is $(K_{t_1}, \ldots, K_{t_k})$-co-critical if $G \nrightarrow (K_{t_1}, \ldots, K_{t_k})$, but $G+e\rightarrow (K_{t_1}, \ldots, K_{t_k})$ for every edge $e\notin E(G)$. Let $r=R(K_{t_1}, \ldots, K_{t_k})$ denote the Ramsey number. In 1987, Hanson and Toft conjectured that every $(K_{t_1}, \ldots, K_{t_k})$-co-critical graph $G$ on $n\ge r$ vertices satisfies \[|E(G)|\ge (r-2)n- \binom{r- 1}{2}.\]
This bound is best possible for every $n\ge r$. More recently, the present author conjectured that every such graph has minimum degree at least $r-2$. Using the $q$-neighbor bootstrap percolation closure method, here we prove that the Hanson-Toft Conjecture holds asymptotically, provided that the minimum-degree conjecture is true; more precisely, assume that every $(K_{t_1}, \ldots, K_{t_k})$-co-critical graph $G$ on $n\ge r$ vertices has minimum degree at least $r-2$, then there exists a constant $C=C(r,k)$ such that $|E(G)|\ge (r-2)n-C$.
Equality of Dual Immaculate Functions Under Automorphisms
The dual immaculate functions are an example of a Schur-like basis in the algebra of quasisymmetric functions. We classify when the image of a dual immaculate function under one of the involutions $ρ, ψ, ω$ is equal to a dual immaculate function. As well, the leading term of the transition matrix is identified, and sufficient and necessary conditions for the existence of immaculate tableaux are determined. As a consequence, new maps and canonical tableaux associated with compositions are discovered.
Modularity of Point Counts for the Curves $X^a=Y^b$: New Rogers--Ramanujan Identities
For coprime $1<a<b$, let $M_n^{a,b}(\mathbb{F}_q)$ be the set of commuting pairs of nilpotent $n\times n$ matrices over $\mathbb{F}_q$ with $X^a=Y^b$. Huang, Jiang, and Oblomkov assembled their orders as an Eulerian $q$-series
$Z_{a,b}(q)$. They conjectured that it is an explicit product $P_{a,b}(q)$ involving Jacobi's theta function and Dedekind's eta-function, implying the threefold equality $$\underbrace{\prod_{n\ge1}(1-q^n)\cdot\Biggl(\sum_{n=0}^{\infty}\frac{|M_n^{a,b}(\mathbb{F}_q)|}{|\mathrm{GL}_n(\mathbb{F}_q)|}\Biggr)\Biggr|_{q\mapsto q^{-1}}}_{\text{point count}}\;=\;\underbrace{Z_{a,b}(q)}_{q\text{-series}}\;=\;\underbrace{P_{a,b}(q)}_{\text{theta quotient}}$$ If true, the point count on $X^a=Y^b$ is essentially a modular function on $Γ(a+b)$. The conjecture is layered in $a$, with an identity for each $b$. The $a=2$ layer is classical, including identities of Rogers--Ramanujan and Andrews--Gordon. For $a\geq3,$ nothing was known. We prove the $a=3$ layer in full: a new infinite family of Rogers--Ramanujan identities, and a geometric origin for Warnaar's products. AxiomProver verified these new identities in Lean assuming existing literature.
New central $q$-binomial identities
We establish several new series evaluations involving the central $q$-binomial coefficients, with the inspiration coming from earlier work by Vignat and one of the authors on the limiting case at $q\to 1$.
A Gap in the 42-Queue Layout Algorithm for Planar Graphs
A queue layout of a graph consists of a linear order of the vertices and a partition of the edges into queues so that no two edges in a single queue are nested. The minimum number of queues needed in a queue layout of a graph is called its queue number. The planar product structure theorem states that every planar graph is a subgraph of the strong product of a graph of simple treewidth at most $3$, a clique $K_3$, and a path. Such a strong product admits a queue layout with $49$ queues (Wood, 2005), which implies that the queue number of planar graphs is at most $49$.
Recently, Bekos, Gronemann, and Raftopoulou (Algorithmica, 2023) investigated how the general approach based on the product structure can be optimized for planar graphs. They claim that by appropriately reordering the three vertices in each bag arising from a tripod, it is possible to reduce the queue number of planar graphs to~$42$. In this note we highlight a gap in their queue layout algorithm: one of the choices required by the algorithm is not guaranteed to exist. Hence the claimed upper bound of $42$ queues is not established by the published proof.
An improved polynomial $χ$-bound for $\{P_5,C_5\}$-free graphs
Nguyen~\cite{Nguyen2025} recently proved that every $\{P_5,C_5\}$-free graph $G$ satisfies $χ(G)\leq ω(G)^{40}$. Building on his framework, we introduce two refinements, namely a sharper cutset decomposition using the $C_5$-free condition and an improved density-increment argument. These yield a polynomial $χ$-binding function with exponent $24$, improving the previous bound of $40$.