論文の概要: From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
- arxiv url: http://arxiv.org/abs/2603.16274v1
- Date: Tue, 17 Mar 2026 09:05:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-18 17:42:07.188175
- Title: From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
- Title（参考訳）: トルソルからトポイへ : 暗号における$$$-Protocolsをめざして
- Authors: Takao Inoué,
- Abstract要約: 本報告では, シーブとトポイについて概説する。
これは、著者の初期のトーサーへの紹介の概念的な継続として記述されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper provides a preparatory introduction to sheaves and topoi, written as a conceptual continuation of the author's earlier introduction to torsors and as preparatory background for the author's arXiv paper \emph{Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security:\ Attacker Models and $Σ$-Protocols as the First Step}~\cite{InoueSecurity}. Rather than attempting an encyclopedic survey of all of topos theory, the exposition develops those parts of the subject that are most relevant for passing from torsor-based local-to-global reasoning to sheaf-theoretic and topos-theoretic reasoning: Grothendieck topologies, sheaves, torsors over a site, descent, sheaf topoi, elementary topoi, Cartesian closed structure, subobject classifiers, and internal logic. The goal is not merely motivational. We try to develop enough genuine topos theory that the reader can understand, not only heuristically but structurally, why the later cryptographic framework of~\cite{InoueSecurity} uses Grothendieck topologies and sheaf-theoretic language. To make the note more self-contained, we also include substantial appendices on basic category theory, Yoneda's lemma, limits and colimits, equalizers and coequalizers, Kan extensions, the relation between internal logic and intuitionistic logic, and exercises with solutions. In the final part, we explain how these ideas prepare the ground for a conceptual understanding of $Σ$-protocols, especially in connection with local consistency, simulability, and the passage from compatible local data to global structure.
- Abstract（参考訳）: 本論文は,本論文において,著者の初期のトーサー導入概念の継続と,著者のarXiv論文 \emph{Grothendieck Topologies and Sheaf-theoretic Foundations of Cryptographic Security:\ Attacker Models and $Σ$-Protocols as the First Step}~\cite{InoueSecurity} の予備的背景について述べる。
トポス理論の百科事典的な調査を試みるのではなく、この展示は、トポス理論に基づく局所的-言語的推論から、層理論とトポス-理論的推論(Grothendieck topologies, sheaves, torsors on a site, descend, sheaf topoi, elementary topoi, Cartesian closed structure, subobject classifiers, and internal logic)に最も関係のある主題のこれらの部分を発展させている。
ゴールは単なるモチベーションだけではない。
我々は、読者がヒューリスティックにだけでなく構造的にも理解できるほど真のトポス理論を開発しようとしている。なぜ、~\cite{InoueSecurity} の後の暗号フレームワークはグロタンディーク位相と層理論言語を使っているのか。
ノートをより自己完結的にするために、基本圏論、ヨネダの補題、極限とコリミット、等化子と余等化子、カン拡張、内部論理と直観論的論理の関係、および解のエクササイズに関する実質的な注記を含める。
最後に、これらのアイデアがどのようにして$Σ$-protocolsの概念的理解の基盤を作るのかを説明し、特に局所的な一貫性、シミュラビリティ、および互換性のあるローカルデータからグローバル構造への遷移との関連について説明する。
関連論文リスト
- Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and $Σ$-Protocols as the First Step [0.0]
本稿では,Grothendieckトポロジと層理論に基づく暗号セキュリティの構造改革を提案する。
我々は,任意の$-protocolの転写構造が,シーブのトポに付随するトルソルを定義することを示す。
このトーソルの局所的自明性はゼロ知識に対応し、大域的区間の欠如は音質を反映する。
論文 参考訳（メタデータ） (2026-02-19T12:11:35Z) - Higher-Order Knowledge Representations for Agentic Scientific Reasoning [1.1458853556386797]
本稿では,多義性関係を忠実にエンコードするハイパーグラフに基づく知識表現を構築する手法を提案する。
バイオコンポジット足場上の1,100の写本のコーパスに適用し、161,172個のノードと320,201個のハイパーエッジからなるグローバルなハイパーグラフを構築した。
さらに,ハイパーグラフツールを用いたエージェントシステム,特にノード間制約を用いて,意味論的に離れた概念をブリッジできることを実証した。
論文 参考訳（メタデータ） (2026-01-08T12:25:37Z) - On the Fundamental Impossibility of Hallucination Control in Large Language Models [0.0]
不合理性理論:非自明な知識集約を行うLLMは、真理的な知識表現、意味情報保存、関連する知識の啓示を同時に達成できない。
提案手法は,アイデアのオークションとして推論をモデル化し,分散コンポーネントが符号化された知識を用いて応答に影響を与えることを証明している。
幻覚と想像力は数学的に同一であり、どちらも4つの重要な性質のうちの少なくとも1つに反する。
論文 参考訳（メタデータ） (2025-06-04T23:28:39Z) - Sheaf theory: from deep geometry to deep learning [0.3749861135832073]
本稿では,深層学習,データサイエンス,計算機科学におけるせん断理論の適用について概説する。
理論研究者と実践者の両方が共有する層理論の直観と動機について述べる。
そこで本研究では,任意の有限集合上でのせん断コホモロジーを計算するための新しいアルゴリズムを提案する。
論文 参考訳（メタデータ） (2025-02-21T14:00:25Z) - The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳（メタデータ） (2024-07-16T11:12:28Z) - Physics of Language Models: Part 1, Learning Hierarchical Language Structures [51.68385617116854]
トランスフォーマーベースの言語モデルは効率的だが複雑であり、内部の動作や推論メカニズムを理解することは大きな課題である。
本稿では,長文を生成可能な階層規則を生成する合成CFGのファミリーを紹介する。
我々は、GPTのような生成モデルがCFG定義階層を正確に学習し、推論し、それに基づいて文を生成することを実証する。
論文 参考訳（メタデータ） (2023-05-23T04:28:16Z) - HyperMiner: Topic Taxonomy Mining with Hyperbolic Embedding [54.52651110749165]
本稿では,単語や話題を表現するために,メタボリック埋め込みを導入した新しいフレームワークを提案する。
双曲空間のツリー様性により、下層のセマンティック階層はより解釈可能なトピックをマイニングするためによりうまく利用することができる。
論文 参考訳（メタデータ） (2022-10-16T02:54:17Z) - Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
私たちは、常識と一時的な知識のヒントの両方を階層的にカバーする動機があります。
具体的には,文の背骨成分を抽出し,知識単位の一般的な定式化を提案する。
次に、事実単位の上にスーパーグラフを構築し、文レベル(事実群間の関係)と実体レベルの相互作用の利点を享受する。
論文 参考訳（メタデータ） (2021-05-21T13:11:13Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳（メタデータ） (2021-01-13T15:22:01Z) - Sequential composition of propositional logic programs [0.0]
本稿では,非循環プログラムを単一ルールプログラムに分解し,任意のプログラムに対して一般的な分解結果を提供する。
プログラムの即時結果演算子は、演算子への明示的な参照を伴わずに最小モデルを計算することができる構成によって表現できることを示す。
論文 参考訳（メタデータ） (2020-09-12T11:57:30Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。