Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Polarization dependence of four-wave mixing in a degenerate two-level system

Nearly degenerate four-wave mixing (NDFWM) within a closed degenerate two-level atomic transition is theoretically and experimentally examined. Using the model presented by A. Lezama et al [Phys. Rev. A 61, 013801 (2000)] the NDFWM spectra corresponding to different pump and probe polarization cases are calculated and discussed. The calculated spectra are compared to the observation of NDFWM within the $6S_{1/2}(F=4)\to 6P_{3/2}(F=5)$ transition of cesium in a phase conjugation experiment using magneto optically cooled atomsComment: 10 pages, 13 figures; submitted to Phys. Rev.

Coherent spin control by electromagnetic vacuum fluctuations

In coherent control, electromagnetic vacuum fluctuations usually cause coherence loss through irreversible spontaneous emission. However, since the dissipation via emission is essentially due to correlation of the fluctuations, when emission ends in a superposition of multiple final states, correlation between different pathways may build up if the "which-way" information is not fully resolved (i.e., the emission spectrum is broader than the transition energy range). Such correlation can be exploited for spin-flip control in a $\Lambda$-type three-level system, which manifests itself as an all-optical spin echo in nonlinear optics with two orders of optical fields saved as compared with stimulated Raman processes. This finding represents a new class of optical nonlinearity induced by electromagnetic vacuum fluctuations.Comment: 7 pages including 5 figure

Systematic effects and a new determination of the primordial abundance of 4He and dY/dZ from observations of blue compact galaxies

We use spectroscopic observations of a sample of 82 HII regions in 76 blue compact galaxies to determine the primordial helium abundance Yp and the slope dY/dZ from the Y-O/H linear regression. To improve the accuracy of the dY/dZ measurement, we have included new spectrophotometric observations of 33 HII regions which span a large metallicity range, with oxygen abundance 12+log(O/H) varying between 7.43 and 8.30 (Zsun/30<Z<Zsun/4). For a subsample of 7 HII regions, we derive the He mass fraction taking into account known systematic effects, including collisional and fluorescent enhancements of HeI emission lines, collisional excitation of hydrogen emission, underlying stellar HeI absorption and the difference between the temperatures Te(HeII) in the He^+ zone and Te(OIII) derived from the collisionally excited [OIII] lines. We find that the net result of all the systematic effects combined is small, changing the He mass fraction by less than 0.6%. By extrapolating the Y vs. O/H linear regression to O/H=0 for 7 HII regions of this subsample, we obtain Yp=0.2421+/-0.0021 and dY/dO=5.7+/-1.8, which corresponds to dY/dZ=3.7+/-1.2, assuming the oxygen mass fraction to be O=0.66Z. In the framework of the standard Big Bang nucleosynthesis theory, this Yp corresponds to Omega_b h^2 = 0.012^+0.003_-0.002, where h is the Hubble constant in units of 100 km/s/Mpc. This is smaller at the 2sigma level than the value obtained from recent deuterium abundance and microwave background radiation measurements. The linear regression slope dY/dO=4.3+/-0.7 (corresponding to dY/dZ=2.8+/-0.5) for the whole sample of 82 HII regions is similar to that derived for the subsample of 7 HII regions, although it has a considerably smaller uncertainty.Comment: 53 pages, 3 Postscript figures, accepted for publication in the Astrophysical Journa

Non-equilibrium dynamics: Studies of reflection of Bose-Einstein condensates

The study of the non-equilibrium dynamics in Bose-Einstein condensed gases has been dominated by the zero-temperature, mean field Gross-Pitaevskii formalism. Motivated by recent experiments on the reflection of condensates from silicon surfaces, we revisit the so-called {\em classical field} description of condensate dynamics, which incorporates the effects of quantum noise and can also be generalized to include thermal effects. The noise is included in a stochastic manner through the initial conditions. We show that the inclusion of such noise is important in the quantitative description of the recent reflection experiments

Helicity Modulus and Meissner Effect in a Fluctuating Type II Superconductor

The helicity modulus for a fluctuating type II superconductor is computed within the elastic medium approximation, as a probe of superconducting phase coherence and the Meissner effect in the mixed state. We argue that at the vortex line lattice melting transition, there remains superconducting coherence parallel to the applied magnetic field, provided the vortex line liquid retains a finite shear modulus at finite wavevector.Comment: 10 pages, 0 figures, RevTex3.0, UR-93-ST0

Spatial fragmentation of a Bose-Einstein condensate in a double-well potential

We present a theoretical study of the ground state of a Bose-Einstein condensate with repulsive inter-particle interactions in a double-well potential, using a restricted variational principle. Within such an approach, there is a transition from a single condensate to a fragmented condensate as the strength of the central barrier of the potential is increased. We determine the nature of this transition through approximate analytic as well as numerical solutions of our model in the regime where the inter-particle interactions can be treated perturbatively. The degree of fragmentation of the condensate is characterized by the degrees of first-order and second-order spatial coherence across the barrier.Comment: 10 pages, 2 figures, submitted to Phys. Rev.

Classical and quantum regimes of two-dimensional turbulence in trapped Bose-Einstein condensates

We investigate two-dimensional turbulence in finite-temperature trapped Bose-Einstein condensates within damped Gross-Pitaevskii theory. Turbulence is produced via circular motion of a Gaussian potential barrier stirring the condensate. We systematically explore a range of stirring parameters and identify three regimes, characterized by the injection of distinct quantum vortex structures into the condensate: (A) periodic vortex dipole injection, (B) irregular injection of a mixture of vortex dipoles and co-rotating vortex clusters, and (C) continuous injection of oblique solitons that decay into vortex dipoles. Spectral analysis of the kinetic energy associated with vortices reveals that regime (B) can intermittently exhibit a Kolmogorov $k^{-5/3}$ power law over almost a decade of length or wavenumber ($k$) scales. The kinetic energy spectrum of regime (C) exhibits a clear $k^{-3/2}$ power law associated with an inertial range for weak-wave turbulence, and a $k^{-7/2}$ power law for high wavenumbers. We thus identify distinct regimes of forcing for generating either two-dimensional quantum turbulence or classical weak-wave turbulence that may be realizable experimentally.Comment: 11 pages, 10 figures. Minor updates to text and figures 1, 2 and

Double marking revisited

In 2002, the Qualifications and Curriculum Authority (QCA) published the report of an independent panel of experts into maintaining standards at Advanced Level (A-Level). One of its recommendations was for: ‘limited experimental double marking of scripts in subjects such as English to determine whether the strategy would signi-ficantly reduce errors of measurement’ (p. 24). This recommendation provided the impetus for this paper which reviews the all but forgotten literature on double marking and considers its relevance now