Measurement of the B0-anti-B0-Oscillation Frequency with Inclusive Dilepton Events

The $B^0$-$\bar B^0$ oscillation frequency has been measured with a sample of 23 million \B\bar B pairs collected with the BABAR detector at the PEP-II asymmetric B Factory at SLAC. In this sample, we select events in which both B mesons decay semileptonically and use the charge of the leptons to identify the flavor of each B meson. A simultaneous fit to the decay time difference distributions for opposite- and same-sign dilepton events gives $\Delta m_d = 0.493 \pm 0.012{(stat)}\pm 0.009{(syst)}$ ps$^{-1}$.Comment: 7 pages, 1 figure, submitted to Physical Review Letter

Experimental Quantification of Entanglement Through Heat Capacity

A new experimental realization of heat capacity as an entanglement witness (EW) is reported. Entanglement properties of a low dimensional quantum spin system are investigated by heat capacity measurements performed down to very low temperatures (400mK), for various applied magnetic field values. The experimentally extracted results for the value of heat capacity at zero field matches perfectly with the theoretical estimates of entanglement from model Hamiltonians. The studied sample is a spin $\frac{1}{2}$ antiferromagnetic system which shows clear signature of quantum phase transition (QPT) at very low temperatures when the heat capacity is varied as a function of fields at a fixed temperature. The variation of entanglement as a function of field is then explored in the vicinity of the quantum phase transition to capture the sudden loss of entanglement.Comment: 8 pages, 6 figures, To be published in NJ

Partial constraint singularities in elastic rods

We present a unified classical treatment of partially constrained elastic rods. Partial constraints often entail singularities in both shapes and reactions. Our approach encompasses both sleeve and adhesion problems, and provides simple and unambiguous derivations of counterintuitive results in the literature. Relationships between reaction forces and moments, geometry, and adhesion energies follow from the balance of energy during quasistatic motion. We also relate our approach to the balance of material momentum and the concept of a driving traction. The theory is generalizable and can be applied to a wide array of contact, adhesion, gripping, and locomotion problems.Comment: edited tex

Impact-induced acceleration by obstacles

We explore a surprising phenomenon in which an obstruction accelerates, rather than decelerates, a moving flexible object. It has been claimed that the right kind of discrete chain falling onto a table falls \emph{faster} than a free-falling body. We confirm and quantify this effect, reveal its complicated dependence on angle of incidence, and identify multiple operative mechanisms. Prior theories for direct impact onto flat surfaces, which involve a single constitutive parameter, match our data well if we account for a characteristic delay length that must impinge before the onset of excess acceleration. Our measurements provide a robust determination of this parameter. This supports the possibility of modeling such discrete structures as continuous bodies with a complicated constitutive law of impact that includes angle of incidence as an input.Comment: small changes and corrections, added reference

Testing a system specified using Statecharts and Z

A hybrid specification language SZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are described using Z, has been developed for the specification of embedded systems. This paper describes an approach to testing from a deterministic sequential specification written in SZ. By considering the Z specifications of the operations, the extended finite state machine (EFSM) defined by the Statechart can be rewritten to produce an EFSM that has a number of properties that simplify test generation. Test generation algorithms are introduced and applied to an example. While this paper considers SZ specifications, the approaches described might be applied whenever the specification is an EFSM whose states and transitions are specified using a language similar to Z