L4

Let $S$ be a smooth projective surface with $p_g>0$ and $H^1(S,{\mathbb Z})=0$. 
We consider the moduli spaces $M=M_S^H(r,c_1,c_2)$ of $H$-semistable sheaves on $S$ of rank $r$ and 
with Chern classes $c_1,c_2$. Associated a suitable class $v$ the Grothendieck group of vector bundles
on $S$ there is a deteminant line bundle $\lambda(v)\in Pic(M)$, and also a tautological sheaf $\tau(v)$ on $M$.

In this talk we derive a conjectural generating function for the virtual Verlinde numbers, i.e. the virtual holomorphic 
Euler characteristics of all determinant bundles $\lambda(v)$ on M, and for Segre invariants associated to $\tau(v)$ . 
The argument is based on conjectural blowup formulas and a virtual version of Le Potier's strange duality. 
Time permitting we also sketch a common refinement of these two conjectures, and their proof for Hilbert schemes of points.
 

Brown-Erdős-Sós initiated the study of the maximum number of edges in an $n$-vertex $r$-graph such that no $k$ edges span at most $s$ vertices. If $s=rk-2k+2$ then this function is quadratic in $n$ and its asymptotic was previously known for $k=2,3,4$. I will present joint work with Stefan Glock, Jaehoon Kim, Lyuben Lichev and Shumin Sun where we resolve the cases $k=5,6,7$.

What is the bare minimum needed to get a unitarity-consistent black hole radiation entropy curve? In this talk, I will show how to capture both Hawking's non-unitary entropy curve, and density matrix-connecting contributions that restore unitarity, in a toy quantum system with chaotic dynamics. The motivation is to find the simplest possible dynamical model, dropping all superfluous details, that captures this aspect of gravitational physics. In the model, the Hamiltonian obeys random matrix statistics within microcanonical windows, the entropy of the averaged state gives the non-unitary curve, the averaged entropy gives the unitary curve, and the difference comes from matrix index contractions in the Haar averaging that connect the density matrices in a replica wormhole-like manner.

Given a matrix $A$ with integer entries, a subset $S$ of an abelian group and $r\in\mathbb N$, we say that $S$ is $(A,r)$-Rado if any $r$-colouring of $S$ yields a monochromatic solution to the system of equations $Ax=0$. A classical result of Rado characterises all those matrices $A$ such that $\mathbb N$ is $(A,r)$-Rado for all $r \in \mathbb N$. Rödl and Ruciński, and Friedgut, Rödl and Schacht proved a random version of Rado’s theorem where one considers a random subset of $[n]:=\{1,\dots,n\}$.

In this paper, we investigate the analogous random Ramsey problem in the more general setting of abelian groups. Given a sequence $(S_n)_{n\in\mathbb N}$ of finite subsets of abelian groups, let $S_{n,p}$ be a random subset of $S_n$ obtained by including each element of $S_n$ independently with probability $p$. We are interested in determining the probability threshold for $S_{n,p}$ being $(A,r)$-Rado.

Our main result is a general black box for hypergraphs which we use to tackle problems of this type. Using this tool in conjunction with a series of supersaturation results, we determine the probability threshold for a number of different cases. A consequence of the Green-Tao theorem is the van der Waerden theorem for the primes: every finite colouring of the primes contains arbitrarily long monochromatic arithmetic progressions. Using our machinery, we obtain a random version of this result. We also prove a novel supersaturation result for $[n]^d$ and use it to prove an integer lattice generalisation of the random version of Rado's theorem.

This is joint work with Andrea Freschi and Andrew Treglown (both University of Birmingham).

I will then explain that hybrid quantum-classical protocols are the most promising candidates for achieving early quantum advantage. These have the potential to solve real-world problems---including optimisation or ground-state search---but they suffer from a large number of circuit repetitions required to extract information from the quantum state. I will explain some of our recent results as hybrid quantum algorithms that exploit so-called classical shadows (random unitary protocols) in order to extract and post-process a large amount of information from the quantum computer [PRX 12, 041022 (2022)] and [arXiv:2212.11036]. I will finally identify the most likely areas where quantum computers may deliver a true advantage in the near term.

We discuss timelike surfaces of finite size in general relativity and the initial boundary value problem. We consider obstructions with the standard Dirichlet problem, and conformal version with improved properties. The ensuing dynamical features are discussed with general cosmological constant.

The moduli space of torsion-free $G_2$-structures on a compact $7$-manifold $M$ is a smooth manifold, locally diffeomorphic to an open subset of $H^3(M)$. It is endowed with a natural metric which arises as the Hessian of a potential, the properties of which are still poorly understood. In this talk, we will review what is known of the geometry of $G_2$-moduli spaces and present new formulae for the fourth derivative of the potential and the curvatures of the associated metric. We explain some interesting consequences for the simplest examples of $G_2$-manifolds, when the universal cover of $M$ is $\mathbb{R}^7$ or $\mathbb{R}^3 \times K3$. If time permits, we also make some comments on the general case.

In this joint work with Filip Zivanovic, we construct symplectic cohomology for a class of symplectic manifolds that admit ${\mathbb C}^*$-actions and which project equivariantly and properly to a convex symplectic manifold. The motivation for studying these is a large class of examples known as Conical Symplectic Resolutions, which includes quiver varieties, resolutions of Slodowy varieties, and hypertoric varieties. These spaces are highly non-exact at infinity, so along the way we develop foundational results to be able to apply Floer theory. Motivated by joint work with Mark McLean on the Cohomological McKay Correspondence, our goal is to describe the ordinary cohomology of the resolution in terms of a Morse-Bott spectral sequence for positive symplectic cohomology. These spectral sequences turn out to be quite computable in many examples. We obtain a filtration on ordinary cohomology by cup-product ideals, and interestingly the filtration can be dependent on the choice of circle action.