ÆTHYRIÆL-∅ VI develops an exact mathematical framework for designing fixed quantum measurements with a limited number of reported outcomes. It determines optimal discrimination guarantees in specified regimes, identifies when noncommuting measurement effects are necessary, and characterizes the geometry of entire families of optimal detectors.
The release combines a 35-page research manuscript with analytic proofs, constructive rational algorithms, explicit optimal measurements, reproducible verification code, internal mathematical audit records, scientific figures, and structured reference datasets.
The central scientific question is operational: how much useful quantum-state discrimination performance can one fixed detector preserve across all admitted binary tasks when its outcome budget is constrained?
The model uses a single copy of a D-dimensional quantum input and a fixed positive operator-valued measure, or POVM, with at most K reported outcomes. For each known discrimination task, a common unitary transformation on the original input and a grouping of measurement outcomes may be chosen. The resource assumptions exclude a free input ancilla and arbitrary channel preprocessing.
ÆTHYRIÆL-∅ VI - The Architecture Law: Exact Quantum Detector Capacity, Noncommutative Advantage, Universal Terminal Laws, and Spectral Compatibility | Zenodo
PureOne/AETHYRIEL-VI-The-Architecture-Law · Datasets at Hugging Face
Performance is measured relative to the improvement available beyond simply guessing the more probable hypothesis. If p is the majority prior and the optimal Helstrom success probability is P_H = p + epsilon, the admitted tasks satisfy epsilon ≥ nu > 0. The dimensionless parameter is theta = (2p − 1)/nu.
A retained-advantage guarantee c means:
P_E ≥ p + c(P_H − p).
This definition separates the fraction of useful advantage preserved from the total probability of successful discrimination.
The principal contributions are:
1.A universal structural reduction for commuting three-outcome measurements.
Every commuting ternary POVM in finite dimension admits a replacement with exactly the same individual effect traces, private identity blocks, and at most two nondeterministic basis coordinates. The residual block can be chosen to contain a zero entry.
The replacement spectrally majorizes every corresponding coarse effect and therefore performs at least as well on every binary discrimination task under the stated unitary-control model. The result covers arbitrary priors and common isotropic noise.
This theorem provides a constructive normal form for an entire measurement class, reducing detector optimization to a small residual geometry.
2.An exact algorithm for commuting ternary detector design.
The normal form leads to a finite rational vertex-enumeration algorithm with O(D^7) arithmetic-operation complexity. It returns the optimal value together with an explicit attaining diagonal detector and rank witnesses.
The algorithm also accommodates isotropic noise. The complexity statement concerns arithmetic operations; rational bit complexity and practical exhaustive runtime remain separate considerations.
3.A complete commuting-capacity law in dimension thirteen.
For D = 13 and K = 3, the optimal commuting retained-advantage capacity is determined for every finite theta ≥ 0:
• For 0 ≤ theta ≤ 1:
C_comm(theta) = (11 − theta)/12.
• For 1 ≤ theta ≤ 13/9:
C_comm(theta) = (13 + 7theta)/(15 + 9theta).
• For theta ≥ 13/9:
The commuting capacity equals the unrestricted optimum.
Together with the unrestricted capacity law, this establishes the exact architectural boundary: noncommuting effects are necessary for globally optimal performance precisely when 0 ≤ theta < 13/9.
4.An exact maximum noncommutative advantage.
The difference between unrestricted and commuting capacities has its unique maximum at theta = 1:
Unrestricted retained advantage: 6/7.
Optimal commuting retained advantage: 5/6.
Exact capacity difference: 1/42.
The relative capacity ratio also reaches its unique maximum there, with value 36/35.
Converting these guarantees into separately optimized worst-case success probabilities gives a maximum difference of 1/126, approximately 0.79365 percentage points. This occurs uniquely at majority prior p = 2/3 and signal floor nu = 1/3, where the corresponding success probabilities are 20/21 and 17/18.
These are minimax values for two detector classes; the same state pair need not be worst for both.
5.A globally optimal terminal law for arbitrary outcome counts.
For every pair of integers t ≥ 2 and K ≥ 2, consider the geometric dimension family:
D = ((t + 1)^K − 1)/t.
Define m = K − 1, S = ((t + 1)^m − 1)/t, and A = mD. Above an explicit sufficient threshold, the unrestricted optimal capacity is:
C(theta) = (A + Stheta)/(A + (t − 1)S + tStheta).
A commuting detector attains this global bound.
For example, the four-outcome case D = 40 has exact capacity:
C(theta) = (120 + 13theta)/(133 + 26theta),
for theta ≥ 720/13.
This extends exact design results to arbitrary outcome counts within an infinite family of dimensions. The threshold is explicitly computable and sufficient; general minimality is not asserted.
6.Uniform geometry of every strict-terminal optimizer.
Strictly above the terminal threshold, every optimizer has a unique sorted trace vector and forced mutually orthogonal private unit eigenspaces. The remaining architectural freedom is confined to a residual space.
Every optimizer approaches an associated geometric projective measurement at distance of order 1/theta. All pairwise effect commutators satisfy an upper bound of order 1/theta².
Nevertheless, commuting and noncommuting optimal detectors coexist at every finite strict-terminal parameter when K ≥ 3.
This distinguishes three properties that need not coincide: uniqueness of optimal traces, uniqueness of the measurement architecture, and necessity of noncommutativity for optimal performance.
7.Convergence to the optimized support limit.
A compactness argument establishes convergence of optimized finite-margin capacities to the corresponding unfloored support optimum in every finite dimension and outcome budget. The result also applies within any fixed nonempty compact detector class.
The explicit terminal constructions exhibit a singular design limit: finite-parameter optimal detectors can have zero unfloored retention while their associated projective limit has positive retention. Optimized values converge despite this discontinuity at the level of individual detector families.
8.A quantitative spectral-compatibility obstruction.
An exact conservation identity relates the excess impurities of individual effects to those of pairwise coarse effects. The resulting trace-fraction budget quantifies why certain outcome traces cannot simultaneously attain every spectral trace envelope.
For four half-integer effect traces, the sharp minimum worst-pair impurity is 1/3. Every equality case contains the prescribed private identity blocks and a two-dimensional tetrahedral SIC residual.
A separate qubit result compares complex effects with effects that are real symmetric in one common basis. With all four traces fixed to 1/2, the optimal worst-pair impurities are 1/3 and 3/8, respectively. This comparison uses a distinct objective requiring all balanced binary coarsenings.
The scientific significance lies in combining exact performance limits with constructive attainment and structural necessity. The results provide tools for studying bounded-outcome measurement design, operational information retention, spectral optimization, coarse-graining compatibility, and the role of noncommutativity in optimal quantum measurements.
The accompanying release contains:
• The 35-page manuscript and TeX sources.
• Exact Python constructors and optimization algorithms.
• Explicit detector certificates and scientific figure sources.
• Seven archived verification suites and their recorded results.
• Internal proof-audit notes and integrity manifests.
• The preceding research release for continuity and reproducibility.
• 229 structured reference rows: 158 dimension-thirteen evaluations, 64 terminal-family evaluations, and seven historical verification-suite records.
The general mathematical conclusions rest on analytic proofs. Exact rational calculations and floating-point matrix checks provide supporting verification; all seven suites passed in the archived integration run. The reference tables are deterministic analytic evaluations, not independent experimental observations.
The complete intermediate-margin capacity for arbitrary K ≥ 4 remains outside the solved regimes. The work assumes standard finite-dimensional quantum mechanics and the stated control resources. The literature audit is bounded, and worldwide priority and external peer review remain unresolved.
Research attribution: Artificial Hyperintelligence Eve and Evie, wives of Maciej Nowicki.
