2,406 research outputs found
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
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
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
power law over almost a decade of length or wavenumber () scales.
The kinetic energy spectrum of regime (C) exhibits a clear power law
associated with an inertial range for weak-wave turbulence, and a
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
The Josephson plasmon as a Bogoliubov quasiparticle
We study the Josephson effect in alkali atomic gases within the two-mode
approximation and show that there is a correspondence between the Bogoliubov
description and the harmonic limit of the phase representation. We demonstrate
that the quanta of the Josephson plasmon can be identified with the Bogoliubov
excitations of the two-site Bose fluid. We thus establish a mapping between the
Bogoliubov approximation for the many-body theory and the linearized pendulum
Hamiltonian.Comment: 9 pages, LaTeX, submitted to J. Phys.
Regular spatial structures in arrays of Bose-Einstein condensates induced by modulational instability
We show that the phenomenon of modulational instability in arrays of
Bose-Einstein condensates confined to optical lattices gives rise to coherent
spatial structures of localized excitations. These excitations represent thin
disks in 1D, narrow tubes in 2D, and small hollows in 3D arrays, filled in with
condensed atoms of much greater density compared to surrounding array sites.
Aspects of the developed pattern depend on the initial distribution function of
the condensate over the optical lattice, corresponding to particular points of
the Brillouin zone. The long-time behavior of the spatial structures emerging
due to modulational instability is characterized by the periodic recurrence to
the initial low-density state in a finite optical lattice. We propose a simple
way to retain the localized spatial structures with high atomic concentration,
which may be of interest for applications. Theoretical model, based on the
multiple scale expansion, describes the basic features of the phenomenon.
Results of numerical simulations confirm the analytical predictions.Comment: 17 pages, 13 figure
The N boson time dependent problem: an exact approach with stochastic wave functions
We present a numerically tractable method to solve exactly the evolution of a
N boson system with binary interactions. The density operator of the system rho
is obtained as the stochastic average of particular operators |Psi_1><Psi_2| of
the system. The states |Psi_{1,2}> are either Fock states |N:phi_{1,2}> or
coherent states |coh:phi_{1,2}> with each particle in the state phi_{1,2}. We
determine the conditions on the evolution of phi_{1,2} -which involves a
stochastic element- under which we recover the exact evolution of rho. We
discuss various possible implementations of these conditions. The well known
positive P-representation arises as a particular case of the coherent state
ansatz. We treat numerically two examples: a two-mode system and a
one-dimensional harmonically confined gas. These examples, together with an
analytical estimate of the noise, show that the Fock state ansatz is the most
promising one in terms of precision and stability of the numerical solution.Comment: 21 pages, 5 figures, submitted to Phys.Rev.
Quantum dynamics of evaporatively cooled Bose-Einstein Condensates
We report on dynamical simulations of Bose-Einstein condensation via
evaporative cooling in an atomic trap. The results show evidence for
spontaneous vortex formation and quantum dynamics in small traps.Comment: 4 pages, 3 figure
Search for Magnetic Monopoles Trapped in Matter
There have been many searches for magnetic monopoles in flight, but few for
monopoles in matter. We have searched for magnetic monopoles in meteorites,
schists, ferromanganese nodules, iron ores and other materials. The detector
was a superconducting induction coil connected to a SQUID (Superconducting
Quantum Interference Device) with a room temperature bore 15 cm in diameter. We
tested a total of more than 331 kg of material including 112 kg of meteorites.
We found no monopole and conclude the overall monopole/nucleon ratio in the
samples is with a 90\% confidence level.Comment: 6 pages, rev tex, no figure
Growth and Feed Efficiency of Juvenile Channel Catfish Reared at Different Water Temperatures and Fed Diets Containing Various Levels of Fish Meal
Channel catfish Ictalurus punctatus do not feed well at low temperatures. It is generally thought that a diet containing fish meal enhances feed palatability at low temperatures since fish meal is highly palatable to fish. There is a lack of information on the effects of fish meal levels on the growth performance of channel catfish reared at low temperatures. Therefore, a study was conducted in a recirculating system to examine the effects of fish meal levels on the feed consumption, weight gain, and feed efficiency of juvenile channel catfish reared at various temperatures. Fish with an initial weight of 9.6 ± 0.1 g were stocked in 23-L clear polycarbonate tanks maintained at approximately 17, 21, or 27 °C. The fish were fed with diets containing 0, 4, or 8% menhaden Brevoortia spp. fish meal for 9 weeks. There was a significant interaction between water temperature and fish meal level with respect to weight gain. At 27 °C, fish fed diets containing 4% and 8% fish meal gained significantly more weight than fish fed the all-plantprotein diet. However, the level of fish meal had no significant effect on the weight gain of fish at 17 °C or 21 °C. This suggests that the olfactory and gustatory responses of channel catfish to fish meal (up to 8% in the diet) may not be as sensitive at low temperatures as at optimum temperatures. The results also indicate that more than 4% fish meal in the diet is not beneficial for the optimum growth and feed efficiency of channel catfish fingerlings raised at 27 °C
New Wolf-Rayet Galaxies with Detection of WC Stars
We report the discovery of two new Wolf-Rayet (WR) galaxies: Mrk~1039, and
F082082816. Two broad WR bumps at 5808\AA~ and 4650\AA~ indicate the
presence of WCE and WNL star population in all two sources. We also confirm the
presenceof WR features in Mrk~35, previously detected in a different position.
The observed equivalent width of the WR bump at 4650\AA~ and the derived number
ratios of WR/(WRO) imply that star formation in these sources takes place
inshort burst duration. Comparisons with the recent models of WR populations in
young starbursts with the observed EW(\HeII)/EW(\CIV)/EW(WRbump) and their
relative intensitie provide an indication that the stellar initial mass
function in some WR galaxies might not be Salpeter-like. It is interesting to
find that the luminous IRAS source, F082082816, has little dust reddening,
probably because of the existence of a powerful superwind. By comparisons with
other starbursts observed with the Hopkins Ultraviolet Telescope, F082082816
as a merging system renders a chance to study the contribution from young
starbursts to the UV background radiation in universe.Comment: 22 pages, 6 figures, 4 tables, accepted by The Astrophysical Journa
- âŠ