Thu, 24 Nov 2022
16:00
Virtual

The Legendre Memory Unit: A neural network with optimal time series compression

Chris Eliasmith
(University of Waterloo)

Note: we would recommend to join the meeting using the Teams client for best user experience.

Abstract

We have recently proposed a new kind of neural network, called a Legendre Memory Unit (LMU) that is provably optimal for compressing streaming time series data. In this talk, I describe this network, and a variety of state-of-the-art results that have been set using the LMU. I will include recent results on speech and language applications that demonstrate significant improvements over transformers. I will discuss variants of the original LMU that permit effective scaling on current GPUs and hold promise to provide extremely efficient edge time series processing.

Further Information
Thu, 17 Nov 2022
14:00
L6

Dispersive Sum Rules in AdS${}_2$

Waltraut Knop
(Stony Brook)

Note: we would recommend to join the meeting using the Zoom client for best user experience.

Abstract

Dispersion relations for S-matrices and CFT correlators translate UV consistency into bounds on IR observables. In this talk, I will begin with briefly introducing dispersionrelations in 2D flat space which will guide the analogous discussion in AdS2/CFT1. I will introduce a set of functionals acting on the 1D CFT. These will allow us to prove bounds on higher-derivative couplings in weakly coupled non-gravitational EFTs in AdS2. At the leading order in the bulk-point limit, the bounds agree with the flat-space result. Furthermore we can compute the leading universal effect of finite AdS radius on the bounds.

Further Information

It is also possible to join online via Zoom.

Mon, 24 Oct 2022
16:00
L6

Recasting Selmer Schemes

Jay Swar
Abstract

The Chabauty-Kim method is an effective algorithm for finding the $S$-integral points of hyperbolic curves by directly using the hyperbolicity in group-cohomological arguments. Central objects in the theory are affine spaces known as a Selmer schemes. We'll introduce the CK method and Selmer schemes, and demonstrate some additional structures possessed by Selmer schemes which can aid in implementing the CK method.
 

Tue, 25 Oct 2022
14:00
C3

Nonbacktracking spectral clustering of nonuniform hypergraphs

Dr. Phil Chodrow
(Department of Computer Science, Middlebury College)

Note: we would recommend to join the meeting using the Zoom client for best user experience.

Abstract

Spectral methods offer a tractable, global framework for clustering in graphs via eigenvector computations on graph matrices. Hypergraph data, in which entities interact on edges of arbitrary size, poses challenges for matrix representations and therefore for spectral clustering. We study spectral clustering for arbitrary hypergraphs based on the hypergraph nonbacktracking operator. After reviewing the definition of this operator and its basic properties, we prove a theorem of Ihara-Bass type which allows eigenpair computations to take place on a smaller matrix, often enabling faster computation. We then propose an alternating algorithm for inference in a hypergraph stochastic blockmodel via linearized belief-propagation which involves a spectral clustering step, again using nonbacktracking operators. We provide proofs related to this algorithm that both formalize and extend several previous results. We pose several conjectures about the limits of spectral methods and detectability in hypergraph stochastic blockmodels in general, supporting these with in-expectation analysis of the eigeinpairs of our studied operators. We perform experiments with real and synthetic data that demonstrate the benefits of hypergraph methods over graph-based ones when interactions of different sizes carry different information about cluster structure.

Joint work with Nicole Eikmeier (Grinnell) and Jamie Haddock (Harvey Mudd).

Tue, 01 Nov 2022
14:00
C3

Large network community detection by fast label propagation

Dr. Vincent Traag
(Leiden University)
Abstract

Many networks exhibit some community structure. There exists a wide variety of approaches to detect communities in networks, each offering different interpretations and associated algorithms. For large networks, there is the additional requirement of speed. In this context, the so-called label propagation algorithm (LPA) was proposed, which runs in near linear time. In partitions uncovered by LPA, each node is ensured to have most links to its assigned community. We here propose a fast variant of LPA (FLPA) that is based on processing a queue of nodes whose neighbourhood recently changed. We test FLPA exhaustively on benchmark networks and empirical networks, finding that it runs up to 700 times faster than LPA. In partitions found by FLPA, we prove that each node is again guaranteed to have most links to its assigned community. Our results show that FLPA is generally preferable to LPA.

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
Hasanbeig, M Kroening, D Abate, A Lecture Notes in Computer Science volume 13479 217-231 (11 Sep 2022)
Automated verification and synthesis of stochastic hybrid systems: A survey
Lavaei, A Soudjani, S Abate, A Zamani, M Automatica volume 146 110617 (Dec 2022)
Lecture banner

Wednesday 2 November, 5 pm, Mathematical Institute, Oxford

A calculator processes numbers without caring that these numbers refer to items in our shopping, or the calculations involved in designing an airplane. Number without context is a remarkable abstraction that we learn as infants and which has profoundly affected our world.

Cooled and relaxed survey propagation for MRFs
Chieu, H Lee, W Teh, Y Advances in Neural Information Processing Systems 20 - Proceedings of the 2007 Conference (01 Jan 2008)
Subscribe to