論文の概要: A biset-enriched categorical model for Proto-Quipper with dynamic
lifting
- arxiv url: http://arxiv.org/abs/2204.13039v1
- Date: Wed, 27 Apr 2022 16:33:06 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-15 09:08:24.323123
- Title: A biset-enriched categorical model for Proto-Quipper with dynamic
lifting
- Title(参考訳): 動的昇降を伴うプロト・クイッパーの双集合強化カテゴリーモデル
- Authors: Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
- Abstract要約: QuipperとProto-Quipperは量子プログラミング言語のファミリーである。
クイッパーとプロト・クイッパーは、プログラムが回路を生成する1つと、回路が実行される1つのランタイムを含む。
- 参考スコア(独自算出の注目度): 1.5274311118568713
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quipper and Proto-Quipper are a family of quantum programming languages that,
by their nature as circuit description languages, involve two runtimes: one at
which the program generates a circuit and one at which the circuit is executed,
normally with probabilistic results due to measurements. Accordingly, the
language distinguishes two kinds of data: parameters, which are known at
circuit generation time, and states, which are known at circuit execution time.
Sometimes, it is desirable for the results of measurements to control the
generation of the next part of the circuit. Therefore, the language needs to
turn states, such as measurement outcomes, into parameters, an operation we
call dynamic lifting. The goal of this paper is to model this interaction
between the runtimes by providing a general categorical structure enriched in
what we call "bisets". We demonstrate that the biset-enriched structure
achieves a proper semantics of the two runtimes and their interaction, by
showing that it models a variant of Proto-Quipper with dynamic lifting. The
present paper deals with the concrete categorical semantics of this language,
whereas a companion paper [FKRS2022a] deals with the syntax, type system,
operational semantics, and abstract categorical semantics.
- Abstract(参考訳): quipperとproto-quipperは、回路記述言語としての性質上、プログラムが回路を生成し、回路が実行される2つのランタイムを含む量子プログラミング言語のファミリーである。
したがって、この言語は、回路生成時に知られているパラメータと、回路実行時に知られている状態の2つの種類のデータを区別する。
回路の次の部分の発生を制御するためには、測定結果が望ましい場合もある。
したがって、言語は測定結果などの状態をパラメータに変える必要があり、これは動的リフトと呼ばれる操作である。
本稿の目的は、我々が"bisets"と呼ぶ一般的なカテゴリ構造を提供することによって、ランタイム間の相互作用をモデル化することである。
ビセットエンリッチ構造は、2つのランタイムとそれらのインタラクションの適切なセマンティクスを実現し、動的浮揚を伴うproto-quipperの変種をモデル化することを示す。
本稿では,この言語の具体的な分類的意味論を取り上げ,その一方で,構文,型システム,操作的意味論,抽象的分類的意味論を扱う。
関連論文リスト
- Position-aware Automatic Circuit Discovery [59.64762573617173]
我々は既存の回路探索手法のギャップを同定し、モデル成分を入力位置間で等しく関連するものとして扱う。
可変長例を含むタスクであっても,回路に位置性を組み込むための2つの改良を提案する。
提案手法により, 位置感応回路の完全自動検出が可能となり, 従来よりも回路サイズと忠実度とのトレードオフが良好になる。
論文 参考訳(メタデータ) (2025-02-07T00:18:20Z) - Training Neural Networks as Recognizers of Formal Languages [87.06906286950438]
形式言語理論は、特に認識者に関するものである。
代わりに、非公式な意味でのみ類似したプロキシタスクを使用するのが一般的である。
ニューラルネットワークを文字列のバイナリ分類器として直接訓練し評価することで、このミスマッチを補正する。
論文 参考訳(メタデータ) (2024-11-11T16:33:25Z) - Circuit Width Estimation via Effect Typing and Linear Dependency (Long
Version) [1.3597551064547502]
本稿では,線形依存型・実効性を持つ回路記述言語Proto-Quipper-Rを提案する。
提案手法は現実的な量子アルゴリズムを検証するのに十分であることを示す。
論文 参考訳(メタデータ) (2023-10-29T18:10:31Z) - Generative Models as a Complex Systems Science: How can we make sense of
large language model behavior? [75.79305790453654]
事前訓練されたモデルから望ましい振る舞いを排除し、望ましくないモデルを避けながら、NLPを再定義した。
言語モデルの振る舞いをタスク間性能を説明するカテゴリに分解する体系的な取り組みについて論じる。
論文 参考訳(メタデータ) (2023-07-31T22:58:41Z) - An Interleaving Semantics of the Timed Concurrent Language for
Argumentation to Model Debates and Dialogue Games [0.0]
エージェント間の同時相互作用をモデル化する言語を提案する。
このような言語は、エージェントが彼らの信念の受容可能性についてコミュニケーションし、推論するために使用する共有メモリを利用する。
知的エージェント間で行われる議論や対話ゲームのようなインタラクションをモデル化するためにどのように使用できるかを示す。
論文 参考訳(メタデータ) (2023-06-13T10:41:28Z) - Category Theory for Quantum Natural Language Processing [0.0]
この論文は、計算言語学と量子力学の類似に基づく量子自然言語処理(QNLP)モデルを導入する。
テキストと文の文法構造は、絡み合い構造が量子系の状態を接続するのと同じように、単語の意味を接続する。
この抽象的なアナロジーを具体的なアルゴリズムに変換し、文法構造をパラメータ化量子回路のアーキテクチャに変換する。
次に、ハイブリッドな古典量子アルゴリズムを用いて、データ駆動タスクにおける文の意味を回路評価によって計算できるようにモデルを訓練する。
論文 参考訳(メタデータ) (2022-12-13T14:38:57Z) - The Whole Truth and Nothing But the Truth: Faithful and Controllable
Dialogue Response Generation with Dataflow Transduction and Constrained
Decoding [65.34601470417967]
本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。
本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
論文 参考訳(メタデータ) (2022-09-16T09:00:49Z) - 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) - SChME at SemEval-2020 Task 1: A Model Ensemble for Detecting Lexical
Semantic Change [58.87961226278285]
本稿では,SemEval-2020 Task 1における語彙意味変化の教師なし検出法であるSChMEについて述べる。
SChMEは、分布モデル(単語埋め込み)とワード周波数モデルの信号を組み合わせたモデルアンサンブルを使用し、各モデルは、その特徴に応じて単語が苦しむ確率を示す投票を行う。
論文 参考訳(メタデータ) (2020-12-02T23:56:34Z) - NLP-CIC @ DIACR-Ita: POS and Neighbor Based Distributional Models for
Lexical Semantic Change in Diachronic Italian Corpora [62.997667081978825]
本稿では,イタリア語に対する教師なし語彙意味変化のシステムと知見について述べる。
その課題は、対象の単語が時間とともにその意味を進化させたかどうかを判断することであり、それは2つの時間固有のデータセットからの原文のみに依存する。
本研究では,各期間に対象単語を表す2つのモデルを提案し,しきい値と投票方式を用いて変化単語を予測する。
論文 参考訳(メタデータ) (2020-11-07T11:27:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。