nLab
Grover's algorithm

Contents

Context

Constructivism, Realizability, Computability

Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Contents

Idea

A search algorithm for quantum computers.

References

See also

Discussion in terms of finite quantum mechanics in terms of dagger-compact categories:

  • Jamie Vicary, Section 3 of: The Topology of Quantum Algorithms, (LICS 2013) Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pages 93-102 (arXiv:1209.3917)

Review in:

Created on February 10, 2020 at 00:57:33. See the history of this page for a list of all contributions to it.