Phase Diagram of the BCC S=1/2 Heisenberg Antiferromagnet with First and Second Neighbor Exchange

We use linked-cluster series expansions, both at T=0 and high temperature, to analyse the phase structure of the spin-\half Heisenberg antiferromagnet with competing first and second-neighbor interactions on the 3-dimensional body-centred-cubic lattice. At zero temperature we find a first-order quantum phase transition at $J_2/J_1 \simeq 0.705 \pm 0.005$ between AF$_1$ (Ne\'el) and AF$_2$ ordered phases. The high temperature series yield quite accurate estimates of the bounding critical line for the AF$_1$ phase, and an apparent critical line for the AF$_2$ phase, with a bicritical point at $J_1/J_2\simeq 0.71$, $kT/J_1\simeq 0.34$. The possibility that this latter transition is first-order cannot be excluded.Comment: 10 pages, 4 figure

Vector Bin Packing with Multiple-Choice

We consider a variant of bin packing called multiple-choice vector bin packing. In this problem we are given a set of items, where each item can be selected in one of several $D$-dimensional incarnations. We are also given $T$ bin types, each with its own cost and $D$-dimensional size. Our goal is to pack the items in a set of bins of minimum overall cost. The problem is motivated by scheduling in networks with guaranteed quality of service (QoS), but due to its general formulation it has many other applications as well. We present an approximation algorithm that is guaranteed to produce a solution whose cost is about $\ln D$ times the optimum. For the running time to be polynomial we require $D=O(1)$ and $T=O(\log n)$. This extends previous results for vector bin packing, in which each item has a single incarnation and there is only one bin type. To obtain our result we also present a PTAS for the multiple-choice version of multidimensional knapsack, where we are given only one bin and the goal is to pack a maximum weight set of (incarnations of) items in that bin

Distributed Consensus, Revisited

We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular class of failure detectors (Diamond S or, equivalently, Omega), under the hypothesis that only a minority of processes may crash. The model is defined as a global transition system that is unambigously generated by local transition rules. The model is syntax-free in that it does not refer to any form of programming language or pseudo code. We use our model to formally prove that the algorithm is correct

Anonymous Asynchronous Systems: The Case of Failure Detectors

Due the multiplicity of loci of control, a main issue distributed systems have to cope with lies in the uncertainty on the system state created by the adversaries that are asynchrony, failures, dynamicity, mobility, etc. Considering message-passing systems, this paper considers the uncertainty created by the net effect of three of these adversaries, namely, asynchrony, failures, and anonymity. This means that, in addition to be asynchronous and crash-prone, the processes have no identity. Trivially, agreement problems (e.g., consensus) that cannot be solved in presence of asynchrony and failures cannot be solved either when adding anonymity. The paper consequently proposes anonymous failure detectors to circumvent these impossibilities. It has several contributions. First it presents three classes of failure detectors (denoted AP, A∩ and A∑) and show that they are the anonymous counterparts of the classes of perfect failure detectors, eventual leader failure detectors and quorum failure detectors, respectively. The class A∑ is new and showing it is the anonymous counterpart of the class ∑ is not trivial. Then, the paper presents and proves correct a genuinely anonymous consensus algorithm based on the pair of anonymous failure detector classes (A∩, A∑) (“genuinely” means that, not only processes have no identity, but no process is aware of the total number of processes). This new algorithm is not a “straightforward extension” of an algorithm designed for non-anonymous systems. To benefit from A∑, it uses a novel message exchange pattern where each phase of every round is made up of sub-rounds in which appropriate control information is exchanged. Finally, the paper discusses the notions of failure detector class hierarchy and weakest failure detector class for a given problem in the context of anonymous systems

Freezing and large time scales induced by geometrical frustration

We investigate the properties of an effective Hamiltonian with competing interactions involving spin and chirality variables, relevant for the description of the {\it trimerized} version of the spin-1/2 {\it kagome} antiferromagnet. Using classical Monte Carlo simulations, we show that remarkable behaviors develop at very low temperatures. Through an {\it order by disorder} mechanism, the low-energy states are characterized by a dynamical freezing of the chiralities, which decouples the lattice into ``dimers'' and ``triangles'' of antiferromagnetically coupled spins. Under the presence of an external magnetic field, the particular topology of the chiralities induces a very slow spin dynamics, reminiscent of what happens in ordinary spin glasses.Comment: 12 pages, 13 figure

Phase Diagram of a Spin Ladder with Cyclic Four Spin Exchange

We present the phase diagram of the $S=1/2$ Heisenberg model on the two leg ladder with cyclic four spin exchange, determined by a combination of Exact Diagonalization and Density Matrix Renormalization Group techniques. We find six different phases and regimes: the rung singlet phase, a ferromagnetic phase, two symmetry broken phases with staggered dimers and staggered scalar chiralities, and a gapped region with dominant vector chirality or collinear spin correlations. We localize the phase transitions and investigate their nature.Comment: 4 pages, 6 figures, REVTeX 4, published versio

Homologous Flares and Magnetic Field Topology in Active Region NOAA 10501 on 20 November 2003

We present and interpret observations of two morphologically homologous flares that occurred in active region (AR) NOAA 10501 on 20 November 2003. Both flares displayed four homologous H-alpha ribbons and were both accompanied by coronal mass ejections (CMEs). The central flare ribbons were located at the site of an emerging bipole in the center of the active region. The negative polarity of this bipole fragmented in two main pieces, one rotating around the positive polarity by ~ 110 deg within 32 hours. We model the coronal magnetic field and compute its topology, using as boundary condition the magnetogram closest in time to each flare. In particular, we calculate the location of quasiseparatrix layers (QSLs) in order to understand the connectivity between the flare ribbons. Though several polarities were present in AR 10501, the global magnetic field topology corresponds to a quadrupolar magnetic field distribution without magnetic null points. For both flares, the photospheric traces of QSLs are similar and match well the locations of the four H-alpha ribbons. This globally unchanged topology and the continuous shearing by the rotating bipole are two key factors responsible for the flare homology. However, our analyses also indicate that different magnetic connectivity domains of the quadrupolar configuration become unstable during each flare, so that magnetic reconnection proceeds differently in both events.Comment: 24 pages, 10 figures, Solar Physics (accepted

On the Scalability of Snapshot Isolation

International audienceMany distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help with scalability of a transactional system: genuine partial replication (GPR), which leverages the intrinsic parallelism of a workload, and snapshot isolation (SI), which decreases the need for synchronization. We show that under standard assumptions (data store accesses are not known in advance, and transactions may access arbitrary objects in the data store), it is impossible to have both SI and GPR. Our impossibility result is based on a novel decomposition of SI which proves that, like serializability, SI is expressible on plain histories

Quantum disorder in the two-dimensional pyrochlore Heisenberg antiferromagnet

We present the results of an exact diagonalization study of the spin-1/2 Heisenberg antiferromagnet on a two-dimensional version of the pyrochlore lattice, also known as the square lattice with crossings or the checkerboard lattice. Examining the low energy spectra for systems of up to 24 spins, we find that all clusters studied have non-degenerate ground states with total spin zero, and big energy gaps to states with higher total spin. We also find a large number of non-magnetic excitations at energies within this spin gap. Spin-spin and spin-Peierls correlation functions appear to be short-ranged, and we suggest that the ground state is a spin liquid.Comment: 7 pages, 11 figures, RevTeX minor changes made, Figure 6 correcte

Distributed automated manufacturing of pluripotent stem cell products

Establishing how to effectively manufacture cell therapies is an industry-level problem. Decentralised manufacturing is of increasing importance, and its challenges are recognised by healthcare regulators with deviations and comparability issues receiving specific attention from them. This paper is the first to report the deviations and other risks encountered when implementing the expansion of human pluripotent stem cells (hPSCs) in an automated three international site–decentralised manufacturing setting. An experimental demonstrator project expanded a human embryonal carcinoma cell line (2102Ep) at three development sites in France, Germany and the UK using the CompacT SelecT (Sartorius Stedim, Royston, UK) automated cell culture platform. Anticipated variations between sites spanned material input, features of the process itself and production system details including different quality management systems and personnel. Where possible, these were pre-addressed by implementing strategies including standardisation, cell bank mycoplasma testing and specific engineering and process improvements. However, despite such measures, unexpected deviations occurred between sites including software incompatibility and machine/process errors together with uncharacteristic contaminations. Many only became apparent during process proving or during the process run. Further, parameters including growth rate and viability discrepancies could only be determined post-run, preventing ‘live’ corrective measures. The work confirms the critical nature of approaches usually taken in Good Manufacturing Practice (GMP) manufacturing settings and especially emphasises the requirement for monitoring steps to be included within the production system. Real-time process monitoring coupled with carefully structured quality systems is essential for multiple site working including clarity of decision-making roles. Additionally, an over-reliance upon post-process visual microscopic comparisons has major limitations; it is difficult for non-experts to detect deleterious culture changes and such detection is slow