arXiv subjects

Yìlè Yīng

Publications and source records attributed to Yìlè Yīng.

17 recordsLinked to original sources

arXiv2026

Reassessing the boundary between classical and nonclassical for individual quantum processes

There is a received wisdom about where to draw the boundary between classical and nonclassical for various types of quantum processes. For multipartite states, it is the divide between separable and entangled; for channels, the divide between entanglement-breaking and not; for sets of measurements, the divide between compatible and incompatible; for assemblages, the divide between steerable and unsteerable. However, these choices have not been motivated by any unified notion of what it means to be classically explainable. One well-motivated notion of classical explainability is the one based on generalized noncontextuality: a set of circuits is classically explainable if a generalized-noncontextual ontological model can realize the statistics they generate. In this work, we show that this notion can be leveraged to define a classical-nonclassical divide for individual quantum processes of arbitrary type. We begin the task of characterizing where the classical-nonclassical divide lies according to this proposal for a variety of different types of processes. In particular, we show that all of the following are judged to be nonclassical: every entangled state, every set of incompatible measurements, every non-entanglement-breaking channel, and every steerable assemblage. Our proposal differs from the received wisdom, however, insofar as it also judges certain subsets of the complementary classes to be nonclassical, including certain separable states, compatible sets of measurements, entanglement-breaking channels, and unsteerable assemblages. Finally, we prove structure theorems characterizing the classical-nonclassical divide based on whether a process admits of a specific type of frame representation.

quant-ph↗

arXiv2026

Quantifiers and witnesses for the nonclassicality of measurements and of states

In recent work Phys. Rev. X 16, 021050, we proposed a unified notion of nonclassicality that applies to arbitrary processes in quantum theory, including individual quantum states, measurements, and sets thereof. This notion is derived from the principle of generalized noncontextuality, but in a novel manner that applies to individual processes rather than full experiments or theories. In the present work, we develop semidefinite-programming-based certificates and witnesses for the nonclassicality of states, sources, measurements, and sets thereof. These theory-dependent methods complement theory-independent approaches based on noncontextuality inequalities. We demonstrate the framework through a variety of explicit examples.

quant-ph↗

arXiv2026

Decoherence without the state: A causal quantum Darwinist approach

The consistent histories formalism can be used to describe histories comprised of events across many systems, times, and places, plausibly rich enough to describe our experiences of the classical world; however, many consistent history sets are nonclassical and thus not obviously relevant to our experiences. Meanwhile, the program of environmentally induced decoherence identifies dynamically privileged classical degrees of freedom, but provides no general account of when or how many such degrees of freedom consistently combine to form histories. This work shows that the strengths of these two approaches can be combined by adopting a dynamics-first perspective on decoherence. Inspired by quantum causal models and quantum Darwinism, we define the process of decoherence in terms of the causal influences through unitary dynamics required for the proliferation of information about observables. We characterise decoherence as a property of the unitary dynamics, without presupposing the existence of any quantum state. Instead, we show that the state emerges from dual decoherence, related to decoherence by time-reversal of the unitary dynamics. Indeed, for any set of systems in an arbitrary unitary circuit, decoherence and its dual single out a privileged consistent history set -- and we demonstrate through examples that states emerge from dual decoherence while outcomes emerge from decoherence. Hence the idea that quantum states emerge from the process of decoherence turns out to be the key missing ingredient for unifying environmentally induced decoherence and consistent histories. Taking this idea ontologically seriously leads to a recently proposed causal interpretation of quantum theory or a dynamics-first version of the Everett interpretation. The causal approach also sheds light on the suppression of off-diagonal terms, time asymmetry, and robustness of the pointer basis.

quant-ph↗

arXiv2026

A contextual advantage for conclusive exclusion: repurposing the Pusey-Barrett-Rudolph construction

The task of conclusive exclusion for a set of quantum states is to find a measurement such that for each state in the set, there is an outcome that allows one to conclude with certainty that the state in question was not prepared. Defining classicality of statistics as realizability by a generalized-noncontextual ontological model, we show that there is a quantum-over-classical advantage for how well one can achieve conclusive exclusion. This is achieved in an experimental scenario motivated by the construction appearing in the Pusey-Barrett-Rudolph theorem. We derive noise-robust noncontextuality inequalities bounding the conclusiveness of exclusion, and describe a quantum violation of these. Finally, we show that this bound also constitutes a classical causal compatibility inequality within the bilocality scenario, and that its violation in quantum theory yields a novel possibilistic proof of a quantum-classical gap in that scenario.

quant-ph↗

arXiv2026

The resource theory of causal influence and knowledge of causal influence

Understanding and quantifying causal relationships between variables is essential for reasoning about the physical world. In this work, we develop a resource-theoretic framework to do so. Here, we focus on the simplest nontrivial setting -- two variables that are causally ordered, meaning that the first has the potential to influence the second, without hidden confounding. First, we introduce the resource theory that directly quantifies causal influence of a functional dependence in this setting and show that the problem of deciding convertibility of resources and identifying a complete set of monotones has a relatively straightforward solution. Following this, we introduce the resource theory that arises naturally when one has uncertainty about the functional dependence. We describe a linear program for deciding the question of whether one resource (i.e., state of knowledge about the functional dependence) can be converted to another. Then, we focus on the case where the variables are binary. In this case, we identify a triple of monotones that are complete in the sense that they capture the partial order over the set of all resources, and we provide an interpretation of each.

math.ST↗

arXiv2025

Quantum oracles give an advantage for identifying classical counterfactuals

We show that quantum oracles provide an advantage over classical oracles for answering classical counterfactual questions in causal models, or equivalently, for identifying unknown causal parameters such as distributions over functional dependences. In structural causal models with discrete classical variables, observational data and even ideal interventions generally fail to answer all counterfactual questions, since different causal parameters can reproduce the same observational and interventional data while disagreeing on counterfactuals. Using a simple binary example, we demonstrate that if the classical variables of interest are encoded in quantum systems and the causal dependence among them is encoded in a quantum oracle, coherently querying the oracle enables the identification of all causal parameters -- hence all classical counterfactuals. We generalize this to arbitrary finite cardinalities and prove that coherent probing 1) allows the identification of all two-way joint counterfactuals p(Y_x=y, Y_{x'}=y'), which is not possible with any number of queries to a classical oracle, and 2) provides tighter bounds on higher-order multi-way counterfactuals than with a classical oracle. This work can also be viewed as an extension to traditional quantum oracle problems such as Deutsch--Jozsa to identifying more causal parameters beyond just, e.g., whether a function is constant or balanced. Finally, we raise the question of whether this quantum advantage relies on uniquely non-classical features like contextuality. We provide some evidence against this by showing that in the binary case, oracles in some classically-explainable theories like Spekkens' toy theory also give rise to a counterfactual identifiability advantage over strictly classical oracles.

quant-ph↗

arXiv2025

Extended Wigner's friend paradoxes do not require nonlocal correlations

Extended Wigner's friend no-go theorems provide a modern lens for investigating the measurement problem, by making precise the challenges that arise when one attempts to model agents as dynamical quantum systems. Most such no-go theorems studied to date, such as the Frauchiger-Renner argument and the Local Friendliness argument, are explicitly constructed using quantum correlations that violate Bell inequalities. In this work, we show that such correlations are not necessary for having extended Wigner's friend paradoxes, by constructing a no-go theorem utilizing a proof of the failure of noncontextuality. The argument hinges on a novel metaphysical assumption (which we term Commutation Irrelevance) that is a natural extension of a key assumption going into the Frauchiger and Renner's no-go theorem.

quant-ph↗

arXiv2025

Symmetry-induced failures of tomographic locality: Constructing foil theories by twirling

Tomographic locality is a principle commonly used in the program of finding axioms that pick out quantum theory within the landscape of possible theories. The principle asserts the sufficiency of local measurements for achieving a tomographic characterization of any bipartite state. In this work, we explore the meaning of the principle of tomographic locality by developing a simple scheme for generating a wide variety of theories that violate the principle. In this scheme, one starts with a tomographically local theory -- which can be classical, quantum or post-quantum -- and a physical symmetry, and one restricts the processes in the theory to all and only those that are covariant with respect to the collective action of that symmetry. We refer to the resulting theories as twirled worlds. We show that failures of tomographic locality are ubiquitous in twirled worlds. From the possibility of such failures in classical twirled worlds, we argue that the failure of tomographic locality (i.e., tomographic nonlocality) does not imply ontological holism. Our results also demonstrate the need for researchers seeking to axiomatize quantum theory to take a stand on the question of whether there are superselection rules that have a fundamental status.

quant-ph↗

arXiv2025

A structure theorem for complex-valued quasiprobability representations of physical theories

Quasiprobability representations are well-established tools in quantum information science, with applications ranging from the classical simulability of quantum computation to quantum process tomography, quantum error correction, and quantum sensing. While traditional quasiprobability representations typically employ real-valued distributions, recent developments highlight the usefulness of complex-valued ones -- most notably, via the family of Kirkwood--Dirac quasiprobability distributions. Building on the framework of Schmid et al. [Quantum 8, 1283 (2024)], we extend the analysis to encompass complex-valued quasiprobability representations that need not preserve the identity channel. Additionally, we also extend previous results to consider mappings towards infinite-dimensional spaces. We show that, for each system, every such representation can be expressed as the composition of two maps that are completely characterized by their action on states and on the identity (equivalently, on effects) for that system. Our results apply to all complex-valued quasiprobability representations of any finite-dimensional, tomographically-local generalized probabilistic theory, with finite-dimensional quantum theory serving as a paradigmatic example. In the quantum case, the maps' action on states and effects corresponds to choices of frames and dual frames for the representation. This work offers a unified mathematical framework for analyzing complex-valued quasiprobability representations in generalized probabilistic theories.

quant-ph↗

arXiv2025

Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)

Kirkwood-Dirac representations of quantum states are increasingly finding use in many areas within quantum theory. Usually, representations of this sort are only applied to provide a representation of quantum states (as complex functions over some set). We show how standard Kirkwood-Dirac representations can be extended to a fully compositional representation of all of quantum theory (including channels, measurements and so on), and prove that this extension satisfies the essential features of functoriality (namely, that the representation commutes with composition of channels), linearity, and quasistochasticity. Interestingly, the representation of a POVM element is uniquely picked out to be the collection of weak values for it relative to the bases defining the representation. We then prove that if one can find any Kirkwood-Dirac representation that is everywhere real and nonnegative for a given experimental scenario or fragment of quantum theory, then the scenario or fragment is consistent with the principle of generalized noncontextuality, a key notion of classicality in quantum foundations. We also show that the converse does not hold: even if one verifies that all Kirkwood-Dirac representations (as defined herein) of an experiment require negativity or imaginarity, one cannot generally conclude that the experiment witnesses contextuality.

quant-ph↗

arXiv2025

Connecting extended Wigner's friend arguments and noncontextuality

The Local Friendliness argument is an extended Wigner's friend no-go theorem that provides strong constraints on the nature of reality -- stronger even than those imposed by Bell's theorem or by noncontextuality arguments. In this work, we prove a variety of connections between Local Friendliness scenarios and Kochen-Specker noncontextuality. Specifically, we first show how one can derive new Local Friendliness inequalities using known tools and results from the literature on Kochen-Specker noncontextuality. In doing so, we provide a new derivation for some of the facets of the Local Friendliness polytope, and we prove that this polytope is equal to the Bell polytope in a wide range of extended Wigner's friend scenarios with multipartite agents and sequential measurements. We then show how any possibilistic Kochen-Specker argument can be mathematically translated into a related proof of the Local Friendliness no-go theorem. In particular, we construct a novel kind of Local Friendliness scenario where a friend implements several compatible measurements (or joint measurements of these) in between the superobserver's operations on them. We illustrate this with the well-known 5-cycle and Peres-Mermin contextuality arguments.

quant-ph↗

arXiv2025

Copenhagenish interpretations of quantum mechanics

We define a class of Copenhagenish interpretations encompassing modern interpretations that follow the Copenhagen spirit. These interpretations are characterized by four postulates: Observers Observe, Universality, Anti-$ψ$-ontology, and Completeness. We explain why such interpretations are not equivalent to the textbook (or orthodox) interpretation, nor to the view that one should shut up and calculate, nor to strict operationalism. We then discuss what lessons are implied for Copenhagenish interpretations by the measurement problem, the Wigner's friend thought experiment, and the simple variants of the Wigner's friend thought experiment that we term Wigner's enemy, stalkee, and penpal. In particular, we discuss how Copenhagenish interpretations give multiple distinct descriptions of each experiment, where these descriptions are each individually true, yet cannot be combined into any single description. To make such interpretations consistent, then, one requires epistemological constraints forbidding certain perspectives from being combined. We discuss these constraints, their motivations, and some of the challenges they introduce.

quant-ph↗

arXiv2025

On whether quantum theory needs complex numbers: the foil theories perspective

Recent work by Renou et al. (2021) has led to some controversy concerning the question of whether quantum theory requires complex numbers for its formulation. We promote the view that the main result of that work is best understood not as a claim about the relative merits of different representations of quantum theory, but rather as a claim about the possibility of experimentally adjudicating between standard quantum theory and an alternative theory -- a foil theory -- known as real-amplitude quantum theory (RQT). In particular, the claim is that this adjudication can be achieved given only an assumption about the causal structure of the experiment. Here, we aim to shed some light on why this is possible, by reconceptualizing the comparison of the two theories as an instance of a broader class of such theory comparisons. By recasting RQT as the subtheory of quantum theory that arises by symmetrizing with respect to the collective action of a time-reversal symmetry, we can compare it to other subtheories that arise by symmetrization, but for different symmetries. If the symmetry has a unitary representation, the resulting foil theory is termed a twirled quantum world, and if it does not (as is the case in RQT), the resulting foil theory is termed a swirled quantum world. We show that, in contrast to RQT, there is no possibility of distinguishing any twirled quantum world from quantum theory given only an assumption about causal structure. We also define analogues of twirling and swirling for an arbitrary generalized probabilistic theory and identify certain necessary conditions on a causal structure for it to be able to support a causal compatibility gap between the theory and its symmetrized version. We draw out the implications of these analyses for the question of how a lack of a shared reference frame state features into the possibility of such a gap.

quant-ph↗

arXiv2024

Relating Wigner's Friend Scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning

Nonclassical causal modeling was developed in order to explain violations of Bell inequalities while adhering to relativistic causal structure and faithfulness -- that is, avoiding fine-tuned causal explanations. Recently, a no-go theorem that can be viewed as being stronger than Bell's theorem has been derived, based on extensions of the Wigner's friend thought experiment: the Local Friendliness (LF) no-go theorem. Here we show that the LF no-go theorem poses formidable challenges for the field of causal modeling, even when nonclassical and/or cyclic causal explanations are considered. We first recast the LF inequalities, one of the key elements of the LF no-go theorem, as special cases of monogamy relations stemming from a statistical marginal problem. We then further recast LF inequalities as causal compatibility inequalities stemming from a nonclassical causal marginal problem, for a causal structure implied by well-motivated causal-metaphysical assumptions. We find that the LF inequalities emerge from this causal structure even when one allows the latent causes of observed events to admit post-quantum descriptions, such as in a generalized probabilistic theory or in an even more exotic theory. We further prove that no nonclassical causal model can explain violations of LF inequalities without violating the No Fine-Tuning principle. Finally, we note that these obstacles cannot be overcome even if one appeals to cyclic causal models, and we discuss potential directions for further extensions of the causal modeling framework.

quant-ph↗

arXiv2024

A review and analysis of six extended Wigner's friend arguments

The Wigner's friend thought experiment was intended to illustrate the difficulty one has in describing an agent as a quantum system when that agent performs a measurement. While it does pose a challenge to the orthodox interpretation of quantum theory, most modern interpretations have no trouble in resolving the difficulty. Recently, a number of extensions of Wigner's ideas have been proposed. We provide a gentle introduction to six such arguments, modifying the specifics of many of them so that they are as simple and unified as possible. In particular, we show that all of the arguments hinge on assumptions about correlations between measurement outcomes that are not accessible to any observer, even in principle. We then provide a critical analysis of each argument, focusing especially on how well one can motivate the required assumptions regarding these inaccessible correlations. Although we argue that some of these assumptions are not entirely well-motivated, all of the arguments do shed light on the nature of quantum theory, especially when concerning the description of agents and their measurements.

quant-ph↗

arXiv2024

Conceptual and formal groundwork for the study of resource dependence relations

A resource theory imposes a preorder over states, with one state being above another if the first can be converted to the second by a free operation, and where the set of free operations defines the notion of resourcefulness under study. In general, the location of a state in the preorder of one resource theory can constrain its location in the preorder of a different resource theory. It follows that there can be nontrivial dependence relations between different notions of resourcefulness. In this article, we lay out the conceptual and formal groundwork for the study of resource dependence relations. In particular, we note that the relations holding among a set of monotones that includes a complete set for each resource theory provides a full characterization of resource dependence relations. As an example, we consider three resource theories concerning the about-face asymmetry properties of a qubit along three mutually orthogonal axes on the Bloch ball, where about-face symmetry refers to a representation of $\mathbb{Z}_2$, consisting of the identity map and a $π$ rotation about the given axis. This example is sufficiently simple that we are able to derive a complete set of monotones for each resource theory and to determine all of the relations that hold among these monotones, thereby completely solving the problem of determining resource dependence relations. Nonetheless, we show that even in this simplest of examples, these relations are already quite nuanced.

quant-ph↗

arXiv2022

Magnetoelectricity in two-dimensional materials

Since the initial isolation of few-layer graphene, a plethora of two-dimensional atomic crystals has become available, covering almost all known materials types including metals, semiconductors, superconductors, ferro- and antiferromagnets. These advances have augmented the already existing variety of two-dimensional materials that are routinely realized by quantum confinement in bulk-semiconductor heterostructures. This review focuses on the type of material for which two-dimensional realizations are still being actively sought: magnetoelectrics. We present an overview of current theoretical expectation and experimental progress towards fabricating low-dimensional versions of such materials that can be magnetized by electric charges and polarized electrically by an applied magnetic field - unusual electromagnetic properties that could be the basis for various useful applications. The interplay between spatial confinement and magnetoelectricity is illustrated using the paradigmatic example of magnetic-monopole fields generated by electric charges in or near magnetoelectric media. For the purpose of this discussion, the image-charge method familiar from electrostatics is extended to solve the boundary-value problem for a magnetoelectric medium in the finite-width slab geometry using image dyons, i.e., point objects having both electric and magnetic charges. We discuss salient features of the magnetoelectrically induced fields arising in the thin-width limit.

cond-mat.mes-hall↗