Online Makespan Minimization with Parallel Schedules

In online makespan minimization a sequence of jobs $\sigma = J_1,..., J_n$ has to be scheduled on $m$ identical parallel machines so as to minimize the maximum completion time of any job. We investigate the problem with an essentially new model of resource augmentation. Here, an online algorithm is allowed to build several schedules in parallel while processing $\sigma$. At the end of the scheduling process the best schedule is selected. This model can be viewed as providing an online algorithm with extra space, which is invested to maintain multiple solutions. The setting is of particular interest in parallel processing environments where each processor can maintain a single or a small set of solutions. We develop a (4/3+\eps)-competitive algorithm, for any 0<\eps\leq 1, that uses a number of 1/\eps^{O(\log (1/\eps))} schedules. We also give a (1+\eps)-competitive algorithm, for any 0<\eps\leq 1, that builds a polynomial number of (m/\eps)^{O(\log (1/\eps) / \eps)} schedules. This value depends on $m$ but is independent of the input $\sigma$. The performance guarantees are nearly best possible. We show that any algorithm that achieves a competitiveness smaller than 4/3 must construct $\Omega(m)$ schedules. Our algorithms make use of novel guessing schemes that (1) predict the optimum makespan of a job sequence $\sigma$ to within a factor of 1+\eps and (2) guess the job processing times and their frequencies in $\sigma$. In (2) we have to sparsify the universe of all guesses so as to reduce the number of schedules to a constant. The competitive ratios achieved using parallel schedules are considerably smaller than those in the standard problem without resource augmentation

Deterministic Priority Mean-payoff Games as Limits of Discounted Games

International audienceInspired by the paper of de Alfaro, Henzinger and Majumdar about discounted $\mu$-calculus we show new surprising links between parity games and different classes of discounted games

A quantum beam splitter for atoms

An interferometric method is proposed to controllably split an atomic condensate in two spatial components with strongly reduced population fluctuations. All steps in our proposal are in current use in cold atom laboratories, and we show with a theoretical calculation that our proposal is very robust against imperfections of the interferometer.Comment: 6 pages, 3 figures, revtex

Monte Carlo simulation of ice models

We propose a number of Monte Carlo algorithms for the simulation of ice models and compare their efficiency. One of them, a cluster algorithm for the equivalent three colour model, appears to have a dynamic exponent close to zero, making it particularly useful for simulations of critical ice models. We have performed extensive simulations using our algorithms to determine a number of critical exponents for the square ice and F models.Comment: 32 pages including 15 postscript figures, typeset in LaTeX2e using the Elsevier macro package elsart.cl

Bogoliubov theory of entanglement in a Bose-Einstein condensate

We consider a Bose-Einstein condensate which is illuminated by a short resonant light pulse that coherently couples two internal states of the atoms. We show that the subsequent time evolution prepares the atoms in an interesting entangled state called a spin squeezed state. This evolution is analysed in detail by developing a Bogoliubov theory which describes the entanglement of the atoms. Our calculation is a consistent expansion in $1/\sqrt{N}$, where $N$ is the number of particles in the condensate, and our theory predict that it is possible to produce spin squeezing by at least a factor of $1/\sqrt{N}$. Within the Bogoliubov approximation this result is independent of temperature.Comment: 14 pages, including 5 figures, minor changes in the presentatio

Chemical-potential standard for atomic Bose-Einstein condensates

When subject to an external time periodic perturbation of frequency $f$, a Josephson-coupled two-state Bose-Einstein condensate responds with a constant chemical potential difference $\Delta\mu=khf$, where $h$ is Planck's constant and $k$ is an integer. We propose an experimental procedure to produce ac-driven atomic Josephson devices that may be used to define a standard of chemical potential. We investigate how to circumvent some of the specific problems derived from the present lack of advanced atom circuit technology. We include the effect of dissipation due to quasiparticles, which is essential to help the system relax towards the exact Shapiro resonance, and set limits to the range of values which the various physical quantities must have in order to achieve a stable and accurate chemical potential difference between the macroscopic condensates.Comment: 13 pages, 4 figure

Dissipative Dynamics of a Josephson Junction In the Bose-Gases

The dissipative dynamics of a Josephson junction in the Bose-gases is considered within the framework of the model of a tunneling Hamiltonian. The effective action which describes the dynamics of the phase difference across the junction is derived using functional integration method. The dynamic equation obtained for the phase difference across the junction is analyzed for the finite temperatures in the low frequency limit involving the radiation terms. The asymmetric case of the Bose-gases with the different order parameters is calculated as well

Evolution of the macroscopically entangled states in optical lattices

We consider dynamics of boson condensates in finite optical lattices under a slow external perturbation which brings the system to the unstable equilibrium. It is shown that quantum fluctuations drive the condensate into the maximally entangled state. We argue that the truncated Wigner approximation being a natural generalization of the Gross-Pitaevskii classical equations of motion is adequate to correctly describe the time evolution including both collapse and revival of the condensate.Comment: 14 pages, 10 figures, Discussion of reversibility of entanglement is adde

Leptogenesis with Heavy Majorana Neutrinos Reexamined

The mass term for Majorana neutrinos explicitly violates lepton number. Several authors have used this fact to create a lepton asymmetry in the universe by considering CP violating effects in the one loop self-energy correction for the decaying heavy Majorana neutrino. We compare and comment on the different approaches used to calculate the lepton asymmetry including those using an effective Hamiltonian and resummed propagators. We also recalculate the asymmetry in the small mass difference limit.Comment: 16 pages, LaTex, 1 figure included. 2 footnotes and 1 reference adde

Spin squeezing and pairwise entanglement for symmetric multiqubit states

We show that spin squeezing implies pairwise entanglement for arbitrary symmetric multiqubit states. If the squeezing parameter is less than or equal to 1, we demonstrate a quantitative relation between the squeezing parameter and the concurrence for the even and odd states. We prove that the even states generated from the initial state with all qubits being spin down, via the one-axis twisting Hamiltonian, are spin squeezed if and only if they are pairwise entangled. For the states generated via the one-axis twisting Hamiltonian with an external transverse field for any number of qubits greater than 1 or via the two-axis counter-twisting Hamiltonian for any even number of qubits, the numerical results suggest that such states are spin squeezed if and only if they are pairwise entangled.Comment: 6 pages. Version 3: Small corrections were mad