Một trò chơi vướng mắc một vợ một chồng dành cho các trạng thái vũ trụ con

Nút nguồn: 1647529

Eric Culf1 và Thomas Vidick2

1Khoa Toán và Thống kê, Đại học Ottawa, Canada
2Khoa Khoa học Máy tính và Toán học, Viện Công nghệ California, Hoa Kỳ

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

Chúng tôi thiết lập một thuộc tính vướng víu một vợ một chồng mạnh mẽ cho các trạng thái coset không gian con, là sự chồng chất đồng nhất của các vectơ trong một không gian con tuyến tính $mathbb{F__2^n$ đã được áp dụng bộ đệm lượng tử một lần. Thuộc tính này gần đây đã được phỏng đoán bởi [Coladangelo, Liu, Liu và Zhandry, Crypto'21] và cho thấy có các ứng dụng để giải mã không thể sao chép và bảo vệ bản sao của các hàm giả ngẫu nhiên. Chúng tôi trình bày hai bằng chứng, một bằng chứng trực tiếp tuân theo phương pháp của bài báo gốc và bằng chứng kia sử dụng quan sát từ [Vidick và Zhang, Eurocrypt'20] để giảm phân tích thành trò chơi một vợ một chồng đơn giản hơn dựa trên trạng thái BB'84. Cả hai cách chứng minh cuối cùng đều dựa trên cùng một kỹ thuật chứng minh, được giới thiệu trong [Tomamichel, Fehr, Kaniewski và Wehner, Tạp chí Vật lý Mới '13].

Sự vướng víu lượng tử cho phép tạo ra mối tương quan giữa hai hệ thống không giao tiếp mà về mặt kinh điển là không thể có, một tính chất có thể được định lượng bằng cách sử dụng các bất đẳng thức Bell hoặc các trò chơi phi tiêu điểm. Tình hình trở nên phức tạp hơn khi có nhiều bên hơn. Ví dụ, không thể có mối tương quan mạnh như sự vướng víu tối đa giữa ba hệ lượng tử. Đây là một trường hợp cụ thể của tình trạng vướng víu một vợ một chồng - những hạn chế về sức mạnh của mối tương quan đa lượng tử. Một cách để định lượng đặc tính này là thông qua trò chơi vướng víu một vợ một chồng (MoE). Một trò chơi MoE được chơi hợp tác bởi hai người chơi Bob và Charlie, mỗi người nắm giữ một hệ thống lượng tử nhưng không giao tiếp với trọng tài Alice, người đã cố định các hành động. Người chơi thắng nếu cả hai đều có thể đoán đồng thời kết quả phép đo của Alice, được chọn ngẫu nhiên từ một tập hợp các phép đo có thể xác định trước, ở trạng thái mà họ đã chuẩn bị, mỗi người sử dụng hệ thống lượng tử cục bộ của riêng mình. Chế độ một vợ một chồng xuất hiện ở chỗ xác suất thắng tối đa có thể thấp trong khi sử dụng trạng thái vướng víu tối đa, một trong hai người chơi có thể đoán được kết quả một cách chắc chắn.

Trong công việc này, chúng tôi nghiên cứu xác suất chiến thắng của một trò chơi MoE được gọi là trò chơi một vợ một chồng mạnh. Trong trò chơi này, Alice đo hệ thống $n$-qubit của mình trên cơ sở các trạng thái coset không gian con, là cơ sở phát sinh từ một không gian con tuyến tính của không gian vectơ hữu hạn của $n$ bit. Một tính chất quan trọng của cơ sở này là nó được lập chỉ mục một cách tự nhiên bởi hai chỉ số, một chỉ số tương ứng với một tập hợp của không gian con và chỉ số kia tương ứng với một tập hợp của phần bù trực giao của nó. Để giành chiến thắng trong trò chơi, Bob chỉ cần đoán đúng chỉ số đầu tiên và Charlie chỉ cần đoán đúng chỉ số thứ hai. Tuy nhiên, chúng tôi chỉ ra rằng xác suất chiến thắng tối ưu nhỏ theo cấp số nhân về số lượng qubit. Giới hạn cũng áp dụng cho một phiên bản của trò chơi trong đó Alice gửi các trạng thái tập hợp không gian con thay vì đo lường trong cơ sở; phiên bản này có các ứng dụng cho mật mã lượng tử không thể sao chép, trong đó thuộc tính không sao chép của các trạng thái lượng tử, có liên quan chặt chẽ với MoE, được khai thác để đạt được mức độ bảo mật không thể thực hiện được.

► Dữ liệu BibTeX

► Tài liệu tham khảo

[1] VV Albert, JP Covey và J. Preskill. Mã hóa mạnh mẽ của một qubit trong một phân tử. Đánh giá vật lý X, 10(3), 2020. DOI: 10.1103/​physrevx.10.031050.
https: / / doi.org/ 10.1103 / Physrevx.10.031050

[2] A. Coladangelo, J. Liu, Q. Liu và M. Zhandry. Các lớp phủ ẩn và ứng dụng đối với mật mã không thể sao chép được. Trong T. Malkin và C. Peikert, người biên tập, Những tiến bộ trong Mật mã học – CRYPTO 2021, trang 556–584, Cham, 2021. Nhà xuất bản Quốc tế Springer. DOI: 10.1007/​978-3-030-84242-0_20.
https:/​/​doi.org/​10.1007/​978-3-030-84242-0_20

[3] N. Johnston, R. Mittal, V. Russo và J. Watrous. Mở rộng trò chơi phi địa phương và trò chơi một vợ một chồng. Kỷ yếu của Hiệp hội Hoàng gia A: Khoa học Toán học, Vật lý và Kỹ thuật, 472(2189): 20160003, 2016. DOI: 10.1098/​rspa.2016.0003.
https: / / doi.org/ 10.1098 / rspa.2016.0003

[4] M. Koashi. Bảo mật vô điều kiện của phân phối khóa lượng tử và nguyên lý bất định. Trong Tạp chí Vật lý: Chuỗi hội nghị, tập 36, trang 016. Nhà xuất bản IOP, 2006. DOI: 10.1088/​1742-6596/​36/​1/​016.
https:/​/​doi.org/​10.1088/​1742-6596/​36/​1/​016

[5] M. Tomamichel, S. Fehr, J. Kaniewski và S. Wehner. Một trò chơi rối rắm một vợ một chồng với các ứng dụng cho mật mã lượng tử độc lập với thiết bị. Tạp chí Vật lý mới, 15(10): 103002, 2013. DOI: 10.1088/​1367-2630/​15/​10/​103002.
https:/​/​doi.org/​10.1088/​1367-2630/​15/​10/​103002

[6] M. Tomamichel và A. Leverrier. Một bằng chứng bảo mật phần lớn khép kín và hoàn chỉnh để phân phối khóa lượng tử. Lượng tử, 1: 14, 2017. DOI: 10.22331/​q-2017-07-14-14.
https:/​/​doi.org/​10.22331/​q-2017-07-14-14

[7] T. Vidick và T. Zhang. Bằng chứng cổ điển về tri thức lượng tử. Trong Hội nghị Quốc tế Thường niên về Lý thuyết và Ứng dụng của Kỹ thuật Mật mã, trang 630–660. Springer, 2021. DOI: 10.1007/​978-3-030-77886-6_22.
https:/​/​doi.org/​10.1007/​978-3-030-77886-6_22

Trích dẫn

[1] Anne Broadbent và Eric Culf, “Tính cứng nhắc đối với trò chơi một vợ một chồng”, arXiv: 2111.08081.

[2] Andrea Coladangelo, Jiahui Liu, Qipeng Liu và Mark Zhandry, “Các bộ đệm ẩn và ứng dụng cho mật mã không thể nhân bản”, arXiv: 2107.05692.

[3] Prabhanjan Ananth, Fatih Kaleoglu, Xingjian Li, Qipeng Liu và Mark Zhandry, “Về tính khả thi của mã hóa không thể sao chép và hơn thế nữa”, arXiv: 2207.06589.

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 2022 / 09-01 14:26:51). 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 2022 / 09-01 14:26:50: Không thể tìm nạp dữ liệu được trích dẫn cho 10.22331 / q-2022 / 09-01-791 từ Crossref. Điều này là bình thường nếu DOI đã được đăng ký gần đây.

Dấu thời gian:

Thêm từ Tạp chí lượng tử