Assembly Theory of Binary Messages (How to Assemble a Black Hole and Use it to Assemble New Binary Information?)

Szymon Łukaszyk; Wawrzyniec Bieniawski

doi:10.20944/preprints202401.1113.v5

Preprint

Article

Assembly Theory of Binary Messages (How to Assemble a Black Hole and Use it to Assemble New Binary Information?)

This version is not peer-reviewed.

Szymon Łukaszyk^*

Wawrzyniec Bieniawski

Szymon Łukaszyk^*

Wawrzyniec Bieniawski

This version is not peer-reviewed.

Downloads

739

Views

357

Comments

Submitted:

13 March 2024

Posted:

14 March 2024

Read the latest preprint version here

A peer-reviewed article of this preprint also exists.

Abstract

Using assembly theory, we investigate the assembly pathways of fixed-length binary strings formed by joining the individual bits present in the assembly pool and the strings that entered the pool as a result of previous joining operations. We show that the string assembly index is bounded from below and above, and we conjecture about the form of the upper bound. We show that a string having the smallest assembly index can be assembled by an elegant trivial program of length equal to this index, if the length of the string is expressible as a product of Fibonacci numbers. We conjecture that there is no binary program that has a length shorter than the length of the string having the largest assembly index that could assemble this string. We conjecture that a black hole surface is defined by a balanced distinct string that satisfies the upper bound of a distinct string assembly index. The results confirm that four Planck areas provide a minimum information capacity that provides a minimum thermodynamic (Bekenstein-Hawking) entropy. Knowing that the problem of determining the assembly index is at least NP-complete, we conjecture that the problem of determining the assembly index of a given binary string is NP-complete, while the problem of creating the string so that it would have a predetermined maximum assembly index is NP-hard. Therefore, once the new information is assembled by a dissipative structure or by a human, increasing the information entropy according to the second law of infodynamics, it is subject to the second law of thermodynamics, and nature seeks to optimize its assembly pathway.

Keywords:

assembly theory

;

emergent dimensionality

;

holographic principle

;

black holes

;

complexity measures

;

P versus NP problem

;

Gö

;

del's incompleteness theorems

;

halting problem

;

elegant program

;

Fibonacci sequence

;

Collatz conjecture

;

addition chains

;

quantum orthogonalization interval theorems

;

second law of infodynamics

;

mathematical physics

;

binputation

Subject:

Physical Sciences - Mathematical Physics

1. Introduction

Assembly Theory (AT) [1,2,3,4,5,6,7] provides a distinctive complexity measure, superior to established complexity measures used in information theory, such as Shannon entropy or Kolmogorov complexity [1,5]. AT does not alter the fundamental laws of physics [6]. Instead, it redefines objects on which these laws operate. In AT, objects are not considered as sets of point particles (as in most physics), but instead are defined by the histories of their formation (assembly pathways) as an intrinsic property, where, in general, there are multiple assembly pathways to create a given object.

AT explains and quantifies selection and evolution, capturing the amount of memory necessary to produce a given object [6]. This is because the more complex a given object is, the less likely an identical copy can be observed without the selection of some information-driven mechanism that generated that object. Formalizing assembly pathways as sequences of joining operations, AT begins with basic units (such as chemical bonds) and concludes with a final object. This conceptual shift captures evidence of selection in objects [1,2,6].

The Assembly Index, which represents the length of the shortest assembly pathway leading to an object, facilitates the quantification of the minimum memory required for its construction. In general, it increases with the object’s size, but decreases with symmetry, so large objects with repeating substructures may have lower complexity than smaller objects with greater heterogeneity [1]. The copy number specifies the number of copies of an object, essential for assessing its structural complexity.

AT has been experimentally confirmed in the case of molecules and probed directly experimentally with high accuracy with spectroscopy techniques, including mass spectroscopy, IR, and NMR spectroscopy [6]. It is a versatile concept with applications in various domains. Beyond its application in the field of biology and chemistry [7], its adaptability to different data structures, such as text, graphs, groups, music notations, image files, compression algorithms, etc., showcases its potential in diverse fields [2].

In this study, we investigate the assembly pathways of binary strings by joining individual bits present in the assembly pool [6] and strings that entered the pool as a result of previous joining operations.

The paper is structured as follows. Section 2 introduces the basic definitions used in the paper. Section 3 shows that the assembly index of binary strings is bounded from below and provides the form of this bound. Section 6 introduces the concept of binary assembling program and shows that the trivial assembling program assembles binary strings that have a minimum assembly index. Section 4 shows that the assembly index of binary strings is bounded from above and conjectures about the exact form of this bound. Section 7 discusses additional results of this research in the context of BBs. Section 8 concludes the findings of this study.

2. Preliminaries

For K subunits of an objectO the assembly index

a_{O}

of AT is bounded [1] from below by

min (a_{O}) = {log}_{2} (K),

(1)

and from above by

max (a_{O}) = K - 1,

(2)

The lower bound (1) represents the fact that the simplest way to increase the size of a subunit in a pathway is to take the largest subunit so far and join it to itself [1] and in the case of the upper bound (2), subunits must be distinct so that they could not be reused from the pool, decreasing the index.

Here we consider binary strings

C_{k}^{(N)}

containing bits

{0, 1}

, which are our basis AT objects[2], with

N_{0}

zeros and

N_{1}

ones1, having a fixed length

N = N_{0} + N_{1}

Where the bit value can be either 0 or 1, we write

* = {0, 1}

with * being the same within the string

C_{k}^{(N)}

. If we allow for the 2^nd possibility that can be the same as or different from *, we write

★ = {0, 1}

. Thus,

C_{k}^{(2)} = [* ★]

, for example, is a placeholder for all four 2-bit strings.

We consider strings to be messages transmitted through a communication channel between a source and a receiver, similarly to the Claude Shannon approach [29] used in the derivation of binary information entropy

H (C_{k}^{(N)}) = - p_{0} {log}_{2} (p_{0}) - p_{1} {log}_{2} (p_{1}),

(3)

where

p_{0} = \frac{N_{0}}{N} and p_{1} = \frac{N_{1}}{N},

(4)

are the ratios of occurrences of zeros and ones within the string

C_{k}^{(N)}

and the unit of entropy (3) is bit.

Here, we consider the process of formation of binary strings within the AT framework.

Definition 1.

A string assembly index

a^{(N)}

is the smallest number of steps s required to assemble a binary string

C_{k}^{(N)}

of length N by joining two distinct bits contained in the initial assembly pool

P = {0, 1}

and strings joined in previous steps that are added to the assembly pool. Therefore, the assembly index

a^{(N)} (C_{k})

is a function of the string

C_{k}^{(N)}

For example, the 8-bit string

C_{k}^{(8)} = [01010101]

(5)

can be assembled in at most seven steps:

1.: join 0 with 1 to form $C_{k}^{(2)} = [01]$ , adding $[01]$ to $P = {0, 1, 01}$ ,
2.: join $C_{k}^{(2)} = [01]$ with 0 to form $C_{k}^{(3)} = [010]$ , adding $[010]$ to $P = {0, 1, 01, 010}$ ,
3.: ...
7.: join $C_{k}^{(7)} = [0101010]$ with 1 to form $C_{k}^{(8)} = [01010101]$

(i.e. not using the pool), six, five, or four steps:

join 0 with 1 to form $C_{k}^{(2)} = [01]$ , adding $[01]$ to P,
join $C_{k}^{(2)} = [01]$ with $[01]$ taken from P to form $C_{k}^{(4)} = [0101]$ , adding $[0101]$ to P,
join $C_{k}^{(4)} = [0101]$ with $[01]$ taken from P to form $C_{k}^{(6)} = [010101]$ , adding $[010101]$ to P,
join $C_{k}^{(6)} = [010101]$ with $[01]$ taken from P to form $C_{k}^{(8)} = [01010101]$ ,

or at least three steps:

join 0 with 1 to form $C_{k}^{(2)} = [01]$ , adding $[01]$ to P,
join $C_{k}^{(2)} = [01]$ with $[01]$ taken from P to form $C_{k}^{(4)} = [0101]$ , adding $[0101]$ to P,
join $C_{k}^{(4)} = [0101]$ with $[0101]$ taken from P to form $C_{k}^{(8)} = [01010101]$ ,

while the 8-bit string

C_{l}^{(8)} = [00010111]

(6)

can be assembled in at least six steps:

join 0 with 1 to form $C_{l}^{(2)} = [01]$ , adding $[01]$ to P,
join $C_{l}^{(2)} = [01]$ with $[01]$ taken from P to form $C_{l}^{(4)} = [0101]$ , adding $[0101]$ to P,
join 0 with 0 adding $[00]$ to P,
join $C_{l}^{(4)} = [0101]$ with $[00]$ taken from P to form $C_{l}^{(6)} = [000101]$ , adding $[000101]$ to P,
join $C_{l}^{(6)} = [000101]$ with 1 to form $C_{l}^{(7)} = [0001011]$ , adding $[0001011]$ to P,
join $C_{l}^{(7)} = [0001011]$ with 1 to form $C_{l}^{(8)} = [00010111]$ ,

as only the doublet

[01]

can be reused from the pool. Therefore, strings (5) and (6) have respective assembly indices

a^{(8)} (C_{k}) = 3

and

a^{(8)} (C_{l}) = 6

that represent the lengths of their shortest assembly pathways, which in turn ensures that the assembly pool P is a distinct set.

Table 1 and Table A6–Table A13 (Appendix D) show the distributions of the assembly indices among

2^{N}

strings for

4 \leq N \leq 12

taking into account the number of ones

N_{1}

. The sums of each column form Pascal’s triangle read by rows (OEIS sequence A007318).

Theorem 1.

A string having length

N = 4

is the shortest string having more than one string assembly index 1.

Proof.

The proof is trivial. For

N = 1

the assembly index

a^{(1)} (C) = 0

, as all basis objects have a pathway assembly index of 0 [2] (they are not assembled).

N = 2

provides four available strings with

a^{(2)} (C) = 1

N = 3

provides eight available strings with

a^{(3)} (C) = 2

. Only

N = 4

provides 16 strings that include four stings with

a^{(4)} (C) = 2

and twelve strings with

a^{(4)} (C) = 3

including

| B^{(4)} | = 6

balanced strings, as shown in Table 1 and Table 2.

For example, to assemble the string

B_{1} = [0101]

we need to assemble the string

[01]

and reuse it. Therefore,

a^{(N)} (C_{k}) = N - 1

for

0 < N < 4, \forall k

and

min_{k} ({a^{(N)} (C_{k})}) < N - 1

for

N \geq 4

, where

{a^{(N)} (C_{k})}

denotes a set of different assembly indices. □

Definition 2.

A string

B_{k}^{(N)}

is a balanced string if it has the same number of bits, where

N_{1} = N_{0} - 1

N_{0} = N_{1} - 1

if N is odd.

Without loss of generality, we assume that if N is odd,

N_{1} < N_{0}

(e.g., for

N = 5

N_{1} = 2

, and

N_{0} = 3

). However, our results are equivalently applicable if we assume the opposite (i.e. a larger number of ones for an odd N).

Considered as messages [29], only balanced and even length strings

B_{k}^{(N)}

have binary entropies

H (B_{k}^{(N)}) = {0, 1}

, i.e. natural numbers. Conversely, only non-balanced and/or odd length strings

C_{k}^{(N)}

have binary entropies

0 < H (C_{k}^{(N)}) < 1

The number

| B^{(N)} |

of balanced strings among all

2^{N}

strings is2

\begin{matrix} | B^{(N)} | & = (\binom{N}{⌊N / 2⌋}) = (\binom{N}{⌈N / 2⌉}) \approx \sqrt{\frac{2}{π N}} 2^{N} . \end{matrix}

(7)

This is OEIS A001405 sequence, the maximal number of subsets of an N-set such that no one contains another, as asserted by Sperner’s theorem, and approximated using Stirling’s approximation for large N.

Definition 3.

A string

D_{k}^{(N)}

is a distinct string if a ring formed with this string by joining its beginning with its end is unique among the rings formed from the other distinct strings

D_{l}^{(N)}, l \neq k

There are at least two and at most N forms of a distinct string

D_{k}^{(N)}

that differ in the position of the starting bit. For example for

| B^{(4)} | = 6

balanced strings, shown in Table 2, two augmented strings with

a^{(4)} = 2

correspond to each other if we change the starting bit

\begin{matrix} [\dots 1 | 0101 | 0101 | 01 \dots] = \\ [\dots 10 | 1010 | 1010 | 1 \dots] . \end{matrix}

(8)

Similarly, four augmented strings with

a^{(4)} = 3

correspond to each other

\begin{matrix} [\dots | 0110 | 0110 | 011 \dots] = \\ [\dots 0 | 1100 | 1100 | 11 \dots] = \\ [\dots 01 | 1001 | 1001 | 1 \dots] = \\ [\dots 011 | 0011 | 0011 | \dots], \end{matrix}

(9)

after a change in the position of the starting bit. Thus, there are only two distinct strings for

N = 4

The number of distinct strings

| D^{(N)} |

among all

2^{N}

strings is given by the OEIS sequence A000031. In general (for

N \geq 3

), the number

| D^{(N)} |

of distinct strings is much lower than the number

| B^{(N)} |

of balanced strings.

By neglecting the notion of the beginning and end of a string, we focus on its length and content. In Yoda’s language,

"complete, no matter where it begins. A message is".

The numbers of the balanced

| B_{k} |

, distinct

| D_{k} |

, and balanced distinct3

| E_{k} |

strings are shown in Table 3 and Figure 1. The formula for

| E_{k} |

remains to be researched.

We note that, in general, the starting bit is relevant for the assembly index. Thus, different forms of a distinct string may have different assembly indices. For example, for

N = 7

balanced strings

B_{34}

and

B_{35}

, shown in Table A16 have

a^{(7)} = 6

. However, these strings are not distinct, since they correspond to each other and to the balanced strings

B_{13}

B_{18}

B_{20}

B_{28}

, and

B_{30}

with

a^{(7)} = 5

. They all have the same triplet of adjoining ones.

Definition 4.

The assembly index of a distinct string

D_{k}^{(N)}

is the smallest assembly index among all forms of this string.

Thus, if different forms of a distinct string have different assembly indices, we assign the smallest assembly index to this string. In other words, we assume that the smallest number of steps

a^{(N)} (D_{k}) = min_{l} ({a^{(N)} {(D_{k})}_{l}}), {(D_{k})}_{l} \in D_{k},

(10)

where

{(D_{k})}_{l}

denotes a particular form of a distinct string

D_{k}

, is the string assembly index of this distinct string.

The distribution of the assembly indices of the balanced distinct strings

E_{k}

is shown in Table 4.

3. Minimum Assembly Index

In the following, we derive the tight lower bound of the set of different string assembly indices 1.

Theorem 2

(Tight lower bound on the string assembly index). The smallest string assembly index

a^{(N)} (C_{\min})

as a function of N corresponds to the shortest addition chain for N (OEIS sequence A003313).

Proof.

Strings

C_{\min}

for which

a^{(N)} (C_{\min}) = min_{k} ({a^{(N)} (C_{k})})

\forall k = {1, 2, \dots, 2^{N}}

can be formed in subsequent steps s by joining the longest string assembled so far with itself until

N = 2^{s}

is reached [1]. Therefore, if

N = 2^{s}

, then

min_{k} ({a_{(2^{s})} (C_{k})}) = s = {log}_{2} (N)

. Only four strings

\begin{matrix} C_{\min_{1}}^{(2^{s})} & = [00 \dots], \\ C_{\min_{2}}^{(2^{s})} & = [11 \dots], \\ C_{\min_{3}}^{(2^{s})} & = [0101 \dots], and \\ C_{\min_{4}}^{(2^{s})} & = [1010 \dots] \end{matrix}

(11)

have such an assembly index in this case.

An addition chain for

N \in N

having the minimum length

s \in N

(commonly denoted as

l (N)

) is defined as a sequence

1 = b_{0} < b_{1} < \dots < b_{s} = N

of integers such that for each

j \geq 1

b_{j} = b_{k} + b_{l}

for

l \leq k < j

. The first step in creating an addition chain for N is always

b_{1} = 1 + 1 = 2

and this corresponds to assembling a doublet

[* ★]

from the initial assembly pool P. Thus, the lower bound for s of the addition chain for N,

s \geq {log}_{2} (N)

is attained for

N = 2^{s}

. In the assembly case, this bound is attained by the strings (11). The second step in creating an addition chain can be either

b_{2} = 1 + 1 = 2

b_{2} = 1 + 2 = 3

Thus, finding the shortest addition chain for N corresponds to finding an assembly index of a string containing bits and/or doublets and/or triplets generated by these doublets for

N \neq 2^{s}

since due to Theorem 1 only they provide the same assembly indices

{0, 1, 2}

. Such strings correspond to linear molecules made of carbons [4] (Supplementary Materials, S3.2). □

Calculating both the minimum length of the addition chain for N and finding the assembly index of a string of length N have been shown to be at least as hard as NP-complete [4,40].

Table 5. The lower bound on the binary string assembly index (OEIS A003313).

N	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19
$a_{\min}^{(N)}$	0	1	2	2	3	3	4	3	4	4	5	4	5	5	5	4	5	5	6

4. Maximum Assembly Index

In the following, we conjecture the form of the upper bound of the set of different string assembly indices 1.

In general, of all strings

C_{k}

having a given assembly index, shown in Table 1 and Table A6–Table A13 (Appendix D), most are those having

N_{1} = ⌊N / 2⌋

. The only exceptions we found are

N = 8

for

a^{(8)} = 4

(

4 < 8

) and for

a^{(8)} = 6

(

24 < 26

N = 10

for

a^{(10)} = 4

(

2 < 5

) and for

a^{(10)} = 5

(

32 < 33

), and

N = 12

for

a^{(12)} = 4

(

2 < 3

Introducing the definition 2 of a balanced string allows us to reduce the search space of possible strings with maximal assembly indices to balanced strings only. With the exception of

N = 8

, of all strings

C_{k}^{(N)}

having a maximum assembly index, most are balanced. We can further restrict the search space to distinct strings 3.

If a string

C_{\min}

for which

a^{(N)} (C_{\min}) = min_{k} ({a^{(N)} (C_{k})})

is constructed from repeating patterns, then a string

C_{\max}

for which

a^{(N)} (C_{\max}) = max_{k} ({a^{(N)} (C_{k})})

must be the most patternless. The string assembly index must be bounded from above and

a^{(N)} (C_{\max})

must be a monotonically nondecreasing function of N that can increase at most by one between N and

N + 1

Identifying the shortest pathway is known to be computationally challenging [3]. This problem has been proven to be at least as hard as NP-complete [4]. However, certain heuristic rules apply in our binary case. For example,

for $N = 7$ we cannot avoid two doublets (e.g. $2 \times [00]$ ) within a distinct string $E_{28}^{(7)} = [0011100]$ and thus $a^{(7)} (C_{\max}) = 5 < 6$ ,
for $N = 8$ we cannot avoid two pairs of doublets (e.g. $2 \times [00]$ and $2 \times [11]$ ) within a distinct string $E_{7}^{(8)} = [00001111]$ and thus $a^{(8)} (C_{\max}) = 5 < 6$ ,
for $N = 12$ we cannot avoid three pairs of doublets (e.g. $2 \times [00]$ , $2 \times [10]$ , and $2 \times [11]$ ) within a distinct string $E_{k}^{(12)} = [111000101100]$ and thus $a^{(12)} (C_{\max}) = 8 < 9$ ,
for $N = 14$ we cannot avoid two pairs of doublets and one doublet three times (e.g. $2 \times [00]$ , $2 \times [11]$ , and $3 \times [01]$ , and thus $a^{(14)} (C_{\max}) = 9 < 10$ ,
etc.

Table 6 shows the exemplary balanced strings

B_{\max}

having maximal assembly indices that we assembled (cf. also Apendix Appendix B). To determine the assembly index

a^{(18)} = 11

of the string

E_{k}^{(18)} = [1 (001) (11) (110) (110) (00) (001) 0],

(12)

we look for the longest patterns that appear at least twice within the string, and we look for the largest number of these patterns. Here, we find that each of the two triplets

[001]

and

[110]

appear twice in

E_{k}^{(18)}

and are based on the doublets

[00]

and

[11]

also appearing in

E_{k}^{(18)}

. Thus, we start with the assembly pool

{0, 1, [00], [001], [11], [110]}

made in four steps and join the elements of the pool in the following seven steps to arrive at

a^{(18)} (E_{k}) = 11

. On the other hand, another form of this balanced distinct string

E_{l}^{(18)} = [(01) (11) (110) (110) 00 (001) (01) 0],

(13)

has

a^{(18)} (E_{l}) = 12

Conjecture 1.

(Tight upper bound on a string assembly index). With exceptions for small N the largest string assembly index

a^{(N)} (C_{\max})

of a binary string as a function of N is given by a sequence formed by

{+ 1, + 1, k \times 0, + 1, + 1, k \times 0}

strings for

k \in N_{0}

, where

+ 1

denotes increasing

a^{(N)} (C_{\max})

by one, and 0 denotes maintaining it at the same level, and

a^{(0)} = - 1

However, at this moment, we cannot state whether this conjecture applies to distinct or non-distinct strings. The assembly indices for

N < 3

are the same for a given N, whereas the assembly indices for

4 \leq N \leq 10

were discussed above and are calculated in Appendix D for balanced and balanced distinct strings.

The conjectured sequence is shown in Figure 2 and Figure 3 starting with

a^{(0)} = - 1

(we note in passing that

n = - 1

is a dimension of the void, the empty set ∅, or (-1)-simplex). Subsequent terms are given by

{0, 1, 2, 3, 4, 5, 5, 6, 7, 7, 8, 9, 9, 9, 10, \dots}

, which is periodic for

N = k (k + 3)

and flattens at

a^{(N)} (D_{\max}) = 4 k - 3

, and

a^{(N)} (D_{\max}) = 4 k - 1

k \in N

k > 1

This sequence can be generated using the following procedure

We note the similarity of this bound to the Aufbau rule4, the Janet sequence (OEIS A167268) and the monotonically non-decreasing Shannon entropy of chemical elements, including observable ones [23]. Perhaps the exceptions in the sequence Section 4 vanish as N increases.

5. Strings between the bounds

The bounds 2 and 1 are shown in Table 5 and Table 6 and illustrated in Figure 2 and Figure 3. No binary string can be assembled in a smaller number of steps than given by a lower bound of Theorem 2. On the other hand, some strings cannot be assembled in a smaller number of steps than given by an upper bound (which for large N, as we suppose, has the form presented in Conjecture 1).

The Hamlet tragedy contains approximately 130,000 letters. Assigning five bits per letter (32 possibilities), the Hamlet tragedy can be encoded in a string having

N_{Hamlet} = 650000

bits (81.25 kB) yielding the total number of possible strings

2^{N_{Hamlet}} \approx 1 \times 10^{195312}

(including

| B_{N_{Hamlet}} | \approx 1 \times 10^{195309}

), and their assembly indices are bounded by

27 \leq a^{(N_{Hamlet})} (C_{k}) ≪ 3217

(14)

The lower bound (14) can be estimated using Theorem 2 (though for large N it can be at least as hard as NP-complete [4,40]). The upper bound (14) can be estimated by finding the smallest k that satisfies

k (k + 3) \geq N_{Hamlet}

and using the relation

a^{(N)} (C_{\max}) = 4 ⌈k⌉ - 1

of Conjecture 1.

We assume that the assembly index of the string encoding the actual Hamlet tragedy is close to the upper bound. Even if the probability of random typing of the Hamlet tragedy is unfathomably small, when constrained to the bounds of the physical universe [5], as asserted by the infinite monkey theorem, this tragedy was once created by William Shakespeare.

SARS-CoV-2 genome sequence contains 29903 nucleobases

{A, C, G, T}

. Assigning two bits per base it can be encoded in a string of

N_{SARS - CoV - 2} = 59806

bits having the assembly index bounded by

20 \leq a^{(N_{SARS - CoV - 2})} (C_{k}) ≪ 971 .

(15)

Figure 2. Lower bound on the binary string assembly index 2 (red) and

{log}_{2} (N)

(red, dash-dot), conjectured upper bound on the binary string assembly index Section 4 (green), factual values of the string assembly index (blue) and the distinct string assembly index (cyan) and

N - 1

(green, dash-dot), for the string length

0 \leq N \leq 20

Figure 2. Lower bound on the binary string assembly index 2 (red) and

{log}_{2} (N)

(red, dash-dot), conjectured upper bound on the binary string assembly index Section 4 (green), factual values of the string assembly index (blue) and the distinct string assembly index (cyan) and

N - 1

(green, dash-dot), for the string length

0 \leq N \leq 20

Figure 3. Lower bound on the binary string assembly index (red) and

{log}_{2} (N)

(red, dash-dot), conjectured upper bound on the string assembly index (green) and

N - 1

(green, dash-dot), for the binary string length

0 \leq N \leq 100

Figure 3. Lower bound on the binary string assembly index (red) and

{log}_{2} (N)

(red, dash-dot), conjectured upper bound on the string assembly index (green) and

N - 1

(green, dash-dot), for the binary string length

0 \leq N \leq 100

6. Binputation

Definition 5.

The binary assembling program

Q_{B}

is a binary string of length

s_{Q}

that acts on the assembly pool P and outputs the assembled strings, adding them to the pool.

Definition 6.

The trivial assembling program Q is a binary assembling program 5 with particular bits denoting

0: take the last two elements from P, join them with each other, and output; and
1: take the last element from P, join it with itself, and output.

As the assembly pool P is a distinct set to which strings are added in subsequent assembly steps, only these two commands are applicable to the initial assembly pool

P = {0, 1}

containing only two bits.

Theorem3A string

C_{\min}^{(N)}

can be assembled by an elegant trivial program of length

s_{Q} = a^{(N)} (C_{\min})

iff N is expressible as a product of Fibonacci numbers (OEIS A065108).

Proof.

An elegant program is the shortest program that produces a given output [41,42].

The

1^{st}

bit of the program Q is irrelevant as

Q = 0

assembles

C_{\min_{3}}^{(2)} = [01]

and

Q = 1

assembles

C_{\min_{1}}^{(2)} = [11]

and we can denote it by *. Then the programs

Q = * 1 \dots 1

assemble the

2^{s_{Q}}

-bit strings

C_{\min_{1, 3}}^{(2^{s})} = [* 1 * 1 \dots]

having the assembly index

a_{\min}^{(2^{s_{Q}})} = s_{Q}

, while strings

C_{\min_{2, 4}}^{2^{s_{Q}}}

with the smallest assembly index

a_{\min}^{(2^{s_{Q}})} = s_{Q}

can be assembled with the same two programs starting with the pool

P = {1, 0}

The remaining

2^{s_{Q}} - 2

programs will assemble some of the shorter strings with the assembly index

a_{\min}^{(N)} = s_{Q}

. In general, all programs Q assemble strings having lengths expressible as a product of Fibonacci numbers (OEIS A065108) as shown in Table A2 (Appendix C), wherein out of

2^{s_{Q}}

programs (cf. Table A5 and Table A2):

$2^{s_{Q} - 1}$ programs $Q = * 1 * \dots$ assemble even length strings $C = [* 1 * 1 \dots]$ having natural binary entropies (3) $H (C) = {0, 1}$ , including strings $C_{\min_{1, 3}}^{(2^{s_{Q}})}$ (11),
$2^{s_{Q} - 2}$ programs $Q = * 01 * \dots$ assemble $[1 * 11 * 1 \dots]$ strings having lengths divisible by three and entropies $H (C) \approx {0, 0.9183}$ ,
$2^{s_{Q} - 3}$ programs $Q = * 001 * \dots$ assemble $[* 11 * 1 * 11 * 1 \dots]$ strings having lengths divisible by five and entropies $H (C) \approx {0, 0.9710}$ ,
⋯,
the program $Q = * 0 \dots 1$ joins two shortest strings joined in a previous step into a string of length being twice the Fibonacci sequence (OEIS A055389).
the program $Q = * 0 \dots 0$ assembles the shortest string that has length belonging to the set of Fibonacci numbers.

Thus, for

* = 0

, binary assembling programs Q assemble subsequent

2^{s_{Q} - 1} = 2^{s_{Q} - 2} + 2^{s_{Q} - 3} + \dots + 2^{0} + 1

Fibonacci words (the fixed point of the morphism

0 \to 01

1 \to 011

, OEIS sequence A096270, another version of the Fibonacci word, OEIS A005614) having entropies (3) with ratios (4)

p_{0, m} = \frac{F_{m}}{F_{m + 2}} and p_{1, m} = \frac{F_{m + 1}}{F_{m + 2}},

(17)

where

m = {1, 2, \dots s_{Q}}

, and F is the Fibonacci sequence starting from 1 that rapidly converges to

lim_{s_{Q} \to \infty} H_{m} \approx 0.9594187,

(18)

the binary entropy of the Fibonacci word limit.

For

s_{Q} \geq 4

, some of the programs are no longer elegant. Furthermore, for

s_{Q} \geq 4

Q = 000011 \dots

assembles a string

C_{non - \min}^{(2^{s_{Q} - 1})} = [10101101 \dots]

(19)

with an assembly index

a^{(2^{s_{Q} - 1})} = s_{Q}

which is not the minimum for this length of the string. For example, 4-bit program

Q = * 000

assembles the string

C^{(8)} = [1 * 1 * 11 * 1]

, but if

* = 1

this string can be assembled by a shorter, 3-bit program

Q = * 11

, and if

* = 0

this string does not have the minimal assembly index

a^{(8)} (C_{\min}) = 3

but

a^{(8)} (C_{non - \min}) = 4

For

s_{Q} = {4, 7}

and

s_{Q} \geq 10

and for the shortest string assembled by the program Q the program Q is not elegant for

* = 1

and the shortest string assembled by the program is not

C_{\min}

for

* = 0

. However, the length

s_{Q}

of any program Q is not shorter than the assembly index of the string that this program assembles. □

The trivial assembly programs Q and the strings they assemble are listed in Table 7 and Table A3–Table A5 (Appendix C) for one version of the assembly pool and for

1 \leq s_{Q} \leq 6

. If a binary string

C^{(N)}

were to code four DNA nucleobases, (for example as, A

= 00

, G

= 01

, C

= 10

, and T

= 11

) then we note that the nucleobase encoded by 00 (or 11 for

P = {1, 0}

) would not be present in the strings generated by trivial assembly programs Q defined by 6. We note in passing that the Fibonacci sequence can be expressed through the golden ratio, which corresponds to the smallest Pythagorean triple

{- 3, 4, 5}

[28,43].

Perhaps the minimum assembly index 2 and Theorem 3 are related to the Collatz conjecture, as the lengths of the strings (11)

N = 2^{2 k}

correspond to the numbers to which the Collatz conjecture converges, from

N = (4^{k} - 1) / 3

k \in N

(OEIS A002450).

Theorem 3 is related to Gödel’s incompleteness theorems and the halting problem. N cases of the halting problem correspond only to

s_{Q} = {log}_{2} (N)

, not to N bits of information [44]. Therefore,

s_{Q}

-bit elegant programs assemble all four strings

C_{\min}^{(2^{s_{Q}})}

with

a^{(2^{s_{Q}})} = s_{Q}

(with two versions of the assembly pool). Furthermore, we could consider all strings assembled by the

s_{Q}

-bit assembly program as corresponding to provable theorems. Any formal axiomatic system (such as our trivial program; Defnition 6) only enables proving provable theorems. Thus, proving a theorem equals halting. There is a more fundamental path to incompleteness that involves complexity, rather than self-reference [45].

Theorem 3 would be violated if we defined the command "1" e.g. as "take the last element from the assembly pool, join it with itself, join with what you have already assembled (say at "the right"), and output". Then the 2-bit program "11" would produce

[111111]

with the assembly index

a^{(6)} = 3

. However, such a one-step command would violate the axioms of assembly theory since it would perform two assembly steps in one program step. An elegant program to output the gigabyte binary string of all zeros would take a few bits of code and would have a low Kolmogorov complexity [46]. However, such a string would be outputted, not assembled. Furthermore, the length of such a program that outputs the string

[1 \dots 1]

would be shorter than the length of the program that outputs the string

[01 \dots]

, while in AT, the lengths of these programs must be the same if the strings have the same assembly indices. Theorem 3 is about binputation5 of binary strings.

Conjecture 3.

There is no binary assembling program 5 that has a length shorter than the length of the string having the largest assembly index that could assemble this string.

Partial Proof.

When assembling the string having the largest assembly index (the largest complexity), we cannot rely solely on the last or two last strings in the assembly pool. Thus, we need to index the strings in the pool. However, we cannot predict in advance how many strings there will be in the assembly pool. Thus, we do not know how many bits will be needed to encode the indices.

Furthermore, no program P (for a Turing machine) shorter than an elegant program Q can find Q [45]. If it could, it could also generate Q’s output. But if P is shorter than Q, then Q would not be elegant. Contradiction. □

Conjecture 4.

The problem of determining the assembly index of a given binary string

C_{k}^{(N)}

and the problem of assembling a non-trivial string so that it would have a minimum assembly index (Theorem 2) for N are NP-complete. The problem of assembling the string so that it would have a maximum assembly index for N is NP-hard.

Partial Proof.

We found it much easier to determine an assembly index of a given binary string

C_{k}^{(N)}

than to assemble a string so that it would have a maximum assembly index. Similarly, a trivial string with a minimum assembly index for N can have the form

C_{\min}^{(N)} = [* \dots]

or the form of a Fibonacci word generated by the trivial program 6. □

A proof of conjecture 4 would also be the proof of the following conjecture.

Conjecture 5.

P \neq NP

Partial Proof.

Every computable problem and every computable solution can be encoded as a finite binary string. Here, determining whether the assembly index of a given string has its known maximal value corresponds to checking the solution to a problem for correctness, whereas assembling such a string corresponds to solving the problem. □

Thus, AT would solve the P versus NP problem in theoretical computer science. There is ample pragmatic justification for adding

P \neq NP

as a new axiom [44].

7. Additional Results

The [perceivable] universe is not big enough to contain the future; it is deterministic going back in time and non-deterministic going forward in time [47]. But we know [2,8,9,10,11,12,13,14,15,16,17,18,19] that it has evolved to the present since the Big Bang.

Perceivable information about any object can be encoded by a binary string [26,27]. This does not imply that a binary string defines an object. Information that defines a chemical compound, a virus, a computer program, etc. can be encoded by a binary string. However, a dissipative structure [12] such as a living biological cell (or its conglomerate such as a human, for example) cannot be represented by a binary string (even if its genome can). This information can only be perceived (so this is not an object defining information). Each of us is given to ourselves as a mystery [48]. Therefore, since one bit is the smallest amount and the quantum of information, the lower bound and the upper bound of the string assembly index define the allowed region of the assembly indices for binary strings.

The bounds 2, 1, (1), and (2) on the assembly index are shown also in Figure 4 (adopted from [1] and modified). According to the authors of [1], the "green portion of the figure is illustrative of the location in the complexity space where life might reasonably be found. Regions below can be thought of as being potentially naturally occurring, and regions above being so complex that even living systems might have been unlikely to create them. This is because they represent structures with limited internal structure and symmetries, which would require vast amounts of effort to faithfully reproduce." [1].

We disagree with this statement. It is obvious that a binary string itself is neither dissipative nor creative. It is its assembly process that can be dissipative or creative. Evolution is about assembling new information and optimizing it until it reaches its assembly index.

That is why, we found determining the assembly index of a given binary string

C_{k}^{(N)}

is easier than creating a string with a maximum assembly index for this length of the string (Conjecture 4). Once the new information is assembled (by a dissipative structure operating far from thermodynamic equilibrium, or created by humans) increasing the information entropy according to the 2^nd law of infodynamics [16], it enters the realm of the 2^nd law of thermodynamics, and nature seeks how to optimize its assembly pathway decreasing information entropy. And only humans are gifted with creativity. Any creation is required to be shaped by the unique personality of the creator to such an extent that it is statistically one-time in nature [49]; it is an imprint of the author’s personality.

The total entropy of the universe S is constant and is the sum of the information entropy

S_{i n f o}

and the physical entropy

S_{p h y s}

. Therefore, over time [19]

\frac{d S_{i n f o}}{d t} + \frac{d S_{p h y s}}{d t} = 0 .

(20)

The time corresponds to an increasing information capacity. Bit by bit:

d t = (N + 1) - N = 1

At first, the newly assembled information corresponds to the discovery by groping [11]. However, its assembly pathway does not attain its most economical or efficient form all at once. For a certain period of time, its evolution gropes about within itself. The try-out follows the try-out, not being finally adopted. Then finally perfection comes within sight, and from that moment the rhythm of change slows down [11]. The new information, having reached the limit of its potentialities, enters the phase of conquest. Stronger now than its less perfected neighbours, the new information multiplies and consolidates. When the assembly index is reached, new information attains its equilibrium (not necessarily a BH equilibrium) and its evolution terminates. It becomes stable.

There is a certain minimum amount of information

N_{C}

required to establish a creation, as shown in Figure 4. Sixteen possibilities provided by the minimum of thermodynamic entropy [30,31,32] bifurcate the assembly pathways (cf. Theorem 1) but none of these possibilities can be considered a creation. However, the boundary between the green region of dissipative structures [12] and the red region of human creativity remains to be discovered.

"Thanks to its characteristic additive power, living matter (unlike the matter of the physicists) finds itself ’ballasted’ with complications and instability. It falls, or rather rises, towards forms that are more and more improbable. Without orthogenesis life would only have spread; with it there is an ascent of life that is invincible." [11]

BB having the energy given by mass-energy equivalence

\begin{matrix} E_{BB} = \frac{k}{2} M_{BB} c^{2} = \frac{k}{2} m_{BB} E_{P} = \frac{d_{BB}}{4} E_{P} = \frac{1}{4} \sqrt{\frac{N_{BB}}{π}} E_{P}, \\ 2 \leq k \leq k_{\max} = \frac{2 α^{2}}{\sqrt{α^{4} - α_{2}^{4}}} \approx 6.7933 \end{matrix}

(21)

where

M_{BB} m_{BB} m_{P}

m_{BB} \in R

denote the BB mass, and

E_{P}

m_{P}

denote the Planck energy and mass,

α \approx 1 / 137.036

is the fine-structure constant and

α_{2} \approx - 1 / 140.178

is the

2^{nd}

fine-structure constant related to

α

(α + α_{2}) / (α α_{2}) = - π

, and k is the BB size-to-mass ratio (STM) [10] (

k = 2

if BB is BH).

It was shown [9] based on the Mandelstam-Tamm [50], Margolus–Levitin [51], and Levitin-Toffoli [52] theorems on the quantum orthogonalization interval that BBs generate (or rather assemble) a pattern forming nonequilibrium shell (VS) through the solid-angle correspondence, as shown in Figure 5. The BB entropic work

\begin{matrix} W_{BB} & = T_{BB} S_{BB} = T_{BB} \frac{1}{4} k_{B} N_{BB} = T_{BB} \frac{1}{4} k_{B} π d_{BB}^{2} \\ = \frac{E_{P} d_{BB}}{4 k} (1 \pm i \sqrt{\frac{k^{2}}{4} - 1}), \end{matrix}

(22)

is the work done by all APTs of a BB. It is the product of the BB entropy [30,31,32] and the general, complex BB temperature

T_{BB} = \frac{T_{P}}{k π d_{BB}} (1 \pm i \sqrt{\frac{k^{2}}{4} - 1}),

(23)

which in modulus and for a BH (

k = 2

) reduces [10] to Hawking temperature

T_{BH} = \frac{ℏ c^{3}}{8 π G M_{BH} k_{B}} = \frac{T_{P}}{2 π d_{BH}},

(24)

where

ℏ = h / (2 π)

is the reduced Planck constant, G is the gravitational constant, and

T_{P}

is the Planck temperature. In particular [10]

T_{BB} (k_{\max}) = \frac{T_{P}}{2 π d_{BB} α^{2}} (\sqrt{α^{4} - α_{2}^{4}} \pm i α_{2}^{2}),

(25)

\begin{matrix} T_{BB} (k_{eq}) = \frac{T_{P}}{2 π d_{BB}} \frac{α^{2} \pm i α_{2}^{2}}{\sqrt{α^{4} + α_{2}^{4}}}, \end{matrix}

(26)

where

k_{eq} = \frac{2}{α^{2}} \sqrt{α^{4} + α_{2}^{4}} \approx 2.7665 .

(27)

is the energy equilibrium STM.

A VS has the information capacity bounded by

\begin{matrix} N_{BB} & \leq N_{VS} \leq 4 N_{BB}, \\ N_{VS} : = & l N_{BB}, 1 \leq l \leq 4, \end{matrix}

(28)

where l is a VS defining factor. The number of APTs is bounded by

⌊\frac{1}{4} N_{BB}⌋ \leq N_{1} \leq ⌊\frac{1}{2} N_{BB}⌋,

(29)

as shown in Figure 6, and thus its binary potential

δ φ_{VS} = - N_{1} c^{2} / N_{V S}

[8,9] is bounded by

- \frac{1}{2} c^{2} \leq δ φ_{VS} < \{\begin{matrix} (\frac{1}{N_{BB}} - \frac{1}{4}) c^{2} > 0, & N_{BB} < 4 \\ (\frac{1}{4 N_{BB}} - \frac{1}{16}) c^{2} < 0, & N_{BB} > 4 \end{matrix} .

(30)

and the theoretical probability

p_{1} N_{1} / N_{VS}

for a triangle on a VS to be an active Planck triangle is also bounded [9] by

\frac{1}{16} - \frac{1}{4 N_{BB}} < p_{1} \leq \frac{1}{2} .

(31)

On the other hand, the entropy variation [8,53]

δ S / k_{B} = - c δ φ

so that for

N_{BB} < 4

the lower bound (31) is negative and the upper bound (30) is positive (

N_{1} \leq 1

in this range). The Planck triangle of VS is located somewhere on the VS surface defined by a solid angle

Ω = \frac{ℓ_{P}^{2}}{R_{BB}^{2}} = \frac{4 π ℓ_{P}^{2}}{4 π R_{BB}^{2}} = \frac{4 π}{N_{BB}},

(32)

that corresponds to the BB Planck triangle.

The BB information capacity is dictated by its diameter and the BB energy (21) as a function of its diameter is the same for all BBs (it is independent on k). However, the BB mass and density

ρ_{BB} = \frac{M_{BB}}{V_{BB}} = \frac{3}{k N_{BB}} ρ_{P},

(33)

are not.

Based on the orbiting condition

V_{O}^{2} \leq V_{R}^{2} \leq V_{E}^{2}

, where

V_{O} = \sqrt{G M_{C} / R_{avg}}

is the orbital, and

V_{E} = \sqrt{2 G M_{C} / R_{avg}}

the escape speed of an orbiting object,

R_{avg}

is the average distance from the center of the central object to the center of the orbiting object, and

M_{C}

is the mass of the central object, the bounds

N_{BB} \leq 4 v_{R}^{4} N_{VS} \leq 4 N_{BB},

(34)

containing the velocity term

V_{R} = v_{R} c

v_{R} \in {R, I}

were also derived [9]. Plugging

N_{VS}

from the bounds (28) into the bounds (34) we arrive at

\frac{1}{4 l} \leq v_{R}^{4} \leq \frac{1}{l},

(35)

which is satisfied by real and imaginary (but not complex) velocities (for example, for

l = 1

- 1 \leq v_{R} \leq - 1 / \sqrt{2}

1 / \sqrt{2} \leq v_{R} \leq 1

- i \leq v_{R} \leq - i / \sqrt{2}

, and

i / \sqrt{2} \leq v_{R} \leq i

). Taking the square root of the bounds (35), using

v_{L L}^{2} + v_{R R}^{2} = 1

v_{R} \in {R, I}

[9], and squaring again, we arrive at

\frac{l - 2 \sqrt{l} + 1}{l} \leq v_{L}^{4} \leq \frac{4 l - 4 \sqrt{l} + 1}{4 l} .

(36)

The bounds (35) and (36), shown in Figure 7, meet at

v = 1 / \sqrt{2}

, where de Broglie and Compton wavelengths of mass M are the same

λ_{dB} = \frac{h}{p} = h \frac{\sqrt{1 - \frac{V^{2}}{c^{2}}}}{M V} = λ_{C} = \frac{h}{M c} \Leftrightarrow \frac{V}{c} = \frac{1}{\sqrt{2}},

(37)

where p is the relativistic momentum. The same is the ratio of orbital to escape speed:

\frac{V_{O}}{V_{E}} = \frac{1}{\sqrt{2}}

Furthermore, the bounds (35) and (36) do not overlap only for

l = {1, 4}

. Therefore,

1 < l < 4

defines the dissipativity or the assembly range. Furthermore, the intersection of the bounds (35) and (36) is the common region for both velocities. If

v_{L}

is within this region, then

v_{R}

is as well. We note that the average orbital velocity of each orbiting object only slightly exceeds its orbital speed

V_{O}

. This implies that the average VS defining factor

l_{avg} ≳ 1

in (28) for a VS orbiting object (cf. Appendix A).

BBs define a perfect thermodynamic equilibrium, and the bounds (28) and (29) show that nature uses optimally assembled information (cf. Conjecture 2) to assemble new information. Figure 8 shows the bounds on the string assembly indices and Figure 9 shows the BB temperature (24), energy (21), and entropic work (22) for

0 \leq N_{BB} \leq 5

k_{B} | T_{BB} | / E_{BB} = 2 / N_{BB}

is a rational number for natural

N_{BB}

. Furthermore,

{log}_{2} (N_{BB}) > N_{BB} - 1

for

N_{BB} \in R

and

1 < N_{BB} < 2

Let us examine this process starting from the Big Bang during the Planck epoch and shortly thereafter, and for continuous

N_{BB} \in R

(i.e., including fractional Planck triangle(s)).

$N_{BB} = 0$

There is nothing to talk about. It is a mystery.
$0 < N_{BB} < 1$

The Big Bang has occurred, forming the 1^st BB. At $N_{BB} (k_{\max}) = (α^{4} - α_{2}^{4}) / (4 π α^{4}) \approx 0.0069$ the BB temperature (24) and subsequently at $N_{BH} = 1 / (4 π) \approx 0.0796$ the BH temperature (24) become equal to the Planck temperature, but any BB in this range is still too small to carry a single bit of information and cannot be triangulated. However, independent BBs merge [9,10] summing their entropies and increasing the information capacity.
$N_{BB} = 1$

The first bit (a degree of freedom [9]) becomes available, and the BH energy reaches the limit of the equipartition theorem for one bit ( $E_{BH} = \frac{1}{2} k_{B} T_{BH}$ ). APTs on BBs begin to fluctuate. However, the bounds (29) make them unable to generate any APTs on a VS ( $N_{1} = 0$ ).
$1 < N_{BB} < 2$

This is the only range in which the lower AT bound (1) is greater than the upper AT bound (2).

The BH temperature (24) exceeds its energy (21) ( $\frac{1}{2} k_{B} T_{BH} < E_{BH} < k_{B} T_{BH}$ ) [9]. At $N_{BH} = 2 ln (2)$ the BH energy (21) is equal to the Landauer limit $E_{BH} = k_{B} T_{BH} ln (2) \approx 1.3863$ [54]. Shortly thereafter, at $N_{BH} = 1.5$ , the BH density reaches the level of the Planck density For a BB [10] Still $N_{1} = 0$ . Merging BBs expand fractional Planck triangle(s) to form the 2^nd bit.
$N_{BB} = 2$

The first nonvanishing $N_{1} = 1$ becomes available on a VS generated by a BB. The BH temperature (24) is equal to its energy (21) ( $k_{B} T_{BH} = E_{BH} = E_{P} / (2 \sqrt{2 π})$ ).
$2 < N_{BB} < 3$

At $N_{BB} = 4 ln (2)$ the BH entropic work (22) is equal to the Landauer limit ( $k_{B} T_{BH} = W_{BH} = E_{P} / (4 \sqrt{π})$ ). At $N_{BB} > 2.4507$ the density of the least dense BB ( $k_{\max} \approx 6.7933$ ) decreases below the modulus of its temperature. $N_{1} = {0, 1}$ .
$N_{BB} = 3$
$3 < N_{BB} < 4$

With $N_{BB} > 3$ BBs can finally be triangulated. Yet, containing only one APT ( $N_{1} = {0, 1}$ ), they are not ergodic [9].

At $N_{BH} > π$ the BH surface gravity $g_{BH} = 1 / d_{BH}$ decreases below the Planck acceleration and the tangential acceleration [8,9] becomes real ( $a_{L} \in R$ ).
$N_{BB} = 4$

The BB assembly index bifurcates, minimal thermodynamic entropy [31] is reached, and the relation (29) provides the second bit on a VS ( $N_{1} = 2$ ). At this moment BB can be assembled in a different number of steps and nature seeks to minimize this number following the dynamics induced by the relation (20). The BH temperature (24) is equal to its entropic work (22) ( $k_{B} T_{BH} = W_{BH}$ ).
$4 < N_{BB} < 6$

The BH temperature (24) finally decreases below the entropic work (22) limit and $N_{1} \geq 2$ .
$N_{BB} = 6$

A BB reaches the upper bound on distinct assembly index.
$6 < N_{BB} < 7$

The imaginary Planck time appears at the BH surface [8] heralding the end of the Planck epoch. After crossing this threshold, the VSs begin to operate with $1 \leq N_{1} \leq 3$ on $2 π < N_{VS} \leq 8 π$ , and the first dissipative structures can be assembled.

Nature enters a directed exploration phase ( $α < 1$ ) and selectivity emerges, limiting the discovery of new objects [6].
$N_{BB} = 7$

A BB reaches the upper bound on nondistinct assembly index.
⋯
$N_{BB} > 12$

At $N_{BB} = 4 π$ a first precise diameter relation can be established between the vertices of the BB surface. Furthermore, for $N_{BB} = 4 π$ , the solid angle (32) equals one steradian.
⋯
$N_{BB} > N_{C}$

The onset of human creativity.

8. Conclusions

The results reported here can be applied in the fields of cryptography, data compression methods, stream ciphers, approximation algorithms [55], reinforcement learning algorithms [56], information-theoretically secure algorithms, etc. Another possible application of the results of this study could be molecular physics and crystallography.

Author Contributions

WB: Conjecture concerning the diversification of strings in Theorem 1; partitioning conjecture for

N \geq 16

resulting in the flattening of the string assembly index upper bound curve; observation that the string assembly index upper bound curve should BE monotonically non-decreasing; linear interpolation of VS defining factors; prior-art search; numerous clarity corrections and improvements; SŁ: The remaining part of the study.

Data Availability Statement

The public repository for the code written in MATLAB computational environment is given under the link https://github.com/szluk/Evolution_of_Information (accessed on November 23, 2023).

Acknowledgments

The authors thank Piotr Masierak for his creative remarks on the definition of a distinct string 3, research on the general strategy for determining the string assembly indices, and creating the

E_{k}^{(18)}

string (Peter’s rock), Andrzej Tomski for a clarity correction, and Mariola Bala for noting that "this is logical". SŁ thanks his wife Magdalena Bartocha for her unwavering support and motivation and his partner and friend, Renata Sobajda, for her prayers.

Abbreviations

The following abbreviations are used in this manuscript:

AT	assembly theory;
BH	black hole;
BB	black-body object (BH, white dwarf, neutron star);
VS	nonequilibrium shell;
APT	active Planck triangle;
N	length of a binary string;
$N_{0}$	number of 0’s in the binary string;
$N_{1}$	number of 1’s in the binary string (number of APTs);
$C_{k}^{(N)}$	binary string of length N;
$B_{k}^{(N)}$	balanced string of length N;
$D_{k}^{(N)}$	distinct string of length N;
$E_{k}^{(N)}$	balanced distinct string of length N;
$\| C^{(N)} \|$	number of binary strings of length N ( $2^{N}$ );
$\| B^{(N)} \|$	number of balanced strings of length N (OEIS A001405);
$\| D^{(N)} \|$	number of distinct strings (OEIS A000031);
$\| E^{(N)} \|$	number of balanced distinct strings;
$a^{(N)}$	assembly index of a string of length N;
P	assembly pool;
s	assembly step;
Q	binary assembling program;
$s_{Q}$	length of the binary assembling program;
F	Fibonacci sequence.

Appendix A. Orbital Velocities and the VS Defining Factor l

Table A1 shows the orbital speed

V_{O}

and escape speed

V_{E}

of some celestial objects, their minimal

V_{\min}

and maximal

V_{\max}

velocities6. The former ones lie below the orbital speed limits. The average VS defining factor

l_{avg} = (l_{\max} - l_{\min}) / 2

, where

l_{\min / \max} = 3 (V_{\min / \max} - V_{O}) / (V_{E} - V_{O}) + 1

were determined by linear interpolation.

Table A1. Exemplary orbital speeds and velocities, and the average VS defining factor

l_{avg}

Table A1. Exemplary orbital speeds and velocities, and the average VS defining factor

l_{avg}

Object	$V_{O}$ [km/s]	$V_{\min}$ [km/s]	$V_{\max}$ [km/s]	$V_{E}$ [km/s]	$l_{avg}$
Mercury	$47.88$	$38.86$	$58.98$	$67.71$	$1.158$
Venus	$35.02$	$34.79$	$35.26$	$49.53$	$1.000$
Earth	$29.79$	$29.29$	$30.29$	$42.13$	$1.000$
Mars	$24.13$	$21.97$	$26.50$	$34.13$	$1.030$
Jupiter	$13.06$	$12.44$	$13.72$	$18.47$	$1.011$
Saturn	$9.62$	$9.09$	$10.18$	$13.61$	$1.009$
Uranus	$6.8$	$6.49$	$7.11$	$9.61$	$1.000$
Neptune	$5.43$	$5.37$	$5.50$	$7.68$	$1.001$
Pluto	$4.74$	$3.71$	$6.10$	$6.70$	$1.247$
The Moon	$1.02$	$0.96$	$1.08$	$14.40$	$1.011$

Appendix B. Exemplary Strings with Maximal Assembly Indices

For the exemplary balanced distinct strings

E_{\max}

, shown in Table 6:

all forms of $E_{k}^{(4)} = [0011]$ have $a^{(4)} = 3$ ,
all forms of $E_{6}^{(5)} = [00011]$ have $a^{(5)} = 4$ ,
all forms of $E_{16}^{(6)} = [000111]$ have $a^{(6)} = 5$ ,
the form $E_{28}^{(7)} = [0011100]$ has $a^{(7)} = 5$ but the form $E_{34}^{(7)} = [0001110]$ has $a^{(7)} = 6$ ,
all forms of $E_{45}^{(8)} = [00010111]$ have $a^{(8)} = 6$ ,
all forms of $E_{13}^{(9)} = [000011101]$ have $a^{(9)} = 7$ ,
the form $E_{22}^{(10)} = [0000111101]$ has $a^{(10)} = 7$ but the form $E_{l}^{(10)} = [0111101000]$ has $a^{(10)} = 8$ ,
all forms of $E_{7}^{(11)} = [00000101111]$ have $a^{(11)} = 8$ ,
all forms of $E_{9}^{(12)} = [111000101100]$ have $a^{(12)} = 8$ ,
all forms of $E_{8}^{(13)} = [0000001011111]$ have $a^{(13)} = 9$ ,
all forms of $E_{k}^{(14)} = [00000101011111]$ have $a^{(14)} = 9$ ,
all forms of $E_{k}^{(15)} = [000001010111110]$ have $a^{(15)} = 10$ ,
all forms of $E_{k}^{(16)} = [1000000101011111]$ have $a^{(16)} = 10$ ,
all forms of $E_{k}^{(17)} = [00000010101111110]$ have $a^{(17)} = 11$ ,
all forms of $E_{k}^{(18)} = [000000101010111111]$ have $a^{(18)} = 11$ ,
some forms of $E_{k}^{(19)} = [1000010101001111101]$ have $a^{(19)} = 12$ ,
some forms of $E_{k}^{(20)} = [10100111110110000010]$ have $a^{(20)} = 13$ .

Appendix C. Trivial Assembling Programs

Table A2 shows the lengths of the strings assembled by the trivial assembling program introduced in Section 6. The table is divided into sections corresponding to sets of assembled strings having the same form but different lengths. For example, thirty two 7-bit programs in the bottom section assemble strings

C = [* 1 * 1 \dots]

Table A2. Lengths of the strings assembled by Qs (OEIS A065108).

$a^{(N)}$	0	1	2	3	3,4	4,5	5,6	6,7
$s_{Q}$		1	2	3	4	5	6	7
1	1	2	3	5	8	13	21	34
		\|	\|	\|	\|	\|	★	42
		\|	\|	\|	\|	1	26	39
		\|	\|	\|	\|		★	52
		\|	\|	\|	1	16	24	40
		\|	\|	\|		\|	★	48
		\|	\|	\|		1	32	48
		\|	\|	\|			★	64
		\|	\|	1	10	15	25	40
		\|	\|		\|	\|	★	50
		\|	\|		\|	★	30	45
		\|	\|		\|		★	60
		\|	\|		★	20	30	50
		\|	\|			\|	★	60
		\|	\|			★	40	60
		\|	\|				★	80
		\|	1	6	9	15	24	39
		\|		\|	\|	\|	★	48
		\|		\|	\|	★	30	45
		\|		\|	\|		★	60
		\|		\|	★	18	27	45
		\|		\|		\|	★	54
		\|		\|		★	36	54
		\|		\|			★	72
		\|		★	12	18	30	48
		\|			\|	\|	★	60
		\|			\|	★	36	54
		\|			\|		★	72
		\|			★	24	36	60
		\|				\|	★	72
		\|				★	48	72
		\|					★	96
		1	4	6	10	16	26	42
			\|	\|	\|	\|	★	52
			\|	\|	\|	★	32	48
			\|	\|	\|		★	64
			\|	\|	★	20	30	50
			\|	\|		\|	★	60
			\|	\|		★	40	60
			\|	\|			★	80
			\|	★	12	18	30	48
			\|		\|	\|	★	60
			\|		\|	★	36	54
			\|		\|		★	72
			\|		★	24	36	60
			\|			\|	★	72
			\|			★	48	72
			\|				★	96
			★	8	12	20	32	52
				\|	\|	\|	★	64
				\|	\|	★	40	60
				\|	\|		★	80
				\|	★	24	36	60
				\|		\|	★	72
				\|		★	48	72
				\|			★	96
				★	16	24	40	64
					\|	\|	★	80
					\|	★	48	72
					\|		★	96
					★	32	48	80
						\|	★	96
						★	64	96
							★	128

Table A3. 4-bit programs assembling strings with

a^{(N)} = {3, 4}

Table A3. 4-bit programs assembling strings with

a^{(N)} = {3, 4}

Q	$C (s = 3)$	$C (s_{Q} = 4)$	N
$* 000$	$* 11 * 1$	$1 * 1 * 11 * 1$	$8^{‡}$
$* 001$	$* 11 * 1$	$* 11 * 1 \dots$	10
$* 010$	$1 * 1 \dots$	$1 * 1 \dots$	9
$* 011$	$1 * 1 \dots$	$1 * 1 \dots$	12
$* 100$	$* 1 \dots$	$* 1 \dots$	10
$* 101$	$* 1 \dots$	$* 1 \dots$	12
$* 110$	$* 1 \dots$	$* 1 \dots$	12
$* 111$	$* 1 \dots$	$* 1 \dots$	16

^‡. This program is not elegant for

* = 1

and the assembled string is not

C_{\min}

for

* = 0

Table A4. 5-bit programs assembling strings with

a^{(N)} = {4, 5}

Table A4. 5-bit programs assembling strings with

a^{(N)} = {4, 5}

Q	$C (s = 4)$	$C (s_{Q} = 5)$	N
$* 0000$	$1 * 1 * 11 * 1$	$* 11 * 11 * 1 * 11 * 1$	13
$* 0001$	$1 * 1 * 11 * 1$	$1 * 1 * 11 * 1 \dots$	$16^{‡}$
$* 0010$	$* 11 * 1 \dots$	$* 11 * 1 \dots$	15
$* 0011$	$* 11 * 1 \dots$	$* 11 * 1 \dots$	20
$* 0100$	$1 * 1 \dots$	$1 * 1 \dots$	15
$* 0101$	$1 * 1 \dots$	$1 * 1 \dots$	18
$* 0110$	$1 * 1 \dots$	$1 * 1 \dots$	18
$* 0111$	$1 * 1 \dots$	$1 * 1 \dots$	24
$* 1000$	$* 1 \dots$	$* 1 \dots$	$16^{†}$
$* 1001$	$* 1 \dots$	$* 1 \dots$	20
$* 1010$	$* 1 \dots$	$* 1 \dots$	18
$* 1011$	$* 1 \dots$	$* 1 \dots$	24
$* 1100$	$* 1 \dots$	$* 1 \dots$	20
$* 1101$	$* 1 \dots$	$* 1 \dots$	24
$* 1110$	$* 1 \dots$	$* 1 \dots$	24
$* 1111$	$* 1 \dots$	$* 1 \dots$	32

^†. This program is not elegant (the same string can be assembled using the shorter 4-bit program

* 111

). ^‡. This program is not elegant for

* = 1

and the assembled string is not

C_{\min}

for

* = 0

Table A5. 6-bit programs assembling strings with

a^{(N)} = {5, 6}

Table A5. 6-bit programs assembling strings with

a^{(N)} = {5, 6}

Q	$C (s_{Q} = 6)$	N
$* 00000$	$1 * 1 * 11 * 1 * 11 * 11 * 1 * 11 * 1$	21
$* 00001$	$* 11 * 11 * 1 * 11 * 1 \dots$	26
$* 0001 ★$	$1 * 1 * 11 * 1 \dots$	$24^{†}, 32^{‡}$
$* 001 ★ ★$	$* 11 * 1 \dots$	$25, 30, 40$
$* 01 ★ ★ ★$	$1 * 1 \dots$	$24^{†}, \dots, 48$
$* 1 ★ ★ ★ ★$	$* 1 \dots$	$26, 32^{†}, \dots, 64$

^†. This program is not elegant. ^‡. This program is not elegant for

* = 1

and the assembled string is not

C_{\min}

for

* = 0

Appendix D. Binary Strings and Their Assembly Indices

Table A2 show the lengths of the strings assembled by programs Fs having the minimal assembly indices. Table A6-Table A13 show distributions of the assembly indices for

5 \leq N \leq 12

. Table A14-Table A18 show balanced strings

B^{(N)}

and their assembly indices for

5 \leq N \leq 8

. Table A19-Table A24 show the balanced distinct strings

E^{(N)}

and their assembly indices for

5 \leq N \leq 10

. Table A25-Table A27 show selected balanced distinct strings

E^{(N)}

and their assembly indices for

11 \leq N \leq 13

Table A6. Distribution of the assembly indices for

N = 5

Table A6. Distribution of the assembly indices for

N = 5

		$N_{1}$
$a^{(5)} (C)$	$\| a^{(5} (C) \|$	0	1	2	3	4	5
3	18	1	3	5	5	3	1
4	14		2	5	5	2
32		1	5	10	10	5	1

Table A7. Distribution of the assembly indices for

N = 6

Table A7. Distribution of the assembly indices for

N = 6

		$N_{1}$
$a^{(6)} (C)$	$\| a^{(6)} (C) \|$	0	1	2	3	4	5	6
3	10	1		3	2	3		1
4	44		6	10	12	10	6
5	10			2	6	2
64		1	6	15	20	15	6	1

Table A8. Distribution of the assembly indices for

N = 7

Table A8. Distribution of the assembly indices for

N = 7

		$N_{1}$
$a^{(7)} (C)$	$\| a^{(7)} (C) \|$	0	1	2	3	4	5	6	7
4	50	1	5	7	12	12	7	5	1
5	74		2	14	21	21	14	2
6	4				2	2
128		1	7	21	35	35	21	7	1

Table A9. Distribution of the assembly indices for

N = 8

Table A9. Distribution of the assembly indices for

N = 8

		$N_{1}$
$a^{(8)} (C)$	$\| a^{(8)} (C) \|$	0	1	2	3	4	5	6	7	8
3	4	1				2				1
4	38			9	8	4	8	9
5	132		8	17	22	40	22	17	8
6	82			2	26	24	26	2
256		1	8	28	56	70	56	28	8	1

Table A10. Distribution of the assembly indices for

N = 9

Table A10. Distribution of the assembly indices for

N = 9

		$N_{1}$
$a^{(9)} (C)$	$\| a^{(9)} (C) \|$	0	1	2	3	4	5	6	7	8	9
4	24	1	3		3	5	5	3		3	1
5	184		4	17	35	36	36	35	17	4
6	248		2	19	42	61	61	42	19	2
7	56				4	24	24	4
512		1	9	36	84	126	126	84	36	9	1

Table A11. Distribution of the assembly indices for

N = 10

Table A11. Distribution of the assembly indices for

N = 10

		$N_{1}$
$a^{(10)} (C)$	$\| a^{(10)} (C) \|$	0	1	2	3	4	5	6	7	8	9	10
4	20	1		3		5	2	5		3		1
5	198		8	22	20	33	32	33	20	22	8
6	502		2	18	68	108	110	108	68	18	2
7	288			2	32	62	96	62	32	2
8	16					2	12	2
1024		1	10	45	120	210	252	210	120	45	10

Table A12. Distribution of the assembly indices for

N = 11

Table A12. Distribution of the assembly indices for

N = 11

		$N_{1}$
$a^{(11)} (C)$	$\| a^{(11)} (C) \|$	0	1	2	3	4	5	6	7	8	9	10	11
5	184	1	7	14	23	18	29	29	18	23	14	7	1
6	686		4	32	69	104	134	134	104	69	32	4
7	970			9	69	178	229	229	178	69	9
8	208				4	30	70	70	30	4
2048		1	11	55	165	330	462	462	330	165	55	11

Table A13. Distribution of the assembly indices for

N = 12

Table A13. Distribution of the assembly indices for

N = 12

		$N_{1}$
$a^{(12)}$	$\| a^{(12)} \|$	0	1	2	3	4	5	6	7	8	9	10	11	12
4	10	1				3		2		3				1
5	94			13	4	10	12	16	12	10	4	13
6	1034		12	42	94	141	130	196	130	141	94	42	12
7	1688			11	106	196	354	354	354	196	106	11
8	1180				16	143	282	298	282	143	16
9	90					2	14	58	14	2
4096		1	12	66	220	495	792	924	792	495	220	66	12	1

Table A14.

| B^{(5)} | = 10

balanced strings.

Table A14.

| B^{(5)} | = 10

balanced strings.

k	$B_{k}^{(5)}$					$a^{(5)} (B_{k})$
1	0	(0	1)	(0	1)	3
2	(0	1)	0	(0	1)	3
3	(0	1)	(0	1)	0	3
4	(1	0)	0	(1	0)	3
5	(1	0)	(1	0)	0	3
6	0	0	0	1	1	4
7	0	0	1	1	0	4
8	0	1	1	0	0	4
9	1	0	0	0	1	4
10	1	1	0	0	0	4

Table A15.

| B^{(6)} | = 20

balanced strings.

Table A15.

| B^{(6)} | = 20

balanced strings.

k	$B_{k}^{(6)}$						$a^{(6)} (B_{k})$
1	(0	1)	(0	1)	(0	1)	3
2	(1	0)	(1	0)	(1	0)	3
3	0	(0	1)	(0	1)	1	4
4	0	(0	1)	1	(0	1)	4
5	(0	1)	0	(0	1)	1	4
6	(0	1)	(0	1)	1	0	4
7	(0	1)	1	0	(0	1)	4
8	(0	1)	1	(0	1)	0	4
9	(1	0)	0	(1	0)	1	4
10	(1	0)	0	1	(1	0)	4
11	(1	0)	(1	0)	0	1	4
12	(1	0)	1	(1	0)	0	4
13	1	(1	0)	0	(1	0)	4
14	1	(1	0)	(1	0)	0	4
15	0	0	1	1	1	0	5
16	0	0	0	1	1	1	5
17	0	1	1	1	0	0	5
18	1	0	0	0	1	1	5
19	1	1	0	0	0	1	5
20	1	1	1	0	0	0	5

Table A16.

| B^{(7)} | = 35

balanced strings.

Table A16.

| B^{(7)} | = 35

balanced strings.

k	$B_{k}^{(7)}$							$a^{(7)} (B_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
2	(0	1)	(0	1)	(0	1)	0	4
3	(1	0)	(1	0)	(1	0)	0	4
4	(0	1)	(0	1)	0	(0	1)	4
5	(1	0)	(1	0)	0	(1	0)	4
6	(0	1)	0	(0	1)	(0	1)	4
7	(1	0)	0	(1	0)	(1	0)	4
8	(1	0	0)	(1	0	0)	1	4
9	(1	0	0)	1	(1	0	0)	4
10	1	(1	0	0)	(1	0	0)	4
11	(0	0	1)	1	(0	0	1)	4
12	(0	0	1)	(0	0	1)	1	4
13	1	(0	0)	(0	0)	1	1	5
14	1	0	0	(0	1)	(0	1)	5
15	(1	0)	0	0	1	(1	0)	5
16	(1	0)	(1	0)	0	0	1	5
17	(1	0)	1	(1	0)	0	0	5
18	1	1	(0	0)	(0	0)	1	5
19	1	(1	0)	(1	0)	0	0	5
20	1	1	1	(0	0)	(0	0)	5
21	(0	1)	(0	1)	1	0	0	5
22	(0	1)	1	0	0	(0	1)	5
23	(0	1)	1	0	(0	1)	0	5
24	(0	1)	1	(0	1)	0	0	5
25	(0	1)	0	(0	1)	1	0	5
26	0	(0	1)	(0	1)	1	0	5
27	0	(0	1)	1	(0	1)	0	5
28	(0	0)	1	1	1	(0	0)	5
29	(0	1)	0	0	(0	1)	1	5
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5
33	1	(1	0)	0	0	(1	0)	5
34	0	0	0	1	1	1	0	6
35	0	1	1	1	0	0	0	6

Table A17.

| B^{(8)} | = 70

balanced strings (1^st part).

Table A17.

| B^{(8)} | = 70

balanced strings (1^st part).

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
2	((1	0)	(1	0))	((1	0)	(1	0))	3
3	((0	0)	(1	1))	((0	0)	(1	1))	4
4	((0	1)	(1	0))	((0	1)	(1	0))	4
5	((1	0)	(0	1))	((1	0)	(0	1))	4
6	((1	1)	(0	0))	((1	1)	(0	0))	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	(0	0	1)	(0	0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
12	(0	0	1)	1	1	(0	0	1)	5
13	(0	0)	(1	1)	(1	1)	(0	0)	5
14	(0	1)	0	(0	1)	(0	1)	1	5
15	(0	1)	0	(0	1)	1	(0	1)	5
16	(0	1)	(0	1)	0	(0	1)	1	5
17	(0	1)	(0	1)	(0	1)	1	0	5
18	(0	1)	(0	1)	1	0	(0	1)	5
19	(0	1)	(0	1)	1	(0	1)	0	5
20	(0	1	1)	0	0	(0	1	1)	5
21	(0	1)	1	0	(0	1)	(0	1)	5
22	(0	1)	1	(0	1)	0	(0	1)	5
23	(0	1)	1	(0	1)	(0	1)	0	5
24	(0	1	1)	(0	1	1)	0	0	5
25	(1	0	0)	(1	0	0)	1	1	5
26	1	0	(0	1)	(0	1)	(0	1)	5
27	(1	0)	0	(1	0)	1	(1	0)	5
28	(1	0)	0	1	(1	0)	(1	0)	5
29	(1	0	0)	1	1	(1	0	0)	5
30	(1	0	1)	0	0	(1	0	1)	5
31	(1	0)	(1	0)	0	1	(1	0)	5
32	(1	0)	(1	0)	(1	0)	0	1	5
33	(1	0)	(1	0)	1	(1	0)	0	5
34	(1	0)	1	(1	0)	0	(1	0)	5
35	(1	0)	1	(1	0)	(1	0)	0	5
36	(1	1)	(0	0)	(0	0)	(1	1)	5
37	(1	1	0)	0	0	(1	1	0)	5
38	1	1	(0	0	1)	(0	0	1)	5
39	1	1	0	0	1	0	1	0	5
40	1	(1	0)	(1	0)	0	(1	0)	5
41	(1	1	0)	(1	1	0)	0	0	5
42	1	1	0	1	0	1	0	0	5
43	1	1	(1	0	0)	(1	0	0)	5
44	(1	1)	(1	1)	(0	0)	(0	0)	5
45	0	0	(0	1	1)	(0	1	1)	5
46	0	(0	1	1)	(0	1	1)	0	5

Table A18.

| B^{(8)} | = 70

balanced strings (2^nd part).

Table A18.

| B^{(8)} | = 70

balanced strings (2^nd part).

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
47	0	0	(0	1)	(0	1)	1	1	6
48	0	0	(0	1)	1	1	(0	1)	6
49	0	0	0	(1	1)	(1	1)	0	6
50	0	(0	1)	(0	1)	1	1	0	6
51	0	0	1	1	(1	0)	(1	0)	6
52	(0	1)	0	0	(0	1)	1	1	6
53	(0	1)	0	(0	1)	1	1	0	6
54	(0	1)	(0	1)	1	1	0	0	6
55	(0	1)	1	1	0	0	(0	1)	6
56	(0	1)	1	1	0	(0	1)	0	6
57	(0	1)	1	1	(0	1)	0	0	6
58	0	(1	1)	(1	1)	0	0	0	6
59	1	(0	0)	(0	0)	1	1	1	6
60	(1	0)	0	0	(1	0)	1	1	6
61	1	0	0	(0	1)	1	(0	1)	6
62	(1	0)	0	0	1	1	(1	0)	6
63	(1	0)	(1	0)	0	0	1	1	6
64	(1	0)	1	(1	0)	0	0	1	6
65	(1	0)	1	1	(1	0)	0	0	6
66	1	(1	0)	0	0	(1	0)	1	6
67	1	1	(0	1)	0	0	(0	1)	6
68	1	1	1	(0	0)	(0	0)	1	6
69	1	1	(1	0)	0	0	(1	0)	6
70	1	1	(1	0)	(1	0)	0	0	6

Table A19.

| E^{(5)} | = 2

balanced distinct strings.

Table A19.

| E^{(5)} | = 2

balanced distinct strings.

k	$E_{k}^{(5)}$					$a^{(5)} (E_{k})$
1	0	(0	1)	(0	1)	3
6	0	0	0	1	1	4

Table A20.

| E^{(6)} | = 4

balanced distinct strings.

Table A20.

| E^{(6)} | = 4

balanced distinct strings.

k	$E_{k}^{(6)}$						$a^{(6)} (E_{k})$
1	(0	1)	(0	1)	(0	1)	3
3	0	(0	1)	(0	1)	1	4
4	0	(0	1)	1	(0	1)	4
16	0	0	0	1	1	1	5

Table A21.

| E^{(7)} | = 5

balanced distinct strings.

Table A21.

| E^{(7)} | = 5

balanced distinct strings.

k	$E_{k}^{(7)}$							$a^{(7)} (E_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
12	(0	0	1)	(0	0	1)	1	4
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5

Table A22.

| E^{(8)} | = 10

balanced distinct strings.

Table A22.

| E^{(8)} | = 10

balanced distinct strings.

k	$E_{k}^{(8)}$								$a^{(8)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
3	(0	0)	(1	1)	(0	0)	(1	1)	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	0	(0	1)	0	(0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
46	0	0	(0	1	1)	(0	1	1)	5
45	0	0	(0	1)	(0	1)	1	1	6
47	0	0	(0	1)	1	1	(0	1)	6

Table A23. Selected balanced distinct strings

| E^{(9)} | = 14

Table A23. Selected balanced distinct strings

| E^{(9)} | = 14

k	$E_{k}^{(9)}$									$a^{(9)} (E_{k})$
1	0	((0	1)	(0	1))	((0	1)	(0	1))	4
2	0	((0	0)	(1	1))	((0	0)	(1	1))	5
3	(0	(0	1))	(0	1)	(0	0	1)	1	5
4	(0	(0	1))	(0	0	1)	1	(0	1)	5
5	(0	(0	1))	(0	0	1)	(0	1)	1	5
6	0	(0	0	1)	1	1	(0	0	1)	6
7	0	0	(0	1)	1	(0	1)	(0	1)	6
8	0	0	(0	1)	(0	1)	1	(0	1)	6
9	0	0	(0	1)	(0	1)	(0	1)	1	6
10	0	(0	0	1)	(0	0	1)	1	1	6
11	(0	0)	(0	0)	(1	1)	0	(1	1)	6
12	0	(0	0)	(0	0)	(1	1)	(1	1)	6
13	(0	0)	(0	0)	1	1	1	0	1	7
14	(0	0)	(0	0)	1	0	1	1	1	7

Table A24.

| E^{(10)} | = 26

balanced distinct strings.

Table A24.

| E^{(10)} | = 26

balanced distinct strings.

k	$E_{k}^{(10)}$										$a^{(10)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	(0	1)	4
2	0	((0	1)	(0	1))	((0	1)	(0	1))	1	5
3	(0	1)	(1	(0	1)	0)	(1	(0	1)	0)	5
4	(0	(0	1)	1)	(0	0	1	1)	(0	1)	5
5	0	((0	1)	0	1)	1	(0	1	0	1)	5
6	0	((1	0)	1	0)	1	(1	0	1	0)	5
7	(0	1)	((0	1)	1	0)	(0	1	1	0)	5
8	(0	(0	1))	(0	1)	(0	0	1)	1	1	6
9	(0	(0	1))	(0	0	1)	1	1	(0	1)	6
10	(0	(0	1))	(0	0	1)	1	(0	1)	1	6
11	(0	(0	1))	(0	0	1)	(0	1)	1	1	6
14	0	(0	0	1	1)	1	(0	0	1	1)	6
15	0	0	((0	1)	1)	(0	1	1)	(0	1)	6
16	0	0	((0	1)	1)	(0	1)	(0	1	1)	6
17	0	(0	0	1	1)	(0	0	1	1)	1	6
19	0	0	(0	1)	((0	1)	1)	(0	1	1)	6
12	(0	0)	0	(1	1)	(1	1)	(0	0)	1	7
13	0	0	(0	1)	1	1	(0	1)	(0	1)	7
18	0	0	(0	1)	(0	1)	1	1	(0	1)	7
20	0	0	(0	1)	(0	1)	(0	1)	1	1	7
21	(0	0)	0	1	(0	0)	(1	1)	(1	1)	7
22	(0	0)	(0	0)	(1	1)	(1	1)	0	1	7
23	(0	0)	(0	0)	(1	1)	1	0	(1	1)	7
24	(0	0)	(0	0)	(1	1)	0	(1	1)	1	7
25	(0	0)	(0	0)	1	0	(1	1)	(1	1)	7
26	(0	0)	(0	0)	0	1	(1	1)	(1	1)	7

Table A25. Selected balanced distinct strings

E^{(11)}

Table A25. Selected balanced distinct strings

E^{(11)}

k	$E_{k}^{(11)}$											$a^{(11)} (E_{k})$
1	0	(0	1)	((0	1))	(0	1))	(0	1	0	1)	5
2	(0	(0	1)	(0	1))	(0	0	1	0	1)	1	5
3	(0	0)	((0	0)	1	1)	(1	0	0	1	1)	6
4	(0	(0	1))	(0	1)	(0	1)	(0	0	1)	1	6
5	(0	0)	(0	0)	(0	0)	(1	1)	(1	1)	1	7
6	(0	0)	(1	1	0)	1	(0	0)	(1	1	0)	7
7	(0	0)	(0	0)	(0	1)	(0	1)	1	1	1	8

Table A26. Selected balanced distinct strings

E^{(12)}

Table A26. Selected balanced distinct strings

E^{(12)}

k	$E_{k}^{(12)}$												$a^{(12)} (E_{k})$
1	((0	1)	(0	1))	(0	1	0	1)	(0	1	0	1)	4
2	(0	(0	1)	1	(0	1))	(0	0	1	1	0	1)	5
3	((0	1)	1	(0	(0	1)))	((0	1)	1	(0	0	1))	5
4	(0	(0	1)	1)	(0	0	1	1)	(0	1)	(0	1)	6
5	((0	1)	0	(0	1))	(0	1	0	0	1)	1	1	6
6	(0	0	1)	(0	0	1)	(0	0	1)	1	1	1	7
7	(0	0)	(0	0)	(0	0)	(1	1)	(1	1)	(1	1)	7
8	(0	0)	(0	0)	(1	1)	(1	1)	1	(0	0)	1	8
9	(0	0)	(1	0)	(1	1)	(0	0)	(1	1)	(1	0)	8
10	(1	1)	(1	1)	(0	1)	(0	1)	(0	0)	(0	0)	8
11	(1	1)	(1	1)	(0	0)	(0	0)	(1	0)	(1	0)	8

Table A27. Selected balanced distinct strings

E^{(13)}

Table A27. Selected balanced distinct strings

E^{(13)}

k	$E_{k}^{(13)}$													$a^{(13)} (E_{k})$
1	0	((0	1)	(0	1))	(0	1	0	1)	(0	1	0	1)	5
2	0	((1	0)	0	1	(1	0))	(1	0	0	1	1	0)	6
3	(0	((0	1)	(0	1))	(0	0	1	0	1)	(0	1)	1	6
4	0	(0	0)	((0	0)	(1	1))	(0	0	1	1)	(1	1)	7
5	(0	0)	((0	0)	(1	1))	(0	0	1	1)	0	(1	1)	7
6	(0	0)	(0	0)	(0	0)	0	(1	1)	(1	1)	(1	1)	8
7	(0	0	(0	1))	(0	0	0	1)	(0	1)	1	1	1	8
8	(0	0)	(0	0)	(0	0)	1	0	(1	1)	(1	1)	1	9

References

Marshall, S.M.; Murray, A.R.G.; Cronin, L. A probabilistic framework for identifying biosignatures using Pathway Complexity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2017, 375, 20160342. [Google Scholar] [CrossRef] [PubMed]
Murray, A.; Marshall, S.; Cronin, L. Defining Pathway Assembly and Exploring its Applications, 2018. arXiv:1804.06972 [cs, math].
Marshall, S.M.; Mathis, C.; Carrick, E.; Keenan, G.; Cooper, G.J.T.; Graham, H.; Craven, M.; Gromski, P.S.; Moore, D.G.; Walker, S.I.; Cronin, L. Identifying molecules as biosignatures with assembly theory and mass spectrometry. Nature Communications 2021, 12, 3033. [Google Scholar] [CrossRef] [PubMed]
Liu, Y.; Mathis, C.; Bajczyk, M.D.; Marshall, S.M.; Wilbraham, L.; Cronin, L. Exploring and mapping chemical space with molecular assembly trees. Science Advances 2021, 7, eabj2465. [Google Scholar] [CrossRef]
Marshall, S.M.; Moore, D.G.; Murray, A.R.G.; Walker, S.I.; Cronin, L. Formalising the Pathways to Life Using Assembly Spaces. Entropy 2022, 24, 884. [Google Scholar] [CrossRef]
Sharma, A.; Czégel, D.; Lachmann, M.; Kempes, C.P.; Walker, S.I.; Cronin, L. Assembly theory explains and quantifies selection and evolution. Nature 2023, 622, 321–328. [Google Scholar] [CrossRef] [PubMed]
Jirasek, M.; Sharma, A.; Bame, J.R.; Mehr, S.H.M.; Bell, N.; Marshall, S.M.; Mathis, C.; Macleod, A.; Cooper, G.J.T.; Swart, M.; Mollfulleda, R.; Cronin, L. Determining Molecular Complexity using Assembly Theory and Spectroscopy, 2023. arXiv:2302.13753 [physics, q-bio].
Łukaszyk, S. , Black Hole Horizons as Patternless Binary Messages and Markers of Dimensionality. In Future Relativity, Gravitation, Cosmology; Nova Science Publishers, 2023; chapter 15, pp. 317–374. [CrossRef]
Łukaszyk, S. Life as the Explanation of the Measurement Problem. Journal of Physics: Conference Series 2024, 2701, 012124. [Google Scholar] [CrossRef]
Łukaszyk, S. The Imaginary Universe. preprint, PHYSICAL SCIENCES, 2023.
de Chardin, P.T. The Phenomenon of Man; Harper, New York, 1959.
Prigogine, I.; Stengers, I. Order out of Chaos: Man’s New Dialogue with Nature; Bantam Books, 1984.
Melamede, R. Dissipative Structures and the Origins of Life. Unifying Themes in Complex Systems IV; Minai, A.A., Bar-Yam, Y., Eds.; Springer Berlin Heidelberg: Berlin, Heidelberg, 2008; pp. 80–87. [Google Scholar]
Vedral, V. Decoding Reality: The Universe as Quantum Information; Oxford University Press, 2010. [CrossRef]
Łukaszyk, S. Four Cubes, 2020. [CrossRef]
Vopson, M.M.; Lepadatu, S. Second law of information dynamics. AIP Advances 2022, 12, 075310. [Google Scholar] [CrossRef]
Łukaszyk, S. Novel Recurrence Relations for Volumes and Surfaces of n-Balls, Regular n-Simplices, and n-Orthoplices in Real Dimensions. Mathematics 2022, 10. [Google Scholar] [CrossRef]
Łukaszyk, S.; Tomski, A. Omnidimensional Convex Polytopes. Symmetry 2023, 15. [Google Scholar] [CrossRef]
Vopson, M.M. The second law of infodynamics and its implications for the simulated universe hypothesis. AIP Advances 2023, 13, 105308. [Google Scholar] [CrossRef]
Łukaszyk, S. A No-go Theorem for Superposed Actions (Making Schrödinger’s Cat Quantum Nonlocal). In New Frontiers in Physical Science Research Vol. 3; Purenovic, D.J., Ed.; Book Publisher International (a part of SCIENCEDOMAIN International), 2022; pp. 137–151. [CrossRef]
Qian, K.; Wang, K.; Chen, L.; Hou, Z.; Krenn, M.; Zhu, S.; Ma, X.s. Multiphoton non-local quantum interference controlled by an undetected photon. Nature Communications 2023, 14, 1480. [Google Scholar] [CrossRef] [PubMed]
Xue, P.; Xiao, L.; Ruffolo, G.; Mazzari, A.; Temistocles, T.; Cunha, M.T.; Rabelo, R. Synchronous Observation of Bell Nonlocality and State-Dependent Contextuality. Physical Review Letters 2023, 130, 040201. [Google Scholar] [CrossRef] [PubMed]
Łukaszyk, S. Shannon Entropy of Chemical Elements. European Journal of Applied Sciences 2024, 11, 443–458. [Google Scholar] [CrossRef]
Tran, D.M.; Nguyen, V.D.; Ho, L.B.; Nguyen, H.Q. Increased success probability in Hardy’s nonlocality: Theory and demonstration. Phys. Rev. A 2023, 107, 042210. [Google Scholar] [CrossRef]
Colciaghi, P.; Li, Y.; Treutlein, P.; Zibold, T. Einstein-Podolsky-Rosen Experiment with Two Bose-Einstein Condensates. Phys. Rev. X 2023, 13, 021031. [Google Scholar] [CrossRef]
Watanabe, S. Knowing and Guessing: A Quantitative Study of Inference and Information; Wiley, 1969.
Watanabe, S. Epistemological Relativity. Annals of the Japan Association for Philosophy of Science 1986, 7, 1–14. [Google Scholar] [CrossRef]
Łukaszyk, S. Metallic Ratios and Angles of a Real Argument. IPI Letters 2024, pp. 26–33. [CrossRef]
Shannon, C.E. A Mathematical Theory of Communication. Bell System Technical Journal 1948, 27, 379–423. [Google Scholar] [CrossRef]
Bekenstein, J.D. Black holes and the second law. Lettere Al Nuovo Cimento Series 2 1972, 4, 737–740. [Google Scholar] [CrossRef]
Bekenstein, J.D. Black Holes and Entropy. Phys. Rev. D 1973, 7, 2333–2346. [Google Scholar] [CrossRef]
Hawking, S.W. Particle creation by black holes. Communications In Mathematical Physics 1975, 43, 199–220. [Google Scholar] [CrossRef]
Hooft, G.t. Dimensional Reduction in Quantum Gravity, 1993. [CrossRef]
Verlinde, E. On the origin of gravity and the laws of Newton. Journal of High Energy Physics 2011, 2011, 29. [Google Scholar] [CrossRef]
Misner, C.W.; Thorne, K.S.; Wheeler, J.A. Gravitation; W. H. Freeman: San Francisco, 1973. [Google Scholar]
Gould, A. Classical derivation of black-hole entropy. Physical Review D 1987, 35, 449–454. [Google Scholar] [CrossRef]
Penrose, R.; Floyd, R.M. Extraction of Rotational Energy from a Black Hole. Nature Physical Science 1971, 229, 177–179. [Google Scholar] [CrossRef]
Christodoulou, D.; Ruffini, R. Reversible Transformations of a Charged Black Hole. Physical Review D 1971, 4, 3552–3555. [Google Scholar] [CrossRef]
Stuchlík, Z.; Kološ, M.; Tursunov, A. Penrose Process: Its Variants and Astrophysical Applications. Universe 2021, 7, 416. [Google Scholar] [CrossRef]
Downey, P.; Leong, B.; Sethi, R. Computing Sequences with Addition Chains. SIAM Journal on Computing 1981, 10, 638–646. [Google Scholar] [CrossRef]
Chaitin, G.J. Randomness and Mathematical Proof. Scientific American 1975, 232, 47–52. [Google Scholar] [CrossRef]
Chaitin, G.J. The unknowable; Springer series in discrete mathematics and theoretical computer science, Springer: Singapore ; New York, 1999.
Rajput, C. Metallic Ratios in Primitive Pythagorean Triples : Metallic Means embedded in Pythagorean Triangles and other Right Triangles. JOURNAL OF ADVANCES IN MATHEMATICS 2021, 20, 312–344. [Google Scholar] [CrossRef]
Chaitin, G. From Philosophy to Program Size: Key Ideas and Methods : Lecture Notes on Algorithmic Information Theory from the 8th Estonian Winter School in Computer Science, EWSCS’03 : [2-7 March]; Institute of Cybernetics at Tallinn Technical University, 2003.
Chaitin, G. Doing Mathematics Differently. Inference: International Review of Science 2016, 2. [Google Scholar] [CrossRef]
Kolmogorov, A. On tables of random numbers. Theoretical Computer Science 1998, 207, 387–395. [Google Scholar] [CrossRef]
Cronin, Leroy. Lee Cronin: Controversial Nature Paper on Evolution of Life and Universe | Lex Fridman Podcast #404, 2023. Accessed: 2023-12-18.
Zatorski, W. W życiu chodzi o życie, wydanie i ed.; Tyniec Wydawnictwo Benedyktynów: Kraków, 2020. [Google Scholar]
Barta, J.; Markiewicz, R. (Eds.) Prawo autorskie: przepisy, orzecznictwo, umowy miedzynarodowe, wyd. 4., rozsz. i zaktualizowane ed.; Dom Wydawniczy ABC: Warszawa, 2002. [Google Scholar]
Mandelstam, L.; Tamm, I. The Uncertainty Relation Between Energy and Time in Non-relativistic Quantum Mechanics. J. Phys. (USSR) 1945, 9, 249–254. [Google Scholar]
Margolus, N.; Levitin, L.B. The maximum speed of dynamical evolution. Physica D: Nonlinear Phenomena 1998, 120, 188–195. [Google Scholar] [CrossRef]
Levitin, L.B.; Toffoli, T. Fundamental Limit on the Rate of Quantum Dynamics: The Unified Bound Is Tight. Physical Review Letters 2009, 103, 160502. [Google Scholar] [CrossRef] [PubMed]
Hossenfelder, S. Comments on and Comments on Comments on Verlinde’s paper "On the Origin of Gravity and the Laws of Newton", 2010. arXiv:1003.1015 [gr-qc]. arXiv:1003.1015 [gr-qc].
Landauer, R. Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development 1961, 5, 183–191. [Google Scholar] [CrossRef]
Łukaszyk, S. A new concept of probability metric and its applications in approximation of scattered data sets. Computational Mechanics 2004, 33, 299–304. [Google Scholar] [CrossRef]
Castro, P.S.; Kastner, T.; Panangaden, P.; Rowland, M. MICo: Improved representations via sampling-based state similarity for Markov decision processes. Advances in Neural Information Processing Systems 2021, 34, 30113–30126. [Google Scholar] [CrossRef]

1	$N_{1}$ is called binary Hamming weight or bit summation of a string $C_{k}^{(N)}$ .
2	" $⌊x⌋$ " is the floor function that yields the greatest integer less than or equal to x and " $⌈x⌉$ " is the ceiling function that yields the least integer greater than or equal to x.
3	$\| E_{k} \|$ is close to OEIS A000014 up to the eleventh term.
4	Only about twenty chemical elements (with only two nondoubleton sets of consecutive ones) violate the Aufbau rule.
5	As an analog to chemputation, where assembly theory is applied in digital chemistry.
6	Based on https://sci.esa.int/web/solar-system.

Figure 1. Numbers of all

2^{N}

strings (red), balanced strings

| B^{(N)} |

(green), distinct strings

| D^{(N)} |

(cyan), and balanced distinct strings

| E^{(N)} |

(blue) as a function of the string length N.

Figure 1. Numbers of all

2^{N}

strings (red), balanced strings

| B^{(N)} |

(green), distinct strings

| D^{(N)} |

(cyan), and balanced distinct strings

| E^{(N)} |

(blue) as a function of the string length N.

Figure 4. An illustrative graph of complexity against information capacity: orange regions are impossible, as they are above or below the assembly bounds; yellow region contains structures optimally assembled (in equilibrium); green region contains dissipative structures; and red region is the region of human creativity (figure not to scale).

Figure 5. A black body object as a generator of an entropy variation shell (VS) through the solid angle

Ω

correspondence.

Figure 5. A black body object as a generator of an entropy variation shell (VS) through the solid angle

Ω

correspondence.

Figure 6. Lower (red) and upper (green) bound on the number of APTs

N_{1}

on a VS as a function of the information capacity of the generating BB [9].

Figure 6. Lower (red) and upper (green) bound on the number of APTs

N_{1}

on a VS as a function of the information capacity of the generating BB [9].

Figure 7. Lower (red) and upper (green) bounds on

v_{R}

and lower (blue) and upper (cyan) bounds on

v_{L}

as a function of l defining VS. Characteristic velocities are

{0, \sqrt{1 / 4}, \sqrt{1 / 3}, \sqrt{2 / 4}, \sqrt{2 / 3}, \sqrt{3 / 4}, 1}

v_{L}, v_{R} \in R_{+}

Figure 7. Lower (red) and upper (green) bounds on

v_{R}

and lower (blue) and upper (cyan) bounds on

v_{L}

as a function of l defining VS. Characteristic velocities are

{0, \sqrt{1 / 4}, \sqrt{1 / 3}, \sqrt{2 / 4}, \sqrt{2 / 3}, \sqrt{3 / 4}, 1}

v_{L}, v_{R} \in R_{+}

Figure 8. Lower (red) and upper (green) bounds on the binary string assembly index of length

N_{BB}

and

{log}_{2} (N_{BB})

(blue), for

0 \leq N_{BB} \leq 5

Figure 8. Lower (red) and upper (green) bounds on the binary string assembly index of length

N_{BB}

and

{log}_{2} (N_{BB})

(blue), for

0 \leq N_{BB} \leq 5

Figure 9. Black body object energy

E_{BB}

(green); temperature

T_{BH}

(red),

Re [T_{BB} (k_{eq})]

(red, dash-dot),

Re [T_{BB} (k_{\max})]

(red, dash); and work

W_{BH}

(blue),

Re [W_{BB} (k_{eq})]

(blue, dash-dot),

Re [W_{BB} (k_{\max})]

(blue, dash),as a function of its information capacity

N_{BB}

in terms of Planck units, for

0 \leq N_{BB} \leq 5

Figure 9. Black body object energy

E_{BB}

(green); temperature

T_{BH}

(red),

Re [T_{BB} (k_{eq})]

(red, dash-dot),

Re [T_{BB} (k_{\max})]

(red, dash); and work

W_{BH}

(blue),

Re [W_{BB} (k_{eq})]

(blue, dash-dot),

Re [W_{BB} (k_{\max})]

(blue, dash),as a function of its information capacity

N_{BB}

in terms of Planck units, for

0 \leq N_{BB} \leq 5

Table 1. Distribution of the assembly indices for

N = 4

Table 1. Distribution of the assembly indices for

N = 4

		$N_{1}$
$a^{(4)} (C)$	$\| a^{(4)} (C) \|$	0	1	2	3	4
2	4	1		2		1
3	12		4	4	4
16		1	4	$\| B^{(4)} \| = 6$	4	1

Table 2.

| B^{(4)} | = 6

balanced strings

B_{k}^{(4)}

Table 2.

| B^{(4)} | = 6

balanced strings

B_{k}^{(4)}

k	$B_{k}^{(4)}$				$a^{(4)} (B_{k})$
1	(0	1)	(0	1)	2
2	(1	0)	(1	0)	2
3	0	1	1	0	3
4	1	1	0	0	3
5	1	0	0	1	3
6	0	0	1	1	3

Table 3. String length N, number of all strings

2^{N}

, number of balanced strings

B_{N}

, number of distinct strings

D_{N}

, and number of balanced distinct strings

E_{N}

Table 3. String length N, number of all strings

2^{N}

, number of balanced strings

B_{N}

, number of distinct strings

D_{N}

, and number of balanced distinct strings

E_{N}

N	$2^{N}$	$\| B_{N} \|$	$\| D_{N} \|$	$\| E_{N} \|$	$\| B_{N} \| / \| E_{N} \|$
1	2	1	2	1	1
2	4	2	3	1	2
3	8	3	4	1	3
4	16	6	6	2	3
5	32	10	8	2	5
6	64	20	14	4	5
7	128	35	20	5	7
8	256	70	36	10	7
9	512	126	60	14	9
10	1024	252	108	26	$9.6923 \dots$
11	2048	462	188	42	11
12	4096	924	352	80	11.55
13	8192	1716	632	132	13
14	16384	3432	1182	246	$13.9512 \dots$
15	32768	6435	2192	429	15

Table 4. Distribution of assembly indices among balanced distinct strings

E^{(N)}

for

4 \leq N \leq 11

Table 4. Distribution of assembly indices among balanced distinct strings

E^{(N)}

for

4 \leq N \leq 11

N	$\| E^{(N)} \|$	$a = 2$	$a = 3$	$a = 4$	$= 5$	$a = 6$	$a = 7$	$a^{(N)} = 8$
4	2	1	1
5	2		1	1
6	4		1	2	1
7	5			2	3
8	10		1	1	6	2
9	14			1	4	7	2
10	26			1	6	9	10
11	42				2	14	20	6

Table 6. Exemplary balanced strings

B_{\max}^{(N)}

having a maximum assembly index. Conjectured (

a_{conj}^{(N)}

) form of the maximum assembly index and its factual values for distinct (

a_{dst}^{(N)}

) and non-distinct (

a_{ndst}^{(N)}

) strings (red if below the conjectured value, green - if above).

Table 6. Exemplary balanced strings

B_{\max}^{(N)}

having a maximum assembly index. Conjectured (

a_{conj}^{(N)}

) form of the maximum assembly index and its factual values for distinct (

a_{dst}^{(N)}

) and non-distinct (

a_{ndst}^{(N)}

) strings (red if below the conjectured value, green - if above).

N	$B_{\max}^{(N)}$																				$a_{conj}^{(N)}$	$a_{dst}^{(N)}$	$a_{ndst}^{(N)}$
1	0																				0	0	0
2	1	0																			1	1	1
3	0	0	1																		2	2	2
4	0	0	1	1																	3	3	3
5	0	0	0	1	1																4	4	4
6	0	0	0	1	1	1															5	5	5
7	0	0	1	1	1	0	0														5	5	6
8	0	0	0	1	0	1	1	1													6	6	6
9	0	0	0	0	1	1	1	0	1												7	7	7
10	0	0	0	0	1	1	1	1	0	1											7	7	8
11	0	0	0	0	0	1	0	1	1	1	1										8	8	8
12	1	1	1	0	0	0	1	0	1	1	0	0									9	8	8
13	0	0	0	0	0	0	1	0	1	1	1	1	1								9	9	9
14	0	0	0	0	0	1	0	1	0	1	1	1	1	1							9	9	9
15	0	0	0	0	0	1	0	1	0	1	1	1	1	1	0						10	10	10
16	1	0	0	0	0	0	0	1	0	1	0	1	1	1	1	1					11	10	10
17	0	0	0	0	0	0	1	0	1	0	1	1	1	1	1	1	0				11	11	11
18	1	0	0	1	1	1	1	1	0	1	1	0	0	0	0	0	1	0			11	11	12
19	1	0	0	0	0	1	0	1	0	1	0	0	1	1	1	1	1	0	1		12	11	12
20	1	0	1	0	0	1	1	1	1	1	0	1	1	0	0	0	0	0	1	0	13	12	13

Table 7. 3-bit elegant programs assembling strings with

a^{(N)} = 3

Table 7. 3-bit elegant programs assembling strings with

a^{(N)} = 3

Q	$C (s = 1)$	$C (s = 2)$	$C (s_{Q} = 3)$	N
$* 00$	$* 1$	$1 * 1$	$* 11 * 1$	5
$* 01$	$* 1$	$1 * 1$	$1 * 11 * 1$	6
$* 10$	$* 1$	$* 1 * 1$	$* 1 * 1 * 1$	6
$* 11$	$* 1$	$* 1 * 1$	$* 1 * 1 * 1 * 1$	8

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.

Downloads

739

Views

357

Comments

Subscription

Notify me about updates to this article or when a peer-reviewed version is published.

MDPI Initiatives

Important Links

Choose an area of interest and we will send you notifications of new preprints at your preferred frequency.

Disclaimer

k	$B_{k}^{(5)}$					$a^{(5)} (B_{k})$
1	0	(0	1)	(0	1)	3
2	(0	1)	0	(0	1)	3
3	(0	1)	(0	1)	0	3
4	(1	0)	0	(1	0)	3
5	(1	0)	(1	0)	0	3
6	0	0	0	1	1	4
7	0	0	1	1	0	4
8	0	1	1	0	0	4
9	1	0	0	0	1	4
10	1	1	0	0	0	4

k	$B_{k}^{(6)}$						$a^{(6)} (B_{k})$
1	(0	1)	(0	1)	(0	1)	3
2	(1	0)	(1	0)	(1	0)	3
3	0	(0	1)	(0	1)	1	4
4	0	(0	1)	1	(0	1)	4
5	(0	1)	0	(0	1)	1	4
6	(0	1)	(0	1)	1	0	4
7	(0	1)	1	0	(0	1)	4
8	(0	1)	1	(0	1)	0	4
9	(1	0)	0	(1	0)	1	4
10	(1	0)	0	1	(1	0)	4
11	(1	0)	(1	0)	0	1	4
12	(1	0)	1	(1	0)	0	4
13	1	(1	0)	0	(1	0)	4
14	1	(1	0)	(1	0)	0	4
15	0	0	1	1	1	0	5
16	0	0	0	1	1	1	5
17	0	1	1	1	0	0	5
18	1	0	0	0	1	1	5
19	1	1	0	0	0	1	5
20	1	1	1	0	0	0	5

k	$B_{k}^{(7)}$							$a^{(7)} (B_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
2	(0	1)	(0	1)	(0	1)	0	4
3	(1	0)	(1	0)	(1	0)	0	4
4	(0	1)	(0	1)	0	(0	1)	4
5	(1	0)	(1	0)	0	(1	0)	4
6	(0	1)	0	(0	1)	(0	1)	4
7	(1	0)	0	(1	0)	(1	0)	4
8	(1	0	0)	(1	0	0)	1	4
9	(1	0	0)	1	(1	0	0)	4
10	1	(1	0	0)	(1	0	0)	4
11	(0	0	1)	1	(0	0	1)	4
12	(0	0	1)	(0	0	1)	1	4
13	1	(0	0)	(0	0)	1	1	5
14	1	0	0	(0	1)	(0	1)	5
15	(1	0)	0	0	1	(1	0)	5
16	(1	0)	(1	0)	0	0	1	5
17	(1	0)	1	(1	0)	0	0	5
18	1	1	(0	0)	(0	0)	1	5
19	1	(1	0)	(1	0)	0	0	5
20	1	1	1	(0	0)	(0	0)	5
21	(0	1)	(0	1)	1	0	0	5
22	(0	1)	1	0	0	(0	1)	5
23	(0	1)	1	0	(0	1)	0	5
24	(0	1)	1	(0	1)	0	0	5
25	(0	1)	0	(0	1)	1	0	5
26	0	(0	1)	(0	1)	1	0	5
27	0	(0	1)	1	(0	1)	0	5
28	(0	0)	1	1	1	(0	0)	5
29	(0	1)	0	0	(0	1)	1	5
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5
33	1	(1	0)	0	0	(1	0)	5
34	0	0	0	1	1	1	0	6
35	0	1	1	1	0	0	0	6

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
2	((1	0)	(1	0))	((1	0)	(1	0))	3
3	((0	0)	(1	1))	((0	0)	(1	1))	4
4	((0	1)	(1	0))	((0	1)	(1	0))	4
5	((1	0)	(0	1))	((1	0)	(0	1))	4
6	((1	1)	(0	0))	((1	1)	(0	0))	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	(0	0	1)	(0	0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
12	(0	0	1)	1	1	(0	0	1)	5
13	(0	0)	(1	1)	(1	1)	(0	0)	5
14	(0	1)	0	(0	1)	(0	1)	1	5
15	(0	1)	0	(0	1)	1	(0	1)	5
16	(0	1)	(0	1)	0	(0	1)	1	5
17	(0	1)	(0	1)	(0	1)	1	0	5
18	(0	1)	(0	1)	1	0	(0	1)	5
19	(0	1)	(0	1)	1	(0	1)	0	5
20	(0	1	1)	0	0	(0	1	1)	5
21	(0	1)	1	0	(0	1)	(0	1)	5
22	(0	1)	1	(0	1)	0	(0	1)	5
23	(0	1)	1	(0	1)	(0	1)	0	5
24	(0	1	1)	(0	1	1)	0	0	5
25	(1	0	0)	(1	0	0)	1	1	5
26	1	0	(0	1)	(0	1)	(0	1)	5
27	(1	0)	0	(1	0)	1	(1	0)	5
28	(1	0)	0	1	(1	0)	(1	0)	5
29	(1	0	0)	1	1	(1	0	0)	5
30	(1	0	1)	0	0	(1	0	1)	5
31	(1	0)	(1	0)	0	1	(1	0)	5
32	(1	0)	(1	0)	(1	0)	0	1	5
33	(1	0)	(1	0)	1	(1	0)	0	5
34	(1	0)	1	(1	0)	0	(1	0)	5
35	(1	0)	1	(1	0)	(1	0)	0	5
36	(1	1)	(0	0)	(0	0)	(1	1)	5
37	(1	1	0)	0	0	(1	1	0)	5
38	1	1	(0	0	1)	(0	0	1)	5
39	1	1	0	0	1	0	1	0	5
40	1	(1	0)	(1	0)	0	(1	0)	5
41	(1	1	0)	(1	1	0)	0	0	5
42	1	1	0	1	0	1	0	0	5
43	1	1	(1	0	0)	(1	0	0)	5
44	(1	1)	(1	1)	(0	0)	(0	0)	5
45	0	0	(0	1	1)	(0	1	1)	5
46	0	(0	1	1)	(0	1	1)	0	5

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
47	0	0	(0	1)	(0	1)	1	1	6
48	0	0	(0	1)	1	1	(0	1)	6
49	0	0	0	(1	1)	(1	1)	0	6
50	0	(0	1)	(0	1)	1	1	0	6
51	0	0	1	1	(1	0)	(1	0)	6
52	(0	1)	0	0	(0	1)	1	1	6
53	(0	1)	0	(0	1)	1	1	0	6
54	(0	1)	(0	1)	1	1	0	0	6
55	(0	1)	1	1	0	0	(0	1)	6
56	(0	1)	1	1	0	(0	1)	0	6
57	(0	1)	1	1	(0	1)	0	0	6
58	0	(1	1)	(1	1)	0	0	0	6
59	1	(0	0)	(0	0)	1	1	1	6
60	(1	0)	0	0	(1	0)	1	1	6
61	1	0	0	(0	1)	1	(0	1)	6
62	(1	0)	0	0	1	1	(1	0)	6
63	(1	0)	(1	0)	0	0	1	1	6
64	(1	0)	1	(1	0)	0	0	1	6
65	(1	0)	1	1	(1	0)	0	0	6
66	1	(1	0)	0	0	(1	0)	1	6
67	1	1	(0	1)	0	0	(0	1)	6
68	1	1	1	(0	0)	(0	0)	1	6
69	1	1	(1	0)	0	0	(1	0)	6
70	1	1	(1	0)	(1	0)	0	0	6

k	$E_{k}^{(7)}$							$a^{(7)} (E_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
12	(0	0	1)	(0	0	1)	1	4
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5

k	$E_{k}^{(8)}$								$a^{(8)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
3	(0	0)	(1	1)	(0	0)	(1	1)	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	0	(0	1)	0	(0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
46	0	0	(0	1	1)	(0	1	1)	5
45	0	0	(0	1)	(0	1)	1	1	6
47	0	0	(0	1)	1	1	(0	1)	6

k	$E_{k}^{(9)}$									$a^{(9)} (E_{k})$
1	0	((0	1)	(0	1))	((0	1)	(0	1))	4
2	0	((0	0)	(1	1))	((0	0)	(1	1))	5
3	(0	(0	1))	(0	1)	(0	0	1)	1	5
4	(0	(0	1))	(0	0	1)	1	(0	1)	5
5	(0	(0	1))	(0	0	1)	(0	1)	1	5
6	0	(0	0	1)	1	1	(0	0	1)	6
7	0	0	(0	1)	1	(0	1)	(0	1)	6
8	0	0	(0	1)	(0	1)	1	(0	1)	6
9	0	0	(0	1)	(0	1)	(0	1)	1	6
10	0	(0	0	1)	(0	0	1)	1	1	6
11	(0	0)	(0	0)	(1	1)	0	(1	1)	6
12	0	(0	0)	(0	0)	(1	1)	(1	1)	6
13	(0	0)	(0	0)	1	1	1	0	1	7
14	(0	0)	(0	0)	1	0	1	1	1	7

k	$E_{k}^{(10)}$										$a^{(10)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	(0	1)	4
2	0	((0	1)	(0	1))	((0	1)	(0	1))	1	5
3	(0	1)	(1	(0	1)	0)	(1	(0	1)	0)	5
4	(0	(0	1)	1)	(0	0	1	1)	(0	1)	5
5	0	((0	1)	0	1)	1	(0	1	0	1)	5
6	0	((1	0)	1	0)	1	(1	0	1	0)	5
7	(0	1)	((0	1)	1	0)	(0	1	1	0)	5
8	(0	(0	1))	(0	1)	(0	0	1)	1	1	6
9	(0	(0	1))	(0	0	1)	1	1	(0	1)	6
10	(0	(0	1))	(0	0	1)	1	(0	1)	1	6
11	(0	(0	1))	(0	0	1)	(0	1)	1	1	6
14	0	(0	0	1	1)	1	(0	0	1	1)	6
15	0	0	((0	1)	1)	(0	1	1)	(0	1)	6
16	0	0	((0	1)	1)	(0	1)	(0	1	1)	6
17	0	(0	0	1	1)	(0	0	1	1)	1	6
19	0	0	(0	1)	((0	1)	1)	(0	1	1)	6
12	(0	0)	0	(1	1)	(1	1)	(0	0)	1	7
13	0	0	(0	1)	1	1	(0	1)	(0	1)	7
18	0	0	(0	1)	(0	1)	1	1	(0	1)	7
20	0	0	(0	1)	(0	1)	(0	1)	1	1	7
21	(0	0)	0	1	(0	0)	(1	1)	(1	1)	7
22	(0	0)	(0	0)	(1	1)	(1	1)	0	1	7
23	(0	0)	(0	0)	(1	1)	1	0	(1	1)	7
24	(0	0)	(0	0)	(1	1)	0	(1	1)	1	7
25	(0	0)	(0	0)	1	0	(1	1)	(1	1)	7
26	(0	0)	(0	0)	0	1	(1	1)	(1	1)	7

k	$E_{k}^{(11)}$											$a^{(11)} (E_{k})$
1	0	(0	1)	((0	1))	(0	1))	(0	1	0	1)	5
2	(0	(0	1)	(0	1))	(0	0	1	0	1)	1	5
3	(0	0)	((0	0)	1	1)	(1	0	0	1	1)	6
4	(0	(0	1))	(0	1)	(0	1)	(0	0	1)	1	6
5	(0	0)	(0	0)	(0	0)	(1	1)	(1	1)	1	7
6	(0	0)	(1	1	0)	1	(0	0)	(1	1	0)	7
7	(0	0)	(0	0)	(0	1)	(0	1)	1	1	1	8

k	$B_{k}^{(5)}$					$a^{(5)} (B_{k})$
1	0	(0	1)	(0	1)	3
2	(0	1)	0	(0	1)	3
3	(0	1)	(0	1)	0	3
4	(1	0)	0	(1	0)	3
5	(1	0)	(1	0)	0	3
6	0	0	0	1	1	4
7	0	0	1	1	0	4
8	0	1	1	0	0	4
9	1	0	0	0	1	4
10	1	1	0	0	0	4

k	$B_{k}^{(6)}$						$a^{(6)} (B_{k})$
1	(0	1)	(0	1)	(0	1)	3
2	(1	0)	(1	0)	(1	0)	3
3	0	(0	1)	(0	1)	1	4
4	0	(0	1)	1	(0	1)	4
5	(0	1)	0	(0	1)	1	4
6	(0	1)	(0	1)	1	0	4
7	(0	1)	1	0	(0	1)	4
8	(0	1)	1	(0	1)	0	4
9	(1	0)	0	(1	0)	1	4
10	(1	0)	0	1	(1	0)	4
11	(1	0)	(1	0)	0	1	4
12	(1	0)	1	(1	0)	0	4
13	1	(1	0)	0	(1	0)	4
14	1	(1	0)	(1	0)	0	4
15	0	0	1	1	1	0	5
16	0	0	0	1	1	1	5
17	0	1	1	1	0	0	5
18	1	0	0	0	1	1	5
19	1	1	0	0	0	1	5
20	1	1	1	0	0	0	5

k	$B_{k}^{(7)}$							$a^{(7)} (B_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
2	(0	1)	(0	1)	(0	1)	0	4
3	(1	0)	(1	0)	(1	0)	0	4
4	(0	1)	(0	1)	0	(0	1)	4
5	(1	0)	(1	0)	0	(1	0)	4
6	(0	1)	0	(0	1)	(0	1)	4
7	(1	0)	0	(1	0)	(1	0)	4
8	(1	0	0)	(1	0	0)	1	4
9	(1	0	0)	1	(1	0	0)	4
10	1	(1	0	0)	(1	0	0)	4
11	(0	0	1)	1	(0	0	1)	4
12	(0	0	1)	(0	0	1)	1	4
13	1	(0	0)	(0	0)	1	1	5
14	1	0	0	(0	1)	(0	1)	5
15	(1	0)	0	0	1	(1	0)	5
16	(1	0)	(1	0)	0	0	1	5
17	(1	0)	1	(1	0)	0	0	5
18	1	1	(0	0)	(0	0)	1	5
19	1	(1	0)	(1	0)	0	0	5
20	1	1	1	(0	0)	(0	0)	5
21	(0	1)	(0	1)	1	0	0	5
22	(0	1)	1	0	0	(0	1)	5
23	(0	1)	1	0	(0	1)	0	5
24	(0	1)	1	(0	1)	0	0	5
25	(0	1)	0	(0	1)	1	0	5
26	0	(0	1)	(0	1)	1	0	5
27	0	(0	1)	1	(0	1)	0	5
28	(0	0)	1	1	1	(0	0)	5
29	(0	1)	0	0	(0	1)	1	5
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5
33	1	(1	0)	0	0	(1	0)	5
34	0	0	0	1	1	1	0	6
35	0	1	1	1	0	0	0	6

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
2	((1	0)	(1	0))	((1	0)	(1	0))	3
3	((0	0)	(1	1))	((0	0)	(1	1))	4
4	((0	1)	(1	0))	((0	1)	(1	0))	4
5	((1	0)	(0	1))	((1	0)	(0	1))	4
6	((1	1)	(0	0))	((1	1)	(0	0))	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	(0	0	1)	(0	0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
12	(0	0	1)	1	1	(0	0	1)	5
13	(0	0)	(1	1)	(1	1)	(0	0)	5
14	(0	1)	0	(0	1)	(0	1)	1	5
15	(0	1)	0	(0	1)	1	(0	1)	5
16	(0	1)	(0	1)	0	(0	1)	1	5
17	(0	1)	(0	1)	(0	1)	1	0	5
18	(0	1)	(0	1)	1	0	(0	1)	5
19	(0	1)	(0	1)	1	(0	1)	0	5
20	(0	1	1)	0	0	(0	1	1)	5
21	(0	1)	1	0	(0	1)	(0	1)	5
22	(0	1)	1	(0	1)	0	(0	1)	5
23	(0	1)	1	(0	1)	(0	1)	0	5
24	(0	1	1)	(0	1	1)	0	0	5
25	(1	0	0)	(1	0	0)	1	1	5
26	1	0	(0	1)	(0	1)	(0	1)	5
27	(1	0)	0	(1	0)	1	(1	0)	5
28	(1	0)	0	1	(1	0)	(1	0)	5
29	(1	0	0)	1	1	(1	0	0)	5
30	(1	0	1)	0	0	(1	0	1)	5
31	(1	0)	(1	0)	0	1	(1	0)	5
32	(1	0)	(1	0)	(1	0)	0	1	5
33	(1	0)	(1	0)	1	(1	0)	0	5
34	(1	0)	1	(1	0)	0	(1	0)	5
35	(1	0)	1	(1	0)	(1	0)	0	5
36	(1	1)	(0	0)	(0	0)	(1	1)	5
37	(1	1	0)	0	0	(1	1	0)	5
38	1	1	(0	0	1)	(0	0	1)	5
39	1	1	0	0	1	0	1	0	5
40	1	(1	0)	(1	0)	0	(1	0)	5
41	(1	1	0)	(1	1	0)	0	0	5
42	1	1	0	1	0	1	0	0	5
43	1	1	(1	0	0)	(1	0	0)	5
44	(1	1)	(1	1)	(0	0)	(0	0)	5
45	0	0	(0	1	1)	(0	1	1)	5
46	0	(0	1	1)	(0	1	1)	0	5

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
47	0	0	(0	1)	(0	1)	1	1	6
48	0	0	(0	1)	1	1	(0	1)	6
49	0	0	0	(1	1)	(1	1)	0	6
50	0	(0	1)	(0	1)	1	1	0	6
51	0	0	1	1	(1	0)	(1	0)	6
52	(0	1)	0	0	(0	1)	1	1	6
53	(0	1)	0	(0	1)	1	1	0	6
54	(0	1)	(0	1)	1	1	0	0	6
55	(0	1)	1	1	0	0	(0	1)	6
56	(0	1)	1	1	0	(0	1)	0	6
57	(0	1)	1	1	(0	1)	0	0	6
58	0	(1	1)	(1	1)	0	0	0	6
59	1	(0	0)	(0	0)	1	1	1	6
60	(1	0)	0	0	(1	0)	1	1	6
61	1	0	0	(0	1)	1	(0	1)	6
62	(1	0)	0	0	1	1	(1	0)	6
63	(1	0)	(1	0)	0	0	1	1	6
64	(1	0)	1	(1	0)	0	0	1	6
65	(1	0)	1	1	(1	0)	0	0	6
66	1	(1	0)	0	0	(1	0)	1	6
67	1	1	(0	1)	0	0	(0	1)	6
68	1	1	1	(0	0)	(0	0)	1	6
69	1	1	(1	0)	0	0	(1	0)	6
70	1	1	(1	0)	(1	0)	0	0	6

k	$E_{k}^{(7)}$							$a^{(7)} (E_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
12	(0	0	1)	(0	0	1)	1	4
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5

k	$E_{k}^{(8)}$								$a^{(8)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
3	(0	0)	(1	1)	(0	0)	(1	1)	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	0	(0	1)	0	(0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
46	0	0	(0	1	1)	(0	1	1)	5
45	0	0	(0	1)	(0	1)	1	1	6
47	0	0	(0	1)	1	1	(0	1)	6

k	$E_{k}^{(9)}$									$a^{(9)} (E_{k})$
1	0	((0	1)	(0	1))	((0	1)	(0	1))	4
2	0	((0	0)	(1	1))	((0	0)	(1	1))	5
3	(0	(0	1))	(0	1)	(0	0	1)	1	5
4	(0	(0	1))	(0	0	1)	1	(0	1)	5
5	(0	(0	1))	(0	0	1)	(0	1)	1	5
6	0	(0	0	1)	1	1	(0	0	1)	6
7	0	0	(0	1)	1	(0	1)	(0	1)	6
8	0	0	(0	1)	(0	1)	1	(0	1)	6
9	0	0	(0	1)	(0	1)	(0	1)	1	6
10	0	(0	0	1)	(0	0	1)	1	1	6
11	(0	0)	(0	0)	(1	1)	0	(1	1)	6
12	0	(0	0)	(0	0)	(1	1)	(1	1)	6
13	(0	0)	(0	0)	1	1	1	0	1	7
14	(0	0)	(0	0)	1	0	1	1	1	7

k	$E_{k}^{(10)}$										$a^{(10)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	(0	1)	4
2	0	((0	1)	(0	1))	((0	1)	(0	1))	1	5
3	(0	1)	(1	(0	1)	0)	(1	(0	1)	0)	5
4	(0	(0	1)	1)	(0	0	1	1)	(0	1)	5
5	0	((0	1)	0	1)	1	(0	1	0	1)	5
6	0	((1	0)	1	0)	1	(1	0	1	0)	5
7	(0	1)	((0	1)	1	0)	(0	1	1	0)	5
8	(0	(0	1))	(0	1)	(0	0	1)	1	1	6
9	(0	(0	1))	(0	0	1)	1	1	(0	1)	6
10	(0	(0	1))	(0	0	1)	1	(0	1)	1	6
11	(0	(0	1))	(0	0	1)	(0	1)	1	1	6
14	0	(0	0	1	1)	1	(0	0	1	1)	6
15	0	0	((0	1)	1)	(0	1	1)	(0	1)	6
16	0	0	((0	1)	1)	(0	1)	(0	1	1)	6
17	0	(0	0	1	1)	(0	0	1	1)	1	6
19	0	0	(0	1)	((0	1)	1)	(0	1	1)	6
12	(0	0)	0	(1	1)	(1	1)	(0	0)	1	7
13	0	0	(0	1)	1	1	(0	1)	(0	1)	7
18	0	0	(0	1)	(0	1)	1	1	(0	1)	7
20	0	0	(0	1)	(0	1)	(0	1)	1	1	7
21	(0	0)	0	1	(0	0)	(1	1)	(1	1)	7
22	(0	0)	(0	0)	(1	1)	(1	1)	0	1	7
23	(0	0)	(0	0)	(1	1)	1	0	(1	1)	7
24	(0	0)	(0	0)	(1	1)	0	(1	1)	1	7
25	(0	0)	(0	0)	1	0	(1	1)	(1	1)	7
26	(0	0)	(0	0)	0	1	(1	1)	(1	1)	7

k	$E_{k}^{(11)}$											$a^{(11)} (E_{k})$
1	0	(0	1)	((0	1))	(0	1))	(0	1	0	1)	5
2	(0	(0	1)	(0	1))	(0	0	1	0	1)	1	5
3	(0	0)	((0	0)	1	1)	(1	0	0	1	1)	6
4	(0	(0	1))	(0	1)	(0	1)	(0	0	1)	1	6
5	(0	0)	(0	0)	(0	0)	(1	1)	(1	1)	1	7
6	(0	0)	(1	1	0)	1	(0	0)	(1	1	0)	7
7	(0	0)	(0	0)	(0	1)	(0	1)	1	1	1	8

Assembly Theory of Binary Messages (How to Assemble a Black Hole and Use it to Assemble New Binary Information?)

Abstract

Keywords:

Subject:

1. Introduction

2. Preliminaries

3. Minimum Assembly Index

4. Maximum Assembly Index

5. Strings between the bounds

6. Binputation

7. Additional Results

8. Conclusions

Author Contributions

Data Availability Statement

Acknowledgments

Abbreviations

Appendix A. Orbital Velocities and the VS Defining Factor l

Appendix B. Exemplary Strings with Maximal Assembly Indices

Appendix C. Trivial Assembling Programs

Appendix D. Binary Strings and Their Assembly Indices

References

MDPI Initiatives

Important Links

Subscribe

k	$B_{k}^{(5)}$					$a^{(5)} (B_{k})$
1	0	(0	1)	(0	1)	3
2	(0	1)	0	(0	1)	3
3	(0	1)	(0	1)	0	3
4	(1	0)	0	(1	0)	3
5	(1	0)	(1	0)	0	3
6	0	0	0	1	1	4
7	0	0	1	1	0	4
8	0	1	1	0	0	4
9	1	0	0	0	1	4
10	1	1	0	0	0	4

k	$B_{k}^{(6)}$						$a^{(6)} (B_{k})$
1	(0	1)	(0	1)	(0	1)	3
2	(1	0)	(1	0)	(1	0)	3
3	0	(0	1)	(0	1)	1	4
4	0	(0	1)	1	(0	1)	4
5	(0	1)	0	(0	1)	1	4
6	(0	1)	(0	1)	1	0	4
7	(0	1)	1	0	(0	1)	4
8	(0	1)	1	(0	1)	0	4
9	(1	0)	0	(1	0)	1	4
10	(1	0)	0	1	(1	0)	4
11	(1	0)	(1	0)	0	1	4
12	(1	0)	1	(1	0)	0	4
13	1	(1	0)	0	(1	0)	4
14	1	(1	0)	(1	0)	0	4
15	0	0	1	1	1	0	5
16	0	0	0	1	1	1	5
17	0	1	1	1	0	0	5
18	1	0	0	0	1	1	5
19	1	1	0	0	0	1	5
20	1	1	1	0	0	0	5

k	$B_{k}^{(7)}$							$a^{(7)} (B_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
2	(0	1)	(0	1)	(0	1)	0	4
3	(1	0)	(1	0)	(1	0)	0	4
4	(0	1)	(0	1)	0	(0	1)	4
5	(1	0)	(1	0)	0	(1	0)	4
6	(0	1)	0	(0	1)	(0	1)	4
7	(1	0)	0	(1	0)	(1	0)	4
8	(1	0	0)	(1	0	0)	1	4
9	(1	0	0)	1	(1	0	0)	4
10	1	(1	0	0)	(1	0	0)	4
11	(0	0	1)	1	(0	0	1)	4
12	(0	0	1)	(0	0	1)	1	4
13	1	(0	0)	(0	0)	1	1	5
14	1	0	0	(0	1)	(0	1)	5
15	(1	0)	0	0	1	(1	0)	5
16	(1	0)	(1	0)	0	0	1	5
17	(1	0)	1	(1	0)	0	0	5
18	1	1	(0	0)	(0	0)	1	5
19	1	(1	0)	(1	0)	0	0	5
20	1	1	1	(0	0)	(0	0)	5
21	(0	1)	(0	1)	1	0	0	5
22	(0	1)	1	0	0	(0	1)	5
23	(0	1)	1	0	(0	1)	0	5
24	(0	1)	1	(0	1)	0	0	5
25	(0	1)	0	(0	1)	1	0	5
26	0	(0	1)	(0	1)	1	0	5
27	0	(0	1)	1	(0	1)	0	5
28	(0	0)	1	1	1	(0	0)	5
29	(0	1)	0	0	(0	1)	1	5
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5
33	1	(1	0)	0	0	(1	0)	5
34	0	0	0	1	1	1	0	6
35	0	1	1	1	0	0	0	6

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
2	((1	0)	(1	0))	((1	0)	(1	0))	3
3	((0	0)	(1	1))	((0	0)	(1	1))	4
4	((0	1)	(1	0))	((0	1)	(1	0))	4
5	((1	0)	(0	1))	((1	0)	(0	1))	4
6	((1	1)	(0	0))	((1	1)	(0	0))	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	(0	0	1)	(0	0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
12	(0	0	1)	1	1	(0	0	1)	5
13	(0	0)	(1	1)	(1	1)	(0	0)	5
14	(0	1)	0	(0	1)	(0	1)	1	5
15	(0	1)	0	(0	1)	1	(0	1)	5
16	(0	1)	(0	1)	0	(0	1)	1	5
17	(0	1)	(0	1)	(0	1)	1	0	5
18	(0	1)	(0	1)	1	0	(0	1)	5
19	(0	1)	(0	1)	1	(0	1)	0	5
20	(0	1	1)	0	0	(0	1	1)	5
21	(0	1)	1	0	(0	1)	(0	1)	5
22	(0	1)	1	(0	1)	0	(0	1)	5
23	(0	1)	1	(0	1)	(0	1)	0	5
24	(0	1	1)	(0	1	1)	0	0	5
25	(1	0	0)	(1	0	0)	1	1	5
26	1	0	(0	1)	(0	1)	(0	1)	5
27	(1	0)	0	(1	0)	1	(1	0)	5
28	(1	0)	0	1	(1	0)	(1	0)	5
29	(1	0	0)	1	1	(1	0	0)	5
30	(1	0	1)	0	0	(1	0	1)	5
31	(1	0)	(1	0)	0	1	(1	0)	5
32	(1	0)	(1	0)	(1	0)	0	1	5
33	(1	0)	(1	0)	1	(1	0)	0	5
34	(1	0)	1	(1	0)	0	(1	0)	5
35	(1	0)	1	(1	0)	(1	0)	0	5
36	(1	1)	(0	0)	(0	0)	(1	1)	5
37	(1	1	0)	0	0	(1	1	0)	5
38	1	1	(0	0	1)	(0	0	1)	5
39	1	1	0	0	1	0	1	0	5
40	1	(1	0)	(1	0)	0	(1	0)	5
41	(1	1	0)	(1	1	0)	0	0	5
42	1	1	0	1	0	1	0	0	5
43	1	1	(1	0	0)	(1	0	0)	5
44	(1	1)	(1	1)	(0	0)	(0	0)	5
45	0	0	(0	1	1)	(0	1	1)	5
46	0	(0	1	1)	(0	1	1)	0	5

k	$B_{k}^{(8)}$								$a^{(8)} (B_{k})$
47	0	0	(0	1)	(0	1)	1	1	6
48	0	0	(0	1)	1	1	(0	1)	6
49	0	0	0	(1	1)	(1	1)	0	6
50	0	(0	1)	(0	1)	1	1	0	6
51	0	0	1	1	(1	0)	(1	0)	6
52	(0	1)	0	0	(0	1)	1	1	6
53	(0	1)	0	(0	1)	1	1	0	6
54	(0	1)	(0	1)	1	1	0	0	6
55	(0	1)	1	1	0	0	(0	1)	6
56	(0	1)	1	1	0	(0	1)	0	6
57	(0	1)	1	1	(0	1)	0	0	6
58	0	(1	1)	(1	1)	0	0	0	6
59	1	(0	0)	(0	0)	1	1	1	6
60	(1	0)	0	0	(1	0)	1	1	6
61	1	0	0	(0	1)	1	(0	1)	6
62	(1	0)	0	0	1	1	(1	0)	6
63	(1	0)	(1	0)	0	0	1	1	6
64	(1	0)	1	(1	0)	0	0	1	6
65	(1	0)	1	1	(1	0)	0	0	6
66	1	(1	0)	0	0	(1	0)	1	6
67	1	1	(0	1)	0	0	(0	1)	6
68	1	1	1	(0	0)	(0	0)	1	6
69	1	1	(1	0)	0	0	(1	0)	6
70	1	1	(1	0)	(1	0)	0	0	6

k	$E_{k}^{(7)}$							$a^{(7)} (E_{k})$
1	0	(0	1)	(0	1)	(0	1)	4
12	(0	0	1)	(0	0	1)	1	4
30	(0	0)	(0	0)	1	1	1	5
31	0	0	(0	1)	(0	1)	1	5
32	0	0	(0	1)	1	(0	1)	5

k	$E_{k}^{(8)}$								$a^{(8)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	3
3	(0	0)	(1	1)	(0	0)	(1	1)	4
7	(0	0)	(0	0)	(1	1)	(1	1)	5
8	0	(0	1)	0	(0	1)	1	1	5
9	0	(0	1)	(0	1)	(0	1)	1	5
10	0	(0	1)	(0	1)	1	(0	1)	5
11	0	(0	1)	1	(0	1)	(0	1)	5
46	0	0	(0	1	1)	(0	1	1)	5
45	0	0	(0	1)	(0	1)	1	1	6
47	0	0	(0	1)	1	1	(0	1)	6

k	$E_{k}^{(9)}$									$a^{(9)} (E_{k})$
1	0	((0	1)	(0	1))	((0	1)	(0	1))	4
2	0	((0	0)	(1	1))	((0	0)	(1	1))	5
3	(0	(0	1))	(0	1)	(0	0	1)	1	5
4	(0	(0	1))	(0	0	1)	1	(0	1)	5
5	(0	(0	1))	(0	0	1)	(0	1)	1	5
6	0	(0	0	1)	1	1	(0	0	1)	6
7	0	0	(0	1)	1	(0	1)	(0	1)	6
8	0	0	(0	1)	(0	1)	1	(0	1)	6
9	0	0	(0	1)	(0	1)	(0	1)	1	6
10	0	(0	0	1)	(0	0	1)	1	1	6
11	(0	0)	(0	0)	(1	1)	0	(1	1)	6
12	0	(0	0)	(0	0)	(1	1)	(1	1)	6
13	(0	0)	(0	0)	1	1	1	0	1	7
14	(0	0)	(0	0)	1	0	1	1	1	7

k	$E_{k}^{(10)}$										$a^{(10)} (E_{k})$
1	((0	1)	(0	1))	((0	1)	(0	1))	(0	1)	4
2	0	((0	1)	(0	1))	((0	1)	(0	1))	1	5
3	(0	1)	(1	(0	1)	0)	(1	(0	1)	0)	5
4	(0	(0	1)	1)	(0	0	1	1)	(0	1)	5
5	0	((0	1)	0	1)	1	(0	1	0	1)	5
6	0	((1	0)	1	0)	1	(1	0	1	0)	5
7	(0	1)	((0	1)	1	0)	(0	1	1	0)	5
8	(0	(0	1))	(0	1)	(0	0	1)	1	1	6
9	(0	(0	1))	(0	0	1)	1	1	(0	1)	6
10	(0	(0	1))	(0	0	1)	1	(0	1)	1	6
11	(0	(0	1))	(0	0	1)	(0	1)	1	1	6
14	0	(0	0	1	1)	1	(0	0	1	1)	6
15	0	0	((0	1)	1)	(0	1	1)	(0	1)	6
16	0	0	((0	1)	1)	(0	1)	(0	1	1)	6
17	0	(0	0	1	1)	(0	0	1	1)	1	6
19	0	0	(0	1)	((0	1)	1)	(0	1	1)	6
12	(0	0)	0	(1	1)	(1	1)	(0	0)	1	7
13	0	0	(0	1)	1	1	(0	1)	(0	1)	7
18	0	0	(0	1)	(0	1)	1	1	(0	1)	7
20	0	0	(0	1)	(0	1)	(0	1)	1	1	7
21	(0	0)	0	1	(0	0)	(1	1)	(1	1)	7
22	(0	0)	(0	0)	(1	1)	(1	1)	0	1	7
23	(0	0)	(0	0)	(1	1)	1	0	(1	1)	7
24	(0	0)	(0	0)	(1	1)	0	(1	1)	1	7
25	(0	0)	(0	0)	1	0	(1	1)	(1	1)	7
26	(0	0)	(0	0)	0	1	(1	1)	(1	1)	7

k	$E_{k}^{(11)}$											$a^{(11)} (E_{k})$
1	0	(0	1)	((0	1))	(0	1))	(0	1	0	1)	5
2	(0	(0	1)	(0	1))	(0	0	1	0	1)	1	5
3	(0	0)	((0	0)	1	1)	(1	0	0	1	1)	6
4	(0	(0	1))	(0	1)	(0	1)	(0	0	1)	1	6
5	(0	0)	(0	0)	(0	0)	(1	1)	(1	1)	1	7
6	(0	0)	(1	1	0)	1	(0	0)	(1	1	0)	7
7	(0	0)	(0	0)	(0	1)	(0	1)	1	1	1	8