異時点間炭素市場のための機械検証済み均衡アーティファクト
Machine-certified equilibrium artifacts for intertemporal carbon markets (原題)
Yongbo Deng
🤖 gxceed AI 要約
日本語
動学的炭素市場ゲームの均衡を厳密有理数で証明する検証アーティファクトを提示。実LLMを提案者とするpropose-verify-reviseプロトコルで14/14の収束と42/42の敵対的棄却を達成。EU ETS 2013-2024パネルデータと図表をSHA-256で固定し、ワンクリック検証を可能にした。
English
Presents executable verification artifacts certifying every equilibrium claim in a dynamic carbon-market game using exact-rational certificates. A real-LLM propose-verify-revise protocol achieves 14/14 convergence and 42/42 adversarial rejection with counterexamples. EU ETS 2013-2024 panel data and figures are SHA-256 pinned for one-click reproducibility.
Unofficial AI-generated summary based on the public title and abstract. Not an official translation.
📝 gxceed 編集解説 — Why this matters
日本のGX文脈において
炭素市場モデルの再現性・検証可能性を高める基盤研究で、日本での炭素価格制度やGX-ETSの制度設計・モデル検証に関心を持つ読者に方法論的示唆を与える。
In the global GX context
Offers reproducible, machine-checkable equilibrium verification for carbon-market models, relevant to global carbon pricing and ETS design scholarship and to trustworthy AI-assisted economic modeling.
👥 読者別の含意
🔬研究者:炭素市場モデルの均衡証明を再現可能に検証する手法として参照できる。
🏢実務担当者:炭素価格・ETSモデルの前提検証や監査可能性の観点で示唆を得られる。
🏛政策担当者:炭素市場制度設計モデルの検証可能性・透明性確保の参考になる。
📄 Abstract（原文）
Executable verification artifacts for every equilibrium and computational claim in the companion paper: exact-rational (zero-tolerance) equilibrium certificates for a dynamic carbon-market game (certificate families CERT-FORMAL-001/002/003 for a dynamic carbon-market game and CERT-FORMAL-004 for a multi-period Cournot storage game, the generality member of the G-family), a measured AI-in-the-loop propose-verify-revise protocol with a real LLM proposer (14/14 convergence, 42/42 adversarial rejection with exact counterexamples, naked-float baseline), float validation suites, EU ETS 2013-2024 panel data and figures, pinned by SHA-256 in certificates/manifest.csv. One-click verification: python verify_all.py (or docker build + docker run).
🔗 Provenance — このレコードを発見したソース
- openalex https://doi.org/10.5281/zenodo.24133329first seen 2026-11-13 05:18:33
🔔 こうした論文の新着を逃したくない方は キーワードアラート に登録（無料・3キーワードまで）。
gxceed は公開メタデータに基づく研究支援データセットです。要約・翻訳・解説は AI 支援で生成されています。 最終的な解釈・検証は利用者が原典資料に基づいて行うことを前提とします。