Past

This paper analyzes a generalized class of flat-top realized kernels for

estimation of the quadratic variation spectrum in the presence of a

market microstructure noise component that is allowed to exhibit both

endogenous and exogenous $\alpha$-mixing dependence with polynomially

decaying autocovariances. In the absence of jumps, the class of flat-top

estimators are shown to be consistent, asymptotically unbiased, and

mixed Gaussian with the optimal rate of convergence, $n^{1/4}$. Exact

bounds on lower order terms are obtained using maximal inequalities and

these are used to derive a conservative MSE-optimal flat-top shrinkage.

In a theoretical and/or a numerical comparison with alternative

estimators, including the realized kernel, the two-scale realized

kernel, and a proposed robust pre-averaging estimator, the flat-top

realized kernels are shown to have superior bias reduction properties

with little or no increase in finite sample variance.

{\bf This seminar is at ground floor!}

\\

An important question in geometry and analysis is to know when two $k-$forms

$f$ and $g$ are equivalent. The problem is therefore to find a map $\varphi$

such that%

\[

\varphi^{\ast}\left( g\right) =f.

\]

We will mostly discuss the symplectic case $k=2$ and the case of volume forms

$k=n.$ We will give some results when $3\leq k\leq n-2,$ the case $k=n-1$ will

also be considered.

\\

The results have been obtained in collaboration with S. Bandyopadhyay, G.

Csato and O. Kneuss and can be found, in part, in the book below.\bigskip

\\

\newline

Csato G., Dacorogna B. et Kneuss O., \emph{The pullback equation for

differential forms}, Birkha\"{u}ser, PNLDE Series, New York, \textbf{83} (2012).

This is joint work with Angus Macintyre. We study model-theoretic properties of 
the ring of adeles, the hyperring of adele classes (studied by Connes-Consani), 
and residual hyperfields of valued fields (in the sense of Krasner).

I'll discuss work of Wise and Ollivier-Wise that gives cubulations of certain small cancellation and random groups, which in turn shows that they do not have property (T).

There appears to be no universally accepted rigorous definition of a "flexagon" (although I will try to give a reasonable one in the talk). Examples of flexagons were most likely discovered and rediscovered many times in the past - but they were "officially" discovered in 1939, a serendipitous consequence of the discrepancy between US paper sizes and sensible paper sizes.* I'll describe a couple of the most famous examples of flexagons (with actual models to play with of course), and also introduce some of the more abstract theory of flexagons which has been developed. Feel free to bring your own models of flexagons!

* The views expressed herein are solely those of the speaker, and do not reflect the official position of the Kinderseminar w.r.t. international paper standards. 

The contact angle of a liquid droplet on a surface can be controlled by making the droplet part of a capacitive structure where the droplet contact area forms one electrode to create an electrowetting-on-dielectric (EWOD) configuration [1]. EWOD introduces a capacitive energy associated with the charging of the solid-liquid interface, in addition to the surface free energy, to allow the contact angle, and hence effective hydrophilicity of a surface, to be controlled using a voltage. However, the substrate must include an electrode coated with a thin, and typically hydrophobic, solid insulating layer and the liquid must be conducting, typically a salt solution, and have a direct electrical contact. In this seminar I show that reversible voltage programmed control of droplet wetting of a surface can be achieved using non-conducting dielectric liquids and without direct electrical contact. The approach is based on non-uniform electric fields generated via interdigitated electrodes and liquid dielectrophoresis to alter the energy balance of a droplet on a solid surface (Fig. 1a,b). Data is shown for thick droplets demonstrating the change in the cosine of the contact angle is proportional to the square of the applied voltage and it is shown theoretically why this equation, similar to that found for EWOD can be expected [2]. I also show that as the droplet spreads and becomes a film, the dominant change in surface free energy to be expected occurs by a wrinkling/undulation of the liquid-vapor interface (Fig. 1c) [3,4]. This type of wrinkle is shown to be a method to create a voltage programmable phase grating [5]. Finally, I argue that dielectrowetting can be used to modify the dynamic contact angle observed during droplet spreading and that this is described by a modified form of the Hoffman-de Gennes law for the relationship between edge speed and contact angle. In this dynamic situation, three distinct regimes can be predicted theoretically and are observed experimentally. These correspond to an exponential approach to equilibrium, a pure Tanner’s law type power law and a voltage determined superspreading power law behavior [6]. 

Acknowledgements

GM acknowledges the contributions of colleagues Professor Carl Brown, Dr. Mike Newton, Dr. Gary Wells and Mr Naresh Sampara at Nottingham Trent University who were central to the development of this work. EPSRC funding under grant EP/E063489/1 is also gratefully acknowledged.

References

[1]   F. Mugele and J.C. Baret, “Electrowetting: From basics to applications”, J. Phys.: Condens. Matt., 2005, 17, R705-R774.

[2]  G. McHale, C.V. Brown, M.I. Newton, G.G. Wells and N. Sampara, “Dielectrowetting driven spreading of droplets”, Phys. Rev. Lett., 2011, 107, art. 186101.

[3]  C.V. Brown, W. Al-Shabib, G.G. Wells, G. McHale and M.I. Newton, “Amplitude scaling of a static wrinkle at an oil-air interface created by dielectrophoresis forces”, Appl. Phys. Lett., 2010,  97, art. 242904.

[4]  C.V. Brown, G. McHale and N.J. Mottram, “Analysis of a static wrinkle on the surface of a thin dielectric liquid layer formed by dielectrophoresis forces”, J. Appl. Phys. 2011, 110 art. 024107.

[5]  C.V. Brown, G. G. Wells, M.I. Newton and G. McHale, “Voltage-programmable liquid optical interface”, Nature Photonics, 2009, 3, 403-405.

[6]  C.V. Brown, G. McHale and N. Sampara, “Voltage induced superspreading of droplets”, submitted (2012)

 One of the applications of the study of assymptotics of
homology groups in residually free groups of type FP_m is the calculation
of their analytic betti numbers in dimension up to m.

Exhibitors will be here along with recruiters from different sectors. There will also be panel talks. For further information see http://www.careers.ox.ac.uk/wp-content/uploads/2012/02/JobsForMathemati… and in particular last year brochure for the event at http://www.careers.ox.ac.uk/wp-content/uploads/2012/04/MathsPrintII.pdf

Let $Q_n$ denote the graph of the $n$-dimensional cube with vertex set $\{0, 1\}^n$

in which two vertices are adjacent if they differ in exactly one coordinate.

Suppose $G$ is a subgraph of $Q_n$ with average degree at least $d$. How long a

path can we guarantee to find in $G$?

My aim in this talk is to show that $G$ must contain an exponentially long

path. In fact, if $G$ has minimum degree at least $d$ then $G$ must contain a path

of length $2^d − 1$. Note that this bound is tight, as shown by a $d$-dimensional

subcube of $Q^n$. I hope to give an overview of the proof of this result and to

discuss some generalisations.

I will report my work on rough solutions to Cauchy problem for the Einstein vacuum equations in CMC spacial harmonic gauge, in which we obtain the local well-posedness result in $H^s$, $s$>$2$. The novelty of this approach lies in that, without resorting to the standard paradifferential regularization over the rough, Einstein metric $\bf{g}$, we manage to implement the commuting vector field approach to prove Strichartz estimate for geometric wave equation $\Box_{\bf{g} } \phi=0$ directly. If time allows, I will talk about my work in progress on the sharp results for the more general quasilinear wave equations by vector fields approach.

Balloons are two-dimensional spheres. Hoops are one dimensional loops. Knotted Balloons and Hoops (KBH) in 4-space behave much like the first and second fundamental groups of a topological space - hoops can be composed like in π1, balloons like in π2, and hoops "act" on balloons as π1 acts on π2. We will observe that ordinary knots and tangles in 3-space map into KBH in 4-space and become amalgams of both balloons and hoops.

We give an ansatz for a tree and wheel (that is, free-Lie and cyclic word) -valued invariant ζ of KBHs in terms of the said compositions and action and we explain its relationship with finite type invariants. We speculate that ζ is a complete evaluation of the BF topological quantum field theory in 4D, though we are not sure what that means. We show that a certain "reduction and repackaging" of ζ is an "ultimate Alexander invariant" that contains the Alexander polynomial (multivariable, if you wish), has extremely good composition properties, is evaluated in a topologically meaningful way, and is least-wasteful in a computational sense. If you believe in categorification, that's a wonderful playground.

For further information see http://www.math.toronto.edu/~drorbn/Talks/Oxford-130121/

Abstract: We consider the inverse problem of recovering u from a noisy, indirect observation We adopt a Bayesian approach, in which the aim is to determine the posterior distribution _y on the unknown u, given some prior information about u in the form of a prior distribution _0,together with the observation y. We are interested in the question of posterior consistency, which is the characterization of the behaviour of _y as more data become available. We work in a separable Hilbert space X, assuming a Gaussian prior _0 = N(0; _ 2C0). The theory is developed using two concrete problems: i) a family of linear inverse problems in which we want to _nd u from y where y = A

The models of Brownian motion, Poisson processes, Levy processes and martingales are frequently used as basic formulations of prices in financial market. But probability and/or distribution uncertainties cause serious problems of robustness. Nonlinear expectations (G-Expectations) and the corresponding martingales are useful tools to solve them.

DH common room at 09:45 and from 10:00 in DH12

Let K be a number field and E/K be an elliptic curve. Multiplication by n induces a map from the n^2-Selmer group of E/K to the n-Selmer group. The image of this map contains the image of E(K) in the n-Selmer group and is often smaller. Thus, computing the image of the n^2-Selmer group under multiplication by n can give a tighter bound on the rank of E/K. The Cassels-Tate pairing is a pairing on the n-Selmer group whose kernel is equal to the image of the n^2-Selmer group under multiplication by n. For n=2, Cassels gave an explicit description of the Cassels-Tate pairing as a sum of local pairings and computed the local pairing in terms of the Hilbert symbol. In this talk, I will give a formula for the local Cassels-Tate pairing for n=3 and describe an algorithm to compute it for n an odd prime. This is joint work with Tom Fisher.

The essential information contained in most large data sets is

small when compared to the size of the data set. That is, the

data can be well approximated using relatively few terms in a

suitable transformation. Compressed sensing and matrix completion

show that this simplicity in the data can be exploited to reduce the

number of measurements. For instance, if a vector of length $N$

can be represented exactly using $k$ terms of a known basis

then $2k\log(N/k)$ measurements is typically sufficient to recover

the vector exactly. This can result in dramatic time savings when

k

Algebraic geometry has become the standard language for many number theorists in recent decades. In this talk, we will define modular forms and related objects in the language of modern geometers, thereby giving a geometric motivation for their study. We will ask some naive questions from a purely geometric point of view about these objects, and try to answer them using standard geometric techniques. If time permits, we will discuss some rather deep consequences in number theory of our geometric excursion, and mention open problems in geometry whose solution would have profound consequences in number theory.

We discuss the problem of estimating a structured matrix with a large number of elements. A key motivation for this problem occurs in multi-task learning. In this case, the columns of the matrix correspond to the parameters of different regression or classification tasks, and there is structure due to relations between the tasks. We present a general method to learn the tasks' parameters as well as their structure. Our approach is based on solving a convex optimization problem, involving a data term and a penalty term. We highlight different types of penalty terms which are of practical and theoretical importance. They implement structural relations between the tasks and achieve a sparse representations of parameters. We address computational issues as well as the predictive performance of the method. Finally we discuss how these ideas can be extended to learn non-linear task functions by means of reproducing kernels.

It has been shown that the Auslander-Reiten-quiver of an indecomposable algebra contains a finite component if and only if A is representation finite. Moreover, selfinjective algebras are representation finite if and only if the tree types of the stable components are given by Dynkin Diagrams. I will present similar results for the Auslander-Reiten-quiver of a functorially finite resolving subcategory Ω. We will see that Brauer-Thrall 1 and Brauer-Thrall 1.5 can be proved for these categories with only little extra effort. Furthermore, a connection between sectional paths in A-mod and irreducible morphisms in Ω will be given. Finally, I will show how all finite Auslander-Reiten-quivers of A-mod or Ω are related to Dynkin Diagrams with a notion similar to the tree type that coincides in a finite stable component.

No Seminar this week

We first provide a brief overview of some of the key properties of the space $\textrm{BV}(\Omega;\mathbb{R}^{N})$ of functions of Bounded Variation, and the motivation for its use in the Calculus of Variations. Now consider the variational integral

\[

F(u;\Omega):=\int_{\Omega}f(Du(x))\,\textrm{d} x\,\textrm{,}

\]

where $\Omega\subset\mathbb{R}^{n}$ is open and bounded, and $f\colon\mathbb{R}^{N\times n}\rightarrow\mathbb{R}$ is a continuous function satisfying the growth condition $0\leq f(\xi)\leq L(1+|\xi|^{r})$ for some exponent $r$. When $u\in\textrm{BV}(\Omega;\mathbb{R}^{N})$, we extend the definition of $F(u;\Omega)$ by introducing the functional

\[

\mathscr{F}(u,\Omega):= \inf_{(u_{j})}\bigg\{ \liminf_{j\rightarrow\infty}\int_{\Omega}f(Du_{j})\,\textrm{d} x\, \left|

\!\!\begin{array}{r}

(u_{j})\subset W_{\textrm{loc}}^{1,r}(\Omega, \mathbb{R}^{N}) \\

u_{j} \stackrel{\ast}{\rightharpoonup} u\,\,\textrm{in }\textrm{BV}(\Omega, \mathbb{R}^{N})

\end{array} \right. \bigg\} \,\textrm{.}

\]

\noindent For $r\in [1,\frac{n}{n-1})$, we prove that $\mathscr{F}$ satisfies the lower bound

\[

\mathscr{F}(u,\Omega) \geq \int_{\Omega} f(\nabla u (x))\,\textrm{d} x + \int_{\Omega}f_{\infty} \bigg(\frac{D^{s}u}{|D^{s}u|}\bigg)\,|D^{s}u|\,\textrm{,}

\]

provided $f$ is quasiconvex, and the recession function $f_{\infty}$ ($:= \overline{\lim}_{t\rightarrow\infty}f(t\xi )/t$) is assumed to be finite in certain rank-one directions. This result is a natural extension of work by Ambrosio and Dal Maso, which deals with the case $r=1$; it involves combining work of Kristensen, Braides and Coscia with some new techniques, including a polyhedral approximation result and a blow-up argument that exploits fine properties of BV functions.

I will be looking at some conjectures and theorems closely related to the h-cobordism theorem and will try to show some connections between them and some group theoretic conjectures.

The homological dimension of a group can be computed over any coefficient ring $K$.
It has long been known that if a soluble group has finite homological dimension over $K$
then it has finite Hirsch length and the Hirsch length is an upper bound for the homological
dimension. We conjecture that equality holds: i.e. the homological dimension over $K$ is
equal to the Hirsch length whenever the former is finite. At first glance this conjecture looks
innocent enough. The conjecture is known when $K$ is taken to be the integers or the field
of rational numbers. But there is a gap in the literature regarding finite field coefficients.
We'll take a look at some of the history of this problem and then show how some new near complement
and near supplement theorems for minimax groups can be used to establish the conjecture
in special cases. I will conclude by speculating what may be required to solve the conjecture outright.

We will first review the construction of N =1

supersymmetric Yang-Mills theory in three dimensions. Then we will

construct a superloop space formulation for this super-Yang-Mills

theory in three dimensions.Thus, we will obtain expressions for loop

connection and loop curvature in this superloop space. We will also

show that curvature will vanish, unless there is a monopole in the

spacetime. We will also construct a quantity which will give the

monopole charge in this formalism. Finally, we will show how these

results hold even in case of deformed superspace.

In this talk we show how degree N maps of the form $u_{N}(z) = \frac{z^{N}}{|z|^{N-1}}$ arise naturally as stationary points of functionals like the Dirichlet energy. We go on to show that the $u_{N}$ are minimizers of related variational problems, including one whose associated Euler-Lagrange equation bears a striking resemblance to a system studied by N. Meyers in the 60s, and another where the constraint $\det \nabla u = 1$ a.e. plays a prominent role.

We define a McCool group of G as the group of outer automorphisms of G acting as a conjugation on a given family of subgroups. We will explain that these groups appear naturally in the description of many natural groups of automorphisms. On the other hand, McCool groups of a toral relatively hyperbolic group have strong finiteness properties: they have a finite index subgroup with a finite classifying space. Moreover, they satisfy a chain condition that has several other applications.
This is a joint work with Gilbert Levitt.

• Kiran Singh - Multi-body dynamics in elastocapillary systems
• Graham Morris - Investigating a catalytic mechanism using voltammetry
• Thomas Woolley - Cellular blebs: pressure-driven axisymmetric, membrane protrusions

Problems of packing shapes with maximal density, sometimes into a

container of restricted size, are classical in discrete

mathematics. We describe here the problem of packing a given set of

ellipsoids of different sizes into a finite container, in a way that

allows overlap but that minimizes the maximum overlap between adjacent

ellipsoids. We describe a bilevel optimization algorithm for finding

local solutions of this problem, both the general case and the simpler

special case in which the ellipsoids are spheres. Tools from conic

optimization, especially semidefinite programming, are key to the

algorithm. Finally, we describe the motivating application -

chromosome arrangement in cell nuclei - and compare the computational

results obtained with this approach to experimental observations.

\\

\\

This talk represents joint work with Caroline Uhler (IST Austria).

A refinement of the Pandharipande-Thomas stable pair invariants for local toric Calabi-Yau threefolds is defined by what we call the virtual Bialynicki-Birula decomposition. We propose a product formula for the generating function for the refined stable pair invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local ${\bf P}^1$. I will also describe how the proposed product formula is related to the wall crossing in my first talk. This is joint work with Sheldon Katz and Albrecht Klemm.

We study the birational relationship between the moduli spaces of $\alpha$-stable pairs and the moduli space $M(d,1)$ of stable sheaves on ${\bf P}^2$ with Hilbert polynomial $dm+1$. We explicitly relate them by birational morphisms when $d=4$ and $5$, and we describe the blow-up centers geometrically. As a byproduct, we obtain the Poincare polynomials of the moduli space of stable sheaves, or equivalently the refined BPS index. This is joint work with Kiryong Chung.