Searcharxiv⌕ Search

arXiv subjects

Ravi Kunjwal

Publications and source records attributed to Ravi Kunjwal.

35 records · Page 2Linked to original sources
arXiv2021

Towards Spacetime Entanglement Entropy for Interacting Theories

Entanglement entropy of quantum fields in gravitational settings is a topic of growing importance. This entropy of entanglement is conventionally computed relative to Cauchy hypersurfaces where it is possible via a partial tracing to associate a reduced density matrix to the spacelike region of interest. In recent years Sorkin has proposed an alternative, manifestly covariant, formulation of entropy in terms of the spacetime two-point correlation function. This formulation, developed for a Gaussian scalar field theory, is explicitly spacetime in nature and evades some of the possible non-covariance issues faced by the conventional formulation. In this paper we take the first steps towards extending Sorkin's entropy to non-Gaussian theories where Wick's theorem no longer holds and one would expect higher correlators to contribute. We consider quartic perturbations away from the Gaussian case and find that to first order in perturbation theory, the entropy formula derived by Sorkin continues to hold but with the two-point correlators replaced by their perturbation-corrected counterparts. We then show that our results continue to hold for arbitrary perturbations (of both bosonic and fermionic theories). This is a non-trivial and, to our knowledge, novel result. Furthermore we also derive closed-form formulas of the entanglement entropy for arbitrary perturbations at first and second order. Our work also suggests avenues for further extensions to generic interacting theories.

hep-th↗
arXiv2020

Joint measurability structures realizable with qubit measurements: incompatibility via marginal surgery

Measurements in quantum theory exhibit incompatibility, i.e., they can fail to be jointly measurable. An intuitive way to represent the (in)compatibility relations among a set of measurements is via a hypergraph representing their joint measurability structure: its vertices represent measurements and its hyperedges represent (all and only) subsets of compatible measurements. Projective measurements in quantum theory realize (all and only) joint measurability structures that are graphs. On the other hand, general measurements represented by positive operator-valued measures (POVMs) can realize arbitrary joint measurability structures. Here we explore the scope of joint measurability structures realizable with qubit POVMs. We develop a technique that we term marginal surgery to obtain nontrivial joint measurability structures starting from a set of compatible measurements. We show explicit examples of marginal surgery on a special set of qubit POVMs to construct joint measurability structures such as $N$-cycle and $N$-Specker scenarios for any integer $N\geq 3$. We also show the realizability of various joint measurability structures with $N\in\{4,5,6\}$ vertices. In particular, we show that all possible joint measurability structures with $N=4$ vertices are realizable. We conjecture that all joint measurability structures are realizable with qubit POVMs. This contrasts with the unbounded dimension required in R. Kunjwal et al., Phys. Rev. A 89, 052126 (2014). Our results also render this previous construction maximally efficient in terms of the required Hilbert space dimension. We also obtain a sufficient condition for the joint measurability of any set of binary qubit POVMs which powers many of our results and should be of independent interest.

quant-ph↗
arXiv2020

The Characterization of Noncontextuality in the Framework of Generalized Probabilistic Theories

To make precise the sense in which the operational predictions of quantum theory conflict with a classical worldview, it is necessary to articulate a notion of classicality within an operational framework. A widely applicable notion of classicality of this sort is whether or not the predictions of a given operational theory can be explained by a generalized-noncontextual ontological model. We here explore what notion of classicality this implies for the generalized probabilistic theory (GPT) that arises from a given operational theory, focusing on prepare-measure scenarios. We first show that, when mapping an operational theory to a GPT by quotienting relative to operational equivalences, the constraint of explainability by a generalized-noncontextual ontological model is mapped to the constraint of explainability by an ontological model. We then show that, under the additional assumption that the ontic state space is of finite cardinality, this constraint on the GPT can be expressed as a geometric condition which we term simplex-embeddability. Whereas the traditional notion of classicality for a GPT is that its state space be a simplex and its effect space be the dual of this simplex, simplex-embeddability merely requires that its state space be embeddable in a simplex and its effect space in the dual of that simplex. We argue that simplex-embeddability constitutes an intuitive and freestanding notion of classicality for GPTs. Our result also has applications to witnessing nonclassicality in prepare-measure experiments.

quant-ph↗
arXiv2020

Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes

We take a resource-theoretic approach to the problem of quantifying nonclassicality in Bell scenarios. The resources are conceptualized as probabilistic processes from the setting variables to the outcome variables having a particular causal structure, namely, one wherein the wings are only connected by a common cause. We term them "common-cause boxes". We define the distinction between classical and nonclassical resources in terms of whether or not a classical causal model can explain the correlations. One can then quantify the relative nonclassicality of resources by considering their interconvertibility relative to the set of operations that can be implemented using a classical common cause (which correspond to local operations and shared randomness). We prove that the set of free operations forms a polytope, which in turn allows us to derive an efficient algorithm for deciding whether one resource can be converted to another. We moreover define two distinct monotones with simple closed-form expressions in the two-party binary-setting binary-outcome scenario, and use these to reveal various properties of the pre-order of resources, including a lower bound on the cardinality of any complete set of monotones. In particular, we show that the information contained in the degrees of violation of facet-defining Bell inequalities is not sufficient for quantifying nonclassicality, even though it is sufficient for witnessing nonclassicality. Finally, we show that the continuous set of convexly extremal quantumly realizable correlations are all at the top of the pre-order of quantumly realizable correlations. In addition to providing new insights on Bell nonclassicality, our work also sets the stage for quantifying nonclassicality in more general causal networks.

quant-ph↗
arXiv2020

Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem

Kochen-Specker (KS) theorem reveals the inconsistency between quantum theory and any putative underlying model of it satisfying the constraint of KS-noncontextuality. A logical proof of the KS theorem is one that relies only on the compatibility relations amongst a set of projectors (a KS set) to witness this inconsistency. These compatibility relations can be represented by a hypergraph, referred to as a contextuality scenario. Here we consider contextuality scenarios that we term KS-uncolourable, e.g., those which appear in logical proofs of the KS theorem. We introduce a hypergraph framework to obtain noise-robust witnesses of contextuality from such scenarios. Our approach builds on the results of R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403 (2015), by providing new insights into the relationship between the structure of a contextuality scenario and the associated noise-robust noncontextuality inequalities that witness contextuality. The present work also forms a necessary counterpart to the framework presented in R. Kunjwal, Quantum 3, 184 (2019), which only applies to KS-colourable contextuality scenarios, i.e., those which do not admit logical proofs of the KS theorem but do admit statistical proofs. We rely on a single hypergraph invariant, defined in R. Kunjwal, Quantum 3, 184 (2019), that appears in our contextuality witnesses, namely, the weighted max-predictability. The present work can also be viewed as a study of this invariant. Significantly, unlike the case of R. Kunjwal, Quantum 3, 184 (2019), none of the graph invariants from the graph-theoretic framework for KS-contextuality due to Cabello, Severini, and Winter (the "CSW framework", Phys. Rev. Lett. 112, 040401 (2014)) are relevant for our noise-robust noncontextuality inequalities.

quant-ph↗
arXiv2019

Anomalous weak values and contextuality: robustness, tightness, and imaginary parts

Weak values are quantities accessed through quantum experiments involving weak measurements and post-selection. It has been shown that 'anomalous' weak values (those lying beyond the eigenvalue range of the corresponding operator) defy classical explanation in the sense of requiring contextuality [M. F. Pusey, Phys. Rev. Lett. 113, 200401, arXiv:1409.1535]. Here we elaborate on and extend that result in several directions. Firstly, the original theorem requires certain perfect correlations that can never be realised in any actual experiment. Hence, we provide new theorems that allow for a noise-robust experimental verification of contextuality from anomalous weak values, and compare with a recent experiment. Secondly, the original theorem connects the anomaly to contextuality only in the presence of a whole set of extra operational constraints. Here we clarify the debate surrounding anomalous weak values by showing that these conditions are tight -- if any one of them is dropped, the anomaly can be reproduced classically. Thirdly, whereas the original result required the real part of the weak value to be anomalous, we also give a version for any weak value with nonzero imaginary part. Finally, we show that similar results hold if the weak measurement is performed through qubit pointers, rather than the traditional continuous system. In summary, we provide inequalities for witnessing nonclassicality using experimentally realistic measurements of any anomalous weak value, and clarify what ingredients of the quantum experiment must be missing in any classical model that can reproduce the anomaly.

quant-ph↗
arXiv2019

Beyond the Cabello-Severini-Winter framework: Making sense of contextuality without sharpness of measurements

We develop a hypergraph-theoretic framework for Spekkens contextuality applied to Kochen-Specker (KS) type scenarios that goes beyond the Cabello-Severini-Winter (CSW) framework. To do this, we add new hypergraph-theoretic ingredients to the CSW framework. We then obtain noise-robust noncontextuality inequalities in this generalized framework by applying the assumption of (Spekkens) noncontextuality to both preparations and measurements. The resulting framework goes beyond the CSW framework, both conceptually and technically. On the conceptual level: 1) we relax the assumption of outcome determinism inherent to the Kochen-Specker theorem but retain measurement noncontextuality, besides introducing preparation noncontextuality, 2) we do not require the exclusivity principle as a fundamental constraint on measurement events, and 3) as a result, we do not need to presume that measurement events of interest are "sharp", where the notion of sharpness implies the exclusivity principle. On the technical level: 1) we introduce a source events hypergraph and define a new operational quantity ${\rm Corr}$ appearing in our inequalities, 2) we define a new hypergraph invariant -- the weighted max-predictability -- that is necessary for our analysis and appears in our inequalities, and 3) our noise-robust noncontextuality inequalities quantify tradeoff relations between three operational quantities -- ${\rm Corr}$, $R$, and $p_0$ -- only one of which (namely, $R$) corresponds to the Bell-Kochen-Specker functionals appearing in the CSW framework; when ${\rm Corr}=1$, the inequalities formally reduce to CSW type bounds on $R$. Along the way, we also consider in detail the scope of our framework vis-à-vis the CSW framework, particularly the role of Specker's principle in the CSW framework and its absence in ours.

quant-ph↗
arXiv2018

Almost Quantum Correlations are Inconsistent with Specker's Principle

Ernst Specker considered a particular feature of quantum theory to be especially fundamental, namely that pairwise joint measurability of sharp measurements implies their global joint measurability (https://vimeo.com/52923835). To date, Specker's principle seemed incapable of singling out quantum theory from the space of all general probabilistic theories. In particular, its well-known consequence for experimental statistics, the principle of consistent exclusivity, does not rule out the set of correlations known as almost quantum, which is strictly larger than the set of quantum correlations. Here we show that, contrary to the popular belief, Specker's principle cannot be satisfied in any theory that yields almost quantum correlations.

quant-ph↗
arXiv2018

From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities

The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental measurements because these are never free of noise and thus never truly projective. For nonprojective measurements, therefore, one must drop the requirement that an outcome is assigned deterministically in the model and merely require that it is assigned a distribution over outcomes in a manner that is context-independent. By demanding context-independence in the representation of preparations as well, one obtains a generalized principle of noncontextuality that also supports a quantum no-go theorem. Several recent works have shown how to derive inequalities on experimental data which, if violated, demonstrate the impossibility of finding a generalized-noncontextual model of this data. That is, these inequalities do not presume quantum theory and, in particular, they make sense without requiring an operational analogue of the quantum notion of projectiveness. We here describe a technique for deriving such inequalities starting from arbitrary proofs of the Kochen-Specker theorem. It extends significantly previous techniques that worked only for logical proofs, which are based on sets of projective measurements that fail to admit of any deterministic noncontextual assignment, to the case of statistical proofs, which are based on sets of projective measurements that do admit of some deterministic noncontextual assignments, but not enough to explain the quantum statistics.

quant-ph↗
arXiv2016

Contextuality beyond the Kochen-Specker theorem

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

quant-ph↗
arXiv2015

Quantum realization of arbitrary joint measurability structures

In many a traditional physics textbook, a quantum measurement is defined as a projective measurement represented by a Hermitian operator. In quantum information theory, however, the concept of a measurement is dealt with in complete generality and we are therefore forced to confront the more general notion of positive-operator valued measures (POVMs) which suffice to describe all measurements that can be implemented in quantum experiments. We study the (in)compatibility of such POVMs and show that quantum theory realizes all possible (in)compatibility relations among sets of POVMs. This is in contrast to the restricted case of projective measurements for which commutativity is essentially equivalent to compatibility. Our result therefore points out a fundamental feature with respect to the (in)compatibility of quantum observables that has no analog in the case of projective measurements.

quant-ph↗
arXiv2015

Relative volume of separable bipartite states

Every choice of an orthonormal frame in the d-dimensional Hilbert space of a system corresponds to one set of all mutually commuting density matrices or, equivalently, a classical statistical state space of the system; the quantum state space itself can thus be profitably viewed as an SU(d) orbit of classical state spaces, one for each orthonormal frame. We exploit this connection to study the relative volume of separable states of a bipartite quantum system. While the two-qubit case is studied in considerable analytic detail, for higher dimensional systems we fall back on Monte Carlo. Several new insights seem to emerge from our study.

quant-ph↗
arXiv2015

From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism

The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value-assignment to a projector is one that does not depend on which other projectors - the context - are measured together with it. Using a generalization of the notion of noncontextuality that applies to both measurements and preparations, we propose a scheme for deriving inequalities that test whether a given set of experimental statistics is consistent with a noncontextual model. Unlike previous inequalities inspired by the Kochen-Specker theorem, we do not assume that the value-assignments are deterministic and therefore in the face of a violation of our inequality, the possibility of salvaging noncontextuality by abandoning determinism is no longer an option. Our approach is operational in the sense that it does not presume quantum theory: a violation of our inequality implies the impossibility of a noncontextual model for any operational theory that can account for the experimental observations, including any successor to quantum theory.

quant-ph↗
arXiv2015

An experimental test of noncontextuality without unwarranted idealizations

To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subjected to a direct experimental test, and it should be applicable in a wide variety of experimental scenarios, so that it can cover the breadth of phenomena that are thought to defy classical understanding. Bell's notion of local causality fulfills the first criterion but not the second. The notion of noncontextuality fulfills the second criterion, but it is a long-standing question whether it can be made to fulfill the first. Previous attempts to experimentally test noncontextuality have all presumed certain idealizations that do not hold in real experiments, namely, noiseless measurements and exact operational equivalences. We here show how to devise tests that are free of these idealizations. We also perform a photonic implementation of one such test that rules out noncontextual models with high confidence.

quant-ph↗
arXiv2015

Fine's theorem, noncontextuality, and correlations in Specker's scenario

A characterization of noncontextual models which fall within the ambit of Fine's theorem is provided. In particular, the equivalence between the existence of three notions is made explicit: a joint probability distribution over the outcomes of all the measurements considered, a measurement-noncontextual and outcome-deterministic (or KS-noncontextual, where 'KS' stands for 'Kochen-Specker') model for these measurements, and a measurement-noncontextual and factorizable model for them. A KS-inequality, therefore, is implied by each of these three notions. Following this characterization of noncontextual models that fall within the ambit of Fine's theorem, non-factorizable noncontextual models which lie outside the domain of Fine's theorem are considered. While outcome determinism for projective (sharp) measurements in quantum theory can be shown to follow from the assumption of preparation noncontextuality, such a justification is not available for nonprojective (unsharp) measurements which ought to admit outcome-indeterministic response functions. The Liang-Spekkens-Wiseman (LSW) inequality is cited as an example of a noncontextuality inequality that should hold in any noncontextual model of quantum theory without assuming factorizability. Three other noncontextuality inequalities, which turn out to be equivalent to the LSW inequality under relabellings of measurement outcomes, are derived for Specker's scenario. The polytope of correlations admissible in this scenario, given the no-disturbance condition, is characterized.

quant-ph↗
arXiv2014

Minimal state-dependent proof of measurement contextuality for a qubit

We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the LSW inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum violation of this inequality. Besides, we show that unsharp qubit measurements do not allow a state-independent violation of this inequality. We thus provide a minimal state-dependent proof of measurement contextuality requiring one qubit and three unsharp measurements. Our result rules out generalized noncontextual models of these measurements which were previously conjectured to exist. More importantly, this class of generalized noncontextual models includes the traditional Kochen-Specker (KS) noncontextual models as a proper subset, so our result rules out a larger class of models than those ruled out by a violation of the corresponding KS-inequality in this scenario.

quant-ph↗