arXiv++ Combinatorics

In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.

We give a degree-one Pieri formula for integral nonsymmetric Jack polynomials. In direct analogy with the symmetric case, its coefficients are described by a combinatorial device called jeu de fleches, a filling of composition diagrams. The proof is self-contained and uses reflection and raising recursions which appear to be new

We construct two stable limit representations of the double affine Hecke algebra of type $(C^\vee,C)$ on the space of almost symmetric Laurent polynomials, namely the positive and negative stable limit representations. Starting from the standard polynomial representation of the finite rank DAHA of type $(C_n^\vee,C_n)$, we study the asymptotic behavior of the Cherednik operators under the two natural rescalings by positive and negative powers of the parameter $t$. We prove that these rescaled Cherednik operators admit well-defined limits on the ring of almost symmetric Laurent polynomials. This yields stable positive and negative actions of a common stable limit DAHA. The action of the limit Cherednik operators is also proven to be triangular on a natural basis of almost symmetric Laurent polynomials labeled by tuple-partition symbols with respect to the induced Bruhat order. We further construct for each of the two stable limit representations a set of simultaneous eigenfunctions of the limit Cherednik operators using the partial symmetrization operators acting on the non-symmetric Koornwinder polynomials. We show that each of the two sets of the eigenfunctions form a basis of the space of almost symmetric Laurent polynomials, and denote them by the positive and negative stable limit Koornwinder polynomials.

Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in the equational calculus of the free non-symmetric, non-unital operad on one binary generator. The vertex restriction of Tonks' projection is obtained by evaluating the head-insertion encoding on the reversed permutation, while the Loday--Ronco map is obtained by evaluating the decreasing encoding. We also give a local operadic proof that Tonks' vertex map is order-preserving from the weak Bruhat order to the Tamari order.

In this paper, we investigate the non-symmetric Strong Spectral Property (nSSP) from a combinatorial perspective. To zero-nonzero patterns of matrices we associate directed graphs and study when they require or allow the nSSP, providing a framework that avoids verifying the nSSP for individual matrices. A new combinatorial method is introduced and used to recognise several patterns that require the nSSP. It is shown that loop assignments in double paths play a critical role in establishing this property, and we show that an open question regarding irreducible tridiagonal patterns has a negative answer. We also investigate whether the minimum number of arcs in a directed graph on $n$ vertices that requires the nSSP, is equal to $2n-1$, and confirm this minimum for several specific digraph families.

We prove that $\frac{\log n}{n}$ is the sharp threshold for universality of the distribution of cokernels of random matrices over $\mathbb{Z}_p$. More precisely, let $α_n = \frac{c\log n}{n}$ for a constant $c>0$ and let $A(n)$ be an $α_n$-balanced random matrix over $\mathbb{Z}_p$. For non-symmetric, symmetric, and alternating matrix models, we prove that if $c>1$, then the limiting distribution of the cokernel of $A(n)$ coincides with the universal distribution of the corresponding symmetry type, whereas universality fails at the critical scale $c=1$. This improves earlier universality results, which required $α_n \gg \frac{\log n}{n}$, to the optimal threshold. As an application, we generalize the universality result for Sylow $p$-subgroups of sandpile groups of Erdős-Rényi random graphs to a broader class of Erdős-Rényi graph sequences. Our approach is based on a unified framework that simultaneously treats all symmetry types of random matrices as well as the random graph model, rather than handling each case separately.

A finite sequence of numbers is perfect if it has zero periodic autocorrelation after a nontrivial cyclic shift. In this work, we study quaternionic perfect sequences having a one-to-one correspondence with the binary sequences arising in Williamson's construction of quaternion-type Hadamard matrices. Using this correspondence, we devise an enumeration algorithm that is significantly faster than previously used algorithms and does not require the sequences to be symmetric. We implement our algorithm and use it to enumerate all circulant and possibly non-symmetric Williamson-type matrices of orders up to 21; previously, the largest order exhaustively enumerated was 13. We prove that when the blocks of a quaternion-type Hadamard matrix are circulant, the blocks are necessarily pairwise amicable. This dramatically improves the filtering power of our algorithm: in order 20, the number of block pairs needing consideration is reduced by a factor of over 25,000. We use our results to construct quaternionic Hadamard matrices of interest in quantum communication and prove they are not equivalent to those constructed by other means. We also study the properties of quaternionic Hadamard matrices analytically, and demonstrate the feasibility of characterizing quaternionic Hadamard matrices with a fixed pattern of entries. These results indicate a richer set of properties and suggest an abundance of quaternionic Hadamard matrices for sufficiently large orders.

We discuss interrelations between eigenfunctions of the Hamiltonians associated with the commutative (integer ray) subalgebras of the Ding-Iohara-Miki algebra and those of the twisted Cherednik system. In the case of $t=q^{-m}$ with natural $m$, eigenfunctions of the first system of Hamiltonians are the twisted Baker-Akhiezer functions (BAFs) introduced by O. Chalykh, while eigenfunctions of the twisted Cherednik Hamiltonians are twisted non-symmetric Macdonald polynomials. Actually, the twisted Cherednik ground state is symmetric and coincides with a peculiar symmetric BAF. We lift this correspondence to excited states, and claim that both Cherednik eigenfunctions and BAF's can be combined to produce symmetric functions, which coincide with each other and are eigenfunctions of the both DIM Hamiltonians and power sums of the twisted Cherednik Hamiltonians at once. This reflects the correspondence between the DIM algebra and the spherical DAHA explicitly.

We explain that the logic behind the derivation of the Noumi-Shiraishi function can be applied directly to the Baker-Akhiezer function (BAF). This amounts to changing an ansatz for BAF to a nested one, where the BAF of N + 1 variables is recursively expressed as a sum over BAFs of N variables. This may be seen as a generalization of symmetrization trick from [1], but for the generally non-symmetric BAF. We demonstrate that, for usual non-twisted (a = 1) BAFs, this method correctly reproduces the Noumi-Shiraishi formula directly from linear equations, resolving the ambiguity related to non-simple roots. For the first non-trivial twisted case (N = 3, a = 2) this method also fixes this ambiguity, moreover, answers for the first few layers of coefficients are in the form of direct quantization of [1].

The common eigenfunctions of the twisted Cherednik operators can be first analyzed in the limit of $q\longrightarrow 1$. Then, the polynomial eigenfunctions form a simple set originating from the symmetric ground state of non-vanishing degree and excitations over it, described by non-symmetric polynomials of higher degrees and enumerated by weak compositions. This pattern is inherited by the full spectrum at $q\neq 1$, which can be considered as a deformation. The whole story looks like a typical NP problem: the Cherednik equations are difficult to solve, but easy to check the solution once it is somehow found.

We consider eigenfunctions of many-body system Hamiltonians associated with generalized (a-twisted) Cherednik operators used in construction of other Hamiltonians: those arising from commutative subalgebras of the Ding-Iohara-Miki (DIM) algebra. The simplest example of these eigenfunctions is provided by non-symmetric Macdonald polynomials, while generally they are constructed basing on the ground state eigenfunction coinciding with the twisted Baker-Akhiezer function being a peculiar (symmetric) eigenfunction of the DIM Hamiltonians. Moreover, the eigenfunctions admit an expansion with universal coefficients so that the dependence on the twist $a$ is hidden only in these ground state eigenfunctions, and we suggest a general formula that allows one to construct these eigenfunctions from non-symmetric Macdonald polynomials. This gives a new twist in theory of integrable systems, which usually puts an accent on symmetric polynomials, and provides a new dimension to the {\it triad} made from the symmetric Macdonald polynomials, untwisted Baker-Akhiezer functions and Noumi-Shiraishi series.

We show that the Kähler-Einstein metrics on the four families of examples of symmetric toric Fano manifolds presented by Batyrev and Selivanova cannot be realized as metrics induced by immersions into projective spaces equipped with Fubini-Study metrics. We obtain a similar conclusion for the non-symmetric examples discovered by Nill and Paffenholz. A consequence is that a centrally symmetric toric Fano manifold admits a Kähler-Einstein metric induced by a projective immersion if and only if it is a product of projective lines. These results provide evidence for a broader conjecture characterizing which Kähler-Einstein metrics can be induced by projective immersions.

The dichromatic and diachromatic numbers of a digraph are the minimum and maximum numbers of colors, respectively, in acyclic and complete colorings of the digraph. In this paper, we construct, for all $r \leq t$, non-symmetric digraphs with dichromatic number $r$ and diachromatic number $t$. Moreover, we discuss the existence of asymmetric digraphs with dichromatic number $ r $ and diachromatic number $ t \geq r $, establishing a quadratic upper bound $ b(r) \leq t $.

We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.

Last passage percolation (LPP) in an $n\times n$ lower triangular domain has nice connections with various generalizations of Schur measures. LPP along an anti-diagonal, from $(1,n)$ to $(n,1)$, gives a distribution of a highest column of a random composition with respect to a Demazure measure (a non-symmetric analog of a Schur measure). LPP along a main diagonal, from $(1,1)$ to $(n,n)$, is distributed as a marginal of a Pfaffian Schur process. In the first case we show that the asymptotics for the constant specialization is governed by the GOE Tracy-Widom distribution, in the second case - by the GSE Tracy-Widom distribution. In the latter case we were also able to study the truncated lower triangular case, obtaining an interesting generalization of the GSE Tracy-Widom distribution.

One approach to study the pseudorandomness properties of walks on expander graphs is to label the vertices of an expander with elements from an alphabet $Σ$, and study the mean of functions over $Σ^n$. We say expander walks $\varepsilon$-fool a function if, for any unbiased labeling of the vertices, the expander walk mean is $\varepsilon$-close to the true mean. We show that: - The class of symmetric functions is $O(|Σ|\cdotλ)$-fooled by expander walks over any generic $λ$-expander, and any alphabet $Σ$ . This generalizes the result of Cohen, Peri, Ta-Shma [STOC'21] which analyzes it for $|Σ| =2$, and exponentially improves the previous bound of $O(|Σ|^{O(|Σ|)}\cdot λ)$, by Golowich and Vadhan [CCC'22]. Additionally, if the expander is a Cayley graph over $\mathbb{Z}_{|Σ|}$, we get a further improved bound of $O(\sqrt{|Σ|}\cdotλ)$. Morever, when $Σ$ is a finite group $G$, we show the following for functions over $G^n$: - The class of symmetric class functions is $O\Big({\frac{\sqrt{|G|}}{D}\cdotλ}\Big)$-fooled by expander walks over "structured" $λ$-expanders, if $G$ is $D$-quasirandom. - We show a lower bound of $Ω(λ)$ for symmetric functions for any finite group $G$ (even for "structured" $λ$-expanders). - We study the Fourier spectrum of a class of non-symmetric functions arising from word maps, and show that they are exponentially fooled by expander walks. Our proof employs Fourier analysis over general groups, which contrasts with earlier works that have studied either the case of $\mathbb{Z}_2$ or $\mathbb{Z}$. This enables us to get quantitatively better bounds even for unstructured sets.

The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong F-conjecture for $\overline{M}_{0,8}$ (and give an alternative proof for $\overline{M}_{0,7})$. Finally, we derive, as a consequence, the F-conjecture for the moduli space of stable curves $\overline{M}_{g}$ up to genus $g\leq 44$.

We classify edge-to-edge tilings of the sphere by congruent pentagons with the edge combination $a^4b$ and with rational angles in degree: they are a one-parameter family of symmetric $a^4b$-pentagonal subdivisions of the tetrahedron with $12$ tiles; a sequence of unique symmetric $a^4b$-pentagons admitting a symmetric $3$-layer earth map tiling by $4m$ tiles for any $m\ge4$, among which each odd $m$ case admits two standard flip modifications; and a unique non-symmetric and degenerate $a^4b$-pentagon admitting a non-symmetric $3$-layer earth map tiling and its standard flip modification with $20$ tiles. The full classification from this series and all induced non-edge-to-edge quadrilateral tilings from degenerate pentagons are summarized with their 3D pictures.

The study of joint equidistributions of mesh patterns 123 and 132 with the same symmetric shadings was recently initiated by Kitaev and Lv, where 75 of 80 potential joint equidistributions were proven. In this paper, we prove 112 out of 126 potential joint equidistributions of mesh patterns 123 and 132 with the same minus antipodal shadings. As a byproduct, we present 562 joint equidistribution results for non-symmetric and non-minus-antipodal shadings. To achieve this, we construct bijections, find recurrence relations, and obtain generating functions. Moreover, we demonstrate that the joint distributions of several pairs of mesh patterns are related to the unsigned Stirling numbers of the first kind.

We initiate a study of sign patterns that require or allow the non-symmetric strong multiplicity property (nSMP). We show that all cycle patterns require the nSMP, regardless of the number of nonzero diagonal entries. We present a class of Hessenberg patterns that require the nSMP. We characterize which star sign patterns require, which allow, and which do not allow the nSMP. We show that if a pattern requires distinct eigenvalues, then it requires the nSMP. Further, we characterize the patterns that allow the nSMP as being precisely the set of patterns that allow distinct eigenvalues, a property that corresponds to a simple feature of the associated digraph. We also characterize the sign patterns of order at most three according to whether they require, allow, or do not allow the nSMP.