Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.29675

Numerical Shadow Rigidity for 3x3 Matrices

Dylan Johnson
View original source ↗Read source document ↗Export metadata ↓

Abstract

The numerical shadow of a complex matrix is the measure obtained by pushing forward that Haar measure on the unit sphere in $\mathbb{C}^n$ by the numerical range map. By the choice of measure, unitary equivalence implies same measure, but the reverse is not true for $n\geq 3$. We name a matrix $\textbf{shadow rigid}$ it its unitary equivalence class and shadow equivalence class coincide. It is known that normal matrices are rigid, but the topic has not been explored beyond this in the literature. The main result of the paper is showing that in the $n=3$ case, a matrix is rigid if and only if it is non-generic. We also show that rigidity is preserved under an affine group action and present three normal-like properties of $3\times 3$ non-generic matrices.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dylan Johnson. 2026-10-21. Numerical Shadow Rigidity for 3x3 Matrices. https://arxiv.org/abs/2610.29675

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

KEEP EXPLORING

Related papers

arXiv2026

A Sharp Planar Fractional Isoperimetric Inequality

In this article, we prove the sharp form of the fractional isoperimetric inequality in the plane, originally posed by Maz'ya [Problem 1, Integral Equations Operator Theory, 2018]. More precisely, we show that, for any given $s\in(0,1)$ and any bounded domain $Ω\subset \mathbb{R}^2$ with $C^1$ boundary, $$ P_s(Ω) \le \frac{π^{s-\frac{1}{2}}Γ\left(\frac{3-s}{2}\right)}{s(1-s)Γ\left(\frac{4-s}{2}\right)}\left[\mathcal{H}^1(\partialΩ)\right]^{2-s}, $$ where $P_s$ denotes the fractional $s$-perimeter, $Γ$ denotes the Gamma function, and $\mathcal{H}^{1}$ denotes the $1$-dimensional Hausdorff measure on $\mathbb{R}^2$. The constant is sharp and equality is attained by the disk. The proof proceeds in three steps: reducing the fractional perimeter to a chord functional, reducing connected domains to convex bodies, and proving the sharp convex chord inequality via a fractional Willmore-type inequality, a variational formula along outer parallel bodies, and asymptotic analysis.

math.FA↗
arXiv2026

Norms of the Hilbert Matrix Operator on Some Analytic Function Spaces

For $\mathcal H:\mathcal B^α\to\mathcal B^α$ with $1<α<2$, we obtain an exact norm representation. In particular, the norm is given by an explicit Gamma-function formula for $1<α\leq3/2$, whereas for $3/2<α<2$ it strictly exceeds the corresponding Gamma-function expression. For $\mathcal H:\mathcal B^α\to\mathcal B^α_{\log}$, we determine the exact norm: it is equal to $3/2$ for $1<α\leq4/3$ and is given by an explicit Gamma-function formula for $4/3<α<2$. We also determine the exact norm of $\mathcal H:H^1\to H^1_{\log}$ and show that it is equal to $π$. Finally, for $0<α<1$, we determine the exact norm of $\mathcal H:H^\infty_α\to\mathcal B^{α+1}$, which is given by an explicit Gamma-function formula.

math.FA↗
arXiv2026

Second quantization and compactness of induced Gaussian quantum Markov semigroups

We characterize compactness of the Hilbert-Schmidt semigroups induced by finite-mode Gaussian quantum Markov semigroups with a faithful normal invariant state. A unitary second-quantization representation for every $ s $-embedding shows that compactness at one positive time, compact resolvent, drift stability, and uniqueness of the normal invariant state are equivalent. These conditions imply immediate trace-class membership for all embeddings. We derive exact trace-norm and Hilbert-Schmidt norm formulas, an embedding-independent trace identity, and the generator spectrum with algebraic multiplicities. Examples show that compactness does not require the existence of a spectral gap and that a spectral gap need not imply compactness when the invariant state is not unique.

math.FA↗