In this paper we study diagonal quantum channels and their structure by proving some results and giving most applicable instances of them. Firstly, it is shown that action of every diagonal quantum channel on pure state from computational basis is a convex combination of pure states determined by some transition probabilities. Finally, by using the Cholesky decomposition it is presented an algorithmic method to find an explicit form for Kraus operators of diagonal quantum channels.
We introduce the set of quantum channels with constant Frobenius norm, the set of diagonal channels and the notion of equivalence of one-parameter families of channels. First, we show that all diagonal $2$-dimensional channels with constant Frobenius norm are equivalent. Next, we generalize four one-parameter families of $2$-dimensional diagonal channels with constant Frobenius norm to an arbitrary dimension $n$. Finally, we prove that the generalizations are not equivalent in any dimension $n \ge 3$.
We study the curves of coherence for the Bell-diagonal states including $l_{1}$-norm of coherence and relative entropy of coherence under the Markovian channels in the first subsystem once. For a special Bell-diagonal state under bit-phase flip channel, we find frozen coherence under $l_{1}$ norm occurs, but relative entropy of coherence decrease. It illustrates that the occurrence of frozen coherence depends on the type of the measure of coherence. We study the coherence evolution of Bell-diagonal states under Markovian channels in the first subsystem $n$ times and find coherence under depola…
We study the degree to which the coherence of quantum states is affected by noise. We give the definition of the $n$-th decay rate and investigate the coherence of Bell-diagonal states under $n$ iterations of channels. We derive explicit formulas of the $n$-th decay rates based on $l_1$ norm of coherence, relative entropy of coherence and skew information-based coherence. It is found that the larger $n$ is, the faster the $n$-th decay rate decreases as the parameter $p$ of Bell-diagonal states increases. Moreover, for any fixed $n$, with the increase of $p$, Bell-diagonal states can be complet…
We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breakin…
The challenge of quantum computing is to combine error resilience with universal computation. Diagonal gates such as the transversal $T$ gate play an important role in implementing a universal set of quantum operations. This paper introduces a framework that describes the process of preparing a code state, applying a diagonal physical gate, measuring a code syndrome, and applying a Pauli correction that may depend on the measured syndrome (the average logical channel induced by an arbitrary diagonal gate). It focuses on CSS codes, and describes the interaction of code states and physical gates…
The property of quantum correlation has been studied in recent years, especially for the quantum and classical correlations affected by environment. The dynamics of quantum and classical correlations in two-qubit system under identical local noise channels have been investigated recently. Here we will consider the dynamics of quantum and classical correlations when the local noise channels of two sides are not identical. We investigate the dynamics of quantum and classical correlations with three types of local noise channels in both Markovian and non-Markovian conditions, and show the decay r…
The calculating of the coherent information is a fundamental step in obtaining the quantum capacity of a quantum channel. We introduce orthogonal and complete code basis to evaluate the coherent information per channel use when the input is the maximal mixture of stabilizer codewords. In the code basis, the output density matrix is diagonal, the joint output of the system and the auxiliary is block diagonal. The coherent information is worked out by counting the weights of error operators.
Diagonal quantum circuits are quantum circuits comprising only diagonal gates in the computational basis. In spite of a classical feature of diagonal quantum circuits in the sense of commutativity of all gates, their computational power is highly likely to outperform classical one and they are exploited for applications in quantum informational tasks. We review computational power of diagonal quantum circuits and their applications. We focus on the computational power of instantaneous quantum polynomial-time (IQP) circuits, which are a special type of diagonal quantum circuits. We then review …
Institute of Physics, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University（尼古拉·哥白尼大学物理、天文与信息学院物理研究所）；Tata Institute of Fundamental Research Hyderabad（塔塔基础研究所海得拉巴分所）；Institute for Quantum Studies, Chapman University（查普曼大学量子研究学院）；Department of Computer Science, Texas Tech University（德克萨斯理工大学计算机科学系）
The class of two-qubit Bell-diagonal states has been the workhorse for developing understanding about the geometry, dynamics, and applications of quantum resources. In this article, we present a quantum circuit for preparing Bell-diagonal states on a quantum computer in a tunable way. We implement this quantum circuit using the IBM Q 5 Yorktown quantum computer and, as an application example, we measure the non-local, steering, entanglement, and discord quantum correlations and non-local quantum coherence of Werner states.
Quantum discord measures quantum correlation by comparing the quantum mutual information with the maximal amount of mutual information accessible to a quantum measurement. This paper analyzes the properties of diagonal discord, a simplified version of discord that compares quantum mutual information with the mutual information revealed by a measurement that correspond to the eigenstates of the local density matrices. In contrast to the optimized discord, diagonal discord is easily computable; it also finds connections to thermodynamics and resource theory. Here we further show that, for the ge…
We give a new quantum circuit approximation of quantum multiplexors based on the idea of complexity theory oracles. As an added bonus, our multiplexor approximation immediately gives a quantum circuit approximation of diagonal unitary matrices.
We generalize the concepts of Internal Time Superoperator, its associated non unitary similarity transformations and Liapounov variables, to quantum systems with diagonal singularity, and we give a constructive proof of the existence of these superoperators for systems with purely diagonal Hamiltonian having uniform absolutely continuous spectrum on the interval from zero to infinity.
Uhlmann's concept of quantum holonomy for paths of density operators is generalised to the off-diagonal case providing insight into the geometry of state space when the Uhlmann holonomy is undefined. Comparison with previous off-diagonal geometric phase definitions is carried out and an example comprising the transport of a Bell-state mixture is given.
The concept of asymptotic correctability of Bell-diagonal quantum states is generalised to elementary quantum systems of higher dimensions. Based on these results basic properties of quantum state purification protocols are investigated which are capable of purifying tensor products of Bell-diagonal states and which are based on $B$-steps of the Gottesman-Lo-type with the subsequent application of a Calderbank-Shor-Steane quantum code. Consequences for maximum tolerable error rates of quantum cryptographic protocols are discussed.
The diagonal entropy was introduced as a good entropy candidate especially for isolated quantum systems out of equilibrium. Here we present an analytical calculation of the average diagonal entropy for systems undergoing unitary evolution and an external perturbation in the form of a cyclic quench. We compare our analytical findings with numerical simulations of various many-body quantum systems. Our calculations elucidate various heuristic relations proposed recently in the literature.
We investigate protocols for generating a state $t$-design by using a fixed separable initial state and a diagonal-unitary $t$-design in the computational basis, which is a $t$-design of an ensemble of diagonal unitary matrices with random phases as their eigenvalues. We first show that a diagonal-unitary $t$-design generates a $O(1/2^N)$-approximate state $t$-design, where $N$ is the number of qubits. We then discuss a way of improving the degree of approximation by exploiting non-diagonal gates after applying a diagonal-unitary $t$-design. We also show that it is necessary and sufficient to …
Given any covariance matrix corresponding to a so-called pure Gaussian state, a linear quantum system can be designed to achieve the assigned covariance matrix. In most cases, however, one might obtain a system that is difficult to realize in practice. In this paper, we restrict our attention to a special class of linear quantum systems, i.e., systems with diagonal passive Hamiltonian and a single dissipative channel. The practical implementation of such a system would be relatively simple. We then parametrize the class of pure Gaussian state covariance matrices that can be achieved by this pa…
The accurate evaluation of diagonal unitary operators is often the most resource-intensive element of quantum algorithms such as real-space quantum simulation and Grover search. Efficient circuits have been demonstrated in some cases but generally require ancilla registers, which can dominate the qubit resources. In this paper, we point out a correspondence between Walsh functions and a basis for diagonal operators that gives a simple way to construct efficient circuits for diagonal unitaries without ancillas. This correspondence reduces the problem of constructing the minimal-depth circuit wi…
We present a generalized tomographic quantum key distribution protocol in which the two parties share a Bell diagonal mixed state of two qubits. We show that if an eavesdropper performs a coherent measurement on many quantum ancilla states simultaneously, classical methods of secure key distillation are less effective than quantum entanglement distillation protocols. We also show that certain Bell diagonal states are resistant to any attempt of incoherent eavesdropping.
The set of Bell-diagonal states for two qubits can be depicted as a tetrahedron in three dimensions. We consider the level surfaces of entanglement and quantum discord for Bell-diagonal states. This provides a complete picture of the structure of entanglement and discord for this simple case and, in particular, of their nonanalytic behavior under decoherence. The pictorial approach also indicates how to show that discord is neither convex nor concave.
The general conditions are discussed which quantum state purification protocols have to fulfill in order to be capable of purifying Bell-diagonal qubit-pair states, provided they consist of steps that map Bell-diagonal states to Bell-diagonal states and they finally apply a suitably chosen Calderbank-Shor-Steane code to the outcome of such steps. As a main result a necessary and a sufficient condition on asymptotic correctability are presented, which relate this problem to the magnitude of a characteristic exponent governing the relation between bit and phase errors under the purification step…
We discuss a scheme for reconstructing experimentally the diagonal elements of the density matrix of quantum optical states. Applications to PDC heralded photons, multi-thermal and attenuated coherent states are illustrated and discussed in some details.
We propose an efficient quantum algorithm for simulating the dynamics of general Hamiltonian systems. Our technique is based on a power series expansion of the time-evolution operator in its off-diagonal terms. The expansion decouples the dynamics due to the diagonal component of the Hamiltonian from the dynamics generated by its off-diagonal part, which we encode using the linear combination of unitaries technique. Our method has an optimal dependence on the desired precision and, as we illustrate, generally requires considerably fewer resources than the current state-of-the-art. We provide a…
Using the diagonal entropy, we analyze the dynamical signatures of the Lipkin-Meshkov-Glick (LMG) model excited-state quantum phase transition (ESQPT). We first show that the time evolution of the diagonal entropy behaves as an efficient indicator of the presence of an ESQPT. We further consider the diagonal entropy as a random variable over a certain time interval and we find that its associated probability distribution provides a clear distinction between the different phases of ESQPT. We observe that the probability distribution of the diagonal entropy at the ESQPT critical point has an uni…
Two-qubit Bell-diagonal states can be depicted as a tetrahedron in three dimensions. We investigate the structure of quantum resources, including coherence and quantum discord, in the tetrahedron. The ordering of different resources measures is a common problem in resource theories, and which measure should be chosen to investigate the structure of resources is still an open question. We consider the structure of quantum resources which is not affected by the choice of measure. Our work provides a complete structure of coherence and quantum discord for Bell-diagonal states. The pictorial appro…
We review some properties of the convex roof extension, a construction used, e.g., in the definition of the entanglement of formation. Especially we consider the use of symmetries of channels and states for the construction of the convex roof. As an application we study the entanglement entropy of the diagonal map for permutation symmetric real N=3 states $ω(z)$ and solve the case $z<0$ where $z$ is the non-diagonal entry in the density matrix. We also report a surprising result about the behaviour of the output entropy of the diagonal map for arbitrary dimensions $N$; showing a bifurcation at…
In this study, using the concept of relative entropy as a distance measure of cor- relations we investigate the important issue of evaluating quantum correlations such as entanglement, dissonance and classical correlations for 2n-dimensional Bell-diagonal states. We provide an analytical technique, which describes how we find the closest classical states(CCS) and the closest separable states(CSS) for these states. Then analytical results are obtained for quantum discord of 2n-dimensional Bell-diagonal states. As illustration, some special cases are examined. Finally, we investigate the additiv…
The present work is motivated by the question as to what aspect of correlation entailed by the two-qubit state serves as the appropriate quantitative resource for steering. To this end, considering Bell-diagonal states, suitable measures of simultaneous correlations in two and three complementary (mutually unbiased) bases are identified as the relevant resources for quantum steering. Quantitative relations between appropriate measures of quantum steering and the corresponding measures of simultaneous correlations in complementary bases are demonstrated which ensure that for two qubit steerable…
We present an analysis of complete positivity (CP) constraints on qutrit quantum channels that have a form of affine transformations of generalized Bloch vector. For diagonal (damping) channels we derive conditions analogous to the ones that in qubit case produce tetrahedron structure in the channel parameter space.
We classify, up to local unitary equivalence, the set of $n$-qubit states that is stabilized by the diagonal subgroup of the local unitary group. We exhibit a basis for this set, parameterized by diagrams of nonintersecting chords connecting pairs of points on a circle, and give a criterion for when the stabilizer is precisely the diagonal subgroup and not larger. This investigation is part of a larger program to partially classify entanglement type (local unitary equivalence class) via analysis of stabilizer structure.
We study efficient generations of random diagonal-unitary matrices, an ensemble of unitary matrices diagonal in a given basis with randomly distributed phases for their eigenvalues. Despite the simple algebraic structure, they cannot be achieved by quantum circuits composed of a few-qubit diagonal gates. We introduce diagonal-unitary $t$-designs and present two quantum circuits that implement diagonal-unitary $2$-designs with the computational basis in $N$-qubit systems. One is composed of single-qubit diagonal gates and controlled-phase gates with randomized phases, which achieves an exact di…
We investigate the diagonal entropy(DE) of the ground state for quantum many-body systems, including the XY model and the Ising model with next nearest neighbour interactions. We focus on the DE of a subsystem of L continuous spins. We show that the DE in many-body systems, regardless of integrability, can be represented as a volume term plus a logarithmic correction and a constant offset. Quantum phase transition points can be explicitly identified by the three coefficients thereof. Besides, by combining entanglement entropy and the relative entropy of quantum coherence, as two celebrated rep…
We consider the problem of distinguishing, with minimum probability of error, two optical beam-splitter channels with unequal complex-valued reflectivities using general quantum probe states entangled over M signal and M' idler mode pairs of which the signal modes are bounced off the beam splitter while the idler modes are retained losslessly. We obtain a lower bound on the output state fidelity valid for any pure input state. We define number-diagonal signal (NDS) states to be input states whose density operator in the signal modes is diagonal in the multimode number basis. For such input sta…
The recently derived distributions for the scattering-matrix elements in quantum chaotic systems are not accessible in the majority of experiments, whereas the cross sections are. We analytically compute distributions for the off-diagonal cross sections in the Heidelberg approach, which is ap- plicable to a wide range of quantum chaotic systems. We thus eventually fully solve a problem which already arose more than half a century ago in compound-nucleus scattering. We compare our results with data from microwave and compound-nucleus experiments, particularly addressing the transition from isol…
A motivation is given for expressing classical mechanics in terms of diagonal projection matrices and diagonal density matrices. Then quantum mechanics is seen to be a simple generalization in which one replaces the diagonal real matrices with suitable Hermitian matrices.
A ternary ring of operators (TRO) in finite dimensions is a diagonal sum of spaces of rectangular matrices. TRO as operator space corresponds to quantum channels that are diagonal sums of partial traces, which we call TRO channels. TRO channels admits simple, single-letter capacity formula. Using operator space and complex interpolation techniques, we give perturbative capacities estimates for a wider class of quantum channels by comparison to TRO channels. Our estimates applies mainly for quantum and private capacity and also strong converse rates. The examples includes random unitary from gr…
Systems with purely off-diagonal disorder have peculiar features such as the localization-delocalization transition and long-range correlations in their wavefunctions. To motivate possible experimental studies of the physics of off-diagonal disorder, we study in detail disordered discrete-time quantum walk in a finite chain, where the diagonal disorder can be set to zero by construction. Starting from a transfer matrix approach, we show, both theoretically and computationally, that the dynamics of the quantum walk with disorder manifests all the main features of off-diagonal disorder. We also …
Quantum logic decomposition refers to decomposing a given quantum gate to a set of physically implementable gates. An approach has been presented to decompose arbitrary diagonal quantum gates to a set of multiplexed-rotation gates around z axis. In this paper, a special class of diagonal quantum gates, namely diagonal Hermitian quantum gates, is considered and a new perspective to the decomposition problem with respect to decomposing these gates is presented. It is first shown that these gates can be decomposed to a set that solely consists of multiple-controlled Z gates. Then a binary represe…
In this paper, we work on a quantum walk whose system is manipulated by a five-diagonal unitary matrix, and present long-time limit distributions. The quantum walk launches off a location and delocalizes in distribution as its system is getting updated. The five-diagonal matrix contains a phase term and the quantum walk becomes a standard coined walk when the phase term is fixed at special values. Or, the phase term gives an effect on the quantum walk. As a result, we will see an explicit form of a long-time limit distribution for a quantum walk driven by the matrix, and thanks to the exact fo…
Multitime system correlations functions are relevant in various areas of physics and science, dealing with system-bath interaction including spectroscopy and quantum optics, where many of these schemes include an off-diagonal system bath interaction. Here we extend the enhanced TEMPO algorithm for quantum path integrals using tensor networks [Phys. Rev. Lett. 123, 240602 (2019)] to open quantum systems with off-diagonal coupling beyond a single two level system. We exemplify the approach on a coupled cavity waveguide system with spatially separated quantum two-state emitters, though many other…
We study a method of producing approximately diagonal 1-qubit gates. For each positive integer, the method provides a sequence of gates that are defined iteratively from a fixed diagonal gate and an arbitrary gate. These sequences are conjectured to converge to diagonal gates doubly exponentially fast and are verified for small integers. We systemically study this conjecture and prove several important partial results. Some techniques are developed to pave the way for a final resolution of the conjecture. The sequences provided here have applications in quantum search algorithms, quantum circu…
We analyze a one dimensional quantum model with off-diagonal disorder, consisting of a sequence of potential energy barriers whose width is a random variable either uniformly or normally distributed. We investigate how the disorder and the energy distribution (due to a thermostat at room temperature) affect the resulting value of the transmission coefficient, and discuss the structure of the fluctuations of such coefficient at different length scales and the onset of different size-dependent regimes. Our analysis suggests an efficient way to detect tunneling resonances in a regime of off-diago…
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for analytical study. As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions, which are important toy models for entanglement spreading in quantum circuits. We then analyze the non-local nature of these invariant operators, both in discrete (operator Schmidt rank) and continuous (entangling power) settings. …
Realizing non-unitary transformations on unitary-gate based quantum devices is critically important for simulating a variety of physical problems including open quantum systems and subnormalized quantum states. We present a dilation based algorithm to simulate non-unitary operations using probabilistic quantum computing with only one ancilla qubit. We utilize the singular-value decomposition (SVD) to decompose any general quantum operator into a product of two unitary operators and a diagonal non-unitary operator, which we show can be implemented by a diagonal unitary operator in a 1-qubit dil…
We propose the first correct special-purpose quantum circuits for preparation of Bell-diagonal states (BDS), and implement them on the IBM Quantum computer, characterizing and testing complex aspects of their quantum correlations in the full parameter space. Among the circuits proposed, one involves only two quantum bits but requires adapted quantum tomography routines handling classical bits in parallel. The entire class of Bell-diagonal states is generated, and a number of characteristic indicators, namely entanglement of formation, CHSH non-locality, steering and discord, are experimentally…
A general method to derive the diagonal representation for a generic matrix valued quantum Hamiltonian is proposed. In this approach new mathematical objects like non-commuting operators evolving with the Planck constant promoted as a running variable are introduced. This method leads to a formal compact expression for the diagonal Hamiltonian which can be expanded in a power series of the Planck constant. In particular, we provide an explicit expression for the diagonal representation of a generic Hamiltonian to the second order in the Planck constant. This last result is applied, as a physic…
