論文の概要: Rule-based hardware-configurable static analysis for quantum programs

• arxiv url: http://arxiv.org/abs/2611.01995v1
• Date: Sun, 01 Nov 2026 15:30:56 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-11-03 20:17:41.94846
• Title: Rule-based hardware-configurable static analysis for quantum programs
• Title（参考訳）: 規則に基づくハードウェア構成可能な量子プログラムの静的解析
• Abstract要約: SHARPは、OpenQASM用に設計されたルールベースの静的解析フレームワークである。 量子コンピューティングサービスは、進化する命令セットアーキテクチャに対してプログラムを検証することができる。 我々の研究結果は、SHARPが量子コンピューティングのためのスケーラブルで保守性のあるプログラミングインターフェースへの道を提供することを示唆している。
• 参考スコア（独自算出の注目度）: 6.333122765338861
• License:
• Abstract: The rapid evolution of quantum hardware necessitates an adaptable static analysis framework for validating quantum programs. In this work, we introduce SHARP, a rule-based static analysis framework designed for OpenQASM that decouples hardware-specific constraints from the validation engine. By employing a rule-based approach, SHARP allows quantum computing services to validate programs against evolving instruction set architectures (ISAs) without having to modify the core analysis engine. SHARP achieves this by ingesting ISA descriptions as standalone data, making the validation engine resilient to hardware updates. Furthermore, the framework employs an analysis-driven validation mechanism that enables multi-stage validation, simplifying rule construction and enhancing extensibility. We demonstrate how SHARP supports hardware-specific validation tasks and discuss its impact on quantum software development, including language decoupling, program-level constraint validation, and feature access control. Our findings suggest that SHARP provides a path toward a scalable and maintainable programming interface for quantum computing.
• Abstract（参考訳）: 量子ハードウェアの急速な進化は、量子プログラムを検証するための適応可能な静的解析フレームワークを必要とする。 本研究では,OpenQASM用に設計されたルールベースの静的解析フレームワークであるSHARPを紹介し,ハードウェア固有の制約を検証エンジンから分離する。 ルールベースのアプローチを用いることで、SHARPはコア分析エンジンを変更することなく、量子コンピューティングサービスに対して、進化する命令セットアーキテクチャ(ISA)に対するプログラムの検証を可能にする。 SHARPはISA記述をスタンドアロンのデータとして取り込み、検証エンジンをハードウェア更新に耐性を持たせることでこれを実現している。 さらに、多段階検証、ルール構築の簡素化、拡張性の向上を可能にする分析駆動型バリデーション機構を採用している。 我々は、SHARPがハードウェア固有の検証タスクをどのようにサポートするかを示し、言語分離、プログラムレベルの制約検証、機能アクセス制御を含む量子ソフトウェア開発への影響について議論する。 我々の研究結果は、SHARPが量子コンピューティングのためのスケーラブルで保守可能なプログラミングインターフェースへの道を提供することを示唆している。

関連論文リスト

• Software Between Quantum and Machine Learning -- And Down to Pulses [0.9569512179866463]
  パルスレベルのモデリングを包含する量子機械学習(QML)手法を拡張するソフトウェアフレームワークを提案する。 このフレームワークはモデリングと分析の総合的なスイートを提供する。 パフォーマンスクリティカルなコンポーネントはすべて、JAXを使って高性能な環境で実装され、専用の量子シミュレータによってサポートされます。
  論文  参考訳（メタデータ） (2026-05-20T15:20:07Z)
• AQER: a scalable and efficient data loader for digital quantum computers [62.40228216126285]
  我々は,ターゲット状態の絡み合いを体系的に低減し,負荷回路を構成するスケーラブルなAQL手法であるAQERを開発した。 我々は、合成データセット、古典画像および言語データセット、最大50キュービットの量子多体状態データセットを用いて、AQERの有効性を評価するための体系的な実験を行う。
  論文  参考訳（メタデータ） (2026-02-02T14:39:42Z)
• ConQuER: Modular Architectures for Control and Bias Mitigation in IQP Quantum Generative Models [40.972673943861075]
  瞬時量子(IQP)回路に基づく量子生成モデルは、複素分布の学習において非常に有望である。 現在の実装は、生成した出力に対する制御性の欠如と、期待される特定のパターンに対する深刻な生成バイアスに悩まされている。 モジュール回路アーキテクチャによる両課題に対処する制御可能な量子生成フレームワーク ConQuER を提案する。
  論文  参考訳（メタデータ） (2025-09-26T16:32:41Z)
• Quantum Resource Management in the NISQ Era: Challenges, Vision, and a Runtime Framework [41.99844472131922]
  我々は,実行時対応の量子ソフトウェア開発のためのビジョンを提案し,その実現に向けた重要な課題を特定する。 本稿では,動的リソース評価に基づく量子プログラムの条件付き実行を可能にするプロトタイプフレームワークであるQonsciousを紹介する。
  論文  参考訳（メタデータ） (2025-08-23T15:34:12Z)
• Benchmarking fault-tolerant quantum computing hardware via QLOPS [2.0464713282534848]
  量子アルゴリズムを実行するためには、低ノイズレベルでスケーラブルな量子ハードウェアを開発することが不可欠である。 様々なハードウェアプラットフォーム向けに、フォールトトレラントな量子コンピューティングスキームが開発されている。 本稿では,FTQC方式の性能評価指標として,QLOPS(Quantum Logical Operations Per Second)を提案する。
  論文  参考訳（メタデータ） (2025-07-16T08:31:51Z)
• VQC-MLPNet: An Unconventional Hybrid Quantum-Classical Architecture for Scalable and Robust Quantum Machine Learning [50.95799256262098]
  変分量子回路(VQC)は量子機械学習を約束するが、表現性、訓練性、耐雑音性の課題に直面している。 本稿では,VQCが学習中に古典多層パーセプトロンの第一層重みを生成するハイブリッドアーキテクチャであるVQC-MLPNetを提案する。
  論文  参考訳（メタデータ） (2025-06-12T01:38:15Z)
• Programming tools for Analogue Quantum Computing in the High-Performance Computing Context -- A Review [0.0]
  我々は、アナログ機能を備えた既存の量子ソフトウェアツールを包括的に調査する。 我々はこれらのツールのHPC統合性を評価するための分類と評価システムを導入する。
  論文  参考訳（メタデータ） (2025-01-28T13:36:52Z)
• NetQIR: An Extension of QIR for Distributed Quantum Computing [2.924756839755417]
  NetQIRは、MicrosoftのQuantum Intermediate Representation (QIR)の拡張である。 ネットワーク層とハードウェア層における抽象化の欠如に対応して開発された。 高レベルの量子アルゴリズム設計と低レベルのハードウェア実行のギャップを埋めることを目的としている。
  論文  参考訳（メタデータ） (2024-08-07T12:01:47Z)
• Quantum Conformal Prediction for Reliable Uncertainty Quantification in Quantum Machine Learning [47.991114317813555]
  量子モデルは暗黙の確率予測器を実装し、測定ショットを通じて各入力に対して複数のランダムな決定を生成する。 本稿では、そのようなランダム性を利用して、モデルの不確実性を確実に捉えることができる分類と回帰の両方の予測セットを定義することを提案する。
  論文  参考訳（メタデータ） (2023-04-06T22:05:21Z)
• Extending XACC for Quantum Optimal Control [70.19683407682642]
  量子コンピューティングベンダーは、直接パルスレベルの量子制御のためのアプリケーションプログラミングをオープンにし始めている。 本稿では,XACCシステムレベルの量子古典ソフトウェアフレームワークの拡張について述べる。 この拡張により、デジタル量子回路表現を等価なパルスシーケンスに変換することができる。
  論文  参考訳（メタデータ） (2020-06-04T13:13:55Z)

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

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