Advertisement

An Algebraic Geometric Approach to Multidimensional Words

  • Jarkko KariEmail author
  • Michal Szabados
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9270)

Abstract

We apply linear algebra and algebraic geometry to study infinite multidimensional words of low pattern complexity. By low complexity we mean that for some finite shape, the number of distinct sub-patterns of that shape that occur in the word is not more than the size of the shape. We are interested in discovering global regularities and structures that are enforced by such low complexity assumption. We express the word as a multivariate formal power series over integers. We first observe that the low pattern complexity assumption implies that there is a non-zero polynomial whose formal product with the power series is zero. We call such polynomials the annihilators of the word. The annihilators form an ideal, and using Hilbert’s Nullstellensatz we construct annihilators of simple form. In particular, we prove a decomposition of the word as a sum of finitely many periodic power series. We consider in more details a particular interesting example of a low complexity word whose periodic decomposition contains necessarily components with infinitely many distinct coefficients. We briefly discuss applications of our technique in the Nivat’s conjecture and the periodic tiling problem. The results reported here have been first discussed in a paper that we presented at ICALP 2015.

Keywords

Power Series Polynomial Ideal Periodic Component Common Root Laurent Polynomial 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BN91]
    Beauquier, D., Nivat, M.: On Translating One Polyomino to Tile the Plane. Discrete & Computational Geometry 6 (1991)Google Scholar
  2. [CK13a]
    Cyr, V., Kra, B.: Complexity of short rectangles and periodicity (2013) (submitted). arXiv: 1307.0098 [math.DS]
  3. [CK13b]
    Cyr, V., Kra, B.: Nonexpansive \(\mathbb{Z}^{2}\)-subdynamics and Nivat’s conjecture. Trans. Amer. Math. Soc. (2013) (to appear)Google Scholar
  4. [EKM03]
    Epifanio, C., Koskas, M., Mignosi, F.: On a conjecture on bidimensional words. Theor. Comput. Sci. (1–3), 299 (2003)Google Scholar
  5. [KS15]
    Kari, Jarkko, Szabados, Michal: An algebraic geometric approach to nivat’s conjecture. In: Halldórsson, Magnús M., Iwama, Kazuo, Kobayashi, Naoki, Speckmann, Bettina (eds.) ICALP 2015. LNCS, vol. 9135, pp. 273–285. Springer, Heidelberg (2015) CrossRefGoogle Scholar
  6. [LW96]
    Lagarias, J.C., Wang, Y.: Tiling the Line with Translates of One Tile. Inventiones Mathematicae 124, 341–365 (1996)zbMATHMathSciNetCrossRefGoogle Scholar
  7. [LM95]
    Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press (1995)Google Scholar
  8. [MH38]
    Morse, M., Hedlund, G.A.: Symbolic Dynamics. American Journal of Mathematics 60(4), 815–866 (1938)MathSciNetCrossRefGoogle Scholar
  9. [Niv97]
    Nivat, M.: Invited talk at ICALP, Bologna (1997)Google Scholar
  10. [QZ04]
    Quas, A., Zamboni, L.Q.: Periodicity and local complexity. Theor. Comput. Sci. 319(1–3), 229–240 (2004)zbMATHMathSciNetCrossRefGoogle Scholar
  11. [ST00]
    Sander, J.W., Tijdeman, R.: The complexity of functions on lattices. Theor. Comput. Sci. 246(1–2), 195–225 (2000)zbMATHMathSciNetCrossRefGoogle Scholar
  12. [ST02]
    Sander, J.W., Tijdeman, R.: The rectangle complexity of functions on two-dimensional lattices. Theor. Comput. Sci. 270(1–2), 857–863 (2002)zbMATHMathSciNetCrossRefGoogle Scholar
  13. [Sze98]
    Szegedy, M.: Algorithms to tile the infnite grid with finite clusters. In: FOCS, pp. 137–147. IEEE Computer Society (1998)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Mathematics and StatisticsUniversity of TurkuTurkuFinland

Personalised recommendations