Growth Functions, Rates and Classes of String-Based Multiway Systems

01/26/2021
by   Yorick Zeschke, et al.
0

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.

READ FULL TEXT
research
12/22/2022

On the growth rate of polyregular functions

We consider polyregular functions, which are certain string-to-string fu...
research
03/27/2019

Generic properties in some classes of automaton groups

We prove, for various important classes of Mealy automata, that almost a...
research
06/30/2019

Typed lambda-calculi and superclasses of regular functions

We propose to use Church encodings in typed lambda-calculi as the basis ...
research
12/03/2022

Autonomous Apple Fruitlet Sizing and Growth Rate Tracking using Computer Vision

Measuring growth rates of apple fruitlets is important because it allows...
research
09/19/2018

A Physical Perspective on Control Points and Polar Forms: Bézier Curves, Angular Momentum and Harmonic Oscillators

Bernstein polynomials and Bézier curves play an important role in comput...
research
08/05/2021

Adapting to Function Difficulty and Growth Conditions in Private Optimization

We develop algorithms for private stochastic convex optimization that ad...
research
09/25/2019

Realizing the potential of astrostatistics and astroinformatics

This Astro2020 State of the Profession Consideration White Paper highlig...

Please sign up or login with your details

Forgot password? Click here to reset