Write a Blog >>
Sun 19 Jan 2020 12:10 - 12:30 at Maurepas - Invited Talks, Pulses, Errors and Categories Chair(s): Frank Fu

This submission introduces the monoidal closed category qCPO of quantum cpos, whose objects are `quantized’ analogs of omega-complete partial orders (cpos). The category qCPO is enriched over CPO, and contains both the category CPO of cpos, and the opposite of the category FdAlg of finite-dimensional operator algebras as monoidal subcategories. The category qCPO enjoys the same properties that make CPO so useful for the semantics of higher-order programming languages that support recursion. Since every finite-dimensional operator algebra is a quantum cpo, qCPO is a natural candidate for modeling higher-order quantum programming languages that support recursion. Indeed, we use qCPO to construct a sound model for the quantum programming language Proto-Quipper-M (PQM) extended with term recursion; this same model also is a sound and computationally adequate model for LNL-FPC, a circuit-free fragment of PQM with recursive types, which can also be regarded as an extension of FPC with linear types. Previously the only known adequate model for LNL-FPC was within CPO, but CPO is not a model for PQM.

Sun 19 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: PLanQC - Invited Talks, Pulses, Errors and Categories at Maurepas
Chair(s): Frank Fu
planqc-2020-papers10:30 - 11:00
Bettina HeimMicrosoft
Media Attached
planqc-2020-papers11:00 - 11:30
Fred ChongUniversity of Chicago
Media Attached File Attached
planqc-2020-papers11:30 - 11:50
Thomas AlexanderIBM T.J. Watson Research Center, New York, USA, Naoki KanazawaIBM Research, Tokyo, Japan, Daniel EggerIBM Research, Zurich, Switzerland, Ali Javadi-AbhariIBM T.J. Watson Research Center, New York, USA, David C. McKayIBM T.J. Watson Research Center, New York, USA
planqc-2020-papers11:50 - 12:10
Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland
Pre-print Media Attached File Attached
planqc-2020-papers12:10 - 12:30
Andre KornellTulane University, Bert LindenhoviusTulane University, Michael MisloveTulane