Related papers: Fast domino tileability
In this thesis we will present and discuss various results pertaining to tiling problems and mathematical logic, specifically computability theory. We focus on Wang prototiles, as defined in [32]. We begin by studying Domino Problems, and…
By reformulating Wang tiles with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterparts.…
We prove that every piecewise linear manifold of dimension up to four on which a finite group acts by piecewise linear homeomorphisms admits a compatible smooth structure with respect to which the group acts smoothly. This solves a…
We propose a system of partial differential equations with a single constant delay $\tau > 0$ describing the behavior of a one-dimensional thermoelastic solid occupying a bounded interval of $\mathbb{R}^{1}$. For an initial-boundary value…
Thurston introduced in his seminal work an asymmetric metric on Teichm\"uller space by the ratio of simple closed curve length. In this paper, we generalize the idea and define an asymmetric metric on the space of unit-area flat metrics…
We study convex domino towers using a classic dissection technique on polyominoes to find the generating function and an asymptotic approximation.
We consider polygonal tilings of certain regions and use these to give intuitive definitions of tiling-based perimeter and area. We apply these definitions to rhombic tilings of Elnitsky polygons, computing sharp bounds and average values…
We introduce a new method for studying gap probabilities in a class of discrete determinantal point processes with double contour integral kernels. This class of point processes includes uniform measures of domino and lozenge tilings as…
In three dimensions, a `master theory' for all Thurston geometries requires imaginary flux. However, these geometries can be obtained from physical three-dimensional theories with various additional scalar fields, which can be interpreted…
We study necessary conditions on the geometry and the topology of domains in $\mathbb{R}^2$ that support a positive solution to a classical overdetermined elliptic problem. The ideas and tools we use come from constant mean curvature…
"Dominos" are special entities consisting of a hard dimer-like kernel surrounded by a soft hull and governed by local interactions. "Soft hull" and "hard kernel" mean that the hulls can overlap while the kernel acts under a repulsive…
In this paper, we consider the periodic tiling problem which was proved undecidable in the Euclidean plane by Yu. Gurevich and I. Koriakov in 1972. Here, we prove that the same problem for the hyperbolic plane is also undecidable.
The author presents two tricks to accelerate depth-first search algorithms for a class of combinatorial puzzle problems, such as tiling a tray by a fixed set of polyominoes. The first trick is to implement each assumption of the search with…
Topology optimization is concerned with the identification of optimal shapes of deformable bodies with respect to given target functionals. The focus of this paper is on a topology optimization problem for a time-evolving elastoplastic…
We fix $n$ and say a square in the two-dimensional grid indexed by $(x,y)$ has color $c$ if $x+y \equiv c \pmod{n}$. A {\it ribbon tile} of order $n$ is a connected polyomino containing exactly one square of each color. We show that the set…
We develop several efficient algorithms for the classical \emph{Matrix Scaling} problem, which is used in many diverse areas, from preconditioning linear systems to approximation of the permanent. On an input $n\times n$ matrix $A$, this…
We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of…
This paper is concerned with the stickiness of invariant tori obtained by KAM technics (so-called KAM tori) for higher dimensional beam equation. We prove that the KAM tori are sticky, i.e. the solutions starting in the…
Consider the scattering of time-harmonic point sources by an infinite locally rough interface with bounded obstacles embedded in the lower half-space. The model problem is first reduced to an equivalent integral equation formulation defined…
To understand an aperiodic tiling (or a quasicrystal modeled on an aperiodic tiling), we construct a space of similar tilings, on which the group of translations acts naturally. This space is then an (abstract) dynamical system. Dynamical…