Can an experiment tell real values from complex ones? The best-known test of quantum correlations, Bell’s test in the form Clauser, Horne, Shimony and Holt gave it, cannot: two parties sharing one source reach the same ceiling, 2√2, with real values as with complex ones. In 2021 Marc-Olivier Renou and colleagues found a test that can, on one condition. It has three parties and two sources. One source links the first party to the middle one, the other links the middle party to the last, and the middle party measures its two halves together.
If the two sources share nothing, registers composed as real blocks (real values combined by the usual product of two systems) reach a score of at most about 7.66 in that test, a bound found numerically and not known to be tight; composed over the complex numbers they reach 6√2 ≈ 8.49. The measured values are 8.09 ± 0.01 on one chip, with nothing kept apart, and 7.83 ± 0.03 with the sources and the measurements kept apart (Figure 7). So real blocks whose sources share nothing are not how two laboratories compose. The condition matters: real blocks whose sources are allowed to share a suitable state reproduce the complex values (Weilenmann, Gisin and Sekatski, 2025; Hoffreumon and Woods, in two papers of 2026).
On a pair of core registers the clock ticks both, so two ticks act as i on each at once, and that operation squares to plus one: it is not a unit. On the half of the pair’s states that two ticks reverse, it is simply minus one. One register’s own two ticks, with the other left alone, is a unit for the pair: it squares to minus one. Taking the first register’s or the second’s gives the same unit exactly on that half, and there the pair is the product of the two over one complex unit. Proved in the paper · Proposition 29, the complex product inside the real one
On the record, the suitable state that real blocks’ sources would have to share lies in the half of the pair’s product that two ticks reverse, both registers on the same sense of the two-tick turn (Figure 6). The network measurements are therefore evidence that two registers held in two laboratories agree on their unit; with each register’s unit taken as its own two ticks, as the record takes it, that puts their joint states in the half that two ticks reverse. They do not by themselves tell the complex product from real blocks that share that state, and they do not measure the owed statement (below).
This page’s own remark, beyond the paper On the other half the two registers’ units are opposite, and that half is a product over one complex unit too, with the second register’s unit taken as its six ticks (on the core, six ticks are minus two ticks), so every score reachable on one half is reachable on the other: what makes the shared state the same sense of the two-tick turn is taking each unit as the register’s own two ticks. Keeping a pair there also needs each laboratory’s acts to commute with its own register’s two ticks: an act that flips the signs at positions 1 and 5 moves into the other half the whole part of a state held at that register’s odd positions.
Owed Composition: that two registers held by two recognizers (in the textbook, two separate laboratories) are two blocks of one cube, one set of on/off axes, each recognizer acting on its own block, and that their joint states lie in the half of the product that two ticks of the clock reverse, which is their product over one complex unit, and that the read is the one read of the whole cube. The paper does not prove it. The network tests bear on it as evidence: they exclude real blocks whose sources share nothing.
Returning the complex value 6√2 also needs the squared read. It rests on five premises. Two are principal: the position read, owed, that a read weighs each position of a register by the value held there and by nothing else; and that a read’s total is blind to a common turn of the register (every complex value of the register turned by the same angle). Three are mild: reads add over positions, an empty position is silent, and a value larger in size never reads less. Outcomes that are not sets of positions take the textbook’s squared weights, which the paper assumes and does not derive. Returning the value needs attachment too, owed: which posting of the record a laboratory click is, and that one is posted.