Showing 1–26 of 26 results for author: Jeandel, E

Qimaera: Type-safe (Variational) Quantum Programming in Idris

Authors: Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Abstract: Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms create interesting challenges for the design of suitable programming languages. In this paper we introduce Qimaera, which is a set of libraries for the Idris 2 programming language that enable the programmer to implement (va… ▽ More Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms create interesting challenges for the design of suitable programming languages. In this paper we introduce Qimaera, which is a set of libraries for the Idris 2 programming language that enable the programmer to implement (variational) quantum algorithms where the full power of the elegant Idris language works in synchrony with quantum programming primitives that we introduce. The two key ingredients of Idris that make this possible are (1) dependent types which allow us to implement unitary (i.e. reversible and controllable) quantum operations; and (2) linearity which allows us to enforce fine-grained control over the execution of quantum operations that ensures compliance with the laws of quantum mechanics. We demonstrate that Qimaera is suitable for variational quantum programming by providing implementations of the two most prominent variational quantum algorithms -- QAOA and VQE. To the best of our knowledge, this is the first implementation of these algorithms that has been achieved in a type-safe framework. △ Less

Submitted 21 November, 2021; originally announced November 2021.

Strong shift equivalence as a category notion

Authors: Emmanuel Jeandel

Abstract: In this paper, we present a completely radical way to investigate the main problem of symbolic dynamics, the conjugacy problem, by proving that this problem actually relates to a natural question in category theory regarding the theory of traced bialgebras. As a consequence of this theory, we obtain a systematic way of obtaining new invariants for the conjugacy problem by looking at existing bialg… ▽ More In this paper, we present a completely radical way to investigate the main problem of symbolic dynamics, the conjugacy problem, by proving that this problem actually relates to a natural question in category theory regarding the theory of traced bialgebras. As a consequence of this theory, we obtain a systematic way of obtaining new invariants for the conjugacy problem by looking at existing bialgebras in the literature. △ Less

Submitted 19 July, 2021; originally announced July 2021.

On a recipe for quantum graphical languages

Authors: Titouan Carette, Emmanuel Jeandel

Abstract: Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimens… ▽ More Different graphical calculi have been proposed to represent quantum computation. First the ZX- calculus [4], followed by the ZW-calculus [12] and then the ZH-calculus [1]. We can wonder if new Z*-calculi will continue to be proposed forever. This article answers negatively. All those language share a common core structure we call Z*-algebras. We classify Z*-algebras up to isomorphism in two dimensional Hilbert spaces and show that they are all variations of the aforementioned calculi. We do the same for linear relations and show that the calculus of [2] is essentially the unique one. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Completeness of the ZX-Calculus

Authors: Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Abstract: The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus here on a very important property of the language: completeness, which roughly ensures the equational theory captures all of quantum mechanics. We first improve on the known-to-be-complete presentation for the so-called… ▽ More The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus here on a very important property of the language: completeness, which roughly ensures the equational theory captures all of quantum mechanics. We first improve on the known-to-be-complete presentation for the so-called Clifford fragment of the language - a restriction that is not universal - by adding some axioms. Thanks to a system of back-and-forth translation between the ZX-Calculus and a third-party complete graphical language, we prove that the provided axiomatisation is complete for the first approximately universal fragment of the language, namely Clifford+T. We then prove that the expressive power of this presentation, though aimed at achieving completeness for the aforementioned restriction, extends beyond Clifford+T, to a class of diagrams that we call linear with Clifford+T constants. We use another version of the third-party language - and an adapted system of back-and-forth translation - to complete the language for the ZX-Calculus as a whole, that is, with no restriction. We briefly discuss the added axioms, and finally, we provide a complete axiomatisation for an altered version of the language which involves an additional generator, making the presentation simpler. △ Less

Submitted 3 June, 2020; v1 submitted 13 March, 2019; originally announced March 2019.

Journal ref: Logical Methods in Computer Science, Volume 16, Issue 2 (June 4, 2020) lmcs:5288

The rational fragment of the ZX-calculus

Authors: Emmanuel Jeandel

Abstract: We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but relies instead on a more natural rule, called the cyclotomic supplementarity rule, that was introduced previously in the literature. Our axiomatisation is only… ▽ More We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but relies instead on a more natural rule, called the cyclotomic supplementarity rule, that was introduced previously in the literature. Our axiomatisation is only complete for diagrams using rational angles , and is not complete in the general case. Using results on diophantine geometry, we characterize precisely which diagram equality involving arbitrary angles are provable in our framework without any new axioms, and we show that our axiomatisation is continuous, in the sense that a diagram equality involving arbitrary angles is provable iff it is a limit of diagram equalities involving rational angles. We use this result to give a complete characterization of all Euler equations that are provable in this axiomatisation. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Undecidable word problem in subshift automorphism groups

Authors: Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier

Abstract: This article studies the complexity of the word problem in groups of automorphisms of subshifts. We show in particular that for any Turing degree, there exists a subshift whose automorphism group contains a subgroup whose word problem has exactly this degree. This article studies the complexity of the word problem in groups of automorphisms of subshifts. We show in particular that for any Turing degree, there exists a subshift whose automorphism group contains a subgroup whose word problem has exactly this degree. △ Less

Submitted 4 September, 2018; v1 submitted 28 August, 2018; originally announced August 2018.

ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T quantum mechanics

Authors: Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang

Abstract: The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true equation -- is a crucial question. In the quest of a complete ZX-calculus, supplementarity has been recently proved to be necessary for quantum diagram reasoning (MFCS 2016). Roughly speaking, supplementarity consists in… ▽ More The ZX-Calculus is a powerful graphical language for quantum mechanics and quantum information processing. The completeness of the language -- i.e. the ability to derive any true equation -- is a crucial question. In the quest of a complete ZX-calculus, supplementarity has been recently proved to be necessary for quantum diagram reasoning (MFCS 2016). Roughly speaking, supplementarity consists in merging two subdiagrams when they are parameterized by antipodal angles. We introduce a generalised supplementarity -- called cyclotomic supplementarity -- which consists in merging n subdiagrams at once, when the n angles divide the circle into equal parts. We show that when n is an odd prime number, the cyclotomic supplementarity cannot be derived, leading to a countable family of new axioms for diagrammatic quantum reasoning.We exhibit another new simple axiom that cannot be derived from the existing rules of the ZX-Calculus, implying in particular the incompleteness of the language for the so-called Clifford+T quantum mechanics. We end up with a new axiomatisation of an extended ZX-Calculus, including an axiom schema for the cyclotomic supplementarity. △ Less

Submitted 26 June, 2017; v1 submitted 7 February, 2017; originally announced February 2017.

Comments: Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark

Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus

Authors: Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Abstract: We introduce a ZX-like diagrammatic language devoted to manipulating real matrices - and rebits -, with its own set of axioms. We prove the necessity of some non trivial axioms of these. We show that some restriction of the language is complete. We exhibit two interpretations to and from the ZX-Calculus, thus showing the consistency between the two languages. Finally, we derive from our work a way… ▽ More We introduce a ZX-like diagrammatic language devoted to manipulating real matrices - and rebits -, with its own set of axioms. We prove the necessity of some non trivial axioms of these. We show that some restriction of the language is complete. We exhibit two interpretations to and from the ZX-Calculus, thus showing the consistency between the two languages. Finally, we derive from our work a way to extract the real or imaginary part of a ZX-diagram, and prove that a restriction of our language is complete if the equivalent restriction of the ZX-calculus is complete. △ Less

Submitted 1 March, 2018; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal ref: EPTCS 266, 2018, pp. 23-57

Aperiodic Subshifts on Polycyclic Groups

Authors: Emmanuel Jeandel

Abstract: We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2]. We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2]. △ Less

Submitted 19 August, 2016; v1 submitted 8 October, 2015; originally announced October 2015.

Comments: Previous version had a mistake in the proof of the polycyclic case. The new proof needs a very strong new result by Barbieri and Sablik, that the authors hopes is avoidable

Translation-like Actions and Aperiodic Subshifts on Groups

Authors: Emmanuel Jeandel

Abstract: It is well known that if $G$ admits a f.g. subgroup $H$ with a weaklyaperiodic SFT (resp. an undecidable domino problem), then $G$itself has a weakly aperiodic SFT (resp. an undecidable domino problem).We prove that we can replace the property "$H$ is a subgroup of $G$"by "$H$ acts translation-like on $G$", provided $H$ is finitely presented.In particular:* If $G\_1$ and $G\_2$ are f.g. infinite… ▽ More It is well known that if $G$ admits a f.g. subgroup $H$ with a weaklyaperiodic SFT (resp. an undecidable domino problem), then $G$itself has a weakly aperiodic SFT (resp. an undecidable domino problem).We prove that we can replace the property "$H$ is a subgroup of $G$"by "$H$ acts translation-like on $G$", provided $H$ is finitely presented.In particular:* If $G\_1$ and $G\_2$ are f.g. infinite groups, then $G\_1 \times G\_2$ has a weakly aperiodic SFT (and actually a undecidable domino problem). In particular the Grigorchuk group has an undecidable domino problem. * Every infinite f.g. $p$-group admits a weakly aperiodic SFT. △ Less

Submitted 26 August, 2015; originally announced August 2015.

An aperiodic set of 11 Wang tiles

Authors: Emmanuel Jeandel, Michael Rao

Abstract: We present a new aperiodic tileset containing 11 Wang tiles on 4 colors, and we show that this tileset is minimal, in the sense that no Wang set with either fewer than 11 tiles or fewer than 4 colors is aperiodic. This gives a definitive answer to the problem raised by Wang in 1961. We present a new aperiodic tileset containing 11 Wang tiles on 4 colors, and we show that this tileset is minimal, in the sense that no Wang set with either fewer than 11 tiles or fewer than 4 colors is aperiodic. This gives a definitive answer to the problem raised by Wang in 1961. △ Less

Submitted 11 January, 2021; v1 submitted 22 June, 2015; originally announced June 2015.

Journal ref: Advances in Combinatorics, 2021:1

Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra

Authors: Emmanuel Jeandel

Abstract: In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of theorems in many finitely axiomatisable theories is nonrecursive, but the set of theorems for any finitely axiomatisable complete theory is recursive. Finit… ▽ More In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of theorems in many finitely axiomatisable theories is nonrecursive, but the set of theorems for any finitely axiomatisable complete theory is recursive. Finitely presented groups might have an nonrecursive word problem, but finitely presented simple groups have a recursive word problem. In this article we introduce a topological framework based on closure spaces to show that many of these proofs can be obtained in a similar setting. We will show in particular that these statements can be generalized to cover arbitrary structures, with no finite or recursive presentation/axiomatization. This generalizes in particular work by Kuznetsov and others. Examples from first order logic and symbolic dynamics will be discussed at length. △ Less

Submitted 7 August, 2017; v1 submitted 28 May, 2015; originally announced May 2015.

Aperiodic Subshifts of Finite Type on Groups

Authors: Emmanuel Jeandel

Abstract: In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists a computable obstruction for them to admit strongly aperiodic SFTs. $\bullet$ On the positive side, we build strongly aperiodic SFTs on some new classes o… ▽ More In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists a computable obstruction for them to admit strongly aperiodic SFTs. $\bullet$ On the positive side, we build strongly aperiodic SFTs on some new classes of groups. We show in particular that some particular monster groups admits strongly aperiodic SFTs for trivial reasons. Then, for a large class of group $G$, we show how to build strongly aperiodic SFTs over $\mathbb{Z}\times G$. In particular, this is true for the free group with 2 generators, Thompson's groups $T$ and $V$, $PSL_2(\mathbb{Z})$ and any f.g. group of rational matrices which is bounded. △ Less

Submitted 4 July, 2015; v1 submitted 27 January, 2015; originally announced January 2015.

Comments: New version. Adding results about monster groups

Infinite Communication Complexity

Authors: Pierre Guillon, Emmanuel Jeandel

Abstract: Suppose that Alice and Bob are given each an infinite string, and they want to decide whether their two strings are in a given relation. How much communication do they need? How can communication be even defined and measured for infinite strings? In this article, we propose a formalism for a notion of infinite communication complexity, prove that it satisfies some natural properties and coincides,… ▽ More Suppose that Alice and Bob are given each an infinite string, and they want to decide whether their two strings are in a given relation. How much communication do they need? How can communication be even defined and measured for infinite strings? In this article, we propose a formalism for a notion of infinite communication complexity, prove that it satisfies some natural properties and coincides, for relevant applications, with the classical notion of amortized communication complexity. More-over, an application is given for tackling some conjecture about tilings and multidimensional sofic shifts. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: First Version. Written from the Computer Science POV

Structuring multi-dimensional subshifts

Authors: Alexis Ballier, Emmanuel Jeandel

Abstract: We study two relations on multi-dimensional subshifts: A pre-order based on the patterns configurations contain and the Cantor-Bendixson rank. We exhibit several structural properties of two-dimensional subshifts: We characterize the simplest aperiodic configurations in countable SFTs, we give a combinatorial characterization of uncountable subshifts, we prove that there always exists configuratio… ▽ More We study two relations on multi-dimensional subshifts: A pre-order based on the patterns configurations contain and the Cantor-Bendixson rank. We exhibit several structural properties of two-dimensional subshifts: We characterize the simplest aperiodic configurations in countable SFTs, we give a combinatorial characterization of uncountable subshifts, we prove that there always exists configurations without any periodicity but that have the simplest possible combinatorics in countable SFTs. Finally, we prove that some Cantor-Bendixson ranks are impossible for countable SFTs, leaving only a few unknown cases. △ Less

Submitted 24 September, 2013; originally announced September 2013.

MSC Class: 37B50; 37B10; 68R05

Characterizations of periods of multidimensional shifts

Authors: Emmanuel Jeandel, Pascal Vanier

Abstract: We show that the sets of periods of multidimensional shifts of finite type (SFTs) are exactly the sets of integers of the complexity class $\NE$. We also show that the functions counting their number are the functions of #E. We also give characterizations of some other notions of periodicity. We finish the paper by giving some characterizations for sofic and effective subshifts. We show that the sets of periods of multidimensional shifts of finite type (SFTs) are exactly the sets of integers of the complexity class $\NE$. We also show that the functions counting their number are the functions of #E. We also give characterizations of some other notions of periodicity. We finish the paper by giving some characterizations for sofic and effective subshifts. △ Less

Submitted 11 March, 2013; originally announced March 2013.

Computability of the entropy of one-tape Turing Machines

Authors: Emmanuel Jeandel

Abstract: We prove that the maximum speed and the entropy of a one-tape Turing machine are computable, in the sense that we can approximate them to any given precision $ε$. This is contrary to popular belief, as all dynamical properties are usually undecidable for Turing machines. The result is quite specific to one-tape Turing machines, as it is not true anymore for two-tape Turing machines by the results… ▽ More We prove that the maximum speed and the entropy of a one-tape Turing machine are computable, in the sense that we can approximate them to any given precision $ε$. This is contrary to popular belief, as all dynamical properties are usually undecidable for Turing machines. The result is quite specific to one-tape Turing machines, as it is not true anymore for two-tape Turing machines by the results of Blondel et al., and uses the approach of crossing sequences introduced by Hennie. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: First version (01/08/2012)

Fixed Parameter Undecidability for Wang Tilesets

Authors: Emmanuel Jeandel, Nicolas Rolin

Abstract: Deciding if a given set of Wang tiles admits a tiling of the plane is decidable if the number of Wang tiles (or the number of colors) is bounded, for a trivial reason, as there are only finitely many such tilesets. We prove however that the tiling problem remains undecidable if the difference between the number of tiles and the number of colors is bounded by 43. One of the main new tool is… ▽ More Deciding if a given set of Wang tiles admits a tiling of the plane is decidable if the number of Wang tiles (or the number of colors) is bounded, for a trivial reason, as there are only finitely many such tilesets. We prove however that the tiling problem remains undecidable if the difference between the number of tiles and the number of colors is bounded by 43. One of the main new tool is the concept of Wang bars, which are equivalently inflated Wang tiles or thin polyominoes. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.2498

ACM Class: F.1.1, F.1.2, F.1.3

Journal ref: EPTCS 90, 2012, pp. 69-85

Turing degrees of multidimensional SFTs

Authors: Emmanuel Jeandel, Pascal Vanier

Abstract: In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset $P$ of $\{0,1\}^\NN$ there is a SFT $X$ such that $P\times\ZZ^2$ is recursively homeomorphic to $X\setminus U$ where $U$ is a computable set of points. As a consequence, if $P$ contains a recursive memb… ▽ More In this paper we are interested in computability aspects of subshifts and in particular Turing degrees of 2-dimensional SFTs (i.e. tilings). To be more precise, we prove that given any \pizu subset $P$ of $\{0,1\}^\NN$ there is a SFT $X$ such that $P\times\ZZ^2$ is recursively homeomorphic to $X\setminus U$ where $U$ is a computable set of points. As a consequence, if $P$ contains a recursive member, $P$ and $X$ have the exact same set of Turing degrees. On the other hand, we prove that if $X$ contains only non-recursive members, some of its members always have different but comparable degrees. This gives a fairly complete study of Turing degrees of SFTs. △ Less

Submitted 1 June, 2012; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: arXiv admin note: substantial text overlap with arXiv:1102.1189

Pi01 sets and tilings

Authors: Emmanuel Jeandel, Pascal Vanier

Abstract: In this paper, we prove that given any Π^0_1 subset $P$ of $\{0,1\}^\NN$ there is a tileset $τ$ with a set of configurations $C$ such that $P\times\ZZ^2$ is recursively homeomorphic to $C\setminus U$ where $U$ is a computable set of configurations. As a consequence, if $P$ is countable, this tileset has the exact same set of Turing degrees. In this paper, we prove that given any Π^0_1 subset $P$ of $\{0,1\}^\NN$ there is a tileset $τ$ with a set of configurations $C$ such that $P\times\ZZ^2$ is recursively homeomorphic to $C\setminus U$ where $U$ is a computable set of configurations. As a consequence, if $P$ is countable, this tileset has the exact same set of Turing degrees. △ Less

Submitted 10 May, 2011; v1 submitted 6 February, 2011; originally announced February 2011.

Slopes of Tilings

Authors: Emmanuel Jeandel, Pascal Vanier

Abstract: We study here slopes of periodicity of tilings. A tiling is of slope if it is periodic along direction but has no other direction of periodicity. We characterize in this paper the set of slopes we can achieve with tilings, and prove they coincide with recursively enumerable sets of rationals. We study here slopes of periodicity of tilings. A tiling is of slope if it is periodic along direction but has no other direction of periodicity. We characterize in this paper the set of slopes we can achieve with tilings, and prove they coincide with recursively enumerable sets of rationals. △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

Computing (or not) Quasi-Periodicity Functions of Tilings

Authors: Alexis Ballier, Emmanuel Jeandel

Abstract: We know that tilesets that can tile the plane always admit a quasi-periodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasi-periodic tiling. We prove that the tilings by a tileset that admits only quasi-periodic tilings have a recursively (and uniformly) bounded quasi-periodicity function. Thi… ▽ More We know that tilesets that can tile the plane always admit a quasi-periodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasi-periodic tiling. We prove that the tilings by a tileset that admits only quasi-periodic tilings have a recursively (and uniformly) bounded quasi-periodicity function. This corrects an error from [6, theorem 9] which stated the contrary. Instead we construct a tileset for which any quasi-periodic tiling has a quasi-periodicity function that cannot be recursively bounded. We provide such a construction for 1-dimensional effective subshifts and obtain as a corollary the result for tilings of the plane via recent links between these objects [1, 10]. △ Less

Submitted 3 December, 2010; originally announced December 2010.

Comments: Journées Automates Cellulaires 2010, Turku : Finland (2010)

Subshifts as Models for MSO Logic

Authors: Emmanuel Jeandel, Guillaume Theyssier

Abstract: We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of "pattern counting" subshifts. Conversely, we characterise logic fragments corresponding to various classes… ▽ More We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of "pattern counting" subshifts. Conversely, we characterise logic fragments corresponding to various classes of subshifts (subshifts of finite type, sofic subshifts, all subshifts). Finally, we show by a separation result how the situation here is different from the case of tiling pictures studied earlier by Giammarresi et al. △ Less

Submitted 6 March, 2013; v1 submitted 7 December, 2009; originally announced December 2009.

Comments: arXiv admin note: substantial text overlap with arXiv:0904.2457

Periodicity in tilings

Authors: Emmanuel Jeandel, Pascal Vanier

Abstract: Tilings and tiling systems are an abstract concept that arise both as a computational model and as a dynamical system. In this paper, we characterize the sets of periods that a tiling system can produce. We prove that up to a slight recoding, they correspond exactly to languages in the complexity classes $\nspace{n}$ and $\cne$. Tilings and tiling systems are an abstract concept that arise both as a computational model and as a dynamical system. In this paper, we characterize the sets of periods that a tiling system can produce. We prove that up to a slight recoding, they correspond exactly to languages in the complexity classes $\nspace{n}$ and $\cne$. △ Less

Submitted 22 September, 2009; originally announced September 2009.

ACM Class: F.1.1

Subshifts, Languages and Logic

Authors: Emmanuel Jeandel, Guillaume Theyssier

Abstract: We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, so?c subshifts). We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tilings. Conversely, we characterise logic fragments corresponding to various classes of infinite pictures (subshifts of finite type, so?c subshifts). △ Less

Submitted 16 April, 2009; originally announced April 2009.

Journal ref: 13th International Conference on Developments in Language Theory, Stuttgart : Allemagne (2009)

Structural aspects of tilings

Authors: Alexis Ballier, Bruno Durand, Emmanuel Jeandel

Abstract: In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in two different contexts: the first one is combinatorial and the other topological. These two approaches have independent merits and, once combined, provide someh… ▽ More In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each tiling contains. This set of patterns can be analyzed in two different contexts: the first one is combinatorial and the other topological. These two approaches have independent merits and, once combined, provide somehow surprising results. The particular case where the set of produced tilings is countable is deeply investigated while we prove that the uncountable case may have a completely different structure. We introduce a pattern preorder and also make use of Cantor-Bendixson rank. Our first main result is that a tile-set that produces only periodic tilings produces only a finite number of them. Our second main result exhibits a tiling with exactly one vector of periodicity in the countable case. △ Less

Submitted 20 February, 2008; originally announced February 2008.

Comments: 11 pages

Journal ref: Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)