Benjamin Hellouin de MenibusGALaC, Victor LutfallaI2M, Pascal Vanier
{"title":"几何倾斜上的决策问题","authors":"Benjamin Hellouin de MenibusGALaC, Victor LutfallaI2M, Pascal Vanier","doi":"arxiv-2409.11739","DOIUrl":null,"url":null,"abstract":"We study decision problems on geometric tilings. First, we study a variant of\nthe Domino problem where square tiles are replaced by geometric tiles of\narbitrary shape. We show that, under some weak assumptions, this variant is\nundecidable regardless of the shapes, extending previous results on rhombus\ntiles. This result holds even when the geometric tiling is forced to belong to\na fixed set.Second, we consider the problem of deciding whether a geometric\nsubshift has finite local complexity, which is a common assumption when\nstudying geometric tilings. We show that it is undecidable even in a simple\nsetting (square shapes with small modifications).","PeriodicalId":501216,"journal":{"name":"arXiv - CS - Discrete Mathematics","volume":"22 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Decision problems on geometric tilings\",\"authors\":\"Benjamin Hellouin de MenibusGALaC, Victor LutfallaI2M, Pascal Vanier\",\"doi\":\"arxiv-2409.11739\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study decision problems on geometric tilings. First, we study a variant of\\nthe Domino problem where square tiles are replaced by geometric tiles of\\narbitrary shape. We show that, under some weak assumptions, this variant is\\nundecidable regardless of the shapes, extending previous results on rhombus\\ntiles. This result holds even when the geometric tiling is forced to belong to\\na fixed set.Second, we consider the problem of deciding whether a geometric\\nsubshift has finite local complexity, which is a common assumption when\\nstudying geometric tilings. We show that it is undecidable even in a simple\\nsetting (square shapes with small modifications).\",\"PeriodicalId\":501216,\"journal\":{\"name\":\"arXiv - CS - Discrete Mathematics\",\"volume\":\"22 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Discrete Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.11739\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Discrete Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.11739","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We study decision problems on geometric tilings. First, we study a variant of
the Domino problem where square tiles are replaced by geometric tiles of
arbitrary shape. We show that, under some weak assumptions, this variant is
undecidable regardless of the shapes, extending previous results on rhombus
tiles. This result holds even when the geometric tiling is forced to belong to
a fixed set.Second, we consider the problem of deciding whether a geometric
subshift has finite local complexity, which is a common assumption when
studying geometric tilings. We show that it is undecidable even in a simple
setting (square shapes with small modifications).