892 research outputs found
Around the Domino Problem â Combinatorial Structures and Algebraic Tools
Given a finite set of square tiles, the domino problem is the question of whether is it possible to tile the plane using these tiles. This problem is known to be undecidable in the planar case, and is strongly linked to the question of the periodicity of the tiling. In this thesis we look at this problem in two different ways: first, we look at the particular case of low complexity tilings and second we generalize it to more general structures than the plane, groups.
A tiling of the plane is said of low complexity if there are at most mn rectangles of size m Ă n appearing in it. Nivat conjectured in 1997 that any such tiling must be periodic, with the consequence that the domino problem would be decidable for low complexity tilings. Using algebraic tools introduced by Kari and Szabados, we prove a generalized version of Nivatâs conjecture for a particular class of tilings (a subclass of what is called of algebraic subshifts). We also manage to prove that Nivatâs conjecture holds for uniformly recurrent tilings, with the consequence that the domino problem is indeed decidable for low-complexity tilings.
The domino problem can be formulated in the more general context of Cayley graphs of groups. In this thesis, we develop new techniques allowing to relate the Cayley graph of some groups with graphs of substitutions on words. A first technique allows us to show that there exists both strongly periodic and weakly-but-not-strongly aperiodic tilings of the Baumslag-Solitar groups BS(1, n). A second technique is used to show that the domino problem is undecidable for surface groups. Which provides yet another class of groups verifying the conjecture saying that the domino problem of a group is decidable if and only if the group is virtually free
A radial analogue of Poisson's summation formula with applications to powder diffraction and pinwheel patterns
Diffraction images with continuous rotation symmetry arise from amorphous
systems, but also from regular crystals when investigated by powder
diffraction. On the theoretical side, pinwheel patterns and their higher
dimensional generalisations display such symmetries as well, in spite of being
perfectly ordered. We present first steps and results towards a general frame
to investigate such systems, with emphasis on statistical properties that are
helpful to understand and compare the diffraction images. An alternative
substitution rule for the pinwheel tiling, with two different prototiles,
permits the derivation of several combinatorial and spectral properties of this
still somewhat enigmatic example. These results are compared with properties of
the square lattice and its powder diffraction.Comment: 16 pages, 8 figure
Fast domino tileability
Domino tileability is a classical problem in Discrete Geometry, famously
solved by Thurston for simply connected regions in nearly linear time in the
area. In this paper, we improve upon Thurston's height function approach to a
nearly linear time in the perimeter.Comment: Appeared in Discrete Comput. Geom. 56 (2016), 377-39
Infinite games with finite knowledge gaps
Infinite games where several players seek to coordinate under imperfect
information are deemed to be undecidable, unless the information is
hierarchically ordered among the players.
We identify a class of games for which joint winning strategies can be
constructed effectively without restricting the direction of information flow.
Instead, our condition requires that the players attain common knowledge about
the actual state of the game over and over again along every play.
We show that it is decidable whether a given game satisfies the condition,
and prove tight complexity bounds for the strategy synthesis problem under
-regular winning conditions given by parity automata.Comment: 39 pages; 2nd revision; submitted to Information and Computatio
Perfect sampling algorithm for Schur processes
We describe random generation algorithms for a large class of random
combinatorial objects called Schur processes, which are sequences of random
(integer) partitions subject to certain interlacing conditions. This class
contains several fundamental combinatorial objects as special cases, such as
plane partitions, tilings of Aztec diamonds, pyramid partitions and more
generally steep domino tilings of the plane. Our algorithm, which is of
polynomial complexity, is both exact (i.e. the output follows exactly the
target probability law, which is either Boltzmann or uniform in our case), and
entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur
processes related to the primal and dual RSK algorithm, as well as the famous
domino shuffling algorithm for domino tilings of the Aztec diamond. It can be
easily adapted to deal with symmetric Schur processes and general Schur
processes involving infinitely many parameters. It is more concrete and easier
to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different
types of Cauchy and Littlewood identities for Schur functions, and on an
adaptation of Fomin's growth diagram description of the RSK algorithm to that
setting. Simulations performed with this algorithm suggest interesting limit
shape phenomena for the corresponding tiling models, some of which are new.Comment: 26 pages, 19 figures (v3: final version, corrected a few misprints
present in v2
- âŠ