Related papers: $\Delta^1_1$ Effectivization in Borel Combinatoric…

Composite optimization problems, where the sum of a smooth and a merely lower semicontinuous function has to be minimized, are often tackled numerically by means of proximal gradient methods as soon as the lower semicontinuous part of the…

This is a sequel of our paper [arXiv:1809.08425] on the Quot-scheme limit and variational properties of Donaldson's functional, which established its coercivity for slope stable holomorphic vector bundles over smooth projective varieties.…

Fix $n=1,2,3,\dots$ or $n=\omega$. We prove a dichotomy for Borel homomorphisms from the $n$-th Friedman-Stanley jump $=^{+n}$ to an equivalence relation $E$ which is classifiable by countable structures: if there is no reduction from…

We prove uniqueness of self-similar profiles for the one-dimensional inelastic Boltzmann equation with moderately hard potentials, that is with collision kernel of the form | $\bullet$ | $\gamma$ for $\gamma$ > 0 small enough (explicitly…

We give new proofs for the hardness amplification of efficiently samplable predicates and of weakly verifiable puzzles which generalize to new settings. More concretely, in the first part of the paper, we give a new proof of Yao's XOR-Lemma…

We use two renormalization techniques, Effective Field Theory and the Similarity Renormalization Group, to solve simple Schr{\"o}dinger equations with delta-function potentials in one and two dimensions. The familiar one-dimensional…

We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel…

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

Two major milestones on the road to the full complexity dichotomy for finite-domain constraint satisfaction problems were Bulatov's proof of the dichotomy for conservative templates, and the structural dichotomy for smooth digraphs of…

A well-known theorem due to Fefferman provides a characterization of Fourier multipliers from $H^1(\mathbb{T})$ to $\ell^1$, i.e. sequences $\left(\lambda_n\right)_{n=0}^\infty$ such that \[\sum_{n=0}^\infty \left|\lambda_n…

We prove refined generating series formulae for characters of (virtual) cohomology representations of external products of suitable coefficients, e.g., (complexes of) constructible or coherent sheaves, or (complexes of) mixed Hodge modules…

Fix $\lambda>0$. Consider the Hardy space $H^1(\mathbb{R}_+,dm_\lambda)$ in the sense of Coifman and Weiss, where $\mathbb{R_+}:=(0,\infty)$ and $dm_\lambda:=x^{2\lambda}dx$ with $dx$ the Lebesgue measure. Also consider the Bessel operators…

A novel polynomial expansion method of symmetric Boolean functions is described. The method is efficient for symmetric Boolean function with small set of valued numbers and has the linear complexity for elementary symmetric Boolean…

We prove in a mathematically rigorous way the asymptotic formula of Flaherty and Keller on the effective property of densely packed periodic elastic composites with hard inclusions. The proof is based on the primal-dual variational…

We show that Wilson's theorem as well as the Wilson quotient can be described by supercongruences modulo any higher prime power involving terms of power sums of Fermat quotients. The new approach uses Bell polynomials and Newton's…

We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to…

Given a Chevalley group $\mathcal{G}$ of classical type and a Borel subgroup $\mathcal{B} \subseteq \mathcal{G}$, we compute the $\Sigma$-invariants of the $S$-arithmetic groups $\mathcal{B}(\mathbb{Z}[1/N])$, where $N$ is a product of…

We construct homotopy coherent Gysin pullbacks for weak Borel-Moore theories on smooth schemes, addressing the higher coherence problem for Gysin morphisms associated with closed immersions and lci-type factorizations. The construction uses…

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel…

An earlier work of the author's showed that it was possible to adapt the Alekseev-Meinrenken Chern-Weil proof of the Duflo isomorphism to obtain a completely combinatorial proof of the Wheeling isomorphism. That work depended on a certain…