Abstract
It has been conjectured that counterfactual communication is impossible, even for postselected quantum particles. We strongly challenge this by proposing precisely such a counterfactual scheme where—unambiguously—none of Alice’s photons that correctly contribute to her information about Bob’s message have been to Bob. We demonstrate counterfactuality experimentally by means of weak measurements, and conceptually using consistent histories—thus simultaneously satisfying both criteria without loopholes. Importantly, the fidelity of Alice learning Bob’s bit can be made arbitrarily close to unity.
Similar content being viewed by others
Introduction
The prospect of communicating a message deterministically without exchanging physical carriers (e.g. photons) was first described by refs. ^{1,2}, and demonstrated experimentally by refs. ^{3,4}. Apart from being extremely mindboggling, this counterfactual communication raises deep questions about the nature of physical reality. For instance: “What carried the message across space?"; and, for the case of transmitted information itself being quantum, in the Salih14 protocol^{5}, “Did quantum bits vanish from one point in space only to discontinuously appear elsewhere?". No wonder, many prominent physicists were skeptical—most recently Griffiths, based on his Consistent Histories criterion for counterfactuality^{6,7}; and Vaidman, based on his weak trace criterion for counterfactuality^{8,9,10}.
Around the same time the present paper was initially posted, Vaidman alongside colleague Aharonov posted an interesting paper conceding that counterfactual communication was possible—based on their modification of Salih et al.’s 2013 protocol to satisfy Vaidman’s weak trace criterion for communication to be counterfactual^{11}, which is right. However, as we will show, their modification—unlike our scheme—does not by itself satisfy the Consistent Histories criterion for counterfactuality^{6}.
Results
Setup
Our aim here is not to construct an efficient communication protocol, with each bit carried by a single photon, but rather to construct a communication protocol where:

i.
Alice can determine Bob’s bit choice with arbitrarily high accuracy, and;

ii.
It can be shown unambiguously that Alice’s postselected photons have never been to Bob.
Also, our purpose here is not to construct a secure communication protocol—an eavesdropper may be able to exploit our protocol to obtain the information Bob sends without Alice or Bob realising.
Consider our proposed protocol setup in Fig. 1, which includes the equivalent of one outer cycle of Salih et al.’s (Michelsontype) protocol laidout sequentially in time, as in ref. ^{12}. The two underlying principles here are interactionfree measurement^{13} and the quantum Zeno effect^{14}. Here’s how the setup works. Alice sends a Hpolarized photon from photon source S, whose polarization is then rotated by the action of polarization rotator HWP1, before polarizing beam splitter PBS passes the H part along arm A, while reflecting the V part along arm D. (All PBSs transmit H and reflect V.) The Vpolarized component in D then encounters a series of polarization rotators HWP2, each affecting a small rotation, and polarizing beamsplitters PBS, whose collective action is to rotate polarization from V to H, if Bob does not block the transmission channel. In this case, this component is passed straight towards detector D_{3}. If the photon is not lost to D_{3} then we know that it has traveled along arm A instead, in which case it passes through two consecutive PBS’s on its way to D_{0}. What happens if Bob instead blocks the transmission channel? Provided that the photon is not lost to Bob’s blocking devices, the part of the photon superposition that was in arm D at time t_{1} is now, after last HWP2, in arm D, Vpolarized. It is then reflected by two consecutive PBS’s on its way towards detector D_{1}. A click at detector D_{1} corresponds uniquely to Bob blocking the channel. But there’s a chance that the photon component that has traveled along A causes detector D_{0} to incorrectly click. For example, given that Alice had initially rotated her photon’s polarization after time t_{0} such that it is in arm A with probability 1/3, and in arm D with probability 2/3, and given a large number of HWP2’s such that the chance of losing the photon to Bob’s blocking device is negligible, then it is straight forward to calculate that the accuracy of detector D_{0} is 75%, in contrast to 100% accuracy for D_{1}, with half the photons being lost on average. Importantly, accuracy can be made arbitrarily close to 100%, by HWP1 initially rotating the photon’s polarisation closer to V, at the expense of more photons being lost.
Note, the postselection in the protocol is passive—it happens without any communication with Bob. The postselection process simply corresponds to the instances of photons arriving at Alice’s detectors D_{0} or D_{1}. The protocol works because when Bob blocks there is a much higher probability for a photon to arrive at detector D_{1} than detector D_{0}. When Bob doesn’t block, and ignoring device imperfections, all postselected detections happen at detector D_{0}, with the photon having arrived directly from Alice. Detector D_{3} is not needed for the communication, and is simply a loss channel. In both cases where Alice obtains information, the photon stays in her lab, and thus provably never goes to Bob.
Demonstrating counterfactuality
Now we turn to the question of whether Alice’s postselected photon has ever been to Bob. It is accepted that for the case of Bob blocking the transmission channel, Alice’s photon could not have been to Bob—otherwise the photon would have been absorbed by Bob’s blockers (which act as loss modes from path C in this protocol). It is the case of Bob not blocking the channel that is interesting.
Consistent Histories
We first consider the question from a consistent histories (CH) viewpoint, building on the analysis in ref. ^{12}. While we do not unreservedly advocate the Consistent Histories interpretation, we still engage with it here within the frame of Consistent Histories, as it has been used by Griffiths to question the counterfactuality of counterfactual communication protocols^{7}. See ref. ^{7} for a thorough explanation of CH. By constructing a family \({{{\mathcal{Y}}}}\) of consistent histories (which we will shortly explain the meaning of) between an initial state and a final state, that includes histories where the photon takes path C, we can ask what the probability of the photon having been to Bob is. Our setup allows us to do just that.
where S_{0} and H_{0} are the projectors onto arm S and polarization H, respectively, at time t_{0}. A_{1} and I_{1} are the projectors onto arm A and the identity polarization I at time t_{1}, etc. The curly brackets contain different possible projectors at that given time. A history then consists of a sequence of projectors, at successive times. This family of histories therefore consists of a total of 18 histories. For example, the history (S_{0} ⊗ H_{0}) ⊙ (A_{1} ⊗ I_{0}) ⊙ (A_{2} ⊗ I_{2}) ⊙ (A_{3} ⊗ I_{3}) ⊙ (F_{4} ⊗ H_{4}) has the photon traveling along arm A on its way to detector D_{0}. Each history has an associated chain ket, whose inner product with itself gives the probability of the sequence of events described by that particular history. Here’s the chain ket associated with the history we just stated, \(\left{S}_{0}\otimes {H}_{0},{A}_{1}\otimes {I}_{1},{A}_{2}\otimes {I}_{2},{A}_{3}\otimes {I}_{3},{F}_{4}\otimes {H}_{4}\right\rangle =({F}_{4}\otimes {H}_{4}){T}_{4,3}({A}_{3}\otimes {I}_{3}){T}_{3,2}({A}_{2}\otimes {I}_{2}){T}_{2,1}({A}_{1}\otimes {I}_{1}){T}_{1,0}\left{S}_{0}{H}_{0}\right\rangle\), where T_{1,0} is the unitary transformation between times t_{0} and t_{1}, etc. By applying these unitary transformations and projections, we see that this chain ket is equal to, up to a normalization factor, \(\left{F}_{4}{H}_{4}\right\rangle\).
A family of histories is said to be consistent if all its associated chain kets are mutually orthogonal. It is straight forward to verify that for the family \({{{\mathcal{Y}}}}\) above, each of the other 17 chain kets is zero. For example, the chain ket \(\left{S}_{0}\otimes {H}_{0},{D}_{1}\otimes {I}_{1},{C}_{2}\otimes {I}_{2},{I}_{3}\otimes {I}_{3},{F}_{4}\otimes {H}_{4}\right\rangle =({F}_{4}\otimes {H}_{4}){T}_{4,3}({I}_{3}\otimes {I}_{3}){T}_{3,2}({C}_{2}\otimes {I}_{2}){T}_{2,1}({D}_{1}\otimes {I}_{1}){T}_{1,0}\left{{{{\rm{S}}}}}_{0}{{{{\rm{H}}}}}_{0}\right\rangle =({F}_{4}\otimes {H}_{4}){T}_{4,3}({I}_{3}\otimes {I}_{3}){T}_{3,2}({C}_{2}\otimes {I}_{2}){T}_{2,1}\left{D}_{1}{V}_{1}\right\rangle =({F}_{4}\otimes {H}_{4}){T}_{4,3}({I}_{3}\otimes {I}_{3}){T}_{3,2}\left{C}_{2}{H}_{2}\right\rangle =({F}_{4}\otimes {H}_{4}){T}_{4,3}(\left{C}_{3}{H}_{3}\right\rangle +\left{B}_{3}{V}_{3}\right\rangle )=({F}_{4}\otimes {H}_{4})(\left{G}_{4}{V}_{4}\right\rangle +\left{J}_{4}{H}_{4}\right\rangle )\), up to a normalization factor. Because projectors F_{4}, G_{4}, and J_{4} are mutually orthogonal, this chain ket is zero.
Family \({{{\mathcal{Y}}}}\) is therefore consistent.
This means, using \({{{\mathcal{Y}}}}\), we can ask the question of whether the photon has been to Bob. CH gives a clear answer: Since every history in this family, except the one where the photon travels along arm A, is zero, we can conclude that the photon has never been to Bob.
(Note that, when considering the time evolution of histories ending up at detector D_{1}, we can get a nonzero ket for ones where the photon travels to Bob, e.g. a history where the photon is on path C at time t_{2}. However, for the case in question where Bob doesn’t block, we know that except for experimental imperfections, only detectors D_{0} and D_{3} can click—in other words detector D_{1} never clicks. This is because the coherent evolution in the inner interferometerchain ensures that any photon exiting the chain is Hpolarised, and as such cannot go to D_{1}. We therefore apply postselection to “manually’’ exclude all unphysical histories ending at D_{1}. We caution that this is only possible because this detection forms a final measurement).
It can straightforwardly be seen that any history containing a projector C_{i}, in any family of histories where the photon ends up in arm F (regardless of coarse or finegraining), has zero probability due to the final state projection F_{4} ⊗ H_{4}. Therefore, for all relevant consistent families, we can conclude the photon has never been to Bob.
Weak trace
We now ask the same question in the weak trace language. Weak measurements^{15}, as the name suggests, consist of making measurements so weak that their effect on individual particles is smaller than uncertainty associated with the measured observable, and is therefore indistinguishable. These weak measurements on pre and postselected states, have related, usually welldefined quantities called weak values, for which only particles that start in a particular initial state and are found in a particular final state are considered. By looking at a largeenough number of such particles, these measurements result in definite, predictable pointershifts in the measuring device, corresponding to the weak values.
An elegant way of predicting nonzero weak values of the position operator, at least as a first order approximation, is the two state vector formulation, TSVF^{16}. If the initial state evolving forward in time overlaps at a given point with the final state evolving backward in time, then the weak value of the particle number at that point is nonzero. Vaidman associates these nonzero weak values with a weak trace, claiming a quantum particle has been wherever there is this weak trace. While we do not unreservedly advocate this point of view (which has been extensively analysed^{17,18,19,20}), we still engage with it here within the frame of weak measurement, as it has been used to challenge the counterfactuality of counterfactual communication protocols^{8,9,21}.
Let’s apply this to our setup. The preselected state is that of the photon in arm S, Hpolarized. And the postselected state, for the case in question of Bob not blocking, is that of the photon in F, also Hpolarized. Consider weak measurements where Bob’s mirrors, M_{B1} and M_{B2}, are made to vibrate at specific frequencies, before checking if these frequencies show up at a detector D_{0} capable of such measurement^{18,22,23}. The forward evolving state from S is clearly present at Bob’s, because of the photon component directed by the action of HWP1 and PBS along arm D. What about the backward evolving state from F? A Hpolarized photon traveling from F will pass through the two consecutive PBS’s along arm A, away from Bob. Since, the forward evolving state and the backward evolving state do not overlap at Bob, a weak measurement, at least as a first order approximation, will be zero.
We now show that any weak measurement at Bob will be zero—not just to a first order approximation. Consider a weak measurement where Bob vibrates one or more of his mirrors (as in ref. ^{22}). This disturbance will cause the part of the photon superposition in arm D, after the last HWP2, which can only be V polarized, to be nonzero. This small V component will be reflected by two PBS’s towards D_{1}, and crucially, away from detector D_{0}. Bob’s action has no way of reaching Alice’s postselected state: The photon has never been to Bob.
We performed this experiment using a version of the setup in Fig. 1, which we show in Fig. 2, with two inner MZ interferometers within one outer cycle of Salih et al’s protocol. The polarising beamsplitters used are ThorLabs PBS251, and the halfwave plates used are ThorLabs AHWP05M600  all three half wave plates are tuned with their fast axis at an angle to the normal such that the polarisation of the light is rotated by π/2 (i.e. \(H\to (H+V)/\sqrt{2}\)). In this setup, the single photon source is replaced by a continuouswave diode laser [635nm ThorLabs LDM635], and the three vibrating mirrors are microelectromechanical systems (MEMS) mirrors [Hamamatsu S1223703P] weakly oscillating sinusoidally in the horizontal plane—Alice’s mirror (M_{A}) at 29Hz, Bob’s first mirror (M_{B1}) at 13Hz, and his second mirror (M_{B2}) at 19Hz (chosen so not to be harmonics of each other). This oscillation is made sufficiently weak so as not to disturb the counterfactual properties of the system. This was done by having maximal 0.01 mm movement detected over a 5 mm beam diameter at the detectors. The other mirrors in the setup are all standard ThorLabs MRA25E02 mirrors. The detectors used for D_{0}, D_{1} and D_{3} are segmented quadrant positionsensing photodetectors [ThorLabs PDQ80A], sampled by a LeCroy Wavesurfer 452 at a rate of 25 KHz for 5 s. We applied a Fast Fourier transform to the position signal as a function of time, to observe the spectrum of oscillation frequencies at D_{0}, D_{1} and D_{3}. As can be seen from Fig. 3a, there is an oscillation at D_{0} from Alice’s mirror but not from either of Bob’s mirrors. This shows that the weak measurement at Bob is zero, thus demonstrating experimentally the counterfactuality of the protocol.
Note, in Fig. 3c, the peak for M_{B1} and its harmonic at D_{3} are larger than that for M_{B2}, as M_{B1} is further away from the detectors than M_{B2}. Note also that the peak for M_{A} in D_{1}, shown in Fig. 3b, is close to the noise level as it is an erroneous signal, caused by light from Alice’s path leaking into D_{1}. However, the fact we can see this error signal at D_{1} in Fig. 3b, but not the error signals at D_{1} from M_{B1} and M_{B2}, shows that in all cases only a negligible amount of light (i.e. lower than noise) leaks from Bob back to Alice.
Discussion
Having shown that any photon detected by Alice at D_{0} or D_{1} will have never been to Bob, we now look in depth at the probabilities of success, and Alice receiving the correct bitvalue. In each round of the proposed experiment Bob chooses a bit, X, he would like to communicate to Alice. He blocks (does not block) his channel when X = 0 (X = 1). Alice then prepares a single photon, passes it through the system and it is either detected in one of the detectors D_{0}, D_{1} and D_{3}, or is lost to Bob’s blocking device. If Alice detects the photon in either D_{0} or D_{1}, then the round was successful and Alice assigns the estimated values X_{est} = 0 and X_{est} = 1 to detections in D_{0} and D_{1} respectively. If the round was not successful another round is performed until she obtains a successful outcome. The postselected data she obtains displays clear communication from Bob despite the fact that, as we have shown, the postselected photons never passed through the communication channel to Bob. Furthermore, by tuning the initial halfwave plate, the system can be tuned to achieve a postselected success probability arbitrarily approaching unity, at the expense of decreasing the postselection probability.
We explore the success of the scheme in terms of the free parameter P, the raw probability the photon would be found in the right half of the setup, determined by the setting of HWP1.
The raw conditional probabilities of detection in each of the detectors given Bob blocking and not blocking his side of the channel, for the infinite inner cycle version of the protocol, are: for blocking, a probability of detection in D_{0} of 1 − P, in D_{1} of P, and in D_{3} (lost) of 0; for not blocking, a probability of detection in D_{0} of 1 − P, in D_{1} of 0, and in D_{3} (lost) of P.
Note that the protocol has an error chance that varies depending on whether Bob sends a 0bit or a 1bit. This, however, is only a feature of the oneoutercycle form of counterfactual communication we give here when two or more outer cycles are used instead, the error probability in the protocol is 0, and therefore doesn’t depend on the bit sent (see the Appendix of ref. ^{24} for more discussion on unequal bit error rates in counterfactual communication).
Consider for now the limit in which the probability of losing the photon to Bob’s blocking apparatus vanishes. Since postselection for the case of not blocking only succeeds with probability P(D_{0}∣NB) = (1 − P), Alice must perform the experiment many times to get a successfully postselected event. This achieves communication in the postselected data since the conditional probability of blocking given detection events at D_{0} decreases with P increasing.
We assume that on average Bob encodes as many zeros as he does ones. From the raw detection probabilities, the probability of the protocol giving an outcome, that is the postselection succeeding, is (2 − p)/2.
We then find the probabilities of the postselected detection events: the probability for detecting in D_{0} when blocking is (1 − P), and when not blocking is 1; the probability for D_{1} when blocking is P, and when not blocking is 0. Therefore after postselection, the probability of correct outcome of P_{c} = (1 + P)/2.
We see that in the limit P → 1 the protocol becomes deterministic, however the probability of postselection vanishes.
In Fig. 4 we plot the overall probability of successful postselected outcome and postselection probability, for different values of the probability P of the photon entering the inner interferometer chain. Notably, for P = 1/2 postselection succeeds (photon arrives at Alice) with 3/4 probability, and, if it arrives, is correct (is the bit Bob sent) with 3/4 probability. Increasing P to 2/3, the likelihood of successful postselection drops to 2/3 whilst the probability of being correct increases to 5/6.
Finally, let’s illustrate our findings using an amusing scenario. Imagine an outcomeobsessed lab director in charge of this experiment, who is quite happy firing Alice and Bob if a single run of the experiment fails, replacing them with a fresh pair of experimentalists, to start all over, also nicknamed Alice and Bob. The task for any Alice and Bob pair is to communicate a 16bit message, one bit at a time. Assume the experiment is set up such that the chance of any given run failing is 1/4. Therefore, in order to successfully communicate the 16bit message, the lab director has to, on average, go through around 100 pairs of experimentalists—which the director secretly enjoys. Each new pair of experimentalists is provided with a new message. Eventually, a lucky Alice and Bob manage to communicate their message (bit accuracy will be 75% on average.) Now the question for the successful pair is: Has any of Alice’s photons been to Bob while communicating the message? The answer, as we have shown, is an emphatic no.
Aharonov and Vaidman posted an interesting paper, just before we first posted the present paper on the arXiv, suggesting a way to modify a version of Salih et al.’s 2013 protocol that does not use polarisation. Their modification has the effect of satisfying Vaidman’s weak trace criterion for counterfactuality for both bits. The scheme has the advantage over ours of reducing the chance of a communication error caused by imperfect interference in the inner interferometers when Bob encodes bit 0, thus satisfying the weak trace criterion even for erroneous bitclicks, which we are not concerned about. However, unlike the scheme we give above, their modification fails the Consistent Histories criterion for counterfactuality. In Fig. 5 we give an example of a history where the photon goes to Bob, where the associated chainket is nonzero. More precisely, take the histories family,
The chain ket associated with the path highlighted in blue in Fig. 5 is
up to a nonzero normalization factor. Similarly, the chain ket associated with path A
is also nonzero up to a nonzero normalization factor. The two chain kets are not orthogonal, which means that the family of histories is not consistent. The original Aharonov–Vaidman setup therefore cannot be said to be counterfactual from a consistent histories point of view. Nonetheless, we agree that Aharonov and Vaidman’s modification presents important progress, as it robustly passes the weak trace criterion for counterfactuality (as shown in ref. ^{25}). It has thus been included as an additional element by some of the present authors in devices proposed for counterfactual communication (e.g. refs. ^{19,26,27,28}).
Likewise, AharonovVaidman’s modification can be incorporated straightforwardly in our present setup. The way to do this is by simply repeating the innercycles sequence twice, between the arms marked D. This would eliminate the weak trace even for erroneous detectorclicks, while still passing the consistent histories test.
In summary, we have shown both theoretically and experimentally that, given postselection, sending a message without exchanging any physical particles is allowed by the laws of physics. What carries this information, however, remains a hot topic of research^{19,29,30}.
Data availability
Data obtained during experiments undertaken during this experiment is available at https://doi.org/10.5281/zenodo.5666675.
Code availability
The code generated to analyse the protocol is available at https://doi.org/10.5281/zenodo.5666675.
Change history
05 August 2022
A Correction to this paper has been published: https://doi.org/10.1038/s41534022006063
References
Salih, H., Li, Z.H., AlAmri, M. & Zubairy, M. S. Protocol for direct counterfactual quantum communication. Phys. Rev. Lett. 110, 170502 (2013).
Quantum mechanics: Exchangefree communication. Nature, 497, 9–9, 5. https://doi.org/10.1038/497009b (2013).
Cao, Y. et al. Direct counterfactual communication via quantum Zeno effect. P. Natl. Acad. Sci. USA 114, 4920–4924 (2017).
Liu, C., Liu, J., Zhang, J. & Zhu, S. The experimental demonstration of high efficiency interactionfree measurement for quantum counterfactuallike communication. Sci. Rep. 7, 1–9 (2017).
Salih, H. Protocol for counterfactually transporting an unknown Qubit. Front. Phys. 3, 94 (2016).
Robert Griffiths. Consistent Quantum Theory. 2002 edn (Cambridge University Press, Cambridge, 2002).
Griffiths, R. B. Particle path through a nested MachZehnder interferometer. Phys. Rev. A 94, 032115 (2016).
Vaidman, L. Counterfactuality of ’counterfactual’ communication. J. Phys. A., 48 (2015).
Vaidman, L. Comment on “Protocol for direct counterfactual quantum communication’’. Phys. Rev. Lett. 112, 208901 (2014).
Salih, H., Z.H., L., AlAmri, M. & M.S., Z. Salih et al. Reply. Phys. Rev. Lett. 112, 208902 (2014).
Aharonov, Y. & Vaidman, L. Modification of counterfactual communication protocols that eliminates weak particle traces. Phys. Rev. A. 99, 010103 (2019).
Salih, H. Comment on “particle path through a nested MachZehnder interferometer’’. Phys. Rev. A. 97, 026101 (2018).
Elitzur, A. C. & Vaidman, L. Quantum mechanical interactionfree measurements. Found. Phys. 23, 987–997 (1993).
Misra, B. & Sudarshan, E. C. G. The Zeno’s paradox in quantum theory. J. Math. Phys. 18, 756–763 (1977).
Aharonov, Y., Albert, D. Z. & Vaidman, L. How the result of a measurement of a component of the spin of a spin1/2 particle can turn out to be 100. Phys. Rev. Lett. 60, 1351–1354 (1988).
Aharonov, Y. & Vaidman, L. Properties of a quantum system during the time interval between two measurements. Phys. Rev. A. 41, 11–20 (1990).
Alonso, M. A. & Jordan, A. N. Can a dove prism change the past of a single photon? Quantum Stud.: Math. Found 2, 255–261 (2015).
Salih, H. Commentary: “Asking photons where they have been’’  without telling them what to say. Front. Phys. 3, 47 (2015).
Salih, H. From Counterportation to Local Wormholes. Preprint at https://arxiv.org/abs/1807.06586 (2018).
Jonte, R. Hance, John Rarity and James Ladyman. Does the weak trace show the past of a quantum particle? Preprint at https://arxiv.org/abs/2109.14060 (2021).
Vaidman, L. Comment on “Direct counterfactual transmission of a quantum state’’. Phys. Rev. A. 93, 066301 (2016).
Danan, A., Farfurnik, D., BarAd, S. & Vaidman, L. Asking photons where they have been. Phys. Rev. Lett. 111, 240402 (2013).
Danan, A., Farfurnik, D., BarAd, S. & Vaidman, L. Response: Commentary: “Asking photons where they have been’’  without telling them what to say. Front. Phys. 3, 48 (2015).
Hance, J. R., Ladyman, J. & Rarity, J. How quantum is quantum counterfactual communication? Found. Phys. 51, 12 (2021).
Wander, A., Cohen, E. & Vaidman, L. Three approaches for analyzing the counterfactuality of counterfactual protocols. Phys. Rev. A. 104, 012610 (2021).
Salih, H., Hance, J. R., McCutcheon, W., Rudolph, T. & Rarity, J. Exchangefree computation on an unknown qubit at a distance. New J. Phys. 23, 013004 (2021).
Salih, H., Hance, J. R., McCutcheon, W., Rudolph, T. & Rarity, J. Deterministic teleportation and universal computation without particle exchange. Preprint at https://arxiv.org/abs/2009.05564 (2020).
Hance, J. R. & Rarity, J. Counterfactual ghost imaging. npj Quantum Inf. 7, 88 (2021).
Aharonov, Y. & Rohrlich, D. What is nonlocal in counterfactual quantum communication? Phys. Rev. Lett. 125, 260401 (2020).
Aharonov, Y., Cohen, E. & Popescu, S. A dynamical quantum cheshire cat effect and implications for counterfactual communication. Nat. Commun. 12, 1–8 (2021).
Acknowledgements
H.S. thanks Li YuHuai for useful feedback on the basic concept, received in autumn 2016. The authors thank Paul Skrzypczyk for useful discussions on the issue, David Lowndes for experimental components and advice, Gary F Sinclair for help with fast Fourier transform code, and Huxley Sessa for help with experimental prototyping. This work was supported by the Engineering and Physical Sciences Research Council (Grants EP/P510269/1, EP/R513386/1, EP/L024020/1 and the UK Quantum Communications Hub funded by EP/M013472/1 and EP/T001011/1).
Author information
Authors and Affiliations
Contributions
(CRediT)— H.S.: conceptualisation, investigation, formal analysis, methodology, visualisation, writing (original draft), writing (review and editing), supervision, project administration; W.M. and J.R.H.: investigation including experimental, formal analysis, methodology, software, visualisation, writing (original draft), writing (review and editing), project administration; J.R.: supervision, writing (review and editing), funding acquisition, resources.
Corresponding author
Ethics declarations
Competing interests
The authors have no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Salih, H., McCutcheon, W., Hance, J.R. et al. The laws of physics do not prohibit counterfactual communication. npj Quantum Inf 8, 60 (2022). https://doi.org/10.1038/s4153402200564w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4153402200564w
This article is cited by

Interactionfree, singlepixel quantum imaging with undetected photons
npj Quantum Information (2023)