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

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

Cavity QED with optically transported atoms

Ultracold $^{87}$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

Thermodynamics of Quantum Hall Ferromagnets

The two-dimensional interacting electron gas at Landau level filling factor $\nu =1$ and temperature $T=0$ 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