A quantum logical and geometrical approach to the study of improper mixtures

We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in order to construct a new lattice whose atoms are all physical states: pure states and improper mixtures. This is done in order to overcome one of the problems which appear in the standard quantum logical formalism, namely, that for a subsystem of a larger system in an entangled state, the conjunction of all actual properties of the subsystem does not yield its actual state. In fact, its state is an improper mixture and cannot be represented in the von Neumann lattice as a minimal property which determines all other properties as is the case for pure states or classical systems. The new lattice also contains all propositions of the von Neumann lattice. We argue that this extension expresses in an algebraic form the fact that -alike the classical case- quantum interactions produce non trivial correlations between the systems. Finally, we study the maps which can be defined between the extended lattice of a compound system and the lattices of its subsystems.Comment: submitted to the Journal of Mathematical Physic

Kochen-Specker Sets and Generalized Orthoarguesian Equations

Every set (finite or infinite) of quantum vectors (states) satisfies generalized orthoarguesian equations ($n$OA). We consider two 3-dim Kochen-Specker (KS) sets of vectors and show how each of them should be represented by means of a Hasse diagram---a lattice, an algebra of subspaces of a Hilbert space--that contains rays and planes determined by the vectors so as to satisfy $n$OA. That also shows why they cannot be represented by a special kind of Hasse diagram called a Greechie diagram, as has been erroneously done in the literature. One of the KS sets (Peres') is an example of a lattice in which 6OA pass and 7OA fails, and that closes an open question of whether the 7oa class of lattices properly contains the 6oa class. This result is important because it provides additional evidence that our previously given proof of noa =< (n+1)oa can be extended to proper inclusion noa < (n+1)oa and that nOA form an infinite sequence of successively stronger equations.Comment: 16 pages and 5 figure

Sleep to Reduce Incident Depression Effectively (STRIDE): study protocol for a randomized controlled trial comparing stepped-care cognitive-behavioral therapy for insomnia versus sleep education control to prevent major depression

BACKGROUND: Prevention of major depressive disorder (MDD) is a public health priority. Strategies targeting individuals at elevated risk for MDD may guide effective preventive care. Insomnia is a reliable precursor to depression, preceding half of all incident and relapse cases. Thus, insomnia may serve as a useful entry point for preventing MDD. Cognitive-behavioral therapy for insomnia (CBT-I) is recommended as the first-line treatment for insomnia, but widespread implementation is limited by a shortage of trained specialists. Innovative stepped-care approaches rooted in primary care can increase access to CBT-I and reduce rates of MDD. METHODS/DESIGN: We propose a large-scale stepped-care clinical trial in the primary care setting that utilizes a sequential, multiple assignment, randomized trial (SMART) design to determine the effectiveness of dCBT-I alone and in combination with clinician-led CBT-I for insomnia and the prevention of MDD incidence and relapse. Specifically, our care model uses digital CBT-I (dCBT-I) as a first-line intervention to increase care access and reduce the need for specialist resources. Our proposal also adds clinician-led CBT-I for patients who do not remit with first-line intervention and need a more personalized approach from specialty care. We will evaluate negative repetitive thinking as a potential treatment mechanism by which dCBT-I and CBT-I benefit insomnia and depression outcomes. DISCUSSION: This project will test a highly scalable model of sleep care in a large primary care system to determine the potential for wide dissemination and implementation to address the high volume of population need for safe and effective insomnia treatment and associated prevention of depression. TRIAL REGISTRATION: ClinicalTrials.gov NCT03322774. Registered on October 26, 2017

On the lattice structure of probability spaces in quantum mechanics

Let C be the set of all possible quantum states. We study the convex subsets of C with attention focused on the lattice theoretical structure of these convex subsets and, as a result, find a framework capable of unifying several aspects of quantum mechanics, including entanglement and Jaynes' Max-Ent principle. We also encounter links with entanglement witnesses, which leads to a new separability criteria expressed in lattice language. We also provide an extension of a separability criteria based on convex polytopes to the infinite dimensional case and show that it reveals interesting facets concerning the geometrical structure of the convex subsets. It is seen that the above mentioned framework is also capable of generalization to any statistical theory via the so-called convex operational models' approach. In particular, we show how to extend the geometrical structure underlying entanglement to any statistical model, an extension which may be useful for studying correlations in different generalizations of quantum mechanics.Comment: arXiv admin note: substantial text overlap with arXiv:1008.416

Quantum value indefiniteness

The indeterministic outcome of a measurement of an individual quantum is certified by the impossibility of the simultaneous, definite, deterministic pre-existence of all conceivable observables from physical conditions of that quantum alone. We discuss possible interpretations and consequences for quantum oracles.Comment: 19 pages, 2 tables, 2 figures; contribution to PC0

A geometrical origin for the covariant entropy bound

Causal diamond-shaped subsets of space-time are naturally associated with operator algebras in quantum field theory, and they are also related to the Bousso covariant entropy bound. In this work we argue that the net of these causal sets to which are assigned the local operator algebras of quantum theories should be taken to be non orthomodular if there is some lowest scale for the description of space-time as a manifold. This geometry can be related to a reduction in the degrees of freedom of the holographic type under certain natural conditions for the local algebras. A non orthomodular net of causal sets that implements the cutoff in a covariant manner is constructed. It gives an explanation, in a simple example, of the non positive expansion condition for light-sheet selection in the covariant entropy bound. It also suggests a different covariant formulation of entropy bound.Comment: 20 pages, 8 figures, final versio