| Project/Area Number |
13J06353
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | University of Fukui |
|---|
Principal Investigator |
VILLAGRA Marcos 福井大学, 工学研究科, 特別研究員(PD)
|
|---|
| Project Period (FY) |
2013 – 2014
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥2,530,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥330,000)
Fiscal Year 2014: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2013: ¥1,100,000 (Direct Cost: ¥1,100,000)
|
|---|
| Keywords | quantum computing / quantum automata / quantum communication / cryptography / formal languages / descriptional complexity / Quantum Computing / Cryptography / Quantum Communication / Algebra |
|---|
| Outline of Annual Research Achievements |
As a first contribution, I developed a new notion of quantum nondeterministic computation based on quantum finite automata. Using this notion I introduced the first cryptographic protocol based on quantum automata and studied its properties in great depth. This research, thus, lays the theoretical foundations for future quantum and nano technologies that could offer securities in its execution and implementation.
In order to develop improved cryptographic and communication protocols based on quantum automata, I realized that a more thorough understanding of the computational model was required. Towards that end, I introduced a novel notion of conciseness for quantum automata called "state complexity". With this new complexity measure, I studied in great depth the fundamental properties of space-bounded quantum computers and developed new techniques for its analysis. These results could potentially be extrapolated to quantum communication and cryptography.
The obtained results unearthed several properties of communication and cryptographic protocols whose underlying model of computation are quantum automata. Given the current scaling problems of computational resources that the development of quantum computers faces, a solid theoretical foundation of quantum automata helps in the understanding of what we can and cannot do given the limited resources we have.
|
| Research Progress Status |
本研究課題は平成26年度が最終年度のため、記入しない。
|
| Strategy for Future Research Activity |
本研究課題は平成26年度が最終年度のため、記入しない。
|
Report
(2 results)
Research Products
(6 results)
