In context of the Wolfram Physics Project, a certain class of abstract rewrite systems known as "multiway systems" have played an important role in discrete models of spacetime and quantum mechanics. However, as abstract mathematical entities, these rewrite systems are interesting in their own right. This paper undertakes the effort to establish computational properties of multiway systems. Specifically, we investigate growth rates and growth classes of string-based multiway systems. After introducing the concepts of "growth functions", "growth rates" and "growth classes" to quantify a system's state-space growth over "time" (successive steps of evolution) on different levels of precision, we use them to show that multiway systems can, in a specific sense, grow slower than all computable functions while never exceeding the growth rate of exponential functions. In addition, we start developing a classification scheme for multiway systems based on their growth class. Furthermore, we find that multiway growth functions are not trivially regular but instead "computationally diverse", meaning that they are capable of computing or approximating various commonly encountered mathematical functions. We discuss several implications of these properties as well as their physical relevance. Apart from that, we present and exemplify methods for explicitly constructing multiway systems to yield desired growth functions.
翻译:在沃尔夫拉姆物理项目的背景下,被称为“多路系统”的某类抽象重写系统在不同空间时间和量子力学的离散模型中发挥了重要作用。 然而,作为抽象数学实体,这些重写系统本身很有意义。 本文致力于建立多路系统的计算特性。 具体地说, 我们调查了基于字符串的多路系统的增长率和增长类别。 在引入了“ 增长功能”、“ 增长率” 和“ 增长等级” 的概念, 以量化系统在不同精确度的“ 时间”( 演化的后继步骤) 上的国家空间增长, 我们用它们来表明, 以具体意义上来说, 这些多路系统可以比所有可计算功能慢, 却从未超过指数函数的增长率。 此外, 我们开始根据其增长等级为多路系统制定一个分类方案。 此外, 我们发现, 多路增长功能不是微不足道的, 而是“ 解释”, 意味着它们能够计算或辅助各种常见数学功能。 我们讨论这些特性的一些影响, 以及从我们所期望的物理相关性, 以及从构建这些功能的多重相关性。