Related papers: An inductive approach to the Diaz-Park sharpness c…
We survey the current state of affairs in the study of thresholds and sharp thresholds in random structures on the occasion of the recent proof of the Kahn--Kalai Conjecture by Park and Pham and the fairly recent proof of the satisfiability…
We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously…
When working in a proof assistant, automation is key to discharging routine proof goals such as equations between algebraic expressions. Homotopy type theory allows the user to reason about higher structures, such as topological spaces,…
Cohesive fracture is among the few techniques able to model complex fracture nucleation and propagation with a sharp (nonsmeared) representation of the crack. Implicit time-stepping schemes are often favored in mechanics due to their…
We prove that Hochschild cohomology of a certain class of fully group-graded algebras is a Mackey functor. We use the machinery of transfer maps between the Hochschild cohomology of symmetric algebras.
The Benson-Solomon systems comprise a one-parameter family of simple exotic fusion systems at the prime $2$. The results we prove give significant additional evidence that these are the only simple exotic $2$-fusion systems, as conjectured…
We establish sharp trace- and Korn-type inequalities that involve vectorial differential operators, the focus being on situations where global singular integral estimates are not available. Starting from a novel approach to sharp Besov…
The main object of the paper is a recently discovered family of multicomponent integrable systems of partial differential equations, whose particular cases include many well-known equations such as the Korteweg--de Vries, coupled KdV, Harry…
We prove Carlos Simpson's "semi-strictification" (or "weak unit") conjecture in the case of infinity-groupoids. More precisely, we introduce two precise versions of the conjecture, the "general" and the "regular" conjecture, involving two…
The proximal point algorithm is a widely used tool for solving a variety of convex optimization problems such as finding zeros of maximally monotone operators, fixed points of nonexpansive mappings, as well as minimizing convex functions.…
We give an alternative proof of several sharp commutator estimates involving Riesz transforms, Riesz potentials, and fractional Laplacians. Our methods only involve harmonic extensions to the upper half-space, integration by parts, and…
Recently, W. M. Schmidt and L. Summerer introduced a new theory which allowed them to recover the main known inequalities relating the usual exponents of Diophantine approximation to a point in $\mathbb{R}^n$, and to discover new ones. They…
The concept of sharpness has been successfully applied to traditional architectures like MLPs and CNNs to predict their generalization. For transformers, however, recent work reported weak correlation between flatness and generalization. We…
We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…
We develop a novel cluster expansion for finite-spin lattice systems subject to multi-body quantum -- and, in particular, classical -- interactions. Our approach is based on the use of ``decoupling parameters", advocated by Park [34], which…
We apply computations of twisted Hodge diamonds to construct an infinite number of non-Fourier-Mukai functors with well behaved target and source spaces. To accomplish this we first study the characteristic morphism in order to control it…
We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric…
To any block idempotent $b$ of a group algebra $kG$ of a finite group $G$ over a field $k$ of characteristic $p>0$, Puig associated a fusion system and proved that it is saturated if the $k$-algebra $kC_G(P)e$ is split, where $(P,e)$ is a…
Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…