17,281 research outputs found
Perturbative Effective Theory in an Oscillator Basis?
The effective interaction/operator problem in nuclear physics is believed to
be highly nonperturbative, requiring extended high-momentum spaces for accurate
solution. We trace this to difficulties that arise at both short and long
distances when the included space is defined in terms of a basis of harmonic
oscillator Slater determinants. We show, in the simplest case of the deuteron,
that both difficulties can be circumvented, yielding highly perturbative
results in the potential even for modest (~6hw) included spaces.Comment: 10 pages, 4 figure
Effect of frequency mismatched photons in quantum information processing
Many promising schemes for quantum information processing (QIP) rely on
few-photon interference effects. In these proposals, the photons are treated as
being indistinguishable particles. However, single photon sources are typically
subject to variation from device to device. Thus the photons emitted from
different sources will not be perfectly identical, and there will be some
variation in their frequencies. Here, we analyse the effect of this frequency
mismatch on QIP schemes. As examples, we consider the distributed QIP protocol
proposed by Barrett and Kok, and Hong-Ou-Mandel interference which lies at the
heart of many linear optical schemes for quantum computing. In the distributed
QIP protocol, we find that the fidelity of entangled qubit states depends
crucially on the time resolution of single photon detectors. In particular,
there is no reduction in the fidelity when an ideal detector model is assumed,
while reduced fidelities may be encountered when using realistic detectors with
a finite response time. We obtain similar results in the case of Hong-Ou-Mandel
interference -- with perfect detectors, a modified version of quantum
interference is seen, and the visibility of the interference pattern is reduced
as the detector time resolution is reduced. Our findings indicate that problems
due to frequency mismatch can be overcome, provided sufficiently fast detectors
are available.Comment: 14 pages, 8 figures. Comments welcome. v2: Minor changes. v3: Cleaned
up 3 formatting error
No Signalling and Quantum Key Distribution
Standard quantum key distribution protocols are provably secure against
eavesdropping attacks, if quantum theory is correct. It is theoretically
interesting to know if we need to assume the validity of quantum theory to
prove the security of quantum key distribution, or whether its security can be
based on other physical principles. The question would also be of practical
interest if quantum mechanics were ever to fail in some regime, because a
scientifically and technologically advanced eavesdropper could perhaps use
post-quantum physics to extract information from quantum communications without
necessarily causing the quantum state disturbances on which existing security
proofs rely. Here we describe a key distribution scheme provably secure against
general attacks by a post-quantum eavesdropper who is limited only by the
impossibility of superluminal signalling. The security of the scheme stems from
violation of a Bell inequality.Comment: Clarifications and minor revisions in response to comments. Final
version; to appear in Phys. Rev. Let
New results on rewrite-based satisfiability procedures
Program analysis and verification require decision procedures to reason on
theories of data structures. Many problems can be reduced to the satisfiability
of sets of ground literals in theory T. If a sound and complete inference
system for first-order logic is guaranteed to terminate on T-satisfiability
problems, any theorem-proving strategy with that system and a fair search plan
is a T-satisfiability procedure. We prove termination of a rewrite-based
first-order engine on the theories of records, integer offsets, integer offsets
modulo and lists. We give a modularity theorem stating sufficient conditions
for termination on a combinations of theories, given termination on each. The
above theories, as well as others, satisfy these conditions. We introduce
several sets of benchmarks on these theories and their combinations, including
both parametric synthetic benchmarks to test scalability, and real-world
problems to test performances on huge sets of literals. We compare the
rewrite-based theorem prover E with the validity checkers CVC and CVC Lite.
Contrary to the folklore that a general-purpose prover cannot compete with
reasoners with built-in theories, the experiments are overall favorable to the
theorem prover, showing that not only the rewriting approach is elegant and
conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page
Cavity QED with optically transported atoms
Ultracold Rb atoms are delivered into a high-finesse optical
micro-cavity using a translating optical lattice trap and detected via the
cavity field. The atoms are loaded into an optical lattice from a magneto-optic
trap (MOT) and transported 1.5 cm into the cavity. Our cavity satisfies the
strong-coupling requirements for a single intracavity atom, thus permitting
real-time observation of single atoms transported into the cavity. This
transport scheme enables us to vary the number of intracavity atoms from 1 to
100 corresponding to a maximum atomic cooperativity parameter of 5400, the
highest value ever achieved in an atom--cavity system. When many atoms are
loaded into the cavity, optical bistability is directly measured in real-time
cavity transmission.Comment: 4 figures, 4 page
Area Regge Calculus and Discontinuous Metrics
Taking the triangle areas as independent variables in the theory of Regge
calculus can lead to ambiguities in the edge lengths, which can be interpreted
as discontinuities in the metric. We construct solutions to area Regge calculus
using a triangulated lattice and find that on a spacelike hypersurface no such
discontinuity can arise. On a null hypersurface however, we can have such a
situation and the resulting metric can be interpreted as a so-called refractive
wave.Comment: 18 pages, 1 figur
Thermodynamics of Quantum Hall Ferromagnets
The two-dimensional interacting electron gas at Landau level filling factor
and temperature is a strong ferromagnet; all spins are
completely aligned by arbitrarily weak Zeeman coupling. We report on a
theoretical study of its thermodynamic properties using a many-body
perturbation theory approach and concentrating on the recently measured
temperature dependence of the spin magnetization. We discuss the interplay of
collective and single-particle aspects of the physics and the opportunities for
progress in our understanding of itinerant electron ferromagnetism presented by
quantum Hall ferromagnets.Comment: REVTex, 10 pages, 3 uuencoded, compressed and tarred PostScript
figures appende
A taximetric study of interspecific variation in Vitis
A taximetric study, utilizing 71 plant characters for 21 species of Vitis has been completed. Phenetic similarities among the species were estimated by productmoment (r), distance (d) and divergence (D) coefficients.The unweighted pair-group method of clustering was used to graphically summarize the results in three phenograms. Congruency among the phenograms was examined by comparisons of primary affinity clusters and patterns of clustering sequence among phenograms and four classical classifications of Vitis; the classification of FOEx showed the best overall congruency with the phenograms. The phenograms were also compared with the authors' concept of species affinity relationship; the divergence phenogram showed the greatest congruency. A tentative scheme of relationships based upon a modification of the divergence phenogram was devised
Parity measurement of one- and two-electron double well systems
We outline a scheme to accomplish measurements of a solid state double well
system (DWS) with both one and two electrons in non-localised bases. We show
that, for a single particle, measuring the local charge distribution at the
midpoint of a DWS using an SET as a sensitive electrometer amounts to
performing a projective measurement in the parity (symmetric/antisymmetric)
eigenbasis. For two-electrons in a DWS, a similar configuration of SET results
in close-to-projective measurement in the singlet/triplet basis. We analyse the
sensitivity of the scheme to asymmetry in the SET position for some
experimentally relevant parameter, and show that it is realisable in
experiment.Comment: 18 Pages, to appear in PR
Efficient quantum key distribution secure against no-signalling eavesdroppers
By carrying out measurements on entangled states, two parties can generate a
secret key which is secure not only against an eavesdropper bound by the laws
of quantum mechanics, but also against a hypothetical "post-quantum"
eavesdroppers limited by the no-signalling principle only. We introduce a
family of quantum key distribution protocols of this type, which are more
efficient than previous ones, both in terms of key rate and noise resistance.
Interestingly, the best protocols involve large number of measurements. We show
that in the absence of noise, these protocols can yield one secret bit per
entanglement bit, implying that the key rates in the no-signalling post-quantum
scenario are comparable to the key rates in usual quantum key distribution.Comment: 11 pages, 2 color figures. v2: minor modifications, added references,
added note on the relation to quant-ph/060604
- …