【手続補正書】
【提出日】令和2年5月22日(2020.5.22)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
量子コンピューターに動作可能に接続されたデジタルコンピュータを使用して、キュービットのシステムを設定するためのコンピューターによって実施される方法であって、前記デジタルコンピュータが、コンピューターメモリと、前記コンピューターメモリに動作可能に接続された１つ以上のコンピュータープロセッサーを含み、
該方法は：
（ａ）（ｉ）有界整数領域上の多項式と（ｉｉ）整数符号化パラメータを提供するために、前記１つ以上のコンピュータープロセッサーを使用する工程；
（ｂ）整数符号化パラメータを使用して有界係数符号化を計算するために、前記１つ以上のコンピュータープロセッサーを使用する工程；
（ｃ）有界係数符号化を使用して、前記多項式を、有界整数領域から２進表現に書き直すために、前記１つ以上のコンピュータープロセッサーを使用する工程；および、
（ｄ）キュービットのシステム上で多項式の２進表現を埋め込む工程、
を含む、方法。
【請求項２】
有界整数領域上の多項式は、単一の有界整数変数、いくつかの有界整数変数の一次関数、あるいは、いくつかの有界整数変数の二次多項式である、請求項１に記載の方法。
【請求項３】
有界整数領域上の多項式は単一の有界整数変数であり、（ｄ）は、キュービットのシステムに、複数の対応する局所場バイアスを割り当てる工程を含み；キュービットのシステム内の各キュービットに対応する各局所場バイアスは、整数符号化パラメータを使用して提供される、請求項２に記載の方法。
【請求項４】
有界整数領域上の多項式はいくつかの有界整数変数の一次関数であり、（ｄ）は、キュービットのシステムに、複数の対応する局所場バイアスを割り当てる工程を含み；キュービットのシステム内の各キュービットに対応する各局所場バイアスは、一次関数と整数符号化パラメータを使用して提供される、請求項２に記載の方法。
【請求項５】
有界整数領域上の多項式はいくつかの有界整数変数の二次多項式であり、（ｄ）は、２進表現を、キュービットのシステムの各キュービット上の局所場およびキュービットのシステムの複数の対の結合をさらに含むキュービットのシステムのレイアウトに埋め込む工程を含む、請求項２に記載の方法。
【請求項６】
キュービットのシステムは超電導キュービットのシステムである、請求項１−５のいずれか１つに記載の方法。
【請求項７】
キュービットのシステムは量子アニール装置である、請求項１−６のいずれか１つに記載の方法。
【請求項８】
（ｃ）は、有界係数符号化を使用して２値変数の一次関数として、多項式の各整数変数を書き直す工程をさらに含む、請求項１に記載の方法。
【請求項９】
（ｃ）は、有界係数符号化における退化を回避するために、追加の制約を２値変数に提供する工程をさらに含む、請求項１に記載の方法。
【請求項１０】
（ｃ）は、多項式の各整数変数を等しい２進表現に置き換える工程と、有界整数領域上の多項式の２進表現の係数を計算する工程を含む、請求項１に記載の方法。
【請求項１１】
（ｃ）は、２値変数の最大でも２次の等しい多項式を生成するために、次数低減を、有界整数領域上の多項式の２進表現に行う工程を含む、請求項１に記載の方法。
【請求項１２】
有界係数符号化を使用して有界整数領域上の多項式の最適化を行う工程をさらに含む、請求項１−１１のいずれか１つに記載の方法。
【請求項１３】
多項式の最適化は、キュービットのシステム上の最初の横磁場から、測定可能な軸における多項式を表す最終的なハミルトニアンへの量子断熱発展によって行われる、請求項１２に記載の方法。
【請求項１４】
多項式の最適化は：
（ａ）有界整数領域上の多項式の２進表現を提供する工程；
（ｂ）有界整数領域上の非退化制約のシステムを提供する工程；および、
（ｃ）２進多項式制約付きの多項式としての非退化制約のシステムを条件として、多項式の２進表現の最適化の問題を解く工程、
を含む、請求項１２または１３に記載の方法。
【請求項１５】
多項式制約付きの多項式を解く工程は：
（ａ）多項式制約付きの２進表現を得るために、整数符号化パラメータを使用して、目的関数の有界係数符号化、および多項式制約付きの多項式の１セットの制約を計算する工程；
（ｂ）非退化制約のシステムを提供する工程；
（ｃ）非退化制約のシステムを、多項式制約付きの多項式の２進表現のセットの制約に加える工程；および、
（ｄ）多項式制約付きの多項式２進表現の最適化の問題を解く工程、
を含む、請求項１４に記載の方法。
【請求項１６】
整数符号化パラメータを提供することは、有界係数符号化の係数における上界を直接得ることを含む、請求項１−１５のいずれか１つに記載の方法。
【請求項１７】
整数符号化パラメータを提供することは、キュービットのシステムのそれぞれエラー耐性と結合強度に基づいて、有界係数の符号化の係数における上界を得ることを含む、請求項１−１５のいずれか１つに記載の方法。
【請求項１８】
有界係数符号化の係数は、不等式制約のシステムを含む、請求項１７に記載の方法。
【請求項１９】
システムであって、該システムは：
（ａ）キュービットのサブシステム；
（ｂ）キュービットのサブシステムに動作可能に接続されたコンピューターであって、少なくとも１つのコンピュータープロセッサー、実行可能な命令を行うように構成されたオペレーティングシステム、およびメモリを含む、コンピューター；および、
（ｃ）キュービットのサブシステムを設定するためのアプリケーションを生成するための、少なくとも１つのコンピュータープロセッサーによって実行可能な命令を含むコンピュータープログラム、
を含み、該アプリケーションは：
（ｉ）有界整数領域上の多項式と整数符号化パラメータを提供する工程；
（ｉｉ）多項式の整数符号化パラメータを使用して有界係数符号化を計算する工程；
（ｉｉｉ）有界係数符号化を使用して、多項式プログラミング問題を、有界整数領域から２値表現に書き直す工程；および、
（ｉｖ）キュービットのサブシステム上で多項式の２進表現を埋め込む工程、を含む方法を実施するように構成される、システム。
【請求項２０】
有界整数領域上の多項式は、単一の有界整数変数、いくつかの有界整数変数の一次関数、あるいは、いくつかの有界整数変数の二次多項式である、請求項１９に記載のシステム。
【請求項２１】
有界整数領域上の多項式は単一の有界変数であり、（ｃ）ｉｖ）は、キュービットのシステムに、複数の対応する局所場バイアスを割り当てる工程を含み；キュービットのサブシステム内の各キュービットに対応する各局所場バイアスは、整数符号化パラメータを使用して提供される、請求項２０に記載のシステム。
【請求項２２】
有界整数領域上の多項式はいくつかの有界整数変数の一次関数であり、（ｃ）．ｖｉ）は、キュービットのシステムに、複数の対応する局所場バイアスを割り当てる工程を含み；キュービットのサブシステム内の各キュービットに対応する各局所場バイアスは、一次関数と整数符号化パラメータを使用して提供される、請求項２０に記載のシステム。
【請求項２３】
有界整数領域上の多項式はいくつかの有界整数変数の二次多項式であり、（ｃ）．ｖｉ）は、２進表現を、キュービットのサブシステムの各キュービット上の局所場およびキュービットのサブシステムの複数の対の結合をさらに含むキュービットのサブシステムのレイアウトに埋め込む工程を含む、請求項２０に記載のシステム。
【請求項２４】
キュービットのサブシステムは超電導キュービットのサブシステムである、請求項１９−２３のいずれか１つに記載のシステム。
【請求項２５】
キュービットのサブシステムは量子アニール装置である、請求項１９−２４のいずれか１つに記載のシステム。
【請求項２６】
（ｃ）ｉｉｉ）は、有界係数符号化を使用して２値変数の一次関数として、多項式の各整数変数を書き直す工程をさらに含む、請求項１９に記載のシステム。
【請求項２７】
（ｃ）ｉｉｉ）は、有界係数符号化における退化を回避するために、追加の制約を２値変数に提供する工程をさらに含む、請求項２６に記載のシステム。
【請求項２８】
（ｃ）ｉｉｉ）は、多項式の各整数変数を等しい２進表現に置き換える工程と、有界整数領域上の多項式の２進表現の係数を計算する工程を含む、請求項１９に記載のシステム。
【請求項２９】
（ｃ）ｉｉｉ）は、２値変数の最大でも２次の等しい多項式を生成するために、次数低減を、有界整数領域上の多項式の２進表現に行う工程を含む、請求項１９に記載のシステム。
【請求項３０】
有界係数符号化を使用して有界整数領域上の多項式の最適化を行う工程をさらに含む、請求項１９−２９のいずれか１つに記載のシステム。
【請求項３１】
（ｃ）ｉ）は、有界係数符号化の係数における上界を直接得る工程を含む、請求項１９−３０のいずれか１つに記載のシステム。
【請求項３２】
（ｃ）ｉ）は、キュービットのサブシステムの局所場バイアスのエラー耐性と結合強度に基づいて、有界係数の係数における上界を得る工程を含む、請求項１９−３１のいずれか１つに記載のシステム。
【請求項３３】
１つ以上のコンピュータープロセッサーによる実行に際し、キュービットのシステムを設定するための方法を実施する、機械実行可能なコードを含むコンピューター可読媒体であって、該方法は：
（ａ）有界整数領域上の多項式制約付きの多項式と整数符号化パラメータを提供する工程；
（ｂ）整数符号化パラメータを使用して有界係数符号化を計算する工程；
（ｃ）有界係数符号化を使用して、多項式プログラミング問題を、有界整数領域から２値表現に書き直す工程；および、
（ｄ）キュービットのシステム上で多項式の２進表現を埋め込む工程、
を含む、コンピューター可読媒体。
【請求項３４】
１つ以上のコンピュータープロセッサーによる実行に際し、請求項２−１８のいずれかに記載の方法を実行する、機械実行可能なコードをさらに含む、請求項３３に記載のコンピューター可読媒体。