| 1. Domain | 1.1 Scope of the Domain | Boundaries | The range of phenomena the science includes and excludes. | Studies embeddings of circles (S^1) (and higher-dimensional analogues) into 3-dimensional space, up to ambient isotopy; includes link theory, knot invariants, diagrams, Reidemeister moves, polynomial invariants, and 3-manifold connections. Excludes geometric/analytic structures unless added, and excludes physical knots unless abstracted into embeddings. |
| | Scale | The spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic). | Operates at the topological and combinatorial scale: local crossing data, global embedding class, behavior under Reidemeister moves, classification at the level of isotopy classes, and 3D global linking structure. |
| 1.2 Ontological Commitments | Entities | The kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.). | Knots, links, embeddings of (S^1), link components, knot diagrams, Reidemeister moves, Seifert surfaces, fundamental group of the knot complement, polynomial invariants, crossing data. |
| | Properties | The fundamental attributes these entities possess (mass, charge, genotype, preference, etc.). | Crossing number, linking number, knot invariants, chirality, fiberedness, genus, Alexander polynomial, Jones polynomial, signature, hyperbolic volume, complement topology. |
| | Categories | The basic ontological types used to classify domain elements (substances, processes, relations, structures). | Prime knots, composite knots, alternating/non-alternating knots, torus knots, satellite knots, hyperbolic knots, tame vs. wild knots, oriented vs. unoriented knots. |
| 1.3 State-Variables | Variables | The measurable or definable properties that describe system conditions. | Crossing assignments, diagram presentation, Seifert surface choices, braid word parameters, polynomial invariant values, fundamental-group generators, Dehn-filling parameters of complements. |
| | Parameterization | How variables encode and represent the system’s state. | Encoded by knot diagrams, braid words, Gauss codes, Seifert matrices, fundamental-group presentations, polynomial-invariant coefficients, or triangulations of knot complements. |
| 1.4 Admissible Idealizations | Simplifications | Conceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases). | Assuming tame knots; resolving crossings generically; working with planar diagrams; ignoring physical thickness; using idealized Reidemeister moves; assuming compactness and smooth/PL embeddings. |
| | Validity Conditions | The limits and contexts in which idealizations hold or break down. | Breakdown for wild knots; failure of smooth/PL approximations; ambiguity in diagrams with nondistinct crossings; invalidity when considering physical/energetic constraints instead of topological isotopy. |
| 1.5 Domain Assumptions | Structural Assumptions | Background ontological stances such as determinism, continuity, randomness, discreteness. | Ambient isotopy equals diagrammatic Reidemeister equivalence; tame knots model all relevant embeddings; invariants are isotopy invariants; the knot complement determines the knot (via Gordon–Luecke theorem). |
| | Implicit Commitments | Unstated but necessary assumptions that shape the field’s conceptual structure. | Assumes topological equivalence captures knot identity; planar diagram descriptions are complete; invariants can distinguish knots; prime decomposition is unique; 3-manifold topology faithfully encodes knot structure. |
| 1.6 Internal Coherence Requirements | Consistency | The demand that domain concepts do not contradict one another. | Reidemeister moves must preserve knot type; invariants must satisfy isotopy invariance; diagrammatic and geometric descriptions must match; composition of knots must respect prime decomposition. |
| | Compatibility | The requirement that entities, variables, and assumptions fit together into a unified descriptive framework. | Requires alignment between diagrams, invariants, Seifert surfaces, braid representations, knot complements, and 3-manifold structures; all descriptions must represent the same isotopy class. |
| 2. Evidence Layer | 2.1 Observable Phenomena | Observables | The aspects of the domain that can produce detectable signals accessible to measurement. | Crossing patterns, over/under information, Reidemeister-move behavior, linking behavior in links, chirality, Seifert-surface structure, polynomial invariant values, knot complement properties (e.g., hyperbolic volume). |
| | Detection Limits | The boundaries of what can be resolved or sensed by current instruments or methods. | Diagrams can obscure equivalence; Reidemeister sequences may be long or complex; polynomial invariants cannot distinguish all knots; crossing number is not algorithmically easy; wild knots cannot be detected diagrammatically. |
| 2.2 Measurement Systems | Units | Standardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison. | Crossing number, linking number, genus, braid index, polynomial invariant coefficients, hyperbolic volume, torsion values, Seifert-matrix entries. |
| | Instruments | Devices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements. | Knot diagrams, Reidemeister moves, braid representations, Seifert surfaces, Seifert matrices, polynomial-invariant algorithms, triangulations of complements, computational knot tables. |
| 2.3 Operational Definitions | Definitions | Terms defined by specific measurement procedures, ensuring empirical clarity. | Definitions of knot, link, isotopy, Reidemeister moves, Seifert surface, genus, braid representation, Alexander polynomial, Jones polynomial, hyperbolic knot, prime decomposition. |
| | Procedures | The explicit steps required to perform a measurement in a reproducible way. | Creating and simplifying diagrams; applying Reidemeister moves; constructing Seifert surfaces; computing Seifert matrices; computing Alexander/Jones polynomials; triangulating complements; computing invariants. |
| 2.4 Data Acquisition | Protocols | Formal processes for gathering data under controlled or standardized conditions. | Generating diagrams from embeddings; converting knots to braids; constructing Seifert surfaces; sampling diagrams for simplification; producing complement triangulations; evaluating multiple invariants for classification. |
| | Sampling | Rules determining which subset of the domain is measured and how representative it is. | Sampling diagrams with different crossing choices; sampling braids with varying word lengths; sampling Seifert surfaces; sampling triangulations; sampling Reidemeister sequences. |
| 2.5 Data Character & Format | Data Types | The form raw evidence takes (time series, spectra, images, counts, qualitative records). | Diagrams, braid words, Gauss codes, Seifert matrices, polynomial invariant tables, complement-triangulation data, hyperbolic-structure data, prime-decomposition lists. |
| | Resolution | The granularity or precision with which data is captured. | Determined by diagram complexity, crossing density, precision of polynomial calculations, resolution of triangulations, and refinement of Seifert-surface decomposition. |
| 2.6 Reliability & Calibration | Calibration | Adjustment procedures ensuring instruments produce accurate results. | Verifying Reidemeister equivalence; cross-checking invariants; validating Seifert-matrix computations; confirming triangulation consistency; checking hyperbolic-volume computations; testing genus-minimization correctness. |
| | Error Characterization | Identification and quantification of noise, uncertainty, bias, and measurement error. | Misread diagrams; incorrect Reidemeister simplifications; polynomial miscalculations; faulty Seifert surfaces; triangulation inconsistencies; false prime decompositions; failure of invariants to distinguish knots. |
| 3. Structural Layer | 3.1 Patterns & Regularities | Laws / Relations | Stable, repeatable patterns governing how observables behave across conditions. | Reidemeister-move equivalence; prime decomposition uniqueness; polynomial-invariant behavior (skein relations); Seifert-surface construction rules; crossing-number behavior under isotopy; invariance of complement topology under knot type. |
| | Invariants | Quantities or properties that remain constant under transformations (symmetries, conservation laws). | Crossing number, linking number, knot genus, Alexander polynomial, Jones polynomial, HOMFLY-PT polynomial, signature, determinant, hyperbolic volume, bridge number, braid index, chirality. |
| 3.2 Causal Architecture | Mechanisms | Underlying processes or structures that produce the observed regularities. | Reidemeister moves generating isotopies; Seifert’s algorithm producing surfaces; skein relations generating polynomial invariants; surgeries and Dehn fillings altering complements; braid closures generating knots; hyperbolic structures on complements producing geometric invariants. |
| | Pathways | Organized sequences of interactions forming a causal chain or network. | Diagram-reduction pathways; Seifert-surface decomposition pathways; skein-resolution trees; braid-to-knot closure pathways; complement-triangulation sequences; prime-decomposition pathways. |
| 3.3 Theoretical Vocabulary | Concepts | Core terms that encode the domain’s structure (force, gene, equilibrium, field). | Knot, link, isotopy, Reidemeister moves, crossing number, genus, braid representation, Seifert surface, polynomial invariants, chirality, hyperbolic knot, prime knot. |
| | Classifications | Taxonomies, categories, or typologies that organize entities and relations. | Prime vs. composite knots; alternating vs. non-alternating; fibered vs. non-fibered; torus, satellite, and hyperbolic knots; tame vs. wild knots; oriented vs. unoriented knots; amphichiral vs. chiral. |
| 3.4 Formal Representations | Equations | Mathematical constructs expressing laws, relations, or mechanisms. | Skein relations (Alexander, Jones, HOMFLY-PT); Seifert matrix relations; signature formulas; linking-number computations; Dehn-surgery formulas; adjacency relations in diagram moves; Wirtinger presentation equations. |
| | Models | Structured representations—mathematical, computational, or conceptual—used to predict and explain phenomena. | Knot diagrams, braid words, Gauss codes, Seifert surfaces, Seifert matrices, triangulated knot complements, hyperbolic models (via SnapPea), polynomial-invariant models. |
| 3.5 Idealized Structures | Simplified Models | Purposeful abstractions that capture essential dynamics while omitting irrelevant detail. | Minimal-crossing diagrams; alternating diagrams; simplified Seifert surfaces; idealized hyperbolic structures; basic braids; reduced skein trees; prime-knot representatives. |
| | Limit Conditions | Regimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear). | Wild knots defy diagrammatic or Seifert-surface methods; polynomial invariants fail to distinguish all knots; hyperbolic structures absent in torus or satellite knots; minimal-crossing diagrams may be hard to find; algorithmic classification can be undecidable in general. |
| 3.6 Integrative Frameworks | Unifying Theories | Higher-order structures that connect disparate laws or mechanisms under a coherent whole. | Knot invariants as functorial structures; polynomial-invariant frameworks; 3-manifold topology via knot complements; braids and Artin groups; hyperbolic geometry’s role in knot classification; topological quantum field theories (TQFTs). |
| | Interdisciplinary Links | Points where the theory connects to adjacent sciences or larger explanatory systems. | Links to 3-manifold topology, geometric group theory (braid groups), hyperbolic geometry, quantum topology (Jones polynomial, TQFTs), algebraic topology (fundamental group of complement), and mathematical physics (Chern–Simons theory). |
| 4. Method Layer | 4.1 Inquiry Design | Experimental Design | Structured plans for manipulating variables to test causal claims. | Changing diagrams, varying crossing structures, modifying braid words, altering Seifert surfaces, performing controlled Reidemeister sequences, or applying surgeries to test invariants and isotopy behavior. |
| | Observational Design | Systematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments). | Observing knot properties without modification: tracking Reidemeister invariance, monitoring behavior of polynomial invariants, observing complement geometry, examining chirality and crossing-minimization attempts. |
| 4.2 Testing & Validation | Hypothesis Testing | Procedures for evaluating whether evidence supports or contradicts specific claims. | Testing isotopy via Reidemeister moves; validating polynomial invariant computations; confirming Seifert surface genus; testing prime decomposition; checking complement invariants like hyperbolic volume; verifying linking data. |
| | Replication | The requirement that results be independently reproducible under similar conditions. | Recomputing invariants across multiple diagrams; repeating Reidemeister sequences for isotopy checks; recalculating Seifert matrices; recomputing hyperbolic structures with different triangulations; verifying braid-to-knot conversions. |
| 4.3 Inference & Evaluation | Statistical Inference | Rules for drawing conclusions from noisy or incomplete data. | Logical analogues: analyzing invariant distributions across knot tables; comparing complexity across families; measuring stability of invariants under diagram changes; evaluating correlations between invariants (e.g., genus vs. crossing number). |
| | Model Comparison | Criteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models. | Comparing diagrams of the same knot; comparing polynomial invariants; comparing Seifert surfaces; comparing hyperbolic structures of complements; comparing braid representations; assessing distinguishing power of invariants. |
| 4.4 Error Management | Error Analysis | Identification and quantification of random and systematic errors. | Misreading crossings; incorrect application of Reidemeister moves; faulty polynomial calculations; incorrect Seifert matrices; errors in triangulation; orientation-reversal mistakes; loss of information in projection diagrams. |
| | Bias Control | Methods for minimizing subjective, instrumental, or procedural biases. | Avoiding selection of “overly simple” diagrams; preventing bias toward alternating diagrams; ensuring invariants are computed across multiple representations; avoiding diagram choices that obscure chirality or prime decomposition. |
| 4.5 Adjudication & Revision | Peer Scrutiny | Collective evaluation of claims through critique, review, and debate. | Independent verification of invariants, diagram reductions, Seifert-surface constructions, and complement triangulations; reviewing prime-decomposition claims; validating Reidemeister sequences. |
| | Theory Revision | Procedures for modifying, replacing, or discarding models based on new evidence. | Updating invariant definitions; revising Seifert-surface algorithms; refining polynomial-invariant techniques; revising hyperbolic-complement computations; adjusting classification systems when counterexamples appear. |
| 4.6 Integrity Conditions | Transparency | Requirements to disclose methods, data, assumptions, and limitations. | Full disclosure of diagram choices, orientation conventions, Reidemeister-move sequences, invariant-calculation steps, triangulation methods, and assumptions about tameness. |
| | Ethical Standards | Norms ensuring responsible conduct in experimentation, data handling, and publication. | Honest reporting of non-distinguishing invariants; accurate representation of ambiguous diagrams; avoiding suppression of counterexamples; proper attribution of knot tables and computational tools. |