Related papers: Minimal Bell-Kochen-Specker proofs with POVMs on q…
Pusey, Barrett, and Rudolph introduce a new no-go theorem for hidden-variables models of quantum theory. We make precise the class of models targeted and construct equivalent models that evade the theorem. The theorem requires assumptions…
Minimal informationally complete positive operator-valued measures (MIC-POVMs) are special kinds of measurement in quantum theory in which the statistics of their $d^2$-outcomes are enough to reconstruct any $d$-dimensional quantum state.…
It has recently been questioned whether the Kochen-Specker theorem is relevant to real experiments, which by necessity only have finite precision. We give an affirmative answer to this question by showing how to derive hidden-variable…
Quantum coherence with respect to orthonormal bases has been studied extensively in the past few years. Recently, Bischof, et al. [Phys. Rev. Lett. 123, 110402 (2019)] generalized it to the case of general positive operator-valued measure…
It is commonly believed that the most general type of a quantum-mechanical measurement is one described by a positive-operator valued measure (POVM). In the present paper, this statement is proven for any measurements on quantum systems…
A photodetector may be characterized by various figures of merit such as response time, bandwidth, dark count rate, efficiency, wavelength resolution, and photon-number resolution. On the other hand, quantum theory says that any measurement…
We present a general formalism for giving a measure space paired with a separable Hilbert space a quantum version based on normalized positive operator-valued measure. The latter are built from families of density operators labelled by…
We demonstrate a determinant dimension witness of a qubit space. Our test has a minimal number of independent parameters. We achieve it by mapping the Bloch sphere $\pi/2$-rotation axis angle on the non-planar so-called Viviani curve. We…
We show that a reduced form of the structural requirements for deterministic hidden variables used in Bell-Kochen-Specker theorems is already sufficient for the no-go results. Those requirements are captured by the following principle: an…
This paper presents a minimal formulation of nonrelativistic quantum mechanics, by which is meant a formulation which describes the theory in a succinct, self-contained, clear, unambiguous and of course correct manner. The bulk of the…
The necessary and sufficient conditions for minimization of the generalized rate error for discriminating among $N$ pure qubit states are reformulated in terms of Bloch vectors representing the states. For the direct optimization problem an…
We present an elementary proof of a reduced version of Gleason's theorem and the Kochen-Specker theorem to provide a novel perspective on the relation between both theorems. The proof is based on a set of linear equations for the values of…
We propose a simple protocol for the verification of quantum computation after the computation has been performed. Our construction can be seen as an improvement on previous results in that it requires only a single prover, who is…
We present an efficient method to solve the quantum discord of two-qubit X states exactly. A geometric picture is used to clarify whether and when the general POVM measurement is superior to von Neumann measurement. We show that either the…
An identity for binomial symbols modulo an odd positive integer $n$ relating to the least prime factor of $n$ is proved. The identity is discussed within the context of Pell conics.
Using the spontaneous parametric down-conversion process in a type-I phase matching BBO crystal as single photon source, we perform an all-or-nothing-type Kochen-Specker experiment proposed by Simon \QTR{it}{et al}. [Phys. Rev. Lett.…
We investigate the problem of bounding the quantum process fidelity given bounds on the fidelities between target states and the action of a process on a set of pure input states. We formulate the problem as a semidefinite program and prove…
We describe a technique for self consistently characterizing both the quantum state of a single qubit system, and the positive-operator-valued measure (POVM) that describes measurements on the system. The method works with only ten…
The number of essentially different square polyominoes of order n and minimum perimeter p(n) is enumerated.
Most of the standard proofs of the Bell theorem are based on the Kolmogorov axioms of probability theory. We show that these proofs contain mathematical steps that cannot be reconciled with the Kolmogorov axioms. Specifically we demonstrate…