《量子計算模型的判定性、無歧量子通信及相關問題》是依託中山大學，由邱道文擔任項目負責人的面上項目。
基本介紹
- 中文名：量子計算模型的判定性、無歧量子通信及相關問題
- 項目類別：面上項目
- 項目負責人：邱道文
- 依託單位：中山大學
- 批准號：60873055
- 申請代碼：F0201
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：31（萬元）
中文摘要
本項目研究量子計算模型的判定性問題，特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題；對任意兩個量子下推自動機識別的語言，研究它們的交是否為空及它們是否相等的判定性問題。同時，研究基於量子邏輯的計算理論（正交模格值自動機）中的判定性問題。另一重要問題是考慮無歧量子通信。在這種通信方式中，Bob解碼出來的信息一定是與原信息相符的，但是Bob可能以一定的機率忽略Ailce傳來的信息，即輸出不知道。在無歧義量子通信的意義下，我們研究Bob成功解碼Alice傳來信息的機率的最優界，並澄清雙方共享的糾纏在這類通信模型中的作用。量子通信中的另一個問題是量子混合態的區分，所以我們澄清有歧區分的最小誤差機率與無歧區分的失敗機率之間的關係。最後在量子邏輯、剩餘格值邏輯和其它代數框架下，我們系統地研究一些推理模型。
