We prove the Erdős–Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant.

A set of integers is primitive if it does not contain an element dividing another. Let f(n) denote the number of maximum-size primitive subsets of {1,…,2n}. We prove that the limit α = limn→∞f(n)1/n exists. Furthermore, we present an algorithm approximating α with (1 + ε) multiplicative error in N(ε) steps, showing in particular that α ≈ 1.318. Our algorithm can be adapted to estimate the number of all primitive sets in {1,…,n} as well.

We address another related problem of Cameron and Erdős. They showed that the number of sets containing pairwise coprime integers in {1,…n} is between ${2^{\pi (n)}} \cdot {e^{(1/2 + o(1))\sqrt n }}$ and ${2^{\pi (n)}} \cdot {e^{(2 + o(1))\sqrt n }}$. We show that neither of these bounds is tight: there are in fact ${2^{\pi (n)}} \cdot {e^{(1 + o(1))\sqrt n }}$ such sets.

In the group testing problem the aim is to identify a small set of k ⁓ nθ infected individuals out of a population size n, 0 < θ < 1. We avail ourselves of a test procedure capable of testing groups of individuals, with the test returning a positive result if and only if at least one individual in the group is infected. The aim is to devise a test design with as few tests as possible so that the set of infected individuals can be identified correctly with high probability. We establish an explicit sharp information-theoretic/algorithmic phase transition minf for non-adaptive group testing, where all tests are conducted in parallel. Thus with more than minf tests the infected individuals can be identified in polynomial time with high probability, while learning the set of infected individuals is information-theoretically impossible with fewer tests. In addition, we develop an optimal adaptive scheme where the tests are conducted in two stages.

We introduce and study the notion of Gorenstein silting complexes, which is a generalization of Gorenstein tilting modules in Gorenstein-derived categories. We give the equivalent characterization of Gorenstein silting complexes. We give a sufficient condition for a partial Gorenstein silting complex to have a complement.

Let ${\mathbb{P}}(ord\pi = ord\pi ')$ be the probability that two independent, uniformly random permutations of [n] have the same order. Answering a question of Thibault Godin, we prove that ${\mathbb{P}}(ord\pi = ord\pi ') = {n^{ - 2 + o(1)}}$ and that ${\mathbb{P}}(ord\pi = ord\pi ') \ge {1 \over 2}{n^{ - 2}}lg*n$ for infinitely many n. (Here lg*n is the height of the tallest tower of twos that is less than or equal to n.)

Bollobás and Riordan, in their paper ‘Metrics for sparse graphs’, proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom C4-counts), but with no limit expressible as a kernel.

I construct infinitely many nondiffeomorphic examples of $5$-dimensional contact manifolds which are tight, admit no strong fillings and do not have Giroux torsion. I obtain obstruction results for symplectic cobordisms, for which I give a proof not relying on the polyfold abstract perturbation scheme for Symplectic Field Theory (SFT). These results are part of my PhD thesis [23], and are the first applications of higher-dimensional Siefring intersection theory for holomorphic curves and hypersurfaces, as outlined in [23, 24], as a prequel to [30].

A key ingredient in the Taylor–Wiles proof of Fermat’s last theorem is the classical Ihara lemma, which is used to raise the modularity property between some congruent Galois representations. In their work on Sato and Tate, Clozel, Harris and Taylor proposed a generalisation of the Ihara lemma in higher dimension for some similitude groups. The main aim of this paper is to prove some new instances of this generalised Ihara lemma by considering some particular non-pseudo-Eisenstein maximal ideals of unramified Hecke algebras. As a consequence, we prove a level-raising statement.

In this paper, we develop the theory of singular Hermitian metrics on vector bundles. As an application, we give a structure theorem of a projective manifold X with pseudo-effective tangent bundle; X admits a smooth fibration $X \to Y$ to a flat projective manifold Y such that its general fibre is rationally connected. Moreover, by applying this structure theorem, we classify all the minimal surfaces with pseudo-effective tangent bundle and study general nonminimal surfaces, which provide examples of (possibly singular) positively curved tangent bundles.

Soient K un corps discrètement valué et hensélien, ${\mathcal {O}}$ son anneau d’entiers supposé excellent, $\kappa $ son corps résiduel supposé parfait et G un K-groupe quasi-réductif, c’est-à-dire lisse, affine, connexe et à radical unipotent déployé trivial. On construit l’immeuble de Bruhat-Tits ${\mathcal {I}}(G, K)$ pour $G(K)$ de façon canonique, améliorant les constructions moins canoniques de M. Solleveld sur les corps locaux, et l’on associe un ${\mathcal {O}}$-modèle en groupes ${\mathcal {G}}_{\Omega }$ de G à chaque partie non vide et bornée $\Omega $ contenue dans un appartement de ${\mathcal {I}}(G,K)$. On montre que les groupes parahoriques ${\mathcal {G}}_{\textbf {f}}$ attachés aux facettes peuvent être caractérisés en fonction de la géométrie de leurs grassmanniennes affines, ainsi que dans la thèse de T. Richarz. Ces résultats sont appliqués ailleurs à l’étude des grassmanniennes affines tordues entières.

An analysis is undertaken of the formation and stability of localised patterns in a 1D Schanckenberg model, with source terms in both the activator and inhibitor fields. The aim is to illustrate the connection between semi-strong asymptotic analysis and the theory of localised pattern formation within a pinning region created by a subcritical Turing bifurcation. A two-parameter bifurcation diagram of homogeneous, periodic and localised patterns is obtained numerically. A natural asymptotic scaling for semi-strong interaction theory is found where an activator source term \[a = O(\varepsilon )\] and the inhibitor source \[b = O({\varepsilon ^2})\], with ε2 being the diffusion ratio. The theory predicts a fold of spike solutions leading to onset of localised patterns upon increase of b from zero. Non-local eigenvalue arguments show that both branches emanating from the fold are unstable, with the higher intensity branch becoming stable through a Hopf bifurcation as b increases beyond the \[O(\varepsilon )\] regime. All analytical results are found to agree with numerics. In particular, the asymptotic expression for the fold is found to be accurate beyond its region of validity, and its extension into the pinning region is found to form the low b boundary of the so-called homoclinic snaking region. Further numerical results point to both sub and supercritical Hopf bifurcation and novel spikeinsertion dynamics.

We first establish a family of sharp Caffarelli–Kohn–Nirenberg type inequalities (shortly, sharp CKN inequalities) on the Euclidean spaces and then extend them to the setting of Cartan–Hadamard manifolds with the same best constant. The quantitative version of these inequalities also is proved by adding a non-negative remainder term in terms of the sectional curvature of manifolds. We next prove several rigidity results for complete Riemannian manifolds supporting the Caffarelli–Kohn–Nirenberg type inequalities with the same sharp constant as in the Euclidean space of the same dimension. Our results illustrate the influence of curvature to the sharp CKN inequalities on the Riemannian manifolds. They extend recent results of Kristály (J. Math. Pures Appl. 119 (2018), 326–346) to a larger class of the sharp CKN inequalities.

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; {\mathbb Z} )$. Our main result is a readily calculable classification of embeddings $N \to {\mathbb R}^7$ up to isotopy, with an indeterminacy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9.

The group of knots $S^4\to {\mathbb R}^7$ acts on the set of embeddings $N\to {\mathbb R}^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1 \ne 0$, with an indeterminacy.

Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008.

For $N=S^1\times S^3$ we give a geometrically defined 1–1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set ${\mathbb Z} \oplus {\mathbb Z} \oplus {\mathbb Z} _{12}$.

We say that a group G of local (maybe formal) biholomorphisms satisfies the uniform intersection property if the intersection multiplicity $(\phi (V), W)$ takes only finitely many values as a function of G for any choice of analytic sets V and W of complementary dimension. In dimension $2$ we show that G satisfies the uniform intersection property if and only if it is finitely determined – that is, if there exists a natural number k such that different elements of G have different Taylor expansions of degree k at the origin. We also prove that G is finitely determined if and only if the action of G on the space of germs of analytic curves has discrete orbits.

The main result is that the ellipticity and the Fredholm property of a $\Psi $DO acting on Sobolev spaces in the Weyl-Hörmander calculus are equivalent when the Hörmander metric is geodesically temperate and its associated Planck function vanishes at infinity. The proof is essentially related to the following result that we prove for geodesically temperate Hörmander metrics: If $\lambda \mapsto a_{\lambda }\in S(1,g)$ is a $\mathcal {C}^N$, $0\leq N\leq \infty $, map such that each $a_{\lambda }^w$ is invertible on $L^2$, then the mapping $\lambda \mapsto b_{\lambda }\in S(1,g)$, where $b_{\lambda }^w$ is the inverse of $a_{\lambda }^w$, is again of class $\mathcal {C}^N$. Additionally, assuming also the strong uncertainty principle for the metric, we obtain a Fedosov-Hörmander formula for the index of an elliptic operator. At the very end, we give an example to illustrate our main result.

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.