About CTC (arXiv:1003.4971)

Question 1:
在 one-way model (measurement-based computation) 中，我們先設計一個teleportation-like 的circuit。再引入prepared state的stabilizer，會發現在以下問題: 根據測量結果的conditional operation，在時間順序上居然先於測量! 大致來說， 設時間t t' and t'>t 有四個操作 O(t), O(t'), O'(t), O'(t') 作用在 state|G>上。我們有 O(t')O(t)|G>=O'(t)O'(t')?G>。
"Deutsch's model fails to implement the same input-output map as BSS and the one-way model." 原作者應該是favorBSS CTC model，但是BSS CTC model is a probabilistic model。 一個probabilistic model怎麼解釋something with certainty (O(t')O(t)|G>=O'(t)O'(t')|G>)? Any better deterministic model?

Question 2:
Bennett-Schumacher 的說法中，如果"猜的未來" 在未來絕對不會發生，那麼output qubit 就沒有future。"no future"，"undefined"到底是什麼意思? 舉Bennett的例子而言，原先準備了Bell-state |00>+|11>，我們猜未來的測量結果也是 |00>+|11>(為什麼做這樣的猜測?因為在這種情形下，就不需要classical communication，以及conditional operation)。從實驗的角度而言，根據目前的量子理論，我可以去做實驗，發現 |00>+|11>絕不可能測量到。Bennett的結論(應該)是 "no future"，"undefined"，到底是什麼意思?