{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:41:31Z","timestamp":1770817291450,"version":"3.50.1"},"reference-count":72,"publisher":"MDPI AG","issue":"11","license":[{"start":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:00:00Z","timestamp":1634688000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Research Grants Council, University Grants Committee","doi-asserted-by":"publisher","award":["17300918"],"award-info":[{"award-number":["17300918"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002920","name":"Research Grants Council, University Grants Committee","doi-asserted-by":"publisher","award":["SRFS2021-7S02"],"award-info":[{"award-number":["SRFS2021-7S02"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"publisher","award":["61466"],"award-info":[{"award-number":["61466"]}],"id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>Process tomography, the experimental characterization of physical processes, is a central task in science and engineering. Here, we investigate the axiomatic requirements that guarantee the in-principle feasibility of process tomography in general physical theories. Specifically, we explore the requirement that process tomography should be achievable with a finite number of auxiliary systems and with a finite number of input states. We show that this requirement is satisfied in every theory equipped with universal extensions, that is, correlated states from which all other correlations can be generated locally with non-zero probability. We show that universal extensions are guaranteed to exist in two cases: (1) theories permitting conclusive state teleportation, and (2) theories satisfying three properties of Causality, Pure Product States, and Purification. In case (2), the existence of universal extensions follows from a symmetry property of Purification, whereby all pure bipartite states with the same marginal on one system are locally interconvertible. Crucially, our results hold even in theories that do not satisfy Local Tomography, the property that the state of any composite system can be identified from the correlations of local measurements. Summarizing, the existence of universal extensions, without any additional requirement of Local Tomography, is a sufficient guarantee for the characterizability of physical processes using a finite number of auxiliary systems and with a finite number of input systems.<\/jats:p>","DOI":"10.3390\/sym13111985","type":"journal-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T22:07:04Z","timestamp":1634767624000},"page":"1985","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Process Tomography in General Physical Theories"],"prefix":"10.3390","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1339-0656","authenticated-orcid":false,"given":"Giulio","family":"Chiribella","sequence":"first","affiliation":[{"name":"QICI Quantum Information and Computation Initiative, Department of Computer Science, The University of Hong Kong, Pokfulam Road, Hong Kong 999077, China"},{"name":"Department of Physics, The University of Hong Kong, Pokfulam Road, Hong Kong 999077, China"},{"name":"Department of Computer Science, University of Oxford, Parks Road, Oxford OX1 2JD, UK"},{"name":"Perimeter Institute for Theoretical Physics, 31 Caroline St N, Waterloo, ON N2L 2Y5, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2021,10,20]]},"reference":[{"key":"ref_1","unstructured":"Williams, R.A., and Beck, M.S. (2012). Process Tomography: Principles, Techniques and Applications, Butterworth-Heinemann."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"2455","DOI":"10.1080\/09500349708231894","article-title":"Prescription for experimental determination of the dynamics of a quantum black box","volume":"44","author":"Chuang","year":"1997","journal-title":"J. Mod. Opt."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1103\/PhysRevLett.78.390","article-title":"Complete characterization of a quantum process: The two-bit quantum gate","volume":"78","author":"Poyatos","year":"1997","journal-title":"Phys. Rev. Lett."},{"key":"ref_4","unstructured":"Leung, D.W. (2000). Towards robust quantum computation. arXiv."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1063\/1.1518554","article-title":"Choi\u2019s proof as a recipe for quantum process tomography","volume":"44","author":"Leung","year":"2003","journal-title":"J. Math. Phys."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"4195","DOI":"10.1103\/PhysRevLett.86.4195","article-title":"Quantum tomography for measuring experimentally the matrix elements of an arbitrary quantum operation","volume":"86","year":"2001","journal-title":"Phys. Rev. Lett."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"012317","DOI":"10.1103\/PhysRevA.64.012317","article-title":"Nonlocal operations: Purification, storage, compression, tomography, and probabilistic implementation","volume":"64","author":"Cirac","year":"2001","journal-title":"Phys. Rev. A"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"193601","DOI":"10.1103\/PhysRevLett.90.193601","article-title":"Ancilla-assisted quantum process tomography","volume":"90","author":"Altepeter","year":"2003","journal-title":"Phys. Rev. Lett."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"032322","DOI":"10.1103\/PhysRevA.77.032322","article-title":"Quantum-process tomography: Resource analysis of different strategies","volume":"77","author":"Mohseni","year":"2008","journal-title":"Phys. Rev. A"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1126\/science.1162086","article-title":"Complete characterization of quantum-optical processes","volume":"322","author":"Lobino","year":"2008","journal-title":"Science"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"055308","DOI":"10.1088\/1751-8113\/41\/5\/055308","article-title":"Optimizing quantum process tomography with unitary 2-designs","volume":"41","author":"Scott","year":"2008","journal-title":"J. Phys. A Math. Theor."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"010404","DOI":"10.1103\/PhysRevLett.102.010404","article-title":"Optimal quantum tomography of states, measurements, and transformations","volume":"102","author":"Bisio","year":"2009","journal-title":"Phys. Rev. Lett."},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"100401","DOI":"10.1103\/PhysRevLett.106.100401","article-title":"Efficient measurement of quantum dynamics via compressive sensing","volume":"106","author":"Shabani","year":"2011","journal-title":"Phys. Rev. Lett."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"012110","DOI":"10.1103\/PhysRevA.90.012110","article-title":"Quantum process tomography of unitary and near-unitary maps","volume":"90","author":"Baldwin","year":"2014","journal-title":"Phys. Rev. A"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1063\/1.2158715","article-title":"On the missing axiom of quantum mechanics","volume":"Volume 810","year":"2006","journal-title":"AIP Conference Proceedings"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1063\/1.2219356","article-title":"How to derive the Hilbert-space formulation of quantum mechanics from purely operational axioms","volume":"Volume 844","year":"2006","journal-title":"AIP Conference Proceedings"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1063\/1.2713449","article-title":"Operational axioms for quantum mechanics","volume":"Volume 889","year":"2007","journal-title":"AIP Conference Proceedings"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"D\u2019Ariano, G.M. (2010). Probabilistic theories: What is special about quantum mechanics?. Philosophy of Quantum Information and Entanglement, Cambridge University Press.","DOI":"10.1017\/CBO9780511676550.007"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01962588","article-title":"On a characterization of the state space of quantum mechanics","volume":"75","author":"Araki","year":"1980","journal-title":"Commun. Math. Phys."},{"key":"ref_20","first-page":"39","article-title":"Local accessibility of quantum states","volume":"8","author":"Wootters","year":"1990","journal-title":"Complex. Entropy Phys. Inf."},{"key":"ref_21","unstructured":"Hardy, L. (2001). Quantum theory from five reasonable axioms. arXiv."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"032304","DOI":"10.1103\/PhysRevA.75.032304","article-title":"Information processing in generalized probabilistic theories","volume":"75","author":"Barrett","year":"2007","journal-title":"Phys. Rev. A"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"240501","DOI":"10.1103\/PhysRevLett.99.240501","article-title":"Generalized no-broadcasting theorem","volume":"99","author":"Barnum","year":"2007","journal-title":"Phys. Rev. Lett."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"062348","DOI":"10.1103\/PhysRevA.81.062348","article-title":"Probabilistic theories with purification","volume":"81","author":"Chiribella","year":"2010","journal-title":"Phys. Rev. A"},{"key":"ref_25","unstructured":"Hardy, L. (2011). Reformulating and reconstructing quantum theory. arXiv."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1877","DOI":"10.3390\/e14101877","article-title":"Quantum theory, namely the pure and reversible theory of information","volume":"14","author":"Chiribella","year":"2012","journal-title":"Entropy"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Mauro D\u2019Ariano, G., Chiribella, G., and Perinotti, P. (2017). Quantum Theory from First Principles. An Informational Approach, Cambridge University Press.","DOI":"10.1017\/9781107338340"},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"012311","DOI":"10.1103\/PhysRevA.84.012311","article-title":"Informational derivation of quantum theory","volume":"84","author":"Chiribella","year":"2011","journal-title":"Phys. Rev. A"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Halvorson, H. (2011). Quantum theory and beyond: Is entanglement special?. Deep Beauty: Understanding the Quantum World through Mathematical Innovation, Cambridge University Press.","DOI":"10.1017\/CBO9780511976971"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"063001","DOI":"10.1088\/1367-2630\/13\/6\/063001","article-title":"A derivation of quantum theory from physical requirements","volume":"13","author":"Masanes","year":"2011","journal-title":"New J. Phys."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"16373","DOI":"10.1073\/pnas.1304884110","article-title":"Existence of an information unit as a postulate of quantum theory","volume":"110","author":"Masanes","year":"2013","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"123029","DOI":"10.1088\/1367-2630\/16\/12\/123029","article-title":"Higher-order interference and single-system postulates characterizing quantum theory","volume":"16","author":"Barnum","year":"2014","journal-title":"New J. Phys."},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"158","DOI":"10.22331\/q-2019-07-08-158","article-title":"Conjugates, filters and quantum mechanics","volume":"3","author":"Wilce","year":"2019","journal-title":"Quantum"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"445","DOI":"10.22331\/q-2021-04-28-445","article-title":"Reconstructing quantum theory from diagrammatic postulates","volume":"5","author":"Selby","year":"2021","journal-title":"Quantum"},{"key":"ref_35","first-page":"458","article-title":"Quantum theory in real Hilbert space","volume":"33","author":"Stueckelberg","year":"1960","journal-title":"Helv. Phys. Acta"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s10701-010-9488-1","article-title":"Entanglement sharing in real-vector-space quantum theory","volume":"42","author":"Wootters","year":"2012","journal-title":"Found. Phys."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1007\/s10701-011-9616-6","article-title":"Limited holism and real-vector-space quantum theory","volume":"42","author":"Hardy","year":"2012","journal-title":"Found. Phys."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"052106","DOI":"10.1103\/PhysRevA.87.052106","article-title":"Real-vector-space quantum theory with a universal quantum bit","volume":"87","author":"Aleksandrova","year":"2013","journal-title":"Phys. Rev. A"},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"2915","DOI":"10.1038\/ncomms3915","article-title":"Quantum replication at the Heisenberg limit","volume":"4","author":"Chiribella","year":"2013","journal-title":"Nat. Commun."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"424037","DOI":"10.1088\/1751-8113\/47\/42\/424037","article-title":"The rebit three-tangle and its relation to two-qubit entanglement","volume":"47","author":"Wootters","year":"2014","journal-title":"J. Phys. A Math. Theor."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Wootters, W.K. (2016). Optimal information transfer and real-vector-space quantum theory. Quantum Theory: Informational Foundations and Foils, Springer.","DOI":"10.1007\/978-94-017-7303-4_2"},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Chiribella, G., D\u2019Ariano, G.M., and Perinotti, P. (2016). Quantum from principles. Quantum Theory: Informational Foundations and Foils, Springer.","DOI":"10.1007\/978-94-017-7303-4"},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2011.01.002","article-title":"Information processing in convex operational theories","volume":"270","author":"Barnum","year":"2011","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Halvorson, H. (2011). Foliable operational structures for general probabilistic theories. Deep Beauty: Understanding the Quantum World through Mathematical Innovation, Cambridge University Press.","DOI":"10.1017\/CBO9780511976971"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1017\/S0960129512000163","article-title":"A formalism-local framework for general probabilistic theories, including quantum theory","volume":"23","author":"Hardy","year":"2013","journal-title":"Math. Struct. Comput. Sci."},{"key":"ref_46","first-page":"1","article-title":"Dilation of States and Processes in Operational-Probabilistic Theories","volume":"Volume 172","author":"Coecke","year":"2014","journal-title":"Proceedings of the 11th Workshop on Quantum Physics and Logic, Kyoto, Japan, 4\u20136 June 2014"},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Hardy, L. (2016). Reconstructing quantum theory. Quantum Theory: Informational Foundations and Foils, Springer.","DOI":"10.1007\/978-94-017-7303-4_7"},{"key":"ref_48","first-page":"367","article-title":"Categorical Probabilistic Theories","volume":"Volume 266","author":"Coecke","year":"2018","journal-title":"Proceedings of the 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3\u20137 July 2017"},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Abramsky, S., and Coecke, B. (2004, January 17). A Categorical Semantics of Quantum Protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, Turku, Finland.","DOI":"10.1109\/LICS.2004.1319636"},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1063\/1.2158713","article-title":"Kindergarten quantum mechanics\u2014lecture notes. Quantum theory: Reconsideration of foundations-3","volume":"Volume 810","author":"Coecke","year":"2006","journal-title":"AIP Conference Proceedings"},{"key":"ref_51","unstructured":"Engesser, K., Gabbay, D.M., and Lehmann, D. (2008). Categorical quantum mechanics. Handbook of Quantum Logic And Quantum Structures: Quantum Logic, Elsevier."},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1080\/00107510903257624","article-title":"Quantum picturalism","volume":"51","author":"Coecke","year":"2010","journal-title":"Contemp. Phys."},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Coecke, B., and Kissinger, A. (2018). Picturing Quantum Processes, Cambridge University Press.","DOI":"10.1017\/9781316219317"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1090\/psapm\/071\/600","article-title":"Teleportation in general probabilistic theories","volume":"Volume 71","author":"Barnum","year":"2012","journal-title":"Proceedings of the Symposia in Applied Mathematics"},{"key":"ref_55","unstructured":"Coecke, B., and Lal, R. (2010, January 29\u201330). Causal Categories: A Backbone for a Quantum-Relativistic Universe of Interacting Processes. Proceedings of the QPL VII, Oxford, UK."},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1007\/s10701-012-9646-8","article-title":"Causal categories: Relativistically interacting processes","volume":"43","author":"Coecke","year":"2013","journal-title":"Found. Phys."},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1139\/cjp-2012-0472","article-title":"Quantum theory from quantum information: The purification route","volume":"91","author":"Chiribella","year":"2013","journal-title":"Can. J. Phys."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"03003","DOI":"10.1051\/epjconf\/20159503003","article-title":"Conservation of information and the foundations of quantum mechanics","volume":"Volume 95","author":"Chiribella","year":"2015","journal-title":"EPJ Web of Conferences"},{"key":"ref_59","unstructured":"Tull, S. (2016). Operational theories of physics as categories. arXiv."},{"key":"ref_60","doi-asserted-by":"crossref","unstructured":"Ludwig, G. (1985). Foundations of Quantum Mechanics, Springer.","DOI":"10.1007\/978-3-662-28726-2"},{"key":"ref_61","unstructured":"Schmid, D., Selby, J.H., and Spekkens, R.W. (2020). Unscrambling the omelette of causation and inference: The framework of causal-inferential theories. arXiv."},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s00354-016-0201-6","article-title":"Terminality implies no-signalling... and much more than that","volume":"34","author":"Coecke","year":"2016","journal-title":"New Gener. Comput."},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"032110","DOI":"10.1103\/PhysRevA.75.032110","article-title":"Evidence for the epistemic view of quantum states: A toy theory","volume":"75","author":"Spekkens","year":"2007","journal-title":"Phys. Rev. A"},{"key":"ref_64","doi-asserted-by":"crossref","unstructured":"Spekkens, R.W. (2016). Quasi-quantization: Classical statistical theories with an epistemic restriction. Quantum Theory: Informational Foundations and Foils, Springer.","DOI":"10.1007\/978-94-017-7303-4_4"},{"key":"ref_65","unstructured":"Nielsen, M., and Chuang, I. (2000). Quantum Information and Computation, Cambridge University Press."},{"key":"ref_66","doi-asserted-by":"crossref","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","article-title":"Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels","volume":"70","author":"Bennett","year":"1993","journal-title":"Phys. Rev. Lett."},{"key":"ref_67","first-page":"209","article-title":"Distinguishability and copiability of programs in general process theories","volume":"8","author":"Chiribella","year":"2014","journal-title":"Int. J. Softw. Inform."},{"key":"ref_68","doi-asserted-by":"crossref","first-page":"123043","DOI":"10.1088\/1367-2630\/aa91c7","article-title":"Microcanonical thermodynamics in general physical theories","volume":"19","author":"Chiribella","year":"2017","journal-title":"New J. Phys."},{"key":"ref_69","doi-asserted-by":"crossref","unstructured":"Chiribella, G., and Scandolo, C.M. (2015). Operational axioms for diagonalizing states. arXiv.","DOI":"10.4204\/EPTCS.195.8"},{"key":"ref_70","doi-asserted-by":"crossref","first-page":"20009","DOI":"10.1209\/0295-5075\/107\/20009","article-title":"Fermionic computation is non-local tomographic and violates monogamy of entanglement","volume":"107","author":"Manessi","year":"2014","journal-title":"EPL Europhys. Lett."},{"key":"ref_71","doi-asserted-by":"crossref","first-page":"110403","DOI":"10.1103\/PhysRevLett.125.110403","article-title":"Fermionic state discrimination by local operations and classical communication","volume":"125","author":"Lugli","year":"2020","journal-title":"Phys. Rev. Lett."},{"key":"ref_72","doi-asserted-by":"crossref","first-page":"359","DOI":"10.22331\/q-2020-11-08-359","article-title":"Composites and categories of Euclidean Jordan algebras","volume":"4","author":"Barnum","year":"2020","journal-title":"Quantum"}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/13\/11\/1985\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:19:05Z","timestamp":1760167145000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/13\/11\/1985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,20]]},"references-count":72,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2021,11]]}},"alternative-id":["sym13111985"],"URL":"https:\/\/doi.org\/10.3390\/sym13111985","relation":{},"ISSN":["2073-8994"],"issn-type":[{"value":"2073-8994","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,20]]}}}