Searcharxiv⌕ Search

arXiv subjects

Ravi Kunjwal

Publications and source records attributed to Ravi Kunjwal.

At least 19 recordsLinked to original sources
arXiv2026

Indefinite Causal Order Reverses the Real-Complex Hierarchy

[Note added after submission. After posting the first version of this preprint and corresponding with Ved Kunte and Kuntal Sengupta, we identified an issue with the claimed separation between real quantum theory and ordinary complex quantum theory in the process-matrix framework. This version imposes normalization only for local CPTP maps acting on the parties' process input-output systems, which we call N1. A stronger compositional requirement is to impose normalization also after arbitrary shared ancillary systems are introduced and each party acts jointly on its process system and local share of the ancilla, which we call N2. Under N2, the process matrix used in this version to separate RQT from QT is not valid, and the claimed RQT/QT separation is therefore not established. We are preparing a revised version that clarifies this distinction and revises the affected claims. This temporary update is intended to alert readers to this issue while we work on revising the manuscript.]

quant-ph↗
arXiv2026

All star-incompatible measurements can certify steering-based randomness

Certifying that quantum randomness generated by untrusted devices is unpredictable to an attacker (say, Eve) is crucial for device-independent security. Bipartite protocols where only one of the parties is trusted are termed one-sided device-independent (1SDI) or steering-based protocols, where the untrusted party (say, Alice) performs measurements on her part of a bipartite entangled state to steer the subsystem of the trusted party (say, Bob) into different ensembles (collectively, an assemblage) of quantum states. Recent work has shown that an assemblage has certified randomness if and only if it is realizable by a set of measurements that are star-incompatible, i.e., the measurement setting of interest for the guessing probability of Eve is incompatible with at least one of the remaining measurement settings of Alice. However, it remains conceivable that there exist star-incompatible measurements that cannot certify steering-based randomness, just like there exist incompatible measurements that cannot certify bipartite Bell nonlocality. Here we prove that any set of star-incompatible measurements can generate steering-based randomness, thereby establishing an equivalence between the two notions. We further introduce a weight-based measure of star-incompatibility and lower bound the amount required to certify a given randomness, capturing the qualitative and quantitative interplay between the quantum resources of star-incompatibility and steering-based randomness.

quant-ph↗
arXiv2025

Paradox-free classical non-causality and unambiguous non-locality without entanglement are equivalent

Closed timelike curves (CTCs) challenge our conception of causality by allowing information to loop back into its own past. Any consistent description of such scenarios must avoid time-travel paradoxes while respecting the no-new-physics principle, which requires that the set of operations available within any local spacetime region remain unchanged, irrespective of whether CTCs exist elsewhere. Within an information-theoretic framework, this leads to process functions: deterministic classical communication structures that remain logically consistent under arbitrary local operations, yet can exhibit correlations incompatible with any definite causal order - a phenomenon known as non-causality. In this work, we establish a correspondence between process functions and unambiguous complete product bases, i.e. product bases in which every local state belongs to a unique local basis. This equivalence implies that non-causality of process functions is exactly mirrored by quantum nonlocality without entanglement (QNLWE) - the impossibility of perfectly distinguishing separable states using local operations and causal classical communication - for such bases. Our results generalize previous special cases to arbitrary local dimensions and any number of parties, enable systematic constructions of non-causal process functions and unambiguous QNLWE bases, and implies, inter alia, that bipartite unambiguous QNLWE bases do not exist. Finally, this work reveals an unexpected connection between causal and non-signaling inequalities: every process function both maximally violates an associated causal inequality and yields a corresponding Bell inequality that admits no violation.

quant-ph↗
arXiv2025

Quantumness via Discrete Structures

Quantum theory departs from classical probabilistic theories in foundational ways. These departures--termed quantumness here--power quantum information and computation. This thesis charts the role of discrete structures in assessing quantumness, synthesizing elements of my postdoctoral research through this lens. After an introduction to the necessary background concepts, I present my work under three broad categories. First, I present work on contextuality that extensively relies on (undirected) graphs and hypergraphs as the discrete structures of interest; more specifically, it relies on invariants associated with them. This work includes Kochen-Specker (KS) contextuality and its operationalization to generalized contextuality, expressed via (hyper)graph-theoretic frameworks. I also present work on KS-contextuality in multiqubit systems and an application of generalized contextuality to a one-shot communication task, both of which rely on hypergraphs. Second, I present work on causality, where the discrete structures of interest are directed graphs. This includes work on indefinite causal order, specifically its connections to the gap between local operations and classical communication (LOCC) and separable operations (SEP), and a device-independent notion of nonclassicality--termed antinomicity--that generalizes Bell nonlocality without global causal assumptions. Finally, I present work on the incompatibility of quantum measurements, its connection to Bell nonlocality, and its role in discriminating between quantum and almost quantum correlations in the single-system setting. The discrete structures of interest here are hypergraphs that model joint measurability relations between quantum measurements. I conclude with a summary and an overview of work that is not covered in this thesis.

quant-ph↗
arXiv2025

No-go theorem for quantum realization of extremal correlations

The study of quantum correlations is central to quantum information and foundations. The paradigmatic case of Bell scenarios considers product measurements implemented on a multipartite state. The more general case of contextuality scenarios--where the measurements do not have to be of product form or even on a composite system--has been studied for the case of projective measurements. While it is known that in any Bell scenario extremal indeterministic correlations (e.g., Popescu-Rohrlich or PR boxes) are unachievable quantumly, the case of general contextuality scenarios has remained open. Here we study quantum realizations of extremal correlations in arbitrary contextuality scenarios and prove that, for all such scenarios, no extremal indeterministic correlation can be achieved using projective quantum measurements, i.e., there exists no quantum state and no set of projective measurements, for any contextuality scenario, that can achieve such correlations. This no-go result follows as a corollary of a more general no-go theorem that holds when the most general set of quantum measurements (i.e., positive operator-valued measures, or POVMs) is taken into account. This general no-go theorem entails that no non-trivial quantum realization of an extremal indeterministic correlation exists, i.e., any "quantum" realization must be simulable by classical randomness. We discuss implications of this no-go theorem and the open questions it raises.

quant-ph↗
arXiv2025

Nonclassicality in correlations without causal order

Bell scenarios are multipartite scenarios that exclude any signalling between parties. This leads to a strict hierarchy of classical, quantum, and non-signalling correlations in such scenarios. Here we consider a minimal relaxation of non-signalling: each party is allowed to receive a system once, implement any local intervention on it, and send out the resulting system once. Crucially, unlike Bell, we make no global assumption about causal relations between parties, e.g., they could be embedded in some exotic spacetime with indefinite causal order. We do make a causal assumption local to each party, i.e., the input received by it causally precedes the output it sends out. We then ask: Can we device-independently certify the nonclassicality of multipartite correlations in such scenarios, just as Bell inequality violations do so in Bell scenarios? A priori, this is not clear: without some assumptions on the underlying physics (e.g., non-signalling), parties can realize arbitrary correlations. We therefore make a minimal assumption of logical consistency on the underlying physics, i.e., it must be free of time-travel antinomies without imposing any restrictions on local interventions of the parties. We then define antinomicity as a device-independent notion of nonclassicality and prove a strict hierarchy between correlation sets based on their antinomicity. An antinomic correlation cannot be explained by a classical physical theory compatible with free local interventions on pain of logical contradictions in the theory. On the other hand, parties exchanging quantum systems can witness antinomicity while respecting logical consistency. Antinomicity reduces to Bell nonlocality for non-signalling parties. It also resolves a conceptual puzzle, namely, the failure of causal inequalities as witnesses of nonclassicality: antinomicity implies causal inequality violations, but not conversely.

quant-ph↗
arXiv2024

Qualitative equivalence between incompatibility and Bell nonlocality

Measurements in quantum theory can fail to be jointly measurable. Like entanglement, this incompatibility of measurements is necessary but not sufficient for violating Bell inequalities. The (in)compatibility relations among a set of measurements can be represented by a joint measurability structure, i.e., a hypergraph whose vertices denote measurements and hyperedges denote all and only compatible sets of measurements. Since incompatibility is necessary for a Bell violation, the joint measurability structure on each wing of a Bell experiment must necessarily be non-trivial, i.e., it must admit a subset of incompatible vertices. Here we show that for any non-trivial joint measurability structure with a finite set of vertices, there exists a quantum realization with a set of measurements that enables a Bell violation, i.e., given that Alice has access to this incompatible set of measurements, there exists a set of measurements for Bob and an entangled state shared between them such that they can jointly violate a Bell inequality. Hence, a non-trivial joint measurability structure is not only necessary for a Bell violation, but also sufficient.

quant-ph↗
arXiv2024

Generalizing Bell nonlocality without global causal assumptions

Bell scenarios are multipartite scenarios that exclude any communication between parties. This constraint leads to a strict hierarchy of correlation sets in such scenarios, namely, classical, quantum, and nonsignaling. However, without any constraints on communication between the parties, they can realize arbitrary correlations by exchanging only classical systems. Here we consider a multipartite scenario where the parties can engage in at most a single round of communication, i.e., each party is allowed to receive a system once, implement any local intervention on it, and send out the resulting system once. While no global assumption about causal relations between parties is assumed in this scenario, we do make a causal assumption local to each party, i.e., the input received by it causally precedes the output it sends out. We then introduce antinomicity, a notion of nonclassicality for correlations in such scenarios, and prove the existence of a strict hierarchy of correlation sets classified by their antinomicity. Antinomicity serves as a generalization of Bell nonlocality: when all the parties discard their output systems (i.e., in a nonsignaling scenario), it is mathematically equivalent to Bell nonlocality. Like Bell nonlocality, it can be understood as an instance of fine-tuning, one that is necessary in any classical model of cyclic causation that avoids time-travel antinomies but allows antinomic correlations. Furthermore, antinomicity resolves a long-standing puzzle, i.e., the failure of causal inequality violations as device-independent witnesses of nonclassicality. Antinomicity implies causal inequality violations, but not conversely.

quant-ph↗
arXiv2024

Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality

The formalism of generalized probabilistic theories (GPTs) was originally developed as a way to characterize the landscape of conceivable physical theories. Thus, the GPT describing a given physical theory necessarily includes all physically possible processes. We here consider the question of how to provide a GPT-like characterization of a particular experimental setup within a given physical theory. We show that the resulting characterization is not generally a GPT in and of itself-rather, it is described by a more general mathematical object that we introduce and term an accessible GPT fragment. We then introduce an equivalence relation, termed cone equivalence, between accessible GPT fragments (and, as a special case, between standard GPTs). We give a number of examples of experimental scenarios that are best described using accessible GPT fragments, and where moreover cone-equivalence arises naturally. We then prove that an accessible GPT fragment admits of a classical explanation if and only if every other fragment that is cone-equivalent to it also admits of a classical explanation. Finally, we leverage this result to prove several fundamental results regarding the experimental requirements for witnessing the failure of generalized noncontextuality. In particular, we prove that neither incompatibility among measurements nor the assumption of freedom of choice is necessary for witnessing failures of generalized noncontextuality, and, moreover, that such failures can be witnessed even using arbitrarily inefficient detectors.

quant-ph↗
arXiv2024

Contextuality without incompatibility

The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.

quant-ph↗
arXiv2023

Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory

A standard approach to quantifying resources is to determine which operations on the resources are freely available, and to deduce the partial order over resources that is induced by the relation of convertibility under the free operations. If the resource of interest is the nonclassicality of the correlations embodied in a quantum state, i.e., entanglement, then the common assumption is that the appropriate choice of free operations is Local Operations and Classical Communication (LOCC). We here advocate for the study of a different choice of free operations, namely, Local Operations and Shared Randomness (LOSR), and demonstrate its utility in understanding the interplay between the entanglement of states and the nonlocality of the correlations in Bell experiments. Specifically, we show that the LOSR paradigm (i) provides a resolution of the anomalies of nonlocality, wherein partially entangled states exhibit more nonlocality than maximally entangled states, (ii) entails new notions of genuine multipartite entanglement and nonlocality that are free of the pathological features of the conventional notions, and (iii) makes possible a resource-theoretic account of the self-testing of entangled states which generalizes and simplifies prior results. Along the way, we derive some fundamental results concerning the necessary and sufficient conditions for convertibility between pure entangled states under LOSR and highlight some of their consequences, such as the impossibility of catalysis for bipartite pure states. The resource-theoretic perspective also clarifies why it is neither surprising nor problematic that there are mixed entangled states which do not violate any Bell inequality. Our results motivate the study of LOSR-entanglement as a new branch of entanglement theory.

quant-ph↗
arXiv2023

Trading causal order for locality

Quantum theory admits ensembles of quantum nonlocality without entanglement (QNLWE). These ensembles consist of seemingly classical states (they are perfectly distinguishable and non-entangled) that cannot be perfectly discriminated with local operations and classical communication (LOCC). Here, we analyze QNLWE from a causal perspective, and show how to perfectly discriminate some of these ensembles using local operations and classical communication without definite causal order. Specifically, three parties with access to an instance of indefinite causal order-the AF/BW process-can perfectly discriminate the states in a QNLWE ensemble--the SHIFT ensemble--with local operations. Hence, this type of quantum nonlocality disappears at the expense of definite causal order while retaining classical communication. Our results thereby leverage the fact that LOCC is a conjunction of three constraints: local operations, classical communication, and definite causal order. Moreover, we show how multipartite generalizations of the AF/BW process are transformed into multiqubit ensembles that exhibit QNLWE. Such ensembles are of independent interest for cryptographic protocols and for the study of separable quantum operations unachievable with LOCC.

quant-ph↗
arXiv2023

Contextuality in composite systems: the role of entanglement in the Kochen-Specker theorem

The Kochen--Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen--Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements -- whose eigenstates exhibit "nonlocality without entanglement" -- are insufficient for such proofs.This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen--Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.

quant-ph↗
arXiv2022

Contextuality in entanglement-assisted one-shot classical communication

We consider the problem of entanglement-assisted one-shot classical communication. In the zero-error regime, entanglement can increase the one-shot zero-error capacity of a family of classical channels following the strategy of Cubitt et al., Phys. Rev. Lett. 104, 230503 (2010). This strategy uses the Kochen-Specker theorem which is applicable only to projective measurements. As such, in the regime of noisy states and/or measurements, this strategy cannot increase the capacity. To accommodate generically noisy situations, we examine the one-shot success probability of sending a fixed number of classical messages. We show that preparation contextuality powers the quantum advantage in this task, increasing the one-shot success probability beyond its classical maximum. Our treatment extends beyond Cubitt et al. and includes, for example, the experimentally implemented protocol of Prevedel et al., Phys. Rev. Lett. 106, 110505 (2011). We then show a mapping between this communication task and a corresponding nonlocal game. This mapping generalizes the connection with pseudotelepathy games previously noted in the zero-error case. Finally, after motivating a constraint we term context-independent guessing, we show that contextuality witnessed by noise-robust noncontextuality inequalities obtained in R. Kunjwal, Quantum 4, 219 (2020), is sufficient for enhancing the one-shot success probability. This provides an operational meaning to these inequalities and the associated hypergraph invariant, the weighted max-predictability, introduced in R. Kunjwal, Quantum 3, 184 (2019). Our results show that the task of entanglement-assisted one-shot classical communication provides a fertile ground to study the interplay of the Kochen-Specker theorem, Spekkens contextuality, and Bell nonlocality.

quant-ph↗
arXiv2022

Quantum researcher mobility: the wonderful wizard of Oz who paid for Dorothy's Visa fees

Historically, science has benefited greatly through the mobility of researchers, whether it has been due to large-scale conflict, the search for new opportunities or a lack thereof. Today's world of strict global immigration policies, exacerbated by the COVID-19 pandemic, places inordinate hurdles on the mobility of all researchers, let alone quantum ones. Exorbitant visa fees, the difficulty of navigating a foreign immigration system, lack of support for researchers' families, and explicit government policy targeting selected groups of immigrants are all examples of things that have severely impacted the ability of quantum researchers to cross both physical and scientific borders. Here we clearly identify some key problems affecting quantum researcher mobility and discuss examples of good practice on the governmental, institutional, and societal level that have helped, or might help, overcome these hurdles. The adoption of such practices worldwide can ensure that quantum scientists can reach their fullest potential, irrespective of where they were born.

physics.soc-ph↗
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↗