Related papers: Kochen-Specker Theorem, Physical Invariance and Qu…
The Kochen-Specker (KS) theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We present state-independent non-contextuality inequalities with large violations, in particular, we…
The possibility to test experimentally the Bell-Kochen-Specker theorem is investigated critically, following the demonstrations by Meyer, Kent and Clifton-Kent that the predictions of quantum mechanics are indistinguishable (up to arbitrary…
Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and…
We performed an experimental test of the Kochen-Specker theorem based on an inequality derived from the Peres-Mermin proof, using spin-path (momentum) entanglement in a single neutron system. Following the strategy proposed by Cabello et…
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…
Physical entities are ultimately (re)constructed from elementary yes/no events, in particular clicks in detectors or measurement devices recording quanta. Recently, the interpretation of certain such clicks has given rise to unfounded…
It is shown that in two-state quantum theory, a generic quantum state can be described by a non-computable real number. In terms of this, the criterion for measurement outcome is simply and deterministically defined. This demonstration is…
The Copenhagen Interpretation describes individual systems, using the same Hilbert space formalism as does the statistical ensemble interpretation (SQM). This leads to the well-known paradoxes surrounding the Measurement Problem. We extend…
In this work we address the contemporary debate about quantum individuality expressed as an opposition between those who, like D\'ecio Krause, defend the reference of the theory to "non-individual particles", and those like Dennis Dieks,…
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
Quantum theory departs from classical probabilistic theories in foundational ways. These departures--termed quantumness here--power quantum information and computation. This thesis charts the role of discrete structures in assessing…
Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics,…
We derive the Hilbert space formalism of quantum mechanics from epistemic principles. A key assumption is that a physical theory that relies on entities or distinctions that are unknowable in principle gives rise to wrong predictions. An…
We introduce and formalize a notion of "a priori knowledge" about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. This version is a…
The distinctive features of quantum mechanics, which set it apart from other physical theories, challenge our notions of realism. Recovering realism from purely philosophical grounds, a quantitative and operational criterion was proposed in…
A new theory-independent noncontextuality inequality is presented [Phys. Rev. Lett. 115, 110403 (2015)] based on Kochen-Specker (KS) set without imposing the assumption of determinism. By proposing novel noncontextuality inequalities, we…
Unsharp spin 1 observables arise from the fact that a residual uncertainty about the actual orientation of the measurement device remains. If the uncertainty is below a certain level, and if the distribution of measurement errors is…
The notion of contextuality, which emerges from a theorem established by Simon Kochen and Ernst Specker (1960-1967) and by John Bell (1964-1966), is certainly one of the most fundamental aspects of quantum weirdness. If it is a questioning…
In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…
According to various no-go results in the foundations of quantum mechanics, for any system associated to a Hilbert space of dimension higher than two, it is not possible to assign definite truth values to all propositions pertaining to the…