Current research

What we are
working on.

Each entry states the current result, the next unresolved question, the next concrete test and its evidence status. No progress announcements are made without a verified update.

Primary workstreams

Record, prediction and control

A

Record formation

Current result

R05 gives an exact finite exclusion construction that represents a supplied projective instrument as a last-survivor process. R03 gives the last-survivor criterion and conditional record stability; R04 gives the instrument framework.

Next unresolved question

How can a specified physical process produce a definite record, and how reliably can that record persist?

Next concrete test or calculation

Specify and test the apparatus interaction, noise behaviour, record stability and energy exchange.

Evidence status

Mathematical result
Research dossier

B

Prediction under uncertainty

Current result

R04 to R06 give the operational quantum model and a treatment of prediction. Under the stated model, a fixed tolerance rule bounds disagreement with a specified later readout when the true calibration lies in the declared set.

Next unresolved question

When does the available information justify predicting a later readout, despite noise and calibration uncertainty?

Next concrete test or calculation

Evaluate a fixed prediction rule prospectively on suitable held-out records, reporting both errors and occasions when no prediction is issued.

Evidence status

Model specified, evaluation not yet run
Research dossier

C

Quantum control and PERSIST-Q

Current result

The record and prediction framework informs the engineering programme. It does not by itself establish a control advantage.

Next unresolved question

Can a prospective estimator identify when intervention will help, then deliver a net improvement against a strong controller under matched resources and latency?

Next concrete test or calculation

A reproducible comparison against the strongest implementable alternatives using suitable data and a fixed protocol.

Foundational source

Evidence status

Proposed protocol
Research dossier

Longer-term questions

Geometry, stress, calibration and refinement

Common matter, geometry and record model

Next unresolved question

Can matter, geometry and record formation be described by one model with consistent total stress?

Required result

One common solution in which apparatus, reservoir and record contributions enter the total stress tensor consistently.

Foundational source

Evidence status

Open research question

Physical clock and causal identification

Next unresolved question

Which physical processes serve as clocks, and how is causal order identified?

Required result

A clock map, calibration inputs and a stated relation between record order and causal structure.

Foundational source

Evidence status

Open research question

Dimensionless constants and particle properties

Next unresolved question

Can dimensionless constants or particle properties be selected independently of calibration?

Required result

A derivation that does not use the quantity being predicted as an input, compared with measured values.

Foundational source

Evidence status

Open research question

Refinement and continuum limits

Next unresolved question

Under what conditions do refined models converge to a continuum description?

Required result

Stated refinement assumptions, convergence criteria and a demonstration that limits exist.

Foundational source

Evidence status

Open research question

Cosmological models with explicit stress

Next unresolved question

Which cosmological models follow once matter content and stress are specified?

Required result

A homogeneous geometry, defined stress tensor, initial data and comparison with observations.

Foundational source

Evidence status

Open research question

Exploratory

Longer-term applications

These ideas are exploratory. Each lists the technical result required before a stronger claim can be made.

  • Machine learning and inference

    Required: A specified method, dataset and matched baseline showing a measured benefit.

  • Data compression

    Required: A specified algorithm evaluated against standard compressors on public benchmarks.

  • Synchronisation analysis software

    Required: Defined estimators, validation data and comparison with established analysis methods.