math.CO ↗ arXiv
7121 papers in this category
Counting symmetric unimodular triangulations
The objects of study are triangulations of the dilated standard triangle in the plane. Motivated by work on T-curves (Geiselmann et al., 2026), the focus lies on unimodular triangulations with a fixed symmetry axis. Lower and upper bounds are given, in combination with full enumerations of a few small cases.
Counterexamples to a Conjecture on Laplacian Ratios of Trees
For a graph \(G\) with no isolated vertices, its Laplacian ratio is defined as \[ π(G)=\frac{\operatorname{per}(L(G))}{\prod_{v\in V(G)} d(v)}, \] where \(L(G)\) is the Laplacian matrix of \(G\), \(d(v)\) is the degree of \(v\), and \(\operatorname{per}\) denotes the permanent. Brualdi and Goldwasser asked for the maximum value of \(π(T)\) among trees \(T\) with a fixed number of vertices. Wu, Dong and Lai recently proposed a conjectural answer to this problem. We give infinite families of counterexamples to their conjecture.
Generalization and Probabilistic Proofs of Some Combinatorial Identities
Using a probabilistic approach, we derive some interesting combinatorial identities involving gamma and beta functions. These results generalize certain well-known combinatorial identities involving binomial coefficients and special functions. In particular, by studying moments of the difference of two gamma and beta random variables, both in the dependent and independent cases, we obtain new combinatorial identities. This approach provides a systematic method to derive further combinatorial identities from probabilistic transformations.
Relation Algebra Representations from Distance-Regular Graphs
We describe a general method for constructing representations of finite integral symmetric relation algebras from distance-regular graphs. Given a distance-regular graph of diameter $d$, the distances between vertices induces a coloring of the complete graph with $d$ colors, and we show that this coloring yields a representation of finite integral symmetric relation algebra on $d+1$ atoms. We then introduce a necessary and sufficient condition for when such a representation is algebraic, proving that this occurs if and only if the distance-regular graph is also distance-transitive.
We study the diameter-3 case of this method in detail, and we express a condition for the representation's mandatory cycles in terms of the distance-regular graph's intersection array. We apply this result to give a positive answer to an open question of Roger Maddux; namely, whether the relation algebra $30_{65}$ has a representation on a finite set. The representation is given on 42 points, and arises from the second subconstituent of the Hoffman-Singleton graph. We further use this method to describe an infinite class of finite representations of $26_{65}$ and the smallest possible representation of $31_{65}$.
A study on Type-2 isomorphic circulant graphs. Part 4: 960 triples of Type-2 isomorphic circulant graphs $C_{54}(R)$
This study is the $4^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10} and is a continuation of Part 3. Here, we study Type-2 isomorphic circulant graphs of order 54 and show that there are 960 triples of Type-2 isomorphic circulant graphs of order 54 and each triple of isomorphic circulant graphs is of Type-2 isomorphic w.r.t. $m$ = 3.
Eventual sign coherence
The sign coherence of $c$-vectors is one of the fundamental theorems of cluster algebras with principal coefficients. In 2019, Gekhtman and Nakanishi posed the asymptotic sign coherence conjecture for arbitrary cluster algebras of geometric type, which says sign coherence should eventually hold in any sufficiently generic infinite mutation sequence. We prove that their conjecture holds almost always for skew-symmetric cluster algebras of arbitrary rank. That is, we prove that with probability $1$, the sequence of $c$-vectors obtained by random mutation of an arbitrary quiver eventually becomes sign-coherent. Our results also establish the conjecture in full generality for many families of quivers by studying a new class of brog quivers.
A study on Type-2 isomorphic circulant graphs. Part 6: Abelian groups $(T2_{n,m}(C_n(R)), \circ)$ and $(V_{n,m}(C_n(R)), \circ)$
This study is the $6^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}. In this part, we define $V_{n,m}(C_n(R))$ and Type-2 set $T2_{n,m}(C_n(R))$ of $C_n(R)$ and present their properties. We prove that $(V_{n,m}(C_n(R)), \circ)$ is an Abelian group and $(T2_{n,m}(C_n(R)), \circ)$ is a subgroup of $(V_{n,m}(C_n(R)), \circ)$ where $T2_{n,m}(C_n(R))$ = $\{C_n(R)\}$ $\cup$ $\{C_n(S):$ $C_n(S)$ is Typ-2 isomorphic to $C_n(R)$ w.r.t. $m \}$ and $(T2_{n,m}(C_n(R)), \circ)$ is the Type-2 group of $C_n(R)$ w.r.t. $m$. We also present many examples of Type-1 and Type-2 groups where $T1_{n}(C_n(R))$ = $\{C_n(xR): x\in\varphi_{n}\}$ is the Type-1 set of $C_n(R)$ and $(T1_{n}(C_n(R)), \circ')$ is its Type-1 group.
The mapping index through the lens of the cross-index
We study the cross-index of free \(G\)-posets as a combinatorial analogue of the equivariant topological index. We demonstrate that the cross-index exhibits many structural properties closely paralleling those of the topological index, while its behavior with respect to unions displays a pronounced dichotomy depending on the acting group. Specifically, if \(P = A \cup B\) is a union of \(G\)-invariant subposets, then for \(G = \mathbb{Z}_2\) we obtain the sharp inequality \[ \operatorname{xind} P \le \operatorname{xind} A + \operatorname{xind} B + 1, \] which is directly analogous to the classical union inequality for the topological index. In contrast, for every group \(G\neq \mathbb{Z}_2\), this phenomenon fails in general, and we establish the best possible weaker estimate \[ \operatorname{xind} P \le \operatorname{xind} A + 2(\operatorname{xind} B+1). \] This reveals a fundamental distinction between the \(\mathbb{Z}_2\)-equivariant and non-\(\mathbb{Z}_2\)-equivariant settings at the purely combinatorial level. As further consequences, we compare the cross-index with both the topological index and the simplicial index, showing in particular that the gap between the cross-index and the topological index can be arbitrarily large. These results clarify the role of the cross-index as a combinatorial analogue of the equivariant topological index and further strengthen the interplay between equivariant topological methods and combinatorial structures endowed with symmetry.
Dyck Symmetric Functions and Applications to \(q,t\)-Catalan Polynomials
This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion.
Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions.
Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.
Classification of ternary maximal self-orthogonal codes of length 25
Ternary maximal self-orthogonal codes have been classified for lengths up to $24$. In this note, we provide a complete classification of ternary maximal self-orthogonal codes of length $25$.
Combinatorial construction of Russell's series for partition classes defined by Capparelli, Meurman, Primc, and Primc in the $k$=1 Case
Recently, Capparelli, Meurman, A. Primc and M. Primc introduced a class of colored partitions which has since been called CMPP partitions. This generalized earlier work by M. Primc and Šikić, and by Trupčević. One main reason why CMPP partitions are significant is the authors' conjecture that the generating functions are infinite products in all cases. CMPP partitions are true extensions of the partition classes in the Rogers-Ramanujan-Gordon identities which are defined by difference conditions. As such, a natural question is to look for generating functions similar to the series side of Andrews-Gordon identities. Russell found such bivariate series for one case. He used symbolic computation in the proofs. We will combinatorially interpret Russell's bivariate series in a base partition and moves setting, and supply some missing cases, as well.
Size and spectral conditions for a graph with given minimum degree to be $k$-$d$-critical
A $k$-matching in a graph $G$ is defined as a function $f:E(G) \rightarrow \{0,1,\ldots,k\}$ satisfying $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for each vertex $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident to $v$ in $G$. For $1\leq d\leq k$ and $d \equiv |V(G)|~(\mathrm{mod}~2)$, if for any $ v \in V(G)$, there exists a $k$-matching $f$ such that $\sum_{e\in E_G(v)}f(e)=k-d$ and $\sum_{e\in E_G(u)}f(e)=k \text{ for any } u\in V(G)-\{v\}$, then $G$ is $k$-$d$-critical. A graph $G$ of odd order (resp. even order) is generalized factor-critical (resp. generalized bicritical) if the empty set is the unique set attaining the maximum value in $k$-Berge-Tutte-formula of $G$. In this paper, we provide sharp sufficient conditions in terms of size or spectral radius respectively for a graph $G$ to be $k$-$d$-critical, generalized factor-critical and generalized bicritical with minimum degree.
Double shortcuts of standard hypercube decompositions
In this paper, we study the double shortcuts associated with pairs of standard hypercube decompositions of arbitrary Bruhat intervals in the symmetric group. Our results imply that a conjecture stated in [Bull. London Math. Soc., 57 (2025), no. 8] holds for the class of standard hypercube decompositions. If this conjecture were to hold for all hypercube decompositions, then the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials would follow.
Note on a magic rectangle set on dihedral group
Let $Γ$ be a group of order $mnk$ and $MRS_Γ(m,n;k)=(a_{i,j}^s)_{m\times n}$ be a collection of $k$ arrays $m\times n$ whose entries are all distinct elements of $Γ$. If there exist elements $ρ,σ\inΓ$ such that for every row $i$, there exists an ordering of elements such that
$$
a_{i,j_1}^s a_{i,j_2}^s \dots a_{i,j_{n-1}}^s a_{i,j_n}^s= ρ
$$
and for every column $j$ there exists an ordering of elements such that
$$
a_{i_1,j}^s a_{i_2,j}^s \dots a_{i_{m-1},j}^s a_{i_m,j}^s = σ,
$$
then $MRS_Γ(m,n;k)$ is called a \emph{$Γ$-magic rectangle set}.
We investigate magic rectangle sets over dihedral groups and prove that $\mathrm{MRS}_Γ(m,n;k)$ exists for every dihedral group $Γ$ of order $mnk$, provided that $m$ and $n$ are even. As a consequence, we obtain broad existence results for magic rectangles and magic squares over dihedral groups.
Semi-interlaced polytopes
The Minkowski mixed volume of $n$ subpolytopes $D_1, \dots, D_n$ of a polytope $P \subset {\mathbb R}^n$ clearly does not exceed the normalized volume $n! \text{Vol}(P)$. Equality holds if and only if the subpolytopes are interlaced, i.e., each proper face $F \subsetneq P$ intersects at least $\dim(F) + 1$ of the polytopes $D_i$. Efficiently computing mixed volumes for more general collections of subpolytopes is crucial for estimating the complexity of numerically solving polynomial systems.
Motivated by relaxing the bound $\dim(F) + 1$ to $\dim(F)$, we prove a combinatorial formula for the mixed volume of a broad class of semi-interlaced polytopes. This class includes, in particular, the off-coordinate polytopes used in computing algebraic degrees -- such as Maximum Likelihood, Euclidean Distance, and Polar degrees -- via the Kouchnirenko--Bernshtein theory. We also present applications of our results to the Arnold monotonicity problem (1982-16), which concerns the dependence of Milnor numbers on the Newton polyhedra.
Inhomogeneous $q$-Whittaker polynomials II: ring theorem and positive specializations
We study inhomogeneous $q$-Whittaker polynomials which extend both $q$-Whittaker and stable Grothendieck polynomials. We prove that inhomogeneous $q$-Whittaker polynomials (in countably many variables) form a basis of certain commutative ring extending the ring of symmetric functions to a subring of its completion. We then describe positive specializations of that ring and relate them with a subset of Macdonald-positive specializations of the ring of symmetric functions. We also show some related probability distributions obtained from positive specializations of inhomogeneous $q$-Whittaker polynomials.
Almost Affine Invariance Over Prime Fields: Green Problem 90
Let $A\subset \mathbb{F}_p$ with density 1/2. We call a set $A$ almost affine invariant under an affine transformation $φ(x)=ax+b$ if \[|A \triangle φ(A)| =o(p).\] We determine that, the threshold value of $K$ such that $A$ is almost affine invariant simultaneously under all $φ(x)$ with $|a|, |b|\le K$ and $a\neq 0$, is $K=o(\log p)$. This solves Ben Green's Open Problem 90.
Nonexistence of certain classes of generalized bent functions: Revisiting the element partition method
We obtain new nonexistence results of two classes of generalized bent functions from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$ (called type $[n,q]$). The first class of results is based on applying the element partition method to the results of Feng and Feng and Liu, where $q=2 p_1^{e_1} p_{2}^{e_2}$, $p_1$ and $p_2$ are two primes. For the second class, we extend the idea of the element partition method and prove the nonexistence of generalized bent functions of type $[1,2 \cdot 3^{a} \cdot 7^{b}]$, where $a,b \in \mathbb{Z}_{>0}$.
The number $4/9$ is a non-jump for $3$-graphs
We prove that $4/9$ is a non-jump for $3$-uniform hypergraphs. Our construction perturbs the $ABB$ pattern by inserting, inside the $B$-part, the union of a high-cogirth pair of Steiner triple systems. This goes below the barrier for non-jumps obtainable by Shaw's finite-pattern formulation of the Frankl--Rödl method introduced in 1984. All results employing this approach use patterns where one of the parts has complete shadow. As the $ABB$ pattern is the smallest one with this property, the value $4/9$ is the natural barrier using this technique, and we conjecture that $4/9$ is the smallest non-jump for $3$-graphs. If our conjecture is true, this would answer (in a very strong form) an old question of Erd\Hos.
A merging procedure for labelings of bipartite graphs
Let $G$ a bipartite graph with vertex bipartition $\{A,B\}$ and let $m=|E(G)|$. An $(A,B)$-uniformly ordered labeling of $G$ is a labeling $f\colon V\rightarrow [0,2m]$ which, among other conditions, requires that there exists $λ\in \mathbb N$ such that $f(a)\le λ$ and $f(b)>λ$ for all $a\in A$ and $b\in B$. The existence of such a labeling for $G$ implies the existence of a cyclic $G$-decomposition of $K_{2mx+1}$ for all positive integers $x$. In this paper, as a starting point, through this type of labeling we prove the existence of a cyclic $G$-decomposition in the case that $G$ is a cycle of even length with either one or two pendant paths of any length. Then, through a merging procedure, we are able to get this type of labeling for a specific class of bipartite graphs, which are obtained by iteratively adding an even cycle and a pendant path.