Difference between revisions of "Infinite growth"
(New page: 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...) |
m |
||
(54 intermediate revisions by 16 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== | ||
+ | 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 [[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 | + | [[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 [[: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 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. | ||
− | 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: | + | 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: | ||
[[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 12: | 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 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| | + | 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|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×12 infinite growth pattern<br />{{JavaRLE|2x12infinitegrowth|brief}}]] | ||
+ | |||
+ | ==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 [[Conway's Game of Life|Life]]: | ||
− | [[ | + | {| class="wikitable" style="margin-left:auto;margin-right:auto;" | |
+ | |- | ||
+ | ! Growth rate f(t) | ||
+ | ! 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) | ||
+ | | [[block-laying switch engine]], [[Gosper glider gun]], [[space rake]], [[puffer 2]] | ||
+ | |- | ||
+ | | sqrt(t) | ||
+ | | [[sqrtgun]] | ||
+ | |- | ||
+ | | t<sup>1/3</sup> | ||
+ | | ? | ||
+ | |- | ||
+ | | t^(2^(-n)) | ||
+ | | ? | ||
+ | |- | ||
+ | | log(t)<sup>2</sup> | ||
+ | | [[log(t)^2 growth]] | ||
+ | |- | ||
+ | | log(t) (logarithmic) | ||
+ | | [[Caber tosser 1]] | ||
+ | |- | ||
+ | | log<sup>(n)</sup>(t) | ||
+ | | ? | ||
+ | |- | ||
+ | | log*<sup>(n)</sup>(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=== | ===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 [[ | + | 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]]. |
==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== |
Latest revision as of 21:13, 4 July 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.
Contents
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
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:
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 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.
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 |
---|---|
t^{2} (quadratic) | breeder 1, max, mosquito 5, metacatacryst |
t^{3/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 |
t^{1/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
- ↑ Adam Goucher (March 9, 2011). "These are not just breeders". Game of Life News. Retrieved on August 25, 2016.
- ↑ Michael Simkin. Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
- ↑ Michael Simkin. Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
- ↑ Michael Simkin. Re: Making switch-engines (discussion thread) at the ConwayLife.com forums
- ↑ "n-Cell Thick Patterns". Infinite Growth (June 5, 2009). Retrieved on June 12, 2009.
- ↑ DivusIulius. n-cell thick patterns & infinite growth (discussion thread) at the ConwayLife.com forums
External links
- Infinite growth at the Life Lexicon