A connected research workbench
Specialist models.
A connected investigation.
Move from a satellite-link question to a quantum-state analysis, a memory study or an independent reference calculation. PF connects supported operations and retains the evidence linking each study to its inputs.
Built on the r34 implementation
The right connection
for the question.
The scientific registry defines 15 bounded study families. Some execute installed libraries, some use dedicated workers, and others analyze supplied records. These are specific integration routes, rather than unrestricted access to every upstream API.
Runtime availability, workflow applicability and successful validation are separate questions. The workbench checks prerequisites and records why a companion is available—or why a study cannot run.
01 / Quantum systems
Model, reconstruct and compare.
Use complementary calculations to inspect a quantum model from more than one direction.
Local quantum simulationQiskit & Qiskit Aer
Execute density-matrix circuits for mission polarization channels, seeded Pauli measurements and component benchmarks. Inspect fidelity, purity, probabilities and state reconstruction.
Research useCompare exact model outputs with finite-shot estimates and test sensitivity to declared noise.
These routes simulate quantum systems locally. They do not submit jobs to IBM quantum hardware.
Optional tomography adapterQiskit Experiments
Run two-qubit state and one-qubit process tomography. A mission companion can consume an actual saved density matrix, then prepare and sample it with Aer.
Research useReview raw counts, reconstruction choices and an independent Born-rule inversion check.
The companion generates new simulated counts. A saved state does not identify a channel or provide automatic state-preparation and measurement (SPAM) calibration.
Open-system dynamicsQuTiP
Study bounded two- and four-qubit GKSL dynamics, commuting HEOM and saved mission-memory evolution. Relativistic link studies also use a declared bosonic receiver-mode channel.
Research useCross-check memory decay against PF’s Kraus implementation and explore model-dependent receiver effects.
Supported operations have explicit model and system-size limits; arbitrary many-body models are not exposed.
Quantum network studySeQUeNCe
Execute stationary fiber/router reservation studies through the native network simulator and supported published tutorial configurations.
Research useInvestigate reservation behavior and component assumptions in a declared quantum-network model.
The fiber model is a separate study. Orbital free-space losses are not automatically converted into fiber attenuation.
02 / Orbits & spacetime
Connect motion to the experiment.
Relate orbital predictions, clock models and photon propagation while preserving each calculation’s coordinate and model assumptions.
Orbital data and propagationCelesTrak, SGP4 & coordinate tools
Retrieve GP orbital elements, including supported JSON and TLE inputs, and propagate selected satellites at requested UTC epochs. Astropy supports time and coordinate transformations.
Research useStudy changing quantum-link geometry and compare tracked-orbit and numerical-orbit predictions.
Live tracking means current-time propagation with periodic data refresh. It is not a spacecraft telemetry stream.
Independent orbital referencesOrekit / JPype
Compare bounded two-body and J2 propagation and frozen Vallado SGP4 reference vectors. A companion can derive reference-orbit elements from a saved mission state.
Research useExamine force-model and implementation differences using explicitly matched reference assumptions.
The mission-derived reference is reoriented and begins at pericentre/J2000. It does not reproduce the original mission trajectory or epoch.
Symbolic GR referencesEinsteinPy / SymPy
Evaluate Schwarzschild metric, curvature, static-clock and radial-null reference quantities, including selected radii from saved static-GR missions.
Research useCross-check metric and clock calculations against a separate symbolic implementation.
An exterior, spherical, stationary reference; it is not general Einstein-equation evolution or the original moving photon path.
Configured execution and diagnosticsEinstein Toolkit / kuibit
Use supported gauge-wave or registered evolution workflows and imported numerical-relativity diagnostics. A bounded metric-line adapter supports photon-link studies.
Research useInspect evolved fields, convergence and constraint evidence alongside explicitly compatible link calculations.
Runtime or imported outputs must be supplied. General 3D AMR satellite-metric injection and full upstream thorn coverage are not implemented.
03 / Evidence & engineering
Ask what drives the result.
Bring declared observations, uncertainty ranges and engineering references into focused companion studies.
Inference and sensitivityPyMC & SALib
Infer a common memory T2 from declared Bell-parity counts with PyMC and calculate Sobol sensitivity indices with SALib for the supported pure-dephasing model.
Research useExplore which assumptions dominate predictions and how evidence constrains a memory model.
The observations and parameter distributions must be supplied for that model; this is not a general mission posterior.
Recorded-event replayRecorded CSV / Swabian Time Tagger
Replay managed detection-event CSV files and decode supported Swabian recordings through the installed vendor FileReader SDK.
Research useCompare declared coincidence windows and timing offsets against supplied detection records.
Recorded-file analysis, not live instrument control. Genuine vendor-recording decoding remains unverified in the retained release evidence.
Reference model executionFMPy
Execute the pinned Dahlquist reference FMU with declared settings and numerical comparison outputs.
Research useCheck a reproducible model-exchange calculation and its integration behavior.
This route supports the pinned reference FMU, not arbitrary FMU upload or automatic spacecraft-controller modeling.
Licensed engineering workerMATLAB Engine / Simulink
Execute the fixed clock-relaxation ODE or supported Simulink clock model through a separately provisioned licensed installation.
Research useCompare a defined timing model across engineering runtimes.
Requires MATLAB, the relevant products and licenses. MATLAB Runtime alone is insufficient; licensed scientific execution remains unverified in the retained release evidence.
Source-bound numerical studiesPublished references / SciPy
Reproduce specified clock, link, detector and quantum reference calculations using frozen records, declared equations and PF production protocols.
Research useCompare an implementation with a named reference while preserving its assumptions and data lineage.
Published printed targets and equation-consistency checks are distinguished. Agreement is not experimental or commercial qualification.
From one result to the next study
Carry the evidence forward.
Derive a compatible companion.
Select a completed mission and a saved epoch. Where required fields exist, PF can derive tomography, memory, Schwarzschild, orbit-reference or spectral-channel studies from actual parent outputs.
Keep the interpretation explicit.
Each child retains the parent artifact, input hashes, derived settings, extra assumptions and its own results. Contextual references are labeled separately and do not replace the parent prediction.
PF’s portable BSSN solver is a separate core capability. It runs bounded periodic vacuum evolution without Einstein Toolkit. The numerical-plane apparatus consumes evolved fields for compatible photon, clock, storage and gate calculations; this is not generic Earth-orbit metric injection.
04 / Your research environment
Choose the connections
around your science.
AI providers & private research
OpenAI Responses, OpenAI-compatible chat endpoints, DeepSeek, Google Gemini and Anthropic / Claude connect through the same private proposal, validation and activation workflow. BYOK allows personal provider credentials.
Understand provider and data boundariesStorage & hosted services
BYOS supports S3-compatible storage and an outbound NAS / folder connector. Operator deployments can connect AWS Batch and S3, Cognito authentication, Stripe billing and SMTP email where configured.
Explore deployment connectionsThese services support execution, access and data handling; they are not scientific validation engines. Availability depends on deployment, installed dependencies, account access and licenses. Product names identify integration routes, not endorsements or partnerships.
Inspect the implementation
Read the scope. Reproduce a study.
The catalogue was checked against the corrected r34 source and its capability registry. New gallery examples exercise satellite replay and Qiskit Aer; they do not claim that every optional external runtime was executed during this website update.