We prove an estimate on intersection pairing of homology classes in hyperbolic 4-manifolds in terms of Thurston norms of these classes.

We construct solutions for the fractional Yamabe problem that are singular at a prescribed number of isolated points. This seems to be the first time that a gluing method is successfully applied to a non-local problem. The main step is an infinite-dimensional Lyapunov-Schmidt reduction method, that reduces the problem to an (infinite dimensional) Toda type system.

We show that for k a perfect field of characteristic p, there exist endomorphisms of the completed algebraic closure of k((t)) which are not bijective. As a corollary, we resolve a question of Fargues and Fontaine by showing that for p a prime and C_p a completed algebraic closure of Q_p, there exist closed points of the Fargues-Fontaine curve associated to C_p whose residue fields are not (even abstractly) isomorphic to C_p as topological fields.

Define $r_4(N)$ to be the largest cardinality of a set $A \subset \{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $$r_4(N) \ll N(\log \log N)^{-c}$$ for some absolute constant $c>0$. In 2005, the authors improved this to $$r_4(N) \ll N e^{-c\sqrt{\log\log N}}.$$ In this paper we further improve this to $$r_4(N) \ll N(\log N)^{-c},$$ which appears to be the limit of our methods.

Sparse coding or sparse dictionary learning has been widely used to recover underlying structure in many kinds of natural data. Here, we provide conditions guaranteeing when this recovery is universal; that is, when sparse codes and dictionaries are unique (up to natural symmetries). Our main tool is a useful lemma in combinatorial matrix theory that allows us to derive bounds on the sample sizes guaranteeing such uniqueness under various assumptions for how training data are generated. Whenever the conditions to one of our theorems are met, any sparsity-constrained learning algorithm that succeeds in reconstructing the data recovers the original sparse codes and dictionary. We also discuss potential applications to neuroscience and data analysis.

A Calderón projector for an elliptic operator $P$ on a manifold with boundary $X$ is a projection from general boundary data to the set of boundary data of solutions $u$ of $Pu=0$. Seeley proved in 1966 that for compact $X$ and for $P$ uniformly elliptic up to the boundary there is a Calderón projector which is a pseudodifferential operator on $\partial X$. We generalize this result to the setting of fibred cusp operators, a class of elliptic operators on certain non-compact manifolds having a special fibred structure at infinity. This applies, for example, to the Laplacian on certain locally symmetric spaces or on particular singular spaces, such as a domain with cusp singularity or the complement of two touching smooth strictly convex domains in Euclidean space. Our main technical tool is the $\phi$-pseudodifferential calculus introduced by Mazzeo and Melrose. In our presentation we provide a setting that may be useful for doing analogous constructions for other types of singularities.

Recently Shi proved that Toffoli and Hadamard are universal for quantum computation. This is perhaps the simplest universal set of gates that one can hope for, conceptually; It shows that one only needs to add the Hadamard gate to make a 'classical' set of gates quantum universal. In this note we give a few lines proof of this fact relying on Kitaev's universal set of gates, and discuss the meaning of the result.

We show that the configuration space over a manifold M inherits many curvature properties of the manifold. For instance, we show that a lower Ricci curvature bound on M implies for the configuration space a lower Ricci curvature bound in the sense of Lott-Sturm-Villani, the Bochner inequality, gradient estimates and Wasserstein contraction. Moreover, we show that the heat flow on the configuration space, or the infinite independent particle process, can be identified as the gradient flow of the entropy.

In discrete time, coined quantum walks, the coin degrees of freedom offer the potential for a wider range of controls over the evolution of the walk than are available in the continuous time quantum walk. This paper explores some of the possibilities on regular graphs, and also reports periodic behaviour on small cyclic graphs.

Complete, conformally flat metrics of constant positive scalar curvature on the complement of $k$ points in the $n$-sphere, $k \ge 2$, $n \ge 3$, were constructed by R\. Schoen [S2]. We consider the problem of determining the moduli space of all such metrics. All such metrics are asymptotically periodic, and we develop the linear analysis necessary to understand the nonlinear problem. This includes a Fredholm theory and asymptotic regularity theory for the Laplacian on asymptotically periodic manifolds, which is of independent interest. The main result is that the moduli space is a locally real analytic variety of dimension $k$. For a generic set of nearby conformal classes the moduli space is shown to be a $k-$dimensional real analytic manifold. The structure as a real analytic variety is obtained by writing the space as an intersection of a Fredholm pair of infinite dimensional real analytic manifolds.

We construct compactifications of Riemannian locally symmetric spaces arising as quotients by Anosov representations. These compactifications are modeled on generalized Satake compactifications and, in certain cases, on maximal Satake compactifications. We deduce that these Riemannian locally symmetric spaces are topologically tame, i.e. homeomorphic to the interior of a compact manifold with boundary. We also construct domains of discontinuity (not necessarily with a compact quotient) in a much more general setting.

We exam the validity of the definition of the ADM angular momentum without the parity assumption. Explicit examples of asymptotically flat hypersurfaces in the Minkowski spacetime with zero ADM energy-momentum vector and finite non-zero angular momentum vector are presented. We also discuss the Beig-Ó Murchadha-Regge-Teitelboim center of mass and study analogous examples in the Schwarzschild spacetime.

We prove there exist infinitely many inequivalent fusion categories whose Grothendieck rings do not admit any pseudounitary categorifications.

We analyze the computational power and limitations of the recently proposed 'quantum adiabatic evolution algorithm'.

We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological approaches of Braverman and Gaitsgory and of Polishchuk and Positselski. We discuss several contexts for PBW theorems and their applications, such as Drinfeld-Jimbo quantum groups, graded Hecke algebras, and symplectic reflection and related algebras.

Given a convex body $K \subset \mathbb{R}^n$ with the barycenter at the origin we consider the corresponding K{ä}hler-Einstein equation $e^{-\Phi} = \det D^2 \Phi$. If $K$ is a simplex, then the Ricci tensor of the Hessian metric $D^2 \Phi$ is constant and equals $\frac{n-1}{4(n+1)}$. We conjecture that the Ricci tensor of $D^2 \Phi$ for arbitrary $K$ is uniformly bounded by $\frac{n-1}{4(n+1)}$ and verify this conjecture in the two-dimensional case. The general case remains open.

Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections.

For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^{\delta}$ where $\delta>0$ depends only on the density of primes for which $I_p\ne \emptyset$. This improves on the "trivial" bound of $\gg x$. As a consequence, for any non-constant polynomial $f:\mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient, the set $\{ n \leq X: f(n) \hbox{ composite}\}$ contains an interval of consecutive integers of length $\ge (\log X) (\log\log X)^{\delta}$ for sufficiently large $X$, where $\delta>0$ depends only on the degree of $f$.

We introduce an $(\infty,1)$-category ${\sf Bord}_1^{\sf fr}(\mathbb{R}^n)$, the morphisms in which are framed tangles in $\mathbb{R}^n\times \mathbb{D}^1$. We prove that ${\sf Bord}_1^{\sf fr}(\mathbb{R}^n)$ has the universal mapping out property of the 1-dimensional Tangle Hypothesis of Baez--Dolan and Hopkins--Lurie: it is the rigid $\mathcal{E}_n$-monoidal $(\infty,1)$-category freely generated by a single object. Applying this theorem to a dualizable object of a braided monoidal $(\infty,1)$-category gives link invariants, generalizing the Reshetikhin--Turaev invariants.

Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications: 1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota. 2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra. 3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday. Along the way, we offer a combinatorial user's guide to Hopf monoids.