Related papers: $\Delta^1_1$ Effectivization in Borel Combinatoric…
We establish power saving asymptotics for the sum of the divisor function along a binary quartic form, improving on work of Daniel. The proof involves an application of a recent two dimensional delta method due to Li, Rydin-Myerson, and…
We present a formalisation of finite Markov decision processes with rewards in the Isabelle theorem prover. We focus on the foundations required for dynamic programming and the use of reinforcement learning agents over such processes. In…
We introduce two tools, dynamical thickening and flow selectors, to overcome the infamous discontinuity of the gradient flow endpoint map near non-degenerate critical points. More precisely, we interpret the stable fibrations of certain…
We extend the functional Breuer-Major theorem by Nourdin and Nualart (2020) to the space of rough paths. The proof of tightness combines the multiplication formula for iterated Malliavin divergences, due to Furlan and Gubinelli (2019), with…
We consider a smooth one-parameter family $t \to f_t$ of diffeomorphisms with compact transitive Axiom A attractors. Our first result (corrected) is that for any function $G$ in the Sobolev space $H^r_p$, with $p>1$ and $0<r<1/p$, the map…
We study integrability properties of a general version of the Boltzmann collision operator for hard and soft potentials in $n$-dimensions. A reformulation of the collisional integrals allows us to write the weak form of the collision…
We prove some "power" generalizations of Marcus-Lopes-style (including McLeod and Bullen) concavity inequalities for elementary symmetric polynomials, and convexity inequalities (of McLeod and Baston) for complete homogeneous symmetric…
In this study, we investigate the Klein-Gordon-Zakharov system with a focus on identifying multi-soliton solutions. Specifically, for a given number $N$ of solitons, we demonstrate the existence of a multi-soliton solution that…
For arbitrary $n$ complex numbers $a_{\nu-1}$, $\nu=1,\dots,n$, where $n$ is sufficiently large, we get the representation in the form of power sums: $a_{\nu-1}=\lambda_1^\nu+\dots+\lambda_{2n+1}^\nu$, where $\lambda_k$ are distinct points,…
Renormalization-group methods in soft-collinear effective theory are used to perform the resummation of large perturbative logarithms for deep-inelastic scattering in the threshold region x->1. The factorization theorem for the structure…
In this dissertation we collect some results about "interactive realizability", a realizability semantics that extends the Brouwer-Heyting-Kolmogorov interpretation to (sub-)classical logic, more precisely to first-order intuitionistic…
We present a new criterion, based on commutator methods, for the strong mixing property of unitary representations of topological groups equipped with a proper length function. Our result generalises and unifies recent results on the strong…
Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm…
In this note we produce generalized versions of the classical inequalities of Hardy and of Hilbert and we establish their equivalence. Our methods rely on the H^1-BMOA duality. We produce a class of examples to establish that the…
In this note we introduce a Waldschmidt decomposition of divisors which might be viewed as a generalization of Zariski decomposition based on the effectivity rather than the nefness of divisors. As an immediate application we prove a…
We construct an approximate trivializing map by using a Schwinger-Dyson equation. The advantage of this method is that: (1) The basis for the flow kernel can be chosen arbitrarily by hand. (2) It can be applied to the general action of…
In this survey, we use (more or less) elementary means to establish the well-known result that for any given smooth multivariate function, the respective multivariate Bernstein polynomials converge to that function in all derivatives on…
The coefficients of the higher-derivative terms in the low energy expansion of genus-one graviton Type II superstring scattering amplitudes are determined by integrating sums of non-holomorphic modular functions over the complex structure…
Inspired by holographic Wilsonian renormalization, we propose a novel perspective on the low-energy effective actions of confining gauge theories with gravity duals. By identifying the IR-boundary value of a certain bulk field as…
The asymptotic stability of the black and dark solitons of the one-dimensional Gross-Pitaevskii equation was proved by B\'ethuel, Gravejat and Smets (Ann. Sci. \'Ec. Norm. Sup\'er. 48 (2015)) and Gravejat and Smets (Proc. Lond. Math. Soc.…