Sample Efficient Algorithms for Learning Quantum Channels in PAC Model and the Approximate State Discrimination Problem

We generalize the PAC (probably approximately correct) learning model to the quantum world by generalizing the concepts from classical functions to quantum processes, defining the problem of \emph{PAC learning quantum process}, and study its sample complexity. In the problem of PAC learning quantum process, we want to learn an $\epsilon$-approximate of an unknown quantum process $c^*$ from a known finite concept class $C$ with probability $1-\delta$ using samples $\{(x_1,c^*(x_1)),(x_2,c^*(x_2)),\dots\}$, where $\{x_1,x_2, \dots\}$ are computational basis states sampled from an unknown distribution $D$ and $\{c^*(x_1),c^*(x_2),\dots\}$ are the (possibly mixed) quantum states outputted by $c^*$. The special case of PAC-learning quantum process under constant input reduces to a natural problem which we named as approximate state discrimination, where we are given copies of an unknown quantum state $c^*$ from an known finite set $C$, and we want to learn with probability $1-\delta$ an $\epsilon$-approximate of $c^*$ with as few copies of $c^*$ as possible. We show that the problem of PAC learning quantum process can be solved with $$O\left(\frac{\log|C| + \log(1/ \delta)} { \epsilon^2}\right)$$ samples when the outputs are pure states and $$O\left(\frac{\log^3 |C|(\log |C|+\log(1/ \delta))} { \epsilon^2}\right)$$ samples if the outputs can be mixed. Some implications of our results are that we can PAC-learn a polynomial sized quantum circuit in polynomial samples and approximate state discrimination can be solved in polynomial samples even when concept class size $|C|$ is exponential in the number of qubits, an exponentially improvement over a full state tomography.

[1]  Philip M. Long,et al.  Fat-shattering and the learnability of real-valued functions , 1994, COLT '94.

[2]  Vladimir Vapnik,et al.  Chervonenkis: On the uniform convergence of relative frequencies of events to their probabilities , 1971 .

[3]  Jordan S. Cotler,et al.  Quantum algorithmic measurement , 2021, Nature Communications.

[4]  Ronald de Wolf,et al.  Guest Column: A Survey of Quantum Learning Theory , 2017, SIGA.

[5]  Ryan O'Donnell,et al.  Improved Quantum data analysis , 2020, Symposium on the Theory of Computing.

[6]  Philip M. Long,et al.  Characterizations of Learnability for Classes of {0, ..., n}-Valued Functions , 1995, J. Comput. Syst. Sci..

[7]  E. Knill,et al.  Reversing quantum dynamics with near-optimal quantum and classical fidelity , 2000, quant-ph/0004088.

[8]  Daniel A. Lidar,et al.  Quantum Process Tomography: Resource Analysis of Different Strategies , 2007, quant-ph/0702131.

[9]  John Preskill,et al.  Information-theoretic bounds on quantum advantage in machine learning , 2021, Physical review letters.

[10]  Ronald de Wolf,et al.  Optimal Quantum Sample Complexity of Learning Algorithms , 2016, CCC.

[11]  David Haussler,et al.  Decision Theoretic Generalizations of the PAC Model for Neural Net and Other Learning Applications , 1992, Inf. Comput..

[12]  Noga Alon,et al.  Scale-sensitive dimensions, uniform convergence, and learnability , 1997, JACM.

[13]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[14]  Koenraad M.R. Audenaert,et al.  Upper bounds on the error probabilities and asymptotic error exponents in quantum multiple state discrimination , 2014, 1401.7658.

[15]  Robert E. Schapire,et al.  Efficient distribution-free learning of probabilistic concepts , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[16]  Ronald de Wolf,et al.  A Survey of Quantum Property Testing , 2013, Theory Comput..

[17]  Scott Aaronson,et al.  The learnability of quantum states , 2006, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[18]  Jaikumar Radhakrishnan,et al.  Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem , 2005, 21st Annual IEEE Conference on Computational Complexity (CCC'06).

[19]  Philip M. Long,et al.  Fat-shattering and the learnability of real-valued functions , 1994, COLT '94.

[20]  A. R. Usha Devi,et al.  Quantum hypothesis testing and state discrimination. , 2018, 1803.04944.

[21]  Ryan O'Donnell,et al.  Quantum state certification , 2017, STOC.

[22]  Ping-Cheng Yeh,et al.  The learnability of unknown quantum measurements , 2015, Quantum Inf. Comput..

[23]  Srinivasan Arunachalam,et al.  Quantum hardness of learning shallow classical circuits , 2019, Electron. Colloquium Comput. Complex..

[24]  Ashley Montanaro,et al.  A lower bound on the probability of error in quantum state discrimination , 2007, 2008 IEEE Information Theory Workshop.

[25]  Xiaodi Wu,et al.  Sample-Optimal Tomography of Quantum States , 2015, IEEE Transactions on Information Theory.

[26]  Ashley Montanaro,et al.  Sequential measurements, disturbance and property testing , 2016, SODA.

[27]  Ashley Montanaro On the Distinguishability of Random Quantum States , 2007 .

[28]  Ryan O'Donnell,et al.  Efficient quantum tomography , 2015, STOC.

[29]  Steve Hanneke,et al.  The Optimal Sample Complexity of PAC Learning , 2015, J. Mach. Learn. Res..

[30]  Andreas J. Winter,et al.  How Many Copies are Needed for State Discrimination? , 2012, IEEE Transactions on Information Theory.

[31]  Joonwoo Bae,et al.  Quantum state discrimination and its applications , 2015, 1707.02571.

[32]  Anthony Chefles Quantum state discrimination , 2000 .

[33]  Scott Aaronson,et al.  Shadow tomography of quantum states , 2017, Electron. Colloquium Comput. Complex..

[34]  David Duncan,et al.  Occam's Razor , 1957 .

[35]  David Haussler,et al.  Learnability and the Vapnik-Chervonenkis dimension , 1989, JACM.

[36]  Umesh V. Vazirani,et al.  An Introduction to Computational Learning Theory , 1994 .

[37]  R. Schapire,et al.  Toward Efficient Agnostic Learning , 1994 .