Hector Zenil

Hector Zenil


Research Focus & Metrics

Academic Career Length

16Years (2011-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
30 September 2015 in PeerJ Computer Science
Verified
Journal Article
Open access
PDF file
HZHector Zenil
Hector Zenil
FSFernando Soler-Toscano
Fernando Soler-Toscano
JDJean-Paul Delahaye
Jean-Paul Delahaye
NGNicolas Gauvrit
Nicolas Gauvrit
We propose a measure based upon the fundamental theoretical concept in algorithmic information theory that provides a natural approach to the problem of evaluatingn-dimensional complexity by using ann-dimensional deterministic Turing machine. The technique is interesting because it provides a natural algorithmic process for symmetry breaking generating complexn-dimensional structures from perfectly symmetric and fully deterministic computational rules producing a distribution of patterns as described by algorithmic probability. Algorithmic probability also elegantly connects the frequency of occurrence of a pattern with its algorithmic complexity, hence effectively providing estimations to the complexity of the generated patterns. Experiments to validate estimations of algorithmic complexity based on these concepts are presented, showing that the measure is stable in the face of some changes in computational formalism and that results are in agreement with the results obtained using lossless compression algorithms when both methods overlap in their range of applicability. We then use the output frequency of the set of 2-dimensional Turing machines to classify the algorithmic complexity of the space-time evolutions of Elementary Cellular Automata.

1 January 2013 in Computability
Verified
Journal Article
Open access
PDF file
FSFernando Soler-Toscano
Fernando Soler-Toscano
HZHector Zenil
Hector Zenil
JDJean-Paul Delahaye
Jean-Paul Delahaye
NGNicolas Gauvrit
Nicolas Gauvrit
We show that real-value approximations of Kolmogorov-Chaitin complexity K (s ) using the algorithmic coding theorem , as calculated from the output frequency of a large set of small deterministic Turing machines with up to 5 states (and 2 symbols), i

16 February 2013 in Natural Computing
Verified
Journal Article
Closed access
PDF file
HZHector Zenil
Hector Zenil

2 October 2013 in Natural Computing
Verified
Journal Article
Closed access
PDF file
GTGermán Terrazas
Germán Terrazas
HZHector Zenil
Hector Zenil
NKNatalio Krasnogor
Natalio Krasnogor

6 October 2011 in arXiv
Verified
Preprint
Open access
PDF file
JDJean-Paul Delahaye
Jean-Paul Delahaye
HZHector Zenil
Hector Zenil
We describe an alternative method (to compression) that combines several theoretical and experimental results to numerically approximate the algorithmic (Kolmogorov-Chaitin) complexity of all $\sum_{n=1}^82^n$ bit strings up to 8 bits long, and for some between 9 and 16 bits long. This is done by an exhaustive execution of all deterministic 2-symbol Turing machines with up to 4 states for which the halting times are known thanks to the Busy Beaver problem, that is 11019960576 machines. An output frequency distribution is then computed, from which the algorithmic probability is calculated and the algorithmic complexity evaluated by way of the (Levin-Zvonkin-Chaitin) coding theorem.

13 February 2013 in arXiv
Verified
Preprint
Open access
PDF file
FSFernando Soler-Toscano
Fernando Soler-Toscano
HZHector Zenil
Hector Zenil
JDJean-Paul Delahaye
Jean-Paul Delahaye
NGNicolas Gauvrit
Nicolas Gauvrit
We show that real-value approximations of Kolmogorov-Chaitin (K_m) using the algorithmic Coding theorem as calculated from the output frequency of a large set of small deterministic Turing machines with up to 5 states (and 2 symbols), is in agreement with the number of instructions used by the Turing machines producing s, which is consistent with strict integer-value program-size complexity. Nevertheless, K_m proves to be a finer-grained measure and a potential alternative approach to lossless compression algorithms for small entities, where compression fails. We also show that neither K_m nor the number of instructions used shows any correlation with Bennett's Logical Depth LD(s) other than what's predicted by the theory. The agreement between theory and numerical calculations shows that despite the undecidability of these theoretical measures, approximations are stable and meaningful, even for small programs and for short strings. We also announce a first Beta version of an Online Algorithmic Complexity Calculator (OACC), based on a combination of theoretical concepts, as a numerical implementation of the Coding Theorem Method.