Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Code and Synthetic Data for What Controlled Reversals Can Certify About Quantum Records

Kent Nimmo

Published Oct 18, 2026• 0 citations
Publisher

Abstract

This repository contains the code, exact certificates, protocol definitions, output map, figures, and saved synthetic count records supporting the theoretical and computational article “What Controlled Reversals Can Certify About Quantum Records” by Kent Nimmo. The work studies which combinations of readable environmental records are compatible with specified controlled-reversal measurements. All saved numerical records are synthetic; no laboratory observations or external experimental dataset are included. The repository includes separate core and cross-check implementations, exact rational certificates where available, and an offline verifier that replays the calculation groups and checks saved outputs.

DOI
10.17605/osf.io/hd8ks

Related papers

Recorded Quantum Histories: Scheduler-Independent Realization and Its Limits — Reproducibility Materials

Kent Nimmo

Frozen reproducibility materials accompanying Recorded Quantum Histories: Scheduler-Independent Realization and Its Limits by Kent Nimmo (scientific version 4). The deposit contains the code capsule, technical and computational supplement, reproduction instructions, and file checksums. Six scientific scripts reproduce sixteen finite matrix and symbolic output files. No empirical datasets were used. The checks support the finite examples and implementation, not the general proofs or originality. This component does not contain the main manuscript and is not a preprint or a statement of journal acceptance. No new open reuse licence is assigned.

•Sep 24, 2026•0 citations

A Different Question in the Same Memory: The Exact Locality Limit of Quantum Record Conversion

Ahmet Faruk Arapoglu

This unreviewed theoretical study examines local control restrictions on converting quantum records within a memory. It includes analytical and synthetic checks and proposed experiments, without laboratory data. Full text and supplements are restricted.

•Oct 13, 2026•0 citations

Engineered non-Gaussian Coherence as a Thermodynamic Resource for Quantum Batteries

Kingshuk Adhikary

This repository contains the numerical data and computational codes supporting the results presented in the manuscript: "Engineered non-Gaussian Coherence as a Thermodynamic Resource for Quantum Batteries". The archive (data_QB.zip) includes all datasets, Jupyter notebooks, and figure files required to reproduce the results reported in both the main text and the Supplemental Material. Each figure is organised in a separate directory containing the corresponding data (.txt), code (.ipynb), and generated plots (.png/.pdf). The provided materials are sufficient to reproduce all figures and results without restriction. Detailed instructions and directory structure are described in the accompanying README.txt file. This dataset is made openly available to ensure transparency and reproducibility of the reported results.

•Apr 11, 2026•0 citations

When Records Escape: An Exact Deadline for Recovering Quantum Correlations

Ahmet Faruk Arapoglu

This unreviewed theoretical study examines causal deadlines for recovering quantum correlations from moving records. It includes analytical and synthetic checks and proposed experiments, without laboratory data. Full text and supplements are restricted.

•Oct 13, 2026•0 citations

CERTLIB: Machine-Verifiable Certificates for Quantum and Chemical Systems

Tennant, William

This record contains the preprint and complete machine-verifiable artifacts for CERTLIB, a solver-agnostic trust layer for quantum many-body and quantum chemistry computations. CERTLIB provides:a JSON-based schema for representing operator problems and exact rational certificates;a deterministic Python verifier that checks ncSOS and 2-RDM/PQG identities exactly over \mathbb{Q};a symbolic–numeric extraction pipeline for converting approximate floating-point solutions into exact rational algebraic identities.CERTLIB targets two widely used classes of operator statements:Noncommutative sum-of-squares (ncSOS) identitiesof the form H^{2} - \alpha H = \sum_{r} W_{r}^{\dagger} W_{r}, used in positivity and spectral-gap analysis.2-RDM dual certificates aligned with the PQG conerepresented via exact rational LDL^{\mathrm T} factorizations of dual matricesS = A - tI with D \succeq 0.All numeric entries in the JSON artifacts are encoded as{ "num": p, "den": q } with exact integer pairs, ensuring that verification requires no floating-point arithmetic.The reference verifier reconstructs each operator from JSON and checks the identities symbolically using Python’s fractions.Fraction.This package includes three case studies:L=20 ncSOS spin chain:An exact certificate for H^2 - H in a Pauli-bitset basis, sufficient to apply the Gosset–Mozgunov finite-size criterion for a bulk spectral gap under standard assumptions.O_3 active-space PQG examples (n = 66 and n = 153):2-RDM dual matrices derived from rationalized FCIDUMP data, each with an exact rational LDL^{\mathrm T} certificateS = A - tI = L D L^{\mathrm T}.Minimal PQG example with nonzero multipliers Y \neq 0:A hand-auditable 3×3 wedge-space problem demonstrating full CERTLIB support for adjoint mapsA = H - \mathcal{L}^*(Y) and nontrivial PQG multipliers.Contents of this Figshare record include:The PDF of the manuscript;JSON files for all ncSOS and PQG problems and certificates(spin chain, O_3 active spaces, and minimal PQG example with Y\neq 0);A Python reference verifier (verify_certificates.py) that re-checks every certificate exactly over \mathbb{Q};CERTLIB is intended as a lightweight reproducibility standard that journals, researchers, and software stacks can adopt to make numerical claims in quantum science auditable, portable, and verifiable by construction.

•Jan 1, 2025•0 citations

Reproducibility Archive for “Process-Relative Accessibility of Quantum Records” (version 1.3)

Kent Nimmo

Exact manuscript and Supplement sources, model configuration, generated numerical data, complete comparison channels, scientific figures, production code, unit tests, and separately implemented numerical verification for Process-Relative Accessibility of Quantum Records: Exact Operational Separations and Task-Sufficient Comparison. This version changes only the AI-use disclosure and release packaging/metadata, not the scientific models or results.

•Sep 20, 2026•1 citation
This repository contains the code, exact certificates, protocol definitions, output map, figures, and saved synthetic count records supporting the theoretical and computational article “What Controlled Reversals Can Certify About Quantum Records” by Kent Nimmo. The work studies which combinations of readable environmental records are compatible with specified controlled-reversal measurements. All saved numerical records are synthetic; no laboratory observations or external experimental dataset are included. The repository includes separate core and cross-check implementations, exact rational certificates where available, and an offline verifier that replays the calculation groups and checks saved outputs.
Frozen reproducibility materials accompanying Recorded Quantum Histories: Scheduler-Independent Realization and Its Limits by Kent Nimmo (scientific version 4). The deposit contains the code capsule, technical and computational supplement, reproduction instructions, and file checksums. Six scientific scripts reproduce sixteen finite matrix and symbolic output files. No empirical datasets were used. The checks support the finite examples and implementation, not the general proofs or originality. This component does not contain the main manuscript and is not a preprint or a statement of journal acceptance. No new open reuse licence is assigned.
This repository contains the numerical data and computational codes supporting the results presented in the manuscript: "Engineered non-Gaussian Coherence as a Thermodynamic Resource for Quantum Batteries". The archive (data_QB.zip) includes all datasets, Jupyter notebooks, and figure files required to reproduce the results reported in both the main text and the Supplemental Material. Each figure is organised in a separate directory containing the corresponding data (.txt), code (.ipynb), and generated plots (.png/.pdf). The provided materials are sufficient to reproduce all figures and results without restriction. Detailed instructions and directory structure are described in the accompanying README.txt file. This dataset is made openly available to ensure transparency and reproducibility of the reported results.
This record contains the preprint and complete machine-verifiable artifacts for CERTLIB, a solver-agnostic trust layer for quantum many-body and quantum chemistry computations. CERTLIB provides:a JSON-based schema for representing operator problems and exact rational certificates;a deterministic Python verifier that checks ncSOS and 2-RDM/PQG identities exactly over \mathbb{Q};a symbolic–numeric extraction pipeline for converting approximate floating-point solutions into exact rational algebraic identities.CERTLIB targets two widely used classes of operator statements:Noncommutative sum-of-squares (ncSOS) identitiesof the form H^{2} - \alpha H = \sum_{r} W_{r}^{\dagger} W_{r}, used in positivity and spectral-gap analysis.2-RDM dual certificates aligned with the PQG conerepresented via exact rational LDL^{\mathrm T} factorizations of dual matricesS = A - tI with D \succeq 0.All numeric entries in the JSON artifacts are encoded as{ "num": p, "den": q } with exact integer pairs, ensuring that verification requires no floating-point arithmetic.The reference verifier reconstructs each operator from JSON and checks the identities symbolically using Python’s fractions.Fraction.This package includes three case studies:L=20 ncSOS spin chain:An exact certificate for H^2 - H in a Pauli-bitset basis, sufficient to apply the Gosset–Mozgunov finite-size criterion for a bulk spectral gap under standard assumptions.O_3 active-space PQG examples (n = 66 and n = 153):2-RDM dual matrices derived from rationalized FCIDUMP data, each with an exact rational LDL^{\mathrm T} certificateS = A - tI = L D L^{\mathrm T}.Minimal PQG example with nonzero multipliers Y \neq 0:A hand-auditable 3×3 wedge-space problem demonstrating full CERTLIB support for adjoint mapsA = H - \mathcal{L}^*(Y) and nontrivial PQG multipliers.Contents of this Figshare record include:The PDF of the manuscript;JSON files for all ncSOS and PQG problems and certificates(spin chain, O_3 active spaces, and minimal PQG example with Y\neq 0);A Python reference verifier (verify_certificates.py) that re-checks every certificate exactly over \mathbb{Q};CERTLIB is intended as a lightweight reproducibility standard that journals, researchers, and software stacks can adopt to make numerical claims in quantum science auditable, portable, and verifiable by construction.