Abstract:This series presents an approach to mathematical biology which makes precise the function of biological molecules. Because biological systems compute, the theory is a general purpose computer language. I build a language for efficiently representing the function of protein-like molecules in a cell. The first paper only presents the kinematic part of the formalism, but this is already useful for representing large-scale protein networks. The full formalism allows us to investigate the properties of protein interaction models, ultimately yielding an estimate of the random-access memory of the proteins, a measure of their capacity for computation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide an accurate mathematical description for the functions of biomolecules, especially the interactions among protein - like molecules within cells. The author hopes to efficiently represent the functions and interactions of these molecules by constructing a formal language, so as to be able to study the large - scale structures of protein networks and ultimately estimate the random - access memory (RAM) of proteins, that is, their computational capabilities.
### Core Problems of the Paper
1. **Mathematical Description of Biological Functions**:
- The author believes that biological systems are essentially performing computations, so a general - purpose computer language is required to describe the functions of biomolecules.
- The goal is to abstractly describe the internal programs of biomolecules in a formal language, rather than just physical movements.
2. **Interactions of Protein - like Molecules**:
- The first paper mainly introduced the kinematic part of this formalization, that is, how to describe the states and interactions of protein - like molecules.
- This formalized method can be used to represent large - scale protein networks and help understand the properties of protein - interaction models.
3. **Competition for Computational Resources**:
- The author regards life as a competition for computational resources, in which each organism is striving to restructure as much of the physical world as possible to perform its computations.
- Organisms expand their computational programs through replication, growth, and nutrient uptake.
4. **Information Storage and Processing**:
- The focus of the research is on understanding the computational roles of different information bits in physical descriptions and which information bits can be used for data storage and processing.
- The author points out that most information bits in physical descriptions cannot be used for computation because they either rapidly randomize or are trapped in irreversible movements.
### Main Contributions of the Paper
- Proposed a new mathematical framework for describing the functions and interactions of biomolecules.
- Introduced the concepts of "linkbox" and "likebox" for constructing molecular tree - like structures.
- Provided a method for describing complex molecular networks, including structures such as dimers, polymers, and Bethe lattices.
### Formula Examples
When describing molecular states, the author used some symbols to represent different molecular configurations. For example:
- \( L=\{A, B\} \) represents a likebox containing types \( A \) and \( B \).
- \( N = L_1 - L_2 \) represents a linkbox, where \( L_1 \) and \( L_2 \) are two likeboxes.
- Molecular states can be represented by indices, for example, \( N<0, 0> \) represents a specific state of type \( N \).
In this way, the author was able to describe complex molecular interactions in a concise formal language, thereby providing a theoretical basis for the computational capabilities of biological systems.
### Summary
This paper aims to accurately describe the functions of biomolecules, especially the interactions of protein - like molecules, by constructing a formal language. This not only helps in understanding the structures of large - scale protein networks but also provides theoretical support for studying the computational capabilities of biological systems.