update 3syou

paper.aux

@@ -12,16 +12,15 @@
 \citation{Audibert10:COLT,Jamieson2014_BAI}
 \@writefile{toc}{\contentsline {section}{\numberline {II}関連研究}{2}{}\protected@file@percent }
 \citation{Coopmans2021_NetSquid}
-\citation{Liu24:INFOCOM}
 \@writefile{toc}{\contentsline {section}{\numberline {III}通信需要を考慮したリンク忠実度計測問題}{3}{}\protected@file@percent }
+\newlabel{eq:objective}{{2}{3}}
+\newlabel{eq:constraint1}{{3}{3}}
+\newlabel{eq:constraint2}{{4}{3}}
 \@writefile{toc}{\contentsline {section}{\numberline {IV}提案手法 : 二段階貪欲法(Two-Phase Greedy)による資源配分}{3}{}\protected@file@percent }
+\citation{Liu24:INFOCOM}
 \citation{Coopmans2021_NetSquid}
 \citation{Liu24:INFOCOM}
 \@writefile{toc}{\contentsline {section}{\numberline {V}実験}{4}{}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces 隣接ノード数が3の場合における測定予算と総価値スコアの関係}}{4}{}\protected@file@percent }
-\newlabel{fig:r3_rewritten}{{1}{4}}
-\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces 隣接ノード数が5の場合における測定予算と総価値スコアの関係}}{4}{}\protected@file@percent }
-\newlabel{fig:r5_rewritten}{{2}{4}}
 \bibstyle{ieeetr}
 \bibdata{bib/quantum}
 \bibcite{Liu24:INFOCOM}{1}
@@ -35,5 +34,9 @@
 \bibcite{Audibert10:COLT}{9}
 \bibcite{Jamieson2014_BAI}{10}
 \bibcite{Coopmans2021_NetSquid}{11}
+\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces 隣接ノード数が3の場合における測定予算と総価値スコアの関係}}{5}{}\protected@file@percent }
+\newlabel{fig:r3_rewritten}{{1}{5}}
+\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces 隣接ノード数が5の場合における測定予算と総価値スコアの関係}}{5}{}\protected@file@percent }
+\newlabel{fig:r5_rewritten}{{2}{5}}
 \@writefile{toc}{\contentsline {section}{References}{5}{}\protected@file@percent }
 \gdef \@abspage@last{5}

paper.log

@@ -1,4 +1,4 @@
-This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022/Debian) (preloaded format=platex 2025.3.2)  29 SEP 2025 19:15
+This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022/Debian) (preloaded format=platex 2025.3.2)  2 OCT 2025 12:15
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -526,21 +526,27 @@ Underfull \vbox (badness 10000) has occurred while \output is active []
 
  [2]
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/sc' undefined
-(Font)              No change on input line 340.
+(Font)              No change on input line 341.
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/sc' undefined
-(Font)              No change on input line 400.
+(Font)              No change on input line 452.
 
 [3]
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/sc' undefined
-(Font)              No change on input line 481.
+(Font)              No change on input line 533.
 File: graphA.eps Graphic file (type eps)
 <graphA.eps>
 File: graphC.eps Graphic file (type eps)
 <graphC.eps>
+
+Underfull \vbox (badness 10000) has occurred while \output is active []
+
  [4]
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/sc' undefined
-(Font)              No change on input line 614.
- (./paper.bbl
+(Font)              No change on input line 666.
+
+(./paper.bbl
+Underfull \vbox (badness 10000) has occurred while \output is active []
+
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/sc' undefined
 (Font)              No change on input line 1.
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/it' undefined
@@ -561,7 +567,8 @@ LaTeX Font Info:    Kanji font shape `JY1/mc/m/it' undefined
 (Font)              No change on input line 41.
 LaTeX Font Info:    Trying to load font information for TS1+ptm on input line 4
 1.
- (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
+
+(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
 File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
 )
 LaTeX Font Info:    Kanji font shape `JY1/mc/m/it' undefined
@@ -590,16 +597,14 @@ Before submitting the final camera ready copy, remember to:
  uses only Type 1 fonts and that every step in the generation
  process uses the appropriate paper size.
 
-[5
-
-] (./paper.aux) ) 
+[5] (./paper.aux) ) 
 Here is how much of TeX's memory you used:
- 4304 strings out of 476550
- 70434 string characters out of 5805610
+ 4302 strings out of 476550
+ 70435 string characters out of 5805610
  1867340 words of memory out of 5000000
  24852 multiletter control sequences out of 15000+600000
- 623136 words of font info for 178 fonts, out of 8000000 for 9000
+ 621029 words of font info for 175 fonts, out of 8000000 for 9000
  929 hyphenation exceptions out of 8191
  72i,14n,76p,264b,525s stack positions out of 10000i,1000n,20000p,200000b,200000s
 
-Output written on paper.dvi (5 pages, 50812 bytes).
+Output written on paper.dvi (5 pages, 55464 bytes).

paper.tex

@@ -337,64 +337,116 @@ MABの一分野であり、固定予算設定や固定信頼度設定など、
 量子ネットワークにおけるプロトコルの設計と性能評価を可能にしている。
 
 
+
 \section{通信需要を考慮したリンク忠実度計測問題}
-%% 本章では、本研究が解決を目指す「通信需要を考慮したリンク忠実度計測問題」
-%% を定式化する。
-
-%% 本問題は、単一の始点ノードと複数の終点ノードから成るスター型ネットワー
-%% クを対象とする。
-
-%% 問題の入力として、各ノードペアの重要度と、利用可能な総測定予算が与えら
-%% れる。
-
-%% ここでの課題は、各リンクの忠実度が未知であるという不確実性の下で、測定
-%% 資源をいかに配分するかを決定することである。
-
-%% 本問題の目的は、限られた測定予算の制約下で、ネットワーク全体で得られる
-%% 価値の総和を最大化することである。
-
-本章では、本研究が扱う問題を定式化する。本研究では、量子ネットワークに
-おけるリンク品質の推定問題を拡張し、通信経路ごとの重要度、すなわち通信
-需要という経済的・運用的な価値尺度を導入する。これにより、単に物理的な
-品質が高いリンクを発見するだけでなく、ネットワーク全体の運用価値を最大
-化するという、より実践的な問題設定を取り扱う。
-
-本問題は、単一の始点ノード $S$ と $N$ 個の終点ノード $D_n$ ($n=1,
-\dots, N$) から成るスター型ネットワークを対象とする。各ノードペア $(S,
-D_n)$ 間には、複数の並列な物理リンクから成るリンク集合 $L_n$ が存在す
-ると仮定する。各リンク $l_{nj} \in L_n$ の真の忠実度 $f_{nj}$ は未知で
-あり、測定を通じてのみその値を推定できる。
-
-問題の入力として、各ノードペア $(S, D_n)$ の重要度 $I_n$ と、利用可能
-な総測定予算 $C$ が与えられる。重要度 $I_n$ は、特定の通信経路が担うタ
-スクの優先度や要求品質を反映する正規化された値であり、これが通信需要に
-相当する。総測定予算 $C$ は、忠実度の推定に費やすことができる測定操作
-の総コストの上限を定める。
-
-ここでの課題は、各リンクの忠実度が未知であるという不確実性の下で、測定
-資源をいかに配分するかを決定することである。すなわち、どのノードペアの、
-どのリンクに対して、どれだけの回数の測定を行うかという配分戦略を導出す
-ることが求められる。精度の高い忠実度推定には多くの測定コストを要するた
-め、全てのリンクの品質を完全に把握することは現実的ではない。
-
-本問題の目的は、限られた測定予算の制約下で、ネットワーク全体で得られる
-価値の総和を最大化することである。あるノードペア $n$ を選択し、その中
-で最も忠実度が高いと推定されたリンク $l^*_{nk}$ の忠実度を
-$\hat{F}^*_{nk}$ とするとき、その経路から得られる価値は、重要度
-$I_{n_k}$ と推定忠実度 $\hat{F}^*_{n_k}$ の積で定義される。したがって、
-本問題は、以下の目的関数を最大化するノードペアの集合 $S_{\text{sel}}$
-を見出す問題として定式化される。{\footnotesize
-  \begin{align}
-    \text{maximize} \sum_{n_k \in S_{sel}} I_{n_k}\hat{F}^*_{n_k}
-  \end{align}
-}このとき、全てのリンクに対する総測定コストは、与えられた総測定予算
-$C$ を超えてはならない。これを制約条件として式で表すと、以下のようにな
-る。
+%% 本章では、本研究が解決を目指す通信需要を考慮したリンク忠実度計測問題
+%% を数学的に定式化する。
+
+%% 本問題では、単一の始点ノードと複数の終点ノードから成るスター型ト
+%% ポロジの量子ネットワークを想定する。
+
+%% 本問題への入力として、ネットワークトポロジ、各通信経路の重要度、利用可
+%% 能な総測定予算、そして推定結果に要求される信頼区間精度が与えられる。
+
+%% ここでの本質的な課題は、各リンクの忠実度が未知であるという不確実性の下
+%% で、限られた測定資源をどのリンクにどれだけ配分するかを決定することにあ
+%% る。
+
+%% 本問題の出力は、測定資源の配分計画と、その結果として忠実度が十分な精度
+%% で確定した発見済みの通信経路の集合である。
+
+%% ある通信経路が発見済みであるとは、その経路内で最も忠実度の高いリンクの
+%% 推定値が、要求された精度を満たす信頼区間幅を達成した状態として定義する。
+
+%% 本問題の目的は、総測定コストが与えられた予算を超えないという制約の下で、
+%% 発見済みの通信経路から得られる価値の総和を最大化することである。
+
+%% 以上の目的と制約をまとめ、本研究が取り組む最適化問題を定義する。
+
+本章では、本研究が解決を目指す通信需要を考慮したリンク忠実度計測問題
+を数学的に定式化する。本研究では、従来のリンク品質推定問題を拡張し、通
+信経路ごとに異なる重要度、すなわち通信需要を考慮に入れる。これにより、
+単に物理的な品質が高いリンクを見つけ出すだけでなく、限られた測定資源を
+用いてネットワーク全体の運用価値を最大化するという、より実践的な課題設
+定を取り扱う。
+
+本問題では、単一の始点ノード $S$ と $N$ 個の終点ノード $D_n$ ($n=1,
+\dots, N$) から成るスター型トポロジの量子ネットワークを想定する。各ノー
+ドペア $(S, D_n)$ 間には、それぞれ複数の並列な物理リンクから成るリンク
+集合 $L_n = \{l_{n1}, l_{n2}, \dots, l_{n|L_n|}\}$ が存在すると仮定す
+る。各リンク $l_{nj} \in L_n$ の真の忠実度 $f_{nj} \in [0, 1]$ は未知
+であり、量子測定を繰り返すことによってのみ、その値を統計的に推定できる。
+
+本問題への入力として、ネットワークトポロジ、各通信経路の重要度、利用可
+能な総測定予算、そして推定結果に要求される信頼区間精度が与えられる。各
+ノードペア $(S, D_n)$ の重要度 $I_n \in [0, 1]$ は、その通信経路が担う
+タスクの優先度やアプリケーションの要求品質を反映する重みであり、これが
+本稿における通信需要に相当する。総測定予算 $C$ は、忠実度の推定に費や
+すことができる測定操作の総コストの上限を定める。さらに、推定忠実度の信
+頼性を保証するためのパラメータとして、許容誤差 $y > 0$ が与えられる。
+この許容誤差 $y$ は、推定忠実度の信頼区間幅に関する要求精度を規定する
+ものである。
+
+ここでの課題は、各リンクの忠実度が未知であるという不確実性の下で、限ら
+れた測定資源をどのリンクにどれだけ配分するかを決定することにある。すな
+わち、どのノードペアの、どのリンクに対して、何回の測定を行うかという配
+分戦略を導出することが求められる。精度の高い忠実度推定には多くの測定コ
+ストを要するため、全てのリンクの品質を完全に、かつ高い信頼性をもって把
+握することは、特にネットワーク規模が大きい場合には現実的ではない。した
+がって、重要度と品質の両面から価値が高いと見込まれる通信経路を選択的に
+調査する資源配分戦略が不可欠となる。
+
+本問題の出力は、測定資源の配分計画と、その結果として忠実度が十分な精度
+で確定した発見済みの通信経路の集合である。具体的には、各リンク
+$l_{nj}$ への測定回数を $a_{nj}$ としたとき、その配分計画全体
+$\{a_{nj}\}$ が一つの出力となる。この配分計画に基づき各リンクの忠実度
+を推定した結果、後述する発見条件を満たしたノードペアの集合
+$S_{\text{sel}} \subseteq \{1, \dots, N\}$ が、もう一つの主要な出力と
+なる。
+
+ある通信経路が発見済みであるとは、その経路内で最も忠実度の高いリンクの
+推定値が、要求された精度を満たす信頼区間幅を達成した状態として定義する。
+ノードペア $n$ 内のリンク集合 $L_n$ の中で、最も忠実度が高いと推定され
+たリンクを $l^*_{n}$ とし、その推定忠実度を $\hat{f}^*_n$ とする。この
+推定値は確率変数であり、その信頼性は信頼区間 $[\text{LCB}^*_n,
+  \text{UCB}^*_n]$ によって評価される。ここで $\text{LCB}^*_n$ と
+$\text{UCB}^*_n$ は、それぞれ信頼区間の下限値と上限値を示す。この信頼
+区間幅 $x_n = \text{UCB}^*_n - \text{LCB}^*_n$ が、入力として与えられ
+た許容誤差 $y$ に対応する閾値 $x_{\text{thresh}}(y)$ 以下になった場合
+に、ノードペア $n$ は発見済みであると見なす。すなわち、発見条件は以下
+のように表される。
 \begin{align}
-    \sum^N_{n=1} \sum_{l \in L_n} \text{Cost}(l) \leq C
+    n \in S_{\text{sel}} \iff (\text{UCB}^*_n - \text{LCB}^*_n) \leq
+    x_{\text{thresh}}(y)
 \end{align}
-ここで $\text{Cost}(l)$ は、リンク $l$ の忠実度推定に要した測定コスト
-を示す。
+この条件は、推定忠実度 $\hat{f}^*_n$ が、十分に信頼できる精度で確定し
+たことを意味する。
+
+本問題の目的は、総測定コストが与えられた予算を超えないという制約の下で、
+発見済みの通信経路から得られる価値の総和を最大化することである。あるノー
+ドペア $n$ が発見されたとき、その経路から得られる価値は、経路の重要度
+$I_n$ と、その経路で利用可能な最良リンクの推定忠実度 $\hat{f}^*_n$ の
+積 $I_n \hat{f}^*_n$ として定義される。したがって、本問題は、発見済み
+の集合 $S_{\text{sel}}$ に含まれる全てのノードペアの価値の総和を最大化
+する問題として定式化される。
+
+以上の目的と制約をまとめ、本研究が取り組む最適化問題を定義する。各リン
+ク $l_{nj}$ の忠実度推定に要した測定コストを $\text{Cost}(l_{nj})$ と
+すると、問題は以下のように記述される。
+\begin{align}
+    \text{maximize} \quad & \sum_{n \in S_{\text{sel}}} I_n
+    \hat{f}^*_n \label{eq:objective} \\ \text{subject to} \quad &
+    \sum^N_{n=1} \sum_{l_{nj} \in L_n} \text{Cost}(l_{nj}) \leq
+    C \label{eq:constraint1} \\ & n \in S_{\text{sel}} \iff
+    (\text{UCB}^*_n - \text{LCB}^*_n) \leq
+    x_{\text{thresh}}(y) \label{eq:constraint2}
+\end{align}
+ここで式(\ref{eq:objective})は最大化すべき目的関数、式
+(\ref{eq:constraint1})は総測定予算に関する資源制約、式
+(\ref{eq:constraint2})は通信経路の発見条件を示す。この定式化は、単に最
+も忠実度の高いリンクを見つけるだけでなく、それがどれだけ重要かという側
+面を同時に考慮するものである。
+
 
 
 \section{提案手法 : 二段階貪欲法(Two-Phase Greedy)による資源配分}