SearcharxivSearch

arXiv subjects

Mao-Sheng Li

Publications and source records attributed to Mao-Sheng Li.

At least 19 recordsLinked to original sources

Power and Limits of Collective Local Measurements in Multicopy State Discrimination

More than two decades ago, Bennett \emph{et al.} [Phys. Rev. A \textbf{59}, 1070 (1999)] asked whether perfect local discrimination of orthogonal quantum states can require more than two copies. This question was subsequently answered for adaptive protocols that process the copies separately [Phys. Rev. Lett. \textbf{126}, 210505 (2021)], but remained open when each laboratory is allowed to process its local copies collectively. Here we resolve this stronger setting and identify collective access across repeated local inputs as a distinct resource. For every fixed odd-prime local dimension, there exist complete maximal-stabilizer eigenbases whose copy complexity under individual-copy separable measurements diverges with system size. Under collective processing this behavior changes sharply: every maximal-stabilizer eigenbasis in odd-prime local dimension is perfectly decoded by one-round collective LOCC using at most three copies. Collective processing, however, does not remove multicopy hardness in general. For every fixed local dimension $d\ge2$, we prove the existence, within an explicit phase family, of complete bases whose copy complexity remains unbounded even under collective separable measurements, with a square root of the number of subsystems as lower-bound scale. Thus sample number, spatial measurement power, and coherent access across repeated local inputs are distinct resources in distributed quantum measurement.

quant-ph

Inclusion-Minimal local indistinguishability: a weak form of nonlocality

Local discrimination of quantum states is a fundamental task in distributed quantum information processing and underlies applications such as quantum communication, data hiding, and secret sharing. Here we investigate a weak form of local indistinguishability by asking how easily it can disappear when the candidate set is reduced or an additional copy of the unknown state is supplied. We introduce inclusion-minimal locally indistinguishable sets, namely, locally indistinguishable sets for which every proper subset is perfectly distinguishable by local operations and classical communication (LOCC), and show that every finite locally indistinguishable set contains such a subset. We further find that any inclusion-minimal locally indistinguishable sets becomes perfectly distinguishable by LOCC when two identical copies are available, although a single copy is insufficient. Fininally, We construct explicit inclusion-minimal locally indistinguishable product-state sets in $(\mathbb C^d)^{\otimes n}$ for every odd $d=2k+1$ and $n\ge2$. These results show that local indistinguishability can be nontrivial at the single-copy level yet fragile under either the removal of candidate states or a modest increase in copy resources, providing a complementary perspective on the structure of quantum nonlocality.

quant-ph

Genuinely Unextendible Product Bases from Maximum Distance Separable Codes

The existence of genuinely unextendible product bases (GUPBs), incomplete orthogonal sets of fully product states whose orthogonal complements contain no product vector across any bipartition, has remained an open problem. Here we construct GUPBs for any number $N\geq3$ of parties using classical maximum distance separable (MDS) codes. The MDS property imposes a rigidity on the induced product tiling across every bipartition; combined with Fourier mode deletion and a stopper state, this rigidity enforces genuine unextendibility. Consequently, the orthogonal complement of each GUPB is a genuinely entangled subspace whose normalized projector is invariant under partial transposition across every bipartition, yielding an explicit family of multipartite bound entangled states. We further construct GME witnesses that detect these states even though no fully decomposable witness can do so. Moreover, the resulting indistinguishability persists under arbitrary finite tensor powers and measurements separable across any bipartition. These results establish a direct connection between error-correcting codes and multipartite entanglement and provide an algebraic route to certifying genuinely multipartite bound entanglement.

quant-ph

A Dynamical Lie-Algebraic Framework for Hamiltonian Engineering and Quantum Control

Determining the unitary dynamics accessible from finite Hamiltonian resources is a central problem in Hamiltonian engineering and quantum control. Dynamical Lie algebras (DLAs) connect available control Hamiltonians with the reachable dynamics, but their use as a design tool for modifying Hamiltonian generator sets remains less developed. In this work, we develop a finite-dimensional DLA framework for three generator-set operations: composition, invariance, and reduction. For composition, we construct direct sums of component DLAs using spectral projectors on an auxiliary register. For invariance, we analyze when modifications of Pauli-string generating sets preserve the generated Lie algebra, and introduce algebraic diagnostics for added generators. For reduction, we consider compact reductive DLAs and show how projection onto selected simple ideals gives reduced generating sets whose Lie closures are the corresponding ideal sums. We illustrate these results with finite-dimensional examples and numerical checks, including direct-sum dimension addition, central-spin invariance diagnostics, and DLA-based ansatz reduction for block-local Hamiltonians. The results show how DLA structure can be used to diagnose controllability and guide Hamiltonian generator design under explicit algebraic assumptions.

quant-ph

Genuinely nonlocal sets with smallest cardinality

Recently, there is growing interest in the study of genuine nonlocality, which serves to explore the local accessability of global information encoded in orthogonal multipartite quantum states under scenarios where not all subsystems are joined together. For such form of nonlocality, a probably most fundamental question is upon what states it is prone to be manifested. To tackle this, we present in this work genuinely nonlocal sets with the smallest possible cardinality. We first show the existence of genuinely nonlocal sets of three pure states in arbitrary N-partite system. As a byproduct, this also gives new examples of strongly nonlocal sets with dramatically smaller cardinality than ever for all possible systems, settling some related questions effortlessly. Then, for mixed hypothetical states, we show that genuinely nonlocal sets of two even exist, regardless of the number of copies available. In particular, it turns out for both our constructions that certain genuinely entangled states necessarily exist, nontrivially indicating their potential of raising difficulty in locally accessing multipartite quantum information.

quant-ph

Simultaneous Detection of High-Dimensional Entanglement for Two Unknown Quantum States

The state overlap, quantified via $\tr[ρσ]$, is a metric widely used to assess the closeness between two quantum states $ρ$ and $σ$. Although global state overlap alone does not directly capture entanglement properties, we uncover that incorporating local state overlaps provide profound insights into the entanglement characteristics of quantum states. To be precise, the ratio of global to local state overlaps provides a lower bound on the Schmidt number, which is usually used for quantifying high-dimensional entanglement. Unlike conventional methods for detecting entanglement, the approach here can simultaneously reveal entanglement information for two unknown quantum states. Moreover, state overlap can be efficiently determined through local randomized measurement methods, which ensures the experimental feasibility of our approach. In a special case, our criterion reduces to an entanglement criterion that is more powerful than the two criteria used most in experiment--the purity criterion and the fidelity-based criterion and also outperform the $p_3$-PPT method in specific instances. Our findings highlight a promising direction for advancements in entanglement detection experiments.

quant-ph

Multi-state imaginarity and coherence in qubit systems

Traditionally, the characterization of quantum resources has focused on individual quantum states. Recent literature, however, has increasingly explored the characterization of resources in multi-states (ordered collections of states indexed by a varying parameter). In this work, we provide a unitary-invariant framework to pinpoint imaginarity and coherence in sets of qubit states: we prove that Bloch vectors must be coplanar to be imaginarity-free and colinear to be incoherent, yielding exact rank-based tests of coherence and imaginarity, and closed-form bounds for existing robustness quantifiers, all based on two-state overlaps only. We also show that the set of imaginarity-free multi-states is not convex, and that third-order invariants completely characterize multi-state imaginarity of single-qubits but not of higher-dimensional systems. As our main technical result, we show that every Bargmann invariant of single-qubit states is determined (up to conjugation) by two-state overlaps. Beyond qubits, we give purity and system-agnostic coherence witnesses from equality constraints on higher-order invariants and connect our results to practical protocols: characterization of partial distinguishability, spin-chirality detection, and subchannel discrimination.

quant-ph

Detectors for local discrimination of sets of generalized Bell states

A fundamental problem in quantum information processing is the discrimination among a set of orthogonal quantum states of a composite system under local operations and classical communication (LOCC). Corresponding to the LOCC indistinguishable sets of four ququad-ququad orthogonal maximally entangled states (MESs) constructed by Yu et al. [Phys. Rev. Lett. 109, 020506 (2012)], the maximum commutative sets (MCSs) were introduced as detectors for the local distinguishability of the set of generalized Bell states (GBSs), for which the detectors are sufficient to determine the LOCC distinguishability. In this work, we show how to determine all the detectors for a given GBS set. We construct also several 4-GBS sets without detectors, most of which are one-way LOCC indistinguishable and only one is one-way LOCC distinguishable, indicating that the detectors are not necessary for LOCC distinguishability. Furthermore, we show that for 4-GBS sets in quantum system $\mathbb{C}^{6}\otimes\mathbb{C}^{6}$, the detectors are almost necessary for one-way LOCC distinguishability, except for one set in the sense of local unitary equivalence. The problem of one-way LOCC discrimination of 4-GBS sets in $\mathbb{C}^{6}\otimes\mathbb{C}^{6}$ is completely resolved.

quant-ph

Local unitary classification of sets of generalized Bell states in $\mathbb{C}^{d}\otimes\mathbb{C}^{d}$

Two sets of quantum entangled states that are equivalent under local unitary transformations may exhibit identical effectiveness and versatility in various quantum information processing tasks. Consequently, classification under local unitary transformations has become a fundamental issue in the theory of quantum entanglement. The primary objective of this work is to establish a complete LU-classification of all sets of generalized Bell states (GBSs) in bipartite quantum systems $\mathbb{C}^{d}\otimes \mathbb{C}^{d}$ with $d\geq 3$. Based on this classification, we determine the minimal cardinality of indistinguishable GBS sets in $\mathbb{C}^{6}\otimes \mathbb{C}^{6}$ under one-way local operations and classical communication (one-way LOCC). We propose first two classification methods based on LU-equivalence for all $l$-GBS sets for $l\geq 2$. We then establish LU-classification for all 2-GBS, 3-GBS, 4-GBS and 5-GBS sets in $\mathbb{C}^{6}\otimes \mathbb{C}^{6}$. Since LU-equivalent sets share identical local distinguishability, it suffices to examine representative GBS sets from equivalent classes. Notably, we identify a one-way LOCC indistinguishable 4-GBS set among these representatives, thereby resolving the case of $d = 6$ for the problem of determining the minimum cardinality of one-way LOCC indistinguishable GBS sets in [Quant. Info. Proc. 18, 145 (2019)] or [Phys. Rev. A 91, 012329 (2015)].

quant-ph

The quantum non-Markovianity for a special class of generalized Weyl channel

A quantum channel is usually represented as a sum of Kraus operators. The recent study [Phys. Rev. A 98, 032328 (2018)] has shown that applying a perturbation to the Kraus operators in qubit Pauli channels, the dynamical maps exhibit interesting properties, such as non-Markovianity, singularity. This has sparked our interest in studying the properties of other quantum channels. In this work, we study a special class of generalized Weyl channel where the Kraus operators are proportional to the Weyl diagonal matrices and the rest are vanishing. We use the Choi matrix of intermediate map to study quantum non-Markovianity. The crossover point of the eigenvalues of Choi matrix is a singularity of the decoherence rates in the canonical form of the master equation. Moreover, we identify the non-Markovianity based on the methods of CP divisibility and distinguishability. We also quantify the non-Markovianity in terms of the Hall-Cresser-Li-Andersson (HCLA) measure and the Breuer-Laine-Piilo (BLP) measure, respectively. In particular, we choose mutually unbiased bases as a pair of orthogonal initial states to quantify the non-Markovianity based on the BLP measure.

quant-ph

Measurement-device-independent entanglement witness with imprecise input states

Measurement-device-independent entanglement witnesses (MDI-EWs) enable the detection of entanglement without relying on characterized measurements. However, the entanglement criteria for MDI-EWs typically assume the idealized condition that the lab input states are precisely the desired ones. In this work, we remove this idealization by considering the realistic scenario in which lab input states may be imprecise. We introduce a new class of MDI-EWs, termed sensitive MDI-EWs, whose entanglement criteria fail under any non-zero imprecision in the input states. We derive sufficient conditions for an MDI-EW to be classified as sensitive, revealing that a large class of MDI-EWs exhibit this sensitivity. Additionally, we demonstrate that two well-known MDI-EWs for Werner states are sensitive according to our criteria, one of which recovers the result from a previous study [Phys. Rev. A 104, 012429 (2021)]. Moreover, we clarify the concept of lab input states in a way that makes imprecisions experimentally measurable, and propose a systematic approach for modifying the criterion of any MDI-EW to accommodate small imprecisions, thus enhancing experimental relevance. A simple MDI-EW example is provided, where our modified criterion is already optimal. This work bridges the gap between idealized theoretical models and practical experimental conditions, paving the way for more robust and accessible entanglement detection in real-world settings.

quant-ph

On the Bargmann invariants for quantum imaginarity

The imaginary in quantum theory plays a crucial role in describing quantum coherence and is widely applied in quantum information tasks such as state discrimination, pseudorandomness generation, and quantum metrology. A recent paper by Fernandes et al. [C. Fernandes, R. Wagner, L. Novo, and E. F. Galvão, Phys. Rev. Lett. 133, 190201 (2024) ] showed how to use the Bargmann invariant to witness the imaginarity of a set of quantum states. In this work, we delve into the structure of Bargmann invariants and their quantum realization in qubit systems. First, we present a characterization of special sets of Bargmann invariants (also studied by Fernandes et al. for a set of four states) for a general set of $n$ quantum states. Then, we study the properties of the relevant Bargmann invariant set $\mathcal{B}_n$ and its quantum realization in qubit systems. Our results provide new insights into the structure of Bargmann invariants, contributing to the advancement of quantum information techniques, particularly within qubit systems.

quant-ph

Unbounded sequential multipartite nonlocality via violation of Mermin inequality

Quantum nonlocality is a significant feature in quantum information theory, prompting recent investigations into the potential reuse of post-measurement states to uncover nonlocality among sequentially measuring observers. While prior studies primarily focused on bipartite or tripartite systems and observers with one chain, such as multiple Bobs with a single Alice or multiple Charlies with a single Alice and Bob, our work extends beyond this framework. We explore sequential nonlocality in systems comprising more parties and observer chains. Our findings reveal that in $n$-partite systems, regardless of whether it is a single-chain or double-chain scenario, there exist unbounded sequential observers capable of detecting nonlocality through violations of the Mermin inequality. In contrast to the conjecture that sequential Bell nonlocality cannot manifest with multiple Alices and Bobs in bipartite systems (i.e., the double-chain setting)[Phys. Rev. A 104, L060201 (2021)], our results suggest that increasing the number of subsystems may enable more observer chains to detect nonlocality alongside single observers. Our study advances research on sequential nonlocality, providing valuable insights into its detection across diverse scenarios.

quant-ph

Strongest nonlocal sets with minimum cardinality in tripartite systems

Strong nonlocality, proposed by Halder {\it et al}. [\href{https://doi.org/10.1103/PhysRevLett.122.040403}{Phys. Rev. Lett. \textbf{122}, 040403 (2019)}], is a stronger manifestation than quantum nonlocality. Subsequently, Shi {\it et al}. presented the concept of the strongest nonlocality [\href{https://doi.org/10.22331/q-2022-01-05-619}{Quantum \textbf{6}, 619 (2022)}]. Recently, Li and Wang [\href{https://doi.org/10.22331/q-2023-09-07-1101}{Quantum \textbf{7}, 1101 (2023)}] posed the conjecture about a lower bound to the cardinality of the strongest nonlocal set $\mathcal{S}$ in $\otimes _{i=1}^{n}\mathbb{C}^{d_i}$, i.e., $|\mathcal{S}|\leq \max_{i}\{\prod_{j=1}^{n}d_j/d_i+1\}$. In this work, we construct the strongest nonlocal set of size $d^2+1$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d}\otimes \mathbb{C}^{d}$. Furthermore, we obtain the strongest nonlocal set of size $d_{2}d_{3}+1$ in $\mathbb{C}^{d_1}\otimes \mathbb{C}^{d_2}\otimes \mathbb{C}^{d_3}$. Our construction reaches the lower bound, which provides an affirmative solution to Li and Wang's conjecture. In particular, the strongest nonlocal sets we present here contain the least number of orthogonal states among the available results.

quant-ph

Small sets of genuinely nonlocal GHZ states in multipartite systems

A set of orthogonal multipartite quantum states are called (distinguishability-based) genuinely nonlocal if they are locally indistinguishable across any bipartition of the subsystems. In this work, we consider the problem of constructing small genuinely nonlocal sets consisting of generalized GHZ states in multipartite systems. For system (C^2)^(\otimes N) where N is large, using the language of group theory, we show that a tiny proportion Θ[1/2^(N/2)] of the states among the N-qubit GHZ basis suffice to exhibit genuine nonlocality. Similar arguments also hold for the canonical generalized GHZ bases in systems (C^d)^(\otimes N), wherever d is even and N is large. What is more, moving to the condition that any fixed N is given, we show that d + 1 genuinely nonlocal generalized GHZ states exist in (C^d)^(\otimes N), provided the local dimension d is sufficiently large. As an additional merit, within and beyond an asymptotic sense, the latter result also indicates some evident limitations of the "trivial othogonality-preserving local measurements" (TOPLM) technique that has been utilized frequently for detecting genuine nonlocality.

quant-ph

Distinguishability-based genuine nonlocality with genuine multipartite entanglement

A set of orthogonal multipartite quantum states is said to be distinguishability-based genuinely nonlocal (also genuinely nonlocal, for abbreviation) if the states are locally indistinguishable across any bipartition of the subsystems. This form of multipartite nonlocality, although more naturally arising than the recently popular "strong nonlocality" in the context of local distinguishability, receives much less attention. In this work, we study the distinguishability-based genuine nonlocality of a typical type of genuine multipartite entangled states -- the d-dimensional GHZ states, featuring systems with local dimension not limited to 2. In the three-partite case, we find the existence of small genuinely nonlocal sets consisting of these states: we show that the cardinality can at least scale down to linear in the local dimension d, with the linear factor l = 1. Specifically, the method we use is semidefinite program and the GHZ states to construct these sets are special ones which we call "GHZ-lattices". This result might arguably suggest a significant gap between the strength of strong nonlocality and the distinguishability-based genuine nonlocality. Moreover, we put forward the notion of (s,n)-threshold distinguishability and utilizing a similar method, we successfully construct (2,3)-threshold sets consisting of GHZ states in three-partite systems.

quant-ph

Sequentially witnessing entanglement by independent observer pairs

This study investigates measurement strategies in a scenario where multiple pairs of Alices and Bobs independently and sequentially observe entangled states. The aim is to maximize the number of observer pairs $(A_k,B_l)$ that can witness entanglement. Prior research has demonstrated that arbitrary pairs $(A_k, B_k)$ ($k\leq n$) can observe entanglement in all pure entangled states and a specific class of mixed entangled states [Phys. Rev. A 106 032419 (2022)]. However, it should be noted that other pairs $(A_k, B_l)$ with $(k\neq l \leq n)$ may not observe entanglement using the same strategy. Moreover, a novel strategy is presented, enabling every pair of arbitrarily many Alices and Bobs to witness entanglement regardless of the initial state being a Bell state or a particular class of mixed entangled states. These findings contribute to understanding measurement strategies for maximizing entanglement observation in various contexts.

quant-ph

Witnessing quantum coherence with prior knowledge of observables

Quantum coherence is the key resource in quantum technologies including faster computing, secure communication and advanced sensing. Its quantification and detection are, therefore, paramount within the context of quantum information processing. Having certain priori knowledge on the observables may enhance the efficiency of coherence detection. In this work, we posit that the trace of the observables is a known quantity. Our investigation confirms that this assumption indeed extends the scope of coherence detection capabilities. Utilizing this prior knowledge of the trace of the observables, we establish a series of coherence detection criteria. We investigate the detection capabilities of these coherence criteria from diverse perspectives and ultimately ascertain the existence of four distinct and inequivalent criteria. These findings contribute to the deepening of our understanding of coherence detection methodologies, thereby potentially opening new avenues for advancements in quantum technologies.

quant-ph