論文の概要: On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)

• arxiv url: http://arxiv.org/abs/2202.07636v1
• Date: Tue, 15 Feb 2022 18:33:41 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-25 18:26:24.519809
• Title: On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
• Title（参考訳）: 回路記述言語における動的浮揚と効果型付けについて(拡張版)
• Authors: Andrea Colledan and Ugo Dal Lago
• Abstract要約: 本稿では,量子回路記述言語Quipperの中核となる特徴をモデル化したパラダイム計算Proto-Quipper-Mの一般化を紹介する。 この拡張はProto-Quipper-Kと呼ばれ、非常に一般的なダイナミックリフトを捉えることを目的としている。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In the realm of quantum computing, circuit description languages represent a valid alternative to traditional QRAM-style languages. They indeed allow for finer control over the output circuit, without sacrificing flexibility nor modularity. We introduce a generalization of the paradigmatic lambda-calculus Proto-Quipper-M, itself modeling the core features of the quantum circuit description language Quipper. The extension, called Proto-Quipper-K, is meant to capture a very general form of dynamic lifting. This is made possible by the introduction of a rich type and effect system in which not only computations, but also the very types are effectful. The main results we give for the introduced language are the classic type soundness results, namely subject reduction and progress.
• Abstract（参考訳）: 量子コンピューティングの領域では、回路記述言語は従来のQRAMスタイルの言語に代わる有効な選択肢である。 柔軟性やモジュラリティを犠牲にすることなく、出力回路をより細かく制御できる。 我々は,量子回路記述言語quipperのコア機能をモデル化するパラダイム的ラムダ計算型プロトキッパー-mの一般化を提案する。 この拡張はProto-Quipper-Kと呼ばれ、非常に一般的なダイナミックリフトを捉えることを目的としている。 これは、計算だけでなく、非常に型が効果的であるリッチな型と効果システムの導入によって実現されている。 私たちが導入した言語に対して与える主な結果は、古典的なタイプの音質結果、すなわち、被写体減少と進行である。

関連論文リスト

• MAGNET: Improving the Multilingual Fairness of Language Models with Adaptive Gradient-Based Tokenization [81.83460411131931]
  マルチ言語設定では、非ラテン語スクリプトと低リソース言語は通常、言語モデルの実用性、効率、コストの点で不利である。 適応的勾配に基づくサブワードトークン化による過分割を低減するために,多言語適応型勾配ベーストークン化を提案する。
  論文  参考訳（メタデータ） (2024-07-11T18:59:21Z)
• Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models [55.19497659895122]
  本稿ではスパース特徴回路の発見と適用方法を紹介する。 これらは言語モデルの振る舞いを説明するための人間の解釈可能な特徴の因果関係の著作である。
  論文  参考訳（メタデータ） (2024-03-28T17:56:07Z)
• Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version) [1.3597551064547502]
  本稿では,線形依存型・実効性を持つ回路記述言語Proto-Quipper-Rを提案する。 提案手法は現実的な量子アルゴリズムを検証するのに十分であることを示す。
  論文  参考訳（メタデータ） (2023-10-29T18:10:31Z)
• The Quantum Monadology [0.0]
  関数型プログラミング言語の現代の理論は、計算サイドエフェクトとサイドコンテキストを符号化するためにモナドを使用する。 我々はGrothendieckの「操作のモチベーションヨガ」によって誘導されるパラメータ化モジュールスペクトルのカテゴリ上での(co)モナドの分析を行う。 本稿では、これらのモナディック量子効果を透明なdo-notationで表現したドメイン固有量子プログラミング言語(QS)を示す。
  論文  参考訳（メタデータ） (2023-10-24T11:19:24Z)
• Category Theory for Quantum Natural Language Processing [0.0]
  この論文は、計算言語学と量子力学の類似に基づく量子自然言語処理(QNLP)モデルを導入する。 テキストと文の文法構造は、絡み合い構造が量子系の状態を接続するのと同じように、単語の意味を接続する。 この抽象的なアナロジーを具体的なアルゴリズムに変換し、文法構造をパラメータ化量子回路のアーキテクチャに変換する。 次に、ハイブリッドな古典量子アルゴリズムを用いて、データ駆動タスクにおける文の意味を回路評価によって計算できるようにモデルを訓練する。
  論文  参考訳（メタデータ） (2022-12-13T14:38:57Z)
• Proto-Quipper with dynamic lifting [1.5274311118568713]
  我々は、Quipper に存在する Dynamic lifting という構造で Proto-Quipper-M を拡張する。 動的リフトにより、Proto-Quipperプログラムは古典的および量子計算をインターリーブすることができる。
  論文  参考訳（メタデータ） (2022-04-27T16:34:15Z)
• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement [7.439160287320074]
  量子回路記述言語に動的リフトを導入する。 本稿では,言語に対する型システムと操作意味論を提案し,安全性特性を述べる。 提案手法は,量子メモリから古典的コンテンツを抽出する作用の副作用として,Kleisli圏を計測した回路の具体的なカテゴリ上に構築することである。
  論文  参考訳（メタデータ） (2021-10-06T12:29:03Z)
• Enabling Retargetable Optimizing Compilers for Quantum Accelerators via a Multi-Level Intermediate Representation [78.8942067357231]
  我々は、最適化され、再ターゲット可能で、事前コンパイルが可能なマルチレベル量子古典中間表現(IR)を提案する。 ゲートベースのOpenQASM 3言語全体をサポートし、共通量子プログラミングパターンのカスタム拡張と構文の改善を提供します。 私たちの研究は、通常のPythonのアプローチよりも1000倍高速で、スタンドアロンの量子言語コンパイラよりも5～10倍高速なコンパイル時間を実現しています。
  論文  参考訳（メタデータ） (2021-09-01T17:29:47Z)
• Extending Python for Quantum-Classical Computing via Quantum Just-in-Time Compilation [78.8942067357231]
  Pythonは、その柔軟性、ユーザビリティ、可読性、開発者の生産性を重視することで有名な人気のあるプログラミング言語です。 量子ジャスト・イン・タイム・コンパイルのための堅牢なC++インフラストラクチャを通じて、異種量子古典計算を可能にするPythonの言語拡張を提案する。
  論文  参考訳（メタデータ） (2021-05-10T21:11:21Z)
• Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
  qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。 我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-08T12:49:07Z)
• Extending XACC for Quantum Optimal Control [70.19683407682642]
  量子コンピューティングベンダーは、直接パルスレベルの量子制御のためのアプリケーションプログラミングをオープンにし始めている。 本稿では,XACCシステムレベルの量子古典ソフトウェアフレームワークの拡張について述べる。 この拡張により、デジタル量子回路表現を等価なパルスシーケンスに変換することができる。
  論文  参考訳（メタデータ） (2020-06-04T13:13:55Z)

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

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