Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Logos & Episteme

Quantum Counterfactuals: Interaction-Free Measurements and Classical Logic’s Constraints

Carmen Sánchez Ovcharov, Karim Gherab-Martín, José Alejandro Fernández Cuesta

Published Jan 1, 2025• 0 citations
Publisher

Abstract

The aim of this paper is to carry out a critical analysis of the uses of the material conditionals employed to represent the counterfactual detections taking place inside Elitzur-Vaidman quantum bomb detectors in so-called quantum interaction free measurements (IFMs). We provide an exhaustive philosophical study of this classical approach focusing on its limitations. To do so, we formulate atomic propositions corresponding to the observable events of the experiments, to overcome the shortcomings of the conditional expression. Finally, we show that the standard definition ofcounterfactuality in quantum contexts based on classical logic is epistemologically too limited, presenting quantum logics as the most promising possible approach to address this type of quantum counterfactuality.

DOI
10.5840/logos-episteme202516434

Related papers

The Logic of Quantum Measurements in terms of Conditional Events

Philip G. Calabrese

This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event algebra is nearly Boolean and consists merely of ordered pairs of standard events or propositions, quantum events and the so-called “superpositions” of states need not be mysterious, and are here fully explicated. Conditional event algebra nicely explains these non-standard “superpositions” of quantum states as conjunctions or disjunctions of conditional events, Boolean fractions, but does not address the so-called “entanglement phenomena” of quantum mechanics, which remain physically mysterious. Nevertheless, separating the latter phenomena from superposition issues adds clarity to the interpretation of quantum entanglement, the phenomenon of influence propagated at faster than light speeds. With such treacherous possibilities present in all quantum situations, an observer has every reason to be completely explicit about the environmental–instrumental configuration, the conditions present when attempting quantum measurements. Conditional event algebra allows such explication without the physical and algebraic remoteness of Hilbert space.

Logic Journal of IGPL•Aug 20, 2006•1 citation

“Counterfactual” quantum protocols

Lev Vaidman A

The counterfactuality of recently proposed protocols is analyzed. A definition of “counterfactuality” is offered and it is argued that an interaction-free measurement (IFM) of the presence of an opaque object can be named “counterfactual”, while proposed “counterfactual” measurements of the absence of such objects are not counterfactual. The quantum key distribution protocols which rely only on measurements of the presence of the object are counterfactual, but quantum direct communication protocols are not. Therefore, the name “counterfactual” is not appropriate for recent “counterfactual” protocols which transfer quantum states by quantum direct communication.

International Journal of Quantum Information•May 21, 2016•10 citations

Non-locality and Possible World

Tomasz Bigaj

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals (subjunctive conditionals) enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world semantics of quantum counterfactuals using David Lewis’s famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactual semantics to strengthen Bell’s theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell’s theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation.

De Gruyter eBooks•Dec 31, 2006•8 citations

Counterfactual quantum measurements

Ingita Banerjee, Kiarn T. Laverick, Howard M. Wiseman

Counterfactual reasoning plays a crucial role in exploring hypothetical scenarios, by comparing some consequent under conditions identical except as results from a differing antecedent. David Lewis' well-known analysis evaluates counterfactuals using a hierarchy of desiderata. These were, however, built upon a deterministic classical framework, and whether it could be generalized to indeterministic quantum theory has been an open question. In this paper, we propose a formalism for quantum counterfactuals in which antecedents are measurement settings. Unlike other approaches, it non-trivially answers questions like: "Given that a photon-detector, observing an atom's fluorescence, clicked at a certain time, what would a field-quadrature detector have measured, if it had been used instead?"

arXiv:2510.01888•Physical Review A•Mar 10, 2026•0 citations

Generalizing Elitzur-Vaidman interaction free measurements

Adonai S. Sant’Anna, Otávio Bueno

In the early 1990's A. Elitzur and L. Vaidman proposed an interaction free measurement (IFM) that allows researchers to find infinitely fragile objects without destroying them. But Elitzur-Vaidman IFM has been used only to determine the position of opaque objects. In this paper, we propose an extension of such a technique that allows measurement of classical electric and magnetic fields. Our main goal is to offer a framework for future investigations about the role of the measurement processes, expanding the physical properties that are measurable by means of IFM.

arXiv:quant-ph/0503189•Mar 23, 2005•0 citations

Quantum interaction-free measurement

Zhi-chuan Dong, Peng Zhuang

"Interaction-free measurements" (IFM) originate from the latest quantum interferometric technologies. The latest research of quantum optics demonstrates, by using the complementary wavelike and particlelike natures of photons, it is possible to make interaction-free measurements by which the presence of an object can be determined with no photons being absorbed. The paper introduces the concept of "Interaction-free Measurement" (IFM), the original Elitzur-Vaidman scheme, the "High Efficiency Interaction-free Measurement", the application of quantum Zeno effect and the improved scheme proposed by Kwiat et al. The EV scheme is implemented in a Mach-Zehnder interferometer. Theoretically this paper also draws a conclusion in IFM feasibility by analyzing the wave functions of photon at various locations in the interferometer.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Feb 13, 2006•0 citations
The aim of this paper is to carry out a critical analysis of the uses of the material conditionals employed to represent the counterfactual detections taking place inside Elitzur-Vaidman quantum bomb detectors in so-called quantum interaction free measurements (IFMs). We provide an exhaustive philosophical study of this classical approach focusing on its limitations. To do so, we formulate atomic propositions corresponding to the observable events of the experiments, to overcome the shortcomings of the conditional expression. Finally, we show that the standard definition ofcounterfactuality in quantum contexts based on classical logic is epistemologically too limited, presenting quantum logics as the most promising possible approach to address this type of quantum counterfactuality.
This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event algebra is nearly Boolean and consists merely of ordered pairs of standard events or propositions, quantum events and the so-called “superpositions” of states need not be mysterious, and are here fully explicated. Conditional event algebra nicely explains these non-standard “superpositions” of quantum states as conjunctions or disjunctions of conditional events, Boolean fractions, but does not address the so-called “entanglement phenomena” of quantum mechanics, which remain physically mysterious. Nevertheless, separating the latter phenomena from superposition issues adds clarity to the interpretation of quantum entanglement, the phenomenon of influence propagated at faster than light speeds. With such treacherous possibilities present in all quantum situations, an observer has every reason to be completely explicit about the environmental–instrumental configuration, the conditions present when attempting quantum measurements. Conditional event algebra allows such explication without the physical and algebraic remoteness of Hilbert space.
The counterfactuality of recently proposed protocols is analyzed. A definition of “counterfactuality” is offered and it is argued that an interaction-free measurement (IFM) of the presence of an opaque object can be named “counterfactual”, while proposed “counterfactual” measurements of the absence of such objects are not counterfactual. The quantum key distribution protocols which rely only on measurements of the presence of the object are counterfactual, but quantum direct communication protocols are not. Therefore, the name “counterfactual” is not appropriate for recent “counterfactual” protocols which transfer quantum states by quantum direct communication.
This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals (subjunctive conditionals) enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world semantics of quantum counterfactuals using David Lewis’s famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactual semantics to strengthen Bell’s theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell’s theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation.
Counterfactual reasoning plays a crucial role in exploring hypothetical scenarios, by comparing some consequent under conditions identical except as results from a differing antecedent. David Lewis' well-known analysis evaluates counterfactuals using a hierarchy of desiderata. These were, however, built upon a deterministic classical framework, and whether it could be generalized to indeterministic quantum theory has been an open question. In this paper, we propose a formalism for quantum counterfactuals in which antecedents are measurement settings. Unlike other approaches, it non-trivially answers questions like: "Given that a photon-detector, observing an atom's fluorescence, clicked at a certain time, what would a field-quadrature detector have measured, if it had been used instead?"
In the early 1990's A. Elitzur and L. Vaidman proposed an interaction free measurement (IFM) that allows researchers to find infinitely fragile objects without destroying them. But Elitzur-Vaidman IFM has been used only to determine the position of opaque objects. In this paper, we propose an extension of such a technique that allows measurement of classical electric and magnetic fields. Our main goal is to offer a framework for future investigations about the role of the measurement processes, expanding the physical properties that are measurable by means of IFM.
"Interaction-free measurements" (IFM) originate from the latest quantum interferometric technologies. The latest research of quantum optics demonstrates, by using the complementary wavelike and particlelike natures of photons, it is possible to make interaction-free measurements by which the presence of an object can be determined with no photons being absorbed. The paper introduces the concept of "Interaction-free Measurement" (IFM), the original Elitzur-Vaidman scheme, the "High Efficiency Interaction-free Measurement", the application of quantum Zeno effect and the improved scheme proposed by Kwiat et al. The EV scheme is implemented in a Mach-Zehnder interferometer. Theoretically this paper also draws a conclusion in IFM feasibility by analyzing the wave functions of photon at various locations in the interferometer.