A Class of Models with the Potential to Represent Fundamental Physics
  1. Introduction
  2. Basic Form of Models
  3. Typical Behaviors
  4. Limiting Behavior and Emergent Geometry
  5. The Updating Process for String Substitution Systems
  6. The Updating Process in Our Models
  7. Equivalence and Computation in Our Models
  8. Potential Relation to Physics
  9. Additional Material
  10. References
  11. Index

3.10 Rules Depending on Two Ternary Relations: the 2333 Case

There are 79,359,764 inequivalent left-connected 23 33 rules. The fraction of these rules showing continued growth is considerably smaller than for 22 rules. But here is a typical sample of growth rules (note that different rules are run for different numbers of steps to achieve a roughly balanced level of detail):

In[1]:=1
rulesample = {{{{1, 2, 1}, {3, 4, 2}} -> {{5, 6, 5}, {6, 7, 6}, {7, 4, 7}, {7, 1, 3}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 3, 2}, {2, 3, 7}, {2, 8, 5}, { 9, 1, 7}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 1, 2}, {3, 4, 5}} -> {{5, 5, 5}, {6, 5, 2}, {7, 1, 6}, { 8, 7, 3}}, {{0, 0, 0}, {0, 0, 0}}, 66}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 6, 7}, {8, 6, 9}, {9, 6, 1}, {10, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 7, 2}, {8, 7, 2}, {5, 5, 9}, {5, 1, 10}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 7, 4}, {7, 8, 9}, {8, 1, 4}, { 3, 7, 5}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 2}, {3, 4, 5}} -> {{6, 5, 5}, {6, 7, 3}, {8, 6, 3}, { 6, 1, 9}}, {{0, 0, 0}, {0, 0, 0}}, 63}, {{{1, 2, 3}, {4, 5, 3}} -> {{2, 5, 3}, {2, 1, 3}, {5, 6, 7}, {3, 8, 9}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 2}, {1, 3, 4}} -> {{5, 5, 5}, {1, 1, 5}, {5, 6, 7}, { 2, 2, 8}}, {{0, 0, 0}, {0, 0, 0}}, 98}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 2, 7}, {7, 8, 6}, {9, 6, 7}, {3, 10, 9}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {3, 4, 5}} -> {{4, 6, 7}, {6, 5, 7}, {8, 5, 7}, { 6, 2, 8}}, {{0, 0, 0}, {0, 0, 0}}, 12}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 3}, {7, 2, 3}, {5, 3, 4}, {8, 5, 3}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 3}, {1, 3, 7}, {2, 4, 8}, { 2, 9, 10}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 2, 4}, {4, 2, 3}, {8, 1, 2}, { 5, 6, 1}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 7}, {2, 5, 6}, {6, 5, 8}, { 9, 2, 8}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 3, 6}, {7, 6, 4}, {8, 4, 2}, { 9, 2, 10}}, {{0, 0, 0}, {0, 0, 0}}, 17}, {{{1, 2, 3}, {2, 4, 5}} -> {{1, 1, 6}, {1, 5, 7}, {4, 3, 1}, {8, 9, 2}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 7, 1}, {7, 6, 4}, {3, 3, 4}, { 2, 8, 5}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 7, 1}, {1, 2, 2}, {7, 8, 8}, { 6, 9, 4}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 6, 5}, {6, 7, 2}, {3, 7, 2}, { 6, 4, 3}}, {{0, 0, 0}, {0, 0, 0}}, 50}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 7, 3}, {7, 2, 8}, {3, 4, 9}, {10, 1, 6}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 2, 5}} -> {{3, 2, 6}, {5, 6, 2}, {4, 2, 7}, { 8, 1, 2}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 8, 1}, {7, 2, 9}, {3, 8, 5}, { 4, 6, 10}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 1, 2}, {3, 1, 4}} -> {{2, 1, 2}, {5, 2, 3}, {6, 5, 7}, { 7, 3, 6}}, {{0, 0, 0}, {0, 0, 0}}, 66}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 7, 6}, {6, 5, 1}, {3, 1, 1}, {8, 2, 3}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 1}, {3, 4, 5}} -> {{6, 6, 1}, {2, 6, 4}, {4, 5, 5}, {7, 2, 2}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 3}} -> {{1, 1, 6}, {2, 6, 3}, {7, 3, 7}, { 1, 8, 4}}, {{0, 0, 0}, {0, 0, 0}}, 36}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 2, 2}, {2, 7, 8}, {7, 4, 3}, {1, 6, 5}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {1, 3, 4}} -> {{4, 5, 4}, {4, 6, 7}, {6, 8, 4}, { 1, 7, 5}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 5, 2}, {6, 1, 7}, {5, 7, 8}, { 8, 9, 1}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 3}, {4, 2, 5}} -> {{1, 6, 5}, {1, 6, 7}, {8, 6, 9}, {8, 10, 1}}, {{0, 0, 0}, {0, 0, 0}}, 18}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 3, 2}, {3, 3, 7}, {8, 6, 2}, {1, 5, 7}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 3}, {5, 7, 3}, {3, 8, 6}, { 1, 7, 6}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 2, 2}, {7, 8, 7}, {7, 8, 1}, { 4, 5, 1}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 3}} -> {{3, 3, 1}, {6, 3, 7}, {8, 1, 6}, { 3, 9, 4}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {2, 4, 5}} -> {{3, 1, 6}, {1, 7, 6}, {8, 9, 3}, { 8, 10, 6}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 5}, {7, 8, 3}, {9, 3, 2}, {10, 5, 11}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 7, 7}, {6, 8, 7}, {6, 1, 9}, { 10, 11, 1}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {2, 4, 5}} -> {{1, 6, 1}, {4, 6, 5}, {5, 7, 8}, { 2, 5, 9}}, {{0, 0, 0}, {0, 0, 0}}, 8}, {{{1, 2, 3}, {4, 2, 5}} -> {{6, 2, 3}, {2, 6, 7}, {3, 8, 6}, { 9, 2, 5}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 3, 5}} -> {{5, 2, 2}, {5, 6, 2}, {7, 6, 2}, { 1, 8, 3}}, {{0, 0, 0}, {0, 0, 0}}, 79}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 3, 7}, {6, 3, 6}, {6, 1, 3}, {2, 7, 1}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {1, 4, 5}} -> {{2, 4, 4}, {1, 6, 4}, {7, 6, 5}, { 5, 3, 8}}, {{0, 0, 0}, {0, 0, 0}}, 8}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 6, 7}, {7, 7, 4}, {5, 5, 4}, { 6, 8, 5}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 7, 8}, {7, 6, 1}, {5, 1, 6}, { 9, 1, 4}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 2}, {3, 4, 5}} -> {{5, 6, 6}, {5, 6, 2}, {4, 6, 7}, { 3, 4, 1}}, {{0, 0, 0}, {0, 0, 0}}, 35}, {{{1, 2, 1}, {1, 3, 4}} -> {{5, 1, 5}, {5, 6, 7}, {8, 5, 2}, {9, 2, 7}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 7, 1}, {8, 7, 8}, {1, 9, 3}, {3, 6, 5}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 5}, {5, 8, 9}, {1, 3, 10}, {4, 8, 11}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {1, 4, 5}} -> {{6, 2, 2}, {5, 7, 6}, {8, 9, 5}, { 8, 1, 7}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 1}, {2, 3, 4}} -> {{1, 5, 3}, {5, 3, 6}, {7, 8, 1}, {4, 8, 3}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 1, 4}, {4, 1, 4}, {4, 3, 7}, { 2, 5, 8}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 1, 2}, {3, 4, 5}} -> {{6, 6, 5}, {4, 6, 1}, {7, 6, 8}, { 3, 1, 9}}, {{0, 0, 0}, {0, 0, 0}}, 30}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 5}, {7, 3, 6}, {4, 3, 8}, {1, 8, 2}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 7, 2}, {4, 7, 1}, {1, 6, 2}, { 5, 8, 3}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 2, 7}, {3, 8, 7}, {4, 3, 6}, { 1, 9, 10}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 8, 3}, {8, 6, 7}, {9, 8, 2}, { 4, 10, 8}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 6}, {2, 7, 8}, {5, 6, 1}, { 4, 9, 8}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 8, 3}, {8, 6, 9}, {1, 3, 2}, { 2, 9, 10}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {3, 4, 5}} -> {{5, 6, 2}, {6, 2, 7}, {8, 2, 9}, { 3, 1, 6}}, {{0, 0, 0}, {0, 0, 0}}, 26}, {{{1, 2, 3}, {4, 2, 5}} -> {{1, 6, 6}, {7, 8, 6}, {5, 9, 7}, {10, 9, 8}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 6}, {6, 4, 3}, {4, 5, 2}, {5, 8, 9}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 8, 3}, {8, 9, 7}, {10, 9, 3}, {1, 10, 7}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {1, 4, 5}} -> {{2, 6, 7}, {7, 6, 5}, {2, 4, 1}, { 8, 5, 9}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {2, 4, 5}} -> {{2, 3, 3}, {2, 5, 3}, {5, 4, 6}, {6, 4, 1}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 2, 7}, {3, 2, 8}, {3, 4, 2}, { 7, 1, 2}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 2, 1}, {1, 3, 2}, {7, 2, 8}, { 5, 1, 7}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 7, 1}, {1, 3, 3}, {2, 6, 7}, { 2, 8, 3}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 2, 5}} -> {{1, 6, 7}, {1, 6, 8}, {3, 7, 9}, { 3, 10, 4}}, {{0, 0, 0}, {0, 0, 0}}, 17}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 7, 8}, {7, 9, 2}, {1, 5, 2}, {4, 6, 1}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 2, 5}} -> {{2, 2, 6}, {2, 7, 3}, {7, 8, 2}, { 7, 1, 5}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 4}, {3, 7, 8}, {2, 4, 6}, { 5, 9, 4}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 6, 7}, {8, 7, 9}, {5, 9, 6}, { 6, 10, 1}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 1, 8}, {1, 6, 2}, {9, 6, 10}, {11, 12, 2}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 3}} -> {{6, 7, 8}, {7, 8, 1}, {6, 3, 9}, { 10, 11, 9}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 8, 7}, {9, 1, 8}, {1, 3, 10}, {3, 5, 11}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 1}, {3, 1, 4}} -> {{5, 1, 5}, {6, 5, 7}, {2, 7, 5}, { 2, 8, 9}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 4, 3}, {4, 5, 2}, {7, 8, 5}, {9, 7, 8}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 3}} -> {{2, 5, 2}, {4, 5, 3}, {6, 7, 5}, { 1, 8, 7}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 2}, {7, 8, 9}, {3, 10, 6}, {6, 9, 1}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 1}, {3, 4, 5}} -> {{3, 2, 1}, {2, 4, 3}, {1, 6, 7}, { 8, 2, 9}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 3, 5}, {6, 5, 2}, {4, 3, 7}, { 8, 1, 4}}, {{0, 0, 0}, {0, 0, 0}}, 8}, {{{1, 2, 3}, {3, 4, 5}} -> {{6, 6, 1}, {1, 7, 1}, {5, 1, 8}, { 9, 8, 9}}, {{0, 0, 0}, {0, 0, 0}}, 66}, {{{1, 2, 1}, {3, 4, 5}} -> {{4, 6, 1}, {4, 1, 3}, {6, 3, 1}, {2, 7, 5}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {3, 4, 5}} -> {{3, 3, 5}, {6, 7, 5}, {6, 8, 1}, { 4, 1, 2}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {3, 4, 5}} -> {{6, 6, 1}, {1, 2, 7}, {2, 1, 8}, { 1, 4, 9}}, {{0, 0, 0}, {0, 0, 0}}, 66}, {{{1, 2, 3}, {3, 4, 5}} -> {{6, 7, 7}, {6, 8, 5}, {9, 8, 8}, {10, 7, 9}}, {{0, 0, 0}, {0, 0, 0}}, 65}, {{{1, 2, 3}, {1, 4, 5}} -> {{6, 2, 2}, {6, 5, 3}, {3, 7, 5}, {4, 8, 7}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {4, 5, 3}} -> {{6, 6, 1}, {6, 7, 8}, {1, 9, 7}, { 10, 10, 2}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 7, 1}, {7, 8, 3}, {6, 3, 9}, {10, 6, 1}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 7, 2}, {7, 5, 1}, {8, 3, 5}, { 8, 3, 6}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {3, 4, 5}} -> {{5, 5, 4}, {5, 6, 7}, {7, 3, 4}, { 3, 8, 5}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {1, 4, 5}} -> {{3, 6, 1}, {1, 7, 4}, {5, 4, 8}, { 8, 9, 10}}, {{0, 0, 0}, {0, 0, 0}}, 11}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 6, 5}, {6, 5, 7}, {8, 5, 8}, {8, 3, 9}}, {{0, 0, 0}, {0, 0, 0}}, 66}, {{{1, 2, 2}, {3, 4, 5}} -> {{6, 5, 5}, {5, 7, 1}, {8, 6, 9}, {3, 2, 7}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 1, 6}, {6, 6, 7}, {1, 8, 4}, {9, 7, 10}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 1, 2}, {3, 4, 5}} -> {{6, 7, 6}, {2, 7, 3}, {2, 3, 5}, { 2, 1, 6}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 4}, {4, 7, 6}, {3, 5, 7}, { 2, 7, 8}}, {{0, 0, 0}, {0, 0, 0}}, 34}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 7, 8}, {7, 4, 8}, {1, 5, 9}, {8, 10, 11}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 2, 2}, {8, 4, 2}, {6, 4, 9}, { 3, 1, 4}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {1, 4, 5}} -> {{6, 7, 6}, {6, 8, 9}, {3, 9, 5}, { 10, 11, 9}}, {{0, 0, 0}, {0, 0, 0}}, 49}, {{{1, 2, 3}, {4, 5, 6}} -> {{3, 3, 5}, {3, 2, 7}, {8, 3, 7}, {8, 2, 1}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 8}, {7, 6, 8}, {9, 3, 8}, { 7, 5, 4}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {3, 4, 5}} -> {{3, 3, 6}, {3, 6, 7}, {8, 3, 9}, { 2, 8, 3}}, {{0, 0, 0}, {0, 0, 0}}, 9}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 7, 3}, {3, 8, 2}, {8, 9, 3}, { 1, 2, 2}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{2, 7, 7}, {7, 8, 1}, {1, 6, 9}, { 4, 10, 10}}, {{0, 0, 0}, {0, 0, 0}}, 6}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 3}, {3, 1, 2}, {4, 1, 6}, { 8, 2, 9}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 1}, {3, 4, 5}} -> {{3, 1, 3}, {1, 6, 7}, {7, 2, 3}, { 8, 2, 7}}, {{0, 0, 0}, {0, 0, 0}}, 74}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 3, 3}, {3, 8, 9}, {6, 4, 2}, {1, 2, 10}}, {{0, 0, 0}, {0, 0, 0}}, 4}, {{{1, 2, 3}, {4, 5, 6}} -> {{7, 2, 7}, {7, 1, 1}, {1, 5, 2}, { 8, 8, 5}}, {{0, 0, 0}, {0, 0, 0}}, 7}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 1, 6}, {1, 5, 4}, {5, 2, 4}, { 7, 3, 2}}, {{0, 0, 0}, {0, 0, 0}}, 5}, {{{1, 2, 3}, {4, 5, 6}} -> {{1, 1, 6}, {7, 8, 6}, {9, 4, 9}, { 3, 10, 4}}, {{0, 0, 0}, {0, 0, 0}}, 5}}; GraphicsGrid[ Partition[ ParallelMap[ ResourceFunction["WolframModelPlot"][ ResourceFunction["WolframModel"][#[[1]], #[[2]], #[[3]] - 1, "FinalState"]] &, rulesample], 14], ImageSize -> Full]

And even though there are only 3 relations on the right-hand side (rather than the 4 in 22 42) these rules can produce globular structures. Some examples are:

In[2]:=2
ruleset = {{{{1, 2, 3}, {3, 4, 5}} -> {{6, 3, 5}, {3, 1, 6}, {6, 2, 4}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 3}, {2, 4, 5}} -> {{4, 5, 4}, {5, 6, 1}, {3, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 18}, {{{1, 2, 3}, {4, 5, 3}} -> {{2, 6, 3}, {2, 6, 4}, {1, 5, 2}}, {{0, 0, 0}, {0, 0, 0}}, 20}, {{{1, 2, 3}, {2, 4, 5}} -> {{1, 4, 6}, {6, 4, 3}, {2, 1, 5}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 3}, {3, 4, 5}} -> {{2, 6, 2}, {3, 2, 4}, {5, 6, 1}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 3}, {1, 4, 5}} -> {{2, 5, 6}, {5, 1, 3}, {3, 4, 6}}, {{0, 0, 0}, {0, 0, 0}}, 16}, {{{1, 2, 3}, {4, 2, 5}} -> {{2, 6, 3}, {6, 1, 2}, {1, 4, 2}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 3}, {4, 3, 5}} -> {{5, 2, 5}, {5, 1, 6}, {4, 5, 6}}, {{0, 0, 0}, {0, 0, 0}}, 19}, {{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 4}, {6, 2, 4}, {3, 4, 5}}, {{0, 0, 0}, {0, 0, 0}}, 20}, {{{1, 2, 3}, {4, 3, 5}} -> {{3, 5, 2}, {5, 2, 4}, {2, 1, 6}}, {{0, 0, 0}, {0, 0, 0}}, 18}, {{{1, 2, 3}, {4, 3, 5}} -> {{6, 3, 1}, {1, 4, 3}, {2, 6, 5}}, {{0, 0, 0}, {0, 0, 0}}, 35}, {{{1, 2, 3}, {2, 4, 5}} -> {{6, 5, 1}, {1, 5, 4}, {3, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 80}, {{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 4}, {6, 3, 1}, {6, 4, 2}}, {{0, 0, 0}, {0, 0, 0}}, 150}, {{{1, 2, 3}, {1, 4, 5}} -> {{2, 6, 1}, {6, 4, 1}, {2, 4, 3}}, {{0, 0, 0}, {0, 0, 0}}, 150}, {{{1, 2, 3}, {4, 5, 3}} -> {{6, 6, 2}, {6, 4, 6}, {5, 1, 2}}, {{0, 0, 0}, {0, 0, 0}}, 150}, {{{1, 1, 2}, {3, 4, 1}} -> {{4, 4, 3}, {5, 4, 5}, {5, 2, 1}}, {{0, 0, 0}, {0, 0, 0}}, 150}, {{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 1}, {3, 6, 4}, {1, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 150}, {{{1, 2, 3}, {1, 4, 5}} -> {{3, 3, 6}, {6, 6, 5}, {4, 5, 6}}, {{0, 0, 0}, {0, 0, 0}}, 100}, {{{1, 2, 2}, {2, 3, 4}} -> {{4, 3, 3}, {4, 1, 5}, {2, 4, 5}}, {{0, 0, 0}, {0, 0, 0}}, 100}, {{{1, 2, 3}, {1, 4, 5}} -> {{2, 3, 6}, {2, 3, 6}, {5, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 100}}; GraphicsGrid[ Partition[ ParallelMap[ Labeled[ResourceFunction["WolframModelPlot"][ ResourceFunction["WolframModel"][#[[1]], #[[2]], #[[3]], "FinalState"], ImageSize -> 1.1 {150, 100}], RulePlot[ResourceFunction["WolframModel"][#[[1]]], "RulePartsAspectRatio" -> 1, ImageSize -> Tiny]] &, ruleset], UpTo[4]], ImageSize -> Full, Alignment -> Bottom]

A new phenomenon exhibited by 23 33 rules is the formation of globular structures by what amounts to slow grow. This is exemplified by a rule like:

In[3]:=3
{{x, y, z}, {x, u, v}} -> {{x, w, u}, {v, w, y}, {w, y, z}}
In[4]:=4
RulePlot[ResourceFunction[ "WolframModel"][{{x, y, z}, {x, u, v}} -> {{z, w, u}, {w, u, v}, {x, w, y}}]]

This rule progressively builds up a structure by growing only in one place at a time (the position of the surviving self-loop):

In[5]:=5
ResourceFunction["WolframModelPlot"][#, ImageSize -> Tiny] & /@ ResourceFunction[ "WolframModel"][{{1, 2, 3}, {1, 4, 5}} -> {{1, 6, 4}, {5, 6, 2}, {6, 2, 3}}, {{0, 0, 0}, {0, 0, 0}}, 15, "StatesList"]

After 1000 steps the rule has produced this structure containing 1000 ternary relations (plus the 2 already present in the initial condition):

In[6]:=6
ResourceFunction[ "WolframModel"][{{1, 2, 3}, {1, 4, 5}} -> {{1, 6, 4}, {5, 6, 2}, {6, 2, 3}}, {{0, 0, 0}, {0, 0, 0}}, 1000, "FinalStatePlot"]

Another example of slow growth occurs in the rule

In[7]:=7
{{x, x, y}, {z, u, x}} -> {{u, u, z}, {v, u, v}, {v, y, x}}
In[8]:=8
RulePlot[ResourceFunction[ "WolframModel"][{{x, x, y}, {z, u, x}} -> {{u, u, z}, {v, u, v}, {v, y, x}}]]

which after 1000 steps generates:

In[9]:=9
ResourceFunction[ "WolframModel"][{{1, 1, 2}, {3, 4, 1}} -> {{4, 4, 3}, {5, 4, 5}, {5, 2, 1}}, {{0, 0, 0}, {0, 0, 0}}, 1000, "FinalStatePlot"]

Note the presence here of regions of square grids. These occur even more prominently in the rule

In[10]:=10
{{x, y, z}, {u, y, v}} -> {{w, z, x}, {z, w, u}, {x, y, w}}
In[11]:=11
RulePlot[ResourceFunction[ "WolframModel"][{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 1}, {3, 6, 4}, {1, 2, 6}}]]

which after 500 steps produces:

In[12]:=12
ResourceFunction[ "WolframModel"][{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 1}, {3, 6, 4}, {1, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 500, "FinalStatePlot"]

As we will discuss in the next section, the grid here becomes quite explicit when the hypergraph is rendered in 3D. Notice that the grid is not evident even after 20 steps in the evolution of the rule; it takes longer to emerge:

In[13]:=13
ResourceFunction["WolframModelPlot"][#, ImageSize -> 50] & /@ ResourceFunction[ "WolframModel"][{{1, 2, 3}, {4, 2, 5}} -> {{6, 3, 1}, {3, 6, 4}, {1, 2, 6}}, {{0, 0, 0}, {0, 0, 0}}, 20, "StatesList"]

Once again, though, the rule adds just a single relation at each generation; in effect the grid is being “knitted” one node at a time.

The emergence of a grid is still easier to see in the rule

In[14]:=14
{{x, y, z}, {x, u, v}} -> {{z, z, w}, {w, w, v}, {u, v, w}}
In[15]:=15
RulePlot[ResourceFunction[ "WolframModel"][{{x, y, z}, {x, u, v}} -> {{z, z, w}, {w, w, v}, {u, v, w}}]]

which after 200 steps yields:

In[16]:=16
ResourceFunction[ "WolframModel"][{{1, 2, 3}, {1, 4, 5}} -> {{3, 3, 6}, {6, 6, 5}, {4, 5, 6}}, {{0, 0, 0}, {0, 0, 0}}, 200, "FinalStatePlot"]

Once again, the “knitting” of this form is far from obvious in the first 20 steps of evolution:

In[17]:=17
ResourceFunction["WolframModelPlot"][#, ImageSize -> 50] & /@ ResourceFunction[ "WolframModel"][{{1, 2, 3}, {1, 4, 5}} -> {{3, 3, 6}, {6, 6, 5}, {4, 5, 6}}, {{0, 0, 0}, {0, 0, 0}}, 20, "StatesList"]

Just sometimes, however, the behavior is quite easy to trace, as in this particularly direct example of “knitting”

In[18]:=18
{{x, y, y}, {z, x, u}} -> {{y, v, y}, {y, z, v}, {u, v, v}}
In[19]:=19
RulePlot[ResourceFunction[ "WolframModel"][{{1, 2, 2}, {3, 1, 4}} -> {{2, 5, 2}, {2, 3, 5}, {4, 5, 5}}]]
In[20]:=20
ResourceFunction["WolframModelPlot"][#, ImageSize -> 50] & /@ ResourceFunction[ "WolframModel"][{{{1, 2, 2}, {3, 1, 4}} -> {{2, 5, 2}, {2, 3, 5}, {4, 5, 5}}}, {{0, 0, 0}, {0, 0, 0}}, 30, "StatesList"]

which after 200 steps yields:

In[21]:=21
ResourceFunction[ "WolframModel"][{{1, 2, 2}, {3, 1, 4}} -> {{2, 5, 2}, {2, 3, 5}, {4, 5, 5}}, {{0, 0, 0}, {0, 0, 0}}, 200, "FinalStatePlot"]

As a different example of slow growth, consider the rule:

In[22]:=22
{{x, y, y}, {y, z, u}} -> {{u, z, z}, {u, x, v}, {y, u, v}}
In[23]:=23
RulePlot[ResourceFunction[ "WolframModel"][{{x, y, y}, {y, z, u}} -> {{u, z, z}, {u, x, v}, {y, u, v}}]]

After 200 steps this rule gives

In[24]:=24
ResourceFunction[ "WolframModel"][{{1, 2, 2}, {2, 3, 4}} -> {{4, 3, 3}, {4, 1, 5}, {2, 4, 5}}, {{0, 0, 0}, {0, 0, 0}}, 200, "FinalStatePlot"]

while after 500 steps it gives:

In[25]:=25
ResourceFunction[ "WolframModel"][{{1, 2, 2}, {2, 3, 4}} -> {{4, 3, 3}, {4, 1, 5}, {2, 4, 5}}, {{0, 0, 0}, {0, 0, 0}}, 500, "FinalStatePlot"]

Looking at all 79 million or so 23 33 rules in canonical order, one finds that rules with slow growth are quite rare and are strongly localized to about 10 broad regions in the space of possible rules. Of rules with slow growth, only a few percent form nontrivial globular structures. And of these, perhaps 10% exhibit obvious lattice-like patterns.

The pictures below show additional examples. Note thatas we will discuss latermany of the patterns here are best visualized in 3D.

In[26]:=26
GraphicsGrid[ Partition[ ParallelMap[ Labeled[ResourceFunction["WolframModelPlot"][ ResourceFunction["WolframModel"][#, {{0, 0, 0}, {0, 0, 0}}, 200, "FinalState"], ImageSize -> 1.2 {100, 80}], RulePlot[ResourceFunction["WolframModel"][#], "RulePartsAspectRatio" -> 1, ImageSize -> Tiny]] &, {{{{1, 1, 2}, {3, 4, 1}} -> {{3, 3, 5}, {5, 4, 3}, {2, 5, 5}}, {{1, 1, 2}, {3, 4, 1}} -> {{3, 3, 5}, {5, 4, 3}, {2, 5, 5}}}, {{1, 2, 1}, {3, 2, 4}} -> {{4, 5, 4}, {5, 2, 4}, {5, 1, 5}}, {{1, 2, 1}, {1, 3, 4}} -> {{4, 5, 4}, {5, 4, 2}, {3, 4, 2}}, {{1, 2, 2}, {1, 3, 4}} -> {{4, 5, 5}, {5, 3, 2}, {1, 2, 5}}, {{1, 2, 1}, {1, 3, 4}} -> {{4, 5, 4}, {5, 4, 3}, {1, 2, 5}}, {{1, 1, 2}, {3, 4, 1}} -> {{3, 3, 5}, {2, 5, 1}, {2, 6, 5}}, {{1, 1, 2}, {2, 3, 4}} -> {{3, 3, 4}, {4, 3, 1}, {1, 5, 3}}, {{1, 1, 2}, {1, 3, 4}} -> {{1, 1, 4}, {1, 5, 3}, {4, 5, 2}}, {{1, 1, 2}, {1, 3, 4}} -> {{1, 1, 5}, {1, 2, 3}, {4, 5, 2}}, {{1, 1, 2}, {1, 3, 4}} -> {{4, 4, 5}, {5, 2, 2}, {3, 1, 5}}, {{1, 1, 2}, {1, 3, 4}} -> {{4, 4, 5}, {5, 4, 2}, {3, 2, 5}}, {{1, 1, 2}, {2, 3, 4}} -> {{5, 5, 4}, {5, 4, 1}, {3, 2, 5}}, {{1, 1, 2}, {3, 2, 4}} -> {{3, 3, 4}, {3, 4, 1}, {5, 1, 3}}, {{1, 1, 2}, {3, 4, 1}} -> {{1, 1, 3}, {3, 4, 2}, {4, 5, 1}}, {{1, 1, 2}, {3, 4, 1}} -> {{1, 1, 3}, {4, 5, 1}, {2, 5, 3}}}], UpTo[5]], ImageSize -> Full, Alignment -> Bottom]