Source author record

Berthold-Georg Englert

Berthold-Georg Englert appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

59works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

59 published item(s)

preprint2020arXiv

Direct estimation of minimum gate fidelity

With the current interest in building quantum computers, there is a strong need for accurate and efficient characterization of the noise in quantum gate implementations. A key measure of the performance of a quantum gate is the minimum gate fidelity, i.e., the fidelity of the gate, minimized over all input states. Conventionally, the minimum fidelity is estimated by first accurately reconstructing the full gate process matrix using the experimental procedure of quantum process tomography (QPT). Then, a numerical minimization is carried out to find the minimum fidelity. QPT is, however, well known to be costly, and it might appear that we can do better, if the goal is only to estimate one single number. In this work, we propose a hybrid numerical-experimental scheme that employs a numerical gradient-free minimization (GFM) and an experimental target-fidelity estimation procedure to directly estimate the minimum fidelity without reconstructing the process matrix. We compare this to an alternative scheme, referred to as QPT fidelity estimation, that does use QPT, but directly employs the minimum gate fidelity as the termination criterion. Both approaches can thus be considered as direct estimation schemes. General theoretical bounds suggest a significant resource savings for the GFM scheme over QPT fidelity estimation; numerical simulations for specific classes of noise, however, show that both schemes have similar performance, reminding us of the need for caution when using general bounds for specific examples. The GFM scheme, however, presents potential for future improvements in resource cost, with the development of even more efficient GFM algorithms.

preprint2020arXiv

Fourth-order leapfrog algorithms for numerical time evolution of classical and quantum systems

Chau et al. [New J. Phys. 20, 073003 (2018)] presented a new and straight-forward derivation of a fourth-order approximation '$U_7$' of the time-evolution operator and hinted at its potential value as a symplectic integrator. $U_7$ is based on the Suzuki-Trotter split-operator method and leads to an algorithm for numerical time propagation that is superior to established methods. We benchmark the performance of $U_7$ and other algorithms, including a Runge-Kutta method and another recently developed Suzuki-Trotter-based scheme, that are exact up to fourth order in the evolution parameter, against various classical and quantum systems. We find $U_7$ to deliver any given target accuracy with the lowest computational cost, across all systems and algorithms tested here. This study is accompanied by open-source numerical software that we hope will prove valuable in the classroom.

preprint2020arXiv

User-specified random sampling of quantum channels and its applications

Random samples of quantum channels have many applications in quantum information processing tasks. Due to the Choi--Jamiołkowski isomorphism, there is a well-known correspondence between channels and states, and one can imagine adapting \emph{state} sampling methods to sample quantum channels. Here, we discuss such an adaptation, using the Hamiltonian Monte Carlo method, a well-known classical method capable of producing high quality samples from arbitrary, user-specified distributions. Its implementation requires an exact parameterization of the space of quantum channels, with no superfluous parameters and no constraints. We construct such a parameterization, and demonstrate its use in three common channel sampling applications.

preprint2020arXiv

Using prior expansions for prior-data conflict checking

Any Bayesian analysis involves combining information represented through different model components, and when different sources of information are in conflict it is important to detect this. Here we consider checking for prior-data conflict in Bayesian models by expanding the prior used for the analysis into a larger family of priors, and considering a marginal likelihood score statistic for the expansion parameter. Consideration of different expansions can be informative about the nature of any conflict, and extensions to hierarchically specified priors and connections with other approaches to prior-data conflict checking are discussed. Implementation in complex situations is illustrated with two applications. The first concerns testing for the appropriateness of a LASSO penalty in shrinkage estimation of coefficients in linear regression. Our method is compared with a recent suggestion in the literature designed to be powerful against alternatives in the exponential power family, and we use this family as the prior expansion for constructing our check. A second application concerns a problem in quantum state estimation, where a multinomial model is considered with physical constraints on the model parameters. In this example, the usefulness of different prior expansions is demonstrated for obtaining checks which are sensitive to different aspects of the prior.

preprint2016arXiv

Checking for prior-data conflict using prior to posterior divergences

When using complex Bayesian models to combine information, the checking for consistency of the information being combined is good statistical practice. Here a new method is developed for detecting prior-data conflicts in Bayesian models based on comparing the observed value of a prior to posterior divergence to its distribution under the prior predictive distribution for the data. The divergence measure used in our model check is a measure of how much beliefs have changed from prior to posterior, and can be thought of as a measure of the overall size of a relative belief function. It is shown that the proposed method is intuitive, has desirable properties, can be extended to hierarchical settings, and is related asymptotically to Jeffreys' and reference prior distributions. In the case where calculations are difficult, the use of variational approximations as a way of relieving the computational burden is suggested. The methods are compared in a number of examples with an alternative but closely related approach in the literature based on the prior predictive distribution of a minimal sufficient statistic.

preprint2016arXiv

Leading gradient correction to the kinetic energy for two-dimensional fermion gases

Density functional theory (DFT) is notorious for the absence of gradient corrections to the two-dimensional (2D) Thomas-Fermi kinetic-energy functional; it is widely accepted that the 2D analog of the 3D von Weizsäcker correction vanishes, together with all higher-order corrections. Contrary to this long-held belief, we show that the leading correction to the kinetic energy does not vanish, is unambiguous, and contributes perturbatively to the total energy. This insight emerges naturally in a simple extension of standard DFT, which has the effective potential energy as a functional variable on equal footing with the single-particle density.

preprint2016arXiv

Optimal error intervals for properties of the quantum state

Quantum state estimation aims at determining the quantum state from observed data. Estimating the full state can require considerable efforts, but one is often only interested in a few properties of the state, such as the fidelity with a target state, or the degree of correlation for a specified bipartite structure. Rather than first estimating the state, one can, and should, estimate those quantities of interest directly from the data. We propose the use of optimal error intervals as a meaningful way of stating the accuracy of the estimated property values. Optimal error intervals are analogs of the optimal error regions for state estimation [New J. Phys. 15, 123026 (2013)]. They are optimal in two ways: They have the largest likelihood for the observed data and the pre-chosen size, and are the smallest for the pre-chosen probability of containing the true value. As in the state situation, such optimal error intervals admit a simple description in terms of the marginal likelihood for the data for the properties of interest. Here, we present the concept and construction of optimal error intervals, report on an iterative algorithm for reliable computation of the marginal likelihood (a quantity difficult to calculate reliably), explain how plausible intervals --- a notion of evidence provided by the data --- are related to our optimal error intervals, and illustrate our methods with single-qubit and two-qubit examples.

preprint2016arXiv

Random samples of quantum states: Online resources

This is the documentation for generating random samples from the quantum state space in accordance with a specified distribution, associated with this webpage: http://tinyurl.com/QSampling . Ready-made samples (each with at least a million points) from various distributions are available for download, or one can generate one's own samples from a chosen distribution using the provided source codes. The sampling relies on the Hamiltonian Monte Carlo algorithm as described in New J. Phys. 17, 043018 (2015). The random samples are reposited in the hope that they would be useful for a variety of tasks in quantum information and quantum computation. Constructing credible regions for tomographic data, optimizing a function over the quantum state space with a complicated landscape, testing the typicality of entanglement among states from a multipartite quantum system, or computing the average of some quantity of interest over a subset of quantum states are but some exemplary applications among many.

preprint2015arXiv

Monte Carlo sampling from the quantum state space. I

High-quality random samples of quantum states are needed for a variety of tasks in quantum information and quantum computation. Searching the high-dimensional quantum state space for a global maximum of an objective function with many local maxima or evaluating an integral over a region in the quantum state space are but two exemplary applications of many. These tasks can only be performed reliably and efficiently with Monte Carlo methods, which involve good samplings of the parameter space in accordance with the relevant target distribution. We show how the standard strategies of rejection sampling, importance sampling, and Markov-chain sampling can be adapted to this context, where the samples must obey the constraints imposed by the positivity of the statistical operator. For a comparison of these sampling methods, we generate sample points in the probability space for two-qubit states probed with a tomographically incomplete measurement, and then use the sample for the calculation of the size and credibility of the recently-introduced optimal error regions [see New J. Phys. 15 (2013) 123026]. Another illustration is the computation of the fractional volume of separable two-qubit states.

preprint2015arXiv

Monte Carlo sampling from the quantum state space. II

High-quality random samples of quantum states are needed for a variety of tasks in quantum information and quantum computation. Searching the high-dimensional quantum state space for a global maximum of an objective function with many local maxima or evaluating an integral over a region in the quantum state space are but two exemplary applications of many. These tasks can only be performed reliably and efficiently with Monte Carlo methods, which involve good samplings of the parameter space in accordance with the relevant target distribution. We show how the Markov-chain Monte Carlo method known as Hamiltonian Monte Carlo, or hybrid Monte Carlo, can be adapted to this context. It is applicable when an efficient parameterization of the state space is available. The resulting random walk is entirely inside the physical parameter space, and the Hamiltonian dynamics enable us to take big steps, thereby avoiding strong correlations between successive sample points while enjoying a high acceptance rate. We use examples of single and double qubit measurements for illustration.

preprint2015arXiv

Optimality of entropic uncertainty relations

The entropic uncertainty relation proven by Maassen and Uffink for arbitrary pairs of two observables is known to be non-optimal. Here, we call an uncertainty relation optimal, if the lower bound can be attained for any value of either of the corresponding uncertainties. In this work we establish optimal uncertainty relations by characterising the optimal lower bound in scenarios similar to the Maassen-Uffink type. We disprove a conjecture by Englert et al. and generalise various previous results. However, we are still far from a complete understanding and, based on numerical investigation and analytical results in small dimension, we present a number of conjectures.

preprint2014arXiv

Experimental detection of entanglement with optimal-witness families

We report an experiment in which one determines, with least tomographic effort, whether an unknown two-photon polarization state is entangled or separable. The method measures whole families of optimal entanglement witnesses. We introduce adaptive measurement schemes that greatly speed up the entanglement detection. The experiments are performed on states of different ranks, and we find good agreement with results from computer simulations.

preprint2014arXiv

Quantum state tomography: Mean squared error matters, bias does not

Because of the constraint that the estimators be bona fide physical states, any quantum state tomography scheme - including the widely used maximum likelihood estimation - yields estimators that may have a bias, although they are consistent estimators. Schwemmer et al. (arXiv:1310.8465 [quant-ph]) illustrate this by observing a systematic underestimation of the fidelity and an overestimation of entanglement in estimators obtained from simulated data. Further, these authors argue that the simple method of linear inversion overcomes this (perceived) problem of bias, and there is the suggestion to abandon time-tested estimation procedures in favor of linear inversion. Here, we discuss the pros and cons of using biased and unbiased estimators for quantum state tomography. We conclude that the little occasional benefit from the unbiased linear-inversion estimation does not justify the high price of using unphysical estimators, which are typically the case in that scheme.

preprint2013arXiv

Beyond adiabatic elimination: A hierarchy of approximations for multi-photon processes

In multi-level systems, the commonly used adiabatic elimination is a method for approximating the dynamics of the system by eliminating irrelevant, non-resonantly coupled levels. This procedure is, however, somewhat ambiguous and it is not clear how to improve on it systematically. We use an integro-differential equation for the probability amplitudes of the levels of interest, which is equivalent to the original Schrodinger equation for all probability amplitudes. In conjunction with a Markov approximation, the integro-differential equation is then used to generate a hierarchy of approximations, in which the zeroth order is the adiabatic-elimination approximation. It works well with a proper choice of interaction picture; the procedure suggests criteria for optimizing this choice. The first-order approximation in the hierarchy provides significant improvements over standard adiabatic elimination, without much increase in complexity, and is furthermore not so sensitive to the choice of interaction picture. We illustrate these points with several examples.

preprint2013arXiv

Controllable generation of mixed two-photon states

We report a controllable method for producing mixed two-photon states via Spontaneous Parametric Down-Conversion with a two-type-I crystal geometry. By using variable polarization rotators (VPRs), one obtains mixed states of various purities and degrees of entanglement depending on the parameters of the VPRs. The generated states are characterized by quantum state tomography. The experimental results are found to be in good agreement with the theory. The method can be easily implemented for various experiments which require the generation of states with controllable degrees of entanglement or mixedness.

preprint2013arXiv

One-dimensional transport revisited: A simple and exact solution for phase disorder

Disordered systems have grown in importance in the past decades, with similar phenomena manifesting themselves in many different physical systems. Because of the difficulty of the topic, theoretical progress has mostly emerged from numerical studies or analytical approximations. Here, we provide an exact, analytical solution to the problem of uniform phase disorder in a system of identical scatterers arranged with varying separations along a line. Relying on a relationship with Legendre functions, we demonstrate a simple approach to computing statistics of the transmission probability (or the conductance, in the language of electronic transport), and its reciprocal (or the resistance). Our formalism also gives the probability distribution of the conductance, which reveals features missing from previous approaches to the problem.

preprint2013arXiv

Optimal error regions for quantum state estimation

Rather than point estimators, states of a quantum system that represent one's best guess for the given data, we consider optimal regions of estimators. As the natural counterpart of the popular maximum-likelihood point estimator, we introduce the maximum-likelihood region---the region of largest likelihood among all regions of the same size. Here, the size of a region is its prior probability. Another concept is the smallest credible region---the smallest region with pre-chosen posterior probability. For both optimization problems, the optimal region has constant likelihood on its boundary. We discuss criteria for assigning prior probabilities to regions, and illustrate the concepts and methods with several examples.

preprint2012arXiv

A simple minimax estimator for quantum states

Quantum tomography requires repeated measurements of many copies of the physical system, all prepared by a source in the unknown state. In the limit of very many copies measured, the often-used maximum-likelihood (ML) method for converting the gathered data into an estimate of the state works very well. For smaller data sets, however, it often suffers from problems of rank deficiency in the estimated state. For many systems of relevance for quantum information processing, the preparation of a very large number of copies of the same quantum state is still a technological challenge, which motivates us to look for estimation strategies that perform well even when there is not much data. In this article, we review the concept of minimax state estimation, and use minimax ideas to construct a simple estimator for quantum states. We demonstrate that, for the case of tomography of a single qubit, our estimator significantly outperforms the ML estimator for small number of copies of the state measured. Our estimator is always full-rank, and furthermore, has a natural dependence on the number of copies measured, which is missing in the ML estimator.

preprint2012arXiv

Experimental proposal for symmetric minimal two-qubit state tomography

We propose an experiment that realizes a symmetric informationally complete (SIC) probability-operator measurement (POM) in the four-dimensional Hilbert space of a qubit pair. The qubit pair is carried by a single photon as a polarization qubit and a path qubit. The implementation of the SIC POM is accomplished with the means of linear optics. The experimental scheme exploits a new approach to SIC POMs that uses a two-step process: a measurement with full-rank outcomes, followed by a projective measurement on a basis that is chosen in accordance with the result of the first measurement. The basis of the first measurement and the four bases of the second measurements are pairwise unbiased --- a hint at a possibly profound link between SIC POMs and mutually unbiased bases.

preprint2012arXiv

Incomplete quantum state estimation: a comprehensive study

We present a detailed account of quantum state estimation by joint maximization of the likelihood and the entropy. After establishing the algorithms for both perfect and imperfect measurements, we apply the procedure to data from simulated and actual experiments. We demonstrate that the realistic situation of incomplete data from imperfect measurements can be handled successfully.

preprint2012arXiv

Micromotion in trapped atom-ion systems

We examine the validity of the harmonic approximation, where the radio-frequency ion trap is treated as a harmonic trap, in the problem regarding the controlled collision of a trapped atom and a single trapped ion. This is equivalent to studying the effect of the micromotion since this motion must be neglected for the trapped ion to be considered as a harmonic oscillator. By applying the transformation of Cook and Shankland we find that the micromotion can be represented by two periodically oscillating operators. In order to investigate the effect of the micromotion on the dynamics of a trapped atom-ion system, we calculate (i) the coupling strengths of the micromotion operators by numerical integration and (ii) the quasienergies of the system by applying the Floquet formalism, a useful framework for studying periodic systems. It turns out that the micromotion is not negligible when the distance between the atom and the ion traps is shorter than a characteristic distance. Within this range the energy diagram of the system changes remarkably when the micromotion is taken into account, which leads to undesirable consequences for applications that are based on an adiabatic process of the trapped atom-ion system. We suggest a simple scheme for bypassing the micromotion effect in order to successfully implement a quantum controlled phase gate proposed previously and create an atom-ion macromolecule. The methods presented here are not restricted to trapped atom-ion systems and can be readily applied to studying the micromotion effect in any system involving a single trapped ion.

preprint2012arXiv

Minimax mean estimator for the trine

We explore the question of state estimation for a qubit restricted to the $x$-$z$ plane of the Bloch sphere, with the trine measurement. In our earlier work [H. K. Ng and B.-G. Englert, eprint arXiv:1202.5136[quant-ph] (2012)], similarities between quantum tomography and the tomography of a classical die motivated us to apply a simple modification of the classical estimator for use in the quantum problem. This worked very well. In this article, we adapt a different aspect of the classical estimator to the quantum problem. In particular, we investigate the mean estimator, where the mean is taken with a weight function identical to that in the classical estimator but now with quantum constraints imposed. Among such mean estimators, we choose an optimal one with the smallest worst-case error-the minimax mean estimator-and compare its performance with that of other estimators. Despite the natural generalization of the classical approach, this minimax mean estimator does not work as well as one might expect from the analogous performance in the classical problem. While it outperforms the often-used maximum-likelihood estimator in having a smaller worst-case error, the advantage is not significant enough to justify the more complicated procedure required to construct it. The much simpler adapted estimator introduced in our earlier work is still more effective. Our previous work emphasized the similarities between classical and quantum state estimation; in contrast, this paper highlights how intuition gained from classical problems can sometimes fail in the quantum arena.

preprint2012arXiv

Mutually unbiased bases for the rotor degree of freedom

We consider the existence of a continuous set of mutually unbiased bases for the continuous and periodic degree of freedom that describes motion on a circle (rotor degree of freedom). By a singular mapping of the circle to the line, we find a first, but somewhat unsatisfactory, continuous set which does not relate to an underlying Heisenberg pair of complementary observables. Then, by a nonsingular mapping of the discrete angular momentum basis of the rotor onto the Fock basis for linear motion, we construct such a Heisenberg pair for the rotor and use it to obtain a second, fully satisfactory, set of mutually unbiased bases.

preprint2012arXiv

Raman transitions without adiabatic elimination: A simple and accurate treatment

Driven Raman processes --- nearly resonant two-photon transitions through an intermediate state that is non-resonantly coupled and does not acquire a sizeable population --- are commonly treated with a simplified description in which the intermediate state is removed by adiabatic elimination. While the adiabatic-elimination approximation is reliable when the detuning of the intermediate state is quite large, it cannot be trusted in other situations, and it does not allow one to estimate the population in the eliminated state. We introduce an alternative method that keeps all states in the description, without increasing the complexity by much. An integro-differential equation of Lippmann-Schwinger type generates a hierarchy of approximations, but very accurate results are already obtained in the lowest order.

preprint2012arXiv

Symmetric minimal quantum tomography by successive measurements

We consider the implementation of a symmetric informationally complete probability-operator measurement (SIC POM) in the Hilbert space of a d-level system by a two-step measurement process: a diagonal-operator measurement with high-rank outcomes, followed by a rank-1 measurement in a basis chosen in accordance with the result of the first measurement. We find that any Heisenberg-Weyl group-covariant SIC POM can be realized by such a sequence where the second measurement is simply a measurement in the Fourier basis, independent of the result of the first measurement. Furthermore, at least for the particular cases studied, of dimension 2, 3, 4, and 8, this scheme reveals an unexpected operational relation between mutually unbiased bases and SIC POMs; the former are used to construct the latter. As a laboratory application of the two-step measurement process, we propose feasible optical experiments that would realize SIC POMs in various dimensions.

preprint2012arXiv

Verification of state and entanglement with incomplete tomography

There exists, in general, a convex set of quantum state estimators that maximize the likelihood for informationally incomplete data. We propose an estimation scheme, catered to measurement data of this kind, to search for the exact maximum-likelihood-maximum-entropy estimator using semidefinite programming and a standard multi-dimensional function optimization routine. This scheme can be used to infer the expectation values of a set of entanglement witnesses that can be used to verify the entanglement of the unknown quantum state for composite systems. Next, we establish an alternative numerical scheme that is more computationally robust for the sole purpose of maximizing the likelihood and entropy.

preprint2011arXiv

Adaptive schemes for incomplete quantum process tomography

We propose an iterative algorithm for incomplete quantum process tomography, with the help of quantum state estimation, based on the combined principles of maximum-likelihood and maximum-entropy. The algorithm yields a unique estimator for an unknown quantum process when one has less than a complete set of linearly independent measurement data to specify the quantum process uniquely. We apply this iterative algorithm adaptively in various situations and so optimize the amount of resources required to estimate the quantum process with incomplete data.

preprint2011arXiv

Density Functional of a Two-Dimensional Gas of Dipolar Atoms: Thomas-Fermi-Dirac Treatment

We derive the density functional for the ground-state energy of a two-dimensional, spin-polarized gas of neutral fermionic atoms with magnetic-dipole interaction, in the Thomas-Fermi-Dirac approximation. For many atoms in a harmonic trap, we give analytical solutions for the single-particle spatial density and the ground-state energy, in dependence on the interaction strength, and we discuss the weak-interaction limit that is relevant for experiments. We then lift the restriction of full spin polarization and account for a time-independent inhomogeneous external magnetic field. The field strength necessary to ensure full spin polarization is derived.

preprint2011arXiv

Mutually unbiased bases in dimension six: The four most distant bases

We consider the average distance between four bases in dimension six. The distance between two orthonormal bases vanishes when the bases are the same, and the distance reaches its maximal value of unity when the bases are unbiased. We perform a numerical search for the maximum average distance and find it to be strictly smaller than unity. This is strong evidence that no four mutually unbiased bases exist in dimension six. We also provide a two-parameter family of three bases which, together with the canonical basis, reach the numerically-found maximum of the average distance, and we conduct a detailed study of the structure of the extremal set of bases.

preprint2011arXiv

Quantum State Tomography with Joint SIC POMs and Product SIC POMs

We introduce random matrix theory to study the tomographic efficiency of a wide class of measurements constructed out of weighted 2-designs, including symmetric informationally complete (SIC) probability operator measurements (POMs). In particular, we derive analytic formulae for the mean Hilbert-Schmidt distance and the mean trace distance between the estimator and the true state, which clearly show the difference between the scaling behaviors of the two error measures with the dimension of the Hilbert space. We then prove that the product SIC POMs---the multipartite analogue of the SIC POMs---are optimal among all product measurements in the same sense as the SIC POMs are optimal among all joint measurements. We further show that, for bipartite systems, there is only a marginal efficiency advantage of the joint SIC POMs over the product SIC POMs. In marked contrast, for multipartite systems, the efficiency advantage of the joint SIC POMs increases exponentially with the number of parties.

preprint2011arXiv

SeCQC: An open-source program code for the numerical Search for the classical Capacity of Quantum Channels

SeCQC is an open-source program code which implements a Numerical Search for the classical Capacity of Quantum Channels (SeCQC) by using an iterative method. Given a quantum channel, SeCQC finds the statistical operators and POVM outcomes that maximize the accessible information, and thus determines the classical capacity of the quantum channel. The optimization procedure is realized by using a steepest-ascent method that fol- lows the gradient in the POVM space, and also uses conjugate gradients for speed-up.

preprint2011arXiv

SOMIM: An open-source program code for the numerical Search for Optimal Measurements by an Iterative Method

SOMIM is an open-source code that implements a Search for Optimal Measurements by using an Iterative Method. For a given set of statistical operators, SOMIM finds the POVMs that maximizes the accessed information, and thus determines the accessible information and one or all of the POVMs that retrieve it. The maximization procedure is a steepest-ascent method that follows the gradient in the POVM space, and uses conjugate gradients for speed-up.

preprint2011arXiv

Test-State Approach to the Quantum Search Problem

The search for "a quantum needle in a quantum haystack" is a metaphor for the problem of finding out which one of a permissible set of unitary mappings---the oracles---is implemented by a given black box. Grover's algorithm solves this problem with quadratic speed-up as compared with the analogous search for "a classical needle in a classical haystack." Since the outcome of Grover's algorithm is probabilistic---it gives the correct answer with high probability, not with certainty---the answer requires verification. For this purpose we introduce specific test states, one for each oracle. These test states can also be used to realize "a classical search for the quantum needle" which is deterministic---it always gives a definite answer after a finite number of steps---and faster by a factor of 3.41 than the purely classical search. Since the test-state search and Grover's algorithm look for the same quantum needle, the average number of oracle queries of the test-state search is the classical benchmark for Grover's algorithm.

preprint2010arXiv

Encoding many qubits in a rotor

We propose a scheme for encoding many qubits in a single rotor, that is, a continuous and periodic degree of freedom. A key feature of this scheme is its ability to manipulate and entangle the encoded qubits with a single operation on the system. We also show, using quantum error-correcting codes, how to protect the qubits against small errors in angular position and momentum which may affect the rotor. We then discuss the feasibility of this scheme and suggest several candidates for its implementation. The proposed scheme is immediately generalizable to qudits of any finite dimension.

preprint2010arXiv

Giant spin Hall conductivity in platinum at room temperature

We have demonstrated the electrical generation and detection of spin polarization by the spin Hall effect (SHE) in platinum. The experiment was performed in a non-local geometry without the use of ferromagnetic materials or magnetic field. We designed a circuit that uses the SHE to convert a charge current to a spin current, and the inverse SHE to convert the spin current back into a charge signal. The experiments were carried out for temperatures from 10 K up to 290 K. We extracted the spin Hall conductivity and spin diffusion length from the data with the aid of a spin diffusion model, and found the values of 1.1 $\times 10^6$ $Ω^{-1}$m$^{-1}$ and 80~nm, respectively, at 290 K. The spin Hall conductivity is two orders of magnitudes larger than the previous record of $3.3\times10^4$ $Ω^{-1}$m$^{-1}$. This observation may have many potential applications in spintronics devices.

preprint2010arXiv

Hybrid Quantum Computation

We present a hybrid model of the unitary-evolution-based quantum computation model and the measurement-based quantum computation model. In the hybrid model part of a quantum circuit is simulated by unitary evolution and the rest by measurements on star graph states, thereby combining the advantages of the two standard quantum computation models. In the hybrid model, a complicated unitary gate under simulation is decomposed in terms of a sequence of single-qubit operations, the controlled-Z gates, and multi-qubit rotations around the z-axis. Every single-qubit- and the controlled-Z gate are realized by a respective unitary evolution, and every multi-qubit rotation is executed by a single measurement on a required star graph state. The classical information processing in our model only needs an information flow vector and propagation matrices. We provide the implementation of multi-control gates in the hybrid model. They are very useful for implementing Grover's search algorithm, which is studied as an illustrating example.

preprint2010arXiv

Structure of Two-qubit Symmetric Informationally Complete POVMs

In the four-dimensional Hilbert space, there exist 16 Heisenberg--Weyl (HW) covariant symmetric informationally complete positive operator valued measures (SIC~POVMs) consisting of 256 fiducial states on a single orbit of the Clifford group. We explore the structure of these SIC~POVMs by studying the symmetry transformations within a given SIC~POVM and among different SIC~POVMs. Furthermore, we find 16 additional SIC~POVMs by a regrouping of the 256 fiducial states, and show that they are unitarily equivalent to the original 16 SIC~POVMs by establishing an explicit unitary transformation. We then reveal the additional structure of these SIC~POVMs when the four-dimensional Hilbert space is taken as the tensor product of two qubit Hilbert spaces. In particular, when either the standard product basis or the Bell basis are chosen as the defining basis of the HW group, in eight of the 16 HW covariant SIC~POVMs, all fiducial states have the same concurrence of $\sqrt{2/5}$. These SIC~POVMs are particularly appealing for an experimental implementation, since all fiducial states can be connected to each other with just local unitary transformations. In addition, we introduce a concise representation of the fiducial states with the aid of a suitable tabular arrangement of their parameters.

preprint2009arXiv

Average transmission probability of a random stack

The transmission through a stack of identical slabs that are separated by gaps with random widths is usually treated by calculating the average of the logarithm of the transmission probability. We show how to calculate the average of the transmission probability itself with the aid of a recurrence relation and derive analytical upper and lower bounds. The upper bound, when used as an approximation for the transmission probability, is unreasonably good and we conjecture that it is asymptotically exact.

preprint2009arXiv

Efficient quantum key distribution with trines of reference-frame-free qubits

We propose a rotationally-invariant quantum key distribution scheme that uses a pair of orthogonal qubit trines, realized as mixed states of three physical qubits. The measurement outcomes do not depend on how Alice and Bob choose their individual reference frames. The efficient key generation by two-way communication produces two independent raw keys, a bit key and a trit key. For a noiseless channel, Alice and Bob get a total of 0.573 key bits per trine state sent (98% of the Shannon limit). This exceeds by a considerable amount the yield of standard trine schemes, which ideally attain half a key bit per trine state. Eavesdropping introduces an $ε$-fraction of unbiased noise, ensured by twirling if necessary. The security analysis reveals an asymmetry in Eve's conditioned ancillas for Alice and Bob resulting from their inequivalent roles in the key generation. Upon simplifying the analysis by a plausible symmetry assumption, we find that a secret key can be generated if the noise is below the threshold set by $ε= 0.197$.

preprint2009arXiv

How well can you know the edge of a quantum pyramid?

We consider a symmetric quantum communication scenario in which the signal states are edges of a quantum pyramid of arbitrary dimension and arbitrary shape, and all edge states are transmitted with the same probability. The receiver could employ different decoding strategies: he could minimize the error probability, or discriminate without ambiguity, or extract the accessible information. We state the optimal measurement scheme for each strategy. For large parameter ranges, the standard square-root measurement does not extract the information optimally.

preprint2009arXiv

Minimal tomography with entanglement witnesses

We introduce informationally complete measurements whose outcomes are entanglement witnesses and so answer the question of how many witnesses need to be measured to decide whether an arbitrary state is entangled or not: as many as the dimension of the state space. The optimized witness-based measurement can provide exponential improvement with respect to witness efficiency in high-dimensional Hilbert spaces, at the price of a reduction in the tomographic efficiency. We describe a systematic construction, and illustrate the matter at the example of two qubits.

preprint2009arXiv

Optimal Lewenstein-Sanpera decomposition of two-qubit states using Semidefinite Programming

We use the language of semidefinite programming and duality to derive necessary and sufficient conditions for the optimal Lewenstein-Sanpera Decomposition (LSD) of 2-qubit states. We first provide a simple and natural derivation of the Wellens-Kus equations for full-rank states. Then, we obtain a set of necessary and sufficient conditions for the optimal decomposition of rank-3 states. This closes the gap between the full-rank case, where optimality conditions are given by the Wellens-Kus equations, and the rank-2 case, where the optimal decomposition is analytically known. We also give an analytic expression for the optimal LSD of a special class of rank-3 states. Finally, our formulation ensures efficient numerical procedures to return the optimal LSD for any arbitrary 2-qubit state.

preprint2007arXiv

Path Distinguishability in Double Scattering of Light by Atoms

Wave-particle duality finds a natural application for electrons or light propagating in disordered media where coherent corrections to transport are given by two-wave interference. For scatterers with internal degrees of freedom, these corrections are observed to be much smaller than would be expected for structureless scatterers. By examining the basic example of the scattering of one photon by two spin-1/2 atoms--a case-study for coherent backscattering--we demonstrate that the loss of interference strength is associated with which-path information stored by the scattering atoms.

preprint2007arXiv

Wave-particle duality in multi-path interferometers: General concepts and three-path interferometers

For two-path interferometers, the which-path predictability $\mathcal{P}$ and the fringe visibility $\mathcal{V}$ are familiar quantities that are much used to talk about wave-particle duality in a quantitative way. We discuss several candidates that suggest themselves as generalizations $P$ of $ mathcal{P}$ for multi-path interferometers, and treat the case of three paths in considerable detail. To each choice for the \emph{path knowledge} $P$, the \emph{interference strength} $V$ -- the corresponding generalization of $\mathcal{V}$ -- is found by a natural, operational procedure. In experimental terms it amounts to finding those equal-weight superpositions of the path amplitudes which maximize $P$ for the emerging intensities. Mathematically speaking, one needs to identify a certain optimal one among the Fourier transforms of the state of the interfering quantum object. Wave-particle duality is manifest, inasmuch as P=1 implies V=0 and V=1 implies P=0, whatever definition is chosen. The possible values of the pair $(P,V)$ are restricted to an area with corners at $(P,V)=(0,0)$, $(P,V)=(1,0)$, and $(P,V)=(0,1)$, with the shape of the border line from $(1,0)$ to $(0,1)$ depending on the particular choice for $P$ and the induced definition of $V$.

preprint2006arXiv

Raw-data attacks in quantum cryptography with partial tomography

We consider a variant of the BB84 protocol for quantum cryptography, the prototype of tomographically incomplete protocols, where the key is generated by one-way communication rather than the usual two-way communication. Our analysis, backed by numerical evidence, establishes thresholds for eavesdropping attacks on the raw data and on the generated key at quantum bit error rates of 10% and 6.15%, respectively. Both thresholds are lower than the threshold for unconditional security in the standard BB84 protocol.

preprint2005arXiv

Periodic and discrete Zak bases

Weyl's displacement operators for position and momentum commute if the product of the elementary displacements equals Planck's constant. Then, their common eigenstates constitute the Zak basis, each state specified by two phase parameters. Upon enforcing a periodic dependence on the phases, one gets a one-to-one mapping of the Hilbert space on the line onto the Hilbert space on the torus. The Fourier coefficients of the periodic Zak bases make up the discrete Zak bases. The two bases are mutually unbiased. We study these bases in detail, including a brief discussion of their relation to Aharonov's modular operators, and mention how they can be used to associate with the single degree of freedom of the line a pair of genuine qubits.

preprint2004arXiv

Iterative procedure for computing accessible information in quantum communication

We present an iterative algorithm that finds the optimal measurement for extracting the accessible information in any quantum communication scenario. The maximization is achieved by a steepest-ascent approach toward the extremal point, following the gradient uphill in sufficiently small steps. We apply it to a simple ad-hoc example, as well as to a problem with a bearing on the security of a tomographic protocol for quantum key distribution.

preprint2003arXiv

Coherent Eavesdropping Attacks in Quantum Cryptography: Nonequivalence of Quantum and Classical Key Distillation

The security of a cryptographic key that is generated by communication through a noisy quantum channel relies on the ability to distill a shorter secure key sequence from a longer insecure one. We show that -- for protocols that use quantum channels of any dimension and completely characterize them by state tomography -- the noise threshold for classical advantage distillation is substantially lower than the threshold for quantum entanglement distillation because the eavesdropper can perform powerful coherent attacks. The earlier claims that the two noise thresholds are identical, which were based on analyzing incoherent attacks only, are therefore invalid.

preprint2002arXiv

Statistics of dressed modes in a thermal state

By a Wigner-function calculation, we evaluate the trace of a certain Gaussian operator arising in the theory of a boson system subject to both finite temperature and (weak) interaction. Thereby we rederive (and generalize) a recent result by Kocharovsky, Kocharovsky, and Scully [Phys. Rev. A, vol. 61, art. 053606 (2000)] in a way that is technically much simpler. One step uses a special case of the response of Wigner functions to linear transformations, and we demonstrate the general case by simple means. As an application we extract the counting statistics for each mode of the Bose gas.

preprint2001arXiv

Measuring irreversible dynamics of a quantum harmonic oscillator

We show that the unitary evolution of a harmonic oscillator coupled to a two-level system can be undone by a suitable manipulation of the two-level system -- more specifically: by a quasi-instantaneous phase change. This enables us to isolate the dissipative evolution to which the oscillator may be exposed in addition. With this method we study the decoherence of a photon mode in cavity QED, and that of the quantized harmonic motion of trapped ions. We comment on the relation to spin echoes and multi-path interferometry.

preprint2000arXiv

Remarks on 2-q-bit states

We distinguish six classes of families of locally equivalent states in a straightforward scheme for classifying all 2-q-bit states; four of the classes consist of two subclasses each. The simple criteria that we stated recently for checking a given state's positivity and separability are justified, and we discuss some important properties of Lewenstein-Sanpera decompositions. An upper bound is conjectured for the sum of the degree of separability of a 2-q-bit state and its concurrence.

preprint2000arXiv

Separability of entangled q-bit pairs

The state of an entangled q-bit pair is specified by 15 numerical parameters that are naturally regarded as the components of two 3-vectors and a $3\times3$-dyadic. There are easy-to-use criteria to check whether a given pair of 3-vectors plus a dyadic specify a 2-q-bit state; and if they do, whether the state is entangled; and if it is, whether it is a separable state. Some progress has been made in the search for analytical expressions for the degree of separability. We report, in particular, the answer in the case of vanishing 3-vectors.