Related papers: The Mesoscopic category, Automata and Tropical Geo…
We describe the development of the theory of automatic groups. We begin with a historical introduction, define the concepts of automatic, biautomatic and combable groups, derive basic properties, then explain how hyperbolic groups and the…
The topological and metrical equivalence of fractals is an important topic in analysis. In this paper, we use a class of finite state automata, called $\Sigma$-automaton, to construct psuedo-metric spaces, and then apply them to the study…
We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex…
The expanding cellular automata (XCA) variant of cellular automata is investigated and characterized from a complexity-theoretical standpoint. An XCA is a one-dimensional cellular automaton which can dynamically create new cells between…
The theory of Poisson-$\sigma$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field…
Classical cellular automata represent a class of explicit discrete spacetime lattice models in which complex large-scale phenomena emerge from simple deterministic rules. With the goal to uncover different physically distinct classes of…
Interesting non-linear functions on the phase spaces of classical field theories can never be quantized immediately because the basic fields of the theory become operator valued distributions. Therefore, one is usually forced to find a…
We present a theoretical framework and a calculational scheme to study the coexistence and competition of thermodynamic phases in quantum statistical mechanics. The crux of the method is the realization that the microscopic Hamiltonian,…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
We study the basic relation between skew-symmetric Lotka-Volterra systems and graphs, both at the level of objects and morphisms, and derive a classification from it of skew-symmetric Lotka-Volterra systems in terms of graphs as well as in…
We study the statistical properties of a cellular automata model of traffic flow with the look-ahead potential. The model defines stochastic rules for the movement of cars on a lattice. We analyze the underlying statistical assumptions…
Describing complex phenomena by means of cellular automata (CA) has shown to be a very effective approach in pure and applied sciences. In fact, the number of published papers concerning this topic has tremendously increased over the last…
A method of quantization of classical soliton cellular automata (QSCA) is put forward that provides a description of their time evolution operator by means of quantum circuits that involve quantum gates from which the associated Hamiltonian…
We construct a cohomological field theory for a gauged linear sigma model space in geometric phase, using the method of gauge theory and differential geometry. The cohomological field theory is expected to match the Gromov-Witten theory of…
Traffic models based on cellular automata have high computational efficiency because of their simplicity in describing unrealistic vehicular behavior and the versatility of cellular automata to be implemented on parallel processing. On the…
We consider the category of partially observable dynamical systems, to which the entropy theory of dynamical systems extends functorially. This leads us to introduce quotient-topological entropy. We discuss the structure that emerges. We…
The mean spherical approximation (MSA) is a closure relation for pair correlation functions (two-point functions) in statistical physics. It can be applied to a wide range of systems, is computationally fairly inexpensive, and when properly…
This paper considers three separate matrices associated to graphs and (each dimension of) cell complexes. It relates all the coefficients of their respective characteristic polynomials to the geometric and combinatorial enumeration of three…
We show that cellular automata can classify data by inducing a form of dynamical phase coexistence. We use Monte Carlo methods to search for general two-dimensional deterministic automata that classify images on the basis of activity, the…
If M is a monoid (e.g. the lattice Z^D), and G is a finite (nonabelian) group, then G^M is a compact group; a `multiplicative cellular automaton' (MCA) is a continuous transformation F:G^M-->G^M which commutes with all shift maps, and where…