89,083 research outputs found
Forbidden patterns and shift systems
The scope of this paper is two-fold. First, to present to the researchers in
combinatorics an interesting implementation of permutations avoiding
generalized patterns in the framework of discrete-time dynamical systems.
Indeed, the orbits generated by piecewise monotone maps on one-dimensional
intervals have forbidden order patterns, i.e., order patterns that do not occur
in any orbit. The allowed patterns are then those patterns avoiding the
so-called forbidden root patterns and their shifted patterns. The second scope
is to study forbidden patterns in shift systems, which are universal models in
information theory, dynamical systems and stochastic processes. Due to its
simple structure, shift systems are accessible to a more detailed analysis and,
at the same time, exhibit all important properties of low-dimensional chaotic
dynamical systems (e.g., sensitivity to initial conditions, strong mixing and a
dense set of periodic points), allowing to export the results to other
dynamical systems via order-isomorphisms.Comment: 21 pages, expanded Section 5 and corrected Propositions 3 and
Forbidden ordinal patterns in higher dimensional dynamics
Forbidden ordinal patterns are ordinal patterns (or `rank blocks') that
cannot appear in the orbits generated by a map taking values on a linearly
ordered space, in which case we say that the map has forbidden patterns. Once a
map has a forbidden pattern of a given length , it has forbidden
patterns of any length and their number grows superexponentially
with . Using recent results on topological permutation entropy, we study in
this paper the existence and some basic properties of forbidden ordinal
patterns for self maps on n-dimensional intervals. Our most applicable
conclusion is that expansive interval maps with finite topological entropy have
necessarily forbidden patterns, although we conjecture that this is also the
case under more general conditions. The theoretical results are nicely
illustrated for n=2 both using the naive counting estimator for forbidden
patterns and Chao's estimator for the number of classes in a population. The
robustness of forbidden ordinal patterns against observational white noise is
also illustrated.Comment: 19 pages, 6 figure
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
We introduce a modified version of the well-known dependency pair framework
that is suitable for the termination analysis of rewriting under forbidden
pattern restrictions. By attaching contexts to dependency pairs that represent
the calling contexts of the corresponding recursive function calls, it is
possible to incorporate the forbidden pattern restrictions in the (adapted)
notion of dependency pair chains, thus yielding a sound and complete approach
to termination analysis. Building upon this contextual dependency pair
framework we introduce a dependency pair processor that simplifies problems by
analyzing the contextual information of the dependency pairs. Moreover, we show
how this processor can be used to synthesize forbidden patterns suitable for a
given term rewriting system on-the-fly during the termination analysis.Comment: In Proceedings IWS 2010, arXiv:1012.533
- …