Tue, 03 Jun 2014

14:00 - 14:30
L5

Equilibrium in Electricity Markets

Miha Troha
(University of Oxford)
Abstract

Abstract: We propose a term structure power price model that, in contrast to widely accepted no-arbitrage based approaches, accounts for the non-storable nature of power. It belongs to a class of equilibrium game theoretic models with players divided into producers and consumers. Consumers' goal is to maximize a mean-variance utility function subject to satisfying inelastic demand of their own clients (e.g households, businesses etc.) to whom they sell the power on. Producers, who own a portfolio of power plants each defined by a running fuel (e.g. gas, coal, oil...) and physical characteristics (e.g. efficiency, capacity, ramp up/down times, startup costs...), would, similarly, like to maximize a mean-variance utility function consisting of power, fuel, and emission prices subject to production constraints. Our goal is to determine the term structure of the power price at which production matches consumption. In this talk we outline that such a price exists and develop conditions under which it is also unique. Under condition of existence, we propose a tractable quadratic programming formulation for finding the equilibrium term structure of the power price. Numerical results show performance of the algorithm when modeling the whole system of UK power plants.

Tue, 13 May 2014

14:30 - 15:00
L5

A closest point penalty method for evolution equations on surfaces.

Ingrid von Glehn
(University of Oxford)
Abstract

Partial differential equations defined on surfaces appear in various applications, for example image processing and reconstruction of non-planar images. In this talk, I will present a penalty method for evolution equations, based on an implicit representation of the surface. I will derive a simple equation in the surrounding space, formulated with an extension operator, and then show some analysis and applications of the method.

Tue, 13 May 2014

14:00 - 14:30
L5

A theorem on the approximation of discontinuous functions

Iain Smears
(University of Oxford)
Abstract

Several problems lead to the question of how well can a fine grid function be approximated by a coarse grid function, such as preconditioning in finite element methods or data compression and image processing. Particular challenges in answering this question arise when the functions may be only piecewise-continuous, or when the coarse space is not nested in the fine space. In this talk, we solve the problem by using a stable approximation from a space of globally smooth functions as an intermediate step, thereby allowing the use of known approximation results to establish the approximability by a coarse space. We outline the proof, which relies on techniques from the theory of discontinuous Galerkin methods and on the theory of Helmholtz decompositions. Finally, we present an application of our to nonoverlapping domain decomposition preconditioners for hp-version DGFEM.

Tue, 13 May 2014 13:00 -
Wed, 14 May 2014 14:00
C4

Making Exact Bayesian Inference on Cox Processes

Yves-Lauren Kom Samo
(University of Oxford)
Abstract

Cox processes arise as a natural extension of inhomogeneous Poisson Processes, when the intensity function itself is taken to be stochastic. In multiple applications one is often concerned with characterizing the posterior distribution over the intensity process (given some observed data). Markov Chain Monte Carlo methods have historically been successful at such tasks. However, direct methods are doubly intractable, especially when the intensity process takes values in a space of continuous functions.

In this talk I'll be presenting a method to overcome this intractability that is based on the idea of "thinning" and that does not resort to approximations.

Mon, 09 Jun 2014

16:00 - 17:00
C5

Intersections of progressions and spheres

Sean Eberhard
(University of Oxford)
Abstract

We state a conjecture about the size of the intersection between a bounded-rank progression and a sphere, and we prove the first interesting case, a result of Chang. Hopefully the full conjecture will be obvious to somebody present.

Mon, 26 May 2014

16:00 - 17:00
C5

An attempt to find the optimal constant in Balog-Szemeredi-Gowers theorem.

Przemysław Mazur
(University of Oxford)
Abstract

The Balog-Szemeredi-Gowers theorem states that, given any finite subset of an abelian group with large additive energy, we can find its large subset with small doubling constant. We can ask how this constant depends on the initial additive energy. In the talk, I will give an upper bound, mention the best existing lower bound and, if time permits, present an approach that gives a hope to improve the lower bound and make it asymptotically equal to the upper bound from the beginning of the talk.

Mon, 12 May 2014

16:00 - 17:00
C5

TBA

Frederick Manners
(University of Oxford)
Mon, 05 May 2014

16:00 - 17:00
C5

How common are solutions to equations?

Simon Myerson
(University of Oxford)
Abstract

Let $F \in \mathbb{Z}[x_1,\ldots,x_n]$. Suppose $F(\mathbf{x})=0$ has infinitely many integer solutions $\mathbf{x} \in \mathbb{Z}^n$. Roughly how common should be expect the solutions to be? I will tell you what your naive first guess ought to be, give a one-line reason why, and discuss the reasons why this first guess might be wrong.

I then will apply these ideas to explain the intriguing parallels between the handling of the Brauer-Manin obstruction by Heath-Brown/Skorobogotov [doi:10.1007/BF02392841] on the one hand and Wei/Xu [arXiv:1211.2286] on the other, despite the very different methods involved in each case.

Thu, 01 May 2014

14:00 - 16:00
L4

The geometric Langlands conjecture

Dario Baraldo
(University of Oxford)
Abstract
In the first meeting of this reading group, I will begin with an overview of the statement of the geometric Langlands conjecture. Then, following Arinkin and Gaitsgory, I will outline a strategy of the proof in the case of GL_n. Some ingredients of the proof are direct translations of number theoretic constructions, while others are specific to the geometric situation. No prior familiarity with the subject is assumed. However, a number of technical tools is necessary for both the statement and the proof; in this talk I intend to list these tools (to be explained in future talks) and motivate why they are essential.
Subscribe to University of Oxford