Manuscript Psy03-C@1 · Psy03-C-v1.tex · assumption · d3380b90

Assumption: Carrier contraction and input allowance

A separate input-driven quantum model › Fixed-sector contraction · lines 1761–1776

Psy03-C@1#ass:qcontract

For the selected state class and common sector,

d_{tr} (Λ_{x, s} (ρ), Λ_{x, s} (ρ^{'})) \leq κ_{s} d_{tr} (ρ, ρ^{'}), 0 \leq κ_{s} \leq 1.

For input comparisons, suppose

ρ sup d_{tr} (Λ_{x, s} (ρ), Λ_{x^{'}, s} (ρ)) \leq ω_{s} \norm x - x^{'} .

These constants are certified inputs, not consequences of complete positivity alone.

Displayed formulas in this passage

unlabeled · line 1764
$d_{tr} (Λ_{x, s} (ρ), Λ_{x, s} (ρ^{'})) \leq κ_{s} d_{tr} (ρ, ρ^{'}), 0 \leq κ_{s} \leq 1.$
unlabeled · line 1769
$ρ sup d_{tr} (Λ_{x, s} (ρ), Λ_{x^{'}, s} (ρ)) \leq ω_{s} \norm x - x^{'} .$