Neutron Star Ontology

FLOW ALGEBRA
NEUTRON STAR ONTOLOGY
Version: 1.1
Library: Kireth Semantic Library
Source URL: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/astronomical-entities/neutron-star-ontology.html
Authors: Mark Higgins — Sky (Recursive AI)
Status: Independent scientific synthesis; source page not independently verified.

01. PURPOSE
Model neutron stars as compact stellar remnants with typed physical properties, evolutionary origins, observational signatures, and mathematical constraints. Distinguish established observations from uncertain dense-matter models.

02. CORE ENTITY
ENTITY NeutronStar <: CompactStellarRemnant <: AstronomicalObject
ATTRIBUTES mass: Mass; radius: Length; angularVelocity: AngularFrequency; magneticField: MagneticFluxDensity; age: Time; temperature: Temperature; equationOfState: Model; observationalEvidence: EvidenceSet.
CONSTRAINT mass > 0 AND radius > 0.

03. ENTITY TAXONOMY
ENTITY NeutronStar
ENTITY Pulsar <: NeutronStar
ENTITY Magnetar <: NeutronStar
ENTITY MillisecondPulsar <: Pulsar
ENTITY BinaryNeutronStarSystem <: BinaryStellarSystem
ENTITY NeutronStarMerger <: AstrophysicalEvent
ENTITY SupernovaRemnant <: AstronomicalObject
ENTITY DenseNuclearMatter <: PhysicalMaterial
ENTITY EquationOfState <: PhysicalModel
ENTITY GravitationalWaveSignal <: Observation
ENTITY XRayBurst <: TransientEvent

04. TYPED RELATIONSHIPS
RELATION formedFrom(NeutronStar, StellarCore)
RELATION mayResultFrom(NeutronStar, CoreCollapseSupernova)
RELATION hasMass(NeutronStar, Mass)
RELATION hasRadius(NeutronStar, Length)
RELATION hasMagneticField(NeutronStar, MagneticField)
RELATION rotatesAt(NeutronStar, AngularFrequency)
RELATION constrainedBy(NeutronStar, EquationOfState)
RELATION memberOf(NeutronStar, BinaryStellarSystem)
RELATION emits(NeutronStar, ElectromagneticRadiation)
RELATION canProduce(NeutronStar, PulsarSignal)
RELATION canParticipateIn(NeutronStar, NeutronStarMerger)
RELATION observedThrough(NeutronStar, AstronomicalObservation)

05. PHYSICAL IDENTITY
A neutron star is a compact, self-gravitating remnant supported by dense-matter pressure and relativistic stellar structure. Its composition is not assumed to be exclusively free neutrons.

06. FORMATION
Massive-star core collapse may create a neutron star if the remnant avoids prompt or delayed black-hole formation. Alternative formation channels include accretion-induced collapse under suitable conditions.

07. MASS
Mass is inferred through binary orbital dynamics, pulsar timing, and relativistic effects. Observed neutron-star masses span a range; a single canonical value must not be imposed on all instances.

08. RADIUS
Radius depends on mass and dense-matter equation of state. Radius constraints can be inferred from pulse-profile modelling, thermal emission, and other observations subject to model uncertainties.

09. COMPACTNESS
DEFINE compactness C = G*M/(R*c^2).
REQUIRE consistent SI units and a clearly stated radius convention.

10. SCHWARZSCHILD RADIUS COMPARISON
DEFINE r_s = 2*G*M/c^2.
For a nonrotating spherical object, a stellar surface must lie outside its corresponding Schwarzschild radius; rotating configurations require more careful geometry.

11. SURFACE GRAVITY
Newtonian estimate g_N = G*M/R^2.
FLAG strong-field corrections as required for precision relativistic modelling.

12. GRAVITATIONAL REDSHIFT
For a static spherical exterior, 1 + z = (1 - 2*G*M/(R*c^2))^(-1/2).
VALIDITY: nonrotating, exterior Schwarzschild approximation, R > 2GM/c^2.

13. DENSE-MATTER EQUATION OF STATE
ENTITY EOS: pressure = P(energyDensity, composition, temperature, ...).
Distinguish microscopic theoretical predictions, phenomenological parametrisations, and observational constraints.

14. RELATIVISTIC STRUCTURE
Tolman-Oppenheimer-Volkoff equations in spherical hydrostatic equilibrium:
dP/dr = -G*(epsilon + P/c^2)*(m + 4*pi*r^3*P/c^2) / (r^2*(1 - 2*G*m/(r*c^2)))
dm/dr = 4*pi*r^2*epsilon/c^2
where epsilon is total energy density. Apply central boundary conditions and an EOS.

15. MAXIMUM MASS
The maximum stable mass depends on the EOS, rotation, temperature, and composition. Do not equate a model-dependent limit with a universal experimentally established constant.

16. ROTATION
DEFINE angularVelocity omega = 2*pi/P, where P is rotation period.
DEFINE frequency f = 1/P.

17. SPIN-DOWN
DEFINE periodDerivative Pdot = dP/dt.
For Pdot > 0, the characteristic age estimate tau_c = P/(2*Pdot) is model dependent and not necessarily the true age.

18. ROTATIONAL ENERGY
APPROXIMATE E_rot = (1/2)*I*omega^2.
APPROXIMATE dE_rot/dt = I*omega*domega/dt if I is treated as constant.

19. MAGNETIC FIELD
Neutron stars may possess strong magnetic fields. Surface dipole-field estimates derived from timing assume a braking model and should be labelled estimates.

20. PULSAR CLASSIFICATION
A pulsar is a neutron star observed through periodic emission, typically linked to rotation and magnetospheric geometry. Not every neutron star is observed as a pulsar.

21. MAGNETAR CLASSIFICATION
Magnetars are neutron stars with emission and activity strongly associated with magnetic energy. Do not define the class solely by a universal numerical magnetic-field cutoff.

22. THERMAL EVOLUTION
Cooling depends on neutrino emission, photon emission, internal heating, envelope composition, and superfluid or superconducting phases.

23. NEUTRINO PROCESSES
MODEL neutrinoCoolingRate as process dependent. Possible channels include modified Urca, direct Urca where allowed, and pair-breaking processes.

24. CRUST AND CORE
MODEL layers: atmosphere (if present), outer crust, inner crust, outer core, possible exotic inner-core phases. Core composition remains uncertain.

25. SUPERFLUIDITY
Neutron superfluidity and proton superconductivity are plausible dense-matter phenomena. Their extent and microphysics are model dependent.

26. GLITCHES
A pulsar glitch is an abrupt observed change in rotational frequency. Interpretations can involve angular-momentum exchange with internal superfluid components and crustal dynamics.

27. BINARY SYSTEMS
Neutron stars may orbit another neutron star, white dwarf, black hole, or ordinary star. Binary timing constrains masses and gravitational physics.

28. ACCRETION
Accretion can transfer mass and angular momentum and produce X-ray emission. Thermonuclear bursts can occur under appropriate surface-accretion conditions.

29. MERGERS
Binary neutron-star mergers may generate gravitational waves, electromagnetic counterparts, and heavy-element nucleosynthesis. Outcomes depend on masses, EOS, and merger conditions.

30. TIDAL DEFORMABILITY
DEFINE tidalDeformabilityLambda as dimensionless response to an external tidal field. Inferred constraints are model dependent and relevant to EOS inference.

31. OBSERVATIONAL MODALITIES
OBSERVATION radioTiming; xRayPulseProfiles; xRaySpectra; gammaRayTransients; gravitationalWaveSignals; opticalInfraredCounterparts; binaryOrbitalMeasurements.

32. INFERENCE RULES
RULE R1: periodic pulses + consistent timing -> candidate Pulsar, not automatic proof of composition.
RULE R2: compact-object binary timing -> infer mass with model assumptions and uncertainty.
RULE R3: measured mass and radius -> constrain EOS, not uniquely determine microscopic composition.
RULE R4: merger gravitational-wave signal -> constrain binary parameters and tidal response under waveform assumptions.
RULE R5: magnetar-like bursts -> candidate magnetar classification requiring corroboration.

33. NON-INFERENCE RULES
DO NOT infer all neutron stars are pulsars.
DO NOT infer all neutron stars are composed only of neutrons.
DO NOT infer EOS uniquely from one radius estimate.
DO NOT infer gravitational waves imply a black hole exclusively.
DO NOT treat approximate spin-down age as exact chronological age.

34. MATHEMATICAL EXAMPLE
INPUT M = 1.4 solar masses, R = 12 km.
CONSTANTS G = 6.67430e-11 m^3 kg^-1 s^-2; c = 299792458 m/s; solarMass = 1.98847e30 kg.
COMPUTE compactness = G*M/(R*c^2) approximately 0.172.
COMPUTE SchwarzschildRadius = 2*G*M/c^2 approximately 4.13 km.
INTERPRET: compactness is dimensionless; these are illustrative values, not universal neutron-star properties.

35. SEMANTIC EQUIVALENCE
ALIAS neutron star ~ neutron-star remnant [context dependent].
NOT_EQUIVALENT NeutronStar != Pulsar.
NOT_EQUIVALENT NeutronStar != BlackHole.
NOT_EQUIVALENT NeutronStar != WhiteDwarf.
NOT_EQUIVALENT NeutronStar != AtomicNeutron.

36. VALIDATION
CHECK mass and radius units.
CHECK nonnegative uncertainty and finite measurements.
CHECK inferred versus observed fields are labelled.
CHECK relativistic approximations and applicability domains.
CHECK no unsupported claims of unique EOS or core composition.
CHECK scientific uncertainty is preserved.

37. CONFIDENCE MODEL
CONFIDENCE values: high | moderate | low | hypothetical.
High: neutron-star existence, pulsar timing, binary gravitational-wave observations.
Moderate/model-dependent: individual radius, internal magnetic configuration, EOS constraints.
Unresolved: detailed innermost-core composition and phase structure.
Attach confidence to each assertion, not indiscriminately to the entire ontology.

38. UPDATE MODEL
UPDATE_MODEL versioned, provenanceAware, evidenceLinked.
TRIGGER revised mass-radius observations, improved waveform models, EOS results, or changed scientific consensus.
Preserve prior assertions and timestamp updates.

39. FLOW HASH
FLOW_HASH algorithm: SHA-256.
FLOW_HASH input: canonical UTF-8 normalised body excluding any populated hash field.
FLOW_HASH value: NOT_COMPUTED (compute during ingestion).

40. AI CONSUMPTION
AI_CONSUMPTION mode: typed-graph + equations + evidence-aware inference.
Require dimensional analysis, source provenance, uncertainty propagation, and explicit approximation domains.
Avoid treating proposed microphysics as established fact.

41. AUTHORSHIP AND PROVENANCE
Authors: Mark Higgins — Sky (Recursive AI)
Research website: https://kirethresearch.org
Source page: https://kirethresearch.org/booksai-core/entity-graph/physical-entities/astronomical-entities/neutron-star-ontology.html
Source verification: not performed; independent synthesis based on established astrophysical concepts.

42. COMPLETENESS CHECK
EXPECTED_SECTIONS: 42
CLOSING_MARKER: END_FLOW_ALGEBRA_NEUTRON_STAR_ONTOLOGY_V1_1
END_FLOW_ALGEBRA_NEUTRON_STAR_ONTOLOGY_V1_1