<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Elham Kashefi | LIP6 - Équipe QI</title><link>https://qi.lip6.fr/fr/people/elham-kashefi/</link><atom:link href="https://qi.lip6.fr/fr/people/elham-kashefi/index.xml" rel="self" type="application/rss+xml"/><description>Elham Kashefi</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>fr</language><copyright>© 2022 LIP6 Quantum Information Team</copyright><lastBuildDate>Mon, 06 Jul 2026 00:00:00 +0000</lastBuildDate><image><url>https://qi.lip6.fr/fr/people/elham-kashefi/avatar_hu_4f1bfd38fd9cd564.jpg</url><title>Elham Kashefi</title><link>https://qi.lip6.fr/fr/people/elham-kashefi/</link></image><item><title>Private training in quantum machine learning</title><link>https://qi.lip6.fr/fr/publication/5681512-private-training-in-quantum-machine-learning/</link><pubDate>Mon, 06 Jul 2026 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/5681512-private-training-in-quantum-machine-learning/</guid><description>&lt;p&gt;With the emergence of machine learning (ML) models trained on large datasets containing potentially sensitive data, a major question in AI safety is how to make learning private with respect to the training data. Similar to classical machine learning, quantum machine learning (QML) models are not devoid of privacy vulnerabilities. Differential privacy (DP) is a standard tool for training ML models on sensitive data, but its impact in QML remains poorly understood. In this work we study private training in hybrid variational QML models using a classical private DP-SGD optimizer applied to pipelines with classical inputs and outputs. We analyze the interplay between gradient clipping and calibrated noise addition in DP-SGD, and its impact on optimization and accuracy for noisy and noiseless quantum models. We first explain why quantum noise does not provide a satisfactory replacement for the calibrated noise in DP-SGD for ensuring privacy. We then show how the deterministic bounds on gradient norms for a wide class of quantum models translate into explicit control of the detrimental clipping bias introduced by DP-SGD. Finally, we formulate a numerical comparison protocol under fixed clipping threshold and privacy budget and evaluate it on synthetic and image-classification tasks for equivalent quantum and classical models. Our results suggest that quantum models can retain higher accuracy in private-training regimes where the formal privacy guarantee is ensured by a classical DP-SGD mechanism.&lt;/p&gt;</description></item><item><title>Toward quantum advantage with photonic state injection</title><link>https://qi.lip6.fr/fr/publication/5409630-toward-quantum-advantage-with-photonic-state-injection/</link><pubDate>Fri, 11 Jul 2025 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/5409630-toward-quantum-advantage-with-photonic-state-injection/</guid><description>&lt;p&gt;We propose a new scheme for near-term photonic quantum devices that allows us to increase the expressive power of the quantum models beyond what linear optics can do. This scheme relies upon state injection, a measurement-based technique that can produce states that are more controllable, and solve learning tasks that are believed to be intractable classically. We explain how circuits made of linear optical architectures separated by state injections are well-suited for experimental implementation. In addition, we give theoretical results regarding the evolution of the purity of the resulting states, and we discuss how it impacts the distinguishability of the circuit outputs. Finally, we study a computational subroutine of learning algorithms named probability estimation, and we show that the state injection scheme we propose may offer a potential quantum advantage in a regime that can be more easily achieved than state-of-the-art adaptive techniques. Our analysis offers new possibilities for near-term advantage that rely on overcoming fewer experimental difficulties.&lt;/p&gt;</description></item><item><title>Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning</title><link>https://qi.lip6.fr/fr/publication/5290907-trainability-and-expressivity-of-hamming-weight-preserving-quantum-circuits-for-machine-learning/</link><pubDate>Thu, 15 May 2025 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/5290907-trainability-and-expressivity-of-hamming-weight-preserving-quantum-circuits-for-machine-learning/</guid><description>&lt;p&gt;Quantum machine learning (QML) has become a promising area for real world applications of quantum computers, but near-term methods and their scalability are still important research topics. In this context, we analyze the trainability and controllability of specific Hamming weight preserving variational quantum circuits (VQCs). These circuits use qubit gates that preserve subspaces of the Hilbert space, spanned by basis states with fixed Hamming weight k . In this work, we first design and prove the feasibility of new heuristic data loaders, performing quantum amplitude encoding of ( n k ) -dimensional vectors by training an n -qubit quantum circuit. These data loaders are obtained using controllability arguments, by checking the Quantum Fisher Information Matrix (QFIM)&amp;rsquo;s rank. Second, we provide a theoretical justification for the fact that the rank of the QFIM of any VQC state is almost-everywhere constant, which is of separate interest. Lastly, we analyze the trainability of Hamming weight preserving circuits, and show that the variance of the l 2 cost function gradient is bounded according to the dimension ( n k ) of the subspace. This proves conditions of existence/lack of Barren Plateaus for these circuits, and highlights a setting where a recent conjecture on the link between controllability and trainability of variational quantum circuits does not apply.&lt;/p&gt;</description></item><item><title>Non-Interactive and Non-Destructive Zero-Knowledge Proofs on Quantum States and Multi-Party Generation of Authorized Hidden GHZ States</title><link>https://qi.lip6.fr/fr/publication/3452711-non-interactive-and-non-destructive-zero-knowledge-proofs-on-quantum-states-and-multi-party-generation-of-authorized-hidden-ghz-states/</link><pubDate>Fri, 11 Apr 2025 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452711-non-interactive-and-non-destructive-zero-knowledge-proofs-on-quantum-states-and-multi-party-generation-of-authorized-hidden-ghz-states/</guid><description>&lt;p&gt;We propose the first generalization of the famous Non-Interactive Zero-Knowledge (NIZK) proofs to quantum languages (NIZKoQS) and we provide a protocol to prove advanced properties on a received quantum state non-destructively and non-interactively (a single message being sent from the prover to the verifier).In our second orthogonal contribution, we improve the costly Remote State Preparation protocols [Cojocaru et al. 2019; Gheorghiu and Vidick 2019] that can classically fake a quantum channel (this is at the heart of our NIZKoQS protocol) by showing how to create a multi-qubit state from a single superposition.Finally, we generalize these results to a multi-party setting and prove that multiple parties can anonymously distribute a GHZ state in such a way that only participants knowing a secret credential can share this state, which could have applications to quantum anonymous transmission, quantum secret sharing, quantum onion routing and more.&lt;/p&gt;</description></item><item><title>Subspace preserving quantum convolutional neural network architectures</title><link>https://qi.lip6.fr/fr/publication/4993946-subspace-preserving-quantum-convolutional-neural-network-architectures/</link><pubDate>Wed, 01 Jan 2025 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4993946-subspace-preserving-quantum-convolutional-neural-network-architectures/</guid><description>&lt;p&gt;Subspace preserving quantum circuits are a class of quantum algorithms that, relying on some symmetries in the computation, can offer theoretical guarantees for their training. Those algorithms have gained extensive interest as they can offer polynomial speed-up and can be used to mimic classical machine learning algorithms. In this work, we propose a novel convolutional neural network architecture model based on Hamming weight preserving quantum circuits. In particular, we introduce convolutional layers, and measurement based pooling layers that preserve the symmetries of the quantum states while realizing non-linearity using gates that are not subspace preserving. Our proposal offers significant polynomial running time advantages over classical deep-learning architecture. We provide an open source simulation library for Hamming weight preserving quantum circuits that can simulate our techniques more efficiently with GPU-oriented libraries. Using this code, we provide examples of architectures that highlight great performances on complex image classification tasks with a limited number of qubits, and with fewer parameters than classical deep-learning architectures.&lt;/p&gt;</description></item><item><title>A unifying framework for differentially private quantum algorithms</title><link>https://qi.lip6.fr/fr/publication/4800455-a-unifying-framework-for-differentially-private-quantum-algorithms/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800455-a-unifying-framework-for-differentially-private-quantum-algorithms/</guid><description>&lt;p&gt;Differential privacy is a widely used notion of security that enables the processing of sensitive information. In short, differentially private algorithms map &amp;ldquo;neighbouring&amp;rdquo; inputs to close output distributions. Prior work proposed several quantum extensions of differential privacy, each of them built on substantially different notions of neighbouring quantum states. In this paper, we propose a novel and general definition of neighbouring quantum states. We demonstrate that this definition captures the underlying structure of quantum encodings and can be used to provide exponentially tighter privacy guarantees for quantum measurements. Our approach combines the addition of classical and quantum noise and is motivated by the noisy nature of near-term quantum devices. Moreover, we also investigate an alternative setting where we are provided with multiple copies of the input state. In this case, differential privacy can be ensured with little loss in accuracy combining concentration of measure and noise-adding mechanisms. En route, we prove the advanced joint convexity of the quantum hockey-stick divergence and we demonstrate how this result can be applied to quantum differential privacy. Finally, we complement our theoretical findings with an empirical estimation of the certified adversarial robustness ensured by differentially private measurements.&lt;/p&gt;</description></item><item><title>Agnostic Process Tomography</title><link>https://qi.lip6.fr/fr/publication/4800353-agnostic-process-tomography/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800353-agnostic-process-tomography/</guid><description>&lt;p&gt;Characterizing a quantum system by learning its state or evolution is a fundamental problem in quantum physics and learning theory with a myriad of applications. Recently, as a new approach to this problem, the task of agnostic state tomography was defined, in which one aims to approximate an arbitrary quantum state by a simpler one in a given class. Generalizing this notion to quantum processes, we initiate the study of agnostic process tomography: given query access to an unknown quantum channel $\Phi$ and a known concept class $\mathcal{C}$ of channels, output a quantum channel that approximates $\Phi$ as well as any channel in the concept class $\mathcal{C}$, up to some error. In this work, we propose several natural applications for this new task in quantum machine learning, quantum metrology, classical simulation, and error mitigation. In addition, we give efficient agnostic process tomography algorithms for a wide variety of concept classes, including Pauli strings, Pauli channels, quantum junta channels, low-degree channels, and a class of channels produced by $\mathsf{QAC}^0$ circuits. The main technical tool we use is Pauli spectrum analysis of operators and superoperators. We also prove that, using ancilla qubits, any agnostic state tomography algorithm can be extended to one solving agnostic process tomography for a compatible concept class of unitaries, immediately giving us efficient agnostic learning algorithms for Clifford circuits, Clifford circuits with few T gates, and circuits consisting of a tensor product of single-qubit gates. Together, our results provide insight into the conditions and new algorithms necessary to extend the learnability of a concept class from the standard tomographic setting to the agnostic one.&lt;/p&gt;</description></item><item><title>Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority</title><link>https://qi.lip6.fr/fr/publication/4800472-asymmetric-quantum-secure-multi-party-computation-with-weak-clients-against-dishonest-majority/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800472-asymmetric-quantum-secure-multi-party-computation-with-weak-clients-against-dishonest-majority/</guid><description>&lt;p&gt;Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a protocol that lifts classical SMPC to quantum SMPC in a composably and statistically secure way, even for a single honest party. Unlike previous quantum SMPC protocols, our proposal only requires very limited quantum resources from all but one party; it suffices that the weak parties, i.e. the clients, are able to prepare single-qubit states in the X-Y plane. The novel quantum SMPC protocol is constructed in a naturally modular way, and relies on a new technique for quantum verification that is of independent interest. This verification technique requires the remote preparation of states only in a single plane of the Bloch sphere. In the course of proving the security of the new verification protocol, we also uncover a fundamental invariance that is inherent to measurement-based quantum computing.&lt;/p&gt;</description></item><item><title>Constrained and Vanishing Expressivity of Quantum Fourier Models</title><link>https://qi.lip6.fr/fr/publication/4800437-constrained-and-vanishing-expressivity-of-quantum-fourier-models/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800437-constrained-and-vanishing-expressivity-of-quantum-fourier-models/</guid><description>&lt;p&gt;In this work, we highlight an unforeseen behavior of the expressivity of Parameterized Quantum Circuits (PQC) for machine learning. A large class of these models, seen as Fourier Series which frequencies are derived from the encoding gates, were thought to have their Fourier coefficients mostly determined by the trainable gates. Here, we demonstrate a new correlation between the Fourier coefficients of the quantum model and its encoding gates. In addition, we display a phenomenon of vanishing expressivity in certain settings, where some Fourier coefficients vanish exponentially when the number of qubits grows. These two behaviors imply novel forms of constraints which limit the expressivity of PQCs, and therefore imply a new inductive bias for Quantum models. The key concept in this work is the notion of a frequency redundancy in the Fourier series spectrum, which determines its importance. Those theoretical behaviours are observed in numerical simulations.&lt;/p&gt;</description></item><item><title>Establishing shared secret keys on quantum line networks: protocol and security</title><link>https://qi.lip6.fr/fr/publication/4800471-establishing-shared-secret-keys-on-quantum-line-networks-protocol-and-security/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800471-establishing-shared-secret-keys-on-quantum-line-networks-protocol-and-security/</guid><description>&lt;p&gt;We show the security of multi-user key establishment on a single line of quantum communication. More precisely, we consider a quantum communication architecture where the qubit generation and measurement happen at the two ends of the line, whilst intermediate parties are limited to single-qubit unitary transforms. This network topology has been previously introduced to implement quantum-assisted secret-sharing protocols for classical data, as well as the key establishment, and secure computing. This architecture has numerous advantages. The intermediate nodes are only using simplified hardware, which makes them easier to implement. Moreover, key establishment between arbitrary pairs of parties in the network does not require key routing through intermediate nodes. This is in contrast with quantum key distribution (QKD) networks for which non-adjacent nodes need intermediate ones to route keys, thereby revealing these keys to intermediate parties and consuming previously established ones to secure the routing process. Our main result is to show the security of key establishment on quantum line networks. We show the security using the framework of abstract cryptography. This immediately makes the security composable, showing that the keys can be used for encryption or other tasks.&lt;/p&gt;</description></item><item><title>Experimental verifiable multi-client blind quantum computing on a Qline architecture</title><link>https://qi.lip6.fr/fr/publication/4800383-experimental-verifiable-multi-client-blind-quantum-computing-on-a-qline-architecture/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800383-experimental-verifiable-multi-client-blind-quantum-computing-on-a-qline-architecture/</guid><description>&lt;p&gt;The exploitation of certification tools by end users represents a fundamental aspect of the development of quantum technologies as the hardware scales up beyond the regime of classical simulatability. Certifying quantum networks becomes even more crucial when the privacy of their users is exposed to malicious quantum nodes or servers as in the case of multi-client distributed blind quantum computing, where several clients delegate a joint private computation to remote quantum servers, such as federated quantum machine learning. In such protocols, security must be provided not only by keeping data hidden but also by verifying that the server is correctly performing the requested computation while minimizing the hardware assumptions on the employed devices. Notably, standard verification techniques fail in scenarios where the clients receive quantum states from untrusted sources such as, for example, in a recently demonstrated linear quantum network performing multi-client blind quantum computation. However, recent theoretical results provide techniques to verify blind quantum computations even in the case of untrusted state preparation. Equipped with such theoretical tools, in this work, we provide the first experimental implementation of a two-client verifiable blind quantum computing protocol in a distributed architecture. The obtained results represent novel perspectives for the verification of multi-tenant distributed quantum computation in large-scale networks.&lt;/p&gt;</description></item><item><title>Exponential Quantum Error Mitigation of BQP Computations using Verification</title><link>https://qi.lip6.fr/fr/publication/4800467-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800467-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</guid><description>&lt;p&gt;We present a modular error mitigation protocol for running $\mathsf{BQP}$ computations on a quantum computer with time-dependent noise. Utilising existing tools from quantum verification and measurement-based quantum computation, our framework interleaves standard computation rounds alongside test rounds for error-detection and inherits an exponential bound (in the number of circuit runs) on the probability that a returned classical output is correct. We repurpose these ideas in an error mitigation context, introducing a post-selection technique called basketing to address time-dependent noise behaviours and reduce overhead. The result is a first-of-its-kind error mitigation protocol which is exponentially effective and requires minimal noise assumptions, making it straightforwardly implementable on existing, NISQ devices and scalable to future, larger ones. We demonstrate the protocol experimentally using classical noisy simulation, presenting a measurement pattern which directly maps to (and can be tiled on) the heavy-hex layout of current IBM hardware.&lt;/p&gt;</description></item><item><title>Heuristic-free Verification-inspired Quantum Benchmarking</title><link>https://qi.lip6.fr/fr/publication/4800396-heuristic-free-verification-inspired-quantum-benchmarking/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800396-heuristic-free-verification-inspired-quantum-benchmarking/</guid><description>&lt;p&gt;In this paper, we introduce a new approach to quantum benchmarking inspired by quantum verification motivating new paradigms of quantum benchmarking. Our proposed benchmark not only serves as a robust indicator of computational capability but also offers scalability, customizability, and universality. By providing formal statements regarding the quality of quantum devices while assuming device consistency, we eliminate the reliance on heuristics. We establish a deep connection between quantum verification and quantum benchmarking. For practical application, we present a concrete benchmarking protocol derived from a quantum verification protocol, and prove it to match our redefined standards for quantum benchmarking.&lt;/p&gt;</description></item><item><title>On the role of coherence for quantum computational advantage</title><link>https://qi.lip6.fr/fr/publication/4800363-on-the-role-of-coherence-for-quantum-computational-advantage/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800363-on-the-role-of-coherence-for-quantum-computational-advantage/</guid><description>&lt;p&gt;Quantifying the resources available to a quantum computer appears to be necessary to separate quantum from classical computation. Among them, entanglement, magic and coherence are arguably of great significance. We introduce path coherence as a measure of the coherent paths interferences arising in a quantum computation. Leveraging the sum-over-paths formalism, we obtain a classical algorithm for estimating quantum transition amplitudes, the complexity of which scales with path coherence. As path coherence relates to the hardness of classical simulation, it provides a new perspective on the role of coherence in quantum computational advantage. Beyond their fundamental significance, our results have practical applications for simulating large classes of quantum computations with classical computers.&lt;/p&gt;</description></item><item><title>On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit</title><link>https://qi.lip6.fr/fr/publication/4800344-on-chip-verified-quantum-computation-with-an-ion-trap-quantum-processing-unit/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800344-on-chip-verified-quantum-computation-with-an-ion-trap-quantum-processing-unit/</guid><description/></item><item><title>Restricted Randomized Benchmarking with Universal Gates of Fixed Sequence Length</title><link>https://qi.lip6.fr/fr/publication/4800386-restricted-randomized-benchmarking-with-universal-gates-of-fixed-sequence-length/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800386-restricted-randomized-benchmarking-with-universal-gates-of-fixed-sequence-length/</guid><description>&lt;p&gt;The standard randomized benchmarking protocol requires access to often complex operations that are not always directly accessible. Compiler optimization does not always ensure equal sequence length of the directly accessible universal gates for each random operation. We introduce a version of the RB protocol that creates Haar-randomness using a directly accessible universal gate set of equal sequence length rather than relying upon a t-design or even an approximate one. This makes our protocol highly resource efficient and practical for small qubit numbers. We exemplify our protocol for creating Haar-randomness in the case of single and two qubits. Benchmarking our result with the standard RB protocol, allows us to calculate the overestimation of the average gate fidelity as compared to the standard technique. We augment our findings with a noise analysis which demonstrates that our method could be an effective tool for building accurate models of experimental noise.&lt;/p&gt;</description></item><item><title>Subspace Preserving Quantum Convolutional Neural Network Architectures</title><link>https://qi.lip6.fr/fr/publication/4800369-subspace-preserving-quantum-convolutional-neural-network-architectures/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800369-subspace-preserving-quantum-convolutional-neural-network-architectures/</guid><description>&lt;p&gt;Subspace preserving quantum circuits are a class of quantum algorithms that, relying on some symmetries in the computation, can offer theoretical guarantees for their training. Those algorithms have gained extensive interest as they can offer polynomial speed-up and can be used to mimic classical machine learning algorithms. In this work, we propose a novel convolutional neural network architecture model based on Hamming weight preserving quantum circuits. In particular, we introduce convolutional layers, and measurement based pooling layers that preserve the symmetries of the quantum states while realizing non-linearity using gates that are not subspace preserving. Our proposal offers significant polynomial running time advantages over classical deep-learning architecture. We provide an open source simulation library for Hamming weight preserving quantum circuits that can simulate our techniques more efficiently with GPU-oriented libraries. Using this code, we provide examples of architectures that highlight great performances on complex image classification tasks with a limited number of qubits, and with fewer parameters than classical deep-learning architectures.&lt;/p&gt;</description></item><item><title>Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases</title><link>https://qi.lip6.fr/fr/publication/4800453-towards-a-unified-quantum-protocol-framework-classification-implementation-and-use-cases/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800453-towards-a-unified-quantum-protocol-framework-classification-implementation-and-use-cases/</guid><description>&lt;p&gt;We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of communities interested in quantum technologies. Our framework is available as an open-source repository, the Quantum Protocol Zoo. We follow a modular approach by identifying two key components: Functionality, which connects real-world applications; and Protocol, which is a set of instructions between two or many parties, at least one of which has a quantum device. Based on the different stages of the quantum internet and use-case in the commercialization of quantum communication, our framework classifies quantum cryptographic functionalities and the various protocol designs implementing these functionalities. Towards this classification, we introduce a novel concept of resource visualization for quantum protocols, which includes two interfaces: one to identify the building blocks for implementing a given protocol and another to identify accessible protocols when certain physical resources or functionalities are available. Such classification provides a hierarchy of quantum protocols based on their use-case and resource allocation. We have identified various valuable tools to improve its representation with a range of techniques, from abstract cryptography to graphical visualizations of the resource hierarchy in quantum networks. We elucidate the structure of the zoo and its primary features in this article to a broader class of quantum information scientists, physicists, computer science theorists and end-users. Since its introduction in 2018, the quantum protocol zoo has been a cornerstone in serving the quantum networks community in its ability to establish the use cases of emerging quantum internet networks. In that spirit we also provide some of the applications of our framework from different perspectives.&lt;/p&gt;</description></item><item><title>Towards quantum advantage with photonic state injection</title><link>https://qi.lip6.fr/fr/publication/4800367-towards-quantum-advantage-with-photonic-state-injection/</link><pubDate>Sun, 24 Nov 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800367-towards-quantum-advantage-with-photonic-state-injection/</guid><description>&lt;p&gt;We propose a new scheme for near-term photonic quantum device that allows to increase the expressive power of the quantum models beyond what linear optics can do. This scheme relies upon state injection, a measurement-based technique that can produce states that are more controllable, and solve learning tasks that are not believed to be tackled classically. We explain how circuits made of linear optical architectures separated by state injections are keen for experimental implementation. In addition, we give theoretical results on the evolution of the purity of the resulting states, and we discuss how it impacts the distinguishability of the circuit outputs. Finally, we study a computational subroutines of learning algorithms named probability estimation, and we show the state injection scheme we propose may offer a potential quantum advantage in a regime that can be more easily achieved that state-of-the-art adaptive techniques. Our analysis offers new possibilities for near-term advantage that require to tackle fewer experimental difficulties.&lt;/p&gt;</description></item><item><title>Subspace Preserving Quantum Convolutional Neural Network Architectures</title><link>https://qi.lip6.fr/fr/publication/4719227-subspace-preserving-quantum-convolutional-neural-network-architectures/</link><pubDate>Thu, 03 Oct 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4719227-subspace-preserving-quantum-convolutional-neural-network-architectures/</guid><description>&lt;p&gt;Subspace preserving quantum circuits are a class of quantum algorithms that, relying on some symmetries in the computation, can offer theoretical guarantees for their training. Those algorithms have gained extensive interest as they can offer polynomial speed-up and can be used to mimic classical machine learning algorithms. In this work, we propose a novel convolutional neural network architecture model based on Hamming weight preserving quantum circuits. In particular, we introduce convolutional layers, and measurement based pooling layers that preserve the symmetries of the quantum states while realizing non-linearity using gates that are not subspace preserving. Our proposal offers significant polynomial running time advantages over classical deep-learning architecture. We provide an open source simulation library for Hamming weight preserving quantum circuits that can simulate our techniques more efficiently with GPU-oriented libraries. Using this code, we provide examples of architectures that highlight great performances on complex image classification tasks with a limited number of qubits, and with fewer parameters than classical deep-learning architectures.&lt;/p&gt;</description></item><item><title>Quantum Error Suppression with Subgroup Stabilisation</title><link>https://qi.lip6.fr/fr/publication/4800423-quantum-error-suppression-with-subgroup-stabilisation/</link><pubDate>Mon, 09 Sep 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800423-quantum-error-suppression-with-subgroup-stabilisation/</guid><description>&lt;p&gt;Quantum state purification is the functionality that, given multiple copies of an unknown state, outputs a state with increased purity. This will be an essential building block for near- and middle-term quantum ecosystems before the availability of full fault tolerance, where one may want to suppress errors not only in expectation values but also in quantum states. We propose an effective state purification gadget with a moderate quantum overhead by projecting $M$ noisy quantum inputs to their symmetric subspace defined by a set of projectors forming a symmetric subgroup with order $M$. Our method, applied in every short evolution over $M$ redundant copies of noisy states, can suppress both coherent and stochastic errors by a factor of $1/M$, respectively. This reduces the circuit implementation cost $M$ times smaller than the state projection to the full symmetric subspace proposed by Barenco et al. more than two decades ago. We also show that our gadget purifies the depolarised inputs with probability $p$ to asymptotically $O\left(p^{2}\right)$ with an optimal choice of $M$ when $p$ is small. The sampling cost scales $O\left(p^{-1}\right)$ for small $p$, which is also shown to be asymptotically optimal. Our method provides flexible choices of state purification depending on the hardware restrictions before fully fault-tolerant computation is available.&lt;/p&gt;</description></item><item><title>The power of shallow-depth Toffoli and qudit quantum circuits</title><link>https://qi.lip6.fr/fr/publication/4564456-the-power-of-shallow-depth-toffoli-and-qudit-quantum-circuits/</link><pubDate>Tue, 30 Apr 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4564456-the-power-of-shallow-depth-toffoli-and-qudit-quantum-circuits/</guid><description>&lt;p&gt;The relevance of shallow-depth quantum circuits has recently increased, mainly due to their applicability to near-term devices. In this context, one of the main goals of quantum circuit complexity is to find problems that can be solved by quantum shallow circuits but require more computational resources classically. Our first contribution in this work is to prove new separations between classical and quantum constant-depth circuits. Firstly, we show a separation between constant-depth quantum circuits with quantum advice $\mathsf{QNC}^0/\mathsf{qpoly}$, and $\mathsf{AC}^0[p]$, which is the class of classical constant-depth circuits with unbounded-fan in and $\pmod{p}$ gates. In addition, we show a separation between $\mathsf{QAC}^0$, which additionally has Toffoli gates with unbounded control, and $\mathsf{AC}^0[p]$. This establishes the first such separation for a shallow-depth quantum class that does not involve quantum fan-out gates. Secondly, we consider $\mathsf{QNC}^0$ circuits with infinite-size gate sets. We show that these circuits, along with (classical or quantum) prime modular gates, can implement threshold gates, showing that $\mathsf{QNC}^0[p]=\mathsf{QTC}^0$. Finally, we also show that in the infinite-size gateset case, these quantum circuit classes for higher-dimensional Hilbert spaces do not offer any advantage to standard qubit implementations.&lt;/p&gt;</description></item><item><title>Verification of Quantum Computations without Trusted Preparations or Measurements</title><link>https://qi.lip6.fr/fr/publication/4800428-verification-of-quantum-computations-without-trusted-preparations-or-measurements/</link><pubDate>Tue, 16 Apr 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800428-verification-of-quantum-computations-without-trusted-preparations-or-measurements/</guid><description>&lt;p&gt;With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure Delegated Quantum Computing (SDQC) protocols require the client to possess the ability to perform either trusted state preparations or measurements. Whether it is possible to verify universal quantum computations with information-theoretic security without trusted preparations or measurements was an open question so far. In this paper, we settle this question in the affirmative by presenting a modular, composable, and efficient way to turn known verification schemes into protocols that rely only on trusted gates. Our first contribution is an extremely lightweight reduction of the problem of quantum verification for BQP to the trusted application of single-qubit rotations around the Z axis and bit flips. The second construction presented in this work shows that it is generally possible to information-theoretically verify arbitrary quantum computations with quantum output without trusted preparations or measurements. However, this second protocol requires the verifier to perform multi-qubit gates on a register whose size is independent of the size of the delegated computation.&lt;/p&gt;</description></item><item><title>Verifiable Blind Quantum Computing with Trapped Ions and Single Photons</title><link>https://qi.lip6.fr/fr/publication/4800470-verifiable-blind-quantum-computing-with-trapped-ions-and-single-photons/</link><pubDate>Wed, 10 Apr 2024 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800470-verifiable-blind-quantum-computing-with-trapped-ions-and-single-photons/</guid><description>&lt;p&gt;We report the first hybrid matter-photon implementation of verifiable blind quantum computing. We use a trapped-ion quantum server and a client-side photonic detection system networked via a fiber-optic quantum link. The availability of memory qubits and deterministic entangling gates enables interactive protocols without postselection—key requirements for any scalable blind server, which previous realizations could not provide. We quantify the privacy at ≲ 0.03 leaked classical bits per qubit. This experiment demonstrates a path to fully verified quantum computing in the cloud. Published by the American Physical Society 2024&lt;/p&gt;</description></item><item><title>Multi-client distributed blind quantum computation with the Qline architecture</title><link>https://qi.lip6.fr/fr/publication/4800461-multi-client-distributed-blind-quantum-computation-with-the-qline-architecture/</link><pubDate>Sat, 25 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4800461-multi-client-distributed-blind-quantum-computation-with-the-qline-architecture/</guid><description>&lt;p&gt;Universal blind quantum computing allows users with minimal quantum resources to delegate a quantum computation to a remote quantum server, while keeping intrinsically hidden input, algorithm, and outcome. State-of-art experimental demonstrations of such a protocol have only involved one client. However, an increasing number of multi-party algorithms, e.g. federated machine learning, require the collaboration of multiple clients to carry out a given joint computation. In this work, we propose and experimentally demonstrate a lightweight multi-client blind quantum computation protocol based on a recently proposed linear quantum network configuration (Qline). Our protocol originality resides in three main strengths: scalability, since we eliminate the need for each client to have its own trusted source or measurement device, low-loss, by optimizing the orchestration of classical communication between each client and server through fast classical electronic control, and compatibility with distributed architectures while remaining intact even against correlated attacks of server nodes and malicious clients.&lt;/p&gt;</description></item><item><title>Establishing shared secret keys on quantum line networks: protocol and security</title><link>https://qi.lip6.fr/fr/publication/4284578-establishing-shared-secret-keys-on-quantum-line-networks-protocol-and-security/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284578-establishing-shared-secret-keys-on-quantum-line-networks-protocol-and-security/</guid><description>&lt;p&gt;We show the security of multi-user key establishment on a single line of quantum communication. More precisely, we consider a quantum communication architecture where the qubit generation and measurement happen at the two ends of the line, whilst intermediate parties are limited to single-qubit unitary transforms. This network topology has been previously introduced to implement quantum-assisted secret-sharing protocols for classical data, as well as the key establishment, and secure computing. This architecture has numerous advantages. The intermediate nodes are only using simplified hardware, which makes them easier to implement. Moreover, key establishment between arbitrary pairs of parties in the network does not require key routing through intermediate nodes. This is in contrast with quantum key distribution (QKD) networks for which non-adjacent nodes need intermediate ones to route keys, thereby revealing these keys to intermediate parties and consuming previously established ones to secure the routing process. Our main result is to show the security of key establishment on quantum line networks. We show the security using the framework of abstract cryptography. This immediately makes the security composable, showing that the keys can be used for encryption or other tasks.&lt;/p&gt;</description></item><item><title>Exponential Quantum Error Mitigation of BQP Computations using Verification</title><link>https://qi.lip6.fr/fr/publication/4284573-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284573-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</guid><description>&lt;p&gt;We present a modular error mitigation protocol for running BQP computations on a quantum computer with time-dependent noise. Utilising existing tools from quantum verification and measurement-based quantum computation, our framework interleaves standard computation rounds alongside test rounds for error-detection and inherits an exponential bound (in the number of circuit runs) on the probability that a returned classical output is correct. We repurpose these ideas in an error mitigation context, introducing a post-selection technique called basketing to address time-dependent noise behaviours and reduce overhead. The result is a first-of-its-kind error mitigation protocol which is exponentially effective and requires minimal noise assumptions, making it straightforwardly implementable on existing, NISQ devices and scalable to future, larger ones. We demonstrate the protocol experimentally using classical noisy simulation, presenting a measurement pattern which directly maps to (and can be tiled on) the heavy-hex layout of current IBM hardware.&lt;/p&gt;</description></item><item><title>Multi-client distributed blind quantum computation with the Qline architecture</title><link>https://qi.lip6.fr/fr/publication/4284568-multi-client-distributed-blind-quantum-computation-with-the-qline-architecture/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284568-multi-client-distributed-blind-quantum-computation-with-the-qline-architecture/</guid><description>&lt;p&gt;Universal blind quantum computing allows users with minimal quantum resources to delegate a quantum computation to a remote quantum server, while keeping intrinsically hidden input, algorithm, and outcome. State-of-art experimental demonstrations of such a protocol have only involved one client. However, an increasing number of multi-party algorithms, e.g. federated machine learning, require the collaboration of multiple clients to carry out a given joint computation. In this work, we propose and experimentally demonstrate a lightweight multi-client blind quantum computation protocol based on a novel linear quantum network configuration (Qline). Our protocol originality resides in three main strengths: scalability, since we eliminate the need for each client to have its own trusted source or measurement device, low-loss, by optimizing the orchestration of classical communication between each client and server through fast classical electronic control, and compatibility with distributed architectures while remaining intact even against correlated attacks of server nodes and malicious clients.&lt;/p&gt;</description></item><item><title>Scalable and Exponential Quantum Error Mitigation of BQP Computations using Verification</title><link>https://qi.lip6.fr/fr/publication/4284573-scalable-and-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284573-scalable-and-exponential-quantum-error-mitigation-of-bqp-computations-using-verification/</guid><description>&lt;p&gt;We present a scalable and modular error mitigation protocol for running $\mathsf{BQP}$ computations on a quantum computer with time-dependent noise. Utilising existing tools from quantum verification, our framework interleaves standard computation rounds alongside test rounds for error-detection and inherits a local-correctness guarantee which exponentially bounds (in the number of circuit runs) the probability that a returned classical output is correct. On top of the verification work, we introduce a post-selection technique we call basketing to address time-dependent noise behaviours and reduce overhead. The result is a first-of-its-kind error mitigation protocol which is exponentially effective and requires minimal noise assumptions, making it straightforwardly implementable on existing, NISQ devices and scalable to future, larger ones.&lt;/p&gt;</description></item><item><title>Simplifying errors by symmetry and randomisation</title><link>https://qi.lip6.fr/fr/publication/4284582-simplifying-errors-by-symmetry-and-randomisation/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284582-simplifying-errors-by-symmetry-and-randomisation/</guid><description>&lt;p&gt;We present a set of methods to generate less complex error channels by quantum circuit parallelisation. The resulting errors are simplified as a consequence of their symmetrisation and randomisation. Initially, the case of a single error channel is analysed; these results are then generalised to multiple error channels. Error simplification for each method is shown to be either constant, linear, or exponential in terms of system size. Finally, example applications are provided, along with experiments run on superconducting quantum hardware and numerical simulation. These applications are: (1) reducing the sample complexity of matrix-inversion measurement error mitigation by error symmetrisation, (2) improving the effectiveness of noise-estimation circuit error mitigation by error randomisation, and (3) improving the predictability of noisy circuit performance by error randomisation.&lt;/p&gt;</description></item><item><title>Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases</title><link>https://qi.lip6.fr/fr/publication/4284448-towards-a-unified-quantum-protocol-framework-classification-implementation-and-use-cases/</link><pubDate>Tue, 14 Nov 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4284448-towards-a-unified-quantum-protocol-framework-classification-implementation-and-use-cases/</guid><description>&lt;p&gt;We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of communities interested in quantum technologies. Our framework is available as an open-source repository, the Quantum Protocol Zoo. We follow a modular approach by identifying two key components: Functionality, which connects real-world applications; and Protocol, which is a set of instructions between two or many parties, at least one of which has a quantum device. Based on the different stages of the quantum internet and use-case in the commercialization of quantum communication, our framework classifies quantum cryptographic functionalities and the various protocol designs implementing these functionalities. Towards this classification, we introduce a novel concept of resource visualization for quantum protocols, which includes two interfaces: one to identify the building blocks for implementing a given protocol and another to identify accessible protocols when certain physical resources or functionalities are available. Such classification provides a hierarchy of quantum protocols based on their use-case and resource allocation. We have identified various valuable tools to improve its representation with a range of techniques, from abstract cryptography to graphical visualizations of the resource hierarchy in quantum networks. We elucidate the structure of the zoo and its primary features in this article to a broader class of quantum information scientists, physicists, computer science theorists and end-users. Since its introduction in 2018, the quantum protocol zoo has been a cornerstone in serving the quantum networks community in its ability to establish the use cases of emerging quantum internet networks. In that spirit we also provide some of the applications of our framework from different perspectives.&lt;/p&gt;</description></item><item><title>Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning</title><link>https://qi.lip6.fr/fr/publication/4225039-trainability-and-expressivity-of-hamming-weight-preserving-quantum-circuits-for-machine-learning/</link><pubDate>Mon, 02 Oct 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4225039-trainability-and-expressivity-of-hamming-weight-preserving-quantum-circuits-for-machine-learning/</guid><description>&lt;p&gt;Quantum machine learning has become a promising area for real world applications of quantum computers, but near-term methods and their scalability are still important research topics. In this context, we analyze the trainability and controllability of specific Hamming weight preserving quantum circuits. These circuits use gates that preserve subspaces of the Hilbert space, spanned by basis states with fixed Hamming weight $k$. They are good candidates for mimicking neural networks, by both loading classical data and performing trainable layers. In this work, we first design and prove the feasibility of new heuristic data loaders, performing quantum amplitude encoding of $\binom{n}{k}$-dimensional vectors by training a n-qubit quantum circuit. Then, we analyze more generally the trainability of Hamming weight preserving circuits, and show that the variance of their gradients is bounded according to the size of the preserved subspace. This proves the conditions of existence of Barren Plateaus for these circuits, and highlights a setting where a recent conjecture on the link between controllability and trainability of variational quantum circuits does not apply.&lt;/p&gt;</description></item><item><title>A unifying framework for differentially private quantum algorithms</title><link>https://qi.lip6.fr/fr/publication/4276764-a-unifying-framework-for-differentially-private-quantum-algorithms/</link><pubDate>Mon, 10 Jul 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4276764-a-unifying-framework-for-differentially-private-quantum-algorithms/</guid><description>&lt;p&gt;Differential privacy is a widely used notion of security that enables the processing of sensitive information. In short, differentially private algorithms map &amp;ldquo;neighbouring&amp;rdquo; inputs to close output distributions. Prior work proposed several quantum extensions of differential privacy, each of them built on substantially different notions of neighbouring quantum states. In this paper, we propose a novel and general definition of neighbouring quantum states. We demonstrate that this definition captures the underlying structure of quantum encodings and can be used to provide exponentially tighter privacy guarantees for quantum measurements. Our approach combines the addition of classical and quantum noise and is motivated by the noisy nature of near-term quantum devices. Moreover, we also investigate an alternative setting where we are provided with multiple copies of the input state. In this case, differential privacy can be ensured with little loss in accuracy combining concentration of measure and noise-adding mechanisms. En route, we prove the advanced joint convexity of the quantum hockey-stick divergence and we demonstrate how this result can be applied to quantum differential privacy. Finally, we complement our theoretical findings with an empirical estimation of the certified adversarial robustness ensured by differentially private measurements.&lt;/p&gt;</description></item><item><title>Verifiable blind quantum computing with trapped ions and single photons</title><link>https://qi.lip6.fr/fr/publication/4133397-verifiable-blind-quantum-computing-with-trapped-ions-and-single-photons/</link><pubDate>Mon, 19 Jun 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4133397-verifiable-blind-quantum-computing-with-trapped-ions-and-single-photons/</guid><description>&lt;p&gt;We present the first hybrid matter-photon implementation of verifiable blind quantum computing. We use a trapped-ion quantum server and a client-side photonic detection system connected by a fibre-optic quantum network link. The availability of memory qubits and deterministic quantum logic enables interactive protocols without post-selection - a requirement for any scalable blind quantum cloud server which previous realisations could not provide. Our apparatus supports guaranteed privacy with &amp;lt;0.001 leaked bits per qubit and shows a clear path to fully verified quantum computing in the cloud.&lt;/p&gt;</description></item><item><title>Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority</title><link>https://qi.lip6.fr/fr/publication/4079704-asymmetric-quantum-secure-multi-party-computation-with-weak-clients-against-dishonest-majority/</link><pubDate>Mon, 24 Apr 2023 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4079704-asymmetric-quantum-secure-multi-party-computation-with-weak-clients-against-dishonest-majority/</guid><description>&lt;p&gt;Secure multi-party computation (SMPC) protocols allow several parties that distrust each other to collectively compute a function on their inputs. In this paper, we introduce a protocol that lifts classical SMPC to quantum SMPC in a composably and statistically secure way, even for a single honest party. Unlike previous quantum SMPC protocols, our proposal only requires very limited quantum resources from all but one party; it suffices that the weak parties, i.e. the clients, are able to prepare single-qubit states in the X-Y plane. The novel quantum SMPC protocol is constructed in a naturally modular way, and relies on a new technique for quantum verification that is of independent interest. This verification technique requires the remote preparation of states only in a single plane of the Bloch sphere. In the course of proving the security of the new verification protocol, we also uncover a fundamental invariance that is inherent to measurement-based quantum computing.&lt;/p&gt;</description></item><item><title>Classically Approximating Variational Quantum Machine Learning with Random Fourier Features</title><link>https://qi.lip6.fr/fr/publication/3873723-classically-approximating-variational-quantum-machine-learning-with-random-fourier-features/</link><pubDate>Sun, 27 Nov 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3873723-classically-approximating-variational-quantum-machine-learning-with-random-fourier-features/</guid><description>&lt;p&gt;Many applications of quantum computing in the near term rely on variational quantum circuits (VQCs). They have been showcased as a promising model for reaching a quantum advantage in machine learning with current noisy intermediate scale quantum computers (NISQ). It is often believed that the power of VQCs relies on their exponentially large feature space, and extensive works have explored the expressiveness and trainability of VQCs in that regard. In our work, we propose a classical sampling method that may closely approximate a VQC with Hamiltonian encoding, given only the description of its architecture. It uses the seminal proposal of Random Fourier Features (RFF) and the fact that VQCs can be seen as large Fourier series. We provide general theoretical bounds for classically approximating models built from exponentially large quantum feature space by sampling a few frequencies to build an equivalent low dimensional kernel, and we show experimentally that this approximation is efficient for several encoding strategies. Precisely, we show that the number of required samples grows favorably with the size of the quantum spectrum. This tool therefore questions the hope for quantum advantage from VQCs in many cases, but conversely helps to narrow the conditions for their potential success. We expect VQCs with various and complex encoding Hamiltonians, or with large input dimension, to become more robust to classical approximations.&lt;/p&gt;</description></item><item><title>Quantum Lock: A Provable Quantum Communication Advantage</title><link>https://qi.lip6.fr/fr/publication/3862942-quantum-lock-a-provable-quantum-communication-advantage/</link><pubDate>Mon, 21 Nov 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3862942-quantum-lock-a-provable-quantum-communication-advantage/</guid><description>&lt;p&gt;Physical unclonable functions(PUFs) provide a unique fingerprint to a physical entity by exploiting the inherent physical randomness. Gao et al. discussed the vulnerability of most current-day PUFs to sophisticated machine learning-based attacks. We address this problem by integrating classical PUFs and existing quantum communication technology. Specifically, this paper proposes a generic design of provably secure PUFs, called hybrid locked PUFs(HLPUFs), providing a practical solution for securing classical PUFs. An HLPUF uses a classical PUF(CPUF), and encodes the output into non-orthogonal quantum states to hide the outcomes of the underlying CPUF from any adversary. Here we introduce a quantum lock to protect the HLPUFs from any general adversaries. The indistinguishability property of the non-orthogonal quantum states, together with the quantum lockdown technique prevents the adversary from accessing the outcome of the CPUFs. Moreover, we show that by exploiting non-classical properties of quantum states, the HLPUF allows the server to reuse the challenge-response pairs for further client authentication. This result provides an efficient solution for running PUF-based client authentication for an extended period while maintaining a small-sized challenge-response pairs database on the server side. Later, we support our theoretical contributions by instantiating the HLPUFs design using accessible real-world CPUFs. We use the optimal classical machine-learning attacks to forge both the CPUFs and HLPUFs, and we certify the security gap in our numerical simulation for construction which is ready for implementation.&lt;/p&gt;</description></item><item><title>Differential Privacy Amplification in Quantum and Quantum-inspired Algorithms</title><link>https://qi.lip6.fr/fr/publication/3857573-differential-privacy-amplification-in-quantum-and-quantum-inspired-algorithms/</link><pubDate>Thu, 17 Nov 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3857573-differential-privacy-amplification-in-quantum-and-quantum-inspired-algorithms/</guid><description>&lt;p&gt;Differential privacy provides a theoretical framework for processing a dataset about n users, in a way that the output reveals a minimal information about any single user. Such notion of privacy is usually ensured by noise-adding mechanisms and amplified by several processes, including subsampling, shuffling, iteration, mixing and diffusion. In this work, we provide privacy amplification bounds for quantum and quantum-inspired algorithms. In particular, we show for the first time, that algorithms running on quantum encoding of a classical dataset or the outcomes of quantum-inspired classical sampling, amplify differential privacy. Moreover, we prove that a quantum version of differential privacy is amplified by the composition of quantum channels, provided that they satisfy some mixing conditions.&lt;/p&gt;</description></item><item><title>Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations</title><link>https://qi.lip6.fr/fr/publication/3857850-unifying-quantum-verification-and-error-detection-theory-and-tools-for-optimisations/</link><pubDate>Thu, 17 Nov 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3857850-unifying-quantum-verification-and-error-detection-theory-and-tools-for-optimisations/</guid><description>&lt;p&gt;With the recent availability of cloud quantum computing services, the question of verifying quantum computations delegated by a client to a quantum server is becoming of practical interest. While Verifiable Blind Quantum Computing (VBQC) has emerged as one of the key approaches to address this challenge, current protocols still need to be optimised before they are truly practical. To this end, we establish a fundamental correspondence between error-detection and verification and provide sufficient conditions to both achieve security in the Abstract Cryptography framework and optimise resource overheads of all known VBQC-based protocols. As a direct application, we demonstrate how to systematise the search for new efficient and robust verification protocols for $\mathsf{BQP}$ computations. While we have chosen Measurement-Based Quantum Computing (MBQC) as the working model for the presentation of our results, one could expand the domain of applicability of our framework via direct known translation between the circuit model and MBQC.&lt;/p&gt;</description></item><item><title>QEnclave - A practical solution for secure quantum cloud computing</title><link>https://qi.lip6.fr/fr/publication/3862912-qenclave-a-practical-solution-for-secure-quantum-cloud-computing/</link><pubDate>Sat, 05 Nov 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3862912-qenclave-a-practical-solution-for-secure-quantum-cloud-computing/</guid><description>&lt;p&gt;We introduce a secure hardware device named a QEnclave that can secure the remote execution of quantum operations while only using classical controls. This device extends to quantum computing from the classical concept of a secure enclave that isolates a computation from its environment to provide privacy and tamper-resistance. Remarkably, our QEnclave only performs single qubit rotations but can nevertheless be used to secure an arbitrary quantum computation even if the qubit source is controlled by an adversary. More precisely, by attaching a QEnclave to a quantum computer, a remote client controlling the QEnclave can securely delegate its computation to the server solely using classical communication. We investigate the security of our QEnclave by modeling it as an ideal functionality named remote state rotation (RSR). We show that this resource, similar to the previously introduced functionality of remote state preparation, allows blind delegated quantum computing with perfect security. Our proof under the Abstract Cryptography framework shows the construction of remote state preparation from remote state rotation while preserving security. An immediate consequence is the weakening of the requirements for blind delegated computation. While previous delegated protocols relied on a client that can either generate or measure quantum states, we show that this same functionality can be achieved with a client that only transforms quantum states without generating or measuring them.&lt;/p&gt;</description></item><item><title>Quantum Local Differential Privacy and Quantum Statistical Query Model</title><link>https://qi.lip6.fr/fr/publication/3752811-quantum-local-differential-privacy-and-quantum-statistical-query-model/</link><pubDate>Wed, 17 Aug 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3752811-quantum-local-differential-privacy-and-quantum-statistical-query-model/</guid><description>&lt;p&gt;The problem of private learning has been extensively studied in classical computer science. Notably, a striking equivalence between local differentially private learning and statistical query learning has been shown. In addition, the statistical query model has been recently extended to quantum computation. In this work, we give a formal definition of quantum local differential privacy and we extend the aforementioned result to quantum computation.&lt;/p&gt;</description></item><item><title>Correction to: Dispelling myths on superposition attacks: formal security model and attack analyses</title><link>https://qi.lip6.fr/fr/publication/4103602-correction-to-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</link><pubDate>Fri, 13 May 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4103602-correction-to-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</guid><description/></item><item><title>Dispelling myths on superposition attacks: formal security model and attack analyses</title><link>https://qi.lip6.fr/fr/publication/3943311-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</link><pubDate>Fri, 01 Apr 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3943311-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</guid><description/></item><item><title>Continuous-variable nonlocality and contextuality</title><link>https://qi.lip6.fr/fr/publication/2163802-continuous-variable-nonlocality-and-contextuality/</link><pubDate>Sat, 19 Mar 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2163802-continuous-variable-nonlocality-and-contextuality/</guid><description>&lt;p&gt;Contextuality is a non-classical behaviour that can be exhibited by quantum systems. It is increasingly studied for its relationship to quantum-over-classical advantages in informatic tasks. To date, it has largely been studied in discrete variable scenarios, where observables take values in discrete and usually finite sets. Practically, on the other hand, continuous-variable scenarios offer some of the most promising candidates for implementing quantum computations and informatic protocols. Here we set out a framework for treating contextuality in continuous-variable scenarios. It is shown that the Fine&amp;ndash;Abramsky&amp;ndash;Brandenburger theorem extends to this setting, an important consequence of which is that nonlocality can be viewed as a special case of contextuality, as in the discrete case. The contextual fraction, a quantifiable measure of contextuality that bears a precise relationship to Bell inequality violations and quantum advantages, can also be defined in this setting. It is shown to be a non-increasing monotone with respect to classical operations that include binning to discretise data. Finally, we consider how the contextual fraction can be formulated as an infinite linear program, and calculated with increasing accuracy using semi-definite programming approximations.&lt;/p&gt;</description></item><item><title>Probably approximately correct quantum source coding</title><link>https://qi.lip6.fr/fr/publication/3509335-probably-approximately-correct-quantum-source-coding/</link><pubDate>Tue, 04 Jan 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3509335-probably-approximately-correct-quantum-source-coding/</guid><description>&lt;p&gt;Information-theoretic lower bounds are often encountered in several branches of computer science, including learning theory and cryptography. In the quantum setting, Holevo&amp;rsquo;s and Nayak&amp;rsquo;s bounds give an estimate of the amount of classical information that can be stored in a quantum state. Previous works have shown how to combine information-theoretic tools with a counting argument to lower bound the sample complexity of distribution-free quantum probably approximately correct (PAC) learning. In our work, we establish the notion of Probably Approximately Correct Source Coding and we show two novel applications in quantum learning theory and delegated quantum computation with a purely classical client. In particular, we provide a lower bound of the sample complexity of a quantum learner for arbitrary functions under the Zipf distribution, and we improve the security guarantees of a classically-driven delegation protocol for measurement-based quantum computation (MBQC).&lt;/p&gt;</description></item><item><title>Benchmarking of quantum protocols</title><link>https://qi.lip6.fr/fr/publication/3435209-benchmarking-of-quantum-protocols/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3435209-benchmarking-of-quantum-protocols/</guid><description>&lt;p&gt;Quantum network protocols offer new functionalities such as enhanced security to communication and computational systems. Despite the rapid progress in quantum hardware, it has not yet reached a level of maturity that enables execution of many quantum protocols in practical settings. To develop quantum protocols in real world, it is necessary to examine their performance considering the imperfections in their practical implementation using simulation platforms. In this paper, we consider several quantum protocols that enable promising functionalities and services in near-future quantum networks. The protocols are chosen from both areas of quantum communication and quantum computation as follows: quantum money, W-state based anonymous transmission, verifiable blind quantum computation, and quantum digital signature. We use NetSquid simulation platform to evaluate the effect of various sources of noise on the performance of these protocols, considering different figures of merit. We find that to enable quantum money protocol, the decoherence time constant of the quantum memory must be at least three times the storage time of qubits. Furthermore, our simulation results for the w-state based anonymous transmission protocol show that to achieve an average fidelity above 0.8 in this protocol, the storage time of sender’s and receiver’s particles in the quantum memory must be less than half of the decoherence time constant of the quantum memory. We have also investigated the effect of gate imperfections on the performance of verifiable blind quantum computation. We find that with our chosen parameters, if the depolarizing probability of quantum gates is equal to or greater than 0.05, the security of the protocol cannot be guaranteed. Lastly, our simulation results for quantum digital signature protocol show that channel loss has a significant effect on the probability of repudiation.&lt;/p&gt;</description></item><item><title>Cryptographic approach to Quantum Metrology</title><link>https://qi.lip6.fr/fr/publication/3124086-cryptographic-approach-to-quantum-metrology/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3124086-cryptographic-approach-to-quantum-metrology/</guid><description>&lt;p&gt;We consider a cryptographically motivated framework for quantum metrology in the presence of a malicious adversary. We begin by devising an estimation strategy for a (potentially) altered resource (due to a malicious adversary) and quantify the amount of bias and the loss in precision as a function of the introduced uncertainty in the resource. By incorporating an appropriate cryptographic protocol, the uncertainty in the resource can be bounded with respect to the soundness of the cryptographic protocol. Thus the effectiveness of the quantum metrology problem can be directly related to the effectiveness of the cryptography protocol. As an example, we consider a quantum metrology problem in which resources are exchanged through an unsecured quantum channel. We then construct two protocols for this task which offer a trade-off between difficulty of implementation and efficiency.&lt;/p&gt;</description></item><item><title>Graph neural network initialisation of quantum approximate optimisation</title><link>https://qi.lip6.fr/fr/publication/3435299-graph-neural-network-initialisation-of-quantum-approximate-optimisation/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3435299-graph-neural-network-initialisation-of-quantum-approximate-optimisation/</guid><description>&lt;p&gt;Approximate combinatorial optimisation has emerged as one of the most promising application areas for quantum computers, particularly those in the near term. In this work, we focus on the quantum approximate optimisation algorithm (QAOA) for solving the Max-Cut problem. Specifically, we address two problems in the QAOA, how to select initial parameters, and how to subsequently train the parameters to find an optimal solution. For the former, we propose graph neural networks (GNNs) as an initialisation routine for the QAOA parameters, adding to the literature on warm-starting techniques. We show the GNN approach generalises across not only graph instances, but also to increasing graph sizes, a feature not available to other warm-starting techniques. For training the QAOA, we test several optimisers for the MaxCut problem. These include quantum aware/agnostic optimisers proposed in literature and we also incorporate machine learning techniques such as reinforcement and meta-learning. With the incorporation of these initialisation and optimisation toolkits, we demonstrate how the QAOA can be trained as an end-to-end differentiable pipeline.&lt;/p&gt;</description></item><item><title>On the connection between quantum pseudorandomness and quantum hardware assumptions</title><link>https://qi.lip6.fr/fr/publication/3418733-on-the-connection-between-quantum-pseudorandomness-and-quantum-hardware-assumptions/</link><pubDate>Sat, 01 Jan 2022 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3418733-on-the-connection-between-quantum-pseudorandomness-and-quantum-hardware-assumptions/</guid><description>&lt;p&gt;This paper, for the first time, addresses the questions related to the connections between quantum pseudorandomness and quantum hardware assumptions, specifically quantum physical unclonable functions (qPUFs). Our results show that efficient pseudorandom quantum states (PRS) are sufficient to construct the challenge set for universally unforgeable qPUFs, improving the previous existing constructions based on the Haar-random states. We also show that both the qPUFs and the quantum pseudorandom unitaries (PRUs) can be constructed from each other, providing new ways to obtain PRS from the hardware assumptions. Moreover, we provide a sufficient condition (in terms of the diamond norm) that a set of unitaries should have to be a PRU in order to construct a universally unforgeable qPUF, giving yet another novel insight into the properties of the PRUs. Later, as an application of our results, we show that the efficiency of an existing qPUF-based client–server identification protocol can be improved without losing the security requirements of the protocol.&lt;/p&gt;</description></item><item><title>A Unified Framework For Quantum Unforgeability</title><link>https://qi.lip6.fr/fr/publication/3452715-a-unified-framework-for-quantum-unforgeability/</link><pubDate>Sat, 27 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452715-a-unified-framework-for-quantum-unforgeability/</guid><description>&lt;p&gt;In this paper, we continue the line of work initiated by Boneh and Zhandry at CRYPTO 2013 and EUROCRYPT 2013 in which they formally define the notion of unforgeability against quantum adversaries specifically, for classical message authentication codes and classical digital signatures schemes. We develop a general and parameterised quantum game-based security model unifying unforgeability for both classical and quantum constructions allowing us for the first time to present a complete quantum cryptanalysis framework for unforgeability. In particular, we prove how our definitions subsume previous ones while considering more fine-grained adversarial models, capturing the full spectrum of superposition attacks. The subtlety here resides in the characterisation of a forgery. We show that the strongest level of unforgeability, namely existential unforgeability, can only be achieved if only orthogonal to previously queried messages are considered to be forgeries. In particular, we present a non-trivial attack if any overlap between the forged message and previously queried ones is allowed. We further show that deterministic constructions can only achieve the weaker notion of unforgeability, that is selective unforgeability, against such restricted adversaries, but that selective unforgeability breaks if general quantum adversaries (capable of general superposition attacks) are considered. On the other hand, we show that PRF is sufficient for constructing a selective unforgeable classical primitive against full quantum adversaries. Moreover, we show similar positive results relying on Pseudorandom Unitaries (PRU) for quantum primitives. These results demonstrate the generality of our framework that could be applicable to other primitives beyond the cases analysed in this paper.&lt;/p&gt;</description></item><item><title>Efficient Construction of Quantum Physical Unclonable Functions with Unitary t-designs</title><link>https://qi.lip6.fr/fr/publication/3452722-efficient-construction-of-quantum-physical-unclonable-functions-with-unitary-t-designs/</link><pubDate>Sat, 27 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452722-efficient-construction-of-quantum-physical-unclonable-functions-with-unitary-t-designs/</guid><description>&lt;p&gt;Quantum physical unclonable functions, or QPUFs, are rapidly emerging as theoretical hardware solutions to provide secure cryptographic functionalities such as key-exchange, message authentication, entity identification among others. Recent works have shown that in order to provide provable security of these solutions against any quantum polynomial time adversary, QPUFs are required to be a unitary sampled uniformly randomly from the Haar measure. This however is known to require an exponential amount of resources. In this work, we propose an efficient construction of these devices using unitary t-designs, called QPUF_t. Along the way, we modify the existing security definitions of QPUFs to include efficient constructions and showcase that QPUF_t still retains the provable security guarantees against a bounded quantum polynomial adversary with t-query access to the device. This also provides the first use case of unitary t-design construction for arbitrary t, as opposed to previous applications of t-designs where usually a few (relatively low) values of t are known to be useful for performing some task. We study the noise-resilience of QPUF_t against specific types of noise, unitary noise, and show that some resilience can be achieved particularly when the error rates affecting individual qubits become smaller as the system size increases. To make the noise-resilience more realistic and meaningful, we conclude that some notion of error mitigation or correction should be introduced.&lt;/p&gt;</description></item><item><title>Mitigating errors by quantum verification and post-selection</title><link>https://qi.lip6.fr/fr/publication/3452702-mitigating-errors-by-quantum-verification-and-post-selection/</link><pubDate>Sat, 27 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452702-mitigating-errors-by-quantum-verification-and-post-selection/</guid><description>&lt;p&gt;Correcting errors due to noise in quantum circuits run on current and near-term quantum hardware is essential for any convincing demonstration of quantum advantage. Indeed, in many cases it has been shown that noise renders quantum circuits efficiently classically simulable, thereby destroying any quantum advantage potentially offered by an ideal (noiseless) implementation of these circuits. Although the technique of quantum error correction (QEC) allows to correct these errors very accurately, QEC usually requires a large overhead of physical qubits which is not reachable with currently available quantum hardware. This has been the motivation behind the field of quantum error mitigation, which aims at developing techniques to correct an important part of the errors in quantum circuits, while also being compatible with current and near-term quantum hardware. In this work, we present a technique for quantum error mitigation which is based on a technique from quantum verification, the so-called accreditation protocol, together with post-selection. Our technique allows for correcting the expectation value of an observable $O$, which is the output of multiple runs of noisy quantum circuits, where the noise in these circuits is at the level of preparations, gates, and measurements. We discuss the sample complexity of our procedure and provide rigorous guarantees of errors being mitigated under some realistic assumptions on the noise. Our technique also allows for time dependant behaviours, as we allow for the output states to be different between different runs of the accreditation protocol. We validate our findings by running our technique on currently available quantum hardware.&lt;/p&gt;</description></item><item><title>Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States</title><link>https://qi.lip6.fr/fr/publication/3452711-non-destructive-zero-knowledge-proofs-on-quantum-states-and-multi-party-generation-of-authorized-hidden-ghz-states/</link><pubDate>Sat, 27 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452711-non-destructive-zero-knowledge-proofs-on-quantum-states-and-multi-party-generation-of-authorized-hidden-ghz-states/</guid><description>&lt;p&gt;Due to the special no-cloning principle, quantum states appear to be very useful in cryptography. But this very same property also has drawbacks: when receiving a quantum state, it is nearly impossible for the receiver to efficiently check non-trivial properties on that state without destroying it. In this work, we initiate the study of Non-Destructive Zero-Knowledge Proofs on Quantum States. Our method binds a quantum state to a classical encryption of that quantum state. That way, the receiver can obtain guarantees on the quantum state by asking to the sender to prove properties directly on the classical encryption. This method is therefore non-destructive, and it is possible to verify a very large class of properties. For instance, we can force the sender to send different categories of states depending on whether they know a classical password or not. Moreover, we can also provide guarantees to the sender: for example, we can ensure that the receiver will never learn whether the sender knows the password or not. We also extend this method to the multi-party setting. We show how it can prove useful to distribute a GHZ state between different parties, in such a way that only parties knowing a secret can be part of this GHZ. Moreover, the identity of the parties that are part of the GHZ remains hidden to any malicious party. A direct application would be to allow a server to create a secret sharing of a qubit between unknown parties, authorized for example by a third party Certification Authority. Finally, we provide simpler &amp;ldquo;blind&amp;rdquo; versions of the protocols that could prove useful in Anonymous Transmission or Quantum Onion Routing, and we explicit a cryptographic function required in our protocols based on the Learning With Errors hardness problem.&lt;/p&gt;</description></item><item><title>Randomized Benchmarking with Stabilizer Verification and Gate Synthesis</title><link>https://qi.lip6.fr/fr/publication/3452719-randomized-benchmarking-with-stabilizer-verification-and-gate-synthesis/</link><pubDate>Sat, 27 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452719-randomized-benchmarking-with-stabilizer-verification-and-gate-synthesis/</guid><description>&lt;p&gt;Recently, there has been an emergence of useful applications for noisy intermediate-scale quantum (NISQ) devices notably, though not exclusively, in the fields of quantum machine learning and variational quantum algorithms. In such applications, circuits of various depths and composed of different sets of gates are run on NISQ devices. Therefore, it is crucial to find practical ways to capture the general performance of circuits on these devices. Motivated by this pressing need, we modified the standard Clifford randomized benchmarking (RB) and interleaved RB schemes targeting them to hardware limitations. Firstly we remove the requirement for, and assumptions on, the inverse operator, in Clifford RB by incorporating a tehchnique from quantum verification. This introduces another figure of merit by which to assess the quality of the NISQ hardware, namely the acceptance probability of quantum verification. Many quantum algorithms, that provide an advantage over classical algorithms, demand the use of Clifford as well as non-Clifford gates. Therefore, as our second contribution we develop a technique for characterising a variety of non-Clifford gates, by combining tools from gate synthesis with interleaved RB. Both of our techniques are most relevant when used in conjunction with RB schemes that benchmark generators (or native gates) of the Clifford group, and in low error regimes.&lt;/p&gt;</description></item><item><title>Efficient verification of Boson Sampling</title><link>https://qi.lip6.fr/fr/publication/2884898-efficient-verification-of-boson-sampling/</link><pubDate>Mon, 15 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2884898-efficient-verification-of-boson-sampling/</guid><description>&lt;p&gt;The demonstration of quantum speedup, also known as quantum computational supremacy, that is the ability of quantum computers to outperform dramatically their classical counterparts, is an important milestone in the field of quantum computing. While quantum speedup experiments are gradually escaping the regime of classical simulation, they still lack efficient verification protocols and rely on partial validation. To that end, we derive an efficient protocol for verifying with single-mode Gaussian measurements the output states of a large class of continuous variable quantum circuits demonstrating quantum speedup, including Boson Sampling experiments, with and without i.i.d. assumption, thus enabling a convincing demonstration of quantum speedup with photonic computing. Beyond the quantum speedup milestone, our results also enable the efficient and reliable certification of a large class of intractable continuous variable multi-mode quantum states.&lt;/p&gt;</description></item><item><title>Efficient verification of Boson Sampling</title><link>https://qi.lip6.fr/fr/publication/4990669-efficient-verification-of-boson-sampling/</link><pubDate>Mon, 15 Nov 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4990669-efficient-verification-of-boson-sampling/</guid><description>&lt;p&gt;The demonstration of quantum speedup, also known as quantum computational supremacy, that is the ability of quantum computers to outperform dramatically their classical counterparts, is an important milestone in the field of quantum computing. While quantum speedup experiments are gradually escaping the regime of classical simulation, they still lack efficient verification protocols and rely on partial validation. To that end, we derive an efficient protocol for verifying with single-mode Gaussian measurements the output states of a large class of continuous variable quantum circuits demonstrating quantum speedup, including Boson Sampling experiments, with and without i.i.d. assumption, thus enabling a convincing demonstration of quantum speedup with photonic computing. Beyond the quantum speedup milestone, our results also enable the efficient and reliable certification of a large class of intractable continuous variable multi-mode quantum states.&lt;/p&gt;</description></item><item><title>Optimal quantum-programmable projective measurements with coherent states</title><link>https://qi.lip6.fr/fr/publication/2997002-optimal-quantum-programmable-projective-measurements-with-coherent-states/</link><pubDate>Fri, 01 Oct 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2997002-optimal-quantum-programmable-projective-measurements-with-coherent-states/</guid><description>&lt;p&gt;We consider a device which can be programed using coherent states of light to approximate a given projective measurement on an input coherent state. We provide and discuss three practical implementations of this programmable projective measurement device with linear optics, involving only balanced beam splitters and single photon threshold detectors. The three schemes optimally approximate any projective measurement onto a program coherent state. We further extend these to the case where there are no assumptions on the input state. In this setting, we show that our scheme enables an efficient verification of an unbounded untrusted source with only local coherent states, balanced beam splitters, and threshold detectors. Exploiting the link between programmable measurements and generalized swap test, we show as a direct application that our schemes provide an asymptotically quadratic improvement in existing quantum fingerprinting protocol to approximate the Euclidean distance between two unit vectors.&lt;/p&gt;</description></item><item><title>Verifying BQP Computations on Noisy Devices with Minimal Overhead</title><link>https://qi.lip6.fr/fr/publication/3452705-verifying-bqp-computations-on-noisy-devices-with-minimal-overhead/</link><pubDate>Fri, 01 Oct 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3452705-verifying-bqp-computations-on-noisy-devices-with-minimal-overhead/</guid><description>&lt;p&gt;With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While protocols for blind and verifiable quantum computation exist, they suffer from high overheads and from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. We introduce the first blind and verifiable protocol for delegating BQP computations to a powerful server with repetition as the only overhead. It is composable and statistically secure with exponentially-low bounds and can tolerate a constant amount of global noise.&lt;/p&gt;</description></item><item><title>Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds</title><link>https://qi.lip6.fr/fr/publication/3156988-delegating-multi-party-quantum-computations-vs-dishonest-majority-in-two-quantum-rounds/</link><pubDate>Tue, 02 Mar 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3156988-delegating-multi-party-quantum-computations-vs-dishonest-majority-in-two-quantum-rounds/</guid><description>&lt;p&gt;Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through it&amp;rsquo;s ability to preserve privacy and integrity of the highly valuable computations they would enable. Contributing to the latest challenges in this field, we present a composable protocol achieving blindness and verifiability even in the case of a single honest client. The security of our protocol is reduced, in an information-theoretically secure way, to that of a classical composable Secure Multi-Party Computation (SMPC) used to coordinate the various parties. Our scheme thus provides a statistically secure upgrade of such classical scheme to a quantum one with the same level of security. In addition, (i) the clients can delegate their computation to a powerful fully fault-tolerant server and only need to perform single qubit operations to unlock the full potential of multi-party quantum computation; (ii) the amount of quantum communication with the server is reduced to sending quantum states at the beginning of the computation and receiving the output states at the end, which is optimal and removes the need for interactive quantum communication; and (iii) it has a low constant multiplicative qubit overhead compared to the single-client delegated protocol it is built upon. The main technical ingredient of our paper is the bootstraping of the MPQC construction by Double Blind Quantum Computation, a new composable resource for blind multiparty quantum computation, that demonstrates the surprising fact that the full protocol does not require verifiability of all components to achieve security.&lt;/p&gt;</description></item><item><title>The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation</title><link>https://qi.lip6.fr/fr/publication/3123360-the-quantum-cut-and-choose-technique-and-quantum-two-party-computation/</link><pubDate>Wed, 27 Jan 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3123360-the-quantum-cut-and-choose-technique-and-quantum-two-party-computation/</guid><description>&lt;p&gt;The application and analysis of the Cut-and-Choose technique in protocols secure against quantum adversaries is not a straightforward transposition of the classical case, among other reasons due to the difficulty to use rewinding in the quantum realm. We introduce a Quantum Computation Cut-and-Choose (QC-CC) technique which is a generalisation of the classical Cut-and-Choose in order to build quantum protocols secure against quantum covert adversaries. Such adversaries can deviate arbitrarily provided that their deviation is not detected. As an application of the QC-CC we give a protocol for securely performing two-party quantum computation with classical input/output. As basis we use secure delegated quantum computing (Broadbent et al 2009), and in particular the garbled quantum computation of (Kashefi et al 2016) that is secure against only a weak specious adversaries, defined in (Dupuis et al 2010). A unique property of these protocols is the separation between classical and quantum communications and the asymmetry between client and server, which enables us to sidestep the quantum rewinding issues. This opens the prospect of using the QC-CC to other quantum protocols with this separation. In our proof of security we adapt and use (at different parts) two quantum rewinding techniques, namely Watrous&amp;rsquo; oblivious q-rewinding (Watrous 2009) and Unruh&amp;rsquo;s special q-rewinding (Unruh 2012). Our protocol achieves the same functionality as in previous works (e.g. Dupuis et al 2012), however using the QC-CC technique on the protocol from (Kashefi et al 2016) leads to the following key improvements: (i) only one-way offline quantum communication is necessary , (ii) only one party (server) needs to have involved quantum technological abilities, (iii) only minimal extra cryptographic primitives are required, namely one oblivious transfer for each input bit and quantum-safe commitments.&lt;/p&gt;</description></item><item><title>A Continuous Variable Born Machine</title><link>https://qi.lip6.fr/fr/publication/3096933-a-continuous-variable-born-machine/</link><pubDate>Tue, 05 Jan 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096933-a-continuous-variable-born-machine/</guid><description>&lt;p&gt;Generative Modelling has become a promising use case for near term quantum computers. In particular, due to the fundamentally probabilistic nature of quantum mechanics, quantum computers naturally model and learn probability distributions, perhaps more efficiently than can be achieved classically. The Born machine is an example of such a model, easily implemented on near term quantum computers. However, in its original form, the Born machine only naturally represents discrete distributions. Since probability distributions of a continuous nature are commonplace in the world, it is essential to have a model which can efficiently represent them. Some proposals have been made in the literature to supplement the discrete Born machine with extra features to more easily learn continuous distributions, however, all invariably increase the resources required to some extent. In this work, we present the continuous variable Born machine, built on the alternative architecture of continuous variable quantum computing, which is much more suitable for modelling such distributions in a resource-minimal way. We provide numerical results indicating the models ability to learn both quantum and classical continuous distributions, including in the presence of noise.&lt;/p&gt;</description></item><item><title>Client-Server Identification Protocols with Quantum PUF</title><link>https://qi.lip6.fr/fr/publication/3097503-client-server-identification-protocols-with-quantum-puf/</link><pubDate>Tue, 05 Jan 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3097503-client-server-identification-protocols-with-quantum-puf/</guid><description>&lt;p&gt;Recently, major progress has been made towards the realisation of the quantum internet to enable a broad range of applications that would be out of reach for classical internet. Most of these applications such as delegated quantum computation require running a secure identification protocol between a low-resource and a high-resource party to provide secure communication. Physical Unclonable Functions (PUFs) have been shown as resource-efficient hardware solutions for providing secure identification schemes in both classical and quantum settings. In this work, we propose two identification protocols based on quantum PUFs (qPUFs) as defined by Arapinis et al. In the first protocol, the low-resource party wishes to prove its identity to the high-resource party and in the second protocol, it is vice versa. Unlike existing identification protocols based on Quantum Read-out PUFs which rely on the security against a specific family of attacks, our protocols provide provable exponential security against any Quantum Polynomial-Time (QPT) adversary with resource-efficient parties. We provide a comprehensive comparison between the two proposed protocols in terms of resources such as quantum memory and computing ability required in both parties as well as the communication overhead between them. A stand-out feature of our second protocol is secure identification of a high-resource party by running a purely classical verification algorithm. This is achieved by delegating quantum operations to the high-resource party and utilising the resulting classical outcomes for identification.&lt;/p&gt;</description></item><item><title>Secure Quantum Two-Party Computation: Impossibility and Constructions</title><link>https://qi.lip6.fr/fr/publication/3096949-secure-quantum-two-party-computation-impossibility-and-constructions/</link><pubDate>Tue, 05 Jan 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096949-secure-quantum-two-party-computation-impossibility-and-constructions/</guid><description>&lt;p&gt;Secure two-party computation considers the problem of two parties computing a joint function of their private inputs without revealing anything beyond the output of the computation. In this work, we take the first steps towards understanding the setting in which the two parties want to evaluate a joint quantum functionality while using only a classical channel between them. Our first result indicates that it is in general impossible to realize a two-party quantum functionality against malicious adversaries with black-box simulation, relying only on classical channels. The negative result stems from reducing the existence of a black-box simulator to an extractor for classical proof of quantum knowledge, which in turn leads to violation of the quantum no-cloning. Next, we introduce the notion of oblivious quantum function evaluation (OQFE). An OQFE is a two-party quantum cryptographic primitive with one fully classical party (Alice) whose input is (a classical description of a) quantum unitary, $U$, and a quantum party (Bob) whose input is a quantum state, $\psi$. In particular, Alice receives a classical output corresponding to the measurement of $U(\psi)$ while Bob receives no output. In OQFE, Bob remains oblivious to Alice&amp;rsquo;s input, while Alice learns nothing about $\psi$ more than what can be learned from the output. We present two constructions, one secure against semi-honest parties and the other against malicious parties. Due to the no-go result mentioned above, we consider what is arguably the best possible notion obtainable in our model concerning malicious adversaries: one-sided simulation security. Our protocol relies on the assumption of injective homomorphic trapdoor OWFs, which in turn rely on the LWE problem. As a result, we put forward a first, simple and modular, construction of one-sided quantum two-party computation and quantum oblivious transfer over classical networks.&lt;/p&gt;</description></item><item><title>Variational Quantum Cloning: Improving Practicality for Quantum Cryptanalysis</title><link>https://qi.lip6.fr/fr/publication/3096902-variational-quantum-cloning-improving-practicality-for-quantum-cryptanalysis/</link><pubDate>Tue, 05 Jan 2021 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096902-variational-quantum-cloning-improving-practicality-for-quantum-cryptanalysis/</guid><description>&lt;p&gt;Cryptanalysis on standard quantum cryptographic systems generally involves finding optimal adversarial attack strategies on the underlying protocols. The core principle of modelling quantum attacks in many cases reduces to the adversary&amp;rsquo;s ability to clone unknown quantum states which facilitates the extraction of some meaningful secret information. Explicit optimal attack strategies typically require high computational resources due to large circuit depths or, in many cases, are unknown. In this work, we propose variational quantum cloning (VQC), a quantum machine learning based cryptanalysis algorithm which allows an adversary to obtain optimal (approximate) cloning strategies with short depth quantum circuits, trained using hybrid classical-quantum techniques. The algorithm contains operationally meaningful cost functions with theoretical guarantees, quantum circuit structure learning and gradient descent based optimisation. Our approach enables the end-to-end discovery of hardware efficient quantum circuits to clone specific families of quantum states, which in turn leads to an improvement in cloning fidelites when implemented on quantum hardware: the Rigetti Aspen chip. Finally, we connect these results to quantum cryptographic primitives, in particular quantum coin flipping. We derive attacks on two protocols as examples, based on quantum cloning and facilitated by VQC. As a result, our algorithm can improve near term attacks on these protocols, using approximate quantum cloning as a resource.&lt;/p&gt;</description></item><item><title>Quantum versus Classical Generative Modelling in Finance</title><link>https://qi.lip6.fr/fr/publication/3096993-quantum-versus-classical-generative-modelling-in-finance/</link><pubDate>Tue, 15 Dec 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096993-quantum-versus-classical-generative-modelling-in-finance/</guid><description>&lt;p&gt;Finding a concrete use case for quantum computers in the near term is still an open question, with machine learning typically touted as one of the first fields which will be impacted by quantum technologies. In this work, we investigate and compare the capabilities of quantum versus classical models for the task of generative modelling in machine learning. We use a real world financial dataset consisting of correlated currency pairs and compare two models in their ability to learn the resulting distribution - a restricted Boltzmann machine, and a quantum circuit Born machine. We provide extensive numerical results indicating that the simulated Born machine always at least matches the performance of the Boltzmann machine in this task, and demonstrates superior performance as the model scales. We perform experiments on both simulated and physical quantum chips using the Rigetti forest platform, and also are able to partially train the largest instance to date of a quantum circuit Born machine on quantum hardware. Finally, by studying the entanglement capacity of the training Born machines, we find that entanglement typically plays a role in the problem instances which demonstrate an advantage over the Boltzmann machine.&lt;/p&gt;</description></item><item><title>Security Limitations of Classical-Client Delegated Quantum Computing</title><link>https://qi.lip6.fr/fr/publication/2997004-security-limitations-of-classical-client-delegated-quantum-computing/</link><pubDate>Mon, 07 Dec 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2997004-security-limitations-of-classical-client-delegated-quantum-computing/</guid><description>&lt;p&gt;Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted quantum server in a privacy-preserving manner. One of the promising candidates to achieve classical delegation of quantum computation is classical-client remote state preparation ($RSP_{CC}$), where a client remotely prepares a quantum state using a classical channel. However, the privacy loss incurred by employing $RSP_{CC}$ as a sub-module is unclear. In this work, we investigate this question using the Constructive Cryptography framework by Maurer and Renner (ICS'11). We first identify the goal of $RSP_{CC}$ as the construction of ideal RSP resources from classical channels and then reveal the security limitations of using $RSP_{CC}$. First, we uncover a fundamental relationship between constructing ideal RSP resources (from classical channels) and the task of cloning quantum states. Any classically constructed ideal RSP resource must leak to the server the full classical description (possibly in an encoded form) of the generated quantum state, even if we target computational security only. As a consequence, we find that the realization of common RSP resources, without weakening their guarantees drastically, is impossible due to the no-cloning theorem. Second, the above result does not rule out that a specific $RSP_{CC}$ protocol can replace the quantum channel at least in some contexts, such as the Universal Blind Quantum Computing (UBQC) protocol of Broadbent et al. (FOCS &amp;lsquo;09). However, we show that the resulting UBQC protocol cannot maintain its proven composable security as soon as $RSP_{CC}$ is used as a subroutine. Third, we show that replacing the quantum channel of the above UBQC protocol by the $RSP_{CC}$ protocol QFactory of Cojocaru et al. (Asiacrypt &amp;lsquo;19), preserves the weaker, game-based, security of UBQC.&lt;/p&gt;</description></item><item><title>Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses</title><link>https://qi.lip6.fr/fr/publication/3097496-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</link><pubDate>Sun, 29 Nov 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3097496-dispelling-myths-on-superposition-attacks-formal-security-model-and-attack-analyses/</guid><description>&lt;p&gt;It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to perform superposition queries and the honest players forced to perform actions coherently on quantum states. Another widely held intuition is that enforcing measurements on the exchanged messages is enough to protect protocols from these attacks. However, the reality is much more complex. Security models dealing with superposition attacks only consider unconditional security. Conversely, security models considering computational security assume that all supposedly classical messages are measured, which forbids by construction the analysis of superposition attacks. Boneh and Zhandry have started to study the quantum computational security for classical primitives in their seminal work at Crypto'13, but only in the single-party setting. To the best of our knowledge, an equivalent model in the multiparty setting is still missing. In this work, we propose the first computational security model considering superposition attacks for multiparty protocols. We show that our new security model is satisfiable by proving the security of the well-known One-Time-Pad protocol and give an attack on a variant of the equally reputable Yao Protocol for Secure Two-Party Computations. The post-mortem of this attack reveals the precise points of failure, yielding highly counter-intuitive results: Adding extra classical communication, which is harmless for classical security, can make the protocol become subject to superposition attacks. We use this newly imparted knowledge to construct the first concrete protocol for Secure Two-Party Computation that is resistant to superposition attacks. Our results show that there is no straightforward answer to provide for either the vulnerabilities of classical protocols to superposition attacks or the adapted countermeasures.&lt;/p&gt;</description></item><item><title>Securing Quantum Computations in the NISQ Era</title><link>https://qi.lip6.fr/fr/publication/3016586-securing-quantum-computations-in-the-nisq-era/</link><pubDate>Fri, 20 Nov 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3016586-securing-quantum-computations-in-the-nisq-era/</guid><description>&lt;p&gt;Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals, the future availability of quantum computing through remotely accessible servers pose peculiar challenges: Clients with quantum-limited capabilities want their data and algorithms to remain hidden, while being able to verify that their computations are performed correctly. Research in blind and verifiable delegation of quantum computing attempts to address this question. However, available techniques suffer not only from high overheads but also from over-sensitivity: When running on noisy devices, imperfections trigger the same detection mechanisms as malicious attacks, resulting in perpetually aborted computations. Hence, while malicious quantum computers are rendered harmless by blind and verifiable protocols, inherent noise severely limits their usability. We address this problem with an efficient, robust, blind, verifiable scheme to delegate deterministic quantum computations with classical inputs and outputs. We show that: 1) a malicious Server can cheat at most with an exponentially small success probability; 2) in case of sufficiently small noise, the protocol succeeds with a probability exponentially close to 1; 3) the overhead is barely a polynomial number of repetitions of the initial computation interleaved with test runs requiring the same physical resources in terms of memory and gates; 4) the amount of tolerable noise, measured by the probability of failing a test run, can be as high as 25% for some computations and will be generally bounded by 12.5% when using a planar graph resource state. The key points are that security can be provided without universal computation graphs and that, in our setting, full fault-tolerance is not needed to amplify the confidence level exponentially close to 1.&lt;/p&gt;</description></item><item><title>The Born supremacy: quantum advantage and training of an Ising Born machine</title><link>https://qi.lip6.fr/fr/publication/3096252-the-born-supremacy-quantum-advantage-and-training-of-an-ising-born-machine/</link><pubDate>Wed, 08 Jul 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096252-the-born-supremacy-quantum-advantage-and-training-of-an-ising-born-machine/</guid><description>&lt;p&gt;The search for an application of near-term quantum devices is widespread. Quantum machine learning is touted as a potential utilisation of such devices, particularly those out of reach of the simulation capabilities of classical computers. In this work, we study such an application in generative modelling, focussing on a class of quantum circuits known as Born machines. Specifically, we define a subset of this class based on Ising Hamiltonians and show that the circuits encountered during gradient-based training cannot be efficiently sampled from classically up to multiplicative error in the worst case. Our gradient-based training methods use cost functions known as the Sinkhorn divergence and the Stein discrepancy, which have not previously been used in the gradientbased training of quantum circuits, and we also introduce quantum kernels to generative modelling. We show that these methods outperform the previous standard method, which used maximum mean discrepancy (MMD) as a cost function, and achieve this with minimal overhead. Finally, we discuss the ability of the model to learn hard distributions and provide formal definitions for &amp;lsquo;quantum learning supremacy&amp;rsquo;. We also exemplify the work of this paper by using generative modelling to perform quantum circuit compilation.&lt;/p&gt;</description></item><item><title>Quantum certification and benchmarking</title><link>https://qi.lip6.fr/fr/publication/2317400-quantum-certification-and-benchmarking/</link><pubDate>Wed, 17 Jun 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2317400-quantum-certification-and-benchmarking/</guid><description>&lt;p&gt;Concomitant with the rapid development of quantum technologies, challenging demands arise concerning the certification and characterization of devices. The promises of the field can only be achieved if stringent levels of precision of components can be reached and their functioning guaranteed. This Expert Recommendation provides a brief overview of the known characterization methods of certification, benchmarking, and tomographic recovery of quantum states and processes, as well as their applications in quantum computing, simulation, and communication.&lt;/p&gt;</description></item><item><title>Quantum certification and benchmarking</title><link>https://qi.lip6.fr/fr/publication/4990666-quantum-certification-and-benchmarking/</link><pubDate>Wed, 17 Jun 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4990666-quantum-certification-and-benchmarking/</guid><description>&lt;p&gt;Concomitant with the rapid development of quantum technologies, challenging demands arise concerning the certification and characterization of devices. The promises of the field can only be achieved if stringent levels of precision of components can be reached and their functioning guaranteed. This Expert Recommendation provides a brief overview of the known characterization methods of certification, benchmarking, and tomographic recovery of quantum states and processes, as well as their applications in quantum computing, simulation, and communication.&lt;/p&gt;</description></item><item><title>Building trust for continuous variable quantum states</title><link>https://qi.lip6.fr/fr/publication/2163270-building-trust-for-continuous-variable-quantum-states/</link><pubDate>Mon, 01 Jun 2020 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2163270-building-trust-for-continuous-variable-quantum-states/</guid><description>&lt;p&gt;We first introduce heterodyne quantum state tomography, a reliable method for continuous variable quantum state certification which directly yields the elements of the density matrix of the state considered and analytical confidence intervals, using heterodyne detection. This method neither needs mathematical reconstruction of the data, nor discrete binning of the sample space, and uses a single Gaussian measurement setting. Beyond quantum state tomography and without its identical copies assumption, we also derive a general protocol for verifying continuous variable pure quantum states with Gaussian measurements against fully malicious adversaries. In particular, we make use of a De Finetti reduction for infinite-dimensional systems. As an application, we consider verified universal continuous variable quantum computing, with a computational power restricted to Gaussian operations and an untrusted non-Gaussian states source. These results are obtained using a new analytical estimator for the expected value of any operator acting on a continuous variable quantum state with bounded support over Fock basis, computed with samples from heterodyne detection of the state.&lt;/p&gt;</description></item><item><title>Quantum Physical Unclonable Functions: Possibilities and Impossibilities</title><link>https://qi.lip6.fr/fr/publication/2411459-quantum-physical-unclonable-functions-possibilities-and-impossibilities/</link><pubDate>Sat, 14 Dec 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2411459-quantum-physical-unclonable-functions-possibilities-and-impossibilities/</guid><description>&lt;p&gt;Physical Unclonable Functions (PUFs) are physical devices with unique behavior that are hard to clone. A variety of PUF schemes have been considered in theoretical studies as well as practical implementations of several security primitives such as identification and key generation. Recently, the inherent unclonability of quantum states has been exploited for defining (a partial) quantum analogue to classical PUFs (against limited adversaries). There are also a few proposals for quantum implementations of classical optical PUFs. However, none of these attempts provides a comprehensive study of Quantum Physical Unclonable Functions (QPUFs) with quantum cryptographic tools as we present in this paper. We formally define QPUFs, encapsulating all requirements of classical PUFs as well as introducing new ones inherent to the quantum setting such as testability. We develop a quantum game-based security framework for our analysis and define a new class of quantum attacks, called General Quantum Emulation Attack. This class of attacks exploits previously captured valid challenge-response pairs to emulate the action of an unknown quantum transformation on new input. We devise a concrete attack based on an existing quntum emulation algorithm and use it to show that a family of quantum cryptographic primitives that rely on unknown unitary transformations do not provide existential unforgeability while they provide selective unforgeability. Then, we express our results in the case of QPUF as an unknown unitary transformation.&lt;/p&gt;</description></item><item><title>QFactory: classically-instructed remote secret qubits preparation</title><link>https://qi.lip6.fr/fr/publication/2164592-qfactory-classically-instructed-remote-secret-qubits-preparation/</link><pubDate>Sun, 08 Dec 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164592-qfactory-classically-instructed-remote-secret-qubits-preparation/</guid><description>&lt;p&gt;The functionality of classically-instructed remotely prepared random secret qubits was introduced in (Cojocaru et al 2018) as a way to enable classical parties to participate in secure quantum computation and communications protocols. The idea is that a classical party (client) instructs a quantum party (server) to generate a qubit to the server&amp;rsquo;s side that is random, unknown to the server but known to the client. Such task is only possible under computational assumptions. In this contribution we define a simpler (basic) primitive consisting of only BB84 states, and give a protocol that realizes this primitive and that is secure against the strongest possible adversary (an arbitrarily deviating malicious server). The specific functions used, were constructed based on known trapdoor one-way functions, resulting to the security of our basic primitive being reduced to the hardness of the Learning With Errors problem. We then give a number of extensions, building on this basic module: extension to larger set of states (that includes non-Clifford states); proper consideration of the abort case; and verifiablity on the module level. The latter is based on &amp;ldquo;blind self-testing&amp;rdquo;, a notion we introduced, proved in a limited setting and conjectured its validity for the most general case.&lt;/p&gt;</description></item><item><title>Certified Randomness From Steering Using Sequential Measurements</title><link>https://qi.lip6.fr/fr/publication/3096960-certified-randomness-from-steering-using-sequential-measurements/</link><pubDate>Sun, 01 Dec 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/3096960-certified-randomness-from-steering-using-sequential-measurements/</guid><description>&lt;p&gt;The generation of certifiable randomness is one of the most promising applications of quantum technologies. Furthermore, the intrinsic non-locality of quantum correlations allow us to certify randomness in a device-independent way, i.e. one need not make assumptions about the devices used. Due to the work of Curchod et. al., a single entangled two-qubit pure state can be used to produce arbitrary amounts of certified randomness. However, the obtaining of this randomness is experimentally challenging as it requires a large number of measurements, both projective and general. Motivated by these difficulties in the device-independent setting, we instead consider the scenario of one-sided device independence where certain devices are trusted, and others not; a scenario motivated by asymmetric experimental set-ups such as ion-photon networks. We show how certain aspects of previous work can be adapted to this scenario and provide theoretical bounds on the amount of randomness which can be certified. Furthermore, we give a protocol for unbounded randomness certification in this scenario, and provide numerical results demonstrating the protocol in the ideal case. Finally, we numerically test the possibility of implementing this scheme on near-term quantum technologies, by considering the performance of the protocol on several physical platforms.&lt;/p&gt;</description></item><item><title>Methods for Classically Simulating Noisy Networked Quantum Architectures</title><link>https://qi.lip6.fr/fr/publication/2164610-methods-for-classically-simulating-noisy-networked-quantum-architectures/</link><pubDate>Tue, 05 Nov 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164610-methods-for-classically-simulating-noisy-networked-quantum-architectures/</guid><description>&lt;p&gt;As research on building scalable quantum computers advances, it is important to be able to certify their correctness. Due to the exponential hardness of classically simulating quantum computation, straight-forward verification via this means fails. However, we can classically simulate small scale quantum computations and hence we are able to test that devices behave as expected in this domain. This constitutes the first step towards obtaining confidence in the anticipated quantum-advantage when we extend to scales that can no longer be simulated. Real devices have restrictions due to their architecture and limitations due to physical imperfections and noise. In this paper we extend the usual ideal simulations by considering those effects. We provide a general methodology and framework for constructing simulations which emulate the physical system. These simulations should provide a benchmark for realistic devices and guide experimental research in the quest for quantum-advantage. To illustrate our methodology we give examples that involve networked architectures and the noise-model of the device developed by the Networked Quantum Information Technologies Hub (NQIT). For our simulations we use, with suitable modification, the classical simulator of Bravyi and Gosset while the specific problems considered belong to the Instantaneous Quantum Polynomial-time class. This class is believed to be hard for classical computational devices, and is regarded as a promising candidate for the first demonstration of quantum-advantage. We first consider a subclass of IQP, defined by Bermejo-Vega et al, involving two-dimensional dynamical quantum simulators, and then general instances of IQP, restricted to the architecture of NQIT.&lt;/p&gt;</description></item><item><title>Fast Quantum Algorithm for Solving Multivariate Quadratic Equations</title><link>https://qi.lip6.fr/fr/publication/1995374-fast-quantum-algorithm-for-solving-multivariate-quadratic-equations/</link><pubDate>Tue, 27 Aug 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/1995374-fast-quantum-algorithm-for-solving-multivariate-quadratic-equations/</guid><description>&lt;p&gt;In August 2015 the cryptographic world was shaken by a sudden and surprising announcement by the US National Security Agency NSA concerning plans to transition to post-quantum algorithms. Since this announcement post-quantum cryptography has become a topic of primary interest for several standardization bodies. The transition from the currently deployed public-key algorithms to post-quantum algorithms has been found to be challenging in many aspects. In particular the problem of evaluating the quantum-bit security of such post-quantum cryptosystems remains vastly open. Of course this question is of primarily concern in the process of standardizing the post-quantum cryptosystems. In this paper we consider the quantum security of the problem of solving a system of {\it $m$ Boolean multivariate quadratic equations in $n$ variables} (\MQb); a central problem in post-quantum cryptography. When $n=m$, under a natural algebraic assumption, we present a Las-Vegas quantum algorithm solving \MQb{} that requires the evaluation of, on average, $O(2^{0.462n})$ quantum gates. To our knowledge this is the fastest algorithm for solving \MQb{}.&lt;/p&gt;</description></item><item><title>Complexity-theoretic limitations on blind delegated quantum computation</title><link>https://qi.lip6.fr/fr/publication/2164523-complexity-theoretic-limitations-on-blind-delegated-quantum-computation/</link><pubDate>Mon, 08 Jul 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164523-complexity-theoretic-limitations-on-blind-delegated-quantum-computation/</guid><description>&lt;p&gt;Blind delegation protocols allow a client to delegate a computation to a server so that the server learns nothing about the input to the computation apart from its size. For the specific case of quantum computation we know that blind delegation protocols can achieve information-theoretic security. In this paper we prove, provided certain complexity-theoretic conjectures are true, that the power of information-theoretically secure blind delegation protocols for quantum computation (ITS-BQC protocols) is in a number of ways constrained. In the first part of our paper we provide some indication that ITS-BQC protocols for delegating $\sf BQP$ computations in which the client and the server interact only classically are unlikely to exist. We first show that having such a protocol with $O(n^d)$ bits of classical communication implies that $\mathsf{BQP} \subset \mathsf{MA/O(n^d)}$. We conjecture that this containment is unlikely by providing an oracle relative to which $\mathsf{BQP} \not\subset \mathsf{MA/O(n^d)}$. We then show that if an ITS-BQC protocol exists with polynomial classical communication and which allows the client to delegate quantum sampling problems, then there exist non-uniform circuits of size $2^{n - \mathsf{\Omega}(n/log(n))}$, making polynomially-sized queries to an $\sf NP^{NP}$ oracle, for computing the permanent of an $n \times n$ matrix. The second part of our paper concerns ITS-BQC protocols in which the client and the server engage in one round of quantum communication and then exchange polynomially many classical messages. First, we provide a complexity-theoretic upper bound on the types of functions that could be delegated in such a protocol, namely $\mathsf{QCMA/qpoly \cap coQCMA/qpoly}$. Then, we show that having such a protocol for delegating $\mathsf{NP}$-hard functions implies $\mathsf{coNP^{NP^{NP}}} \subseteq \mathsf{NP^{NP^{PromiseQMA}}}$.&lt;/p&gt;</description></item><item><title>The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine</title><link>https://qi.lip6.fr/fr/publication/2164596-the-born-supremacy-quantum-advantage-and-training-of-an-ising-born-machine/</link><pubDate>Tue, 25 Jun 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164596-the-born-supremacy-quantum-advantage-and-training-of-an-ising-born-machine/</guid><description>&lt;p&gt;The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation of such devices, particularly those which are out of the reach of the simulation capabilities of classical computers. In this work, we propose a generative Quantum Machine Learning Model, called the Ising Born Machine (IBM), which we show cannot, in the worst case, and up to suitable notions of error, be simulated efficiently by a classical device. We also show this holds for all the circuit families encountered during training. In particular, we explore quantum circuit learning using non-universal circuits derived from Ising Model Hamiltonians, which are implementable on near term quantum devices. We propose two novel training methods for the IBM by utilising the Stein Discrepancy and the Sinkhorn Divergence cost functions. We show numerically, both using a simulator within Rigetti&amp;rsquo;s Forest platform and on the Aspen-1 16Q chip, that the cost functions we suggest outperform the more commonly used Maximum Mean Discrepancy (MMD) for differentiable training. We also propose an improvement to the MMD by proposing a novel utilisation of quantum kernels which we demonstrate provides improvements over its classical counterpart. We discuss the potential of these methods to learn &lt;code&gt;hard' quantum distributions, a feat which would demonstrate the advantage of quantum over classical computers, and provide the first formal definitions for what we call &lt;/code&gt;Quantum Learning Supremacy&amp;rsquo;. Finally, we propose a novel view on the area of quantum circuit compilation by using the IBM to `mimic&amp;rsquo; target quantum circuits using classical output data only.&lt;/p&gt;</description></item><item><title>Verification of Quantum Computation: An Overview of Existing Approaches</title><link>https://qi.lip6.fr/fr/publication/2164412-verification-of-quantum-computation-an-overview-of-existing-approaches/</link><pubDate>Wed, 01 May 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164412-verification-of-quantum-computation-an-overview-of-existing-approaches/</guid><description/></item><item><title>Cyber security in the quantum era</title><link>https://qi.lip6.fr/fr/publication/2164382-cyber-security-in-the-quantum-era/</link><pubDate>Mon, 01 Apr 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164382-cyber-security-in-the-quantum-era/</guid><description/></item><item><title>Probabilistic Fault-Tolerant Universal Quantum Computation and Sampling Problems in Continuous Variables</title><link>https://qi.lip6.fr/fr/publication/1931759-probabilistic-fault-tolerant-universal-quantum-computation-and-sampling-problems-in-continuous-variables/</link><pubDate>Tue, 29 Jan 2019 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/1931759-probabilistic-fault-tolerant-universal-quantum-computation-and-sampling-problems-in-continuous-variables/</guid><description>&lt;p&gt;Continuous-Variable (CV) devices are a promising platform for demonstrating large-scale quantum information protocols. In this framework, we define a general quantum computational model based on a CV hardware. It consists of vacuum input states, a finite set of gates - including non-Gaussian elements - and homodyne detection. We show that this model incorporates encodings sufficient for probabilistic fault-tolerant universal quantum computing. Furthermore, we show that this model can be adapted to yield sampling problems that cannot be simulated efficiently with a classical computer, unless the polynomial hierarchy collapses. This allows us to provide a simple paradigm for short-term experiments to probe quantum advantage relying on Gaussian states, homodyne detection and some form of non-Gaussian evolution. We finally address the recently introduced model of Instantaneous Quantum Computing in CV, and prove that the hardness statement is robust with respect to some experimentally relevant simplifications in the definition of that model.&lt;/p&gt;</description></item><item><title>Optimal quantum-programmable projective measurement with linear optics</title><link>https://qi.lip6.fr/fr/publication/1931757-optimal-quantum-programmable-projective-measurement-with-linear-optics/</link><pubDate>Fri, 14 Dec 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/1931757-optimal-quantum-programmable-projective-measurement-with-linear-optics/</guid><description>&lt;p&gt;We present a scheme for a universal device which can be programed by quantum states to approximate a chosen projective measurement to a given precision. Our scheme can be viewed as an extension of the swap test to the instance where one state is supplied many times. As such, it has many potential applications given the variety of quantum information tasks which make use of the swap test. In particular, we show that our scheme is optimal for state discrimination under the one-sided error requirement, and optimally approximates any projective measurement. Furthermore, we propose a practical implementation of our scheme with passive linear optics, which involves a simple interferometer composed only of balanced beam splitters.&lt;/p&gt;</description></item><item><title>Optimal quantum-programmable projective measurement with linear optics</title><link>https://qi.lip6.fr/fr/publication/4990675-optimal-quantum-programmable-projective-measurement-with-linear-optics/</link><pubDate>Fri, 14 Dec 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/4990675-optimal-quantum-programmable-projective-measurement-with-linear-optics/</guid><description>&lt;p&gt;We present a scheme for a universal device which can be programed by quantum states to approximate a chosen projective measurement to a given precision. Our scheme can be viewed as an extension of the swap test to the instance where one state is supplied many times. As such, it has many potential applications given the variety of quantum information tasks which make use of the swap test. In particular, we show that our scheme is optimal for state discrimination under the one-sided error requirement, and optimally approximates any projective measurement. Furthermore, we propose a practical implementation of our scheme with passive linear optics, which involves a simple interferometer composed only of balanced beam splitters.&lt;/p&gt;</description></item><item><title>Quantum Advantage from Sequential-Transformation Contextuality</title><link>https://qi.lip6.fr/fr/publication/1958797-quantum-advantage-from-sequential-transformation-contextuality/</link><pubDate>Sat, 01 Dec 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/1958797-quantum-advantage-from-sequential-transformation-contextuality/</guid><description>&lt;p&gt;We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong sequential-transformation contextuality is necessary and sufficient for deterministic computation of non-linear functions if classical components are restricted to mod2-linearity and matching constraints apply to any underlying ontology. For probabilistic computation, sequential-transformation contextuality is necessary and sufficient for advantage in this task and the degree of advantage quantifiably relates to the degree of contextuality.&lt;/p&gt;</description></item><item><title>A simple protocol for fault tolerant verification of quantum computation</title><link>https://qi.lip6.fr/fr/publication/2164407-a-simple-protocol-for-fault-tolerant-verification-of-quantum-computation/</link><pubDate>Tue, 27 Nov 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164407-a-simple-protocol-for-fault-tolerant-verification-of-quantum-computation/</guid><description>&lt;p&gt;With experimental quantum computing technologies now in their infancy, the search for efficient means of testing the correctness of these quantum computations is becoming more pressing. An approach to the verification of quantum computation within the framework of interactive proofs has been fruitful for addressing this problem. Specifically, an untrusted agent (prover) alleging to perform quantum computations can have his claims verified by another agent (verifier) who only has access to classical computation and a small quantum device for preparing or measuring single qubits. However, when this quantum device is prone to errors, verification becomes challenging and often existing protocols address this by adding extra assumptions, such as requiring the noise in the device to be uncorrelated with the noise on the prover&amp;rsquo;s devices. In this paper, we present a simple protocol for verifying quantum computations, in the presence of noisy devices, with no extra assumptions. This protocol is based on post hoc techniques for verification, which allow for the prover to know the desired quantum computation and its input. We also perform a simulation of the protocol, for a one-qubit computation, and find the error thresholds when using the qubit repetition code as well as the Steane code.&lt;/p&gt;</description></item><item><title>A Comprehensive Analysis of Quantum E-voting Protocols</title><link>https://qi.lip6.fr/fr/publication/2164606-a-comprehensive-analysis-of-quantum-e-voting-protocols/</link><pubDate>Mon, 27 Aug 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164606-a-comprehensive-analysis-of-quantum-e-voting-protocols/</guid><description>&lt;p&gt;Recent advances at Google, IBM, as well as a number of research groups indicate that quantum computers will soon be reality. Motivated by the ever more realistic threat quantum computers pose to existing classical cryptographic protocols, researchers have developed several schemes to resist &amp;ldquo;quantum attacks&amp;rdquo;. In particular, for electronic voting, several e-voting schemes relying on properties of quantum mechanics have been proposed. However, each of these proposals comes with a different and often not well-articulated corruption model, has different objectives, and is accompanied by security claims which are never formalized and are at best justified only against specific attacks. In this paper, we systematize and evaluate the security of suggested e-voting protocols based on quantum technology. We examine the claims of these works concerning privacy, correctness and verifiability, and if they are correctly attributed to the proposed protocols. In all non-trivial cases, we identified specific quantum attacks that violate these properties. We argue that the cause of these failures lies in the absence of formal security models and in a more general lack of reference to the existing cryptographic literature.&lt;/p&gt;</description></item><item><title>On the possibility of classical client blind quantum computing</title><link>https://qi.lip6.fr/fr/publication/2164617-on-the-possibility-of-classical-client-blind-quantum-computing/</link><pubDate>Mon, 27 Aug 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164617-on-the-possibility-of-classical-client-blind-quantum-computing/</guid><description>&lt;p&gt;We define the functionality of delegated pseudo-secret random qubit generator (PSRQG), where a classical client can instruct the preparation of a sequence of random qubits at some distant party. Their classical description is (computationally) unknown to any other party (including the distant party preparing them) but known to the client. We emphasize the unique feature that no quantum communication is required to implement PSRQG. This enables classical clients to perform a class of quantum communication protocols with only a public classical channel with a quantum server. A key such example is the delegated universal blind quantum computing. Using our functionality one could achieve a purely classical-client computational secure verifiable delegated universal quantum computing (also referred to as verifiable blind quantum computation). We give a concrete protocol (QFactory) implementing PSRQG, using the Learning-With-Errors problem to construct a trapdoor one-way function with certain desired properties (quantum-safe, two-regular, collision-resistant). We then prove the security in the Quantum-Honest-But-Curious setting and briefly discuss the extension to the malicious case.&lt;/p&gt;</description></item><item><title>One-Sided Device-Independent Certification of Unbounded Random Numbers</title><link>https://qi.lip6.fr/fr/publication/2125360-one-sided-device-independent-certification-of-unbounded-random-numbers/</link><pubDate>Mon, 02 Jul 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2125360-one-sided-device-independent-certification-of-unbounded-random-numbers/</guid><description>&lt;p&gt;The intrinsic non-locality of correlations in Quantum Mechanics allow us to certify the behaviour of a quantum mechanism in a device independent way. In particular, we present a new protocol that allows an unbounded amount of randomness to be certified as being legitimately the consequence of a measurement on a quantum state. By using a sequence of non-projective measurements on single state, we show a more robust method to certify unbounded randomness than the protocol of [5], by moving to a one-sided device independent scenario. This protocol also does not assume any specific behaviour of the adversary trying to fool the participants in the protocol, which is an advantage over previous steering based protocols. We present numerical results which confirm the optimal functioning of this protocol in the ideal case. Furthermore, we also study an experimental scenario to determine the feasibility of the protocol in a realistic implementation. The effect of depolarizing noise is examined, by studying a potential state produced by a networked system of ion traps.&lt;/p&gt;</description></item><item><title>Theoretical and practical aspects of verification of quantum computers</title><link>https://qi.lip6.fr/fr/publication/2164416-theoretical-and-practical-aspects-of-verification-of-quantum-computers/</link><pubDate>Mon, 19 Mar 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164416-theoretical-and-practical-aspects-of-verification-of-quantum-computers/</guid><description>&lt;p&gt;Quantum computing is emerging at a meteoric pace from a pure academic field to a fully industrial framework. Rapid advances are happening both in the physical realisations of quantum chips, and in their potential software applications. In contrast, we are not seeing that rapid growth in the design and verification methodologies for scaled-up quantum machines. In this work we describe the field of verification of quantum computers. We discuss the underlying concepts of this field, its theoretical and practical challenges, and state-of-the-art approaches to addressing those challenges. The goal of this paper is to help facilitate early efforts to adapt and create verification methodologies for quantum computers and systems. Without such early efforts, a debilitating gap may form between the state-of-the-art of low level physical technologies for quantum computers, and our ability to build medium, large, and very large scale integrated quantum circuits (M/L/VLSIQ).&lt;/p&gt;</description></item><item><title>Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)</title><link>https://qi.lip6.fr/fr/publication/2164421-information-theoretically-secure-hypothesis-test-for-temporally-unstructured-quantum-computation-extended-abstract/</link><pubDate>Tue, 27 Feb 2018 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164421-information-theoretically-secure-hypothesis-test-for-temporally-unstructured-quantum-computation-extended-abstract/</guid><description/></item><item><title>Classical multiparty computation using quantum resources</title><link>https://qi.lip6.fr/fr/publication/2164423-classical-multiparty-computation-using-quantum-resources/</link><pubDate>Mon, 18 Dec 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164423-classical-multiparty-computation-using-quantum-resources/</guid><description>&lt;p&gt;In this work, we demonstrate a way to perform classical multiparty computing among parties with limited computational resources. Our method harnesses quantum resources to increase the computational power of the individual parties. We show how a set of clients restricted to linear classical processing are able to jointly compute a nonlinear multivariable function that lies beyond their individual capabilities. The clients are only allowed to perform classical xor gates and single-qubit gates on quantum states. We also examine the type of security that can be achieved in this limited setting. Finally, we provide a proof-of-concept implementation using photonic qubits that allows four clients to compute a specific example of a multiparty function, the pairwise AND.&lt;/p&gt;</description></item><item><title>Multiparty Delegated Quantum Computing</title><link>https://qi.lip6.fr/fr/publication/2164529-multiparty-delegated-quantum-computing/</link><pubDate>Sun, 30 Jul 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164529-multiparty-delegated-quantum-computing/</guid><description/></item><item><title>Unconditionally verifiable blind quantum computation</title><link>https://qi.lip6.fr/fr/publication/2164540-unconditionally-verifiable-blind-quantum-computation/</link><pubDate>Wed, 05 Jul 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164540-unconditionally-verifiable-blind-quantum-computation/</guid><description>&lt;p&gt;Blind quantum computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client&amp;rsquo;s input, output, and computation remain private. A desirable property for any BQC protocol is verification, whereby the client can verify with high probability whether the server has followed the instructions of the protocol or if there has been some deviation resulting in a corrupted output state. A verifiable BQC protocol can be viewed as an interactive proof system leading to consequences for complexity theory. We previously proposed [A. Broadbent, J. Fitzsimons, and E. Kashefi, in Proceedings of the 50th Annual Symposium on Foundations of Computer Science, Atlanta, 2009 (IEEE, Piscataway, 2009), p. 517] a universal and unconditionally secure BQC scheme where the client only needs to be able to prepare single qubits in separable states randomly chosen from a finite set and send them to the server, who has the balance of the required quantum computational resources. In this paper we extend that protocol with additional functionality allowing blind computational basis measurements, which we use to construct another verifiable BQC protocol based on a different class of resource states. We rigorously prove that the probability of failing to detect an incorrect output is exponentially small in a security parameter, while resource overhead remains polynomial in this parameter. This resource state allows entangling gates to be performed between arbitrary pairs of logical qubits with only constant overhead. This is a significant improvement on the original scheme, which required that all computations to be performed must first be put into a nearest-neighbor form, incurring linear overhead in the number of qubits. Such an improvement has important consequences for efficiency and fault-tolerance thresholds.&lt;/p&gt;</description></item><item><title>Verification of Quantum Computation and the Price of Trust</title><link>https://qi.lip6.fr/fr/publication/2164547-verification-of-quantum-computation-and-the-price-of-trust/</link><pubDate>Thu, 08 Jun 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164547-verification-of-quantum-computation-and-the-price-of-trust/</guid><description/></item><item><title>Garbled Quantum Computation</title><link>https://qi.lip6.fr/fr/publication/2164557-garbled-quantum-computation/</link><pubDate>Fri, 07 Apr 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164557-garbled-quantum-computation/</guid><description>&lt;p&gt;The universal blind quantum computation protocol (UBQC) enables an almost classical client to delegate a quantum computation to an untrusted quantum server (in the form of a garbled quantum circuit) while the security for the client is unconditional. In this contribution, we explore the possibility of extending the verifiable UBQC, to achieve further functionalities following the analogous research for classical circuits (Yao 1986). First, exploring the asymmetric nature of UBQC (the client preparing only single qubits, while the server runs the entire quantum computation), we present a “Yao”-type protocol for secure two-party quantum computation. Similar to the classical setting, our quantum Yao protocol is secure against a specious (quantum honest-but-curious) garbler, but in our case, against a (fully) malicious evaluator. Unlike the previous work on quantum two-party computation of Dupuis et al., 2010, we do not require any online-quantum communication between the garbler and the evaluator and, thus, no extra cryptographic primitive. This feature will allow us to construct a simple universal one-time compiler for any quantum computation using one-time memory, in a similar way to the classical work of Goldwasser et al., 2008, while more efficiently than the previous work of Broadbent et al., 2013.&lt;/p&gt;</description></item><item><title>Optimised resource construction for verifiable quantum computation</title><link>https://qi.lip6.fr/fr/publication/2164566-optimised-resource-construction-for-verifiable-quantum-computation/</link><pubDate>Wed, 08 Mar 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164566-optimised-resource-construction-for-verifiable-quantum-computation/</guid><description>&lt;p&gt;Recent developments have brought the possibility of achieving scalable quantum networks and quantum devices closer. From the computational point of view these emerging technologies become relevant when they are no longer classically simulatable. Hence a pressing challenge is the construction of practical methods to verify the correctness of the outcome produced by universal or non-universal quantum devices. A promising approach that has been extensively explored is the scheme of verification via encryption through blind quantum computation. We present here a new construction that simplifies the required resources for any such verifiable protocol. We obtain an overhead that is linear in the size of the input (computation), while the security parameter remains independent of the size of the computation and can be made exponentially small (with a small extra cost). Furthermore our construction is generic and could be applied to any universal or non-universal scheme with a given underlying graph.&lt;/p&gt;</description></item><item><title>Rigidity of quantum steering and one-sided device-independent verifiable quantum computation</title><link>https://qi.lip6.fr/fr/publication/2164570-rigidity-of-quantum-steering-and-one-sided-device-independent-verifiable-quantum-computation/</link><pubDate>Tue, 21 Feb 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164570-rigidity-of-quantum-steering-and-one-sided-device-independent-verifiable-quantum-computation/</guid><description>&lt;p&gt;The relationship between correlations and entanglement has played a major role in understanding quantum theory since the work of Einstein et al (1935 Phys. Rev. 47 777–80). Tsirelson proved that Bell states, shared among two parties, when measured suitably, achieve the maximum non-local correlations allowed by quantum mechanics (Cirel&amp;rsquo;son 1980 Lett. Math. Phys. 4 93–100). Conversely, Reichardt et al showed that observing the maximal correlation value over a sequence of repeated measurements, implies that the underlying quantum state is close to a tensor product of maximally entangled states and, moreover, that it is measured according to an ideal strategy (Reichardt et al 2013 Nature 496 456–60). However, this strong rigidity result comes at a high price, requiring a large number of entangled pairs to be tested. In this paper, we present a significant improvement in terms of the overhead by instead considering quantum steering where the device of the one side is trusted. We first demonstrate a robust one-sided device-independent version of self-testing, which characterises the shared state and measurement operators of two parties up to a certain bound. We show that this bound is optimal up to constant factors and we generalise the results for the most general attacks. This leads us to a rigidity theorem for maximal steering correlations. As a key application we give a one-sided device-independent protocol for verifiable delegated quantum computation, and compare it to other existing protocols, to highlight the cost of trust assumptions. Finally, we show that under reasonable assumptions, the states shared in order to run a certain type of verification protocol must be unitarily equivalent to perfect Bell states.&lt;/p&gt;</description></item><item><title>Best of both worlds</title><link>https://qi.lip6.fr/fr/publication/2164584-best-of-both-worlds/</link><pubDate>Thu, 05 Jan 2017 00:00:00 +0000</pubDate><guid>https://qi.lip6.fr/fr/publication/2164584-best-of-both-worlds/</guid><description>&lt;p&gt;Secure communication is emerging as a significant challenge for our hyper-connected data-dependent society. The answer may lie in a clever combination of quantum and classical cryptographic techniques.&lt;/p&gt;</description></item></channel></rss>