論文の概要: Constructions for Quantum Indistinguishability Obfuscation
- arxiv url: http://arxiv.org/abs/2005.14699v2
- Date: Fri, 5 Mar 2021 21:14:00 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-18 00:42:54.453135
- Title: Constructions for Quantum Indistinguishability Obfuscation
- Title（参考訳）: 量子不特定性難読化のための構成法
- Authors: Anne Broadbent and Raza Ali Kazmi
- Abstract要約: 不明瞭性オブファスケータ(Indistinguishability obfuscator)は、回路を入力とし、入力回路と同じ機能を持つ新しい回路を出力する確率時間アルゴリズムである。
第1定義(qiO)では、入力回路が完全に等価であれば、オブファスケータの出力は区別不能であり、第2定義(qiOD)では、入力回路が擬似距離Dに対してほぼ同値である限り、出力は区別不能である。
- 参考スコア（独自算出の注目度）: 0.6091702876917281
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: An indistinguishability obfuscator is a probabilistic polynomial-time
algorithm that takes a circuit as input and outputs a new circuit that has the
same functionality as the input circuit, such that for any two circuits of the
same size that compute the same function, the outputs of the
indistinguishability obfuscator are indistinguishable. Here, we study schemes
for indistinguishability obfuscation for quantum circuits. We present two
definitions for indistinguishability obfuscation: in our first definition (qiO)
the outputs of the obfuscator are required to be indistinguishable if the input
circuits are perfectly equivalent, while in our second definition (qiOD), the
outputs are required to be indistinguishable as long as the input circuits are
approximately equivalent with respect to a pseudo-distance D. Our main results
provide (1) a computationally-secure scheme for qiO where the size of the
output of the obfuscator is exponential in the number of non-Clifford (T
gates), which means that the construction is efficient as long as the number of
T gates is logarithmic in the circuit size and (2)a statistically-secure qiOD,
for circuits that are close to the kth level of the Gottesman-Chuang hierarchy
(with respect to D); this construction is efficient as long as k is small and
fixed.
- Abstract（参考訳）: 不特定性オブファスケータ(英: Indistinguishability obfuscator)とは、回路を入力として取り、入力回路と同じ機能を持つ新しい回路を出力する確率多項式時間アルゴリズムである。
本稿では,量子回路の識別不能化のためのスキームについて検討する。
We present two definitions for indistinguishability obfuscation: in our first definition (qiO) the outputs of the obfuscator are required to be indistinguishable if the input circuits are perfectly equivalent, while in our second definition (qiOD), the outputs are required to be indistinguishable as long as the input circuits are approximately equivalent with respect to a pseudo-distance D. Our main results provide (1) a computationally-secure scheme for qiO where the size of the output of the obfuscator is exponential in the number of non-Clifford (T gates), which means that the construction is efficient as long as the number of T gates is logarithmic in the circuit size and (2)a statistically-secure qiOD, for circuits that are close to the kth level of the Gottesman-Chuang hierarchy (with respect to D); this construction is efficient as long as k is small and fixed.
関連論文リスト
- Optimization Driven Quantum Circuit Reduction [20.697821016522358]
本稿では,回路長を大幅に削減する3つの異なるトランスパイレーション手法を提案する。
最初の変種は検索スキームに基づいており、他の変種はデータベース検索スキームと機械学習に基づく意思決定支援によって駆動される。
提案手法は,異なるキースキット最適化レベルを用いて得られた典型的な結果に比較して,制限ゲート集合に対する短い量子回路を生成する。
論文 参考訳（メタデータ） (2025-02-20T16:41:10Z) - A Generalized Space-Efficient Algorithm for Quantum Bit String
Comparators [0.0]
本稿では,2ビットのアシラリービットを用いた2つの$n$-qubit論理状態の比較設計を提案する。
この研究により、量子アルゴリズムの設計において十分な柔軟性が得られ、量子アルゴリズムの開発を加速することができる。
論文 参考訳（メタデータ） (2023-11-11T14:01:35Z) - A Circuit Complexity Formulation of Algorithmic Information Theory [1.5483078145498086]
インダクティブ推論のソロモノフ理論に着想を得て,回路複雑性に基づく先行モデルを提案する。
回路複雑性によって測定された単純な説明に対する帰納的バイアスがこの問題に適切であると主張する。
論文 参考訳（メタデータ） (2023-06-25T01:30:37Z) - Randomized Reversible Gate-Based Obfuscation for Secured Compilation of
Quantum Circuit [5.444459446244819]
本稿では,可逆ゲートを用いた量子回路の難読化手法を提案する。
提案手法は, 最大1.92のTVDを実現し, これまでに報告した難読化法よりも少なくとも2倍高い性能を実現している。
論文 参考訳（メタデータ） (2023-05-02T00:24:34Z) - A single $T$-gate makes distribution learning hard [56.045224655472865]
この研究は、局所量子回路の出力分布の学習可能性に関する広範な評価を提供する。
ハイブリッド量子古典アルゴリズムを含む多種多様な学習アルゴリズムにおいて、深度$d=omega(log(n))$ Clifford回路に関連する生成的モデリング問題さえも困難であることを示す。
論文 参考訳（メタデータ） (2022-07-07T08:04:15Z) - Finding the disjointness of stabilizer codes is NP-complete [77.34726150561087]
我々は、$c-不連続性を計算すること、あるいはそれを定数乗算係数の範囲内で近似することの問題はNP完全であることを示す。
CSSコード、$dコード、ハイパーグラフコードなど、さまざまなコードファミリの相違点に関するバウンダリを提供します。
以上の結果から,一般的な量子誤り訂正符号に対するフォールトトレラント論理ゲートの発見は,計算に難題であることが示唆された。
論文 参考訳（メタデータ） (2021-08-10T15:00:20Z) - On the realistic worst case analysis of quantum arithmetic circuits [69.43216268165402]
量子回路の設計における直観は誤解を招く可能性があることを示す。
また,T数を減らすことで,全深度を増大させることができることを示した。
リップルキャリーを用いた加算回路と乗算回路について述べる。
論文 参考訳（メタデータ） (2021-01-12T21:36:16Z) - Efficient decomposition of unitary matrices in quantum circuit compilers [0.0]
ユニタリ分解は、量子アルゴリズムを任意の量子ゲートの集合にマッピングするのに広く用いられる方法である。
本実装では,CNOTゲート数の半分,回路長の3分の1の回路を生成する。
それに加えて、最大10倍高速である。
論文 参考訳（メタデータ） (2021-01-08T12:54:27Z) - Random quantum circuits anti-concentrate in log depth [118.18170052022323]
本研究では,典型的な回路インスタンスにおける測定結果の分布に要するゲート数について検討する。
我々の反集中の定義は、予測衝突確率が分布が均一である場合よりも大きい定数因子に過ぎないということである。
ゲートが1D環上で最寄りである場合と、ゲートが長距離である場合の両方において、$O(n log(n))ゲートも十分であることを示す。
論文 参考訳（メタデータ） (2020-11-24T18:44:57Z) - On estimating the entropy of shallow circuit outputs [49.1574468325115]
確率分布と量子状態のエントロピーを推定することは情報処理の基本的な課題である。
本稿では,有界ファンインと非有界ファンアウトのゲートを持つ対数深度回路か定数深度回路のいずれかによって生成された分布や状態に対するエントロピー推定が,少なくともLearning with Errors問題と同程度難しいことを示す。
論文 参考訳（メタデータ） (2020-02-27T15:32:08Z) - Hardware-Encoding Grid States in a Non-Reciprocal Superconducting
Circuit [62.997667081978825]
本稿では、非相互デバイスと、基底空間が2倍縮退し、基底状態がGottesman-Kitaev-Preskill(GKP)符号の近似符号であるジョセフソン接合からなる回路設計について述べる。
この回路は、電荷やフラックスノイズなどの超伝導回路の一般的なノイズチャネルに対して自然に保護されており、受動的量子誤差補正に使用できることを示唆している。
論文 参考訳（メタデータ） (2020-02-18T16:45:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。