On the shape of permutomino tiles

  • Authors:
  • A. Blondin Massé;A. Frosini;S. Rinaldi;L. Vuillon

  • Affiliations:
  • Université du Québec í Montréal, Laboratoire de combinatoire et d'informatique mathématique, CP 8888, succ. Centre-ville, Montréal (Québec) H3C 3P8, Canada and U ...;Universití di Firenze, Dipartimento di Sistemi et Informatica, viale Morgagni 65, 50134 Firenze, Italy;Universití di Siena, Dipartimento di Matematica et Informatica, Pian dei Mantellini 44, 53100 Siena, Italy;Université de Savoie, Laboratoire de mathématiques, CNRS UMR 5127, 73376 Le Bourget-du-Lac, France

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2013

Quantified Score

Hi-index 0.04

Visualization

Abstract

In this paper we explore the connections between two classes of polyominoes, namely the permutominoes and the pseudo-square polyominoes. A permutomino is a polyomino uniquely determined by a pair of permutations. Permutominoes, and in particular convex permutominoes, have been considered in various kinds of problems such as: enumeration, tomographical reconstruction, and algebraic characterization. On the other hand, pseudo-square polyominoes are a class of polyominoes tiling the plane by translation. The characterization of such objects has been given by Beauquier and Nivat, who proved that a polyomino tiles the plane by translation if and only if it is a pseudo-square or a pseudo-hexagon. In particular, a polyomino is pseudo-square if its boundary word may be factorized as XYX@^Y@^, where X@^ denotes the path X traveled in the opposite direction. In this paper we relate the two concepts by considering the pseudo-square polyominoes which are also convex permutominoes. By using the Beauquier-Nivat characterization we provide some geometrical and combinatorial properties of such objects, and we show for any fixed X, each word Y such that XYX@^Y@^ is pseudo-square is prefix of a unique infinite word Y"~ with period 4|X|"N|X|"E. Also, we show that XYX@^Y@^ are centrosymmetric, i.e. they are fixed by rotation of angle @p. The proof of this fact is based on the concept of pseudoperiods, a natural generalization of periods.