arXiv++ Combinatorics

Since the alternating sign matrix conjecture, proposed by Mills, Robbins, and Rumsey in 1982, was proved by Zeilberger and Kuperberg, several refined enumerations have been considered. In particular, Behrend et al. obtained a quadruply refined enumeration by adding certain parameters. In this paper, we revisit the doubly refined enumeration of alternating sign matrices by adding three parameters: the number of $-1$'s, the position of the $1$ in the first row, and the position of the $1$ in the last row. Using Lascoux's formula on symmetry functions, we derive a new determinantal formula for this doubly refined enumeration. Besides the enumeration conjecture, Mills et al. also proposed a decomposition conjecture, which was subsequently proven by Kuperberg. We present a refinement of that decomposition conjecture.

Simultaneous core partitions have been widely studied in the past 20 years. In 2013, Amdeberhan gave several conjectures on the number, the average size, and the largest size of $(t,t+1)$-core partitions with distinct parts, which was proved and generalized by Straub, Xiong, Nath-Sellers, Zaleski-Zeilberger, Paramonov, and many other mathematicians. In this paper, we introduce a proper self-conjugate partition analog of $(t,t+1)$-core partitions with distinct parts, and derive the number, the average size, and the largest size for such core partitions.

The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ denotes the descent number. This is accomplished by establishing an ${\rm (udr, pk, des)}$-preserving bijection in the spirit of Baker-Jarvis and Sagan's bijective proofs of shuffle-compatibility property of permutation statistics. As an application, our bijection also enables us to prove that the pair $({\rm cpk}, {\rm cdes})$ is cyclic shuffle-compatible, where ${\rm cpk}$ denotes the cyclic peak number and ${\rm cdes}$ denotes the cyclic descent number.

We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quasi-Stirling permutations of multisets. As an application, we provide an alternative proof of the partial $γ$-positivity of the enumerative polynomials on Stirling permutations of multisets.

A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling permutations on the multiset $\mathcal{M}$, and $asc(π)$ (resp. $des(π)$, $plat(π)$) denotes the number of ascents (resp. descents, plateaux) of $π$. Denote by $\mathcal{M}^σ$ the multiset $\{1^{σ_1}, 2^{σ_2}, \ldots, n^{σ_n}\}$, where $σ=(σ_1, σ_2, \ldots, σ_n)$ is an $n$-composition of $K$ for positive integers $K$ and $n$. In this paper, we show that $\overline{Q}_{\mathcal{M}^σ}(t,u,v)=\overline{Q}_{\mathcal{M}^τ}(t,u,v)$ for any two $n$-compositions $σ$ and $τ$ of $K$. This is accomplished by establishing an $(asc, des, plat)$-preserving bijection between $\overline{\mathcal{Q}}_{\mathcal{M}^σ}$ and $\overline{\mathcal{Q}}_{\mathcal{M}^τ}$. As applications, we obtain generalizations of several results for quasi-Stirling permutations on $\mathcal{M}=\{1^k,2^k, \ldots, n^k\}$ obtained by Elizalde and solve an open problem posed by Elizalde.