-
Representation Independent Decompositions of Computation
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups. Accordingly, we use mathematical tools like products and homomorphisms to understand computation through hierarchical decompositions. To address the shortcomings of some of the existing decomposition methods, we general…
▽ More
Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups. Accordingly, we use mathematical tools like products and homomorphisms to understand computation through hierarchical decompositions. To address the shortcomings of some of the existing decomposition methods, we generalize semigroup representations to semigroupoids by introducing types. On the abstraction level of category theory, we describe a flexible, iterative and representation independent algorithm. Moving from the specific state transition model to the abstract composition of arrows unifies seemingly different decomposition methods and clarifies the three algorithmic stages: collapse, copy and compress. We collapse some dynamics through a morphism to the top level; copy the forgotten details into the bottom level; and finally we apply compression there. The hierarchical connections are solely for locating the repeating patterns in the compression. These theoretical findings pave the way for more precise computer algebra tools and allow for understanding computation with other algebraic structures.
△ Less
Submitted 4 May, 2025; v1 submitted 6 April, 2025;
originally announced April 2025.
-
From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can establish emulation by a cascade product (subsemigroup of the wreath product): $(X,S)\hookrightarrow (Y,T)\wr (Z,U)$. The dependent component $(Z,U)$ contains the kernel of the morphism, t…
▽ More
We give a practical computer algebra implementation of the Covering Lemma for finite transformation semigroups. The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can establish emulation by a cascade product (subsemigroup of the wreath product): $(X,S)\hookrightarrow (Y,T)\wr (Z,U)$. The dependent component $(Z,U)$ contains the kernel of the morphism, the information lost in the map.
The implementation complements the existing tools for the holonomy decomposition algorithm. It gives an incremental method to get a coarser decomposition when computing the complete skeleton for holonomy is not feasible. Here, we describe a simplified and generalized algorithm for the lemma and compare it to the holonomy method. Incidentally, the kernel-based method could be the easiest way of understanding the hierarchical decompositions of transformation semigroups and thus the celebrated Krohn-Rhodes theory.
△ Less
Submitted 5 May, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Hierarchical Complexity of Finite Groups
Authors:
Chrystopher L. Nehaniv
Abstract:
What are simplest ways to construct a finite group from its atomic constituents? To understand part-whole relations between finite simple groups and the global structure of finite groups, we axiomatize complexity measures on finite groups. From the Jordan-Hölder theorem and Frobenius-Lagrange embedding in an iterated wreath product, any finite group $G$ can be constructed from a unique collection…
▽ More
What are simplest ways to construct a finite group from its atomic constituents? To understand part-whole relations between finite simple groups and the global structure of finite groups, we axiomatize complexity measures on finite groups. From the Jordan-Hölder theorem and Frobenius-Lagrange embedding in an iterated wreath product, any finite group $G$ can be constructed from a unique collection of simple groups, its Jordan-Hölder factors, each with well-defined multiplicities through iterated extension. What is the least number of levels needed in such a hierarchical construction if a level is allowed to include several of these atomic pieces? To answer this question rigorously, we give a natural set of hierarchical complexity axioms for finite groups, and prove these axioms are satisfied by a unique maximal complexity function $\mathbf{cx}$. We prove this function is the same as the minimal number of "spans of gems" (direct products of simple groups) in a subnormal series with all factors of this type. This hierarchical complexity is thus effectively computable, and bounded below by all other complexity measures satisfying the axioms, including generalizations of derived length and Fitting height.
For solvable groups, the unique maximal group complexity measure satisfying the axioms agrees with the restriction of the one for all finite groups, and in addition satisfies an embedding axiom. In both cases, the complexity of a group is bounded above and below by various natural functions. In particular, hierarchical complexity is sharply bounded above by socle length, with a canonical decomposition. Examples illustrate applications of the bounds and axiomatic methods in determining complexity of groups. We show also that minimal decompositions need not be unique in terms of what components occur nor their ordering. The complexity axioms are also shown to be independent.
△ Less
Submitted 26 August, 2021;
originally announced September 2021.
-
Spatial Iterated Prisoner's Dilemma as a Transformation Semigroup
Authors:
Isaiah Farahbakhsh,
Chrystopher L. Nehaniv
Abstract:
The prisoner's dilemma (PD) is a game-theoretic model studied in a wide array of fields to understand the emergence of cooperation between rational self-interested agents. In this work, we formulate a spatial iterated PD as a discrete-event dynamical system where agents play the game in each time-step and analyse it algebraically using Krohn-Rhodes algebraic automata theory using a computational i…
▽ More
The prisoner's dilemma (PD) is a game-theoretic model studied in a wide array of fields to understand the emergence of cooperation between rational self-interested agents. In this work, we formulate a spatial iterated PD as a discrete-event dynamical system where agents play the game in each time-step and analyse it algebraically using Krohn-Rhodes algebraic automata theory using a computational implementation of the holonomy decomposition of transformation semigroups. In each iteration all players adopt the most profitable strategy in their immediate neighbourhood. Perturbations resetting the strategy of a given player provide additional generating events for the dynamics. Our initial study shows that the algebraic structure, including how natural subsystems comprising permutation groups acting on the spatial distributions of strategies, arise in certain parameter regimes for the pay-off matrix, and are absent for other parameter regimes. Differences in the number of group levels in the holonomy decomposition (an upper bound for Krohn-Rhodes complexity) are revealed as more pools of reversibility appear when the temptation to defect is at an intermediate level. Algebraic structure uncovered by this analysis can be interpreted to shed light on the dynamics of the spatial iterated PD.
△ Less
Submitted 27 July, 2020; v1 submitted 3 July, 2020;
originally announced July 2020.
-
Algebraic Structure of the Varikon Box
Authors:
Jason d'Eon,
Chrystopher L. Nehaniv
Abstract:
The 15-Puzzle is a well studied permutation puzzle. This paper explores the group structure of a three-dimensional variant of the 15-Puzzle known as the Varikon Box, with the goal of providing a heuristic that would help a human solve it while minimizing the number of moves. First, we show by a parity argument which configurations of the puzzle are reachable. We define a generating set based on th…
▽ More
The 15-Puzzle is a well studied permutation puzzle. This paper explores the group structure of a three-dimensional variant of the 15-Puzzle known as the Varikon Box, with the goal of providing a heuristic that would help a human solve it while minimizing the number of moves. First, we show by a parity argument which configurations of the puzzle are reachable. We define a generating set based on the three dimensions of movement, which generates a group that acts on the puzzle configurations, and we explore the structure of this group. Finally, we show a heuristic for solving the puzzle by writing an element of the symmetry group as a word in terms of a generating set, and we compute the shortest possible word for each puzzle configuration.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Algebraic Structure and Complexity of Bootstrap Percolation with External Inputs
Authors:
Saptarshi Pal,
Chrystopher L. Nehaniv
Abstract:
In this paper a modification of the standard Bootstrap Percolation model is introduced. In our modification a discrete time update rule is constructed that allows for non-monotonicity - unlike its classical counterpart. External inputs to drive the system into desirable states are also included in the model. The algebraic structure and complexity properties of the system are inferred by studying t…
▽ More
In this paper a modification of the standard Bootstrap Percolation model is introduced. In our modification a discrete time update rule is constructed that allows for non-monotonicity - unlike its classical counterpart. External inputs to drive the system into desirable states are also included in the model. The algebraic structure and complexity properties of the system are inferred by studying the system's holonomy decomposition. We introduce methods of inferring the pools of reversibility for the system. Dependence of system complexity on process parameters is presented and discussed.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Exploring Tetris as a Transformation Semigroup
Authors:
Peter C. Jentsch,
Chrystopher L. Nehaniv
Abstract:
Tetris is a popular puzzle video game, invented in 1984. We formulate two versions of the game as a transformation semigroup and use this formulation to view the game through the lens of Krohn-Rhodes theory. In a variation of the game upon which it restarts if the player loses, we find permutation group structures, including the symmetric group $S_5$ which contains a non-abelian simple group as a…
▽ More
Tetris is a popular puzzle video game, invented in 1984. We formulate two versions of the game as a transformation semigroup and use this formulation to view the game through the lens of Krohn-Rhodes theory. In a variation of the game upon which it restarts if the player loses, we find permutation group structures, including the symmetric group $S_5$ which contains a non-abelian simple group as a subgroup. This implies, at least in a simple case, that iterated Tetris is finitarily computationally universal.
△ Less
Submitted 19 April, 2020;
originally announced April 2020.
-
The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs
Authors:
Gábor Horváth,
Chrystopher L. Nehaniv,
Károly Podoski
Abstract:
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and…
▽ More
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph.
Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.
△ Less
Submitted 16 August, 2017; v1 submitted 26 May, 2017;
originally announced May 2017.
-
Computational Holonomy Decomposition of Transformation Semigroups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty lies in the strict separation of several different ideas appearing in the holonomy method. The steps of the proof and the constructions are illustrated with comp…
▽ More
We present an understandable, efficient, and streamlined proof of the Holonomy Decomposition for finite transformation semigroups and automata. This constructive proof closely follows the existing computational implementation. Its novelty lies in the strict separation of several different ideas appearing in the holonomy method. The steps of the proof and the constructions are illustrated with computed examples.
△ Less
Submitted 25 August, 2015;
originally announced August 2015.
-
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
Authors:
Attila Egri-Nagy,
James D. Mitchell,
Chrystopher L. Nehaniv
Abstract:
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
Green's ${\mathcal J}$-classes and Subduction Classes in Finite Transformation Semigroups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
We establish the connection between Green's ${\mathcal J}$-classes and the subduction equivalence classes defined on the image sets of an action of a semigroup. The construction of the skeleton order (on subduction equivalence classes) is shown to depend in a functorial way on transformation semigroups and surjective morphisms, and to factor through the $\leq_{\mathcal L}$-order and…
▽ More
We establish the connection between Green's ${\mathcal J}$-classes and the subduction equivalence classes defined on the image sets of an action of a semigroup. The construction of the skeleton order (on subduction equivalence classes) is shown to depend in a functorial way on transformation semigroups and surjective morphisms, and to factor through the $\leq_{\mathcal L}$-order and $\leq_{\mathcal J}$-order on the semigroup and through the inclusion order on image sets. For right regular representations, the correspondence between the ${\mathcal J}$-class order and the skeleton is one of isomorphism.
△ Less
Submitted 16 January, 2014;
originally announced January 2014.
-
The Attractor-Cycle Notation for Finite Transformations
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
We describe a new notation for finite transformations. This attractor-cycle notation extends the orbit-cycle notation for permutations and builds upon existing transformation notations. How the basins of attraction of a finite transformation flow into permuted orbit cycles is visible from the notation. It gives insight into the structure of transformations and reduces the length of expressions wit…
▽ More
We describe a new notation for finite transformations. This attractor-cycle notation extends the orbit-cycle notation for permutations and builds upon existing transformation notations. How the basins of attraction of a finite transformation flow into permuted orbit cycles is visible from the notation. It gives insight into the structure of transformations and reduces the length of expressions without increasing the number of types of symbols.
△ Less
Submitted 4 June, 2025; v1 submitted 3 June, 2013;
originally announced June 2013.
-
Cascade Product of Permutation Groups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
Motivated by computational efficiency in algebraic automata theory here we define the cascade product of permutation groups as an external product, as a generic extension. It is the most general hierarchical product that uses arbitrary total functions to combine a linearly ordered set of permutation groups. Algebraically speaking, cascade products are explicitly constructed substructures of the it…
▽ More
Motivated by computational efficiency in algebraic automata theory here we define the cascade product of permutation groups as an external product, as a generic extension. It is the most general hierarchical product that uses arbitrary total functions to combine a linearly ordered set of permutation groups. Algebraically speaking, cascade products are explicitly constructed substructures of the iterated wreath product. We show how direct, semidirect and wreath products can be described as cascade products and we also discuss examples of composite groups that can only be constructed exactly as generic extensions by cascade products. The cascade construction naturally generalizes to the transformation semigroup case by leaving out the details of defining inverse operations.
△ Less
Submitted 29 August, 2021; v1 submitted 1 March, 2013;
originally announced March 2013.
-
On Straight Words and Minimal Permutators in Finite Transformation Semigroups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
Motivated by issues arising in computer science, we investigate the loop-free paths from the identity transformation and corresponding straight words in the Cayley graph of a finite transformation semigroup with a fixed generator set. Of special interest are words that permute a given subset of the state set. Certain such words, called minimal permutators, are shown to comprise a code, and the s…
▽ More
Motivated by issues arising in computer science, we investigate the loop-free paths from the identity transformation and corresponding straight words in the Cayley graph of a finite transformation semigroup with a fixed generator set. Of special interest are words that permute a given subset of the state set. Certain such words, called minimal permutators, are shown to comprise a code, and the straight ones comprise a finite code. Thus, words that permute a given subset are uniquely factorizable as products of the subset's minimal permutators, and these can be further reduced to straight minimal permutators. This leads to insight into structure of local pools of reversibility in transformation semigroups in terms of the set of words permuting a given subset. These findings can be exploited in practical calculations for hierarchical decompositions of finite automata. As an example we consider groups arising in biological systems.
△ Less
Submitted 14 February, 2010;
originally announced February 2010.
-
Subgroup Chains and Lagrange Coordinatizations of Finite Permutation Groups
Authors:
Attila Egri-Nagy,
Chrystopher L. Nehaniv
Abstract:
We give a general constructive proof for hierarchical coordinatizations (Lagrange Decompositions) of permutation groups. The generalization originates from the investigation of how the subgroup chains of finite permutation groups yield different coordinate systems. The study is motivated by the practical needs and the verification of an existing computational implementation. Large scale machine…
▽ More
We give a general constructive proof for hierarchical coordinatizations (Lagrange Decompositions) of permutation groups. The generalization originates from the investigation of how the subgroup chains of finite permutation groups yield different coordinate systems. The study is motivated by the practical needs and the verification of an existing computational implementation. Large scale machine calculated examples are also presented.
△ Less
Submitted 28 November, 2009;
originally announced November 2009.
