arXiv++ Combinatorics

We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $ρ$, we give an explicit method for producing a maximal chain containing $ρ$.

An edge-colored graph is called rainbow if all its edges have distinct colors. For a fixed graph $H$, the rainbow Turán number $\exstar(n, H)$ is the maximum number of edges in a properly edge-colored graph with $n$ vertices that does not contain a rainbow subgraph isomorphic to $H$. A $t$-fan $\Ft$ ($t \geq 2$) is a graph formed by $t$ triangles sharing a common vertex. A wheel graph $\Wn$ is constructed by connecting a new vertex $x$ to all vertices of a cycle $\Cn$ with $n$ vertices. Keevash, Mubayi, Sudakov, Verstraëte~({\small Combin. Probab. Comput., 2007}) showed that \[ \exstar(n, F_t) \geq \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} \] by constructing extremal graphs for $n\not\equiv 2\pmod 4$. In this paper, we propose such a method: for a graph $H$, the upper bound of $\exstar(n, H)$ can be analyzed using the rainbow Turán number of $H'$, where $H'$ is obtained by deleting one vertex from $H$. By applying this method, we determine the exact values of the rainbow Turán numbers for two families of graphs when the number of vertices $n$ is sufficiently large. Specifically, we obtain: (1) when $n > 230t$, \[ \exstar(n, \Ft) = \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} - \Dn, \] where $\Dn = 1$ if $n \equiv 2 \pmod{4}$, and $\Dn = 0$ otherwise; (2) for graphs $H$ satisfying $W_{2t} \subset H \subset \Kts$ ($t \leq s$), when $n$ is sufficiently large, \[ \exstar(n, H) = \begin{cases} \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} - \Dn & \text{if } t \text{ is odd}, \\ \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} & \text{if } t \text{ is even}. \end{cases} \]

We propose a three-voice extension of Mazzola's algebraic model of first-species counterpoint. A three-voice sonority is represented as \(a+\varepsilon_1 .b+\varepsilon_2 .c\), where \(a\) is the lower voice and \(b,c\) are the lower--middle and lower--upper interval classes. Starting from a strong dichotomy \((X/Y)\) of \(\mathbb Z_{2k}\), we introduce a harmonic mask \(H\subseteq X\times X\) and define the admissible three-voice consonances \(X_H\). We then construct a Hichert-type successor relation by applying the ordinary two-voice admitted-successor mechanism to the active pairwise projections. In the twelve-tone Fuxian case, the proposed mask has 26 admissible bass-rooted interval pairs, including complete and incomplete sonorities, and yields a finite directed successor structure.

Motivated by their applications in DNA-based storage systems, codes capable of correcting consecutive deletions have attracted significant attention. An important class of such codes consists of those that can correct multiple consecutive deletion errors, commonly referred to as multiple $b$-burst deletion-correcting codes. In this paper, we investigate the fundamental limits of multiple $b$-burst deletion-correcting codes. Specifically, we first characterize several structural properties of the associated deletion balls. Then, leveraging these properties, we derive several upper bounds and a combinatorial lower bound on the maximum size of such codes. As a consequence, our bounds improve upon the previously known results for general parameter regimes and are shown to be asymptotically optimal for certain cases.

The Burrows--Wheeler transform is usually viewed as a clustering transform: it tends to group equal letters into long runs. We study the opposite extremal regime, where the BWT output is completely unclustered, that is, has as many equal-letter runs as positions. Known results imply, on the one hand, that the number of runs in the BWT of a Lyndon word can increase by at most a factor of two, and, on the other hand, that over every alphabet of size at least three completely unclustered BWT images exist in every length. This leads to the extremal problem lying between these two facts. For \(k\ge3\), let \(U_k(n)\) be the minimum cyclic run number of a primitive necklace of length \(n\) whose BWT has \(n\) runs. We prove the universal lower bound \(U_k(n)\ge\lceil n/2\rceil\), reduce the sharpness problem for one-cycle BWT images \(L\) to the Hamming identity \[ \cruns(\BWT^{-1}(L))=\dH(L,\sort(L)), \] and develop a natural multiset-of-necklaces relaxation with an explicit constant-cycle correction. We compute the small values, including the exceptional value \(U_k(6)=4\), prove a parity obstruction for the Parikh vectors of sharp examples, and determine the multiset relaxation exactly. Finally, for every prime \(p\equiv5\pmod8\) for which \(2\) is a primitive root modulo \(p\), we prove sharpness in the adjacent lengths \(p-1\) and \(p\). Under the corresponding Artin-type infinitude hypothesis, this gives infinitely many adjacent sharp pairs.

We study the extremality properties of rays generated by tautological Chern classes of matroids in the polyhedral nef cones of the permutohedral variety. Our main result provides necessary and sufficient conditions a matroid has to meet for its tautological Chern classes to generate extremal rays. Our approach yields a new and large family of extremal rays that interpolates between two previously known classes coming from rank functions and Bergman classes of matroids. We further discuss how this theorem extends to the stellahedral variety through augmented tautological Chern classes.

The Kleshchev multipartitions arise in the representation theory for the Ariki-Koike algebras. In previous work, Li, Stanton, Xue, Yee, and the author considered a refined enumeration for the $2$-dimensional case, namely, the Kleshchev bipartitions, by invoking the $2$-residue statistic for partitions. In this paper, we make further elaboration by bounding the largest part of the bipartitions and show that the related counting functions are connected with two families of $q$-trinomial coefficients introduced by Andrews and Baxter.

For every $d\geq1$ we give an explicit equal-weight spherical $5$-design in $\mathbb{S}^{d-1}\subset\mathbb{R}^d$ with at most $72d^2$ points. Our approach utilizes recent construction of complex projective $2$-designs based on Sidon sets.

We give a straightforward, self-contained, and natural construction of the Big Witt ring using the eñe product that is defined through the action on zeros of polynomials. This is in contrast with classical constructions of the Big Witt ring that use formulas out of nowhere.