SearcharxivSearch

arXiv subjects

Alastair Kay

Publications and source records attributed to Alastair Kay.

At least 19 recordsLinked to original sources

The strength of weak coupling

A paradoxical idea in quantum transport is that attaching weakly-coupled edges to a large base graph creates high-fidelity quantum state transfer. We provide a mathematical treatment that rigorously prove this folklore idea. Our proofs are elementary and build upon the Feshbach-Schur method from perturbation theory. We also show the idea is effective in circumventing Anderson localization in spin chains and finding speedups in hitting times useful for quantum search.

quant-ph

Communication-Optimal Blind Quantum Protocols

A user, Alice, wants to get server Bob to implement a quantum computation for her. However, she wants to leave him blind to what she's doing. What are the minimal communication resources Alice must use in order to achieve information-theoretic security? In this paper, we consider a single step of the protocol, where Alice conveys to Bob whether or not he should implement a specific gate. We use an entropy-bounding technique to quantify the minimum number of qubits that Alice must send so that Bob cannot learn anything about the gate being implemented. We provide a protocol that saturates this bound. In this optimal protocol, the states that Alice sends may be entangled. For Clifford gates, we prove that it is sufficient for Alice to send separable states.

quant-ph

Matrix Inversion by Quantum Walk

The HHL algorithm for matrix inversion is a landmark algorithm in quantum computation. Its ability to produce a state $|x\rangle$ that is the solution of $Ax=b$, given the input state $|b\rangle$, is envisaged to have diverse applications. In this paper, we substantially simplify the algorithm, originally formed of a complex sequence of phase estimations, amplitude amplifications and Hamiltonian simulations, by replacing the phase estimations with a continuous time quantum walk. The key technique is the use of weak couplings to access the matrix inversion embedded in perturbation theory.

quant-ph

Optimising Perfect Quantum State Transfer for Timing Insensitivity

When studying the perfect transfer of a quantum state from one site to another, it is typically assumed that one can receive the arriving state at a specific instant in time, with perfect accuracy. Here, we study how sensitive perfect state transfer is to that timing. We design engineered spin chains which reduce their sensitivity, proving that this construction is asymptotically optimal. The same construction is applied to the task of creating superpositions, also known as fractional revival.

quant-ph

Transversal Gates for Highly Asymmetric qLDPC Codes

Transversal gates are the ideal gates in a fault-tolerant scenario; relatively easy to implement, and minimally error propagating. Their availability will maximise fault tolerant thresholds, enabling universal quantum computation in a wider range of noisy hardware. Transversal gates in quantum low density parity check (qLDPC) codes are largely unstudied, with the early results of Burton & Browne suggesting that transversal non-Clifford gates may be impossible. In this paper, we contradict this expectation with constructions for both hypergraph product codes and balanced product codes, although these first examples have weak properties. We find qLDPC codes with transversal phase gates that have a number of logical qubits that grows linearly with $n$, the number of physical qubits. The distance is highly asymmetric; while the distance against bit flip errors also grows (almost) linearly in $n$, the distance against phase flip errors is limited to $O(1)$. Moreover, existing distance rebalancing techniques are one-sided; we show that they only preserve the transversality when rebalancing to increase the asymmetry, not decrease it. We also collate a toolbox of techniques that identify a single transversal gate from which we can individuate a large range of different transversal gates. This is critical when addressing the question of what a transversal phase gate truly means when there are many logical qubits in the system.

quant-ph

Demystifying the Balanced Product Code: A Review

The discovery of the family of balanced product codes was pivotal in the subsequent development of 'good' low density quantum error correcting codes that have optimal scaling of the key parameters of distance and storage density. We review this family, giving a completely different presentation to the original, minimising the abstraction and technicalities wherever possible. The target audience is anyone familiar with the stabilizer formalism for error correction wanting to understand how parity-check matrices can be constructed for high storage density quantum codes.

quant-ph

Efficient Post-Quantum Secured Blind Computation

In the medium term, quantum computing must tackle two key challenges: fault tolerance and security. Fault tolerance will be solved with sufficiently high quality experiments on large numbers of qubits, but the scale and complexity of these devices means that a cloud-based access model is likely to dominate. How can we risk evaluating valuable computations on an untrusted server? Here we detail a verifiable circuit-based model that only requires classical communication between parties. The server is blind to the details of the computation, which is computationally secure.

quant-ph

The Smallest Code with Transversal T

We prove that the smallest distance 3 Quantum Error Correcting Code with a transversal gate outside the Clifford group is the well-known 15-qubit Reed-Muller code, also known as a tri-orthogonal code. Our result relies on fewer assumptions than previous works. We further extend this result by finding the minimal code that also possesses any other non Clifford transversal single-qubit gate.

quant-ph

Implementing Clifford Gates on Stabilizer Codes via Measurement

We describe a method to use measurements and correction operations in order to implement the Clifford group in a stabilizer code, generalising a result from [Bombin,2011] for topological subsystem colour codes. In subsystem stabilizer codes of distance at least $3$ the process can be implemented fault-tolerantly. In particular this provides a method to implement a logical Hadamard-type gate within the 15-qubit Reed-Muller quantum code by measuring and correcting only three observables. This is an alternative to the method proposed by [Paetznick and Reichardt, 2013] to generate a set of gates which is universal for quantum computing for this code. The construction is inspired by the description of code rewiring from [Colladay and Mueller, 2018]. Inspired by the code rewiring strategy of [Colladay and Mueller, 2018], we describe a method to use measurements and correction operations in order to implement the Clifford group in the code space of any stabilizer code, and we specify a sufficient set of conditions under which the distance of the code is preserved throughout. In particular this provides a method to implement a logical Hadamard-type gate within the 15-qubit Reed-Muller quantum code by measuring and correcting only two observables, providing the only non-transversal gate required for universality. Furthermore this approach is applicable to the toric code and quantum LDPC code

quant-ph

A Note on the Speed of Perfect State Transfer

In Phys. Rev. A 74, 030303 (2006), Yung showed that for a one-dimensional spin chain of length $N$ and maximum coupling strength $J_{\max}$, the time $t_0$ for a quantum state to transfer from one end of the chain to another is bounded by $J_{\max} t_0\geqπN/4$ (even $N$) and $J_{\max} t_0\geqπ\sqrt{N^2-1}/4$ (odd $N$). The proof for even $N$ was elegant, but the proof for odd $N$ was less so. This note provides a proof for the odd $N$ case that is simpler, and more in keeping with the proof for the even case.

quant-ph

Breaking the Speed Limit for Perfect Quantum State Transfer

We describe a protocol for perfectly transferring a quantum state from one party to another under the dynamics of a fixed, engineered Hamiltonian. Our protocol combines the concepts of fractional revival, dual rail encoding, and a rare glimpse of the anti-Zeno effect. Remarkably, the transfer happens faster than the speed limit for perfect quantum state transfer [1, 2].

quant-ph

Encoded State Transfer: Beyond the Uniform Chain

In a recent work (arXiv:2207.01954), we showed that a uniformly coupled chain could be symmetrically extended by engineered spin chains in such a way that we could choose part of the spectrum of the overall system. When combined with an encoding that avoids the uncontrolled eigenvalues, this resulted in the possibility of achieving a range of tasks such as perfect quantum state transfer. In this paper, we apply the same strategy to a much broader range of initial systems - arbitrary chains, and even coupled networks of spins - while providing guarantees on the existence of solutions.

quant-ph

The Limits of Quantum State Transfer for Field-Free Heisenberg Chains

In a one-dimensional Heisenberg chain, we show that there are no sets of coupling strengths such that the evolution perfectly transfers a quantum state between the two ends of the chain without the addition of magnetic fields. In lieu of perfect transfer, we consider a range of options for achieving high quality transfer, whether in finite time, or via "pretty good" transfer where one waits long times in the hope of getting arbitrarily close to perfect transfer. In attempting to engineer arbitrarily accurate transfer, we explore a new paradigm that facilitates time estimates for achieving any target accuracy $ε$ for the transfer.

quant-ph

Incorporating Encoding into Quantum System Design

When creating a quantum system whose natural dynamics provide useful computational operations, designers have two key tools at their disposal: the (constrained) choice of both the Hamiltonian and the the initial state of the system (an encoding). Typically, we fix the design, and utilise encodings post factum to tolerate experimental imperfections. In this paper, we describe a vital insight that incorporates encoding into the design process, with radical consequences. This transforms the study of perfect state transfer from the unrealistic scenario of specifying the Hamiltonian of an entire system to the far more realistic situation of being given a Hamiltonian over which we had no choice in the design, and designing time control of just two parameters to still achieve perfect transfer.

quant-ph

Noise reducing encoding strategies for spin chains

We present an encoding technique that reduces the effects of noise on quantum spin systems whose operation is driven by Hamiltonian evolution. This technique is widely applicable, being most relevant to the scenarios where there are insufficient qubits to permit full scale error correction. Instead, our technique can be implemented over small numbers of qubits and still leads to noticeable improvements in the fidelity of operations. The encoding scheme is easy to implement, flexible with respect to choice of Hamiltonian, and close to optimal.

quant-ph

Combatting the Effects of Disorder in Quantum State Transfer

In this paper, we examine disorder (i.e. static imperfections in manufacture) for the fixed-Hamiltonian evolution protocol of quantum state transfer. We improve the performance by optimising the choice of Hamiltonian, and by implementing an encoding/decoding procedure on small regions at either end of the chain. We find that encoding in only the single excitation subspace is optimal, and provides substantial enhancement to the operating regime of these systems.

quant-ph

The Perfect State Transfer Graph Limbo

Perfect state transfer between qubits on a uniformly coupled network, with interactions specified by a graph, has advantages over an engineered chain, such as much faster transfer times (independent of the distance between the input and output vertices). This is achieved by many couplings working in parallel. The trade-offs seem to be the need for increasing connectivity between qubits, and a large number of vertices in the graph. The size of existing graph constructions scale exponentially in the transfer distance, making these schemes impractical over anything but the shortest distances. This prompts the question of "How low can you go?" for the size of the graph achieving a particular transfer distance. In this paper, we present reductions in the vertex count required, although the overall scaling with transfer distance remains exponential. We also tighten existing bounds on the required degree of the vertices of the graph.

quant-ph

Tutorial on the Quantikz Package

This tutorial introduces (and provides, via the document source) the Quantikz LaTeX package for typesetting quantum circuit diagrams. This takes advantage of tikz to give greater control over the circuit options. Those familiar with the excellent QCircuit package will recognise much of the notation, although it has evolved a bit (hopefully simplified!).

quant-ph