One of many overlaps between logic and topology is duality: Stone duality links Boolean algebras with zero-dimensional compact Hausdorff spaces, and gives a useful topological way of describing certain phenomena in first order logic; and there are generalisations that allow one to study infinitary logics also. We will look at a couple of ways in which this duality theory is useful.'
We develop the asymptotic formulas for correlations
\[ \sum_{n\le x}f_1(P_1(n))f_2(P_2(n))\cdot \dots \cdot f_m(P_m(n))\]
where $f_1,\dots,f_m$ are bounded ``pretentious" multiplicative functions, under certain natural hypotheses. We then deduce several desirable consequences: first, we characterize all multiplicative functions $f:\mathbb{N}\to\{-1,+1\}$ with bounded partial sums. This answers a question of Erd{\"o}s from $1957$ in the form conjectured by Tao. Second, we show that if the average of the first divided difference of multiplicative function is zero, then either $f(n)=n^s$ for $\operatorname{Re}(s)<1$ or $|f(n)|$ is small on average. This settles an old conjecture of K\'atai. Third, we discuss applications to the study of sign patterns of $(f(n),f(n+1),f(n+2))$ and $(f(n),f(n+1),f(n+2),f(n+3))$ where $f:\mathbb{N}\to \{-1,1\}$ is a given multiplicative function. If time permits, we discuss multidimensional version of some of the results mentioned above.
We introduce sufficient conditions for the solution of a multi-dimensional, Markovian BSDE to have a density. We show that a system of BSDEs possesses a density if its corresponding semilinear PDE exhibits certain regularity properties, which we verify in the case of several examples.
In the first part of the talk, I will describe a fluid-dynamical model for a "anti-surfactant" solution (such as salt dissolved in water) whose surface tension is an increasing function of bulk solvent concentration. In particular, I will show that this model is consistent with the standard model for surfactants, and predicts a novel instability for anti-surfactants not present for surfactants. Some further details are given in the recent paper by Conn et al. Phys. Rev. E 93 043121 (2016).
In the second part of the talk, I will formulate and analyse the governing equations for the flow of a thixotropic or antithixotropic fluid in a slowly varying channel. These equations are equivalent to the equations of classical lubrication theory for a Newtonian fluid, but incorporate the evolving microstructure of the fluid, described in terms of a scalar structure parameter. If time permits, I will seek draw some conclusions relevant to thixotropic flow in porous media. Some further details are given in the forthcoming paper by Pritchard et al. to appear in J Non-Newt. Fluid Mech (2016).
Most current methods of Magnetic Resonance Imaging (MRI) reconstruction interpret raw signal values as samples of the Fourier transform of the object. Although this is computationally convenient, it neglects relaxation and off–resonance evolution in phase, both of which can occur to significant extent during a typical MRI signal. A more accurate model, known as Parameter Assessment by Recovery from Signal Encoding (PARSE), takes the time evolution of the signal into consideration. This model uses three parameters that depend on tissue properties: transverse magnetization, signal decay rate, and frequency offset from resonance. Two difficulties in recovering an image using this model are the low SNR for long acquisition times in single-shot MRI, and the nonlinear dependence of the signal on the decay rate and frequency offset. In this talk, we address the latter issue by using a second order approximation of the original PARSE model. The linearized model can be solved using convex optimization augmented with well-stablished regularization techniques such as total variation. The sensitivity of the parameters to noise and computational challenges associated with this approximation will be discussed.
In this talk, we will explain how the counting theorems of Pila and Wilkie lead to a conditional proof of the aforementioned conjecture. In particular, we will explain how to generalise the work of Habegger and Pila on a product of modular curves.
Habegger and Pila were able to prove that the Zilber-Pink conjecture holds in such a product if the so-called weak complex Ax and large Galois orbits conjectures are true. In fact, around the same time, Pila and Tsimerman proved a stronger statement than the weak complex Ax conjecture, namely, the Ax-Schanuel conjecture for the $j$-function. We will formulate Ax-Schanuel and large Galois orbits conjectures for general Shimura varieties and attempt to imitate the Habegger-Pila strategy. However, we will encounter an additional difficulty in bounding the height of a pre-special subvariety.
This is joint work with Jinbo Ren.
Commitment schemes are a fundamental primitive in cryptography. Their security (more precisely the computational binding property) is closely tied to the notion of collision-resistance of hash functions. Classical definitions of binding and collision-resistance turn out too be weaker than expected when used in the quantum setting. We present strengthened notions (collapse-binding commitments and collapsing hash functions), explain why they are "better", and show how they be realized under standard assumptions.
I will try to give a brief description of the use of group theory and character theory in chemistry, specifically vibrational spectroscopy. Defining the group associated to a molecule, how one would construct a representation corresponding to such a molecule and the character table associated to this. Then, time permitting, I will go in to the deconstruction of the data from spectroscopy; finding such a group and hence molecule structure.
I'll discuss recent joint work with Arend Bayer and Ziyu Zhang in which we define a nef divisor class on moduli spaces of Bridgeland-stable objects in the derived category of coherent sheaves with compact support, generalising earlier work of Bayer and Macri for smooth projective varieties. This work forms part of a programme to study the birational geometry of moduli spaces of Bridgeland-stable objects in the derived category of varieties that need not be smooth and projective.
Given vectors $V = (v_i: i \in [n]) \in R^D$, we define the $V$-intersection of $A,B \subset [n]$ to be the vector $\sum_{i \in A \cap B} v_i$. In this talk, I will discuss a new, essentially optimal, supersaturation theorem for $V$-intersections, which can be roughly stated as saying that any large family of sets contains many pairs $(A,B)$ with $V$-intersection $w$, for a wide range of $V$ and $w$. A famous theorem of Frankl and Rödl corresponds to the case $D=1$ and all $v_i=1$ of our theorem. The case $D=2$ and $v_i=(1,i)$ solves a conjecture of Kalai.
Joint work with Peter Keevash.
Consider the problem of identifying an unknown subspace S from data with erasures and with limited memory available. To estimate S, suppose we group the measurements into blocks and iteratively update our estimate of S with each new block.
In the first part of this talk, we will discuss why estimating S by computing the "running average" of span of these blocks fails in general. Based on the lessons learned, we then propose SNIPE for memory-limited PCA with incomplete data, useful also for streaming data applications. SNIPE provably converges (linearly) to the true subspace, in the absence of noise and given sufficient measurements, and shows excellent performance in simulations. This is joint work with Laura Balzano and Mike Wakin.
For a group algebra over a self-injective ring
there are two stable categories: the usual one modulo projectives
and a relative one where one works modulo representations
which are free over the coefficient ring.
I'll describe the connection between these two stable categories,
which are "birational" in an appropriate sense.
I'll then make some comments on the specific case
where the coefficient ring is Z/nZ and give a more
precise description of the relative stable category.
In the first meeting of the seminar we, and all participants who wish to do so, will each briefly introduce ourselves and our research interests. We will decide future talks and papers to read during this meeting.
The talk will review the origins
of ambitwistor strings, and recent progress in extending them to a
wider variety of theories and loop amplitudes.
The (Danish-born) German mathematician Olaus Henrici (1840–1918) studied in Karlsruhe, Heidelberg and Berlin before making his career in London, first at University College and then, from 1884, at the newly formed Central Technical College where he established a Laboratory of Mechanics. Although Henrici’s original training was as an engineer, he became known as a promoter of projective geometry and as an advocate for the use of mathematical models. In my talk, I shall discuss the different aspects of Henrici's work and explore connections between them.
We find exact solutions of Maxwell's equations that are the precise analog of plane waves, but in the case that the translation group is replaced by the Abelian helical group. These waves display constructive/destructive interference with helical atomic structures, in the same way that plane waves interact with crystals. We show how the resulting far-field pattern can be used for structure determination. We test the method by doing theoretical structure determination on the Pf1 virus from the Protein Data Bank. The underlying mathematical idea is that the structure is the orbit of a group, and this group is a subgroup of the invariance group of the differential equations. Joint work with Dominik Juestel and Gero Friesecke. (Acta Crystallographica A72 and SIAM J. Appl Math).
(Joint work with Marco Golla and József Bodnár)
We will give a general overview of the plethora of concordance invariants which can be extracted from Ozsváth-Szabó-Rasmussen's knot Floer homology.
We will then focus on the $\nu^+$ invariant and prove some of its useful properties.
Furthermore we will show how it can be used to obstruct the existence of cobordisms between algebraic knots.
One of the central results in rough path theory is the local Lipschitz continuity of the solution map of a controlled differential equation called Ito-Lyons map. This continuity statement was obtained by T. Lyons in a q-variation resp. 1/q-Hölder type (rough path) metrics for any regularity 1/q>0. We extend this to a new class of Besov-Nikolskii type metrics with arbitrary regularity 1/q and integrability p, which particularly covers the aforementioned results as special cases. This talk is based on a joint work with Peter K. Friz.
Title: Integrals and symplectic forms on infinitesimal quotients
Abstract: Lie algebroids are models for "infinitesimal actions" on manifolds: examples include Lie algebra actions, singular foliations, and Poisson brackets. Typically, the orbit space of such an action is highly singular and non-Hausdorff (a stack), but good algebraic techniques have been developed for studying its geometry. In particular, the orbit space has a formal tangent complex, so that it makes sense to talk about differential forms. I will explain how this perspective sheds light on the differential geometry of shifted symplectic structures, and unifies a number of classical cohomological localization theorems. The talk is
based mostly on joint work with Pavel Safronov.