Periodicity forcing words

The Dual Post Correspondence Problem asks, for a given word , if there exists a non-periodic morphism g and an arbitrary morphism h such that g( ) = h( ). Thus satis es the Dual PCP if and only if it belongs to a non-trivial equality set. Words which do not satisfy the Dual PCP are called periodicity forcing, and are important to the study of word equations, equality sets and ambiguity of morphisms. In this paper, a `prime' subset of periodicity forcing words is presented. It is shown that when combined with a particular type of morphism it generates exactly the full set of periodicity forcing words. Furthermore, it is shown that there exist examples of periodicity forcing words which contain any given factor/pre x/su x. Finally, an alternative class of mechanisms for generating periodicity forcing words is developed, resulting in a class of examples which contrast those known already

Periodicity forcing words

The Dual Post Correspondence Problem asks, for a given word α, if there exists a non-periodic morphism g and an arbitrary morphism h such that g(α) = h(α). Thus α satisfies the Dual PCP if and only if it belongs to a non-trivial equality set. Words which do not satisfy the Dual PCP are called periodicity forcing, and are important to the study of word equations, equality sets and ambiguity of morphisms. In this paper, a 'prime' subset of periodicity forcing words is presented. It is shown that when combined with a particular type of morphism it generates exactly the full set of periodicity forcing words. Furthermore, it is shown that there exist examples of periodicity forcing words which contain any given factor/prefix/suffix. Finally, an alternative class of mechanisms for generating periodicity forcing words is developed, resulting in a class of examples which contrast those known already

Periodicity Forcing Words

The Dual Post Correspondence Problem asks, for a given word α, if there exists a non-periodic morphism g and an arbitrary morphism h such that g(α) = h(α). Thus α satisfies the Dual PCP if and only if it belongs to a non-trivial equality set. Words which do not satisfy the Dual PCP are called periodicity forcing, and are important to the study of word equations, equality sets and ambiguity of morphisms. In this paper, a 'prime' subset of periodicity forcing words is presented. It is shown that when combined with a particular type of morphism it generates exactly the full set of periodicity forcing words. Furthermore, it is shown that there exist examples of periodicity forcing words which contain any given factor/prefix/suffix. Finally, an alternative class of mechanisms for generating periodicity forcing words is developed, resulting in a class of examples which contrast those known already

On restricting the ambiguity in morphic images of words

For alphabets Delta_1, Delta_2, a morphism g : Delta_1* to Delta_2* is ambiguous with respect to a word u in Delta_1* if there exists a second morphism h : Delta_1* to Delta_2* such that g(u) = h(u) and g not= h. Otherwise g is unambiguous. Hence unambiguous morphisms are those whose structure is fully preserved in their morphic images. A concept so far considered in the free monoid, the first part of this thesis considers natural extensions of ambiguity of morphisms to free groups. It is shown that, while the most straightforward generalization of ambiguity to a free monoid results in a trivial situation, that all morphisms are (always) ambiguous, there exist meaningful extensions of (un)ambiguity which are non-trivial - most notably the concepts of (un)ambiguity up to inner automorphism and up to automorphism. A characterization is given of words in a free group for which there exists an injective morphism which is unambiguous up to inner automorphism in terms of fixed points of morphisms, replicating an existing result for words in the free monoid. A conjecture is presented, which if correct, is sufficient to show an equivalent characterization for unambiguity up to automorphism. A rather counterintuitive statement is also established, that for some words, the only unambiguous (up to automorphism) morphisms are non-injective (or even periodic). The second part of the thesis addresses words for which all non-periodic morphisms are unambiguous. In the free monoid, these take the form of periodicity forcing words. It is shown using morphisms that there exist ratio-primitive periodicity forcing words over arbitrary alphabets, and furthermore that it is possible to establish large and varied classes in this way. It is observed that the set of periodicity forcing words is spanned by chains of words, where each word is a morphic image of its predecessor. It is shown that the chains terminate in exactly one direction, meaning not all periodicity forcing words may be reached as the (non-trivial) morphic image of another. Such words are called prime periodicity forcing words, and some alternative methods for finding them are given. The free-group equivalent to periodicity forcing words - a special class of C-test words - is also considered, as well as the ambiguity of terminal-preserving morphisms with respect to words containing terminal symbols, or constants. Moreover, some applications to pattern languages and group pattern languages are discussed

Equation xiyjxk=uivjukx^iy^jx^k=u^iv^ju^k in words

We will prove that the word $a^ib^ja^k$ is periodicity forcing if $j \geq 3$ and $i+k \geq 3$, where $i$ and $k$ are positive integers. Also we will give examples showing that both bounds are optimal

Punctuated vortex coalescence and discrete scale invariance in two-dimensional turbulence

We present experimental evidence and theoretical arguments showing that the time-evolution of freely decaying 2-d turbulence is governed by a {\it discrete} time scale invariance rather than a continuous time scale invariance. Physically, this reflects that the time-evolution of the merging of vortices is not smooth but punctuated, leading to a prefered scale factor and as a consequence to log-periodic oscillations. From a thorough analysis of freely decaying 2-d turbulence experiments, we show that the number of vortices, their radius and separation display log-periodic oscillations as a function of time with an average log-frequency of ~ 4-5 corresponding to a prefered scaling ratio of ~ 1.2-1.3Comment: 22 pages and 38 figures. Submitted to Physica

Orbital Instabilities in a Triaxial Cusp Potential

This paper constructs an analytic form for a triaxial potential that describes the dynamics of a wide variety of astrophysical systems, including the inner portions of dark matter halos, the central regions of galactic bulges, and young embedded star clusters. Specifically, this potential results from a density profile of the form $\rho (m) \propto m^{-1}$, where the radial coordinate is generalized to triaxial form so that $m^2 = x^2/a^2 + y^2/b^2 + z^2/c^2$. Using the resulting analytic form of the potential, and the corresponding force laws, we construct orbit solutions and show that a robust orbit instability exists in these systems. For orbits initially confined to any of the three principal planes, the motion in the perpendicular direction can be unstable. We discuss the range of parameter space for which these orbits are unstable, find the growth rates and saturation levels of the instability, and develop a set of analytic model equations that elucidate the essential physics of the instability mechanism. This orbit instability has a large number of astrophysical implications and applications, including understanding the formation of dark matter halos, the structure of galactic bulges, the survival of tidal streams, and the early evolution of embedded star clusters.Comment: 50 pages, accepted for publication in Ap

On the stationarity of linearly forced turbulence in finite domains

A simple scheme of forcing turbulence away from decay was introduced by Lundgren some time ago, the `linear forcing', which amounts to a force term linear in the velocity field with a constant coefficient. The evolution of linearly forced turbulence towards a stationary final state, as indicated by direct numerical simulations (DNS), is examined from a theoretical point of view based on symmetry arguments. In order to follow closely the DNS the flow is assumed to live in a cubic domain with periodic boundary conditions. The simplicity of the linear forcing scheme allows one to re-write the problem as one of decaying turbulence with a decreasing viscosity. Scaling symmetry considerations suggest that the system evolves to a stationary state, evolution that may be understood as the gradual breaking of a larger approximate symmetry to a smaller exact symmetry. The same arguments show that the finiteness of the domain is intimately related to the evolution of the system to a stationary state at late times, as well as the consistency of this state with a high degree of isotropy imposed by the symmetries of the domain itself. The fluctuations observed in the DNS for all quantities in the stationary state can be associated with deviations from isotropy. Indeed, self-preserving isotropic turbulence models are used to study evolution from a direct dynamical point of view, emphasizing the naturalness of the Taylor microscale as a self-similarity scale in this system. In this context the stationary state emerges as a stable fixed point. Self-preservation seems to be the reason behind a noted similarity of the third order structure function between the linearly forced and freely decaying turbulence, where again the finiteness of the domain plays an significant role.Comment: 15 pages, 7 figures, changes in the discussion at the end of section VI, formula (60) correcte

Spatial period-multiplying instabilities of hexagonal Faraday waves

A recent Faraday wave experiment with two-frequency forcing reports two types of `superlattice' patterns that display periodic spatial structures having two separate scales. These patterns both arise as secondary states once the primary hexagonal pattern becomes unstable. In one of these patterns (so-called `superlattice-II') the original hexagonal symmetry is broken in a subharmonic instability to form a striped pattern with a spatial scale increased by a factor of 2sqrt{3} from the original scale of the hexagons. In contrast, the time-averaged pattern is periodic on a hexagonal lattice with an intermediate spatial scale (sqrt{3} larger than the original scale) and apparently has 60 degree rotation symmetry. We present a symmetry-based approach to the analysis of this bifurcation. Taking as our starting point only the observed instantaneous symmetry of the superlattice-II pattern presented in and the subharmonic nature of the secondary instability, we show (a) that the superlattice-II pattern can bifurcate stably from standing hexagons; (b) that the pattern has a spatio-temporal symmetry not reported in [1]; and (c) that this spatio-temporal symmetry accounts for the intermediate spatial scale and hexagonal periodicity of the time-averaged pattern, but not for the apparent 60 degree rotation symmetry. The approach is based on general techniques that are readily applied to other secondary instabilities of symmetric patterns, and does not rely on the primary pattern having small amplitude