Mean-field description of pairing effects, BKT physics, and superfluidity in 2D Bose gases

We derive a mean-field description for two-dimensional (2D) interacting Bose gases at arbitrary temperatures. We find that genuine Bose-Einstein condensation with long-range coherence only survives at zero temperature. At finite temperatures, many-body pairing effects included in our mean-field theory introduce a finite amplitude for the pairing density, which results in a finite superfluid density. We incorporate Berezinskii-Kosterlitz-Thouless (BKT) physics into our model by considering the phase fluctuations of our pairing field. This then leads to the result that the superfluid phase is only stable below the BKT temperature due to these phase fluctuations. In the weakly interacting regime at low temperature we compare our theory to previous results from perturbative calculations, renormalization group calculations as well as Monte Carlo simulations. We present a finite-temperature phase diagram of 2D Bose gases. One signature of the finite amplitude of the pairing density field is a two-peak structure in the single-particle spectral function, resembling that of the pseudogap phase in 2D attractive Fermi gases. © 2014 Elsevier Inc

Leading-Order Auxiliary Field Theory of the Bose-Hubbard Model

We discuss the phase diagram of the Bose-Hubbard (BH) model in the leading-order auxiliary field (LOAF) theory. LOAF is a conserving non-perturbative approximation that treats on equal footing the normal and anomalous density condensates. The mean-field solutions in LOAF correspond to first-order and second-order phase transition solutions with two critical temperatures corresponding to a vanishing Bose-Einstein condensate, $T_c$, and a vanishing diatom condensate, $T^\star$. The \emph{second-order} phase transition solution predicts the correct order of the transition in continuum Bose gases. For either solution, the superfluid state is tied to the presence of the diatom condensate related to the anomalous density in the system. In ultracold Bose atomic gases confined on a three-dimensional lattice, the critical temperature $T_c$ exhibits a quantum phase transition, where $T_c$ goes to zero at a finite coupling. The BH phase diagram in LOAF features a line of first-order transitions ending in a critical point beyond which the transition is second order while approaching the quantum phase transition. We identify a region where a diatom condensate is expected for temperatures higher than $T_c$ and less than $T_0$, the critical temperature of the non-interacting system. The LOAF phase diagram for the BH model compares qualitatively well with existing experimental data and results of \emph{ab initio} Monte Carlo simulations.Comment: 10 pages, 6 figure

Reliability of voting in fault-tolerant software systems for small output spaces

Under a voting strategy in a fault-tolerant software system there is a difference between correctness and agreement. An independent N-version programming reliability model is proposed for treating small output spaces which distinguishes between correctness and agreement. System reliability is investigated using analytical relationships and simulation. A consensus majority voting strategy is proposed and its performance is analyzed and compared with other voting strategies. Consensus majority strategy automatically adapts the voting to different component reliability and output space cardinality characteristics. It is shown that absolute majority voting strategy provides a lower bound on the reliability provided by the consensus majority, and 2-of-n voting strategy an upper bound. If r is the cardinality of the output space it is proved the 1/r is a lower bound on the average reliability of fault-tolerant system components below which the system reliability begins to deteriorate as more versions are added

Learning to integrate reactivity and deliberation in uncertain planning and scheduling problems

This paper describes an approach to planning and scheduling in uncertain domains. In this approach, a system divides a task on a goal by goal basis into reactive and deliberative components. Initially, a task is handled entirely reactively. When failures occur, the system changes the reactive/deliverative goal division by moving goals into the deliberative component. Because our approach attempts to minimize the number of deliberative goals, we call our approach Minimal Deliberation (MD). Because MD allows goals to be treated reactively, it gains some of the advantages of reactive systems: computational efficiency, the ability to deal with noise and non-deterministic effects, and the ability to take advantage of unforseen opportunities. However, because MD can fall back upon deliberation, it can also provide some of the guarantees of classical planning, such as the ability to deal with complex goal interactions. This paper describes the Minimal Deliberation approach to integrating reactivity and deliberation and describe an ongoing application of the approach to an uncertain planning and scheduling domain

Development of basic theories and techniques for determining stresses in rotating turbine or compressor blades

A method for measuring in-plane displacement of a rotating structure by using two laser speckle photographs is described. From the displacement measurements one can calculate strains and stresses due to a centrifugal load. This technique involves making separate speckle photographs of a test model. One photograph is made with the model loaded (model is rotating); the second photograph is made with no load on the model (model is stationary). A sandwich is constructed from the two speckle photographs and data are recovered in a manner similar to that used with conventional speckle photography. The basic theory, experimental procedures of this method, and data analysis of a simple rotating specimen are described. In addition the measurement of in-plane surface displacement components of a deformed solid, and the application of the coupled laser speckle interferometry and boundary-integral solution technique to two dimensional elasticity problems are addressed

Extended Coherence Time with Atom-Number Squeezed Sources

Coherence properties of Bose-Einstein condensates offer the potential for improved interferometric phase contrast. However, decoherence effects due to the mean-field interaction shorten the coherence time, thus limiting potential sensitivity. In this work, we demonstrate increased coherence times with number squeezed states in an optical lattice using the decay of Bloch oscillations to probe the coherence time. We extend coherence times by a factor of 2 over those expected with coherent state BEC interferometry. We observe quantitative agreement with theory both for the degree of initial number squeezing as well as for prolonged coherence times.Comment: 4 pages, 4 figure