Open Research Index

Matching Rules for Substitution and Hierarchical Tilings for any Substitution with Finite Local Complexity

Nikolay Vereshchagin

arXivarxiv/2606.25005Jun 23, 2026math.DSscore 0

The Goodman-Strauss theorem states that for ``almost every'' substitution $τ$, the family of substitution tilings is sofic, that is, it can be defined by local matching rules for some decoration of tiles. The conditions on the substitution that guarantee the soficity are quite complicated in the statement of the theorem. In this paper we propose a version of the Goodman-Strauss theorem with very simple conditions on the substitution: the family of substitution tilings must have finite local complexity (FLC), that is, the number of crowns that appear in $τ$-supertiles is finite. Like the…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2606.25005
curl -X POST /api/v1/records/arxiv/2606.25005/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.25005/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'