# A bijection proving the Aztec diamond theorem by combing lattice paths

* Auteur correspondant
Abstract : We give a bijective proof of the Aztec diamond theorem, stating that there are $2^{n(n+1)/2}$ domino tilings of the Aztec diamond of order~$n$. The proof in fact establishes a similar result for non-intersecting families of $n+1$ Schröder paths, with horizontal, diagonal or vertical steps, linking the grid points of two adjacent sides of an $n\times n$ square grid; these families are well known to be in bijection with tilings of the Aztec diamond. Our bijection is produced by an invertible ''combing'' algorithm, operating on families of paths without non-intersection condition, but instead with the requirement that any vertical steps come at the end of a path, and which are clearly $2^{n(n+1)/2}$ in number; it transforms them into non-intersecting families.
Keywords :
Type de document :
Rapport
2012
Domaine :

Littérature citée [5 références]

https://hal.archives-ouvertes.fr/hal-00734890
Contributeur : Marc Van Leeuwen <>
Soumis le : lundi 24 septembre 2012 - 17:26:49
Dernière modification le : jeudi 11 janvier 2018 - 06:24:13
Document(s) archivé(s) le : mardi 25 décembre 2012 - 06:35:09

### Fichiers

Aztec.pdf
Fichiers produits par l'(les) auteur(s)

### Identifiants

• HAL Id : hal-00734890, version 1
• ARXIV : 1209.5373

### Citation

Frédéric Bosio, Marc Van Leeuwen. A bijection proving the Aztec diamond theorem by combing lattice paths. 2012. 〈hal-00734890〉

### Métriques

Consultations de la notice

## 186

Téléchargements de fichiers