Snarkperiodicity (and other omniperiodicity tasks w/stable ship turners)

For discussion of other cellular automata.
Post Reply
WhiteHawk
Posts: 1500
Joined: July 10th, 2024, 5:34 pm

Snarkperiodicity (and other omniperiodicity tasks w/stable ship turners)

Post by WhiteHawk »

This thread is for exploring the rulespace of the Snark and Snark64 for generalized proofs of omniperiodicity (EDIT: and maybe other things, like cool oscillators). Even so, this thread can also be used to explore similar turners for other spaceships in various CA (e.g. the stable reflector in tflock 2). In general, this thread should aim to tackle Omniperiodicity in a broader space of rules than what is covered by the more well-represented "which life-like cellular automota have been proven Omniperiodic?".

Back to the main topic of discussion this forum thread, the Snark and Snark64 have the dual property of solving oscillators for both an infinite and complete set of periods above the minimum repeat time of each.

The rulespaces are fairly large, and between all evolutionary sequences identical to life cover a space of exactly 160 rules (128 for snark variants and 64 for Snark64, 32 overlap). If differing evolutions which don't change the outcome are included, then there are 128 more for snark and 128 more for Snark64.

Snark & variants under normal evolution - B3/S23 -- B34c8/S234cz5e6n8
Snark64 under normal evolution - B3/S23 -- B34c8/S234cz5e8
Snark & variants with atypical evolution - B34z/S23 -- B34cqz8/S234c5e6n8
Snark64 with atypical evolution - B3/S236e -- B34c8/S234cz5e6e8

However, only a handful of rules covered by all of the rulespaces of each stable turner can actually been proven to be omniperiodic (Namely Life, Eightlife, Pedestrian Life, 4diagonal, Conway++, B34c/S234c, B38/S234c, B3/S234c8, and B34c8/S23. For Snark-only, this also includes B3/S236n and B3/S234c6n), with many others missing a single period (e.g. Honeylife B38/S238) or multiple periods (e.g. zlife B3/S234z).

Code: Select all

x = 73, y = 97, rule = B3/S23
7$40bo$39bobo$39bob3o$36b2obo4bo$36bobobobobo$38bobob2o4b2o$30b2o5bob
o8bo$30b2o6bo7bobo$46b2o3$35b2o$34bo2bo$35b2o4$23b2o$22bobo$24bo18b2o
$30b2o10bobo$26b2obobo10b2o$26bob2obobo$32b2o3b2o3b4o$37b2o4bo2bo$41b
o3b2o$41b2o4$30b2o$30bobo$32bo4b2o$28b4ob2o2bo2bo$28bo2bobobobob2o$31b
obobobo$32b2obobo$36bo2$22b2o$23bo7b2o$23bobo5b2o$24b2o25bo$49b3o$48b
o$48b2o3$56b2o$34b2o21bo$34bo22bob2o$24b3o8b3o11b2o4b3o2bo$14bo11bo10b
o11b2o3bo3b2o$12b5o8bo5b2o21b4o$11bo5bo13bo8b2o15bo$11bo2b3o12bobo7bo
bo12b3o$10b2obo15b2o8bo13bo$10bo2b4o21b2o14b5o$11b2o3bo3b2o11bo22bo2b
o$13b3o4b2o11b3o22b2o$13bo22bo$10b2obo21b2o$10b2ob2o3$21b2o$22bo$19b3o
$19bo25b2o$38b2o5bobo$38b2o7bo$47b2o2$34bo$33bobob2o4b2o$33bobobobo2b
o2bo$32b2obobobo3b2o$33bo2b2ob4o$33bo4bo3bo$34b3obo2bo$36bobobo$39bo!
While it would be nice to have a complete cross-rulespace proof from life to each Snark's end rule of Omniperiodicity for each and every rule, that is not necessary in the least. I will share some of my findings soon.
Last edited by WhiteHawk on August 18th, 2024, 1:56 pm, edited 5 times in total.
Serving currently as something of a stenographer within this community, mostly reducing the occasional gun, synthesis reduction, or providing discovery commentary. Will get software to begin searches eventually.

Pseudastur albicollis
WhiteHawk
Posts: 1500
Joined: July 10th, 2024, 5:34 pm

Re: Snarkperiodicity (and other omniperiodicity tasks w/stable ship turners)

Post by WhiteHawk »

Back again with updates. I think my new material is extensive enough to warrant a reply rather than an edit.

Firstly, here are links to pre-existing threads to rules which Snark and/or Snark64 cover.

Snark and Snark64

B38/S23
viewtopic.php?f=11&t=1661

B3/S238
viewtopic.php?f=11&t=1272

B38/S238
viewtopic.php?f=11&t=5778

B3/S234c
viewtopic.php?f=11&t=5705

(I didn't find any for snark only rules)

Snark64 only

B3/S234z
viewtopic.php?f=11&t=6281&hilit=b3%2FS234z

Now onto what I have found for rulespaces and omniperiodicity using snarks.

There are seven categories defined based on what known stable reflectors work in each rule which I used to divide up the problem.
  • B3(4c8)/S23(4c5e8) - Rules where regular Snark and Snark64 work in rules (32 rules)
  • B3(4c8)/S23(4c5e)6n(8) - Rules where all snarks on the Snark page works (32 rules)
  • B3(4c)4q(8)/S23(4c5e6n8) - Rules where only Snark variants without the aircraft carrier stabilization work (64 rules)
  • B3(4c)4z(8)/S23(4c5e6n8) - Rules where typical Snarks work, but 31.4 undergoes faster recovery due to B4z (repeat time unchanged, 64 rules)
  • B3(4c)4zq(8)/S23(4c5e6n8) - Rules where a Snark variant without the aircraft carrier stabilization works with faster 31.4 recovery time (64 rules)
  • B3(4c8)/S23(4c)4z(5e8) - Rules where regular Snark64 works (32 rules)
  • B3(4c8)/S23(4cz5e)6e(8) - Rules where Snark64 has one surviving S6e cell which does not interfere otherwise(64 rules)
Of course, there is currently no single-period oscillator which covers each entire rulespace for every period. Even when considering known periods that do have representative oscillators across all rules above, that list is very small (revisions desired, see below).

P2 - Blinker
P3 - Bent/Short/Odd Keys (Caterer fails B4z Snarks, but can be substituted for LCMs by Star in this case)
P4 - Mold/Mazing
P5 - Fumarole/Octagon 2
P6 - Unix
P7 - Burloaferimeter
P8 - Coe's P8 (Sparks don't have enough fallback to form p40 with fumarole)
P11 - Merzenich's p11
P12 - Dinner table (Mold on fire-spitting fails B4z, works elsewhere)
P15 - Keys on Fumarole (Caterer on fumarole is preferred wherever it works)
P20 - Mold on fumarole
P30 - Queen Bee Shuttle
P32 - Gourmet (snakes instead of aircraft carriers)
Above 43
P60 - Queen bee shuttles hassling blinker

Most (maybe all) of the other periods not listed here have some gaps in other rules, but I am still working on tracking down which periods still work in other rules, so I am still hashing that out. Even so, I hope to have 14 complete lists of periods (one for the base 1tfl rule and one for the full-transition rule) fairly soon.

EDIT: all rules from listed rulespaces with Catagolue censuses.

Outer-totalistic
Life - https://catagolue.hatsya.com/census/b3s23
Pedestrian Life - https://catagolue.hatsya.com/census/b38s23
EightLife - https://catagolue.hatsya.com/census/b3s238
Honey Life - https://catagolue.hatsya.com/census/b38s238

Isotropic non-totalistic

Snark and Snark64 (normal)
4diagonal - https://catagolue.hatsya.com/census/b34cs23
B34c8/S23 - https://catagolue.hatsya.com/census/b34c8s23
B38/S234c - https://catagolue.hatsya.com/census/b38s234c
Conway++ - https://catagolue.hatsya.com/census/b3s234c
B34c/S234c - https://catagolue.hatsya.com/census/b34cs234c
B34c8/S234c - https://catagolue.hatsya.com/census/b34c8s234c
Lakelife - https://catagolue.hatsya.com/census/b3s235e
B3/S234c5e - https://catagolue.hatsya.com/census/b3s234c5e
B34c8/S234c8 - https://catagolue.hatsya.com/census/b34c8s234c8
B3/S235e8 - https://catagolue.hatsya.com/census/b3s235e8

Snark normal
B34q/S23 - https://catagolue.hatsya.com/census/b34qs23
B34cq/S23 - https://catagolue.hatsya.com/census/b34cqs23
B34q8/S23 - https://catagolue.hatsya.com/census/b34q8s23
B34q/S234c - https://catagolue.hatsya.com/census/b34qs234c
B34q/S235e - https://catagolue.hatsya.com/census/b34qs235e
B34q/S238 - https://catagolue.hatsya.com/census/b34qs238
B3/S236n - https://catagolue.hatsya.com/census/b3s236n

Snark alien
B34z/S23 - https://catagolue.hatsya.com/census/b34zs23
B34cz/S23 - https://catagolue.hatsya.com/census/b34czs23
B34z/S234c - https://catagolue.hatsya.com/census/b34zs234c
B34z/S235e - https://catagolue.hatsya.com/census/b34zs235e
B34z/S236n - https://catagolue.hatsya.com/census/b34zs236n
B34z/S238 - https://catagolue.hatsya.com/census/b34zs238

Snark64 normal
Zlife - https://catagolue.hatsya.com/census/b3s234z
B3/S234cz - https://catagolue.hatsya.com/census/b3s234cz
B38/S234z - https://catagolue.hatsya.com/census/b38s234z

Snark64 alien
B34c/S236e - https://catagolue.hatsya.com/census/b34cs236e
B38/S236e - https://catagolue.hatsya.com/census/b38s236e
B3/S235e6e - https://catagolue.hatsya.com/census/b3s235e6e
B3/S234c6e8 - https://catagolue.hatsya.com/census/b3s234c6e8
B3/S234c5e6e8 - https://catagolue.hatsya.com/census/b3s234c5e6e8
Serving currently as something of a stenographer within this community, mostly reducing the occasional gun, synthesis reduction, or providing discovery commentary. Will get software to begin searches eventually.

Pseudastur albicollis
Post Reply