A bold conjecture of Boyer-Gorden-Watson and others posit that for any irreducible rational homology 3-sphere M the following three conditions are equivalent: (1) the fundamental group of M is left-orderable, (2) M has non-minimal Heegaard Floer homology, and (3) M admits a co-orientable taut foliation. Very recently, this conjecture was established for all graph manifolds by the combined work of Boyer-Clay and Hanselman-Rasmussen-Rasmussen-Watson. I will discuss a computational survey of these properties involving half a million hyperbolic 3-manifolds, including new or at least improved techniques for computing each of these properties.
 

To fly is not to fall. How does an insect fly, why does it fly so well, and how can we infer its ‘thoughts’ from its flight dynamics?  We have been seeking  mechanistic explanations of the complex movement of insect flight. Starting from the Navier-Stokes equations governing the unsteady aerodynamics of flapping flight, a  theoretical framework for computing flight leads to new interpretations and predictions of the functions of an insect’s internal machinery that orchestrate its flight. The talk will discuss recent computational and experimental studies of the balancing act of dragonflies and fruit flies:  how a dragonfly recovers from falling upside-down and how a fly balances in air. In each case,  the physics of flight informs us about the neural feedback circuitries underlying their fast reflexes.

Many species of insects adhere to vertical and inverted surfaces using footpads that secrete thin films of a mediating fluid. The fluid bridges the gap between the foot and the target surface. The precise role of this liquid is still subject to debate, but it is thought that the contribution of surface tension to the adhesive force may be significant. It is also known that the footpad is soft, suggesting that capillary forces might deform its surface. Inspired by these physical ingredients, we study a model problem in which a thin, deformable membrane under tension is adhered to a flat, rigid surface by a liquid droplet. We find that there can be multiple possible equilibrium states, with the number depending on the applied tension and aspect ratio of the system. The presence of elastic deformation significantly enhances the adhesion force compared to a rigid footpad. A mathematical model shows that the equilibria of the system can be controlled via two key parameters depending on the imposed separation of the foot and target surface, and the tension applied to the membrane. We confirm this finding experimentally and show that the system may transition rapidly between two states as the two parameters are varied. This suggests that different strategies may be used to adhere strongly and then detach quickly.

Time parallelisation techniques provide an additional direction for the parallelisation of the solution of time-dependent PDEs or of systems of ODEs. In particular, the Parareal algorithm has imposed itself as the canonical choice to achieve parallelisation in time, also because of its simplicity and flexibility. The algorithm works by splitting the time domain in chunks, and iteratively alternating a prediction step (parallel), in which a "fine" solver is employed to achieve a high-accuracy solution within each chunk, to a correction step (serial) where a "coarse" solver is used to quickly propagate the update between the chunks. However, the stability of the method has proven to be highly sensitive to the choice of fine and coarse solver, even more so when applied to chaotic systems or advection-dominated problems.

In this presentation, an alternative formulation of Parareal is discussed. This aims to conduct the update by estimating directly the sensitivity of the solution of the integration with respect to the initial conditions, thus eliminating altogether the necessity of choosing the most apt coarse solver, and potentially boosting its convergence properties.

 

The talk originates from two studies on the dynamic properties of one-dimensional elastic quasicrystalline solids. The first one refers to a detailed investigation of scaling and self-similarity of the spectrum of an axial waveguide composed of repeated elementary cells designed by adopting the family of generalised Fibonacci substitution rules corresponding to the so-called precious means. For those, an invariant function of the circular frequency, the Kohmoto's invariant, governs self-similarity and scaling of the stop/pass band layout within defined ranges of frequencies at increasing generation index. The Kohmoto's invariant also explains the existence of particular frequencies, named canonical frequencies, associated with closed orbits on the geometrical three-dimensional representation of the invariant. The second part shows the negative refraction properties of a Fibonacci-generated quasicrystalline laminate and how the tuning of this phenomenon can be controlled by selecting the generation index of the sequence.

The design of shapes that are in some sense optimal is a task faced by engineers in a wide range of disciplines. In shape optimisation one aims to improve a given initial shape by iteratively deforming it - if the shape is represented by a mesh, then this means that the mesh has to deformed. This is a delicate problem as overlapping or highly stretched meshes lead to poor accuracy of numerical methods.

In the presented work we consider a novel mesh deformation method motivated by the Riemannian mapping theorem and based on conformal mappings.

The purpose of this work is to introduce a new constraint functional for shape optimization problems, which enforces the constructibility by means of additive manufacturing processes, and helps in preventing the appearance of overhang features - large regions hanging over void which are notoriously difficult to assemble using such technologies. The proposed constraint relies on a simplified model for the construction process: it involves a continuum of shapes, namely the intermediate shapes corresponding to the stages of the construction process where the total, final shape is erected only up to a certain level. The shape differentiability of this constraint functional is analyzed - which is not a standard issue because of its peculiar structure. Several numerical strategies and examples are then presented. This is a joint work with G. Allaire, R. Estevez, A. Faure and G. Michailidis.

The interplay of minimum degree and 'structural properties' of large graphs with a given forbidden subgraph is a central topic in extremal graph theory. For a given graph $F$ we define the homomorphism threshold as the infimum $\alpha$ such that every $n$-vertex $F$-free graph $G$ with minimum degree $>\alpha n$ has a homomorphic image $H$ of bounded size (independent of $n$), which is $F$-free as well. Without the restriction of $H$ being $F$-free we recover the definition of the chromatic threshold, which was determined for every graph $F$ by Allen et al. The homomorphism threshold is less understood and we present recent joint work with O. Ebsen on the homomorphism threshold for odd cycles.

Recent results on viscous conservation laws with nonlocal flux will be presented. Such models contain, as a particular example, the celebrated parabolic-elliptic Keller-Segel model of chemotaxis. Here, global-in-time solutions are constructed under (nearly) optimal assumptions on the size of radial initial data. Moreover, criteria for blowup of solutions in terms of their local concerntariotions will be derived.