Commuting Kraus operators are normal

Martin Fraas

2023-08-10

Abstract:Let $\{V_1, \dots, V_n \}$ be a set of mutually commuting matrices. We show that if $V_1^* V_1 + \cdots +V_n^* V_n = {\rm Id}$ then the matrices are normal and, in particular, simultaneously diagonalizable.

Mathematical Physics,Rings and Algebras

What problem does this paper attempt to address?

Almost commuting matrices with respect to normalized Hilbert-Schmidt norm

Lev Glebsky

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

2010-02-16

Abstract:Almost-commuting matrices with respect to the normalized Hilbert-Schmidt norm are considered. Normal almost commuting matrices are proved to be near commuting.

Algebraic Geometry
Normal approximations of commuting square-summable matrix families

Alexandru Chirvasitu

2024-02-26

Abstract:For any square-summable commuting family $(A_i)_{i\in I}$ of complex $n\times n$ matrices there is a normal commuting family $(B_i)_i$ no farther from it, in squared normalized $\ell^2$ distance, than the diameter of the numerical range of $\sum_i A_i^* A_i$. Specializing in one direction (limiting case of the inequality for finite $I$) this recovers a result of M. Fraas: if $\sum_{i=1}^{\ell} A_i^* A_i$ is scalar for commuting $A_i\in M_n(\mathbb{C})$ then the $A_i$ are normal; specializing in another (singleton $I$) retrieves the well-known fact that close-to-isometric matrices are close to isometries.

Functional Analysis,Spectral Theory,Operator Algebras
The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

Weidong Xu,Weijun Xu,Chongfeng Wu

2008-01-01

Abstract:A matrix over ring with identity has the consecutive-column (CC) property if for all k, all its relevant submatrices having k consecutive rows and the first k columns are invertible. Similarly, the consecutive-row (CR) is defined. In this paper, we show that a arbitrary m x n matrix has both CC and CR properties if and only if it admits a certain factorization with bidiagonal-type factors (with invertible entries). This factorization is unique. We also show that there is a mutual 1 - 1 relations between the matrices having CC and CR properties and this certain factorization with bidiagonal-type factors (with invertible entries). This bidiagonal factorization has important applications in computer aided geometry design, electrical network and many other fields.
Normalities and Commutators

Sandra Mantovani,Giuseppe Metere

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

2010-02-08

Abstract:We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of this commutator. Our main result is to extend to any semi-abelian category the following well-known characterization of normal subgroups: a subobject $K$ is normal in $A$ if, and only if, $[A,K]\leq K$.

Category Theory
Commuting matrices via commuting endomorphisms

Yifeng Huang

2024-04-30

Abstract:Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix counting problems, many of which are under active research. Using a general framework we formulate for such counting problems, we reduce some counting problems about commuting matries to problems about endomorphisms on all finite abelian $p$-groups. As an application, we count finite modules on some first examples of nonreduced curves over $\mathbb{F}_q$. We also relate some classical and hard problems regarding commuting triples of matrices to a conjecture of Onn on counting conjugacy classes of the automorphism group of an arbitrary finite abelian $p$-group.

Representation Theory,Combinatorics
Isometric pairs with compact + normal cross-commutator

Sandipan De,Jaydeb Sarkar,P Shankar,Sankar T.R

2024-02-29

Abstract:We represent and classify pairs of commuting isometries $(V_1, V_2)$ acting on Hilbert spaces that satisfy the condition \[ [V_1^*, V_2] = \text{compact} + \text{normal}, \] where $[V_1^*, V_2] := V_1^* V_2 - V_2 V_1^*$ is the cross-commutator of $(V_1, V_2)$. The precise description of such pairs also gives a complete and concrete set of unitary invariants. The basic building blocks of representations of such pairs consist of four distinguished pairs of commuting isometries. One of them relies on some peculiar examples of invariant subspaces tracing back to Rudin's intricate constructions of analytic functions on the bidisc. Along the way, we present a rank formula for a general pair of commuting isometries that looks to be the first of its kind.

Functional Analysis,Complex Variables,Operator Algebras
On the uniqueness and computation of commuting extensions

Pascal Koiran

2024-01-03

Abstract:A tuple (Z_1,...,Z_p) of matrices of size r is said to be a commuting extension of a tuple (A_1,...,A_p) of matrices of size n <r if the Z_i pairwise commute and each A_i sits in the upper left corner of a block decomposition of Z_i. This notion was discovered and rediscovered in several contexts including algebraic complexity theory (in Strassen's work on tensor rank), in numerical analysis for the construction of cubature formulas and in quantum mechanics for the study of computational methods and the study of the so-called "quantum Zeno dynamics." Commuting extensions have also attracted the attention of the linear algebra community. In this paper we present 3 types of results:

Data Structures and Algorithms,Computational Complexity,Rings and Algebras
Nonsigularity of linear combinations of idempotent matrices

ZHANG Junmin,CHENG Lihua,LI Zuo

DOI: https://doi.org/10.3969/j.issn.1008-5513.2007.02.019

2007-01-01

Pure and Applied Mathematics

Abstract:Let T1,T2,T3 be any three nonzero n×n tripotent matrices which are different and nutually commutative and let c1,c2,c3 be nonzero scalars. In the paper. the characterizations of the nonsigularity of the combination c1T1+c2T2+c3T3 are presented.
Commuting matrices, and modules over Artinian local rings

George M. Bergman

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

2013-08-31

Abstract:Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3 matrices is open. Gerstenhaber's result can be looked at as a statement about the relation between the length of a 2-generator finite-dimensional commutative k-algebra A and the lengths of faithful A-modules. Wadsworth generalized this result to a larger class of commutative rings than those generated by two elements over a field. We recover his generalization, using a slightly improved argument. We then explore some examples, raise further questions, and make a bit of progress toward answering some of them. An appendix gives some results on generation and subdirect decompositions of modules over not necessarily commutative Artinian rings, generalizing a special case used in the paper. What I originally thought of as my main result turned out to have been anticipated by Wadsworth, so I probably won't submit this for publication unless I find further strong results to add. However, others may find interesting the observations, partial results, and questions noted, and perhaps make some progress on them.

Commutative Algebra
An Optimal Expression of a Kraus Operator As a Linear Combination of Unitary Matrices

Jing Xin Cui,Tao Zhou,Gui Lu Long

DOI: https://doi.org/10.1088/1751-8113/45/44/444011

2012-01-01

Abstract:Kraus operators are widely used in describing the evolution of an open quantum system. In this paper, we study the properties of a Kraus operator as a linear combination of unitary matrices and demonstrate that every single Kraus operator can be realized in an interference quantum circuit. We determine the minima of both l(1) and l(0) norm of the combination coefficients, where l(1) norm means the sum of the absolute values of the coefficients and l(0) norm means the number of non-zero coefficients. We find that both of them have clear physical meanings. The l(1) minimum signifies the most constructive interference, and the l(0) minimum provides the simplest way to construct a Kraus operator in a quantum circuit. These results may be useful in understanding interference and Kraus operators as well as in designing a quantum algorithm with a quantum computer in an open environment.
On commuting pairs in arbitrary sets of 2x2 matrices

Akshat Mudgal

2024-11-16

Abstract:Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X, Y \in {\rm supp}(\mu), XY = YX} \mu(X) \mu(Y) < \varepsilon \] or there exists some finite set $S$ contained in a $2$-dimensional subspace of $\textrm{Mat}_2(\mathbb{R})$ such that $\mu(S) \gg \varepsilon^{3}$. We prove quantitatively stronger results when \[ \mu ( (a_{i,j})_{1\leq i,j \leq 2}) = \nu(a_{1,1}) \dots \nu(a_{2,2}) \ \ \text{for every} \ a_{1,1}, \dots, a_{2,2} \in \mathbb{R}, \] with $\nu$ being some finitely--supported probability measure on $\mathbb{R}$. For instance, when $A \subset \mathbb{R}$ is a proper generalised arithmetic progression of dimension $d$, and $\nu = 1_{A}/|A|$, our methods imply that $T(\mu) \ll_d |A|^{-3}$. This is optimal up to the $O_d(1)$ factor. Our proofs involve incidence geometric techniques as well as ideas surrounding the recent progress on Bourgain--Chang type sum-product estimates over $\mathbb{R}$. The latter includes Schmidt's subspace theorem and the resolution of the weak polynomial Freiman--Ruzsa conjecture over integers.

Number Theory,Combinatorics
Commuting tuple of multiplication operators homogeneous under the unitary group

Soumitra Ghara,Surjit Kumar,Gadadhar Misra,Paramita Pramanick

DOI: https://doi.org/10.1112/jlms.12890

2024-03-31

Journal of the London Mathematical Society

Abstract:Abstract Let be the group of unitary matrices. We find conditions to ensure that a ‐homogeneous ‐tuple is unitarily equivalent to multiplication by the coordinate functions on some reproducing kernel Hilbert space , . We describe this class of ‐homogeneous operators, equivalently, nonnegative kernels quasi‐invariant under the action of . We classify quasi‐invariant kernels transforming under with two specific choice of multipliers. A crucial ingredient of the proof is that the group has exactly two inequivalent irreducible unitary representations of dimension and none in dimensions , . We obtain explicit criterion for boundedness, reducibility, and mutual unitary equivalence among these operators.

mathematics
Normal forms for ordinary differential operators, I

J. Guo,A.B. Zheglov

2024-07-11

Abstract:In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry. The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups. The second application is a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction). Both applications are obtained with the help of normal forms. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a restricted finite order in each variable, and can be effectively calculated for any given commuting operators.

Algebraic Geometry,Mathematical Physics,Quantum Algebra,Rings and Algebras
Commuting matrices and Atiyah's Real K-theory

Simon Gritschacher,Markus Hausmann

DOI: https://doi.org/10.1112/topo.12104

2019-03-22

Abstract:We describe the $C_2$-equivariant homotopy type of the space of commuting n-tuples in the stable unitary group in terms of Real K-theory. The result is used to give a complete calculation of the homotopy groups of the space of commuting n-tuples in the stable orthogonal group, as well as of the coefficient ring for commutative orthogonal K-theory.

Algebraic Topology,K-Theory and Homology
Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

Ajda Fosner,Zejun Huang,Chi-Kwong Li,Nung-Sing Sze

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

2013-04-10

Abstract:For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$ are positive integers. It is shown that a linear map $\phi: M_{mn} \rightarrow M_{mn}$ satisfying $$\|A\otimes B\| = \|\phi(A\otimes B)\| \quad \hbox{for all} A \in M_m \hbox{and} B \in M_n$$ if and only if there are unitary $U, V \in M_{mn}$ such that $\phi$ has the form $A\otimes B \mapsto U(\varphi_1(A) \otimes \varphi_2(B))V$, where $\varphi_s(X)$ is either the identity map $X \mapsto X$ or the transposition map $X \mapsto X^t$. The results are extended to tensor space $M_{n_1} \otimes \cdots \otimes M_{n_m}$ of higher level. The connection of the problem to quantum information science is mentioned.

Functional Analysis,Quantum Physics
Commuting Clifford actions

John W. Barrett

2024-05-14

Abstract:It shown that if a vector space carries commuting actions of two Clifford algebras, then the quadratic monomials using generators from either Clifford algebra determine a spinor representation of an orthogonal Lie algebra.

Mathematical Physics,High Energy Physics - Theory,Quantum Algebra
On approximate commutativity of spaces of matrices

Matjaž Omladič,Heydar Radjavi,Klemen Šivic

DOI: https://doi.org/10.1016/j.laa.2023.06.026

2023-08-04

Abstract:The maximal dimension of commutative subspaces of $M_n(\mathbb{C})$ is known. So is the structure of such a subspace when the maximal dimension is achieved. We consider extensions of these results and ask the following natural questions: If $V$ is a subspace of $M_n(\mathbb{C})$ and $k$ is an integer less than $n$, such that for every pair $A$ and $B$ of members of $V$, the rank of the commutator $AB - BA$ is at most $k$, then how large can the dimension of $V$ be? If this maximum is achieved, can we determine the structure of $V$? We answer the first question. We also propose a conjecture on the second question which implies, in particular, that such a subspace $V$ has to be an algebra, just as in the known case of $k = 0$. We prove the proposed structure of $V$ if it is already assumed to be an algebra.

Rings and Algebras
Commuting operations factorise

Renato Renner,Ramona Wolf

2023-08-11

Abstract:Consider two agents, Alice and Bob, each of whom takes a quantum input, operates on a shared quantum system $K$, and produces a quantum output. Alice and Bob's operations may commute, in the sense that the joint input-output behaviour is independent of the order in which they access $K$. Here we ask whether this commutation property implies that $K$ can be split into two factors on which Alice and Bob act separately. The question can be regarded as a "fully quantum" generalisation of a problem posed by Tsirelson, who considered the case where Alice and Bob's inputs and outputs are classical. In this case, the answer is negative in general, but it is known that a factorisation exists in finite dimensions. Here we show the same holds in the fully quantum case, i.e., commuting operations factorise, provided that all input systems are finite-dimensional.

Quantum Physics,Mathematical Physics
Subnormality for arbitrary powers of 2-variable weighted shifts whose restrictions to a large invariant subspace are tensor products

Raul E. Curto,Sang Hoon Lee,Jasang Yoon

DOI: https://doi.org/10.1016/j.jfa.2011.09.024

2011-10-30

Abstract:The Lifting Problem for Commuting Subnormals (LPCS) asks for necessary and sufficient conditions for a pair of subnormal operators on Hilbert space to admit commuting normal extensions. \ We study LPCS within the class of commuting 2-variable weighted shifts $\mathbf{T} \equiv (T_1,T_2)$ with subnormal components $T_1$ and $T_2$, acting on the Hilbert space $\ell ^2(\mathbb{Z}^2_+)$ with canonical orthonormal basis $\{e_{(k_1,k_2)}\}_{k_1,k_2 \geq 0}$ . \ The \textit{core} of a commuting 2-variable weighted shift $\mathbf{T}$, $c(\mathbf{T})$, is the restriction of $\mathbf{T}$ to the invariant subspace generated by all vectors $e_{(k_1,k_2)}$ with $k_1,k_2 \geq 1$; we say that $c(\mathbf{T})$ is of \textit{tensor form} if it is unitarily equivalent to a shift of the form $(I \otimes W_\alpha, W_\beta \otimes I)$, where $W_\alpha$ and $W_\beta$ are subnormal unilateral weighted shifts. \ Given a 2-variable weighted shift $\mathbf{T}$ whose core is of tensor form, we prove that LPCS is solvable for $\mathbf{T}$ if and only if LPCS is solvable for any power $\mathbf{T}^{(m,n)}:=(T^m_1,T^n_2)$ ($m,n\geq 1$). \

Functional Analysis

Commuting Kraus operators are normal

Almost commuting matrices with respect to normalized Hilbert-Schmidt norm

Normal approximations of commuting square-summable matrix families

The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

Normalities and Commutators

Commuting matrices via commuting endomorphisms

Isometric pairs with compact + normal cross-commutator

On the uniqueness and computation of commuting extensions

Nonsigularity of linear combinations of idempotent matrices

Commuting matrices, and modules over Artinian local rings

An Optimal Expression of a Kraus Operator As a Linear Combination of Unitary Matrices

On commuting pairs in arbitrary sets of 2x2 matrices

Commuting tuple of multiplication operators homogeneous under the unitary group

Normal forms for ordinary differential operators, I

Commuting matrices and Atiyah's Real K-theory

Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

Commuting Clifford actions

On approximate commutativity of spaces of matrices

Commuting operations factorise

Subnormality for arbitrary powers of 2-variable weighted shifts whose restrictions to a large invariant subspace are tensor products