Statistical Mechanics of Surjective Cellular Automata

Reversible cellular automata are seen as microscopic physical models, and their states of macroscopic equilibrium are described using invariant probability measures. We establish a connection between the invariance of Gibbs measures and the conservation of additive quantities in surjective cellular automata. Namely, we show that the simplex of shift-invariant Gibbs measures associated to a Hamiltonian is invariant under a surjective cellular automaton if and only if the cellular automaton conserves the Hamiltonian. A special case is the (well-known) invariance of the uniform Bernoulli measure under surjective cellular automata, which corresponds to the conservation of the trivial Hamiltonian. As an application, we obtain results indicating the lack of (non-trivial) Gibbs or Markov invariant measures for "sufficiently chaotic" cellular automata. We discuss the relevance of the randomization property of algebraic cellular automata to the problem of approach to macroscopic equilibrium, and pose several open questions. As an aside, a shift-invariant pre-image of a Gibbs measure under a pre-injective factor map between shifts of finite type turns out to be always a Gibbs measure. We provide a sufficient condition under which the image of a Gibbs measure under a pre-injective factor map is not a Gibbs measure. We point out a potential application of pre-injective factor maps as a tool in the study of phase transitions in statistical mechanical models.Comment: 50 pages, 7 figure

Chaotic Scattering Theory, Thermodynamic Formalism, and Transport Coefficients

The foundations of the chaotic scattering theory for transport and reaction-rate coefficients for classical many-body systems are considered here in some detail. The thermodynamic formalism of Sinai, Bowen, and Ruelle is employed to obtain an expression for the escape-rate for a phase space trajectory to leave a finite open region of phase space for the first time. This expression relates the escape rate to the difference between the sum of the positive Lyapunov exponents and the K-S entropy for the fractal set of trajectories which are trapped forever in the open region. This result is well known for systems of a few degrees of freedom and is here extended to systems of many degrees of freedom. The formalism is applied to smooth hyperbolic systems, to cellular-automata lattice gases, and to hard sphere sytems. In the latter case, the goemetric constructions of Sinai {\it et al} for billiard systems are used to describe the relevant chaotic scattering phenomena. Some applications of this formalism to non-hyperbolic systems are also discussed.Comment: 35 pages, compressed file, follow directions in header for ps file. Figures are available on request from [email protected]

Automatic Filters for the Detection of Coherent Structure in Spatiotemporal Systems

Most current methods for identifying coherent structures in spatially-extended systems rely on prior information about the form which those structures take. Here we present two new approaches to automatically filter the changing configurations of spatial dynamical systems and extract coherent structures. One, local sensitivity filtering, is a modification of the local Lyapunov exponent approach suitable to cellular automata and other discrete spatial systems. The other, local statistical complexity filtering, calculates the amount of information needed for optimal prediction of the system's behavior in the vicinity of a given point. By examining the changing spatiotemporal distributions of these quantities, we can find the coherent structures in a variety of pattern-forming cellular automata, without needing to guess or postulate the form of that structure. We apply both filters to elementary and cyclical cellular automata (ECA and CCA) and find that they readily identify particles, domains and other more complicated structures. We compare the results from ECA with earlier ones based upon the theory of formal languages, and the results from CCA with a more traditional approach based on an order parameter and free energy. While sensitivity and statistical complexity are equally adept at uncovering structure, they are based on different system properties (dynamical and probabilistic, respectively), and provide complementary information.Comment: 16 pages, 21 figures. Figures considerably compressed to fit arxiv requirements; write first author for higher-resolution version

Some properties of topological pressure on cellular automata

This paper investigates the ergodicity and the power rule of the topological pressure of a cellular automaton. If a cellular automaton is either leftmost or rightmost premutive (due to the terminology given by Hedlund [Math.~Syst.~Theor.~3, 320-375, 1969]), then it is ergodic with respect to the uniform Bernoulli measure. More than that, the relation of topological pressure between the original cellular automaton and its power rule is expressed in a closed form. As an application, the topological pressure of a linear cellular automaton can be computed explicitly

A Review of Mathematical Models for the Formation of\ud Vascular Networks

Mainly two mechanisms are involved in the formation of blood vasculature: vasculogenesis and angiogenesis. The former consists of the formation of a capillary-like network from either a dispersed or a monolayered population of endothelial cells, reproducible also in vitro by specific experimental assays. The latter consists of the sprouting of new vessels from an existing capillary or post-capillary venule. Similar phenomena are also involved in the formation of the lymphatic system through a process generally called lymphangiogenesis.\ud \ud A number of mathematical approaches have analysed these phenomena. This paper reviews the different modelling procedures, with a special emphasis on their ability to reproduce the biological system and to predict measured quantities which describe the overall processes. A comparison between the different methods is also made, highlighting their specific features

Multiscale, thermomechanical topology optimization of self-supporting cellular structures for porous injection molds

Purpose This paper aims to establish a multiscale topology optimization method for the optimal design of non-periodic, self-supporting cellular structures subjected to thermo-mechanical loads. The result is a hierarchically complex design that is thermally efficient, mechanically stable and suitable for additive manufacturing (AM). Design/methodology/approach The proposed method seeks to maximize thermo-mechanical performance at the macroscale in a conceptual design while obtaining maximum shear modulus for each unit cell at the mesoscale. Then, the macroscale performance is re-estimated, and the mesoscale design is updated until the macroscale performance is satisfied. Findings A two-dimensional Messerschmitt Bolkow Bolhm (MBB) beam withstanding thermo-mechanical load is presented to illustrate the proposed design method. Furthermore, the method is implemented to optimize a three-dimensional injection mold, which is successfully prototyped using 420 stainless steel infiltrated with bronze. Originality/value By developing a computationally efficient and manufacturing friendly inverse homogenization approach, the novel multiscale design could generate porous molds which can save up to 30 per cent material compared to their solid counterpart without decreasing thermo-mechanical performance. Practical implications This study is a useful tool for the designer in molding industries to reduce the cost of the injection mold and take full advantage of AM