Related papers: An implicit function theorem for sprays and applic…

The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

The Chekanov theorem generalizes the classic Lyusternik-Shnirel'man and Morse theorems concerning critical points of a smooth function on a closed manifold. A Legendrian submanifold \Lambda of space of 1-jets of the functions on a manifold…

We prove an entanglement principle for fractional Laplace operators on $\mathbb R^n$ for $n\geq 2$ as follows; if different fractional powers of the Laplace operator acting on several distinct functions on $\mathbb R^n$, which vanish on…

We obtain results on mixing for a large class of (not necessarily Markov) infinite measure semiflows and flows. Erickson proved, amongst other things, a strong renewal theorem in the corresponding i.i.d. setting. Using operator renewal…

We prove a real interpolation characterization for some non Euclidean H\"older spaces, built on the Lie structure induced by a class of ultra-parabolic Kolmogorov-type operators satisfying the H\"ormander condition. As a by-product we also…

This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical, intuitionistic, modal, and substructural logics. Central to the discussion…

Gamma conjecture I and the underlying Conjecture $\mathcal{O}$ for Fano manifolds were proposed by Galkin, Golyshev and Iritani recently. We show that both conjectures hold for all two-dimensional Fano manifolds. We prove Conjecture…

This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory,…

In this expository paper, we explain a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and…

Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality. The method produces interpolants from colored congruence…

In this study, the global convergence properties of the Oja flow, a continuous-time algorithm for principal component extraction, was established for general square matrices. The Oja flow is a matrix differential equation on the Stiefel…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…

We develop a theory for the representation of opaque solids as volumes. Starting from a stochastic representation of opaque solids as random indicator functions, we prove the conditions under which such solids can be modeled using…

In the paper, we improve our earlier results concerning the existence, uniqueness and differentiability of a global implicit function. Some application to a Cauchy problem for an integro-differential Volterra system of nonconvolution type,…

The Nyman-Beurling criterion, equivalent to the Riemann hypothesis (RH), is an approximation problem in the space of square integrable functions on $(0,\infty)$, involving dilations of the fractional part function by factors…

We construct polynomial approximations of Dzjadyk type (in terms of the k-th modulus of continuity, $k \ge 1$) for analytic functions defined on a continuum E in the complex plane, which simultaneously interpolate at given points of E.…

We introduce the notion of a stratified Oka manifold and prove that such a manifold $X$ is strongly dominable in the sense that for every $x\in X$, there is a holomorphic map $f:\C^n\to X$, $n=\dim X$, such that $f(0)=x$ and $f$ is a local…

We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero…

We extend recent computer-assisted design and analysis techniques for first-order optimization over structured functions--known as performance estimation--to apply to structured sets. We prove "interpolation theorems" for smooth and…