Events

Graph Property Testing using the Container Method

Abstract: The Graph and Hypergraph Container Methods have recently been used to obtain multiple striking results across different areas of mathematics. In this talk, we will see how the graph container method is particularly well-suited for the study of some fundamental problems in graph property testing.

The main problem we will discuss in the talk is the Independent Set Testing problem introduced by Goldreich, Goldwasser, and Ron (1998). In this problem, we are given oracle access to a graph on $n$ vertices that either (i) contains an independent set on $\rho n$ vertices, or (ii) is $\epsilon$-far from the property in the sense that at least $\epsilon n^2$ edges must be removed from the graph to make it have an independent set of this size. We will introduce a new container lemma for the latter class of graphs and we will show how this lemma can be used to obtain a near-optimal solution to the Independent Set Testing problem. We will also discuss how variants and extensions of the new container lemma can be used to prove a variety of other results in property testing.

This is joint work with Cameron Seth.

Title: Purifying arbitrarily noisy quantum states

Abstract: Quantum state purification is the task of recovering a nearly pure copy of an unknown pure quantum state using multiple noisy copies of the state. We derive an efficient purification procedure based on the swap test for qudits of any dimension, starting with any initial error parameter. For constant initial error parameter and dimension, our procedure has sample complexity asymptotically optimal in the final error parameter, and almost matches the known optimal protocol for qubits. Our protocol has a simple recursive structure that can be applied when the states are provided one at a time in a streaming fashion, requiring only a small quantum memory to implement.  Joint work with Andrew Childs, Honghao Fu, Zhi Li, Maris Ozols, Vedang Vyas. 

Title: Rotation-invariant web bases from hourglass plabic graphs and symmetrized six-vertex configurations

Abstract: Many combinatorial objects with strikingly good enumerative formulae also have remarkable dynamical behavior and underlying algebraic structure. In this talk, we consider the promotion action on certain rectangular tableaux and explain its small, predictable order by reinterpreting promotion as a rotation in disguise. We show how the search for this visual explanation of combinatorial dynamics led to the solution of an algebraic problem involving web bases and a generalization of the six-vertex model of statistical physics. We find that this framework includes several unexpected combinatorial objects of interest: alternating sign matrices, plane partitions, and their symmetry classes (joint with Ashleigh Adams). This talk is based primarily on joint work with Christian Gaetz, Stephan Pfannerer, Oliver Pechenik, and Joshua P. Swanson.

Title: Concrete analysis of a few aspects of lattice-based cryptography

Abstract: A seminal 2013 paper by Lyubashevsky, Peikert, and Regev proposed using ideal lattices as a foundation for post-quantum cryptography, supported by a polynomial-time security reduction from the approximate Shortest Independent Vectors Problem (SIVP) to the Decision Learning With Errors (DLWE) problem in ideal lattices. In our concrete analysis of this multi-step reduction, we find that the reduction’s tightness gap is so significant that it undermines any meaningful security guarantees. Additionally, we have concerns about the feasibility of the quantum aspect of the reduction in the near future. Moreover, when making the reduction concrete, the approximation factor for the SIVP problem turns out to be much larger than anticipated, suggesting that the approximate SIVP problem may not be hard for the proposed cryptosystem parameters.

Title: Odd-Ramsey numbers of complete bipartite graphs

Abstract: In his study of graph codes, Alon introduced the concept of the odd-Ramsey number of a family of graphs ℋ, defined as the minimum number of colours needed to colour the edges of the complete graph so that every copy of a graph H in ℋ intersects some colour class by an odd number of edges. In recent joint work with Simona Boyadzhiyska, Shagnik Das, and Kaline Petrova, we focus on the odd-Ramsey numbers of complete bipartite graphs. First, using polynomial methods, we completely resolve the problem when ℋ is the family of all spanning complete bipartite graphs on n vertices. We then focus on its subfamilies. In this case, we establish an equivalence between the odd-Ramsey problem and a well-known problem from coding theory, asking for the maximum dimension of a linear binary code avoiding codewords of given weights. We then use known results from coding theory to deduce asymptotically tight bounds in our setting. We conclude with bounds for the odd-Ramsey numbers of fixed (that is, non-spanning) complete bipartite subgraphs.