32,156 research outputs found
On Canonical Models for Rational Functions over Infinite Words
This paper investigates canonical transducers for rational functions over infinite words, i.e. functions of infinite words defined by finite transducers. We first consider sequential functions, defined by finite transducers with a deterministic underlying automaton. We provide a Myhill-Nerodelike characterization, in the vein of Choffrut’s result over finite words, from which we derive an algorithm that computes a transducer realizing the function which is minimal and unique (up to the automaton for the domain). The main contribution of the paper is the notion of a canonical transducer for rational functions over infinite words, extending the notion of canonical bimachine due to Reutenauer and Schützenberger from finite to infinite words. As an application, we show that the canonical transducer is aperiodic whenever the function is definable by some aperiodic transducer, or equivalently, by a first-order transduction. This allows to decide whether a rational function of infinite words is first-order definable.SCOPUS: cp.pinfo:eu-repo/semantics/publishe
The structure of the infinite models in integer programming
The infinite models in integer programming can be described as the convex
hull of some points or as the intersection of halfspaces derived from valid
functions. In this paper we study the relationships between these two
descriptions. Our results have implications for corner polyhedra. One
consequence is that nonnegative, continuous valid functions suffice to describe
corner polyhedra (with or without rational data)
Holomorphic self-maps of singular rational surfaces
We give a new proof of the classification of normal singular surface germs
admitting non-invertible holomorphic self-maps and due to J. Wahl. We then draw
an analogy between the birational classification of singular holomorphic
foliations on surfaces, and the dynamics of holomorphic maps. Following this
analogy, we introduce the notion of minimal holomorphic model for holomorphic
maps. We give sufficient conditions which ensure the uniqueness of such a
model.Comment: 37 pages. To appear in Publicacions Matematiques
Bäcklund transformations, energy shift and the plane wave limit
We discuss basic properties of the Bäcklund transformations for the classical string in AdS space in the context of the null-surface perturbation theory. We explain the relation between the Bäcklund transformations and the energy shift of the dual field theory state. We show that the Bäcklund transformations can be represented as a finite-time evolution generated by a special linear combination of the Pohlmeyer charges. This is a manifestation of the general property of Bäcklund transformations known as spectrality. We also discuss the plane wave limit
Quantum and Classical Integrable Systems
The key concept discussed in these lectures is the relation between the
Hamiltonians of a quantum integrable system and the Casimir elements in the
underlying hidden symmetry algebra. (In typical applications the latter is
either the universal enveloping algebra of an affine Lie algebra, or its
q-deformation.) A similar relation also holds in the classical case. We discuss
different guises of this very important relation and its implication for the
description of the spectrum and the eigenfunctions of the quantum system.
Parallels between the classical and the quantum cases are thoroughly discussed.Comment: 59 pages, LaTeX2.09 with AMS symbols. Lectures at the CIMPA Winter
School on Nonlinear Systems, Pondicherry, January 199
- …