Fugu-MT 論文翻訳(概要): Image Computation for Quantum Transition Systems

論文の概要: Image Computation for Quantum Transition Systems

arxiv url: http://arxiv.org/abs/2503.04146v1
Date: Thu, 06 Mar 2025 06:49:49 GMT
ステータス: 翻訳完了
システム内更新日: 2025-03-07 15:57:29.879720
Title: Image Computation for Quantum Transition Systems
Title（参考訳）: 量子遷移系の画像計算
Authors: Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying,
Abstract要約: 本稿では,量子遷移系に対する効率的な画像アルゴリズムを提供することにより,量子システムのモデル検査の開発を進める。量子遷移系における画像計算の効率を大幅に向上させることができることを示す。
参考スコア（独自算出の注目度）: 5.645821844264387
License:
Abstract: With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very successful technique for verifying classical systems, its application to quantum systems is still an underdeveloped research area. This paper advances the development of model checking quantum systems by providing efficient image computation algorithms for quantum transition systems, which play a fundamental role in model checking. In our approach, we represent quantum circuits as tensor networks and design algorithms by leveraging the properties of tensor networks and tensor decision diagrams. Our experiments demonstrate that our contraction partition-based algorithm can greatly improve the efficiency of image computation for quantum transition systems.
Abstract（参考訳）: 量子ハードウェアとソフトウェアの急速な進歩により、量子システムの検証の必要性はますます重要になっている。モデル検査は古典システムの検証において支配的かつ非常に成功した手法であるが、量子システムへの応用はいまだ未発達の研究分野である。本稿では, 量子遷移系に対する効率的な画像計算アルゴリズムを提供することにより, モデル検査における基本的役割を担いながら, モデル検査量子系の開発を進展させる。本研究では,量子回路をテンソルネットワークとして表現し,テンソルネットワークの特性とテンソル決定図を用いて設計する。量子遷移系における画像計算の効率を大幅に向上させることができることを示す。

関連論文リスト

Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文参考訳（メタデータ） (2024-08-22T08:21:28Z)
Demonstration of Hardware Efficient Photonic Variational Quantum Algorithm [2.4630731476141365]
本稿では,1光子と線形光ネットワークが変分量子アルゴリズムの実装に十分であることを示す。因子化タスクのインスタンスに取り組むための変分的アプローチの実証実験によってこれを実証する。
論文参考訳（メタデータ） (2024-08-19T18:26:57Z)
Quantum Visual Feature Encoding Revisited [8.839645003062456]
本稿では,量子機械学習の初期段階である量子視覚符号化戦略を再考する。根本原因を調べた結果,既存の量子符号化設計では符号化処理後の視覚的特徴の情報保存が不十分であることが判明した。我々は、このギャップを最小限に抑えるために、量子情報保存と呼ばれる新しい損失関数を導入し、量子機械学習アルゴリズムの性能を向上した。
論文参考訳（メタデータ） (2024-05-30T06:15:08Z)
Efficient Quantum Modular Arithmetics for the ISQ Era [0.0]
本研究は, モジュラー演算関数の精度向上を目的とした, 量子回路の配列について述べる。我々はPennyLane量子ソフトウェアにおける理論的枠組みと実践的実装を提供する。
論文参考訳（メタデータ） (2023-11-14T21:34:39Z)
Quantum Annealing for Single Image Super-Resolution [86.69338893753886]
単一画像超解像(SISR)問題を解くために,量子コンピューティングに基づくアルゴリズムを提案する。提案したAQCアルゴリズムは、SISRの精度を維持しつつ、古典的なアナログよりも向上したスピードアップを実現する。
論文参考訳（メタデータ） (2023-04-18T11:57:15Z)
Impact of the form of weighted networks on the quantum extreme reservoir computation [0.0]
量子極端貯水池計算(QERC)は、汎用的な量子ニューラルネットワークモデルである。本稿では,その簡単な実装経路を持つ乱れ離散時間結晶に基づく単純なハミルトンモデルが,ほぼ最適性能を実現する方法を示す。
論文参考訳（メタデータ） (2022-11-15T01:50:47Z)
QuanGCN: Noise-Adaptive Training for Robust Quantum Graph Convolutional Networks [124.7972093110732]
本稿では,ノード間の局所的なメッセージパッシングをクロスゲート量子演算のシーケンスで学習する量子グラフ畳み込みネットワーク(QuanGCN)を提案する。現代の量子デバイスから固有のノイズを緩和するために、ノードの接続をスパーズするためにスパース制約を適用します。我々のQuanGCNは、いくつかのベンチマークグラフデータセットの古典的なアルゴリズムよりも機能的に同等か、さらに優れている。
論文参考訳（メタデータ） (2022-11-09T21:43:16Z)
Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文参考訳（メタデータ） (2021-08-30T23:50:05Z)
Quantum algorithms for quantum dynamics: A performance study on the spin-boson model [68.8204255655161]
量子力学シミュレーションのための量子アルゴリズムは、伝統的に時間進化作用素のトロッター近似の実装に基づいている。変分量子アルゴリズムは欠かせない代替手段となり、現在のハードウェア上での小規模なシミュレーションを可能にしている。量子ゲートコストが明らかに削減されているにもかかわらず、現在の実装における変分法は量子的優位性をもたらすことはありそうにない。
論文参考訳（メタデータ） (2021-08-09T18:00:05Z)
Variational Quantum Anomaly Detection: Unsupervised mapping of phase diagrams on a physical quantum computer [0.0]
量子シミュレーションから量子データを解析するための教師なし量子機械学習アルゴリズムである変分量子異常検出を提案する。このアルゴリズムは、事前の物理的知識を持たないシステムの位相図を抽出するために用いられる。現在ではアクセスしやすいデバイスで使用でき、実際の量子コンピュータ上でアルゴリズムを実行することができる。
論文参考訳（メタデータ） (2021-06-15T06:54:47Z)
Entanglement transfer, accumulation and retrieval via quantum-walk-based qubit-qudit dynamics [50.591267188664666]
高次元システムにおける量子相関の生成と制御は、現在の量子技術の展望において大きな課題である。本稿では,量子ウォークに基づく移動・蓄積機構により,$d$次元システムの絡み合った状態が得られるプロトコルを提案する。特に、情報を軌道角運動量と単一光子の偏光度にエンコードするフォトニック実装について述べる。
論文参考訳（メタデータ） (2020-10-14T14:33:34Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。