International audience
The number of Monotone Triangles with bottom row $k_1 < k_2 < ⋯< k_n$ is given by a polynomial $\alpha (n; k_1,\ldots,k_n)$ in $n$ variables. The evaluation of this polynomial at weakly decreasing sequences $k_1 ≥k_2 ≥⋯≥k_n $turns out to be interpretable as signed enumeration of new combinatorial objects called Decreasing Monotone Triangles. There exist surprising connections between the two classes of objects – in particular it is shown that $\alpha (n;1,2,\ldots,n) = \alpha (2n; n,n,n-1,n-1,\ldots,1,1)$. In perfect analogy to the correspondence between Monotone Triangles and Alternating Sign Matrices, the set of Decreasing Monotone Triangles with bottom row $(n,n,n-1,n-1,\ldots,1,1)$ is in one-to-one correspondence with a certain set of ASM-like matrices, which also play an important role in proving the claimed identity algebraically. Finding a bijective proof remains an open problem.
Le nombre de Triangles Monotones ayant pour dernière ligne $k_1 < k_2 < ⋯< k_n$ est donné par un polynôme $\alpha (n; k_1,\ldots,k_n)$ en $n$ variables. Il se trouve que les valeurs de ce polynôme en les suites décroissantes $k_1 ≥k_2 ≥⋯≥k_n$ peuvent s'interpréter comme l'énumération signée de nouveaux objets appelés Triangles Monotones Décroissants. Il existe des liens surprenants entre ces deux classes d'objets – en particulier on prouvera l'identité $\alpha (n;1,2,\ldots,n) = \alpha (2n; n,n,n-1,n-1,\ldots,1,1)$. En parfaite analogie avec la correspondance entre Triangles Monotones et Matrices à Signe Alternant, l'ensemble des Triangles Monotones Décroissants ayant pour dernière ligne $(n,n,n-1,n-1,\ldots,1,1)$ est en correspondance biunivoque avec un certain ensemble de matrices similaires aux MSAs, ce qui joue un rôle important dans la preuve algébrique de l'identité précédente. C'est un problème ouvert que d'en donner une preuve bijective.
Karp-Miller Trees for a Branching Extension of VASS
