Abstract
Quantum operations are the most widely used tool in the theory of quantum information processing, representing elementary transformations of quantum states that are composed to form complex quantum circuits. The class of quantum transformations can be extended by including transformations on quantum operations, and transformations thereof, and so on up to the construction of a potentially infinite hierarchy of transformations. In the last decade, a sub-hierarchy, known as quantum combs, was exhaustively studied, and characterised as the most general class of transformations that can be achieved by quantum circuits with open slots hosting variable input elements, to form a complete output quantum circuit. The theory of quantum combs proved to be successful for the optimisation of information processing tasks otherwise untreatable. In more recent years the study of maps from combs to combs has increased, thanks to interesting examples showing how this next order of maps requires entanglement of the causal order of operations with the state of a control quantum system, or, even more radically, superpositions of alternate causal orderings. Some of these non-circuital transformations are known to be achievable and have even been achieved experimentally, and were proved to provide some computational advantage in various information-processing tasks with respect to quantum combs. Here we provide a formal language to form all possible types of transformations, and use it to prove general structure theorems for transformations in the hierarchy. We then provide a mathematical characterisation of the set of maps from combs to combs, hinting at a route for the complete characterisation of maps in the hierarchy. The classification is strictly related to the way in which the maps manipulate the causal structure of input circuits.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
M.A. Nielsen, I.L. Chuang Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2010)
D. Deutsch, Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 425, 73–90 (1989)
A.C.-C. Yao, in Proceedings of Thirty-fourth IEEE Symposium on Foundations of Computer Science (FOCS1993), pp. 352–361 (1993)
D. Aharonov, A. Kitaev, N. Nisan, in Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, STOC ’98 (ACM, New York, 1998), pp. 20–30
G. Chiribella, G.M. D’Ariano, P. Perinotti, Phys. Rev. A 81, 062348 (2010)
G. Chiribella, G.M. D’ariano, P. Perinotti, Phys. Rev. A 84, 012311 (2011)
G.M. D’Ariano, G. Chiribella, P. Perinotti, Quantum Theory Form First Principles. An Informational Approach (Cambridge University Press, Cambridge, 2017)
W. Stinespring, Proc. Am. Math. Soc. 6, 211 (1955)
K. Kraus, A. Böhm, J. Dollard, W. Wootters, States, Effects, and Operations: Fundamental Notions of Quantum Theory: Lectures in Mathematical Physics at the University of Texas at Austin, Lecture Notes in Physics (Springer, Berlin, 1983)
M. Ozawa, Rep. Math. Phys. 18, 11 (1980)
G. Chiribella, G.M. D’Ariano, P. Perinotti, Phys. Rev. Lett. 101, 4 (2008)
G. Chiribella, G.M. D’Ariano, P. Perinotti, Phys. Rev. A 80, 022339 (2009)
G. Gutoski, J. Watrous, in Proceedings of the Thirty-ninth Annual ACM Symposium on Theory of Computing, STOC ’07 (ACM, New York, 2007), pp. 565–574
G. Chiribella, G.M. D’Ariano, P. Perinotti, B. Valiron, Phys. Rev. A 88, 022318 (2013)
O. Oreshkov, F. Costa, C. Brukner, Nat. Commun. 3, 1092 (2012)
Ä. Baumeler, S. Wolf, in 2014 IEEE International Symposium on Information Theory (ISIT), pp. 526–530 (2014)
M.-D. Choi, Linear Algebra Appl. 10, 285 (1975)
A. Bisio, P. Perinotti, in preparation
A. Bisio, G. Chiribella, G. D’Ariano, P. Perinotti, Acta Phys. Slovaca 61, 273 (2011)
G. Chiribella, G.M. D’Ariano, P. Perinotti, Europhys. Lett. 83, 30004 (2008)
Acknowledgements
The author is grateful Alessandro Bisio for carefully reading the first version and pointing out an important imprecision, and to Aleks Kissinger and Fabio Costa for insightful discussions. This publication was made possible through the support of a grant from the John Templeton Foundation (Grant ID# 60609). The opinions expressed in this publication are those of the author and do not necessarily reflect the views of the John Templeton Foundation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Perinotti, P. (2017). Causal Structures and the Classification of Higher Order Quantum Computations. In: Renner, R., Stupar, S. (eds) Time in Physics. Tutorials, Schools, and Workshops in the Mathematical Sciences . Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-68655-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-68655-4_7
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-68654-7
Online ISBN: 978-3-319-68655-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)