July 15, 2026
This paper establishes a direct analogue of the classical Coding Theorem in the setting of symmetry groups. We consider computable bijections on the set of binary strings—called symmetries—and define the symmetry prior of a string \(x\) as the probability that a randomly chosen symmetry from a given group \(G\) has \(x\) as its unique fixed point. We show that for any fix-retractable symmetry group \(G\)—a group admitting a computable section that selects an isolating symmetry for every string—the symmetry prior is a universal lower semi-computable semi-measure. In this case, the Geometric Coding Theorem holds: \[-\log_2 m_G(x) = K(x) + O(1)\]
where \(K(x)\) is the prefix Kolmogorov complexity of \(x\). We also develop a Galois connection between subgroups of \(G\) and subsets of binary strings, characterizing closed points and maximal closed subgroups, and explore the join-semilattice of dense subgroups. Our results unify algorithmic information theory with group theory and provide a framework for studying symmetry-induced complexity measures.
This paper is the first in a series on Computational Algorithmic Statistics (CAS).
Keywords: Kolmogorov complexity, Solomonoff prior, algorithmic probability, coding theorem, symmetry groups, Galois connections
The concept of algorithmic complexity defined by Solomonoff, Kolmogorov, Chaitin and Levin is a measure that quantifies the algorithmic randomness of a binary string. Formally, the algorithmic complexity, denoted by \(K\) of a binary string \(x\) is the length of the shortest computer program \(p\) running on a universal Turing machine \(U\) that generates the string \(x\) as an output and halts [[1] Ch. 2]. \[K_U(x) = \min\{\ell(p) \mid U(p) = x\}\]
The invariance theorem says that the definition of \(K\) above is independent of the choice of the universal Turing machine \(U\). For a a different choice \(V\), the \(K\) values differ by a constant term independent of \(x\). The constant term comes from the cost of simulating \(U\) by \(V\) and vice-versa.
The function \(K\) that takes in \(x\) and gives the length of the shortest program producing \(x\) is uncomputable. This is due to the halting problem, given that one cannot always find the shortest problem in finite time without having to run all programs. This means having to wait forever in case they never halt. The function \(K\) is however upper semi-computable, i.e. it can approximated from above by computable functions. This is because the set of computer programs that output \(x\) and halt is recursively enumerable.
The ordinary probability of production of a binary string \(x\) among all possible \(2^n\) strings of length \(n\) is given by \(P(x) = 1/2^n\). The concept of algorithmic probability replaces the random production of outputs with the random production of programs that produce the output.
The algorithmic probability (or Solomonoff prior or Levin’s semi-measure) \(m(x)\) of a binary string \(x\) is the sum over all prefix-free programs \(p\) for which a universal Turing prefix machine \(U\) running \(p\) outputs \(x\) and halts. The replaces the length of \(x\) with the length of the program \(p\) that produces \(x\). It is thus a measure that estimates the probability of a random program \(p\) producing \(x\) when run on \(U\). [[1] Ch. 3] \[m^U(x) = \sum_{p \mid U(p) = x} \frac{1}{2^{\ell(p)}}\] The algorithmic probability is independent of the choice of universal prefix machine (up to a constant term) and as a function from binary strings to \(\mathbb{R}\) is lower semi-computable.
There is a direct and miraculous connection between the algorithmic complexity and algorithmic probability of binary strings.
The negative logarithm of the algorithmic probability \(-\log_2 m^U(x)\) gives a complexity measure. By this measure the complexity of a string is directly related to the frequency of production of the string in a universal prefix machine. More programs imply lower complexity. This is related to the algorithmic complexity as the shortest program producing \(x\) on \(U\) will contribute to the largest term contributing to \(m^U(x)\). The inequality \(-\log_2 m^U(x) \leq K_U(x)\) is obvious.
The algorithmic coding theorem says that something much stronger is true.
Theorem 1 ([1] Thm.4.3.3 ). The algorithmic coding theorem, \[K_U(x) = -\log_2 m^U(x) + O(1)\]
The theorem establishes that, if there are many programs producing a string then there is also a short program producing the string ; and strings of lower frequency have higher Kolmogorov complexity. The key idea behind the proof comes down to the observation that if there are \(k\) prefix programs of length \(n\) producing \(x\) on \(U\), then there is a prefix program of length \(n - \log_2 k + O(1)\) that produces \(x\) on \(U\).
There is another way of state the coding theorem. The semi-measure on bit strings defined by \(P(x) = 1/2^{K(x)}\) is a universal lower semi-computable semi-measure.
A symmetry is a computable bijection of the set of binary strings. If a symmetry has a string \(x\) as its only fixed point, it can be framed as program that produces the string \(x\) and halts.
Let the symmetry prior be the probailiy of producing a bit string by randomly selecting a symmetry program. The symmetry prior \(m^U_G(x)\) of a bit string \(x\) is the sum over all prefix-free programs symmetry programs \(p\) for which a universal Turing prefix machine \(U^G\) running \(p\) outputs \(x\) and halts. \[m^U_G(x) = \sum_{p \mid U^G(p) = x} \frac{1}{2^{\ell(p)}}\]
In this paper we lay down a condition on the group of symmetries so that the coding theorem with the symmetry prior is true.
Theorem 2. Let \(G\) be a group of computable bijections of \(\{0,1\}^*\) with following property: there exists a subgroup \(H \leq G\) which can isolate all bit strings and the symmetries \(H\) and isolating symmetries \(\mathtt{I}_H\) are recursively enumerable. Then the following (equivalent) statements are true:
\(K_U(x) = -\log_2 m^U_G(x) + O(1)\).
The symmetry prior dominates the Solomonoff prior: \(\exists C\) s.t \(C.m^U_G(x) \geq m^U(x), \forall x \in \{0,1\}^*\).
The symmetry prior is a universal lower semi-computable semi-measure on finite bit strings
\[\xymatrix{ \boxed{\exists H \leq G \mid H, \mathtt{I}_H \text{ r.e.}} \ar@{=>}[dr] \ar@{<=>}[r]^{\text{Thm.}\ref{thm:alg}} &\boxed{G \text{ fix-retractable } \ref{def:fix-ret}}\ar@{=>}[d]^{\text{Thm.}\ref{thm:simul}}\\ &\boxed{U^G \text{ simulates } U \ref{def:simul}} \ar@{=>}[d]^{\text{Thm.}\ref{thm:universal}} \ar@{=>}[dl]^{\text{Thm.}\ref{thm:lsc}}\\ \boxed{LSC} &\boxed{GCT \ref{thm:gct}} \\ }\]
The set of total recursive functions \(\{0,1\}^*\to \{0,1\}^*\) is denoted by \(\mathtt{T}\). The group of total recursive bijective functions is denoted \(\mathtt{TB}\). Elements of \(\mathtt{TB}\) are called symmetries. \[\mathtt{T}= \{ f : \{0,1\}^*\to \{0,1\}^*\mid f(x) \text{ halts } \forall x \}\] \[\mathtt{TB}= \{ f \in \mathtt{T}\mid f \text{ is a bijection} \}\]
Given \(x \in \{0,1\}^*\), the set of symmetries that fix \(x\) is a subgroup of \(\mathtt{TB}\) denoted by \(\mathtt{stab}(x)\). \[\mathtt{stab}(x) = \{f \in \mathtt{TB}\mid f(x) = x\} \leq \mathtt{TB}\]
A symmetry \(f \in \mathtt{stab}(x)\) isolates \(x\) when \(x\) is the only fixed point of \(x\). The set of isolating symmetries for \(x\) is denoted by \(I_x\). \[\mathtt{I}(x) = \{ f \in \mathtt{TB}\mid f(x) = x \text{ and } f(y) \neq y, \forall y \in \{0,1\}^*\} \subseteq \mathtt{stab}(x)\]
Let \(\mathtt{I}\) denote the set of all isolating symmetries in \(\mathtt{TB}\). \[\mathtt{I}= \{ f \in \mathtt{TB}\mid |\mathtt{fix}(f)| = 1 \} = \coprod_{x \in \{0,1\}^*} \mathtt{I}(x)\]
Let \(G \leq \mathtt{TB}\) be a subgroup of total bijections of \(\{0,1\}^*\). Subgroups of \(\mathtt{TB}\) will be called symmetry groups. Given \(x \in \{0,1\}^*\), the elements of \(G\) that fix \(x\), \[\mathtt{stab}_G(x) = \{g \in G \mid g(x) = x \} \leq G\] The set of isolating symmetries in \(G\) for \(x\) is denoted by \(\mathtt{I}_G(x)\). \[\mathtt{I}(x) = \{ g \in G \mid g(x) = x \text{ and } g(y) \neq y, \forall y \in \{0,1\}^*\} \subseteq \mathtt{stab}_G(x)\] The set of all isolating symmetries in \(G\) is denoted \(\mathtt{I}_G\). \[\mathtt{I}_G = \{ g \in G \mid |\mathtt{fix}(g)| = 1 \} = \coprod_{x \in \{0,1\}^*} \mathtt{I}_G(x)\]
The group of total recursive bijections \(\mathtt{TB}\) is not r.e.. To enumerate all computable bijections, one needs to enumerate all programs that compute total bijective functions. This requires checking totality and bijectivity, which are \(\Pi_2\)-complete.
Since \(\mathtt{TB}\) is not r.e., there is no effective enumeration of \(\mathtt{stab}(x)\) either. If we make the assumtion however that \(G\) is a r.e. subgroup of \(\mathtt{TB}\), the stabiliser group \(\mathtt{stab}_G(x)\) is r.e. One can enumerate through \(G\) and check if \(g \in G\) fixes \(x\), provided that the action of the group on bit strings is computable .
Under the assumption that \(G\) is r.e., the subset \(\mathtt{I}_G(x)\) is co-r.e. To enumerate \(\mathtt{I}_x\), one would enumerate elements of \(\mathtt{stab}_G(x)\) to check that they have no fixed points other than \(x\). This is a co-r.e. condition (finding the second fixed point is r.e., proving none exists is co-r.e.).
Proposition 3. Let \(G\) be a r.e. symmetry group. Then for all \(x \in \{0,1\}^*\), the stabilizer subgroups \(\mathtt{stab}_G(x)\) are r.e. The point-wise isolators and total isolator \(\mathtt{I}_G(x)\) and \(\mathtt{I}_G\) are co-r.e.
A prefix universal computer is a partial recursive function \(U: \{0,1\}^*\times \{0,1\}^*\to \{0,1\}^*\) so that \(U(p,x) = y\) where \(p\) is prefix-free code for the function \(U(p,\cdot) : \{0,1\}^*\to \{0,1\}^*\).
A program encoding a symmetry is a prefix code \(p\) so that \(U(p, \cdot)\) is a symmetry. We call this a symmetry program. The set of all symmetry programs is denoted by \(U^{\mathtt{TB}}\). \[U^{\mathtt{TB}} = \{ p \mid U(p, \cdot) \in \mathtt{TB}\}\]
By the discussion there \(U^{\mathtt{TB}}\) is not a recursively enumerable language. Let \(G \subset \mathtt{TB}\) be a r.e. subset. The set of symmetry programs for symmetries in \(G\) \[U^G = \{ p \mid U(p, \cdot) \in G \}\] is r.e. Let us denote the universal computer for \(G\)-symmetries by the same name.
Proposition 4. Let \(G\) be a r.e. symmetry group. There is an effective enumeration of \(G\)-symmetries. The universal computer for this is a p.r. function \[U^G: \{0,1\}^*\times \{0,1\}^*\to \{0,1\}^*\] such that \(U^G(p, \cdot) \in G\) when \(p\) is halting.
A symmetry program computes \(x\) when it is a program for an isolating symmetry for \(x\). The set of all symmetry programs computing \(x\) is denoted by \(U^{\mathtt{TB}}_x\). \[U^{\mathtt{TB}}_x = \{ p \mid U(p, \cdot) \in \mathtt{I}_x\}\]
The set of all symmetry programs in \(U^G\) computing \(x\) is denoted by \(U^G_x\). \[U^{G}_x = \{ p \mid U^G(p, \cdot) \in \mathtt{I}_x\}\]
Remark 5. Note that \(U^{\mathtt{TB}}\) is not a universal computer for total recursive bijections. The set \(\mathtt{TB}\) is not recursively enumerable. There is no Turing machine that accepts only the symmetry prefix programs in \(U\).
The fixed-point set of computable symmetries offers a mapping from \(G \leq \mathtt{TB}\) to subsets of bit strings \(G \to \mathcal{P}(\{0,1\}^*)\). This is non-computable in general. Restriction to isolating symmetries gives a computable map, \[\mathtt{fix}: \mathtt{I}_G \to \{0,1\}^*.\]
Definition 1. An \(I\)-section of \(G \leq \mathtt{TB}\) is a computable right-inverse of \(\mathtt{fix}\), i.e. a computable map \[\mathtt{sec}: \{0,1\}^*\to \mathtt{I}_G\] such that \(\mathtt{fix}\circ\mathtt{sec}= \text{id}_{\{0,1\}^*}\). The existence of the section means \(\mathtt{I}_G(x)\) is non-empty \(\forall x \in \{0,1\}^*\).
A symmetry group \(G\) is fix-retractable* if it admits an \(I\)-section.*
The existence of a \(I\)-section implies an important property of the program spaces. Any ordinary program for outputting a bit string can be simulated by a symmetry program of the same length (up to additive constant term). The \(\mathtt{fix}\) map implies a similar property in the other direction, any symmetry program that isolates a bit string can be simulated by an ordinary program of the same length (up to a additive constant). The idea of codes being simulatable by codes of another type of the same length is formalized in the definition below. The subsequent proposition proves the connection claimed.
Definition 2. \(U^{G}\) simulates \(U\) if there is a injective computable function \(\Phi:\{0,1\}^*\to \{0,1\}^*\) that maps programs computing \(x\) to symmetry programs computing \(x\). \[\Phi(U_x) \subset U^G_x, \forall x \in \{0,1\}^*\]
and \(\ell(\Phi(p)) = \ell(p) + O(1)\) for all \(p \in U_x\).
\(U\) simulates \(U^G\) if there is a injective computable function \(\Psi:\{0,1\}^*\to \{0,1\}^*\) that maps symmetry programs to programs computing \(x\) \[\Psi(U^G_x) \subset U_x, \forall x \in \{0,1\}^*\] and \(\ell(\Psi(q)) = \ell(q) + O(1)\) for all \(q \in U^G_x\).
Theorem 6. If \(G\) is a fix-retractable symmetry group, then \(U\) and \(U^G\) can simulate each other.
Proof.
(\(U\) simulates \(U^G\)): The map \(\mathtt{fix}: \mathtt{I}_G \to \{0,1\}^*\) lifts to a computable map between program spaces: \[U_{\mathtt{fix}}: \{q \mid U^G(q) \text{ halts and} \in \mathtt{I}_G\} \to \{ p \mid U(p) \text{ halts }\}\] such that \(\forall x \in \{0,1\}^*\), \(U_{\mathtt{fix}}(U^G_x) \subset U_x\). The mapping \(U_{\mathtt{fix}}\) is defined as follows: given a program \(q\) for an \(x\)-isolator, run \(q\), get the isolator \(g \in \mathtt{I}_G(x)\), compute the fixed point by computing \(g(x)\) through enumerating \(x \in \{0,1\}^*\). This will stop eventually because \(g\) is an isolator for \(x\). The program \(U_{\mathtt{fix}}(q)\) is therefore a program that produces \(x\). The prefix code for \(U_{\mathtt{fix}}(q)\) is obtained by concatenating the prefix code with \(q\) with the code for \(U_{\mathtt{fix}}\) plus a constant overhead code. This is injective and the length, \[\ell(U_{\mathtt{fix}}(q)) \leq \ell(q) + O(1).\]
(\(U^G\) simulates \(U\)): The section \(\mathtt{sec}: \{0,1\}^*\to \mathtt{I}_G\) lifts to a computable map between program spaces: \[U_{\mathtt{sec}}: \{ p \mid U(p) \text{ halts }\} \to \{q \mid U^G(q) \text{ halts and} \in \mathtt{I}_G\}\] such that \(\forall x \in \{0,1\}^*\), \(U_{\mathtt{sec}}(U_x) \subset U^G_x\). The mapping \(U_{\mathtt{sec}}\) is defined as follows: given a program \(p\) that produces \(x\), run \(p\), get \(x\), apply \(\mathtt{sec}\) to get \(\mathtt{sec}(x) \in \mathtt{I}_G(x)\). The program \(U_{\mathtt{sec}}(p)\) is program for an isolator for \(x\) by concatenating the prefix code for \(p\) with the constant length prefix code for \(U_{\mathtt{sec}}\). This makes \(U_{\mathtt{sec}}\) injective and the length, \[\ell(U_{\mathtt{sec}}(p)) \leq \ell(p) + O(1).\]
◻
We give an alternate characterization of fix-retractable symmetry groups. The presence of an \(I\)-section implies and is implied by the existence of a subgroup of \(G\) which is r.e. and for which the set of isolators is also r.e.
Theorem 7. The following properties of a symmetry group \(G \leq \mathtt{TB}\) are equivalent.
\(G\) is fix-retractable
\(\exists H \leq G\) such that
\(H\) can isolate all \(x \in \{0,1\}^*\)
\(H\) and \(\mathtt{I}_H\) are r.e.
Therefore for a symmetry group \(G\) satisfying 2, \(U^G\) can simulate \(U\).
Proof.
(\(\Leftarrow\)) Let \(U^H\) and \(U^{\mathtt{I}_H}\) be effective enumerations of \(H\) and \(\mathtt{I}_H\). Define the I-section of \(G\), \(\mathtt{sec}: \{0,1\}^*\to \mathtt{I}_G\) as follows:
Enumerate isolators in \(H\) by running \(U^{\mathtt{I}_H}\). For every \(h \in \mathtt{I}_H\) check if it belongs to \(\mathtt{I}_H(x)\) by computing \(h(x)\). This will eventually halt because of the first assumption about \(H\).
(\(\Rightarrow\)) Let \(\mathtt{sec}: \{0,1\}^*\to \mathtt{I}_G\) be an I-section for \(G\). Consider the induced map on programs (see proof of 6) \[U_{\mathtt{sec}}: \{ p \mid U(p) \text{ halts }\} \to \{q \mid U^G(q) \text{ halts and} \in \mathtt{I}_G\}\] which satisfies \(\mathtt{sec}(U_x) \subseteq U^G_x\) for all \(x \in \{0,1\}^*\).
Consider the set of isolators in \(G\) defined by the image of \(\mathtt{sec}\): \[S = \{ U(q, \cdot) \mid q \in \mathtt{sec}(U_x) \} \subseteq \mathtt{I}_G(x)\] Let \(H := \langle h : h \in S \rangle\) be the subgroup of \(G\) generated by \(S\).
◻
Definition 3. The \(G\)-symmetry prior* of a string \(x\) with respect to a computer \(U\) is the probability that a random symmetry program computes \(x\). \[m^U_G(x) = \sum_{p \in U_x^G} \frac{1}{2^{\ell(p)}}\]*
The Solomonoff Prior \(m^U(x)\) is lower semi-computable. The proof relies on the fact that the set of programs \(U_x\) is recursively enumerable. The direct analogy fails to work with the symmetry prior since the set of symmetry programs computing \(x\) is not r.e.
In the sequel we show that the symmetry prior is equal to the Solomonoff prior up to a constant term when every program can be simulated by a symmetry program. But first, we have to make the idea of simulation precise.
Definition 4. A function \(\mu: \{0,1\}^*\to \mathbb{R}\) is a probability semi-measure if
\(\mu(\epsilon) \leq 1\)
\(\mu(x) \geq \mu(x0) + \mu(x1)\)
A semi-measure is lower semi-computable if the function \(\mu\) is lower semi-computable.
Let \(\mathcal{M}\) be a class of discrete semi-measures. A semi-measure \(P_0\) is universal* (or maximal) for \(\mathcal{M}\) if \(P_0 \in \mathcal{M}\), and for all \(P \in \mathcal{M}\) there exists a constant \(c_P\) such that for all \(x \in \{0,1\}^*\) we have \(c_PP_0(x) \geq P(x)\), where \(c_P\) possibly depends on \(P\) but not on \(x\).*
The Solomonoff prior \(m^U(x)\) and \(2^{-K(x)}\) are lower semi-computable semi-measures. The condition of being semi-measures is a consequence of teh Kraft inequality of prefix codes. Lower semi-computability of both semi-measures come from the fact that \(U_x\) is recursively enumerable.
The prior \(m^U(x)\) is universal for the following reason. For any lower semi-computable semi-measure \(\mu\), there is a computable enumeration of programs that realize \(\mu\). The universal machine \(U\) can simulate all such programs. The sum \(m^U(x)\) includes all programs, so it dominates each \(\mu\) up to a constant (the weight assigned to the program that enumerates \(\mu\)).
The classical coding theorem implies that \(2^{-K(x)}\) is universal: since \(m^U(x) \asymp 2^{-K_U(x)}\), and \(m^U(x)\) is universal, \(2^{-K_U(x)}\) inherits universality.
Proposition 8. If \(G\) is fix-retractable, the symmetry prior \(m^U_G(x)\) is a lower semi-computable semi-measure.
Proof. Compose the two simulations \[\Theta := \mathtt{sec}\circ \mathtt{fix}: U^G_x \to U^G_x\] This map takes any symmetry program \(p \in U^G_x\), converts it into a standard program \(\mathtt{fix}(p)\) and converts it back into a symmetry program \(\mathtt{sec}(\mathtt{fix}(x))\). The length of the program \(\Theta(p)\) is no longer than \(p\) by a constant term \[\ell(\Theta(p)) = \ell(\mathtt{sec}(\mathtt{fix}(p)) \leq \ell(p) + c_{\Psi} + c_{\Phi}\] Let \(S_x = \Theta(U^G_x) \subseteq U^G_x\) be the set of symmetry programs that are in the image of \(\Theta\). Two important properties of \(S_x\):
\(S_x\) is recursively enumerable. This is so because \(U_x\) is recursively enumerable and \(\Phi\) is a computable map. Therefore \(S_x\) is the image of a r.e set under a computable map.
\(S_x\) is probability dense in \(U^G_x\). \[\sum_{q \in S_x} \frac{1}{2^{\ell(q)}} \geq \sum_{p \in U_x^G} \frac{1}{2^{\ell{\Theta(p)}}} = 2^{-c_{\theta}}\sum_{p \in U_x^G} \frac{1}{2^{\ell(p)}} = 2^{-\Theta} m^U_G(x)\] So \(S_x\) carries a constant fraction of the total probability mass of \(U^G_x\).
To approximate the symmetry prior from below we only need to enumerate a probability-dense r.e. subset \(S_x \subseteq U^G_x\). Since \(S_x\) is r.e., we can enumerate its elements and sum their probabilities, giving a non-decreasing sequence that converges to the value at least \(2^{-c_{\Theta}} m^U_G(x)\). ◻
The proof of lower semi-computability of the symmetry prior 8 inspires the following definition.
Definition 5. For every \(x \in \{0,1\}^*\), let \(\mathcal{C}_x\) be a set of codes with prefix-free encoding and a probability semi-measure \(\mu\). A subset \(\mathcal{D}_x \subseteq \mathcal{C}_x\) is called uniformly probability dense* if:*
\(\mathcal{D}_x\) is recursive enumerable
There exists a constant \(c > 0\) such that \(\mu(\mathcal{D}_x) \geq c.\mu(\mathcal{C}_x)\) for all \(x\).
In the context of symmetry programs, \(\mathcal{C}_x = U^{\mathtt{TB}}_x\), and a uniformly probability-dense subset \(S_x \subset U_x^{\mathtt{TB}}\) provides a lower semi-computable approximation to the symmetry prior \(m^U_G(x)\).
Theorem 9. If \(G\) is a fix-retractable symmetry group then the symmetry prior is equal to the Solomonoff prior up to a multiplicative constant.
\[m^U_G(x) \asymp m^U(x).\]
Therefore, the symmetry prior is a universal* lower semi-computable semi-measure on binary strings. Also as a consequence of the classical coding theorem \[-\log_2 m^U_G(x)= K(x) + O(1)\]*
Proof.
(\(m^U_G(x) \geq C. m^U(x)\))
From the simulation \(\mathtt{sec}: U \to U^G\), every program \(p\) for \(x\) gives a symmetry program \(\mathtt{sec}(p)\) with \(\ell(\mathtt{sec}(p)) = \ell(p) + c_1\), where \(c_1\) is the constant overhead of the simulation. Therefore: \[m^U_G(x) = \sum_{p \in U_x^G} \frac{1}{2^{\ell(p)}} \geq \sum_{p \in U_x} \frac{1}{2^{\ell({\mathtt{sec}(p)})}} = 2^{-c_1}\sum_{p \in U_x} \frac{1}{2^{\ell(p)}} = 2^{-c_1} m^U(x)\]
(\(m^U(x) \geq C. m^U_G(x)\))
From the simulation \(\mathtt{fix}: U^G_x \to U_x\), every symmetry program \(q\) for \(x\) gives a program \(\mathtt{fix}(q)\) for \(x\) with \(\ell(\mathtt{fix}(q)) = \ell(q) + c_2\) where \(c_2\) is the constant overhead of the simulation \(\mathtt{fix}\). Therefore: \[m^U(x) = \sum_{p \in U_x} \frac{1}{2^{\ell(p)}} \geq \sum_{q \in U^G_x} \frac{1}{2^{\ell(\mathtt{fix}(q))}} = 2^{-c_2}\sum_{q \in U^G_x} \frac{1}{2^{\ell(q)}} = m^U_G(x)\]
◻
Theorem 10. [2] \(\mathtt{TB}\) is fix-retractable. Hence the GCT is true for the full symmetry group of all computable symmetries.
Proof. An I-section of \(\mathtt{TB}\) would be a computable map \(\mathtt{sec}: \{0,1\}^*\to \mathtt{I}\) such that \(\mathtt{sec}(x) \in \mathtt{I}_x\). We give an explicit construction. For every \(x \in \{0,1\}^*\) let \(s_x\) be a \(x\) isolator defined as follows:
\(s_x(x) = x\)
\(s_x(x^*) = \epsilon\) and \(s_x(\epsilon) = x^*\)
\(\forall y \neq x, s_x(y) = y^*\), where \(y^*\) is \(y\) with its last bit flipped.
The mapping \(x \mapsto s_x\) is computable. ◻
Let \(G \leq \mathtt{TB}\) be a symmetry group.
Definition 6. The stabilizer of a subset \(X \subset \{0,1\}^*\) is the subgroup of \(G\) that fixes \(X\) \[\mathtt{stab}(X) = \{f \in G\;\mid X \subset \mathtt{fix}(f)\}\] The fixed points of a subgroup \(H \leq G\) is \[\mathtt{fix}(H) = \{x \in \{0,1\}^* \mid h(x) = x \forall h \in H \}\]
Theorem 11. The pair \[(\mathtt{fix}, \mathtt{stab}): \mathcal{L}(G) \to P(\{0,1\}^*)\] forms an order-reversing Galois connection between the the subgroup lattice of \(G\) and the subset lattice of \(\{0,1\}^*\). That is for every \(H \leq G\) and \(X \subset \{0, 1\}^*\) \[X \subset \mathtt{fix}(H) \iff H \leq \mathtt{stab}(X)\]
Definition 7. (Closure Operations) Composing the left and right adjoints of the Galois connection gives closure operations.
On subsets of \(\{0,1\}^*\) \[\overline{X} := \mathtt{fix}(\mathtt{stab}(X)) \supseteq X\]
On subgroups of \(G\) \[\overline{H} := \mathtt{stab}(\mathtt{fix}(X)) \geq H\]
These are closure operations in the sense they are monotone and idempotent, and are guaranteed by the Galois connection.
A subset \(X \subseteq \{0,1\}^*\) or subgroup \(H \leq G\) is closed when its closure is itself. A point \(x \in \{0,1 \}^*\) is said to be closed* when \(\{x\}\) is closed.*
The closure of \(x\) is the intersection of the fixed points sets of all the elements of \(G\) that fix \(x\). \[\overline{\{x\}} = \bigcap_{f(x) = x} \mathtt{fix}(\langle f \rangle)\]
Proposition 12. A symmetry group \(G\) can isolate every \(x \in \{0,1\}^*\) if and only if every maximal subgroup of \(G\) is closed in \(\mathcal{L}(G)\)
Proof. A point \(x\) is closed i.e. \(\mathtt{fix}(\mathtt{stab}(x)) = \{x\}\) iff \(\mathtt{I}_G(x) \neq \emptyset\). The Galois connection of Thm.11 implies there is a order reversing bijection between closed sets in \(\{0,1\}^*\) and closed subgroups in \(G\) given by \(X \longleftrightarrow \mathtt{stab}(X)\) and \(H \longleftrightarrow \mathtt{fix}(H)\). i.e. the closed subgroups are precisely the subgroups of the form \(\mathtt{stab}(X)\) for some subset \(X \subseteq \{0,1\}^*\). The maximal closed subgroups are \(\mathtt{stab}(x)\) for some \(x \in \{0,1\}^*\). The closed points of \(\{0,1\}^n\) are therefore in one-to-one correspondence with maximal closed subgroups of \(G\). ◻
Proposition 13. Given a symmetry group \(G\), the set of isolating symmetries \(\mathtt{I}_G\) can be identified with the minimal (w.r.t lattice) points in the join semi-lattice of dense subgroups of \(G\).
Proof. For any closed bit string \(x \in \{0,1\}^*\) let \(\mathtt{stab}(x) \leq G\) be the corresponding maximal closed point in the lattice \(\mathcal{L}(G)\). The elements of \(\mathtt{stab}(x)\) fix \(x\), but are not necessarily isolators of \(x\). We can characterize the isolators subset \(\mathtt{I}_G(x) \subseteq \mathtt{stab}(x)\) in the following way:
A dense point below \(\mathtt{stab}(x)\) is a subgroup \(D \leq \mathtt{stab}(x)\) such that \(\overline{D} = \mathtt{stab}(\mathtt{fix}(D)) = \mathtt{stab}(x)\). Dense points are those subgroups of \(\mathtt{stab}(x)\) whose fixed points set is \(\{x\}\). The join of two dense subgroups is dense, \[\mathtt{fix}(\langle D_1, D_2 \rangle) = \mathtt{fix}(D_1) \cap \mathtt{fix}(D_2) = \{x \}\] Therefore the set of dense subgroups of \(\mathtt{stab}(x)\) forms a join semi-lattice, denote this by \(D(x)\). The lowest points of this semi-lattice are cyclic groups generated by isolators of \(x\). The cyclic subgroups \(\langle g \rangle : g \in \mathtt{I}_G(x)\) are the principal dense subgroups. The stabilizer \(\mathtt{stab}(x)\) can be constructed as the join of all the cyclic dense subgroups \[\bigvee_{g \in \mathtt{I}_G(x)} \langle g \rangle = \mathtt{stab}(x)\] ◻
Theorem 14. Let \(G\) be a symmetry group. The conditions of Thm.7(2) are satisfied if
\(\exists H \leq G\) such that \(H\) is closed in \(\mathcal{L}(G)\) and every maximal subgroup of \(H\) is closed in \(\mathcal{L}(G)\)
the subgroup lattice \(\mathcal{L}(H)\) is computable (i.e. the points in the lattice, join, meet and closure operations are computable)
We have established a direct analogue of the classical Coding Theorem in the context of symmetry groups. The central notion of a fix-retractable symmetry group—one that admits a computable section selecting an isolating symmetry for every string—provides the precise condition under which the symmetry prior \(m^U_G(x)\) becomes a universal lower semicomputable semimeasure. When this condition holds, the Geometric Coding Theorem \(-\log_2m^U_G(x) = K(x) + O(1)\) follows, extending Solomonoff’s celebrated result to the realm of algorithmic symmetry. The Galois connection between subgroups of \(G\) and subsets of binary strings reveals a rich algebraic structure: closed points correspond to maximal closed subgroups, and the join-semilattice of dense subgroups offers a natural framework for understanding how isolating symmetries generate the full stabilizer. The results presented here form the foundation for the broader program of Computational Algorithmic Statistics (CAS).