Computation in generalised probabilistic theories

From the existence of an efficient quantum algorithm for factoring, it is likely that quantum computation is intrinsically more powerful than classical computation. At present, the best upper bound known for the power of quantum computation is that BQP is in AWPP. This work investigates limits on computational power that are imposed by physical principles. To this end, we define a circuit-based model of computation in a class of operationally-defined theories more general than quantum theory, and ask: what is the minimal set of physical assumptions under which the above inclusion still holds? We show that given only an assumption of tomographic locality (roughly, that multipartite states can be characterised by local measurements), efficient computations are contained in AWPP. This inclusion still holds even without assuming a basic notion of causality (where the notion is, roughly, that probabilities for outcomes cannot depend on future measurement choices). Following Aaronson, we extend the computational model by allowing post-selection on measurement outcomes. Aaronson showed that the corresponding quantum complexity class is equal to PP. Given only the assumption of tomographic locality, the inclusion in PP still holds for post-selected computation in general theories. Thus in a world with post-selection, quantum theory is optimal for computation in the space of all general theories. We then consider if relativised complexity results can be obtained for general theories. It is not clear how to define a sensible notion of an oracle in the general framework that reduces to the standard notion in the quantum case. Nevertheless, it is possible to define computation relative to a `classical oracle'. Then, we show there exists a classical oracle relative to which efficient computation in any theory satisfying the causality assumption and tomographic locality does not include NP.Comment: 14+9 pages. Comments welcom

High-fidelity linear optical quantum computing with polarization encoding

We show that the KLM scheme [Knill, Laflamme and Milburn, Nature {\bf 409}, 46] can be implemented using polarization encoding, thus reducing the number of path modes required by half. One of the main advantages of this new implementation is that it naturally incorporates a loss detection mechanism that makes the probability of a gate introducing a non-detected error, when non-ideal detectors are considered, dependent only on the detector dark-count rate and independent of its efficiency. Since very low dark-count rate detectors are currently available, a high-fidelity gate (probability of error of order $10^{-6}$ conditional on the gate being successful) can be implemented using polarization encoding. The detector efficiency determines the overall success probability of the gate but does not affect its fidelity. This can be applied to the efficient construction of optical cluster states with very high fidelity for quantum computing.Comment: 12 pages, 7 figures. Improved construction of high-fidelity entangled ancilla; references adde

Alternate Scheme for Optical Cluster-State Generation without Number-Resolving Photon Detectors

We design a controlled-phase gate for linear optical quantum computing by using photodetectors that cannot resolve photon number. An intrinsic error-correction circuit corrects errors introduced by the detectors. Our controlled-phase gate has a 1/4 success probability. Recent development in cluster-state quantum computing has shown that a two-qubit gate with non-zero success probability can build an arbitrarily large cluster state with only polynomial overhead. Hence, it is possible to generate optical cluster states without number-resolving detectors and with polynomial overhead.Comment: 10 pages, 4 figures, 4 tables; made significant revisions and changed forma

The role of protein elongation factor eEF1A2 in ovarian cancer

Frequent gains of chromosome 20q12-13 in ovarian tumors indicate that at least one important oncogene is found at that locus. One of the genes there is EEF1A2, which maps to 20q13.3 and encodes protein elongation factor eEF1A2. This review will focus on recent evidence indicating that EEF1A2 is an important ovarian oncogene and that the protein elongation network can activate tumorigenesis and inhibit apoptosis

Inefficiency of classically simulating linear optical quantum computing with Fock-state inputs

Aaronson and Arkhipov recently used computational complexity theory to argue that classical computers very likely cannot efficiently simulate linear, multimode, quantum-optical interferometers with arbitrary Fock-state inputs [Aaronson and Arkhipov, Theory Comput. 9, 143 (2013)]. Here we present an elementary argument that utilizes only techniques from quantum optics. We explicitly construct the Hilbert space for such an interferometer and show that its dimension scales exponentially with all the physical resources. We also show in a simple example just how the Schr\"odinger and Heisenberg pictures of quantum theory, while mathematically equivalent, are not in general computationally equivalent. Finally, we conclude our argument by comparing the symmetry requirements of multiparticle bosonic to fermionic interferometers and, using simple physical reasoning, connect the nonsimulatability of the bosonic device to the complexity of computing the permanent of a large matrix.Comment: 7 pages, 1 figure Published in PRA Phys. Rev. A 89, 022328 (2014

Neurosystems: brain rhythms and cognitive processing

Neuronal rhythms are ubiquitous features of brain dynamics, and are highly correlated with cognitive processing. However, the relationship between the physiological mechanisms producing these rhythms and the functions associated with the rhythms remains mysterious. This article investigates the contributions of rhythms to basic cognitive computations (such as filtering signals by coherence and/or frequency) and to major cognitive functions (such as attention and multi-modal coordination). We offer support to the premise that the physiology underlying brain rhythms plays an essential role in how these rhythms facilitate some cognitive operations.098352 - Wellcome Trust; 5R01NS067199 - NINDS NIH HH

An All Linear Optical Quantum Memory Based on Quantum Error Correction

When photons are sent through a fiber as part of a quantum communication protocol, the error that is most difficult to correct is photon loss. Here, we propose and analyze a two-to-four qubit encoding scheme, which can recover the loss of one qubit in the transmission. This device acts as a repeater when it is placed in series to cover a distance larger than the attenuation length of the fiber, and it acts as an optical quantum memory when it is inserted in a fiber loop. We call this dual-purpose device a ``quantum transponder.''Comment: 4 pages, 5 figure

Stem cell mechanobiology

Stem cells are undifferentiated cells that are capable of proliferation, self-maintenance and differentiation towards specific cell phenotypes. These processes are controlled by a variety of cues including physicochemical factors associated with the specific mechanical environment in which the cells reside. The control of stem cell biology through mechanical factors remains poorly understood and is the focus of the developing field of mechanobiology. This review provides an insight into the current knowledge of the role of mechanical forces in the induction of differentiation of stem cells. While the details associated with individual studies are complex and typically associated with the stem cell type studied and model system adopted, certain key themes emerge. First, the differentiation process affects the mechanical properties of the cells and of specific subcellular components. Secondly, that stem cells are able to detect and respond to alterations in the stiffness of their surrounding microenvironment via induction of lineage-specific differentiation. Finally, the application of external mechanical forces to stem cells, transduced through a variety of mechanisms, can initiate and drive differentiation processes. The coalescence of these three key concepts permit the introduction of a new theory for the maintenance of stem cells and alternatively their differentiation via the concept of a stem cell 'mechano-niche', defined as a specific combination of cell mechanical properties, extracellular matrix stiffness and external mechanical cues conducive to the maintenance of the stem cell population.<br/