Construct SLOCC invariants via square matrix

Xin-Wei Zha

DOI: https://doi.org/10.48550/arXiv.1706.09604

2017-06-29

Abstract:We define a square matrices, by which some stochastic local operations and classical communication (SLOCC) invariants can be obtained. The relation of SLOCC invariants and character polynomial of square matrix are given for three and four qubit states.

Quantum Physics,Mathematical Physics

What problem does this paper attempt to address?

Stochastic local operations and classical communication invariants via square matrix

Xinwei Zha,Irfan Ahmed,Da Zhang,Wen Feng,Yanpeng Zhang

DOI: https://doi.org/10.1088/1555-6611/aaf637

IF: 1.2

2019-01-01

Laser Physics

Abstract:In this paper, we raise a few corrections from the Li et al paper (2015 Phys. Rev. A 91 012302). We obtain some stochastic local operations and classical communication (SLOCC) invariants from second degree to sixth degree by defining square matrices. The relation of SLOCC invariants and the character polynomial of the square matrix are defined for three and four qubit states. This method comes as a useful resource in determining SLOCC invariants for n-qubit states.
Simple forms of SLOCC equivalent four-qubit \c{hi} state

Xin-Wei Zha,Jian-Xia Qi,Yun-Guang Zhang

DOI: https://doi.org/10.1007/s10773-014-2440-y

2014-01-26

Abstract:Some simple structure of maximally four-qubit state is presented. Using stochastic local operations and classical communication (SLOCC) invariants, it is can be shown those simple structure of maximally four-qubit state is SLOCC equivalent to four-qubit \c{hi} state.

Quantum Physics
Maximally entangled real states and SLOCC invariants: the 3-qutrit case

Hamza Jaffali,Frédéric Holweck,Luke Oeding

DOI: https://doi.org/10.1088/1751-8121/ad3193

2024-03-09

Journal of Physics A Mathematical and Theoretical

Abstract:The absolute values of polynomial SLOCC invariants (which always vanish on separable states) can be seen as measures of entanglement. We study the case of real 3-qutrit systems and discover a new set of maximally entangled states (from the point of view of maximizing the hyperdeterminant). We also study the basic fundamental invariants and find real 3-qutrit states that maximize their absolute values. It is notable that the Aharonov state is a simultaneous maximizer for all 3 fundamental invariants. We also study the evaluation of these invariants on random real 3-qutrit systems and analyze their behavior using histograms and level-set plots. Finally, we show how to evaluate these invariants on any 3-qutrit state using basic matrix operations.

physics, multidisciplinary, mathematical
LU transformation invariant operators and LU transformation invariant

Xin-wei Zha,Chun-min Zhang

2007-01-01

Abstract:We proposed a concept of LU transformation invariant operators. By using this operator, arbitrary multi-qubit states LU transformation invariant and SLOCC invariant could be easily obtained. And we find that presences two kinds of invariant operators and corresponding invariants. One kind of operators yields LU invariants and the other operators results in SLOCC invariants. For three-qubit states, all independence LU transformation invariant are obtained. Furthermore, by this system method, arbitrary multi-qubit states invariants can be given.
Local Unitary Equivalence of the SLOCC Class of Three Qubits

Dafa Li,Yu Guo

DOI: https://doi.org/10.1088/1751-8121/aba576

2020-01-01

Abstract:Classification of multipartite pure states via the local unitary (LU) equivalence or the stochastic local operations and classical communication (SLOCC) equivalence is a fundamental task in investigating multipartite entanglement. It is shown in the seminal paper (2000 Phys. Rev. A 62 062314) that pure states of three qubits can be partitioned into six SLOCC classes. We explore here a necessary and sufficient condition for LU equivalence of pure states for any SLOCC class via Acín et al’s Schmidt coefficients (ASC) of three qubits in (2000 Phys. Rev. Lett. 85 1560). We show that the LU equivalent states in W SLOCC class have the same ASC irrespective of phases while there are generally two different ASCs for the LU equivalent states in GHZ SLOCC class (irrespective of phases for some subclass). Consequently, we obtain a complete LU classification of three qubit pure states in the sense of ASC. Moreover, we discuss the choice among the different ASCs and then propose an approach to find a unique ASC for any given three qubit pure state. At last we analyse the entanglement/separability of the marginal states of the two inequivalent genuine entangled SLOCC classes. We find that any bipartite marginal states of the W SLOCC class are entangled, and that of the GHZ SLOCC class has eight different cases which are depend on the ASCs.
Four-qubit critical states

Luke Oeding,Ian Tan

2024-10-11

Abstract:Verstraete, Dehaene, and De Moor (2003) showed that SLOCC invariants provide entanglement monotones. We observe that many highly entangled or useful four-qubit states that appear in prior literature are stationary points of such entanglement measures. This motivates the search for more stationary points. We use the notion of critical points (in the sense of the Kempf-Ness theorem) together with Vinberg theory to reduce the complexity of the problem significantly. We solve the corresponding systems utilizing modern numerical nonlinear algebra methods and reduce the solutions by natural symmetries. This method produces an extended list of four-qubit stationary points, which includes all the critical states in the survey by Enriquez et al (2016).

Quantum Physics,Algebraic Geometry
Tensor decompositions with applications to LU and SLOCC equivalence of multipartite pure states

Luke Oeding,Ian Tan

2024-03-26

Abstract:We introduce a broad lemma, one consequence of which is the higher order singular value decomposition (HOSVD) of tensors defined by DeLathauwer, DeMoor and Vandewalle (2000). By an analogous application of the lemma, we find a complex orthogonal version of the HOSVD. Kraus' (2010) algorithm used the HOSVD to compute normal forms of almost all $n$-qubit pure states under the action of the local unitary group. Taking advantage of the double cover $\operatorname{SL}_2(\mathbb{C}) \times \operatorname{SL}_2(\mathbb{C}) \to \operatorname{SO}_4({\mathbb{C}})$, we produce similar algorithms (distinguished by the parity of $n$) that compute normal forms for almost all $n$-qubit pure states under the action of the SLOCC group.

Quantum Physics,Algebraic Geometry,Representation Theory
Operator structures and quantum one-way LOCC conditions

David W. Kribs,Comfort Mintah,Michael Nathanson,Rajesh Pereira

DOI: https://doi.org/10.1063/1.5000845

IF: 1.469

2017-09-01

Journal of Mathematical Physics

Abstract:We conduct the first detailed analysis in quantum information of recently derived operator relations from the study of quantum one-way local operations and classical communications (LOCC). We show how operator structures such as operator systems, operator algebras, and Hilbert C*-modules naturally arise in this setting. We make use of these structures to derive new results and bounds in the study of one-way LOCC, and we use the approach to uncover new derivations of some previously established results.

physics, mathematical
Noncommutative Poisson structure and invariants of matrices

Farkhod Eshmatov,Xabier García-Martínez,Rustam Turdibaev

2024-02-13

Abstract:We introduce a novel approach that employs techniques from noncommutative Poisson geometry to comprehend the algebra of invariants of two $n\times n$ matrices. We entirely solve the open problem of computing the algebra of invariants of two $4 \times 4$ matrices. As an application, we derive the complete description of the invariant commuting variety of $4 \times 4$ matrices and the fourth Calogero-Moser space.

Rings and Algebras
Local discrimination of lattice states via adjacent matrix

Ying-Hui Yang,Qi-Yue Zhao,Pei-Ying Chen,Shi-Jiao Geng,Jiang-Tao Yuan

DOI: https://doi.org/10.1007/s11128-024-04436-4

IF: 1.965

2024-06-02

Quantum Information Processing

Abstract:We investigate the distinguishability of lattice states by local operations and classical communication (LOCC) in , where p is a prime. Firstly, for all the lattice matrices, we present that there are number of distinct maximal commuting sets. Secondly, we give a criterion to determine the local discrimination of lattice states via adjacent matrix. The previous results (Phys Rev A 92:042320, 2015; Phys Scr 98:115102, 2023) can be covered by our result. Finally, we give a sufficient condition for LOCC indistinguishability of lattice states.

physics, multidisciplinary,quantum science & technology, mathematical
Invariants and orthogonal $q$-polynomials associated with $\Bbb{C}_{q}(osp(1,2))$

Yi Ming Zou

DOI: https://doi.org/10.48550/arXiv.math/0608691

2006-08-28

Abstract:The spaces of invariants and the zonal spherical functions associated with quantum super 2-shpheres defined by $\Bbb{C}_{q}(osp(1,2))$ are discussed. Connection between the zonal spherical functions and orthogonal $q$-polynomials from the Askey-Wilson scheme is investigated.

Quantum Algebra,Representation Theory
Identifying families of multipartite states with non-trivial local entanglement transformations

Nicky Kai Hong Li,Cornelia Spee,Martin Hebenstreit,Julio I. de Vicente,Barbara Kraus

DOI: https://doi.org/10.22331/q-2024-02-29-1270

2024-02-23

Abstract:The study of state transformations by spatially separated parties with local operations assisted by classical communication (LOCC) plays a crucial role in entanglement theory and its applications in quantum information processing. Transformations of this type among pure bipartite states were characterized long ago and have a revealing theoretical structure. However, it turns out that generic fully entangled pure multipartite states cannot be obtained from nor transformed to any inequivalent fully entangled state under LOCC. States with this property are referred to as isolated. Nevertheless, the above result does not forbid the existence of particular SLOCC classes that are free of isolation, and therefore, display a rich structure regarding LOCC convertibility. In fact, it is known that the celebrated $n$-qubit GHZ and W states give particular examples of such classes and in this work, we investigate this question in general. One of our main results is to show that the SLOCC class of the 3-qutrit totally antisymmetric state is isolation-free as well. Actually, all states in this class can be converted to inequivalent states by LOCC protocols with just one round of classical communication (as in the GHZ and W cases). Thus, we consider next whether there are other classes with this property and we find a large set of negative answers. Indeed, we prove weak isolation (i.e., states that cannot be obtained with finite-round LOCC nor transformed by one-round LOCC) for very general classes, including all SLOCC families with compact stabilizers and many with non-compact stabilizers, such as the classes corresponding to the $n$-qunit totally antisymmetric states for $n\geq4$. Finally, given the pleasant feature found in the family corresponding to the 3-qutrit totally antisymmetric state, we explore in more detail the structure induced by LOCC and the entanglement properties within this class.

Quantum Physics
Lickorish Invariant And Quantum OSP(1|2)

R. B. Zhang,H. C. Lee

DOI: https://doi.org/10.48550/arXiv.q-alg/9611020

1996-11-19

Abstract:Lickorish's method for constructing topological invariants of 3 - manifolds is generalized to the quantum supergroup setting. An invariant is obtained by applying this method to the Kauffman polynomial arising from the vector representation of Uq(osp(1|2)). A transparent proof is also given showing that this invariant is equivalent to the Uq(osp(1|2)) invariant obtained in an earlier publication.
Quantum signal processing over SU(N)

Lorenzo Laneve

2024-07-01

Abstract:Quantum signal processing (QSP) and the quantum singular value transformation (QSVT) are pivotal tools for simplifying the development of quantum algorithms. These techniques leverage polynomial transformations on the eigenvalues or singular values of block-encoded matrices, achieved with the use of just one control qubit. In contexts where the control qubit is used to extract information about the eigenvalues or singular values, the amount of extractable information is limited to one bit per protocol. In this work, we extend the original QSP ansatz by introducing multiple control qubits. We show that, much like in the single-qubit case, nearly any vector of polynomials can be implemented with a multi-qubit QSP ansatz, and the gate complexity scales polynomially with the dimension of such states. Moreover, assuming that powers of the matrix to transform are easily implementable - as in Shor's algorithm - we can achieve polynomial transformations with degrees that scale exponentially with the number of control qubits. This work aims to provide a partial characterization of the polynomials that can be implemented using this approach, with phase estimation schemes and discrete logarithm serving as illustrative examples.

Quantum Physics
Rational Local Unitary Invariants of Symmetrically Mixed States of Two Qubits

Luca Candelori,Vladimir Y. Chernyak,John R. Klein,Nick Rekuski

2023-08-08

Abstract:We compute the field of rational local unitary invariants for locally maximally mixed states and symmetrically mixed states of two qubits. In both cases, we prove that the field of rational invariants is purely transcendental. We also construct explicit geometric quotients and prove that they are always rational. All the results are obtained by working over the field of real numbers, employing methods from classical and geometric invariant theory over arbitrary fields of characteristic zero.

Algebraic Geometry,Mathematical Physics,Commutative Algebra,Quantum Physics
Invariants of Quadratic Forms and applications in Design Theory

Oliver W. Gnilke,Padraig O Cathain,Oktay Olmez,Guillermo Nunez Ponasso

2023-11-03

Abstract:The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.

Combinatorics,History and Overview,Number Theory
Structure theorem of square complex orthogonal design

Yuan Li

DOI: https://doi.org/10.48550/arXiv.1209.4965

2013-03-17

Abstract:Square COD (complex orthogonal design) with size $[n, n, k]$ is an $n \times n$ matrix $\mathcal{O}_z$, where each entry is a complex linear combination of $z_i$ and their conjugations $z_i^*$, $i=1,\ldots, k$, such that $\mathcal{O}_z^H \mathcal{O}_z = (|z_1|^2 + \ldots + |z_k|^2)I_n$. Closely following the work of Hottinen and Tirkkonen, which proved an upper bound of $k/n$ by making a crucial observation between square COD and group representation, we prove the structure theorem of square COD.

Information Theory
Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis

Mehdi Saeedi,Morteza Saheb Zamani,Mehdi Sedighi

DOI: https://doi.org/10.1109/DSD.2007.4341490

2010-04-09

Abstract:The exponential speed up of quantum algorithms and the fundamental limits of current CMOS process for future design technology have directed attentions toward quantum circuits. In this paper, the matrix specification of a broad category of quantum circuits, i.e. CNOT-based circuits, are investigated. We prove that the matrix elements of CNOT-based circuits can only be zeros or ones. In addition, the columns or rows of such a matrix have exactly one element with the value of 1. Furthermore, we show that these specifications can be used to synthesize CNOT-based quantum circuits. In other words, a new scheme is introduced to convert the matrix representation into its SOP equivalent using a novel quantum-based Karnaugh map extension. We then apply a search-based method to transform the obtained SOP into a CNOT-based circuit. Experimental results prove the correctness of the proposed concept.

Quantum Physics

Construct SLOCC invariants via square matrix

Stochastic local operations and classical communication invariants via square matrix

Simple forms of SLOCC equivalent four-qubit \c{hi} state

Maximally entangled real states and SLOCC invariants: the 3-qutrit case

LU transformation invariant operators and LU transformation invariant

Local Unitary Equivalence of the SLOCC Class of Three Qubits

Four-qubit critical states

Tensor decompositions with applications to LU and SLOCC equivalence of multipartite pure states

Operator structures and quantum one-way LOCC conditions

Noncommutative Poisson structure and invariants of matrices

Local discrimination of lattice states via adjacent matrix

Invariants and orthogonal $q$-polynomials associated with $\Bbb{C}_{q}(osp(1,2))$

Identifying families of multipartite states with non-trivial local entanglement transformations

Lickorish Invariant And Quantum OSP(1|2)

Quantum signal processing over SU(N)

Rational Local Unitary Invariants of Symmetrically Mixed States of Two Qubits

Invariants of Quadratic Forms and applications in Design Theory

Structure theorem of square complex orthogonal design

Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis