SE-QRSC: Sequential QRAC Certification

• SE-QRSC is a sequential, semi-device-independent QRAC framework that implements two consecutive 2-to-1 QRAC tasks on a single qubit to balance information extraction with induced disturbance.
• It employs optimal square-state preparations, unsharp Lüders measurements by Bob, and projective decoding by Charlie to derive an exact closed-form information-disturbance trade-off.
• The framework enables semi-device-independent self-testing by certifying quantum instruments and sharpness parameters via sequential witness values in a three-party prepare-transform-measure model.

“SE-QRSC” (Editor’s term) is most plausibly understood, in the present technical context, as a shorthand for a sequential, semi-device-independent QRAC/certification setting: a three-party prepare-transform-measure scenario in which the simplest $2\to 1$ qubit quantum random access code (QRAC) is implemented twice in sequence on the same physical system. In that framework, Alice prepares a qubit, Bob performs a quantum instrument that both outputs a classical guess and forwards a post-measurement qubit, and Charlie attempts a second QRAC decoding on the disturbed system. The central objects are the sequential QRAC witnesses, their exact information-disturbance trade-off, and the resulting semi-device-independent self-testing of quantum measurement instruments and sharpness parameters (1905.06726).

1. Terminological status and disambiguation

The exact acronym SE-QRSC does not appear as a standard term in the cited literature. The closest direct match is the sequential QRAC framework of “Sequential random access codes and self-testing of quantum measurement instruments” (1905.06726). This suggests that SE-QRSC should be treated as an editorial label rather than an official literature acronym.

Several nearby acronyms are explicitly different. The queueing-based reservoir-computing paper introduces ESQN, not SE-QRSC (Basterrech et al., 2012). The sound-event paper uses residual scSE blocks in SELD, again not SE-QRSC (Naranjo-Alcazar et al., 2020). The shallow-circuit quantum chemistry paper introduces Q-SENSE, not SE-QRSC (Patel et al., 1 Sep 2025). The secure remote sensing paper defines C-QSRS, not SE-QRSC (Rahim et al., 25 Apr 2025). The solar-cell paper uses QRSC to mean quantum ratchet solar cell, which is unrelated to sequential QRAC certification (Zhang et al., 2019).

Source area	Exact term in source	Relation to SE-QRSC
Sequential QRACs	Sequential QRAC / self-testing of instruments	Closest relevant framework
Reservoir computing	ESQN	Unrelated acronym
SELD architectures	residual scSE / modified SELDnet	Unrelated acronym
Quantum chemistry	Q-SENSE	Unrelated acronym
Secure remote sensing	C-QSRS	Unrelated acronym
Solar cells	QRSC = quantum ratchet solar cell	Unrelated meaning

Under this interpretation, SE-QRSC refers not to a distinct named protocol family, but to a sequential QRAC scenario with semi-device-independent certification content.

2. Operational model and formal setting

The operational scenario is a three-party prepare-transform-measure chain. Alice receives a uniformly random input

$x=(x_0,x_1)\in\{0,1\}^2,$

and prepares a qubit state $\rho_x$. Bob receives a random bit

$y\in\{0,1\},$

applies a binary-output quantum instrument, produces a classical output $b\in\{0,1\}$, and forwards the post-measurement qubit. Charlie receives

$z\in\{0,1\},$

measures that same qubit after Bob’s intervention, and outputs $c\in\{0,1\}$ (1905.06726).

The scenario is semi-device-independent because the devices are uncharacterized except for a dimension assumption: Alice’s communication is assumed to be a qubit, and Bob’s outgoing system is also a qubit. This is therefore not a fully device-independent Bell scenario, but a dimension-bounded prepare-transform-measure model.

Bob’s instrument is represented by Kraus operators $\{K_{b|y}\}$, with post-measurement state

$$\rho_x^{y,b}=\frac{K_{b|y}\rho_xK_{b|y}^\dagger}{\mathrm{Tr}\!\left(\rho_x K_{b|y}^\dagger K_{b|y}\right)}.$$

The corresponding POVM elements are

$M_{b|y}=K_{b|y}^\dagger K_{b|y}, \qquad M_{0|y}+M_{1|y}=\openone.$

Charlie uses binary POVMs $x=(x_0,x_1)\in\{0,1\}^2,$0, and the observed statistics are

$x=(x_0,x_1)\in\{0,1\}^2,$1

The essential structural novelty of the sequential setting is that Bob is not merely a decoder. He is an intermediate instrument whose action must balance information gain against disturbance, because Charlie receives the post-measurement system rather than a freshly prepared one. That is why the sequential QRAC setting can certify measurement channels with both classical and quantum outputs, rather than only preparations and measurements.

3. Sequential QRAC witnesses and the optimal trade-off

The first QRAC witness quantifies Bob’s average success probability in decoding the $x=(x_0,x_1)\in\{0,1\}^2,$2-th bit of Alice’s input:

$x=(x_0,x_1)\in\{0,1\}^2,$3

The second witness quantifies Charlie’s average success probability in decoding the $x=(x_0,x_1)\in\{0,1\}^2,$4-th bit after Bob has acted:

$x=(x_0,x_1)\in\{0,1\}^2,$5

Equivalently, Charlie receives the effective ensemble

$x=(x_0,x_1)\in\{0,1\}^2,$6

For each individual $x=(x_0,x_1)\in\{0,1\}^2,$7 RAC, the classical benchmark is

$x=(x_0,x_1)\in\{0,1\}^2,$8

For a single qubit QRAC, the optimal quantum value is

$x=(x_0,x_1)\in\{0,1\}^2,$9

The sequential problem asks: for fixed $\rho_x$0, what is the largest possible $\rho_x$1? The exact answer is the quantum trade-off frontier

$\rho_x$2

valid for

$\rho_x$3

(1905.06726).

This boundary is the exact sequential information-disturbance frontier. Several regimes are particularly important. If Bob is trivial, so that

$\rho_x$4

then Charlie can achieve the optimal single-QRAC value

$\rho_x$5

If Bob is optimal, so that

$\rho_x$6

Charlie still achieves

$\rho_x$7

which remains nontrivial. There is also a symmetric point at which both witnesses are equal and both exceed the classical threshold:

$\rho_x$8

A central implication is that two sequential quantum RAC tasks can both outperform the classical RAC limit on a single qubit, but only along a sharply constrained curve dictated by the disturbance caused by Bob’s instrument.

4. Optimal instruments and self-testing structure

The optimal trade-off is attained by a highly specific instrument family. Alice uses the standard optimal square-state $\rho_x$9 QRAC preparations. Bob measures along the $y\in\{0,1\},$0 and $y\in\{0,1\},$1 axes using unsharp Lüders measurements with sharpness $y\in\{0,1\},$2, and Charlie measures projectively along the same axes (1905.06726).

In observable notation, Bob’s binary observables are

$y\in\{0,1\},$3

In POVM-element form,

$y\in\{0,1\},$4

$y\in\{0,1\},$5

For the explicit optimal construction, Bob’s instrument is Lüders:

$y\in\{0,1\},$6

or, in the self-testing statement, more generally

$y\in\{0,1\},$7

for a common unitary $y\in\{0,1\},$8.

The corresponding witness values are

$y\in\{0,1\},$9

$b\in\{0,1\}$0

Increasing $b\in\{0,1\}$1 makes Bob’s measurement sharper, raises $b\in\{0,1\}$2, and simultaneously lowers $b\in\{0,1\}$3 by increasing disturbance. The optimal curve is therefore not merely a performance bound; it is the operational signature of a particular instrument geometry.

The major certification result is an exact semi-device-independent self-test. If the observed witness pair is optimal,

$b\in\{0,1\}$4

then one self-tests, up to a collective choice of reference frame, three elements: Alice’s preparations as pure square-state QRAC states, Bob’s unsharp instrument aligned with the square’s principal axes, and Charlie’s projective decoding measurements (1905.06726). Concretely, the certified instrument satisfies

$b\in\{0,1\}$5

and Charlie’s measurements are

$b\in\{0,1\}$6

This is the defining reason the sequential QRAC framework is more powerful than ordinary prepare-and-measure QRAC self-testing: Bob’s post-measurement system remains operationally accessible, so the data constrain the measurement instrument, not just the induced POVM.

5. Sharpness certification and robust semi-device-independent bounds

Away from the exact trade-off boundary, the framework still yields robust certification of Bob’s sharpness parameter. Writing a binary qubit observable as

$b\in\{0,1\}$7

the sharpness is the Bloch-vector length

$b\in\{0,1\}$8

under the equal-sharpness assumption.

From Bob’s witness alone one obtains a lower bound:

$b\in\{0,1\}$9

From Charlie’s witness one obtains an upper bound:

$z\in\{0,1\},$0

which is nontrivial when

$z\in\{0,1\},$1

These inequalities are tight, and at optimality they coincide, identifying the exact sharpness (1905.06726).

This sharpness certification is the robust content of the sequential scenario. The paper does not derive a full robust self-test in the metric sense for noisy or suboptimal data. Instead, nonideal observations constrain the instrument to a sharpness interval. That distinction is important. Exact self-testing is available only on the optimal boundary; off the boundary, the framework remains semi-device-independent but yields parameter certification rather than exact reconstruction of the underlying implementation.

A common misconception is that sequential QRACs merely certify incompatibility of Bob’s measurements. In fact, the certified object is stronger: a quantum instrument, meaning a POVM together with its post-measurement channel. The dependence of $z\in\{0,1\},$2 on Bob’s transmitted state is what makes this possible.

6. Geometric method, significance, and open directions

The derivation of the trade-off is analytic rather than primarily SDP-based. Its main ingredients are reduction to extremal qubit instruments via polar decomposition, Bloch-sphere parametrization of preparations, eigenvalue optimization over Charlie’s measurements, and a symmetry reduction showing that the optimal point can be taken to be square-state and equal-sharpness symmetric (1905.06726). A key geometric picture is that Bob’s action preserves the square structure of Alice’s preparations while shrinking the Bloch vectors of the effective ensemble sent to Charlie.

The self-tested preparations form a square in a Bloch-sphere disk. Bob’s optimal measurements lie along the diagonal decoding axes $z\in\{0,1\},$3 and $z\in\{0,1\},$4, and the disturbance they generate is precisely what bends the $z\in\{0,1\},$5 region into the closed-form boundary above. This gives the sequential QRAC setting a clean operational interpretation as a calibrated information-disturbance experiment.

The framework also clarifies what sequentialization adds to QRAC theory. Ordinary QRACs in prepare-and-measure form can self-test states and measurements, but they do not access the post-measurement system. The sequential extension turns the post-measurement state into an observable resource, and thereby upgrades certification from observables to instruments. That is the main conceptual novelty.

The paper also points toward longer chains. If Alice prepares the optimal square states and each observer performs the same projective QRAC measurement, then the $z\in\{0,1\},$6-th observer’s QRAC score is

$z\in\{0,1\},$7

This is not the full optimization for arbitrary long sequential chains, but it exhibits an explicit decay law under repeated disturbance.

Several limitations remain explicit. The exact self-testing claim applies only to optimal boundary points. The noisy case is handled through bounds on sharpness rather than full robust self-testing. Higher-dimensional QRACs and fully optimized longer sequential chains remain open directions (1905.06726). Under the interpretation adopted here, these open questions define the frontier of SE-QRSC as a research theme: extending sequential, semi-device-independent QRAC certification from qubit two-step protocols to broader instrument classes, longer observer chains, and stronger robust guarantees.