Markov Chain Analysis for One-Dimensional Asynchronous Cellular Automata

We consider the finite homogeneous Markov chain induced by a class of one-dimensional asynchronous cellular automata—automata that are allowed to change only one cell per iteration. Furthermore, we confine to totalistic automata, where transitions depend only on the number of 1s in the neighborhood of the current cell. We consider three different cases: (i) size of neighborhood equals length of the automaton; (ii) size of neighborhood two, length of automaton arbitrary; and (iii) size of neighborhood three, length of automaton arbitrary. For each case, the associated Markov chain proves to be ergodic. We derive simple-form stationary distributions, in case (i) by lumping states with respect to the number of 1s in the automaton, and in cases (ii) and (iii) by considering the number of 0–1 borders within the automaton configuration. For the three-neighborhood automaton, we analyze also the Markov chain at the boundary of the parameter domain, and the symmetry of the entropy. Finally, we show that if the local transition rule is exponential, the stationary probability is the Boltzmann distribution of the Ising model.     

Courcelle’s theorem—A game-theoretic approach

Courcelle’s theorem states that every problem definable in Monadic Second-Order logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are of constant size. Unfortunately, the constants involved can become extremely large—every quantifier alternation requires a power set construction for the automaton. Here, the required space can become a problem in practical applications.In this paper, we present a novel, direct approach based on model checking games, which avoids the expensive power set construction. Experiments with an implementation are promising, and we can solve problems on graphs where the automata-theoretic approach fails in practice.     

Edge-Colorings of 4-Regular Graphs with the Minimum Number of Palettes

A proper edge-coloring of a graph G is an assignment of colors to the edges of G such that adjacent edges receive distinct colors. A proper edge-coloring defines at each vertex the set of colors of its incident edges. Following the terminology introduced by Horňák, Kalinowski, Meszka and Wo?niak, we call such a set of colors the palette of the vertex. What is the minimum number of distinct palettes taken over all proper edge-colorings of G? A complete answer is known for complete graphs and cubic graphs. We study in some detail the problem for 4-regular graphs. In particular, we show that certain values of the palette index imply the existence of an even cycle decomposition of size 3 (a partition of the edge-set of a graph into 3 2-regular subgraphs whose connected components are cycles of even length). This result can be extended to 4d-regular graphs. Moreover, in studying the palette index of a 4-regular graph, the following problem arises: does there exist a 4-regular graph whose even cycle decompositions cannot have size smaller than 4?     

Geometric aspects of 2-walk-regular graphs

A t-walk-regular graph is a graph for which the number of walks of given length between two vertices depends only on the distance between these two vertices, as long as this distance is at most t. Such graphs generalize distance-regular graphs and t-arc-transitive graphs. In this paper, we will focus on 1- and in particular 2-walk-regular graphs, and study analogues of certain results that are important for distance-regular graphs. We will generalize Delsarte?s clique bound to 1-walk-regular graphs, Godsil?s multiplicity bound and Terwilliger?s analysis of the local structure to 2-walk-regular graphs. We will show that 2-walk-regular graphs have a much richer combinatorial structure than 1-walk-regular graphs, for example by proving that there are finitely many non-geometric 2-walk-regular graphs with given smallest eigenvalue and given diameter (a geometric graph is the point graph of a special partial linear space); a result that is analogous to a result on distance-regular graphs. Such a result does not hold for 1-walk-regular graphs, as our construction methods will show.     

Stability of vertices in random boolean cellular automata

Based on computer simulations, Kauffman (Physica D, 10, 145-156, 1984) made several generalizations about a random Boolean cellular automaton which he invented as a model of cellular metabolism. Here we give the first rigorous proofs of two of Kauffman's generalizations: a large fraction of vertices stabilize quickly, consequently the length of cycles in the automaton's behavior is small compared to that of a random mapping with the same number of states; and reversal of the states of a large fraction of the vertices does not affect the cycle to which the automaton moves.     

Distance edge-colourings and matchings

We consider a distance generalisation of the strong chromatic index and the maximum induced matching number. We study graphs of bounded maximum degree and Erd?s–Rényi random graphs. We work in three settings. The first is that of a distance generalisation of an Erd?s–Ne?et?il problem. The second is that of an upper bound on the size of a largest distance matching in a random graph. The third is that of an upper bound on the distance chromatic index for sparse random graphs. One of our results gives a counterexample to a conjecture of Skupień.     

关于等价嵌入于存贮线性有限自动机问题

本文应用模的手段研究域上线性有限自动机等价嵌入于其中存贮类型的问题,分别得到可等价嵌入的一个充分条件与不可等价嵌入的一个充要条件。     

On the Motion of Agents across Terrain with Obstacles

The paper is devoted to finding the time optimal route of an agent travelling across a region from a given source point to a given target point. At each point of this region, a maximum allowed speed is specified. This speed limit may vary in time. The continuous statement of this problem and the case when the agent travels on a grid with square cells are considered. In the latter case, the time is also discrete, and the number of admissible directions of motion at each point in time is eight. The existence of an optimal solution of this problem is proved, and estimates of the approximate solution obtained on the grid are obtained. It is found that decreasing the size of cells below a certain limit does not further improve the approximation. These results can be used to estimate the quasi-optimal trajectory of the agent motion across the rugged terrain produced by an algorithm based on a cellular automaton that was earlier developed by the author.     

The Lamplighter Group ℤ3≀ℤ Generated by a Bireversible Automaton

We construct a bireversible self-dual automaton with three states over an alphabet with three letters which generates the lamplighter group ?₃??. In particular, this fact shows that not all groups defined by birevirsible automata are finitely presented.     

A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems

The analysis, failure diagnosis and control of discrete event systems (DESs) requires an accurate model of the system. In this paper we present a methodology which makes the task of modeling DESs considerably less cumbersome, less error prone, and more user-friendly than it usually is. In doing so we simplify the modeling formalism of [4, 5], proposed for obtaining valid models of complex discrete event systems, by eliminating ‘precedence relations’, and capturing them as part of the ‘event occurrence rules’. Under the new modeling formalism the size of the system model is polynomial in the number of signals; whereas the number of states in the commonly used automata models is exponential in the number of signals. We present automated techniques for deriving an automaton model from the model in the proposed formalism. We illustrate the modeling formalism using examples drawn from manufacturing and process control systems.     

On a conjecture of Brouwer involving the connectivity of strongly regular graphs

In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called Δ-spaces are counterexamples to Brouwer?s Conjecture. Using J.I. Hall?s characterization of finite reduced copolar spaces, we find that the triangular graphs T(m), the symplectic graphs Sp(2r,q) over the field Fq (for any q prime power), and the strongly regular graphs constructed from the hyperbolic quadrics O⁺(2r,2) and from the elliptic quadrics O⁻(2r,2) over the field F₂, respectively, are counterexamples to Brouwer?s Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall?s characterization theorem for Δ-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of Δ-spaces and thus, yield other counterexamples to Brouwer?s Conjecture.We prove that Brouwer?s Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles GQ(q,q) graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue −2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.     

New upper bounds on harmonious colorings

We present an improved upper bound on the harmonious chromatic number of an arbitrary graph. We also consider ?fragmentable”? classes of graphs (an example is the class of planar graphs) that are, roughly speaking, graphs that can be decomposed into bounded-sized components by removing a small proportion of the vertices. We show that for such graphs of bounded degree the harmonious chromatic number is close to the lower bound (2m)^1/2, where m is the number of edges.     

Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations

We introduce the discrete automaton models of gene networks with weight functions of vertices accounting for the various forms of the regulatory interaction of agents. We study the discrete mapping that describes the operation of a fragment of the gene network of the bacteria E. coli. For this mapping, we find its fixed points (stationary states) on using the SAT approach. We also study the mappings that are defined by the random graphs of the network which we generate in accordance with the Gilbert-Erdos-Renyi and Watts-Strogatz models. For these mappings, we find the fixed points and the length 2 and 3 cycles. This article can be regarded as a survey of our results on the discrete models of gene networks and the numerical methods for studying their operation.     

A refined Hurwitz theorem for imbeddings of irredundant Cayley graphs

Hurwitz's theorem states that the order of any finite group acting on a surface of genus γ > 1 is bounded by 168(γ ? 1). It can be refined to give useful information about groups whose order is near this bound. In this paper, similar results are obtained for Cayley graphs imbedded in a surface of genus γ. These results have important implications for the classification of Cayley graphs of low genus and the number of Cayley graphs of a given genus.     

Finitely nonstationary nondeterministic automata with random input

Properties of generalized finitely nonstationary nondeterministic automata with an additional random input over a Boolean lattice are considered which are related to the definition of the class of languages represented by such automaton models. New notions of an elementary nondeterministic automatic structure with a random input, of a generalized finitely nonstationary nondeterministic automaton with a random input, of the generalized mapping induced by such an automaton, and of a generalized language represented by such an automaton are introduced. A number of statements substantiating synthesis for any given generalized finitely nonstationary nondeterministic automaton with a random input of an abstract probabilistic finite automaton equivalent to the given one relative to the represented generalized language probabilistic language of the stationary abstract probabilistic finite automaton. The number of states of the synthesized probabilistic automaton is estimated and a synthesis algorithm is developed in detail and illustrated by an example.     

Asymptotic aspects of Schreier graphs and Hanoi Towers groups

We present relations between growth, growth of diameters and the rate of vanishing of the spectral gap in Schreier graphs of automaton groups. In particular, we introduce a series of examples, called Hanoi Towers groups since they model the well known Hanoi Towers Problem, that illustrate some of the possible types of behavior. To cite this article: R. Grigorchuk, Z. ?unik´, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

The Laplacian of a Graph as a Density Matrix: A Basic Combinatorial Approach to Separability of Mixed States

We study entanglement properties of mixed density matrices obtained from combinatorial Laplacians. This is done by introducing the notion of the density matrix of a graph. We characterize the graphs with pure density matrices and show that the density matrix of a graph can be always written as a uniform mixture of pure density matrices of graphs. We consider the von Neumann entropy of these matrices and we characterize the graphs for which the minimum and maximum values are attained. We then discuss the problem of separability by pointing out that separability of density matrices of graphs does not always depend on the labelling of the vertices. We consider graphs with a tensor product structure and simple cases for which combinatorial properties are linked to the entanglement of the state. We calculate the concurrence of all graphs on four vertices representing entangled states. It turns out that for these graphs the value of the concurrence is exactly fractional. Received July 28, 2004     

Decomposition of the Flow Polynomial

The flow polynomials denote the number of nowhere-zero flows on graphs, and are related to the well-known Tutte polynomials and chromatic polynomials. We will show the decomposition of the flow polynomials by edge-cuts and vertex-cuts of size 2 or 3. Moreover by using this decomposition, we will consider what kind of graphs have the same flow polynomials. Another application of the decomposition results is that if a bridgeless graph G does not admit a nowhere-zero k-flow and G has a small vertex- or edge-cut, then a proper bridgeless subgraph of G (a graph minor) does not admit a nowhere-zero k-flow either.     

Weighted fusion graphs: Merging properties and watersheds

This paper deals with the mathematical properties of watersheds in weighted graphs linked to region merging methods, as used in image analysis.In a graph, a cleft (or a binary watershed) is a set of vertices that cannot be reduced, by point removal, without changing the number of regions (connected components) of its complement. To obtain a watershed adapted to morphological region merging, it has been shown that one has to use the topological thinnings introduced by M. Couprie and G. Bertrand. Unfortunately, topological thinnings do not always produce thin clefts.Therefore, we introduce a new transformation on vertex weighted graphs, called C-watershed, that always produces a cleft. We present the class of perfect fusion graphs, for which any two neighboring regions can be merged, while preserving all other regions, by removing from the cleft the points adjacent to both. An important theorem of this paper states that, on these graphs, the C-watersheds are topological thinnings and the corresponding divides are thin clefts. We propose a linear-time immersion-like algorithm to compute C-watersheds on perfect fusion graphs, whereas, in general, a linear-time topological thinning algorithm does not exist. Furthermore, we prove that this algorithm is monotone in the sense that the vertices are processed in increasing order of weight. Finally, we derive some characterizations of perfect fusion graphs based on the thinness properties of both C-watersheds and topological watersheds.     

Synthesis of the Optimal Control of Linear Logical-Dynamical Systems Under Instant Multiple Switchings of the Automaton Part

We consider a dynamic system controlled by an automaton with memory. The continuous part of the system is described by linear differential equations and the logical (automaton) part is described by linear recurrence equations. The moments of the state change of the automaton part are not known in advance and they are determined in the process of optimization. Modes with instant multiple switchings of the automaton part are admitted. Based on sufficient optimality conditions, we develop a technique for the synthesis of a feedback control. The application of the technique is demonstrated in an example.