arXiv subjects
Publications and source records attributed to Giacomo Mauro D'Ariano.
We show how the Minkowskian space-time emerges from a topologically homogeneous causal network, presenting a simple analytical derivation of the Lorentz transformations, with metric as pure event-counting. The derivation holds generally for d=1 space dimension, however, it can be extended to d>1 for special causal networks.
A bipartite quantum channel represents the interaction between systems, generally allowing for exchange of information. A special class of bipartite channels are the no-signaling ones, which do not allow communication. In Ref. [1] it has been conjectured that all no-signaling channels are mixtures of entanglement-breaking and localizable channels, which require only local operations and entanglement. Here we provide the general realization scheme, giving a counterexample to the conjecture.
After reviewing recently suggested operational "principles of the quantumness", I address the problem on whether Quantum Theory (QT) and Special Relativity (SR) are unrelated theories, or instead, if the one implies the other. I show how SR can be indeed derived from causality of QT, within the computational paradigm "the universe is a huge quantum computer", reformulating QFT as a Quantum-Computational Field Theory (QCFT). In QCFT SR emerges from the fabric of the computational network, which also naturally embeds gauge invariance. In this scheme even the quantization rule and the Planck constant can in principle be derived as emergent from the underlying causal tapestry of space-time. In this way QT remains the only theory operating the huge computer of the universe. Is QCFT only a speculative tautology (theory as simulation of reality), or does it have a scientific value? The answer will come from Occam's razor, depending on the mathematical simplicity of QCFT. Here I will just start scratching the surface of QCFT, analyzing simple field theories, including Dirac's. The number of problems and unmotivated recipes that plague QFT strongly motivates us to undertake the QCFT project, since QCFT makes all such problems manifest, and forces a re-foundation of QFT.
We consider the ideal situation in which a space rotation is transferred from a quantum spin j to a quantum spin l different from j. Quantum-information theoretical considerations lead to the conclusion that such operation is possible only for lj. For l>j the optimal stretching transformation is derived. We show that for qubits the present no-stretching theorem is equivalent to the usual no-cloning theorem.
In Ref. [1] one of the authors proposed postulates for axiomatizing Quantum Mechanics as a "fair operational framework", namely regarding the theory as a set of rules that allow the experimenter to predict future events on the basis of suitable tests, having local control and low experimental complexity. In addition to causality, the following postulates have been considered: PFAITH (existence of a pure preparationally faithful state), and FAITHE (existence of a faithful effect). These postulates have exhibited an unexpected theoretical power, excluding all known nonquantum probabilistic theories. Later in Ref. [2] in addition to causality and PFAITH, postulate LDISCR (local discriminability) and PURIFY (purifiability of all states) have been considered, narrowing the probabilistic theory to something very close to Quantum Mechanics. In the present paper we test the above postulates on some nonquantum probabilistic models. The first model, "the two-box world" is an extension of the Popescu-Rohrlich model, which achieves the greatest violation of the CHSH inequality compatible with the no-signaling principle. The second model "the two-clock world" is actually a full class of models, all having a disk as convex set of states for the local system. One of them corresponds to the "the two-rebit world", namely qubits with real Hilbert space. The third model--"the spin-factor"--is a sort of n-dimensional generalization of the clock. Finally the last model is "the classical probabilistic theory". We see how each model violates some of the proposed postulates, when and how teleportation can be achieved, and we analyze other interesting connections between these postulate violations, along with deep relations between the local and the non-local structures of the probabilistic theory.
Quantum Mechanics (QM) is a very special probabilistic theory, yet we don't know which operational principles make it so. All axiomatization attempts suffer at least one postulate of a mathematical nature. Here I will analyze the possibility of deriving QM as the mathematical representation of a "fair operational framework", i.e. a set of rules which allows the experimenter to make predictions on future "events" on the basis of suitable "tests", e.g. without interference from uncontrollable sources. Two postulates need to be satisfied by any fair operational framework: NSF: "no-signaling from the future"--for the possibility of making predictions on the basis of past tests; PFAITH: "existence of a preparationally faithful state"--for the possibility of preparing any state and calibrating any test. I will show that all theories satisfying NSF admit a C*-algebra representation of events as linear transformations of effects. Based on a very general notion of dynamical independence, it is easy to see that all such probabilistic theories are "non-signaling without interaction" ("non-signaling" for short)--another requirement for a fair operational framework. Postulate PFAITH then implies the "local observability principle", the tensor-product structure for the linear spaces of states and effects, the impossibility of bit commitment and additional features, such an operational definition of transpose, a scalar product for effects, weak-selfduality of the theory, and more. Dual to Postulate PFAITH an analogous postulate for effects would give additional quantum features, such as teleportation. However, all possible consequences of these postulates still need to be investigated, and it is not clear yet if we can derive QM from the present postulates only. [CONTINUES on manuscript]
We present a general dilation scheme for quantum instruments with continuous outcome space in finite dimensions, in terms of an indirect POVM measurement performed on a finite dimensional ancilla. The general result is then applied to a large class of instruments generated by operator frames, which contains group-covariant instruments as a particular case, and allows to construct dilation schemes based on a measurement on the ancilla followed by a conditional feed-forward operation on the output. In the case of tight operator frames our construction generalizes quantum teleportation and telecloning, producing a whole family of generalized teleportation schemes in which the instrument is realized via a joint POVM at the sender combined with a conditional feed-forward operation at the receiver.
We introduce the quantum indirect estimation theory, which provides a general framework to address the problem of which ensemble averages can be estimated by means of an available set of measuring apparatuses, e. g. estimate the ensemble average of an observable by measuring other observable. A main ingredient in this approach is that of informationally complete (infocomplete in short) measurements, which allow to estimate the ensemble average of any arbitrary system operator, as for quantum tomography. This naturally leads to the more stringent concept of AB-informationally complete measurements, by which one can estimate jointly all the moments of two incompatible observables A and B. After analyzing all general properties of such measurements, we address the problem of their optimality, and we completely solve the case of qubits, showing that a sigma_x sigma_y-infocomplete measurement is less noisy than any infocomplete one. We will also discuss the relation between the concept of AB-infocompleteness and the notion of joint measurement of observables A and B.
We present a method for optimizing quantum circuits architecture. The method is based on the notion of "quantum comb", which describes a circuit board in which one can insert variable subcircuits. The method allows one to efficiently address novel kinds of quantum information processing tasks, such as storing-retrieving, and cloning of channels.
Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. In this paper we give a strengthened and explicit proof of this result. We extend its scope to a much larger variety of protocols, which may have an arbitrary number of rounds, in which both classical and quantum information is exchanged, and which may include aborts and resets. Moreover, we do not consider the receiver to be bound to a fixed "honest" strategy, so that "anonymous state protocols", which were recently suggested as a possible way to beat the known no-go results are also covered. We show that any concealing protocol allows the sender to find a cheating strategy, which is universal in the sense that it works against any strategy of the receiver. Moreover, if the concealing property holds only approximately, the cheat goes undetected with a high probability, which we explicitly estimate. The proof uses an explicit formalization of general two party protocols, which is applicable to more general situations, and a new estimate about the continuity of the Stinespring dilation of a general quantum channel. The result also provides a natural characterization of protocols that fall outside the standard setting of unlimited available technology, and thus may allow secure bit commitment. We present a new such protocol whose security, perhaps surprisingly, relies on decoherence in the receiver's lab.
It is shown how a C*-algebra representation of the transformations of a physical system can be derived from two operational postulates: 1) the existence of dynamically independent systems}; 2) the existence of symmetric faithful states. Both notions are crucial for the possibility of performing experiments on the system, in preventing remote instantaneous influences and in allowing calibration of apparatuses. The case of Quantum Mechanics is thoroughly analyzed. The possibility that other no-signaling theories admit a C*-algebra formulation is discussed.
A C*-algebra formulation of Quantum Mechanics is derived from purely operational axioms in which the primary role is played by the "transformations" that the system undergoes in the course of an "experiment". The notion of the {\em adjoint} of a transformation is based on the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus.
Within a general operational framework I show that a-causality at a distance of "local actions" (the so-called "no-signaling") is a direct consequence of commutativity of local transformations, i.e. of dynamical independence. On the other hand, the tensor product of Quantum Mechanics is not just a consequence of such dynamical independence, but needs in addition the Local Observability Principle.
The mathematical formulation of Quantum Mechanics is derived from purely operational axioms based on a general definition of "experiment" as a set of transformations. The main ingredient of the mathematical construction is the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus. Such notion is at the basis of the operational definitions of the scalar product and of the "adjoint" of a transformation.
The mathematical formulation of Quantum Mechanics in terms of complex Hilbert space is derived for finite dimensions, starting from a general definition of "physical experiment" and from five simple Postulates concerning "experimental accessibility and simplicity". For the infinite dimensional case, on the other hand, a C*-algebra representation of physical transformations is derived, starting from just four of the five Postulates via a Gelfand-Naimark-Segal (GNS) construction. The present paper simplifies and sharpens the previous derivation in version 1. The main ingredient of the axiomatization is the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus. Such notion is at the basis of the operational definitions of the scalar product and of the "transposed" of a physical transformation. What is new in the present paper with respect to quant-ph/0603011 is the operational deduction of an involution corresponding to the "complex-conjugation" for effects, whose extension to transformations allows to define the "adjoint" of a transformation when the extension is composition-preserving.
We consider the general measurement scenario in which the ensemble average of an operator is determined via suitable data-processing of the outcomes of a quantum measurement described by a POVM. We determine the optimal processing that minimizes the statistical error of the estimation.
We describe a unified framework of phase covariant multi user quantum transformations for d-dimensional quantum systems. We derive the optimal phase covariant cloning and transposition tranformations for multi phase states. We show that for some particular relations between the input and output number of copies they correspond to economical tranformations, which can be achieved without the need of auxiliary systems. We prove a relation between the optimal phase covariant cloning and transposition maps, and optimal estimation of multiple phases for equatorial states.
In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates. This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034. Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a "symmetric faithful state". This last notion allows one to introduce an operational definition for the real version of the "adjoint"--i. e. the transposition--from which one can derive a real Hilbert-space structure via either the Mackey-Kakutani or the Gelfand-Naimark-Segal constructions. Here I analyze in detail only the Gelfand-Naimark-Segal construction, which leads to a real Hilbert space structure analogous to that of (classes of generally unbounded) selfadjoint operators in Quantum Mechanics. For finite dimensions, general dimensionality theorems that can be derived from a local observability principle, allow us to represent the elements of the real Hilbert space as operators over an underlying complex Hilbert space (see, however, a still open problem at the end of the paper). The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.