BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Huajun Huang

Huajun Huang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.RTmath.FAmath.GRmath.OAmath.AGmath.COmath.QAquant-ph

Trust snapshot

Quick read

Trust 21 - Emerging
8works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

8 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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)$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access