hasCommutationRelations
P62054
predicate
Indicates that there exist specific commutation relations governing how two operators or elements combine or reorder with respect to each other.
All labels observed (7)
| Label | Occurrences |
|---|---|
| hasCommutationRelation | 5 |
| LieBracketRelation | 3 |
| anticommutationProperty | 1 |
| anticommutationRelation | 1 |
| commutationRelation | 1 |
| commutatorBracketDefinition | 1 |
| hasCommutationRelations canonical | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: hasCommutationRelations
Generated description
Indicates that there exist specific commutation relations governing how two operators or elements combine or reorder with respect to each other.
Sample triples (13)
| Subject | Object |
|---|---|
| Weyl algebra | canonical commutation relations ⓘ |
| Lie ring | [x,y]=xy−yx via predicate surface "commutatorBracketDefinition" ⓘ |
| Pauli matrices | {σ_i, σ_j} = 2 δ_ij I via predicate surface "anticommutationRelation" ⓘ |
| Pauli matrices | [σ_i, σ_j] = 2 i ε_ijk σ_k via predicate surface "commutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,Y_j] = δ_{ij} Z via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,X_j] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [Y_i,Y_j] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [X_i,Z] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| Heisenberg Lie algebra | [Y_i,Z] = 0 via predicate surface "hasCommutationRelation" ⓘ |
| sl(2,C) | [H,E] = 2E via predicate surface "LieBracketRelation" ⓘ |
| sl(2,C) | [H,F] = -2F via predicate surface "LieBracketRelation" ⓘ |
| sl(2,C) | [E,F] = H via predicate surface "LieBracketRelation" ⓘ |
| Faddeev–Popov ghosts | Grassmann-odd via predicate surface "anticommutationProperty" ⓘ |