369 research outputs found
Algebraic totality, towards completeness
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose
objects can be seen as linearly topologised spaces, (a class of topological
vector spaces introduced by Lefschetz in 1942) and morphisms as continuous
linear maps. First, we recall definitions of finiteness spaces and describe
their basic properties deduced from the general theory of linearly topologised
spaces. Then we give an interpretation of LL based on linear algebra. Second,
thanks to separation properties, we can introduce an algebraic notion of
totality candidate in the framework of linearly topologised spaces: a totality
candidate is a closed affine subspace which does not contain 0. We show that
finiteness spaces with totality candidates constitute a model of classical LL.
Finally, we give a barycentric simply typed lambda-calculus, with booleans
and a conditional operator, which can be interpreted in this
model. We prove completeness at type for
every n by an algebraic method
Extracting Atoms on Demand with Lasers
We propose a scheme that allows to coherently extract cold atoms from a
reservoir in a deterministic way. The transfer is achieved by means of
radiation pulses coupling two atomic states which are object to different
trapping conditions. A particular realization is proposed, where one state has
zero magnetic moment and is confined by a dipole trap, whereas the other state
with non-vanishing magnetic moment is confined by a steep microtrap potential.
We show that in this setup a predetermined number of atoms can be transferred
from a reservoir, a Bose-Einstein condensate, into the collective quantum state
of the steep trap with high efficiency in the parameter regime of present
experiments.Comment: 11 pages, 8 figure
Strangeness Enhancement in and Interactions at SPS Energies
The systematics of strangeness enhancement is calculated using the HIJING and
VENUS models and compared to recent data on , and
collisions at CERN/SPS energies (). The HIJING model is used to
perform a {\em linear} extrapolation from to . VENUS is used to
estimate the effects of final state cascading and possible non-conventional
production mechanisms. This comparison shows that the large enhancement of
strangeness observed in collisions, interpreted previously as possible
evidence for quark-gluon plasma formation, has its origins in non-equilibrium
dynamics of few nucleon systems. % Strangeness enhancement %is therefore traced
back to the change in the production dynamics %from to minimum bias
and central collisions. A factor of two enhancement of at
mid-rapidity is indicated by recent data, where on the average {\em one}
projectile nucleon interacts with only {\em two} target nucleons. There appears
to be another factor of two enhancement in the light ion reaction relative
to , when on the average only two projectile nucleons interact with two
target ones.Comment: 29 pages, 8 figures in uuencoded postscript fil
New mechanism for the production of the extremely fast light particles in heavy-ion collisions in the Fermi energy domain
Employing a four-body classical model, various mechanisms responsible for the
production of fast light particles in heavy ion collisions at low and
intermediate energies have been studied. It has been shown that at energies
lower than 50 A MeV, light particles of velocities of more than two times
higher than the projectile velocities are produced due to the acceleration of
the target light-particles by the mean field of the incident nucleus. It has
also been shown that precision experimental reaction research in normal and
inverse kinematics is likely to provide vital information about which mechanism
is dominant in the production of fast light particles.Comment: 4 pages, 3 figures, LaTeX, to be published in Proceedings of VII
International School-Seminar on Heavy Ion Physics, May 27 - June 1, 2002,
Dubna, Russi
The meeting problem in the quantum random walk
We study the motion of two non-interacting quantum particles performing a
random walk on a line and analyze the probability that the two particles are
detected at a particular position after a certain number of steps (meeting
problem). The results are compared to the corresponding classical problem and
differences are pointed out. Analytic formulas for the meeting probability and
its asymptotic behavior are derived. The decay of the meeting probability for
distinguishable particles is faster then in the classical case, but not
quadratically faster. Entangled initial states and the bosonic or fermionic
nature of the walkers are considered
Quantum coherence and interaction-free measurements
We investigate the extent to which ``interaction-free'' measurements perturb
the state of quantum systems. We show that the absence of energy exchange
during the measurement is not a sufficient criterion to preserve that state, as
the quantum system is subject to measurement dependent decoherence. While it is
possible in general to design interaction-free measurement schemes that do
preserve that state, the requirement of quantum coherence preservation rapidly
leads to a very low efficiency. Our results, which have a simple interpretation
in terms of ``which-way'' arguments, open up the way to novel quantum
non-demolition techniques.Comment: 4 pages incl. 2 PostScript figures (.eps), LaTeX using RevTeX,
submitted to Phys. Rev. A (Rapid Comm.
Measurement of the Proton's Neutral Weak Magnetic Form Factor
We report the first measurement of the parity-violating asymmetry in elastic
electron scattering from the proton. The asymmetry depends on the neutral weak
magnetic form factor of the proton which contains new information on the
contribution of strange quark-antiquark pairs to the magnetic moment of the
proton. We obtain the value n.m. at
(GeV/c).Comment: 4 pages TEX, text available at
http://www.krl.caltech.edu/preprints/OAP.htm
The play's the thing
For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration.
This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity
- …