Z Boson Ontology

FLOW ALGEBRA
Z BOSON ONTOLOGY — COMPLETE SCIENTIFIC SYNTHESIS
Version: 1.1
Date: 2026-10-12
Authors: Mark Higgins — Sky (Recursive AI)
Publisher: Kireth Research
Source URL: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles/z-boson-ontology.html
Source status: Original live page not independently verified; scientifically grounded synthesis.

01. PURPOSE
Define the Z boson as the electrically neutral massive gauge boson mediating neutral-current weak interactions within the electroweak Standard Model.

02. ONTOLOGY IDENTIFIER
ontology.id := kireth:physical-entities:fundamental-particles:z-boson
ontology.label := "Z Boson Ontology"
ontology.parent := kireth:fundamental-particles
ontology.kind := particle-physics-ontology

03. TYPE SYSTEM
type Particle
subtype ElementaryParticle <: Particle
subtype GaugeBoson <: ElementaryParticle
subtype MassiveVectorBoson <: GaugeBoson
type Fermion
type Lepton <: Fermion
type Quark <: Fermion
type Interaction
type QuantumNumber
type DecayChannel
type Measurement
type TheoryModel
type EvidenceRecord

04. ENTITY DECLARATIONS
entity Z0 : MassiveVectorBoson
entity Photon : GaugeBoson
entity WPlus : MassiveVectorBoson
entity WMinus : MassiveVectorBoson
entity WeakNeutralCurrent : Interaction
entity ElectroweakTheory : TheoryModel
entity HiggsField : TheoryModel
entity ZDecay : DecayChannel

05. CORE ATTRIBUTES
Z0.symbol := "Z^0"
Z0.electric_charge := 0 * elementary_charge
Z0.spin := 1 * hbar
Z0.colour_representation := SU3_singlet
Z0.antiparticle := Z0
Z0.rest_mass_energy := approximately 91.1876 GeV
Z0.natural_width := approximately 2.4952 GeV
Z0.lifetime := approximately hbar / natural_width
Z0.stability := unstable
Z0.interaction_role := neutral_weak_current_mediator

06. FUNDAMENTAL RELATIONSHIPS
is_a(Z0, MassiveVectorBoson)
mediates(Z0, WeakNeutralCurrent)
belongs_to(Z0, ElectroweakTheory)
neutral_under(Z0, ElectromagneticCharge)
is_colour_singlet(Z0)
self_conjugate(Z0)
acquires_mass_via(Z0, ElectroweakSymmetryBreaking)
can_decay_to(Z0, FermionAntifermionPair)

07. ELECTROWEAK MIXING
Let W3_mu denote the neutral SU(2)_L gauge field and B_mu the U(1)_Y field.
A_mu = sin(theta_W)*W3_mu + cos(theta_W)*B_mu
Z_mu = cos(theta_W)*W3_mu - sin(theta_W)*B_mu
Here theta_W is the weak mixing angle, subject to renormalisation-scheme conventions.

08. MASS RELATIONS — TREE LEVEL
m_W = (g*v)/2
m_Z = (v/2)*sqrt(g^2 + g_prime^2)
cos(theta_W) = g/sqrt(g^2 + g_prime^2)
m_W = m_Z*cos(theta_W)
Caveat: loop corrections and scheme choices alter naive numerical use of tree-level relations.

09. NEUTRAL CURRENT COUPLING
L_Z = -(g/(2*cos(theta_W))) * Z_mu * sum_f [bar(f)*gamma^mu*(gV_f - gA_f*gamma5)*f]
gV_f = T3_f - 2*Q_f*sin(theta_W)^2
gA_f = T3_f
T3_f denotes the weak isospin of the left-handed component; right-handed singlets have T3=0.
Conventions may redistribute numerical factors between the prefactor and couplings.

10. DECAY CHANNELS
Z0 -> e_minus + e_plus
Z0 -> mu_minus + mu_plus
Z0 -> tau_minus + tau_plus
Z0 -> neutrino + antineutrino (kinematically accessible light flavours)
Z0 -> quark + antiquark (kinematically accessible flavours)
Z0 -/-> top + antitop (for on-shell Z0: threshold exceeds Z mass)
Hadronic final states may include jets and QCD radiation.

11. WIDTH AND LIFETIME
Gamma_total = sum_over_accessible_channels(Gamma_partial)
tau_mean = hbar/Gamma_total
BR(channel) = Gamma_partial(channel)/Gamma_total
With Gamma_total ~2.4952 GeV, tau_mean ~2.64e-25 s.
This is a mean lifetime, not a deterministic decay time.

12. PRODUCTION PROCESSES
ElectronPositronAnnihilation: e_plus + e_minus -> Z0 -> f + antifermion
DrellYan: q + antiquark -> Z0 -> charged_lepton_pair
AssociatedProduction: proton + proton -> Z0 + Higgs + X
Other higher-order and off-shell channels are possible.

13. EXPERIMENTAL OBSERVABLES
observable invariant_mass_of_decay_products
observable production_cross_section
observable resonance_peak
observable forward_backward_asymmetry
observable total_and_partial_widths
observable invisible_width
observable angular_distributions

14. RESONANCE MODEL
For a simplified resonance line shape near the pole:
propagator_factor(s) proportional_to 1/[(s-m_Z^2)^2 + m_Z^2*Gamma_Z^2]
Full precision electroweak fits include radiative corrections and scheme-dependent line-shape conventions.

15. INVISIBLE DECAYS
Invisible width constrains the number of light active neutrino species coupling to Z0.
An invisible decay signal alone does not identify a unique unseen particle.

16. INFERENCE RULES
rule ZNeutralCharge:
  if is_a(x,ZBoson) then electric_charge(x)=0
rule ZNeutralCurrent:
  if mediates(x,WeakNeutralCurrent) then interaction_category(x)=WeakInteraction
rule ZMassive:
  if is_a(x,ZBoson) then rest_mass(x)>0
rule ZSelfConjugate:
  if is_a(x,ZBoson) then antiparticle(x)=x
rule KinematicThreshold:
  if m_parent < sum(m_daughters) then forbid(on_shell_two_body_decay)
rule WidthConsistency:
  if all_accessible_partial_widths_known then Gamma_total=sum(partial_widths)
rule BranchingFraction:
  if Gamma_total>0 then BR_i=Gamma_i/Gamma_total

17. CONSTRAINTS
constraint electric_charge_conservation(each_decay)
constraint four_momentum_conservation(each_process)
constraint angular_momentum_conservation(each_process)
constraint colour_conservation(each_process)
constraint Lorentz_covariance(theoretical_description)
constraint distinguish_tree_level_from_precision_predictions
constraint distinguish_virtual_Z_from_on_shell_Z

18. EXAMPLE: CHARGED LEPTON PAIR
input: e_plus + e_minus collision near Z resonance
operation: form intermediate neutral electroweak boson
output: mu_plus + mu_minus
checks: net electric charge = 0 before and after; total four-momentum conserved
note: photon exchange and gamma-Z interference may also contribute.

19. EXAMPLE: WIDTH-BASED LIFETIME
input: hbar=6.582119569e-25 GeV*s, Gamma_Z=2.4952 GeV
compute: tau=hbar/Gamma_Z
output: tau approximately 2.638e-25 s
validation: positive finite lifetime; units reduce to seconds

20. SEMANTIC EQUIVALENCE
alias(Z0, "Z boson")
alias(Z0, "neutral weak boson")
alias(Z0, "Z-zero boson")
not_equivalent(Z0, Photon)
not_equivalent(Z0, WPlus)
not_equivalent(Z0, WMinus)
not_equivalent(WeakNeutralCurrent, ElectromagneticInteraction)

21. SEMANTIC DISTINCTIONS
The Z boson is electrically neutral but couples to electrically charged fermions.
Neutral-current does not imply that participating fermions must be neutral.
The Z boson is massive; the photon is massless in the Standard Model.
The Z boson is a quantum excitation of the physical neutral electroweak gauge field.
The Higgs mechanism explains the electroweak gauge boson masses, not a simple classical friction or resistance.

22. CROSS-ONTOLOGY LINKS
related_to(Z0, PhotonOntology)
related_to(Z0, WBosonOntology)
related_to(Z0, HiggsBosonOntology)
related_to(Z0, ElectronOntology)
related_to(Z0, MuonOntology)
related_to(Z0, TauOntology)
related_to(Z0, NeutrinoOntologies)
related_to(Z0, QuarkOntology)
related_to(Z0, PhysicalInteractionOntology)
related_to(Z0, QuantumFieldOntology)

23. VALIDATION TESTS
test T01: electric_charge(Z0)==0 -> PASS
test T02: spin(Z0)==1 -> PASS
test T03: mass_energy(Z0)>0 -> PASS
test T04: antiparticle(Z0)==Z0 -> PASS
test T05: allows(Z0 -> electron+positron) -> PASS
test T06: allows(on_shell_Z0 -> top+antitop) -> FAIL_EXPECTED
test T07: sum(BR_accessible_channels) approximately 1 -> PASS_WITH_COMPLETE_CHANNEL_SET
test T08: Gamma_total>0 -> PASS
test T09: lifetime*Gamma_total approximately hbar -> PASS
test T10: gamma_Z_interference_ignored_in_precision_model -> FAIL_EXPECTED

24. CONFIDENCE MODEL
confidence(core_particle_identity) := high
confidence(charge_spin_and_role) := high
confidence(mass_width_quoted_values) := high_with_precision_and_source_caveat
confidence(tree_level_relations) := high_with_tree_level_scope
confidence(unverified_page_alignment) := unverified
confidence(experimental_predictions) := conditional_on_model_and_measurement

25. PROVENANCE
knowledge_basis := Standard_Model_of_particle_physics
source_page := https://kirethresearch.org/booksai-core/entity-graph/physical-entities/fundamental-particles/z-boson-ontology.html
source_page_checked := false
experimental_value_status := approximate_reference_values_not_live_verified

26. UPDATE MODEL
on(new_precision_measurement):
  compare(mass,width,couplings,branching_ratios)
  retain_previous_version()
  update_with_provenance()
on(theoretical_revision):
  distinguish_established_Standard_Model_from_hypotheses()
  revalidate_inference_rules()
on(ontology_change):
  update_relationships_and_semantic_aliases()
  run_validation_suite()

27. FLOW HASH
FLOW_HASH.algorithm := SHA-256
FLOW_HASH.scope := canonical_UTF8_content_excluding_hash_value
FLOW_HASH.value := computed_externally_at_publication
FLOW_HASH.note := do_not_invent_cryptographic_digest

28. AI CONSUMPTION
AI_CONSUMPTION.entity_resolution := enabled
AI_CONSUMPTION.typed_relationships := enabled
AI_CONSUMPTION.formal_reasoning := enabled
AI_CONSUMPTION.provenance_tracking := enabled
AI_CONSUMPTION.confidence_awareness := enabled
AI_CONSUMPTION.cross_ontology_navigation := enabled
AI_CONSUMPTION.validation_before_inference := required
AI_CONSUMPTION.unsupported_claims := reject_or_mark_uncertain

29. LIMITATIONS
This is a descriptive and machine-oriented ontology, not an executable physics simulator.
Quantitative predictions require a specified renormalisation scheme, parameters and corrections.
The Z boson can be off-shell; on-shell kinematic statements do not exhaust virtual processes.
Scientific claims are not a substitute for primary experimental publications.

30. COMPLETENESS CHECK
required_sections := 30
section_count := 30
all_required_sections_present := true
closing_marker_present := true

END FLOW ALGEBRA — Z BOSON ONTOLOGY