2025-11-22T23:28:16.491882

Sign regularity preserving linear operators

Choudhury, Yadav

A matrix $A\in \mathbb{R}^{m \times n}$ is strictly sign regular/SSR (or sign regular/SR) if for each $1 \leq k \leq \min\{m,n\}$, all (non-zero) $k\times k$ minors of $A$ have the same sign. This class of matrices contains the totally positive matrices, and was first studied by Schoenberg in 1930 to characterize variation diminution, a fundamental property in total positivity theory. In this article, we classify all surjective linear mappings $\mathcal{L}:\mathbb{R}^{m\times n}\to\mathbb{R}^{m\times n}$ that preserve: (i) sign regularity and (ii) sign regularity with a given sign pattern, as well as (iii) strict versions of these.

academic

符号正則性を保存する線形作用素

基本情報

論文ID: 2408.02428
タイトル: Sign Regularity Preserving Linear Operators
著者: Projesh Nath Choudhury, Shivangi Yadav
分類: math.FA（関数解析）
発表日時: 2025年10月14日（arXiv版）
論文リンク: https://arxiv.org/abs/2408.02428

要旨

行列 $A\in \mathbb{R}^{m \times n}$ は、各 $1 \leq k \leq \min\{m,n\}$ に対して、すべての（非零） $k\times k$ 小行列式が同じ符号を持つ場合、厳密符号正則（SSR）または符号正則（SR）と呼ばれる。このような行列のクラスは完全正行列を含み、1930年にSchoenbergによって初めて研究され、全正性理論における基本的性質である変分減少性を特徴付けるために用いられた。本論文は、以下の性質を保存するすべての全射線形写像 $\mathcal{L}:\mathbb{R}^{m\times n}\to\mathbb{R}^{m\times n}$ を分類する：(i) 符号正則性；(ii) 与えられた符号パターンの符号正則性；および (iii) これらの性質の厳密版。

研究背景と動機

問題背景

全正性理論：符号正則行列は全正性理論における重要な概念であり、完全正行列を特殊な場合として含む。このような行列は解析学、近似理論、組合数学、微分方程式、確率統計など、数学の多くの分野で重要な応用を持つ。
変分減少性：符号正則行列の基本的性質は変分減少（VD）であり、これは行列Aがベクトルxに作用するとき、Axの座標における符号変化の回数がx内の符号変化の回数を超えないことを意味する。
線形保存問題：線形保存問題は、特定の関数、部分集合、関係などを不変に保つ線形変換の一般形を記述することを目的とし、過去1世紀にわたり解析学と作用素理論における重要な研究方向である。

研究動機

理論的完全性：完全正行列の線形保存問題はBerman-Hershkowitz-Johnsonによって解決されているが、より一般的な符号正則行列の線形保存問題はまだ完全には解決されていない。
一般化の必要性：既存の結果は正方行列に限定されているが、本論文は任意のサイズの行列に結果を拡張する。
符号パターン分類：符号正則性を保存する線形写像を分類するだけでなく、特定の符号パターンを保存する線形写像も分類する必要がある。

核心的貢献

完全分類定理：符号正則性を保存するすべての線形写像の完全分類を、厳密版と非厳密版の両方を含めて提供する。
次元削減：符号正則保存写像の分類はSR₂保存写像の分類に帰着することを証明し、問題を大幅に簡潔化する。
符号パターン保存：与えられた符号パターンの符号正則性を保存する線形写像を初めて分類する。
任意次元への一般化：既存の正方行列の結果を任意の $m \times n$ 行列に拡張する。
特殊ケースの処理： $2 \times 2$ 行列の特殊ケースを詳細に処理し、高次元の場合には存在しない追加の写像タイプを発見する。

方法論の詳細

核心概念の定義

定義1.1（符号正則行列）：

行列 $A \in \mathbb{R}^{m×n}$ は、すべての $1 \leq r \leq k$ に対して、符号列 $\epsilon_r \in \{1,-1\}$ が存在し、Aのすべての $r \times r$ 小行列式が符号 $\epsilon_r$ を持つ場合、k次厳密符号正則（SSRₖ）である。
小行列式がゼロであることを許容する場合、k次符号正則（SRₖ）と呼ばれる。
$k = \min\{m,n\}$ のとき、単にSSRまたはSR行列と呼ぶ。

符号パターン：SSR（SR）行列Aに対して、その符号パターンは順序付きタプル $\epsilon = (\epsilon_1, \ldots, \epsilon_{\min\{m,n\}})$ である。

主要定理

定理A（符号正則保存写像の分類）： $L : \mathbb{R}^{m×n} \to \mathbb{R}^{m×n}$ を線形変換とし、 $m,n \geq 2$ かつ $\max\{m,n\} \geq 3$ とする。以下は同値である：

Lが $m×n$ SR行列のクラスをそれ自身に写す
Lが $m×n$ SR₂行列のクラスをそれ自身に写す
Lは以下の変換の合成である：
- (a) $A \mapsto FAE$ 、ここでF,Eは正対角行列
- (b) $A \mapsto -A$
- (c) $A \mapsto P_mA$ 、ここで $P_m$ は置換行列
- (d) $A \mapsto AP_n$
- (e) $A \mapsto A^T$ （ $m=n$ のとき）

定理B（ $2×2$ ケースの特殊処理）： $L : \mathbb{R}^{2×2} \to \mathbb{R}^{2×2}$ に対して、定理Aの変換に加えて、以下の追加変換が含まれる： $\begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} \mapsto \begin{pmatrix} a_{11} & a_{12} \\ a_{22} & a_{21} \end{pmatrix}$

定理C（与えられた符号パターンの保存写像）： $\epsilon$ を与えられた符号パターンとし、 $L : \mathbb{R}^{m×n} \to \mathbb{R}^{m×n}$ を線形変換とする。以下は同値である：

Lが $m×n$ SR( $\epsilon$ )行列のクラスをそれ自身に写す
Lが $m×n$ SR₂( $\epsilon$ )行列のクラスをそれ自身に写す
Lは以下の変換の合成である：
- (a) $A \mapsto FAE$ 、ここでF,Eは正対角行列
- (b) $A \mapsto P_mAP_n$ 、ここで $P_m,P_n$ は置換行列
- (c) $A \mapsto A^T$ （ $m=n$ のとき）