A subset of $\mathbb{C}^7$ (respectively, of $\mathbb{C}^5$) associated with the structured singular value $μ_E$, defined on $3 \times 3$ matrices, is denoted by $G_{E(3;3;1,1,1)}$ (respectively, by $G_{E(3;2;1,2)}$). In control engineering, the structured singular value $μ_E$ plays a crucial role in analyzing the robustness and performance of linear feedback systems.
We characterize the domain $G_{E(3;3;1,1,1)}$ and its closure $Î_{E(3;3;1,1,1)}$, and employ realization formulas to describe both. The domain $G_{E(3;3;1,1,1)}$ and its closure are neither circular nor convex; however, they are simply connected. We provide an alternative proof of the polynomial and linear convexity of $Î_{E(3;3;1,1,1)}$. Furthermore, we establish necessary conditions for a Schwarz lemma on the domains $G_{E(3;3;1,1,1)}$ and $G_{E(3;2;1,2)}$, and describe the relationships between these two domains as well as between their closed boundaries.
論文ID : 2510.24555タイトル : Function Theory and necessary conditions for a Schwarz lemma related to μ-Synthesis Domains著者 : Dinesh Kumar Keshari, Shubhankar Mandal, Avijit Pal分類 : math.FA (関数解析)発表日時 : 2025年10月28日 (arXiv プレプリント)論文リンク : https://arxiv.org/abs/2510.24555 本論文は構造特異値 μ E \mu_E μ E 3 × 3 3 \times 3 3 × 3 C 7 \mathbb{C}^7 C 7 G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) C 5 \mathbb{C}^5 C 5 G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 )
構造特異値理論 ：構造特異値 μ E \mu_E μ E A A A E ⊂ M n × n ( C ) E \subset M_{n\times n}(\mathbb{C}) E ⊂ M n × n ( C ) μ E ( A ) : = 1 inf { ∥ X ∥ : det ( I − A X ) = 0 , X ∈ E } \mu_E(A) := \frac{1}{\inf\{\|X\| : \det(I-AX) = 0, X \in E\}} μ E ( A ) := i n f { ∥ X ∥ : d e t ( I − A X ) = 0 , X ∈ E } 1 関連領域の研究履歴 ：対称双円盤（symmetrized bidisc）：E ( 2 ; 1 ; 2 ) E(2;1;2) E ( 2 ; 1 ; 2 ) 四面体ブロック（tetrablock）：E ( 3 ; 2 ; 1 , 2 ) E(3;2;1,2) E ( 3 ; 2 ; 1 , 2 ) 対称多円盤（symmetrized polydisc）：E ( n ; 1 ; n ) E(n;1;n) E ( n ; 1 ; n ) 一般化四面体ブロック：2015年にZapalowskiが提案した一般的な枠組み 理論的ギャップ ：低次元の場合（対称双円盤、四面体ブロックなど）は深く研究されているが、7次元領域 G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) 実際的必要性 ：μ \mu μ 方法論的革新 ：低次元領域の研究に用いられた既存の方法（有理関数、実現公式の利用など）がより高次元の場合に推広可能かどうかを検証する必要がある領域間の関係 ：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) μ \mu μ 本論文の主な貢献は以下の通りである：
領域の完全な特徴付け ：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 ) 多項式零点集合を通じた特徴付け 有理関数の上限ノルムを通じた特徴付け 実現公式（2つのバージョン）を通じた特徴付け 四面体ブロックへの再帰的次元削減を通じた特徴付け 幾何学的性質の分析 ：以下を証明する：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 ) 閉じた境界の候補集合 K K K D ‾ 3 × T \overline{D}^3 \times \mathbb{T} D 3 × T 領域間の関係 ：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∈ G E ( 3 ; 2 ; 1 , 2 ) , ∀ η ∈ T x \in G_{E(3;3;1,1,1)} \iff (x_1, x_3+\eta x_5, \eta x_7, x_2+\eta x_4, \eta x_6) \in G_{E(3;2;1,2)}, \forall \eta \in \mathbb{T} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∈ G E ( 3 ; 2 ; 1 , 2 ) , ∀ η ∈ T シュワルツ補題の必要条件 ：両領域に対して詳細なシュワルツ補題の必要条件を確立する。これには13の等価な形式が含まれる実現公式の方法 ：異なる行列分割に基づいた2つの実現公式の方法を体系的に発展させ、より高次元の μ \mu μ 核心的問題 ：集合
G E ( 3 ; 3 ; 1 , 1 , 1 ) = { x ∈ C 7 : ∃ A ∈ M 3 × 3 ( C ) , μ E ( 3 ; 3 ; 1 , 1 , 1 ) ( A ) < 1 , x = π E ( A ) } G_{E(3;3;1,1,1)} = \{x \in \mathbb{C}^7 : \exists A \in M_{3\times 3}(\mathbb{C}), \mu_{E(3;3;1,1,1)}(A) < 1, x = \pi_E(A)\} G E ( 3 ; 3 ; 1 , 1 , 1 ) = { x ∈ C 7 : ∃ A ∈ M 3 × 3 ( C ) , μ E ( 3 ; 3 ; 1 , 1 , 1 ) ( A ) < 1 , x = π E ( A )}
ここで E ( 3 ; 3 ; 1 , 1 , 1 ) = { diag ( z 1 , z 2 , z 3 ) : z i ∈ C } E(3;3;1,1,1) = \{\text{diag}(z_1, z_2, z_3) : z_i \in \mathbb{C}\} E ( 3 ; 3 ; 1 , 1 , 1 ) = { diag ( z 1 , z 2 , z 3 ) : z i ∈ C } π E \pi_E π E π E ( A ) = ( a 11 , a 22 , det A 12 , a 33 , det A 13 , det A 23 , det A ) \pi_E(A) = (a_{11}, a_{22}, \det A_{12}, a_{33}, \det A_{13}, \det A_{23}, \det A) π E ( A ) = ( a 11 , a 22 , det A 12 , a 33 , det A 13 , det A 23 , det A )
ここで A i j A_{ij} A ij A A A 2 × 2 2\times 2 2 × 2
定理2.1（核心的結果） ：x = ( x 1 , … , x 7 ) ∈ C 7 x = (x_1,\ldots,x_7) \in \mathbb{C}^7 x = ( x 1 , … , x 7 ) ∈ C 7 x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ R x ( 3 ; 3 ; 1 , 1 , 1 ) ( z ) ≠ 0 , ∀ z ∈ D 3 x \in \Gamma_{E(3;3;1,1,1)} \iff R_x^{(3;3;1,1,1)}(z) \neq 0, \forall z \in D^3 x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ R x ( 3 ; 3 ; 1 , 1 , 1 ) ( z ) = 0 , ∀ z ∈ D 3
ここで多項式は：
R x ( 3 ; 3 ; 1 , 1 , 1 ) ( z ) = 1 − x 1 z 1 − x 2 z 2 + x 3 z 1 z 2 − x 4 z 3 + x 5 z 1 z 3 + x 6 z 2 z 3 − x 7 z 1 z 2 z 3 R_x^{(3;3;1,1,1)}(z) = 1 - x_1z_1 - x_2z_2 + x_3z_1z_2 - x_4z_3 + x_5z_1z_3 + x_6z_2z_3 - x_7z_1z_2z_3 R x ( 3 ; 3 ; 1 , 1 , 1 ) ( z ) = 1 − x 1 z 1 − x 2 z 2 + x 3 z 1 z 2 − x 4 z 3 + x 5 z 1 z 3 + x 6 z 2 z 3 − x 7 z 1 z 2 z 3
証明の概要 ：
正方向：μ E ( A ) ≤ 1 / r \mu_E(A) \leq 1/r μ E ( A ) ≤ 1/ r ∥ X ∥ < r \|X\| < r ∥ X ∥ < r X = diag ( z 1 , z 2 , z 3 ) X = \text{diag}(z_1,z_2,z_3) X = diag ( z 1 , z 2 , z 3 ) det ( I − A X ) ≠ 0 \det(I-AX) \neq 0 det ( I − A X ) = 0 逆方向：補題1.4（存在性補題）を利用して条件を満たす行列 A A A 3つの有理関数を定義する（3つの座標分解に対応）：
Ψ ( 1 ) ( z 2 , z 3 , x ) = x 1 − z 2 x 3 − z 3 x 5 + z 2 z 3 x 7 1 − z 2 x 2 − z 3 x 4 + z 2 z 3 x 6 \Psi^{(1)}(z_2, z_3, x) = \frac{x_1 - z_2x_3 - z_3x_5 + z_2z_3x_7}{1 - z_2x_2 - z_3x_4 + z_2z_3x_6} Ψ ( 1 ) ( z 2 , z 3 , x ) = 1 − z 2 x 2 − z 3 x 4 + z 2 z 3 x 6 x 1 − z 2 x 3 − z 3 x 5 + z 2 z 3 x 7
定理2.3 ：x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \in G_{E(3;3;1,1,1)} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 )
x J ( 1 ) ′ = ( x 2 , x 4 , x 6 ) ∈ G E ( 2 ; 2 ; 1 , 1 ) x'_{J^{(1)}} = (x_2, x_4, x_6) \in G_{E(2;2;1,1)} x J ( 1 ) ′ = ( x 2 , x 4 , x 6 ) ∈ G E ( 2 ; 2 ; 1 , 1 ) ∥ Ψ ( 1 ) ( ⋅ , x ) ∥ H ∞ ( D ‾ 2 ) = ∥ Ψ ( 1 ) ( ⋅ , x ) ∥ H ∞ ( T 2 ) < 1 \|\Psi^{(1)}(\cdot, x)\|_{H^\infty(\overline{D}^2)} = \|\Psi^{(1)}(\cdot, x)\|_{H^\infty(\mathbb{T}^2)} < 1 ∥ Ψ ( 1 ) ( ⋅ , x ) ∥ H ∞ ( D 2 ) = ∥ Ψ ( 1 ) ( ⋅ , x ) ∥ H ∞ ( T 2 ) < 1 これは四面体ブロックへの再帰的次元削減を確立する。
行列 A ∈ M 3 × 3 ( C ) A \in M_{3\times 3}(\mathbb{C}) A ∈ M 3 × 3 ( C ) G A ( ( z 2 0 0 z 3 ) ) = a 11 + ( a 12 , a 13 ) ( z 2 0 0 z 3 ) ( I 2 − ( a 22 a 23 a 32 a 33 ) ( z 2 0 0 z 3 ) ) − 1 ( a 21 a 31 ) G_A\left(\begin{pmatrix} z_2 & 0 \\ 0 & z_3 \end{pmatrix}\right) = a_{11} + (a_{12}, a_{13})\begin{pmatrix} z_2 & 0 \\ 0 & z_3 \end{pmatrix}\left(I_2 - \begin{pmatrix} a_{22} & a_{23} \\ a_{32} & a_{33} \end{pmatrix}\begin{pmatrix} z_2 & 0 \\ 0 & z_3 \end{pmatrix}\right)^{-1}\begin{pmatrix} a_{21} \\ a_{31} \end{pmatrix} G A ( ( z 2 0 0 z 3 ) ) = a 11 + ( a 12 , a 13 ) ( z 2 0 0 z 3 ) ( I 2 − ( a 22 a 32 a 23 a 33 ) ( z 2 0 0 z 3 ) ) − 1 ( a 21 a 31 )
命題2.11（重要な恒等式） ：
1 − ∣ G A ( z 2 , z 3 ) ∣ 2 = γ ~ 1 ( 1 − ∣ z 2 ∣ 2 ) γ ~ 1 + γ ~ 2 ( 1 − ∣ z 3 ∣ 2 ) γ ~ 2 + η ~ ∗ ( I 3 − A ∗ A ) η ~ 1 - |G_A(z_2, z_3)|^2 = \tilde{\gamma}_1(1-|z_2|^2)\tilde{\gamma}_1 + \tilde{\gamma}_2(1-|z_3|^2)\tilde{\gamma}_2 + \tilde{\eta}^*(I_3-A^*A)\tilde{\eta} 1 − ∣ G A ( z 2 , z 3 ) ∣ 2 = γ ~ 1 ( 1 − ∣ z 2 ∣ 2 ) γ ~ 1 + γ ~ 2 ( 1 − ∣ z 3 ∣ 2 ) γ ~ 2 + η ~ ∗ ( I 3 − A ∗ A ) η ~
ここで γ ~ i , η ~ \tilde{\gamma}_i, \tilde{\eta} γ ~ i , η ~
定理2.15 ：x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \in G_{E(3;3;1,1,1)} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) A A A
x x x A A A 上記の恒等式の右辺が > 0 > 0 > 0 z 2 , z 3 ∈ D ‾ z_2, z_3 \in \overline{D} z 2 , z 3 ∈ D 分母がゼロでない 異なる行列分割 A = ( A 11 A 12 A 21 A 22 ) A = \begin{pmatrix} A_{11} & A_{12} \\ A_{21} & A_{22} \end{pmatrix} A = ( A 11 A 21 A 12 A 22 ) 2 × 2 2\times 2 2 × 2 1 × 1 1\times 1 1 × 1 F A ( z 3 ) = ( a 11 a 12 a 21 a 22 ) + ( a 13 a 23 ) z 3 ( 1 − a 33 z 3 ) − 1 ( a 31 , a 32 ) F_A(z_3) = \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} + \begin{pmatrix} a_{13} \\ a_{23} \end{pmatrix} z_3(1-a_{33}z_3)^{-1}(a_{31}, a_{32}) F A ( z 3 ) = ( a 11 a 21 a 12 a 22 ) + ( a 13 a 23 ) z 3 ( 1 − a 33 z 3 ) − 1 ( a 31 , a 32 )
これは 2 × 2 2\times 2 2 × 2 I 2 − F A ∗ ( w 3 ) F A ( z 3 ) = γ ∗ ( 1 − w ˉ 3 z 3 ) γ + η ∗ ( I 3 − A ∗ A ) η I_2 - F_A^*(w_3)F_A(z_3) = \gamma^*(1-\bar{w}_3z_3)\gamma + \eta^*(I_3-A^*A)\eta I 2 − F A ∗ ( w 3 ) F A ( z 3 ) = γ ∗ ( 1 − w ˉ 3 z 3 ) γ + η ∗ ( I 3 − A ∗ A ) η
定理2.17 ：x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \in G_{E(3;3;1,1,1)} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) A A A F A ( z 3 ) F_A(z_3) F A ( z 3 )
二重実現公式 ：異なる幾何学的視点に対応する2つの相補的な実現公式の方法を初めて体系的に発展させた再帰的次元削減戦略 ：定理2.5を通じて四面体ブロックへの段階的な次元削減を確立した：
x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ ( x 2 − z 1 x 3 1 − x 1 z 1 , x 4 − z 1 x 5 1 − x 1 z 1 , x 6 − z 1 x 7 1 − x 1 z 1 ) ∈ G E ( 2 ; 2 ; 1 , 1 ) , ∀ z 1 ∈ D ‾ x \in G_{E(3;3;1,1,1)} \iff \left(\frac{x_2-z_1x_3}{1-x_1z_1}, \frac{x_4-z_1x_5}{1-x_1z_1}, \frac{x_6-z_1x_7}{1-x_1z_1}\right) \in G_{E(2;2;1,1)}, \forall z_1 \in \overline{D} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ⟺ ( 1 − x 1 z 1 x 2 − z 1 x 3 , 1 − x 1 z 1 x 4 − z 1 x 5 , 1 − x 1 z 1 x 6 − z 1 x 7 ) ∈ G E ( 2 ; 2 ; 1 , 1 ) , ∀ z 1 ∈ D 統一的枠組み ：22の等価な特徴付けを定理2.22に統一し、異なる方法間の内在的な関連性を示す行列対称性の利用 ：補題1.3と2.18は置換行列 J 1 , J 2 J_1, J_2 J 1 , J 2 μ E ( A ) = μ E ( J A J T ) \mu_E(A) = \mu_E(JAJ^T) μ E ( A ) = μ E ( J A J T ) 定理3.1（星形性） ：x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) x \in \Gamma_{E(3;3;1,1,1)} x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 )
( x 1 , r x 2 , r x 3 , r x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) (x_1, rx_2, rx_3, rx_4, rx_5, rx_6, rx_7) \in \Gamma_{E(3;3;1,1,1)} ( x 1 , r x 2 , r x 3 , r x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ∀ 0 ≤ r < 1 \forall 0 \leq r < 1 ∀0 ≤ r < 1 ( r x 1 , x 2 , r x 3 , r x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) (rx_1, x_2, rx_3, rx_4, rx_5, rx_6, rx_7) \in \Gamma_{E(3;3;1,1,1)} ( r x 1 , x 2 , r x 3 , r x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ∀ 0 ≤ r < 1 \forall 0 \leq r < 1 ∀0 ≤ r < 1 ( r x 1 , r x 2 , r x 3 , x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) (rx_1, rx_2, rx_3, x_4, rx_5, rx_6, rx_7) \in \Gamma_{E(3;3;1,1,1)} ( r x 1 , r x 2 , r x 3 , x 4 , r x 5 , r x 6 , r x 7 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ∀ 0 ≤ r < 1 \forall 0 \leq r < 1 ∀0 ≤ r < 1 これは領域が原点に関して特定の方向で星形であることを示す。
系3.2 ：Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 )
証明 ：ホモトピー H ( s , t ) H(s,t) H ( s , t )
非凸性 ：点 x = ( 1 , i , i , 1 , 1 , i , i ) x = (1, i, i, 1, 1, i, i) x = ( 1 , i , i , 1 , 1 , i , i ) y = ( − i , 1 , − i , − i , − 1 , i , 1 ) y = (-i, 1, -i, -i, -1, i, 1) y = ( − i , 1 , − i , − i , − 1 , i , 1 ) Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ( x + y ) / 2 (x+y)/2 ( x + y ) /2
非円形性 ：点 ( 1 , 1 , 1 , 1 , 1 , 1 , 1 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) (1,1,1,1,1,1,1) \in \Gamma_{E(3;3;1,1,1)} ( 1 , 1 , 1 , 1 , 1 , 1 , 1 ) ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ( i , i , i , i , i , i , i ) ∉ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) (i,i,i,i,i,i,i) \notin \Gamma_{E(3;3;1,1,1)} ( i , i , i , i , i , i , i ) ∈ / Γ E ( 3 ; 3 ; 1 , 1 , 1 )
定理3.4 ：Γ E ( 3 ; 3 ; 1 , 1 , 1 ) \Gamma_{E(3;3;1,1,1)} Γ E ( 3 ; 3 ; 1 , 1 , 1 )
証明戦略 （新しい方法）：
a ∉ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) a \notin \Gamma_{E(3;3;1,1,1)} a ∈ / Γ E ( 3 ; 3 ; 1 , 1 , 1 ) ( a 1 , a 4 , a 5 ) ∉ Γ E ( 2 ; 2 ; 1 , 1 ) (a_1, a_4, a_5) \notin \Gamma_{E(2;2;1,1)} ( a 1 , a 4 , a 5 ) ∈ / Γ E ( 2 ; 2 ; 1 , 1 ) 四面体ブロックの多項式凸性により、多項式 f ~ \tilde{f} f ~ ∣ f ~ ∣ ≤ 1 |\tilde{f}| \leq 1 ∣ f ~ ∣ ≤ 1 Γ E ( 2 ; 2 ; 1 , 1 ) \Gamma_{E(2;2;1,1)} Γ E ( 2 ; 2 ; 1 , 1 ) ∣ f ~ ( a 1 , a 4 , a 5 ) ∣ > 1 |\tilde{f}(a_1,a_4,a_5)| > 1 ∣ f ~ ( a 1 , a 4 , a 5 ) ∣ > 1 多項式 f ( x 1 , … , x 7 ) = f ~ ( x 1 , x 4 , x 5 ) f(x_1,\ldots,x_7) = \tilde{f}(x_1, x_4, x_5) f ( x 1 , … , x 7 ) = f ~ ( x 1 , x 4 , x 5 ) または有理関数近似を利用する：
f N ( x ) = ( x 2 − z 0 x 3 − w 0 x 6 + z 0 w 0 x 7 ) det ( ∑ k = 0 N ( B x ( z 0 0 0 w 0 ) ) k ) f_N(x) = (x_2 - z_0x_3 - w_0x_6 + z_0w_0x_7)\det\left(\sum_{k=0}^N \left(B_x\begin{pmatrix} z_0 & 0 \\ 0 & w_0 \end{pmatrix}\right)^k\right) f N ( x ) = ( x 2 − z 0 x 3 − w 0 x 6 + z 0 w 0 x 7 ) det ( ∑ k = 0 N ( B x ( z 0 0 0 w 0 ) ) k )
ここで B x B_x B x x 1 , x 4 , x 5 x_1, x_4, x_5 x 1 , x 4 , x 5 2 × 2 2\times 2 2 × 2
命題3.10 ：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 )
証明 ：定理2.45を利用して、x ∉ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \notin G_{E(3;3;1,1,1)} x ∈ / G E ( 3 ; 3 ; 1 , 1 , 1 ) η ∈ D ‾ \eta \in \overline{D} η ∈ D Φ η ( x ) = ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∉ G E ( 3 ; 2 ; 1 , 2 ) \Phi_\eta(x) = (x_1, x_3+\eta x_5, \eta x_7, x_2+\eta x_4, \eta x_6) \notin G_{E(3;2;1,2)} Φ η ( x ) = ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∈ / G E ( 3 ; 2 ; 1 , 2 )
G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) l l l Φ η ( x ) \Phi_\eta(x) Φ η ( x ) G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) x x x G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 )
候補となる閉じた境界を定義する：
K = { x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) : x 1 = x ˉ 6 x 7 , x 3 = x ˉ 4 x 7 , x 5 = x ˉ 2 x 7 , ∣ x 7 ∣ = 1 } K = \{x \in \Gamma_{E(3;3;1,1,1)} : x_1 = \bar{x}_6x_7, x_3 = \bar{x}_4x_7, x_5 = \bar{x}_2x_7, |x_7| = 1\} K = { x ∈ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) : x 1 = x ˉ 6 x 7 , x 3 = x ˉ 4 x 7 , x 5 = x ˉ 2 x 7 , ∣ x 7 ∣ = 1 }
定理3.13 ：π E ( 3 ; 3 ; 1 , 1 , 1 ) ( U ( 3 ) ) ⊆ K \pi_{E(3;3;1,1,1)}(U(3)) \subseteq K π E ( 3 ; 3 ; 1 , 1 , 1 ) ( U ( 3 )) ⊆ K U ( 3 ) U(3) U ( 3 ) 3 × 3 3\times 3 3 × 3
定理3.14 ：x ∈ K x \in K x ∈ K
すべての z 3 ∈ T z_3 \in \mathbb{T} z 3 ∈ T D D D ∣ x 4 ∣ |x_4| ∣ x 4 ∣ ( z ~ 1 ( z 3 ) , z ~ 2 ( z 3 ) , z ~ 3 ( z 3 ) ) ∈ b Γ E ( 2 ; 2 ; 1 , 1 ) (z̃_1(z_3), z̃_2(z_3), z̃_3(z_3)) \in b\Gamma_{E(2;2;1,1)} ( z ~ 1 ( z 3 ) , z ~ 2 ( z 3 ) , z ~ 3 ( z 3 )) ∈ b Γ E ( 2 ; 2 ; 1 , 1 ) 他の座標分解に対する類似の条件 定理3.15 ：K K K D ‾ 3 × T \overline{D}^3 \times \mathbb{T} D 3 × T
G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) K 1 = { ( x 1 , x 2 , x 3 , y 1 , y 2 ) ∈ Γ E ( 3 ; 2 ; 1 , 2 ) : x 1 = y ˉ 2 x 3 , x 2 = y ˉ 1 x 3 , ∣ x 3 ∣ = 1 } K_1 = \{(x_1, x_2, x_3, y_1, y_2) \in \Gamma_{E(3;2;1,2)} : x_1 = \bar{y}_2x_3, x_2 = \bar{y}_1x_3, |x_3| = 1\} K 1 = {( x 1 , x 2 , x 3 , y 1 , y 2 ) ∈ Γ E ( 3 ; 2 ; 1 , 2 ) : x 1 = y ˉ 2 x 3 , x 2 = y ˉ 1 x 3 , ∣ x 3 ∣ = 1 }
定理3.20 ：x ∈ K ⟺ ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∈ K 1 , ∀ η ∈ T x \in K \iff (x_1, x_3+\eta x_5, \eta x_7, x_2+\eta x_4, \eta x_6) \in K_1, \forall \eta \in \mathbb{T} x ∈ K ⟺ ( x 1 , x 3 + η x 5 , η x 7 , x 2 + η x 4 , η x 6 ) ∈ K 1 , ∀ η ∈ T
定理4.3 ：λ 0 ∈ D ∖ { 0 } \lambda_0 \in D \setminus \{0\} λ 0 ∈ D ∖ { 0 } x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \in G_{E(3;3;1,1,1)} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ϕ : D → G E ( 3 ; 3 ; 1 , 1 , 1 ) \phi: D \to G_{E(3;3;1,1,1)} ϕ : D → G E ( 3 ; 3 ; 1 , 1 , 1 ) ϕ ( 0 ) = 0 \phi(0) = 0 ϕ ( 0 ) = 0 ϕ ( λ 0 ) = x \phi(\lambda_0) = x ϕ ( λ 0 ) = x
再帰的次元削減条件 ：各 z 1 ∈ D ‾ z_1 \in \overline{D} z 1 ∈ D ϕ ( z 1 ) : D → G E ( 2 ; 2 ; 1 , 1 ) \phi^{(z_1)}: D \to G_{E(2;2;1,1)} ϕ ( z 1 ) : D → G E ( 2 ; 2 ; 1 , 1 ) ϕ ( z 1 ) ( 0 ) = ( 0 , 0 , 0 ) , ϕ ( z 1 ) ( λ 0 ) = ( x 2 − z 1 x 3 1 − x 1 z 1 , x 4 − z 1 x 5 1 − x 1 z 1 , x 6 − z 1 x 7 1 − x 1 z 1 ) \phi^{(z_1)}(0) = (0,0,0), \quad \phi^{(z_1)}(\lambda_0) = \left(\frac{x_2-z_1x_3}{1-x_1z_1}, \frac{x_4-z_1x_5}{1-x_1z_1}, \frac{x_6-z_1x_7}{1-x_1z_1}\right) ϕ ( z 1 ) ( 0 ) = ( 0 , 0 , 0 ) , ϕ ( z 1 ) ( λ 0 ) = ( 1 − x 1 z 1 x 2 − z 1 x 3 , 1 − x 1 z 1 x 4 − z 1 x 5 , 1 − x 1 z 1 x 6 − z 1 x 7 ) 上限条件 ：
max { G 1 , G 2 } ≤ ∣ λ 0 ∣ \max\{G_1, G_2\} \leq |\lambda_0| max { G 1 , G 2 } ≤ ∣ λ 0 ∣ G 1 = sup z 1 ∈ D ‾ ∣ x ~ 1 ( z 1 ) − x ~ 2 ( z 1 ) x ~ 3 ( z 1 ) ∣ + ∣ x ~ 1 ( z 1 ) x ~ 2 ( z 1 ) − x ~ 3 ( z 1 ) ∣ 1 − ∣ x ~ 2 ( z 1 ) ∣ 2 G_1 = \sup_{z_1 \in \overline{D}} \frac{|\tilde{x}_1(z_1) - \tilde{x}_2(z_1)\tilde{x}_3(z_1)| + |\tilde{x}_1(z_1)\tilde{x}_2(z_1) - \tilde{x}_3(z_1)|}{1 - |\tilde{x}_2(z_1)|^2} G 1 = sup z 1 ∈ D 1 − ∣ x ~ 2 ( z 1 ) ∣ 2 ∣ x ~ 1 ( z 1 ) − x ~ 2 ( z 1 ) x ~ 3 ( z 1 ) ∣ + ∣ x ~ 1 ( z 1 ) x ~ 2 ( z 1 ) − x ~ 3 ( z 1 ) ∣ 行列値関数条件 ：各 z 1 ∈ D ‾ z_1 \in \overline{D} z 1 ∈ D 2 × 2 2\times 2 2 × 2 F ( z 1 ) F^{(z_1)} F ( z 1 ) F ( z 1 ) ( 0 ) = ( 0 ∗ 0 0 ) , F ( z 1 ) ( λ 0 ) = ( x ~ 1 ( z 1 ) ∗ ∗ x ~ 2 ( z 1 ) ) F^{(z_1)}(0) = \begin{pmatrix} 0 & * \\ 0 & 0 \end{pmatrix}, \quad F^{(z_1)}(\lambda_0) = \begin{pmatrix} \tilde{x}_1(z_1) & * \\ * & \tilde{x}_2(z_1) \end{pmatrix} F ( z 1 ) ( 0 ) = ( 0 0 ∗ 0 ) , F ( z 1 ) ( λ 0 ) = ( x ~ 1 ( z 1 ) ∗ ∗ x ~ 2 ( z 1 ) ) det F ( z 1 ) ( λ 0 ) = x ~ 3 ( z 1 ) \det F^{(z_1)}(\lambda_0) = \tilde{x}_3(z_1) det F ( z 1 ) ( λ 0 ) = x ~ 3 ( z 1 ) 類似の条件が他の2つの座標分解に対しても成立する。
定理4.4（十分条件） ：存在する 3 × 3 3\times 3 3 × 3 F ∈ S 1 ( C 3 , C 3 ) F \in S_1(\mathbb{C}^3, \mathbb{C}^3) F ∈ S 1 ( C 3 , C 3 ) F ( 0 ) = ( 0 ∗ ∗ 0 0 ∗ 0 0 0 ) , F ( λ 0 ) = A F(0) = \begin{pmatrix} 0 & * & * \\ 0 & 0 & * \\ 0 & 0 & 0 \end{pmatrix}, \quad F(\lambda_0) = A F ( 0 ) = 0 0 0 ∗ 0 0 ∗ ∗ 0 , F ( λ 0 ) = A x = π E ( A ) x = \pi_E(A) x = π E ( A ) ϕ \phi ϕ
定理4.6 ：類似の必要条件が存在するが、写像を通じて：
p 1 ( z ) = 2 x 1 − z x 2 2 − y 1 z , p 2 ( z ) = y 1 − 2 z y 2 2 − y 1 z , p 3 ( z ) = x 2 − 2 z x 3 2 − y 1 z p_1(z) = \frac{2x_1-zx_2}{2-y_1z}, \quad p_2(z) = \frac{y_1-2zy_2}{2-y_1z}, \quad p_3(z) = \frac{x_2-2zx_3}{2-y_1z} p 1 ( z ) = 2 − y 1 z 2 x 1 − z x 2 , p 2 ( z ) = 2 − y 1 z y 1 − 2 z y 2 , p 3 ( z ) = 2 − y 1 z x 2 − 2 z x 3
補題4.5 ：ψ : D → Γ E ( 3 ; 2 ; 1 , 2 ) \psi: D \to \Gamma_{E(3;2;1,2)} ψ : D → Γ E ( 3 ; 2 ; 1 , 2 ) ψ ( λ 0 ) ∈ G E ( 3 ; 2 ; 1 , 2 ) \psi(\lambda_0) \in G_{E(3;2;1,2)} ψ ( λ 0 ) ∈ G E ( 3 ; 2 ; 1 , 2 ) ψ ( D ) ⊂ G E ( 3 ; 2 ; 1 , 2 ) \psi(D) \subset G_{E(3;2;1,2)} ψ ( D ) ⊂ G E ( 3 ; 2 ; 1 , 2 )
これらの結果は古典的なシュワルツ補題とNevanlinna-Pick補間理論を μ \mu μ
補題1.2 ：μ E ( 3 ; 3 ; 1 , 1 , 1 ) ( A ) = 0 \mu_{E(3;3;1,1,1)}(A) = 0 μ E ( 3 ; 3 ; 1 , 1 , 1 ) ( A ) = 0 a i i = 0 for i = 1 , 2 , 3 , a 11 a 22 − a 12 a 21 = 0 , a 11 a 33 − a 13 a 31 = 0 , a_{ii} = 0 \text{ for } i=1,2,3, \quad a_{11}a_{22} - a_{12}a_{21} = 0, \quad a_{11}a_{33} - a_{13}a_{31} = 0, a ii = 0 for i = 1 , 2 , 3 , a 11 a 22 − a 12 a 21 = 0 , a 11 a 33 − a 13 a 31 = 0 , a 22 a 33 − a 23 a 32 = 0 , det A = 0 a_{22}a_{33} - a_{23}a_{32} = 0, \quad \det A = 0 a 22 a 33 − a 23 a 32 = 0 , det A = 0
証明 ：多項式 det ( I − A X ) \det(I-AX) det ( I − A X ) X ∈ E X \in E X ∈ E
補題2.18, 2.19 （対称性）：特定の置換行列 J 1 , J 2 J_1, J_2 J 1 , J 2 μ E ( A ) = μ E ( J 1 A J 2 ) \mu_E(A) = \mu_E(J_1AJ_2) μ E ( A ) = μ E ( J 1 A J 2 )
これは座標の対称性をもたらす（系2.21）。
第1の実現公式に対して、重要なのは命題2.8の恒等式である：
I − G Q ( Y ) ∗ G P ( X ) = B 1 ∗ ( I − Y ∗ X ) A 1 + ( I , B 1 ∗ Y ∗ ) ( I − Q ∗ P ) ( I X A 1 ) I - G_Q(Y)^*G_P(X) = B_1^*(I-Y^*X)A_1 + (I, B_1^*Y^*)(I-Q^*P)\begin{pmatrix} I \\ XA_1 \end{pmatrix} I − G Q ( Y ) ∗ G P ( X ) = B 1 ∗ ( I − Y ∗ X ) A 1 + ( I , B 1 ∗ Y ∗ ) ( I − Q ∗ P ) ( I X A 1 )
ここで A 1 , B 1 A_1, B_1 A 1 , B 1 P = Q = A P = Q = A P = Q = A X = Y = diag ( z 2 , z 3 ) X = Y = \text{diag}(z_2, z_3) X = Y = diag ( z 2 , z 3 )
重要な革新は再帰的構造を利用することである：
a ∉ Γ E ( 3 ; 3 ; 1 , 1 , 1 ) a \notin \Gamma_{E(3;3;1,1,1)} a ∈ / Γ E ( 3 ; 3 ; 1 , 1 , 1 ) 四面体ブロックの多項式凸性（既知の結果）を利用して分離多項式を構成する または、すべての投影が四面体ブロックに含まれるならば、存在する ( z 0 , w 0 ) ∈ D 2 (z_0, w_0) \in D^2 ( z 0 , w 0 ) ∈ D 2 ∣ Ψ ( 2 ) ( z 0 , w 0 , a ) ∣ > 1 |\Psi^{(2)}(z_0, w_0, a)| > 1 ∣ Ψ ( 2 ) ( z 0 , w 0 , a ) ∣ > 1 多項式列 f N f_N f N Ψ ( 2 ) \Psi^{(2)} Ψ ( 2 ) f N ( x ) = ( x 2 − z 0 x 3 − w 0 x 6 + z 0 w 0 x 7 ) det ( ∑ k = 0 N ( B x diag ( z 0 , w 0 ) ) k ) f_N(x) = (x_2 - z_0x_3 - w_0x_6 + z_0w_0x_7)\det\left(\sum_{k=0}^N (B_x\text{diag}(z_0,w_0))^k\right) f N ( x ) = ( x 2 − z 0 x 3 − w 0 x 6 + z 0 w 0 x 7 ) det ( ∑ k = 0 N ( B x diag ( z 0 , w 0 ) ) k ) 十分に大きい N N N ∣ f N ∣ ≤ 1 + ϵ |f_N| \leq 1+\epsilon ∣ f N ∣ ≤ 1 + ϵ Γ \Gamma Γ ∣ f N ( a ) ∣ > 1 + 2 ϵ |f_N(a)| > 1+2\epsilon ∣ f N ( a ) ∣ > 1 + 2 ϵ Agler-Young (2000-2004) ：完全な特徴付け、Carathéodory-Fejér定理、複素測地線を含む本論文 ：方法を n = 3 n=3 n = 3 Abouhajar-White-Young (2007) ：有理関数 Ψ \Psi Ψ Bharali (2015) ：μ 1 , n \mu_{1,n} μ 1 , n 本論文 ：G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 ) G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) Zapalowski (2015) ：一般的な枠組み G E ( n ; s ; r 1 , … , r s ) G_{E(n;s;r_1,\ldots,r_s)} G E ( n ; s ; r 1 , … , r s ) r 2 = ⋯ = r s = 1 r_2=\cdots=r_s=1 r 2 = ⋯ = r s = 1 本論文 ：( n , s ; r 1 , … , r s ) = ( 3 , 3 ; 1 , 1 , 1 ) (n,s;r_1,\ldots,r_s) = (3,3;1,1,1) ( n , s ; r 1 , … , r s ) = ( 3 , 3 ; 1 , 1 , 1 ) Ball-Kaliuzhnyi-Verbovetskyi (2015) ：Schur-Agler クラスの transfer function 実現Brown-Lykova-Young (2017) ：解析行列関数の豊かな構造本論文 ：初めて二重実現公式を μ \mu μ 体系性と完全性 ：22の等価な特徴付けを提供する（定理2.22, 2.39）。完全な理論体系を形成する 多項式方法、有理関数方法、実現公式方法の3つの主要な技術的ルートをカバーする 幾何学的性質、境界構造、補間理論がすべて詳細に議論されている 技術的革新 ：二重実現公式の方法は新しく、より高次元の場合を研究するためのツールを提供する 多項式凸性の新しい証明は再帰的構造を利用し、Zapalowski の原始的な証明より直感的である 再帰的次元削減戦略（定理2.5）は低次元領域への体系的な関連性を確立する 結果の深さ ：閉じた境界の特徴付け（定理3.14）は非常に精密で、∣ x i ∣ |x_i| ∣ x i ∣ シュワルツ補題の13の等価な形式は問題の多面性を示す 領域間の関係（定理2.45, 3.20）は内在的な構造を明らかにする 厳密性 ：すべての主要な結果は詳細な証明を持つ 補題1.1は行列条件の分類が非常に細かい（11の場合） 対称性補題（1.3, 2.18, 2.19）の使用は重複した論証を減らす 開放的な問題 ：最も重要な問題 ：定理2.24の逆命題は未解決である。すなわち、x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) x \in G_{E(3;3;1,1,1)} x ∈ G E ( 3 ; 3 ; 1 , 1 , 1 ) ∥ A ∥ < 1 \|A\| < 1 ∥ A ∥ < 1 x = π E ( A ) x = \pi_E(A) x = π E ( A ) 閉じた境界の予想：K K K 複素測地線の特徴付けは扱われていない Carathéodory-Fejér 型の定理は確立されていない 計算の複雑性 ：有理関数 Ψ ( i ) \Psi^{(i)} Ψ ( i ) 実現公式の条件 (2.24), (2.59) はすべての z ∈ D ‾ 2 z \in \overline{D}^2 z ∈ D 2 22の特徴付けは等価だが、どれが数値計算に最適かについての指導がない 幾何学的直感の不足 ：7次元空間の幾何学は可視化が難しい 単連結性、非凸性などを証明したが、領域の「形状」についての直感的な説明が不足している 制御理論における堅牢性の問題との具体的な関連性が十分に説明されていない 技術的限界 ：実現公式の方法は特定の行列分割に依存し、一般的な G E ( n ; s ; r 1 , … , r s ) G_{E(n;s;r_1,\ldots,r_s)} G E ( n ; s ; r 1 , … , r s ) 定理4.4の十分条件は行列値関数が Schur クラスにあることを要求し、この条件は過度に強い可能性がある 再帰的次元削減は毎回1次元だけ削減するため、より高次元の場合は効率が低い可能性がある 執筆の問題 ：論文は43ページに及び、構造をより簡潔にできる 一部の証明（定理2.25など）は「別の証明」と標記されているが、本質的に同じである 記号体系は複雑である（x ~ , y ~ , z ~ , γ ~ , η ~ \tilde{x}, \tilde{y}, \tilde{z}, \tilde{\gamma}, \tilde{\eta} x ~ , y ~ , z ~ , γ ~ , η ~ 理論的貢献 ：
μ \mu μ 実現公式の方法は関連領域を研究するための標準的なツールになる可能性がある 多項式凸性の新しい証明技術は方法論的価値を持つ 実際的応用 ：
制御理論：3 × 3 3\times 3 3 × 3 複素幾何学：非凸、非円形だが多項式凸な領域の例を豊かにする 作用素理論：Schur-Agler クラス理論との関連性 限界 ：
7次元領域の複雑性は直接的な応用を制限する アルゴリズムと数値方法が不足している 実際の制御問題との橋渡けにはさらなる作業が必要である 本論文の結果に基づいて、以下の方向が探索する価値がある：
理論的完成 ：定理2.24の逆命題を解決する（核心的な開放的問題） 閉じた境界の予想を証明または反証する 複素測地線と極値問題を特徴付ける 推広 ：一般的な n n n G E ( n ; n ; 1 , … , 1 ) G_{E(n;n;1,\ldots,1)} G E ( n ; n ; 1 , … , 1 ) 一般的な G E ( n ; s ; r 1 , … , r s ) G_{E(n;s;r_1,\ldots,r_s)} G E ( n ; s ; r 1 , … , r s ) 他の特殊領域（Cartan 領域など）との関連性を探索する 計算方法 ：点が領域内にあるかどうかを検証するための効果的なアルゴリズムを開発する 有理関数の上限ノルムを数値的に計算する シュワルツ補題の必要十分条件の判定を実装する 応用 ：理論を具体的な μ \mu μ 堅牢制御における D D D K K K 機械学習（ニューラルネットワークの堅牢性分析など）への応用を探索する 関連する問題 ：領域上の補間と近似理論を研究する 対応する Hardy 空間と Bergman 空間理論を発展させる 自己同型群と対称性を研究する 本論文は μ \mu μ G E ( 3 ; 3 ; 1 , 1 , 1 ) G_{E(3;3;1,1,1)} G E ( 3 ; 3 ; 1 , 1 , 1 )
完全な特徴付け ：多項式、有理関数、実現公式など複数の方法を通じて領域とその閉包を特徴付ける幾何学的性質 ：位相的タイプ（単連結）、凸性の性質（多項式凸、線形凸だが非凸）、境界構造を決定する領域間の関係 ：G E ( 3 ; 2 ; 1 , 2 ) G_{E(3;2;1,2)} G E ( 3 ; 2 ; 1 , 2 ) 補間理論 ：シュワルツ補題の詳細な必要条件を提供する技術的には、本論文は対称双円盤と四面体ブロックの研究方法を7次元の場合に成功裏に推広し、特に二重実現公式の方法と再帰的次元削減戦略は革新的である。
しかし、核心的な開放的問題（定理2.24の逆）はまだ未解決であり、これは領域の最も本質的な特徴付けに関連している。さらに、理論と計算、応用の間のギャップを埋めるにはさらなる作業が必要である。
全体的に、これは高品質の理論研究論文であり、μ \mu μ
本論文の主要な参考文献は以下を含む：
Agler & Young シリーズ (2000-2004)：対称双円盤の基礎的な研究Abouhajar, White & Young (2007)：四面体ブロックのシュワルツ補題Bharali (2015)：μ 1 , n \mu_{1,n} μ 1 , n Zapalowski (2015)：一般化四面体ブロックの一般的な枠組みBall & Kaliuzhnyi-Verbovetskyi (2015)：Schur-Agler クラスの実現理論Brown, Lykova & Young (2017)：解析行列関数の構造理論Doyle & Packard (1993)：構造特異値の工学的応用これらの文献は本論文の理論的基礎と方法論的源泉を構成している。
