arXiv subjects

Yeong-Cherng Liang

Publications and source records attributed to Yeong-Cherng Liang.

At least 19 recordsLinked to original sources

arXiv2026

Bounding Two-Way Average Communication Cost of Simulating Quantum Correlations

Bell nonlocal correlations cannot be reproduced by local hidden-variable models without communication, making classical communication cost a natural quantitative measure of nonlocality. Although finite communication always suffices to simulate any correlation in a fixed finite Bell scenario, determining the minimum amount needed to (exactly) simulate any given nonlocal correlation remains challenging, especially in the average-cost setting. Here, we derive lower bounds on input-average communication cost from nonlocal games, allowing variable-length, fully interactive two-way protocols. When applied to parallel games, these bounds yield explicit finite quantum correlations for which the exact simulation cost exceeds any prescribed finite input-average communication budget. For $n$ parallel Magic-Square-winning correlations, we prove a lower bound of $n\log_2(3/2)$ bits and give a one-way communication protocol that attains this rate asymptotically. For the quantum correlation maximally winning the $n$-copy of the Clauser--Horne--Shimony--Holt nonlocal game, we obtain an input-average lower bound of approximately $0.04627n$ bits for exact simulation. Finally, we formulate a hierarchy of lower bounds and complementary upper bounds using deterministic correlations up to chosen communication costs. Both recover the exact input-average cost at their final levels, and if the bounds agree at lower levels, their common value yields the exact input-average cost without needing to consider all communication strategies.

quant-ph↗

arXiv2026

Trading symmetry for Hilbert-space dimension in Bell-inequality violation

In quantum information, asymmetry, i.e., the lack of symmetry, is a resource allowing one to accomplish certain tasks that are otherwise impossible. Similarly, in a Bell test using any given Bell inequality, the maximum violation achievable using quantum strategies respecting or disregarding a certain symmetry can be different. In this work, we focus on the symmetry involved in the exchange of parties and explore when we have to trade this symmetry for a lower-dimensional quantum strategy in achieving the maximal violation of given Bell inequalities. For the family of symmetric Collins-Gisin-Linden-Massar-Popescu inequalities, we provide evidence showing that there is no such trade-off. However, for several other Bell inequalities with a small number of dichotomic measurement settings, we show that symmetric quantum strategies in the minimal Hilbert space dimension can only lead to a suboptimal Bell violation. In other words, there exist symmetric Bell inequalities that can only be maximally violated by asymmetric quantum strategies of minimal dimension. In contrast, one can also find examples of asymmetric Bell inequalities that are maximally violated by symmetric correlations. The implications of these findings on the geometry of the set of quantum correlations and the possibility of performing self-testing therefrom are briefly discussed.

quant-ph↗

arXiv2026

Nonlocality of Quantum States can be Transitive

As a striking manifestation of quantum entanglement, nonlocality has long played a pivotal role in shaping our understanding of the quantum world. When considering a Bell test involving three parties, we may even find a remarkable situation where the nonlocality in two bipartite subsystems {\em forces} the remaining bipartite subsystem to exhibit nonlocality. This intriguing effect, dubbed nonlocality transitivity, was first identified in the non-quantum non-signaling world in 2011. However, whether such transitivity could manifest within quantum theory has remained unresolved -- until now. Here, we provide the first affirmative answer to this open problem at the level of quantum states, thereby showing that there exists a quantum-realizable notion of nonlocality transitivity. Specifically, by leveraging the possibility of Bell-inequality violation by tensoring, we analytically construct a pair of nonlocal bipartite states such that simultaneously realizing them in a tripartite system induces nonlocality in the remaining bipartite subsystem. En route to showing this, we also prove that multiple copies of the $W$-state marginals uniquely determine the global compatible state, thus establishing another instance when the parts determine the whole. Surprisingly, the nonlocality transitivity of quantum states also occurs among the reduced states of Haar-random three-qutrit pure states. We further show that the transitivity of quantum steering can already be demonstrated with the marginals of a three-qubit $W$ state, showing again another noteworthy difference between the two forms of quantum correlations. Finally, we present a simple method to construct quantum states and correlations that are nonlocal in all their non-unipartite marginals, which may be of independent interest.

quant-ph↗

arXiv2025

Almost device-independent calibration beyond Born's rule: Bell tests for cross-talk detection

In quantum information, device-independent protocols offer a new approach to information processing tasks, making minimal assumptions about the devices used. Typically, since these protocols draw conclusions directly from the data collected in a meaningful Bell test, the no-signaling conditions, and often even Born's rule for local measurements, are taken as premises of the protocol. Here, we demonstrate how to test such premises in an (almost) device-independent setting, i.e., directly from the raw data and with minimal assumptions. In particular, for IBM's quantum computing cloud services, we implement the prediction-based ratio protocol to characterize how well the qubits can be accessed locally and independently. More precisely, by performing a variety of Clauser-Horne-Shimony-Holt-type experiments on these systems and carrying out rigorous hypothesis tests on the collected data, we provide compelling evidence showing that some of these qubits suffer from cross-talks, i.e., their measurement statistics are affected by the choice of measurement bases on another qubit. Unlike standard randomized benchmarking, our approach does not rely on assumptions such as gate-independent Markovian noise. Moreover, despite the relatively small number of experimental trials, the direction of "signaling" may also be identified in some cases. Our approach thus serves as a complementary tool for benchmarking the local addressability of quantum computing devices.

quant-ph↗

arXiv2025

Large Parts are Generically Entangled Across All Cuts

Generic high-dimensional bipartite pure states are overwhelmingly likely to be highly entangled. Remarkably, this ubiquitous phenomenon can already arise in finite-dimensional systems. However, unlike the bipartite setting, the entanglement of generic multipartite pure states, and specifically their multipartite marginals, is far less understood. Here, we show that sufficiently large marginals of generic multipartite pure states, accounting for approximately half or more of the subsystems, are entangled across all bipartitions. These pure states are thus robust to losses in entanglement distribution and potentially useful for quantum information protocols where the flexibility in the collaboration among subsets of clients is desirable. We further show that these entangled marginals are not only shareable in closed systems, but must also induce entanglement in other marginals when some mild dimension constraints are satisfied, i.e., entanglement transitivity is a generic feature of various many-body closed systems. We further observe numerically that the genericity of (1) entangled marginals, (2) unique global compatibility, and (3) entanglement transitivity may also hold beyond the analytically established dimension constraints, which may be of independent interest.

quant-ph↗

arXiv2025

Experimental single-copy distillation of quantumness from higher-dimensional entanglement

Entanglement is at the heart of quantum theory and is responsible for various quantum-enabling technologies. In practice, during its preparation, storage, and distribution to the intended recipients, this valuable quantum resource may suffer from noisy interactions that reduce its usefulness for the desired information-processing tasks. Conventional schemes of entanglement distillation aim to alleviate this problem by performing collective operations on multiple copies of these decohered states and sacrificing some of them to recover Bell pairs. However, for this scheme to work, the states to be distilled should already contain a large enough fraction of maximally entangled states before these collective operations. Not all entangled quantum states meet this premise. Here, by using the paradigmatic family of two-qutrit Werner states as an exemplifying example, we experimentally demonstrate how one may use single-copy local filtering operations to meet this requirement and to recover the quantumness hidden in these higher-dimensional states. Among others, our results provide the first proof-of-principle experimental certification of the Bell-nonlocal properties of these intriguing entangled states, the activation of their usefulness for quantum teleportation, dense coding, and an enhancement of their quantum steerability, and hence usefulness for certain discrimination tasks. Our theoretically established lower bounds on the steering robustness of these states, when they admit a symmetric quasiextension or a bosonic symmetric extension, and when they show hidden dense-codability may also be of independent interest.

quant-ph↗

arXiv2024

Device-independent certification of desirable properties with a confidence interval

In the development of quantum technologies, a reliable means for characterizing quantum devices is crucial. However, the conventional approach based on, e.g., quantum state tomography or process tomography relies on assumptions often not necessarily justifiable in a realistic experimental setting. While the device-independent approach to this problem bypasses the shortcomings above by making only minimal, justifiable assumptions, most of the theoretical proposals to date only work in the idealized setting where i.i.d. trials are assumed. Here, we provide a versatile solution for rigorous device-independent certification that does not rely on the i.i.d. assumption. Specifically, we describe how the prediction-based-ratio (PBR) protocol and martingale-based protocol developed for hypothesis testing can be applied in the present context to achieve a device-independent certification of desirable properties with confidence interval. To illustrate the versatility of these methods, we demonstrate how we can use them to certify, with finite data, the underlying negativity, Hilbert space dimension, entanglement depth, and fidelity to some target pure state. In particular, we give examples showing how the amount of certifiable negativity and fidelity scales with the number of trials, and how many experimental trials one needs to certify a qutrit state space, or the presence of genuine tripartite entanglement. Overall, we have found that the PBR protocol and the martingale-based protocol often offer similar performance, even though the former does have to presuppose any witness. In contrast, our findings also show that the performance of the martingale-based protocol may be severely affected by one's choice of the witness. Intriguingly, a witness useful for self-testing does not necessarily give the optimal confidence-gain rate for certifying the fidelity to the corresponding target state.

quant-ph↗

arXiv2024

Resource Marginal Problems

We introduce the resource marginal problems, which concern the possibility of having a resource-free target subsystem compatible with a given collection of marginal density matrices. By identifying an appropriate choice of resource R and target subsystem T, our problems reduce, respectively, to the well-known marginal problems for quantum states and the problem of determining if a given quantum system is a resource. More generally, we say that a set of marginal states is resource-free incompatible with a target subsystem T if all global states compatible with this set must result in a resourceful state in T of type R. We show that this incompatibility induces a resource theory that can be quantified by a monotone and obtain necessary and sufficient conditions for this monotone to be computable as a conic program with finite optimum. We further show, via the corresponding witnesses, that (1) resource-free incompatibility is equivalent to an operational advantage in some channel-discrimination tasks, and (2) some specific cases of such tasks fully characterize the convertibility between marginal density matrices exhibiting resource-free incompatibility. Through our framework, one sees a clear connection between any marginal problem -- which implicitly involves some notion of incompatibility -- for quantum states and a resource theory for quantum states. We also establish a close connection between the physical relevance of resource marginal problems and the ground state properties of certain many-body Hamiltonians. In terms of application, the universality of our framework leads, for example, to a further quantitative understanding of the incompatibility associated with the recently-proposed entanglement marginal problems and entanglement transitivity problems.

quant-ph↗

arXiv2024

Hardy-type paradoxes for an arbitrary symmetric bipartite Bell scenario

As with a Bell inequality, Hardy's paradox manifests a contradiction between the prediction given by quantum theory and local-hidden variable theories. In this work, we give two generalizations of Hardy's arguments for manifesting such a paradox to an arbitrary, but symmetric Bell scenario involving two observers. Our constructions recover that of Meng et al. [Phys. Rev. A. 98, 062103 (2018)] and that first discussed by Cabello [Phys. Rev. A 65, 032108 (2002)] as special cases. Among the two constructions, one can be naturally interpreted as a demonstration of the failure of the transitivity of implications (FTI). Moreover, a special case of which is equivalent to a ladder-proof-type argument for Hardy's paradox. Through a suitably generalized notion of success probability called degree of success, we provide evidence showing that the FTI-based formulation exhibits a higher degree of success compared with all other existing proposals. Moreover, this advantage seems to persist even if we allow imperfections in realizing the zero-probability constraints in such paradoxes. Explicit quantum strategies realizing several of these proofs of nonlocality without inequalities are provided.

quant-ph↗

arXiv2024

Incorporating Zero-Probability Constraints to Device-Independent Randomness Expansion

One of the distinguishing features of quantum theory is that its measurement outcomes are usually unpredictable or, equivalently, random. Moreover, this randomness is certifiable with minimal assumptions in the so-called device-independent (DI) paradigm, where a device's behavior does not need to be presupposed but can be verified through the statistics it produces. In this work, we explore various forms of randomness that are certifiable in this setting, where two users can perform two binary-outcome measurements on their shared entangled state. In this case, even though the Clauser-Horne-Shimony-Holt (CHSH) Bell-inequality violation is a pre-requisite for the generation of DI certifiable randomness, the CHSH value alone does not generally give a tight bound on the certifiable randomness. Here, we determine the certifiable randomness when zero-probability constraints are incorporated into the task of DI randomness expansion for the standard local and global randomness and the so-called "blind" randomness. Asymptotically, we observe consistent improvements in the amount of DI certifiable randomness (of all kinds) as we increase the number zero constraints for a wide range of given CHSH Bell violations. However, if we further optimize over the allowed CHSH values, then benefits of these additional constraints over the standard CHSH-based protocol are only found in the case of global and blind randomness. In contrast, in the regimes of finite data, these zero constraints only give a slight improvement in the local randomness rate when compared with all existing protocols.

quant-ph↗

arXiv2023

Quantum correlations on the no-signaling boundary: self-testing and more

In device-independent quantum information, correlations between local measurement outcomes observed by spatially separated parties in a Bell test play a fundamental role. Even though it is long-known that the set of correlations allowed in quantum theory lies strictly between the Bell-local set and the no-signaling set, many questions concerning the geometry of the quantum set remain unanswered. Here, we revisit the problem of when the boundary of the quantum set coincides with the no-signaling set in the simplest Bell scenario. In particular, for each Class of these common boundaries containing $k$ zero probabilities, we provide a $(5-k)$-parameter family of quantum strategies realizing these (extremal) correlations. We further prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations, and provide numerical evidence supporting the robustness of these self-testing results. Candidates of one-parameter families of self-testing correlations from some of these Classes are identified. As a byproduct of our investigation, if the qubit strategies leading to an extremal nonlocal correlation are local-unitarily equivalent, a self-testing statement provably follows. Interestingly, all these self-testing correlations found on the no-signaling boundary are provably non-exposed. An analogous characterization for the set $\mathcal{M}$ of quantum correlations arising from finite-dimensional maximally entangled states is also provided. En route to establishing this last result, we show that all correlations of $\mathcal{M}$ in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements. In turn, we obtain the maximal Clauser-Horne-Shimony-Holt Bell inequality violation by any maximally entangled two-qudit state and a no-go theorem regarding the self-testing of such states.

quant-ph↗

arXiv2023

A strong no-go theorem on the Wigner's friend paradox

Does quantum theory apply at all scales, including that of observers? New light on this fundamental question has recently been shed through a resurgence of interest in the long-standing Wigner's friend paradox. This is a thought experiment addressing the quantum measurement problem -- the difficulty of reconciling the (unitary, deterministic) evolution of isolated systems and the (non-unitary, probabilistic) state update after a measurement. Here, by building on a scenario with two separated but entangled friends introduced by Brukner, we prove that if quantum evolution is controllable on the scale of an observer, then one of 'No-Superdeterminism', 'Locality' or 'Absoluteness of Observed Events' -- that every observed event exists absolutely, not relatively -- must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived in a theory-independent manner, that are violated by quantum correlations. This is demonstrated in a proof-of-principle experiment where a photon's path is deemed an observer. We discuss how this new theorem places strictly stronger constraints on physical reality than Bell's theorem.

quant-ph↗

arXiv2022

Entanglement transitivity problems

One of the goals of science is to understand the relation between a whole and its parts, as exemplified by the problem of certifying the entanglement of a system from the knowledge of its reduced states. Here, we focus on a different but related question: can a collection of marginal information reveal new marginal information? We answer this affirmatively and show that (non-) entangled marginal states may exhibit (meta)transitivity of entanglement, i.e., implying that a different target marginal must be entangled. By showing that the global $n$-qubit state compatible with certain two-qubit marginals in a tree form is unique, we prove that transitivity exists for a system involving an arbitrarily large number of qubits. We also completely characterize -- in the sense of providing both the necessary and sufficient conditions -- when (meta)transitivity can occur in a tripartite scenario when the two-qudit marginals given are either the Werner states or the isotropic states. Our numerical results suggest that in the tripartite scenario, entanglement transitivity is generic among the marginals derived from pure states.

quant-ph↗

arXiv2022

Bell inequality violations with random mutually unbiased bases

We examine the problem of exhibiting Bell nonlocality for a two-qudit entangled pure state using a randomly chosen set of mutually unbiased bases (MUBs). Interestingly, even if we employ only two-setting Bell inequalities, we find a significant chance of obtaining a Bell violation if the two parties are individually allowed to measure a sufficient number of MUBs. In particular, for the case of maximally entangled qutrits and ququarts, our numerical estimates indicate that we can obtain near-guaranteed Bell violation by considering only such Bell inequalities. The case of maximally entangled ququints is similar, albeit the chance of ending up with a successful trial decreases somewhat to approximately $99.84\%$. Upon a closer inspection, we find that even all these no-violation instances violate some more-setting Bell inequalities. These results suggest that the experimental tests of Bell nonlocality for these higher-dimensional entangled states remain viable even if the two parties do not share a common reference frame.

quant-ph↗

arXiv2022

Naturally restricted subsets of nonsignaling correlations: typicality and convergence

It is well-known that in a Bell experiment, the observed correlation between measurement outcomes -- as predicted by quantum theory -- can be stronger than that allowed by local causality, yet not fully constrained by the principle of relativistic causality. In practice, the characterization of the set $Q$ of quantum correlations is carried out, often, through a converging hierarchy of outer approximations. On the other hand, some subsets of $Q$ arising from additional constraints [e.g., originating from quantum states having positive-partial-transposition (PPT) or being finite-dimensional maximally entangled (MES)] turn out to be also amenable to similar numerical characterizations. How, then, at a quantitative level, are all these naturally restricted subsets of nonsignaling correlations different? Here, we consider several bipartite Bell scenarios and numerically estimate their volume relative to that of the set of nonsignaling correlations. Within the number of cases investigated, we have observed that (1) for a given number of inputs $n_s$ (outputs $n_o$), the relative volume of both the Bell-local set and the quantum set increases (decreases) rapidly with increasing $n_o$ ($n_s$) (2) although the so-called macroscopically local set $Q_1$ may approximate $Q$ well in the two-input scenarios, it can be a very poor approximation of the quantum set when $n_s>n_o$ (3) the almost-quantum set $\tilde{Q}_1$ is an exceptionally-good approximation to the quantum set (4) the difference between $Q$ and the set of correlations originating from MES is most significant when $n_o=2$, whereas (5) the difference between the Bell-local set and the PPT set generally becomes more significant with increasing $n_o$. This last comparison, in particular, allows us to identify Bell scenarios where there is little hope of realizing the Bell violation by PPT states and those that deserve further exploration.

quant-ph↗

arXiv2021

Activating Hidden Teleportation Power: Theory and Experiment

Ideal quantum teleportation transfers an unknown quantum state intact from one party Alice to the other Bob via the use of a maximally entangled state and the communication of classical information. If Alice and Bob do not share entanglement, the maximal average fidelity between the state to be teleported and the state received, according to a classical measure-and-prepare scheme, is upper bounded by a function $f_{\mathrm{c}}$ that is inversely proportional to the Hilbert space dimension. In fact, even if they share entanglement, the so-called teleportation fidelity may still be less than the classical threshold $f_{\mathrm{c}}$. For two-qubit entangled states, conditioned on a successful local filtering, the teleportation fidelity can always be activated, i.e., boosted beyond $f_{\mathrm{c}}$. Here, for all dimensions larger than two, we show that the teleportation power hidden in a subset of entangled two-qudit Werner states can also be activated. In addition, we show that an entire family of two-qudit rank-deficient states violates the reduction criterion of separability, and thus their teleportation power is either above the classical threshold or can be activated. Using hybrid entanglement prepared in photon pairs, we also provide the first proof-of-principle experimental demonstration of the activation of teleportation power hidden in this latter family of qubit states. The connection between the possibility of activating hidden teleportation power with the closely-related problem of entanglement distillation is discussed.

quant-ph↗

arXiv2020

Device-independent certification of multipartite entanglement using measurements performed in randomly chosen triads

We consider the problem of demonstrating non-Bell-local correlations by performing local measurements in randomly chosen triads, i.e., three mutually unbiased bases, on a multipartite Greenberger-Horne-Zeilinger state. Our main interest lies on investigating the feasibility of using these correlations to certify multipartite entanglement in a device-independent setting. In contrast to previous works, our numerical results up to the eight-partite scenario suggest that if each triad is randomly but uniformly chosen according to the Haar measure, one always (except possibly for a set of measure zero) finds Bell-inequality-violating correlations. In fact, a substantial fraction of these is even sufficient to reveal, in a device-independent manner, various higher-order entanglement. In particular, for the specific cases of three parties and four parties, our results---obtained from semidefinite programming---suggest that these randomly generated correlations always reveal, even in the presence of a non-negligible amount of white noise, the genuine multipartite entanglement possessed by these states. In other words, provided local calibration can be carried out to good precision, a device-independent certification of the genuine multipartite entanglement contained in these states can, in principle, also be carried out in an experimental situation without sharing a global reference frame.

quant-ph↗

arXiv2019

Maximal Violation of a Broad Class of Bell Inequalities and Its Implications on Self-Testing

In quantum information, lifting is a systematic procedure that can be used to derive---when provided with a seed Bell inequality---other Bell inequalities applicable in more complicated Bell scenarios. It is known that the procedure of lifting introduced by Pironio [J. Math. Phys. A 46, 062112 (2005)] preserves the facet-defining property of a Bell inequality. Lifted Bell inequalities therefore represent a broad class of Bell inequalities that can be found in {\em all} Bell scenarios. Here, we show that the maximal value of {\em any} lifted Bell inequality is preserved for both the set of nonsignaling correlations and quantum correlations. Despite the degeneracy in the maximizers of such inequalities, we show that the ability to self-test a quantum state is preserved under these lifting operations. In addition, except for outcome-lifting, local measurements that are self-testable using the original Bell inequality---despite the degeneracy---can also be self-tested using {\em any} lifted Bell inequality derived therefrom. While it is not possible to self-test {\em all} the positive-operator-valued measure elements using an outcome-lifted Bell inequality, we show that partial, but robust self-testing statements on the underlying measurements can nonetheless be made from the quantum violation of these lifted inequalities. We also highlight the implication of our observations on the usefulness of using lifted Bell-like inequalities as a device-independent witnesses for entanglement depth. The impact of the aforementioned degeneracy on the geometry of the quantum set of correlations is briefly discussed.

quant-ph↗