Silent Transitions in Automata with Storage

We consider the computational power of silent transitions in one-way automata with storage. Specifically, we ask which storage mechanisms admit a transformation of a given automaton into one that accepts the same language and reads at least one input symbol in each step. We study this question using the model of valence automata. Here, a finite automaton is equipped with a storage mechanism that is given by a monoid. This work presents generalizations of known results on silent transitions. For two classes of monoids, it provides characterizations of those monoids that allow the removal of \lambda-transitions. Both classes are defined by graph products of copies of the bicyclic monoid and the group of integers. The first class contains pushdown storages as well as the blind counters while the second class contains the blind and the partially blind counters.Comment: 32 pages, submitte

The monoid of queue actions

We investigate the monoid of transformations that are induced by sequences of writing to and reading from a queue storage. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties, e.g., conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership problem is NL-complete. Furthermore, we present an algebraic characterization of this monoid's recognizable subsets. Finally, we prove that it is not Thurston-automatic

Integrability of Stochastic Birth-Death processes via Differential Galois Theory

Stochastic birth-death processes are described as continuous-time Markov processes in models of population dynamics. A system of infinite, coupled ordinary differential equations (the so-called master equation) describes the time-dependence of the probability of each system state. Using a generating function, the master equation can be transformed into a partial differential equation. In this contribution we analyze the integrability of two types of stochastic birth-death processes (with polynomial birth and death rates) using standard differential Galois theory. We discuss the integrability of the PDE via a Laplace transform acting over the temporal variable. We show that the PDE is not integrable except for the (trivial) case in which rates are linear functions of the number of individuals

Weak Coupling Expansion of Yang-Mills Theory on Recursive Infinite Genus Surfaces

We analyze the partition function of two dimensional Yang-Mills theory on a family of surfaces of infinite genus. These surfaces have a recursive structure, which was used by one of us to compute the partition function that results in a generalized Migdal formula. In this paper we study the `small area' (weak coupling) expansion of the partition function, by exploiting the fact that the generalized Migdal formula is analytic in the (complexification of the) Euler characteristic. The structure of the perturbative part of the weak coupling expansion suggests that the moduli space of flat connections (of the SU(2) and SO(3) theories) on these infinite genus surfaces are well defined, perhaps in an appropriate regularization.Comment: 1+18 pages, 2 figure