On exact discretization of the $L_2$-norm in the space spanned by the first $N$ Rademacher functions

技術要約：第$N$次ラデマッハー関数によって生成される空間における$L^2$ノルムの厳密な離散化について

問題提起
本論文は、最初の$N$個のラデマッハー関数 $\langle r_0, \dots, r_{N-1} \rangle$ によって生成される$N$次元部分空間 $R_N \subset L^2([0,1])$ における、$L^2$ノルムの厳密な離散化問題について調査している。核心となる目的は、以下の厳密なマルチンゲール型離散化恒等式を満たすために必要な最小ノード数 $m(R_N)$ および対応する重み $\{\lambda_j\}$ を決定することである：
$$\int_0^1 f^2(x) dx = \sum_{j=1}^m \lambda_j f^2(\xi_j)$$
ここで、$f \in R_N$ である。本研究では、任意の（実数の）重みを許容する場合（$m(R_N)$）と、厳密に正の重みを要求する場合（$m_+(R_N)$）の一般ケースを区別して論じている。

手法
アプローチとして、離散化条件を行列代数の問題へと変換する。区間 $[0,1)$ を $2^N$ 個の二進区間に分割することにより、問題を、これらの区間におけるラデマッハー関数の値に対応する行列 $A$ を用いた行列形式へと再定式化する。重み $\Lambda = \text{diag}(\lambda_1, \dots, \lambda_m)$ と、ノードに対応する $A$ の列を用いた離散化の条件は、以下の行列方程式と同値である：
$$A_j \Lambda_j A_j^T = E_N$$
ここで、$A_j$ は選択されたノードに対応する $N \times m$ の部分行列であり、$\Lambda_j$ は非ゼロの重みの対角行列、$E_N$ は $N \times N$ の単位行列である。

解析は以下の手順で行われる：

1. ランクの議論を用いて $m$ の下限を確立する。
2. $m=N$ の場合における $A_j$ の構造的特性を調査し、解の存在とアダマール行列の存在を結びつける。
3. 上限を確立するために、$m=N+1$ に対する明示的な解を構成する。
4. $N$ が特定の剰余演算の条件（$N \equiv 1, 2 \pmod 4$）を満たす場合の、$m=N+1$ における重みの制約を分析し、正の重みが可能かどうかを判定する。

主要な貢献および結果

1. 下限とアダマール行列との関連性：
   本論文は、最小ノード数が $m(R_N) \ge N$ を満たすことを証明している。さらに、$m(R_N) = N$ であることは、次数 $N$ のアダマール行列が存在することと同値であることを確立している。この場合、最適な重みは一様（$\lambda_j = 1/N$）であり、かつ正である。

2. 上限と明示的な構成：
   著者は、$m(R_N) \le N + 1$ であることを示す明示的な構成を提示している。この構成は、$N+1$ 個の特定の二進区間を利用し、$N$ 個の重みを $1/4$ とし、$(N+1)$ 番目の重みを $(4-N)/4$ と割り当てるものである。この構成は有効な離散化をもたらすが、$N > 4$ の場合には負の重みを含む可能性がある。

3. 最小ノード数の特徴付け：
   本論文は、アダマール予想に基づき、最小ノード数の正確な公式を導出している：
   $$m(R_N) = \begin{cases} N & \text{もし次数 } N \text{ のアダマール行列が存在する場合} \\ N + 1 & \text{それ以外の場合} \end{cases}$$
   この結果は、ラデマッハー空間の離散化効率が、アダマール行列の存在と直接的に依存していることを浮き彫りにしている。

4. 特定の $N$ における正の重みの不可能性：
   特定の次元において、最小ノード数を用いた場合に厳密に正の重みが不可能であることを証明したことは、本論文の重要な貢献である。具体的には、$N \equiv 1 \pmod 4$ ($N \ge 5$) または $N \equiv 2 \pmod 4$ ($N \ge 6$) のとき、$m_+(R_N) > m(R_N) = N + 1$ となる。

• $N \equiv 1 \pmod 4$ の場合、直交性の議論を用いて、正の重みを仮定することが次数 $N+1$ のアダマール行列の非存在と矛盾することを証明する。
• $N \equiv 2 \pmod 4$ の場合、ラデマッハー関数の符号の一致に関する組合せ論的な計数を用いることで、$N$ が 4 で割り切れることに関する矛盾を導き出し、議論を展開する。

意義および主張
本論文は、最小ノード数を決定し、重みの性質（正か負か）を特徴付けることにより、ラデマッハー部分空間の厳密な離散化問題を解決したと主張している。この研究は、問題がアダマール予想と本質的に結びついていることを示している。

著者は、一般の重みを許容する最小ノード数（$m(R_N)$）と、正の重みを要求する場合（$m_+(R_N)$）の間の差が、アダマール予想と密接に関連していると述べている。もしその予想（4の倍数のすべての次数に対してアダマール行列が存在するという予想）が正しいならば、これら2つの量の差は一様に抑えられると本論文は主張している：
$$m_+(R_N) - m(R_N) \le 2$$
本研究は、高次元のラデマッハー関数によって生成される空間における正の重みによる離散化の限界を明らかにし、理論的な最小ノード数を達成するためには負の重みが必要となる場合があることを示している。