Dear friends,

Next Wednesday, December 17^th 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.