SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups

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.Final Accepted Versio

Effective Theories for Circuits and Automata

Abstracting an effective theory from a complicated process is central to the study of complexity. Even when the underlying mechanisms are understood, or at least measurable, the presence of dissipation and irreversibility in biological, computational and social systems makes the problem harder. Here we demonstrate the construction of effective theories in the presence of both irreversibility and noise, in a dynamical model with underlying feedback. We use the Krohn-Rhodes theorem to show how the composition of underlying mechanisms can lead to innovations in the emergent effective theory. We show how dissipation and irreversibility fundamentally limit the lifetimes of these emergent structures, even though, on short timescales, the group properties may be enriched compared to their noiseless counterparts.Comment: 11 pages, 9 figure

Exploring the concept of interaction computing through the discrete algebraic analysis of the Belousov–Zhabotinsky reaction

Interaction computing (IC) aims to map the properties of integrable low-dimensional non-linear dynamical systems to the discrete domain of finite-state automata in an attempt to reproduce in software the self-organizing and dynamically stable properties of sub-cellular biochemical systems. As the work reported in this paper is still at the early stages of theory development it focuses on the analysis of a particularly simple chemical oscillator, the Belousov-Zhabotinsky (BZ) reaction. After retracing the rationale for IC developed over the past several years from the physical, biological, mathematical, and computer science points of view, the paper presents an elementary discussion of the Krohn-Rhodes decomposition of finite-state automata, including the holonomy decomposition of a simple automaton, and of its interpretation as an abstract positional number system. The method is then applied to the analysis of the algebraic properties of discrete finite-state automata derived from a simplified Petri net model of the BZ reaction. In the simplest possible and symmetrical case the corresponding automaton is, not surprisingly, found to contain exclusively cyclic groups. In a second, asymmetrical case, the decomposition is much more complex and includes five different simple non-abelian groups whose potential relevance arises from their ability to encode functionally complete algebras. The possible computational relevance of these findings is discussed and possible conclusions are drawn

Multi-locality and fusion rules on the generalized structure functions in two-dimensional and three-dimensional Navier-Stokes turbulence

Using the fusion rules hypothesis for three-dimensional and two-dimensional Navier-Stokes turbulence, we generalize a previous non-perturbative locality proof to multiple applications of the nonlinear interactions operator on generalized structure functions of velocity differences. We shall call this generalization of non-perturbative locality to multiple applications of the nonlinear interactions operator "multilocality". The resulting cross-terms pose a new challenge requiring a new argument and the introduction of a new fusion rule that takes advantage of rotational symmetry. Our main result is that the fusion rules hypothesis implies both locality and multilocality in both the IR and UV limits for the downscale energy cascade of three-dimensional Navier-Stokes turbulence and the downscale enstrophy cascade and inverse energy cascade of two-dimensional Navier-Stokes turbulence. We stress that these claims relate to non-perturbative locality of generalized structure functions on all orders, and not the term by term perturbative locality of diagrammatic theories or closure models that involve only two-point correlation and response functions.Comment: 25 pages, 24 figures, resubmitted to Physical Review

The reflection-antisymmetric counterpart of the K\'arm\'an-Howarth dynamical equation

We study the isotropic, helical component in homogeneous turbulence using statistical objects which have the correct symmetry and parity properties. Using these objects we derive an analogue of the K\'arm\'an-Howarth equation, that arises due to parity violation in isotropic flows. The main equation we obtain is consistent with the results of O. Chkhetiani [JETP, 63, 768, (1996)] and V.S. L'vov et al. [chao-dyn/9705016, (1997)] but is derived using only velocity correlations, with no direct consideration of the vorticity or helicity. This alternative formulation offers an advantage to both experimental and numerical measurements. We also postulate, under the assumption of self-similarity, the existence of a hierarchy of scaling exponents for helical velocity correlation functions of arbitrary order, analogous to the Kolmogorov 1941 prediction for the scaling exponents of velocity structure function.Comment: 24 pages, 1 figure. Version 2 (Final). To be published in Physica