Each language version is independently generated for its own context, not a direct translation.

1. 物語の舞台：「p 進数」という不思議な世界

まず、私たちが普段使っている「普通の数（実数）」と、この論文で使われている「p 進数」の違いを理解しましょう。

普通の数（実数）の世界：
距離の測り方は「直線距離」です。例えば、家から駅までの距離は、地図上で測った長さです。
p 進数の世界：
ここでは距離の測り方が全く違います。ある数同士が「共通の素数（p）」で何回割り切れるかで距離を測ります。
- 例え話： 普通の世界では「100」と「101」は近く、"100"と"1000"は遠いですが、p 進数の世界では、"100"と"1000"の方が「共通の 100 という要素」を持っているため、実はすごく近いとみなされます。
- この世界では、数字の「大きさ」や「距離」の感覚が、私たちが慣れ親しんでいるものとは正反対のルールで動いています。

2. 核心となるテーマ：「不確実性の原理」とは？

この論文のタイトルにある「不確実性の原理」は、量子力学で有名な「ハイゼンベルクの不確定性原理」の数学版です。

簡単な意味：
「ある物体の『位置』を正確に知ろうとすると、『速度』がわからなくなる」という話です。
この論文での意味：
「ある信号（データ）を、**A という視点（基底）**で見たとき、その形がはっきりしている（特定の場所に集中している）と、B という別の視点で見たとき、その形は必ずぼやけて（広がって）しまう」というルールです。
- 例え話：
  あなたが「赤い色」に特化したメガネ（A 視点）で世界を見ていると、世界はすべて赤く見えます。しかし、その瞬間に「青い色」に特化したメガネ（B 視点）で同じ世界を見ると、赤い色は青いメガネではほとんど見えない（ぼやける）ため、青いメガネの世界では「何が見えているか」が全くわからなくなります。
  つまり、「A で完璧に理解できるなら、B では何も理解できない」というトレードオフの関係です。

3. この論文がやったこと：新しいルールでの「不確実性」を証明

これまでに、この「不確実性」は「普通の数（実数）」の世界や「複素数」の世界では証明されていました（Ghobber-Jaming の原理）。しかし、「p 進数」という不思議な世界でも、同じようなルールが成り立つのか？ という疑問がありました。

著者の K. Mahesh Krishna 氏は、この疑問に**「Yes」**と答えました。

発見されたこと：
p 進数の世界でも、2 つの異なる視点（基底）を使ってデータを見ようとすると、同じような「不確実性」が起きることが証明されました。
重要な違い：
普通の世界では「距離」や「重さ」を足し算して計算しますが、p 進数の世界では**「最大値」がすべてを支配します（例：100 と 1000 の足し算は、大きい方の 1000 に近い値になります）。
この論文は、その「最大値が支配する世界」でも、「A で集中していれば B では散らばる」**というルールが厳密に成り立つことを、新しい数式で示しました。

4. 具体的なイメージ：「2 つの異なる地図」

この論文の結果を、以下のようなシチュエーションで想像してみてください。

状況：
あなたは、ある都市の位置を特定したいとします。
- 地図 A（基底τ）： 北・南・東・西のグリッドで位置を表す。
- 地図 B（基底ω）： 斜めの方向のグリッドで位置を表す。
普通の世界：
北・南のグリッドで「ここだ！」とピンポイントで特定できても、斜めのグリッドでは少しずれて見えて、ある程度の誤差が生じます。
p 進数の世界（この論文の結果）：
北・南のグリッドで「ここだ！」と完璧に特定（ある特定のマスに完全に収まる）しようとすると、斜めのグリッドでは**「どこにあるか全くわからない（0 になる）」**という極端な結果になります。
- 論文の式は、「もし A で完全に特定できているなら、B では 0 になるしかない」ということを、p 進数の特殊なルールを使って証明しました。

5. なぜこれが重要なのか？

数学の広がり：
これまで「実数」や「複素数」でしか成り立たなかった美しい数学の法則が、全く異なる「p 進数」という世界でも通用することがわかりました。これは、数学の統一性を示す重要な一歩です。
将来への応用：
p 進数は、暗号理論や量子コンピューティング、物理学の新しい分野で注目されています。この「不確実性の原理」が p 進数でも成り立つことは、「p 進数を使った新しい通信技術」や「p 進数ベースの量子計算」において、データの安全性や限界を設計する際の重要な指針になる可能性があります。

まとめ

この論文は、**「数字のルールが全く違う p 進数の世界でも、『ある視点で完璧に知ることは、別の視点では不可能にする』という、宇宙の根本的なルール（不確実性の原理）は変わらない」**ことを証明した研究です。

まるで、**「地球の重力と全く違う重力の惑星でも、ボールを投げれば必ず弧を描いて落ちる」**という法則を、新しい惑星で実証したようなものです。著者は、その法則を数式という「地図」に丁寧に描き上げました。

Each language version is independently generated for its own context, not a direct translation.

論文要約：p-adic Ghobber-Jaming 不確定性原理

著者: K. Mahesh Krishna (Chanakya University Global Campus)
日付: 2026 年 2 月 16 日

1. 背景と問題設定

不確定性原理は、関数（または信号）が時間領域と周波数領域の両方で同時に局在化できないという物理的・数学的な基本原理です。

従来の研究:
- Nazarov-Jaming 原理 (連続): $\mathbb{R}^d$ 上の $L^2$ 空間において、関数とそのフーリエ変換のサポートが有限測度の集合に含まれる場合、その関数はゼロでなければならないという結果が知られています。
- Ghobber-Jaming 原理 (離散・有限次元): 2011 年に Ghobber と Jaming は、有限次元ヒルベルト空間 $\mathbb{C}^n$ における離散版の不確定性原理を証明しました。これは、2 つの正規直交基底 $\{\tau_j\}$ と $\{\omega_k\}$ に対して、特定の部分集合 $M, N$ における展開係数の最大値と、基底間の内積の最大値の関係式を示すものです。
- Banach 空間への拡張: 近年、この原理は $p$ -直交基底の概念を用いて Banach 空間へ拡張されています。
本研究の動機:
これまでの結果は実数体 $\mathbb{R}$ や複素数体 $\mathbb{C}$ 上の空間（アーキメデス的）が中心でした。しかし、数論や量子情報理論において重要な役割を果たす非アーキメデス的（p-adic）な空間における不確定性原理の定式化は未解決でした。
本研究の目的は、Ghobber-Jaming 原理をp-adic ヒルベルト空間および非アーキメデス的 Banach 空間へ拡張し、その不等式を導出することです。

2. 主要な手法と定義

2.1 p-adic ヒルベルト空間の定義

著者は、非アーキメデス的値付き体 $K$ 上の Banach 空間 $X$ において、以下の条件を満たす「p-adic 内積」 $\langle \cdot, \cdot \rangle: X \times X \to K$ を定義します。

非退化性: $\langle x, y \rangle = 0$ ( $\forall y$ ) ならば $x=0$ 。
対称性: $\langle x, y \rangle = \langle y, x \rangle$ 。
線形性: $\langle \alpha x + y, z \rangle = \alpha \langle x, y \rangle + \langle y, z \rangle$ 。
有界性: $|\langle x, y \rangle| \le \|x\| \|y\|$ 。

正規直交基底 (p-adic 版):
基底 $\{\tau_j\}_{j=1}^n$ が正規直交基底であるとは、

$\|\tau_j\| \le 1$
$\langle \tau_j, \tau_k \rangle = \delta_{j,k}$
が成り立つことを指します。この定義により、 $\|\tau_j\|=1$ かつ任意の $x \in X$ に対して以下の p-adic パースバル公式が成立します。
$\|x\| = \max_{1 \le j \le n} |\langle x, \tau_j \rangle|$
これは、実数・複素数空間における $L^2$ ノルム（二乗和の平方根）とは異なり、最大値ノルム（sup-norm）で記述されるという p-adic 解析の重要な特徴です。

2.2 非アーキメデス的 Banach 空間への拡張

内積が存在しない一般的な非アーキメデス的 Banach 空間に対しては、「双対基底の対 $(\{f_j\}, \{\tau_j\})$ 」を正規直交基底として定義します。ここで $f_j$ は座標汎関数であり、 $\|f_j\|=\|\tau_j\|=1$ かつ $f_j(\tau_k)=\delta_{j,k}$ を満たします。

2.3 証明の戦略

ユニタリ作用素の構成: 2 つの正規直交基底 $\{\tau_j\}$ と $\{\omega_k\}$ の間には、ユニタリ作用素（あるいは非アーキメデス的 Banach 空間では可逆な等長写像） $V$ が存在し、 $\omega_j = V \tau_j$ と表せることを示します。
射影作用素の評価: 部分集合 $M, N$ に対する射影作用素 $P_M, P_N$ を定義し、合成作用素 $P_N V P_M$ の作用素ノルムを評価します。
不等式の導出: ノルムの性質（特に非アーキメデス的三角不等式 $\|x+y\| \le \max(\|x\|, \|y\|)$ ）を用いて、基底展開の係数の最大値とノルムの関係を導出します。

3. 主要な結果

定理 2.5: p-adic Ghobber-Jaming 不確定性原理

$p$ -adic ヒルベルト空間 $X$ と、その 2 つの正規直交基底 $\{\tau_j\}, \{\omega_k\}$ に対して、部分集合 $M, N \subseteq \{1, \dots, n\}$ が
$\max_{j \in M, k \in N} |\langle \tau_j, \omega_k \rangle| < 1$
を満たすならば、任意の $x \in X$ に対して以下の不等式が成立します。

$\|x\| \le \left( \frac{1}{1 - \max_{j \in M, k \in N} |\langle \tau_j, \omega_k \rangle|} \right) \max \left\{ \max_{j \in M^c} |\langle x, \tau_j \rangle|, \max_{k \in N^c} |\langle x, \omega_k \rangle| \right\}$

特筆すべき点:

実数版（Ghobber-Jaming 2011）の不等式は、係数の二乗和（ $L^2$ ノルム）と集合のサイズ $o(M)o(N)$ に依存する複雑な形をしていましたが、p-adic 版は最大値ノルム（ $L^\infty$ 的性質）に基づき、非常に簡潔な形になります。
条件 $\max |\langle \tau_j, \omega_k \rangle| < 1$ が満たされれば、 $x$ が $M$ 上でサポートされ、かつ $N$ 上でサポートされる（つまり補集合での係数がすべて 0）場合、 $x=0$ となることが直ちに導かれます。

定理 3.4: 非アーキメデス的 Ghobber-Jaming 不確定性原理

有限次元の非アーキメデス的 Banach 空間 $X$ に対して、双対基底の対 $(\{f_j\}, \{\tau_j\})$ と $(\{g_k\}, \{\omega_k\})$ があるとき、
$\max_{j \in M, k \in N} |g_k(\tau_j)| < 1$
ならば、同様の不等式が成り立ちます。
$\|x\| \le \left( \frac{1}{1 - \max_{j \in M, k \in N} |g_k(\tau_j)|} \right) \max \left\{ \max_{j \in M^c} |f_j(x)|, \max_{k \in N^c} |g_k(x)| \right\}$

4. 意義と貢献

理論的拡張:
従来の不確定性原理がアーキメデス的（実数・複素数）な枠組みに限定されていたのに対し、非アーキメデス的（p-adic）な世界でも同様の原理が成立することを初めて示しました。これは p-adic 量子力学や p-adic 信号処理の基礎理論の構築に寄与します。
不等式の簡潔化:
p-adic 空間の「最大値ノルム」の性質により、Ghobber-Jaming 不等式が実数版よりも本質的に単純な形（二乗和ではなく最大値の比較）に帰着されました。これは非アーキメデス解析における不確定性原理の構造が、アーキメデス的とは質的に異なることを示唆しています。
今後の課題の提示:
論文の最後で、著者は以下の重要な未解決問題を提起しています。
- Deutsch 不確定性原理の p-adic 版: 情報理論的なエントロピーを用いた不確定性原理（ $S_\tau(h) + S_\omega(h) \ge \dots$ ）の p-adic 空間における定式化。
- Buzano 不等式の p-adic 版: 上記のエントロピー不確定性原理を証明するために用いられる Buzano 不等式の非アーキメデス的拡張。

5. 結論

本論文は、有限次元 p-adic ヒルベルト空間および非アーキメデス的 Banach 空間において、2 つの基底間の「相互干渉（内積の最大値）」が 1 より小さい場合、関数が両方の基底の特定の部分集合に同時に局在化できないことを厳密に証明しました。この結果は、非アーキメデス的解析における不確定性原理の基礎を確立し、将来的な p-adic 量子情報理論への応用への道を開く重要な貢献です。

p-adic Ghobber-Jaming Uncertainty Principle