1:13 p.m.
Dear friends,
Next Wednesday, December 17th at 16:00 in D4.01 I'll give a talk, title and abstract
below. Afterward we'll go together to Kulma for a group Christmas celebration.
Warmly,
Will Schober
Title: Towards a Hierarchical Quantum Circuit Language
Abstract: Many circuit-based quantum programming languages contain limited functionality
for handling programs with quantum branching events. In this paper we introduce a
hierarchical circuit language with two new connectives, one for generalized controlled
operations and one for sub-circuit exponentiation, to reason formally about such programs.
We construct the hierarchical circuit language using a novel category-theoretic
construction, demonstrate how generalized controlled operations describe quantum control
flow, discuss applications to compiler optimization, and then contrast generalized
controlled operations with Pauli rotations.