Shao-Ming Fei, Naihuan Jing
In terms of the analysis of fixed point subgroup and tensor decomposability of certain matrices, we study the equivalence of of quantum bipartite mixed states under local unitary transformations. For non-degenerate case an operational criterion for the equivalence of two such mixed bipartite states under local unitary transformations is presented.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The correspondence between local unitary equivalence of bipartite quantum states and simultaneous orthogonal equivalence is thoroughly investigated and strengthened. It is proved that local unitary equivalence can be studied through simultaneous similarity under projective orthogonal transformations, and four parametrization independent algorithms are proposed to judge when two density matrices on $\mathbb C^{d_1}\otimes \mathbb C^{d_2}$ are locally unitary equivalent in connection with trace identities, Weierstrass pencils, Albert determinants and Smith normal forms.
The equivalence of multipartite quantum mixed states under local unitary transformations is studied. A criterion for the equivalence of non-degenerate mixed multipartite quantum states under local unitary transformations is presented.
We consider the local unitary equivalence of a class of quantum states in bipartite case and multipartite case. The necessary and sufficient condition is presented. As special cases, the local unitary equivalent classes of isotropic state and werner state are provided. Then we study the local unitary similar equivalence of this class of quantum states and analyze the necessary and sufficient condition.
The CANDECOMP/PARAFAC (CP) decomposition is a generalization of the spectral decomposition of matrices to higher-order tensors. In this paper we use the CP decomposition to study unitary equivalence of higher order tensors and construct several invariants of local unitary equivalence for general higher order tensors. Based on this new method, we study the coefficient tensors of $3$-qubit states and obtain a necessary and sufficient criterion for local unitary equivalence of general tripartite states in terms of the CP decomposition. We also generalize this method to obtain some invariants of l…
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
A Comment on the Letter by B. Kraus {\it Phys. Rev. Lett.}{\bf 104}, 020504 (2010).
The nonlocal properties of arbitrary dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. These invariants give rise to both sufficient and necessary conditions for the equivalence of quantum states under local unitary transformations: two density matrices are locally equivalent if and only if all these invariants have equal values.
We study the local unitary equivalence of arbitrary dimensional multipartite quantum mixed states. We present a necessary and sufficient criterion of the local unitary equivalence for general multipartite states based on matrix realignment. The criterion is shown to be operational even for particularly degenerated states by detailed examples. Besides, explicit expressions of the local unitary operators are constructed for locally equivalent states. In complement to the criterion, an alternative approach based on partial transposition of matrices is also given, which makes the criterion more ef…
Necessary and sufficient conditions for the equivalence of arbitrary n-qubit pure quantum states under Local Unitary (LU) operations are derived. First, an easily computable standard form for multipartite states is introduced. Two generic states are shown to be LU-equivalent iff their standard forms coincide. The LU-equivalence problem for non--generic states is solved by presenting a systematic method to determine the LU operators (if they exist) which interconvert the two states.
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
The equivalence of arbitrary dimensional bipartite states under local unitary transformations (LUT) is studied. A set of invariants and ancillary invariants under LUT is presented. We show that two states are equivalent under LUT if and only if they have the same values for all of these invariants.
The equivalence of tripartite pure states under local unitary transformations is investigated. The nonlocal properties for a class of tripartite quantum states in $\Cb^K \otimes \Cb^M \otimes \Cb^N$ composite systems are investigated and a complete set of invariants under local unitary transformations for these states is presented. It is shown that two of these states are locally equivalent if and only if all these invariants have the same values.
We study the relation between local unitary (LU) equivalence and local Clifford (LC) equivalence of stabilizer states. We introduce a large subclass of stabilizer states, such that every two LU equivalent states in this class are necessarily LC equivalent. Together with earlier results, this shows that LC, LU and SLOCC equivalence are the same notions for this class of stabilizer states. Moreover, recognizing whether two given stabilizer states in the present subclass are locally equivalent only requires a polynomial number of operations in the number of qubits.
Local Unitary Equivalence of Tripartite Quantum States In Terms of Trace Identities
本文通过超矩阵代数框架，将局部酉等价性与同时正交等价性的对应关系从双体推广到三体量子态，并利用推广的Specht准则将三体LU等价性问题简化为检查迹恒等式等不变量。
Identifying local unitary equivalence based on reduction of quantum states
研究一类含特定特征值的量子态的局部酉等价识别问题，引入“约化”程序，利用现有标准为约化态建立判别框架，还验证了两族单参数多体混合态的局部酉等价性，展现方法有效性与通用性。
Local unitary equivalence of arbitrary-dimensional multipartite quantum states
本文基于广义 Bloch 表示的系数矩阵构造任意维度两体及多体量子态的局域酉不变量，并将其用于验证局域酉等价和估计并发度。
In this brief report, we consider the equivalence between two sets of $m+1$ bipartite quantum states under local unitary transformations. For pure states, this problem corresponds to the matrix algebra question of whether two degree $m$ matrix polynomials are unitarily equivalent; i.e. $UA_iV^\dagger=B_i$ for $0\leq i\leq m$ where $U$ and $V$ are unitary and $(A_i, B_i)$ are arbitrary pairs of rectangular matrices. We present a randomized polynomial-time algorithm that solves this problem with an arbitrarily high success probability and outputs transforming matrices $U$ and $V$.
Unitary equivalence of Schrödinger and Heisenberg pictures survives in nonlinear quantum mechanics
本文证明在非线性量子力学中，当哈密顿量依赖于瞬时期望值时，薛定谔绘景与海森堡绘景的幺正等价性仍成立，尽管交织算子依赖初始状态，但物理预言一致。
A simple coined quantum walk in one dimension can be characterized by a $SU(2)$ operator with three parameters which represents the coin toss. However, different such coin toss operators lead to equivalent dynamics of the quantum walker. In this manuscript we present the unitary equivalence classes of quantum walks and show that all the nonequivalent quantum walks can be distinguished by a single parameter. Moreover, we argue that the electric quantum walks are equivalent to quantum walks with time dependent coin toss operator.
Characterizing local unitary equivalence of multipartite states by local unitary Bargmann invariants
本文研究局部酉Bargmann不变量（LUBIs）能否充分判定多体态的局部酉（LU）等价性，证明对单方约化矩阵非简并的CLC态成立，并给出简并情形下反例。
The necessary and sufficient conditions for the equivalence of arbitrary n-qubit pure quantum states under Local Unitary (LU) operations derived in [B. Kraus Phys. Rev. Lett. 104, 020504 (2010)] are used to determine the different LU-equivalence classes of up to five-qubit states. Due to this classification new parameters characterizing multipartite entanglement are found and their physical interpretation is given. Moreover, the method is used to derive examples of two n-qubit states (with n>2 arbitrary) which have the properties that all the entropies of any subsystem coincide, however, the s…
We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. B…
Two pure states of a multi-partite system are alway are related by a unitary transformation acting on the Hilbert space of the whole system. This transformation involves multi-partite transformations. On the other hand some quantum information protocols such as the quantum teleportation and quantum dense coding are based on equivalence of some classes of states of bi-partite systems under the action of local (one-particle) unitary operations. In this paper we address the question: ``Under what conditions are the two states states, $\varrho$ and $σ$, of a multi-partite system locally unitary eq…
Local unitary equivalence of absolutely maximally entangled states constructed from orthogonal arrays
本研究利用不变量分析由正交阵列构造的绝对最大纠缠态的局部酉等价性，证明存在无限多个局部酉不等价的三方和五方AME态。
We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restr…
We study when a multipartite non--local unitary operation can deterministically or probabilistically simulate another one when local operations of a certain kind -in some cases including also classical communication- are allowed. In the case of probabilistic simulation and allowing for arbitrary local operations, we provide necessary and sufficient conditions for the simulation to be possible. Deterministic and probabilistic interconversion under certain kinds of local operations are used to define equivalence relations between gates. In the probabilistic, bipartite case this induces a finite …
Quantum algorithms are typically understood in terms of the evolution of a multi-qubit quantum system under a prescribed sequence of unitary transformations. The input to the algorithm prescribes some of the unitary transformations in the sequence with others remaining fixed. For oracle query algorithms, the input determines the oracle unitary transformation. Such algorithms can be regarded as devices for discriminating amongst a set of unitary transformations. The question arises: "Given a set of known oracle unitary transformations, to what extent is it possible to discriminate amongst them?…
Decidabilities of local unitary equivalence for entanglement witnesses and states
本文从可判定性视角研究局部酉等价问题，比较纠缠见证与态的LU可判定性并建立层级，揭示了投影算子元组间同时LU等价性的关键作用，给出了态元组SLU等价的充要条件。
Separability of Graph Laplacian Quantum States: Utilizing Unitary Operators, Neighbourhood Sets and Equivalence Relation
本文研究了图拉普拉斯量子态的纠缠与可分性，提出通过结合酉算子、邻域集与等价关系来判定复合 Hilbert 空间内 $n$ 量子比特态可分性的准则。
Quantum computation is based on implementing selected unitary transformations which represent algorithms. A generalized optimal control theory is used to find the driving field that generates a prespecified unitary transformation. The approach is illustrated in the implementation of one and two qubits gates in model molecular systems.
This study investigates the unitary equivalence of split-step quantum walks (SSQW). We consider a new class of quantum walks which includes all SSQWs. We show the explicit form of quantum walks in this class, and clarify their unitary equivalence classes. Unitary equivalence classes of Suzuki's SSQW are also given.
In previous work the authors introduced a notion of generic states and obtained criteria for local equivalence of them. Here they introduce the concept of CHG states maintaining the criteria of local equivalence. This fact allows the authors to halve the number of invariants necessary to characterize the equivalence classes under local unitary transformations for the set of tripartite states whose partial trace with respect to one of the subsystems belongs to the class of CHG mixed states.
We show that several Hamiltonians that are $\mathcal{PT}$ symmetric may be taken to Hermitian Hamiltonians via a non-unitary transformation and vice versa. We also show that for some specific Hamiltonians such non-unitary transformations may be associated, via a fractional-Wick rotation, to complex time.
We propose a genetic-algorithm-based method to find the unitary transformations for any desired quantum computation. We formulate a simple genetic algorithm by introducing the "genetic parameter vector" of the unitary transformations to be found. In the genetic algorithm process, all components of the genetic parameter vectors are supposed to evolve to the solution parameters of the unitary transformations. We apply our method to find the optimal unitary transformations and to generalize the corresponding quantum algorithms for a realistic problem, the one-bit oracle decision problem, or the o…
We give an universal algorithm for testing the local unitary equivalence of states for multipartite system with arbitrary dimensions.
We concretely construct an extension of the controlled-U gate in qudit from some elementary gates. We also construct unitary transformation in two-qudit by means of the extended controlled-U gate and show the universality of it.
Quantum computation and quantum control operate by building unitary transformations out of sequences of elementary quantum logic operations or applications of control fields. This paper puts upper bounds on the minimum time required to implement a desired unitary transformation on a d-dimensional Hilbert space when applying sequences of Hamiltonian transformations. We show that strategies of building up a desired unitary out of non-infinitesimal and infinitesimal unitaries, or equivalently, using power and band limited controls, can yield the best possible scaling in time $O(d^2)$.
In the well known treatment of quantum teleportation, the receiver should convert the state of his EPR particle into the replica of the unknown quantum state by one of four possible unitary transformations. However, the importance of these unitary transformations must be emphasized. We will show in this paper that the receiver can not transform the state of his particle into an exact replica of the unknown state which the sender want to transfer if he have not a proper implementation of these unitary transformations. In the procedure of converting state, the inevitable coupling between EPR par…
Quantum states with the same entanglement and local unitary equivalence
本文指出LOCC可互转换性不等同于LU等价，并给出充分条件：对于具有完全纠缠维数（以Schmidt数向量量化）的多体态，LOCC互转换性仅在LU等价下成立。
We investigate the equivalence of bipartite quantum mixed states under local unitary transformations by introducing representation classes from a geometrical approach. It is shown that two bipartite mixed states are equivalent under local unitary transformations if and only if they have the same representation class. Detailed examples are given on calculating representation classes.
The aim of the article is to show how a coordinate transformation can be applied to the path-integral formalism. For this purpose the unitary definition of the quantum measure, which guarantees the conservation of total probability, is offered. As the examples, the phase space transformation to the canonically conjugate pare $(energy, time)$ and the transformation to the cylindrical coordinates are shown. The transformations of the path-integral measure looks classically but they can not be deduced from naive transformations of quantum trajectories.
We investigate the equivalence of quantum mixed states under local unitary transformations. For a class of rank-two mixed states, a sufficient and necessary condition of local equivalence is obtained by giving a complete set of invariants under local unitary transformations, such that two states in this class are locally equivalent if and only if all these invariants have equal values for them.
Estimation of high-dimensional unitary transformations saturating the Quantum Cramér-Rao bound
本文提出估计$d$维幺正变换的方法，在$d>2$时对接近恒等的变换饱和量子Cramér-Rao界，$d=2$时借助先验信息达到最优，且无先验信息时精度优于标准量子过程层析。
We show that in principle, $N$-partite unitary transformations can be perfectly discriminated under local measurement and classical communication (LOCC) despite of their nonlocal properties. Based on this result, some related topics, including the construction of the appropriate quantum circuit together with the extension to general completely positive trace preserving operations, are discussed.
A quantum gate is realized by specific unitary transformations operating on states representing qubits. Considering a quantum system employed as an element in a quantum computing scheme, the task is therefore to enforce the pre-specified unitary transformation. This task is carried out by an external time dependent field. Optimal control theory has been suggested as a method to compute the external field which alters the evolution of the system such that it performs the desire unitary transformation. This study compares two recent implementations of optimal control theory to find the field tha…
In this paper, we study time-optimal control problems related to system of two coupled qubits where the time scales involved in performing unitary transformations on each qubit are significantly different. In particular, we address the case where unitary transformations produced by evolutions of the coupling take much longer time as compared to the time required to produce unitary transformations on the first qubit but much shorter time as compared to the time to produce unitary transformations on the second qubit. We present a canonical decomposition of SU(4) in terms of the subgroup SU(2)xSU…
In this paper the geometry of two-qubit systems under local unitary group $SO(2)\otimes SU(2)$ is discussed. It is shown that the quaternionic conformal map intertwines between this local unitary subgroup of $Sp(2)$ and the quaternionic Möbius transformation which is rather a generalization of the results of Lee et al (2002 Quantum Inf. Process. 1 129).
We show that all pure entangled states of two $d$-dimensional quantum systems (i.e., two qudits) can be generated from an initial separable state via a universal Yang--Baxter matrix if one is assisted by local unitary transformations.
We proposed a general transformation in probabilistic teleportation, which is based on different entanglement matching coefficients $K$ corresponding to different unitary evolution which provides one with more flexible evolution method experimentally. Through analysis based on the Bell basis and generalized Bell basis measurement for two probabilistic teleportation, we suggested a general probability of successful teleportation, which is not only determined by the entanglement degree of transmission channels and measurement methods, but also related to the unitary transformation in the telepor…
After proving a general no-cloning theorem for black boxes, we derive the optimal universal cloning of unitary transformations, from one to two copies. The optimal cloner is realized by quantum channels with memory, and greately outperforms the optimal measure-and-reprepare cloning strategy. Applications are outlined, including two-way quantum cryptographic protocols.
We present a way of treating the problem of the interaction of a single trapped ion with laser beams based on successive aplications of unitary transformations onto the Hamiltonian. This allows the diagonalization of the Hamiltonian, by means of recursive relations, without performing the Lamb-Dicke approximation.
The equivalence of stabilizer states under local transformations is of fundamental interest in understanding properties and uses of entanglement. Two stabilizer states are equivalent under the usual stochastic local operations and classical communication criterion if and only if they are equivalent under local unitary (LU) operations. More surprisingly, under certain conditions, two LU equivalent stabilizer states are also equivalent under local Clifford (LC) operations, as was shown by Van den Nest et al. [Phys. Rev. \textbf{A71}, 062323]. Here, we broaden the class of stabilizer states for w…
In the present time we observe a growing number of publications where the, so-called, flow equations are successfully used to diagonalize Hamiltonians by means of an appropriate unitary transformation. Here we discuss and compare the flow equations (FE) method (proposed in 1994) with the method of one step continuous unitary transformations (OS CUT) (proposed in 1982). It is shown that the FE method can be considered as a generalization of the OS CUT approach to the case of parameter dependent generator. The OS CUT method gives linear differential equations for the diagonalization procedure. I…
It is generally accepted that no `faster than light signalling' (FTLS) using two entangled spin 1/2 particles is possible because of indeterminism in a quantum measurement and linearity of standard quantum mechanics. We show how in principle one bit of information could be transmitted using local measurements and a global unitary transformation of the state of two entangled spatially separated spin 1/2 particles. Assuming that the postulate of a state collapse due to measurement is valid, the no FTLS condition is saved if we do not have physical access to the required global unitary transforma…
We address the problem of finding the optimal joint unitary transformation on system + ancilla which is the most efficient in programming any desired channel on the system by changing the state of the ancilla. We present a solution to the problem for dim(H)=2 for both system and ancilla.
There are major advantages in a newer version of Grover's quantum algorithm utilizing a general unitary transformation in the search of a single object in a large unsorted database. In this paper, we generalize this algorithm to multiobject search. We show the techniques to achieve the reduction of the problem to one on an invariant subspace of dimension just equal to two.
Bargmann invariants and local unitary equivalence
研究\(\mathbb{C}^n\otimes\mathbb{C}^n\)上量子态的局部酉等价性，\(n = 2\)时两量子比特态局部酉轨道由局部酉巴尔加门不变量确定，而\(n\geqslant 3\)时该不变量不构成完备不变量，否定了L. Zhang和B. Xie的问题。
In this paper we analyze a recent application of perturbation theory by the moment method to a family of two-dimensional anharmonic oscillators. By means of straightforward unitary transformations we show that two of the models studied by the authors are separable. Other is unbounded from below and therefore cannot be successfully treated by perturbation theory unless a complex harmonic frequency is introduced in the renormalization process. We calculate the lowest resonance by means of complex-coordinate rotation and compare its real part with the eigenvalue estimated by the authors. A pair o…
We consider the remote state creation via the homogeneous spin-1/2 chain and show that the significant extension of the creatable region can be achieved using the local unitary transformation of the so-called extended receiver (i.e. receiver joined with the nearest node(s)). This transformation is { most} effective in the models with all-node interactions. We consider the model with the two-qubit sender, one-qubit receiver and two-qubit extended receiver.
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.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。