52 research outputs found
Two-Way Visibly Pushdown Automata and Transducers
Automata-logic connections are pillars of the theory of regular languages.
Such connections are harder to obtain for transducers, but important results
have been obtained recently for word-to-word transformations, showing that the
three following models are equivalent: deterministic two-way transducers,
monadic second-order (MSO) transducers, and deterministic one-way automata
equipped with a finite number of registers. Nested words are words with a
nesting structure, allowing to model unranked trees as their depth-first-search
linearisations. In this paper, we consider transformations from nested words to
words, allowing in particular to produce unranked trees if output words have a
nesting structure. The model of visibly pushdown transducers allows to describe
such transformations, and we propose a simple deterministic extension of this
model with two-way moves that has the following properties: i) it is a simple
computational model, that naturally has a good evaluation complexity; ii) it is
expressive: it subsumes nested word-to-word MSO transducers, and the exact
expressiveness of MSO transducers is recovered using a simple syntactic
restriction; iii) it has good algorithmic/closure properties: the model is
closed under composition with a unambiguous one-way letter-to-letter transducer
which gives closure under regular look-around, and has a decidable equivalence
problem
Bi-Polaron and N-Polaron Binding Energies
The binding of polarons, or its absence, is an old and subtle topic. Here we
prove two things rigorously. First, the transition from many-body collapse to
the existence of a thermodynamic limit for N polarons occurs precisely at
U=2\alpha, where U is the electronic Coulomb repulsion and \alpha is the
polaron coupling constant. Second, if U is large enough, there is no
multi-polaron binding of any kind. Considering the known fact that there is
binding for some U>2\alpha, these conclusions are not obvious and their proof
has been an open problem for some time.Comment: 4 page
BDD-based heuristics for binary optimization
In this paper we introduce a new method for generating heuristic solutions to binary optimization problems. We develop a technique based on binary decision diagrams. We use these structures to provide an under-approximation to the set of feasible solutions. We show that the proposed algorithm delivers comparable solutions to a state-of-the-art general-purpose optimization solver on randomly generated set covering and set packing problems
Froehlich Polaron and Bipolaron: Recent Developments
It is remarkable how the Froehlich polaron, one of the simplest examples of a
Quantum Field Theoretical problem, as it basically consists of a single fermion
interacting with a scalar Bose field of ion displacements, has resisted full
analytical or numerical solution at all coupling since 1950, when its
Hamiltonian was first written. The field has been a testing ground for
analytical, semi-analytical, and numerical techniques, such as path integrals,
strong-coupling perturbation expansion, advanced variational, exact
diagonalisation (ED), and quantum Monte Carlo (QMC) techniques. This article
reviews recent developments in the field of continuum and discrete (lattice)
Froehlich (bi)polarons starting with the basics and covering a number of active
directions of research.Comment: 131 pages, 17 figures, 409 references, appear in Reports on Progress
in Physic
The Influence of Social Comparison on Visual Representation of One's Face
Can the effects of social comparison extend beyond explicit evaluation to visual self-representation—a perceptual stimulus that is objectively verifiable, unambiguous, and frequently updated? We morphed images of participants' faces with attractive and unattractive references. With access to a mirror, participants selected the morphed image they perceived as depicting their face. Participants who engaged in upward comparison with relevant attractive targets selected a less attractive morph compared to participants exposed to control images (Study 1). After downward comparison with relevant unattractive targets compared to control images, participants selected a more attractive morph (Study 2). Biased representations were not the products of cognitive accessibility of beauty constructs; comparisons did not influence representations of strangers' faces (Study 3). We discuss implications for vision, social comparison, and body image
- …