English
Related papers

Related papers: Rational self-affine tiles

200 papers

Overlap coincidence in a self-affine tiling in $\R^d$ is equivalent to pure point dynamical spectrum of the tiling dynamical system. We interpret the overlap coincidence in the setting of substitution Delone set in $\R^d$ and find an…

Metric Geometry · Mathematics 2010-03-16 Shigeki Akiyama , Jeong-Yup Lee

In this paper, we introduce the following problem in the theory of algorithmic self-assembly: given an input shape as the seed of a tile-based self-assembly system, design a finite tile set that can, in some sense, uniquely identify whether…

Computational Complexity · Computer Science 2010-06-16 Matthew J. Patitz , Scott M. Summers

The rational $Q$-system is an efficient method to solve Bethe ansatz equations for quantum integrable spin chains. We construct the rational $Q$-systems for generic Bethe ansatz equations described by an $A_{\ell-1}$ quiver, which include…

High Energy Physics - Theory · Physics 2023-03-15 Jie Gu , Yunfeng Jiang , Marcus Sperling

We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for…

Commutative Algebra · Mathematics 2019-07-16 Darij Grinberg

Let $k$ be a field of characteristic zero, and $R=k[x_1, \ldots, x_d]$ with $d \geq 3$ be a polynomial ring in $d$ variables. Let $\m=(x_1, \ldots, x_d)$ be the homogeneous maximal ideal of $R$. Let $\mathcal{K}$ be the kernel of the…

Commutative Algebra · Mathematics 2018-09-25 Sudeshna Roy

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…

Logic · Mathematics 2023-07-26 Mark Carney

An aperiodic tile set was first constructed by R.Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics…

Computational Complexity · Computer Science 2010-01-27 Bruno Durand , Andrei Romashchenko , Alexander Shen

An N -tiling of triangle ABC by triangle T is a way of writing ABC as a union of N triangles congruent to T, overlapping only at their boundaries. The triangle T is the "tile'". The tile may or may not be similar to ABC . This paper is the…

Metric Geometry · Mathematics 2012-06-12 Michael Beeson

Given a graph $G$ and collection of subgraphs $T$ (called tiles), we consider covering $G$ with copies of tiles in $T$ so that each vertex $v\in G$ is covered with a predetermined multiplicity. The multinomial tiling model is a natural…

Probability · Mathematics 2021-04-08 Richard Kenyon , Cosmin Pohoata

Let $V$ be a smooth scheme over a field $k$, and let $\{I_n, n\geq 0\}$ be a filtration of sheaves of ideals in $\calo_V$, such that $I_0=\calo_V$, and $I_s\cdot I_t\subset I_{s+t}$. In such case $\bigoplus I_n$ is called a Rees algebra. A…

Commutative Algebra · Mathematics 2010-11-05 Orlando Villamayor

In the abstract Tile Assembly Model, self-assembling systems consisting of tiles of different colors can form structures on which colored patterns are ``painted.'' We explore the complexity, in terms of the numbers of unique tile types…

Emerging Technologies · Computer Science 2024-03-12 Phillip Drake , Matthew J. Patitz , Scott M. Summers , Tyler Tracy

The periodic tiling conjecture asserts that if a region $\Sigma\subset \mathbb R^d$ tiles $\mathbb R^d$ by translations then it admits at least one fully periodic tiling. This conjecture is known to hold in $\mathbb R$, and recently it was…

Combinatorics · Mathematics 2024-09-26 Jaume de Dios Pont , Jan Grebík , Rachel Greenfeld , Jose Madrid

This short survey of recent work in tile self-assembly discusses the use of simulation to classify and separate the computational and expressive power of self-assembly models. The journey begins with the result that there is a single…

Computational Geometry · Computer Science 2013-09-06 Damien Woods

We define a notion of tiling of the full infinite $p$-ary tree, establishing a series of equivalent criteria for a subtree to be a tile, each of a different nature; namely, geometric, algebraic, graph-theoretic, order-theoretic, and…

General Topology · Mathematics 2021-09-23 Alberto Cobos , Luis M. Navas

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

Algebraic Geometry · Mathematics 2021-08-10 Akira Masuoka , Taiki Shibata , Yuta Shimada

We present the stellar resolution, a "flexible" tile system based on Robinson's first-order resolution. After establishing formal definitions and basic properties of the stellar resolution, we show its Turing-completeness and to illustrate…

Logic in Computer Science · Computer Science 2022-07-19 Boris Eng , Thomas Seiller

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…

Commutative Algebra · Mathematics 2018-07-30 Yairon Cid-Ruiz

We propose a new simple construction of an aperiodic tile set based on self-referential (fixed point) argument. People often say about some discovery that it appeared "ahead of time", meaning that it could be fully understood only in the…

Logic in Computer Science · Computer Science 2010-03-16 Bruno Durand , Andrei Romashchenko , Alexander Shen

In this article we study domino tilings of a family of finite regions called Aztec diamonds. Every such tiling determines a partition of the Aztec diamond into five sub-regions; in the four outer sub-regions, every tile lines up with nearby…

Combinatorics · Mathematics 2026-04-08 William Jockusch , James Propp , Peter Shor

Consider the rational map $\phi: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k}$ defined by homogeneous polynomials $f_0,\dots,f_n$ of the same degree $d$ in a polynomial ring…

Commutative Algebra · Mathematics 2019-10-31 Youngsu Kim , Vivek Mukundan