Generator

The correlation, and the best a shared list of answers can do

One function in the quantum library, called 37 times across 6 essays. Below: what it draws at its defaults, what it draws at every branch an essay asks for, whether the site's own gate puts a claim to it, and everywhere it is called.

At its defaults it draws the correlation, and the best a shared list of answers can do. The coincidence correlation between two polarisation analysers against the angle between them, over two full turns of the correlation — a polariser turned through 180° is the same polariser, so the picture repeats. The singlet gives −cos 2Δ, drawn through −1.00 at 0°, 1.00 at 90°, −1.00 at 180°, 1.00 at 270°. Beside it is the best correlation any shared list of pre-agreed answers can produce: straight lines between the same four extremes, with corners where the cosine is smooth. The two agree exactly at the multiples of 45° and nowhere else, and they are furthest apart — by 0.2105 — at 19.77° and 70.23°, which is ½ arcsin(2/π) from either end of the quarter turn. The difference is not a matter of degree: it is a curve against a shape with a corner in it, and no list can be bent into the curve.

bell-correlation is one function in lib/figures/quantum.js — the quantum of light and the wave of matter. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page. A figure here is the figure a reader meets in an essay, and if the generator changes, this page changes with it.

At its defaults

Drawn even though every essay passes options, because a default nothing exercises is a trap for the next essay to call this with none — which has happened here twice.

The correlation, and the best a shared list of answers can do. The coincidence correlation between two polarisation analysers against the angle between them, over two full turns of the correlation — a polariser turned through 180° is the same polariser, so the picture repeats. The singlet gives −cos 2Δ, drawn through −1.00 at 0°, 1.00 at 90°, −1.00 at 180°, 1.00 at 270°. Beside it is the best correlation any shared list of pre-agreed answers can produce: straight lines between the same four extremes, with corners where the cosine is smooth. The two agree exactly at the multiples of 45° and nowhere else, and they are furthest apart — by 0.2105 — at 19.77° and 70.23°, which is ½ arcsin(2/π) from either end of the quarter turn. The difference is not a matter of degree: it is a curve against a shape with a corner in it, and no list can be bent into the curve.

The coincidence correlation between two polarisation analysers against the angle between them, over two full turns of the correlation — a polariser turned through 180° is the same polariser, so the picture repeats. The singlet gives −cos 2Δ, drawn through −1.00 at 0°, 1.00 at 90°, −1.00 at 180°, 1.00 at 270°. Beside it is the best correlation any shared list of pre-agreed answers can produce: straight lines between the same four extremes, with corners where the cosine is smooth. The two agree exactly at the multiples of 45° and nowhere else, and they are furthest apart — by 0.2105 — at 19.77° and 70.23°, which is ½ arcsin(2/π) from either end of the quarter turn. The difference is not a matter of degree: it is a curve against a shape with a corner in it, and no list can be bent into the curve.

Four outcomes, one of which happened

The options are the ones A link between two that never met passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Four outcomes, one of which happened. The correlation between the two outer particles' measurements, against the angle between their analysers, for each of the four results the middle measurement can give. Every one of the four leaves the outer pair maximally entangled — each curve reaches one and minus one — so every outcome is as good as any other, and the outer parties have a perfect Bell pair whichever it was. What differs is which correlation they have, and the four are shifted and reflected versions of each other. The flat line is their average, which is zero at every angle, checked here at seven hundred and twenty angles to twelve figures. That vanishing is the whole reason the operation cannot be used to send anything: until the middle party's two classical bits arrive by an ordinary channel, the outer parties' data is indistinguishable from noise, and no correlation appears at all. The entanglement is created instantly and is useless until a message travelling no faster than light says which of the four it is.

The correlation between the two outer particles' measurements, against the angle between their analysers, for each of the four results the middle measurement can give. Every one of the four leaves the outer pair maximally entangled — each curve reaches one and minus one — so every outcome is as good as any other, and the outer parties have a perfect Bell pair whichever it was. What differs is which correlation they have, and the four are shifted and reflected versions of each other. The flat line is their average, which is zero at every angle, checked here at seven hundred and twenty angles to twelve figures. That vanishing is the whole reason the operation cannot be used to send anything: until the middle party's two classical bits arrive by an ordinary channel, the outer parties' data is indistinguishable from noise, and no correlation appears at all. The entanglement is created instantly and is useless until a message travelling no faster than light says which of the four it is.

One side changes everything, and the other side cannot tell

The options are the ones A link between two that never met passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

One side changes everything, and the other side cannot tell. Two quantities against the axis one half of an entangled pair is measured along. The correlation between the two outcomes runs from perfect anticorrelation through nothing to perfect correlation — a swing of two — as that axis is turned. The other half's own state, computed by summing over the first half's outcomes, does not move at all: its Bloch vector stays at 0.0e+0 of its maximum, which is machine zero, and its trace at one to 4.4e-16. So everything about the far measurement is present in the correlations and none of it is present locally. That is why entanglement carries no signal: seeing the correlation requires both sets of results in one place, and getting them there needs an ordinary message. It is also why a copier would break the argument — two copies of the local state could be measured along two axes, and the statistics would give the far setting away.

Two quantities against the axis one half of an entangled pair is measured along. The correlation between the two outcomes runs from perfect anticorrelation through nothing to perfect correlation — a swing of two — as that axis is turned. The other half's own state, computed by summing over the first half's outcomes, does not move at all: its Bloch vector stays at 0.0e+0 of its maximum, which is machine zero, and its trace at one to 4.4e-16. So everything about the far measurement is present in the correlations and none of it is present locally. That is why entanglement carries no signal: seeing the correlation requires both sets of results in one place, and getting them there needs an ordinary message. It is also why a copier would break the argument — two copies of the local state could be measured along two axes, and the statistics would give the far setting away.

Two pairs, and only one of them may cheat

The options are the ones A link between two that never met passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Two pairs, and only one of them may cheat. The CHSH value a party shares with a second, against the value the same party shares with a third. Every quantum state lies inside a quarter circle whose radius is Tsirelson's bound, 2.8284, because the sum of the two squared values cannot exceed eight. The classical limit is 2 on each axis, and the square that would hold both violations sticks out of the circle everywhere except at its corner: the best both can manage at once is exactly 1.999998, which is the classical value and no violation at all. So a party maximally entangled with one other is correlated with everybody else exactly as a classical object would be. Nothing about the measurement or the apparatus was assumed; this follows from the state alone.

The CHSH value a party shares with a second, against the value the same party shares with a third. Every quantum state lies inside a quarter circle whose radius is Tsirelson's bound, 2.8284, because the sum of the two squared values cannot exceed eight. The classical limit is 2 on each axis, and the square that would hold both violations sticks out of the circle everywhere except at its corner: the best both can manage at once is exactly 1.999998, which is the classical value and no violation at all. So a party maximally entangled with one other is correlated with everybody else exactly as a classical object would be. Nothing about the measurement or the apparatus was assumed; this follows from the state alone.

What a swap costs

The options are the ones A link between two that never met passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

What a swap costs. The strongest correlation the outer pair can show, against how good the pairs that went in were, for a direct pair and for chains of one and three swaps. The pairs are Werner states — a perfect singlet mixed with noise in proportion — and a swap multiplies the parameters, so a chain of n swaps gives p^(n+1) and the imperfections compound rather than adding. The horizontal line at 2 is where a correlation stops being stronger than any list of pre-agreed answers could produce. A direct pair needs p above 0.7071; A chain of 1 swap needs p above 0.8409; A chain of 3 swaps needs p above 0.9170 — each located by bisecting the drawn curve rather than by rearranging the algebra. That compounding is the whole difficulty of building a quantum network: three swaps need pairs of ninety-five per cent fidelity to deliver anything a Bell test would recognise, and a chain long enough to be useful needs either better pairs than anyone can make or a way of improving them in the middle.

The strongest correlation the outer pair can show, against how good the pairs that went in were, for a direct pair and for chains of one and three swaps. The pairs are Werner states — a perfect singlet mixed with noise in proportion — and a swap multiplies the parameters, so a chain of n swaps gives p^(n+1) and the imperfections compound rather than adding. The horizontal line at 2 is where a correlation stops being stronger than any list of pre-agreed answers could produce. A direct pair needs p above 0.7071; A chain of 1 swap needs p above 0.8409; A chain of 3 swaps needs p above 0.9170 — each located by bisecting the drawn curve rather than by rearranging the algebra. That compounding is the whole difficulty of building a quantum network: three swaps need pairs of ninety-five per cent fidelity to deliver anything a Bell test would recognise, and a chain long enough to be useful needs either better pairs than anyone can make or a way of improving them in the middle.

Why the link has to be broken into pieces

The options are the ones A link between two that never met passes. A branch drawn at its own defaults instead would be a picture no essay asked for and no assertion has been run against.

Why the link has to be broken into pieces. The rate at which entangled pairs can be delivered over a given distance of optical fibre, for a direct link and for chains of two to sixteen segments joined by swaps — a logarithmic rate against a linear distance. A photon survives a fibre with a probability falling exponentially, with an attenuation length of about twenty-two kilometres at telecom wavelengths, so a direct link over a thousand kilometres delivers 1.8e-10 pairs a second — one every 174 years, from a source firing ten thousand million times a second. Breaking the link into eight segments divides the exponent by eight rather than the rate, and delivers 4.3e+6 a second instead: a gain of 2e+16. That is what entanglement swapping is for and it is the only thing that works, because amplifying the signal is forbidden — a quantum state cannot be copied, so the classical repeater that rescues an ordinary optical link is not available. The lines assume a memory at each node that holds a half-pair until its neighbour is ready; without one the segments must all succeed at once and the exponential comes straight back.

The rate at which entangled pairs can be delivered over a given distance of optical fibre, for a direct link and for chains of two to sixteen segments joined by swaps — a logarithmic rate against a linear distance. A photon survives a fibre with a probability falling exponentially, with an attenuation length of about twenty-two kilometres at telecom wavelengths, so a direct link over a thousand kilometres delivers 1.8e-10 pairs a second — one every 174 years, from a source firing ten thousand million times a second. Breaking the link into eight segments divides the exponent by eight rather than the rate, and delivers 4.3e+6 a second instead: a gain of 2e+16. That is what entanglement swapping is for and it is the only thing that works, because amplifying the signal is forbidden — a quantum state cannot be copied, so the classical repeater that rescues an ordinary optical link is not available. The lines assume a memory at each node that holds a half-pair until its neighbour is ready; without one the segments must all succeed at once and the exponential comes straight back.

What checks it

physicscheck asserts something about bell-correlation that could fail — it draws it and measures the result against a value reached some other way.

Across the library: 100 interrogated, 2 exercised only, 1 untouched, of 103. Read out of the gate's source by the gate's own two patterns — and the gate's last claim fails the build if that read disagrees with what it was handed while running.

Where it is called

Changing this generator changes every figure on this list. That is what makes the list worth publishing rather than keeping in a check script.

Quantum

A link between two that never met

Take two entangled pairs sharing no particle, measure the two inner particles jointly, and the two outer ones — which have never interacted, never been in the same place, and have no history in common — are entangled. Nothing travelled between them. What has to travel is two classical bits saying which of four results occurred, and until those arrive the outer parties see nothing at all.

Quantum

The corner of Hilbert space that is ever visited

Monogamy between three parties says how much of a correlation a pair may hold. Read across a boundary in a many-body system it says something much stronger: the entanglement between a region and the rest scales with the boundary rather than the volume, for the ground state of anything with local interactions. That is why such a state can be written down at all — and why almost every state in Hilbert space is one that nothing ever prepares.

Quantum

The correlation no instructions can produce

A pair of gloves in two boxes agrees perfectly and needs no physics, because the answers were settled at packing. What no packing can imitate is the shape that appears as the two analysers are turned relative to each other, and the shape is a number — 2.828 where every list of pre-agreed answers is stuck at 2.

Quantum

The disagreement that one run settles

Bell's argument is a statistical one — a correlation of 2.828 where a pre-agreed list of answers is stuck at 2, dug out of hundreds of coincidences. Add a third particle and the argument stops being about how often. Three measurements predict a fourth with certainty, every list of answers that gets the three right gets the fourth exactly backwards, and one run of the experiment is enough.

Quantum

The state that cannot be copied

Every measurement in this collection disturbs what it measures, and the obvious way round that is to make a spare first. It cannot be done, and the reason is not a practical difficulty or a limit on how good an apparatus can be: a copier is a linear machine, so fixing what it does to two states fixes what it does to their superpositions, and what it then does is not a copy.

Quantum

What two have they cannot give a third

Entanglement will not be shared. A pair that violates a Bell inequality is correlated with everything else exactly as a classical object would be, and the trade is exact enough to be drawn: two CHSH values must fit inside a circle of radius 2√2.

The whole library · All essays