Approximate representation theory
My current research focus is on algebraic characterizations of quantum entanglement. Recent developments have shown that questions about quantum correlations can be reduced to computational problems about non-commutative algebras. Understanding the limitations and structure of this algebraic framework for quantum correlations has important applications for cryptographic primitives for quantum devices, quantum computational complexity theory, and quantum information theory.
An operator-algebraic formulation for the self-testing of quantum measurement models
We give a new definition of self-testing for correlations in terms of states on C*-algebras. We show that this definition is equivalent to the standard definition for any nice enough class of finite-dimensional quantum models, provided that the correlation is extremal and has a full-rank model in the class. This last condition automatically holds for the class of POVM quantum models, but does not necessarily hold for the class of projective models by a result of Mancinska and Kaniewski. For extremal binary correlations and for extremal synchronous correlations, we show that any self-test for projective models is a self-test for POVM models. The question of whether there is a self-test for projective models which is not a self-test for POVM models remains open. We propose a C*-algebraic definition of self-testing for commuting operator models, and show that this definition is also equivalent to the standard definition of self-testing in the finite-dimensional case.
Near-optimal quantum strategies and approximate representations of the nonlocal game algebra
For synchronous, binary constraint systems, and XOR nonlocal games, there is a correspondence between optimal finite-dimensional quantum strategies and matrix representations of the affiliated game algebra with a maximally-entangled state. Based on the work of Slofstra and Vidick we extend the robustness of this correspondence by showing that near-optimal strategies are near or approximate representations of the game algebra with respect to the normalized Hilbert-Schmidt norm.
Paddock, Connor. "Rounding near-optimal quantum strategies for nonlocal games to strategies using maximally entangled states." arXiv preprint, 2022. (arXiv)
Nonlocal games from graphs
Perfect strategies for linear constraint system nonlocal games manifest in the structure of a group associated with the game. Based on the interesting work of Alex Arkhipov on forbidden graph minors and the existence of perfect quantum strategies of the Magic Square and Magic Pentagram nonlocal games. Vincent Russo, Turner Silverthorne, William Slofstra, and I initiated a study of linear constraint system nonlocal games arising from the incidence matrix of 2-coloured graphs. In this case, we found that certain group properties are characterized by the combinatorial structure of the associated graphs describing the game. This work was part of my M.Math thesis at the University of Waterloo under the supervision of Jon Yard and William Slofstra.
Expanding on my master's thesis my co-authors and I have written a more extensive article based on graph minors, linear system nonlocal games, and Arkhipov's theorem.
Antidegradable qubit channels
Subspaces of anticoherent spin states
Anticoherence of spin states is a separate but related notion to the degree of entanglement in a symmetric product of fermions. Upon stereographically projecting the Majorana representation, anticoherent spin states appear as collections of points on the 3-sphere with certain symmetries. Rajesh Pereira and I used ideas from polynomial invariant theory to construct subspaces of anticoherent spin states of various degrees. A connection to anticoherent subspaces and the higher-rank numerical range of certain spin observables was also found. This work was partially supported by an NSERC USRA.
Pereira, Rajesh, and Connor Paul-Paddock. "Anticoherent subspaces." Journal of Mathematical Physics 58.6 (2017): 062107. (arXiv link)