arXiv Science⌕ Search

arXiv subjects

Huajun Huang

Publications and source records attributed to Huajun Huang.

At least 19 recordsLinked to original sources
arXiv2026

Linear Rank Nonincreasing and Preserving Maps between Matrix Spaces

We classify linear maps $ϕ$ between possibly different rectangular matrix spaces over a field $\mathbb F$ with $|\mathbb F|\ge5$ such that $\operatorname{rank} ϕ(A)\le2$ whenever $\operatorname{rank} A\le2$. Every such map has one of six forms. If its image contains a matrix of rank greater than two, then $ϕ(A)=MAN$ or $ϕ(A)=MA^{\top}N$ for fixed matrices $M,N$. The remaining forms have images consisting entirely of matrices of rank at most two, including an exceptional form arising from $3\times3$ alternating matrices. As a consequence, we characterize linear maps preserving rank exactly two. We also prove that rank-$k$ preservation implies rank-$k$ nonincrease when $|\mathbb F|>k+2$, and that rank-$k$ nonincrease implies rank-$\ell$ nonincrease for every admissible $\ell\ge k$ when $|\mathbb F|>k+1$. The classification uses the fact that the Chow rank of the generic $3\times3$ determinant is five, connecting the rank preserver problem with product decompositions of polynomials.

math.RA↗
arXiv2026

Weighted Power Means on Upper Triangular Matrix Groups

We study weighted power means on the Lie group $\operatorname{UT}_n$ of real upper triangular matrices with positive diagonal entries. For $t\in\mathbb R\setminus\{0\}$, the weighted power mean $P_t(\mathbf{w}; A_1,\ldots,A_m)$ is defined by \[ X=\sum_{i=1}^m w_i(X\#_tA_i), \qquad X\#_tA:=X(X^{-1}A)^t. \] Using divided differences, analytic matrix functions, and the Parlett recurrence, we prove existence, uniqueness, and real-analytic dependence of $P_t$ on the data and the weights. We derive finite entrywise and block-recursive algorithms, establish structural properties of the mean, and obtain explicit formulas for the cases $\operatorname{UT}_2$ and $\operatorname{UT}_3$. We prove that $P_t$ converges to the weighted Karcher mean as $t\to 0$. We also establish a Lie--Trotter formula and derive second-order asymptotic expansions for the power, Karcher, and log-Euclidean means, showing that the parameter $t$ first enters the local behavior at second order.

math.FA↗
arXiv2026

Order relations for the near geometric and near spectral geometric curves

We investigate order and spectral properties of the weighted near geometric curve $A\star_tB=A^{1/2}(B^{1/2}A^{-1}B^{1/2})^tA^{1/2}$ on the cone of positive definite matrices. Our focus is on comparisons governed by the Loewner order, eigenvalue inequalities, and log-majorization. We establish a normalized eigenvalue comparison with the weighted arithmetic mean, give a sufficient condition for the corresponding Loewner inequality, and obtain conditional log-majorization relations. Motivated by the relationship between the weighted geometric and spectral geometric means, we introduce the near spectral geometric curve $A\widetilde{\natural}_tB=(A^{-1}\star B)^tA(A^{-1}\star B)^t$, where $\star=\star_{1/2}$. Setting $D=A^{-1}\star_1B$, we prove that $A\widetilde{\natural}_tB=A\natural_tD$ and $B\prec_{\log}D$, and show that $D=B$ if and only if $A$ and $B$ commute. We further characterize commutativity and near-order monotonicity, prove midpoint isospectrality, and derive affine interpolation and constant-speed identities. Finally, we establish a Lie-Trotter formula and additional log-majorization inequalities. These results connect the two near geometric constructions with the geometric and spectral geometric means and clarify their order and spectral behavior.

math.FA↗
arXiv2026

The Karcher Mean on $2\times 2$ Triangular Matrices with Positive Diagonal Entries

Let $\operatorname{UT}_n$ denote the group of $n\times n$ real upper triangular matrices with positive diagonal entries. We derive a closed-form analytic expression for the Karcher mean on $\operatorname{UT}_2$ and obtain a sharp convergence threshold for the projection mean iteration with fixed initial diagonal, together with a sufficient convergence condition for arbitrary initial points. In addition, we obtain explicit formulas for the log-Euclidean mean and establish a Lie--Trotter type formula for the Karcher mean on $\operatorname{UT}_2$. For $\operatorname{UT}_n$ we derive the diagonal and first superdiagonal entries of every solution of the Karcher equation and transfer nonconvergence examples from $\operatorname{UT}_2$.

math.FA↗
arXiv2026

The Karcher Mean on Lie Groups of Upper Triangular Matrices

We study the weighted Karcher mean on the Lie group $\operatorname{UT}_n$ of upper triangular matrices with positive diagonal entries. Using a divided-difference description of analytic functions on upper triangular matrices and the Parlett recurrence, we prove the existence, uniqueness, and analyticity of the weighted Karcher mean and derive recursive formulas for its computation. The theory yields explicit expressions in low dimensions and formulas for weighted geometric means on $\operatorname{UT}_n$. More generally, the results reveal a close relationship between divided differences, analytic matrix functions, and nonlinear matrix means on triangular Lie groups.

math.FA↗
arXiv2025

Alpha-Z divergence unveils further distinct phenotypic traits of human brain connectivity fingerprint

The accurate identification of individuals from functional connectomes (FCs) is critical for advancing individualized assessments in neuropsychiatric research. Traditional methods, such as Pearson's correlation, have limitations in capturing the complex, non-Euclidean geometry of FC data, leading to suboptimal performance in identification performance. Recent developments have introduced geodesic distance as a more robust metric; however, its performance is highly sensitive to regularization choices, which vary by spatial scale and task condition. To address these challenges, we propose a novel divergence-based distance metric, the Alpha-Z Bures-Wasserstein divergence, which provides a more flexible and geometry-aware framework for FC comparison. Unlike prior methods, our approach does not require meticulous parameter tuning and maintains strong identification performance across multiple task conditions and spatial resolutions. We evaluate our approach against both traditional (e.g., Euclidean, Pearson) and state-of-the-art manifold-based distances (e.g., affine-invariant, log-Euclidean, Bures-Wasserstein), and systematically investigate how varying regularization strengths affect geodesic distance performance on the Human Connectome Project dataset. Our results show that the proposed method significantly improves identification rates over traditional and geodesic distances, particularly when optimized regularization is applied, and especially in high-dimensional settings where matrix rank deficiencies degrade existing metrics. We further validate its generalizability across resting-state and task-based fMRI, using multiple parcellation schemes. These findings suggest that the new divergence provides a more reliable and generalizable framework for functional connectivity analysis, offering enhanced sensitivity in linking FC patterns to cognitive and behavioral outcomes.

q-bio.NC↗
arXiv2025

Multiplicative trace and spectrum preservers on stochastic matrices

We characterize maps $ϕ_i: \mathcal{S} \to \mathcal{S}$, $i=1, \ldots, m$ and $m\ge 1$, that have the multiplicative spectrum or trace preserving property: \begin{eqnarray*} \textrm{spec} (ϕ_1(A_1)\cdots ϕ_m(A_m)) &=& \textrm{spec} (A_1\cdots A_m),\quad\text{or}\quad \textrm{tr} (ϕ_1(A_1)\cdots ϕ_m(A_m)) &=& \textrm{tr} (A_1\cdots A_m), \end{eqnarray*} where $\mathcal{S}$ is the set of $n\times n$ doubly stochastic, row stochastic, or column stochastic matrices, or the space spanned by one of these sets. Linearity is assumed when $m=1$. We show that every stochastic matrix contains a real doubly stochastic component that carries the spectral information. In consequence, the multiplicative spectrum or trace preservers on these sets $ \mathcal{S} $ are linked to the corresponding preservers on the space of doubly stochastic matrices. Moreover, when $m\ge 3$, multiplicative trace preservers always coincide with multiplicative spectrum preservers.

math.FA↗
arXiv2024

Volume-optimal persistence homological scaffolds of hemodynamic networks covary with MEG theta-alpha aperiodic dynamics

Higher-order properties of functional magnetic resonance imaging (fMRI) induced connectivity have been shown to unravel many exclusive topological and dynamical insights beyond pairwise interactions. Nonetheless, whether these fMRI-induced higher-order properties play a role in disentangling other neuroimaging modalities' insights remains largely unexplored and poorly understood. In this work, by analyzing fMRI data from the Human Connectome Project Young Adult dataset using persistent homology, we discovered that the volume-optimal persistence homological scaffolds of fMRI-based functional connectomes exhibited conservative topological reconfigurations from the resting state to attentional task-positive state. Specifically, while reflecting the extent to which each cortical region contributed to functional cycles following different cognitive demands, these reconfigurations were constrained such that the spatial distribution of cavities in the connectome is relatively conserved. Most importantly, such level of contributions covaried with powers of aperiodic activities mostly within the theta-alpha (4-12 Hz) band measured by magnetoencephalography (MEG). This comprehensive result suggests that fMRI-induced hemodynamics and MEG theta-alpha aperiodic activities are governed by the same functional constraints specific to each cortical morpho-structure. Methodologically, our work paves the way toward an innovative computing paradigm in multimodal neuroimaging topological learning.

q-bio.NC↗
arXiv2024

Order Relations of the Wasserstein mean and the spectral geometric mean

On the space of positive definite matrices, several operator means are popular and have been studied extensively. In this paper, we investigate the near order and the Löwner order relations on the curves defined by the Wasserstein mean and the spectral geometric mean. We show that the near order $\preceq $ is stronger than the eigenvalue entrywise order, and that $A\natural_t B \preceq A\diamond_t B$ for $t\in [0,1]$. We prove the monotonicity properties of the curves originated from the Wasserstein mean and the spectral geometric mean in terms of the near order. The Löwner order properties of the Wasserstein mean and the spectral geometric mean are also explored.

math.FA↗
arXiv2024

Extensions of Yamamoto-Nayak's Theorem

A result of Nayak asserts that $\underset{m\to \infty}\lim |A^m|^{1/m}$ exists for each $n\times n$ complex matrix $A$, where $|A| = (A^*A)^{1/2}$, and the limit is given in terms of the spectral decomposition. We extend the result of Nayak, namely, we prove that the limit of $\underset{m\to \infty}\lim |BA^mC|^{1/m}$ exists for any $n\times n$ complex matrices $A$, $B$, and $C$ where $B$ and $C$ are nonsingular; the limit is obtained and is independent of $B$. We then provide generalization in the context of real semisimple Lie groups.

math.GR↗
arXiv2023

Barycenter Estimation of Positive Semi-Definite Matrices with Bures-Wasserstein Distance

Brain-computer interface (BCI) builds a bridge between human brain and external devices by recording brain signals and translating them into commands for devices to perform the user's imagined action. The core of the BCI system is the classifier that labels the input signals as the user's imagined action. The classifiers that directly classify covariance matrices using Riemannian geometry are widely used not only in BCI domain but also in a variety of fields including neuroscience, remote sensing, biomedical imaging, etc. However, the existing Affine-Invariant Riemannian-based methods treat covariance matrices as positive definite while they are indeed positive semi-definite especially for high dimensional data. Besides, the Affine-Invariant Riemannian-based barycenter estimation algorithms become time consuming, not robust, and have convergence issues when the dimension and number of covariance matrices become large. To address these challenges, in this paper, we establish the mathematical foundation for Bures-Wasserstein distance and propose new algorithms to estimate the barycenter of positive semi-definite matrices efficiently and robustly. Both theoretical and computational aspects of Bures-Wasserstein distance and barycenter estimation algorithms are discussed. With extensive simulations, we comprehensively investigate the accuracy, efficiency, and robustness of the barycenter estimation algorithms coupled with Bures-Wasserstein distance. The results show that Bures-Wasserstein based barycenter estimation algorithms are more efficient and robust.

stat.ME↗
arXiv2022

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.

math.FA↗
arXiv2022

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.

math.FA↗
arXiv2020

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)$.

math.RT↗
arXiv2016

Symmetrization of Principal Minors and Cycle-Sums

We solve the Symmetrized Principal Minor Assignment Problem, that is we show how to determine if for a given vector $v\in \mathbb{C}^{n}$ there is an $n\times n$ matrix that has all $i\times i$ principal minors equal to $v_{i}$. We use a special isomorphism (a non-linear change of coordinates to cycle-sums) that simplifies computation and reveals hidden structure. We use the symmetries that preserve symmetrized principal minors and cycle-sums to treat 3 cases: symmetric, skew-symmetric and general square matrices. We describe the matrices that have such symmetrized principal minors as well as the ideal of relations among symmetrized principal minors / cycle-sums. We also connect the resulting algebraic varieties of symmetrized principal minors to tangential and secant varieties, and Eulerian polynomials.

math.AG↗
arXiv2016

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.

math.RA↗
arXiv2015

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$.

math.RA↗