Triple
T22381912
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Slavnov–Taylor identities |
E553294
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object | Faddeev–Popov quantization |
—
|
NE NERFINISHED |
How this triple was built (2 steps)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
NER
Named-entity recognition
gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Faddeev–Popov quantization | Statement: [Slavnov–Taylor identities, relatedTo, Faddeev–Popov quantization]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Faddeev–Popov quantization Context triple: [Slavnov–Taylor identities, relatedTo, Faddeev–Popov quantization]
-
A.
Faddeev–Popov ghosts
chosen
Faddeev–Popov ghosts are auxiliary, anticommuting fields introduced in the path integral quantization of non-Abelian gauge theories to correctly account for gauge redundancy and maintain unitarity and renormalizability.
-
B.
Euclidean quantum field theory
Euclidean quantum field theory is a formulation of quantum field theory in imaginary (Euclidean) time that enables rigorous mathematical treatment and path-integral representations closely connected to statistical mechanics.
-
C.
Faddeev’s axioms
Faddeev’s axioms are a set of conditions characterizing Shannon entropy in information theory, providing an alternative but equivalent axiomatization to the Shannon–Khinchin framework.
-
D.
The Global Approach to Quantum Field Theory
The Global Approach to Quantum Field Theory is a comprehensive two-volume textbook by Bryce DeWitt that presents quantum field theory using a geometrical and globally covariant formalism, emphasizing path integrals and gauge theories.
-
E.
Dirac constraint quantization
Dirac constraint quantization is a method in theoretical physics for quantizing systems with constraints, such as gauge theories and general relativity, by promoting constraints to operator conditions on physical states.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 batches)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69e11e4c03248190a26a5060ea6973ee |
completed | April 16, 2026, 5:37 p.m. |
| NER | Named-entity recognition | batch_69f1582cce608190b5324b30f349a3ff |
completed | April 29, 2026, 1 a.m. |
Created at: April 16, 2026, 8:45 p.m.