Quantum Computing, Quantum Information.
positive)公理: 白話一點來說，如果它對於任何大小的輔助系統（參考系統）都是正定映射，一個線性映射被稱為Completely Positive Map。(好像也沒多白話?) 我們稍微解釋一下這個公理裡面的一些名詞，正定映射(Positive Map): 所謂的positive semi-definite，線性代數中有學到，一個positive semi-definite的Matrix或Operator會滿足: 一樣，這邊我們討論一下為甚麼會需要這個公理呢? 主要是為了確保所建構的Quantum Channel在所有的系統上都能被合理擴展，並且在這樣的擴展下仍然保持正定性質。