Berlin Math Seminars

Tue, 10. Sep at 10:30

WIAS HVP11 R 3.13...

Aaron Sander

Verifying the equivalence or non-equivalence of quantum circuits with tensor networks

Abstract.

The development of quantum computers and algorithms is currently rapidly accelerating and will likely continue to do so in the next few years and even decades. As these systems continue to increase in size and complexity, there is an increasing need for methods to aid in their design. In particular, there is a need for debugging tools at each level of the quantum computing stack, specifically in the compilation and optimization of quantum circuits. In this work, we bridge the gap between quantum many-body physics and computer science by using tensor network techniques to verify the equivalence or non-equivalence of quantum circuits in order to detect errors that may occur during the many steps of this process.

Discrete Math

Wed, 18. Sep at 16:30

EN 058

Benjamin Schröter KTH

Classes of matroids for which Tutte polynomials are universal valuative invariants

Abstract.

Matroids are generalization of both graphs and hyperplane arrangements. Many interesting invariants of these combinatorial objects are valuative. Two prominent examples of valuative matroid invariants are the Tutte polynomial and the \mathcal{G}-invariant. The relevance of the \mathcal{G}-invariant steams from its universal property that any other valuative invariant can be obtained as a specialization. Nevertheless, the most intense studied invariant of matroids is clearly the Tutte polynomial as it respects deletion and contraction. An interesting question therefore is on which minor and duality closed classes of matroids is the Tutte polynomial universal. In my talk I will give a complete answer to this question. This talk is based on joint work with Luis Ferroni.

Discrete Math

Wed, 02. Oct at 16:30

EN 058

Tim Seynnaeve KU Leuven

Thu, 03. Oct

German Unity Day

Discrete Math

Wed, 09. Oct at 16:30

EN 058

Vincent Pilaud Universitat de Barcelona

Discrete Math

Wed, 16. Oct at 16:30