Skip to main navigation Skip to Content

Computer Science

University of Toronto
  • Quercus
  • Student Support
  • Contact
  • About
    • History of U of T Computer Science
    • Computer Science at U of T Mississauga
    • Computer Science at U of T Scarborough
    • Employment Opportunities for Faculty/Lecturers
    • How to Find Us
    • Contact
  • Undergraduate
    • Prospective Undergraduates
    • Current Undergraduates
  • Graduate
    • Prospective Graduate Students
    • Current Graduate Students
  • Research
    • Research Areas
    • Partner with us
  • People
    • Faculty
    • Staff
    • In Memoriam
    • Alumni and Friends
    • Honours & Awards
    • Women in Computer Science
    • Graduate Student Society
    • Undergraduate Student Union
    • Undergraduate Artificial Intelligence Group
    • Undergraduate Theory Group
  • News & Events
    • News
    • Events
    • @DCS Update
    • Alumni
    • Donate
You are viewing: > Home > News & Events > Events > Theory/Quantum Seminar: Feb 8
  • About
  • Undergraduate
  • Graduate
  • Research
  • People
  • News & Events

Theory/Quantum Seminar: Feb 8

Event date: Friday, February 08, 2019, at 11:00 AM
Location: Fields Institute, 222 College Street, Stewart Library, 3rd Floor

Title: New Hardness Results for the Permanent Using Linear Optics
Speaker: Daniel Grier, MIT

Abstract:  One of the great accomplishments in complexity theory was Valiant's 1979 proof that the permanent of a matrix is #P-hard to compute.  Subsequent work simplified Valiant's ideas and even began to recast them as problems in quantum computing.  In 2011, this culminated in a striking proof by Aaronson, based solely on quantum linear optics, of the #P-hardness of the permanent. Although this simplified (at least for physicists) aspects of Valiant's proof by off-loading its difficulty onto central and well-known theorems in linear optics, the question remained:  what else was gained by converting Valiant's combinatorial proof into a linear optical one?

In this talk I'll give one possible answer to this question--namely, that these quantum techniques are useful for proving hardness of permanents for matrices that obey classical Lie group structure.  In particular, I will prove that computing the permanent of real orthogonal matrices is #P-hard. The hardness result translates to permanents of orthogonal matrices over finite fields of characteristic not equal to 2 or 3.

No prior knowledge of linear optics is necessary.

Joint work with Luke Schaeffer.

Speaker Bio: Daniel Grier is a sixth year PhD student in Computer Science at MIT CSAIL, advised by Scott Aaronson. His research interests include both quantum computation and classical complexity theory, and more generally the connections between physics and the limits of computation. Daniel received his Bachelors degree in Computer Science and Mathematics at the University of South Carolina. He is supported by an NSF Graduate Fellowship.

All rights reserved copyright Computer Science, University of Toronto | Site Map