Arxiv:2011.04963V2 [Quant-Ph] 3 Apr 2021 Alization [12, 13], Which Is Similar to Other Conditional Quantum Information Tasks [14, 15]

Photonic Implementation of Quantum Information Masking Zheng-Hao Liu,1, 2 Xiao-Bin Liang,3, 4 Kai Sun,1, 2 Qiang Li,1, 2 Yu Meng,1, 2 Mu Yang,1, 2 Bo Li,3, 4, ∗ Jing-Ling Chen,5, y Jin-Shi Xu,1, 2, z Chuan-Feng Li,1, 2, x and Guang-Can Guo1, 2 1CAS Key Laboratory of Quantum Information, University of Science and Technology of China, Hefei 230026, People’s Republic of China 2CAS Centre For Excellence in Quantum Information and Quantum Physics, University of Science and Technology of China, Hefei 230026, People’s Republic of China 3School of Mathematics and Computer Science, Shangrao Normal University, Shangrao 334001, China 4Quantum Information Research Center, Shangrao Normal University, Shangrao 334001, China 5Theoretical Physics Division, Chern Institute of Mathematics, Nankai University, Tianjin 300071, People’s Republic of China (Dated: April 6, 2021) Masking of quantum information spreads it over nonlocal correlations and hides it from the subsystems. It is known that no operation can simultaneously mask all pure states [Phys. Rev. Lett. 120, 230501 (2018)], so in what sense is quantum information masking useful? Here, we extend the definition of quantum information masking to general mixed states, and show that the resource of maskable quantum states are far more abundant than the no-go theorem seemingly suggests. Geometrically, the simultaneously maskable states lays on hyperdisks in the state hypersphere, and strictly contains the broadcastable states. We devise a photonic quantum information masking machine using time-correlated photons to experimentally investigate the properties of qubit masking, and demonstrate the transfer of quantum information into bipartite correlations and its faithful retrieval. The versatile masking machine has decent extensibility, and may be applicable to quantum secret sharing and fault-tolerant quantum communication. Our results provide some insights on the comprehension and potential application of quantum information masking. Introduction.—The distinctive nonclassicality of quan- iments. tum mechanics establishes the pronounced discrepancy The purpose of this Letter is twofold. We first provide between quantum and classical information [1]. Espe- a geometric description of QIM and prove the “disk con- cially, the celebrated quantum nonlocality [2] allude to jecture” [3], that the maskable qudit states correspond- the possibility of spreading information over the nonlocal ing to any masker belong to some hyperdisks in the state correlation and hiding it from observers who only have hypersphere. This shows the copiousness of the mask- access to some subsystems, namely, quantum information able states, and allows us to identify the inclusion of the masking (QIM) [3]. However, the postulates of unitarity broadcastable states within it. Next, we devise a pho- and linearity [4] of quantum theory impose severe limi- tonic masking machine capable of masking any disk in tations on QIM. In the seminal work [3], unconditioned the qubit Bloch sphere, and give the recipe for qudit masking of all quantum states is deemed impossible. This state masking. Assisted by the versatility of the ma- assertion establishes a novel no-go theorem to paraphrase chine, we experimentally confirm the geometric property its conspicuous precedents like the interdicts against uni- of the maximally maskable set [11, 24], and discuss the versal cloning [5], broadcasting [3,7], deleting [8,9] and practical aspects of photonic QIM. Our results provide a hiding [10] of an unknown state. systematic method for experimental studies of QIM, shed Despite the handicap of universal implementation, some lights on its applications as a novel quantum infor- QIM admits state-dependent [11] and probabilistic re- mation processing protocol, and the connection between quantum information and nonlocality. arXiv:2011.04963v2 [quant-ph] 3 Apr 2021 alization [12, 13], which is similar to other conditional quantum information tasks [14, 15]. Extrapolations of Geometric characterization of QIM.—We start from masking into multipartite [16], multi-level [17] scenar- the formal definition of QIM for general quantum states. ios and channel states [18] have been proposed. QIM A qudit “masker” U is a linear isometry mapping a density A AB shows profound affiliation with quantum state discrim- matrix ρs to a two-qudit state ρs : ination [19], qubit commitment [20, 21], secret shar- A AB A y ρs ! ρs = Uρs ⊗ j0i h0j U ; s 2 f1; 2; · · · g; (1) ing [22], and fundamental principles like information con- servation [23]. Although significant progress has sprouted where j0i h0j represents a blank state. We say that U “masks” the quantum information contained in a set Ω of regarding QIM, its capability ultimately depends on the A density matrices ρs 2 Ω if for all s, the marginal states scale of maskable set, which is not yet determined. More- AB over, given its intrinsically nonlocal feature, QIM on fly- of ρs for the two parties are respectively identical [3]. ing quanta has exceptional prospects of application in To construct a geometric representation of a quantum d2−1 quantum communication. However, to our best knowl- state, we span a qudit state on the SU(d) basis fΛigi=1 . 2 2 Pd −1 Pd −1 2 2 edge, QIM has not been demonstrated in photonic exper- Explicitly, ρ = Id=d+ i=1 xiΛi=2 with i=1 xi 6 rd, 2 (a) to Bob where xi represents the coefficients, and rd is determined to Alice by the dimension d [1,2]. Consequently, every qudit state H corresponds to a unique point in a hypersphere, which PBS is analogous to the Bloch sphere for qubits. Based on (b) Masking Bob this representation, we directly compare the coefficients of the local states after masking to bound the maskable sets, and use the impossibility of universal masking [3] to Photon source prove the following result: Theorem 1.—The maskable set corresponds to any lin- Prepara�on Alice ear qudit isometry lays on some hyperdisk D. ⊗ BBO HWP QWP PBS The above Theorem first appears in [3] as a conjecture, and its proof goes to Section IB of the Supplementary Fig. 1. Photonic qubit masking machine. (a) The quantum Material [27] (SM). Because the Euclidean dimension of θ circuit of the masking machine. Rα and H represents an ar- a hyperdisk is smaller than a hypersphere by only 1, The- bitrary SU(2) rotation and the Hadamard gate, respectively. orem 1 shows the possibility of masking a large class of The tilde line in the rounded rectangle denotes the photon quantum states and the potential of QIM in quantum fusion gate, with the detailed implementation using the po- information tasks. It also inspires us to identify the re- larizing beam splitter (PBS) illustrated in the right subpanel. lationship between the sets of broadcastable and mask- (b) Experimental configuration. See the main text for details. able quantum states. Specifically, because noncommut- ing mixed states cannot be broadcast [3], and commuting θ mixed states are simultaneously maskable (cf. SM [27], is further promoted to arbitrary parameters Uα using ad- Section IC), we have: ditional wave plates. Theorem 2.—Any qudit broadcastable set is a proper The quantum circuit of the masking machine is illus- subset of some qudit maskable sets. Moreover, The qudit trated in Fig.1a. The photon fusion gate performs a two- maskable set can have nonzero measure in d-dimensional photon interference on a polarizing beam splitter (PBS), Euclidean space. and is conditioned on two-photon coincidence detection The implication of our results can be clearly visual- at two different output ports. This effectively casts an ized in the qubit case using the Bloch sphere represen- entangling projector jHHi hHHj − jVV i hVV j onto the tation. For simplicity, we interchangeably denote a state input photons [5]. Given anp auxiliary photon initialized ρ = (I + xσ + yσ + zσ ) =2 using its SU(2) expansion in the jDi = (jHi + jV i)= 2, the behavior of the fu- 2 x y z sion gate on the target photon is equivalent to the mask- ρ := (x; y; z). A qubit disk containing the reference state 0 ρ = (x ; y ; z ) can be expressed in a parametric form: ing isometry U0 up to a re-normalization (cf. SM [27], 0 0 0 0 Section IIA). More explicitly, applying the fusion gate iφ Dθ (ρ ) = fρ : x sin α cos θ + y sin α sin θ + z cos α = cg; on a qubit state j i = cos δ jHi + sin δe jV i yields α 0 iφ (2) j i ⊗ jDi ! cos δ jHHi − sin δe jVV i. Because the phase factor φ does not appear in either of the marginal with c = x sin α cos θ + y sin α sin θ + z cos α; α 2 [0; π] states, all the states with the same δ can be masked, and 0 0 0 0 and θ 2 [0; 2π]. In comparison, the geometric form of the they falls on the disk D0 = fρ : z = cos δg. broadcastable set is a line segment through the center Using this photonic masking machine, an agent (Alice) of the Bloch sphere, so the dimensions of the disk and can conceal some quantum information into the bipartite line segment conforms Theorem 2, and the resource in correlation between her photons and the ones held by an- the maskable set is far more abundant than the broad- other agent (Bob). The experimental setup is illustrated θ castable set. Notably, the qubit isometry Uα capable of in Fig.1b. An ultraviolet laser with a central wavelength θ masking the disk Dα(ρ0) always exists (cf. SM [27], Sec- of 400nm is used to pump a type-II phase-matched β- tion IB), and can be devised and reliably implemented barium borate (BBO) crystal to generate photon pairs on the photonic architecture, as will be elucidated in the in product polarization states via the spontaneous para- following section.

Load more