BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Xiao-Dong Yu

Xiao-Dong Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phmath-phmath.MP

Catalog footprint

What is connected

12works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2026arXiv

Scalable Certification of Entanglement in Quantum Networks

Quantum networks form the backbone of long-distance quantum information processing. Genuine multipartite entanglement (GME) serves as a key indicator of network performance and overall state quality. However, the widely used methods for certifying GME suffer from a major drawback that they either detect only a limited range of states or are applicable only to systems with a small number of parties. To overcome these limitations, we propose a family of sub-symmetric witnesses (SSWs), which are tractable both theoretically and experimentally. Analytically, we establish a connection between SSWs and the cut space of graph theory, enabling several powerful detection criteria tailored to practical quantum networks. Numerically, we show that the optimal detection can be formulated as a linear program, offering a significant efficiency advantage over the semidefinite programs commonly employed in quantum certification. Experimentally, SSWs can be evaluated via local measurements, with resource requirements independent of the local dimension in general, and even independent of the overall network size in many practical networks.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantum-Inspired Hierarchy for Rank-Constrained Optimization

Many problems in information theory can be reduced to optimizations over matrices, where the rank of the matrices is constrained. We establish a link between rank-constrained optimization and the theory of quantum entanglement. More precisely, we prove that a large class of rank-constrained semidefinite programs can be written as a convex optimization over separable quantum states and, consequently, we construct a complete hierarchy of semidefinite programs for solving the original problem. This hierarchy not only provides a sequence of certified bounds for the rank-constrained optimization problem, but also gives pretty good and often exact values in practice when the lowest level of the hierarchy is considered. We demonstrate that our approach can be used for relevant problems in quantum information processing, such as the optimization over pure states, the characterization of mixed unitary channels and faithful entanglement, and quantum contextuality, as well as in classical information theory including the maximum cut problem, pseudo-Boolean optimization, and the orthonormal representation of graphs. Finally, we show that our ideas can be extended to rank-constrained quadratic and higher-order programming.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Statistical Methods for Quantum State Verification and Fidelity Estimation

The efficient and reliable certification of quantum states is essential for various quantum information processing tasks as well as for the general progress on the implementation of quantum technologies. In the last few years several methods have been introduced which use advanced statistical methods to certify quantum states in a resource-efficient manner. In this article we present a review of the recent progress in this field. We first explain how the verification and fidelity estimation of a quantum state can be discussed in the language of hypothesis testing. Then, we explain in detail various strategies for the verification of entangled states with local measurements or measurements assisted by local operations and classical communication. Finally, we discuss several extensions of the problem, such as the certification of quantum channels and the verification of entanglement.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A complete hierarchy for the pure state marginal problem in quantum mechanics

Clarifying the relation between the whole and its parts is crucial for many problems in science. In quantum mechanics, this question manifests itself in the quantum marginal problem, which asks whether there is a global pure quantum state for some given marginals. This problem arises in many contexts, ranging from quantum chemistry to entanglement theory and quantum error correcting codes. In this paper, we prove a correspondence of the marginal problem to the separability problem. Based on this, we describe a sequence of semidefinite programs which can decide whether some given marginals are compatible with some pure global quantum state. As an application, we prove that the existence of multiparticle absolutely maximally entangled states for a given dimension is equivalent to the separability of an explicitly given two-party quantum state. Finally, we show that the existence of quantum codes with given parameters can also be interpreted as a marginal problem, hence, our complete hierarchy can also be used.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Efficient verification of quantum processes

Quantum processes, such as quantum circuits, quantum memories, and quantum channels, are essential ingredients in almost all quantum information processing tasks. However, the characterization of these processes remains a daunting task due to the exponentially increasing amount of resources required by traditional methods. Here, by first proposing the concept of quantum process verification, we establish two efficient and practical protocols for verifying quantum processes which can provide an exponential improvement over the standard quantum process tomography and a quadratic improvement over the method of direct fidelity estimation. The efficacy of our protocols is illustrated with the verification of various quantum gates as well as the processes of well-known quantum circuits. Moreover, our protocols are readily applicable with current experimental techniques since only local measurements are required. In addition, we show that our protocols for verifying quantum processes can be easily adapted to verify quantum measurements.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Alternative framework for quantifying coherence

We propose an alternative framework for quantifying coherence. The framework is based on a natural property of coherence, the additivity of coherence for subspace-independent states, which is described by an operation-independent equality rather than operation-dependent inequalities and therefore applicable to various physical contexts. Our framework is compatible with all the known results on coherence measures but much more flexible and convenient for applications, and by using it many open questions can be resolved.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

General approach to find steady-state manifolds in Markovian and non-Markovian systems

Steady-state manifolds of open quantum systems, such as decoherence-free subspaces and noiseless subsystems, are of great practical importance to the end of quantum information processing. Yet, it is a difficult problem to find steady-state manifolds of open quantum systems, especially of non-Markovian systems. In this paper, we propose an approach to find the steady-state manifolds, which is generally applicable to both Markovian and non-Markovian systems. Our approach is based on an arbitrarily given steady state, and by following the standard steps of the approach, the steady-state manifold on the support subspace of the given state can be obtained. Our work reduces the problem of finding a manifold of steady states to that of finding only one steady state, which is indeed an interesting progress towards completely solving the difficult problem. Besides, in deriving our approach, we introduce the notions of the modified noise algebra and its commutant, and prove two theorems on the structure of steady-state manifolds of general open systems, which themselves are interesting findings too.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ordering states with coherence measures

The quantification of quantum coherence has attracted a growing attention, and based on various physical contexts, several coherence measures have been put forward. An interesting question is whether these coherence measures give the same ordering when they are used to quantify the coherence of quantum states. In this paper, we consider the two well-known coherence measures, the $l_1$ norm of coherence and the relative entropy of coherence, to show that there are the states for which the two measures give a different ordering. Our analysis can be extended to other coherence measures, and as an illustration of the extension we further consider the formation of coherence to show that the $l_1$ norm of coherence and the formation of coherence, as well as the relative entropy of coherence and the coherence of formation, do not give the same ordering too.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality

Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen-Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether it is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the Kochen-Specker theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Coexistence of Kochen-Specker inequalities and noncontextuality inequalities

Two types of inequalities, Kochen-Specker inequalities and noncontextuality inequalities, are both used to demonstrate the incompatibility between the noncontextual hidden variable model and quantum mechanics. It has been thought that noncontextuality inequalities are much more potent than Kochen-Specker inequalities, since the latter are constrained by the Kochen-Specker rules, which are regarded as an extra constraint imposed on the noncontextual hidden variable model. However, we find that a noncontextuality inequality exists in a ray set if and only if a Kochen-Specker inequality exists in the same ray set. This provides an effect approach both for constructing noncontextuality inequalities in a Kochen-Specker set and for converting a Kochen-Specker inequality to a noncontextuality inequality in any ray set.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Theorem on the existence of a nonzero energy gap in adiabatic quantum computation

Adiabatic quantum computation, based on the adiabatic theorem, is a promising alternative to conventional quantum computation. The validity of an adiabatic algorithm depends on the existence of a nonzero energy gap between the ground and excited states. However, it is difficult to ascertain the exact value of the energy gap. In this paper, we put forward a theorem on the existence of nonzero energy gap for the Hamiltonians used in adiabatic quantum computation. It can help to effectively identify a large class of the Hamiltonians without energy-level crossing between the ground and excited states.

0 citations0 reviewsNo code linkedOpen access