Bose-Einstein Condensates in Time-Dependent Light Potentials: Adiabatic and Nonadiabatic Behavior of Nonlinear Wave Equations

The criteria for validity of adiabaticity for nonlinear wave equations are considered within the context of atomic matter-waves tunneling from macroscopically populated optical standing-wave traps loaded from a Bose-Einstein condensate. We show that even when the optical standing wave is slowly turned on and the condensate behaves adiabatically during this turn-on, once the tunneling-time between wells in the optical lattice becomes longer than the nonlinear time-scale, adiabaticity breaks down and a significant spatially varying phase develops across the condensate wave function from well to well. This phase drastically affects the contrast of the fringe pattern in Josephson-effect interference experiments, and the condensate coherence properties in general.Comment: 5 pages, 3 figure

On the Expressibility of Stable Logic Programming

(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all $\mathit{NP}$ decision problems. We extend Schlipf's result to prove that SLP solves all search problems in the class $\mathit{NP}$. Moreover, we do this in a uniform way as defined in \cite{mt99}. Specifically, we show that there is a single $\mathrm{DATALOG}^{\neg}$ program $P_{\mathit{Trg}}$ such that given any Turing machine $M$, any polynomial $p$ with non-negative integer coefficients and any input $\sigma$ of size $n$ over a fixed alphabet $\Sigma$, there is an extensional database $\mathit{edb}_{M,p,\sigma}$ such that there is a one-to-one correspondence between the stable models of $\mathit{edb}_{M,p,\sigma} \cup P_{\mathit{Trg}}$ and the accepting computations of the machine $M$ that reach the final state in at most $p(n)$ steps. Moreover, $\mathit{edb}_{M,p,\sigma}$ can be computed in polynomial time from $p$, $\sigma$ and the description of $M$ and the decoding of such accepting computations from its corresponding stable model of $\mathit{edb}_{M,p,\sigma} \cup P_{\mathit{Trg}}$ can be computed in linear time. A similar statement holds for Default Logic with respect to $\Sigma_2^\mathrm{P}$-search problems\footnote{The proof of this result involves additional technical complications and will be a subject of another publication.}.Comment: 17 page

Wissenschaft und biologisch-dynamische Forschung

Einblicke in das Empfinden, Pflanzen nach Belieben genetisch manipulieren zu können, sowie die der materialistisch gesinnten Wissenschaft gegenüberstehenden biologisch-dynamischen Herangehensweisen, werden in diesem Essay gegeben. Ergänzend wird die Notwendigkeit aufgezeigt, Methoden zu entwickeln, welche die Objektivität biologisch-dynamischer Forschungsergebnisse belegen und eine Nachvollziehbarkeit zuwege bringen

Single and double linear and nonlinear flatband chains: spectra and modes

We report results of systematic analysis of various modes in the flatband lattice, based on the diamond-chain model with the on-site cubic nonlinearity, and its double version with the linear on-site mixing between the two lattice fields. In the single-chain system, a full analysis is presented, first, for the single nonlinear cell, making it possible to find all stationary states, viz., antisymmetric, symmetric, and asymmetric ones, including an exactly investigated symmetry-breaking bifurcation of the subcritical type. In the nonlinear infinite single-component chain, compact localized states (CLSs) are found in an exact form too, as an extension of known compact eigenstates of the linear diamond chain. Their stability is studied by means of analytical and numerical methods, revealing a nontrivial stability boundary. In addition to the CLSs, various species of extended states and exponentially localized lattice solitons of symmetric and asymmetric types are studied too, by means of numerical calculations and variational approximation. As a result, existence and stability areas are identified for these modes. Finally, the linear version of the double diamond chain is solved in an exact form, producing two split flatbands in the system's spectrum.Comment: Phys. Rev E, in pres

Spontaneous symmetry breaking of self-trapped and leaky modes in quasi-double-well potentials

We investigate competition between two phase transitions of the second kind induced by the self-attractive nonlinearity, viz., self-trapping of the leaky modes, and spontaneous symmetry breaking (SSB) of both fully trapped and leaky states. We use a one-dimensional mean-field model, which combines the cubic nonlinearity and a double-well-potential (DWP) structure with an elevated floor, which supports leaky modes (quasi-bound states) in the linear limit. The setting can be implemented in nonlinear optics and BEC. The order in which the SSB and self-trapping transitions take place with the growth of the nonlinearity strength depends on the height of the central barrier of the DWP: the SSB happens first if the barrier is relatively high, while self-trapping comes first if the barrier is lower. The SSB of the leaky modes is characterized by specific asymmetry of their radiation tails, which, in addition, feature a resonant dependence on the relation between the total size of the system and radiation wavelength. As a result of the SSB, the instability of symmetric modes initiates spontaneous Josephson oscillations. Collisions of freely moving solitons with the DWP structure admit trapping of an incident soliton into a state of persistent shuttle motion, due to emission of radiation. The study is carried out numerically, and basic results are explained by means of analytical considerations.Comment: Physical Review A, in pres