JP6183958B2 - マルチキャスト量子ネットワーク符号化方法 - Google Patents

Description

本発明は、受信者（受信ノード）間で若干の量子もつれをリソースとして持っている場合で、送信される量子状態の精度が必ずしも100%ではなくてよい状況において、量子状態をマルチキャストする量子ネットワーク符号化プロトコル、および、そのプロトコルをパーツとしてもつプロトコルに関する。

ネットワークにボトルネックが存在する場合に各ノードにおいて情報を符号化することによって、効率的に情報通信を行う手法は、ネットワーク符号化と呼ばれる情報処理技術の一分野である。量子情報処理技術においても、量子ネットワークの各ノードで量子状態を符号化することを許容することで、どのように効率的な量子通信を達成するかという問題が、量子ネットワーク符号化と呼ばれ近年盛んに研究されている。基本的なネットワーク符号化は、大きく分けて送信ノード・中継ノードでの符号化を経て、多数の受信ノードに同一の情報を送信するマルチキャストネットワーク符号化と、複数の送信ノードと複数の受信ノードが一対一対応しており、中継ノードでの符号化を用いることで、それぞれの送信ノードが対応する受信ノードに情報を送信するセッション間ネットワーク符号化に分類できる。

本発明は、量子ネットワーク上で量子情報をマルチキャストする量子ネットワーク符号化技術に関する。量子情報をマルチキャストする従来技術としては非特許文献１が存在する。これは複数の送信ノードから複数の受信ノードへ量子情報を送信する事を目的としている。

非特許文献１では、本発明が対象としている量子状態のマルチキャストをタスクとして実行しているが、高度なネットワーク符号化はなされておらず、ノード間の量子情報送受信時に逐一「符号化」「復号化」を実施するものであり、具体的には次のような技術である。任意の量子状態|φ〉で表される量子情報をM個の各受信ノードに送ろうとした場合、コピー不可能性の定理から、送信ノードが|φ〉^(×)Mを用意して受信ノードに配信する必要がある。(×)はテンソル積である。|φ〉の存在する量子空間をd次元とした場合、この配信を単純に実行しようとすると、|φ〉^(×)M をあるノードから他のノードに送ろうとするときにd^M次元の容量が必要と思われるが、|φ〉^(×)Mは、d^M次元の全体の空間のうち、完全対称な部分空間につねに含まれるという事実を使って各ノード間で「符号化」「復号化」を実施する技術である。

一方、特許文献１では、バタフライネットワークという特定のネットワークにおいて、転送レート2量子の状態のマルチキャストを扱っている。ノード間の自由な古典通信のみを仮定することにより、このプロトコルは、量子力学に従うという以外に、何の制約もない場合の最適な量子状態の複製機械(量子最適対称普遍クローン機械)に比較的近い性能を出している。

R. W. Yeung. "Information Theory and Network Coding", Springer-Verlag, (2007)

特開2013-201654号公報

量子状態を量子ネットワークによってマルチキャストするにあたって、送信する量子状態の精度を100%にするためには、コピー不可能性の定理により、受信者の数のだけ、送信者は量子状態を用意する必要がある。しかし、量子状態の精度がある程度低下しても良い場合においては、入力の量子状態の数を減らしても、原理的にはマルチキャストは可能である。また、その結果として、量子ネットワークに要求する性能も下げられる可能性がある。

特許文献１に記載された技術は、初めてそのような条件の緩和を行ったプロトコルであり、非常に有効なプロトコルであるものの、バタフライネットワークで、かつ転送効率が2という非常に限定的な状況でのみ利用可能であり、また、プロトコルはその特殊な条件に強く依存しているため、他のネットワークに適応できない。

そこで、本発明は、特許文献１と同様に送信する量子状態の精度を100%にするという条件を緩和した条件のもとで、任意の形状のネットワークに適応可能なマルチキャスト量子ネットワーク符号化方法を提供することを目的とする。

本発明の一態様によるマルチキャスト量子ネットワーク符号化方法は、配信先のノードである受信ノードの数Mよりも少ない数の送信量子状態をそれぞれ有するN個の送信ノードs₁,s₂,…,s_Nから、M個の受信ノードの各々に前記送信量子状態を高精度で近似する量子状態を配信するマルチキャスト方法であって、d⁽ⁿ⁾,Q⁽ⁿ⁾をn(n=1,2,…,N)に応じて定まる正の整数とし、^→aを0≦a₁≦…≦a_Q≦dの関係を満たす数列a₁,a₂,…,a_Qとし、jを正の整数としてS_jをj次の置換群とし、^→cを数列とし|^→c|を数列を構成する要素の数とし、^→c_σを数列^→cを構成する各数を置換σによって置換した数により構成される数列とし、Ω_(^→c)を数列^→cに対して定義される集合{^→c_σ|σ∈S_|^→c|}とし、(^→a,^→x)を２つの数列^→a,^→xを直列に並べた数列とし、d⁽ⁿ⁾[Q⁽ⁿ⁾]は整数

を表すとし、|Ω_(^→c)|を集合を構成する要素の数とし、P(・)を・への射影演算子として、各送信ノードs_n(n=1,2,…,N)において、以下の式で定義される測定を行う第１測定ステップと、

前記第１測定ステップを実行して得られる測定結果である古典情報^→x⁽ⁿ⁾を前記M個の受信ノードに古典通信路を使って送信する古典通信ステップと、前記送信ノードの状態を前記M個の受信ノードに送信する古典ネットワーク符号化プロトコルを、前記第１測定ステップを実行して得られる量子状態を初期値とする量子ネットワーク上でシミュレートするシミュレートステップと、前記シミュレートステップにより生成される量子ネットワーク上のエンタングル状態に対して、フーリエ基底への測定を行う第２測定ステップと、^→0⁽ⁿ⁾をM個の0列とし、

とし、

とし、~A_m ⁽ⁿ⁾を受信ノードt_mに存在する状態空間とし、D₁ ⁽ⁿ⁾を受信ノードt₁に属し|σ∈S_M〉を正規直交基底とするM!次元の量子状態空間とし、C_m ⁽ⁿ⁾を受信ノードt_mに属し|m∈{1,2,…,M}〉を正規直交基底とするM次元の量子状態空間とし、E_m ⁽ⁿ⁾,G_m ⁽ⁿ⁾を受信ノードt_mに属し|a∈Z_(d)〉を正規直交基底とするd⁽ⁿ⁾次元の量子状態空間とし、F₁ ⁽ⁿ⁾を受信ノードt₁に属し、

を正規直交基底とする(d⁽ⁿ⁾)^M次元の量子状態空間とし、jを正の整数として(^→a,^→x)_jを数列(^→a,^→x)のj番目の要素として、前記第２測定ステップにより生成される量子状態と前記Ｍ個の受信ノードの間で共有されている補助状態であるエンタングル状態とからなる量子状態

にユニタリ演算を施すことにより、

である量子状態を生成する第１演算ステップと、前記第１演算ステップで生成された量子状態に対して、m≠1における空間~A_mG_mC_mとC₁の測定を行う第３測定ステップと、前記第３測定ステップで得られた結果により特定される空間~A₁G₁D₁へのユニタリ演算を施すことにより、

である量子状態を生成する第２演算ステップと、b_mを数列^→bのm番目の要素とし、⁻Ω_(^→a,^→b)を|^→a|=|^→b|が成り立つ二つの数列^→aと^→bに対して定義される集合{σ|σ∈S_|^→a|,^→a_σ=^→b}とし、|ψ_(^→x)(^→b)>を^→b∈Ω_((^→a,^→x))となる^→aが存在する時に、

で定義される量子状態であり、定義域の範囲の全ての入力^→bにおいて規格化されていているとともに、互いに直交しているとして、前記第２演算ステップで生成された量子状態を、

で表されるものとして、空間~A₁G₁D₁に対する測定を行う第４測定ステップと、前記第４測定ステップで得られた結果により特定される空間F₁へのユニタリ演算を施すことにより

である量子状態を生成する第３演算ステップと、前記第３演算ステップで生成された量子状態に対して、各mについて、空間F_1,mに対する測定を行う第５測定ステップと、^→cを数列とし|^→c>^symを|Ω_^→c|^(-1/2)Σ_(^→c’∈Ω_^→c)|^→c’>として、空間F₁がM個のZ_d次元の部分空間F_1,mにより構成されるとして、各mについて、前記第５測定ステップで得られた空間F_1,mに対する測定結果により特定される部分空間E_mへのユニタリ演算を施すことにより、

である量子状態を生成する第４演算ステップと、を有する。

本発明の一態様によるマルチキャスト量子ネットワーク符号化方法は、１個の送信ノードs₁から、２個の受信ノードt₁,t₂の各々に前記送信ノードs₁の送信量子状態を高精度で近似する量子状態を配信するマルチキャスト方法であって、dを正の整数とし、P(・)を・への射影演算子として、前記送信ノードs₁において、以下の式で定義される測定を行う第１測定ステップと、

前記第１測定ステップを実行して得られる測定結果である古典情報xを前記２個の受信ノードに古典通信路を使って送信する古典通信ステップと、前記送信ノードの状態を前記２個の受信ノードに送信する古典ネットワーク符号化プロトコルを、前記第１測定ステップを実行して得られる量子状態を初期値とする量子ネットワーク上でシミュレートするシミュレートステップと、前記シミュレートステップにより生成される量子ネットワーク上のエンタングル状態に対して、フーリエ基底への測定を行う第２測定ステップと、A_mとB_mとC_mとD_mとE_mとF_mとG_mはそれぞれt_mに存在している状態空間であり、~A_mをA_mとB_mとからなる状態空間とし、D₁は|(1,2)〉と|(2,1)〉を正規直交基底とする２次元空間であり、C_mは|1〉と|2〉を正規直交基底とする２次元空間とし、A_m,B_m,E_m,G_mを|α∈Z_d〉を正規直交基底とするd次元の空間とし、F₁を|(α,α’)∈Z_d ^(×)2>を正規直交基底とするd²次元空間として、前記第２測定ステップにより生成される量子状態と前記２個の受信ノードの間で共有されている補助状態であるエンタングル状態とからなる量子状態

にユニタリ演算を施すことにより、

である量子状態を生成する第１演算ステップと、前記第１演算ステップで生成された量子状態に対して、空間~A₂G₂C₂とC₁の測定を行う第３測定ステップと、前記第３測定ステップで得られた結果により特定される空間~A₁G₁D₁へのユニタリ演算を施すことにより、

である量子状態を生成する第２演算ステップと、Ω_a,xをa=xの時は(x,x)のみからなる集合で、a≠xの時は、(a,x), (x,a)の二つの要素からなる集合であるとし、|ψ_x(b₁,b₂)〉はb₁=x又はb₂=xの時に

によって定義される量子状態であり、定義域において全ての入力(b₁,b₂)に対して規格化されていると共に、互いに直交しているとして、前記第２演算ステップで生成された量子状態を、

で表されるものとして、空間~A₁G₁D₁に対する測定を行う第４測定ステップと、前記第４測定ステップで得られた結果により特定される空間F₁へのユニタリ演算を施すことにより、

である量子状態を生成する第３演算ステップと、前記第３演算ステップで生成された量子状態に対して、各mについて、空間F_1,mに対する測定を行う第５測定ステップと、a₁,a₂を数列とし|a₁,a₂〉^symはa₁≠a₂のときは

でありa₁=a₂のときは|a₁,a₁〉として、空間F₁がM個のZ_d次元の部分空間F_1,mにより構成されるとして、各mについて、前記第５測定ステップで得られた空間F_1,mに対する測定結果により特定される部分空間E_mへのユニタリ演算を施すことにより、

である量子状態を生成する第４演算ステップと、を有する。

本発明によれば、送信する量子状態の精度は100%でなくてもよいという条件のもとで、任意の形状のネットワークに適応可能なマルチキャスト量子ネットワーク符号化方法が構築できる。

バタフライネットワーク上での古典ネットワーク符号化を説明するための図。

［既存技術の概要］
量子ネットワーク符号化を分類する場合、背景技術で説明したように目的の面からも分類できるが、手段に関しても分類する事ができる。具体的には、ノード間の古典情報/量子情報の通信をどの様に許容するかで分類ができる。具体的には、例えば１ビットの古典情報通信と１量子ビットの量子情報を同等のコストととらえ、その総和を制限するというモデルがある。これは、１量子ビットの量子情報の通信のみを用いて古典情報を送る場合には、１ビットの古典情報しか送ることができない、という理論的な対応に裏打ちされたモデルである。もう一方で、古典情報の通信は無制限に許可され、量子情報の通信のみを制限するというモデルがある。このモデルは、量子通信を実現するのは古典通信を実現するのに比べれば桁違いに困難であるという実験的事実に裏打ちされたモデルである。

本発明は、古典情報通信が無制限に許可されるモデルによるものである。このような量子ネットワークモデルにおける従来技術としては、参考文献１に説明されている技術と参考文献２を用いたその非線形符号への一般化が存在する。

［参考文献１］H. Kobayashi, F. Le Gall, H. Nishimura, M. Roetteler, Proceedings of the 2010 IEEE International Symposium on Information Theory (ISIT 2010), 2686 (2010)
［参考文献２］H. Kobayashi, F. Le Gall, H. Nishimura, M. Roetteler, Proceedings of the 2011 IEEE International Symposium on Information Theory (ISIT 2011), pp. 109-113, (2011).
参考文献１，２はいずれも量子ネットワーク符号化技術に関するものではなく、セッション間で量子情報のやり取りを行う量子セッション間ネットワーク符号に関する技術である。

参考文献１は、１個の送信ノードとN個の受信ノードを持ち、送信ノードから各受信ノードへの情報の転送レートがr(単位時間当たりrビットをN個すべての受信ノードに送信可能)であるような古典線型マルチキャストネットワーク符号を元にして、対応する古典通信が無制限に許容された量子ネットワーク上で場合において、N個のうちの任意の1個の受信ノードに単位時間当たりr量子ビットの情報を送信する量子ネットワーク符号の作成法を提案している。

参考文献２は、N個の送信ノードとN個の受信ノードを持つ転送レートrの古典セッション間ネットワーク符号を元にして、無制限に古典通信が許される量子ネットワーク上でN個の送信ノードとN個の受信ノードを持つ転送レートr(送信ノードから対応する受信ノードへ、それぞれ単位時間当たりr量子ビットを送信可能)のセッション間ネットワーク符号の作成法を提案している。

参考文献２では、非線形な古典セッション間ネットワーク符号に対しても、対応する量子セッション間ネットワーク符号の作成法を提案しているが、同じ手法は参考文献２で考えられているマルチキャストネットワーク符号化にも適応可能で、これにより１個の送信ノードとN個の受信ノードを持ち、転送レートがrであるような非線形も含む任意の古典マルチキャストネットワーク符号を元にして、N個の受信ノードのうちの任意のr個に１量子ビットの情報を送信する自由な古典情報通信を許す量子ネットワーク符号が作成できることがわかっている。

参考文献１，２は、セッション間の量子情報の送信を目的とした量子ネットワーク符号化技術であって、本発明が対象とする複数の送信ノードから複数の受信ノードへ情報を送信するタスクとは対象としているタスクが異なる。ただし、古典情報のネットワークコーディングを援用して対応する量子ネットワークを定義し、符号化を具体的に構成しているという点が、本発明と同じであり本発明の説明に有用であるため、以下バタフライネットワークを例にとって参考文献１，２の詳細を説明する。

バタフライネットワークは図１で表されるネットワークであり、１つの送信ノード(s)と2つの受信ノード(t₁,t₂)と4つの中継ノード(1,2,3,4)とアーク(s;1),(s;2),(1;3),(1;t₁),(2;3),(2;t₂),(3;4),(4;t₁),(4;t₂)から構成される。各アークは単位時間当たりd値の古典情報を伝送可能であるとすると、図１に表される方法で符号化することで、単位時間あたりd²値の古典情報のマルチキャスト通信が可能である。今、与えられたノードがn個の入力アークとm個の出力アークを持つとするとノードでの（古典）符号は一般にZ_d ^(×)nからZ_d ^(×)mへの写像f_k(a₁,a₂,…,a_n)=(a’₁,a’₂,…,a’_m)という形で与えられる、ここでは

で与えられる。最後に受信ノードが復号

を行うことで、入力b₁,b₂が２つの受信ノードに到達する。iを正の整数としてZ_iはiに関する剰余類群である。次に上記の古典ネットワーク符号を参考文献１に従って量子ネットワーク符号に書き換える。量子バタフライネットワークは、図１において入力がb₁,b₂の代わりにd²次元空間に含まれる量子状態

で与えられる。また、古典情報の場合、各アークは単位時間当たりにd値の古典情報の通信を許されていたが、ここでは各アークは単位時間当たりd次元の量子状態の送信が許される。又、古典通信はすべてのノード間で無制限かつ瞬時に行われるものとする。この条件の下で、対応する量子ネットワーク上の量子ネットワーク符号化は以下の３つのステップで構成される。

１. 古典プロトコルを量子ネットワーク上で形式的にシミュレートすることによりエンタングル状態を量子ネットワーク上に構成する。

２. 余計なエンタングルメントをフーリエ基底への測定で壊すことによって、量子状態全体空間を縮小する。ここで、フーリエ基底とは、

である。

３. 測定結果に依存する位相のずれを訂正する。

これらのステップは、参考文献１のようにノードごとに行ってもよいし、参考文献２のようにすべてのノードに対してステップ１を行ってから、ステップ２と３を順に行っていっても良い。

ステップ１では、Z_d ^(×)nからZ_d ^(×)mへの写像f:(a₁,a₂,…,a_n)→f(a₁,a₂,…,a_n)∈Z_d ^(×)mに対してn+m個のd次元量子状態に対するユニタリーゲート

を作用させる。ここで、U_fは一意ではなく、上式を満たす任意のユニタリーゲートでよい。今、ノードに対する入力量子状態が

という一般のn個のd次元量子状態だとすると(ここでa_iはZ_dの元であり、複素係数

は

を満たす)、初期化された補助空間を用意しユニタリーゲートU_fを作用させた後の状態は、

となる。ここで、入力のn個のd次元量子状態を消す必要がある。これは、次のように行われる。まず、入力のn個のd次元量子状態のそれぞれを、フーリエ基底、すなわち

で測定しその出力を(p₁,p₂,…,p_n)とする。この操作で、ユニタリーゲートの出力状態は、測定結果(p₁,p₂,…,p_n)に依存して以下のように変形される。

欲しい状態と上記の状態との間には、測定結果に依存する位相のずれ

がある。この位相のずれを訂正するためには、測定結果(p₁,p₂,…,p_n)とfに依存して量子ゲートを作用させる必要がある。これが量子ネットワーク符号化の最後のステップとなるのだが、最も複雑なところであるので、一般的な手法はここでは説明しない。代わりにバタフライネットワークの場合のプロトコルを例示する。なお、すでに定義しているf₁等については、上記のような３ステップを実施することなく、入力量子ビットと初期化された補助量子ビット|0〉に対してゲートC-X：|a₁,a₂〉→|a₁,a₁(+)a₂〉を演算するだけで、上記の手法ですべてのステップを行った場合と同じ結果を得る。以下では、ノード１，２，４はこちらの処理を使う。

バタフライネットワークにおける図１で表される古典ネットワーク符号に対応する量子ネットワーク符号は以下のように構成される。なお、以下では、単位時間あたりの各ノードの操作と、その結果得られる単位時間における入力状態と出力状態の関係のみを扱う。実際の量子通信は単位時間あたりに以下の操作を繰り返す事で行われる。

１. ノードsは２個のd次元空間に含まれる状態|Ψ_in〉を生成し、２つの空間をそれぞれノード１と２に送信する。

２. ノード１とノード２は、それぞれ、受け取った量子状態と新しい量子状態|0〉を合わせてC-X ゲートを演算し、ノード１はノード３とノードt₁に、ノード２はノード３とノードt₂に出力量子状態を１つずつ送信する。

３. ノード３は、ノード１とノード２から受け取った合計２個の量子状態と初期化された補助量子ビット|0〉にU_f₃を掛け(f₃は既出)、更にノード１とノード２から送られた量子状態をそれぞれフーリエ基底で測定して、測定結果(p₁,p₂)を得る。ここで、p₁はノード１から来た量子状態空間に対する測定結果、p₂はノード２から来た量子状態空間への測定結果である。p₁をノードt₁、p₂をノードt₂に送信する。最後にノード３は残った量子状態(自分で最初に用意した量子状態) をノード４に送信する。

４. ノード４は、ノード３から受け取った状態と初期化された補助量子ビット|0〉をあわせてC-Xゲートを演算する。ノードt₁とt₂に出力した二つの量子状態をそれぞれ送信する。

５. ノードt₁はノード１から受信した量子状態にZ^p1を演算する。ノードt₂もノード２から受信した量子状態にZ^p1を演算する。ここで

である。

６. ノードt₁はノード１とノード４から送られてきた合計２個の量子状態に対してノード１からの状態を制御状態としてC-X ゲートの逆演算を作用させる。同様に、ノードt₂はノード１とノード４から送られてきた合計２個の量子状態に対してノード２からの状態を制御ビットとしてC-X ゲートの逆演算を作用させる。上記のプロトコルを行うことで、入力量子状態

に対して、ノードt₁ とノードt₂の4 つの量子状態の出力

は

となる。ここで量子空間A_mとB_mはノードt_mが持っている。ここから、フーリエ基底での測定とその測定結果に応じたZ演算で、|Ψ_in〉の一つ目の状態空間を状態空間A₁のA₂どちらか望む方、|Ψ_in〉の二つ目の状態空間を状態空間B₁とB₂のどちらか望む方に再構成することができる。たとえば、A₁とB₂に構成したければ、A₂をフーリエ基底で測定し、得られた測定結果pに応じてZ^pをA₁に作用させ、更にB₁をフーリエ基底で測定し、得られた測定結果qに応じてZ^qをB₂に作用させると良い。これら一連の操作によって、

が得られる。

以上が、従来技術であるが、上記の古典ネットワーク符号を元にした量子ネットワーク符号はマルチキャストという目的を全くはたしていない。すなわち、もとの古典のネットワーク符号は、d²値の情報(b₁, b₂)を終端ノードt₁とt₂の両方に配信している(図１) が、対応する上記の量子ネットワーク符号は、２つのd次元空間にふくまれる量子状態の|Ψ_in〉の各々の空間をノードt₁とt₂に送信することしかできていない。なお、ノード１、「もしくは」ノード２に量子状態全体を送信することも可能であることは容易にわかる。この場合、もう片方のノードには入力量子状態に関する何の情報も残されない。

本発明では、例えば、量子状態の|Ψ_in〉を２つのノードt₁とt₀両方に配信する事を目指す。すなわち、プロトコルの出力状態

が

となる量子ネットワーク符号を目指す。しかし、入力状態を変更させない場合、このようなタスクは量子力学の原理に反するため作成不可能であることは有名なクローン禁止定理（例えば、参考文献３参照。）より明らかである。一方、クローン禁止定理が許容する限界の精度となる出力状態を与えるプロトコルは『量子最適対称普遍クローン機械』と呼ばれる。そこで、本発明では、ネットワーク上でこの『量子最適対称普遍クローン機械』を実行する量子ネットワーク符号を提案する。

［参考文献３］M.A. Nielsen, I.L. Chuang, "Quantum Computation and Quantum Information", Cambridge University Press (2000)
そのために、本発明でも、参考文献１，２と同様に古典的なネットワークコーディングによるマルチキャストプロトコルを援用して、若干の量子もつれを受信者間におけるリソースとして利用する量子ネットワーク符号化プロトコルを構成する。

［バタフライネットワーク］
まず、バタフライネットワークの場合を例に、本発明の基本的な原理を説明する。援用する古典ネットワークとそこから生成する量子ネットワークの関係は参考文献１，２と同等の関係にある。

具体的には入力状態を、

とする。まず、ノードsで、

によって定義される測定を|Φ〉に対しておこなう。ただし、P(・)はベクトル・への射影演算子である。δはいわゆるクロネッカーのデルタであり、x₁=x₂であればδ(x₁,x₂)=1であり、x₁=x₂であればδ(x₁,x₂)=1であり、x₁≠x₂であればδ(x₁,x₂)=0である。測定結果がxの時の出力状態として得られる量子状態は

となる(ただし、

として、規格化していない表現とする)。測定結果xはノードt₁とノードt₂に古典通信路を使って古典コンピュータによる通信装置により伝えられるものとする。測定の結果得られる量子状態はd次元空間中の量子状態であるが、┌(d)^(1/2)┐次元の二つの量子空間の中に存在する量子状態と考える。ノードsでは、このd次元の入力状態|Φ〉を|Ψ_in〉として、［既存技術の概要］の欄で示したプロトコルを利用することで、

が出力として得る。m=1,2として、~A_mはA_mとB_mからなる状態空間であるとする。m=1,2として、A_mとB_mはt_mに存在している状態空間のことである。ここで、事前に受信ノードであるt₁とt₂の間で

をリソースとして共有しているとする。(C_mとD_mはそれぞれt_mに存在している状態空間であり、D₁は|(1,2)〉と|(2,1)〉を正規直交基底とする２次元空間であり、C_mは|1〉と|2〉を正規直交基底とする２次元空間である (この量子もつれはt₁とt₂の間でEPR対と同等の量子もつれを持っており、送信しようとしている量子状態の次元に依存しない事に注意されたい)。ここで、補助空間として、G₁E₁F₁とG₂E₂をそれぞれのノードt₁とt₂に持ち込む。G_mとE_mは|α∈Z_d〉を正規直交基底とするd次元空間であり、F₁は|(α,α’)∈Z_d ^(×)2〉を正規直交基底とするd²次元空間である。古典通信によって受信したx∈Z_dを使う事で、全系を

とすることができる。ここで、ノードt₁に対して、

となるユニタリ演算を作用させる。その後に、２つのノードt_mに対して

となるユニタリ演算を作用させる。ただし、各々の式において(1/2,2/1）は前者を1としたときは後者を2とし（1,2）、前者を2としたときには後者を1とする(2,1)ことを意味することとする。すると、

が得られる。

次に受信ノードであるt₁とt₂のそれぞれにおいて、上記演算により得られた量子状態をフーリエ基底で測定して、位相の修正をするという操作をするわけであるが、以下のように一般化した枠組みでみる。

操作１, {|u〉}_u, {|v〉}_vを正規直交基底とする。

が与えられた場合、Cの空間での測定とその結果を用いたAの空間へのユニタリ変換を実行することで

を得る事ができる事が容易に証明できる。このような操作を今後『空間Aを使って空間Cを消去する』という言い方をする事とする。注意として、この操作において空間を跨いだ測定やユニタリ変換を行っていない点と、純粋に空間Cを無視すると失われてしまう位相情報が残されて全系が純粋状態のままである点に注意されたい。

具体的な操作は以下のように実行する。

Cの空間次元をdとした場合、のフーリエ基底

による射影測定をおこない、測定結果pを得る。測定後の状態はpを用いて

と記述する事ができる。次に出力pに応じて

で定義されるユニタリ行列を作用させると所望の状態が得られる。

以上の一般論の立場にたつと、空間~A₁G₁D₁を使って空間~A₂G₂C₂を消去し、空間D₁を使って空間C₁を消去することで

が得られる。この表現をインデックスの付け替えによって

と書きなおす事ができる。ただし、Ω_a,xはa=xの時は、(x,x)のみからなる集合で、a≠xの時は、(a,x), (x,a)の二つの要素からなる集合であるとする。|ψ_x(b₁,b₂)〉はb₁=x又はb₂=xの時に

によって定義される量子状態である。ここで、定義域において全ての入力(b₁,b₂)に対して規格化されていると共に、互いに直交している。そこで、空間F₁を使って空間~A₁G₁D₁を消去する事ができ、

が得られる。空間F₁の状態|(b₁,b₂)>_F1はZ_d次元２つの部分空間F_1,1とF_1,2に分解し|(b₁,b₂)>_F1,1F1,2と書く事ができる。ここで、にさらに空間E_mを使って空間F_1,mを消去することで

が得られる。ただし、|a₁,a₂〉^symはa₁≠a₂のときは

であり、a₁=a₂のときは|a₁,a₁〉とする。そもそも、古典的な値xが測定によって確率的に生成されたことを考慮すると、最終的に得られる量子状態の密度行列は

であり、

と書く事ができる。ただし、P_symは対称空間への射影であるとする(対称空間とは、ここでは、|a₁,a₂〉^symで張られるd(d+1)/2次元空間である)。これを書き直すと、

が得られる。二つの部分空間に対して対称的であるこの密度行列において、その各々の部分空間は二つの受信ノードにそれぞれ存在する。また、この密度行列は、１つ純粋状態から２つの複製を作ろうとした場合の、複製精度の理論限界をあたえる量子状態を表していることがよく知られおり、それぞれの量子状態の複製精度は(1/2)+(1/(d+1))になる。このように複製精度の理論限界を達成する装置は一般的に『量子最適対称普遍クローン機械』と呼ばれ参考文献４に記載されている。本発明は量子ネットワーク符号を用いて『量子最適対称普遍クローン機械』の作成に成功した点に特徴がある。

［参考文献４］V. Scarani, S. Iblisdir, and N. Gisin, Rev. Mod. Phys. 77, 1225, (2005)
以上が、各々のアークにおいて┌d^(1/2)┐次元の完全な量子通信が可能で、古典通信は任意のノードで許され、受信者間でEPRペアをリソースとして持っている場合のd次元の量子状態を２受信者に配送する提案プロトコルである。

ただし、上の条件は実効的に実現されれば良い事を注意しておく、例えば「完全な量子通信」は不完全な量子通信と誤り訂正で代用できるし、d’次元の量子もつれの２者間での共有は、その２者間におけるd’次元の完全な量子通信と同等である。

［バタフライネットワークでの従来技術との比較］
量子情報のマルチキャストを行う方法は当業者が容易に思いつく方法としては２つある。

・純粋に、|Φ〉をアーク(s;1),(1;t₁)と(s;2),(2; t₂)を使って、t₁とt₂に単純に送るというプロトコルが考えられる。この場合の各アークにd次元の量子情報を送る容量が必要である。

・(s;1),(1;t₁)と(s;1),(1;3),(3;4),(4;t₁)となどt₁への通信路を２本確保し|Φ〉を100%の精度でt₁へ送信し、そこで最適な複製をしてから、片割れをt₁とt₂の間のエンタングルメントなどを利用して量子テレポーテーションをおこなうプロトコルが考えられる。この場合の各アークでは┌d^(1/2)┐元の量子通信を確保すればよいという点では本提案プロトコルと同じであるが、t₁とt₂との間で共有しなければならない量子もつれについては、提案プロトコルでは2次元の量子もつれで十分であるのに対して、この方法ではd次元の量子もつれが必要となる。

・バタフライネットワークに限れば、特許文献１はバタフライネットワーク上でd=4の場合に、受信ノードにおける量子もつれ状態の共有が不要であるという点以外は、本発明と同じ状況でのプロトコルが例示されていると言える。ただし、量子最適対称普遍クローニング機械になっておらず、本発明よりも低い複製精度しか出せていない。

以上のように、従来の手法よりも良い点がみられる切り口が至る所にある。これが非自明なネットワークプロトコルを初めて提案したことで実現した。

［一般的ネットワーク符号化から生成される量子ネットワーク符号化プロトコル］
N個の送信ノードからそれぞれ

値（ここでnは送信ノードのラベルで1≦n≦Nを満たす）の古典情報をM個のすべての受信ノードへマルチキャストをおこなう古典ネットワークコーディングをおこなうプロトコルが存在する事を仮定する。この時このプロトコルを利用して、対応する量子ネットワークにおいて、N個の送信ノードからそれぞれd⁽ⁿ⁾次元（1≦n≦N）の量子情報(Q⁽ⁿ⁾個のコピーがn番目の送信ノードに与えられる)をM個の受信ノードへマルチキャストする量子プロトコルを構成する。ここで、構成されたプロトコルによってマルチキャストされた量子状態の複製精度はそれぞれ

となる。これは、量子力学が許容する最適な複製精度であり、当プロトコルは例えば参考文献４に記載された『量子最適対称普遍クローン機械』をN個それぞれの入力ノードが並列に実現している。ただし、ここで対応関係にあると述べている古典的ネットワークと量子的ネットワークは以下の関係にあるとする。

・古典ネットワークにおいて通信が許容されるノードのペアと量子ネットワークにおいて通信が許容されるノードのペアは等しい。

・古典ネットワークにおいて単位時間当たりに各アークが通信する古典情報のサイズをと量子ネットワークにおいて単位時間当たりに各アークが通信する量子状態の次元が等しい。

・量子ネットワークにおいて古典通信は無制限に可能である。

・量子ネットワークにおいて、複数の受信者間に通信次元に依存しない量子もつれをリソースとして共有している。(具体的な形は以下の詳細に記述してある。)
以下具体的に、古典ネットワーク符号化を使って量子ネットワーク符号化を定義する。

まず、N個の送信ノードをs₁,s₂,…,s_N、M個の受信ノードをt₁,t₂,…,t_Mとし、個々のノードが配送しようとする状態を

とする場合、まず

が各送信ノードs_nに与えられているものとする。この時、このように書き下せる任意の状態|Φ⁽ⁿ⁾〉は

と書き下せ、d⁽ⁿ⁾[Q⁽ⁿ⁾]次元の対称空間に含まれることがわかる。ただし、

と定義する。ここで、Ω_(^→a)は数列^→aに対して定義される集合で

|^→a|は数列^→aの要素数を表し、S_QはQ次の置換群、|Ω_(^→a)|は集合Ω_(^→a)の要素数をあらわす。置換σ∈S_(|^→a|)に対して^→a_σは数列(a_σ(1),a_σ(2),…,a_σ(Q))をあらわすものとする。これらから、|Φ⁽ⁿ⁾〉をd⁽ⁿ⁾[Q⁽ⁿ⁾]次元の量子状態とみなすことができる。ただし、これらの定義から|^→α>^symのノルムが１になっていることに注意されたい。

次に、ノードs_nで、

によって定義される測定を|Φ⁽ⁿ⁾〉に対しておこなう。ただし、(^→a,^→x)は二つの数列を直列に並べた数列とする。測定結果が^→xの時の出力状態として得られる量子状態は

となる(ただし、

として、規格化していない表現とする)。測定結果^→x⁽ⁿ⁾は受信ノードt_mに古典通信路を通じて古典コンピュータによる通信装置により伝えられるものとする。

次に、バタフライネットワークの時と同様に、対応する古典的ネットワーク符号のルールに従って、N個の送信ノードで作られた独立な量子状態の情報をM個の受信ノードに送る。つまり、全ての送信ノードs_nにおけるd⁽ⁿ⁾[Q⁽ⁿ⁾]次元の量子状態|Φ⁽ⁿ⁾〉の直積を|Ψ_in〉として、［既存技術の概要］で示したプロトコルを実行する。この時、中間のノードでおこなう古典的なプロトコルにおける

という計算は計算のたびごとに補助の量子空間を用意し、

を満たすユニタリ行列をおこなう事で代用する。そして計算後にのこされた空間はそのままそのノードが保持する。

古典的なネットワーク符号化によって古典情報がマルチキャストできるという事実から、一連の量子操作等を実行した後の状態は

と書くことができる。ただし、ここでVは送信者（送信ノード）・受信者（受信ノード）・中継者（中継ノード）をふくむすべてのノードを表す。また、C_vはノードvに存在する状態空間であり、~A_m ⁽ⁿ⁾は受信ノードt_mに存在する状態空間である。

ここで、任意のv∈Vに対して、空間~A₁ ⁽¹⁾~A₁ ⁽²⁾…~A₁ ^(N)を使って空間C_vを消去する事ができ、

がえられる。以上が、対応する古典ネットワーク符号を利用した部分である。以下、ここで得られた量子状態と、M個の受信ノード間でリソースとして量子もつれを利用して、各送信ノードが送信しようとした量子状態に近い状態を各受信ノードで作成するプロトコルを明示する。まず、利用する量子もつれは具体的には

とかけるものとする。ただし、C_m ⁽ⁿ⁾はノードt_mに属し|m∈{1,2,…,M}〉を正規直交基底とするM次元の量子状態空間であり、D₁ ⁽ⁿ⁾はノードt₁に属し|σ∈S_M〉を正規直交基底とするM!次元の量子状態空間とする。注意として、上記のN個の量子もつれは全てにおいてノードt₁が他のノードと非対称的となっているが、nの値に応じて異なるノードがt₁の役割を果たしても以後の議論は同様に展開できる。ここで、補助空間としてG_m ⁽ⁿ⁾とE_m ⁽ⁿ⁾とF₁ ⁽ⁿ⁾を持ち込む。G_m ⁽ⁿ⁾E_m ⁽ⁿ⁾はそれぞれノードt_mに属し|a∈Z_d⁽ⁿ⁾〉を正規直交基底とするd⁽ⁿ⁾次元の量子状態空間であり、F₁ ⁽ⁿ⁾をt₁に属し

を正規直交基底とする(d⁽ⁿ⁾)^M次元の量子状態空間である。次に、古典通信によって受信した

を使う事で、全系を

と記述できる。ただし、^→0⁽ⁿ⁾はM個の0列とする。ここで、nを引数として分割された直積空間のそれぞれ含まれる状態、

に対して以下の処理をおこなう(ただし、(n)の記号は簡単のため省略する)。
まず、t₁において

を作用させた後に、全ての受信ノードt_mにおいて

を作用させると、

が得られる。ただし、二つの数列^→aと^→xを直列に並べた数列(^→a,^→x)に対して(^→a,^→x)_mは数列(^→a,^→x)のm番目の要素とする。つまり、式(36)(式(37))で定義されるユニタリ演算U₀,U_{m∈{1,2,…,M}}は、補助空間F₁(E_m)における量子状態が、当該受信ノードが保有している空間~A₁G₁(~A_mG_m)における量子状態|^→a,^→x>を空間C_mにおける量子状態|σ〉(|σ(m)〉)で指定されるインデックスで選択した要素の値をもつ状態(インデックス順で置き換えた状態)となるように変換する演算である。ここで任意の1<m≦Mに対して、空間~A₁G₁D₁を使って空間~A_mG_mC_mを消去し、D₁を使ってC₁を消去する事ができ

が得られる。さらに、任意の

に対して次の一般的に成り立つ関係式を利用する。

ただし、Ω_(^→a,^→b)を|^→a|=|^→b|が成り立つ二つの数列^→aと^→bに対して定義される集合{σ|σ∈S_|^→a|,^→a_σ=^→b}とする。ここで、式(40)の関係式を使う事で、式(39)は

と書くことができる。ただし、|ψ_(^→x)(^→b)>を^→b∈Ω_((^→a,^→x))となる^→aが存在する時に、

で定義される量子状態であり、定義域の範囲の全ての入力^→bにおいて規格化されていているとともに、互いに直交している。そこで、空間F₁を使って空間~A₁G₁D₁を消去する事ができ、

が得られる。空間F₁の状態|^→b>_F₁はM個のZ_d次元の部分空間F_1,mに分解し

と書く事ができる。ここで、さらに空間E_mを使って空間F_1,mをそれぞれのmで消去することで

が得られる。ただし、ここでは~α_^→aの定義を陽に使うとともに、|^→b>^symは

とする。そもそも、古典的な値xが測定によって確率的に生成されたことを考慮すると、最終的に得られる量子状態の密度行列は

であり、

と書く事ができる。ただし、P_symは対称空間への射影であるとする(対称空間とは、ここでは、|^→b>^symで張られるd[|^→b|]次元空間である)。これを書き直すと、

が得られる。M個の部分空間に対して対称的であるこの密度行列において、その各々の部分空間はそれぞれ受信ノードt_mに存在する。また、この密度行列は、Q個の純粋状態からM個の複製を作ろうとした場合の、複製精度の理論限界をあたえる量子状態を表していることがよく知られおり、それぞれの量子状態の複製精度は

となる。以上の操作を受信ノードの各々の直積状態に対して実行する事で

が得られる。直積になっている個々の対称的な状態における個々の部分空間が各々の受信ノードt_mに存在する。すなわち、このプロトコルは、d次元量子状態をN個入力し、その複製M個を出力する例えば参考文献４に記載された『量子最適対称普遍クローン機械』をネットワーク上で実現することに成功している。

［量子演算装置］
各量子状態における測定及びユニタリ演算は、量子演算装置により実現される。量子演算装置は、量子コンピュータ単体で実現できる。量子コンピュータの実現する物理系としては、例えば、イオントラップを用いる方法（J. I. Cirac and P. Zoller, Quantum computations with cold trapped ions, Physical Review Letter 74;4091, 1995）、量子ビットとして光子の偏光や光路を用いる方法（Y. Nakamura, M. Kitagawa, K. Igeta, In 3-rd Proc. Asia-Pacific Phys. Comf., World Scientific, Singapore, 1988）、液体中の各スピンを用いる方法（Gershenfield, Chuang, Bulk spin resonance quantum computation, Science, 275;350, 1997）、シリコン結晶中の核スピンを用いる方法（B. E. Kane, A silicon-based nuclear spin quantum computer, Nature 393, 133, 1998）、量子ドット中の電子スピンを用いる方法（D. Loss and D. P. DiVincenzo, Quantum computation with quantum dots, Physical Review A 57, 120-126, 1998）、超伝導素子を用いる方法（Y. Nakamura, Yu. A. Pashkin and J. S. Tsai, Coherent control of macroscopic quantum states in a single-cooper pair box, Nature 393, 786-788, 1999）等を例示できる。また、それぞれの物理系に対する量子コンピュータの実現方法については、「http://www.ipa.go.jp/security/fy11/report/contents/crypto/crypto/report/QuantumComputers/contents/doc/qc_survey.pdf」や「M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge UniversityPress, Chapter 7 Physical Realization」に詳しい。

Claims (3)

1. 配信先のノードである受信ノードの数Mよりも少ない数の送信量子状態をそれぞれ有するN個の送信ノードs₁,s₂,…,s_Nから、M個の受信ノードの各々に前記送信量子状態を高精度で近似する量子状態を配信するマルチキャスト方法であって、
   d⁽ⁿ⁾,Q⁽ⁿ⁾をn(n=1,2,…,N)に応じて定まる正の整数とし、^→aを0≦a₁≦…≦a_Q≦dの関係を満たす数列a₁,a₂,…,a_Qとし、jを正の整数としてS_jをj次の置換群とし、^→cを数列とし|^→c|を数列を構成する要素の数とし、^→c_σを数列^→cを構成する各数を置換σによって置換した数により構成される数列とし、Ω_(^→c)を数列^→cに対して定義される集合{^→c_σ|σ∈S_|^→c|}とし、(^→a,^→x)を２つの数列^→a,^→xを直列に並べた数列とし、d⁽ⁿ⁾[Q⁽ⁿ⁾]は整数
   

   

   を表すとし、|Ω_(^→c)|を集合を構成する要素の数とし、P(・)を・への射影演算子として、各送信ノードs_n(n=1,2,…,N)において、以下の式で定義される測定を行う第１測定ステップと、
   

   

   前記第１測定ステップを実行して得られる測定結果である古典情報^→x⁽ⁿ⁾を前記M個の受信ノードに古典通信路を使って送信する古典通信ステップと、
   前記送信ノードの状態を前記M個の受信ノードに送信する古典ネットワーク符号化プロトコルを、前記第１測定ステップを実行して得られる量子状態を初期値とする量子ネットワーク上でシミュレートするシミュレートステップと、
   前記シミュレートステップにより生成される量子ネットワーク上のエンタングル状態に対して、フーリエ基底への測定を行う第２測定ステップと、
   ^→0⁽ⁿ⁾をM個の0列とし、
   

   

   とし、
   

   

   とし、~A_m ⁽ⁿ⁾を受信ノードt_mに存在する状態空間とし、D₁ ⁽ⁿ⁾を受信ノードt₁に属し|σ∈S_M〉を正規直交基底とするM!次元の量子状態空間とし、C_m ⁽ⁿ⁾を受信ノードt_mに属し|m∈{1,2,…,M}〉を正規直交基底とするM次元の量子状態空間とし、E_m ⁽ⁿ⁾,G_m ⁽ⁿ⁾を受信ノードt_mに属し|a∈Z_(d)〉を正規直交基底とするd⁽ⁿ⁾次元の量子状態空間とし、F₁ ⁽ⁿ⁾を受信ノードt₁に属し、
   

   

   を正規直交基底とする(d⁽ⁿ⁾)^M次元の量子状態空間とし、jを正の整数として(^→a,^→x)_jを数列(^→a,^→x)のj番目の要素として、前記第２測定ステップにより生成される量子状態と前記Ｍ個の受信ノードの間で共有されている補助状態であるエンタングル状態とからなる量子状態
   

   

   にユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第１演算ステップと、
   前記第１演算ステップで生成された量子状態に対して、m≠1における空間~A_mG_mC_mとC_mの測定を行う第３測定ステップと、
   前記第３測定ステップで得られた結果により特定される空間~A₁G₁D₁へのユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第２演算ステップと、
   b_mを数列^→bのm番目の要素とし、⁻Ω_(^→a,^→b)を|^→a|=|^→b|が成り立つ二つの数列^→aと^→bに対して定義される集合{σ|σ∈S_|^→a|,^→a_σ=^→b}とし、|ψ_(^→x)(^→b)>を^→b∈Ω_((^→a,^→x))となる^→aが存在する時に、
   

   

   で定義される量子状態であり、定義域の範囲の全ての入力^→bにおいて規格化されていているとともに、互いに直交しているとして、前記第２演算ステップで生成された量子状態を、
   

   

   で表されるものとして、空間~A₁G₁D₁に対する測定を行う第４測定ステップと、
   前記第４測定ステップで得られた結果により特定される空間F₁へのユニタリ演算を施すことにより
   

   

   である量子状態を生成する第３演算ステップと、
   前記第３演算ステップで生成された量子状態に対して、各mについて、空間F_1,mに対する測定を行う第５測定ステップと、
   ^→cを数列とし|^→c>^symを|Ω_^→c|^(-1/2)Σ_(^→c’∈Ω_^→c)|^→c’>として、空間F₁がM個のZ_d次元の部分空間F_1,mにより構成されるとして、各mについて、前記第５測定ステップで得られた空間F_1,mに対する測定結果により特定される部分空間E_mへのユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第４演算ステップと、
   を有するマルチキャスト量子ネットワーク符号化方法。
2. 請求項１のマルチキャスト量子ネットワーク符号化方法において、
   上記第１演算ステップにおけるユニタリ演算は、受信ノードt₁において、
   

   

   を作用させた後に、全ての受信ノードt_mにおいて
   

   

   を作用させるものである、
   マルチキャスト量子ネットワーク符号化方法。
3. １個の送信ノードs₁から、２個の受信ノードt₁,t₂の各々に前記送信ノードs₁の送信量子状態を高精度で近似する量子状態を配信するマルチキャスト方法であって、
   dを正の整数とし、P(・)を・への射影演算子として、前記送信ノードs₁において、以下の式で定義される測定を行う第１測定ステップと、
   

   

   前記第１測定ステップを実行して得られる測定結果である古典情報xを前記２個の受信ノードに古典通信路を使って送信する古典通信ステップと、
   前記送信ノードの状態を前記２個の受信ノードに送信する古典ネットワーク符号化プロトコルを、前記第１測定ステップを実行して得られる量子状態を初期値とする量子ネットワーク上でシミュレートするシミュレートステップと、
   前記シミュレートステップにより生成される量子ネットワーク上のエンタングル状態に対して、フーリエ基底への測定を行う第２測定ステップと、
   A_mとB_m とC_mとD_mとE_mとF_mとG_mはそれぞれt_mに存在している状態空間であり、~A_mをA_mとB_mとからなる状態空間とし、D₁は|(1,2)〉と|(2,1)〉を正規直交基底とする２次元空間であり、C_mは|1〉と|2〉を正規直交基底とする２次元空間とし、A_m,B_m,E_m,G_mを|α∈Z_d〉を正規直交基底とするd次元の空間とし、F₁を|(α,α’)∈Z_d ^(×)2>を正規直交基底とするd²次元空間として、前記第２測定ステップにより生成される量子状態と前記２個の受信ノードの間で共有されている補助状態であるエンタングル状態とからなる量子状態
   

   

   にユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第１演算ステップと、
   前記第１演算ステップで生成された量子状態に対して、空間~A₂G₂C₂とC₁の測定を行う第３測定ステップと、
   前記第３測定ステップで得られた結果により特定される空間~A₁G₁D₁へのユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第２演算ステップと、
   Ω_a,xをa=xの時は(x,x)のみからなる集合で、a≠xの時は、(a,x), (x,a)の二つの要素からなる集合であるとし、|ψ_x(b₁,b₂)〉はb₁=x又はb₂=xの時に
   

   

   によって定義される量子状態であり、定義域において全ての入力(b₁,b₂)に対して規格化されていると共に、互いに直交しているとして、前記第２演算ステップで生成された量子状態を、
   

   

   で表されるものとして、空間~A₁G₁D₁に対する測定を行う第４測定ステップと、
   前記第４測定ステップで得られた結果により特定される空間F₁へのユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第３演算ステップと、
   前記第３演算ステップで生成された量子状態に対して、各mについて、空間F_1,mに対する測定を行う第５測定ステップと、
   a₁,a₂を数列とし|a₁,a₂〉^symはa₁≠a₂のときは
   

   

   でありa₁=a₂のときは|a₁,a₁〉として、空間F₁がM個のZ_d次元の部分空間F_1,mにより構成されるとして、各mについて、前記第５測定ステップで得られた空間F_1,mに対する測定結果により特定される部分空間E_mへのユニタリ演算を施すことにより、
   

   

   である量子状態を生成する第４演算ステップと、
   を有するマルチキャスト量子ネットワーク符号化方法。

Images