Non-locality in theories without the no-restriction hypothesis

The framework of generalized probabilistic theories (GPT) is a widely-used approach for studying the physical foundations of quantum theory. The standard GPT framework assumes the no-restriction hypothesis, in which the state space of a physical theory determines the set of measurements. However, this assumption is not physically motivated. In Janotta and Lal [Phys. Rev. A 87, 052131 (2013)], it was shown how this assumption can be relaxed, and how such an approach can be used to describe new classes of probabilistic theories. This involves introducing a new, more general, definition of maximal joint state spaces, which we call the generalised maximal tensor product. Here we show that the generalised maximal tensor product recovers the standard maximal tensor product when at least one of the systems in a bipartite scenario obeys the no-restriction hypothesis. We also show that, under certain conditions, relaxing the no-restriction hypothesis for a given state space does not allow for stronger non-locality, although the generalized maximal tensor product may allow new joint states.Comment: In Proceedings QPL 2013, arXiv:1412.791

Time-asymmetry of probabilities versus relativistic causal structure: an arrow of time

There is an incompatibility between the symmetries of causal structure in relativity theory and the signaling abilities of probabilistic devices with inputs and outputs: while time-reversal in relativity will not introduce the ability to signal between spacelike separated regions, this is not the case for probabilistic devices with space-like separated input-output pairs. We explicitly describe a non-signaling device which becomes a perfect signaling device under time-reversal, where time-reversal can be conceptualized as playing backwards a videotape of an agent manipulating the device. This leads to an arrow of time that is identifiable when studying the correlations of events for spacelike separated regions. Somewhat surprisingly, although time-reversal of Popuscu-Roerlich boxes also allows agents to signal, it does not yield a perfect signaling device. Finally, we realize time-reversal using post-selection, which could lead experimental implementation.Comment: 4 pages, some figures; replaces arXiv:1010.4572 [quant-ph

Performance and Consistency in Learning to Program

Performance and consistency play a large role in learning. Decreasing the effort that one invests into course work may have short-term benefits such as reduced stress. However, as courses progress, neglected work accumulates and may cause challenges with learning the course content at hand. In this work, we analyze students' performance and consistency with programming assignments in an introductory programming course. We study how performance, when measured through progress in course assignments, evolves throughout the course, study weekly fluctuations in students' work consistency, and contrast this with students' performance in the course final exam. Our results indicate that whilst fluctuations in students' weekly performance do not distinguish poor performing students from well performing students with a high accuracy, more accurate results can be achieved when focusing on the performance of students on individual assignments which could be used for identifying struggling students who are at risk of dropping out of their studies.Peer reviewe

Contextuality, Cohomology and Paradox

Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: firstly, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that "All-vs-Nothing" proofs of contextuality are witnessed by cohomological obstructions

No ψ\psi-epistemic model can fully explain the indistinguishability of quantum states

According to a recent no-go theorem (M. Pusey, J. Barrett and T. Rudolph, Nature Physics 8, 475 (2012)), models in which quantum states correspond to probability distributions over the values of some underlying physical variables must have the following feature: the distributions corresponding to distinct quantum states do not overlap. This is significant because if the distributions do not overlap, then the quantum state itself is encoded by the physical variables. In such a model, it cannot coherently be maintained that the quantum state merely encodes information about underlying physical variables. The theorem, however, considers only models in which the physical variables corresponding to independently prepared systems are independent. This work considers models that are defined for a single quantum system of dimension $d$, such that the independence condition does not arise. We prove a result in a similar spirit to the original no-go theorem, in the form of an upper bound on the extent to which the probability distributions can overlap, consistently with reproducing quantum predictions. In particular, models in which the quantum overlap between pure states is equal to the classical overlap between the corresponding probability distributions cannot reproduce the quantum predictions in any dimension $d \geq 3$. The result is noise tolerant, and an experiment is motivated to distinguish the class of models ruled out from quantum theory.Comment: 5+5 page

A human embryonic kidney 293T cell line mutated at the Golgi -mannosidase II locus

Disruption of Golgi -mannosidase II activity can result in type II congenital dyserythropoietic anemia and can induce lupus-like autoimmunity in mice. Here, we isolate a mutant human embryonic kidney (HEK) 293T cell line, called Lec36, that displays sensitivity to ricin that lies between the parental HEK 293T cells, whose secreted and membrane-expressed proteins are dominated by complex-type glycosylation, and 293S Lec1 cells, which only produce oligomannose-type N-linked glycans. The stem cell marker, 19A, was transiently expressed in the HEK 293T Lec36 cells, and in parental HEK 293T cells with and without the potent Golgi -mannosidase II inhibitor, swainsonine. Negative-ion nano-electrospray ionization mass spectra of the 19A N-linked glycans from HEK 293T Lec36 and swainsonine-treated HEK 293T cells were qualitatively indistinguishable and, as shown by collision-induced dissociation spectra, dominated by hybrid-type glycosylation. Nucleotide sequencing revealed mutations in each allele of MAN2A1, the gene encoding Golgi -mannosidase II: a point mutation in one allele mapping to the active site and an in-frame deletion of twelve-nucleotides in the other. Expression of wild-type but not the mutant MAN2A1 alleles in Lec36 cells restored processing of the 19A reporter glycoprotein to complex-type glycosylation. The Lec36 cell line will be useful for expressing therapeutic glycoproteins with hybrid-type glycans and provides a sensitive host for detecting mutations in human MAN2A1 causing type II congenital dyserythropoietic anemia