Effective Rationality for Local Unitary Invariants of Mixed States of
Two Qubits
- URL: http://arxiv.org/abs/2305.16178v1
- Date: Thu, 25 May 2023 15:35:34 GMT
- Title: Effective Rationality for Local Unitary Invariants of Mixed States of
Two Qubits
- Authors: Luca Candelori, Vladimir Y. Chernyak, John R. Klein, Nick Rekuski
- Abstract summary: We calculate the field of rational local unitary invariants for mixed states of two qubits.
We prove that this field is rational (i.e. purely transcendental)
We also prove similar statements for the local unitary invariants of symmetric mixed states of two qubits.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We calculate the field of rational local unitary invariants for mixed states
of two qubits, by employing methods from algebraic geometry. We prove that this
field is rational (i.e. purely transcendental), and that it is generated by
nine algebraically independent polynomial invariants. We do so by constructing
a relative section, in the sense of invariant theory, whose Weyl group is a
finite abelian group. From this construction, we are able to give explicit
expressions for the generating invariants in terms of the Bloch matrix
representation of mixed states of two qubits. We also prove similar rationality
statements for the local unitary invariants of symmetric mixed states of two
qubits. Our results apply to both complex-valued and real-valued invariants.
Related papers
- Relative Representations: Topological and Geometric Perspectives [53.88896255693922]
Relative representations are an established approach to zero-shot model stitching.
We introduce a normalization procedure in the relative transformation, resulting in invariance to non-isotropic rescalings and permutations.
Second, we propose to deploy topological densification when fine-tuning relative representations, a topological regularization loss encouraging clustering within classes.
arXiv Detail & Related papers (2024-09-17T08:09:22Z) - Symmetry-restricted quantum circuits are still well-behaved [45.89137831674385]
We show that quantum circuits restricted by a symmetry inherit the properties of the whole special unitary group $SU(2n)$.
It extends prior work on symmetric states to the operators and shows that the operator space follows the same structure as the state space.
arXiv Detail & Related papers (2024-02-26T06:23:39Z) - Algebras of actions in an agent's representations of the world [51.06229789727133]
We use our framework to reproduce the symmetry-based representations from the symmetry-based disentangled representation learning formalism.
We then study the algebras of the transformations of worlds with features that occur in simple reinforcement learning scenarios.
Using computational methods, that we developed, we extract the algebras of the transformations of these worlds and classify them according to their properties.
arXiv Detail & Related papers (2023-10-02T18:24:51Z) - Rational Local Unitary Invariants of Symmetrically Mixed States of Two
Qubits [0.0]
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.
arXiv Detail & Related papers (2023-04-26T13:29:20Z) - Error bounds for Lie Group representations in quantum mechanics [44.99833362998488]
We provide state-dependent error bounds for strongly continuous unitary representations of Lie groups.
Our method works for any connected Lie group and the metric is independent of the chosen representation.
arXiv Detail & Related papers (2022-11-15T23:55:53Z) - Equivariant Disentangled Transformation for Domain Generalization under
Combination Shift [91.38796390449504]
Combinations of domains and labels are not observed during training but appear in the test environment.
We provide a unique formulation of the combination shift problem based on the concepts of homomorphism, equivariance, and a refined definition of disentanglement.
arXiv Detail & Related papers (2022-08-03T12:31:31Z) - Non-local order parameters for fermion chains via the partial transpose [0.0]
This paper takes up proposals for non-local order parameters defined through anti-unitary symmetries.
For matrix product states, an interpretation of these invariants is provided.
arXiv Detail & Related papers (2022-06-07T13:13:59Z) - Diagonal unitary and orthogonal symmetries in quantum theory II:
Evolution operators [1.5229257192293197]
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups.
As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions.
Our scrutiny reveals that these operators can be used to simulate any bipartite unitary gate via local operations and classical communication.
arXiv Detail & Related papers (2021-12-21T11:54:51Z) - Capacity of Group-invariant Linear Readouts from Equivariant
Representations: How Many Objects can be Linearly Classified Under All
Possible Views? [21.06669693699965]
We find that the fraction of separable dichotomies is determined by the dimension of the space that is fixed by the group action.
We show how this relation extends to operations such as convolutions, element-wise nonlinearities, and global and local pooling.
arXiv Detail & Related papers (2021-10-14T15:46:53Z) - Categories of Br\`egman operations and epistemic (co)monads [0.0]
We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects.
It provides a nonlinear convex analytic analogue of Chencov's programme of study of categories of linear positive maps between spaces of states.
We show that the bregmanian approach provides some special cases of this setting.
arXiv Detail & Related papers (2021-03-13T23:10:29Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.