相关论文: POVMs and Naimark's theorem without sums

A strictly convex real projective orbifold is equipped with a natural Finsler metric called the Hilbert metric. In the case that the projective structure is hyperbolic, the Hilbert metric and the hyperbolic metric coincide. We prove that…

Mathematical theory of an observer is elaborated upon the basis of A.Poincare's ideas on the nature of geometry and the role of observer's perceptive space. The said theory is generalizing reference frames theory in GR. Physical structure…

We introduce both the notions of tensor product of convex bodies that contain zero in the interior, and of tensor product of $0$-symmetric convex bodies in Euclidean spaces. We prove that there is a bijection between tensor products of…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…

A quantum measurement can be described by a set of matrices, one for each possible outcome, which represents the positive operator-valued measure (POVM) of the sensor. Efficient protocols of POVM extraction for arbitrary sensors are…

We address the problem of constructing positive operator-valued measures (POVMs) in finite dimension $n$ consisting of $n^2$ operators of rank one which have an inner product close to uniform. This is motivated by the related question of…

Performing perfect/conclusive quantum state exclusion means to be able to discard with certainty at least one out of n possible quantum state preparations by performing a measurement of the resulting state. This task of state exclusion has…

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…

Projective metrics on vector spaces over finite fields, introduced by Gabidulin and Simonis in 1997, generalize classical metrics in coding theory like the Hamming metric, rank metric, and combinatorial metrics. While these specific metrics…

The quotient shape types of normed vectorial spaces(over the same field) with respect to Banach spaces reduce to those of Banach spaces. The finite quotient shape type of normed spaces is an invariant of the (algebraic) dimension, but not…

In this article I deal with the notion of observation in the most fundamental sense and its representation by means of formal languages serving as expressional tools of formal-axiomatical theories. In doing so, I have taken this notion in…

We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective…

The question of what should be meant by a measurement is tackled from a mathematical perspective whose physical interpretation is that a measurement is a fundamental process via which a finite amount of classical information is produced.…

This text gives some results about quantum torsors. Our starting point is an old reformulation of torsors recalled recently by Kontsevich. We propose an unification of the definitions of torsors in algebraic geometry and in Poisson…

Partial Isometries are important constructs that help give nontrivial solutions once a simple solution is known. We generalize this notion to Extended Partial Isometries and include operators which have right inverses but no left inverses…

In a recent paper, Buscemi and al. defined a notion of clean positive operator valued measures (POVMs). We here characterize which POVMs are clean in some class that we call quasi-qubit POVMs, namely POVMs whose elements are all rank-one or…

We discuss the problem of implementing generalized measurements (POVMs) with linear optics, either based upon a static linear array or including conditional dynamics. In our approach, a given POVM shall be identified as a solution to an…

This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The…

Analysing Quantum Measurement requires analysing the physics of amplification since amplification of phenomena from one scale to another scale is essential to measurement. There still remains the task of working this into an axiomatic…