MSO definable string transductions and two-way finite state transducers

String transductions that are definable in monadic second-order (mso) logic (without the use of parameters) are exactly those realized by deterministic two-way finite state transducers. Nondeterministic mso definable string transductions (i.e., those definable with the use of parameters) correspond to compositions of two nondeterministic two-way finite state transducers that have the finite visit property. Both families of mso definable string transductions are characterized in terms of Hennie machines, i.e., two-way finite state transducers with the finite visit property that are allowed to rewrite their input tape.Comment: 63 pages, LaTeX2e. Extended abstract presented at 26-th ICALP, 199

Quaternary matroids are vf-safe

Binary delta-matroids are closed under vertex flips, which consist of the natural operations of twist and loop complementation. In this note we provide an extension of this result from GF(2) to GF(4). As a consequence, quaternary matroids are "safe" under vertex flips (vf-safe for short). As an application, we find that the matroid of a bicycle space of a quaternary matroid is independent of the chosen representation. This extends a result of Vertigan [J. Comb. Theory B (1998)] concerning the bicycle dimension of quaternary matroids.Comment: 8 pages, no figures, the contents of this paper is now merged into v2 of [arXiv:1210.7718] (except for this comment, v2 is identical to v1

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure. Here we elaborate this result, and match the number of heads to the arity of the transitive closure. More precisely, first-order logic with k-ary deterministic transitive closure has the same power as deterministic automata walking on their input with k heads, additionally using a finite set of nested pebbles. This result is valid for strings, ordered trees, and in general for families of graphs having a fixed automaton that can be used to traverse the nodes of each of the graphs in the family. Other examples of such families are grids, toruses, and rectangular mazes. For nondeterministic automata, the logic is restricted to positive occurrences of transitive closure. The special case of k=1 for trees, shows that single-head deterministic tree-walking automata with nested pebbles are characterized by first-order logic with unary deterministic transitive closure. This refines our earlier result that placed these automata between first-order and monadic second-order logic on trees.Comment: Paper for Logical Methods in Computer Science, 27 pages, 1 figur

Discrete Breathers in a Nonlinear Polarizability Model of Ferroelectrics

We present a family of discrete breathers, which exists in a nonlinear polarizability model of ferroelectric materials. The core-shell model is set up in its non-dimensionalized Hamiltonian form and its linear spectrum is examined. Subsequently, seeking localized solutions in the gap of the linear spectrum, we establish that numerically exact and potentially stable discrete breathers exist for a wide range of frequencies therein. In addition, we present nonlinear normal mode, extended spatial profile solutions from which the breathers bifurcate, as well as other associated phenomena such as the formation of phantom breathers within the model. The full bifurcation picture of the emergence and disappearance of the breathers is complemented by direct numerical simulations of their dynamical instability, when the latter arises.Comment: 9 pages, 7 figures, 1 tabl