A Bell-State Extension of Loop-Back Quantum Key Distribution

Source: arXiv:2606.09723 · Published 2026-06-08 · By Luis Adrián Lizama-Pérez

TL;DR

This work addresses persistent challenges in bidirectional quantum key distribution (QKD) such as classical data leakage, signal-space confinement to predictable subspaces, and limited detectability against substitution or entanglement-swapping attacks. The author introduces a novel Bell-state extension of the Loop-Back QKD architecture that preserves its defining feature of a simplified, measurement-free remote terminal (Bob) while enhancing efficiency and security through entanglement-based encoding. In this scheme, Alice privately prepares and keeps the initial Bell state (serving as a hidden reference frame), Bob performs deterministic local Pauli operations on the traveling qubit, and Alice performs a Bell-state measurement to deterministically infer Bob's operation without basis reconciliation or sifting. By extending encoding into the full four-dimensional Bell space (including both intra- and inter-family Pauli-induced transitions), the protocol lifts the intrinsic 25–26% efficiency ceiling of single-qubit Loop-Back schemes to up to 50% bounded by Bell-state measurement success probabilities. The hidden initial Bell state reference prevents adversaries from reconstructing Bob's encoding map and amplifies disturbance under separable substitution attacks, yielding an intrinsic detection probability of around 3/4 per round. The architecture’s asymmetry and expanded signal space offer heightened security and efficiency suitable for mobile or edge QKD where hardware simplicity, low interaction time, and high loss tolerance are critical.

The results show that local Pauli operations transition Bell states deterministically within and across families, enabling deterministic inference at Alice without basis sifting or public reference disclosure. This contrasts with prior two-way protocols like Ping-Pong which publicly disclose the initial Bell family, leaving them vulnerable to coherent subspace-preserving attacks. The proposed scheme’s concealment of the initial Bell state and exploitation of full Pauli encoding enlarge the effective signal space and improve substitution attack detectability. Thus, this work presents a concrete architectural advance bridging two-way Loop-Back QKD and Bell-state encoding to overcome key practical limitations of earlier passive and deterministic bidirectional quantum communication protocols.

Key findings

• Extension from single-qubit Loop-Back with 2-dimensional encoding to full Bell basis with dimension 4 lifts intrinsic post-selection efficiency from ~25–26% to Bell-state measurement success probability pBSM ≤ 50%.
• Concealing the initial Bell state from adversaries prevents exploitation of intra-family symmetries and public reference frames, rendering Bob’s local Pauli operation map noninvertible to eavesdroppers.
• The deterministic action of local Pauli operations induces both intra-family (I,Z) and inter-family (X,Y) transitions within the Bell basis, enabling deterministic inference at Alice without basis reconciliation.
• Local reduced traveling subsystem remains maximally mixed (ρB = I/2), ensuring operational indistinguishability of Bob’s encoding from Eve’s perspective.
• Substitution (intercept–resend) attacks lead to statistically inconsistent Bell-state measurement outcomes, yielding an intrinsic detection probability Pd of approximately 3/4 per round, substantially amplifying detectability compared to prior two-way protocols.
• Protocol does not require trusted entanglement source; verifies quantum correlations via Bell inequality violation or fidelity checks.
• Architecture allows a passive, measurement-free remote node (Bob), reducing hardware complexity and enabling suitability for mobile or edge QKD deployments under high loss and limited interaction times.

Threat model

The adversary is assumed to have full control over the quantum communication channel connecting Alice and Bob, including the ability to intercept, measure, substitute, or perform entanglement swapping on the traveling qubit. However, the adversary does not have access to Alice’s kept qubit or the knowledge of the initial Bell state chosen privately by Alice. The adversary cannot maintain coherent, lossless quantum memory with full quantum processing to avoid detection, as any interception or substitution necessarily introduces detectable disturbance in the Bell-state measurement statistics.

Methodology — deep read

The proposed protocol is a bidirectional quantum key distribution scheme extending the Loop-Back architecture from single-qubit to entangled Bell-state encoding. The threat model assumes an adversary who can fully intercept and substitute the traveling qubit but does not have access to Alice’s kept qubit or knowledge of the privately chosen initial Bell state. Eve is assumed to have no capability to measure or store quantum states without inducing disturbance detectable by Alice.

Data is conceptual rather than empirical: the protocol’s quantum states are pairs of qubits prepared in one of four Bell states (|Φ+⟩, |Φ−⟩, |Ψ+⟩, |Ψ−⟩), randomly and privately chosen by Alice. The traveling subsystem qubit B is sent to Bob; Alice retains qubit A.

Bob performs deterministic local Pauli operations from the set {I, X, Y, Z} on qubit B to encode two-bit information by inducing transitions within and between Bell families. No measurement or quantum memory is required on Bob’s side; he then returns qubit B through the same channel.

Alice performs a Bell-state measurement (BSM) on the joint qubits (A,B) upon return, projecting into the Bell basis with four orthogonal maximally entangled states. Using a deterministic mapping f derived from the known initial Bell state and the observed measurement outcome, Alice infers Bob’s applied Pauli operation without need for basis reconciliation or sifting. This transforms the problem into a deterministic state transition inference enabled by the group action of the Pauli set on the Bell basis.

Training and hyperparameters per se do not apply; the protocol’s core mechanism is the algebraic property of the Pauli group acting on the initial Bell state. The Bell-state measurement success probability pBSM is bounded by experimental limitations of linear-optical Bell analyzers, currently approximately 50%.

Evaluation metrics focus on the intrinsic detection probability Pd per substitution attack round, which is heuristically 3/4, reflecting the detection sensitivity when adversarial replacement violates statistical Bell-state correlations. Additional quantifiers include the quantum bit error rate (QBER) observed during verification rounds when Bob publicly reveals his applied operations.

Comparisons are made qualitatively against prior two-way QKD protocols (Ping-Pong, LM05, earlier Loop-Back versions) considering encoding space dimension, reference state disclosure, intrinsic efficiency, detectability, and operational complexity of the remote node.

The process can be illustrated in one round:

1. Alice privately selects initial Bell state |χ0⟩ and sends one qubit to Bob.
2. Bob applies random local Pauli UB from {I, X, Y, Z}.
3. Bob returns qubit to Alice.
4. Alice performs BSM obtaining |χexp⟩.
5. Alice infers UB = f(χ0, χexp) deterministically.
6. Steps repeat; a subset is used to estimate QBER and detect Eve.

Code or experimental implementations are not provided, but the design is compatible with current integrated photonic platforms supporting entangled photon sources and linear-optical Bell-state analyzers.

Technical innovations

• Introduction of a concealed initial Bell-state reference known only to Alice, removing public reference frames and preventing coherent subspace attacks.
• Extension of Loop-Back QKD encoding to full four-dimensional Bell basis leveraging both intra-family and inter-family Pauli-induced state transitions for deterministic inference without basis reconciliation.
• Passive, measurement-free remote node (Bob) applying deterministic local Pauli operations enabling simplified hardware suitable for mobile and edge quantum networks.
• Amplification of substitution attack detectability through expansion from two-dimensional to full four-dimensional Bell signal space, producing intrinsic detection probability of ~3/4 per round.

Baselines vs proposed

• Ping-Pong protocol: intrinsic efficiency = 50% vs Loop-Back single-qubit schemes ~25–26% vs proposed ≤ pBSM (up to 50%).
• Detection probability against substitution attacks: Ping-Pong (limited) < proposed scheme (~3/4 intrinsic detection probability).
• Bob’s hardware complexity: active detector presence in LM05 and Ping-Pong vs passive and measurement-free in proposed protocol.

Limitations

• No quantitative secret key rate (SKR) derivation or security proof under general attacks; heuristic formulas only presented.
• Practical implementation relies on high-fidelity entanglement sources and near-deterministic Bell-state measurements which remain experimentally challenging.
• Security analysis limited to separable substitution and intercept-resend attacks; no discussion of coherent or collective attacks with quantum memory.
• Effectiveness under realistic noise models, channel losses, or device imperfections is not thoroughly quantified.
• No code or experimental data released for replication; security and performance rely on algebraic and heuristic analysis.
• No evaluation of protocol performance under asymmetric, correlated noise, or side-channel attacks.

Open questions / follow-ons

• Rigorous secret key rate derivation incorporating realistic noise, loss, and imperfect Bell-state measurement success probabilities.
• Security analysis against coherent, collective, and side-channel attacks beyond separable substitution.
• Exploration of generalized local unitaries beyond Pauli operations to further improve indistinguishability and error tolerance.
• Experimental demonstration evaluating practical fault tolerance and finite-key effects on mobile or edge photonic QKD platforms.

Why it matters for bot defense

This paper is primarily relevant to bot-defense and CAPTCHA practitioners interested in the secure, hardware-constrained environments such as mobile or edge quantum cryptography. The protocol exemplifies how architectural design choices—such as restricting active operations to a simplified remote node and concealing reference states—yield inherent operational security and efficiency benefits in adversarial settings.

From a bot-defense perspective, the protocol’s approach of expanding the signal space to amplify adversarial detection probability and leveraging algebraic group actions to prevent encoding reconstruction provides conceptual parallels to robust challenge-response systems that conceal internal references to frustrate replay or substitution attacks. Additionally, the emphasis on low interaction overhead with deterministic inference and the avoidance of basis sifting aligns with needs in resource-limited or latency-sensitive deployments, analogous to certain automated bot-detection workflows. However, this quantum protocol does not directly address classical CAPTCHA designs but rather contributes architectural insights relevant to future-proofing cryptographic channels, including those that may underpin secure bot-resistance in networked quantum or hybrid classical-quantum infrastructures.

Cite

@article{arxiv2606_09723,
  title={ A Bell-State Extension of Loop-Back Quantum Key Distribution },
  author={ Luis Adrián Lizama-Pérez },
  journal={arXiv preprint arXiv:2606.09723},
  year={ 2026 },
  url={https://arxiv.org/abs/2606.09723}
}

Read the full paper

• arXiv:2606.09723 (abstract)
• arXiv:2606.09723 (PDF)