Past

By using Malliavin calculus, Bismut type formulas are established for the Lions derivative of , where  0,  is a bounded measurable function,  and  solves a distribution dependent SDE with initial distribution . As applications, explicit estimates are derived for the Lions derivative and the total variational distance between distributions of   solutions with different initial data. Both degenerate and non-degenerate situations are considered. Due to the lack of the semi-group property  and the invalidity of the formula =  , essential difficulties are overcome in the study.

Joint work with Professor Feng-Yu Wang

In recent joint work with Lorenzo Foscolo and Johannes Nordstr\”om we gave an analytic construction of large families of complete circle-invariant $G_2$
holonomy metrics on the total space of circle bundles over a complete noncompact Calabi—Yau 3-fold with asymptotically conical geometry. The
asymptotic models for the geometry of these $G_2$ metrics are circle bundles with fibres of constant length $l$, so-called asymptotically local conical
(ALC) geometry. These ALC $G_2$ metrics can Gromov—Hausdorff collapse with bounded curvature to the given asymptotically conical Calabi—Yau 3-fold as the fibre length $l$ goes to $0$. A natural question is: what happens to these families of $G_2$ metrics as we try to make $l$ large? In general the answer to this question is not known, but in cases with sufficient symmetry we have recently been able to give a complete picture.  

We give an overview of all these results and discuss some analogies with the class of asymptotically locally flat (ALF) hyperkaehler 4-manifolds. In
particular we suggest that a particular $G_2$ metric we construct should be regarded as a $G_2$ analogue of the Euclidean Taub—NUT metric on the complex plane.

Our meeting will be a relaxed opportunity to have informal discussions about issues facing minorities in academia and mathematics over lunch. In particular, if anyone would like to suggest a topic to start a discussion about (either in advance or on the day) then please feel free to do this, and it could be a spring board for organised sessions on the same topics in future terms!

Higgs bundles are pairs of holomorphic vector bundles and holomorphic 1-forms taking values in the endomorphisms of the bundle. Their moduli spaces carry a natural Hyperkahler structure, through which one can study Lagrangian subspaces (A-branes) or holomorphic subspaces (B-branes). Notably, these A and B-branes have gained significant attention in string theory. After introducing Higgs bundles and the associated Hitchin fibration, we shall look at  natural constructions of families of different types of branes, and relate these spaces to the study of 3-manifolds, surface group representations and mirror symmetry.

Plumes are a characteristic feature of convective flow through porous media. Their dynamics are an important part of numerous geological processes, ranging from mixing in magma chambers to the convective dissolution of sequestered carbon dioxide. In this talk, I will discuss models for the spread of convective plumes in a heterogeneous porous environment. I will focus particularly on the effect of thin, roughly horizontal, low-permeability barriers to flow, which provide a generic form of heterogeneity in geological settings, and are a particularly widespread feature of sedimentary formations. With the aid of high-resolution numerical simulations, I will explore how a plume spreads and flows in the presence of one or more of these layers, and will briefly consider the implications of these findings in physical settings.

In this interactive workshop, we'll discuss what mathematicians are looking for in written solutions.  How can you set out your ideas clearly, and what are the standard mathematical conventions?  Please bring a pen or pencil! 

This session is likely to be most relevant for first-year undergraduates, but all are welcome.

Transdifferentiation, the process of converting from one cell type to another without going through a pluripotent state, has great promise for regenerative medicine. The identification of key transcription factors for reprogramming is limited by the cost of exhaustive experimental testing of plausible sets of factors, an approach that is inefficient and unscalable. We developed a predictive system (Mogrify) that combines gene expression data with regulatory network information to predict the reprogramming factors necessary to induce cell conversion. We have applied Mogrify to 173 human cell types and 134 tissues, defining an atlas of cellular reprogramming. Mogrify correctly predicts the transcription factors used in known transdifferentiations. Furthermore, we validated several new transdifferentiations predicted by Mogrify, including both into and out of the same cell type (keratinocytes). We provide a practical and efficient mechanism for systematically implementing novel cell conversions, facilitating the generalization of reprogramming of human cells. Predictions are made available via http://mogrify.net to help rapidly further the field of cell conversion.

At first glance the Interdistrict shipping problem resembles a transportation problem.  N sources with M destinations with k Stock keeping units (SKU’s); however, we want to solve for the optimal shipping frequency between each node while determining the flow of each SKU across the network.  As the replenishment quantity goes up, the shipping frequency goes down and the inventory holding cost goes up (AWI = Replenishment Qty/2 + SS).  Safety stock also increases as frequency decreases.  The relationship between replenishment quantity and shipping frequency is non-linear (frequency = annual demand/replenishment qty).  The trucks which are used to transfer the product have finite capacity and the cost to drive the truck between 2 locations is constant regardless of how many containers are actually on the truck up to the max capacity.  Each product can have a different footprint of truck capacity.  Cross docking is allowed.  (i.e. a truck may travel from Loc A to loc B carrying products X and Y.  At loc B, the truck unloads product X, picks up product Z, and continues to location C.  The key here is that product Y does not incur any handling costs at Loc B while products X and Z do.)

The objective function seeks to minimize the total costs ( distribution + handling + inventory holding costs)  for all locations, for all SKU’s, while determining how much of each product should flow across each arc such that all demand is satisfied.

We will see some results and conjectures on the zeta and multizeta values in the function field context, and see how they relate to homological-homotopical objects, such as t-motives, iterated extensions, and to Hopf algebras, big Galois representations.

In this talk, I will present an incomplete equilibrium model to determine the price of an annuity.  A finite number of agents receive stochastic income streams and choose between consumption and investment in the traded annuity.  The novelty of this model is its ability to handle running consumption and general income streams.  In particular, the model incorporates mean reverting income, which is empirically relevant but historically too intractable in equilibrium.  The model is set in a Brownian framework, and equilibrium is characterized and proven to exist using a system of fully coupled quadratic BSDEs.  This work is joint with Gordan Zitkovic.

Conical symplectic resolutions are one of the main objects in the contemporary mix of algebraic geometry and representation theory, 

known as geometric representation theory. They cover many interesting families of objects such as quiver varieties and hypertoric

varieties, and some simpler such as Springer resolutions. The last findings [Braverman, Finkelberg, Nakajima] say that they arise

as Higgs/Coulomb moduli spaces, coming from physics. Most of the gadgets attached to conical symplectic resolutions are rather

algebraic, such as their quatizations and $\mathcal{O}$-categories. We are rather interested in the symplectic topology of them, in particular 

finding smooth exact Lagrangians that appear in the central fiber of the (defining) resolution, as they are objects of the Fukaya category.

Many types of patterns emerging spontaneously can be observed in systems involving thin elastic plates and subjected to external or internal stresses (compression, differential growth, shearing, tearing, etc.). These mechanical systems can sometime be seen as model systems for more complex natural systems and allow to study in detail elementary emerging patterns. One of the simplest among such systems is a bilayer composed of a thin plate resting on a thick deformable substrate. Upon slight compression, periodic undulations (wrinkles) with a well-defined wavelength emerge at the level of the thin layer. We will show that, as the compression increases, this periodic state is unstable and that a second order transition to a localized state (fold) occurs when the substrate is a dense fluid.

Since the legendary 1972 encounter of H. Montgomery and F. Dyson at tea time in Princeton, a statistical correspondence of the non-trivial zeros of the Riemann Zeta function with eigenvalues of high-dimensional random matrices has emerged. Surrounded by many deep conjectures, there is a striking analogyto the energy levels of a quantum billiard system with chaotic dynamics. Thanks 
to extensive calculation of Riemann zeros by A. Odlyzko, overwhelming numerical evidence has been found for the quantum analogy. The statistical accuracy provided by an enormous dataset of more than one billion zeros reveals distinctive finite size effects. Using the physical analogy, a precise prediction of these effects was recently accomplished through the numerical evaluation of operator determinants and their perturbation series (joint work with P. Forrester and A. Mays, Melbourne).
 

We will consider an extension of the Eisenberg-Noe model of financial contagion to allow for time dynamics in both discrete and continuous time. Mathematical results on existence and uniqueness of firm wealths under discrete and continuous-time will be provided. The financial implications of time dynamics will be considered, with focus on how the dynamic clearing solutions differ from those of the static Eisenberg-Noe model.
 

In this talk I will present the recent developments in the topic of existence of solutions to the two-fluid systems. I will discuss the application of approach developed by P.-L. Lions and E. Feireisl and explain the limitations of this technique in the context of multi-component flow models. A particular example of such a model is two-fluids Stokes system with single velocity field and two densities, and with an algebraic pressure law closure. The existence result that uses the compactness criterion introduced for the Navier-Stokes system by D. Bresch and P.-E. Jabin will be presented. I will also mention an innovative construction of solutions relying on the G. Crippa and C. DeLellis stability estimates for the transport equation.

Graph products are a class of groups that 'interpolate' between direct and free products, and generalise the notion of right-angled Artin groups. Given a property that free products (and maybe direct products) are known to satisfy, a natural question arises: do graph products satisfy this property? For instance, it is known that graph products act on tree-like spaces (quasi-trees) in a nice way (acylindrically), just like free products. In the talk we will discuss a construction of such an action and, if time permits, its relation to solving systems of equations over graph products.

In this talk, we shall introduce various identities among partitions of integers, and how these can be expressed via formal power series. In particular, we shall look at the Rogers Ramanujan identities of power series, and discuss possible combinatorial proofs using partitions and Durfree squares.

This is a survey on recent advances in classical decidability issues for local and global fields and for some canonical infinite extensions of those.

In this informal talk, I describe the kinds of functions relevant to scattering amplitudes in perturbative, four-dimensional quantum field theories. In particular, I will argue that generic amplitudes are non-polylogarithmic (beyond one loop), but that there is an upper bound to their geometric complexity. Moreover, I show a veritable `bestiary' of examples which saturate this bound in complexity---including three, all-loop families of integrals defined in massless $\phi^4$ theory which can, at best, be represented as dilogarithms integrated over (2L-2)-dimensional Calabi-Yau manifolds. 

This work deals with exploiting the low-dimensional hierarchical structure of speech signals towards the  goal  of  improving  acoustic  modelling using deep neural networks (DNN).  To this aim the work employ tools from sparsity aware signal processing under novel frameworks to enrich  the  acoustic  information  present  in  DNN posterior features. 

We will discuss some recent results with Martin Bridson about 
Sidki's construction X(G). In particular, if G is a finitely presented
group then X(G) is a finitely presented group. We will discuss as well the
result that if G has polynomial isoperimetric function and the maximal
metabelian quotient of G is virtually nilpotent then X(G) has polynomial
isoperimetric function. Part of the arguments we will use have homological
nature.

Convex and in particular semidefinite relaxations (SDP) for non-convex continuous quadratic optimisation can provide tighter bounds than traditional linear relaxations. However, using SDP relaxations directly in Branch&Cut is impeded by lack of warm starting and inefficiency when combined with other cut classes, i.e. the reformulation-linearization technique. We present a general framework based on machine learning for a strong linear outer-approximation that can retain most tightness of such SDP relaxations, in the form of few strong low dimensional linear cuts selected offline. The cut selection complexity is taken offline by using a neural network estimator (trained before installing solver software) as a selection device for the strongest cuts. Lastly, we present results of our method on QP/QCQP problem instances.

Recovery of reaction pathways under the DCSC framework.

Graphs are a central object of study in various scientific fields, such as discrete mathematics, theoretical computer science and network science. These graphs are typically studied using combinatorial, algebraic or probabilistic methods, each of which highlights the properties of graphs in a unique way. I will discuss a novel approach to study graphs: the simplex geometry (a simplex is a generalized triangle). This perspective, proposed by Miroslav Fiedler, introduces techniques from (simplex) geometry into the field of graph theory and conversely, via an exact correspondence. We introduce the graph-simplex correspondence, identify a number of basic connections between graph characteristics and simplex properties, and suggest some applications as example.

Reference: https://arxiv.org/abs/1807.06475
 

The study of isolated systems has been vastly successful in the context of vanishing cosmological constant, Λ=0. However, there is no physically useful notion of asymptotics for the universe we inhabit with Λ>0.  The full non-linear framework is still under development, but some interesting results at the linearized level have been obtained. I will focus on the conceptual subtleties that arise at the linearized level and discuss the quadrupole formula for gravitational radiation as well as some recent developments.  

A particularly active area of research in modern algebraic number theory is the study of a class of numbers, called periods. In their simplest form, periods are integrals of rational functions over domains defined by rational in equations. They form a ring, which encompasses all algebraic numbers, logarithms thereof and \pi. They arise in the study of modular forms, cohomology and quantum field theory, and conjecturally have a sort of Galois theory.

We will take a whirlwind tour of these numbers, before discussing non-periods. In particular, we will sketch the construction of an explicit non-period, often forgotten about.

We analyse under which conditions equilibration between two competing effects, repulsion modelled by nonlinear diffusion and attraction modelled by nonlocal interaction, occurs. I will discuss several regimes that appear in aggregation diffusion problems with homogeneous kernels. I will first concentrate in the fair competition case distinguishing among porous medium like cases and fast diffusion like ones. I will discuss the main qualitative properties in terms of stationary states and minimizers of the free energies. In particular, all the porous medium cases are critical while the fast diffusion are not. In the second part, I will discuss the diffusion dominated case in which this balance leads to continuous compactly supported radially decreasing equilibrium configurations for all masses. All stationary states with suitable regularity are shown to be radially symmetric by means of continuous Steiner symmetrisation techniques. Calculus of variations tools allow us to show the existence of global minimizers among these equilibria. Finally, in the particular case of Newtonian interaction in two dimensions they lead to uniqueness of equilibria for any given mass up to translation and to the convergence of solutions of the associated nonlinear aggregation-diffusion equations towards this unique equilibrium profile up to translations as time tends to infinity. This talk is based on works in collaboration with S. Hittmeir, B. Volzone and Y. Yao and with V. Calvez and F. Hoffmann.

If k is a field of characteristic zero, a theorem of Lurie and Pridham establishes an equivalence between formal moduli problems and differential graded Lie algebras over k. We generalise this equivalence in two different ways to arbitrary ground fields by using “partition Lie algebras”. These mysterious new gadgets are intimately related to the genuine equivariant topology of the partition complex, which allows us to access the operations acting on their homotopy groups (relying on earlier work of Dyer-Lashof, Priddy, Goerss, and Arone-B.). This is joint work with Mathew.

Unlike standard bivariate diffusion models, the rough Bergomi model by Bayer, Friz, and Gatheral (2016) allows to parsimoniously recover key stylized facts of market implied volatility surfaces such as the exploding power-law behaviour of the at-the-money volatility skew as time to maturity goes to zero. However, falling into the class of so-called rough stochastic volatility models sparked by Alo`s, Leo ́n, and Vives (2007); Fukasawa (2011, 2017); Gatheral, Jaisson, and Rosenbaum (2018), its non-Markovianity poses serious mathematical and computational challenges. To date, calibrating rough Bergomi remained prohibitively expensive since standard calibration routines rely on the repetitive evaluation of the map from model parameters to Black-Scholes implied volatility, which in the case of rough Bergomi involves a costly Monte Carlo simulation (Bennedsen, Lunde, & Pakkanen, 2017; McCrickerd & Pakkanen, 2018; Bayer et al., 2016; Horvath, Jacquier, & Muguruza, 2017). In this paper, we resolve the issue by combining a standard Levenberg-Marquardt calibration routine with a neural network regression, replacing expensive MC simulations with cheap forward runs of a network trained to approximate the implied volatility map. Some numerical results show the prowess of this approach.

TBC

In this talk, we consider the question of exact (boundary) controllability of wave equations: whether one can steer their solutions from any initial state to any final state using appropriate boundary data. In particular, we discuss new and fully general results for linear wave equations on time-dependent domains with moving boundaries. We also discuss the novel geometric Carleman estimates that are the main tools for proving these controllability results

The meeting on Monday 15th October will be on Impostor Syndrome. In this meeting we will discuss what impostor syndrome is, what might be the causes of it, and some advice for people who are struggling with it. For anyone who wants to read up on what it is and some different types of impostor syndrome in advance, we recommend this blog post: https://www.themuse.com/advice/5-different-types-of-imposter-syndrome-a…. If you have a smart phone or tablet that you can bring with you, we encourage you to, as we will have some anonymous voting, and the more of you that can join in, the better!

We hope to see many of you there again: Quillen Room (N3.12), Monday 1-2pm.

Superstring scattering amplitudes in genus one have a low-energy expansion in terms of certain real analytic modular forms, called modular graph functions (D'Hoger, Green, Gürdogan and Vanhove). I will sketch the proof that these functions belong to a family of iterated integrals of modular forms (a generalization of Eichler integrals), recently introduced by Francis Brown, which explains many of their properties. The main tools are elliptic multiple polylogarithms (Brown and Levin), single-valued versions thereof, and elliptic multiple zeta values (Enriquez).

Consider a network of agents connected by communication links, where each agent holds a real value. The gossip problem consists in estimating the average of the values diffused in the network in a distributed manner. Current techniques for gossiping are designed to deal with worst-case scenarios, which is irrelevant in applications to distributed statistical learning and denoising in sensor networks. We design second-order gossip methods tailor-made for the case where the real values are i.i.d. samples from the same distribution. In some regular network structures, we are able to prove optimality of our methods, and simulations suggest that they are efficient in a wide range of random networks. Our approach of gossip stems from a new acceleration framework using the family of orthogonal polynomials with respect to the spectral measure of the network graph (joint work with Raphaël Berthier, and Pierre Gaillard).

What should you expect in intercollegiate classes?  What can you do to get the most out of them?  In this session, experienced class tutors will share their thoughts, and a current student will offer tips and advice based on their experience.  

All undergraduate and masters students welcome, especially Part B and MSc students attending intercollegiate classes. (Students who attended the Part C/OMMS induction event will find significant overlap between the advice offered there and this session!)
 

In 1927 Polya proved that the Riemann Hypothesis is equivalent to the hyperbolicity of Jensen polynomials for Riemann’s Xi-function. This hyperbolicity has only been proved for degrees d=1, 2, 3. For each d we prove the hyperbolicity of all but (perhaps) finitely many Jensen polynomials. We obtain a general theorem which models such polynomials by Hermite polynomials. This theorem also allows us to prove a conjecture of Chen, Jia, and Wang on the partition function. This result can be thought of as a proof of GUE for the Riemann zeta function in derivative aspect. This is joint work with Michael Griffin, Larry Rolen, and Don Zagier.
 

In my talk I will briefly introduce model-free approach to mathematical finance, which uses Vovk's outer measure. Then, using pathwise BDG inequality obtained by Beigbloeck and Siorpaes and modification of Vovk's measure, I will present and prove a model-free version of this inequality for continuous price paths. Finally, I will discuss possible applications, like the existence and uniqueness of solutions of SDEs driven by continuous, model-free price paths. The talk will be based on the joint work with Farai Mhlanga and Lesiba Galane (University of Limpopo, South Africa)

The desire to “freely suspend the constituents of matter” in order to study their behavior can be traced back over 200 years to the diaries of Lichtenberg. From radio-frequency ion traps to optical tweezing of colloidal particles, existing methods to trap matter in free space or solution rely on the use of external fields that often strongly perturb the integrity of a macromolecule in solution. We recently introduced the ‘electrostatic fluidic trap’, an approach that exploits equilibrium thermodynamics to realise stable, non-destructive confinement of single macromolecules in room temperature fluids, and represents a paradigm shift in a nearly century-old field. The spatio-temporal dynamics of a single electrostatically trapped object reveals fundamental information on its properties, e.g., size and electrical charge. We have demonstrated the ability to measure the electrical charge of a single macromolecule in solution with a precision much better than a single elementary charge. Since the electrical charge of a macromolecule in solution is in turn a strong function of its 3D conformation, our approach enables for the first time precise, general measurements of the relationship between 3D structure and electrical charge of a single macromolecule, in real time. I will present our most recent advances in this emerging area of molecular measurement and show how such high-precision measurement at the nanoscale may be able to unveil the presence of previously unexpected phenomena in intermolecular interactions in solution.

The present work concerns the approximation of the solution map associated to the parametric Helmholtz boundary value problem, i.e., the map which associates to each (real) wavenumber belonging to a given interval of interest the corresponding solution of the Helmholtz equation. We introduce a single-point Least Squares (LS) rational Padé-type approximation technique applicable to any meromorphic Hilbert space-valued univariate map, and we prove the uniform convergence of the Padé approximation error on any compact subset of the interval of interest that excludes any pole. We also present a simplified and more efficient version, named Fast LS-Padé, applicable to Helmholtz-type parametric equations with normal operators.

The LS-Padé techniques are then employed to approximate the frequency response map associated to various parametric time-harmonic wave problems, namely, a transmission/reflection problem, a scattering problem and a problem in high-frequency regime. In all cases we establish the meromorphy of the frequency response map. The Helmholtz equation with stochastic wavenumber is also considered. In particular, for Lipschitz functionals of the solution, and their corresponding probability measures, we establish weak convergence of the measure derived from the LS-Padé approximant to the true one. Two-dimensioanl numerical tests are performed, which confirm the effectiveness of the approximation method.As of the dates

 Joint work with: Francesca Bonizzoni and  Ilaria Perugia (Uni. Vienna), Davide Pradovera (EPFL)

Novel machine learning techniques based on deep learning, i.e., the data-driven manipulation of neural networks, have reported remarkable results in many areas such as image classification, game intelligence, or speech recognition. Driven by these successes, many scholars have started using them in areas which do not focus on traditional machine learning tasks. For instance, more and more researchers are employing neural networks to develop tools for the discretisation and solution of partial differential equations. Two reasons can be identified to be the driving forces behind the increased interest in neural networks in the area of the numerical analysis of PDEs. On the one hand, powerful approximation theoretical results have been established which demonstrate that neural networks can represent functions from the most relevant function classes with a minimal number of parameters. On the other hand, highly efficient machine learning techniques for the training of these networks are now available and can be used as a black box. In this talk, we will give an overview of some approaches towards the numerical treatment of PDEs with neural networks and study the two aspects above. We will recall some classical and some novel approximation theoretical results and tie these results to PDE discretisation. Afterwards, providing a counterpoint, we analyse the structure of network spaces and deduce considerable problems for the black box solver. In particular, we will identify a number of structural properties of the set of neural networks that render optimisation over this set especially challenging and sometimes impossible. The talk is based on joint work with Helmut Bölcskei, Philipp Grohs, Gitta Kutyniok, Felix Voigtlaender, and Mones Raslan

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

In this talk I will introduce Hilbert's 10th Problem (H10) and the model-theoretic notions necessary to explore this problem from the perspective of mathematical logic. I will give a brief history of its proof, talk a little about its connection to decidability and definability, then close by speaking about generalisations of H10 - what has been proven and what has yet to be discovered.

Johann Sebastian Bach was the most mathematical of composers. Oxford Mathematician and Cambridge organ scholar James Sparks will explain just how mathematical and City of London Sinfonia will elaborate with a special performance of the Goldberg Variations. 

---

James Sparks - Bach and the Cosmos (30 minutes)

City of London Sinfonia - J S Bach arr. Sitkovetsky, Goldberg Variations (70 minutes)

Alexandra Wood - Director/Violin

--

Please email @email to register

Watch live:
https://www.facebook.com/OxfordMathematics
https://www.livestream.com/oxuni/Bach-Cosmos

The Oxford Mathematics Public Lectures are generously supported by XTX Markets

Abstract: The universal algorithm is a Turing machine program that can in principle enumerate any finite sequence of numbers, if run in the right model of PA, and furthermore, can always enumerate any desired extension of that sequence in a suitable end-extension of that model. The universal finite set is a set-theoretic analogue, a locally verifiable definition that can in principle define any finite set, in the right model of set theory, and can always define any desired finite extension of that set in a suitable top-extension of that model. Recent work has uncovered a $\Sigma_1$-definable version that works with respect to end-extensions. I shall give an account of all three results, which have a parallel form, and describe applications to the model theory of arithmetic and set theory. Post questions and commentary on my blog at http://jdh.hamkins.org/parallels-in-universality-oxford-math-logic-semi…;

Let $G$ be a regular graph of degree $d$ and let $A\subset V(G)$. Say that $A$ is $\eta$-closed if the average degree of the subgraph induced by $A$ is at least $\eta d$. This says that if we choose a random vertex $x\in A$ and a random neighbour $y$ of $x$, then the probability that $y\in A$ is at least $\eta$. In recent joint work with Tim Gowers, we were aiming to obtain a qualitative description of closed subsets of the Cayley graph $\Gamma$ whose vertex set is $\mathbb{F}_2^{n_1}\otimes \dots \otimes \mathbb{F}_2^{n_d}$ with two vertices joined by an edge if their difference is of the form $u_1\otimes \cdots \otimes u_d$. For the matrix case (that is, when $d=2$), such a description was obtained by Khot, Minzer and Safra, a breakthrough that completed the proof of the 2-to-2 conjecture. We have formulated a conjecture for higher dimensions, and proved it in an important special case. In this talk, I will sketch this proof. Also, we have identified a statement about $\eta$-closed sets in Cayley graphs on arbitrary finite Abelian groups that implies the conjecture and can be considered as a "highly asymmetric Balog-Szemerédi-Gowers theorem" when it holds. I will present an example to show that this statement is not true for an arbitrary Cayley graph. It remains to decide whether the statement can be proved for the Cayley graph $\Gamma$.

The next generation emissive displays including quantum dot LED(QLED) and organic LED(OLED) could be efficiently manufactured by inkjet printing, where nano-scale droplets are injected in banked substrate and after evaporation they leave layers of thin film that forms pixels of a display. This novel manufacturing method would greatly reduce cost and improve reliability. However, it is observed in practice that the deposit becomes much thicker near the bank edge and emission is faint there. This motivated the project and in this talk, we will mathematically model the phenomeno, understand its origin and investigate ways of making more uniform deposit by means of simulation.