Searcharxiv⌕ Search

arXiv subjects

Anubhav Chaturvedi

Publications and source records attributed to Anubhav Chaturvedi.

At least 19 recordsLinked to original sources

Optimal Interaction Free Localization with Multipath Interferometers

Interaction-free measurement (IFM) certifies the presence of an absorbing object without a photon ever being absorbed by it. When several candidate locations are available, existing protocols can also identify which one holds the absorber, but they do so by testing paths sequentially through two-path interferometers, resolving a binary presence question at each step. We propose a different approach: probing all candidate locations at once, with the photon prepared in a coherent superposition across every path before a single measurement resolves the outcome. We prove that a three-stage protocol built on a $d$-path interferometer attains the exact one-shot optimum for this task, and we extend it to $k$ absorbers among $d$ paths, where the no-absorption branch encodes the entire absorber subset coherently rather than revealing individual locations one by one. The dark port therefore ceases to be a mere witness of presence and becomes a location-resolving signal. We then move beyond single-pass strategies using the quantum-comb formalism, casting the problem as an exact optimization over all multi-pass strategies and showing that adaptive protocols surpass the one-shot ceiling. Enriching the interferometer geometry with one additional path guaranteed to be empty, we show that sequential scanning, bright-port recycling, and Zeno-type interrogation all become particular feasible strategies within this same optimization, rather than separate benchmarks to compare against. This unified formulation identifies the optimal interaction-free localization strategy for any given set of resources, opening a route toward loss-resilient quantum imaging protocols for the study of fragile, absorption-sensitive samples.

quant-ph↗

No Finite NPA Level Characterizes the Complete Quantum Set in the Simplest Bell Scenario

The Navascués--Pironio--Acín (NPA) hierarchy gives the standard semidefinite outer approximations to quantum behaviors. Whether \emph{any} finite level can already equal the quantum set has remained open even in the bipartite scenario with two binary measurements per party. We demonstrate that \emph{no finite level} is exact. For the symmetric doubly tilted CHSH functional $h_α=A_0B_0+A_0B_1+A_1B_0-A_1B_1+α(A_0+B_0)$, set $T=1-α$. Its quantum maximum satisfies $[ω_{\rm Q}(1-T)-(4-2T)]/T^3\to4/3$, whereas every fixed NPA level satisfies $[ω_L(1-T)-ω_{\rm Q}(1-T)]/T^3\to+\infty$. Under the corresponding boundary rescaling, an explicit expectation of the positive operator $ω_{\rm Q}(1-t^2)I-H_t$ converges to the Motzkin polynomial. A bounded fixed-level error would therefore make the Motzkin polynomial plus a nonnegative constant a sum of squares, which is impossible. Consequently, every standard NPA relaxation based on a fixed finite list of words in the measurement projectors strictly contains the complete quantum set, and its nonquantum behaviors accumulate at a local deterministic behavior. Thus, the finite-level exactness of CHSH and all one-sided tilted CHSH maxima does not extend to an exact finite-level description of the complete quantum set in the minimal scenario.

quant-ph↗

Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

Semi-device-independent quantum key distribution leaves the measurement devices uncharacterized while placing a trusted assumption on Alice's source. We formulate this source assumption operationally on Alice's four-preparation ensemble as a scalar bound on one of four physically motivated source tasks: full-label guessing, parity guessing, or their normalized composites with label exclusion. For the two-bit random-access code, we derive the exact classical frontier for each of the four source assumptions. Numerically, the BB84 strategy attains the maximal quantum deviation from all four frontiers, while the preparation-depolarized BB84 family and the direct-sum label-leakage family trace complementary branches of the arbitrary-dimensional quantum boundary for the two exclusion-assisted assumptions. Because all four task values are monotone under input-independent quantum channels, the same scalar source bound constrains every Bob--Eve extension compatible with the complete observed behavior. Using a three-setting extension that separates RAC testing from key generation, we obtain two dimension-independent security certificates over this feasible set: lower bounds on the conditional min-entropy and conditional von Neumann entropy, obtained respectively by direct optimization of Eve's key-guessing probability and by prepare-and-measure semidefinite relaxations based on the Brown--Fawzi--Fawzi variational bound. The exclusion-assisted assumptions certify positive key rates down to nearly vanishing preparation visibility, far beyond full-label or parity guessing alone. Under direct-sum label leakage, all four independently optimized rate bounds remain positive at every sampled incomplete-leakage point and vanish only at complete label revelation. These results show that robust semi-device-independent security depends not only on what Eve can identify, but also on what she can exclude.

quant-ph↗

Entanglement assisted communication complexity measured by distinguishability

We investigate the quantum advantage that can arise in typical two-party communication scenarios, where the sender and the receiver are allowed to share prior correlations. Focusing on communication tasks constrained by the distinguishability of the sender's inputs, we demonstrate that entanglement-assisted communication with both classical and quantum message can outperform classical communication supplemented with shared randomness. We begin by developing a general framework for communication tasks with pre-shared correlations. Within this framework, we establish an equivalence among entanglement-assisted classical communication, entanglement-assisted quantum communication, and quantum communication, showing that no hierarchy exists between these three paradigms. We then investigate the scenario where the receiver has no input and prove that no advantage can arise in this case. However, an advantage in the entanglement-assisted setting emerges once additional constraints are imposed on the dimension of the communicated message. This further highlights the superiority of entanglement-assisted classical communication over standard quantum communication. Then we demonstrate several tasks where the entanglement-assisted protocol using one-bit communication proves to be advantageous over classical communication. Finally, by constructing an explicit class of communication tasks, we show that a non-maximally entangled states outperform the maximally entangled state as a pre-shared resource between the communicating parties.

quant-ph↗

Limits of Classical correlations and Quantum advantages under (Anti-)Distinguishability constraints in Multipartite Communication

We consider communication scenarios with multiple senders and a single receiver. Focusing on communication tasks where the distinguishability or antidistinguishability of the sender's input is bounded, we show that quantum strategies-without any shared entanglement-can outperform the classical ones. We introduce a systematic technique for deriving the facet inequalities that delineate the polytope of classical correlations in such scenarios. As a proof of principle, we recover the complete set of facet inequalities for some nontrivial scenarios involving two senders and a receiver with no input. Explicit quantum protocols are studied that violate these inequalities, demonstrating quantum advantage. We further investigate the task of antidistinguishing the joint input string held by the senders and derive upper bounds on the optimal classical success probability. Leveraging the Pusey-Barrett-Rudolph theorem, we prove that when each sender has a binary input, the quantum advantage grows with the number of senders. We also provide sufficient conditions for quantum advantage for arbitrary input sizes and illustrate them through several explicit examples.

quant-ph↗

Quantum work beyond classical (commuting) limits

Free energy fixes the maximum work of a thermodynamic process once the state and Hamiltonian are specified. A work-extraction task asks a different question: how much average work can a single device realize across several preparations and Hamiltonian settings? A classical work device is one whose Hamiltonian settings are mutually commuting. We place every branch at its best free-energy-limited work envelope and derive the corresponding classical limit on the task average. For pure preparations, the source is specified only by pairwise maximal-energy constraints: for each pair, the intrinsic maximal average energy under one common normalized Hamiltonian is bounded as part of the task data, while the work device is otherwise microscopically unrestricted. The benchmark is optimized over arbitrary-dimensional classical implementations. Incompatible Hamiltonian settings exceed this limit, even though every branch remains bounded by its own free-energy maximum. The advantage therefore does not arise in any single process, but in the average work of the task: incompatible Hamiltonians realize a value that no classical work device can attain. Hamiltonian incompatibility is thus a thermodynamic resource for work extraction.

quant-ph↗

Exponentially decreasing critical detection efficiency for any Bell inequality

We address the problem of closing the detection efficiency loophole in Bell experiments, which is crucial for real-world applications. Every Bell inequality has a critical detection efficiency $η$ that must be surpassed to avoid the detection loophole. Here, we propose a general method for reducing the critical detection efficiency of any Bell inequality to arbitrary low values. This is accomplished by entangling two particles in $N$ orthogonal subspaces (e.g., $N$ degrees of freedom) and conducting $N$ Bell tests in parallel. Furthermore, the proposed method is based on the introduction of penalized $N$-product (PNP) Bell inequalities, for which the so-called simultaneous measurement loophole is closed, and the maximum value for local hidden-variable theories is simply the $N$th power of the one of the Bell inequality initially considered. We show that, for the PNP Bell inequalities, the critical detection efficiency decays exponentially with $N$. The strength of our method is illustrated with a detailed study of the PNP Bell inequalities resulting from the Clauser-Horne-Shimony-Holt inequality.

quant-ph↗

Quantum description of reality is epistemically incomplete

We ask whether the operational quantum description is complete at the level of preparations: can the empirically accessible properties of a finite preparation set be reproduced exactly by a hidden-variable description, or must every such completion contain additional structure that is not operationally accessible? We formalize this through epistemic completeness, a preparation-side notion of classicality requiring exact preservation of empirical preparation-properties by the corresponding ontic quantities obtained by conditioning on the ontic state and allowing all response schemes compatible with positivity and normalization. For the canonical family of set-distinguishability tasks, we prove that every epistemically complete theory satisfies an equality: for every finite preparation set, the average pairwise distinguishability equals the average set-distinguishability. Any nonzero deviation certifies epistemic incompleteness and lower-bounds the excess ontic communication power that every ontic completion must conceal. Because unrestricted classical communication models, and more generally commuting quantum theories, are epistemically complete, every nonzero deviation also yields a quantum communication advantage and witnesses of coherence and measurement incompatibility. We formulate semidefinite-programming relaxations and see-saw lower bounds, and show that quantum theory violates the equality in both directions. The trine and tetrahedral qubit ensembles are numerically certified maximizers for the n=3 and n=4 equalities; their violations persist for arbitrarily low positive visibility and arbitrarily large leakage short of complete disclosure; and the Kochen--Specker ψ-epistemic model exactly saturates the hidden ontic excess for these maximal positive violations. Numerics suggest that the maximal positive deviation increases with the number of preparations.

quant-ph↗

Communication-constrained nonlocal correlations

Identifying the physical grounds distinguishing quantum theory from broader probabilistic frameworks remains an open challenge. Communication-based proposals -- most notably the principles of impossibility of superluminal signaling and information causality (IC) -- highlight the role of communication in ruling out unphysical theories and offer an operational rationale on why quantum predictions prevail over these alternative models. Nevertheless, most such developments rely on communicating parts optimizing over specific tasks, such as communication complexity problems and random access codes (RAC). In this work, we systematically extend this communication-based approach. We characterize the class of communication tasks relevant for this context, and employ the general information-theoretic framework to derive new operational constraints preventing such unphysical behaviors. Remarkably, our results reveal a broad family of previously undetected implausible behaviors, independent of any particular encoding or decoding strategy, reinforcing the role of communication as a fundamental lens through which physically meaningful theories can be identified.

quant-ph↗

Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities

Finding a set of empirical criteria fulfilled by any theory satisfying the generalized notion of noncontextuality is a challenging task of both operational and foundational importance. This work presents a methodology for constructing the noncontextual polytope while ensuring that the dimension of the polytope associated with the preparations remains constant regardless of the number of measurements and their outcome size. The facet inequalities of the noncontextual polytope can thus be obtained in a computationally efficient manner. We illustrate the efficacy of our methodology through several distinct contextuality scenarios. Our investigation uncovers several hitherto unexplored noncontextuality inequalities and demonstrates applications of quantum contextual correlations in certification of non-projective measurements, witnessing the dimension of quantum systems, and randomness certification.

quant-ph↗

High-dimensional detection-loophole-free measurement-device-independent quantum random number generator

Certifying random number generators is challenging, especially in security-critical fields like cryptography. Here, we demonstrate a measurement-device-independent quantum random number generator (MDI-QRNG) using high-dimensional photonic path states. Our setup extends the standard qubit beam-splitter QRNG to a three-output version with tunable fiber-optic interferometers acting as tunable beam splitters and superconducting detectors. This setup generates over 1.2 bits per round and 1.77 Mbits per second of certifiably secure private randomness without requiring \emph{any} trust in the measurement apparatus, a critical requirement for the security of real-world cryptographic applications. Our results demonstrate certifiably secure high-dimensional quantum random-number generation, paving the way for practical, scalable QRNGs without the need for complex devices.

quant-ph↗

Security of device-independent quantum key distribution via monogamy relations from multipartite information causality

Beyond the foundational significance, the problem of bounding nonlocal correlations by reasonable physical principles has meaningful practical consequences, particularly for device-independent (DI) cryptographic security. In this work, we advance in this direction, demonstrating that the IC is enough to ensure DI security on quantum key distribution (QKD) protocols. Security is proven for a range of theoretically quantum-attainable parameters against individual attacks by a potentially post-quantum eavesdropper. This result follows as a consequence of a strong form of monogamy of Bell's inequality violations, which we have proven to be implied by the recently proposed multipartite formulation for IC. Additionally, we demonstrated that the original bipartite formulation of IC fails to imply monogamy relations and hence, ensure security of DIQKD, thus stressing the necessity of the multipartite framework.

quant-ph↗

Maximally $ψ-$epistemic models cannot explain gambling with two qubits

We investigate the minimal proof for ruling out maximally $ψ-$epistemic interpretations of quantum theory, in which the indistinguishable nature of two quantum states is fully explained by the epistemic overlap of their corresponding distributions over ontic states. To this end, we extend the standard notion of epistemic overlap by considering a penalized distinguishability game involving two states and three possible answers, named as Quantum Gambling. In this context, using only two pure states and their equal mixture, we present an experimentally robust no-go theorem for maximally $ψ-$epistemic models, showing that qubit states achieve the maximal difference between quantum and epistemic overlaps.

quant-ph↗

Facets of Non-locality and Advantage in Entanglement-Assisted Classical Communication Tasks

We reveal key connections between non-locality and advantage in correlation-assisted classical communication. First, using the wire-cutting technique, we provide a Bell inequality tailored to any correlation-assisted bounded classical communication task. The violation of this inequality by a quantum correlation is equivalent to its quantum-assisted advantage in the corresponding communication task. Next, we introduce wire-reading, which leverages the readability of classical messages to demonstrate advantageous assistance of non-local correlations in setups where no such advantage can be otherwise observed. Building on this, we introduce families of classical communication tasks in a Bob-without-input prepare-and-measure scenario, where non-local correlation enhances bounded classical communication while shared randomness assistance yields strictly suboptimal payoff. For the first family of tasks, assistance from any non-local facet leads to optimal payoff, while each task in the second family is tailored to a non-local facet. We reveal quantum advantage in these tasks, including qutrit over qubit entanglement advantage.

quant-ph↗

Certifying semi-device-independent security via wave-particle duality experiments

Wave-particle duality is known to be equivalent to an entropic uncertainty relation based on the min- and max-entropies, which have a clear operational meaning in quantum cryptography. Here, we derive a connection between wave-particle relations and the semi-device-independent (SDI) security framework. In particular, we express an SDI witness entirely in terms of two complementary interferometric quantities: visibility and input distinguishability. Applying a symmetry condition to the interferometric quantities, we identify a scenario in which the classical bound is violated and the security condition is met in wave-particle experiments with a tunable beam splitter. This enables the certification of non-classicality and the positivity of the key rate directly from complementary interferometric quantities. Moreover, we perform a proof-of-principle experiment using orbital-angular-momentum encoded quantum states of light in a tunable interferometer, validating our theoretical predictions. Finally, we analyze an improved bound on the SDI security condition, effectively enlarging the parameter region where secure communication can be certified.

quant-ph↗

Self-testing tilted strategies for maximal loophole-free nonlocality

The degree of experimentally attainable nonlocality, as gauged by the loophole-free or effective violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the doubly-tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. We utilize a Jordan's lemma and Gröbner basis-based proof technique to analytically derive self-testing statements for the entire family of doubly-tilted CHSH inequalities and numerically demonstrate their robustness. These results enable us to reveal the insufficiency of even high levels of the Navascués--Pironio--Acín hierarchy to saturate the maximum quantum violation of these inequalities.

quant-ph↗

Extending quantum correlations to arbitrary distances via parallel repetition of routed Bell tests

Applications such as Device-Independent Quantum Key Distribution (DIQKD) require loophole-free certification of long-distance quantum correlations. However, these distances remain severely constrained by detector inefficiencies and unavoidable transmission losses. To overcome this challenge, we consider parallel repetitions of the recently proposed routed Bell experiments, where transmissions from the source are actively directed either to a nearby or a distant measurement device. We analytically show that the threshold detection efficiency of the distant device--needed to certify non-jointly-measurable measurements, a prerequisite of secure DIQKD--decreases exponentially, optimally, and robustly, following $η^*=1/2^N$, with the number $N$ of parallel repetitions.

quant-ph↗

Unbounded quantum advantage in communication complexity measured by distinguishability

Communication complexity is a fundamental aspect of information science, concerned with the amount of communication required to solve a problem distributed among multiple parties. The standard quantification of one-way communication complexity relies on the minimal dimension of the communicated systems. In this paper, we measure the communication complexity of a task by the minimal distinguishability required to accomplish it, while leaving the dimension of the communicated systems unconstrained. Distinguishability is defined as the maximum probability of correctly guessing the sender's input from the message, quantifying the message's distinctiveness relative to the sender's input. This measure becomes especially relevant when maintaining the confidentiality of the sender's input is essential. After establishing the generic framework, we focus on three relevant families of communication complexity tasks -- the random access codes, equality problems defined by graphs and the pair-distinguishability tasks. We derive general lower bounds on the minimal classical distinguishability as a function of the success metric of these tasks. We demonstrate that quantum communication outperforms classical communication, presenting explicit protocols and utilizing semi-definite programming methods. In particular, we demonstrate unbounded quantum advantage for random access codes and Hadamard graph-based equality problems. Specifically, we show that the classical-to-quantum ratio of minimal distinguishability required to achieve the same success metric escalates polynomially and exponentially with the complexity of these tasks, reaching arbitrarily large values.

quant-ph↗