On the worst-case performance of the optimization method of Cauchy for smooth, strongly convex functions
Abstract
We consider the Cauchy (or steepest descent) method with exact line search applied to a strongly convex function with Lipschitz continuous gradient. We establish the exact worst-case rate of convergence of this scheme, and show that this worst-case behavior is exhibited by a certain convex quadratic function. We also give worst-case complexity bound for a noisy variant of gradient descent method. Finally, we show that these results may be applied to study the worst-case performance of Newton's method for the minimization of self-concordant functions.
The proofs are computer-assisted, and rely on the resolution of semidefinite programming performance estimation problems as introduced in the paper [Y. Drori and M. Teboulle. Performance of first-order methods for smooth convex minimization: a novel approach. Mathematical Programming, 145(1-2):451-482, 2014].
Joint work with F. Glineur and A.B. Taylor.
Swelling in isotropic and fiber gels: from dynamics to steady states
Abstract
Soft active materials are largely employed to realize devices (actuators), where deformations and displacements are triggered by a wide range of external stimuli such as electric field, pH, temperature, and solvent absorption. The effectiveness of these actuators critically depends on the capability of achieving prescribed changes in their shape and size and on the rate of changes. In particular, in gel–based actuators, the shape of the structures can be related to the spatial distribution of the solvent inside the gel, to the magnitude and the rate of solvent uptake.
In the talk, I am going to discuss some results obtained by my group regarding surface patterns arising in the transient dynamics of swelling gels [1,2], based on the stress diffusion model we presented a few years ago [3]. I am also going to show our extended stress diffusion model suited for investigating swelling processes in fiber gels, and to discuss shape formation issues in presence of fiber gels [4-6].
[1] A. Lucantonio, M. Rochè, PN, H.A. Stone. Buckling dynamics of a solvent-stimulated stretched elastomeric sheet. Soft Matter 10, 2014.
[2] M. Curatolo, PN, E. Puntel, L. Teresi. Full computational analysis of transient surface patterns in swelling hydrogels. Submitted, 2017.
[3] A. Lucantonio, PN, L. Teresi. Transient analysis of swelling-induced large deformations in polymer gels. JMPS 61, 2013.
[4] PN, M. Pezzulla, L. Teresi. Anisotropic swelling of thin gel sheets. Soft Matter 11, 2015.
[5] PN, M. Pezzulla, L. Teresi. Steady and transient analysis of anisotropic swelling in fibered gels. JAP 118, 2015.
[6] PN, L. Teresi. Actuation performances of anisotropic gels. JAP 120, 2016.
Bubble Dynamics, Self-assembly of a filament by curvature-inducing proteins
Abstract
Bubble Dynamics
We shall discuss certain generalisations of the Rayleigh Plesset equation for bubble dynamics
Self-assembly of a filament by curvature-inducing proteins
We explore a simplified macroscopic model of membrane shaping by means of curvature-sensing proteins. Equations describing the interplay between the shape of a freely floating filament in a fluid and the adhesion kinetics of proteins are derived from mechanical principles. The constant curvature solutions that arise from this system are studied using weakly nonlinear analysis. We show that the stability of the filament’s shape is completely characterized by the parameters associated with protein recruitment and establish that in the bistable regime, proteins aggregate on the filament forming regions of high and low curvatures. This pattern formation is then followed by phase-coarsening that resolves on a time-scale dependent on protein diffusion and drift across the filament, which contend to smooth and maintain the pattern respectively. The model is generalized for multiple species of proteins and we show that the stability of the assembled shape is determined by a competition between proteins attaching on opposing sides.
PDE techniques for network problems
Abstract
In recent years, ideas from the world of partial differential equations (PDEs) have found their way into the arena of graph and network problems. In this talk I will discuss how techniques based on nonlinear PDE models, such as the Allen-Cahn equation and the Merriman-Bence-Osher threshold dynamics scheme can be used to (approximately) detect particular structures in graphs, such as densely connected subgraphs (clustering and classification, minimum cuts) and bipartite subgraphs (maximum cuts). Such techniques not only often lead to fast algorithms that can be applied to large networks, but also pose interesting theoretical questions about the relationships between the graph models and their continuum counterparts, and about connections between the different graph models.
Oxford Mathematics and Imperial College have joined forces to co-pilot a new programme aimed at levelling the playing-field for bright young mathematicians.
The two universities use the Maths Admission Test (MAT) as the basis for undergraduate assessment. It’s meant to be fair to all, particularly as it is not based on the Further Maths syllabus which many schools do not offer. But is it? How can it take in to account all the other factors that determine a candidate’s preparedness for such a potentially daunting challenge?
X-ray imaging is an important technique for a variety of applications including medical imaging, industrial inspection and airport security. An X-ray image shows a two-dimensional projection of a three-dimensional body. The original 3D information can be recovered if multiple images are given of the same object from different viewpoints. The process of recovering 3D information from a set of 2D X-ray projections is called Computed Tomography (CT).
11:00
Cohomology vs. Bounded Cohomology vs. Continuous Bounded Cohomology
Abstract
I will compare features of (classical) cohomology theory of groups to the rather exotic features of bounded (or continuous bounded) cohomology of groups.
Besides giving concrete examples I will state classical cohomological tools/features and see how (if) they survive in the case of bounded cohomology. Such will include the Mayer-Vietoris sequence, the transfer map, resolutions, classifying spaces, the universal coefficient theorem, the cup product, vanishing results, cohomological dimension and relation to extensions.
Finally I will discuss their connection to each other via the comparison map.