Background

How to know if your vampire friend without murdering them accidentally is a video project made for PC3130: Quantum Mechanics II. Its aim was to teach a chosen topic on quantum mechanics to fellow students in the same class; as such, certain basic concepts are glossed over or unexplained in the video, although some are expounded in the write-up below.

Usually, to know if an object is present somewhere, one needs to interact with it in some way. Even if it were merely looked at, at least one particle of light – a “photon” – has to bounce off the object to reach the eye – a “detector”. The “measurement” here would be the answer to the question, “Is the object here?”

The referenced paper[1] takes advantage of the quantised nature of light to get around this necessity. Essentially, if a single photon goes through a path containing the object, it either interacts with the object, or not interact with the object. If it does, and the process absorbs the photon (say, the object is a vampire and the light is absorbed by them, which kills them), no light will be detected at the end of the path.

Yet, even if the photon takes the path where it doesn't interact with the object, the outcome might be different depending on the object's presence! This difference in outcome allows one to know an object's presence without actually interacting with it, thereby performing an interaction-free measurement.

The symbols used in the video, and their corresponding bra–ket notation counterparts, will be laid out in this section. Some prior familiarity with the bra–ket notation is assumed.

FADE IN:

INT. 4-DIMENSIONAL HILBERT SPACE

Space is well-lit with a background that is subtly off-white. The time dimension not immediately visible but its presence definitely felt.

Photons – individual particles of light – are the primary agent of this phenomena. Of its many properties, only two are needed here: its polarisation and its direction of travel. The polarisation is an angle between 0° (vertically polarised) and 90° (horizontally polarised), while the direction of travel is one of two: rightwards or downwards. The restriction on the direction of travel is because of how the equipment is set up, as will be clearer later.

Photon polarisation

Vertically polarised photons are denoted , while horizontally polarised photons are denoted .

|0°, ⋅ ⟩
0° 0°
|90°, ⋅ ⟩
90°
|00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990°, ⋅ ⟩
00° 00° 01° 01° 02° 02° 03° 03° 04° 04° 05° 05° 06° 06° 07° 07° 08° 08° 09° 09° 10° 10° 11° 11° 12° 12° 13° 13° 14° 14° 15° 15° 16° 16° 17° 17° 18° 18° 19° 19° 20° 20° 21° 21° 22° 22° 23° 23° 24° 24° 25° 25° 26° 26° 27° 27° 28° 28° 29° 29° 30° 30° 31° 31° 32° 32° 33° 33° 34° 34° 35° 35° 36° 36° 37° 37° 38° 38° 39° 39° 40° 40° 41° 41° 42° 42° 43° 43° 44° 44° 45° 45° 46° 46° 47° 47° 48° 48° 49° 49° 50° 50° 51° 51° 52° 52° 53° 53° 54° 54° 55° 55° 56° 56° 57° 57° 58° 58° 59° 59° 60° 60° 61° 61° 62° 62° 63° 63° 64° 64° 65° 65° 66° 66° 67° 67° 68° 68° 69° 69° 70° 70° 71° 71° 72° 72° 73° 73° 74° 74° 75° 75° 76° 76° 77° 77° 78° 78° 79° 79° 80° 80° 81° 81° 82° 82° 83° 83° 84° 84° 85° 85° 86° 86° 87° 87° 88° 88° 89° 89° 90° 90° 00° 00° 01° 01° 02° 02° 03° 03° 04° 04° 05° 05° 06° 06° 07° 07° 08° 08° 09° 09° 10° 10° 11° 11° 12° 12° 13° 13° 14° 14° 15° 15° 16° 16° 17° 17° 18° 18° 19° 19° 20° 20° 21° 21° 22° 22° 23° 23° 24° 24° 25° 25° 26° 26° 27° 27° 28° 28° 29° 29° 30° 30° 31° 31° 32° 32° 33° 33° 34° 34° 35° 35° 36° 36° 37° 37° 38° 38° 39° 39° 40° 40° 41° 41° 42° 42° 43° 43° 44° 44° 45° 45° 46° 46° 47° 47° 48° 48° 49° 49° 50° 50° 51° 51° 52° 52° 53° 53° 54° 54° 55° 55° 56° 56° 57° 57° 58° 58° 59° 59° 60° 60° 61° 61° 62° 62° 63° 63° 64° 64° 65° 65° 66° 66° 67° 67° 68° 68° 69° 69° 70° 70° 71° 71° 72° 72° 73° 73° 74° 74° 75° 75° 76° 76° 77° 77° 78° 78° 79° 79° 80° 80° 81° 81° 82° 82° 83° 83° 84° 84° 85° 85° 86° 86° 87° 87° 88° 88° 89° 89° 90° 90°

A photon with an arbitrary polarisation can be written as

|00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990°, ⋅ ⟩ = cos(00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990°)|0°, ⋅ ⟩ + sin(00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990°)|90°, ⋅ ⟩

Direction of travel

Meanwhile, a photon travelling rightwards is , and a photon travelling downwards is .

As the above photons have a polarisation of 45°, they are denoted and respectively.

Born rule

The Born rule states that the probability of finding a photon of state in state is given by

where is the length of the projection of onto . For example, in the current context, means, “If you projected the state of a photon of polarisation onto the vertical axis, what will be its length?”

Essentially, the above means

  1. There is no vertical component in the state of a horizontally polarised light
  2. The photon is normalised to unity, or : “the length of projection of a photon's state onto itself is 1”. That is, the length of the original photon is 1
  3. The length of the vertical component of the state of a 45°-polarised photon is . It is the same for the horizontal component, since it has equal parts horizontal and vertical components

More generally, using Equation , the vertical component of the state of a photon of polarisation is

and , so it checks out.

Finally, the probability is given by the square of the projected length:

0% 1% 2% 3% 4% 5% 6% 7% 8% 9% 10% 11% 12% 13% 14% 15% 16% 17% 18% 19% 20% 21% 22% 23% 24% 25% 26% 27% 28% 29% 30% 31% 32% 33% 34% 35% 36% 37% 38% 39% 40% 41% 42% 43% 44% 45% 46% 47% 48% 49% 50% 51% 52% 53% 54% 55% 56% 57% 58% 59% 60% 61% 62% 63% 64% 65% 66% 67% 68% 69% 70% 71% 72% 73% 74% 75% 76% 77% 78% 79% 80% 81% 82% 83% 84% 85% 86% 87% 88% 89% 90% 91% 92% 93% 94% 95% 96% 97% 98% 99% 100%
0% 1% 2% 3% 4% 5% 6% 7% 8% 9% 10% 11% 12% 13% 14% 15% 16% 17% 18% 19% 20% 21% 22% 23% 24% 25% 26% 27% 28% 29% 30% 31% 32% 33% 34% 35% 36% 37% 38% 39% 40% 41% 42% 43% 44% 45% 46% 47% 48% 49% 50%

If the photon is polarised by 45°, there is a 50% chance of finding it to be vertically polarised, and a 50% chance of finding it to be horizontally polarised. Visually, the square of the length of the final photon indicates how likely it is to find it in that state.

Beam Splitters, Mirrors, and Faraday Rotators

Dude These are polarising beam splitters.

A singular beam splitter slides in from below to the centre of the frame.

Dude They let vertically polarised light through, and reflects horizontally polarised light.

Beam splitter duplicates itself, positions themselves one on top of the other. Two photon appears from frame left, pauses, top one passes through, and the bottom reflects downwards, in tandem with narration. Top (Bottom) photon has graphic with arrow pointing up-down (left-right).

Beam splitters

The beam splitter, here represented by , causes the direction of travel of a photon to change only if its polarisation is horizontal:

In other words, it is only the horizontally-polarised component of the photon that gets reflected. Generally,

With a photon of polarisation 45°,

Given that the state of the final photon is , note here that

and hence the probabilities are

It is important to realise that the visuals represent the state of the photon rather than the photon itself – the photon cannot split into half! The above situation is therefore intepreted as follows:

If a single photon with polarisation 45° moving rightwards passes through a beam splitter, there will be

  1. a 50% chance of finding it on the right path of the beam splitter with a vertical polarisation,
  2. a 50% chance of finding it on the bottom path of the beam splitter with a horizontal polarisation,
  3. and no chance of finding it anywhere or anyhow else.”

Mirrors

Mirrors, represented with , changes the direction of the photon – as is expected

Faraday rotators

Dude If we pass vertically polarised light through a Faraday rotator - rotating the polarisation by some angle theta - (MORE)

Both beam splitter disappears upwards as the camera follows the top photon to right frame, where a Faraday rotator is present. The arrow rotates clockwise a little as it passes through the rotator.

When light of a certain polarisation passes through a uniform magnetic field, its plane of polarisation shifts due to the Faraday effect. By controlling the strength of the magnetic field, the polarisation of a photon can be rotated to a certain angle: here depicted as , this instrument is called a Faraday rotator.

Without Looping

Dude (cont'd) - then through this inteferometer, the photon ends up at the bottom with polarisation theta.

Without first including Tommy, the experimental setup acts on the incoming vertically-polarised photon via the following steps:

  1. Start with a vertically polarised photon moving rightwards:
  2. Rotate its polarisation by an angle of 45°:
  3. Pass it through the beam-splitter:
  4. Reflect it with the mirror:
  5. Pass it through the beam-splitter again:
  6. Detect if a photon is present at the bottom (Is there a photon moving downwards?): , where is the state of the photon after it goes through the experimental setup with the number of loops

The final state of the photon can be found by stringing the steps together:

where we have defined as the operator that represents the experiment setup. If we actually work this out,

Hence, .

With Tommy

Meanwhile, the presence of Tommy means that , where

which is representative of the fact that the rightwards-moving photon is “absorbed” by Tommy, while the downwards-moving photon continues in its path. Therefore, with this setup,

So there is a 50% chance of detecting the photon at the bottom, and a 50% chance of Tommy absorbing the photon (and dying).

 

From 0 to 1050100150200

References

  1. Kwiat P., Weinfurter H., Herdzog T., Zeilinger A., & Kasevich M. (1995). Experimental Realization of Interaction‐free Measurements. Annals of the New York Academy of Sciences, 755(1): 383-393. https://doi.org/10.1111/j.1749-6632.1995.tb38981.x