-
LifeGPT: Topology-Agnostic Generative Pretrained Transformer Model for Cellular Automata
Authors:
Jaime A. Berkovich,
Markus J. Buehler
Abstract:
Conway's Game of Life (Life), a well known algorithm within the broader class of cellular automata (CA), exhibits complex emergent dynamics, with extreme sensitivity to initial conditions. Modeling and predicting such intricate behavior without explicit knowledge of the system's underlying topology presents a significant challenge, motivating the development of algorithms that can generalize acros…
▽ More
Conway's Game of Life (Life), a well known algorithm within the broader class of cellular automata (CA), exhibits complex emergent dynamics, with extreme sensitivity to initial conditions. Modeling and predicting such intricate behavior without explicit knowledge of the system's underlying topology presents a significant challenge, motivating the development of algorithms that can generalize across various grid configurations and boundary conditions. We develop a decoder-only generative pretrained transformer (GPT) model to solve this problem, showing that our model can simulate Life on a toroidal grid with no prior knowledge on the size of the grid, or its periodic boundary conditions (LifeGPT). LifeGPT is topology-agnostic with respect to its training data and our results show that a GPT model is capable of capturing the deterministic rules of a Turing-complete system with near-perfect accuracy, given sufficiently diverse training data. We also introduce the idea of an `autoregressive autoregressor' to recursively implement Life using LifeGPT. Our results pave the path towards true universal computation within a large language model framework, synthesizing of mathematical analysis with natural language processing, and probing AI systems for situational awareness about the evolution of such algorithms without ever having to compute them. Similar GPTs could potentially solve inverse problems in multicellular self-assembly by extracting CA-compatible rulesets from real-world biological systems to create new predictive models, which would have significant consequences for the fields of bioinspired materials, tissue engineering, and architected materials design.
△ Less
Submitted 17 October, 2024; v1 submitted 3 September, 2024;
originally announced September 2024.
-
Littlewood Polynomials, Spectral-Null Codes, and Equipowerful Partitions
Authors:
Joe Buhler,
Shahar Golan,
Rob Pratt,
Stan Wagon
Abstract:
Let $[n]$ denote $\{0,1, ... , n-1\}$. A polynomial $f(x) = \sum a_i x^i$ is a Littlewood polynomial (LP) of length $n$ if the $a_i$ are $\pm 1$ for $i \in [n]$, and $a_i = 0$ for $i \ge n$. Such an LP is said to have order $m$ if it is divisible by $(x-1)^m$. The problem of finding the set $L_m$ of lengths of LPs of order $m$ is equivalent to finding the lengths of spectral-null codes of order…
▽ More
Let $[n]$ denote $\{0,1, ... , n-1\}$. A polynomial $f(x) = \sum a_i x^i$ is a Littlewood polynomial (LP) of length $n$ if the $a_i$ are $\pm 1$ for $i \in [n]$, and $a_i = 0$ for $i \ge n$. Such an LP is said to have order $m$ if it is divisible by $(x-1)^m$. The problem of finding the set $L_m$ of lengths of LPs of order $m$ is equivalent to finding the lengths of spectral-null codes of order $m$, and to finding $n$ such that $[n]$ admits a partition into two subsets whose first $m$ moments are equal. Extending the techniques and results of Boyd and others, we completely determine $L_7$ and $L_8$ and prove that 192 is the smallest element of $L_9$. Our primary tools are the use of carefully targeted searches using integer linear programming (both to find LPs and to disprove their existence for specific $n$ and $m$), and an unexpected new concept (that arose out of observed symmetry properties of LPs) that we call "regenerative pairs," which produce infinite arithmetic progressions in $L_m$. We prove that for $m \le$ 8, whenever there is an LP of length $n$ and order $m$, there is one of length $n$ and order $m$ that is symmetric (resp.~antisymmetric) if m is even (resp.~odd).
△ Less
Submitted 7 December, 2019;
originally announced December 2019.
-
Explicit error bounds for lattice Edgeworth expansions
Authors:
J. P. Buhler,
A. C. Gamst,
R. L. Graham,
A. W. Hales
Abstract:
Motivated, roughly, by comparing the mean and median of an IID sum of bounded lattice random variables, we develop explicit and effective bounds on the errors involved in the one-term Edgeworth expansion for such sums.
Motivated, roughly, by comparing the mean and median of an IID sum of bounded lattice random variables, we develop explicit and effective bounds on the errors involved in the one-term Edgeworth expansion for such sums.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
On Levine's notorious hat puzzle
Authors:
Joe Buhler,
Chris Freiling,
Ron Graham,
Jonathan Kariv,
James R. Roche,
Mark Tiefenbruck,
Clint Van Alten,
Dmytro Yeroshkin
Abstract:
The Levine hat game requires $n$ players, each wearing an infinite random stack of black and white hats, to guess the location of a black hat on their own head seeing only the hats worn by all the other players. They are allowed a strategy session before the game, but no further communication. The players collectively win if and only if all their guesses are correct.
In this paper we give an ove…
▽ More
The Levine hat game requires $n$ players, each wearing an infinite random stack of black and white hats, to guess the location of a black hat on their own head seeing only the hats worn by all the other players. They are allowed a strategy session before the game, but no further communication. The players collectively win if and only if all their guesses are correct.
In this paper we give an overview of what is known about strategies for this game, including an extended discussion of the case with $n = 2$ players (and a conjecture for an optimal strategy in this case). We also prove that $V_n$, the optimal value of the joint success probability in the $n$-player game, is a strictly decreasing function of $n$.
△ Less
Submitted 27 June, 2021; v1 submitted 17 July, 2014;
originally announced July 2014.
-
Category theoretic analysis of hierarchical protein materials and social networks
Authors:
David I. Spivak,
Tristan Giesa,
Elizabeth Wood,
Markus J. Buehler
Abstract:
Materials in biology span all the scales from Angstroms to meters and typically consist of complex hierarchical assemblies of simple building blocks. Here we describe an application of category theory to describe structural and resulting functional properties of biological protein materials by developing so-called ologs. An olog is like a "concept web" or "semantic network" except that it follows…
▽ More
Materials in biology span all the scales from Angstroms to meters and typically consist of complex hierarchical assemblies of simple building blocks. Here we describe an application of category theory to describe structural and resulting functional properties of biological protein materials by developing so-called ologs. An olog is like a "concept web" or "semantic network" except that it follows a rigorous mathematical formulation based on category theory. This key difference ensures that an olog is unambiguous, highly adaptable to evolution and change, and suitable for sharing concepts with other olog. We consider simple cases of alpha-helical and amyloid-like protein filaments subjected to axial extension and develop an olog representation of their structural and resulting mechanical properties. We also construct a representation of a social network in which people send text-messages to their nearest neighbors and act as a team to perform a task. We show that the olog for the protein and the olog for the social network feature identical category-theoretic representations, and we proceed to precisely explicate the analogy or isomorphism between them. The examples presented here demonstrate that the intrinsic nature of a complex system, which in particular includes a precise relationship between structure and function at different hierarchical levels, can be effectively represented by an olog. This, in turn, allows for comparative studies between disparate materials or fields of application, and results in novel approaches to derive functionality in the design of de novo hierarchical systems. We discuss opportunities and challenges associated with the description of complex biological materials by using ologs as a powerful tool for analysis and design in the context of materiomics, and we present the potential impact of this approach for engineering, life sciences, and medicine.
△ Less
Submitted 10 July, 2011; v1 submitted 11 March, 2011;
originally announced March 2011.
-
Origami rings
Authors:
Joe Buhler,
Steve Butler,
Warwick de Launey,
Ron Graham
Abstract:
Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_α(p)$ be the line in the complex plane through $p$ with angle $α$ (with respect to the real axis). Given a fixed collection $U$ of angles, let $\RU$ be the points that can be obtained by starting with $0$ and $1$, and then recursively adding intersection points of the form…
▽ More
Motivated by a question in origami, we consider sets of points in the complex plane constructed in the following way. Let $L_α(p)$ be the line in the complex plane through $p$ with angle $α$ (with respect to the real axis). Given a fixed collection $U$ of angles, let $\RU$ be the points that can be obtained by starting with $0$ and $1$, and then recursively adding intersection points of the form $L_α(p) \cap L_β(q)$, where $p, q$ have been constructed already, and $α, β$ are distinct angles in $U$.
Our main result is that if $U$ is a group with at least three elements, then $\RU$ is a subring of the complex plane, i.e., it is closed under complex addition and multiplication. This enables us to answer a specific question about origami folds: if $n \ge 3$ and the allowable angles are the $n$ equally spaced angles $kπ/n$, $0 \le k < n$, then $\RU$ is the ring $\Z[ζ_n]$ if $n$ is prime, and the ring $\Z[1/n,ζ_{n}]$ if $n$ is not prime, where $ζ_n := \exp(2πi/n)$ is a primitive $n$-th root of unity.
△ Less
Submitted 11 November, 2010;
originally announced November 2010.
-
Hypercube orientations with only two in-degrees
Authors:
Joe Buhler,
Steve Butler,
Ron Graham,
Eric Tressler
Abstract:
We consider the problem of orienting the edges of the $n$-dimensional hypercube so only two different in-degrees $a$ and $b$ occur. We show that this can be done, for two specified in-degrees, if and only if an obvious necessary condition holds. Namely, there exist non-negative integers $s$ and $t$ so that $s+t=2^n$ and $as+bt=n2^{n-1}$. This is connected to a question arising from constructing a…
▽ More
We consider the problem of orienting the edges of the $n$-dimensional hypercube so only two different in-degrees $a$ and $b$ occur. We show that this can be done, for two specified in-degrees, if and only if an obvious necessary condition holds. Namely, there exist non-negative integers $s$ and $t$ so that $s+t=2^n$ and $as+bt=n2^{n-1}$. This is connected to a question arising from constructing a strategy for a "hat puzzle."
△ Less
Submitted 14 July, 2010;
originally announced July 2010.
-
Irregular primes to 163 million
Authors:
Joe P. Buhler,
David Harvey
Abstract:
We compute all irregular primes less than 163,577,356. For all of these primes we verify that the Kummer-Vandiver conjecture holds and that the lambda-invariant is equal to the index of irregularity.
We compute all irregular primes less than 163,577,356. For all of these primes we verify that the Kummer-Vandiver conjecture holds and that the lambda-invariant is equal to the index of irregularity.
△ Less
Submitted 12 December, 2009; v1 submitted 10 December, 2009;
originally announced December 2009.
-
The probability that a random monic p-adic polynomial splits into linear factors
Authors:
Joe Buhler,
Daniel Goldstein,
David Moews,
Joel Rosenberg
Abstract:
Let n be a positive integer and let p be a prime. We calculate the probability that a random monic polynomial of degree n with coefficients in the ring Z_p of p-adic integers splits over Z_p into linear factors.
Let n be a positive integer and let p be a prime. We calculate the probability that a random monic polynomial of degree n with coefficients in the ring Z_p of p-adic integers splits over Z_p into linear factors.
△ Less
Submitted 2 April, 2004;
originally announced April 2004.
-
Symmetric functions and the phase problem in crystallography
Authors:
Joe Buhler,
Zinovy Reichstein
Abstract:
The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal a…
▽ More
The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.
△ Less
Submitted 18 December, 2003;
originally announced December 2003.
