bluuebunny/crossref_metadata_2025 huggingface dataset:
Generating functions of bipartite maps on orientable surfaces (extended abstract)
Authors: Chapuy Guillaume , Fang Wenjie
Published: August 2021

We compute, for each genus $g$ ≥ 0, the generating function $L$$g$ ≡ $L$$g$($t$;$p$1,$p$2,...) of (labelled) bipartite maps on the orientable surface of genus $g$, with control on all face degrees. We exhibit an explicit change of variables such that for each $g$, $L$$g$ is a rational function in the new variables, computable by an explicit recursion on the genus. The same holds for the generating function $L$$g$ of rooted bipartite maps. The form of the result is strikingly similar to the Goulden/Jackson/Vakil and Goulden/Guay-Paquet/Novak formulas for the generating functions of classical and monotone Hurwitz numbers respectively, which suggests stronger links between these models. Our result strengthens recent results of Kazarian and Zograf, who studied the case where the number of faces is bounded, in the equivalent formalism of dessins d’enfants. Our proofs borrow some ideas from Eynard’s “topological recursion” that he applied in particular to even-faced maps (unconventionally called “bipartite maps” in his work). However, the present paper requires no previous knowledge of this topic and comes with elementary (complex-analysis-free) proofs written in the perspective of formal power series.

Nous calculons, pour chaque genre $g$ ≥ 0, la série génératrice $L$$g$ ≡ $L$$g$($t$;$p$1,$p$2,...) des cartes bipartites (étiquetées) sur la surface orientable de genre $g$, avec contrôle des degrés des faces. On exhibe un changement de variable explicite tel que pour tout $g$, $L$$g$ est une fonction rationnelle des nouvelles variables, calculable par une récurrence explicite sur le genre. La même chose est vraie de la série génératrice $L$$g$ des cartes biparties enracinées. La forme du résultat est similaire aux formules de Goulden/Jackson/Vakil et Goulden/Guay-Paquet/Novak pour les séries génératrices de nombres de Hurwitz classiques et monotones, respectivement, ce qui suggère des liens plus forts entre ces modèles. Notre résultat renforce des résultats récents de Kazarian et Zograf, qui étudient le cas où le nombre de faces est borné, dans le formalisme équivalent des dessins d’enfants. Nos démonstrations utilisent deux idées de la “récurrence topologique” d’Eynard, qu’il a appliquée notamment aux cartes paires (appelées de manière non-standard “cartes biparties” dans son travail). Cela dit, ce papier ne requiert pas de connaissance préliminaire sur ce sujet, et nos démonstrations (sans analyse complexe) sont écrites dans le language des séries formelles.
An extension of Tamari lattices
Authors: Préville-Ratelle Louis-François , Viennot Xavier
Published: August 2021

For any finite path $v$ on the square lattice consisting of north and east unit steps, we construct a poset Tam$(v)$ that consists of all the paths lying weakly above $v$ with the same endpoints as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice. In particular this solves the problem of extending the $m$-Tamari lattice to any pair $(a; b)$ of relatively prime numbers in the context of the so-called rational Catalan combinatorics.For that purpose we introduce the notion of canopy of a binary tree and explicit a bijection between pairs $(u; v)$ of paths in Tam$(v)$ and binary trees with canopy $v$. Let $(\overleftarrow{v})$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order and exchanging east and north steps. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$ and that Tam$(v)$ is isomorphic to the set of binary trees having the canopy $v$, which is an interval of the ordinary Tamari lattice. Thus the usual Tamari lattice is partitioned into (smaller) lattices Tam$(v)$, where the $v$’s are all the paths of length $n-1$ on the square lattice.We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.

Pour tout chemin $v$ sur le réseau carré formé de pas Nord et Est, nous construisons un ensemble partiellement ordonné Tam $(v)$ dont les éléments sont les chemins au dessus de $v$ et ayant les mêmes extrémités. Pour certains choix de $v$ nous retrouvons le classique treillis de Tamari ainsi que son extension $m$-Tamari. En particulier nous résolvons le problème d’étendre le treillis $m$-Tamari à toute paire $(a; b)$ d’entiers premiers entre eux dans le contexte de la combinatoire rationnelle de Catalan.Pour ceci nous introduisons la notion de canopée d’un arbre binaire et explicitons une bijection entre les paires $(u; v)$ de chemins dans Tam$(v)$ et les arbres binaires ayant la canopée $v$. Soit $(\overleftarrow{v})$ le chemin obtenu en lisant les pas en ordre inverse et en échangeant les pas Est et Nord. Nous montrons que Tam$(v)$ est isomorphe au dual de Tam$(\overleftarrow{v})$ et que Tam$(v)$ est isomorphe à l’ensemble des arbres binaires ayant la canopée $v$, qui est un intervalle du treillis de Tamari ordinaire. Ainsi le traditionnel treillis de Tamari admet une partition en plus petits treillis Tam$(v)$, où les $v$ sont tous les chemins de longueur $n-1$ sur le réseau carré. Enfin nous explicitons les liens possibles entre l’ensemble ordonné Tam$(v)$ et (la combinatoire des) espaces diagonaux coinvariants généralisés du groupe symétrique.
Matching Ensembles (Extended Abstract)
Authors: Oh Suho , Yoo Hwanchul
Published: August 2021

We introduce an axiom system for a collection of matchings that describes the triangulation of product of simplices.

Nous introduisons un système d’axiomes pour une collection de couplages qui décrit la triangulation de produit de simplexes.
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Authors: Schwentick Thomas , Barthelmann Klaus
Published: August 2021

Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata models are defined that have, on arbitrary classes of relational structures, exactly the expressive power of first-order logic and existential monadic second-order logic, respectively.
An Involution Principle-Free Bijective Proof of Stanley's Hook-Content Formula
Authors: Krattenthaler Christian
Published: August 2021

A bijective proof for Stanley's hook-content formula for the generating function for column-strict reverse plane partitions of a given shape is given that does not involve the involution principle of Garsia and Milne. It is based on the Hillman-Grassl algorithm and Schützenberger's \emphjeu de taquin.
On the Structure of Valiant's Complexity Classes
Authors: Bürgisser Peter
Published: August 2021

In Valiant developed an algebraic analogue of the theory of NP-completeness for computations of polynomials over a field. We further develop this theory in the spirit of structural complexity and obtain analogues of well-known results by Baker, Gill, and Solovay, Ladner, and Schöning.\par We show that if Valiant's hypothesis is true, then there is a p-definable family, which is neither p-computable nor \textitVNP-complete. More generally, we define the posets of p-degrees and c-degrees of p-definable families and prove that any countable poset can be embedded in either of them, provided Valiant's hypothesis is true. Moreover, we establish the existence of minimal pairs for \textitVP in \textitVNP.\par Over finite fields, we give a \emphspecific example of a family of polynomials which is neither \textitVNP-complete nor p-computable, provided the polynomial hierarchy does not collapse.\par We define relativized complexity classes VP^h and VNP^h and construct complete families in these classes. Moreover, we prove that there is a p-family h satisfying VP^h = VNP^h.
Permutations Containing and Avoiding $\textit{123}$ and $\textit{132}$ Patterns
Authors: Robertson Aaron
Published: August 2021

We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern, equals $(n-2)2^{n-3}$, for $n \ge 3$. We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is $(n-3)(n-4)2^{n-5}$, for $n \ge 5$.
Infinite log-concavity: developments and conjectures
Authors: McNamara Peter R. W. , Sagan Bruce E.
Published: August 2021

Given a sequence $(a_k)=a_0,a_1,a_2,\ldots$ of real numbers, define a new sequence $\mathcal{L}(a_k)=(b_k)$ where $b_k=a_k^2-a_{k-1}a_{k+1}$. So $(a_k)$ is log-concave if and only if $(b_k)$ is a nonnegative sequence. Call $(a_k)$ $\textit{infinitely log-concave}$ if $\mathcal{L}^i(a_k)$ is nonnegative for all $i \geq 1$. Boros and Moll conjectured that the rows of Pascal's triangle are infinitely log-concave. Using a computer and a stronger version of log-concavity, we prove their conjecture for the $n$th row for all $n \leq 1450$. We can also use our methods to give a simple proof of a recent result of Uminsky and Yeats about regions of infinite log-concavity. We investigate related questions about the columns of Pascal's triangle, $q$-analogues, symmetric functions, real-rooted polynomials, and Toeplitz matrices. In addition, we offer several conjectures.

Étant donné une suite $(a_k)=a_0,a_1,a_2,\ldots$ de nombres réels, on définit une nouvelle suite $\mathcal{L}(a_k)=(b_k)$ où $b_k=a_k^2-a_{k-1}a_{k+1}$. Alors $(a_k)$ est log-concave si et seulement si $(b_k)$ est une suite non négative. On dit que $(a_k)$ est $\textit{infiniment log-concave}$ si $\mathcal{L}^i(a_k)$ est non négative pour tout $i \geq 1$. Boros et Moll ont conjecturé que les lignes du triangle de Pascal sont infiniment log-concave. Utilisant un ordinateur et une version plus forte de log-concavité, on vérifie leur conjecture pour la $n$ième ligne, pour tout $n \leq 1450$. On peut aussi utiliser nos méthodes pour donner une preuve simple d'un résultat récent de Uminsky et Yeats à propos des régions de log-concavité infini. Reliées à ces idées, on examine des questions à propos des colonnes du triangle de Pascal, des $q$-analogues, des fonctions symétriques, des polynômes avec racines réelles, et des matrices de Toeplitz. De plus, on offre plusieurs conjectures.
Oriented Multicast Routing Applied to Network Level Agent Search
Authors: Magoni Damien , Pansiot Jean-Jacques
Published: August 2021

Many protocols need a discovery mechanism to enable a given node to locate one or several nodes involved in the same communication. However, there is no protocol ready to fulfill this service at the network-layer. Every protocol usually implements its own solution. In particular, multicast protocols often use a searching technique based on an algorithm called expanding ring search. This algorithm searches for nodes in all directions and thus uses much bandwidth. However a typical search can usually restrict its scan in a specific direction. To enable this broadcast restriction, we propose an oriented multicast routing algorithm. The algorithm's principle is to direct the multicast of packets towards a special node, involved in the communication, in order to search only in a limited area. The area must be as small as possible to reduce network flooding but still has to contain many nodes satisfying the search criteria. This new algorithm is the core part of a network-level node search framework also defined herein. A search protocol based on this framework could provide a network-level agent discovery service to current protocols. We have simulated an agent search with our algorithm on one side and with the expanding ring algorithm on the other side and we give comparative results.
$q$-Hook formula of Gansner type for a generalized Young diagram
Authors: Nakada Kento
Published: August 2021

The purpose of this paper is to present the $q$-hook formula of Gansner type for a generalized Young diagram in the sense of D. Peterson and R. A. Proctor. This gives a far-reaching generalization of a hook length formula due to J. S. Frame, G. de B. Robinson, and R. M. Thrall. Furthurmore, we give a generalization of P. MacMahon's identity as an application of the $q$-hook formula.

Le but de ce papier est présenter la $q$-hook formule de type Gansner pour un Young diagramme généralisé dans le sens de D. Peterson et R. A. Proctor. Cela donne une généralisation de grande envergure d'une hook length formule dû à J. S. Frame, G. de B. Robinson, et R. M. Thrall. Furthurmore, nous donnons une généralisation de l'identité de P. MacMahon comme une application de la $q$-hook formule.
Cluster algebras of unpunctured surfaces and snake graphs
Authors: Musiker Gregg , Schiffler Ralf
Published: August 2021

We study cluster algebras with principal coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of perfect matchings of a certain graph $G_{T,\gamma}$ that is constructed from the surface by recursive glueing of elementary pieces that we call tiles. We also give a second formula for these Laurent polynomial expansions in terms of subgraphs of the graph $G_{T,\gamma}$ .

Nous étudions des algèbres amassées avec coefficients principaux associées aux surfaces. Nous présentons une formule directe pour les développements de Laurent des variables amassées dans ces algèbres en terme de couplages parfaits d'un certain graphe $G_{T,\gamma}$ que l'on construit a partir de la surface en recollant des pièces élémentaires que l'on appelle carreaux. Nous donnons aussi une seconde formule pour ces développements en termes de sous-graphes de $G_{T,\gamma}$ .
The absolute order on the hyperoctahedral group
Authors: Kallipoliti Myrto
Published: August 2021

The absolute order on the hyperoctahedral group $B_n$ is investigated. It is shown that every closed interval in this order is shellable, those closed intervals which are lattices are characterized and their zeta polynomials are computed. Moreover, using the notion of strong constructibility, it is proved that the order ideal generated by the Coxeter elements of $B_n$ is homotopy Cohen-Macaulay and the Euler characteristic of the order complex of the proper part of this ideal is computed. Finally, an example of a non Cohen-Macaulay closed interval in the absolute order on the group $D_4$ is given and the closed intervals of $D_n$ which are lattices are characterized.

Nous étudions l'ordre absolu sur le groupe hyperoctahédral $B_n$. Nous montrons que chaque intervalle fermé de cet ordre est shellable, caractérisons les treillis parmi ces intervalles et calculons les polynômes zêta de ces derniers. De plus, en utilisant la notion de constructibilité forte, nous prouvons que l'idéal engendré par les éléments de Coxeter de $B_n$ est Cohen-Macaulay pour l'homotopie, et nous calculons la caractéristique d'Euler du complexe associé à cet idéal. Pour finir, nous exhibons un exemple d'intervalle fermé non Cohen-Macaulay dans l'ordre absolu du groupe $D_4$, et caractérisons les intervalles fermés de $D_n$ qui sont des treillis.
Chip-Firing And A Devil's Staircase
Authors: Levine Lionel
Published: August 2021

The devil's staircase ― a continuous function on the unit interval $[0,1]$ which is not constant, yet is locally constant on an open dense set ― is the sort of exotic creature a combinatorialist might never expect to encounter in "real life.'' We show how a devil's staircase arises from the combinatorial problem of parallel chip-firing on the complete graph. This staircase helps explain a previously observed "mode locking'' phenomenon, as well as the surprising tendency of parallel chip-firing to find periodic states of small period.
On the 2-adic order of Stirling numbers of the second kind and their differences
Authors: Lengyel Tamás
Published: August 2021

Let $n$ and $k$ be positive integers, $d(k)$ and $\nu_2(k)$ denote the number of ones in the binary representation of $k$ and the highest power of two dividing $k$, respectively. De Wannemacker recently proved for the Stirling numbers of the second kind that $\nu_2(S(2^n,k))=d(k)-1, 1\leq k \leq 2^n$. Here we prove that $\nu_2(S(c2^n,k))=d(k)-1, 1\leq k \leq 2^n$, for any positive integer $c$. We improve and extend this statement in some special cases. For the difference, we obtain lower bounds on $\nu_2(S(c2^{n+1}+u,k)-S(c2^n+u,k))$ for any nonnegative integer $u$, make a conjecture on the exact order and, for $u=0$, prove part of it when $k \leq 6$, or $k \geq 5$ and $d(k) \leq 2$. The proofs rely on congruential identities for power series and polynomials related to the Stirling numbers and Bell polynomials, and some divisibility properties.
On $k$-simplexes in $(2k-1)$-dimensional vector spaces over finite fields
Authors: Vinh Le Anh
Published: August 2021

We show that if the cardinality of a subset of the $(2k-1)$-dimensional vector space over a finite field with $q$ elements is $\gg q^{2k-1-\frac{1}{ 2k}}$, then it contains a positive proportional of all $k$-simplexes up to congruence.

Nous montrons que si la cardinalité d'un sous-ensemble de l'espace vectoriel à $(2k-1)$ dimensions sur un corps fini à $q$ éléments est $\gg q^{2k-1-\frac{1}{ 2k}}$, alors il contient une proportion non-nulle de tous les $k$-simplexes de congruence.
An immanant formulation of the dual canonical basis of the quantum polynomial ring
Authors: Skandera Mark , Lambright Justin
Published: August 2021

We show that dual canonical basis elements of the quantum polynomial ring in $n^2$ variables can be expressed as specializations of dual canonical basis elements of $0$-weight spaces of other quantum polynomial rings. Our results rely upon the natural appearance in the quantum polynomial ring of Kazhdan-Lusztig polynomials, $R$-polynomials, and certain single and double parabolic generalizations of these.

Nous démontrons que des éléments de la base canonique duale de l'anneau quantique des polynômes en $n^2$ variables peuvent s'exprimer en termes des spécialisations d'éléments de la base canonique duale des espaces de poids $0$ d'autres anneaux quantiques. Nos résultats dépendent fortement de l'apparition naturelle des polynômes de Kazhdan-Lusztig, des $R$-polynômes, et de certaines généralisations simplement et doublement paraboliques de ces polynômes dans l'anneau quantique.
Combinatorial Formula for the Hilbert Series of bigraded $S_n$-modules
Authors: Yoo Meesue
Published: August 2021

We introduce a combinatorial way of calculating the Hilbert series of bigraded $S_n$-modules as a weighted sum over standard Young tableaux in the hook shape case. This method is based on Macdonald formula for Hall-Littlewood polynomial and extends the result of $A$. Garsia and $C$. Procesi for the Hilbert series when $q=0$. Moreover, we give the way of associating the fillings giving the monomial terms of Macdonald polynomials to the standard Young tableaux.

Nous introduisons une méthode combinatoire pour calculer la série de Hilbert de modules bigradués de $S_n$ comme une somme pondérée sur les tableaux de Young standards à la forme crochet. Cette méthode se fonde sur la formule Macdonald pour les polynômes Hall-Littlewood et généralise un résultat de $A$. Garsia et $C$. Procesi pour la série de Hilbert dans le cas $q=0$. De plus, nous proposons une méthode pour associer aux tableaux de Young standards les remplissages des monômes des polynômes de Macdonald.
Permutations with Kazhdan-Lusztig polynomial $ P_id,w(q)=1+q^h$
Authors: Woo Alexander
Published: August 2021

Using resolutions of singularities introduced by Cortez and a method for calculating Kazhdan-Lusztig polynomials due to Polo, we prove the conjecture of Billey and Braden characterizing permutations w with Kazhdan-Lusztig polynomial$ P_id,w(q)=1+q^h$ for some $h$.

On démontre la conjecture de Billey et Braden sur les permutations w pour lesquelles le polynôme de Kazhdan-Lusztig $P_id,w(q)=1+q^h$ pour un entier $h$. On emploie une résolution des singularités présentées par Cortez et une méthode de Polo pour calculer ces polynômes.
The poset perspective on alternating sign matrices
Authors: Striker Jessica
Published: August 2021

Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self―complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.

Les matrices à signe alternant (ASMs) sont des matrices carrées dont les coefficients sont 0,1 ou -1, telles que dans chaque ligne et chaque colonne la somme des entrées vaut 1 et les entrées non nulles ont des signes qui alternent. Nous incluons les ASMs dans un cadre plus vaste, en étudiant les idéaux des sous-posets d'un certain poset, dont nous prouvons qu'ils sont en bijection avec de nombreux objets combinatoires intéressants, tels que les ASMs, les partitions planes totalement symétriques autocomplémentaires (TSSCPPs), des objets comptés par les nombres de Catalan, les tournois, les tableaux semistandards, ou les partitions planes totalement symétriques. Nous utilisons ce point de vue pour démontrer un développement de la série génératrice des tournois en une somme portant sur les TSSCPPs, analogue à une formule déjà connue faisant appara\^ıtre les ASMs.
A Combinatorial Approach to Multiplicity-Free Richardson Subvarieties of the Grassmannian
Authors: Snider Michelle
Published: August 2021

We consider Buch's rule for K-theory of the Grassmannian, in the Schur multiplicity-free cases classified by Stembridge. Using a result of Knutson, one sees that Buch's coefficients are related to Möbius inversion. We give a direct combinatorial proof of this by considering the product expansion for Grassmannian Grothendieck polynomials. We end with an extension to the multiplicity-free cases of Thomas and Yong.

On examine la règle de Buch pour la K-théorie de la variété grassmannienne dans les cas sans multiplicité de Schur, qui ont étés classifiés par Stembridge. En utilisant un résultat de Knutson, on démontre que les coefficients de Buch sont liés à l'inversion de Möbius. On en fait une preuve directe et combinatoire qui passe par le developpement de produits de polynômes de Grothendieck. Pour conclure, on donne une application de cette théorie aux cas sans multiplicité de Thomas et Yong.
Colored Tutte polynomials and composite knots
Authors: Hetyei Gábor , Diao Yuanan , Hinson Kenneth
Published: August 2021

Surveying the results of three recent papers and some currently ongoing research, we show how a generalization of Brylawski's tensor product formula to colored graphs may be used to compute the Jones polynomial of some fairly complicated knots and, in the future, even virtual knots.

En faisant une revue de trois articles récents et de la recherche en cours, nous montrons comment une généralisation aux graphes colorés de la formule de Brylawski sur le produit tensoriel peut être utilisée à calculer le polynôme de Jones de quelques nœuds et, dans la future, même de quelques nœuds virtuels, bien compliqués.
The $q=-1$ phenomenon for bounded (plane) partitions via homology concentration
Authors: Hersh P. , Shareshian J. , Stanton D.
Published: August 2021

Algebraic complexes whose "faces'' are indexed by partitions and plane partitions are introduced, and their homology is proven to be concentrated in even dimensions with homology basis indexed by fixed points of an involution, thereby explaining topologically two quite important instances of Stembridge's $q=-1$ phenomenon. A more general framework of invariant and coinvariant complexes with coefficients taken $\mod 2$ is developed, and as a part of this story an analogous topological result for necklaces is conjectured.

Complexes algébriques dont les "faces'' sont indexées par des partitions et des partitions planes sont introduits. Il est démontré que leur homologie est concentrée en dimensions paires, avec base de homologie indexée par des points fixes d'une involution. Ce résultat explique d'une manière topologique deux instances du phénomène $q=-1$ dû a Stembridge. De plus, un cadre plus général des complexes invariants et coinvariants dont les coefficients sont pris modulo $2$ est développé. Comme part de cette histoire, nous conjecturons un résultat analogue pour des colliers.
The Ladder Crystal
Authors: Berg Chris
Published: August 2021

In this paper, we introduce a new model of the crystal $B(\Lambda _0)$ of $\widehat{\mathfrak{sl}_{\ell}}$. We briefly describe some of the properties of this crystal and compare it to the combinatorial model of Misra and Miwa.

Dans cet article on propose un nouveau modèle du cristal $B(\Lambda _0)$ de \$\widehat{\mathfrak{sl}_{\ell}}$. On décrit brièvement les propriétés du cristal et on le compare avec le modèle combinatoire de Misra et Miwa.
Linear time equivalence of Littlewood―Richardson coefficient symmetry maps
Authors: Azenhas Olga , Conflitti Alessandro , Mamede Ricardo
Published: August 2021

Benkart, Sottile, and Stroomer have completely characterized by Knuth and dual Knuth equivalence a bijective proof of the Littlewood―Richardson coefficient conjugation symmetry, i.e. $c_{\mu, \nu}^{\lambda} =c_{\mu^t,\nu^t}^{\lambda ^t}$. Tableau―switching provides an algorithm to produce such a bijective proof. Fulton has shown that the White and the Hanlon―Sundaram maps are versions of that bijection. In this paper one exhibits explicitly the Yamanouchi word produced by that conjugation symmetry map which on its turn leads to a new and very natural version of the same map already considered independently. A consequence of this latter construction is that using notions of Relative Computational Complexity we are allowed to show that this conjugation symmetry map is linear time reducible to the Schützenberger involution and reciprocally. Thus the Benkart―Sottile―Stroomer conjugation symmetry map with the two mentioned versions, the three versions of the commutative symmetry map, and Schützenberger involution, are linear time reducible to each other. This answers a question posed by Pak and Vallejo.

Benkart, Sottile, et Stroomer ont complètement caractérisé par équivalence et équivalence duelle à Knuth une preuve bijective de la symétrie de la conjugaison des coefficients de Littlewood―Richardson, i.e. $c_{\mu, \nu}^{\lambda} =c_{\mu^t,\nu^t}^{\lambda ^t}$. Le tableau-switching donne un algorithme par produire une telle preuve bijective. Fulton a montré que les bijections de White et de Hanlon et Sundaram sont des versions de cette bijection. Dans ce papier on exhibe explicitement le mot de Yamanouchi produit par cette bijection de conjugaison lequel à son tour conduit à une nouvelle version très naturelle de la même bijection déjà considérée indépendamment. Une conséquence de cette dernière construction c'est qu'en utilisant des notions de Complexité Computationnelle Relative nous pouvons montrer que cette bijection de symétrie de la conjugaison est linéairement réductible à l'involution de Schützenberger et réciproquement. Ainsi la bijection de symétrie de la conjugaison de Benkart, Sottile et Stroomer avec les deux versions mentionnées, tout comme les trois versions de la bijection de la commutativité, et l'involution de Schützenberger sont linéairement réductibles les unes aux autres. Ça répond à une question posée par Pak et Vallejo.
The Hiring Problem and Permutations
Authors: Archibald Margaret , Martínez Conrado
Published: August 2021

The $\textit{hiring problem}$ has been recently introduced by Broder et al. in last year's ACM-SIAM Symp. on Discrete Algorithms (SODA 2008), as a simple model for decision making under uncertainty. Candidates are interviewed in a sequential fashion, each one endowed with a quality score, and decisions to hire or discard them must be taken on the fly. The goal is to maintain a good rate of hiring while improving the "average'' quality of the hired staff. We provide here an alternative formulation of the hiring problem in combinatorial terms. This combinatorial model allows us the systematic use of techniques from combinatorial analysis, e. g., generating functions, to study the problem. Consider a permutation $\sigma :[1,\ldots, n] \to [1,\ldots, n]$. We process this permutation in a sequential fashion, so that at step $i$, we see the score or quality of candidate $i$, which is actually her face value $\sigma (i)$. Thus $\sigma (i)$ is the rank of candidate $i$; the best candidate among the $n$ gets rank $n$, while the worst one gets rank $1$. We define $\textit{rank-based}$ strategies, those that take their decisions using only the relative rank of the current candidate compared to the score of the previous candidates. For these strategies we can prove general theorems about the number of hired candidates in a permutation of length $n$, the time of the last hiring, and the average quality of the last hired candidate, using techniques from the area of analytic combinatorics. We apply these general results to specific strategies like hiring above the best, hiring above the median or hiring above the $m$th best; some of our results provide a complementary view to those of Broder et al., but on the other hand, our general results apply to a large family of hiring strategies, not just to specific cases.
A kicking basis for the two column Garsia-Haiman modules
Authors: Assaf Sami , Garsia Adriano
Published: August 2021

In the early 1990s, Garsia and Haiman conjectured that the dimension of the Garsia-Haiman module $R_{\mu}$ is $n!$, and they showed that the resolution of this conjecture implies the Macdonald Positivity Conjecture. Haiman proved these conjectures in 2001 using algebraic geometry, but the question remains to find an explicit basis for $R_{\mu}$ which would give a simple proof of the dimension. Using the theory of Orbit Harmonics developed by Garsia and Haiman, we present a "kicking basis" for $R_{\mu}$ when $\mu$ has two columns.
Riffle shuffles of a deck with repeated cards
Authors: Assaf Sami , Diaconis Persi , Soundararajan K.
Published: August 2021

We study the Gilbert-Shannon-Reeds model for riffle shuffles and ask 'How many times must a deck of cards be shuffled for the deck to be in close to random order?'. In 1992, Bayer and Diaconis gave a solution which gives exact and asymptotic results for all decks of practical interest, e.g. a deck of 52 cards. But what if one only cares about the colors of the cards or disregards the suits focusing solely on the ranks? More generally, how does the rate of convergence of a Markov chain change if we are interested in only certain features? Our exploration of this problem takes us through random walks on groups and their cosets, discovering along the way exact formulas leading to interesting combinatorics, an 'amazing matrix', and new analytic methods which produce a completely general asymptotic solution that is remarkable accurate.
Matroid Polytopes and Their Volumes
Authors: Ardila Federico , Benedetti Carolina , Doker Jeffrey
Published: August 2021

We express the matroid polytope $P_M$ of a matroid $M$ as a signed Minkowski sum of simplices, and obtain a formula for the volume of $P_M$. This gives a combinatorial expression for the degree of an arbitrary torus orbit closure in the Grassmannian $Gr_{k,n}$. We then derive analogous results for the independent set polytope and the associated flag matroid polytope of $M$. Our proofs are based on a natural extension of Postnikov's theory of generalized permutohedra.

On exprime le polytope matroïde $P_M$ d'un matroïde $M$ comme somme signée de Minkowski de simplices, et on obtient une formule pour le volume de $P_M$. Ceci donne une expression combinatoire pour le degré d'une clôture d'orbite de tore dans la Grassmannienne $Gr_{k,n}$. Ensuite, on déduit des résultats analogues pour le polytope ensemble indépendant et pour le polytope matroïde drapeau associé à $M$. Nos preuves sont fondées sur une extension naturelle de la théorie de Postnikov de permutoèdres généralisés.
A preorder-free construction of the Kazhdan-Lusztig representations of $S_n$, with connections to the Clausen representations
Authors: Buehrle Charles , Skandera Mark
Published: August 2021

We use the polynomial ring $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ to modify the Kazhdan-Lusztig construction of irreducible $S_n$-modules. This modified construction produces exactly the same matrices as the original construction in [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], but does not employ the Kazhdan-Lusztig preorders. We also show that our modules are related by unitriangular transition matrices to those constructed by Clausen in [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. This provides a $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analog of results of Garsia-McLarnan in [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)].

Nous utilisons l'anneau $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$ pour modifier la construction Kazhdan-Lusztig des modules-$S_n$ irréductibles dans $\mathbb{C}[S_n]$. Cette construction modifiée produit exactement les mêmes matrices que la construction originale dans [$\textit{Invent. Math}$ $\mathbf{53}$ (1979)], mais sans employer les préordres de Kazhdan-Lusztig. Nous montrons aussi que nos modules sont reliés par des matrices unitriangulaires aux modules construits par Clausen dans [$\textit{J. Symbolic Comput.}$ $\textbf{11}$ (1991)]. Ce résultat donne un $\mathbb{C}[x_{1,1},\ldots,x_{n,n}]$-analogue des résultats de Garsia-McLarnan dans [$\textit{Adv. Math.}$ $\textbf{69}$ (1988)].
On the Monotone Column Permanent conjecture
Authors: Haglund James , Visontai Mirkó
Published: August 2021

We discuss some recent progress on the Monotone Column Permanent (MCP) conjecture. We use a general method for proving that a univariate polynomial has real roots only, namely by showing that a corresponding multivariate polynomial is stable. Recent connections between stability of polynomials and the strong Rayleigh property revealed by Brändén allows for a computationally feasible check of stability for multi-affine polynomials. Using this method we obtain a simpler proof for the $n=3$ case of the MCP conjecture, and a new proof for the $n=4$ case. We also show a multivariate version of the stability of Eulerian polynomials for $n \leq 5$ which arises as a special case of the multivariate MCP conjecture.

Nous présentons des développements récents concernant la conjecture Monotone Column Permanent (MCP). Nous utilisons une méthode générale pour prouver qu’un polynôme univarié a uniquement des racines réelles, c’est-à-dire que nous prouvons qu’un polynôme correspondant a plusieurs variables est stable. Les nouveaux liens, établis par Brändén, entre la stabilité des polynômes et la propriété forte de Rayleigh, permettent de vérifier facilement la stabilité de polynômes multi-affines. En utilisant cette méthode nous obtenons une preuve plus simple pour la conjecture MCP pour le cas $n=3$, et la première preuve pour le cas $n=4$. Nous présentons également une version multivariée de stabilité des polynômes d’Euler pour le cas $n \leq 5$, qui apparaît comme un cas spécial de la conjecture MCP multivariée.
A max-flow algorithm for positivity of Littlewood-Richardson coefficients
Authors: Bürgisser Peter , Ikenmeyer Christian
Published: August 2021

Littlewood-Richardson coefficients are the multiplicities in the tensor product decomposition of two irreducible representations of the general linear group $\mathrm{GL}(n,\mathbb{C})$. They have a wide variety of interpretations in combinatorics, representation theory and geometry. Mulmuley and Sohoni pointed out that it is possible to decide the positivity of Littlewood-Richardson coefficients in polynomial time. This follows by combining the saturation property of Littlewood-Richardson coefficients (shown by Knutson and Tao 1999) with the well-known fact that linear optimization is solvable in polynomial time. We design an explicit $\textit{combinatorial}$ polynomial time algorithm for deciding the positivity of Littlewood-Richardson coefficients. This algorithm is highly adapted to the problem and it is based on ideas from the theory of optimizing flows in networks.

Les coefficients de Littlewood-Richardson sont les multiplicités dans la décomposition du produit tensoriel de deux représentations irréductibles du groupe général linéaire $\mathrm{GL}(n,\mathbb{C})$. Ces coefficients ont plusieurs interprétations en combinatoire, en théorie des représentations et en géométrie. Mulmuley et Sohoni ont observé qu'on peut décider si un coefficient de Littlewood-Richardson est positif en temps polynomial. C'est une conséquence de la propriété de saturation des coefficients de Littlewood-Richardson (démontrée par Knutson et Tao en 1999) et le fait bien connu que la programmation linéaire est possible en temps polynomial. Nous décrivons un algorithme $\textit{combinatoire}$ pour décider si un coefficient de Littlewood-Richardson est positif. Cet algorithme est bien adapté au problème et il utilise des idées de la théorie des flots maximaux sur des réseaux.
Renewal theory in analysis of tries and strings: Extended abstract
Authors: Janson Svante
Published: August 2021

We give a survey of a number of simple applications of renewal theory to problems on random strings, in particular to tries and Khodak and Tunstall codes.
The analysis of a prioritised probabilistic algorithm to find large induced forests in regular graphs with large girth
Authors: Hoppen Carlos
Published: August 2021

The analysis of probabilistic algorithms has proved to be very successful for finding asymptotic bounds on parameters of random regular graphs. In this paper, we show that similar ideas may be used to obtain deterministic bounds for one such parameter in the case of regular graphs with large girth. More precisely, we address the problem of finding a large induced forest in a graph $G$, by which we mean an acyclic induced subgraph of $G$ with a lot of vertices. For a fixed integer $r \geq 3$, we obtain new lower bounds on the size of a maximum induced forest in graphs with maximum degree $r$ and large girth. These bounds are derived from the solution of a system of differential equations that arises naturally in the analysis of an iterative probabilistic procedure to generate an induced forest in a graph. Numerical approximations suggest that these bounds improve substantially the best previous bounds. Moreover, they improve previous asymptotic lower bounds on the size of a maximum induced forest in a random regular graph.
Random Generation Using Binomial Approximations
Authors: Gouyou-Beauchamps Dominique , Nicaud Cyril
Published: August 2021

Generalizing an idea used by Alonso to generate uniformly at random Motzkin words, we outline an approach to build efficient random generators using binomial distributions and rejection algorithms. As an application of this method, we present random generators, both efficient and easy to implement, for partial injections and colored unary-binary trees.
The degree distribution in unlabelled $2$-connected graph families
Authors: Kraus Veronika
Published: August 2021

We study the random variable $X_n^k$, counting the number of vertices of degree $k$ in a randomly chosen $2$-connected graph of given families. We prove a central limit theorem for $X_n^k$ with expected value $\mathbb{E}X_n^k \sim \mu_kn$ and variance $\mathbb{V}X_n^k \sim \sigma_k^2n$, both asymptotically linear in $n$, for both rooted and unrooted unlabelled $2$-connected outerplanar or series-parallel graphs.
Asymptotic Rational Approximation To Pi: Solution of an "Unsolved Problem'' Posed By Herbert Wilf
Authors: Ward Mark Daniel
Published: August 2021

The webpage of Herbert Wilf describes eight Unsolved Problems. Here, we completely resolve the third of these eight problems. The task seems innocent: find the first term of the asymptotic behavior of the coefficients of an ordinary generating function, whose coefficients naturally yield rational approximations to $\pi$. Upon closer examination, however, the analysis is fraught with difficulties. For instance, the function is the composition of three functions, but the innermost function has a non-zero constant term, so many standard techniques for analyzing function compositions will completely fail. Additionally, the signs of the coefficients are neither all positive, nor alternating in a regular manner. The generating function involves both a square root and an arctangent. The complex-valued square root and arctangent functions each rely on complex logarithms, which are multivalued and fundamentally depend on branch cuts. These multiple values and branch cuts make the function extremely tedious to visualize using Maple. We provide a complete asymptotic analysis of the coefficients of Wilf's generating function. The asymptotic expansion is naturally additive (not multiplicative); each term of the expansion contains oscillations, which we precisely characterize. The proofs rely on complex analysis, in particular, singularity analysis (which, in turn, rely on a Hankel contour and transfer theorems).
No Shannon effect on probability distributions on Boolean functions induced by random expressions
Authors: Genitrini Antoine , Gittenberger Bernhard
Published: August 2021

The Shannon effect states that "almost all'' Boolean functions have a complexity close to the maximal possible for the uniform probability distribution. In this paper we use some probability distributions on functions, induced by random expressions, and prove that this model does not exhibit the Shannon effect.
Analyzing a Weighted Digital Sum Variant
Authors: Cheung Y. K. , Golin Mordecai
Published: August 2021

Consider the following weighted digital sum (WDS) variant: write integer $n$ as $n=2^{i_1} + 2^{i_2} + \cdots + 2^{i_k}$ with $i_1 > i_2 > \cdots > i_k \geq 0$ and set $W_M(n) := \sum_{t=1}^k t^M 2^{i_t}$. This type of weighted digital sum arises (when $M=1$) in the analysis of bottom-up mergesort but is not "smooth'' enough to permit a clean analysis. We therefore analyze its average $TW_M(n) := \frac{1}{n}\sum_{j \gt n} W_M(j)$. We show that $TW_M(n)$ has a solution of the form $n G_M(\lg n) + d_M \lg ^M n + \sum\limits_{d=0}^{M-1}(\lg ^d n)G_{M,d}(\lg n)$, where $d_M$ is a constant and $G_M(u), G_{M,d}(u)$'s are periodic functions with period one (given by absolutely convergent Fourier series).
A Note on Invariant Random Variables
Authors: Cichoń Jacek , Klonowski Marek
Published: August 2021

In this paper we present a simple theory, based on the notion of group action on a set, which explains why processes of throwing random sets of points and throwing random lines are similar up to the second moment of counting functions connected with them. We also discuss other applications of this method and show how to calculate higher moments using the group acting on a set.
Defect Effect of Bi-infinite Words in the Two-element Case
Authors: Maňuch Ján
Published: August 2021

Let X be a two-element set of words over a finite alphabet. If a bi-infinite word possesses two X-factorizations which are not shiftequivalent, then the primitive roots of the words in X are conjugates. Note, that this is a strict sharpening of a defect theorem for bi-infinite words stated in \emphKMP. Moreover, we prove that there is at most one bi-infinite word possessing two different X-factorizations and give a necessary and sufficient conditions on X for the existence of such a word. Finally, we prove that the family of sets X for which such a word exists is parameterizable.
Combinatorial aspects of pyramids of one-dimensional pieces of fixed integer length
Authors: Durhuus Bergfinnur , Eilers Søren
Published: August 2021

We consider pyramids made of one-dimensional pieces of fixed integer length $a$ and which may have pairwise overlaps of integer length from $1$ to $a$. We give a combinatorial proof that the number of pyramids of size $m$, i.e., consisting of $m$ pieces, equals $\binom{am-1}{m-1}$ for each $a \geq 2$. This generalises a well known result for $a=2$. A bijective correspondence between so-called right (or left) pyramids and $a$-ary trees is pointed out, and it is shown that asymptotically the average width of pyramids equals $\sqrt{\frac{\pi}{2} a(a-1)m}$.
Induced acyclic subgraphs in random digraphs: Improved bounds
Authors: Dutta Kunal , Subramanian C. R.
Published: August 2021

Given a simple directed graph $D = (V,A)$, let the size of the largest induced directed acyclic graph $\textit{(dag)}$ be denoted by $mas(D)$. Let $D \in \mathcal{D}(n,p)$ be a $\textit{random}$ instance, obtained by choosing each of the $\binom{n}{2}$ possible undirected edges independently with probability $2p$ and then orienting each chosen edge independently in one of two possible directions with probabibility $1/2$. We obtain improved bounds on the range of concentration, upper and lower bounds of $mas(D)$. Our main result is that $mas(D) \geq \lfloor 2\log_q np - X \rfloor$ where $q = (1-p)^{-1}, X=W$ if $p \geq n^{-1/3+\epsilon}$ ($\epsilon > 0$ is any constant), $X=W/(\ln q)$ if $p \geq n^{-1/2}(\ln n)^2$, and $W$ is a suitably large constant. where we have an $O(\ln \ln np/\ln q)$ term instead of $W$. This improves the previously known lower bound with an $O(\ln \ln np/\ln q)$ term instead of $W$. We also obtain a slight improvement on the upper bound, using an upper bound on the number of acyclic orientations of an undirected graph. We also analyze a polynomial-time heuristic to find a large induced dag and show that it produces a solution whose size is at least $\log _q np + \Theta (\sqrt{\log_q np})$.
Asymptotics of Decomposable Combinatorial Structures of Alg-Log Type With Positive Log Exponent
Authors: Gao Zhicheng , Laferrière David , Panario Daniel
Published: August 2021

We consider the multiset construction of decomposable structures with component generating function $C(z)$ of alg-log type, $\textit{i.e.}$, $C(z) = (1-z)^{-\alpha} (\log \frac{1}{ 1-z})^{\beta}$. We provide asymptotic results for the number of labeled objects of size $n$ in the case when $\alpha$ is positive and $\beta$ is positive and in the case $\alpha = 0$ and $\beta \geq 2$. The case $0<-\alpha <1$ and any $\beta$ and the case $\alpha > 0$ and $\beta = 0$ have been treated in previous papers. Our results extend previous work of Wright.
Digital Trees and Memoryless Sources: from Arithmetics to Analysis
Authors: Flajolet Philippe , Roux Mathieu , Vallée Brigitte
Published: August 2021

Digital trees, also known as $\textit{"tries''}$, are fundamental to a number of algorithmic schemes, including radix-based searching and sorting, lossless text compression, dynamic hashing algorithms, communication protocols of the tree or stack type, distributed leader election, and so on. This extended abstract develops the asymptotic form of expectations of the main parameters of interest, such as tree size and path length. The analysis is conducted under the simplest of all probabilistic models; namely, the $\textit{memoryless source}$, under which letters that data items are comprised of are drawn independently from a fixed (finite) probability distribution. The precise asymptotic structure of the parameters' expectations is shown to depend on fine singular properties in the complex plane of a ubiquitous $\textit{Dirichlet series}$. Consequences include the characterization of a broad range of asymptotic regimes for error terms associated with trie parameters, as well as a classification that depends on specific $\textit{arithmetic properties}$, especially irrationality measures, of the sources under consideration.