Difference between revisions of "Infinite growth"

From LifeWiki
Jump to navigation Jump to search
(3 glider infinite growth evolves a glider-producing switch engine)
m (templatified links)
(25 intermediate revisions by 8 users not shown)
Line 1: Line 1:
A finite [[pattern]] is said to exhibit '''infinite growth''' if it is such that its population is unbounded. That is, for any number N there exists a generation n such that the population in [[generation]] n is greater than N. The first known pattern to exhibit infinite growth was the [[Gosper glider gun]].
A finite [[pattern]] is said to exhibit '''infinite growth''' if it is such that its population is unbounded. That is, for any number N there exists a generation n such that the population in [[generation]] n is greater than N. The first known pattern to exhibit infinite growth was the [[Gosper glider gun]].
Apparent infinite growth may occur in many cellular automata, and rules in which such patterns are commonplace are known as [[class three cellular automata]]. However, in many cases there is no known ''proof'' that any such pattern in fact will continue to grow indefinitely (and is not simply a particularly vigorous [[methuselah]]). Most patterns known to be infinite growth patterns, therefore, follow some type of orderly periodic growth.


==Growth geometry==
==Growth geometry==
Four simple types of infinite growth patterns recur in cellular automata. Three of them operate by a basic engine that repeatedly creates new objects. In simple cases this leads to linear growth of the pattern's population:
Infinite-growth patterns can be classified by their growth rate. In any cellular automaton, the maximum rate of growth is determined by the geometry of the space. In cellular automata set in 2D Euclidean space such as Life, the maximum growth rate is quadratic; cubic, quartic, quintic etc. growth require spaces of higher dimensionality.
* Type SM, a.k.a. [[gun]]: a pattern that has a '''''s'''tationary'' engine and '''''m'''oving'' output.
* Type MS, a.k.a. [[puffer]]: a pattern that has a '''''m'''oving'' engine and '''''s'''tationary'' output. Puffers whose output is a single, connected, growing object, and not isolated [[ash]], are furthermore known as [[wickstretcher]]s.
* Type MM, a.k.a. [[rake]]: a pattern that has a '''''m'''oving'' engine and '''''m'''oving'' output.
The fourth type are [[replicator]]s, which in their basic form cannot be separated into an engine and an output. Most known natural replicators have [[rule 90]] type growth, and are thus [[sawtooth]]s in their population growth rate.


Infinite growth patterns that have a stationary engine and stationary output are also possible. These typically involve a gun's output being periodically converted into stable output by a repeated reaction. For an example see [[bricklayer]].
For linear and quadratic growth patterns, '''S''' means stationary and '''M''' mobile.
=== Linear ===
Four types of linear growth patterns can occur in cellular automata that operate by a basic [[engine]] that repeatedly creates new objects. In simple cases this leads to linear growth of the pattern's population:


Many further types of infinite growth are possible as well, e.g. [[infinite glider hotel]].
* Type SS, a rare type of growth with both a stationary engine and output. One example of this is [[bricklayer]].
* Type SM, a.k.a. [[gun]]: a pattern that has a stationary engine and moving output. For example, see [[Simkin glider gun]].
* Type MS, a.k.a. [[puffer]]: a pattern that has a moving engine and stationary output. See [[puffer 2]] for an example.
**Puffers whose output is a single, connected, growing object, and not isolated [[ash]], are known as [[wickstretcher]]s.
* Type MM, a.k.a. [[rake]]: a pattern that has a moving engine and moving output. [[Space rake]] is one such pattern.
 
A fifth type are linear [[replicator]]s, which in their basic form cannot be separated into an engine and an output. Most known natural replicators have [[rule 90]] type growth, and are thus [[sawtooth]]s in their population growth rate.
=== Quadratic ===
Quadratic growth can be split into these sections:
 
* '''SSS''' breeder - A stable object, usually a [[slide gun]], creates copies of an SS infinite growth (e.g. a slide gun that shoots out a [[blockstacker]]-like mechanism).
* '''SSM''' breeder - A stable object that generates guns.
* '''SMS''' breeder - A stable object that generates puffers.
* SMM breeder - A stationary object that produces [[rakes]]. This is more commonly referred to as a [[rake gun]].
* '''MSS''' breeder - A moving object that generates SS infinite growth.
* MMS breeder - A moving object generates [[puffer]]s periodically. Examples include [[Riley's breeder]], [[metacatacryst]], [[Jaws]] and [[pufferfish|pufferfish breeder]].
* MSM breeder - A puffer that produces [[gun]]s. [[Breeder 1|Gosper's original breeder]] was a MSM breeder; so was [[Lucas Brown's LWSS breeder]].
* MMM breeder - A moving pattern that produces rakes periodically (i.e. a rake puffer).
 
The ones in '''bold''' require the use of slide guns, so are not very frequently constructed. The remaining four types are general types of breeders. However, breeders that can be classed as SSS and SMS have also been constructed.<ref>{{Cite web|url=http://pentadecathlon.com/lifeNews/2011/03/these_are_not_just_breeders.html|title=These are not just breeders|work=Game of Life News|author=Adam Goucher|date=March 9, 2011|accessdate=August 25, 2016}}</ref>
 
Quadratic replicators also exist in certain Life-like rules, for example [[Gnarl]].
 
Similarly to wickstretchers, the [[spacefiller]] is an infinite growth pattern that can be said to be MMS. This does not create puffers in the classical sense, but instead stretches an infinite line of wickstretchers.


==Small infinite growth patterns==
==Small infinite growth patterns==
[[Image:10cellinfinitegrowth.png|framed|right|10-cell infinite growth<br />{{JavaRLE|10cellinfinitegrowth|brief}}]]A natural question to ask is what the smallest starting size of an infinite growth pattern can be (either in terms of number of [[cell]]s or [[bounding box]]). In [[:Category:Patterns found in 1971|1971]], [[Charles Corderman]] found that a [[switch engine]] could be stabilized by a [[pre-block]] in a number of different ways to produce either a [[block-laying switch engine]] or a [[glider-producing switch engine]], giving several 11-cell patterns with infinite growth. This record stood for more than quarter of a century until [[Paul Callahan]] found, in November [[:Category:Patterns found in 1997|1997]], two 10-cell patterns with infinite growth. The following month he found the one shown to the right, which is much neater, being a single [[cluster]]. It produces a block-laying switch engine. Today 24 different infinite growth patterns with 10 cells are known (most of them found by [[Michael Simkin]] in 2014<ref>{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?p=14021#p14021|title=R-pentomino + R-pentomino, Glider + R-pentomino infinite growth|publisher=Infinite Growth}}</ref><ref>{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?p=14133#p14133|title=7 and 6 cells Methuselahs infinite growth|publisher=Infinite Growth}}</ref>). [[Nick Gotts]] and Paul Callahan have shown that there is no infinite growth pattern with fewer than 10 cells, so that the question of the smallest infinite growth pattern in terms of number of cells has been answered completely. The smallest number of gliders to synthesize infinite growth pattern is 3<ref>{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?p=13988#p13988|title=3 gliders infinite growth|publisher=Infinite Growth}}</ref>, it evolves a [[glider-producing switch engine]], and was found by [[Michael Simkin]] in 2014.  
[[Image:10cellinfinitegrowth.png|framed|right|10-cell infinite growth<br />{{JavaRLE|10cellinfinitegrowth|brief}}]]
A natural question to ask is what the smallest starting size of an infinite growth pattern can be (either in terms of number of [[cell]]s, [[bounding box]] or [[glider synthesis]]). In {{year|1971}}, [[Charles Corderman]] found that a [[switch engine]] could be stabilized by a [[pre-block]] in a number of different ways to produce either a [[block-laying switch engine]] or a [[glider-producing switch engine]], giving several 11-cell patterns with infinite growth. This record stood for more than quarter of a century until [[Paul Callahan]] found, in November {{year|1997}}, two 10-cell patterns with infinite growth. The following month he found the one shown to the right, which is much neater, being a single [[cluster]]. It produces a block-laying switch engine. Today 24 different infinite growth patterns with 10 cells are known (most of them found by [[Michael Simkin]] in 2014<ref name="post14021" /><ref name="post14133" />). [[Nick Gotts]] and Paul Callahan have shown that there is no infinite growth pattern with fewer than 10 cells, so that the question of the smallest infinite growth pattern in terms of number of cells has been answered completely.
 
On October 24, {{year|2014}}, [[Michael Simkin]] disovered a [[three-glider collision]] for a pattern whose ash includes a [[glider-producing switch engine]].<ref name="post13988" />


Also of interest are some infinite growth patterns with particularly small bounding boxes. The following pattern is the smallest [[one cell thick pattern]] that exhibits infinite growth, found via computer search in October [[:Category:Patterns found in 1998|1998]] by Callahan:
Also of interest are some infinite growth patterns with particularly small bounding boxes. The following pattern is the smallest [[one-cell-thick pattern]] that exhibits infinite growth, found via computer search in October {{year|1998}} by Callahan:


[[Image:Unidimensional_infinite.png|framed|center|Paul Callahan's one cell thick infinite growth pattern<br />{{JavaRLE|unidimensionalinfinitegrowth}}]]
[[Image:Unidimensional_infinite.png|framed|center|Paul Callahan's one cell thick infinite growth pattern<br />{{JavaRLE|unidimensionalinfinitegrowth}}]]
Line 23: Line 49:
[[Image:5x5_infinite.png|framed|center|Paul Callahan's 5×5 infinite growth pattern<br />{{JavaRLE|5x5infinitegrowth|brief}}]]
[[Image:5x5_infinite.png|framed|center|Paul Callahan's 5×5 infinite growth pattern<br />{{JavaRLE|5x5infinitegrowth|brief}}]]


Paul Callahan's pattern shows that infinite growth patterns exist in bounding boxes with area 25, but whether or not infinite growth patterns could exist in smaller boxes was not known until [[:Category:Patterns found in 2009|2009]], when exhaustive computer searches were conducted to show that there is an infinite growth pattern with bounding box 2×12 (area 24), and that this area is minimal.<ref>{{cite web|url=http://infinitegrowth.wordpress.com/2009/06/05/n-cell-thick-patterns-1/|title=n-Cell Thick Patterns|publisher=Infinite Growth|accessdate=June 12, 2009|date=June 5, 2009}}</ref><ref>{{cite web|url=http://www.conwaylife.com/forums/viewtopic.php?f=2&t=78|title=n-cell thick patterns & infinite growth|publisher=ConwayLife.com Forums|accessdate=June 12, 2009|date=June 5, 2009}}</ref> This pattern is shown below.
Paul Callahan's pattern shows that infinite growth patterns exist in bounding boxes with area 25, but whether or not infinite growth patterns could exist in smaller boxes was not known until {{year|2009}}, when exhaustive computer searches were conducted to show that there is an infinite growth pattern with bounding box 2×12 (area 24), and that this area is minimal.<ref>{{cite web|url=http://infinitegrowth.wordpress.com/2009/06/05/n-cell-thick-patterns-1/|title=n-Cell Thick Patterns|work=Infinite Growth|accessdate=June 12, 2009|date=June 5, 2009}}</ref><ref name="post244" /> This pattern is shown below.


[[Image:2x12_infinite.png|framed|center|The minimally sized 2&times;12 infinite growth pattern<br />{{JavaRLE|2x12infinitegrowth|brief}}]]
[[Image:2x12_infinite.png|framed|center|The minimally sized 2&times;12 infinite growth pattern<br />{{JavaRLE|2x12infinitegrowth|brief}}]]
Line 34: Line 60:
! Growth rate f(t)
! Growth rate f(t)
! Examples
! Examples
|-
| t<sup>2</sup> (quadratic)
| [[breeder 1]], [[max]], [[mosquito 5]], [[metacatacryst]]
|-
| t<sup>3/2</sup>
| [http://www.conwaylife.com/forums/viewtopic.php?f=2&t=1145 ?]
|-
| tlog(t)<sup>2</sup>
| ?
|-
| tlog(t)
| [[tlog(t) growth]], [[Gotts dots]]
|-
| tlog(log(t))
| [[tlog(log(t)) growth]]
|-
| tlog*<sup>(n)</sup>(t)
| [[Sawmill]]
|-
|-
| t (linear)
| t (linear)
| [[block-laying switch engine]], [[Gosper glider gun]], [[space rake]], [[puffer 2]]
| [[block-laying switch engine]], [[Gosper glider gun]], [[space rake]], [[puffer 2]]
|-
| t<sup>2</sup> (quadratic)
| [[breeder 1]], [[max]], [[mosquito 5]], [[metacatacryst]]
|-
|-
| sqrt(t)
| sqrt(t)
| [[sqrtgun]]
| [[sqrtgun]]
|-
|-
| t<sup>3/2</sup>
| t<sup>1/3</sup>
| ?
| ?
|-
|-
| log(t) (logarithmic)
| t^(2^(-n))
| [[Caber tosser 1]]
| ?
|-
|-
| log(t)<sup>2</sup>
| log(t)<sup>2</sup>
| [[log(t)^2 growth]]
| [[log(t)^2 growth]]
|-
|-
| tlog(t)
| log(t) (logarithmic)
| [[tlog(t) growth]], [[Gotts dots]]
| [[Caber tosser 1]]
|-
|-
| tlog(t)<sup>2</sup>
| log<sup>(n)</sup>(t)
| ?
| ?
|-
| log*<sup>(n)</sup>(t)
| [[Sawmill]]
|}
|}


Line 63: Line 107:


===Quadratic growth===
===Quadratic growth===
The first quadratic growth pattern constructed was the [[breeder 1|original breeder]], found in [[:Category:Patterns found in 1971|1971]] by [[Bill Gosper]]. Since then, many other [[breeder]]s have been found, and even some [[spacefiller]]s have been constructed. It is unknown how small quadratic growth patterns can be, and a race has been taking place since the early 1990's to construct the smallest such pattern. The current record holder is [[switch engine ping-pong]] that consists of 23 cells. Previous record holders include [[catacryst]], [[metacatacryst]], [[mosquito]]es, [[26-cell quadratic growth|26-]], [[25-cell quadratic growth|25-]] and [[24-cell quadratic growth]].
The first quadratic growth pattern constructed was the [[breeder 1|original breeder]], found in {{year|1971}} by [[Bill Gosper]]. Since then, many other [[breeder]]s have been found, and even some [[spacefiller]]s have been constructed. It is unknown how small quadratic growth patterns can be, and a race has been taking place since the early 1990's to construct the smallest such pattern. The current record holder is [[switch engine ping-pong]] that consists of 23 cells. Previous record holders include [[catacryst]], [[metacatacryst]], [[mosquito]]es, [[26-cell quadratic growth|26-]], [[25-cell quadratic growth|25-]] and [[24-cell quadratic growth]].


==References==
==References==
<references />
<references>
<ref name="post14021">{{LinkForumThread
|format = ref
|title  = Re: Making switch-engines
|p      = 14021
|author = Michael Simkin
|date  = October 27, 2014
}}</ref>
<ref name="post14133">{{LinkForumThread
|format = ref
|title  = Re: Making switch-engines
|p      = 14133
|author = Michael Simkin
|date  = November 5, 2014
}}</ref>
<ref name="post13988">{{LinkForumThread
|format = ref
|title  = Re: Making switch-engines
|p      = 13988
|author = Michael Simkin
|date  = October 24, 2014
}}</ref>
<ref name="post244">{{LinkForumThread
|format = ref
|title  = n-cell thick patterns & infinite growth
|p      = 244
|author = DivusIulius
|date  = June 5, 2009
}}</ref>
</references>


==External links==
==External links==

Revision as of 00:25, 30 December 2019

A finite pattern is said to exhibit infinite growth if it is such that its population is unbounded. That is, for any number N there exists a generation n such that the population in generation n is greater than N. The first known pattern to exhibit infinite growth was the Gosper glider gun.

Apparent infinite growth may occur in many cellular automata, and rules in which such patterns are commonplace are known as class three cellular automata. However, in many cases there is no known proof that any such pattern in fact will continue to grow indefinitely (and is not simply a particularly vigorous methuselah). Most patterns known to be infinite growth patterns, therefore, follow some type of orderly periodic growth.

Growth geometry

Infinite-growth patterns can be classified by their growth rate. In any cellular automaton, the maximum rate of growth is determined by the geometry of the space. In cellular automata set in 2D Euclidean space such as Life, the maximum growth rate is quadratic; cubic, quartic, quintic etc. growth require spaces of higher dimensionality.

For linear and quadratic growth patterns, S means stationary and M mobile.

Linear

Four types of linear growth patterns can occur in cellular automata that operate by a basic engine that repeatedly creates new objects. In simple cases this leads to linear growth of the pattern's population:

  • Type SS, a rare type of growth with both a stationary engine and output. One example of this is bricklayer.
  • Type SM, a.k.a. gun: a pattern that has a stationary engine and moving output. For example, see Simkin glider gun.
  • Type MS, a.k.a. puffer: a pattern that has a moving engine and stationary output. See puffer 2 for an example.
    • Puffers whose output is a single, connected, growing object, and not isolated ash, are known as wickstretchers.
  • Type MM, a.k.a. rake: a pattern that has a moving engine and moving output. Space rake is one such pattern.

A fifth type are linear replicators, which in their basic form cannot be separated into an engine and an output. Most known natural replicators have rule 90 type growth, and are thus sawtooths in their population growth rate.

Quadratic

Quadratic growth can be split into these sections:

  • SSS breeder - A stable object, usually a slide gun, creates copies of an SS infinite growth (e.g. a slide gun that shoots out a blockstacker-like mechanism).
  • SSM breeder - A stable object that generates guns.
  • SMS breeder - A stable object that generates puffers.
  • SMM breeder - A stationary object that produces rakes. This is more commonly referred to as a rake gun.
  • MSS breeder - A moving object that generates SS infinite growth.
  • MMS breeder - A moving object generates puffers periodically. Examples include Riley's breeder, metacatacryst, Jaws and pufferfish breeder.
  • MSM breeder - A puffer that produces guns. Gosper's original breeder was a MSM breeder; so was Lucas Brown's LWSS breeder.
  • MMM breeder - A moving pattern that produces rakes periodically (i.e. a rake puffer).

The ones in bold require the use of slide guns, so are not very frequently constructed. The remaining four types are general types of breeders. However, breeders that can be classed as SSS and SMS have also been constructed.[1]

Quadratic replicators also exist in certain Life-like rules, for example Gnarl.

Similarly to wickstretchers, the spacefiller is an infinite growth pattern that can be said to be MMS. This does not create puffers in the classical sense, but instead stretches an infinite line of wickstretchers.

Small infinite growth patterns

10-cell infinite growth
RLE: here

A natural question to ask is what the smallest starting size of an infinite growth pattern can be (either in terms of number of cells, bounding box or glider synthesis). In 1971, Charles Corderman found that a switch engine could be stabilized by a pre-block in a number of different ways to produce either a block-laying switch engine or a glider-producing switch engine, giving several 11-cell patterns with infinite growth. This record stood for more than quarter of a century until Paul Callahan found, in November 1997, two 10-cell patterns with infinite growth. The following month he found the one shown to the right, which is much neater, being a single cluster. It produces a block-laying switch engine. Today 24 different infinite growth patterns with 10 cells are known (most of them found by Michael Simkin in 2014[2][3]). Nick Gotts and Paul Callahan have shown that there is no infinite growth pattern with fewer than 10 cells, so that the question of the smallest infinite growth pattern in terms of number of cells has been answered completely.

On October 24, 2014, Michael Simkin disovered a three-glider collision for a pattern whose ash includes a glider-producing switch engine.[4]

Also of interest are some infinite growth patterns with particularly small bounding boxes. The following pattern is the smallest one-cell-thick pattern that exhibits infinite growth, found via computer search in October 1998 by Callahan:

Paul Callahan's one cell thick infinite growth pattern
Download RLE: click here

Indeed, this pattern produces two block-laying switch engines at about generation 700. The following pattern (also found by Callahan) is the only pattern with infinite growth that fits inside a 5×5 bounding box. It too emits a block-laying switch engine.

Paul Callahan's 5×5 infinite growth pattern
RLE: here

Paul Callahan's pattern shows that infinite growth patterns exist in bounding boxes with area 25, but whether or not infinite growth patterns could exist in smaller boxes was not known until 2009, when exhaustive computer searches were conducted to show that there is an infinite growth pattern with bounding box 2×12 (area 24), and that this area is minimal.[5][6] This pattern is shown below.

The minimally sized 2×12 infinite growth pattern
RLE: here

Growth rates

Although the simplest infinite growth patterns grow at a rate that is (asymptotically) linear, many other growth rates are possible. The following table summarizes asymptotic growth rates that have been explicitly constructed in Life:

Growth rate f(t) Examples
t2 (quadratic) breeder 1, max, mosquito 5, metacatacryst
t3/2 ?
tlog(t)2 ?
tlog(t) tlog(t) growth, Gotts dots
tlog(log(t)) tlog(log(t)) growth
tlog*(n)(t) Sawmill
t (linear) block-laying switch engine, Gosper glider gun, space rake, puffer 2
sqrt(t) sqrtgun
t1/3 ?
t^(2^(-n)) ?
log(t)2 log(t)^2 growth
log(t) (logarithmic) Caber tosser 1
log(n)(t) ?
log*(n)(t) Sawmill

It is not difficult to see that quadratic growth is the fastest possible growth rate, and many patterns that grow at such speed are now known. There are patterns that exhibit infinite growth but whose population does not tend toward infinity – see sawtooth. By combining a sawtooth with a pattern that grows infinitely at a different rate, it is possible to construct patterns that grow (for example) logarithmically at some times and linearly at other times. There are even patterns, such as the Fermat prime calculator, for which it is not known if they grow infinitely or not.

Quadratic growth

The first quadratic growth pattern constructed was the original breeder, found in 1971 by Bill Gosper. Since then, many other breeders have been found, and even some spacefillers have been constructed. It is unknown how small quadratic growth patterns can be, and a race has been taking place since the early 1990's to construct the smallest such pattern. The current record holder is switch engine ping-pong that consists of 23 cells. Previous record holders include catacryst, metacatacryst, mosquitoes, 26-, 25- and 24-cell quadratic growth.

References

  1. Adam Goucher (March 9, 2011). "These are not just breeders". Game of Life News. Retrieved on August 25, 2016.
  2. Michael Simkin (October 27, 2014). Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
  3. Michael Simkin (November 5, 2014). Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
  4. Michael Simkin (October 24, 2014). Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
  5. "n-Cell Thick Patterns". Infinite Growth (June 5, 2009). Retrieved on June 12, 2009.
  6. DivusIulius (June 5, 2009). n-cell thick patterns & infinite growth (discussion thread) at the ConwayLife.com forums

External links

Template:LinkWeisstein