2015 Fiscal Year Research-status Report
| Project/Area Number |
26730003
|
|---|
| Research Institution | Gunma University |
|---|
Principal Investigator |
森前 智行 群馬大学, 先端科学研究指導者育成ユニット, 助教 (50708302)
|
|---|
| Project Period (FY) |
2014-04-01 – 2017-03-31
|
| Keywords | 量子計算 |
|---|
| Outline of Annual Research Achievements |
NPの量子版であるQMAにおいては、証明者は無限の計算能力を持ち、検証者はBQPの計算能力を持っている。ところが、セキュアクラウド量子計算への応用を考えた場合には、検証者の能力はBQPではなくて理想的にはBPP、そうでなくても高々ほぼBPPにしたい。その目的のために、本年度は、検証者の計算能力を弱める方向での検討を行った。その結果、検証者がClifford gateのみしか実現できない場合、あるいは１キュービット測定しかできない場合でも、計算量クラスが変わらないことを示した。Clifford gateのみの量子計算はGottesman-Knillの定理により、古典計算機で効率的にシミレートできるため、ほぼBPPであると考えてよい。また、似たような理由により、1キュービット測定の能力もそうである。したがって、当初の目的であるBPPの検証者にちかづけることができた。また、トラップを隠して計算の検証をする方法については、以前から研究しているが、こちらについても引き続き検討し、実際に可能であることを示した。特に、測定型のセキュアクラウド量子計算で可能であることが初めて証明された。また、ウィーン大学の実験グループと打ち合わせを行い、その理論プロトコルは、実際に彼らの実験室の光量子計算機を用いて実演も行った。その際には、技術的制約により4キュービットまでしか実現できなかったが、今後、可能なキュービット数を増やしていく予定である。
|
| Current Status of Research Progress |
Current Status of Research Progress
1: Research has progressed more than it was originally planned.
Reason
計画どおり実施でき、しかも実際に実験家と共同でデモンストレートすることもできた。
|
| Strategy for Future Research Activity |
今後も、これまで同様に着実に研究を進めていく。特に、実験においてキュービット数を増やすためには、安定な理論を考える必要があるため、トポロジカル量子計算がうまく使えないかどうかなどについて検討する予定である。
|
Research Products
(5 results)
