math.CO ↗ arXiv
5274 papers in this category
The Geometry of Rectangular Multisets
This article describes a natural piecewise Euclidean bi-simplicial cell structure for the space of $n$-element multisets in a fixed Euclidean rectangle. In particular, we highlight some connections with spaces of complex polynomials and permutahedra.
Log-Concavity and Infinite Log-Concavity of Linear Recurrent Sequences with Linear Coefficients via Companion Matrix Methods
We study log-concavity properties of real sequences $(a_n)_{n \ge 0}$ satisfying a $d$-th order linear recurrence whose coefficients are linear functions of $n$; the so-called P-recursive (or holonomic) sequences. Writing the recurrence in companion-matrix form $\mathbf{v}_{n+1} = M_n\,\mathbf{v}_n$ with $M_n = nA + B$, we show that the log-concave operator value $\mathcal{L}(a_n) = b_n \coloneqq a_n^2 - a_{n+1}a_{n-1}$ is a quadratic form in the state vector $\mathbf{v}_n$, and identify the matrix $Q_n = Q^{(0)} + nQ^{(1)}$ whose positive semi-definiteness gives a sufficient condition for log-concavity. For the class of second-order recurrences with constant coefficients, we prove a tight (necessary and sufficient) criterion for the sequence to be $\infty$-log-concave, a consequence of the fact that $\mathcal{L}(a_n)$ is itself a geometric sequence so that $\mathcal{L}^2(a_n) = 0$ identically. We obtain analogous tight criteria for sequences fixed by $\mathcal{L}$, and for P-recursive sequences satisfying a dominant-root asymptotic behaviour. We leave some further insight in case this criteria break down in full generality.
Infinite graphs with finite metric dimension
We study the metric dimension (strong and weak) of infinite graphs. In particular, our main interest is characterizing infinite graphs with finite dimension. Our main results: (1) graphs with more than one end have infinite strong dimension; (2) for graphs with a finite number of cycles, the weak dimension is finite if and only if the graph has finitely many vertices of degree three, and the strong dimension is finite if and only if the graph has one end and finitely many vertices of degree three.
Transfer Operators and Independence Polynomials for Strong Powers of Circulant Graphs
We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.
Noncrossing Partitions From Hull Configurations
Each finite configuration of points in the plane determines a corresponding lattice of noncrossing partitions. When these points form the vertex set of a convex polygon, the associated lattice is the classical noncrossing partition lattice (introduced by Kreweras in 1972), which makes many appearances in combinatorics and geometric group theory. If, on the other hand, all points of the configuration lie on a common line segment, the result is a Boolean lattice. In this article, we examine the more general class of hull configurations, which we define to be those which lie either on a line segment or on the boundary of a convex polygon. We prove that the corresponding lattices of noncrossing partitions are unions of maximal Boolean subposets and, under certain circumstances, have symmetric chain decompositions.
Noncrossing Partitions From Cones and Semicircles
Published in Discrete Mathematics (2026) 349-2
• View Publication
• BIB
For each finite configuration of distinct points in the plane, there is an associated lattice of noncrossing partitions. When these points form the vertices of a convex polygon, the result is the classical noncrossing partition lattice, which is enumerated by the Catalan numbers and satisfies many other useful properties. In this article, we examine three variations of this lattice which arise when the starting configuration is allowed to have points on the sides of a convex polygon rather than just the vertex set.
Affine Subspace Statistics in the Hypercube
We study the intersection statistics of affine subspaces in the hypercube $\mathbb{F}_2^n$, motivated by recent work of Alon, Axenovich, and Goldwasser on the intersection statistics of axis-aligned subcubes of an $n$-dimensional cube. Let $d\ge 1$ and $0\le s\le 2^d$ be nonnegative integers. For a subset $A\subseteq \mathbb{F}_2^n$ where $n\ge d$, define $λ^*(n,d,s,A)$ to be the fraction of affine $d$-flats in $\mathbb{F}_2^n$ that intersect $A$ at exactly $s$ points. Let $λ^*(n,d,s) = \max_{A\subseteq \mathbb{F}_2^n}λ^*(n,d,s,A)$ and let $λ^*(d,s) = \lim_{n\to \infty}λ^*(n,d,s)$. We show that when $s = j\cdot 2^k$ with $j$ odd and $k\ge 1$, we have $λ^*(d,s)\to 1-Θ(2^{-k})$ as $d\to \infty$. This implies that $λ^*(d,s)$ is controlled up to constant factors by the $2$-adic valuation of $s$ when $s$ is even. When $s$ is odd, we show that $λ^*(d,s)\le \frac{1}{2}$ in contrast to the behavior of axis-aligned subcube statistics. We also present several upper and lower bounds for certain specific values of $s$.
Explicit Rank Extractors and Subspace Designs via Function Fields, with Applications to Strong Blocking Sets
We give new explicit constructions of several fundamental objects in linear-algebraic pseudorandomness and combinatorics, including lossless rank extractors, weak subspace designs, and strong $s$-blocking sets over finite fields.
Our focus is on the small-field regime, where the field size depends only on a secondary parameter (such as the rank or codimension) and is independent of the ambient dimension. This regime is central to several applications, yet remains poorly understood from the perspective of explicit constructions.
In this setting, we obtain the first explicit constructions of lossless rank extractors and weak subspace designs for $r\ll k$, where $r$ denotes the rank (or codimension), over finite fields $\mathbb{F}_q$ with $q \ge \mathrm{poly}(r)$ and $q$ non-prime, with near-optimal parameters. For other finite fields, including prime fields and small fields, we obtain weaker but still improved bounds.
As a consequence, we construct explicit strong $s$-blocking sets in $\mathrm{PG}(k-1,q)$ of size $O(s(k-s)q^s)$ for all sufficiently large non-prime fields $q \ge \mathrm{poly}(s)$, matching the best known non-explicit bounds up to constant factors. This significantly improves the previous best bound $2^{O(s^2 \log s)} q^s k$ of Bishnoi and Tomon (Combinatorica, 2026), which requires $q \ge 2^{Ω(s)}$.
Our approach is primarily algebraic, combining techniques from function fields and polynomial identity testing. In addition, we develop a complementary Fourier-analytic framework based on $\varepsilon$-biased sets, which yields improved explicit constructions of strong $s$-blocking sets over small fields.
Vertex-minor Ramsey numbers: exact values and extremal structure
We determine the vertex-minor Ramsey number $\Rvm(4)=11$, where $\Rvm(k)$ is the smallest~$n$ such that every $n$-vertex graph contains the edgeless graph~$E_k$ as a vertex-minor. We prove this by an exhaustive classification of the graphs on~$10$ and~$11$ vertices under local complementation. At the extremal order $n=10$, exactly six non-isomorphic graphs avoid~$E_4$ as a vertex-minor; up to isomorphism, they represent five LC-equivalence classes, and each labeled LC orbit has cardinality~$8{,}712$. Thus $k=4$ is the first case in which the general upper bound $2^k-1$ is not attained. Using the extremal graphs as building blocks, we derive explicit lower bounds on~$\Rvm(k)$ that surpass the leading term of the asymptotic bound for all $k\leq 9$; in particular, $\Rvm(5)\geq 13$. We also describe structural properties of the six extremal graphs and formulate the next open problem, whether $\Rvm(5)=15$.
An Erdős-Ko-Rado theorem for binary codes
Published in Bull. Aust. Math. Soc., 2026
• Search Publication
We study intersecting families of words from the Erdős-Ko-Rado perspective. When the alphabet size is $2$, a maximum intersecting family is not necessarily a star. However, we prove that every maximum $3$-wise intersecting family is a star. We also present a new proof of the known result for alphabets of size at least $3$: maximum intersecting families of words are exactly the stars.
Lie's Theorem for Supertropical Algebra
The aim of this paper is to prove a version of Lie's theorem for the supertropical algebra.
Quantum Query Complexity of the Hyperoctahedral Group
We determine the quantum query complexity of oracle identification on the hyperoctahedral group $B_N = \{\pm 1\}^N \rtimes S_N$ with respect to the natural representation: $Q_{LV}(B_N) = 2(N-1)$ for all $N \ge 2$. This is twice the symmetric-group value $Q_{LV}(S_N) = N-1$; the doubling arises from an $\varepsilon$-parity obstruction that restricts the bottleneck representation $\operatorname{sgn}(σ)$ to even tensor powers. The proof combines a reduction to $S_N$ Kronecker products via Rademacher moment polynomials with the bipartition distance formula $d_T(((N),\varnothing),(α,β)) = 2(N-α_1)-|β|$ in the tensor product graph. A closed-form generating function yields the first-appearance multiplicity $(2N-3)!!$. We also show $Q_{\mathrm{decomp}}(\varphi) \le 2\,Q_{\mathrm{signed}}(\varphi)$, with equality on $B_2$, and conjecture a link between the adversary bound and the graph eccentricity.
Equitable tree colouring of graphs
Let $k \in \mathbb{N}$ and let $G$ be a simple graph with maximum degree $Δ$. A $k$-colouring $\varphi$ of $G$ is an assignment of colours from $\{1,2,\ldots,k\}$ to the vertices of $G$. We call $\varphi$ proper if adjacent vertices receive distinct colours, and equitable if the sizes of any two colour classes differ by at most one. The celebrated Hajnal--Szemerédi theorem states that a proper equitable $k$-colouring exists whenever $k \ge Δ+ 1$.
In this paper, we study its tree colouring variant in which each colour class induces a forest. This is closely related to the vertex arboricity which was introduced by Chartrand, Kronk, and Wall. More precisely, we prove that if $n \ge 3Δ^4$ and $k \ge (Δ+2)/2$, then every $n$-vertex graph with maximum degree at most $Δ$ contains an equitable tree $k$-colouring. This confirms a conjecture of Wu, Zhang, and Li when $Δ$ is even and up to an additive constant of $1$ otherwise for large $n$. We also consider $d$-degenerate colouring in which each colour class induces a $d$-degenerate graph.
Compositions of $n$-homomorphisms
We study $n$-homomorphisms in the sense of Khudaverdian--Voronov, but generalized to maps from arbitrary rings to arbitrary commutative rings. We show that the sum of an $n$-homomorphism and an $m$-homomorphism is an $\left( n+m\right) $-homomorphism, and that the composition of an $n$-homomorphism and an $m$-homomorphism is an $nm$-homomorphism. The proofs are entirely combinatorial.
Openly disjoint cycles through a vertex in regular digraphs
Given a digraph $D$, let $c(D)$ denote the largest integer $k$ such that there exists a collection of $k$ openly disjoint cycles through a vertex, i.e., a collection of directed cycles $C_1,\ldots,C_k$ through a common vertex $v$ such that $C_1-v,\ldots,C_k-v$ are pairwise vertex-disjoint. The famous Caccetta-Häggkvist conjecture and its regular variant due to Behzad, Chartrand and Wall from 1970, have motivated the study of degree conditions forcing $c(D)$ to be large.
Surprisingly, in 1985 Thomassen constructed digraphs of arbitrarily high minimum out- and in-degree such that $c(D)\le 2$. In 2005, Seymour asked whether in contrast every $r$-regular digraph satisfies $c(D)=r$, which would have implied the aforementioned conjecture of Behzad, Chartrand and Wall. In 2008, Mader answered this negatively for every $r\ge 8$, but conjectured that nevertheless the minimum value $c_r$ of $c(D)$ over all $r$-regular digraphs grows with $r$, i.e. $\lim_{r\rightarrow\infty}c_r=\infty$.
In this paper, we prove Mader's conjecture in a strong form by showing that $c_r\ge \left\lceil\frac{3}{22} r\right\rceil$ for every $r\in \mathbb{N}$. We also show that $c_r\le 7\left\lceil \frac{r}{8}\right\rceil$, which improves the previous best upper bound $c_r\le r-Θ(\sqrt{r})$ due to Mader.
A local spectral condition for perfect matchings in 3-graphs
Let $γ$ be a constant such that $0 < γ< 1$, and let $n$ be a sufficiently large integer. Consider a $3$-uniform hypergraph $H$ on $n$ vertices. In 2013, Kühn, Osthus, and Treglown, along with Khan independently, proved that for large enough $n$ with $n\equiv 0\pmod{3}$, if $δ_1(H)\geq\binom{2n/3}{2}$, then $H$ admits a perfect matching. For any vertex $v\in V(H)$, we define $N_H(v)$ as the $2$-graph with vertex set $V(H)\setminus\{v\}$ and edge set $E(N_H(v)) = \{e\subseteq V(H)\setminus\{v\}: e\cup \{v\}\in E(H)\}$. In this paper, we show that if $ρ(N_H(v)) > (2/3+γ)n$ for all $v\in V(H)$, where $ρ(N_H(v))$ denotes the spectral radius of $N_H(v)$, then $H$ has a perfect matching. This bound is asymptotically tight. Furthermore, for integer $s$ satisfying $n\geq 3s+3$, we establish that if \[ ρ(N_H(v))>\frac{1}{2}(s-1+\sqrt{(s-1)^2+4s(n-s-1)})\] holds for every $v\in V(H),$
then $H$ admits a fractional matching of size $s+1$. Notably, this second spectral bound is tight.
Balanced Contributions in Networks and Games with Externalities
For networks with externalities, where each component's worth may depend on the full network structure, balanced contributions and fairness lead to distinct component-efficient allocation rules. We characterize the unique component-efficient allocation rule satisfying balanced contributions -- the BCE rule. Existence is the main challenge: balanced contributions must hold on every edge, but the construction uses only spanning-tree edges. A cycle-sum identity bridges this gap by reducing balanced contributions on non-tree edges to relations in proper subnetworks. The BCE rule coincides with the Myerson value for TU games and with its generalization by Jackson--Wolinsky for network games without externalities, it recovers the externality-free value on the complete network, and -- unlike the fairness-based FCE rule -- it does not reduce to a graph-free formula applied to the graph-restricted game.
Convolution, cumulants and infinitesimal generators in the formal power series ring
We extend the notions of finite free convolution and finite free cumulants to the setting of formal power series by introducing their natural analogues, namely $t$-deformed convolution and $t$-deformed cumulants. In this framework, we establish $t$-deformed analogues of the law of large numbers and the central limit theorem, revealing structural parallels with classical, free, and finite free probability theories. We show that the case $t=-1$ recovers classical convolution at the level of moment generating functions, thereby connecting the theory directly to classical probability. We further investigate the infinitesimal generators associated with $\boxplus^t$-continuous semigroups, deriving explicit representation formulas that clarify how these generators describe the infinitesimal evolution of the semigroup. In the case $t = d$, our results yield explicit formulas for finite free infinitesimal generators. In the case $t = -1$, we relate these generators to those of one-dimensional Lévy processes by identifying the corresponding terms in their representations. This establishes a direct connection between $\boxplus^t$-convolution semigroups and classical Lévy-Khintchine-type generators.
New bounds for Ramsey numbers involving graphs with a center
Let $F_n$, $W_n$, and $\widehat{K}_n$ be the graphs obtained by joining a vertex to $n$ independent edges, a cycle and a path of order $n-1$, respectively. In this paper, we give new bounds for the Ramsey numbers $R(F_n,F_m)$ and $R(W_n,W_n)$, which improve those due to Chen, Yu, and Zhao [EJC, 2021] and Mao, Wang, Magnant, and Schiermeyer [G&C, 2022], respectively, and establish lower and upper bounds for $R(\widehat{K}_n,\widehat{K}_n)$. Moreover, we present a blow-up technique to establish some new lower bounds for the Ramsey numbers of wheels versus cliques.
Some remarks on the orbit dimension of transitive groups and on the metric dimension of Johnson graphs
The orbit dimension $σ(G)$ (also called the separation number or rigidity index) of a permutation group $G$ with domain $Ω$ is the minimum cardinality of a subset $S \subseteq Ω$ such that, for any two distinct elements $ω,ω'\in Ω$, there exists $α\in S$ for which $ω$ and $ω'$ lie in distinct orbits of the stabilizer $G_α$.
In this paper, we first observe that if $G$ is transitive, then $σ(G)\le |Ω|-r+1$, where $r$ is the rank of $G$, and we obtain strong structural information on the groups for which equality holds.
Next, we investigate the orbit dimension in the case where $G$ is the symmetric group of degree $n$, acting on the set of $k$-subsets of $\{1,\ldots,n\}$. In this case, this invariant equals the metric dimension of Johnson graphs.