Research Program v0.2 / Priority 54
Mathematical Physics
Build mathematics that isolates the mechanism behind a physical effect, not just a bound around it. We target sharp equivalence theorems, constructive witnesses, stability laws, and obstructions that can be reused across quantum theory, while keeping every bridge between formal structure and physical meaning explicit.
Strategic vision
What this Program is building
Build mathematics that isolates the mechanism behind a physical effect, not just a bound around it. We target sharp equivalence theorems, constructive witnesses, stability laws, and obstructions that can be reused across quantum theory, while keeping every bridge between formal structure and physical meaning explicit.
- Directive
- Develop sharp, reusable mathematics for physical theories: identify exact criteria and equality cases, construct witnesses and counterexamples, and preserve the proof dependencies and obstructions that delimit every result.
- Goals
- Prove exact criteria, equality cases, finite thresholds, and stability laws that expose the mechanism behind physical phenomena.
- Favor constructive proofs, witnesses, and counterexamples that can guide later theory and computation.
- Transfer reusable structures across quantum information and thermodynamics without weakening assumptions or physical meaning.
- Non-goals
- Promoting heuristic evidence to theorem status.
- Guardrails
- Require complete proof dependencies or an explicit open status.
- Record counterexamples and failed proof routes alongside positive results.
Problem portfolio
Auditable queueFormal Problems have not been split from this directive yet.
The active work is currently organized by the Program goals below; stable Problem IDs will be added when the next research branch is commissioned.
- Prove exact criteria, equality cases, finite thresholds, and stability laws that expose the mechanism behind physical phenomena.
- Favor constructive proofs, witnesses, and counterexamples that can guide later theory and computation.
- Transfer reusable structures across quantum information and thermodynamics without weakening assumptions or physical meaning.
Research contributions
5 public · 0 protectedAMENDED
Few-Outcome Readout of Quantum-Fisher-Optimal Measurements: Sharp Bounds and Coherent-Synthesis Hardness
PUBLISHED
Two-Copy Onset of Strict Superadditivity for Measured Relative Entropy
PUBLISHED
Minimum Bath Dimension for Qutrit Cooling Maps
PUBLISHED
Stochastic Thermodynamics of Highly Underdamped Homogeneous Hamiltonian Systems
PUBLISHED
An Exact Product Limit on Collective Quantum Readout
Living Program Book
Textbook synthesis begins after three approved Research Objects.
The Book will integrate Ledger work with relevant outside literature. It remains pending; no edition has been released.
3 / 3 approved ROs