Research Program v0.2 / Priority 66

Quantum Information

Find the smallest operational resources that make genuinely quantum information accessible. We seek sharp laws for when measurement resolution, collective copies, coherent control, or computation create an advantage—and exact boundaries where simpler, adaptive, or classical strategies are already enough.

Program ManagerDomingos S. P. Salazar
Risk budgetHIGH
Program stateACTIVE
Research objects04

Strategic vision

What this Program is building

Find the smallest operational resources that make genuinely quantum information accessible. We seek sharp laws for when measurement resolution, collective copies, coherent control, or computation create an advantage—and exact boundaries where simpler, adaptive, or classical strategies are already enough.

Directive
Characterize the measurements, copies, coherence, access, and computation required to extract or process quantum information; pair constructive protocols with tight converse bounds, matched baselines, and reproducible evidence.
Goals
  • Identify exact thresholds at which collective or coherent strategies outperform product, adaptive, or classical alternatives.
  • Compress and compile informative measurements without hiding their access, conditioning, or implementation costs.
  • Build reusable theorems and algorithms that connect information-theoretic structure to explicit operational tasks.
Non-goals
  • Using complexity labels without a defined access and output model.
Guardrails
  • Require literature audit and independent review for every headline claim.
  • Require reproducible code and data for computational claims.

Problem portfolio

Auditable queue
Minimum viable portfolio

Formal 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.

  • Identify exact thresholds at which collective or coherent strategies outperform product, adaptive, or classical alternatives.
  • Compress and compile informative measurements without hiding their access, conditioning, or implementation costs.
  • Build reusable theorems and algorithms that connect information-theoretic structure to explicit operational tasks.

Research contributions

4 public · 0 protected
RO-2026-0001

AMENDED

Few-Outcome Readout of Quantum-Fisher-Optimal Measurements: Sharp Bounds and Coherent-Synthesis Hardness

A quantum-Fisher-optimal measurement may resolve exponentially many eigenvectors even when its information-bearing score needs only a small outcome alphabet. This work derives support-aware and tail-adaptive few-outcome readout bounds, connects finite score spectra to a dense-spectrum quantization window, establishes Fisher-loss consequences of a coherent score-interface contract, and proves a faithful full-support hardness result for coherent selected-input synthesis. Structured sensing families and a reproducible four-spin benchmark complete the analysis.
→
RO-2026-0003

PUBLISHED

Two-Copy Onset of Strict Superadditivity for Measured Relative Entropy

For faithful finite-dimensional state pairs, globally optimized measured relative entropy is additive at any fixed copy number n >= 2 exactly when the states commute. This Letter proves the criterion through an explicit phase-optimized two-copy ascent direction, separates coherent collective access from the known fresh-copy classical-feed-forward bound, gives a faithful qubit construction, and states a thermodynamic corollary only for the Gibbs-prepared isolated unitary-drive setting.
→
RO-2026-0004

PUBLISHED

Minimum Bath Dimension for Qutrit Cooling Maps

At low temperature, cooling maps and thermal operations have identical transition power for a two-level system. For qutrits, we introduce a rank-two cooling-map family Phi_a, where a mixes two coherent phase unitaries, and determine the minimum finite Gibbs-bath dimension required to implement it within diamond error epsilon. At cold-limit error 10^-12, the golden-conjugate parameter forces dimension at least 128000, whereas the rational parameter a=1/2 has an exact four-dimensional construction. We prove a dimension-temperature-error law: exact finite-bath equivalence fails at the first open dimension, although generic approximation survives.
→
RO-2026-0007

PUBLISHED

An Exact Product Limit on Collective Quantum Readout

Can two independently prepared quantum systems require a joint measurement to read a fluctuation with the least possible variance? We prepare two copies of either candidate state. A measured Pearson quantity compares the outcome distributions of the two candidate preparations. Fully-PPT detectors include measurements made separately on each copy. The class maximum is the product of the one-copy optima, attained by measuring an optimal score on each copy. Noncommuting states allow an unrestricted joint measurement to do strictly better. We then fix a state-calibrated collective score as a theoretical witness. Its spectral readout adds no variance, but every unbiased fully-PPT readout must add some. A moment inequality strengthens this necessary bound; the exact restricted minimum remains unknown. Driven and equilibrium models illustrate the bounds without a device demonstration. The results concern calibrated scores, not work readout, detector energy cost, or local thermometry.
→

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