Differential information theory

11/08/2021
by   Pieter Adriaans, et al.
0

This paper presents a new foundational approach to information theory based on the concept of the information efficiency of a recursive function, which is defined as the difference between the information in the input and the output. The theory allows us to study planar representations of various infinite domains. Dilation theory studies the information effects of recursive operations in terms of topological deformations of the plane. I show that the well-known class of finite sets of natural numbers behaves erratically under such transformations. It is subject to phase transitions that in some cases have a fractal nature. The class is semi-countable: there is no intrinsic information theory for this class and there are no efficient methods for systematic search. There is a relation between the information efficiency of the function and the time needed to compute it: a deterministic computational process can destroy information in linear time, but it can only generate information at logarithmic speed. Checking functions for problems in NP are information discarding. Consequently, when we try to solve a decision problem based on an efficiently computable checking function, we need exponential time to reconstruct the information destroyed by such a function. NP-complete problems are hard because they are defined on semi-countable domains. There is a smaller class of problems, based on countable domains, that has a more transparent structure. One such problem, Subset Bitwise XOR, which could also be described as Multiple Mutual Key Encryption, is shown to be in NP but not in P. At the end of the paper I sketch a systematic taxonomy for problems in NP.

READ FULL TEXT

page 31

page 34

page 36

page 41

research
04/07/2019

Semi-Countable Sets and their Application to Search Problems

We present the concept of the information efficiency of functions as a t...
research
07/26/2017

Composition problems for braids: Membership, Identity and Freeness

In this paper we investigate the decidability and complexity of problems...
research
07/30/2018

An Atemporal Model of Physical Complexity

We present the finite first-order theory (FFOT) machine, which provides ...
research
07/01/2011

A Probabilistic Attack on NP-complete Problems

Using the probability theory-based approach, this paper reveals the equi...
research
09/26/2018

A simple information theoretical proof of the Fueter-Pólya Conjecture

We present a simple information theoretical proof of the Fueter-Pólya Co...
research
09/14/1998

Distributed Computation as Hierarchy

This paper presents a new distributed computational model of distributed...

Please sign up or login with your details

Forgot password? Click here to reset