Source author record

Huajun Huang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.RT math.FA math.GR math.OA math.AG math.CO math.QA quant-ph

Catalog footprint

Research overview

8works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Linear k-power preservers and trace of power-product preservers

Let $V$ be the set of $n\times n$ complex or real general matrices, Hermitian matrices, symmetric matrices, positive definite (resp. semi-definite) matrices, diagonal matrices, or upper triangular matrices. Fix $k\in \mathbb{Z}\setminus \{0, 1\}$ . We characterize linear maps $ψ:V\to V$ that satisfy $ψ(A^k)=ψ(A)^k$ on an open neighborhood $S$ of $I_n$ in $V$ . The $k$ -power preservers are necessarily $k$ -potent preservers, and the case $k=2$ corresponds to Jordan homomorphisms. Applying the results, we characterize maps $ϕ,ψ:V\to V$ that satisfy " $\operatorname{tr}(ϕ(A)ψ(B)^k)=\operatorname{tr}(AB^k)$ for all $A\in V$ , $B\in S$ , and $ψ$ is linear" or " $\operatorname{tr}(ϕ(A)ψ(B)^k)=\operatorname{tr}(AB^k)$ for all $A, B\in S$ and both $ϕ$ and $ψ$ are linear." The characterizations systematically extend existing results in literature, and they have many applications in areas like quantum information theory. Some structural theorems and power series over matrices are widely used in our characterizations.

preprint2022arXiv

Maps preserving trace of products of matrices

We prove the linearity and injectivity of two maps $ϕ_1$ and $ϕ_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(ϕ_1(A)ϕ_2(B))=\operatorname{tr}(AB)$ . We apply it to characterize maps $ϕ_i:\mathcal{S}\to \mathcal{S}$ ( $i=1, \ldots, m$ ) satisfying $\operatorname{tr} (ϕ_1(A_1)\cdots ϕ_m(A_m))=\operatorname{tr} (A_1\cdots A_m)$ in which $\mathcal{S}$ is the set of $n$ -by- $n$ general, Hermitian, or symmetric matrices for $m\ge 3$ , or positive definite or diagonal matrices for $m\ge 2$ . The real versions are also given.

preprint2020arXiv

On triangular similarity of nilpotent triangular matrices

Let $B_n$ (resp. $U_n$ , $N_n$ ) be the set of $n\times n$ nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the $B_n$ -similarity orbits in $N_n$ . The Belitski\uı's canonical form of $A\in N_n$ under $B_n$ -similarity is in $QU_n$ where $Q$ is the subpermutation such that $A\in B_n QB_n$ . Using graph representations and $U_n$ -similarity actions stablizing $QU_n$ , we obtain new properties of the Belitski\uı's canonical forms and present an efficient algorithm to find the Belitski\uı's canonical forms in $N_n$ . As consequences, we construct new Belitski\uı's canonical forms in all $N_n$ 's, list all Belitski\uı's canonical forms for $n=7, 8$ , and show examples of 3-nilpotent Belitski\uı's canonical forms in $N_n$ with arbitrary numbers of parameters up to $\operatorname{O}(n^2)$ .

preprint2016arXiv

Derivations of the Lie algebra of strictly block upper triangular matrices

Let ${\mathcal N}$ be the Lie algebra of all $n\times n$ strictly block upper triangular matrices over a field ${\mathbb F}$ relative to a given partition. In this paper, we give an explicit description of all derivations of ${\mathcal N}$ .

preprint2016arXiv

Trace and determinant preserving maps of matrices

Suppose a map $ϕ$ on the set of positive definite matrices satisfies $\det(A+B)=\det(ϕ(A)+ϕ(B))$ . Then we have ${\rm tr}(AB^{-1}) = {\rm tr}(ϕ(A){ϕ(B)}^{-1}).$ Through this viewpoint, we show that $ϕ$ is of the form $ϕ(A)= M^*AM$ or $ϕ(A)= M^*A^tM$ for some invertible matrix $M$ with $\det (M^*M)=1$ . We also characterize the map $ϕ: \mathcal{S} \rightarrow \mathcal{S}$ preserving the determinant of convex combinations in $\mathcal{S}$ by using similar method. Here $\mathcal{S}$ can be the set of complex matrices, positive definite matrices, symmetric matrices, and upper triangular matrices.

preprint2015arXiv

Derivations of Lie Algebras of Dominant Upper Triangular Ladder Matrices

We explicitly describe the Lie algebras $M_L$ of ladder matrices in $M_n$ associate with dominant upper triangular ladders $L$ , and completely characterize the derivations of these $M_L$ over a field $F$ with $char(F) \neq 2$ . We also completely characterize the derivations of Lie algebras $[M_L, M_L]$ where $L$ are strongly dominant upper triangular ladders and $char(F) \neq 2, 3$ .

preprint2011arXiv

Direct sums of zero product determined algebras

We reformulate the definition of a zero product determined algebra in terms of tensor products and obtain necessary and sufficient conditions for an algebra to be zero product determined. These conditions allow us to prove that the direct sum \bigoplus_{i \in I} A_i of algebras for any index set I is zero product determined if and only if each of the component algebras A_i is zero product determined. As an application, every parabolic subalgebra of a finite-dimensional reductive Lie algebra, over an algebraically-closed field of characteristic zero, is zero product determined. In particular, every such reductive Lie algebra is zero product determined.

preprint2011arXiv

Symmetric Subgroup Actions on Isotropic Grassmannians

Let G be the group preserving a nondegenerate sesquilinear form on a vector space V, and H a symmetric subgroup of G of the type G1 x G2. We explicitly parameterize the H-orbits in the Grassmannian of r-dimensional isotropic subspaces of V by a complete set of H-invariants. We describe the Bruhat order in terms of the majorization relationship over a diagram of these H-invariants. The inclusion order, the stabilizer, the orbit dimension, the open H-orbits, the decompositions of an H orbit into H\cap G_0 and H_0 orbits are also explicitly described.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.