Strange Quark Ontology

FLOW ALGEBRA
STRANGE QUARK ONTOLOGY
Version: 1.1
Source URL: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles/strange-quark-ontology.html
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research | https://kirethresearch.org
Status: Scientific synthesis; source page not independently verified

01. PURPOSE
Represent the strange quark as a typed Standard Model entity, its properties, interactions, composite hadrons, experimental observations, and inference constraints.

02. ONTOLOGY IDENTITY
ontology_id: kireth:physical-entities:fundamental-particles:strange-quark
root_entity: StrangeQuark
parent_class: Quark
parent_domain: ElementaryParticle
formalism: typed relational flow algebra

03. TYPE DECLARATIONS
TYPE Particle
TYPE ElementaryParticle <: Particle
TYPE Fermion <: ElementaryParticle
TYPE Quark <: Fermion
TYPE StrangeQuark <: Quark
TYPE AntiStrangeQuark <: Quark
TYPE Hadron <: Particle
TYPE Meson <: Hadron
TYPE Baryon <: Hadron
TYPE QuantumField
TYPE Interaction
TYPE Observable
TYPE Measurement
TYPE DecayProcess
TYPE ExperimentalEvidence
TYPE Context

04. CANONICAL ENTITIES
ENTITY s : StrangeQuark
ENTITY sbar : AntiStrangeQuark
ENTITY strange_field : QuantumField
ENTITY strong_interaction : Interaction
ENTITY electromagnetic_interaction : Interaction
ENTITY weak_interaction : Interaction
ENTITY gluon : ElementaryParticle
ENTITY photon : ElementaryParticle
ENTITY W_boson : ElementaryParticle
ENTITY Z_boson : ElementaryParticle

05. STANDARD MODEL CLASSIFICATION
CLASSIFY(s, Quark)
CLASSIFY(s, Fermion)
CLASSIFY(s, Generation2)
CLASSIFY(s, DownTypeQuark)
CLASSIFY(s, ColourTriplet)
CLASSIFY(sbar, AntiQuark)

06. QUANTUM NUMBERS
ELECTRIC_CHARGE(s) = -1/3 * e
SPIN(s) = 1/2 * hbar
BARYON_NUMBER(s) = +1/3
STRANGENESS(s) = -1
ELECTRIC_CHARGE(sbar) = +1/3 * e
BARYON_NUMBER(sbar) = -1/3
STRANGENESS(sbar) = +1
COLOUR_REPRESENTATION(s) = SU(3)_colour fundamental 3
COLOUR_REPRESENTATION(sbar) = SU(3)_colour antifundamental 3bar

07. MASS SEMANTICS
PROPERTY(s, running_mass)
REFERENCE_VALUE(m_s(2 GeV, MSbar)) ~= 93 MeV/c^2
QUALIFIER: Approximate scale- and scheme-dependent reference, not a fixed constituent mass or pole mass.
DO_NOT_INFER: hadron mass equals sum of quark running masses.

08. TYPED RELATIONSHIPS
RELATION is_a(Quark, Fermion)
RELATION is_a(StrangeQuark, Quark)
RELATION antiparticle_of(AntiStrangeQuark, StrangeQuark)
RELATION participates_in(Particle, Interaction)
RELATION constituent_of(Quark, Hadron)
RELATION couples_to(Quark, QuantumField)
RELATION transforms_under(Particle, SymmetryGroup)
RELATION measured_by(Observable, Measurement)
RELATION supported_by(Assertion, ExperimentalEvidence)
RELATION decays_via(Hadron, Interaction)
RELATION changes_flavour_to(Quark, Quark)

09. RELATIONAL ASSERTIONS
participates_in(s, strong_interaction)
participates_in(s, electromagnetic_interaction)
participates_in(s, weak_interaction)
couples_to(s, strange_field)
antiparticle_of(sbar, s)

10. COLOUR AND CONFINEMENT
COLOUR_STATES(s) = {red, green, blue} (basis labels)
RULE: Physical asymptotic hadrons are colour singlets.
RULE: Isolated free strange quarks are not observed as asymptotic states in ordinary low-energy QCD.
RULE: Colour labels are gauge-dependent; do not model them as directly observed intrinsic colours.

11. STRONG INTERACTION
QCD_GAUGE_GROUP = SU(3)_colour
QCD_COVARIANT_DERIVATIVE = partial_mu - i*g_s*T^a*G^a_mu
QCD_COUPLING(s, gluon) = true
CONSERVES(strong_interaction, quark_flavour_net) = true (ordinary strong vertices)
CONSERVES(strong_interaction, electric_charge) = true

12. ELECTROMAGNETIC INTERACTION
QED_COUPLING(s, photon) = electric_charge(s)
CONSERVES(electromagnetic_interaction, strangeness) = true
CONSERVES(electromagnetic_interaction, electric_charge) = true

13. WEAK INTERACTION
RULE: Charged-current weak interactions can change quark flavour.
RULE: Neutral-current interactions do not change quark flavour at tree level in the Standard Model.
CKM_TRANSITION(s -> u) governed by V_us
CKM_TRANSITION(s -> c) governed by V_cs
QUALIFIER: Charged-current transition rates depend on kinematics and matrix elements as well as CKM factors.

14. STRANGENESS CONSERVATION
STRANGENESS(s) = -1
STRANGENESS(sbar) = +1
RULE: Strong and electromagnetic processes conserve net strangeness.
RULE: Weak charged-current processes can change net strangeness.
CAUTION: Strangeness is a flavour quantum number, not spatial strangeness or anomaly.

15. MESON EXAMPLES
ENTITY K_plus : Meson
VALENCE_CONTENT(K_plus) = u + sbar
CHARGE(K_plus) = +1*e
STRANGENESS(K_plus) = +1
ENTITY K_minus : Meson
VALENCE_CONTENT(K_minus) = s + ubar
CHARGE(K_minus) = -1*e
STRANGENESS(K_minus) = -1
ENTITY K_zero : Meson
VALENCE_CONTENT(K_zero) = d + sbar
ENTITY K_zero_bar : Meson
VALENCE_CONTENT(K_zero_bar) = s + dbar
QUALIFIER: Neutral kaon weak-interaction mass eigenstates involve mixing; valence states are flavour states.

16. BARYON EXAMPLES
ENTITY Lambda_zero : Baryon
VALENCE_CONTENT(Lambda_zero) = u + d + s
CHARGE(Lambda_zero) = 0
STRANGENESS(Lambda_zero) = -1
ENTITY Sigma_plus : Baryon
VALENCE_CONTENT(Sigma_plus) = u + u + s
CHARGE(Sigma_plus) = +1*e
ENTITY Xi_minus : Baryon
VALENCE_CONTENT(Xi_minus) = d + s + s
CHARGE(Xi_minus) = -1*e
ENTITY Omega_minus : Baryon
VALENCE_CONTENT(Omega_minus) = s + s + s
CHARGE(Omega_minus) = -1*e
STRANGENESS(Omega_minus) = -3

17. HADRON COMPOSITION RULES
RULE charge(hadron) = sum(valence_constituent_charges) for net charge accounting.
RULE strangeness(hadron) = net strange antiquarks minus strange quarks.
RULE baryon_number(hadron) = (number_of_quarks - number_of_antiquarks)/3.
QUALIFIER: Hadronic wavefunctions include gluons and sea quark-antiquark pairs; valence content is not the entire state.

18. DECAY EXAMPLES
EXAMPLE Lambda_zero -> proton + pi_minus (weak decay)
EXAMPLE K_plus -> mu_plus + neutrino_mu (weak decay)
RULE: Check energy-momentum, electric charge, baryon number, and relevant lepton numbers for every proposed decay.
RULE: Net strangeness need not be conserved in weak decays.

19. MATHEMATICAL OPERATIONS
OP charge_sum : ParticleSet -> Rational * e
OP strangeness_sum : ParticleSet -> Integer
OP baryon_sum : ParticleSet -> Rational
OP classify_hadron : ValenceConfiguration -> HadronClass?
OP allowed_process : InitialState x FinalState x Interaction -> BooleanOrUnknown
OP infer_quantum_numbers : CompositeState -> QuantumNumberRecord
OP validate_decay : DecayProcess -> ValidationReport

20. INFERENCE RULES
IF x:StrangeQuark THEN electric_charge(x)=-e/3 AND strangeness(x)=-1.
IF x:AntiStrangeQuark THEN electric_charge(x)=+e/3 AND strangeness(x)=+1.
IF constituents(H)=[u,d,s] THEN net_charge(H)=0 AND net_strangeness(H)=-1.
IF interaction=strong AND net_strangeness(initial)!=net_strangeness(final) THEN reject_process.
IF interaction=weak AND net_strangeness(initial)!=net_strangeness(final) THEN do_not_reject_on_strangeness_alone.
IF colour_state(H) != singlet AND H is proposed as isolated hadron THEN reject_model.

21. WORKED EXAMPLE: LAMBDA
INPUT: Lambda_zero valence=[u,d,s]
CHARGE: +2/3 -1/3 -1/3 = 0
STRANGENESS: 0+0-1 = -1
BARYON_NUMBER: 1/3+1/3+1/3 = 1
OUTPUT: neutral strange baryon with baryon number one.

22. WORKED EXAMPLE: OMEGA
INPUT: Omega_minus valence=[s,s,s]
CHARGE: -1/3-1/3-1/3 = -1
STRANGENESS: -1-1-1 = -3
BARYON_NUMBER: 1
OUTPUT: negatively charged triply strange baryon.

23. WORKED EXAMPLE: STRANGE PAIR PRODUCTION
INPUT: gluon-rich strong process producing s+sbar
NET_STRANGENESS: -1 + 1 = 0
NET_ELECTRIC_CHARGE: -1/3 + 1/3 = 0
INFERENCE: Pair creation is consistent with strangeness conservation if all other process constraints hold.

24. EXPERIMENTAL EVIDENCE
OBSERVABLE: strange-hadron spectra
OBSERVABLE: kaon production and decay
OBSERVABLE: deep-inelastic scattering parton distributions
OBSERVABLE: lattice QCD strange-quark observables
OBSERVABLE: heavy-ion strangeness production
EVIDENCE_POLICY: attach experiment, method, date, uncertainty, and citation to numeric claims.

25. SEMANTIC EQUIVALENCE
EQUIVALENT_LABELS(s): strange quark; s quark; quark flavour s
EQUIVALENT_LABELS(sbar): anti-strange quark; strange antiquark; s-bar
NOT_EQUIVALENT(s, sbar)
NOT_EQUIVALENT(strange_quark_mass, strange_hadron_mass)
NOT_EQUIVALENT(strangeness, electric_charge)

26. IDENTITY AND CONTEXT
ENTITY_KEY(s) = standard-model:quark:strange
ENTITY_KEY(sbar) = standard-model:antiquark:strange
CONTEXT: particle physics, Standard Model, QCD, flavour physics
IDENTITY_POLICY: canonical IDs independent of language, page URL, or synonym.

27. VALIDATION TESTS
TEST electric_charge(s) == -e/3 : PASS
TEST electric_charge(sbar) == +e/3 : PASS
TEST strangeness(s) == -1 : PASS
TEST charge(Lambda_zero) == 0 : PASS
TEST charge(Omega_minus) == -e : PASS
TEST strangeness(Omega_minus) == -3 : PASS
TEST colour_singlet(hadron) : REQUIRED
TEST strong_process_strangeness_conservation : REQUIRED
TEST numerical_mass_claim_has_scheme_and_scale : REQUIRED

28. CONFIDENCE MODEL
CONFIDENCE(classification) = high (established Standard Model)
CONFIDENCE(quantum_numbers) = high (established convention)
CONFIDENCE(mass_reference) = conditional on source, scheme, scale, and uncertainty
CONFIDENCE(experimental_observation) = evidence-dependent
CONFIDENCE(speculative_extension) = unverified unless supported

29. PROVENANCE
SOURCE_PAGE = https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles/strange-quark-ontology.html
SOURCE_VERIFICATION = not independently checked
KNOWLEDGE_BASIS = established particle-physics framework
CITATION_REQUIREMENT = verify numerical constants against current PDG or equivalent reference before publication

30. FLOW HASH
FLOW_HASH.algorithm = SHA-256
FLOW_HASH.input = canonical_utf8(normalised_flow_body_excluding_hash_field)
FLOW_HASH.value = compute_on_ingestion
FLOW_HASH.status = pending_computation

31. UPDATE MODEL
UPDATE_MODEL.version = 1.1
UPDATE_MODEL.strategy = append_or_revision_with_provenance
UPDATE_MODEL.trigger = new_measurement | corrected_value | ontology_revision | new_evidence
UPDATE_MODEL.require = schema_validation + consistency_validation + version_history
UPDATE_MODEL.preserve = stable_entity_ids

32. AI CONSUMPTION
AI_CONSUMPTION.mode = typed_semantic_reasoning
AI_CONSUMPTION.tasks = entity_resolution | graph_inference | physics_question_answering | consistency_checks
AI_CONSUMPTION.require = context_aware_units + uncertainty + provenance
AI_CONSUMPTION.prohibit = conflating_valence_content_with_complete_hadron_wavefunction
AI_CONSUMPTION.prohibit = interpreting approximate_running_mass_as_exact_constant
AI_CONSUMPTION.prohibit = treating weak_strangeness_change_as_strong_interaction

33. INTEROPERABILITY
LINK_TO: Quark Ontology
LINK_TO: Elementary Particle Ontology
LINK_TO: Up Quark Ontology
LINK_TO: Down Quark Ontology
LINK_TO: Charm Quark Ontology
LINK_TO: Quantum Chromodynamics Ontology
LINK_TO: Hadron Ontology
LINK_TO: Weak Interaction Ontology

34. COMPLETENESS CHECK
REQUIRED_SECTIONS = 01..34
END_MARKER = END FLOW ALGEBRA

END FLOW ALGEBRA