Covert Quantum Communication Over Bosonic Channels and Covert Quantum Computing
Evan J. D. Anderson
Abstract
This dissertation explores covertness in two quantum settings: communication and computing. Covert communication refers to transmitting over a channel such that an adversary cannot detect the presence of the transmission, whereas covert quantum computing refers to running computations on a quantum computer that are undetectable by an adversary who is also using the same device. Although these problems arise from different physical phenomena, they share the common goal of preventing an adversary from detecting their operation. We begin by presenting the preliminaries and mathematical tools from quantum information theory required for covert analysis of communication over quantum channels and covert quantum computing. We then proceed to explore covert communication over the lossy thermal-noise bosonic channel, a quantum-mechanical model of many practical channels, including optical ones. First, we characterize the covert capacity region of the degraded lossy thermal-noise bosonic broadcast channel. We extend prior work on degraded bosonic broadcast channels to incorporate photon loss to an adversarial environment. We derive the classical capacity region and the covert capacity for the two-receiver case, and extend them to $M$ receivers. We demonstrate that coherent-state encoding achieves these capacities and establish that time-division is optimal in the covert regime. These results rely on a strong minimum entropy output conjecture, a direct result of the entropy photon-number inequality (EPnI) conjecture. Building on covert communication, we develop a system construction for reliable transmission of covert qubits over an arbitrary quantum channel using single- and dual-rail encodings. We apply this construction to the lossy thermal-noise bosonic channel, thereby deriving achievable rates. We further explore the impact of access to a two-way classical communication link. While a tight upper bound remains an open problem, we provide a converse upper bound by decomposing the channel into a concatenation of a pure-loss channel and a quantum-limited amplifier and discarding the former. These bounds demonstrate a \emph{square root law} (SRL) for covert quantum communication similar to that for classical: $M(n)\propto\sqrt{n}$ qubits can be transmitted covertly and reliably over $n$ uses of the channel. We conjecture that the gap between our lower and upper bounds on the number of reliable covert qubits can be reduced by improving quantum error-correction codes and quantum channel capacity bounds. We then shift our focus to \emph{covert quantum computing}, introducing and formalizing a setting in which an adversary attempts to detect whether computation is occurring on a shared quantum processing unit (QPU) by monitoring a subset of the qubits or qumodes. For superconducting architectures with a nearest-neighbor crosstalk noise model and planar qubit topologies, a circuit remains covert by inserting idle qubits between the qubits running the computation and the remaining qubits on the QPU. Using discrete isoperimetric inequalities, we show that a circuit placement exists such that only $\mathcal{O}(\sqrt{n})$ spectator qubits bordering the circuit provide detection information to an adversary, where $n$ is the number of qubits used for computation. Thus, in this setting, the cost of maintaining covertness while also maintaining reliability of the computation is an additional $\mathcal{O}(\sqrt{n})$ idle border qubits. We experimentally explore this model on IQM's Emerald processor, using Ramsey experiments on the adversary's qubits to detect gate operations. While nearest-neighbor crosstalk was detected as expected, long-range coupling effects were also observed beyond the border qubits, identifying a side channel that an adversary can exploit for detection. Finally, we discuss the outlook, future research directions, and open problems.