4

It seems like a topological isomorphism problem ... I'm starting with an "intuitive isomorphism recognition" of 3 objects, which are defined by geometric construction. I'm looking for a formalization sketch, if there is no obvious solution to prove the isomorphism.

The objects to be compared are aperiodic tilings of dominoes, and they exhibit the behavior of domino tiling patterns. Each object is using a different construction technique:

In the initial construction process of each object, they are different and is difficult to check similarities. They are all recursive processes and quickly "converge" to the same pattern, that I am supposing that is also an isomorphism. The question can be splitted into two "how to" parts.

How to:

  1. Formalize all the construction processes in the same framework?
    That is, what the better theory/approach to describe all them with the same language?

  2. Prove that all converge to the same, where I am supposing that they are isomorphic.

... For example expressing all objects by L-system models, them showing that, by adjusting parameters and rule names, they are equivalent models.


The objects

Objcts 1 and 2: enter image description here

and Obj3: enter image description here

Here Obj1 in fractal form to compare with Obj3:

enter image description here

  • Without precise mathematical statements of undefined terms, and precise mathematical statements to be proved, there's not much of anything that can be said here. For instance, your concept of "isomorphism" is undefined. Also, your objects are not defined: the only thing in your post about those objects is some pictures and some external links. Also, your questions are overly vague; asking for us to formalize your musings is off-topic. – Lee Mosher Aug 28 '25 at 13:05
  • I suggest, in accord with our suggestions to ask one question per post to give definitions, that you edit your post to be about one favorite "object", with a full detailed definition. I also suggest that you ask a practical, carefully stated mathematical question. – Lee Mosher Aug 28 '25 at 13:05
  • And one thing to keep in mind: where you write "a mathematical proof is necessary", I would add that a mathematical statement is necessary in order to know what to prove. – Lee Mosher Aug 28 '25 at 13:08
  • Hi @LeeMosher, thanks. Yes, I see now, it's complex, so we can reduce the question to "obj1 vs obj2". If you agree I can edit the question to simplify it. About "better definitions", there are many alternative formalisms to describe and compare objects... I'm citing references via links. For more details, see my Wiki Answer, we can edit there, and I can supply more subsidies for your answer. – Peter Krauss Aug 29 '25 at 00:52
  • For @LeeMosher, and readers who prefer a more objective question, here is a reformulation of the domino problem https://math.stackexchange.com/q/5093964/70274 – Peter Krauss Sep 03 '25 at 10:38

1 Answers1

1

    (this is not an answer - is an open Wiki with some clues, please edit!)

    NOTICE. For "obj1 vs obj2" see this new question/solution.

Trying to describe constructions... And that we need to change some rules or construction rules to fit obj1 to obj2.

Object1 - Table tiling of Solomyak e Robinson

The original has a summarized description and references at

Original rules: enter image description here

I am supposing that this Python use the same rules, https://sites.math.washington.edu/wxml/tilings/source/Domino.py

Here some python results...

With 3 steps and cuting the first 9x8 rectangle of the surface: enter image description here

With 4 steps and cuting the first rectangle of the surface:

enter image description here

Other reference is Goodman-Strauss (2016), with this step-by-step illustration:

enter image description here

Object2 - Degenerated Hilbert Grid

Here 32 dominos, generated by level 2.5: enter image description here

Here 512 dominos, generated by level 4.5:

enter image description here = enter image description here

Here as fractals to compare with obj3: enter image description here