Publications
Selected papers bundled according to subject area with short intros. The groups are in roughly inverse chronological order.
The project also has a definite computational aspect: an underlying connectivity principle allows efficient computation of all configurations compatible with the given boundary using PCAs.
Vertex models on planar lattices
The project on bounded lattice systems should be viewed as a part of the program initiated by Conway, Lagarias and Thurston on the tileability of finite planar domains with given primitives (dominoes, polyominoes, nearest neighbor arrows, Wang tiles etc.). In some models the shape of the domain imposes subtle conditions on the fill-in and in some others this is further complicated by the choice of the configuration on the boundary. Overall the problem is more combinatorial and algebraic in character than the infinite problem that has been worked out for many models in the equilibrium Statistical Mechanics. The aim of the project is to extend the earlier findings in the infinite/unbounded case and to formulate general principles that unify aspects of multidimensional symbolic dynamics, tilings and Statistical Mechanics.The project also has a definite computational aspect: an underlying connectivity principle allows efficient computation of all configurations compatible with the given boundary using PCAs.
- The bounded 15-vertex model, in arXiv: 1807.07567 (2018).
- The bounded 19-vertex model, in arXiv: 1710.03609 (2017).
- Archimedean Ice, Discrete and Cont. Dynamical Systems - A, 33: 9, Sept. 2013, pp.4291-4303, pdf, arXiv: 0909.4007.
- The bounded eight-vertex model , Theoretical Computer Science, electronic issue 2/2003, paper issue in 6/2003, pdf1, pdf2.
- Bounded Triangular and Kagome Ice , HUT Research Tech. Rep. A410, 1999, pdf.
- Diamond Ice , J. of Stat. Phys. 96, 5/6,1999 , pdf.
Long range exclusions
In Symbolic Dynamics resolving the size of a subshift is not trivial even in 1-d. For finite subshifts one can utilize the matrix formulation, but for infinite ones no such tool exists. Here we investigate what can happen - an elaboration on a problem originally proposed in two different contexts by P. Erdös in Number Theory and M. Keane in Topological Dynamics.Dense and entropic packings on graphs
Motivated by the spectacular progress by Hales in solving the Kepler conjecture as well as other results on packing especially in large spaces (higher dimensional Euclidean spaces, the hyperbolic space etc.) we have investigated the geometry of densest packings and their construction with a probabilistic cellular automaton on Archimedean and certain other geometric graphs. There is an interesting trichotomy in the packing type that seems correspond with the type of local/non-local action allowed and the criticality/non-criticality in the generating PCA. In the positive temperature regime the geometric structure at large vanishes and other aspects of this model come to the forefront. In another paper we establishing entropy lower bounds (which are tight i.e. converging unbiassed estimates) without the usual matrix numerics. This method also gives some insight into the structure of the measure of maximal entropy.- The Hard Core via PCA: entropy bounds, AUTOMATA 2015, LNCS 9099, Springer, pp. 85-98, pdf. In arXiv: 0907.4035.
- Dense packing on uniform lattices, J. of Stat. Phys. 130, 4, 2008, pdf. In arXiv: 0907.4247. A condensed two page intro can be found here.
- Note on certain rigid subshift, Lect. Notes of London Math. Soc. 228, 1996. pdf1 (also HUT Research Tech. Rep. A324, pdf2).
- Golden mean subshift revised , HUT Research Tech. Report A 371, 14pp., 1996, pdf.
Criticality in deterministic cellular automata
The notion of partial permutivity (see below) works in any dimension. In these papers we explore this extension by studying the two dimensional case since already there critical phenomena appear. We compare deterministic and probabilistic c.a. and find that in a strong statistical sense the partially permutive c.a. are extremely close to corresponding PCAs.- Critical growth phenomena , Physica D, 1997, pdf.
- Voter dynamics in deterministic cellular automata , Front. of Pure and Appl. Prob., 1996, pdf.
- Cellular automata for contour dynamics , Physica D, 1995, pdf.
Permutive cellular automata
Every one-dimensional cellular automaton rule can been rewritten as a binary operation. If invariant subalphabets are found this leads to an useful tiling interpretation of the bi-infinite evolution. If the subalphabet is non-trivial the cellular automaton has partial permutivity properties. The property of partial permutivity is far more prevalent among c.a. than the (full) permutivity of Hedlund (even just one-sided). The existence of non-trivial permutive subalphabets typically manifests in the evolutions as defects (i.e. Bloch walls or kinks). Their motion can be exactly characterised.- The dynamics of defect ensembles in one-dimensional cellular automata , J. of Stat. Phys., 1994, pdf.
- Partially permutive cellular automata , Nonlinearity, 1993, pdf.
- Random walks in cellular automata , Nonlinearity, 1993, pdf.
- The interaction dynamics of the kinks in the cellular automaton Rule 18 , HUT Research Tech. Rep., A306, 1992, pdf.
- The kink of cellular automaton Rule 18 performs a random walk (with E. Nummelin), Jour. of Stat. Phys., 1992, pdf1 or pdf2.
Statistical stability of billiards and Markov processes
Structural stability was extended to the useful notion of statistical stability by D. Ornstein and B. Weiss. It incorporates the natural invariant measure into the picture and thereby enables generic (in the sense of Ergodic Theory) stability statements. Moreover the notion is applicable far beyond the set-up of smooth dynamics (like the hyperbolic geodesic flow). Two illustrations:- Alpha-congruence for Dispersive Billiards , Ergodic Theory and Dynamical Systems, 1991, pdf.
- Alpha-congruence for Markov Processes , Annals of Probability, 1990, pdf.
Other dynamics works
- d-convergence via novel block argument, HUT Research Tech. Report, 1992, pdf.
- Dispersive billiards and Brownian motion are statistically indistinguishable, HUT Research Tech. Report, A285, 1990, pdf.
Miscellaneous research
- Classification of multispectral scanner data by learning subspaces (with K. Mäkisara), Proc. of 3rd Scandinavian Conf. on Image Analysis, 1983, pdf.
- Puhelinverkon simulointi mikrotietokoneella (in Finnish), Viestimies, 1983, pdf.
- A Telephone network simulator, Finnish Armed Forces Research Report, 31 pp., 1983.
Lecture notes
- Lectures on symbolic dynamics, v3.1, 80 pp., 2011, (largish) pdf.
Some general exposition
- On balls and pyramids/Palloista ja pyramideista (in Finnish), Arkimedes, 2017, pdf.
- Puzzles on both sides of the Arctic Circle/Palapelit Napapiirin puolin ja toisin (in Finnish), Arkimedes, 2000, pdf.
- Is it alive or is it a cellular automaton? , Proc. of Keinoelämä - Artifical Life, Proc. of Finnish AI Soc., 1995, pdf
- Architects of time and matter/Ajan ja aineen arkkitehdit (in Finnish), Uusi suomi, 1991, pdf.
- On the Order in Chaos/Kaaoksen järjestyksestä (in Finnish), Arkimedes, 1989, pdf.