Despite intensive research, the physical origin of the speed-up offered by quantum algorithms remains mysterious. No general physical quantity, like, for instance, entanglement, can be singled out as the essential useful resource. Here we report a close connection between the trace speed and the quantum speed-up in Grover's search algorithm implemented with pure and pseudo-pure states. For a noiseless algorithm, we find a one-to-one correspondence between the quantum speed-up and the polarization of the pseudo-pure state, which can be connected to a wide class of quantum statistical speeds. For time-dependent partial depolarization and for interrupted Grover searches, the speed-up is specifically bounded by the maximal trace speed that occurs during the algorithm operations. Our results quantify the quantum speed-up with a physical resource that is experimentally measurable and related to multipartite entanglement and quantum coherence.
We compare pseudopure state ensemble implementations, quantified by their initial polarization and ensemble size, of Grover's search algorithm to probabilistic classical sequential search algorithms in terms of their success and failure probabilities. We propose a criterion for quantifying the resources used by the ensemble implementation via the aggregate number of oracle invocations across the entire ensemble and use this as a basis for comparison with classical search algorithms. We determine bounds for a critical polarization such that the ensemble algorithm succeeds with a greater probabi…
We investigate the coherence measures induced by fidelity and trace norm, based on the recent proposed coherence quantification in [Phys. Rev. Lett. 113, 140401, 2014]. We show that the fidelity of coherence does not in general satisfy the monotonicity requirement as a measure of coherence under the subselection of measurements condition. We find that the trace norm of coherence can act as a measure of coherence for qubit case and some special class of qutrits.
Measurements performed on distant parts of an entangled quantum state can generate correlations incompatible with classical theories respecting the assumption of local causality. This is the phenomenon known as quantum non-locality that, apart from its fundamental role, can also be put to practical use in applications such as cryptography and distributed computing. Clearly, developing ways of quantifying non-locality is an important primitive in this scenario. Here, we propose to quantify the non-locality of a given probability distribution via its trace distance to the set of classical correl…
In recent years, several measures have been proposed for characterizing the coherence of a given quantum state. We derive several results that illuminate how these measures behave when restricted to pure states. Notably, we present an explicit characterization of the closest incoherent state to a given pure state under the trace distance measure of coherence. We then use this result to show that the states maximizing the trace distance of coherence are exactly the maximally coherent states. We define the trace distance of entanglement and show that it coincides with the trace distance of coher…
We study the decoherence effects originating from state flipping and depolarization for two-dimensional discrete-time quantum walks using four-state and two-state particles. By quantifying the quantum correlations between the particle and position degree of freedom and between the two spatial ($x-y$) degrees of freedom using measurement induced disturbance (MID), we show that the two schemes using a two-state particle are more robust against decoherence than the Grover walk, which uses a four-state particle. We also show that the symmetries which hold for two-state quantum walks breakdown for …
Quantifying entanglement is an important issue in quantum information theory. Here we consider the entanglement measures through the trace norm in terms of two methods, the modified measure and the extended measure for bipartite states. We present the analytical formula for the pure states in terms of the modified measure and the mixed states of two-qubit systems for the extended measure. We also generalize the modified measure from bipartite states to tripartite states.
Control flow of quantum programs is often divided into two different classes: classical and quantum. Quantum programs with classical control flow have their conditional branching determined by the classical outcome of measurements, and these collapse quantum data. Conversely, quantum control flow is coherent, i.e. it does not perturb quantum data; quantum walk-based algorithms are practical examples where coherent quantum feedback plays a major role. This dissertation has two main contributions: (i) a categorical study of coherent quantum iteration and (ii) the introduction of weak while loops…
Based on the nonincreasing property of quantum coherence via skew information under incoherent completely positive and trace-preserving maps, we propose a non-Markovianity measure for open quantum processes. As applications, by applying the proposed measure to some typical noisy channels, we find that it is equivalent to the three previous measures of non-Markovianity for phase damping and amplitude damping channels, i.e., the measures based on the quantum trace distance, dynamical divisibility, and quantum mutual information. For the random unitary channel, it is equivalent to the non-Markovi…
Symbolic Analysis of Grover Search Algorithm via Chain-of-Thought Reasoning and Quantum-Native Tokenization
Department of Computer Science, The University of Pittsburgh（匹兹堡大学计算机科学系）；Department of Computer Science, The University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校计算机科学系）
Quantum channel discrimination is a fundamental problem in quantum information science. In this study, we consider general quantum channel discrimination problems, and derive the lower bounds of the error probability. Our lower bounds are based on the triangle inequalities of the Bures angle and the trace distance. As a consequence of the lower bound based on the Bures angle, we prove the optimality of Grover's search if the number of marked elements is fixed to some integer $\ell$. This result generalizes Zalka's result for $\ell=1$. We also present several numerical results in which our lowe…
The non-Markovianity is a prominent concept of the dynamics of the open quantum systems, which is of fundamental importance in quantum mechanics and quantum information. Despite of lots of efforts, the experimentally measuring of non-Markovianity of an open system is still limited to very small systems. Presently, it is still impossible to experimentally quantify the non-Markovianity of high dimension systems with the widely used Breuer-Laine-Piilo (BLP) trace distance measure. In this paper, we propose a method, combining experimental measurements and numerical calculations, that allow quanti…
We introduce a non-Markovianity measure for continuous variable open quantum systems based on the idea put forward in H.-P. Breuer et al., Phys. Rev. Lett.\textbf{103}, 210401 (2009), i.e., by quantifying the flow of information from the environment back to the open system. Instead of the trace distance we use here the fidelity to assess distinguishability of quantum states. We employ our measure to evaluate non-Markovianity of two paradigmatic Gaussian channels: the purely damping channel and the quantum Brownian motion channel with Ohmic environment. We consider different classes of Gaussian…
The study of quantum coherence in condensed matter systems is a broad avenue to be explored toward the enhancement of its quantum properties by means of material engineering. In this regard, the present work reports a study of the influence of temperature, pressure and magnetic fields on the quantum coherence of a Cu(II) metal-silicate framework. We calculate the $l_1$ trace norm quantum coherence as a function of the magnetic susceptibility of the compound, which allows us to evaluate the effects of these external parameters on the degree of coherence of the material. Our results show that th…
We convert a conjectured inequality from quantum information theory, due to He and Vidal, into a block matrix inequality and prove a special case. Given $n$ matrices $A_i$, $i=1,\ldots,n$, of the same size, let $Z_1$ and $Z_2$ be the block matrices $Z_1:=(A_jA_i^*)_{i,j=1}^n$ and $Z_2:=(A_j^*A_i)_{i,j=1}^n$. Then the conjectured inequality is \[ \left(||Z_1||_1-\trace Z_1\right)^2 + \left(||Z_2||_1-\trace Z_2\right)^2 \le \left(\sum_{i\neq j} ||A_i||_2 ||A_j||_2\right)^2. \] We prove this inequality for the already challenging case $n=2$ with $A_1$ equal to the identity matrix.
We consider how to quantify non-Gaussianity for the correlation of a bipartite quantum state by using various measures such as relative entropy and geometric distances. We first show that an intuitive approach, i.e., subtracting the correlation of a reference Gaussian state from that of a target non-Gaussian state, fails to yield a non-negative measure with monotonicity under local Gaussian channels. Our finding clearly manifests that quantum-state correlations generally have no Gaussian extremality. We therefore propose a different approach by introducing relevantly averaged states to address…
Einstein-Podolsky-Rosen (EPR) steering is a type of quantum correlation which allows one to remotely prepare, or steer, the state of a distant quantum system. While EPR steering can be thought of as a purely spatial correlation there does exist a temporal analogue, in the form of single-system temporal steering. However, a precise quantification of such temporal steering has been lacking. Here we show that it can be measured, via semidefinite programming, with a temporal steerable weight, in direct analogy to the recently proposed EPR steerable weight. We find a useful property of the temporal…
Preserving entanglement is a crucial dynamical process for entanglement-based quantum computation and quantum-information processes, such as one-way quantum computing and quantum key distribution. However, the problem of quantifying the ability of an experimental process to preserve two-qubit entanglement in experimentally feasible ways is not well understood. Accordingly, herein, we consider the use of two measures, namely composition and robustness, for quantitatively characterizing the ability of a process to preserve entanglement, referred to henceforth as entanglement preservability. A fi…
In this work, we use quantum complexity theory to quantify the difficulty of distinguishing eigenstates obeying the Eigenstate Thermalization Hypothesis (ETH). After identifying simple operators with an algebra of low-energy observables and tracing out the complementary high-energy Hilbert space, the ETH leads to an exponential suppression of trace distance between the coarse-grained eigenstates. Conversely, we show that an exponential hardness of distinguishing between states implies ETH-like matrix elements. The BBBV lower bound on the query complexity of Grover search then translates direct…
We propose a general method to operationally quantify the resourcefulness of quantum channels via channel discrimination, an important information processing task. A main result is that the maximum success probability of distinguishing a given channel from the set of free channels by free probe states is exactly characterized by the resource generating power, i.e. the maximum amount of resource produced by the action of the channel, given by the trace distance to the set of free states. We apply this framework to the resource theory of quantum coherence, as an informative example. The general …
We show that only those composite quantum systems possessing nonvanishing quantum correlations have the property that any nontrivial local unitary evolution changes their global state. We derive the exact relation between the global state change induced by local unitary evolutions and the amount of quantum correlations. We prove that the minimal change coincides with the geometric measure of discord (defined via the Hilbert- Schmidt norm), thus providing the latter with an operational interpretation in terms of the capability of a local unitary dynamics to modify a global state. We establish t…
Although quantum channels underlie the dynamics of quantum states, maps which are not physical channels -- that is, not completely positive -- can often be encountered in settings such as entanglement detection, non-Markovian quantum dynamics, or error mitigation. We introduce an operational approach to the quantitative study of the non-physicality of linear maps based on different ways to approximate a given linear map with quantum channels. Our first measure directly quantifies the cost of simulating a given map using physically implementable quantum channels, shifting the difficulty in simu…
Coherence and correlation are key features of the quantum system. Quantifying these quantities are astounding task in the framework of resource theory of quantum information processing. In this article, we identify an affinity-based metric to quantify closeness between two states. Using this metric, we introduce a valid quantum coherence measure. It is shown that the affinity based coherence measure is bounded by that based on fidelity and trace distance. Further, we propose a bipartite quantum correlation measure based on the affinity metric. The connection between the quantum correlation of …
We analyze the properties of entangled random pure states of a quantum system partitioned into two smaller subsystems of dimensions $N$ and $M$. Framing the problem in terms of random matrices with a fixed-trace constraint, we establish, for arbitrary $N \leq M$, a general relation between the $n$-point densities and the cross-moments of the eigenvalues of the reduced density matrix, i.e. the so-called Schmidt eigenvalues, and the analogous functionals of the eigenvalues of the Wishart-Laguerre ensemble of the random matrix theory. This allows us to derive explicit expressions for two-level de…
