Searcharxiv⌕ Search

arXiv subjects

Matthew McKague

Publications and source records attributed to Matthew McKague.

At least 19 recordsLinked to original sources
arXiv2024

A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies

Quantum computing is emerging as a significant threat to information protected by widely used cryptographic systems. Cryptographic methods, once deemed secure for decades, are now at risk of being compromised, posing a massive threat to the security of sensitive data and communications across enterprises worldwide. As a result, there is an urgent need to migrate to quantum-resistant cryptographic systems. This is no simple task. Migrating to a quantum-safe state is a complex process, and many organisations lack the in-house expertise to navigate this transition without guidance. In this paper, we present a comprehensive framework designed to assist enterprises with this migration. Our framework outlines essential steps involved in the cryptographic migration process, and leverages existing organisational inventories. The framework facilitates the efficient identification of cryptographic assets and can be integrated with other enterprise frameworks smoothly. To underscore its practicality and effectiveness, we have incorporated case studies that utilise graph-theoretic techniques to pinpoint and assess cryptographic dependencies. This is useful in prioritising crypto-systems for replacement.

cs.CR↗
arXiv2018

Bell monogamy relations in arbitrary qubit networks

Characterizing trade-offs between simultaneous violations of multiple Bell inequalities in a large network of qubits is computationally demanding. We propose a graph-theoretic approach to efficiently produce Bell monogamy relations in arbitrary arrangements of qubits. All the relations obtained for bipartite Bell inequalities are tight and leverage only a single Bell monogamy relation. This feature is unique to bipartite Bell inequalities, as we show that there is no finite set of such elementary monogamy relations for multipartite inequalities. Nevertheless, many tight monogamy relations for multipartite inequalities can be obtained with our method as shown in explicit examples.

quant-ph↗
arXiv2017

Self-testing in parallel with CHSH

Self-testing allows classical referees to verify the quantum behaviour of some untrusted devices. Recently we developed a framework for building large self-tests by repeating a smaller self-test many times in parallel. However, the framework did not apply to the CHSH test, which tests a maximally entangled pair of qubits. CHSH is the most well known and widely used test of this type. Here we extend the parallel self-testing framework to build parallel CHSH self-tests for any number of pairs of maximally entangled qubits. Our construction achieves an error bound which is polynomial in the number of tested qubit pairs.

quant-ph↗
arXiv2016

Self-testing high dimensional states using the generalized magic square game

To date all self-tests for high dimensional systems are confined to many-qubit states. This is due to two restrictions in the literature: the standard techniques for proving self-testing results apply only to qubits, and there are few suitable non-local games that are known to require high dimensional non-qubit states to achieve their optimal quantum value. In this paper we address these two problems. Specifically, we generalize the usual self-testing framework to q$d$its and then apply it to a generalization of the magic square game, giving a self-test for two maximally entangled pairs of q$d$its. This self-test has two parties, perfect completeness for honest quantum players, and requires only a constant number of measurement settings, regardless of the dimension $d$.

quant-ph↗
arXiv2016

Device-independent parallel self-testing of two singlets

Device-independent self-testing is the possibility of certifying the quantum state and the measurements, up to local isometries, using only the statistics observed by querying uncharacterized local devices. In this paper, we study parallel self-testing of two maximally entangled pairs of qubits: in particular, the local tensor product structure is not assumed but derived. We prove two criteria that achieve the desired result: a double use of the Clauser-Horne-Shimony-Holt inequality and the $3\times 3$ Magic Square game. This demonstrate that the magic square game can only be perfectly won by measureing a two-singlets state. The tolerance to noise is well within reach of state-of-the-art experiments.

quant-ph↗
arXiv2015

Self-testing in parallel

Self-testing allows us to determine, through classical interaction only, whether some players in a non-local game share particular quantum states. Most work on self-testing has concentrated on developing tests for small states like one pair of maximally entangled qubits, or on tests where there is a separate player for each qubit, as in a graph state. Here we consider the case of testing many maximally entangled pairs of qubits shared between two players. Previously such a test was shown where testing is sequential, i.e., one pair is tested at a time. Here we consider the parallel case where all pairs are tested simultaneously, giving considerably more power to dishonest players. We derive sufficient conditions for a self-test for many maximally entangled pairs of qubits shared between two players and also two constructions for self-tests where all pairs are tested simultaneously.

quant-ph↗
arXiv2015

On the power quantum computation over real Hilbert spaces

We consider the power of various quantum complexity classes with the restriction that states and operators are defined over a real, rather than complex, Hilbert space. It is well know that a quantum circuit over the complex numbers can be transformed into a quantum circuit over the real numbers with the addition of a single qubit. This implies that BQP retains its power when restricted to using states and operations over the reals. We show that the same is true for QMA(k), QIP(k), QMIP, and QSZK.

quant-ph↗
arXiv2015

Interactive proofs for BQP via self-tested graph states

Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in BQP with a polynomial number of quantum provers, each of which, in the honest case, performs only a single measurement. Our techniques use self-tested graph states. In this regard we introduce two important improvements over previous work. Specifically, we derive new error bounds which scale polynomially with the size of the graph compared with exponential dependence on the size of the graph in previous work. We also extend the self-testing error bounds on measurements to a very general set which includes the adaptive measurements used for measurement-based quantum computation as a special case.

quant-ph↗
arXiv2013

Interactive proofs for BQP via self-tested graph states (extended abstract)

Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in BQP with a polynomial number of quantum provers, each of which, in the honest case, performs only a single measurement. Our techniques use self-tested graph states which allow us to test the provers for honesty, establishing that they hold onto a particular graph state and measure it in specified bases. In this extended abstract we give an overview of the construction and proofs.

quant-ph↗
arXiv2013

Entanglement improves classical control

Electronic devices all around us contain classical control circuits. Such circuits consist of a network of controllers which can read and write signals to wires of the circuit with the goal to minimize the cost function of the circuit's output signal. Here, we propose the use of shared entanglement between controllers as a resource to improve the performance of otherwise purely classical control circuits. We study a well-known example from the classical control literature and demonstrate that allowing two controllers to share entanglement improves their ability to control. More precisely, we exhibit a family of circuits in which the the cost function using entanglement stays constant, but the minimal cost function without entanglement grows arbitrarily large. This demonstrates that entanglement can be a powerful resource in a classical control circuit.

quant-ph↗
arXiv2013

Insider-proof encryption with applications for quantum key distribution

It has been pointed out that current protocols for device independent quantum key distribution can leak key to the adversary when devices are used repeatedly and that this issue has not been addressed. We introduce the notion of an insider-proof channel. This allows us to propose a means by which devices with memories could be reused from one run of a device independent quantum key distribution protocol to the next while bounding the leakage to Eve, under the assumption that one run of the protocol could be completed securely using devices with memories.

quant-ph↗
arXiv2012

Robust Self Testing of the Singlet

In this paper, we introduce a general framework to study the concept of robust self testing which can be used to self test EPR pairs and local measurement operators. The result is based only on probabilities obtained from experiment, with tolerance to experimental errors. In particular, we show that if results of experiment come approach the Cirel'son bound, or approximates the Mayers-Yao type correlation, then the experiment must contain an approximate EPR pair. More specifically, there exist local bases in which the physical state is close to an EPR pair, possibly all encoded in a larger environment or ancilla. Moreover, in theses bases the measurements are close to the qubit operators used to achieve the Cirel'son bound or the Mayers-Yao results.

quant-ph↗
arXiv2010

Self-testing graph states

We give a construction for a self-test for any connected graph state. In other words, for each connected graph state we give a set of non-local correlations that can only be achieved (quantumly) by that particular graph state and certain local measurements. The number of correlations considered is small, being linear in the number of vertices in the graph. We also prove robustness for the test.

quant-ph↗
arXiv2010

Quantum Information Processing with Adversarial Devices

We consider several applications in black-box quantum computation in which untrusted physical quantum devices are connected together to produce an experiment. By examining the outcome statistics of such an experiment, and comparing them against the desired experiment, we may hope to certify that the physical experiment is implementing the desired experiment. This is useful in order to verify that a calculation has been performed correctly, that measurement outcomes are secure, or that the devices are producing the desired state.

quant-ph↗
arXiv2010

Generalized self-testing and the security of the 6-state protocol

Self-tested quantum information processing provides a means for doing useful information processing with untrusted quantum apparatus. Previous work was limited to performing computations and protocols in real Hilbert spaces, which is not a serious obstacle if one is only interested in final measurement statistics being correct (for example, getting the correct factors of a large number after running Shor's factoring algorithm). This limitation was shown by McKague et al. to be fundamental, since there is no way to experimentally distinguish any quantum experiment from a special simulation using states and operators with only real coefficients. In this paper, we show that one can still do a meaningful self-test of quantum apparatus with complex amplitudes. In particular, we define a family of simulations of quantum experiments, based on complex conjugation, with two interesting properties. First, we are able to define a self-test which may be passed only by states and operators that are equivalent to simulations within the family. This extends work of Mayers and Yao and Magniez et al. in self-testing of quantum apparatus, and includes a complex measurement. Second, any of the simulations in the family may be used to implement a secure 6-state QKD protocol, which was previously not known to be implementable in a self-tested framework.

quant-ph↗
arXiv2009

Quaternionic quantum mechanics allows non-local boxes

We consider non-local properties of quanternionic quantum mechanics, in which the complex numbers are replaced by the quaternions as the underlying algebra. Specifically, we show that it is possible to construct a non-local box. This allows one to rule out quaternionic quantum mechanics using assumptions about communication complexity or information causality.

quant-ph↗
arXiv2009

Device independent quantum key distribution secure against coherent attacks with memoryless measurement devices

Device independent quantum key distribution aims to provide a higher degree of security than traditional QKD schemes by reducing the number of assumptions that need to be made about the physical devices used. The previous proof of security by Pironio et al. applies only to collective attacks where the state is identical and independent and the measurement devices operate identically for each trial in the protocol. We extend this result to a more general class of attacks where the state is arbitrary and the measurement devices have no memory. We accomplish this by a reduction of arbitrary adversary strategies to qubit strategies and a proof of security for qubit strategies based on the previous proof by Pironio et al. and techniques adapted from Renner.

quant-ph↗