1ICTQT, Đại học Gdańsk, Wita Stwosza 63, 80-308 Gdańsk, Ba Lan
2Khoa Toán & Thống kê, Đại học Calgary, Canada
3Viện Khoa học và Công nghệ Lượng tử, Đại học Calgary, Canada
4Công ty TNHH điện toán lượng tử Cambridge
Tìm bài báo này thú vị hay muốn thảo luận? Scite hoặc để lại nhận xét về SciRate.
Tóm tắt
Việc xây dựng lại lý thuyết lượng tử đề cập đến cả mô hình toán học và khái niệm cho phép người ta rút ra công thức thông thường của lý thuyết lượng tử từ một tập hợp các giả định nguyên thủy. Động lực để làm như vậy là do cảm thấy khó chịu với cách trình bày thông thường của lý thuyết lượng tử, điều khó chịu bắt đầu từ người sáng lập ra nó là John von Neumann.
Chúng tôi trình bày sự tái thiết của lý thuyết lượng tử hữu hạn chiều trong đó tất cả các định đề được phát biểu dưới dạng sơ đồ, khiến chúng trở nên trực quan. Tương tự, chúng được phát biểu theo thuật ngữ lý thuyết phạm trù, khiến chúng trở nên hấp dẫn về mặt toán học. Một lần nữa, một cách tương tự, chúng được phát biểu dưới dạng thuật ngữ lý thuyết quá trình, chứng minh rằng nền tảng khái niệm của lý thuyết lượng tử liên quan đến cách thức cấu thành các hệ thống và quy trình.
Bên cạnh hình thức sơ đồ, khía cạnh mới lạ quan trọng của việc tái thiết này là việc đưa ra một định đề mới, thanh lọc đối xứng. Không giống như định đề thanh lọc thông thường, thanh lọc đối xứng áp dụng tốt cho lý thuyết cổ điển cũng như lý thuyết lượng tử. Do đó, trước tiên chúng tôi xây dựng lại mô tả lý thuyết quá trình đầy đủ của lý thuyết lượng tử, bao gồm các hệ thống lượng tử cổ điển tổng hợp và các tương tác của chúng, trước khi giới hạn bản thân chúng tôi chỉ ở các hệ thống 'lượng tử hoàn toàn' là bước cuối cùng.
Chúng tôi đề xuất hai cách thay thế mới để làm như vậy, 'không rò rỉ' (đại khái việc thu thập thông tin đó gây ra nhiễu loạn) và 'độ tinh khiết của cốc' (đại khái là sự tồn tại của các trạng thái vướng víu). Điều thú vị là những điều này hóa ra lại tương đương với bất kỳ lý thuyết quy trình nào về cốc và nắp. Ngoài ra, chúng tôi cho thấy định đề thanh lọc tiêu chuẩn có thể được coi là hệ quả trực tiếp của định đề thanh lọc đối xứng và độ tinh khiết của cốc như thế nào.
Các kết quả tiếp tuyến khác liên quan đến các khuôn khổ cụ thể của lý thuyết xác suất tổng quát (GPT) và lý thuyết quá trình (còn gọi là CQM). Đầu tiên, chúng tôi cung cấp bản trình bày dưới dạng sơ đồ về GPT, từ đó trở đi có thể được xếp vào các lý thuyết quy trình. Thứ hai, chúng tôi lập luận rằng 'con dao găm sắc bén' thực sự là sự lựa chọn đúng đắn cho cấu trúc dao găm vì độ sắc bén này rất quan trọng đối với việc tái thiết.
Hình ảnh nổi bật: Biểu diễn bằng sơ đồ của định đề thanh lọc đối xứng.
Tóm tắt phổ biến
► Dữ liệu BibTeX
► Tài liệu tham khảo
[1] S. Abramsky và B. Coecke. Một ngữ nghĩa phân loại của các giao thức lượng tử. Trong Hội nghị chuyên đề thường niên lần thứ 19 của IEEE về Logic trong Khoa học Máy tính, trang 415–425, 2004. 10.1109/LICS.2004.1319636.
https: / / doi.org/ 10.1109 / LICS.2004.1319636
[2] S. Abramsky và B. Coecke. Dấu vết vật lý trừu tượng. Ứng dụng lý thuyết Hạng mục, 14: 111–124, 2005.
[3] S. Abramsky và C. Heunen. Đại số H* và đại số Frobenius không đơn vị: những bước đầu tiên trong cơ học lượng tử phân loại vô hạn chiều. Clifford Lect., 71: 1–24, 2012.
[4] S. Abramsky, R. Blute và P. Panangaden. Các iđêan hạt nhân và dấu vết trong các phạm trù * căng thẳng. J. Ứng dụng tinh khiết. Đại số, 143 (1-3): 3–47, 1999. 10.1016/s0022-4049(98)00106-6.
https://doi.org/10.1016/s0022-4049(98)00106-6
[5] Y. Aharonov, S. Popescu và J. Tollaksen. Một công thức đối xứng thời gian của cơ học lượng tử. Vật lý ngày nay, 63 (11): 27–32, 2010. 10.1063/1.3518209.
https: / / doi.org/ 10.1063 / 1.3518209
[6] EM Alfsen và FW Shultz. Không gian trạng thái của đại số Jordan. Trong Hình học không gian trạng thái của đại số toán tử, trang 139–189. Springer, 2003a. 10.1007/978-1-4612-0019-2_5.
https://doi.org/10.1007/978-1-4612-0019-2_5
[7] EM Alfsen và FW Shultz. Hình học của không gian trạng thái của đại số toán tử. Toán học: Lý thuyết & Ứng dụng. Birkhäuser, Basel, 2003b. 10.1007/978-1-4612-0019-2.
https://doi.org/10.1007/978-1-4612-0019-2
[8] H. Araki. Về đặc tính không gian trạng thái của cơ học lượng tử. Cộng đồng. Toán học. Phys., 75 (1): 1–24, 1980. 10.1007/bf01962588.
https: / / doi.org/ 10.1007 / bf01962588
[9] M. Araújo, A. Feix, M. Navascués và Č. Brukner. Một định đề thanh lọc cho cơ học lượng tử với trật tự nhân quả không xác định. Lượng tử, 1:10, 2017. ISSN 2521-327X. 10.22331/q-2017-04-26-10.
https://doi.org/10.22331/q-2017-04-26-10
[10] Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski và John van de Wetering. Ở đó và trở lại: Một câu chuyện khai thác mạch. Lượng tử, 5: 421, 3 2021. ISSN 2521-327X. 10.22331/q-2021-03-25-421.
https://doi.org/10.22331/q-2021-03-25-421
[11] JC Baez và M. Ở lại. Vật lý, cấu trúc liên kết, logic và tính toán: hòn đá Rosetta. Trong B. Coecke, biên tập viên, Cấu trúc mới cho Vật lý, Ghi chú Bài giảng Vật lý, trang 95–172. Springer, 2011. 10.1007/978-3-642-12821-9_2.
https://doi.org/10.1007/978-3-642-12821-9_2
[12] H. Barnum và A. Wilce. Chụp cắt lớp cục bộ và cấu trúc Jordan của lý thuyết lượng tử. Thành lập. Vật lý, 44 (2): 192–212, 2014. 10.1007/s10701-014-9777-1.
https://doi.org/10.1007/s10701-014-9777-1
[13] H. Barnum, R. Duncan và A. Wilce. Tính đối xứng, độ đóng nhỏ gọn và độ nhỏ gọn của dao găm cho các loại mô hình hoạt động lồi. J. Philos. Nhật ký, 42 (3): 501–523, 2013a. 10.1007/s10992-013-9280-8.
https://doi.org/10.1007/s10992-013-9280-8
[14] H. Barnum, CP Gaebler và A. Wilce. Sự điều khiển tập thể, tính tự đối ngẫu yếu và cấu trúc của các lý thuyết xác suất. Thành lập. Vật lý, 43 (12): 1411–1427, 2013b. 10.1007/s10701-013-9752-2.
https://doi.org/10.1007/s10701-013-9752-2
[15] H. Barnum, Nghị sĩ Müller và C. Ududec. Giao thoa bậc cao và các định đề hệ thống đơn đặc trưng cho lý thuyết lượng tử. New J. Phys., 16 (12): 123029, 2014. 10.1088/1367-2630/16/12/123029.
https://doi.org/10.1088/1367-2630/16/12/123029
[16] H. Barnum, CM Lee, CM Scandolo và JH Selby. Loại trừ sự can thiệp bậc cao hơn từ các nguyên tắc thuần khiết. Entropy, 19 (6): 253, 2017. ISSN 1099-4300. 10.3390/e19060253. URL http:///dx.doi.org/10.3390/e19060253.
https: / / doi.org/ 10.3390 / e19060253
[17] Howard Barnum, Carlton M Caves, Christopher A Fuchs, Richard Jozsa và Benjamin Schumacher. Các trạng thái hỗn hợp không đi lại không thể được phát sóng. Thư đánh giá vật lý, 76 (15): 2818, 1996. 10.1103/physrevlett.76.2818.
https: / / doi.org/ 10.1103 / Physrevlett.76.2818
[18] Howard Barnum, Matthew A. Graydon và Alexander Wilce. Hợp chất và phạm trù của đại số Euclidean Jordan. Tháng 2020 năm 10.22331. 2020/q-11-08-359-XNUMX.
https://doi.org/10.22331/q-2020-11-08-359
[19] J. Barrett. Xử lý thông tin trong lý thuyết xác suất tổng quát. Vật lý. Rev. A, 75 (3): 032304, 2007. 10.1103/PhysRevA.75.032304.
https: / / doi.org/ 10.1103 / PhysRevA.75.032304
[20] Chuông JS. Về nghịch lý Einstein-Podolsky-Rosen. Vật lý, 1 (3): 195–200, 1964. 10.1103/vật lý vật lýfizika.1.195.
https: / / doi.org/ 10.1103 / Physsphysiquefizika.1.195
[21] S. Bergia, F. Cannata, A. Cornia và R. Livi. Về khả năng đo thực tế của ma trận mật độ của một hệ phân rã bằng các phép đo trên các sản phẩm phân rã. Thành lập. Phys., 10 (9-10): 723–730, 1980. 10.1007/BF00708418.
https: / / doi.org/ 10.1007 / BF00708418
[22] O. Bratteli. Giới hạn quy nạp của đại số C* hữu hạn chiều. Dịch. Là. Toán học. Soc., 171: 195–234, 1972. 10.2307/1996380.
https: / / doi.org/ 10.2307 / 1996380
[23] C. Brukner. Giới hạn tương quan lượng tử với trật tự nhân quả không xác định. New J. Phys., 17 (8): 083034, 2015. 10.1088/1367-2630/17/8/083034.
https://doi.org/10.1088/1367-2630/17/8/083034
[24] A. Budiyono và D. Rohrlich. Cơ học lượng tử là cơ học thống kê cổ điển với sự mở rộng về bản chất và hạn chế về mặt nhận thức. Nat. Cộng đồng, 8 (1): 1306, 2017. 10.1038/s41467-017-01375-w.
https: / / doi.org/ 10.1038 / s41467-017-01375-w
[25] Titouan Carette, Dominic Horsman và Simon Perdrix. SZX-Calculus: Lý luận lượng tử đồ họa có thể mở rộng. Trong Peter Rossmanith, Pinar Heggernes và Joost-Pieter Katoen, các biên tập viên, Hội nghị chuyên đề quốc tế lần thứ 44 về cơ sở toán học của khoa học máy tính (MFCS 2019), tập 138 của Kỷ yếu quốc tế về tin học của Leibniz (LIPIcs), trang 55:1–55:15, Dagstuhl, Đức, 2019. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-117-7. 10.4230/LIPics.MFCS.2019.55. URL http:///drops.dagstuhl.de/opus/volltexte/2019/10999.
https: / / doi.org/ 10.4230 / LIPIcs.MFCS.2019.55
http: / / drops.dagstuhl.de/ opus / volltexte / 2019/10999
[26] N. Chancellor, A. Kissinger, S. Zohren và D. Horsman. Xây dựng kiểm tra tính chẵn lẻ mạch lạc để sửa lỗi lượng tử. arXiv:1611.08012 [quant-ph], 2016.
arXiv: 1611.08012
[27] G. Chiribella. Phân biệt hoàn hảo các kênh không có tín hiệu thông qua sự chồng chất lượng tử của các cấu trúc nhân quả. Vật lý. Mục A, 86 (4): 040301, 2012. 10.1103/physreva.86.040301.
https: / / doi.org/ 10.1103 / Physreva.86.040301
[28] G. Chiribella. Khả năng phân biệt và khả năng sao chép của các chương trình trong lý thuyết quy trình chung. Int. J. Softw. Thông báo., 8: 209–223, 2014.
[29] G. Chiribella và CM Scandolo. Sự vướng víu và nhiệt động lực học trong các lý thuyết xác suất tổng quát. J. Phys mới, 17 (10): 103027, 2015a. 10.1088/1367-2630/17/10/103027.
https://doi.org/10.1088/1367-2630/17/10/103027
[30] G. Chiribella và CM Scandolo. Tiên đề hoạt động cho các trạng thái chéo hóa. Trong C. Heunen, P. Selinger và J. Vicary, các biên tập viên, Kỷ yếu của Hội thảo Quốc tế lần thứ 12 về Vật lý Lượng tử và Logic, Oxford, Vương quốc Anh, ngày 15-17 tháng 2015 năm 195, tập 96 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, các trang 115–2015, 10.4204b. 195.8/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.195.8
[31] G. Chiribella và CM Scandolo. Sự vướng víu như một nền tảng tiên đề cho cơ học thống kê. arXiv:1608.04459, 2016.
arXiv: 1608.04459
[32] G. Chiribella và CM Scandolo. Nhiệt động lực học vi mô trong các lý thuyết vật lý nói chung. New J. Phys., 19 (12): 123043, 2017. 10.1088/1367-2630/aa91c7.
https://doi.org/10.1088/1367-2630/aa91c7
[33] G. Chiribella, GM D'Ariano và P. Perinotti. Lý thuyết xác suất với sự thanh lọc. Vật lý. Mục A, 81 (6): 062348, 2010. 10.1103/physreva.81.062348.
https: / / doi.org/ 10.1103 / Physreva.81.062348
[34] G. Chiribella, GM D'Ariano và P. Perinotti. Nguồn gốc thông tin của lý thuyết lượng tử. Vật lý. Mục A, 84 (1): 012311, 2011. 10.1103/physreva.84.012311.
https: / / doi.org/ 10.1103 / Physreva.84.012311
[35] G. Chiribella, GM D'Ariano và P. Perinotti. Lý thuyết Lượng tử: Cơ sở và Lá thông tin, chương Lượng tử từ Nguyên lý, trang 171–221. Springer Hà Lan, Dordrecht, 2016. ISBN 978-94-017-7303-4. 10.1007/978-94-017-7303-4_6.
https://doi.org/10.1007/978-94-017-7303-4_6
[36] R. Clifton, J. Bub và H. Halvorson. Đặc trưng của lý thuyết lượng tử về các ràng buộc lý thuyết thông tin. Thành lập. Phys., 33: 1561–1591, 2003. 10.1023/A:1026056716397.
https: / / doi.org/ 10.1023 / A: 1026056716397
[37] B. Coecke. Cơ học lượng tử mẫu giáo: Ghi chú bài giảng. Trong Kỷ yếu Hội nghị AIP, tập 810, trang 81–98. AIP, 2006. 10.1063/1.2158713.
https: / / doi.org/ 10.1063 / 1.2158713
[38] B. Coecke. Chủ nghĩa hình ảnh lượng tử. Khinh thường. Vật lý, 51 (1): 59–83, 2010. 10.1080/00107510903257624.
https: / / doi.org/ 10.1080 / 00107510903257624
[39] B. Coecke. Một vũ trụ của các quá trình và một số chiêu bài của nó. Vẻ đẹp sâu sắc: Tìm hiểu thế giới lượng tử thông qua đổi mới toán học, trang 129–186, 2011. 10.1017/CBO9780511976971.004.
https: / / doi.org/ 10.1017 / CBO9780511976971.004
[40] B. Coecke. Thiết bị đầu cuối ngụ ý không có tín hiệu. Trong B. Coecke, I. Hasuo và P. Panangaden, biên tập viên, Kỷ yếu hội thảo lần thứ 11 về Vật lý lượng tử và Logic, Kyoto, Nhật Bản, ngày 4-6 tháng 2014 năm 172, tập 27 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 35– 2014. Hiệp hội Xuất bản Mở, 10.4204. 172.3/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.172.3
[41] B. Coecke và C. Heunen. Hình ảnh của sự tích cực hoàn toàn trong chiều tùy ý. Thông tin Máy tính., 250: 50–58, 2016.
[42] B. Coecke và A. Kissinger. Cơ học lượng tử phân loại I: các quá trình lượng tử nhân quả. Trong E. Landry, biên tập viên, Hạng mục dành cho triết gia làm việc. Nhà xuất bản Đại học Oxford, 2016. 10.1093/oso/9780198748991.001.0001. arXiv:1510.05468.
https: / / doi.org/ 10.1093 / oso / 9780198748991.001.0001
[43] B. Coecke và A. Kissinger. Hình dung các quá trình lượng tử: Khóa học đầu tiên về Lý thuyết lượng tử và Lý luận bằng sơ đồ. Nhà xuất bản Đại học Cambridge, Cambridge, 2017. 10.1017/9781316219317.
https: / / doi.org/ 10.1017 / 9781316219317
[44] B. Coecke và É. O. Paquette. Các hạng mục dành cho nhà vật lý thực hành. Trong B. Coecke, người biên tập, Cấu trúc mới cho Vật lý, Ghi chú Bài giảng Vật lý, trang 167–271. Springer, 2011. 10.1007/978-3-642-12821-9_3.
https://doi.org/10.1007/978-3-642-12821-9_3
[45] B. Coecke và D. Pavlović. Các phép đo lượng tử không có tổng. Trong G. Chen, L. Kauffman và S. Lamonaco, các biên tập viên, Toán học về Công nghệ và Máy tính Lượng tử, trang 567–604. Taylor và Francis, 2007. 10.1201/9781584889007.ch16.
https: / / doi.org/ 10.1201 / Thẻ9781584889007.ch16
[46] B. Coecke, DJ Moore và A. Wilce. Logic lượng tử hoạt động: Tổng quan. Trong B. Coecke, DJ Moore và A. Wilce, các biên tập viên, Nghiên cứu hiện tại về Logic lượng tử hoạt động: Đại số, danh mục và ngôn ngữ, tập 111 của Lý thuyết cơ bản của Vật lý, trang 1–36. Springer-Verlag, 2000. 10.1007/978-94-017-1201-9_1.
https://doi.org/10.1007/978-94-017-1201-9_1
[47] B. Coecke, É. O. Paquette và D. Pavlović. Chủ nghĩa cấu trúc cổ điển và lượng tử. Trong S. Gay và I. Mackie, các biên tập viên, Kỹ thuật ngữ nghĩa trong tính toán lượng tử, trang 29–69. Nhà xuất bản Đại học Cambridge, Cambridge, 2010. 10.1017/CBO9781139193313.003.
https: / / doi.org/ 10.1017 / CBO9781139193313.003
[48] B. Coecke, F. Genovese, S. Gogioso, D. Marsden và R. Piedeleu. Tính độc đáo của thành phần trong lý thuyết lượng tử và ngôn ngữ học. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 249 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 257–2018. Hiệp hội Xuất bản Mở, 10.4204a. 266.17/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.17
[49] B. Coecke, JH Selby và S. Tull. Hai con đường dẫn đến sự cổ điển. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 104 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 118–2018. Hiệp hội Xuất bản Mở, 10.4204b. 266.7/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.7
[50] Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis và Alexis Toumi. Nền tảng cho Xử lý Ngôn ngữ Tự nhiên Lượng tử Gần Hạn. arXiv bản in trước arXiv: 2012.03755, 2020.
arXiv: 2012.03755
[51] Bob Coecke, Dominic Horsman, Aleks Kissinger và Quanlong Wang. Sinh viên tốt nghiệp cơ học lượng tử ở trường mẫu giáo (…hoặc cách tôi học cách ngừng dán LEGO lại với nhau và yêu thích phép tính ZX). bản in trước arXiv arXiv:2102.10984, 2021.
arXiv: 2102.10984
[52] Richard DP East, John van de Wetering, Nicholas Chancellor, và Adolfo G. Grushin. Các trạng thái AKLT dưới dạng biểu đồ ZX: lý luận theo sơ đồ cho các trạng thái lượng tử. arXiv bản in trước arXiv: 2012.01219, 2020.
arXiv: 2012.01219
[53] B. Dakić và Č. Brukner. Lý thuyết lượng tử và xa hơn: Sự vướng víu có đặc biệt không?, trang 365–392. Nhà xuất bản Đại học Cambridge, Cambridge, 2011. 10.1017/CBO9780511976971.011.
https: / / doi.org/ 10.1017 / CBO9780511976971.011
[54] Niel de Beaudrap và Dominic Horsman. Phép tính ZX là ngôn ngữ dành cho phẫu thuật mạng mã bề mặt. Tháng 2020 năm 10.22331. 2020/q-01-09-218-XNUMX.
https://doi.org/10.22331/q-2020-01-09-218
[55] Niel de Beaudrap, Xiaoning Bian và Quanlong Wang. Các kỹ thuật nhanh chóng và hiệu quả để giảm số lượng T thông qua nhận dạng tổ nhện. bản in trước arXiv arXiv:2004.05164, 2020a.
arXiv: 2004.05164
[56] Niel de Beaudrap, Xiaoning Bian và Quanlong Wang. Các kỹ thuật để giảm mạch pha chẵn lẻ $pi/4$-, được thúc đẩy bởi phép tính ZX. Trong Bob Coecke và Matthew Leifer, các biên tập viên, Kỷ yếu Hội nghị quốc tế lần thứ 16 về Vật lý lượng tử và Logic, Đại học Chapman, Orange, CA, Hoa Kỳ, ngày 10-14 tháng 2019 năm 318, tập 131 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 149–2020. Hiệp hội Xuất bản Mở, 10.4204b. 318.9/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.318.9
[57] Niel de Beaudrap, Ross Duncan, Dominic Horsman và Simon Perdrix. Pauli Fusion: Mô hình tính toán để hiện thực hóa các phép biến đổi lượng tử từ các thuật ngữ ZX. Trong Bob Coecke và Matthew Leifer, các biên tập viên, Kỷ yếu Hội nghị quốc tế lần thứ 16 về Vật lý lượng tử và Logic, Đại học Chapman, Orange, CA, Hoa Kỳ, ngày 10-14 tháng 2019 năm 318, tập 85 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 105–2020. Hiệp hội Xuất bản Mở, 10.4204c. 318.6/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.318.6
[58] R. Ducan. Một cách tiếp cận đồ họa cho tính toán lượng tử dựa trên phép đo. arXiv:1203.6242 [quant-ph], 2012.
arXiv: 1203.6242
[59] R. Duncan và M. Lucas. Xác minh mã steane bằng quantomatic. Trong B. Coecke và M. Hoban, biên tập viên, Kỷ yếu Hội thảo Quốc tế lần thứ 10 về Vật lý Lượng tử và Logic, Castelldefels (Barcelona), Tây Ban Nha, ngày 17 đến ngày 19 tháng 2013 năm 171, tập 33 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 49–2014 . Hiệp hội Xuất bản Mở, 10.4204. 171.4/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.171.4
[60] R. Duncan và S. Perdrix. Viết lại các phép tính lượng tử dựa trên phép đo với dòng tổng quát. Automata, Ngôn ngữ và Lập trình, trang 285–296, 2010. 10.1007/978-3-642-14162-1_24.
https://doi.org/10.1007/978-3-642-14162-1_24
[61] Jacques Faraut và Adam Korányi. Phân tích hình nón đối xứng. 1994.
[62] L. Garvie và R. Duncan. Xác minh mã màu thú vị nhỏ nhất bằng lượng tử. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 147 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 163–2018. Hiệp hội Xuất bản Mở, 10.4204. 266.10/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.10
[63] S. Gogioso và F. Genovese. Cơ học lượng tử phân loại vô hạn chiều. Trong R. Duncan và C. Heunen, các biên tập viên, Kỷ yếu Hội nghị quốc tế lần thứ 13 về Vật lý lượng tử và Logic, Glasgow, Scotland, ngày 6-10 tháng 2016 năm 236, tập 51 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 69–2017. Hiệp hội Xuất bản Mở, 10.4204. 236.4/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.236.4
[64] S. Gogioso và F. Genovese. Hướng tới lý thuyết trường lượng tử trong cơ học lượng tử phân loại. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 349 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 366–2018. Hiệp hội Xuất bản Mở, 10.4204. 266.22/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.22
[65] S. Gogioso và CM Scandolo. Lý thuyết xác suất phân loại. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 367 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 385–2018. Hiệp hội Xuất bản Mở, 10.4204. 266.23/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.23
[66] P. Goyal. Tái thiết thông tin-hình học của lý thuyết lượng tử. Vật lý. Rev. A, 78 (5): 052120, 2008. 10.1103/PhysRevA.78.052120.
https: / / doi.org/ 10.1103 / PhysRevA.78.052120
[67] L. Hardy. Lý thuyết lượng tử từ năm tiên đề hợp lý. arXiv quant-ph/0101012, 2001.
arXiv: quant-ph / 0101012
[68] L. Hardy. Hướng tới lực hấp dẫn lượng tử: khuôn khổ cho các lý thuyết xác suất có cấu trúc nhân quả không cố định. J. Vật lý. A, 40 (12): 3081, 2007. 10.1088/1751-8113/40/12/s12.
https://doi.org/10.1088/1751-8113/40/12/s12
[69] L. Hardy. Cải cách và xây dựng lại lý thuyết lượng tử. arXiv:1104.2066 [quant-ph], 2011.
arXiv: 1104.2066
[70] L. Hardy. Công thức toán tử tensor của lý thuyết lượng tử. Phil. Dịch. R. Sóc. A, 370 (1971): 3385–3417, 2012. 10.1098/rsta.2011.0326.
https: / / doi.org/ 10.1098 / rsta.2011.0326
[71] L. Hardy. Một khuôn khổ cục bộ của chủ nghĩa hình thức cho các lý thuyết xác suất tổng quát, bao gồm cả lý thuyết lượng tử. Toán học. Cấu trúc máy tính. Khoa học, 23 (2): 399–440, 2013. 10.1017/S0960129512000163.
https: / / doi.org/ 10.1017 / S0960129512000163
[72] C. Heunen, A. Kissinger và P. Selinger. Những dự báo và sản phẩm kép hoàn toàn tích cực. Trong B. Coecke và M. Hoban, biên tập viên, Kỷ yếu Hội thảo Quốc tế lần thứ 10 về Vật lý Lượng tử và Logic, Castelldefels (Barcelona), Tây Ban Nha, ngày 17 đến ngày 19 tháng 2013 năm 171, tập 71 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 83–2014 . Hiệp hội Xuất bản Mở, 10.4204. 171.7/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.171.7
[73] PA Höhn. Lý thuyết lượng tử từ các quy tắc thu thập thông tin. Entropy, 19 (3): 98, 2017a. 10.3390/e19030098.
https: / / doi.org/ 10.3390 / e19030098
[74] PA Höhn. Hộp công cụ để xây dựng lại lý thuyết lượng tử từ các quy tắc thu thập thông tin. Lượng tử, 1:38, 2017b. 10.22331/q-2017-12-14-38.
https://doi.org/10.22331/q-2017-12-14-38
[75] C. kỵ binh. Chủ nghĩa hình ảnh lượng tử cho tính toán trạng thái cụm tôpô. New J. Phys., 13 (9): 095011, 2011. 10.1088/1367-2630/13/9/095011.
https://doi.org/10.1088/1367-2630/13/9/095011
[76] P. Jordan, J. von Neumann và E. P Wigner. Về sự khái quát hóa đại số của chủ nghĩa hình thức cơ học lượng tử. Trong Tuyển tập các tác phẩm của Eugene Paul Wigner, trang 298–333. Springer, 1993. 10.2307/1968117.
https: / / doi.org/ 10.2307 / 1968117
[77] GM Kelly và ML Laplaza. Sự mạch lạc cho các danh mục khép kín nhỏ gọn. J. Ứng dụng tinh khiết. Đại số, 19: 193–213, 1980. 10.1016/0022-4049(80)90101-2.
https://doi.org/10.1016/0022-4049(80)90101-2
[78] A. Kissinger và S. Uijlen. Hình dung cấu trúc nhân quả không xác định. Trong R. Duncan và C. Heunen, các biên tập viên, Kỷ yếu Hội nghị quốc tế lần thứ 13 về Vật lý lượng tử và Logic, Glasgow, Scotland, ngày 6-10 tháng 2016 năm 236, tập 87 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 94–2017. Hiệp hội Xuất bản Mở, 10.4204. 236.6/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.236.6
[79] A. Kissinger và V. Zamdzhiev. Lượng tử: Một trợ thủ chứng minh cho lập luận bằng sơ đồ. Trong Hội nghị quốc tế về khấu trừ tự động, trang 326–336. Springer, 2015. 10.1007/978-3-319-21401-6_22.
https://doi.org/10.1007/978-3-319-21401-6_22
[80] A. Kissinger, M. Hoban và B. Coecke. Sự tương đương của cấu trúc nhân quả tương đối tính và quá trình cuối cùng. arXiv:1708.04118 [quant-ph], 2017.
arXiv: 1708.04118
[81] Aleks Kissinger và John van de Wetering. Giảm số T bằng phép tính ZX. Đánh giá Vật lý A, 102: 022406, 8 2020. 10.1103 / PhysRevA.102.022406.
https: / / doi.org/ 10.1103 / PhysRevA.102.022406
[82] M. Koecher. Die Geodättischen von Positivitätsbereichen. Mathematische Annalen, 135 (3): 192–202, 1958.
[83] CM Lee và JH Selby. Phản hồi pha tổng quát: cấu trúc của thuật toán tính toán từ các nguyên lý vật lý. J. Phys mới, 18 (3): 033023, 2016a. 10.1088/1367-2630/18/3/033023.
https://doi.org/10.1088/1367-2630/18/3/033023
[84] CM Lee và JH Selby. Suy ra giới hạn dưới của Grover từ các nguyên tắc vật lý đơn giản. J. Phys mới, 18 (9): 093047, 2016b. 10.1088/1367-2630/18/9/093047.
https://doi.org/10.1088/1367-2630/18/9/093047
[85] CM Lee và JH Selby. Một định lý không thể đi cho các lý thuyết phân rã theo cơ học lượng tử. Proc. R. Sóc. A, 474 (2214): 20170732, 2018. 10.1098/rspa.2017.0732.
https: / / doi.org/ 10.1098 / rspa.2017.0732
[86] MS Leifer và R.W Spekkens. Hướng tới việc xây dựng lý thuyết lượng tử như một lý thuyết trung lập về mặt nhân quả của suy luận Bayes. Vật lý. Mục A, 88 (5): 052130, 2013. 10.1103/physreva.88.052130.
https: / / doi.org/ 10.1103 / Physreva.88.052130
[87] G. Ludwig. Một cơ sở tiên đề của Cơ học lượng tử. 1. Đạo hàm không gian Hilbert. Springer-Verlag, 1985. 10.1007/978-3-642-70029-3.
https://doi.org/10.1007/978-3-642-70029-3
[88] GW Mackey. Cơ sở toán học của cơ học lượng tử. WA Benjamin, New York, 1963.
[89] L. Masanes và nghị sĩ Müller. Một nguồn gốc của lý thuyết lượng tử từ các yêu cầu vật lý. New J. Phys., 13 (6): 063001, 2011. 10.1088/1367-2630/13/6/063001.
https://doi.org/10.1088/1367-2630/13/6/063001
[90] L. Masanes, nghị sĩ Müller, R. Augusiak và D. Pérez-García. Sự tồn tại của một đơn vị thông tin như một tiên đề của lý thuyết lượng tử. Proc. Natl. Học viện. Khoa học, 110 (41): 16373–16377, 2013. 10.1073/pnas.1304884110.
https: / / doi.org/ 10.1073 / pnas.1304884110
[91] Camilo Miguel Signorelli, Quanlong Wang và Ilyas Khan. Một mô hình thành phần của Ý thức chỉ dựa trên Ý thức. bản in trước arXiv arXiv:2007.16138, 2020.
arXiv: 2007.16138
[92] Kenji Nakahira. Đạo hàm của lý thuyết lượng tử với các quy tắc siêu lựa chọn. bản in trước arXiv arXiv:1910.02649, 2019. 10.1103/PhysRevA.101.022104.
https: / / doi.org/ 10.1103 / PhysRevA.101.022104
arXiv: 1910.02649
[93] O. Oreshkov và NJ Cerf. Công thức hoạt động của sự đảo ngược thời gian trong lý thuyết lượng tử. Nat. Phys., 2015. 10.1038/nphys3414.
https: / / doi.org/ 10.1038 / nphys3414
[94] O. Oreshkov, F. Costa và Č. Brukner. Tương quan lượng tử không có trật tự nhân quả. Nat. Cộng đồng, 3: 1092, 2012. 10.1038/ncomms2076.
https: / / doi.org/ 10.1038 / ncomms2076
[95] C. Piron. Tiên đề lượng tử. Helvetia Physica Acta, 37: 439–468, 1964.
[96] M. Redei. Tại sao John von Neumann không thích chủ nghĩa hình thức không gian Hilbert của cơ học lượng tử (và thay vào đó ông thích cái gì). Nghiêng. Lịch sử. Philos. Khoa học. B, 27 (4): 493–510, 1996. 10.1016/S1355-2198(96)00017-2.
https://doi.org/10.1016/S1355-2198(96)00017-2
[97] David Schmid, John H Selby, Matthew F Pusey và Robert W Spekkens. Một định lý cấu trúc cho các mô hình bản thể luận tổng quát-phi ngữ cảnh. bản in trước arXiv arXiv:2005.07161, 2020a.
arXiv: 2005.07161
[98] David Schmid, John H Selby và Robert W Spekkens. Sắp xếp lại món trứng tráng của quan hệ nhân quả và suy luận: Khuôn khổ của các lý thuyết suy luận nhân quả. bản in trước arXiv arXiv:2009.03297, 2020b.
arXiv: 2009.03297
[99] JH Selby và B. Coecke. Một dẫn xuất sơ đồ của liên kết Hermiti. Thành lập. Vật lý, 47 (9): 1191–1207, 2017a. ISSN 1572-9516. 10.1007/s10701-017-0102-7.
https://doi.org/10.1007/s10701-017-0102-7
[100] JH Selby và B. Coecke. Rò rỉ: lượng tử, cổ điển, trung gian và nhiều hơn nữa. Entropy, 19 (4): 174, 2017b. 10.3390/e19040174.
https: / / doi.org/ 10.3390 / e19040174
[101] P. Selinger. Dagger loại đóng nhỏ gọn và bản đồ hoàn toàn tích cực. Điện tử. Lý thuyết ghi chú. Máy tính. Khoa học, 170: 139–163, 2007. 10.1016/j.entcs.2006.12.018.
https: / / doi.org/ 10.1016 / j.entcs.2006.12.018
[102] P. Selinger. Idempotents trong các loại dao găm. Điện tử. Lý thuyết ghi chú. Máy tính. Khoa học, 210: 107–122, 2008. 10.1016/j.entcs.2008.04.021.
https: / / doi.org/ 10.1016 / j.entcs.2008.04.021
[103] J. Sikora và J. Selby. Bằng chứng đơn giản về sự bất khả thi của cam kết bit trong các lý thuyết xác suất tổng quát sử dụng lập trình hình nón. Vật lý. Rev. A, 97: 042302, 2018. 10.1103/PhysRevA.97.042302.
https: / / doi.org/ 10.1103 / PhysRevA.97.042302
[104] Nghị sĩ Solèr. Đặc trưng của không gian Hilbert bằng không gian trực giao. Cộng đồng. Đại số, 23 (1): 219–243, 1995. 10.1080/00927879508825218.
https: / / doi.org/ 10.1080 / 00927879508825218
[105] WF Stinespring. Các hàm dương trên $C^*$-đại số. Proc. Là. Toán học. Soc., 6 (2): 211–216, 1955. 10.2307/2032342.
https: / / doi.org/ 10.2307 / 2032342
[106] Tull và Kleiner. Thông tin tích hợp trong lý thuyết quá trình. Tháng 2020 năm XNUMX.
[107] S.Tull. Các lý thuyết hoạt động của vật lý như các phạm trù. arXiv:1602.06284 [quant-ph], 2016.
arXiv: 1602.06284
[108] S.Tull. Thương số loại và giai đoạn. arXiv:1801.09532 [math.CT], 2018.
arXiv: 1801.09532
[109] Sean Tull. Một sự tái thiết mang tính phân loại của lý thuyết lượng tử. Tháng 2019 năm 10.23638. 16/lmcs-1(4:2020)XNUMX.
https://doi.org/10.23638/lmcs-16(1:4)2020
[110] John van de Wetering. Phép tính ZX dành cho nhà khoa học máy tính lượng tử đang làm việc. arXiv bản in trước arXiv: 2012.13966, 2020.
arXiv: 2012.13966
[111] EB Vinberg. Hình nón đồng nhất. Toán Xô viết. Dokl, 1(4): 787–790, 1960.
[112] J. von Neumann. Cơ học toán học cơ bản. Springer-Verlag, 1932. Dịch thuật, Cơ sở toán học của cơ học lượng tử, Nhà xuất bản Đại học Princeton, 1955.
[113] John van de Wetering. Một sự tái thiết lý thuyết hiệu ứng của lý thuyết lượng tử. Tháng 2019 năm 10.32408. 1/compositionality-1-XNUMX.
https:///doi.org/10.32408/compositionality-1-1
[114] A. Wilce. Tính đối xứng và thành phần trong lý thuyết xác suất. Điện tử. Lý thuyết ghi chú. Máy tính. Khoa học, 270 (2): 191–207, 2011. 10.1016/j.entcs.2011.01.031.
https: / / doi.org/ 10.1016 / j.entcs.2011.01.031
[115] A. Wilce. Tính đối xứng và tính tự đối ngẫu trong các phạm trù của mô hình xác suất. Trong B. Jacobs, P. Selinger và B. Spitters, các biên tập viên, Kỷ yếu Hội thảo quốc tế lần thứ 8 về Vật lý lượng tử và Logic, Nijmegen, Hà Lan, ngày 27-29 tháng 2011 năm 95, tập 275 của Kỷ yếu điện tử trong Khoa học máy tính lý thuyết, trang 279– 2012. Hiệp hội Xuất bản Mở, 10.4204. 95.19/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.95.19
[116] Một Wilce. Con đường hoàng gia dẫn đến lý thuyết lượng tử (hoặc tương tự). 20 (4), tháng 2018 năm 10.3390a. 20040227/eXNUMX.
https: / / doi.org/ 10.3390 / e20040227
[117] A. Wilce. Một lối tắt từ lý thuyết lượng tử phân loại đến lý thuyết hoạt động lồi. Trong B. Coecke và A. Kissinger, các biên tập viên, Kỷ yếu Hội nghị Quốc tế lần thứ 14 về Vật lý Lượng tử và Logic, Nijmegen, Hà Lan, ngày 3-7 tháng 2017 năm 266, tập 222 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 236–2018. Hiệp hội Xuất bản Mở, 10.4204b. 266.15/EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.266.15
Trích dẫn
[1] Jamie Sikora và John Selby, “Bằng chứng đơn giản về tính không thể cam kết bit trong các lý thuyết xác suất tổng quát sử dụng lập trình hình nón”, Đánh giá vật lý A 97 4, 042302 (2018).
[2] Ciarán M. Lee và John H. Selby, “Một định lý không thể chấp nhận được cho các lý thuyết phân rã theo cơ học lượng tử”, Kỷ yếu của Hiệp hội Hoàng gia Luân Đôn Series A 474 2214, 20170732 (2018).
[3] Marius Krumm và Markus P. Müller, “Tính toán lượng tử là mô hình mạch đảo ngược duy nhất trong đó các bit là những quả bóng”, npj Thông tin lượng tử 5, 7 (2019).
[4] Carlo Maria Scandolo, Roberto Salazar, Jarosław K. Korbicz, và Paweł Horodecki, “Nguồn gốc của tính khách quan trong tất cả các lý thuyết nhân quả cơ bản”, arXiv: 1805.12126.
[5] John van de Wetering, “Sự tái thiết lý thuyết hiệu ứng của lý thuyết lượng tử”, arXiv: 1801.05798.
[6] David Schmid, John H. Selby, Matthew F. Pusey và Robert W. Spekkens, “Một định lý cấu trúc cho các mô hình bản thể luận tổng quát-phi ngữ cảnh”, arXiv: 2005.07161.
[7] Alexandru Gheorghiu và Chris Heunen, “Các mô hình bản thể học cho lý thuyết lượng tử với tư cách là hàm số”, arXiv: 1905.09055.
[8] John van de Wetering, “Không gian tích tuần tự là đại số Jordan”, Tạp chí Toán Lý 60 6, 062201 (2019).
[9] Sean Tull, “Vật lý vận hành phân loại”, arXiv: 1902.00343.
[10] Alexander Wilce, “Liên hợp, Bộ lọc và Cơ học lượng tử”, arXiv: 1206.2897.
[11] John Burniston, Michael Grabowecky, Carlo Maria Scandolo, Giulio Chiribella và Gilad Gour, “Các điều kiện cần và đủ để đo các kênh lượng tử”, Kỷ yếu của Hiệp hội Hoàng gia Luân Đôn Series A 476 2236, 20190832 (2020).
[12] Carlo Maria Scandolo, “Cơ sở lý thuyết thông tin của nhiệt động lực học trong các lý thuyết xác suất tổng quát”, arXiv: 1901.08054.
[13] Sean Tull, “Sự tái thiết mang tính phân loại của lý thuyết lượng tử”, arXiv: 1804.02265.
[14] Gerd Niestegge, “Một đặc tính đơn giản và được thúc đẩy bởi cơ học lượng tử của các đại số Jordan thực chính thức”, Kỷ yếu của Hiệp hội Hoàng gia Luân Đôn Series A 476 2233, 20190604 (2020).
[15] David Schmid, John H. Selby và Robert W. Spekkens, “Xắp xếp lại mối quan hệ nhân quả và suy luận: Khuôn khổ của các lý thuyết suy luận nhân quả”, arXiv: 2009.03297.
[16] Thomas D. Galley, Flaminia Giacomini, và John H. Selby, "Một định lý không đi đến bản chất của trường hấp dẫn ngoài lý thuyết lượng tử", arXiv: 2012.01441.
[17] Kerstin Beer, Dmytro Bondarenko, Alexander Hahn, Maria Kalabkov, Nicole Knust, Laura Niermann, Tobias J. Osborne, Christin Schridde, Stefan Seckmeyer, Deniz E. Stiegemann và Ramona Wolf, “Từ thể loại đến bất kỳ ai: một tạp chí du lịch” , arXiv: 1811.06670.
[18] Ana Belén Sainz, Matty J. Hoban, Paul Skrzypczyk và Leandro Aolita, “Chỉ đạo hậu lượng tử hai bên trong các kịch bản tổng quát”, Thư đánh giá vật lý 125 5, 050404 (2020).
[19] Arthur J. Parzygnat, “Nghịch đảo, phân rã và nghịch đảo Bayes trong các phạm trù Markov lượng tử”, arXiv: 2001.08375.
[20] Agung Budiyono, “Cơ học lượng tử như một phép tính để ước tính dưới sự hạn chế nhận thức luận”, Đánh giá vật lý A 100 6, 062102 (2019).
[21] Andrea Di Biagio, Pietro Donà và Carlo Rovelli, “Thông tin lượng tử và mũi tên thời gian”, arXiv: 2010.05734.
[22] Markus P. Mueller, “Các lý thuyết xác suất và sự tái thiết của lý thuyết lượng tử (ghi chú bài giảng Les Houches 2019)”, arXiv: 2011.01286.
[23] Arthur J. Parzygnat, “Công trình của Stinespring như một sự bổ sung”, arXiv: 1807.02533.
[24] Ding Jia, “Các lý thuyết lượng tử từ các nguyên lý không giả định một cấu trúc nhân quả xác định”, Đánh giá vật lý A 98 3, 032112 (2018).
[25] John H. Selby và Jamie Sikora, “Cách kiếm tiền không thể tha thứ trong các lý thuyết xác suất tổng quát”, arXiv: 1803.10279.
[26] Kenji Nakahira, “Dạo nguồn của lý thuyết lượng tử với các quy tắc siêu chọn lọc”, Đánh giá vật lý A 101 2, 022104 (2020).
[27] Arthur J. Parzygnat và Benjamin P. Russo, “Định lý Bayes không giao hoán”, arXiv: 2005.03886.
[28] Łukasz Czekaj, Ana Belén Sainz, John Selby và Michał Horodecki, “Các mối tương quan bị hạn chế bởi các phép đo tổng hợp”, arXiv: 2009.04994.
[29] Jacques Pienaar, “Mô hình nhân quả lượng tử thông qua chủ nghĩa QBism: phiên bản ngắn”, arXiv: 1807.03843.
[30] John H. Selby và Ciarán M. Lee, "Các lý thuyết nguồn lực tổng hợp về sự gắn kết", arXiv: 1911.04513.
[31] Augustin Vanrietvelde, Hlér Kristjánsson và Jonathan Barrett, “Mạch lượng tử được định tuyến”, arXiv: 2011.08120.
[32] Bob Coecke, Dominic Horsman, Aleks Kissinger và Quanlong Wang, “Sinh viên tốt nghiệp cơ học lượng tử Kindergarden (… hoặc cách tôi học cách ngừng dán LEGO lại với nhau và yêu thích phép tính ZX)”, arXiv: 2102.10984.
[33] Sean Tull, “Tìm ra sự nhỏ gọn của dao găm”, arXiv: 1907.05172.
[34] Stefano Gogioso, Dan Marsden và Bob Coecke, “Cấu trúc đơn hình đối xứng với đặc tính cục bộ là một thuộc tính”, arXiv: 1805.12088.
[35] Abraham Westerbaan, Bas Westerbaan, và John van de Wetering, “Bản đồ thuần túy giữa các đại số Euclidean Jordan”, arXiv: 1805.11496.
[36] John van de Wetering, “Lý thuyết lượng tử từ các nguyên tắc, Phần mềm lượng tử từ các sơ đồ”, arXiv: 2101.03608.
[37] Paulo J. Cavalcanti, John H. Selby, Jamie Sikora, Thomas D. Galley và Ana Belén Sainz, “Witworld: Một lý thuyết xác suất tổng quát có tính năng điều khiển hậu lượng tử”, arXiv: 2102.06581.
[38] Lucien Hardy, “Tính đối xứng thời gian trong lý thuyết hoạt động”, arXiv: 2104.00071.
Các trích dẫn trên là từ SAO / NASA ADS (cập nhật lần cuối thành công 2021 / 04-28 10:57:15). Danh sách có thể không đầy đủ vì không phải tất cả các nhà xuất bản đều cung cấp dữ liệu trích dẫn phù hợp và đầy đủ.
Không thể tìm nạp Crossref trích dẫn bởi dữ liệu trong lần thử cuối cùng 2021 / 04-28 10:57:14: Không thể tìm nạp dữ liệu được trích dẫn cho 10.22331 / q-2021 / 04-28-445 từ Crossref. Điều này là bình thường nếu DOI đã được đăng ký gần đây.
Bài viết này được xuất bản trong Lượng tử dưới Creative Commons Ghi công 4.0 Quốc tế (CC BY 4.0) giấy phép. Bản quyền vẫn thuộc về chủ sở hữu bản quyền gốc như các tác giả hoặc tổ chức của họ.
Coinsmart. Đặt cạnh Bitcoin-Börse ở Europa
Nguồn: https://quantum-journal.org/ con / q-2021 / 04-28-445 /
