LIMDD: スタビライザー状態を含む量子コンピューティングのシミュレーションのための決定図

【1] アルウィン・ズーレーナーとロバート・ヴィレ。 「可逆回路のワンパス設計: 可逆ロジックのための埋め込みと合成の組み合わせ」。 集積回路およびシステムのコンピュータ支援設計に関する IEEE トランザクション、37、996–1008 (2017)。
https：/ / doi.org/ 10.1109 / TCAD.2017.2729468

【2] ルーカス・ブルクホルツァーとロバート・ヴィレ。 「量子回路の DD ベースの等価性検査の改善」。 2020 年に第 25 回アジアおよび南太平洋デザイン オートメーション カンファレンス (ASP-DAC) が開催されます。 127 ～ 132 ページ。 IEEE (2020)。
https:/ / doi.org/ 10.1109/ ASP-DAC47756.2020.9045153

【3] ルーカス・ブルクホルツァー、リチャード・クエン、ロバート・ヴィレ。 「量子回路検証のためのランダム刺激生成」。 第 26 回アジアおよび南太平洋デザインオートメーション会議の議事録。 767 ～ 772 ページ。 （2021年）。
https：/ / doi.org/ 10.1145 / 3394885.3431590

【4] ルーカス・ブルクホルツァーとロバート・ヴィレ。 「量子回路の高度な等価性検査」。 集積回路およびシステムのコンピュータ支援設計に関する IEEE トランザクション 40、1810 ～ 1824 (2020)。
https：/ / doi.org/ 10.48550 / arXiv.2004.08420

【5] ジョン・プレスキル。 「NISQ 時代以降の量子コンピューティング」。 クォンタム 2、79 (2018)。
https：/ / doi.org/ 10.48550 / arXiv.1801.00862

【6] ダニエル・ゴッツマン。 「量子コンピューターのハイゼンベルク表現」(1998)。 URL: arxiv.org/abs/quant-ph/9807006。
arXiv：quant-ph / 9807006

【7] スコット・アーロンソンとダニエル・ゴッツマン。 「安定化回路のシミュレーションの改善」。 フィジカル レビュー A 70 (2004)。
https：/ / doi.org/ 10.1103 / physreva.70.052328

【8] ダニエル・ゴッテスマン。 「スタビライザーコードと量子誤り訂正」。 博士論文。 カリフォルニア工科大学。 （1997）。
https：/ / doi.org/ 10.48550 / arXiv.quant-ph / 9705052
arXiv：quant-ph / 9705052

【9] マールテン・ヴァン・デン・ネスト、ジェロン・デハーネ、バート・デ・ムーア。 「安定化国家のローカルユニタリ対ローカルクリフォード等価性」。 物理学。 Rev. A 71、062323 (2005)。
https：/ / doi.org/ 10.1103 / PhysRevA.71.062323

【10] マティアス・エングルブレヒトとバーバラ・クラウス。 「スタビライザー状態の対称性ともつれ」。 物理学。 Rev. A 101、062302 (2020)。
https：/ / doi.org/ 10.1103 / PhysRevA.101.062302

【11] ロバート・ラウセンドルフとハンス・J・ブリーゲル。 「一方向量子コンピューター」。 物理。 Ｒｅｖ．Ｌｅｔｔ． 86、5188–5191（2001）。
https：/ / doi.org/ 10.1103 / PhysRevLett.86.5188

【12] セルゲイ・ブラヴィ、グレアム・スミス、ジョン・A・スモーリン。 「古典的および量子計算リソースの取引」。 物理学。 Rev. X 6、021043 (2016)。
https：/ / doi.org/ 10.1103 / PhysRevX.6.021043

【13] セルゲイ・ブラヴィとデヴィッド・ゴセット。 「クリフォードゲートが支配的な量子回路の古典的シミュレーションの改善」。 物理学。 レット牧師。 116、250501 (2016)。
https：/ / doi.org/ 10.1103 / PhysRevLett.116.250501

【14] セルゲイ・ブラヴィ、ダン・ブラウン、パドレイク・カルピン、アール・キャンベル、デヴィッド・ゴセット、マーク・ハワード。 「低ランクスタビライザー分解による量子回路のシミュレーション」。 Quantum 3、181 (2019)。
https:/​/​doi.org/​10.22331/​q-2019-09-02-181

【15] 黄亦菲とピーター・ラブ。 「スタビライザーのランクを概算し、量子ビットのクリフォードが支配する回路の弱いシミュレーションを改善しました。」 物理学。 Rev. A 99、052307 (2019)。
https：/ / doi.org/ 10.1103 / PhysRevA.99.052307

【16] ルーカス・コシアとピーター・ラブ。 「離散ウィグナー関数における定常位相法と量子回路の古典的シミュレーション」 クォンタム 5、494 (2021)。
https:/​/​doi.org/​10.22331/​q-2021-07-05-494

【17] ルーカス・コシアとモハン・サロヴァール。 「より少ないガウス消去法を使用した量子回路の古典的なシミュレーション」。 フィジカルレビュー A 103、022603 (2021)。
https：/ / doi.org/ 10.1103 / PhysRevA.103.022603

【18] シェルドン・B・エイカーズ。 「二分決定図」。 IEEE Computer Architecture Letters 27、509–516 (1978)。
https：/ / doi.org/ 10.1109 / TC.1978.1675141

【19] ランダル・E・ブライアント。 「ブール関数操作のためのグラフベースのアルゴリズム」。 IEEEトランス。 コンピュータ 35、677–691 (1986)。
https：/ / doi.org/ 10.1109 / TC.1986.1676819

【20] ランダル・E・ブライアントとイルンアン・チェン。 「２値モーメント図による演算回路の検証」。 第32回デザインオートメーションカンファレンスにて。 535 ～ 541 ページ。 IEEE (1995)。
https:/ / doi.org/ 10.1109/ DAC.1995.250005

【21] GF ヴィアモンテス、IL マルコフ、JP ヘイズ。 「高性能 QuIDD ベースの量子回路シミュレーション」。 欧州会議および展示会における設計、自動化およびテストの議事録に掲載されています。 第 2 巻、1354 ～ 1355 ページ 第 2 巻。 (2004)。
https：/ / doi.org/ 10.1109 / DATE.2004.1269084

【22] RI バハール、EA フローム、CM ガオナ、GD ハックテル、E. マチー、A. パルド、F. ソメンジ。 「代数的意思決定図とその応用」。 1993 年のコンピュータ支援設計国際会議 (ICCAD) の議事録より。 188 ～ 191 ページ。 （1993年）。
https:/ / doi.org/ 10.1109/ ICCAD.1993.580054

【23] ジョージ・F・ヴィアモンテス、イーゴリ・L・マルコフ、ジョン・P・ヘイズ。 「量子回路のゲートレベルシミュレーションの改善」。 量子情報処理 2、347–380 (2003)。
https:/ / doi.org/ 10.1023/ B:QINP.0000022725.70000.4a

【24] 藤田正裕、パトリック・C・マクギア、JC-Yヤン。 「多端子二分決定図: 行列表現のための効率的なデータ構造」。 システム設計における形式的手法 10、149–169 (1997)。
https：/ / doi.org/ 10.1023 / A：1008647823331

【25] EM クラーク、KL マクミラン、X チャオ、M. フジタ、J. ヤン。 「技術マッピングへのアプリケーションを使用した大規模なブール関数のスペクトル変換」。 第 30 回国際デザインオートメーション会議の議事録。 54～60ページ。 DAC '93米国ニューヨーク州ニューヨーク（1993年）。 コンピューティング機械協会。
https：/ / doi.org/ 10.1145 / 157485.164569

【26] スコット・サナーとデヴィッド・マカレスター。 「アフィン代数決定図 (AADD) と構造化確率的推論へのその応用」。 第 19 回人工知能に関する国際共同会議の議事録。 1384 ～ 1390 ページ。 IJCAI'05米国カリフォルニア州サンフランシスコ(2005)。 Morgan Kaufmann Publishers Inc. URL: www.ijcai.org/Proceedings/05/Papers/1439.pdf。
https:/ / www.ijcai.org/ Proceedings/ 05/ Papers/ 1439.pdf

【27] Dマイケル・ミラーとミッチェル・A・ソーントン。 「QMDD: 可逆回路と量子回路の決定図構造」。 第 36 回多値論理国際シンポジウム (ISMVL'06) にて。 30～30ページ。 IEEE (2006)。
https:/ / doi.org/ 10.1109/ ISMVL.2006.35

【28] アルウィン・ズーレーナーとロバート・ヴィレ。 「量子計算の高度なシミュレーション」。 集積回路およびシステムのコンピュータ支援設計に関する IEEE トランザクション 38、848–859 (2018)。
https：/ / doi.org/ 10.48550 / arXiv.1707.00865

【29] シン・ホン、ジョウ・シャンジェン、サンジャン・リー、ユアン・フォン、ミンシェン・イン。 「量子回路を表現するためのテンソルネットワークベースの決定図」。 ACMトランス。 デス。 オートム。 電子。 システム。 27（2022）。
https：/ / doi.org/ 10.1145 / 3514355

【30] ステファン・ヒルミッチ、リチャード・クエン、イーゴリ・L・マルコフ、ロバート・ヴィレ。 「必要なだけ正確で、可能な限り効率的: DD ベースの量子回路シミュレーションの近似」。 ヨーロッパのデザイン、オートメーション、テストのカンファレンスおよび展示会、日付 2021、フランス、グルノーブル、1 年 5 月 2021 ～ 188 日。193 ～ 2021 ページ。 IEEE (XNUMX)。
https：/ / doi.org/ 10.23919 / DATE51398.2021.9474034

【31] ジョージ・F・ヴィアモンテス、イーゴリ・L・マルコフ、ジョン・P・ヘイズ。 「量子回路シミュレーション」。 シュプリンガーのサイエンス＆ビジネスメディア。 （2009年）。
https:/​/​doi.org/​10.1007/​978-90-481-3065-8

【32] シン・ホン、ミンシェン・イン、ユアン・フォン、シャンジェン・ジョウ、サンジャン・リー。 「ノイズの多い量子回路の近似等価性検査」。 2021 年の第 58 回 ACM/IEEE デザイン オートメーション カンファレンス (DAC)。 637 ～ 642 ページ。 （2021年）。
https:/ / doi.org/ 10.1109/ DAC18074.2021.9586214

【33] ハンス・J・ブリーゲルとロバート・ラウセンドルフ。 「相互作用する粒子の配列における持続的な絡み合い」。 物理学。 レット牧師。 86、910–913 (2001)。
https：/ / doi.org/ 10.1103 / PhysRevLett.86.910

【34] ヴォルフガング・デュール、ギフレ・ビダル、J・イグナシオ・シラク。 「62 つの量子ビットは 062314 つの等価ではない方法でもつれさせることができます。」 フィジカル レビュー A 2000、XNUMX (XNUMX)。
https：/ / doi.org/ 10.48550 / arXiv.quant-ph / 0005115
arXiv：quant-ph / 0005115

【35] エリック・チタンバール、デビー・レオン、ローラ・マンチンスカ、マリス・オゾルス、アンドレアス・ウィンター。 「LOCC についていつも知りたかった（でも聞くのが怖かった）すべて」。 数理物理学におけるコミュニケーション 328、303–326 (2014)。
https：/ / doi.org/ 10.48550 / arXiv.1210.4583

【36] スティーブン・R・ホワイト。 「量子繰り込み群の密度行列定式化」。 フィジカルレビューレター 69、2863 (1992)。
https：/ / doi.org/ 10.1103 / PhysRevLett.69.2863

【37] D.ペレス＝ガルシア、F.フェルストラエテ、MMウルフ、JIシラク。 「マトリックス製品の状態表現」。 量子情報と計算 7、401–430 (2007)。
https：/ / doi.org/ 10.48550 / arXiv.2011.12127

【38] ギフレ・ビダル。 「わずかにもつれた量子計算の効率的な古典的シミュレーション」。 フィジカルレビューレター 91、147902 (2003)。
https：/ / doi.org/ 10.48550 / arXiv.quant-ph / 0301063
arXiv：quant-ph / 0301063

【39] アドナン・ダルウィッシュとピエール・マルキ。 「知識集大成マップ」。 人工知能研究ジャーナル 17、229–264 (2002)。
https：/ / doi.org/ 10.5555 / 1622810.1622817

【40] カール・S・ブレイス、リチャード・L・ルーデル、ランダル・E・ブライアント。 「BDD パッケージの効率的な実装」。 第 27 回 ACM/IEEE 設計自動化カンファレンスの議事録。 40～45ページ。 （1991年）。
https：/ / doi.org/ 10.1145 / 123186.123222

【41] ドナルド・アービン・クヌース。 「コンピュータープログラミングの芸術。 4巻、束1」。 アディソン・ウェスリー。 (2005)。
https:/​/​doi.org/​10.1090/​s0002-9904-1973-13173-8

【42] ファビオ・ソメンツィ。 「意思決定図の効率的な操作」。 技術移転のためのソフトウェアツールに関する国際ジャーナル 3、171–181 (2001)。
https：/ / doi.org/ 10.1007 / s100090100042

【43] Koenraad MR Audenaert と Martin B Plenio です。 「混合安定剤状態のもつれ: 正規形と還元手順」。 New Journal of Physics 7、170 (2005)。 URL:。
https:/​/​doi.org/​10.1088/​1367-2630/​7/​1/​170

【44] マルク・ハイン、ヴォルフガング・デュール、イェンス・アイザート、ロバート・ラウセンドルフ、M・ネスト、H・J・ブリーゲル。 「グラフ状態のもつれとその応用」。 国際物理学校「エンリコ・フェルミ」の論文集。 ボリューム ボリューム 162: 量子コンピューター、アルゴリズム、およびカオス。 IOS プレス (2006)。
https:/​/​doi.org/​10.3254/​978-1-61499-018-5-115

【45] スコット・アーロンソン。 「多線形公式と量子コンピューティングへの懐疑」。 コンピューティング理論に関する第 118 回年次 ACM シンポジウムの議事録。 127 ～ 04 ページ。 STOC '2004米国ニューヨーク州ニューヨーク（XNUMX）。 コンピューティング機械協会。
https：/ / doi.org/ 10.1145 / 1007352.1007378

【46] セルゲイ・ブラヴィとアレクセイ・キタエフ。 「理想的なクリフォード ゲートとノイズの多い補助要素を備えたユニバーサル量子計算」。 物理学。 Rev. A 71、022316 (2005)。
https：/ / doi.org/ 10.1103 / PhysRevA.71.022316

【47] チャールズ・H・ベネット、ハーバート・J・バーンスタイン、サンドゥ・ポペスク、ベンジャミン・シューマッハ。 「ローカル操作による部分的なもつれの集中」。 フィジカル レビュー A 53、2046 年 (1996 年)。
https：/ / doi.org/ 10.48550 / arXiv.quant-ph / 9511030
arXiv：quant-ph / 9511030

【48] デヴィッド・Y・ファインスタインとミッチェル・A・ソーントン。 「量子多値決定図のスキップされた変数について」。 2011 年、多値論理に関する第 41 回 IEEE 国際シンポジウム。 164 ～ 169 ページ。 IEEE (2011)。
https:/ / doi.org/ 10.1109/ ISMVL.2011.22

【49] リチャード・J・リプトン、ドナルド・J・ローズ、ロバート・エンドレ・タージャン。 「一般化された入れ子の解剖」。 数値解析に関する SIAM ジャーナル 16、346–358 (1979)。
https：/ / doi.org/ 10.5555 / 892164

【50] M. ヴァン デン ネスト、W. デュール、G. ビダル、H.J. ブリーゲル。 「古典的シミュレーションと測定ベースの量子計算における普遍性」。 物理学。 Rev. A 75、012337 (2007)。
https：/ / doi.org/ 10.1103 / PhysRevA.75.012337

【51] ヴィット・イェリネク。 「正方形グリッドのランク幅」。 離散応用数学 158、841–850 (2010)。
https:/​/​doi.org/​10.1007/​978-3-540-92248-3_21

【52] エレーヌ・ファルジェ、ピエール・マルキ、アレクサンドル・ニボー、ニコラ・シュミット。 「順序付けされた実数値デシジョン図の知識編集マップ」。 人工知能に関する AAAI 会議の議事録。 28巻（2014年）。
https：/ / doi.org/ 10.1609 / aaai.v28i1.8853

【53] ロバート・W・フロイド。 「プログラムに意味を与える」。 プログラムの検証中。 65 ～ 81 ページ。 スプリンガー (1993)。
https:/​/​doi.org/​10.1007/​978-94-011-1793-7_4

【54] JW・デ・バッカーとランバート・GLT・メルテンス。 「帰納的主張法の完全性について」。 Journal of Computer and System Sciences 11、323–357 (1975)。
https:/​/​doi.org/​10.1016/​S0022-0000(75)80056-0

【55] インゴ・ウェゲナー。 「分岐プログラムと二分決定図: 理論と応用」。 サイアム。 （2000年）。
https：/ / doi.org/ 10.1137 / 1.9780898719789

【56] ジェームス・マックラング。 「W ステートの構築と応用」。 博士論文。 ウースター工科大学。 （2020年）。

【57] スリニヴァサン・アルナーチャラム、セルゲイ・ブラヴィ、チンメイ・ニルケ、ブライアン・オゴーマン。 「量子検証のパラメータ化された複雑さ」(2022)。
https：/ / doi.org/ 10.4230 / LIPIcs.TQC.2022.3

【58] アレクス・キッシンジャーとジョン・ファン・デ・ウェタリング。 「ZX 計算による T カウントの削減」(2019)。
https：/ / doi.org/ 10.1103 / PhysRevA.102.022406

【59] Himanshu Thapliyal、Edgard Munoz-Coreas、TSS Varun、Travis S Humble です。 「T数とT深さを最適化する整数除算の量子回路設計」。 IEEE Transactions on Emerging Topics in Computing 9、1045–1056 (2019)。
https：/ / doi.org/ 10.48550 / arXiv.1809.09732

【60] 王建、張泉、唐朝景。 「W状態による量子安全通信方式」。 理論物理学におけるコミュニケーション 48、637 (2007)。
https:/​/​doi.org/​10.1088/​0253-6102/​48/​4/​013

【61] ウェン・リウ、ヨンビン・ワン、ジェンタオ・ジャン。 「W 状態との同等性を量子的にプライベートに比較するための効率的なプロトコル」。 光通信 284、3160–3163 (2011)。
https：/ / doi.org/ 10.1016 / j.optcom.2011.02.017

【62] ヴィクトリア・リピンスカ、グラウシア・ムルタ、ステファニー・ヴェーナー。 「${W}$ 状態を使用したノイズの多い量子ネットワークでの匿名送信」。 物理学。 Rev. A 98、052320 (2018)。
https：/ / doi.org/ 10.1103 / PhysRevA.98.052320

【63] ポール・ターファーツホーファーとマスード・ペドラム。 「因数分解エッジ値二分決定図」。 システム設計における形式的手法 10、243–270 (1997)。
https：/ / doi.org/ 10.1023 / A：1008691605584

【64] Meghana Sistla、Swarat Chaudhuri、Thomas Reps.「CFLOBDD: 文脈自由言語順序二分決定図」(2023)。 arXiv:2211.06818。
arXiv：2211.06818

【65] Meghana Sistla、Swarat Chaudhuri、Thomas Reps.「カジモドを使用したシンボリック量子シミュレーション」。 Constantin Enea と Akash Lal、編集者、Computer Aided Verification より。 213 ～ 225 ページ。 チャム（2023）。 シュプリンガー・ネイチャー・スイス。
https:/​/​doi.org/​10.1007/​978-3-031-37709-9_11

【66] ラジーブ・アルールとP.マドゥスダン。 「目に見えてプッシュダウンされた言語」。 コンピューティング理論に関する第 202 回年次 ACM シンポジウムの議事録。 211 ～ 04 ページ。 STOC '2004米国ニューヨーク州ニューヨーク（XNUMX）。 コンピューティング機械協会。
https：/ / doi.org/ 10.1145 / 1007352.1007390

【67] Meghana Sistla、Swarat Chaudhuri、Thomas Reps.「重み付けされた文脈自由言語順序二分決定図」(2023)。 arXiv:2305.13610。
arXiv：2305.13610

【68] アドナン・ダルウィッシュ。 「SDD: 命題知識ベースの新しい標準表現」。 人工知能に関する第 2011 回国際共同会議の議事録、第 XNUMX 巻。 。 AAAI プレス (XNUMX)。

【69] ドーガ・キサ、ガイ・ヴァン・デン・ブロック、アーサー・チョイ、アドナン・ダルウィッシュ。 「確率的文章決定図」。 知識表現と推論の原則に関する第 558 回国際会議の議事録。 567 ～ 14 ページ。 KR'2014。 AAAI プレス (8005)。 URL: cdn.aaai.org/ocs/8005/36908-1-XNUMX-PB.pdf。
https:/ / cdn.aaai.org/ ocs/ 8005/ 8005-36908-1-PB.pdf

【70] 中村憲剛、田角周平、西野正明。 「可変シフト SDD: より簡潔な文の決定図」。 Simone Faro および Domenico Cantone、編集者、第 18 回実験アルゴリズムに関する国際シンポジウム (SEA 2020) より。 ライプニッツ国際情報学論文集 (LIPIcs) の第 160 巻、22:1 ～ 22:13 ページ。 ダグシュトゥール、ドイツ（2020）。 ダグシュトゥール - ライプニッツ - 情報センター城。
https:/ / doi.org/ 10.4230/ LIPIcs.SEA.2020.22

【71] ヴォルフガング・ギュンターとロルフ・ドレクスラー。 「進化的手法に基づく線形変換を使用した bdd の最小化」。 1999 年、回路とシステムに関する IEEE 国際シンポジウム (ISCAS)。 第 1 巻、387 ～ 390 ページ。 IEEE (1999)。
https:/ / doi.org/ 10.1109/ ISCAS.1999.777884

【72] バーバラ・M・ターハルとデヴィッド・P・ディヴィンチェンツォ。 「非相互作用フェルミオン量子回路の古典的シミュレーション」。 物理学。 Rev. A 65、032325 (2002)。
https：/ / doi.org/ 10.1103 / PhysRevA.65.032325

【73] リチャード・ジョザと三宅昭正。 「マッチゲートと量子回路の古典的シミュレーション」。 論文集: 数学、物理および工学科学、ページ 3089–3106 (2008)。
https：/ / doi.org/ 10.1098 / rspa.2008.0189

【74] マーティン・ヘベンストライト、リチャード・ジョザ、バーバラ・クラウス、セルギイ・ストレルチュク。 「補足リソースを備えたマッチゲートの計算能力」。 フィジカルレビュー A 102、052604 (2020)。
https：/ / doi.org/ 10.1103 / PhysRevA.102.052604

【75] ロマン・オルス。 「テンソル ネットワークの実用的な紹介: マトリックス積の状態と投影されたもつれペアの状態」. 物理学年報 349、117–158 (2014)。
https：/ / doi.org/ 10.1016 / j.aop.2014.06.013

【76] ボブ・コークとロス・ダンカン。 「相互作用する量子観測量：カテゴリ代数と図式」。 New Journal of Physics 13、043016 (2011)。
https:/​/​doi.org/​10.1007/​978-3-540-70583-3_25

【77] ルノー・ヴィルマート。 「グラフィカル微積分における量子多値決定図」(2021)。 arXiv:2107.01186。
arXiv：2107.01186

【78] リチャード・ルーデル。 「順序付けされた二分決定図の動的変数順序付け」。 1993 年のコンピュータ支援設計国際会議 (ICCAD) の議事録より。 42～47ページ。 IEEE (1993)。
https:/ / doi.org/ 10.1109/ ICCAD.1993.580029

【79] エウウト・ファン・デン・ベルクとクリスタン・テンメ。 「パウリクラスターの同時対角化によるハミルトニアンシミュレーションの回路最適化」。 量子 4、322 (2020)。
https:/​/​doi.org/​10.22331/​q-2020-09-12-322

【80] ユージーン・M・ルクス、フェレンツ・ラーコーツィ、チャールズ・RB・ライト。 「零能順列群のためのいくつかのアルゴリズム」。 Journal of Symbolic Computation 23、335–354 (1997)。
https:/ / doi.org/ 10.1006/ jsco.1996.0092

【81] パヴォル・ジュリス、ユライ・フロムコビッチ、ステイシス・ユクナ、マルティン・ザウアーホフ、ゲオルグ・シュニガー。 「マルチパーティション通信の複雑さについて」。 情報と計算 194、49–75 (2004)。
https：/ / doi.org/ 10.1016 / j.ic.2004.05.002

【82] ヘクター・J・ガルシア、イーゴリ・L・マルコフ、アンドリュー・W・クロス。 「スタビライザー状態のための効率的な内積アルゴリズム」 (2012)。 arXiv:1210.6646。
arXiv：1210.6646

【83] 「Stabranksearcher: 量子状態のスタビライザー ランク (の上限) を見つけるためのコード」。 https://github.com/timcp/StabRankSearcher (2021)。
https:/ / github.com/ timcp/ StabRankSearcher

【84] パドリック・カルピン。 「古典的シミュレーションのレンズを通して量子計算を探求する」。 博士論文。 UCL（ユニバーシティ・カレッジ・ロンドン）。 （2020年）。
https:/ / doi.org/ 10.5555/ AAI28131047