15 research outputs found
Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V
Using a result of Kari and Ollinger, we prove that the torsion problem for
elements of the Brin-Thompson group 2V is undecidable. As a result, we show
that there does not exist an algorithm to determine whether an element of the
rational group R of Grigorchuk, Nekrashevich, and Sushchanskii has finite
order. A modification of the construction gives other undecidability results
about the dynamics of the action of elements of 2V on Cantor Space.
Arzhantseva, Lafont, and Minasyanin prove in 2012 that there exists a finitely
presented group with solvable word problem and unsolvable torsion problem. To
our knowledge, 2V furnishes the first concrete example of such a group, and
gives an example of a direct undecidability result in the extended family of R.
Thompson type groups.Comment: 16 pages, 3 figure
Reachability problems for PAMs
Piecewise affine maps (PAMs) are frequently used as a reference model to show
the openness of the reachability questions in other systems. The reachability
problem for one-dimentional PAM is still open even if we define it with only
two intervals. As the main contribution of this paper we introduce new
techniques for solving reachability problems based on p-adic norms and weights
as well as showing decidability for two classes of maps. Then we show the
connections between topological properties for PAM's orbits, reachability
problems and representation of numbers in a rational base system. Finally we
show a particular instance where the uniform distribution of the original orbit
may not remain uniform or even dense after making regular shifts and taking a
fractional part in that sequence.Comment: 16 page
On deciding stability of multiclass queueing networks under buffer priority scheduling policies
One of the basic properties of a queueing network is stability. Roughly
speaking, it is the property that the total number of jobs in the network
remains bounded as a function of time. One of the key questions related to the
stability issue is how to determine the exact conditions under which a given
queueing network operating under a given scheduling policy remains stable.
While there was much initial progress in addressing this question, most of the
results obtained were partial at best and so the complete characterization of
stable queueing networks is still lacking. In this paper, we resolve this open
problem, albeit in a somewhat unexpected way. We show that characterizing
stable queueing networks is an algorithmically undecidable problem for the case
of nonpreemptive static buffer priority scheduling policies and deterministic
interarrival and service times. Thus, no constructive characterization of
stable queueing networks operating under this class of policies is possible.
The result is established for queueing networks with finite and infinite buffer
sizes and possibly zero service times, although we conjecture that it also
holds in the case of models with only infinite buffers and nonzero service
times. Our approach extends an earlier related work [Math. Oper. Res. 27 (2002)
272--293] and uses the so-called counter machine device as a reduction tool.Comment: Published in at http://dx.doi.org/10.1214/09-AAP597 the Annals of
Applied Probability (http://www.imstat.org/aap/) by the Institute of
Mathematical Statistics (http://www.imstat.org
On the decidability and complexity of problems for restricted hierarchical hybrid systems
We study variants of a recently introduced hybrid system model, called a Hierarchical Piecewise Constant Derivative (HPCD). These variants (loosely called Restricted HPCDs) form a class of natural models with similarities to many other well known hybrid system models in the literature such as Stopwatch Automata, Rectangular Automata and PCDs. We study the complexity of reachability and mortality problems for variants of RHPCDs and show a variety of results, depending upon the allowed powers. These models form a useful tool for the study of the complexity of such problems for hybrid systems, due to their connections with existing models.
We show that the reachability problem and the mortality problem are co-NP-hard for bounded 3-dimensional RHPCDs (3-RHPCDs). Reachability is shown to be in PSPACE, even for n-dimensional RHPCDs. We show that for an unbounded 3-RHPCD, the reachability and mortality problems become undecidable. For a nondeterministic variant of 2-RHPCDs, the reachability problem is shown to be PSPACE-complete
On the decidability and complexity of problems for restricted hierarchical hybrid systems
We study variants of a recently introduced hybrid system model, called a Hierarchical Piecewise Constant Derivative (HPCD). These variants (loosely called Restricted HPCDs) form a class of natural models with similarities to many other well known hybrid system models in the literature such as Stopwatch Automata, Rectangular Automata and PCDs. We study the complexity of reachability and mortality problems for variants of RHPCDs and show a variety of results, depending upon the allowed powers. These models form a useful tool for the study of the complexity of such problems for hybrid systems, due to their connections with existing models.
We show that the reachability problem and the mortality problem are co-NP-hard for bounded 3-dimensional RHPCDs (3-RHPCDs). Reachability is shown to be in PSPACE, even for n-dimensional RHPCDs. We show that for an unbounded 3-RHPCD, the reachability and mortality problems become undecidable. For a nondeterministic variant of 2-RHPCDs, the reachability problem is shown to be PSPACE-complete
On the decidability and complexity of problems for restricted hierarchical hybrid systems
We study variants of a recently introduced hybrid system model, called a Hierarchical Piecewise Constant Derivative (HPCD). These variants (loosely called Restricted HPCDs) form a class of natural models with similarities to many other well known hybrid system models in the literature such as Stopwatch Automata, Rectangular Automata and PCDs. We study the complexity of reachability and mortality problems for variants of RHPCDs and show a variety of results, depending upon the allowed powers. These models form a useful tool for the study of the complexity of such problems for hybrid systems, due to their connections with existing models. We show that the reachability problem and the mortality problem are co-NP-hard for bounded 3-dimensional RHPCDs (3-RHPCDs). Reachability is shown to be in PSPACE, even for n-dimensional RHPCDs. We show that for an unbounded 3-RHPCD, the reachability and mortality problems become undecidable. For a nondeterministic variant of 2-RHPCDs, the reachability problem is shown to be PSPACE-complete
Reachability problems for systems with linear dynamics
This thesis deals with reachability and freeness problems for systems with linear dynamics, including hybrid systems and matrix semigroups. Hybrid systems are a type of dynamical system that exhibit both continuous and discrete dynamic behaviour. Thus they are particularly useful in modelling practical real world systems which can both flow (continuous behaviour) and jump (discrete behaviour). Decision questions for matrix semigroups have attracted a great deal of attention in both the Mathematics and Theoretical Computer Science communities. They can also be used to model applications with only discrete components.
For a computational model, the reachability problem asks whether we can reach a target point starting from an initial point, which is a natural question both in theoretical study and for real-world applications. By studying this problem and its variations, we shall prove in a formal mathematical sense that many problems are intractable or even unsolvable. Thus we know when such a problem appears in other areas like Biology, Physics or Chemistry, either the problem itself needs to be simplified, or it should by studied by approximation.
In this thesis we concentrate on a specific hybrid system model, called an HPCD, and its variations. The objective of studying this model is twofold: to obtain the most expressive system for which reachability is algorithmically solvable and to explore the simplest system for which it is impossible to solve. For the solvable sub-cases, we shall also study whether reachability is in some sense easy or hard by determining which complexity classes the problem belongs to, such as P, NP(-hard) and PSPACE(-hard). Some undecidable results for matrix semigroups are also shown, which both strengthen our knowledge of the structure of matrix semigroups, and lead to some undecidability results for other models
Deciding stability and mortality of piecewise affine dynamical systems
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15437 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc