Thu, 27 Oct 2016
16:00
L6

On Hodge-Tate local systems

Ahmed Abbes
(Institut des Hautes Etudes Scientifiques)
Abstract

I will revisit the theory of Hodge-Tate local systems in the light of the p-adic Simpson correspondence. This is a joint work with Michel Gros.

Thu, 20 Oct 2016
16:00
L6

An Arithmetic Chern-Simons Invariant

Minhyong Kim
(Oxford)
Abstract

Abstract: We will recall some analogies between structures arising from three-manifold topology and rings of integers in number fields. This can be used to define a Chern-Simons functional on spaces of Galois representations.  Some sample computations and elementary applications will be shown.

Thu, 13 Oct 2016
16:00
L6

Representation of integers by binary forms

Stanley Yao Xiao
(Oxford)
Abstract

Let $F$ be a binary form of degree $d \geq 3$ with integer coefficients and non-zero discriminant. In this talk we give an asymptotic formula for the quantity $R_F(Z)$, the number of integers in the interval $[-Z,Z]$ representable by the binary form $F$.

This is joint work with C.L. Stewart.

Wed, 08 Mar 2017
15:00
L5

Long-term security

Johannes Buchmann
(Technische Universitat Darmstadt)
Abstract

The amount of digital data that requires long-term protection 
of integrity, authenticity, and confidentiality protection is steadily 
increasing. Examples are health records and genomic data which may have 
to be kept and protected for 100 years and more. However, current 
security technology does not provide such protection which I consider a 
major challenge. In this talk I report about a storage system that 
achieves the above protection goals in the long-term. It is based on 
information theoretic secure cryptography (both classical and quantum) 
as well as on chains of committments. I discuss its security and present 
a proof-of-concept implementation including an experimental analysis.

Tue, 06 Sep 2016

11:30 - 12:30
L4

A Unified Approach to Bayesian Optimization and Level-Set Estimation

Volkan Cevher
(EPFL)
Abstract

Bayesian optimization (BO) is a powerful tool for sequentially optimizing black-box functions that are expensive to evaluate, and has extensive applications including automatic hyperparameter tuning, environmental monitoring, and robotics. The problem of level-set estimation (LSE) with Gaussian processes is closely related; instead of performing optimization, one seeks to classify the whole domain according to whether the function lies above or below a given threshold, which is also of direct interest in applications.

In this talk, we present a new algorithm, truncated variance reduction (TruVaR) that addresses Bayesian optimization and level-set estimation in a unified fashion. The algorithm greedily shrinks a sum of truncated variances within a set of potential maximizers (BO) or unclassified points (LSE), which is updated based on confidence bounds. TruVaR is effective in several important settings that are typically non-trivial to incorporate into myopic algorithms, including pointwise costs, non-uniform noise, and multi-task settings. We provide a general theoretical guarantee for TruVaR covering these phenomena, and use it to obtain regret bounds for several specific settings. We demonstrate the effectiveness of the algorithm on both synthetic and real-world data sets.

Searches for sterile neutrinos with the IceCube detector
Aartsen, M Abraham, K Ackermann, M Adams, J Aguilar, J Ahlers, M Ahrens, M Altmann, D Andeen, K Anderson, T Ansseau, I Anton, G Archinger, M Argüelles, C Arlen, T Auffenberg, J Axani, S Bai, X Barwick, S Baum, V Bay, R Beatty, J Becker Tjus, J Becker, K BenZvi, S Berghaus, P Berley, D Bernardini, E Bernhard, A Besson, D Binder, G Bindig, D Blaufuss, E Blot, S Boersma, D Bohm, C Börner, M Bos, F Bose, D Böser, S Botner, O Braun, J Brayeur, L Bretz, H Burgman, A Casey, J Casier, M Cheung, E Chirkin, D Christov, A Physical Review Letters volume 117 issue 7 (08 Aug 2016)
Subscribe to