Generic Bell correlation between arbitrary local algebras in quantum field theory

We prove that for any two commuting von Neumann algebras of infinite type, the open set of Bell correlated states for the two algebras is norm dense. We then apply this result to algebraic quantum field theory -- where all local algebras are of infinite type -- in order to show that for any two spacelike separated regions, there is an open dense set of field states that dictate Bell correlations between the regions. We also show that any vector state cyclic for one of a pair of commuting nonabelian von Neumann algebras is entangled (i.e., nonseparable) across the algebras -- from which it follows that every field state with bounded energy is entangled across any two spacelike separated regions.Comment: Third version; correction in the proof of Proposition

String-- and Brane--Localized Causal Fields in a Strongly Nonlocal Model

We study a weakly local, but nonlocal model in spacetime dimension $d \geq 2$ and prove that it is maximally nonlocal in a certain specific quantitative sense. Nevertheless, depending on the number of dimensions $d$, it has string--localized or brane--localized operators which commute at spatial distances. In two spacetime dimensions, the model even comprises a covariant and local subnet of operators localized in bounded subsets of Minkowski space which has a nontrivial scattering matrix. The model thus exemplifies the algebraic construction of local observables from algebras associated with nonlocal fields.Comment: paper re-written with a change of emphasis and new result

Detecting the intermediate-mass Higgs boson through the associate production channel pp --> t + anti-t + H + X

We examine the detection of the intermediate-mass Higgs boson (IMH) at LHC through the associate production channel pp-->t+(anti-t)+H+X-->l+photon+ photon+X'. It is shown that by applying kinematic cuts or b-tagging on the final state jets, the main backgrounds of W(-->l+nu)+photon+photon+(n-jet) can be reduced substantially without significant loss of signals. It is possible to detect the Higgs boson at LHC through the pp-->t+(anti-t)+H+X channel using a modest photon detector with mass resolution of about 3% of the photon pair invariant mass.Comment: 10 pages, standard LaTex fil

Semicausal operations are semilocalizable

We prove a conjecture by DiVincenzo, which in the terminology of Preskill et al. [quant-ph/0102043] states that ``semicausal operations are semilocalizable''. That is, we show that any operation on the combined system of Alice and Bob, which does not allow Bob to send messages to Alice, can be represented as an operation by Alice, transmitting a quantum particle to Bob, and a local operation by Bob. The proof is based on the uniqueness of the Stinespring representation for a completely positive map. We sketch some of the problems in transferring these concepts to the context of relativistic quantum field theory.Comment: 4 pages, 1 figure, revte

Nurses\u27 Alumnae Association Bulletin, May 1957

Alumnae Notes Committee Reports Digest of Alumnae Meetings Graduation Awards - 1956 Letter from Hong Kong Leukemia Marriages Necrology New Arrivals Physical Advances at Jefferson President\u27s Message School of Nursing Report Two Year Programs in Nursing White Haven Repor

Non-local Correlations are Generic in Infinite-Dimensional Bipartite Systems

It was recently shown that the nonseparable density operators for a bipartite system are trace norm dense if either factor space has infinite dimension. We show here that non-local states -- i.e., states whose correlations cannot be reproduced by any local hidden variable model -- are also dense. Our constructions distinguish between the cases where both factor spaces are infinite-dimensional, where we show that states violating the CHSH inequality are dense, and the case where only one factor space is infinite-dimensional, where we identify open neighborhoods of nonseparable states that do not violate the CHSH inequality but show that states with a subtler form of non-locality (often called "hidden" non-locality) remain dense.Comment: 8 pages, RevTe

Reichenbach's Common Cause Principle in Algebraic Quantum Field Theory with Locally Finite Degrees of Freedom

In the paper it will be shown that Reichenbach's Weak Common Cause Principle is not valid in algebraic quantum field theory with locally finite degrees of freedom in general. Namely, for any pair of projections A and B supported in spacelike separated double cones O(a) and O(b), respectively, a correlating state can be given for which there is no nontrivial common cause (system) located in the union of the backward light cones of O(a) and O(b) and commuting with the both A and B. Since noncommuting common cause solutions are presented in these states the abandonment of commutativity can modulate this result: noncommutative Common Cause Principles might survive in these models

Lower entropy bounds and particle number fluctuations in a Fermi sea

We demonstrate, in an elementary manner, that given a partition of the single particle Hilbert space into orthogonal subspaces, a Fermi sea may be factored into pairs of entangled modes, similar to a BCS state. We derive expressions for the entropy and for the particle number fluctuations of a subspace of a fermi sea, at zero and finite temperatures, and relate these by a lower bound on the entropy. As an application we investigate analytically and numerically these quantities for electrons in the lowest Landau level of a quantum Hall sample.Comment: shorter version, typos fixe

Automating Deductive Verification for Weak-Memory Programs

Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio