= Solution
For the stated pure product inputs, each local classical output is uniformly $c(\psi_X)$ or $c(\psi_X^\perp)$, independently of the remote bit and state. Those cases alone are therefore non-signalling.
The behavior on entangled inputs is not fixed by the specification, because a qubit entangled with another system has an <improper mixed state> rather than its own pure state vector. A naive extension that reports a remotely steered pure-state decomposition would permit signalling: one party could choose a measurement basis on half of an entangled pair, and the other party's infinite-precision descriptions would distinguish the resulting ensembles even though they have the same reduced density matrix.
That extension is not forced. For example, the boxes may base outputs only on the <local quantum state under objective collapse>, or use a fixed ensemble determined solely by the local reduced density matrix; they may also reject inputs that are not pure local states. If one or both input qubits are entangled, such a local rule can output a description of the same local mixed state, a fixed basis ensemble for it, or a designated invalid-input result, all independently of spacelike-separated choices. The device therefore does not *necessarily* allow superluminal signalling, although nonlocal pure-state-readout extensions would do so.
Back to article page
