arXiv subjects

Lorenzo Catani

Publications and source records attributed to Lorenzo Catani.

16 recordsLinked to original sources

arXiv2026

An extended Wigner's friend no-go theorem inspired by generalized contextuality

The renowned Local Friendliness no-go theorem demonstrates the incompatibility of quantum theory with the combined assumptions of Absoluteness of Observed Events - the idea that observed outcomes are singular and objective - and Local Agency - the requirement that the only events correlated with a setting choice are in its future light cone. Granted that the Local Friendliness scenario can be realized, this result is stronger than Bell's theorem because the assumptions of Local Friendliness are weaker than those of Bell's theorem: Local Agency is less restrictive than local causality, and Absoluteness of Observed Events is encompassed within the notion of realism assumed in Bell's theorem. Drawing inspiration from the correspondence between nonlocality proofs in Bell scenarios and generalized contextuality proofs in prepare-and-measure scenarios, we present the Noncontextual Friendliness no-go theorem. This theorem demonstrates the inconsistency of quantum theory with the joint assumptions of Absoluteness of Observed Events and Noncontextual Agency, the latter being a weaker version of noncontextuality, in the same way that Local Agency is a weaker version of local causality. Our result generalizes the Local Friendliness no-go theorem and, granted that the scenario can be realized, is stronger than no-go theorems based on generalized noncontextuality.

quant-ph↗

arXiv2026

Resource-theoretic hierarchy of contextuality for general probabilistic theories

In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their comparison based on how contextual they are. Our approach focuses on the contextuality of prepare-and-measure scenarios, described by general probabilistic theories (GPTs). To motivate the hierarchy, we define it as the resource ordering of a novel resource theory of GPT-contextuality. The building blocks of its free operations are classical systems and univalent simulations between GPTs. These simulations preserve operational equivalences and thus cannot generate contextuality. Noncontextual theories can be recovered as least elements in the hierarchy. We then define a new contextuality monotone, called classical excess, given by the minimal error of embedding a GPT within an infinite classical system. In addition, we show that the optimal success probability in the parity oblivious multiplexing game also defines a monotone in our resource theory. Finally, we discuss whether the non-free operations can be understood as implementing information erasure and thus explaining the fine-tuning aspect of contextuality.

quant-ph↗

arXiv2026

First-Click Time Measurements

There are two distinct perspectives on the quantum time-of-arrival: one can ask for the probability that a particle is found at the detector at a given time, regardless of whether it was previously detected, or for the probability that the particle is detected there for the first time. In this work, we analyze the latter by constructing the time-of-arrival distribution conditioned on the particle not having been detected at earlier times -- the first-click distribution. We work within the Page and Wootters formalism, where time is treated as a quantum observable, and introduce a memory mechanism that records the outcomes of successive detection attempts separated by the detector's finite time resolution. We apply this framework to a single Gaussian wave packet and to a superposition of two overlapping wave packets. We find that conditioning on non-detection redistributes probability toward earlier arrival times, producing narrower and sharper distributions compared with the standard unconditioned case. This effect persists in the presence of quantum interference, though coarser time resolutions broaden the distribution and shift it toward later times.

quant-ph↗

arXiv2026

Experimental investigation of nonclassicality in the simplest scenario via the degrees of freedom of light

In this work, we experimentally investigate the classical-light emulation of different notions of nonclassicality in the simplest scenario. We implement this prepare-and-measure scenario involving four preparations and two binary-outcome measurements using two distinct experimental setups that exploit different degrees of freedom of light: polarization and first-order Hermite-Gaussian transverse modes. We additionally model experimental noise through an all-optical setup that reproduces the operational effect of a depolarizing channel. Our experimental results are consistent with the findings of Khoshbin et al. [Phys. Rev. A 109, 032212 (2024)]: under the assumption that the two measurements performed form a tomographically complete set, the observed statistics violate their noise-robust inequalities, indicating inconsistencies with preparation noncontextuality and bounded ontological distinctness for preparations. Although our implementation uses classical light, it reproduces the statistics predicted for the simplest scenario. Since the states and measurements of this scenario underpin computational advantages in tasks such as two-bit quantum random access codes -- among the simplest communication primitives enabling semi-device-independent certification of nonclassicality -- our implementation is directly relevant for such applications.

quant-ph↗

arXiv2024

Alternative robust ways of witnessing nonclassicality in the simplest scenario

In this paper we relate notions of nonclassicality in the simplest nontrivial scenario (a prepare and measure scenario composed of four preparations and two binary-outcome tomographically complete measurements). Specifically, we relate the established method developed in [Pusey, PRA 98,022112(2018)] to witness a violation of preparation noncontextuality, that is not suitable in experiments where the operational equivalences to be tested are specified in advance, with an approach based on the notion of bounded ontological distinctness for preparations, defined in [Chaturvedi and Saha, Quantum 4, 345 (2020)]. In our approach, we test bounded ontological distinctness for two particular preparations that are relevant in certain information processing tasks in that they are associated with the even- and odd-parity of the bits to communicate. When there exists an ontological model where this distance is preserved we talk of parity preservation. Our main result provides a noise threshold under which violating parity preservation (and so bounded ontological distinctness) agrees with the established method for witnessing preparation contextuality in the simplest nontrivial scenario. This is achieved by first relating the violation of parity preservation to the quantification of contextuality in terms of inaccessible information as developed in [Marvian, arXiv:2003.05984(2020)], that we also show, given the way we quantify noise, to be more robust in witnessing contextuality than Pusey's noncontextuality inequality. As an application of our findings, we treat the case of two-bit parity-oblivious multiplexing in the presence of noise. In particular, we provide a condition for which the result establishing preparation contextuality as a resource for the quantum advantage of the protocol in the noiseless case still holds in the noisy case.

quant-ph↗

arXiv2024

Connecting XOR and XOR* games

In this work we focus on two classes of games: XOR nonlocal games and XOR* sequential games with monopartite resources. XOR games have been widely studied in the literature of nonlocal games, and we introduce XOR* games as their natural counterpart within the class of games where a resource system is subjected to a sequence of controlled operations and a final measurement. Examples of XOR* games are $2\rightarrow 1$ quantum random access codes (QRAC) and the CHSH* game introduced by Henaut et al. in [PRA 98,060302(2018)]. We prove, using the diagrammatic language of process theories, that under certain assumptions these two classes of games can be related via an explicit theorem that connects their optimal strategies, and so their classical (Bell) and quantum (Tsirelson) bounds. We also show that two of such assumptions -- the reversibility of transformations and the bi-dimensionality of the resource system in the XOR* games -- are strictly necessary for the theorem to hold by providing explicit counterexamples. We conclude with several examples of pairs of XOR/XOR* games and by discussing in detail the possible resources that power the quantum computational advantages in XOR* games.

quant-ph↗

arXiv2023

Aspects of the phenomenology of interference that are genuinely nonclassical

Interference phenomena are often claimed to resist classical explanation. However, such claims are undermined by the fact that the specific aspects of the phenomenology upon which they are based can in fact be reproduced in a noncontextual ontological model [Catani et al., Quantum 7, 1119 (2023)]. This raises the question of what other aspects of the phenomenology of interference do in fact resist classical explanation. We answer this question by demonstrating that the most basic quantum wave-particle duality relation, which expresses the precise tradeoff between path distinguishability and fringe visibility, cannot be reproduced in any noncontextual model. We do this by showing that it is a specific type of uncertainty relation and then leveraging a recent result establishing that noncontextuality restricts the functional form of this uncertainty relation [Catani et al., Phys. Rev. Lett. 129, 240401 (2022)]. Finally, we discuss what sorts of interferometric experiment can demonstrate contextuality via the wave-particle duality relation.

quant-ph↗

arXiv2023

Why interference phenomena do not capture the essence of quantum theory

Quantum interference phenomena are widely viewed as posing a challenge to the classical worldview. Feynman even went so far as to proclaim that they are the only mystery and the basic peculiarity of quantum mechanics. Many have also argued that basic interference phenomena force us to accept a number of radical interpretational conclusions, including: that a photon is neither a particle nor a wave but rather a Jekyll-and-Hyde sort of entity that toggles between the two possibilities, that reality is observer-dependent, and that systems either do not have properties prior to measurements or else have properties that are subject to nonlocal or backwards-in-time causal influences. In this work, we show that such conclusions are not, in fact, forced on us by basic interference phenomena. We do so by describing an alternative to quantum theory, a statistical theory of a classical discrete field (the `toy field theory') that reproduces the relevant phenomenology of quantum interference while rejecting these radical interpretational claims. It also reproduces a number of related interference experiments that are thought to support these interpretational claims, such as the Elitzur-Vaidman bomb tester, Wheeler's delayed-choice experiment, and the quantum eraser experiment. The systems in the toy field theory are field modes, each of which possesses, at all times, both a particle-like property (a discrete occupation number) and a wave-like property (a discrete phase). Although these two properties are jointly possessed, the theory stipulates that they cannot be jointly known. The phenomenology that is generally cited in favour of nonlocal or backwards-in-time causal influences ends up being explained in terms of inferences about distant or past systems, and all that is observer-dependent is the observer's knowledge of reality, not reality itself.

quant-ph↗

arXiv2023

A mathematical framework for operational fine tunings

In the framework of ontological models, the inherently nonclassical features of quantum theory always seem to involve properties that are fine tuned, i.e. properties that hold at the operational level but break at the ontological level. Their appearance at the operational level is due to unexplained special choices of the ontological parameters, which is what we mean by a fine tuning. Famous examples of such features are contextuality and nonlocality. In this article, we develop a theory-independent mathematical framework for characterizing operational fine tunings. These are distinct from causal fine tunings -- already introduced by Wood and Spekkens in [NJP,17 033002(2015)] -- as the definition of an operational fine tuning does not involve any assumptions about the underlying causal structure. We show how known examples of operational fine tunings, such as Spekkens' generalized contextuality, violation of parameter independence in Bell experiment, and ontological time asymmetry, fit into our framework. We discuss the possibility of finding new fine tunings and we use the framework to shed new light on the relation between nonlocality and generalized contextuality. Although nonlocality has often been argued to be a form of contextuality, this is only true when nonlocality consists of a violation of parameter independence. We formulate our framework also in the language of category theory using the concept of functors.

quant-ph↗

arXiv2022

What is nonclassical about uncertainty relations?

Uncertainty relations express limits on the extent to which the outcomes of distinct measurements on a single state can be made jointly predictable. The existence of nontrivial uncertainty relations in quantum theory is generally considered to be a way in which it entails a departure from the classical worldview. However, this perspective is undermined by the fact that there exist operational theories which exhibit nontrivial uncertainty relations but which are consistent with the classical worldview insofar as they admit of a generalized-noncontextual ontological model. This prompts the question of what aspects of uncertainty relations, if any, cannot be realized in this way and so constitute evidence of genuine nonclassicality. We here consider uncertainty relations describing the tradeoff between the predictability of a pair of binary-outcome measurements (e.g., measurements of Pauli X and Pauli Z observables in quantum theory). We show that, for a class of theories satisfying a particular symmetry property, the functional form of this predictability tradeoff is constrained by noncontextuality to be below a linear curve. Because qubit quantum theory has the relevant symmetry property, the fact that its predictability tradeoff describes a section of a circle is a violation of this noncontextual bound, and therefore constitutes an example of how the functional form of an uncertainty relation can witness contextuality. We also deduce the implications for a selected group of operational foils to quantum theory and consider the generalization to three measurements.

quant-ph↗

arXiv2022

Relationship between covariance of Wigner functions and transformation noncontextuality

We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation noncontextual ontological model of the theory. We consider subtheories of quantum theory specified by a set of states, measurements and transformations, defined specifying a group of unitaries, that map between states (and measurements) within the subtheory. We show that if there exists a Wigner representation of the subtheory which is covariant under the group of unitaries defining the set of transformations then the subtheory admits of a transformation noncontextual ontological model. We provide some concrete arguments to conjecture that the converse statement also holds provided that the underlying ontological model is the one given by the Wigner representation. In addition, we investigate the relationships of covariance and transformation noncontextuality with the existence of a quasiprobability distribution for the theory that represents the transformations as positivity preserving maps. We conclude that covariance implies transformation noncontextuality, which implies positivity preservation.

quant-ph↗

arXiv2022

Reply to "Comment on 'Why interference phenomena do not capture the essence of quantum theory' "

Our article [arXiv:2111.13727(2021)] argues that the phenomenology of interference that is traditionally regarded as problematic does not, in fact, capture the essence of quantum theory -- contrary to the claims of Feynman and many others. It does so by demonstrating the existence of a physical theory, which we term the "toy field theory", that reproduces this phenomenology but which does not sacrifice the classical worldview. In their Comment [arXiv:2204.01768(2022)], Hance and Hossenfelder dispute our claim. Correcting mistaken claims found therein and responding to their criticisms provides us with an opportunity to further clarify some of the ideas in our article.

quant-ph↗

arXiv2021

Relating compatibility and divisibility of quantum channels

We connect two key concepts in quantum information: compatibility and divisibility of quantum channels. Two channels are compatible if they can be both obtained via marginalization from a third channel. A channel divides another channel if it reproduces its action by sequential composition with a third channel. (In)compatibility is of central importance for studying the difference between classical and quantum dynamics. The relevance of divisibility stands in its close relationship with the onset of Markovianity. We emphasize the simulability character of compatibility and divisibility, and, despite their structural difference, we find a set of channels -- self-degradable channels -- for which the two notions coincide. We also show that, for degradable channels, compatibility implies divisibility, and that, for anti-degradable channels, divisibility implies compatibility. These results motivate further research on these classes of channels and shed new light on the meaning of these two largely studied notions.

quant-ph↗

arXiv2019

State-injection schemes of quantum computation in Spekkens' toy theory

Spekkens' toy theory is a non-contextual hidden variable model with an epistemic restriction, a constraint on what the observer can know about the reality. It has been shown in [3] that for qudits of odd dimensions it is operationally equivalent to stabiliser quantum mechanics by making use of Gross' theory of discrete Wigner functions. This result does not hold in the case of qubits, because of the unavoidable negativity of any Wigner function representation of qubit stabiliser quantum mechanics. In this work we define and characterise the subtheories of Spekkens' theory that are operationally equivalent to subtheories of stabiliser quantum mechanics. We use these Spekkens' subtheories as a unifying framework for the known examples of state-injection schemes where contextuality is an injected resource to reach universal quantum computation. In addition, we prove that, in the case of qubits, stabiliser quantum mechanics can be reduced to a Spekkens' subtheory in the sense that all its objects that do not belong to the Spekkens' subtheory, namely non-covariant Clifford gates, can be injected. This shows that within Spekkens' subtheories we possess the toolbox to perform state-injection of every object outside of them and it suggests that there is no need to use bigger subtheories to reach universal quantum computation via state-injection. We conclude with a novel scheme of computation suggested by our approach which is based on the injection of CCZ states and we also relate different proofs of contextuality to different state injections of non-covariant gates.

quant-ph↗

arXiv2019

Tsirelson's bound and Landauer's principle in a single-system game

We introduce a simple single-system game inspired by the Clauser-Horne-Shimony-Holt (CHSH) game. For qubit systems subjected to unitary gates and projective measurements, we prove that any strategy in our game can be mapped to a strategy in the CHSH game, which implies that Tsirelson's bound also holds in our setting. More generally, we show that the optimal success probability depends on the reversible or irreversible character of the gates, the quantum or classical nature of the system and the system dimension. We analyse the bounds obtained in light of Landauer's principle, showing the entropic costs of the erasure associated with the game. This shows a connection between the reversibility in fundamental operations embodied by Landauer's principle and Tsirelson's bound, that arises from the restricted physics of a unitarily-evolving single-qubit system.

quant-ph↗

arXiv2017

Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics

Spekkens' toy model is a non-contextual hidden variable model with an epistemic restriction, a constraint on what an observer can know about reality. The aim of the model, developed for continuous and discrete prime degrees of freedom, is to advocate the epistemic view of quantum theory, where quantum states are states of incomplete knowledge about a deeper underlying reality. Many aspects of quantum mechanics and protocols from quantum information can be reproduced in the model. In spite of its significance, a number of aspects of Spekkens' model remained incomplete. Formal rules for the update of states after measurement had not been written down, and the theory had only been constructed for prime-dimensional, and infinite dimensional systems. In this work, we remedy this, by deriving measurement update rules, and extending the framework to derive models in all dimensions, both prime and non-prime. Stabilizer quantum mechanics is a sub-theory of quantum mechanics with restricted states, transformations and measurements. First derived for the purpose of constructing error correcting codes, it now plays a role in many areas of quantum information theory. Previously, it had been shown that Spekkens' model was operationally equivalent in the case of infinite and odd prime dimensions. Here, exploiting known results on Wigner functions, we extend this to show that Spekkens' model is equivalent to stabilizer quantum mechanics in all odd dimensions, prime and non-prime. This equivalence provides new technical tools for the study of technically difficult compound-dimensional stabilizer quantum mechanics.

quant-ph↗