Data-driven inference was recently introduced as a protocol that, upon the input of a set of data, outputs a mathematical description for a physical device able to explain the data. The device so inferred is automatically self-consistent, that is, capable of generating all given data, and least committal, that is, consistent with a minimal superset of the given dataset. When applied to the inference of an unknown device, data-driven inference has been shown to output always the "true" device whenever the dataset has been produced by means of an observationally complete setup, which plays here the same role played by informationally complete setups in conventional quantum tomography. In this paper we develop a unified formalism for the data-driven inference of states and measurements. In the case of qubits, in particular, we provide an explicit implementation of the inference protocol as a convex programming algorithm for the machine learning of states and measurements. We also derive a complete characterization of observational completeness for general systems, from which it follows that only spherical 2-designs achieve observational completeness for qubit systems. This result provides symmetric informationally complete sets and mutually unbiased bases with a new theoretical and operational justification.
Data-driven inference was recently introduced as a protocol that, upon the input of a set of data, outputs a mathematical description for a physical device able to explain the data. The device so inferred is automatically self-consistent, that is, capable of generating all given data, and least committal, that is, consistent with a minimal superset of the given dataset. When applied to the inference of an unknown device, data-driven inference has been shown to output always the "true" device whenever the dataset has been produced by means of an observationally complete setup, which plays here the same role played by informationally complete setups in conventional quantum tomography. In this paper we develop a unified formalism for the data-driven inference of states and measurements. In the case of qubits, in particular, we provide an explicit implementation of the inference protocol as a convex programming algorithm for the machine learning of states and measurements. We also derive a complete characterization of observational completeness for general systems, from which it follows that only spherical 2-designs achieve observational completeness for qubit systems. This result provides symmetric informationally complete sets and mutually unbiased bases with a new theoretical and operational justification.
The range of a quantum measurement is the set of outcome probability distributions that can be produced by varying the input state. We introduce data-driven inference as a protocol that, given a set of experimental data as a collection of outcome distributions, infers the quantum measurement which is (i) consistent with the data, in the sense that its range contains all the distributions observed, and (ii) maximally noncommittal, in the sense that its range is of minimum volume in the space of outcome distributions. We show that data-driven inference is able to return a unique measurement for any data set if and only if the inference adopts a (hyper)spherical state space (for example, the classical or the quantum bit). In analogy to informational completeness for quantum tomography, we define observational completeness as the property of any set of states that, when fed into any given measurement, produces a set of outcome distributions allowing for the correct reconstruction of the measurement via data-driven inference. We show that observational completeness is strictly stronger than informational completeness, in the sense that not all informationally complete sets are also observationally complete. Moreover, we show that for systems with a (hyper)spherical state space, the only observationally complete simplex is the regular one, namely, the symmetric informationally complete set.
Abstract Given a physical device as a black box, one can in principle fully reconstruct its input–output transfer function by repeatedly feeding different input probes through the device and performing different measurements on the corresponding outputs. However, for such a complete tomographic reconstruction to work, full knowledge of both input probes and output measurements is required. Such an assumption is not only experimentally demanding, but also logically questionable, as it produces a circular argument in which the characterization of unknown devices appears to require other devices to have been already characterized beforehand. Here, we introduce a method to overcome such limitations present in usual tomographic techniques. We show that, even without any knowledge about the tomographic apparatus, it is still possible to infer the unknown device to a high degree of precision, solely relying on the observed data. This is achieved by employing a criterion that singles out the minimal explanation compatible with the observed data. Our method, that can be seen as a data-driven analog of tomography, is solved analytically and implemented as an algorithm for the learning of qubit channels.
Solomonoff's universal inductive inference [Inf. Control. 1964] is one of the most general frameworks for learning from sequential data and predicting future observations. It provides prediction guarantees for any computable stochastic source. We ask whether an analogous universal theory of induction can be developed for quantum systems. To this end, we introduce universal quantum inductive inference, a framework for learning and predicting quantum sources that may exhibit arbitrary correlations and entanglement across time. Given the outcomes of past measurements and the corresponding post-measurement quantum systems, the learner produces a joint state that predicts the next measurement outcome and post-measurement system while preserving correlations with the past systems. We model a quantum source as a multipartite quantum state whose description is generated by an unknown s-bit program within a given time bound. The learner is required to produce a state that is ε-close in trace distance to the target with probability at least 1−δ. We establish an information-theoretic inference algorithm with round complexity O(sε−2δ−1). We further prove a matching lower bound in the relevant parameter regime, even for classical sources. As a second result, we construct a non-i.i.d. state tomography algorithm that outputs a classical description of the conditional state of the next system given past measurement outcomes. Our information-theoretic tomography algorithm achieves round complexity O(smin{2s,2n}ε−2δ−1), where n is the number of qubits received in each round. Finally, we investigate the computational hardness of universal quantum inductive inference under quantum cryptographic assumptions.
Given a physical device as a black box, one can in principle fully reconstruct its input-output transfer function by repeatedly feeding different input probes through the device and performing different measurements on the corresponding outputs. However, for such a complete tomographic reconstruction to work, full knowledge of both input probes and output measurements is required. Such an assumption is not only experimentally demanding, but also logically questionable, as it produces a circular argument in which the characterization of unknown devices appears to require other devices to have been already characterized beforehand. Here, we introduce a method to overcome such limitations present in usual tomographic techniques. We show that, even without any knowledge about the tomographic apparatus, it is still possible to infer the unknown device to a high degree of precision, solely relying on the observed data. This is achieved by employing a criterion that singles out the minimal explanation compatible with the observed data. Our method, that can be seen as a device-independent analogue of tomography, is solved analytically and experimentally tested in an actual implementation with superconducting qubits for a broad class of quantum channels.
Designs, and in particular symmetric, informationally complete (SIC) structures, play an important role in the quantum tomographic reconstruction process and, by extension, in certain interpretations of quantum theory focusing on such a process. This fact is due to the symmetry of the reconstruction formula that designs lead to. However, it is also known that the same tomographic task, albeit with a less symmetric formula, can be accomplished by any informationally complete (non necessarily symmetric) structure. Here we show that, if the tomographic task is replaced by a data-driven inferential approach, the reconstruction, while possible with designs, cannot by accomplished anymore by an arbitrary informationally complete structure. Hence, we propose the data-driven inference as the arena in which the role of designs naturally emerges. Our inferential approach is based on a minimality principle according to which, among all the possible inferences consistent with the data, the weakest should be preferred, in the sense of majorization theory and statistical comparison.
Abstract Quantum tomography is currently the mainly employed method to characterize a quantum system and therefore plays a fundamental role when trying to characterize the action of a particular channel. Nonetheless, quantum tomography works on the premise of a full characterization and description of the devices preparing the quantum state and realizing the measurements. Such an assumption was recently relaxed in Dall’Arno et al (arXiv: 1805.01159 ) and Dall’Arno et al (2017 Proc. R. Soc. A 473 20160721), where a theoretical framework for the device-independent inference of quantum channels was developed and experimentally implemented with superconducting qubits. Here, based on such a framework, we present a complete experimental test on a photonic setup of two semi-device-independent protocols that can be employed for the validation of the tomographic reconstruction or the characterization of a given quantum channel, not relying on many assumptions on the adopted device. Our implementation paves the way to the development of new experimental methods not relying on the assumptions typically taken for granted in all the previous protocols.