Events

Carl A. Miller, University of Michigan, Ann Arbor, USA

Recently Yaoyun Shi and I gave the first proof of security for robust exponential quantum randomness expansion. This talk will be an overview of the problem and a discussion of the techniques used in our proof.

The lecturer will be Phil Kaye, a 2006 IQC graduate currently working at the Government of Canada. This lecture will be more informal and will focus on Phil's career path, how his PhD prepared him for his current position, and the challenges of working outside of academia.

For futher questions, please contact Corey Rae, IQC GSA President, crmcrae@uwaterloo.ca

Katanya Kuntz,  University of New South Wales, Canberra, Australia

We simultaneously generate photon-subtracted squeezed vacuum and squeezed vacuum at three frequencies from an optical parametric oscillator by utilizing its frequency non-degenerate sidebands. Quantum non-Gaussianity is demonstrated by applying a novel character witness.

Yaoyun Shi, University of Michigan

How can one be certain that the output of an alleged random
number generator is indeed random? This question is important not
only for the efficiency and the security of information
processing, but also for understanding how intrinsically
unpredictable events are possible in Nature. Practical random
number generators have often been found to be insecure. All
existing theoretical solutions require a certain form of
independence among two or more sources of randomness, a condition

Martin Roetteler,  NEC Laboratories America

Recently, quantum circuits that are composed of unitary as well as probabilistic elements were employed for quantum synthesis and compilation tasks. In some cases, RUS designs led to implementations that on average are more efficient than the previously best known solutions based on unitary circuit designs. I will highlight some of the developments that are related to the synthesis of single-qubit operations and to the implementation of integer arithmetic on a quantum computer.

A conference to celebrate the work of Chris Godsil

It is surprising that the characteristic polynomial of the adjacency matrix of a graph provides a useful window onto combinatorial properties of the graph itself, but this approach to graph theory has been a source of interesting and useful results for over 80 years.

Ramy El Ganainy, Michigan Technological University

Robin Kothari

I will talk about a classic lemma due to Jordan (1875) that is
frequently used in quantum computing.  Jordan's lemma says that given
any two orthogonal projectors, there is a way to partition the
underlying vector space into 1- and 2-dimensional subspaces that are
invariant under the action of both projectors.  This simple lemma has
applications in several areas of quantum computing.  In this talk will
discuss the lemma, its proof, and explain some selected applications in

Dominique Unruh, University of Tartu

Position verification allows us to verify the position of a device in space (e.g., for enabling access to location based services). Unfortunately, position verification is known to be insecure in principle using only classical cryptography. We show how position verification can be achieved using quantum communication.

Karol Zyczkowski, Jagellonian University

A pure quantum state of N subsystems with d levels each is called
k-uniform, if all its reductions to k qudits are maximally mixed.
These states form a natural generalization of N-qudits GHZ states
which belong to the class 1-uniform states.