Search

In this work, we show that while all measures of mixedness may be used to witness entanglement, all such entangled states must have a negative partial transpose (NPT). Though computing the negativity of the partial transpose scales well at high dimension, it relies on knowing the complete quantum state, which does not. To address this, we compare different measures of mixedness over uniform ensembles of joint quantum states at varying dimension to gauge their relative success in witnessing entanglement. In doing so, we find that comparing joint and marginal purities is overwhelmingly more successful at high dimension at identifying entanglement than comparing joint and marginal von Neumann entropies, in spite of requiring fewer resources. We conclude by showing how our results impact the fundamental relationship between correlation and entanglement and related witnesses., 13 pages, 4 figures

The interplay among differential geometry, statistical physics, and quantum information science has been increasingly gaining theoretical interest in recent years. In this paper, we present an explicit analysis of the Bures and Sjoqvist metrics over the manifolds of thermal states for specific spin qubit and the superconducting flux qubit Hamiltonian models. While the two metrics equally reduce to the Fubini-Study metric in the asymptotic limiting case of the inverse temperature approaching infinity for both Hamiltonian models, we observe that the two metrics are generally different when departing from the zero-temperature limit. In particular, we discuss this discrepancy in the case of the superconducting flux Hamiltonian model. We conclude the two metrics differ in the presence of a nonclassical behavior specified by the noncommutativity of neighboring mixed quantum states. Such a noncommutativity, in turn, is quantified by the two metrics in different manners. Finally, we briefly discuss possible observable consequences of this discrepancy between the two metrics when using them to predict critical and/or complex behavior of physical systems of interest in quantum information science., 32 pages, 2 figures, 1 table

It is known that there are infinitely many distinguishability metrics for mixed quantum states. This freedom, in turn, leads to metric-dependent interpretations of physically meaningful geometric quantities such as complexity and volume of quantum states. In this paper, we first present an explicit and unabridged mathematical discussion on the relation between the Sjoqvist metric and the Bures metric for arbitrary nondegenerate mixed quantum states, using the notion of decompositions of density operators by means of ensembles of pure quantum states. Then, to enhance our comprehension of the difference between these two metrics from a physics standpoint, we compare the formal expressions of these two metrics for arbitrary thermal quantum states specifying quantum systems in equilibrium with a reservoir at non-zero temperature. For illustrative purposes, we show the difference between these two metrics in the case of a simple physical system characterized by a spin-qubit in an arbitrarily oriented uniform and stationary external magnetic field in thermal equilibrium with a finite-temperature bath. Finally, we compare the Bures and Sjoqvist metrics in terms of their monotonicity property., 18 pages

We investigate the use of amplitude amplification on the gate-based model of quantum computing as a means for solving combinatorial optimization problems. This study focuses primarily on QUBO (quadratic unconstrained binary optimization) problems, which are well-suited for qubit superposition states. Specifically, we demonstrate circuit designs which encode QUBOs as `cost oracle' operations $U_{\textrm{C}}$, which when combined with the standard Grover diffusion operator $U_{\textrm{s}}$ lead to high probabilities of measurement for states corresponding to the optimal and near optimal solutions. In order to achieve these probabilities, a single scalar parameter $p_{\textrm{s}}$ is required, which we show can be found through a variational quantum-classical hybrid approach.

We investigate the effect of backscattering on the Hong-Ou-Mandel manifold (HOMM) that manifests in double-bus mircoring resonators (MRRs). The HOMM represents higher-dimensional parameter solutions for the complete destructive interference of coincident detection in the HOM effect. To model the backscattering, we introduce a set of internal `beam splitters' inside the ring that allow photons to `reflect' into new counter-propagating modes inside the MRR. We find that the one-dimensional HOMM in MRRs investigated here is extremely robust against deterioration due to backscattering, even in a linear chain of identical MRRs. Further we find that a small amount of backscattering introduced into a chain of non-identical MRRs connected in parallel could be desirable, causing them to behave more like chain of identical MRRs., Comment: 18 pages, 15 figures

We lay down a general scheme to quantify the amount of genuine tripartite entanglement present in the spatial and energy-time degrees of freedom of entangled photon triplets using a resource-based measure known as the tripartite entanglement of formation. Quantifying genuine tripartite entanglement relative to a number of maximally entangled three-qubit Greenberger-Horne-Zeilinger (GHZ) states called gebits, the tripartite entanglement of formation serves as a basis of comparison between different tripartite entangled states of differing dimension. Demonstrating genuine tripartite entanglement is doubly challenging because it is not enough to show that each party is inseparable from the other two (which is sufficient only for pure states). Instead, one must rule out all mixtures of all combinations of biseparable states from describing the tripartite state. To meet this challenge, we use entropic measures of the statistics of tripartite systems to simultaneously bound the correlations each party has with the other two, and in so doing place a lower limit to the tripartite entanglement of formation. Even though our measure never over-estimates the entanglement present, we estimate the effectiveness of our technique by determining the exact tripartite entanglement of a triple-gaussian triphoton wavefunction with the same correlations as seen in photon triplets generated in third-order spontaneous parametric down-conversion (SPDC). Between these two efforts, we show that a substantial amount of tripartite entanglement exists in both the spatial and energy-time degrees of freedom of these systems, and propose an experiment that can measure them., Comment: 18 pages, 2 figures

It is known that mixed quantum states are highly entropic states of imperfect knowledge (i.e., incomplete information) about a quantum system, while pure quantum states are states of perfect knowledge (i.e., complete information) with vanishing von Neumann entropy. In this paper, we propose an information geometric theoretical construct to describe and, to a certain extent, understand the complex behavior of evolutions of quantum systems in pure and mixed states. The comparative analysis is probabilistic in nature, it uses a complexity measure that relies on a temporal averaging procedure along with a long-time limit, and is limited to analyzing expected geodesic evolutions on the underlying manifolds. More specifically, we study the complexity of geodesic paths on the manifolds of single-qubit pure and mixed quantum states equipped with the Fubini-Study metric and the Sjoqvist metric, respectively. We analytically show that the evolution of mixed quantum states in the Bloch ball is more complex than the evolution of pure states on the Bloch sphere. We also verify that the ranking based on our proposed measure of complexity, a quantity that represents the asymptotic temporal behavior of an averaged volume of the region explored on the manifold during the evolution of the systems, agrees with the geodesic length-based ranking. Finally, focusing on geodesic lengths and curvature properties in manifolds of mixed quantum states, we observed a softening of the complexity on the Bures manifold compared to the Sjoqvist manifold., 34 pages, 3 tables

We investigate the irreconcilability issue that raises in translating the search algorithm from the Continuous-Time Quantum Walk (CTQW) framework to the Adiabatic Quantum Computing (AQC) framework. For the AQC formulation to evolve along the same path as the CTQW requires a constant energy gap in the former Hamiltonian throughout the AQC schedule. To resolve the issue, we modify the CTQW-inspired AQC catalyst Hamiltonian with a $Z$ oracle operator. Through simulation we demonstrate that the total running time for the proposed approach remains optimal. Inspired by this solution, we further investigate adaptive scheduling for the catalyst Hamiltonian and its coefficient function in the adiabatic path to improve the adiabatic local search., 9 pages, 6 figures

We present an exact analytic expression for the Hong-Ou-Mandel (HOM) curve for any number of identical Micro-Ring Resonators (MRRs) in a linear chain. We investigate the extreme stability of this HOM curve, showing that the HOM effect in linear arrays of MRRs is highly robust. We further use this expression to derive three figures of merit for the HOM curve of linear chains of MRRs: the minimum tau value ($\tau_{c}$), the curvature ($\bar{\xi}_N$), and the $5\%$ tolerance in tau ($\delta\tau_{N}$). We promote these metrics to characterize the pros and cons of various linear chains of MRRs and inform design and fabrication., Comment: 11 pages,5 figures, 1 table; accepted: Physical Review Research 24Apr2023

In this work we explore the possibility of quantum bound states in a Schwarzschild gravitational field leveraging the analogy of the elementary derivation of bound states in the Coulomb potential as taught in an undergraduate course in Quantum Mechanics. For this we will also need to go beyond non-relativistic quantum mechanics and utilize the relativistic Dirac equation for a central potential as taught in an advanced undergraduate or first year graduate (special) relativistic quantum mechanics course. Finally, the special relativistic Dirac equation must be extended to the general relativistic version for curved spacetime. All these disparate component pieces exist in excellent, very readable textbooks written for the student reader, with sufficient detail for a curious student to learn and explore. We pull all these threads together in order to explore a very natural question that a student might ask: "If the effective $1/r$ radial potential of the Schwarzschild metric (with angular momentum barrier), as taught in elementary GR courses for undergraduates, appears Newtonian-like (with a $1/r^3$ correction), then is it possible to derive quantum bound states in the Schwarzschild spacetime by simply changing the radial potential $V(r)$ from $V_C(r)=-e^2/r$ to $V_{Schw}=-G M m/r$?", Comment: 65 pages, 10 figures (v2 updated more references; addition of Appendix D on numerical method)

We present marginal cumulative distribution functions (CDF) for density matrices $\rho$ of fixed purity $\tfrac{1}{N}\le\mu_N(\rho)=\textrm{Tr}[\rho^2]\le 1$ for arbitrary dimension $N$. We give closed form analytic formulas for the cases $N=2$ (trivial), $N=3$ and $N=4$, and present a prescription for CDFs of higher arbitrary dimensions. These formulas allows one to uniformly sample density matrices at a user selected, fixed constant purity, and also detail how these density matrices are distributed nonlinearly in the range $\mu_N(\rho)\in[\tfrac{1}{N}, 1]$. As an illustration of these formulas, we compare the logarithmic negativity and quantum discord to the (Wootter's) concurrence spanning a range of fixed purity values in $\mu_4(\rho)\in[\tfrac{1}{4}, 1]$ for the case of $N=4$ (two qubits). We also investigate the distribution of eigenvalues of a reduced $N$-dimensional obtained by tracing out the reservoir of its higher-dimensional purification. Lastly, we numerically investigate a recently proposed complementary-quantum correlation conjecture which lower bounds the quantum mutual information of a bipartite system by the sum of classical mutual informations obtained from two pairs of mutually unbiased measurements. Finally, numerical implementation issues for the computation of the CDFs and inverse CDFs necessary for uniform sampling $\rho$ for fixed purity at very high dimension are briefly discussed., Comment: 32 pages, 20 figures, 5 codes listings

In this paper we introduce a canonical quantum coarse-graining and use negentropy to connect ignorance as measured by quantum information entropy and ignorance related to quantum coarse-graining. For our procedure, macro-states are the set of purifications $\{|\bar{\Gamma}^{\rho}\rangle\}$ associated with density operator $\rho$ and micro-states are elements of $\{|\bar{\Gamma}^{\rho}\rangle\}$. Unlike other quantum coarse-graining procedures, ours always gives a well-defined unique coarse-graining of phase space. Our coarse-graining is also unique in that the volumes of phase space associated with macro-states are computed from differential manifolds whose metric components are constructed from the Lie group symmetries that generate $\{|\bar{\Gamma}^{\rho}\rangle\}$. We call these manifolds surfaces of ignorance, and their volumes quantify the lack of information in $\rho$ as measured by quantum information entropies. To show that these volumes behave like information entropies, we compare them to the von Neumann and linear entropies for states whose symmetries are given by $SO(3)$, $SU(2)$, and $SO(N)$. We also show that our procedure reproduces features of Boltzmann's original coarse-graining by showing that the majority of phase space consists of states near or at equilibrium. As a consequence of this coarse-graining, it is shown that an inherent flag variety structure underlies composite Hilbert spaces., Comment: 16 pages, 13 figures

We present an information geometric characterization of quantum driving schemes specified by su(2;C) time-dependent Hamiltonians in terms of both complexity and efficiency concepts. By employing a minimum action principle, the optimum path connecting initial and final states on the manifold in finite-time is the geodesic path between the two states. In particular, the total entropy production that occurs during the transfer is minimized along these optimum paths. For each optimum path that emerges from the given quantum driving scheme, we evaluate the so-called information geometric complexity (IGC) and our newly proposed measure of entropic efficiency constructed in terms of the constant entropy production rates that specify the entropy minimizing paths being compared. From our analytical estimates of complexity and efficiency, we provide a relative ranking among the driving schemes being investigated. Finally, we conclude by commenting on the fact that an higher entropic speed in quantum transfer processes seems to necessarily go along with a lower entropic efficiency together with a higher information geometric complexity., Comment: 21 pages, 2 figures, 1 table

Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly different tensor product operators can be associated with different parts of a multipartite system without difficulty. Separability of states, and locality of operators and observables is tensor product operator dependent. The same state in the target state space can be inseparable with respect to one tensor product operator but separable with respect to another, and no tensor product operator is distinguished relative to the others; the unitary operator used to construct a Bell state from a pair of |0>'s being highly tensor product operator-dependent is a prime example. The relationship between two tensor product operators of the same type is given by composition with a unitary operator. There is an equivalence between change of tensor product operator and change of basis in the target space. Among the gains from change of tensor product operator is the localization of some nonlocal operators as well as separability of inseparable states. Examples are given., 15 pages

We introduce a novel geometric approach to characterize entanglement relations in large quantum systems. Our approach is inspired by Schumacher's singlet state triangle inequality, which used an entropic-based distance to capture the strange properties of entanglement using geometric-based inequalities. Schumacher uses classical entropy and can only describe the geometry of bipartite states. We extend his approach by using von Neumann entropy to create an entanglement monotone that can be generalized for higher dimensional systems. We achieve this by utilizing recent definitions for entropic areas, volumes, and higher-dimensional volumes for multipartite quantum systems. This enables us to differentiate systems with high quantum correlation from systems with low quantum correlation and differentiate between different types of multi-partite entanglement. It also enables us to describe some of the strange properties of quantum entanglement using simple geometrical inequalities. Our geometrization of entanglement provides new insight into quantum entanglement. Perhaps by constructing well-motivated geometrical structures (e.g. relations among areas, volumes ...), a set of trivial geometrical inequalities can reveal some of the complex properties of higher-dimensional entanglement in multi-partite systems. We provide numerous illustrative applications of this approach, and in particular to a random sample of a thousand density matrices.

We propose a direct interferometric test of the Non-Linear Phase Shift Gate (NLPSG), an essential piece of a Knill Laflamme Milburn Contolled-NOT (KLM CNOT) gate. We develop our analysis for the both the case of the original, bulk optical KLM NLPSG and for the scalable integrated nano-photonic NLPSG based on Micro-Ring Resonators (MRRs) that we have proposed very recently. Specifically, we consider the interference between the target photon mode of the NLPSG along one arm of a Mach Zehnder Interferometer (MZI) and a mode subject to an adjustable linear phase along the other arm. Analysis of triple-photon coincidences between the two modes at the output of the MZI and the success ancillary mode of the NLPSG provides a signature of the operation of the NLPSG. We examine the triple coincidence results for experimentally realistic cases of click/no-click detection with sub-unity detection efficiencies. Further we compare the case for which the MZI input modes are seeded with weak Coherent States (w-CS) and to that for which the input states are those resulting from colinear Spontaneous Parametric Down Conversion (cl-SPDC). In particular, we show that, though more difficult to prepare, cl-SPDC states offer clear advantages for performing the test, especially in the case of relatively low photon detector efficiency., Comment: 33 pages, 6 figures

Quantum Random Walks, which have drawn much attention over the past few decades for their distinctly non-classical behavior, is a promising subfield within Quantum Computing. Theoretical framework and applications for these walks have seen many great mathematical advances, with experimental demonstrations now catching up. In this study, we examine the viability of implementing Coin Quantum Random Walks using a Quantum Adder based Shift Operator, with quantum circuit designs specifically for superconducting qubits. We focus on the strengths and weaknesses of these walks, particularly circuit depth, gate count, connectivity requirements, and scalability. We propose and analyze a novel approach to implementing boundary conditions for these walks, demonstrating the technique explicitly in one and two dimensions. And finally, we present several fidelity results from running our circuits on IBM's quantum volume 32 `Toronto' chip, showcasing the extent to which these NISQ devices can currently handle quantum walks.

With the increasing rise of publicly available high level quantum computing languages, the field of Quantum Computing has reached an important milestone of separation of software from hardware. Consequently, the study of Quantum Algorithms is beginning to emerge as university courses and disciplines around the world, spanning physics, math, and computer science departments alike. As a continuation to its predecessor: "Introduction to Coding Quantum Algorithms: A Tutorial Series Using Qiskit", this tutorial series aims to help understand several of the most promising quantum algorithms to date, including Phase Estimation, Shor's, QAOA, VQE, and several others. Accompanying each algorithm's theoretical foundations are coding examples utilizing IBM's Qiskit, demonstrating the strengths and challenges of implementing each algorithm in gate-based quantum computing.

As the field of Quantum Computing continues to grow, so too has the general public's interest in testing some of the publicly available quantum computers. However, many might find learning all of the supplementary information that goes into quantum algorithms to be a daunting task, and become discouraged. This tutorial is a series of lessons, aimed to teach the basics of quantum algorithms to those who may have little to no background in quantum physics and/or minimal knowledge of coding in python. Each lesson covers select physics/coding topics needed for writing quantum algorithms, eventually building up a toolset for tackling more and more challenging quantum algorithms. This tutorial series is designed to provide readers from any background with two services: 1) A concise and thorough understanding of some of the most popular/academically important quantum algorithms. 2) A fluent understanding of how to write code for quantum algorithms, using Rigetti's publicly available Pyquil., Companion to arXiv:1903.04359 using Pyquil instead of Qiskit

As the field of Quantum Computing continues to grow, so too has the general public's interest in testing some of the publicly available quantum computers. However, many might find learning all of the supplementary information that goes into quantum algorithms to be a daunting task, and become discouraged. This tutorial is a series of lessons, aimed to teach the basics of quantum algorithms to those who may have little to no background in quantum physics and/or minimal knowledge of coding in python. Each lesson covers select physics/coding topics needed for writing quantum algorithms, eventually building up a toolset for tackling more and more challenging quantum algorithms. This tutorial series is designed to provide readers from any background with two services: 1) A concise and thorough understanding of some of the most popular/academically important quantum algorithms. 2) A fluent understanding of how to write code for quantum algorithms, using IBM's publicly available Qiskit.

Defining a robust measure of quantum correlation for multipartite states is an unresolved and challenging problem. Existing measures of quantum correlation are either not scalable or do not satisfy all the accepted properties of a measure of quantum correlation. We introduce a novel geometric measure of quantum correlation that we refer to as quantum reactivity. This measure is extendable to an arbitrary large number of qubits and satisfies the required properties of monotonicity and invariance under unitary operations. Our approach is based on generalization of Schumacher's singlet state triangle inequality that used an information geometry--based entropic distance. We define quantum reactivity as the familiar ratio of surface area to volume. To accomplish this, we use a generalization of information distance to area, volume and higher--dimensional volumes. We examine a spectrum of multipartite states (Werner, W, GHZ etc.) and demonstrate that the quantum reactivity measure is a monotonic function for quantum correlation which satisfies all the properties of a measure for quantum correlation, and provides an ordering of these quantum states as to their degree of correlation., 23 pages, 4 figures

We propose a scalable version of a KLM CNOT gate based upon integrated waveguide microring resonators (MRR), vs the original KLM-approach using beam splitters (BS). The core element of our CNOT gate is a nonlinear phase-shift gate (NLPSG) using three MRRs, which we examine in detail. We find an expanded parameter space for the NLPSG over that of the conventional version. Whereas in all prior proposals for bulk optical realizations of the NLPSG the optimal operating point is precisely a single zero dimensional manifold within the parameter space of the device, we find conditions for effective transmission amplitudes which define a set of one dimensional manifolds in the parameters spaces of the MRRs. This allows for an unprecedented level flexibility in operation of the NLPSG that and allows for the fabrication of tunable MRR-based devices with high precision and low loss., 20 pages, 5 figures, includes supplemental material

As various quantum computing technologies continue to compete for quantum supremacy, several parameters have emerged as benchmarks for the quality of qubits. These include fidelity, coherence times, connectivity, and a few others. In this paper, we aim to study the importance of these parameters and their impact on quantum algorithms. We propose a realistic connectivity geometry and form quantum circuits for the Bernstein-Vazirani, QFT, and Grover Algorithms based on the limitations of the chosen geometry. We then simulate these algorithms using error models to study the impact of gate fidelity and coherence times on success of the algorithms. We report on the findings of our simulations and note the various benchmarking values which produce reliably successful results.

Scrambling effect on de Sitter horizon, which is a fundamental problem yet to be resolved, is studied from a quantum information theoretic point of view. We first study the evolution of quantum correlation in spacetime for three maximally entangled states. The effect of the expansion is described by an operator sum representation with the corresponding Kraus operator. It is shown that this map is a trace-preserving and complete positive map. It is found that the quantum effect in de Sitter spacetime can be represented as a noisy quantum channel by using these two properties. We suggest that our analysis of the relation between bipartite mutual information and tripartite mutual information can be viewed as a specific model to show the scrambling effect in de Sitter spacetime. For large expansion rate, there exists a small magnitude of the bipartite mutual information when the magnitude of the tripartite mutual information is large. This is congruent to the fact that scrambling means the difficulty of information recovery from the local measurement. Therefore, we conclude that there is a scrambling effect in de Sitter spacetime., Comment: 19 pages, 5 figues

Two-mode squeezed states in the limit of small squeezing, Hong-Ou-Mandel interference and post selection on coincidence counts are some of the staples of linear quantum optics. We show that by using classical expectations on central moments of intensities, we can remove the requirement of small squeezing necessary for high fidelity coincidence detection. Utilizing existing techniques to probabilistically generate a cluster state, we construct a statistical analogue with deterministic generation at the cost of losing the ability to feed forward and requiring statistical averaging.

In this Letter, we explore the possibility of developing Bell inequalities predicated on models using a single Local Hidden Variable (s-LHV), a strict subset of general LHV models. Because of the less strenuous constraints imposed by s-LHV models, we were able to derive a contingent Bell inequality in analogy to the CHSH inequality, but which does not require bounding of measurement statistics. Following this, we show by explicit example that there are cases of states that rule out s-LHV models by violating our inequality, but which nonetheless have a multivariate LHV model. Even so, we show how merely ruling out s-LHV models is still sufficient to allow for fully device independent quantum key distribution (QKD) and entanglement witnessing. This being the case, our inequality illustrates two things. First, it makes fully device-independent QKD on continuous variables substantially more straightforward. Second, it shows how the degree of correlation needed to demonstrate device-independent QKD is distinct from both Bell-nonlocality and EPR-steering. Although nonlocality in general requires ruling out all LHV models, s-LHV models are sufficiently useful to warrant further exploration., This paper has been withdrawn due to a counterexample invalidating equation 7 as a universal constraint on LHV models using a single hidden variable. 6 pages (including supplemental), 2 figures