Please use this identifier to cite or link to this item:
Title: Fractal Dimension versus Process Complexity
Author: Joosten, Joost J.
Soler-Toscano, Fernando
Zenil, Hector
Keywords: Lògica matemàtica
Filosofia de la matemàtica
Mathematical logic
Philosophy of mathematics
Turing, Alan Mathison, 1912-1954
Issue Date: 29-Jun-2016
Publisher: Hindawi
Abstract: We look at small Turing machines (TMs) that work with just two colors (alphabet symbols) and either two or three states. For any particular such machine and any particular input , we consider what we call the space-time diagram which is basically the collection of consecutive tape configurations of the computation . In our setting, it makes sense to define a fractal dimension for a Turing machine as the limiting fractal dimension for the corresponding space-time diagrams. It turns out that there is a very strong relation between the fractal dimension of a Turing machine of the above-specified type and its runtime complexity. In particular, a TM with three states and two colors runs in at most linear time, if and only if its dimension is 2, and its dimension is 1, if and only if it runs in superpolynomial time and it uses polynomial space. If a TM runs in time , we have empirically verified that the corresponding dimension is , a result that we can only partially prove. We find the results presented here remarkable because they relate two completely different complexity measures: the geometrical fractal dimension on one side versus the time complexity of a computation on the other side.
Note: Reproducció del document publicat a:
It is part of: Advances in Mathematical Physics, 2016, p. 1-21
Related resource:
ISSN: 1687-9120
Appears in Collections:Articles publicats en revistes (Filosofia)

Files in This Item:
File Description SizeFormat 
663830.pdf3.88 MBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons