残念ですが、誤解ではないかと思います。
１． 測定結果（古典量）のみでprovable securityを達成できない。
M.Ben-Orら, Rennerらの結果から演繹できます。東工大グループの論文にも
簡単なコメントがあります。
２．古典量を使いますが、その前提として量子状態レベルの保証が必要です。
３．M.H(Phys. Rev. A, 74, 2006)のSection IIIとsection VIをお読みくだ
さい。Holevo情報量はaccessible informationの上界です。　

(アメリカ＋カナダの取材でも確認しております)。
全部の草稿が完成すれば公開しますので、またご意見をお聞かせくだ
さい。