Events

Filter by:

Limit to events where the title matches:
Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Wednesday, January 16, 2019 4:00 pm - 4:00 pm EST (GMT -05:00)

Master's Defence

Impacts of relativity on localizability and vacuum entanglement

Master's Candidate: Maria Papageorgiou 

Much of the structure of quantum field theory (QFT) is predicated on the principle of locality. Adherence to locality is pursuant to convictions deduced from relativity, and is achieved in QFT by the association of regions of spacetime with algebras of observables. Although, by construction, the observables of QFT are local objects, one may also consider characterizing the spatial or spacetime features of a state.

Friday, January 25, 2019 12:30 pm - 12:30 pm EST (GMT -05:00)

PhD Thesis Defence

Formal Methods in Quantum Circuit Design

PhD Candidate: Matthew Amy
Supervisor: Michele Mosca

Oral defence in QNC B204.

The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles.

Friday, May 24, 2019 10:30 am - 10:30 am EDT (GMT -04:00)

PhD Thesis Seminar - Quantum XOR games and Connes' embedding problem

Sam Harris, IQC/Department of Pure Mathematics

Last time we looked at unitary correlation sets, and obtained an analogue of Tsirelson's problem that is equivalent to the original one. In this talk, we'll see how unitary correlations can be thought of as strategies for a certain class of two-player (extended) non-local games, called quantum XOR games. Moreover, we'll see that Connes' embedding problem is equivalent to determining whether every quantum XOR game has the same winning probability in the commuting model as in the approximate finite-dimensional model.