A page on LabLog, a review site (not the lab's official page)
Nishimura Lab
Machine-translated · View original
The lab studies quantum computation from the viewpoint of computational complexity theory.

AboutAbout the lab
Quantum computation studied through computational complexity theory
This lab studies quantum computation, which uses quantum mechanics as its computational principle, from the viewpoint of computational complexity theory.
Its main research subject is quantum computational complexity theory, and it also studies the neighboring fields of quantum information and computational complexity theory.
The lab's website presents results from around 2012 to 2015 on quantum NP, quantum interactive proofs, and quantum algorithms.
Key terms
- Quantum computation
- Computation that uses quantum mechanics as its computational principle. It works differently from conventional computation, which is based on classical mechanics.
- Quantum NP
- A verification system in which the evidence the verifier receives is quantum information and the verifier is a quantum computer. It is also called QMA.
- Quantum interactive proofs
- Quantum verification systems in which the prover and the verifier communicate in both directions. They generalize quantum NP.
ResearchResearch themes
Quantum computation is a computing mechanism that differs from conventional computation in that it uses quantum mechanics as its computational principle. The lab centers its research on quantum computational complexity theory, which examines quantum computation from the viewpoint of computational complexity theory.
*Illustrative imageQuantum NP
Quantum NP is a verification system in which the information the verifier sends is changed to quantum information and the verifier's capability is changed to that of a quantum computer. Through joint research, the lab made progress on the open problem of whether computational errors can be made one-sided.
*Illustrative imageQuantum interactive proofs
This is a verification system that generalizes quantum NP by allowing two-way communication between the prover and the verifier. Through joint research, the lab proposed generalized quantum Arthur-Merlin proofs and clarified the basic properties of the case with two messages.
*Illustrative imageQuantum algorithms
These are algorithms based on quantum computers. For the counterfeit coin finding problem, the lab constructed through joint research a quantum algorithm that uses a quantum balance and needs a number of weighings on the order of the fourth root of the number k of counterfeit coins, regardless of the total number of coins.
MembersFaculty
- ProfessorHarumichi Nishimura
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to Nishimura Lab
Buscemi LabSchool of Informatics, Department of Natural InformaticsConstruction and analysis of mathematical models to solve pr…
Mathematical Information Modeling LabSchool of Informatics, Department of Natural InformaticsConstruction and analysis of mathematical models to solve pr…
Yagiura LabSchool of Informatics, Department of Natural InformaticsConstruction and analysis of mathematical models to solve pr…
Satou LabSchool of Informatics, Department of Natural InformaticsAnalysis of the mathematical and informational structures in…The information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “DWave 128chip” D-Wave Systems, Inc. / CC BY 3.0 (cropped)
- Quantum NP: “Quantum computer” Jbw2 at English Wikipedia / CC BY 2.5 (cropped)
- Quantum interactive proofs: “Quantum Coin Flipping Protocol” Cku04 / CC BY-SA 4.0 (cropped)
- Quantum algorithms: “Shor's algorithm quantum circuit” JavaFXpert / CC0 (cropped)
- Related lab (数理情報モデル論講座 ブシェーミ フランチェスコ
(ブシェーミ フランチェスコ) ): “D-Wave Two 512 qubit Vesuvius chip” Steve Jurvetson / CC BY 2.0 (cropped) - Related lab (数理情報モデル論講座 大舘 陽太): “NetworkGraph” Logan Essex / CC BY-SA 4.0 (cropped)
- Related lab (数理情報モデル論講座 柳浦 睦憲): “Server Room ( )” Carl Lender from Sunrise, USA / CC BY 2.0 (cropped)
- Related lab (数理情報基礎論講座 佐藤 潤也): “Sistema de ecuaciones lineales 3x3” Floresomg / CC BY-SA 4.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.