論文の概要: Reversible Lifetime Semantics for Quantum Programs

• arxiv url: http://arxiv.org/abs/2603.14538v1
• Date: Sun, 15 Mar 2026 18:25:59 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-17 16:19:35.875247
• Title: Reversible Lifetime Semantics for Quantum Programs
• Title（参考訳）: 量子プログラムの可逆的ライフタイムセマンティックス
• Abstract要約: 本稿では,emphScope-Bunded Liveness-Guided Uncomputationの形式モデルを提案する。 ネストしたスコープにおける構成的正しさを証明し,臨界パスオーバーヘッドを回避し,早期再生により回路深度を低減できることを示す。 自動計算を制限しなければならない制約(可逆性、永続的絡み合い、エイリアス)を特徴付ける。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Reversible computation requires that intermediate data be explicitly undone rather than discarded. In quantum programming, this principle appears as uncomputation, usually treated as a technical cleanup mechanism. We instead present uncomputation as a semantic foundation. In the Qutes language, we introduce a formal model of \emph{Scope-Bounded Liveness-Guided Uncomputation}, where lexical scope bounds variable lifetime and static liveness and entanglement analysis determine the earliest safe reclamation point. We define semantic lifetime and a Restoration Invariant ensuring that temporary quantum information disappears once it becomes semantically irrelevant. We prove compositional correctness under nested scopes and show that early reclamation can reduce circuit depth by avoiding critical-path overhead and can bound peak live qubits through disciplined ancilla reuse. Finally, we show that parameter passing semantics emerges from the same lifetime discipline, with pass-by-value and pass-by-reference corresponding to different lifetime boundaries, and we characterize the constraints (irreversibility, persistent entanglement, and aliasing) under which automatic uncomputation must be restricted.
• Abstract（参考訳）: 可逆計算では、中間データを捨てるのではなく、明示的に取り除く必要がある。 量子プログラミングでは、この原理は非計算として現れ、通常は技術的なクリーンアップ機構として扱われる。 代わりに、意味論的基盤として非計算を提示します。 Qutes言語では、語彙範囲が変数寿命と静的な生存と絡み合い解析が最初期の安全な開拓点を決定するような、emph{Scope-Bounded Liveness-Guided Uncomputation} の形式モデルを導入する。 セマンティックライフタイムとリカバリ不変性を定義し、セマンティックに無関係になると一時的な量子情報が消えることを保証する。 本研究は, 営巣範囲における構成的正しさを証明し, 初期埋設により臨界経路オーバーヘッドを回避して回路深度を低減でき, 固定化アンシラ再利用によるピークライブキュービットの有界化が可能であることを示す。 最後に,パラメータパッシングのセマンティクスは同じライフスタイルから,異なるライフタイム境界に対応するパス・バイ・バリューとパス・バイ・レファレンスを持ち,自動計算を制限しなければならない制約(可逆性,永続的絡み合い,エイリアス)を特徴付けることを示す。

関連論文リスト

• Position: Quantum Program Generation Must Prioritize Validity Over Probabilistic Scaling [7.165225514185139]
  自然言語とは異なり、量子回路は意味のある構文-意味的ギャップを示す数学的制約に厳密に固執する必要がある。 証明されていない量子プログラムのトレーニングは、モデルが構文を学ぶが、ヒルベルト空間の物理的意味を捉えないことを意味する。 本稿では,人間中心の副操縦士から検証者中心のエージェントへのピボットを提案する。
  論文  参考訳（メタデータ） (2026-07-15T21:28:59Z)
• DeSeG: Decoupling Semantic Intent and Geometric Constraints for Physically Plausible Human-Scene Interaction [50.06148080975928]
  本稿では,意味的意図を幾何学的制約から明確に分離する階層型フレームワークであるDeSeGを提案する。 DeSeGは最先端のパフォーマンスを実現し、平均シーン浸透率を47%削減し、SOTAベースラインに対するセマンティックアライメントを29%改善した。
  論文  参考訳（メタデータ） (2026-07-07T03:21:08Z)
• Active Timepoint Selection for Learning Measure-Valued Trajectories [55.49809248697036]
  スナップショットから連続確率パスを推定することは、単細胞生物学のような領域における根本的な課題である。 スパース測度空間にアクティブな実験を拡張するフレームワークを導入する。 これにより、不確実性を最小限に抑えるために測定時間を反復的に選択する取得ポリシーが得られる。
  論文  参考訳（メタデータ） (2026-05-28T22:22:35Z)
• MIITA: Memory-Induced Inference-Time Adaptation for Continual Learning with Small Language Models [64.2820121997882]
  MIITAはメモリ駆動型推論時間適応フレームワークである。 教師付きエクスペリエンスをセマンティックアンカーを備えたコンパクトな修正指向プロトタイプとして格納し、セマンティックおよび不確実性ベースのキューを使用して推論時にそれらを検索する。 実験により、MIITAは最終性能を継続的に改善し、固定メモリの予算下での忘れを軽減している。
  論文  参考訳（メタデータ） (2026-05-20T03:03:04Z)
• The Physical and Contextual Limits of Quantum Speedup [0.0]
  量子計算は指数関数的に多くの古典計算の同時実行としてしばしば誤認識される。 この記事では、量子重ね合わせの成分が独立に可読な古典枝として扱うことができないことを示す概念的明確化を提供する。
  論文  参考訳（メタデータ） (2026-05-12T19:25:47Z)
• Word-Anchored Temporal Forgery Localization [6.691985085293349]
  候補偽造提案を導出するために,単語アンコール時間的偽造位置推定(WAFL)を提案する。 まず、時間的偽造の本質を分析し、最小の有意義な偽造単位、単語トークンを識別し、データ前処理を音声の自然な言語境界と整合させる。 偽造検出に固有の極端なクラス不均衡を克服するために,アーティファクト中心非対称損失(ACA)を設計する。
  論文  参考訳（メタデータ） (2026-03-06T12:33:28Z)
• Partial Feedback Online Learning [88.27143767009376]
  我々は、偏見フィードバックオンライン学習と呼ばれる新しい学習プロトコルについて研究する。 各インスタンスは許容できるラベルのセットを許可するが、学習者は1ラウンドごとに許容できるラベルを1つだけ観察する。
  論文  参考訳（メタデータ） (2026-01-29T09:39:11Z)
• Denotational semantics for stabiliser quantum programs [0.0]
  我々は安定化操作のための音・普遍・完全意味論を開発する。 安定プログラムのための概念実証アセンブリ言語を記述することで、結果のセマンティクスのパワーを実証する。
  論文  参考訳（メタデータ） (2025-11-27T19:51:43Z)
• TaCo: Capturing Spatio-Temporal Semantic Consistency in Remote Sensing Change Detection [54.22717266034045]
  Ta-Coは時間的意味遷移のための一貫したセマンティックネットワークである。 我々は,Ta-Coがリモートセンシング検出タスクにおいて一貫したSOTA性能を実現することを示す。 この設計は推論中に余分な計算オーバーヘッドを伴わずにかなりの利得を得ることができる。
  論文  参考訳（メタデータ） (2025-11-25T13:44:29Z)
• A unified relativistic path integral origin for noise-activated collapse and decoherence [6.864380740265179]
  我々は、ディラック、クライン=ゴルドン、シュル・オーディンガー方程式を復元する相対論的経路積分を構築する。 この用語は、微分可能ポテンシャルにおいて休眠であるが、微分不能ノイズによって活性化され、有界マーチンゲール過程を通じて結果確率を誘導する。 トリガーはノイズスペクトルなので、我々の研究は「エンジニアリングカラー」のノイズが速くなるか、ステア崩壊することを示している。
  論文  参考訳（メタデータ） (2025-09-20T01:58:50Z)
• Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime [0.0]
  Uncomputationは、プログラマが量子情報を失うことなく値を捨てることができる量子プログラミングの機能である。 Rustの型システムを拡張して、Qurtsと呼ばれる自動非計算のための統一的なフレームワークを提供します。
  論文  参考訳（メタデータ） (2024-11-16T16:34:08Z)
• (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
  微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。 その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。 本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
  論文  参考訳（メタデータ） (2024-10-22T00:41:47Z)
• ECLIPSE: Efficient Continual Learning in Panoptic Segmentation with Visual Prompt Tuning [54.68180752416519]
  パノプティカルセグメンテーション(英: Panoptic segmentation)は、コンピュータビジョンの最先端タスクである。 ECLIPSE と呼ばれる Visual Prompt Tuning をベースとした,新規で効率的なパノプティカルセグメンテーション手法を提案する。 我々のアプローチは、基本モデルのパラメータを凍結し、小さなプロンプト埋め込みだけを微調整することであり、破滅的な忘れ物と塑性の両方に対処する。
  論文  参考訳（メタデータ） (2024-03-29T11:31:12Z)
• Uncovering the Missing Pattern: Unified Framework Towards Trajectory Imputation and Prediction [60.60223171143206]
  軌道予測は、観測されたシーケンスから実体運動や人間の行動を理解する上で重要な作業である。 現在の方法では、観測されたシーケンスが完了したと仮定し、欠落した値の可能性を無視する。 本稿では,グラフに基づく条件変動リカレントニューラルネットワーク (GC-VRNN) の統一フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-03-28T14:27:27Z)
• Recovery With Incomplete Knowledge: Fundamental Bounds on Real-Time Quantum Memories [0.0]
  オブザーバベースの(不完全な知識)回復プロトコルをリアルタイムパラメータ推定問題とみなす。 本稿では,このプロトコルの性能に関する情報理論および経験的境界について述べる。
  論文  参考訳（メタデータ） (2022-08-08T21:26:07Z)
• Quantum Geometric Confinement and Dynamical Transmission in Grushin Cylinder [68.8204255655161]
  無限円筒上で最小に定義されたラプラス・ベルトラミ作用素の自己随伴実現を分類する。 我々は、最近文献で確認された、最も精細で最も透過性の高い拡張を検索する。
  論文  参考訳（メタデータ） (2020-03-16T11:37:23Z)

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

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