bluuebunny/crossref_metadata_2025 huggingface dataset:
Mixing Times of Plane Random Rhombus Tilings
Authors: Destainville Nicolas
Published: August 2021

We address the question of single flip discrete dynamics in sets of two-dimensional random rhombus tilings with fixed polygonal boundaries. Single flips are local rearrangements of tiles which enable to sample the configuration sets of tilings via Markov chains. We determine the convergence rates of these dynamical processes towards the statistical equilibrium distributions and we demonstrate that the dynamics are rapidly mixing: the ergodic times are polynomial in the number of tiles up to logarithmic corrections. We use an inherent symmetry of tiling sets which enables to decompose them into smaller subsets where a technique from probability theory, the so-called coupling technique, can be applied. We also point out an interesting occurrence in this work of extreme-value statistics, namely Gumbel distributions.
A Reciprocity Theorem for Monomer-Dimer Coverings
Authors: Anzalone Nick , Baldwin John , Bronshtein Ilya , Petersen Kyle
Published: August 2021

The problem of counting monomer-dimer coverings of a lattice is a longstanding problem in statistical mechanics.It has only been exactly solved for the special case of dimer coverings in two dimensions ([Ka61], [TF61]). In earlier work, Stanley [St85] proved a reciprocity principle governing the number $N(m,n)$ of dimer coverings of an $m$ by $n$ rectangular grid (also known as perfect matchings), where $m$ is fixed and $n$ is allowed to vary. As reinterpreted by Propp [P01], Stanley's result concerns the unique way of extending $N(m,n)$ to $n<0$ so that the resulting bi-infinite sequence, $N(m,n)$ for $n \in \mathbb{Z}$, satisfies a linear recurrence relation with constant coefficients. In particular, Stanley shows that $N(m,n)$ is always an integer satisfying the relation $N(m,-2-n) = \varepsilon_{m,n} N(m,n)$ where $\varepsilon_{m,n}=1$ unless $m \equiv 2(\mod 4)$ and $n$ is odd, in which case $\varepsilon_{m,n}=-1$. Furthermore, Propp's method was applicable to higher-dimensional cases.This paper discusses similar investigations of the numbers $M(m,n)$, of monomer-dimer coverings, or equivalently (not necessarily perfect) matchings of an $m$ by $n$ rectangular grid. We show that for each fixed $m$ there is a unique way of extending $M(m,n)$ to $n<0$ so that the resulting bi-infinite sequence, $M(m,n)$ for $n \in \mathbb{Z}$, satisfies a linear recurrence relation with constant coefficients.We show that $M(m,n)$, a priori a rational number, is always an integer, using a generalization of the combinatorial model offered by Propp. Lastly, we give a new statement of reciprocity in terms of multivariate generating functions from which Stanley's result follows.
Enumeration of convex polyominoes using the ECO method
Authors: Del Lungo A. , Duchi E. , Frosini A. , Rinaldi S.
Published: August 2021

ECO is a method for the enumeration of classes of combinatorial objects based on recursive constructions of such classes. In the first part of this paper we present a construction for the class of convex polyominoes based on the ECO method. Then we translate this construction into a succession rule. The final goal of the paper is to determine the generating function of convex polyominoes according to the semi-perimeter, and it is achieved by applying an idea introduced in [11].
A symbolic projection of Langton's Ant
Authors: Gajardo Anahi
Published: August 2021

The Langton's ant is studied from the point of view of topological dynamical systems. A new approach which associate a subshift to the system is proposed.The transition rule is generalized to the family of bi-regular graphs $\Gamma(k,d)$ and the dependence of the dynamical system on $k$ and $d$ is analyzed. A classification of the $\Gamma (k,d)$ graphs based on the dynamical properties of the subshift is established. Also a hierarchy is defined on the graphs through the subset relation of the respective subshifts. The analysis are worked out by establishing an algebraic characterization of the forbidden words of the subshift.
Evidence for intermittency in a granular medium: experiments and simulations.
Authors: Schmick Malte , Markus Mario
Published: August 2021

We present the first experimental demonstration of intermittency in a granular medium. The medium consists of magnets embedded within spheres. These spheres are placed in a horizontal Petri dish where they roll by virtue of an alternating, homogenous magnetic field. Due to collisions with the wall, clustering leads to self-organization into ring pieces circulating along the wall. The intermi ttent behaviour consists of an aperiodical alternation of this circular motion with a gaslike state extended over the entire dish. Molecular dynamic simulations agree with observations
Poset vectors and generalized permutohedra
Authors: Croitoru Dorian , Oh Suho , Postnikov Alexander
Published: August 2021

We show that given a poset $P$ and and a subposet $Q$, the integer points obtained by restricting linear extensions of $P$ to $Q$ can be explained via integer lattice points of a generalized permutohedron.

Nous montrons que, étant donné un poset $P$ et un subposet $Q$, les points entiers obtenus en restreignant les extensions linéaires de $P$ à $Q$peuvent être expliqués par les points entiers d’un permutohedron généralisé.
On the Topology of the Cambrian Semilattices
Authors: Kallipoliti Myrto , Mühle Henri
Published: August 2021

For an arbitrary Coxeter group $W$, David Speyer and Nathan Reading defined Cambrian semilattices $C_{\gamma}$ as certain sub-semilattices of the weak order on $W$. In this article, we define an edge-labelling using the realization of Cambrian semilattices in terms of $\gamma$-sortable elements, and show that this is an EL-labelling for every closed interval of $C_{\gamma}$. In addition, we use our labelling to show that every finite open interval in a Cambrian semilattice is either contractible or spherical, and we characterize the spherical intervals, generalizing a result by Nathan Reading.

Pour tout groupe de Coxeter $W$, David Speyer et Nathan Reading ont défini les demi-treillis Cambriens comme certains sous-demi-treillis de l’ordre faible sur $W$. Dans cet article, nous définissons un étiquetage des arêtes basé sur la réalisation des demi-treillis Cambriens en termes d’éléments$\gamma$-triables, et prouvons que c’est un étiquetage EL pour tout intervalle fermé de $C_{\gamma}$. Nous utilisons de plus cet étiquetage pour ontrer que tout intervalle ouvert fini dans un demi-treillis Cambrien est soit contractile soit sphérique, et nous caractérisons les intervalles sphériques,généralisant ainsi un résultat de Nathan Reading.
Redfield-Pólya theorem in $\mathrm{WSym}$
Authors: Bultel Jean-Paul , Chouria Ali , Luque Jean-Gabriel , Mallet Olivier
Published: August 2021

We give noncommutative versions of the Redfield-Pólya theorem in $\mathrm{WSym}$, the algebra of word symmetric functions, and in other related combinatorial Hopf algebras.

Nous donnons des versions non-commutatives du théorème d’énumération de Redfield-Pólya dans $\mathrm{WSym}$, l’algèbre des fonctions symétriques sur les mots, ainsi que dans d’autres algèbres de Hopf combinatoires.
EL-labelings and canonical spanning trees for subword complexes
Authors: Pilaud Vincent , Stump Christian
Published: August 2021

We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.
Generalized monotone triangles
Authors: Riegler Lukas
Published: August 2021

In a recent work, the combinatorial interpretation of the polynomial $\alpha (n; k_1,k_2,\ldots,k_n)$ counting the number of Monotone Triangles with bottom row $k_1 < k_2 < ⋯< k_n$ was extended to weakly decreasing sequences $k_1 ≥k_2 ≥⋯≥k_n$. In this case the evaluation of the polynomial is equal to a signed enumeration of objects called Decreasing Monotone Triangles. In this paper we define Generalized Monotone Triangles – a joint generalization of both ordinary Monotone Triangles and Decreasing Monotone Triangles. As main result of the paper we prove that the evaluation of $\alpha (n; k_1,k_2,\ldots,k_n)$ at arbitrary $(k_1,k_2,\ldots,k_n) ∈ \mathbb{Z}^n$ is a signed enumeration of Generalized Monotone Triangles with bottom row $(k_1,k_2,\ldots,k_n)$. Computational experiments indicate that certain evaluations of the polynomial at integral sequences yield well-known round numbers related to Alternating Sign Matrices. The main result provides a combinatorial interpretation of the conjectured identities and could turn out useful in giving bijective proofs.
Arc-Coloured Permutations
Authors: Yen Lily
Published: August 2021

The equidistribution of many crossing and nesting statistics exists in several combinatorial objects like matchings, set partitions, permutations, and embedded labelled graphs. The involutions switching nesting and crossing numbers for set partitions given by Krattenthaler, also by Chen, Deng, Du, Stanley, and Yan, and for permutations given by Burrill, Mishna, and Post involved passing through tableau-like objects. Recently, Chen and Guo for matchings, and Marberg for set partitions extended the result to coloured arc annotated diagrams. We prove that symmetric joint distribution continues to hold for arc-coloured permutations. As in Marberg's recent work, but through a different interpretation, we also conclude that the ordinary generating functions for all j-noncrossing, k-nonnesting, r-coloured permutations according to size n are rational functions. We use the interpretation to automate the generation of these rational series for both noncrossing and nonnesting coloured set partitions and permutations. otherlanguage*french L'équidistribution de plusieurs statistiques décrites en termes d'emboitements et de chevauchements d'arcs s'observes dans plusieurs familles d'objects combinatoires, tels que les couplages, partitions d'ensembles, permutations et graphes étiquetés. L'involution échangeant le nombre d'emboitements et de chevauchements dans les partitions d'ensemble due à Krattenthaler, et aussi Chen, Deng, Du, Stanley et Yan, et l'involution similaire dans les permutations due à Burrill, Mishna et Post, requièrent d'utiliser des objets de type tableaux. Récemment, Chen et Guo pour les couplages, et Marberg pour les partitions d'ensembles, ont étendu ces résultats au cas de diagrammes arc-annotés coloriés. Nous démontrons que la propriété d'équidistribution s'observe est aussi vraie dans le cas de permutations aux arcs coloriés. Tout comme dans le travail résent de Marberg, mais via un autre chemin, nous montrons que les séries génératrices ordinaires des permutations r-coloriées ayant au plus j chevauchements et k emboitements, comptées selon la taille n, sont des fonctions rationnelles. Nous décrivons aussi des algorithmes permettant de calculer ces fonctions rationnelles pour les partitions d'ensembles et les permutations coloriées sans emboitement ou sans chevauchement. otherlanguage*
Number of standard strong marked tableaux
Authors: Fishel Susanna , Konvalinka Matjaž
Published: August 2021

Many results involving Schur functions have analogues involving $k-$Schur functions. Standard strong marked tableaux play a role for $k-$Schur functions similar to the role standard Young tableaux play for Schur functions. We discuss results and conjectures toward an analogue of the hook length formula.

De nombreux résultats impliquant les fonctions de Schur possèdent des analogues pour les fonctions de k-Schur. Les tableaux standard fortement marqués jouent un rôle pour les fonctions de k-Schur semblable á celui joué par les tableaux de Young pour les fonctions de Schur. Nous proposons ici des résultats et conjectures vers un analogue de la formule des équerres.
Generation modulo the action of a permutation group
Authors: Borie Nicolas
Published: August 2021

Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.
Algebraic properties for some permutation statistics
Authors: Vong Vincent
Published: August 2021

In this article, we study some quotient sets on permutations built from peaks, valleys, double rises and double descents. One part is dedicated to the enumeration of the cosets using the bijection of Francon-Viennot which is a bijection between permutations and the so-called Laguerre histories. Then we study the algebraic properties of these quotient sets. After having shown that some of them give rise to quotient algebras of $\mathbf{FQSym}$, we prove that they are also free.
Special issue: 'Lie Computations'
Authors: Jacob Gérard , Koseleff Pierre-Vincent
Published: August 2021

This special issue is an outgrowth of the MEDICIS thematic workshop on Lie Computations that was held at the Centre International de Rencontres Mathématiques in Marseilles in November 1994. It was jointly sponsored by the Groupe de Recherche MEDICIS, the CIRM (Société Mathématique de France), and the European project INTAS 93-30.
Patterns in matchings and rook placements
Authors: Bloom Jonathan , Elizalde Sergi
Published: August 2021

Extending the notion of pattern avoidance in permutations, we study matchings and set partitions whose arc diagram representation avoids a given configuration of three arcs. These configurations, which generalize 3-crossings and 3-nestings, have an interpretation, in the case of matchings, in terms of patterns in full rook placements on Ferrers boards. We enumerate 312-avoiding matchings and partitions, obtaining algebraic generating functions, unlike in the 321-avoiding (i.e., 3-noncrossing) case. Our approach also provides a more direct proof of a formula of Bóna for the number of 1342-avoiding permutations. Additionally, we give a bijection proving the shape-Wilf-equivalence of the patterns 321 and 213 which simplifies existing proofs by Backelin–West–Xin and Jelínek.
A Murnaghan-Nakayama Rule for Generalized Demazure Atoms
Authors: LoBue Jamine , Remmel Jeffrey B.
Published: August 2021

We prove an analogue of the Murnaghan-Nakayama rule to express the product of a power symmetric function and a generalized Demazure atom in terms of generalized Demazure atoms.
Finely homogeneous computations in free Lie algebras
Authors: Andary Philippe
Published: August 2021

We first give a fast algorithm to compute the maximal Lyndon word (with respect to lexicographic order) of \textitLy_α (A) for every given multidegree alpha in \textbfN^k. We then give an algorithm to compute all the words living in \textitLy_α (A) for any given α in \textbfN^k. The best known method for generating Lyndon words is that of Duval [1], which gives a way to go from every Lyndon word of length n to its successor (with respect to lexicographic order by length), in space and worst case time complexity O(n). Finally, we give a simple algorithm which uses Duval's method (the one above) to compute the next standard bracketing of a Lyndon word for lexicographic order by length. We can find an interesting application of this algorithm in control theory, where one wants to compute within the command Lie algebra of a dynamical system (letters are actually vector fields).
q-Rook placements and Jordan forms of upper-triangular nilpotent matrices
Authors: Yip Martha
Published: August 2021

The set of $n$ by $n$ upper-triangular nilpotent matrices with entries in a finite field $F_q$ has Jordan canonical forms indexed by partitions $λ \vdash n$. We study a connection between these matrices and non-attacking q-rook placements, which leads to a combinatorial formula for the number$ F_λ (q)$ of matrices of fixed Jordan type as a weighted sum over rook placements.
Weighted partitions
Authors: D'León Rafael González S. , Wachs Michelle L.
Published: August 2021

In this extended abstract we consider the poset of weighted partitions Π _n^w, introduced by Dotsenko and Khoroshkin in their study of a certain pair of dual operads. The maximal intervals of Π _n^w provide a generalization of the lattice Π _n of partitions, which we show possesses many of the well-known properties of Π _n. In particular, we prove these intervals are EL-shellable, we compute the Möbius invariant in terms of rooted trees, we find combinatorial bases for homology and cohomology, and we give an explicit sign twisted S_n-module isomorphism from cohomology to the multilinear component of the free Lie algebra with two compatible brackets. We also show that the characteristic polynomial of Π _n^w has a nice factorization analogous to that of Π _n.
Coefficients of algebraic functions: formulae and asymptotics
Authors: Banderier Cyril , Drmota Michael
Published: August 2021

This paper studies the coefficients of algebraic functions. First, we recall the too-little-known fact that these coefficients $f_n$ have a closed form. Then, we study their asymptotics, known to be of the type $f_n \sim C A^n n^{\alpha}$. When the function is a power series associated to a context-free grammar, we solve a folklore conjecture: the appearing critical exponents $\alpha$ can not be $^1/_3$ or $^{-5}/_2$, they in fact belong to a subset of dyadic numbers. We extend what Philippe Flajolet called the Drmota-Lalley-Woods theorem (which is assuring $\alpha=^{-3}/_2$ as soon as a "dependency graph" associated to the algebraic system defining the function is strongly connected): We fully characterize the possible critical exponents in the non-strongly connected case. As a corollary, it shows that certain lattice paths and planar maps can not be generated by a context-free grammar (i.e., their generating function is not $\mathbb{N}-algebraic). We end by discussing some extensions of this work (limit laws, systems involving non-polynomial entire functions, algorithmic aspects).

Cet article a pour héros les coefficients des fonctions algébriques. Après avoir rappelé le fait trop peu connu que ces coefficients $f_n$ admettent toujours une forme close, nous étudions leur asymptotique $f_n \sim C A^n n^{\alpha}$. Lorsque la fonction algébrique est la série génératrice d'une grammaire non-contextuelle, nous résolvons une vieille conjecture du folklore : les exposants critiques $\alpha$ ne peuvent pas être $^1/_3$ ou $^{-5}/_2$ et sont en fait restreints à un sous-ensemble des nombres dyadiques. Nous étendons ce que Philippe Flajolet appelait le théorème de Drmota-Lalley-Woods (qui affirme que $\alpha=^{-3}/_2$ dès lors qu'un "graphe de dépendance" associé au système algébrique est fortement connexe) : nous caractérisons complètement les exposants critiques dans le cas non fortement connexe. Un corolaire immédiat est que certaines marches et cartes planaires ne peuvent pas être engendrées par une grammaire non-contextuelle non ambigüe (i. e., leur série génératrice n'est pas $\mathbb{N}-algébrique). Nous terminons par la discussion de diverses extensions de nos résultats (lois limites, systèmes d'équations de degré infini, aspects algorithmiques).
Top Coefficients of the Denumerant
Authors: Baldoni Velleda , Berline Nicole , Dutra Brandon , Köppe Matthias , Vergne Michele , De Loera Jesus
Published: August 2021

For a given sequence $\alpha = [\alpha_1,\alpha_2,\ldots , \alpha_N, \alpha_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\alpha)(t)$ that counts the nonnegative integer solutions of the equation $\alpha_1x_1+\alpha_2 x_2+ \ldots+ \alpha_Nx_N+ \alpha_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\alpha)(t)$ is a quasipolynomial function of $t$ of degree $N$. In combinatorial number theory this function is known as the $\textit{denumerant}$. Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\alpha)(t)$ as step polynomials of $t$. Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\alpha)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Experiments using a $\texttt{MAPLE}$ implementation will be posted separately.

Considérons une liste $\alpha = [\alpha_1,\alpha_2,\ldots , \alpha_N, \alpha_{N+1}]$ de $N+1$ entiers positifs. Le dénumérant $E(\alpha)(t)$ est lafonction qui compte le nombre de solutions en entiers positifs ou nuls de l’équation $\sum^{N+1}_{i=1}x_i\alpha_i=t$, où $t$ varie dans les entiers positifs ou nuls. Il est bien connu que cette fonction est une fonction quasi-polynomiale de $t$, de degré $N$. Nous donnons un nouvel algorithme qui calcule, pour chaque entier fixé $k$ (mais $N$ n’est pas fixé, les $k+1$ plus hauts coefficients du quasi-polynôme $E(\alpha)(t)$ en termes de fonctions en dents de scie. Notre algorithme utilise la structure d’ensemble partiellement ordonné des pôles de la fonction génératrice de $E(\alpha)(t)$. Les $k+1$ plus hauts coefficients se calculent à l’aide de fonctions génératrices de points entiers dans des cônes polyèdraux de dimension inférieure ou égale à $k$.
$\ell$-restricted $Q$-systems and quantum affine algebras
Authors: Gleitz Anne-Sophie
Published: August 2021

Kuniba, Nakanishi, and Suzuki (1994) have formulated a general conjecture expressing the positive solution of an $\ell$-restricted $Q$-system in terms of quantum dimensions of Kirillov-Reshetikhin modules. After presenting this conjecture, we sketch a proof for the exceptional type $E_6$ following our preprint (2013). In types $E_7$ and $E_8$, we prove positivity for a subset of the nodes of the Dynkin diagram, and we reduce the positivity for the remaining nodes to the conjectural iterated log-concavity of certain explicit sequences of real algebraic numbers.

Kuniba, Nakanishi et Suzuki (1994) ont formulé une conjecture générale qui exprime la solution positive d’un $Q$-system $\ell$-restreint en fonction des dimensions quantiques de certains modules de Kirillov-Reshetikhin. Après avoir présenté cette conjecture, nous donnons une idée de la preuve pour le type exceptionnel $E_6$, selon notre preprint (arXiv, 2013). En types $E_7$ et $E_8$, nous démontrons la positivité pour certains sommets du diagramme de Dynkin, et nous réduisons la positivité, pour les sommets restants, à une conjecture de log-concavité itérée concernant certaines suites explicites de nombres algébriques.
An equivariant rim hook rule for quantum cohomology of Grassmannians
Authors: Beazley Elizabeth , Bertiger Anna , Taipale Kaisa
Published: August 2021

A driving question in (quantum) cohomology of flag varieties is to find non-recursive, positive combinatorial formulas for expressing the quantum product in a particularly nice basis, called the Schubert basis. Bertram, Ciocan-Fontanine and Fulton provide a way to compute quantum products of Schubert classes in the Grassmannian of $k$-planes in complex $n$-space by doing classical multiplication and then applying a combinatorial rimhook rule which yields the quantum parameter. In this paper, we provide a generalization of this rim hook rule to the setting in which there is also an action of the complex torus. Combining this result with Knutson and Tao's puzzle rule provides an effective algorithm for computing the equivariant quantum Littlewood-Richardson coefficients. Interestingly, this rule requires a specialization of torus weights that is tantalizingly similar to maps in affine Schubert calculus.

Une question importante dans la cohomologie quantique des variétés de drapeaux est de trouver des formules positives non récursives pour exprimer le produit quantique dans une base particulièrement bonne, appelée la base de Schubert. Bertram, Ciocan-Fontanine et Fulton donnent une façon de calculer les produits quantiques de classes de Schubert dans la Grassmannienne de $k$-plans dans l’espace complexe de dimension $n$ en faisant la multiplication classique et appliquant une règle combinatoire “rimhook” qui donne le paramètre quantique. Dans cet article, nous donnons une généralisation de ce règle rimhook au contexte où il y a aussi une action du tore complexe. Combiné avec la règle “puzzle” de Knutson et Tao, cela donne une algorithme effective pour calculer les coefficients équivariants de Littlewood-Richard. Il est intéressant d'observer que cette règle demande une spécialisation des poids du tore qui est similaire d’une manière tentante aux applications dans le calcul de Schubert affiné.
Number of cycles in the graph of $312$-avoiding permutations
Authors: Ehrenborg Richard , Kitaev Sergey , Steingrımsson Einar
Published: August 2021

The graph of overlapping permutations is defined in a way analogous to the De Bruijn graph on strings of symbols. However, instead of requiring the tail of one permutation to equal the head of another for them to be connected by an edge, we require that the head and tail in question have their letters appear in the same order of size. We give a formula for the number of cycles of length $d$ in the subgraph of overlapping $312$-avoiding permutations. Using this we also give a refinement of the enumeration of $312$-avoiding affine permutations.

Le graphique de permutations qui se chevauchent est définie d’une manière analogue à celle du graphe de De Bruijn sur des chaînes de symboles. Cependant, au lieu d’exiger la queue d’une permutation d’égaler la tête d’un autre pour qu’ils soient reliés par un bord, nous avons besoin que la tête et la queue en question ont leurs lettres apparaissent dans le même ordre de grandeur. Nous donnons une formule pour le nombre de cycles de longueur$d$ dans le sous- graphe de chevauchement $312$-évitant permutations. L’utilisation de ce nous donnent également un raffinement de l’énumération de$312$-évitant permutations affines.
A Lie connection between Hamiltonian and Lagrangian optics
Authors: Dragt Alex J.
Published: August 2021

It is shown that there is a non-Hamiltonian vector field that provides a Lie algebraic connection between Hamiltonian and Lagrangian optics. With the aid of this connection, geometrical optics can be formulated in such a way that all aberrations are attributed to ray transformations occurring only at lens surfaces. That is, in this formulation there are no aberrations arising from simple transit in a uniform medium. The price to be paid for this formulation is that the Lie algebra of Hamiltonian vector fields must be enlarged to include certain non-Hamiltonian vector fields. It is shown that three such vector fields are required at the level of third-order aberrations, and sufficient machinery is developed to generalize these results to higher order.
Supercharacters of Unipotent Groups
Authors: Andrews Scott
Published: August 2021

\textbfAbstract. We construct supercharacter theories of finite unipotent groups in the orthogonal, symplectic and unitary types. Our method utilizes group actions in a manner analogous to that of Diaconis and Isaacs in their construction of supercharacters of algebra groups. The resulting supercharacter theories agree with those of André and Neto in the case of the unipotent orthogonal and symplectic matrices and generalize to a large collection of subgroups. In the unitary group case, we describe the supercharacters and superclasses in terms of labeled set partitions and calculate the supercharacter table. \bigbreak
Quasisymmetric Schur functions and modules of the $0$-Hecke algebra
Authors: Tewari Vasu , van Willigenburg Stephanie
Published: August 2021

We define a $0$-Hecke action on composition tableaux, and then use it to derive $0$-Hecke modules whose quasisymmetric characteristic is a quasisymmetric Schur function. We then relate the modules to the weak Bruhat order and use them to derive a new basis for quasisymmetric functions. We also classify those modules that are tableau-cyclic and likewise indecomposable. Finally, we develop a restriction rule that reflects the coproduct of quasisymmetric Schur functions.

Nous définissons une action $0$-Hecke sur les tableaux de composition, et ensuite nous l’utilisons pour dériver les modules $0$-Hecke dont la caractéristique quasi-symétrique est une fonction de Schur quasi-symétrique. Nous mettons les modules en relation avec l’ordre de Bruhat faible et les utilisons pour dériver une nouvelle base pour les fonctions quasi-symétriques. Nous classons aussi ces modules qui sont tableau-cycliques et aussi indécomposable. Enfin, nous développons une règle de restriction qui reflète le coproduit des fonctions de Schur quasi-symétriques.
Generalized Dyck tilings (Extended Abstract)
Authors: Josuat-Vergès Matthieu , Kim Jang Soo
Published: August 2021

Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: $k$-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analogue of the Bruhat order on them. We show that certain families of $k$-Dyck tilings are in bijection with intervals in this order. We enumerate symmetric Dyck tilings and show that certain families of symmetric Dyck tilings are in bijection with intervals in the weak order on signed permutations.

Récemment, Kenyon et Wilson ont introduit les pavages de Dyck, qui sont des pavages de la région comprise entre deux chemins de Dyck. L’énumération des pavages de Dyck est reliée aux formules d’équerre sur les forêts et à la combinatoire des polynômes de Hermite. Le premier but de ce travail est de donner un point de vue alternatif sur les pavages de Dyck, en utilisant l’ordre faible et l’ordre de Bruhat sur les permutations. Nous introduisons ensuite deux généralisations naturelles: les $k$-pavages de Dyck et les pavages de Dyck symétriques. Nous sommes amenés àconsidérer les permutations de Stirling, et définissons un analogue de l’ordre de Bruhat. Nous montrons que certaines familles de $k$-pavages de Dyck sont en bijection avec des intervalles de cet ordre. Nous énumérons les pavages de Dyck symétriques et montrons que certaines familles de pavages de Dyck symétriques sont en bijection avec des intervalles de l’ordre faible sur les permutations signées.
Symmetry properties of the Novelli-Pak-Stoyanovskii algorithm
Authors: Sulzgruber Robin
Published: August 2021

The number of standard Young tableaux of a fixed shape is famously given by the hook-length formula due to Frame, Robinson and Thrall. A bijective proof of Novelli, Pak and Stoyanovskii relies on a sorting algorithm akin to jeu-de-taquin which transforms an arbitrary filling of a partition into a standard Young tableau by exchanging adjacent entries. Recently, Krattenthaler and Müller defined the complexity of this algorithm as the average number of performed exchanges, and Neumann and the author proved it fulfils some nice symmetry properties. In this paper we recall and extend the previous results and provide new bijective proofs.
The topology of the permutation pattern poset
Authors: McNamara Peter , Steingrımsson Einar
Published: August 2021

The set of all permutations, ordered by pattern containment, forms a poset. This extended abstract presents the first explicit major results on the topology of intervals in this poset. We show that almost all (open) intervals in this poset have a disconnected subinterval and are thus not shellable. Nevertheless, there seem to be large classes of intervals that are shellable and thus have the homotopy type of a wedge of spheres. We prove this to be the case for all intervals of layered permutations that have no disconnected subintervals of rank 3 or more. We also characterize in a simple way those intervals of layered permutations that are disconnected. These results carry over to the poset of generalized subword order when the ordering on the underlying alphabet is a rooted forest. We conjecture that the same applies to intervals of separable permutations, that is, that such an interval is shellable if and only if it has no disconnected subinterval of rank 3 or more. We also present a simplified version of the recursive formula for the Möbius function of decomposable permutations given by Burstein et al.
Bigraphical arrangements
Authors: Hopkins Sam , Perkinson David
Published: August 2021

We define the bigraphical arrangement of a graph and show that the Pak-Stanley labels of its regions are the parking functions of a closely related graph, thus proving conjectures of Duval, Klivans, and Martin and of Hopkins and Perkinson. A consequence is a new proof of a bijection between labeled graphs and regions of the Shi arrangement first given by Stanley. We also give bounds on the number of regions of a bigraphical arrangement. The full version of this paper is forthcoming in the $\textit{Transactions of the American Mathematical Society}$
Genus one partitions
Authors: Cori Robert , Hetyei Gábor
Published: August 2021

We prove the conjecture by M. Yip stating that counting genus one partitions by the number of their elements and parts yields, up to a shift of indices, the same array of numbers as counting genus one rooted hypermonopoles. Our proof involves representing each genus one permutation by a four-colored noncrossing partition. This representation may be selected in a unique way for permutations containing no trivial cycles. The conclusion follows from a general generating function formula that holds for any class of permutations that is closed under the removal and reinsertion of trivial cycles. Our method also provides another way to count rooted hypermonopoles of genus one, and puts the spotlight on a class of genus one permutations that is invariant under an obvious extension of the Kreweras duality map to genus one permutations.

Nous démontrons la conjecture de M. Yip affirmant que compter les partitions de genre un par le nombre de leurs éléments et leurs parties donne, à un décalage d’indices près, la même gamme de nombres que celle qui résulte en comptant les hypermonopoles de genre un. Notre preuve utilise une représentation de chaque permutation de genre un par une partition non-croisée quatricolorée. Cette représentation peut être choisi d’une manière unique pour les permutations qui ne contiennent pas des cycles triviaux. La conclusion suit d’une formule des fonctions génératrices générale qui vaut pour toute classe de permutations qui est fermé sous l’enlèvement et la réinsertion des cycles triviaux. Notre méthode offre une autre manière de compter les hypermonopoles enracinés de genre un, et dirige l’attention sur une extension évidente de la dualité de Kreweras sur les permutations de genre un.
An extension of MacMahon's Equidistribution Theorem to ordered multiset partitions
Authors: Wilson Andrew Timothy
Published: August 2021

A classical result of MacMahon states that inversion number and major index have the same distribution over permutations of a given multiset. In this work we prove a strengthening of this theorem originally conjectured by Haglund. Our result can be seen as an equidistribution theorem over the ordered partitions of a multiset into sets, which we call ordered multiset partitions. Our proof is bijective and involves a new generalization of Carlitz's insertion method. As an application, we develop refined Macdonald polynomials for hook shapes. We show that these polynomials are symmetric and give their Schur expansion.

Un résultat classique de MacMahon affirme que nombre d’inversion et l’indice majeur ont la même distribution sur permutations d’un multi-ensemble donné. Dans ce travail, nous démontrons un renforcement de ce théorème origine conjecturé par Haglund. Notre résultat peut être considéré comme un théorème d’équirépartition sur les partitions ordonnées d’un multi-ensemble en ensembles, que nous appellerons partitions de multiset commandés. Notre preuve est bijective et implique une nouvelle généralisation de la méthode d’insertion de Carlitz. Comme application, nous développons des polynômes de Macdonald raffinés pour formes d’hameçons. Nous montrons que ces polynômes sont symétriques et donnent leur expansion Schur.
Tropical Graph Parameters
Authors: Labai Nadia , Makowsky Johann
Published: August 2021

Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lovász and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of bounded tree-width. We introduce join matrices, a generalization of connection matrices, and allow graph parameters to take values in the tropical rings (max-plus algebras) over the real numbers. We show that rank-finiteness of join matrices implies that these graph parameters can be computed in polynomial time on graph classes of bounded clique-width. In the case of graph parameters with values in arbitrary commutative semirings, this remains true for graph classes of bounded linear clique-width. B. Godlin, T. Kotek and J.A. Makowsky (2008) showed that definability of a graph parameter in Monadic Second Order Logic implies rank finiteness. We also show that there are uncountably many integer valued graph parameters with connection matrices or join matricesof fixed finite rank. This shows that rank finiteness is a much weaker assumption than any definability assumption.

Les matrices de connexion pour des fonctions sur les graphes à valeurs dans un corps ont été introduites par M. Freedman, L. Lovász and A. Schrijver (2007). Une fonctions sur les graphes ayant des matrices de connexion de rang fini peut être calculée en temps polynomial sur toute famille de graphes de largeur arborescente (”tree-width”) bornée. Nous introduisons des matrices de jointure (”join matrices”) qui généralisent les matrices deconnexion, et nous permettons aux fonctions sur les graphes de prendre leurs valeurs dans des semianneaux tropicaux réels. Nous montrons qu’une fonction sur les graphes ayant des matrices de jointure de rang fini peut être calculée en temps polynomial sur des graphes de largeur de clique (”clique-width”) bornée. Dans le cas des semi-anneaux commutatifs, cela reste vrai pour les graphes de largeur de clique linéaire bornée. B. Godlin, T. Kotek and J.A. Makowsky (2008) ont montré que certaines hypothèses de definissabilité en Logique du Second Ordre Monadique concernant desopérations sur les graphes entraine la finitude des rangs. Nous exhibons un ensemble non dénombrable d’opérations ayant une matrice de connexion et des matrices de jointure de rang fini. Cela démontre que l’hypothèse de rang fini est beaucoup plus faible que l’hypothèse de definissabilité.
BRST Charge and Poisson Algebras
Authors: Caprasse H.
Published: August 2021

An elementary introduction to the classical version of gauge theories is made. The shortcomings of the usual gauge fixing process are pointed out. They justify the need to replace it by a global symmetry: the BRST symmetry and its associated BRST charge. The main mathematical steps required to construct it are described. The algebra of constraints is, in general, a nonlinear Poisson algebra. In the nonlinear case the computation of the BRST charge by hand is hard. Itis explained how this computation can be made algorithmic. The main features of a recently created BRST computer algebra program are described. It can handle quadratic algebras very easily. Its capability to compute the BRST charge as a formal power series in the generic case of a cubic algebra is illustrated.
Yamanouchi toppling
Authors: Cori Robert , Senato Domenico , Petrullo Pasquale
Published: August 2021

We study an extension of the chip-firing game. A given set of admissible moves, called Yamanouchi moves, allows the player to pass from a starting configuration $\alpha$ to a further configuration $\beta$. This can be encoded via an action of a certain group, the toppling group, associated with each connected graph. This action gives rise to a generalization of Hall-Littlewood symmetric polynomials and a new combinatorial basis for them. Moreover, it provides a general method to construct all orthogonal systems associated with a given random variable.

On s’intéresse ici à une variante du modèle combinatoire du tas de sable. Un ensemble particulier de suites d’éboulements, les éboulements de Yamanouchi est défini. Les éléments de cet ensemble permettent de passer d’une configuration à une autre, ceci peut être représenté par l’action d’un certain groupe, le groupe des éboulements que l’on peut associer à tout graphe connexe. Cette action donne lieu à une généralisation de polynômes symétriques de Hall-Littlewood et un nouveau champ combinatoire pour ceux-ci. Une extension à la construction d’autres familles de polynômes orthogonaux est proposée.
Firing Patterns in the Parallel Chip-Firing Game
Authors: Scully Ziv , Jiang Tian-Yi , Zhang Yan
Published: August 2021

The $\textit{parallel chip-firing game}$ is an automaton on graphs in which vertices "fire'' chips to their neighbors. This simple model, analogous to sandpiles forming and collapsing, contains much emergent complexity and has connections to different areas of mathematics including self-organized criticality and the study of the sandpile group. In this work, we study $\textit{firing sequences}$, which describe each vertex's interaction with its neighbors in this game. Our main contribution is a complete characterization of the periodic firing sequences that can occur in a game, which have a surprisingly simple combinatorial description. We also obtain other results about local behavior of the game after introducing the concept of $\textit{motors}$.

Le $\textit{parallel chip-firing game}$, c’est une automate sur les graphiques, dans lequel les sommets “tirent” des jetons à leurs voisins. Ce modèle simple, semblable aux tas de sable qui forment et s’affaissent, contient beaucoup de complexité émergente et a des connections avec différents domaines de mathématiques, incluant le $\textit{self-organized criticality}$ et l’étude du $\textit{sandpile group}$. Dans ce projet, on étudie les $\textit{firing sequences}$, qui décrivent les interactions de chaque sommet avec ses voisins dans le jeu. Notre contribution principale est une caractérisation complète des séquences de tir qui peuvent arriver dans une jeu, qui ont une description combinatoire assez simple. Nous obtenonsaussi d'autres résultats sur le conduite locale du jeu après l’introduction du concept des $\textit{motors}$.
An algorithm for analysis of the structure of finitely presented Lie algebras
Authors: Gerdt Vladimir P. , Kornyak Vladimir V.
Published: August 2021

We consider the following problem: what is the most general Lie algebra satisfying a given set of Lie polynomial equations? The presentation of Lie algebras by a finite set of generators and defining relations is one of the most general mathematical and algorithmic schemes of their analysis. That problem is of great practical importance, covering applications ranging from mathematical physics to combinatorial algebra. Some particular applications are constructionof prolongation algebras in the Wahlquist-Estabrook method for integrability analysis of nonlinear partial differential equations and investigation of Lie algebras arising in different physical models. The finite presentations also indicate a way to q-quantize Lie algebras. To solve this problem, one should perform a large volume of algebraic transformations which is sharply increased with growth of the number of generators and relations. For this reason, in practice one needs to use a computer algebra tool. We describe here an algorithm for constructing the basis of a finitely presented Lie algebra and its commutator table, and its implementation in the C language. Some computer results illustrating our algorithmand its actual implementation are also presented.
A new generation tree for permutations, preserving the number of fixed points
Authors: Duchon Philippe , Duvignau Romaric
Published: August 2021

We describe a new uniform generation tree for permutations with the specific property that, for most permutations, all of their descendants in the generation tree have the same number of fixed points. Our tree is optimal for the number of permutations having this property. We then use this tree to describe a new random generation algorithm for derangements, using an expected n+O(1) calls to a random number generator. Another application is a combinatorial algorithm for exact sampling from the Poisson distribution with parameter 1.
Coloring Rings in Species
Authors: White Jacob
Published: August 2021

We present a generalization of the chromatic polynomial, and chromatic symmetric function, arising in the study of combinatorial species. These invariants are defined for modules over lattice rings in species. The primary examples are graphs and set partitions. For these new invariants, we present analogues of results regarding stable partitions, the bond lattice, the deletion-contraction recurrence, and the subset expansion formula. We also present two detailed examples, one related to enumerating subgraphs by their blocks, and a second example related to enumerating subgraphs of a directed graph by their strongly connected components.
Partial categorification of Hopf algebras and representation theory of towers of \mathcalJ-trivial monoids
Authors: Virmaux Aladin
Published: August 2021

This paper considers the representation theory of towers of algebras of $\mathcal{J} -trivial$ monoids. Using a very general lemma on induction, we derive a combinatorial description of the algebra and coalgebra structure on the Grothendieck rings $G_0$ and $K_0$. We then apply our theory to some examples. We first retrieve the classical Krob-Thibon's categorification of the pair of Hopf algebras QSym$/NCSF$ as representation theory of the tower of 0-Hecke algebras. Considering the towers of semilattices given by the permutohedron, associahedron, and Boolean lattices, we categorify the algebra and the coalgebra structure of the Hopf algebras $FQSym , PBT$ , and $NCSF$ respectively. Lastly we completely describe the representation theory of the tower of the monoids of Non Decreasing Parking Functions.
The arithmetic Tutte polynomials of the classical root systems
Authors: Ardila Federico , Castillo Federico , Henley Michael
Published: August 2021

Many combinatorial and topological invariants of a hyperplane arrangement can be computed in terms of its Tutte polynomial. Similarly, many invariants of a hypertoric arrangement can be computed in terms of its arithmetic Tutte polynomial. We compute the arithmetic Tutte polynomials of the classical root systems $A_n, B_n, C_n$, and $D_n$ with respect to their integer, root, and weight lattices. We do it in two ways: by introducing a \emphfinite field method for arithmetic Tutte polynomials, and by enumerating signed graphs with respect to six parameters.