論文の概要: Free Quantum Computing

• arxiv url: http://arxiv.org/abs/2602.16927v1
• Date: Wed, 18 Feb 2026 22:39:58 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-20 15:21:28.495453
• Title: Free Quantum Computing
• Title（参考訳）: 自由量子コンピューティング
• Authors: Jacques Carette, Chris Heunen, Robin Kaarsgaard, Neil J. Ross, Amr Sabry,
• Abstract要約: 我々は、量子コンピューティングの公理化を開発し、標準的な連続普遍性仮定を少数の離散方程式に置き換える。 また、標準線形代数モデルを圏論的モデルに置き換える自由モデルも開発する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Quantum computing improves substantially on known classical algorithms for various important problems, but the nature of the relationship between quantum and classical computing is not yet fully understood. This relationship can be clarified by free models, that add to classical computing just enough physical principles to represent quantum computing and no more. Here we develop an axiomatisation of quantum computing that replaces the standard continuous postulates with a small number of discrete equations, as well as a free model that replaces the standard linear-algebraic model with a category-theoretical one. The axioms and model are based on reversible classical computing, isolate quantum advantage in the ability to take certain well-behaved square roots, and link to various quantum computing hardware platforms. This approach allows combinatorial optimisation, including brute force computer search, to optimise quantum computations. The free model may be interpreted as a programming language for quantum computers, that has the same expressivity and computational universality as the standard model, but additionally allows automated verification and reasoning.
• Abstract（参考訳）: 量子コンピューティングは、様々な重要な問題に対して既知の古典的アルゴリズムで大幅に改善されるが、量子コンピューティングと古典的コンピューティングの関係性はまだ完全には理解されていない。 この関係は、量子コンピューティングを表現するのに十分な物理原理を古典コンピューティングに追加する自由モデルによって明確化することができる。 ここでは、標準連続体を少数の離散方程式に置き換える量子コンピューティングの公理化と、標準線形代数モデルをカテゴリー理論に置き換える自由モデルを開発する。 公理とモデルは可逆的な古典的計算に基づいており、量子の利点を孤立させ、ある良好な平方根を取る能力を持ち、様々な量子コンピューティングハードウェアプラットフォームにリンクする。 このアプローチにより、ブルートフォースコンピュータサーチを含む組合せ最適化により、量子計算を最適化することができる。 自由モデルは、標準モデルと同じ表現性と計算普遍性を持つ量子コンピュータのプログラミング言語として解釈できるが、自動検証と推論も可能である。

関連論文リスト

• Variational quantum and neural quantum states algorithms for the linear complementarity problem [1.2796203864160849]
  変分量子アルゴリズム(VQA)は、有望なハイブリッド量子古典法である。 本稿では、変分量子線形解法(VQLS)とその古典的量子状態に基づく古典的ニューラルネットワーク線形解法(VNLS)の新たな応用について述べる。 我々は,VNLSを用いて衝突時の剛球体の力学を正確にシミュレートすることを示した。
  論文  参考訳（メタデータ） (2025-04-10T22:03:14Z)
• When Quantum and Classical Models Disagree: Learning Beyond Minimum Norm Least Square [1.9223856107206057]
  変分量子回路(VQC)は、量子コンピューティングの有用な応用のための重要な候補である。 回帰問題に対する量子アドバンテージの一般理論を提案する。 古典的に近似できない量子モデルを良い一般化で設計することは可能であることを示す。
  論文  参考訳（メタデータ） (2024-11-07T18:18:38Z)
• Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [62.46800898243033]
  量子学習理論の最近の進歩は、様々な古典的な入力によって生成された測定データから、大きな量子ビット回路の線形特性を効率的に学習できるのか? 我々は、小さな予測誤差を達成するためには、$d$で線形にスケーリングするサンプルの複雑さが必要であることを証明し、それに対応する計算複雑性は、dで指数関数的にスケールする可能性がある。 そこで本研究では,古典的影と三角展開を利用したカーネルベースの手法を提案し,予測精度と計算オーバーヘッドとのトレードオフを制御可能とした。
  論文  参考訳（メタデータ） (2024-08-22T08:21:28Z)
• Rapidly Achieving Chemical Accuracy with Quantum Computing Enforced Language Model [22.163742052849432]
  QiankunNet-VQEは量子コンピューティングを用いて量子状態の学習と生成を行うトランスフォーマーベースの言語モデルである。 最大12キュービットで実装され、最先端の古典的手法と競合する精度のレベルに達した。
  論文  参考訳（メタデータ） (2024-05-15T07:50:57Z)
• Towards Quantum Computational Mechanics [1.530480694206666]
  本稿では、量子コンピューティングを用いて、計算ホモジェナイゼーションにおける代表要素体積(RVE)問題を解く方法について述べる。 我々の量子RVE解法は古典解法に対して指数加速度を得る。
  論文  参考訳（メタデータ） (2023-12-06T12:53:02Z)
• Adapting Pre-trained Language Models for Quantum Natural Language Processing [33.86835690434712]
  事前学習された表現は、エンドツーエンドの量子モデルの容量を50%から60%増加させることができることを示す。 量子シミュレーション実験では、事前訓練された表現は、エンドツーエンドの量子モデルの容量を50%から60%増加させることができる。
  論文  参考訳（メタデータ） (2023-02-24T14:59:02Z)
• An Introduction to Quantum Machine Learning for Engineers [36.18344598412261]
  量子機械学習は、ゲートベースの量子コンピュータをプログラムするための支配的なパラダイムとして登場しつつある。 この本は、確率と線形代数の背景を持つエンジニアの聴衆のために、量子機械学習の自己完結した紹介を提供する。
  論文  参考訳（メタデータ） (2022-05-11T12:10:52Z)
• Error mitigation and quantum-assisted simulation in the error corrected regime [77.34726150561087]
  量子コンピューティングの標準的なアプローチは、古典的にシミュレート可能なフォールトトレラントな演算セットを促進するという考え方に基づいている。 量子回路の古典的準確率シミュレーションをどのように促進するかを示す。
  論文  参考訳（メタデータ） (2021-03-12T20:58:41Z)
• Quantum Deformed Neural Networks [83.71196337378022]
  我々は,量子コンピュータ上で効率的に動作するように設計された新しい量子ニューラルネットワーク層を開発した。 入力状態の絡み合いに制限された場合、古典的なコンピュータでシミュレートすることができる。
  論文  参考訳（メタデータ） (2020-10-21T09:46:12Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。