Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.39659

A Grassmann formula for the spectral order of matrices

Mohamed Amine Aouichaoui·Eun-Young Lee
View original source ↗Read source document ↗Export metadata ↓

Abstract

For Hermitian matrices $A$ and $B$, we prove that $(A\join B)\oplus(A\meet B)$ is unitarily equivalent to $A\oplus B$, where the join and meet are taken in Olson's spectral order. Taking traces answers a question of Bourin and Lee: for positive semidefinite matrices, $\Tr(A\join B)=\Tr(A+B)$ if and only if $A\meet B=0$. Iterating the direct-sum identity gives a trace formula for a finite family of positive matrices. The trace of the spectral supremum equals the trace of the sum precisely when the ranges form an algebraic direct sum. For each fixed $1<p<\infty$, the spectral supremum and the sum have equal Schatten $p$-norms if and only if the ranges are pairwise orthogonal. Finally we establish an elegant formula for the Frobenius inner product and the spectral order.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mohamed Amine Aouichaoui, Eun-Young Lee. 2026-09-30. A Grassmann formula for the spectral order of matrices. https://arxiv.org/abs/2609.39659

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$C(K)$-spaces with few operators relative to posets

Extending a method developed by Koszmider and Laustsen for constructing $C(K)$-spaces we produce families of $C(K)$-spaces with few operators relative to a partially ordered set $\mathcal{P}$. Using these spaces, we construct new $C(K)$-spaces whose closed operator ideals can be completely classified. Additionally, we use these spaces to resolve some questions regarding automatic continuity.

math.FA↗
arXiv2026

Radon Measure Representations for Infinite-Width Neural Networks with Singular Activations

The theoretical foundation of infinite-width shallow neural networks relies heavily on continuous integral representations and Barron spaces. Recently, harmonic analysis-specifically the Radon and Ridgelet transforms-has emerged as a powerful tool to invert these representations and compute the optimal network weights. However, a major analytical bottleneck remains: standard neural network activation functions exhibit severe spectral singularities at the frequency origin. To bypass this divergence, existing frameworks either restrict the theory to specific activation families or mathematically quotient out the network's affine components, which inherently limits their practical scope. In this paper, we overcome these limitations by introducing a purely distributional framework for the generalized Radon transform R $σ$ that operates on a broad class of tempered distribution activation functions. By defining a regularized spectrum formulation g($ρ$) = (i$ρ$) $α$ $σ$($ρ$), we rigorously absorb the origin singularities without truncating the underlying functional space. Building upon this exact reconstruction, we show that under a definite parity assumption on the activation, there exists an exact linear isometry between Barron functions and their optimal weight measures.

math.FA↗