| Title:
|
Biunitary constructions in quantum information (English) |
| Author:
|
Reutter, David J. |
| Author:
|
Vicary, Jamie |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
3 |
| Issue:
|
1 |
| Year:
|
2019 |
| Pages:
|
109-154 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We present an infinite number of construction schemes involving unitary error bases, Hadamard matrices, quantum Latin squares and controlled families, many of which have not previously been described. Our results rely on biunitary connections, algebraic objects which play a central role in the theory of planar algebras. They have an attractive graphical calculus which allows simple correctness proofs for the constructions we present. We apply these techniques to construct a unitary error basis that cannot be built using any previously known method. (English) |
| Keyword:
|
Hadamard matrices |
| Keyword:
|
unitary error bases |
| Keyword:
|
quantum Latin squares |
| Keyword:
|
biunitary |
| Keyword:
|
2-category |
| Keyword:
|
graphical calculus |
| Keyword:
|
planar algebra |
| MSC:
|
18D05 |
| MSC:
|
81R99 |
| idZBL:
|
Zbl 1419.18008 |
| idMR:
|
MR3939047 |
| DOI:
|
10.21136/HS.2019.04 |
| . |
| Date available:
|
2026-03-10T21:58:39Z |
| Last updated:
|
2026-03-10 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153411 |
| . |
| Reference:
|
[1] Abramsky, Samson, Coecke, Bob: A categorical semantics of quantum protocols..In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. Institute of Electrical and Electronics Engineers (IEEE), 2004. arXiv:quant-ph/0402130, doi:10.1109/lics.2004.1319636 10.1109/lics.2004.1319636 |
| Reference:
|
[2] Abramsky, Samson, Coecke, Bob: Categorical quantum mechanics..In Handbook of Quantum Logic and Quantum Structures, pages 261–323. Elsevier, Amsterdam. arXiv:0808.1023, doi:10.1016/B978-0-444-52869-8.50010-4 10.1016/B978-0-444-52869-8.50010-4 |
| Reference:
|
[3] Afzaly, Narjess, Morrison, Scott, Penneys, David: The classification of subfactors with index at most 51/4..arXiv:1509.00038 |
| Reference:
|
[4] Backens, Miriam: The ZX-calculus is complete for stabilizer quantum mechanics..New Journal of Physics, 16(9):093021, 2014. arXiv:1307.7025, doi:10.1088/1367-2630/16/9/093021 10.1088/1367-2630/16/9/093021 |
| Reference:
|
[5] Baez, John C.: Higher-dimensional algebra II. 2-Hilbert spaces..Advances in Mathematics, 127(2):125–189, 1997. arXiv:9609018, doi:10.1006/aima.1997.1617 10.1006/aima.1997.1617 |
| Reference:
|
[6] Banica, Teodor, Bichon, Julien, Collins, Benoı̂t: Quantum permutation groups: a survey..In Noncommutative Harmonic Analysis with Applications to Probability. Institute of Mathematics, Polish Academy of Sciences. arXiv:math/0612724, doi:10.4064/bc78-0-1 10.4064/bc78-0-1 |
| Reference:
|
[7] Banica, Teodor, Bichon, Julien, Schlenker, Jean-Marc: Representations of quantum permutation algebras..Journal of Functional Analysis, 257(9):2864–2910. arXiv:0901.2331, doi:10.1016/j.jfa.2009.04.013 10.1016/j.jfa.2009.04.013 |
| Reference:
|
[8] Banica, Teodor, Nicoară, Remus: Quantum groups and Hadamard matrices..Panamer. Math. J., 17:1–24. arXiv:math/0610529 |
| Reference:
|
[9] Barrett, John W., Meusburger, Catherine, Schaumann, Gregor: Gray categories with duals and their diagrams..arXiv:1211.0529 |
| Reference:
|
[10] Bartlett, Bruce: Quasistrict symmetric monoidal 2-categories via wire diagrams..arXiv:1409.2148 |
| Reference:
|
[11] Benoist, Tristan, Nechita, Ion: On bipartite unitary matrices generating subalgebra-preserving quantum operations..Linear Algebra Appl., 521:70–103. arXiv:1608.05811, doi:10.1016/j.laa.2017.01.020 10.1016/j.laa.2017.01.020 |
| Reference:
|
[12] Coecke, Bob: Kindergarten quantum mechanics: Lecture notes..In AIP Conference Proceedings. AIP Publishing, 2006. arXiv:quant-ph/0510032, doi:10.1063/1.2158713 10.1063/1.2158713 |
| Reference:
|
[13] Coecke, Bob, Duncan, Ross: Interacting quantum observables..In Automata, Languages and Programming, volume 5126 of Lecture Notes in Computer Science, pages 298–310. Springer Science + Business Media. arXiv:0906.4725, doi:10.1007/978-3-540-70583-3_25 10.1007/978-3-540-70583-3_25 |
| Reference:
|
[14] Coecke, Bob, Heunen, Chris, Kissinger, Aleks: Categories of quantum and classical channels..Quantum Information Processing. arXiv:1305.3821, doi:10.1007/s11128-014-0837-4 10.1007/s11128-014-0837-4 |
| Reference:
|
[15] Coecke, Bob, Kissinger, Aleks: Picturing Quantum Processes..Cambridge University Press |
| Reference:
|
[16] Coecke, Bob, Pavlovic, Dusko, Vicary, Jamie: A new description of orthogonal bases..Mathematical Structures in Computer Science, 23(03):555–567. arXiv:0810.0812, doi:10.1017/s0960129512000047 10.1017/s0960129512000047 |
| Reference:
|
[17] Dawson, Robert, Paré, Robert: Characterizing tileorders..Order, 10(2):111–128, 1993. doi:10.1007/bf01111295 10.1007/bf01111295 |
| Reference:
|
[18] Diţă, Petre: Some results on the parametrization of complex Hadamard matrices..J. Phys. A: Math. Gen., 37(20):5355–5374. doi:10.1088/0305-4470/37/20/008 10.1088/0305-4470/37/20/008 |
| Reference:
|
[19] Durt, Thomas, Englert, Berthold-Georg, Bengtsson, Ingemar, Życzkowski, Karol: On mutually unbiased bases..International Journal of Quantum Information, 08(04):535–640, 2010. arXiv:1004.3348, doi:10.1142/s0219749910006502 10.1142/s0219749910006502 |
| Reference:
|
[20] Elgueta, Josep: A strict totally coordinatized version of Kapranov and Voevodsky’s 2-category 2Vect..Math. Proc. Camb. Phil. Soc., 142(03):407, 2007. arXiv:math/0406475, doi:10.1017/s0305004106009881 10.1017/s0305004106009881 |
| Reference:
|
[21] Evans, David E., Kawahigashi, Yasuyuki: Quantum symmetries on operator algebras..Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York. Oxford Science Publications |
| Reference:
|
[22] Haagerup, Uffe: Orthogonal maximal abelian *-subalgebras of the n × n matrices and cyclic n-roots..Institut for Matematik, U. of Southern Denmark, 29:296–322 |
| Reference:
|
[23] Hosoya, Rie, Suzuki, Hiroshi: Type II matrices and their Bose-Mesner algebras..Journal of Algebraic Combinatorics, 17(1):19–37, 2003. doi:10.1023/a:1021960623533 10.1023/a:1021960623533 |
| Reference:
|
[24] Hummon, Benjamin: Surface diagrams for Gray categories..PhD thesis, UC San Diego. Available online |
| Reference:
|
[25] Izumi, Masaki, Morrison, Scott, Penneys, David, Peters, Emily, Snyder, Noah: Subfactors of index exactly 5..Bulletin of the London Mathematical Society, 47(2):257–269. arXiv:1406.2389, doi:10.1112/blms/bdu113 10.1112/blms/bdu113 |
| Reference:
|
[26] Jaffe, Arthur, Liu, Zhengwei: Planar para algebras, reflection positivity..Comm. Math. Phys., 352(1):95–133. arXiv:1602.02662, doi:10.1007/s00220-016-2779-4 10.1007/s00220-016-2779-4 |
| Reference:
|
[27] Jaffe, Arthur, Liu, Zhengwei, Wozniakowski, Alex: Constructive simulation and topological design of protocols..New Journal of Physics, 19(6):063016. arXiv:1611.06447, doi:10.1088/1367-2630/aa5b57 10.1088/1367-2630/aa5b57 |
| Reference:
|
[28] Jaffe, Arthur, Liu, Zhengwei, Wozniakowski, Alex: Holographic software for quantum networks..Sci. China Math., 61(4):593–626. URL: https://doi.org/10.1007/s11425-017-9207-3, arXiv:1605.00127, doi:10.1007/s11425-017-9207-3 10.1007/s11425-017-9207-3 |
| Reference:
|
[29] Jones, Vaughan F. R.: On knot invariants related to some statistical mechanical models..Pacific Journal of Mathematics, 137(2):311–334. doi:10.2140/pjm.1989.137.311 10.2140/pjm.1989.137.311 |
| Reference:
|
[30] Jones, Vaughan F. R.: Planar algebras, I..arXiv:math/9909027 |
| Reference:
|
[31] Jones, Vaughan F. R., Morrison, Scott, Snyder, Noah: The classification of subfactors of index at most 5..Bull. Amer. Math. Soc., 51(2):277–327. arXiv:1304.6141, doi:10.1090/s0273-0979-2013-01442-3 10.1090/s0273-0979-2013-01442-3 |
| Reference:
|
[32] Jones, Vaughan F. R., Sunder, Vaikalathur S.: Introduction to Subfactors..Cambridge University Press (CUP), 1997. doi:10.1017/cbo9780511566219 10.1017/cbo9780511566219 |
| Reference:
|
[33] Joyal, André, Street, Ross: The geometry of tensor calculus, I..Advances in Mathematics, 88(1):55–112. doi:10.1016/0001-8708(91)90003-p 10.1016/0001-8708(91)90003-p |
| Reference:
|
[34] Kissinger, Aleks, Zamdzhiev, Vladimir: Quantomatic: A proof assistant for diagrammatic reasoning..In Automated Deduction - CADE-25, pages 326–336. Springer Science + Business Media. arXiv:1503.01034, doi:10.1007/978-3-319-21401-6_22 10.1007/978-3-319-21401-6_22 |
| Reference:
|
[35] Klappenecker, Andreas, Rötteler, Martin: Unitary error bases: Constructions, equivalence, and applications..In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pages 139–149. Springer. doi:10.1007/3-540-44828-4_16 10.1007/3-540-44828-4_16 |
| Reference:
|
[36] Knill, Emanuel: Group representations, error bases and quantum codes..Los Alamos National Laboratory Report LAUR-96-2807, 1996. arXiv:quant-ph/9608049, doi:10.2172/378680 10.2172/378680 |
| Reference:
|
[37] Knill, Emanuel: Non-binary unitary error bases and quantum codes..Los Alamos National Laboratory Report LAUR-96-2717, 1996. arXiv:quant-ph/9608048, doi:10.2172/373768 10.2172/373768 |
| Reference:
|
[38] Matolcsi, Máté, Réffy, Júlia, Szöllősi, Ferenc: Constructions of complex Hadamard matrices via tiling abelian groups..Open Syst. Inf. Dyn., 14(03):247–263. arXiv:quant-ph/0607073, doi:10.1007/s11080-007-9050-6 10.1007/s11080-007-9050-6 |
| Reference:
|
[39] Meyer, David A., Wong, Thomas G.: Connectivity is a poor indicator of fast quantum search..Phys. Rev. Lett., 114(11). arXiv:1409.5876, doi:10.1103/physrevlett.114.110503 10.1103/physrevlett.114.110503 |
| Reference:
|
[40] Morrison, Scott, Peters, Emily: The little desert? Some subfactors with index in the interval (5,3+sqrt5)..International Journal of Mathematics, 25(08):1450080. arXiv:1205.2742, doi:10.1142/s0129167x14500803 10.1142/s0129167x14500803 |
| Reference:
|
[41] Musto, Benjamin: Constructing mutually unbiased bases from quantum Latin squares..236:108–126. arXiv:1605.08919, doi:10.4204/EPTCS.236.8 10.4204/EPTCS.236.8 |
| Reference:
|
[42] Musto, Benjamin, Vicary, Jamie: Quantum Latin squares and unitary error bases..Quantum Inf. Comput., 16(15-16):1318–1332, 2016. arXiv:1504.02715 |
| Reference:
|
[43] Nicoară, Remus: A finiteness result for commuting squares of matrix algebras..J. Operator Theory, 55(2):295–310, 2006. arXiv:math/0404301 |
| Reference:
|
[44] Nicoară, Remus: Subfactors and Hadamard matrices..J. Operator Theory, 64(2):453–468, 2010. arXiv:0704.1128 |
| Reference:
|
[45] Ocneanu, Adrian: Quantized groups, string algebras, and Galois theory for algebras..In David E. Evans and Masamichi Takesaki, editors, Operator Algebras and Applications, pages 119–172. Cambridge University Press (CUP). doi:10.1017/cbo9780511662287.008 10.1017/cbo9780511662287.008 |
| Reference:
|
[46] Orús, Román: A practical introduction to tensor networks: Matrix product states and projected entangled pair states..Annals of Physics, 349:117–158. arXiv:1306.2164, doi:10.1016/j.aop.2014.06.013 10.1016/j.aop.2014.06.013 |
| Reference:
|
[47] Penrose, Roger: Applications of negative-dimensional tensors..In D.J.A. Welsh, editor, Combinatorial Mathematics and its Applications, pages 221–244. Academic Press, New York |
| Reference:
|
[48] Petrescu, Mihai: Existence of Continuous Families of Complex Hadamard Matrices of Certain Prime Dimensions and Related Results..PhD thesis, University of California, Los Angeles |
| Reference:
|
[49] Popa, Sorin: Orthogonal pairs of *-subalgebras in finite von Neumann algebras..J. Operator Theory, 9(2):253–268 |
| Reference:
|
[50] Schommer-Pries, Christopher: The classification of two-dimensional extended topological field theories..PhD thesis, Department of Mathematics, University of California, Berkeley, 2009. arXiv:1112.1000 |
| Reference:
|
[51] Selinger, Peter: Dagger compact closed categories and completely positive maps..Electronic Notes in Theoretical Computer Science, 170:139–163. doi:10.1016/j.entcs.2006.12.018 10.1016/j.entcs.2006.12.018 |
| Reference:
|
[52] Selinger, Peter: A survey of graphical languages for monoidal categories..In New Structures for Physics, pages 289–355. Springer Science + Business Media. arXiv:0908.3347, doi:10.1007/978-3-642-12821-9_4 10.1007/978-3-642-12821-9_4 |
| Reference:
|
[53] Shannon, Claude E.: Communication theory of secrecy systems..Bell System Technical Journal, 28(4):656–715. doi:10.1002/j.1538-7305.1949.tb00928.x 10.1002/j.1538-7305.1949.tb00928.x |
| Reference:
|
[54] Shor, Peter W.: Fault-tolerant quantum computation..In Proceedings of 37th Conference on Foundations of Computer Science, pages 56–65. IEEE Computer Society Press, 1996. arXiv:quant-ph/9605011, doi:10.1109/sfcs.1996.548464 10.1109/sfcs.1996.548464 |
| Reference:
|
[55] Szöllősi, Ferenc: Construction, classification and parametrization of complex Hadamard matrices..PhD thesis, Central European University, Budapest, Hungary, 2011. arXiv:1110.5590 |
| Reference:
|
[56] Szöllősi, Ferenc: Complex Hadamard matrices of order 6: a four-parameter family..Journal of the London Mathematical Society, 85(3):616–632. arXiv:1008.0632, doi:10.1112/jlms/jdr052 10.1112/jlms/jdr052 |
| Reference:
|
[57] Tadej, Wojciech, Życzkowski, Karol: A concise guide to complex Hadamard matrices..Open Syst. Inf. Dyn., 13(02):133–177. arXiv:quant-ph/0512154, doi:10.1007/s11080-006-8220-2 10.1007/s11080-006-8220-2 |
| Reference:
|
[58] Vicary, Jamie: Higher quantum theory..arXiv:1207.4563 |
| Reference:
|
[59] Vicary, Jamie: Higher semantics of quantum protocols..In 27th Annual IEEE Symposium on Logic in Computer Science. Institute of Electrical & Electronics Engineers (IEEE). doi:10.1109/lics.2012.70 10.1109/lics.2012.70 |
| Reference:
|
[60] Werner, Reinhard F.: All teleportation and dense coding schemes..J. Phys. A: Math. Gen., 34(35):7081–7094. doi:10.1088/0305-4470/34/35/332 10.1088/0305-4470/34/35/332 |
| Reference:
|
[61] Wocjan, Pawel, Beth, Thomas: New construction of mutually unbiased bases in square dimensions..Quantum Inf. Comput., 5(2):93–101, 2005. arXiv:quant-ph/0407081 |
| . |
