Triple

T11411768
Position Surface form Disambiguated ID Type / Status
Subject Gelfand triple E270387 entity
Predicate instanceOf P0 FINISHED
Object rigged Hilbert space C3750 CONCEPT FINISHED

How this triple was built (1 step)

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.

CD Concept disambiguation gpt-5-mini-2025-08-07
Target class: rigged Hilbert space
Context triple: [Gelfand triple, instanceOf, rigged Hilbert space]
  • A. projective unitary representation
    A projective unitary representation is a map from a group to unitary operators on a Hilbert space that preserves group multiplication up to a phase factor, i.e., up to multiplication by complex numbers of modulus one.
  • B. Green’s function in Euclidean space
    A Green’s function in Euclidean space is a fundamental solution to a linear differential operator that represents the response at one point due to a unit source located at another point, enabling the construction of solutions to boundary value problems via superposition.
  • C. inner product space chosen
    An inner product space is a vector space equipped with an inner product, a function that assigns a scalar to each pair of vectors in a way that generalizes the dot product and induces notions of length and angle.
  • D. Casimir operator
    The Casimir operator is a distinguished element of the center of the universal enveloping algebra of a Lie algebra (or Lie group) that commutes with all generators and acts as a scalar on each irreducible representation, thereby classifying those representations.
  • E. quantum theory formalism
    A quantum theory formalism is a mathematical framework that specifies the states, observables, and dynamical laws governing quantum systems, enabling the prediction of measurement outcomes and their probabilities.
  • F. None of above.

Provenance (1 batch)

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_69d6aaddeaa8819088b30ef7b50598c9 completed April 8, 2026, 7:22 p.m.
Created at: April 8, 2026, 9:34 p.m.