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