-
The explicit solution of linear, dissipative, second-order initial-boundary value problems with variable coefficients
Authors:
Matthew Farkas,
Bernard Deconinck
Abstract:
We derive explicit solution representations for linear, dissipative, second-order Initial-Boundary Value Problems (IBVPs) with coefficients that are spatially varying, with linear, constant-coefficient, two-point boundary conditions. We accomplish this by considering the variable-coefficient problem as the limit of a constant-coefficient interface problem, previously solved using the Unified Trans…
▽ More
We derive explicit solution representations for linear, dissipative, second-order Initial-Boundary Value Problems (IBVPs) with coefficients that are spatially varying, with linear, constant-coefficient, two-point boundary conditions. We accomplish this by considering the variable-coefficient problem as the limit of a constant-coefficient interface problem, previously solved using the Unified Transform Method of Fokas. Our method produces an explicit representation of the solution, allowing us to determine properties of the solution directly. As explicit examples, we demonstrate the solution procedure for different IBVPs of variations of the heat equation, and the linearized complex Ginzburg-Landau (CGL) equation (periodic boundary conditions). We can use this to find the eigenvalues of dissipative second-order linear operators (including non-self-adjoint ones) as roots of a transcendental function, and we can write their eigenfunctions explicitly in terms of the eigenvalues.
△ Less
Submitted 3 June, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Robust self-testing of Bell inequalities tilted for maximal loophole-free nonlocality
Authors:
Nicolas Gigena,
Ekta Panwar,
Giovanni Scala,
Mateus Araújo,
Máté Farkas,
Anubhav Chaturvedi
Abstract:
The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection…
▽ More
The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. However, self-testing via the standard sum of squares decomposition method turns out to be analytically intractable since even high levels of the Navascués--Pironio--Acín hierarchy are insufficient to saturate the maximum quantum violation of these inequalities. Instead, we utilize a novel Jordan's lemma-based proof technique to obtain robust analytical self-testing statements for the entire family of tilted-Bell inequalities. These results allow us to unveil intriguing aspects of the effect of inefficient detectors and the complexity of characterizing the set of quantum correlations, in the simplest Bell scenario.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Simple and general bounds on quantum random access codes
Authors:
Máté Farkas,
Nikolai Miklin,
Armin Tavakoli
Abstract:
Random access codes are a type of communication task that is widely used in quantum information science. The optimal average success probability that can be achieved through classical strategies is known for any random access code. However, only a few cases are solved exactly for quantum random access codes. In this paper, we provide bounds for the fully general setting of n independent variables,…
▽ More
Random access codes are a type of communication task that is widely used in quantum information science. The optimal average success probability that can be achieved through classical strategies is known for any random access code. However, only a few cases are solved exactly for quantum random access codes. In this paper, we provide bounds for the fully general setting of n independent variables, each selected from a d-dimensional classical alphabet and encoded in a D-dimensional quantum system subject to an arbitrary quantum measurement. The bound recovers the exactly known special cases, and we demonstrate numerically that even though the bound is not tight overall, it can still yield a good approximation.
△ Less
Submitted 10 January, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Unbounded device-independent quantum key rates from arbitrarily small non-locality
Authors:
Máté Farkas
Abstract:
Device-independent quantum key distribution allows for proving the security of a shared cryptographic key between two distant parties with potentially untrusted devices. The security proof is based on the measurement outcome statistics (correlation) of a Bell experiment, and security is guaranteed by the laws of quantum theory. While it is known that the observed correlation must be Bell non-local…
▽ More
Device-independent quantum key distribution allows for proving the security of a shared cryptographic key between two distant parties with potentially untrusted devices. The security proof is based on the measurement outcome statistics (correlation) of a Bell experiment, and security is guaranteed by the laws of quantum theory. While it is known that the observed correlation must be Bell non-local in order to prove security, recent results show that Bell non-locality is in general not sufficient for standard device-independent quantum key distribution. In this work, we show that conversely, there is no lower bound on the amount of non-locality that is sufficient for device-independent quantum key distribution. Even more so, we show that from certain correlations that exhibit arbitrarily small non-locality, one can still extract unbounded device-independent key rates. Therefore, a quantitative relation between device-independent key rates and Bell non-locality cannot be drawn in general. Our main technique comprises a rigorous connection between self-testing and device-independent quantum key distribution, applied to a recently discovered family of Bell inequalities with arbitrarily many measurement outcomes.
△ Less
Submitted 20 October, 2023; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Maximal intrinsic randomness of a quantum state
Authors:
Shuyang Meng,
Fionnuala Curran,
Gabriel Senno,
Victoria J. Wright,
Máté Farkas,
Valerio Scarani,
Antonio Acín
Abstract:
One of the most counterintuitive aspects of quantum theory is its claim that there is 'intrinsic' randomness in the physical world. Quantum information science has greatly progressed in the study of intrinsic, or secret, quantum randomness in the past decade. With much emphasis on device-independent and semi-device-independent bounds, one of the most basic questions has escaped attention: how much…
▽ More
One of the most counterintuitive aspects of quantum theory is its claim that there is 'intrinsic' randomness in the physical world. Quantum information science has greatly progressed in the study of intrinsic, or secret, quantum randomness in the past decade. With much emphasis on device-independent and semi-device-independent bounds, one of the most basic questions has escaped attention: how much intrinsic randomness can be extracted from a given state $ρ$, and what measurements achieve this bound? We answer this question for two different randomness quantifiers: the conditional min-entropy and the conditional von Neumann entropy. For the former, we solve the min-max problem of finding the measurement that minimises the maximal guessing probability of an eavesdropper. The result is that one can guarantee an amount of conditional min-entropy $H^{*}_{\textrm{min}}=-\log_{2}P^{*}_{\textrm{guess}}(ρ)$ with $P^{*}_{\textrm{guess}}(ρ)=\frac{1}{d}\,(\textrm{tr} \sqrtρ)^2$ by performing suitable projective measurements. For the latter, we find that its maximal value is $H^{*}= \log_{2}d-S(ρ)$, with $S(ρ)$ the von Neumann entropy of $ρ$. Optimal values for $H^{*}_{\textrm{min}}$ and $H^{*}$ are achieved by measuring in any basis that is unbiased to the eigenbasis of $ρ$, as well as by other less intuitive measurements.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Contextuality and inductive bias in quantum machine learning
Authors:
Joseph Bowles,
Victoria J Wright,
Máté Farkas,
Nathan Killoran,
Maria Schuld
Abstract:
Generalisation in machine learning often relies on the ability to encode structures present in data into an inductive bias of the model class. To understand the power of quantum machine learning, it is therefore crucial to identify the types of data structures that lend themselves naturally to quantum models. In this work we look to quantum contextuality -- a form of nonclassicality with links to…
▽ More
Generalisation in machine learning often relies on the ability to encode structures present in data into an inductive bias of the model class. To understand the power of quantum machine learning, it is therefore crucial to identify the types of data structures that lend themselves naturally to quantum models. In this work we look to quantum contextuality -- a form of nonclassicality with links to computational advantage -- for answers to this question. We introduce a framework for studying contextuality in machine learning, which leads us to a definition of what it means for a learning model to be contextual. From this, we connect a central concept of contextuality, called operational equivalence, to the ability of a model to encode a linearly conserved quantity in its label space. A consequence of this connection is that contextuality is tied to expressivity: contextual model classes that encode the inductive bias are generally more expressive than their noncontextual counterparts. To demonstrate this, we construct an explicit toy learning problem -- based on learning the payoff behaviour of a zero-sum game -- for which this is the case. By leveraging tools from geometric quantum machine learning, we then describe how to construct quantum learning models with the associated inductive bias, and show through our toy problem that they outperform their corresponding classical surrogate models. This suggests that understanding learning problems of this form may lead to useful insights about the power of quantum machine learning.
△ Less
Submitted 18 April, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
An invertible map between Bell non-local and contextuality scenarios
Authors:
Victoria J Wright,
Máté Farkas
Abstract:
We present an invertible map between correlations in any bipartite Bell scenario and behaviours in a family of contextuality scenarios. The map takes local, quantum and non-signalling correlations to non-contextual, quantum and contextual behaviours, respectively. Consequently, we find that the membership problem of the set of quantum contextual behaviours is undecidable, the set cannot be fully r…
▽ More
We present an invertible map between correlations in any bipartite Bell scenario and behaviours in a family of contextuality scenarios. The map takes local, quantum and non-signalling correlations to non-contextual, quantum and contextual behaviours, respectively. Consequently, we find that the membership problem of the set of quantum contextual behaviours is undecidable, the set cannot be fully realised via finite dimensional quantum systems and is not closed. Finally, we show that neither this set nor its closure is the limit of a sequence of computable supersets, due to the result MIP*=RE.
△ Less
Submitted 4 December, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Characterizing and quantifying the incompatibility of quantum instruments
Authors:
Arindam Mitra,
Máté Farkas
Abstract:
Incompatibility of quantum devices is one of the cornerstones of quantum theory, and the incompatibility of quantum measurements and channels has been linked to quantum advantage in certain information theoretic tasks. In this work, we focus on the less well-explored question of the incompatibility of quantum instruments, that is, devices that describe the measurement process in its entirety, acco…
▽ More
Incompatibility of quantum devices is one of the cornerstones of quantum theory, and the incompatibility of quantum measurements and channels has been linked to quantum advantage in certain information theoretic tasks. In this work, we focus on the less well-explored question of the incompatibility of quantum instruments, that is, devices that describe the measurement process in its entirety, accounting for both the classical measurement outcome and the quantum post-measurement state. In particular, we focus on the recently introduced notion of parallel compatibility of instruments, which has been argued to be a natural notion of instrument compatibility. We introduce -- similarly to the case of measurements and channels -- the incompatibility robustness of quantum instruments and derive universal bounds on it. We then prove that post-processing of quantum instruments is a free operation for parallel compatibility. Last, we provide families of instruments for which our bounds are tight, and families of compatible indecomposable instruments.
△ Less
Submitted 17 November, 2022; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Solving the heat equation with variable thermal conductivity
Authors:
Matthew Farkas,
Bernard Deconinck
Abstract:
We consider the heat equation with spatially variable thermal conductivity and homogeneous Dirichlet boundary conditions. Using the Method of Fokas or Unified Transform Method, we derive solution representations as the limit of solutions of constant-coefficient interface problems where the number of subdomains and interfaces becomes unbounded. This produces an explicit representation of the soluti…
▽ More
We consider the heat equation with spatially variable thermal conductivity and homogeneous Dirichlet boundary conditions. Using the Method of Fokas or Unified Transform Method, we derive solution representations as the limit of solutions of constant-coefficient interface problems where the number of subdomains and interfaces becomes unbounded. This produces an explicit representation of the solution, from which we can compute the solution and determine its properties. Using this solution expression, we can find the eigenvalues of the corresponding variable-coefficient eigenvalue problem as roots of a transcendental function. We can write the eigenfunctions explicitly in terms of the eigenvalues. The heat equation is the first example of more general variable-coefficient second-order initial-boundary value problems that can be solved using this approach.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
The analytic extension of solutions to initial-boundary value problems outside their domain of definition
Authors:
Matthew Farkas,
Jorge Cisneros,
Bernard Deconinck
Abstract:
We examine the analytic extension of solutions of linear, constant-coefficient initial-boundary value problems outside their spatial domain of definition. We use the Unified Transform Method or Method of Fokas, which gives a representation for solutions to half-line and finite-interval initial-boundary value problems as integrals of kernels with explicit spatial and temporal dependence. These solu…
▽ More
We examine the analytic extension of solutions of linear, constant-coefficient initial-boundary value problems outside their spatial domain of definition. We use the Unified Transform Method or Method of Fokas, which gives a representation for solutions to half-line and finite-interval initial-boundary value problems as integrals of kernels with explicit spatial and temporal dependence. These solution representations are defined within the spatial domain of the problem. We obtain the extension of these representation formulae via Taylor series outside these spatial domains and find the extension of the initial condition that gives rise to a whole-line initial-value problem solved by the extended solution. In general, the extended initial condition is not differentiable or continuous unless the boundary and initial conditions satisfy compatibility conditions. We analyze dissipative and dispersive problems, and problems with continuous and discrete spatial variables.
△ Less
Submitted 19 June, 2022;
originally announced June 2022.
-
Upper bounds on key rates in device-independent quantum key distribution based on convex-combination attacks
Authors:
Karol Łukanowski,
Maria Balanzó-Juandó,
Máté Farkas,
Antonio Acín,
Jan Kołodyński
Abstract:
The device-independent framework constitutes the most pragmatic approach to quantum protocols that does not put any trust in their implementations. It requires all claims, about e.g. security, to be made at the level of the final classical data in hands of the end-users. This imposes a great challenge for determining attainable key rates in device-independent quantum key distribution (DIQKD), but…
▽ More
The device-independent framework constitutes the most pragmatic approach to quantum protocols that does not put any trust in their implementations. It requires all claims, about e.g. security, to be made at the level of the final classical data in hands of the end-users. This imposes a great challenge for determining attainable key rates in device-independent quantum key distribution (DIQKD), but also opens the door for consideration of eavesdrop** attacks that stem from the possibility of a given data being just generated by a malicious third-party. In this work, we explore this path and present the convex-combination attack as an efficient, easy-to-use technique for upper-bounding DIQKD key rates. It allows verifying the accuracy of lower bounds on key rates for state-of-the-art protocols, whether involving one-way or two-way communication. In particular, we demonstrate with its help that the currently predicted constraints on the robustness of DIQKD protocols to experimental imperfections, such as the finite visibility or detection efficiency, are already very close to the ultimate tolerable thresholds.
△ Less
Submitted 29 November, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Mutually Unbiased Measurements, Hadamard Matrices, and Superdense Coding
Authors:
Máté Farkas,
Jędrzej Kaniewski,
Ashwin Nayak
Abstract:
Mutually unbiased bases (MUBs) are highly symmetric bases on complex Hilbert spaces, and the corresponding rank-1 projective measurements are ubiquitous in quantum information theory. In this work, we study a recently introduced generalization of MUBs called mutually unbiased measurements (MUMs). These measurements inherit the essential property of complementarity from MUBs, but the Hilbert space…
▽ More
Mutually unbiased bases (MUBs) are highly symmetric bases on complex Hilbert spaces, and the corresponding rank-1 projective measurements are ubiquitous in quantum information theory. In this work, we study a recently introduced generalization of MUBs called mutually unbiased measurements (MUMs). These measurements inherit the essential property of complementarity from MUBs, but the Hilbert space dimension is no longer required to match the number of outcomes. This operational complementarity property renders MUMs highly useful for device-independent quantum information processing. It has been shown that MUMs are strictly more general than MUBs. In this work we provide a complete proof of the characterization of MUMs that are direct sums of MUBs. We then proceed to construct new examples of MUMs that are not direct sums of MUBs. A crucial technical tool for these construction is a correspondence with quaternionic Hadamard matrices, which allows us to map known examples of such matrices to MUMs that are not direct sums of MUBs. Furthermore, we show that -- in stark contrast with MUBs -- the number of MUMs for a fixed outcome number is unbounded. Next, we focus on the use of MUMs in quantum communication. We demonstrate how any pair of MUMs with d outcomes defines a d-dimensional superdense coding protocol. Using MUMs that are not direct sums of MUBs, we disprove a recent conjecture due to Nayak and Yuen on the rigidity of superdense coding for infinitely many dimensions. The superdense coding protocols arising in the refutation reveal how shared entanglement may be used in a manner heretofore unknown.
△ Less
Submitted 12 October, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Three numerical approaches to find mutually unbiased bases using Bell inequalities
Authors:
Maria Prat Colomer,
Luke Mortimer,
Irénée Frérot,
Máté Farkas,
Antonio Acín
Abstract:
Mutually unbiased bases correspond to highly useful pairs of measurements in quantum information theory. In the smallest composite dimension, six, it is known that between three and seven mutually unbiased bases exist, with a decades-old conjecture, known as Zauner's conjecture, stating that there exist at most three. Here we tackle Zauner's conjecture numerically through the construction of Bell…
▽ More
Mutually unbiased bases correspond to highly useful pairs of measurements in quantum information theory. In the smallest composite dimension, six, it is known that between three and seven mutually unbiased bases exist, with a decades-old conjecture, known as Zauner's conjecture, stating that there exist at most three. Here we tackle Zauner's conjecture numerically through the construction of Bell inequalities for every pair of integers $n,d \ge 2$ that can be maximally violated in dimension $d$ if and only if $n$ MUBs exist in that dimension. Hence we turn Zauner's conjecture into an optimisation problem, which we address by means of three numerical methods: see-saw optimisation, non-linear semidefinite programming and Monte Carlo techniques. All three methods correctly identify the known cases in low dimensions and all suggest that there do not exist four mutually unbiased bases in dimension six, with all finding the same bases that numerically optimise the corresponding Bell inequality. Moreover, these numerical optimisers appear to coincide with the "four most distant bases" in dimension six, found through numerically optimising a distance measure in [P. Raynal, X. Lü, B.-G. Englert, Phys. Rev. A, 83 062303 (2011)]. Finally, the Monte Carlo results suggest that at most three MUBs exist in dimension ten.
△ Less
Submitted 9 August, 2022; v1 submitted 17 March, 2022;
originally announced March 2022.
-
On the compatibility of quantum instruments
Authors:
Arindam Mitra,
Máté Farkas
Abstract:
Incompatibility of quantum devices is a useful resource in various quantum information theoretical tasks, and it is at the heart of some fundamental features of quantum theory. While the incompatibility of measurements and quantum channels is well-studied, the incompatibility of quantum instruments has not been explored in much detail. In this work, we revise a notion of instrument compatibility i…
▽ More
Incompatibility of quantum devices is a useful resource in various quantum information theoretical tasks, and it is at the heart of some fundamental features of quantum theory. While the incompatibility of measurements and quantum channels is well-studied, the incompatibility of quantum instruments has not been explored in much detail. In this work, we revise a notion of instrument compatibility introduced in the literature that we call traditional compatibility. Then, we introduce the new notion of parallel compatibility, and show that these two notions are inequivalent. Then, we argue that the notion of traditional compatibility is incomplete, and prove that while parallel compatibility captures measurement and channel compatibility, traditional compatibility does not. Hence, we propose parallel compatibility as the conceptually complete definition of compatibility of quantum instruments.
△ Less
Submitted 7 March, 2022; v1 submitted 3 October, 2021;
originally announced October 2021.
-
Bell nonlocality is not sufficient for the security of standard device-independent quantum key distribution protocols
Authors:
Máté Farkas,
Maria Balanzó-Juandó,
Karol Łukanowski,
Jan Kołodyński,
Antonio Acín
Abstract:
Device-independent quantum key distribution is a secure quantum cryptographic paradigm that allows two honest users to establish a secret key, while putting minimal trust in their devices. Most of the existing protocols have the following structure: first, a bipartite nonlocal quantum state is distributed between the honest users, who perform local measurements to establish nonlocal correlations.…
▽ More
Device-independent quantum key distribution is a secure quantum cryptographic paradigm that allows two honest users to establish a secret key, while putting minimal trust in their devices. Most of the existing protocols have the following structure: first, a bipartite nonlocal quantum state is distributed between the honest users, who perform local measurements to establish nonlocal correlations. Then, they announce the implemented measurements and extract a secure key by post-processing their measurement outcomes. We show that no protocol of this form allows for establishing a secret key when implemented on any correlation obtained by measuring local projective measurements on certain entangled nonlocal states, namely on a range of entangled two-qubit Werner states. To prove this result, we introduce a technique for upper-bounding the asymptotic key rate of device-independent quantum key distribution protocols, based on a simple eavesdrop** attack. Our results imply that either different reconciliation techniques are needed for device-independent quantum key distribution in the large-noise regime, or Bell nonlocality is not sufficient for this task.
△ Less
Submitted 2 August, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Characterising and bounding the set of quantum behaviours in contextuality scenarios
Authors:
Anubhav Chaturvedi,
Máté Farkas,
Victoria J Wright
Abstract:
The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments,…
▽ More
The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios, including contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations, we demonstrate monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes.
△ Less
Submitted 24 June, 2021; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Self-testing mutually unbiased bases in higher dimensions with space-division multiplexing optical fiber technology
Authors:
Máté Farkas,
Nayda Guerrero,
Jaime Cariñe,
Gustavo Cañas,
Gustavo Lima
Abstract:
In the device-independent quantum information approach, the implementation of a given task can be self-tested solely from the recorded statistics and without detailed models for the employed devices. Even though experimentally demanding, it provides appealing verification schemes for advanced quantum technologies that naturally fulfil the associated requirements. In this work, we experimentally st…
▽ More
In the device-independent quantum information approach, the implementation of a given task can be self-tested solely from the recorded statistics and without detailed models for the employed devices. Even though experimentally demanding, it provides appealing verification schemes for advanced quantum technologies that naturally fulfil the associated requirements. In this work, we experimentally study whether self-testing protocols can be adopted to certify the proper functioning of new quantum devices built with modern space-division multiplexing optical fiber technology. Specifically, we consider the prepare-and-measure protocol of M.~Farkas and J.~Kaniewski (Phys.~Rev.~A 99, 032316) for self-testing measurements corresponding to mutually unbiased bases (MUBs) in a dimension $d>2$. In our scheme, the state preparation and measurement stages are implemented with a multi-arm interferometer built with new multi-core optical fibers and related components. Due to the high-overlap of the interferometer's optical modes achieved with this technology, we are able to reach the required visibilities for self-testing the implementation of two four-dimensional MUBs. We also quantify two operational quantities of the measurements: (i) the incompatibility robustness, connected to Bell violations, and (ii) the randomness extractable from the outcomes. Since MUBs lie at the core of several quantum information protocols, our results are of practical interest for future quantum works relying on space-division multiplexing optical fibers.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
Semi-Device-Independent Random Number Generation with Flexible Assumptions
Authors:
Matej Pivoluska,
Martin Plesch,
Máté Farkas,
Natália Ružičková,
Clara Flegel,
Natalia Herrera Valencia,
Will McCutcheon,
Mehul Malik,
Edgar A. Aguilar
Abstract:
Our ability to trust that a random number is truly random is essential for fields as diverse as cryptography and fundamental tests of quantum mechanics. Existing solutions both come with drawbacks -- device-independent quantum random number generators (QRNGs) are highly impractical and standard semi-device-independent QRNGs are limited to a specific physical implementation and level of trust. Here…
▽ More
Our ability to trust that a random number is truly random is essential for fields as diverse as cryptography and fundamental tests of quantum mechanics. Existing solutions both come with drawbacks -- device-independent quantum random number generators (QRNGs) are highly impractical and standard semi-device-independent QRNGs are limited to a specific physical implementation and level of trust. Here we propose a new framework for semi-device-independent randomness certification, using a source of trusted vacuum in the form of a signal shutter. It employs a flexible set of assumptions and levels of trust, allowing it to be applied in a wide range of physical scenarios involving both quantum and classical entropy sources. We experimentally demonstrate our protocol with a photonic setup and generate secure random bits under three different assumptions with varying degrees of security and resulting data rates.
△ Less
Submitted 19 March, 2021; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Mutually unbiased bases and symmetric informationally complete measurements in Bell experiments
Authors:
Armin Tavakoli,
Máté Farkas,
Denis Rosset,
Jean-Daniel Bancal,
Jędrzej Kaniewski
Abstract:
Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by $d$-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operation…
▽ More
Mutually unbiased bases (MUBs) and symmetric informationally complete projectors (SICs) are crucial to many conceptual and practical aspects of quantum theory. Here, we develop their role in quantum nonlocality by: i) introducing families of Bell inequalities that are maximally violated by $d$-dimensional MUBs and SICs respectively, ii) proving device-independent certification of natural operational notions of MUBs and SICs, and iii) using MUBs and SICs to develop optimal-rate and nearly optimal-rate protocols for device independent quantum key distribution and device-independent quantum random number generation respectively. Moreover, we also present the first example of an extremal point of the quantum set of correlations which admits physically inequivalent quantum realisations. Our results elaborately demonstrate the foundational and practical relevance of the two most important discrete Hilbert space structures to the field of quantum nonlocality.
△ Less
Submitted 20 October, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Quantum error correction codes and absolutely maximally entangled states
Authors:
Paweł Mazurek,
Máté Farkas,
Andrzej Grudka,
Michał Horodecki,
Michał Studziński
Abstract:
For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such qu…
▽ More
For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such quantum codes and link this procedure to entanglement swap**. Using our techniques, we investigate the spread of quantum information on a tensor network code formerly used as a toy model for the AdS/CFT correspondence. In this network, we show how corrections arise to the Ryu-Takayanagi formula in the case of entangled input state, and that the bound on the entanglement entropy of the boundary state is saturated for absolutely maximally entangled input states.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Incompatibility robustness of quantum measurements: a unified framework
Authors:
Sébastien Designolle,
Máté Farkas,
Jędrzej Kaniewski
Abstract:
In quantum mechanics performing a measurement is an invasive process which generally disturbs the system. Due to this phenomenon, there exist incompatible quantum measurements, i.e., measurements that cannot be simultaneously performed on a single copy of the system. It is then natural to ask what the most incompatible quantum measurements are. To answer this question, several measures have been p…
▽ More
In quantum mechanics performing a measurement is an invasive process which generally disturbs the system. Due to this phenomenon, there exist incompatible quantum measurements, i.e., measurements that cannot be simultaneously performed on a single copy of the system. It is then natural to ask what the most incompatible quantum measurements are. To answer this question, several measures have been proposed to quantify how incompatible a set of measurements is, however their properties are not well-understood. In this work, we develop a general framework that encompasses all the commonly used measures of incompatibility based on robustness to noise. Moreover, we propose several conditions that a measure of incompatibility should satisfy, and investigate whether the existing measures comply with them. We find that some of the widely used measures do not fulfil these basic requirements. We also show that when looking for the most incompatible pairs of measurements, we obtain different answers depending on the exact measure. For one of the measures, we analytically prove that projective measurements onto two mutually unbiased bases are among the most incompatible pairs in every dimension. However, for some of the remaining measures we find that some peculiar measurements turn out to be even more incompatible.
△ Less
Submitted 31 March, 2020; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Self-testing mutually unbiased bases in the prepare-and-measure scenario
Authors:
Máté Farkas,
Jędrzej Kaniewski
Abstract:
Mutually unbiased bases (MUBs) constitute the canonical example of incompatible quantum measurements. One standard application of MUBs is the task known as quantum random access code (QRAC), in which classical information is encoded in a quantum system, and later part of it is recovered by performing a quantum measurement. We analyse a specific class of QRACs, known as the $2^{d} \to 1$ QRAC, in w…
▽ More
Mutually unbiased bases (MUBs) constitute the canonical example of incompatible quantum measurements. One standard application of MUBs is the task known as quantum random access code (QRAC), in which classical information is encoded in a quantum system, and later part of it is recovered by performing a quantum measurement. We analyse a specific class of QRACs, known as the $2^{d} \to 1$ QRAC, in which two classical dits are encoded in a $d$-dimensional quantum system. It is known that among rank-1 projective measurements MUBs give the best performance. We show (for every $d$) that this cannot be improved by employing non-projective measurements. Moreover, we show that the optimal performance can only be achieved by measurements which are rank-1 projective and mutually unbiased. In other words, the $2^{d} \to 1$ QRAC is a self-test for a pair of MUBs in the prepare-and-measure scenario. To make the self-testing statement robust we propose measures which characterise how well a pair of (not necessarily projective) measurements satisfies the MUB conditions and show how to estimate these measures from the observed performance. Similarly, we derive explicit bounds on operational quantities like the incompatibility robustness or the amount of uncertainty generated by the uncharacterised measurements. For low dimensions the robustness of our bounds is comparable to that of currently available technology, which makes them relevant for existing experiments. Lastly, our results provide essential support for a recently proposed method for solving the long-standing existence problem of MUBs.
△ Less
Submitted 31 March, 2020; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Certifying an irreducible 1024-dimensional photonic state using refined dimension witnesses
Authors:
Edgar A. Aguilar,
Máté Farkas,
Daniel Martínez,
Matías Alvarado,
Jaime Cariñe,
Guilherme B. Xavier,
Johanna F. Barra,
Gustavo Cañas,
Marcin Pawłowski,
Gustavo Lima
Abstract:
We report on a new class of dimension witnesses, based on quantum random access codes, which are a function of the recorded statistics and that have different bounds for all possible decompositions of a high-dimensional physical system. Thus, it certifies the dimension of the system and has the new distinct feature of identifying whether the high-dimensional system is decomposable in terms of lowe…
▽ More
We report on a new class of dimension witnesses, based on quantum random access codes, which are a function of the recorded statistics and that have different bounds for all possible decompositions of a high-dimensional physical system. Thus, it certifies the dimension of the system and has the new distinct feature of identifying whether the high-dimensional system is decomposable in terms of lower dimensional subsystems. To demonstrate the practicability of this technique we used it to experimentally certify the generation of an irreducible 1024-dimensional photonic quantum state. Therefore, certifying that the state is not multipartite or encoded using non-coupled different degrees of freedom of a single photon. Our protocol should find applications in a broad class of modern quantum information experiments addressing the generation of high-dimensional quantum systems, where quantum tomography may become intractable.
△ Less
Submitted 12 June, 2018; v1 submitted 12 October, 2017;
originally announced October 2017.
-
$n$-fold unbiased bases: an extension of the MUB condition
Authors:
Máté Farkas
Abstract:
I introduce a new notion, that extends the mutually unbiased bases (MUB) conditons to more than two bases. These, I call the nUB conditions, and the corresponding bases $n$-fold unbiased. They naturally appear while optimizing generic $n$-to-one quantum random access code (QRAC) strategies. While their existence in general dimensions is an open question, they nevertheless give close-to-tight upper…
▽ More
I introduce a new notion, that extends the mutually unbiased bases (MUB) conditons to more than two bases. These, I call the nUB conditions, and the corresponding bases $n$-fold unbiased. They naturally appear while optimizing generic $n$-to-one quantum random access code (QRAC) strategies. While their existence in general dimensions is an open question, they nevertheless give close-to-tight upper bounds on QRAC success probabilities, and raise fundamental questions about the geometry of quantum states.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
Qudit homological product codes
Authors:
Máté Farkas,
Péter Vrana
Abstract:
In this note we show that the random homological product code construction of Bravyi and Hastings can be extended to qudits of dimension D with D an odd prime. While the result is not surprising, the proof does require new ideas.
In this note we show that the random homological product code construction of Bravyi and Hastings can be extended to qudits of dimension D with D an odd prime. While the result is not surprising, the proof does require new ideas.
△ Less
Submitted 7 June, 2019; v1 submitted 28 May, 2015;
originally announced May 2015.
-
Homological codes and abelian anyons
Authors:
Péter Vrana,
Máté Farkas
Abstract:
We study a generalization of Kitaev's abelian toric code model defined on CW complexes. In this model qudits are attached to $n$ dimensional cells and the interaction is given by generalized star and plaquette operators. These are defined in terms of coboundary and boundary maps in the locally finite cellular cochain complex and the cellular chain complex. We find that the set of frustration free…
▽ More
We study a generalization of Kitaev's abelian toric code model defined on CW complexes. In this model qudits are attached to $n$ dimensional cells and the interaction is given by generalized star and plaquette operators. These are defined in terms of coboundary and boundary maps in the locally finite cellular cochain complex and the cellular chain complex. We find that the set of frustration free ground states and the types of charges carried by certain localized excitations depend only on the proper homotopy type of the CW complex. As an application we show that the homological product of a CSS code with the infinite toric code has excitations with abelian anyonic statistics.
△ Less
Submitted 19 January, 2017; v1 submitted 5 May, 2015;
originally announced May 2015.
-
Production of Rubidium Bose-Einstein Condensates at a 1 Hz Rate
Authors:
Daniel M. Farkas,
Evan A. Salim,
Jaime Ramirez-Serrano
Abstract:
We present an experimental apparatus that produces Bose-Einstein condensates (BECs) of $^{87}$Rb atoms at a rate of 1 Hz. As a demonstration of the system's ability to operate continuously, 30 BECs were produced and imaged in 32.1 s. Without imaging, a single BEC could be produced in 953 ms. The system uses an atom chip to confine atoms in a dimple trap with frequencies exceeding 1 kHz. With this…
▽ More
We present an experimental apparatus that produces Bose-Einstein condensates (BECs) of $^{87}$Rb atoms at a rate of 1 Hz. As a demonstration of the system's ability to operate continuously, 30 BECs were produced and imaged in 32.1 s. Without imaging, a single BEC could be produced in 953 ms. The system uses an atom chip to confine atoms in a dimple trap with frequencies exceeding 1 kHz. With this tight trap, the duration of evaporative cooling was reduced to less than 0.5 s. Using principal component analysis, insight into the largest sources of noise and drift was obtained by extracting the dominant contributions to the variance. The system utilizes a compact physics package that can be integrated with lasers and electronics to create a transportable ultracold-atom device for applications outside of a laboratory environment.
△ Less
Submitted 24 December, 2014; v1 submitted 18 March, 2014;
originally announced March 2014.
-
Efficient Direct Evaporative Cooling in an Atom Chip Magnetic Trap
Authors:
Daniel M. Farkas,
Kai M. Hudek,
Shengwang Du,
Dana Z. Anderson
Abstract:
We demonstrate direct evaporative cooling of $^{87}$Rb atoms confined in a dimple trap produced by an atom chip. By changing the two chip currents and two external bias fields, we show theoretically that the trap depth can be lowered in a controlled way with no change in the trap frequencies or the value of the field at the trap center. Experimentally, we maximized the decrease in trap depth by al…
▽ More
We demonstrate direct evaporative cooling of $^{87}$Rb atoms confined in a dimple trap produced by an atom chip. By changing the two chip currents and two external bias fields, we show theoretically that the trap depth can be lowered in a controlled way with no change in the trap frequencies or the value of the field at the trap center. Experimentally, we maximized the decrease in trap depth by allowing some loosening of the trap. In total, we reduced the trap depth by a factor of 20. The geometric mean of the trap frequencies was reduced by less than a factor of 6. The measured phase space density in the final two stages increased by more than two orders of magnitude, and we estimate an increase of four orders of magnitude over the entire sequence. A subsequent rf evaporative sweep of only a few megahertz produced Bose-Einstein condensates. We also produce condensates in which raising the trap bottom pushes hotter atoms into an rf "knife" operating at a fixed frequency of 5\,MHz.
△ Less
Submitted 27 May, 2013; v1 submitted 23 May, 2013;
originally announced May 2013.
-
A Compact Microchip-Based Atomic Clock Based on Ultracold Trapped Rb Atoms
Authors:
Daniel M. Farkas,
Alex Zozulya,
Dana Z. Anderson
Abstract:
We propose a compact atomic clock based on ultracold Rb atoms that are magnetically trapped near the surface of an atom microchip. An interrogation scheme that combines electromagnetically-induced transparency (EIT) with Ramsey's method of separated oscillatory fields can achieve atomic shot-noise level performance of 10^{-13}/sqrt(tau) for 10^6 atoms. The EIT signal can be detected with a heter…
▽ More
We propose a compact atomic clock based on ultracold Rb atoms that are magnetically trapped near the surface of an atom microchip. An interrogation scheme that combines electromagnetically-induced transparency (EIT) with Ramsey's method of separated oscillatory fields can achieve atomic shot-noise level performance of 10^{-13}/sqrt(tau) for 10^6 atoms. The EIT signal can be detected with a heterodyne technique that provides noiseless gain; with this technique the optical phase shift of a 100 pW probe beam can be detected at the photon shot-noise level. Numerical calculations of the density matrix equations are used to identify realistic operating parameters at which AC Stark shifts are eliminated. By considering fluctuations in these parameters, we estimate that AC Stark shifts can be canceled to a level better than 2*10^{-14}. An overview of the apparatus is presented with estimates of duty cycle and power consumption.
△ Less
Submitted 21 December, 2009;
originally announced December 2009.
-
A Compact, Transportable, Microchip-Based System for High Repetition Rate Production of Bose-Einstein Condensates
Authors:
Daniel M. Farkas,
Kai M. Hudek,
Evan A. Salim,
Stephen R. Segal,
Matthew B. Squires,
Dana Z. Anderson
Abstract:
We present a compact, transportable system that produces Bose-Einstein condensates (BECs) near the surface of an integrated atom microchip. The system occupies a volume of 0.4 m^3 and operates at a repetition rate as high as 0.3 Hz. Evaporative cooling in a chip trap with trap frequencies of several kHz leads to nearly pure condensates containing 1.9x10^4 87Rb atoms. Partial condensates are obse…
▽ More
We present a compact, transportable system that produces Bose-Einstein condensates (BECs) near the surface of an integrated atom microchip. The system occupies a volume of 0.4 m^3 and operates at a repetition rate as high as 0.3 Hz. Evaporative cooling in a chip trap with trap frequencies of several kHz leads to nearly pure condensates containing 1.9x10^4 87Rb atoms. Partial condensates are observed at a temperature of 1.58(8) μK, close to the theoretical transition temperature of 1.1 μK.
△ Less
Submitted 2 December, 2009;
originally announced December 2009.