Metric-engineering research studio
Translate a desired spacetime response into geometry, source requirements, controls, and invariant measurements.
Run an inverse-design studio from mission-level observables through metric ansätze, curvature and stress-energy, quantum and material constraints, numerical stability, apparatus concepts, null models, preregistration, and a reproducible feasibility dossier.
Before you begin
- • General relativity and exotic metrics
- • Quantum fields in curved spacetime
- • Experimental methods and systems engineering
By the end, you can
- • Specify invariant mission observables before choosing a mechanism.
- • Solve the geometry-to-source inverse problem with explicit constraints.
- • Build a systems ledger from source preparation through measurement.
- • Publish a falsifiable feasibility study with null models and stop rules.
Interactive model
Explore before calculating
Live laboratory
Metric-engineering stage-gate console
Flow one candidate from an invariant target through source closure, numerical convergence, conventional nulls, and independent replication. Gates are sequential: a later strength cannot erase an earlier failure.
Target/uncertainty: 1.00e+1
Constraint residual: 1.00e-7
Sequential gates passed: 4/5
Decision: hold
Hold at gate 5: Independent replication.
These are declared research-governance thresholds, not physical theorems or technology-readiness certification. A real dossier must freeze the target, tensor basis, covariance, solver order, null models, qualification rules, energy ledger, stop conditions, and external review before data are revealed.
Level 6 · Research preparation teaching kit
Record the investigation. Teach the reasoning.
A learner-facing lab record and a course-specific instructor guide turn the live model into a repeatable classroom investigation.
Learner record
Metric-engineering sequential feasibility gate
Can a proposed metric-engineering program advance from invariant observable to source closure and independent replication without skipping a failed dependency?
Download learner recordInstructor guide
Teach for evidence, not button pushing
Researchers enforce ordered geometry, source, numerical, null, and replication dependencies instead of accumulating disconnected plausibility arguments.
Download instructor guideAdvanced assessment
Reconstruct it. Quantify it. Try to break it.
Move from a desired geometry to source requirements, numerical credibility, surrogate tests, and explicit stop rules. Three research-level challenges include explicit deliverables and scoring criteria.
Portable research dataset
Record data that another laboratory can open.
Ordered invariant, source, convergence, null, and replication gate records. JSON preserves schema and provenance; CSV supports ordinary analysis tools. Imports stay in this browser and are limited to 1 MB and 5,000 records.
Ready for a new research record.
| Gatelabel | Thresholddeclared unit | Resultdeclared unit | Uncertaintydeclared unit | Passedboolean | Evidence artifactreference | Record |
|---|---|---|---|---|---|---|
Schema field definitions
- Gate · label
- Sequential gate name.
- Threshold · declared unit
- Prespecified advancement threshold.
- Result · declared unit
- Measured or calculated gate result.
- Uncertainty · declared unit
- Result uncertainty.
- Passed · boolean
- Gate decision.
- Evidence artifact · reference
- Stable public or package reference.
Lesson 1 of 3
Observable-first inverse design
What invariant measurement defines success before a preferred mechanism is chosen?
Mission language such as propulsion, shielding, or warp is underdetermined. A research specification begins with clock shifts, geodesic deviation, lensing, phase, acceleration relative to free fall, or another invariant observable.
The required magnitude, bandwidth, volume, duration, reversibility, and distance scaling define a target. Conventional fields and forces become explicit null models rather than afterthoughts.
Worked example
Replace 'reduce inertia by 1%' with an observable specification.
- 1. Name the test mass and acceleration protocol.
- 2. Define force and momentum measurements.
- 3. Specify composition, frequency, and boundary modulation.
- 4. Set uncertainty and conventional-force rejection thresholds.
A reproducible differential transfer-function requirement replaces an ambiguous label.
Try it
Mission-to-observable tree
Materials: One ambitious mission statement
- 1. Write the user-level effect.
- 2. Decompose into invariant measurements.
- 3. Assign required magnitude and bandwidth.
- 4. Attach conventional null models and fail criteria.
Notice: Mechanism-neutral requirements expose whether different proposals are actually trying to produce the same physical effect.
Check your understanding: Why not begin with a favorite device geometry?
Answer: It can lock the research to one mechanism before the required physical observable and alternatives are defined.
Observable-first design makes theories compete on the same target.
Lesson 2 of 3
Geometry, source, and feasibility chain
Which source tensor, state, or effective medium could produce the target geometry consistently?
A metric ansatz determines curvature and, through field equations, a required source. The source must satisfy conservation, boundary, creation, stability, and backreaction constraints.
If an effective medium or modified-gravity model is proposed, it must recover ordinary limits and specify which degrees of freedom couple to clocks, light, and matter. Analog response is not automatically universal geometry.
Worked example
What follows after calculating a region of negative T_00?
- 1. Check all stress components and conservation.
- 2. Identify a realizable state or material model.
- 3. Apply quantum and stability constraints.
- 4. Calculate preparation energy and external observables.
The sign map is an input to a feasibility chain, not its conclusion.
Try it
Source feasibility matrix
Materials: One candidate metric and source proposal
- 1. Compute required tensor structure.
- 2. Compare candidate source response.
- 3. Map scale and bandwidth gaps.
- 4. List creation, control, stability, and measurement gates.
Notice: A candidate may match one component while failing tensor structure, scale, or conservation.
Check your understanding: Does matching energy density alone match the required source?
Answer: No.
Pressure, shear, momentum flux, conservation, and dynamics also enter the stress-energy tensor.
Lesson 3 of 3
Numerical validation, apparatus concepts, and decision gates
What result would justify the next scale of investment, and what result would stop the program?
Numerical relativity and multiphysics models need convergence, constraint monitoring, unit tests, and sensitivity analysis. A visually smooth solution is not evidence of physical validity.
An apparatus concept needs calibration, reversal, shielding, thermal and momentum ledgers, blind analysis, and independent replication. Stage gates should escalate from simulation reproduction to surrogate tests to invariant geometry measurements.
Worked example
A simulated curvature signal halves when mesh spacing halves. Is it converged?
- 1. Compare the change with expected discretization order.
- 2. Run at least a third resolution.
- 3. Extrapolate to zero spacing.
- 4. Check constraint residuals independently.
Two changing resolutions do not establish convergence; the signal may be numerical error.
Try it
Go/no-go review
Materials: Model, uncertainty budget, and apparatus concept
- 1. Define gate metrics.
- 2. Present strongest null model.
- 3. Run adversarial sensitivity analysis.
- 4. Issue advance, revise, or stop decision with rationale.
Notice: A stop decision can be a successful research outcome when it excludes a mechanism or parameter region.
Check your understanding: What is the minimum credible evidence for a spacetime-engineering claim?
Answer: Concordant invariant geometry observables with a closed source and energy model, surviving independent controls and replication.
Force residuals or material responses alone do not identify changed spacetime.
Formula-to-meaning deck
Read the equation in ordinary language.
g_target→G_μν[g]→T^required_μν
Inverse metric design flows from desired geometry to required source through the field equations.
R_h=(Q_measured−Q_null)/σ_total
A preregistered residual should be scaled by the complete correlated uncertainty, not selected error bars.
C_h∝h^p
Constraint residuals should converge with grid spacing at the method's expected order p.
Independent practice
Problem set
Work each problem before opening its hint and solution.
1. Name three invariant observables that could support a metric-change claim.
Reveal hint
Think clocks, light, and free-fall separation.
Reveal solution
Examples include differential proper time, lensing/phase delay, and geodesic deviation measured by freely falling test bodies.
2. A candidate source matches T_00 but not T_0i. Is the source solved?
Reveal hint
Einstein's equation is tensorial.
Reveal solution
No; the full required tensor and conservation law must be satisfied.
3. A residual is 5 with σ_stat=1 and σ_sys=4 independently. What is total significance?
Reveal hint
Combine uncertainty in quadrature.
Reveal solution
5/√17≈1.21σ.
Derivation studio
Build the result, line by line.
Keep the assumptions visible so the mathematics remains auditable.
Starting point
Geometry-to-source inversion
Choose a differentiable metric g_μν(θ) with boundary conditions
- 1. Compute connection and curvature.
- 2. Form Einstein tensor and any modified terms.
- 3. Solve field equations for required T_μν.
- 4. Check covariant conservation and parameter sensitivity.
T^required_μν=(c⁴/8πG)(G_μν+Λg_μν−modified terms)
The inversion gives a source contract whose realization remains a separate physics problem.
Starting point
Invariant signal likelihood ratio
Competing metric and conventional-null models predict a data vector with covariance Σ
- 1. Compute residual vectors under each model.
- 2. Form quadratic likelihood terms.
- 3. Include nuisance priors consistently.
- 4. Compare predictive likelihood on held-out data.
2lnΛ=χ²_null−χ²_metric plus justified complexity terms
A geometry claim must outperform conventional models predictively, not merely fit flexibly.
Computational notebook
Turn the model into an experiment.
End-to-end metric feasibility notebook
Can a selected target observable be generated, sourced, controlled, and measured within one consistent parameter region?
Inputs
- • Metric ansatz and target observable
- • Candidate source/material response
- • Numerical and apparatus uncertainties
Algorithm
- 1. Compute invariant geometry and required source.
- 2. Apply quantum/material/stability constraints.
- 3. Forward-model apparatus and nulls.
- 4. Search parameter space and apply stage gates.
Evidence to produce
- • Geometry/source tensor package
- • Feasible/excluded parameter map
- • Preregistered surrogate experiment and decision memo
Paper-reading studio
Interrogate the source, not its reputation.
Reconstruct the assumptions, reproduce one calculation, and stop at the boundary of the reported evidence.
Metric-engineering feasibility dossier
Which layer—geometry, source, actuation, control, or measurement—currently sets the hardest falsifiable gap?
- 1. Reproduce the target metric result.
- 2. Compute full source requirements.
- 3. Audit candidate medium and energy ledger.
- 4. Design invariant observables and conventional nulls.
Calculation to reproduce: Reproduce one curvature/source tensor result and propagate it through a measurable apparatus prediction.
Evidence boundary: A consistent metric and numerical solution are necessary theoretical artifacts; engineered spacetime requires a realizable source and replicated invariant measurement.
Graduate oral defense
Defend a bounded claim under pressure.
Argue the strongest support, state the strongest objection fairly, and identify evidence that could actually decide the issue.
Proposition
Metric engineering is a legitimate inverse problem even before a feasible source is known.
- 1. It translates speculative goals into exact geometric and source constraints.
- 2. It identifies scale, stability, and measurement bottlenecks quantitatively.
- 3. It can generate null results and exclusion maps with scientific value.
Strongest objection: Without a plausible source, the program may optimize unattainable geometries and invite technological overinterpretation.
Deciding evidence: A candidate source that satisfies the required tensor and stability constraints, followed by replicated invariant geometry measurements scaling as predicted.
Research practicum
Make the work inspectable before making it impressive.
Pre-register the decisive test, package every dependency, and pass explicit milestone gates before interpretation expands.
Run a metric-engineering stage gate
Should one candidate advance from mathematical study to a controlled surrogate experiment?
Preregister
- • Freeze target observable and metric parameters.
- • Define source feasibility and convergence thresholds.
- • Specify conventional nulls and stop conditions.
Reproducibility package
- • Symbolic tensor derivation
- • Versioned numerical solver and tests
- • Material/source data and energy ledger
- • Apparatus model and analysis plan
Milestone gates
- 1. Independent geometry reproduction
- 2. Source/stability feasibility
- 3. Numerical convergence and null separation
- 4. External review and surrogate-test authorization
Continue into the evidence