Tag: combinatorics
Skeletal posets of the Tamari lattice and beyond
summary: Given a lattice \(L\), the subposet \(\mathrm{Spine}(L)\) of \(L\) is the union of the longest maximal chains in \(L\). Dually, the subposet \(\mathrm{Spine}'(L)\) of \(L\) is the union of the shortest maximal chains in \(L\). For certain lattices, these subposets are particularly well-behaved; an example ...
Automates cellulaires surjectifs et mesures de probabilité
summary: Les automates cellulaires sont un modèle de calcul simple consistant en une coloration d'un graphe infini régulier (typiquement, une ligne infinie) sur lequel on itère une transformation locale uniforme. Ce modèle est capable de calcul universel dans un certain sens, y compris quand la configuration initiale est choisie ...
Descentes et inversions dans les permutations
summary: On peut identifier une permutation avec son ensemble d'inversions. Si deux ensembles d'inversions sont disjoints et que leur union est aussi un ensemble d'inversions, on obtient donc une nouvelle permutation. C'est un cas assez rare et intéressant et on démontre un résultat sur le nombre ...
Les méandres arcs-en-ciel sur des chemins de Dyck
Un méandre (de longueur n) est une paire de correspondences non-croisées sur {1,...,n}. On peut le représenter sur le plan réel comme un paire d'ensemble de demi-cercles, qui ne s'intersentent pas deux à deux, reliant n points sur une droite. Cette représentation géométrique permet d'introduire différentes ...
Lattice structures of Gog and Magog triangles
summary:
Gog and Magog triangles are simple combinatorial objects which are equienumerated.
Howewer, the problem of finding an explicit bijection between these has been an
open problem since the 80’s. These are related to other interesting objects such
as alternating sign matrices, plane partitions or aztec diamond tillings.
All ...
Non-intersecting paths and the determinant of the distance matrix of a tree
summary:
We present a combinatorial proof of the Graham–Pollak formula for the determinant of the
distance matrix of a tree, via sign-reversing involutions and the Lindström–Gessel–Viennot Lemma.
This is joint work with Emmanuel Briand, Luis Esquivias-Quintero, Álvaro Gutierrez, and Adrián Lillo.
Une nouvelle description des treillis m-cambriens
summary:
Les treillis cambriens, introduits par N. Reading en 2006, sont une généralisation du treillis de Tamari, à tout choix d'élément de Coxeter, dans tout groupe de Coxeter fini. Le treillis de Tamari correspond au "type A linéaire". Ces ordres partiels admettent plusieurs descriptions, non trivialement équivalentes. Celles-ci donnent ...Alternating and nondeterministic plane-walking automata
summary: Plane-walking automata were introduced by Salo & Törma to recognise languages of two-dimensional infinite words (subshifts), the counterpart of 4-way finite automata for two-dimensional finite words. We extend the model to allow for nondeterminism and alternation of quantifiers. We prove that the recognised subshifts form a strict subclass of sofic ...
À la lumière de quelques propriétés essentielles
Cet exposé consistera en quatre parties, chacune commençant par une introduction à un domaine de recherche et terminant par quelques contributions.
Nous débuterons par expliquer comment la conjecture polynomiale de Hales-Jewett à densité unifie plusieurs des généralisations du théorème de van der Waerden, ainsi que comment cette généralisation commune présente ...
On the intervals of framing lattices
summary: A flow graph \(G\) is an acyclic oriented graph with \(V(G) = [n]\), \(E(G)\) a multi-set of edges where each edge \((i,j)\) satisfies \(i<j\), and such that \(G\) has a unique source \(s=1\) and sink \(t=n\). On such a graph, a route is simply ...
Page 1 / 16 »