Imagine you're sorting a massive pile of Lego bricks. One person sorts by color, another by shape, another by size. Each sorting rule is a partition — it groups every brick into exactly one bin. Now imagine you can only use sorting rules that respect certain symmetries: if you rotate a brick and it looks the same, it must stay in the same bin. Some structures in the pile (say, a subtle gradient pattern) might be obvious under color-sorting but completely invisible if you're forced to sort by rotational symmetry alone. This paper asks: when you're forced to use only symmetry-respecting sorting rules, what patterns in a binary string can you still detect, and what becomes invisible? The committed claim: Kolmogorov's structure function — the classical tool for measuring how much of a string's regularity can be captured by models of bounded complexity — can be systematically rebuilt on top of symmetric partitions (orbit partitions of groups acting on binary strings), and the resulting framework reveals sharp separations between what different symmetry classes can see. For the full symmetric group Sn, you recover all classical Kolmogorov models. For GL(n,2) — the group of invertible linear maps over the binary field — you get only linearly homogeneous sets, and the paper proves there exist 'stochastic normal' strings whose simple structure is completely invisible to linear symmetry. The architecture here is pure mathematics, not computation. The paper lives in the tradition of algorithmic information theory (Kolmogorov complexity, Vereshchagin–Vitányi structure functions) crossed with combinatorial group theory (Burnside rings, Mackey formulas, Galois connections between subgroups and partitions). There's no algorithm being benchmarked, no dataset being trained on. The 'machinery' is the lattice of symmetric partitions inside an ambient group, equipped with canonical certificates and costs. The key structural move is reading a partition as a hypothesis class: each cell is a model, and the cost of the partition measures the complexity of the hypothesis. The ladder here is unusual because the comparison isn't against a computational baseline — it's against the classical theory itself. Vereshchagin and Shen showed that strong models (computable from data by a total algorithm) are essentially cells of simple partitions. This paper subsumes that result: for Sn, cells of cheap symmetric partitions recover exactly the strong models. But the real contribution is extending the framework to restricted groups like GL(n,2), where the structure function provably differs from the classical one. The 'maximal gap theorem' is the sharpest result: any space of symmetry hypotheses small enough to search exhaustively is small enough to miss simple structure. That's a no-free-lunch theorem for symmetric model selection. Integrity is high for a theory paper. The results are mathematical theorems, not empirical claims. The validation is proof, not simulation. The paper is careful about what it does and doesn't show: it characterizes the structure function for Sn and GL(n,2) explicitly, gives coordinates on the space of permutation groups via Burnside rings and placements, and states the maximal gap theorem cleanly. There's no cherry-picking because there are no benchmarks to cherry-pick — the claims are either proved or they're not. The milestone question is harder to pin down because this is foundational theory, not an engineering pipeline. The natural next target is computational: can you actually compute or approximate the symmetric structure function for interesting groups and interesting strings? The paper gives the algebra; it does not give algorithms. The gap between 'this lattice exists and has these properties' and 'here's a polynomial-time procedure that exploits this structure for model selection' is the chasm the next paper needs to cross. The obvious experiment not run: applying this framework to any concrete data or any computational task. The paper is entirely non-constructive — no implementations, no empirical examples, no complexity-theoretic analysis of actually computing these structure functions. The honest read is (a): this is a single-author theory paper laying algebraic foundations, and the computational follow-up requires a different skill set and probably collaborators. The framework is set up to be instantiated, but instantiation is deferred entirely.
