Related papers: Topos logic in measurement-based quantum computati…
More than a century after the inception of quantum theory, the question of which traits and phenomena are fundamentally quantum remains under debate. Here we give an answer to this question for temporal processes which are probed…
Classical realism demands that system properties exist independently of whether they are measured, while noncontextuality demands that the results of measurements do not depend on what other measurements are performed in conjunction with…
Quantum computation offers a promising new kind of information processing, where the non-classical features of quantum mechanics can be harnessed and exploited. A number of models of quantum computation exist, including the now well-studied…
An idealised experiment estimating the spacetime topology is considered in both classical and quantum frameworks. The latter is described in terms of histories approach to quantum theory. A procedure creating combinatorial models of…
Topological quantum computation started as a niche area of research aimed at employing particles with exotic statistics, called anyons, for performing quantum computation. Soon it evolved to include a wide variety of disciplines. Advances…
In measurement-based quantum computation (MBQC), local adaptive measurements are performed on the quantum state of a lattice of qubits. Quantum gates are associated with a particular measurement sequence, and one way of viewing MBQC is that…
In this work, we elaborate on a measure-theoretic approach to negative probabilities. We study a natural notion of contextuality measure and characterize its main properties. Then, we apply this measure to relevant examples of quantum…
Quantum computers promise to dramatically outperform their classical counterparts. However, the non-classical resources enabling such computational advantages are challenging to pinpoint, as it is not a single resource but the subtle…
Quantum resource theories seek to quantify sources of non-classicality that bestow quantum technologies their operational advantage. Chief among these are studies of quantum correlations and quantum coherence. The former to isolate…
The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform…
Correlations between spacelike separated measurements on entangled quantum systems are stronger than any classical correlations and are at the heart of numerous quantum technologies. In practice, however, spacelike separation is often not…
The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new…
While ultimately they are described by quantum mechanics, macroscopic mechanical systems are nevertheless observed to follow the trajectories predicted by classical mechanics. Hence, in the regime defining macroscopic physics, the…
This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular…
Quantum contextuality is a key nonclassical feature underlying advantages in quantum computation and communication. We introduce a new method to study contextuality in quantum information-processing tasks and protocols, relying solely on…
By considering (non-relativistic) quantum mechanics as it is done in practice in particular in condensed-matter physics, it is argued that a deterministic, unitary time evolution within a chosen Hilbert space always has a limited scope,…
We consider the issue of what should count as a resource for measurement-based quantum computation (MBQC). While a state that supports universal quantum computation clearly should be considered a resource, universality should not be…
An attempt is made to give a heuristic explanation of the distinguished role of measurement in the quantum theory. We question the notion of "naive" reductionism by stressing the difference between an isolated quantum and classical object.…
Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis…
Quantum resource theories identify the features of quantum computers that provide their computational advantage over classical systems. We investigate the resources driving the complexity of classical simulation in the standard model of…