406 research outputs found
Uniform generation in trace monoids
We consider the problem of random uniform generation of traces (the elements
of a free partially commutative monoid) in light of the uniform measure on the
boundary at infinity of the associated monoid. We obtain a product
decomposition of the uniform measure at infinity if the trace monoid has
several irreducible components-a case where other notions such as Parry
measures, are not defined. Random generation algorithms are then examined.Comment: Full version of the paper in MFCS 2015 with the same titl
Markovian dynamics of concurrent systems
Monoid actions of trace monoids over finite sets are powerful models of
concurrent systems---for instance they encompass the class of 1-safe Petri
nets. We characterise Markov measures attached to concurrent systems by
finitely many parameters with suitable normalisation conditions. These
conditions involve polynomials related to the combinatorics of the monoid and
of the monoid action. These parameters generalise to concurrent systems the
coefficients of the transition matrix of a Markov chain.
A natural problem is the existence of the uniform measure for every
concurrent system. We prove this existence under an irreducibility condition.
The uniform measure of a concurrent system is characterised by a real number,
the characteristic root of the action, and a function of pairs of states, the
Parry cocyle. A new combinatorial inversion formula allows to identify a
polynomial of which the characteristic root is the smallest positive root.
Examples based on simple combinatorial tilings are studied.Comment: 35 pages, 6 figures, 33 reference
Uniform and Bernoulli measures on the boundary of trace monoids
Trace monoids and heaps of pieces appear in various contexts in
combinatorics. They also constitute a model used in computer science to
describe the executions of asynchronous systems. The design of a natural
probabilistic layer on top of the model has been a long standing challenge. The
difficulty comes from the presence of commuting pieces and from the absence of
a global clock. In this paper, we introduce and study the class of Bernoulli
probability measures that we claim to be the simplest adequate probability
measures on infinite traces. For this, we strongly rely on the theory of trace
combinatorics with the M\"obius polynomial in the key role. These new measures
provide a theoretical foundation for the probabilistic study of concurrent
systems.Comment: 34 pages, 5 figures, 27 reference
On the rational subset problem for groups
We use language theory to study the rational subset problem for groups and
monoids. We show that the decidability of this problem is preserved under graph
of groups constructions with finite edge groups. In particular, it passes
through free products amalgamated over finite subgroups and HNN extensions with
finite associated subgroups. We provide a simple proof of a result of
Grunschlag showing that the decidability of this problem is a virtual property.
We prove further that the problem is decidable for a direct product of a group
G with a monoid M if and only if membership is uniformly decidable for
G-automata subsets of M. It follows that a direct product of a free group with
any abelian group or commutative monoid has decidable rational subset
membership.Comment: 19 page
Random walks on rings and modules
We consider two natural models of random walks on a module over a finite
commutative ring driven simultaneously by addition of random elements in
, and multiplication by random elements in . In the coin-toss walk,
either one of the two operations is performed depending on the flip of a coin.
In the affine walk, random elements are sampled
independently, and the current state is taken to . For both models,
we obtain the complete spectrum of the transition matrix from the
representation theory of the monoid of all affine maps on under a suitable
hypothesis on the measure on (the measure on can be arbitrary).Comment: 26 pages, 1 figure, minor improvements, final versio
- …