Related papers: On some universal Morse-Sard type Theorem

We introduce a notion of vague convergence for random marked metric measure spaces. Our main result shows that convergence of the moments of order $k \ge 1$ of a random marked metric measure space is sufficient to obtain its vague…

A classical theorem of Simonovits from the 1980s asserts that every graph $G$ satisfying ${e(G) \gg v(G)^{1+1/k}}$ must contain $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$. Recently, Morris and Saxton established a…

A theorem of Escobar asserts that, on a positive three dimensional smooth compact Riemannian manifold with boundary which is not conformally equivalent to the standard three dimensional ball, a necessary and sufficient condition for a $C^2$…

This paper is devoted to various applications of Hardy-Sobolev type inequalities. We derive a new $L^2$ estimate for the $\bar{\partial}-$equation on ${\mathbb C}^n$ which yields a quantitative generalization of the Hartogs extension…

We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply…

We establish Luzin $N$ and Morse-Sard properties for $BV_2$-functions defined on open domains in the plane. Using these results we prove that almost all level sets are finite disjoint unions of Lipschitz arcs whose tangent vectors are of…

More than thirty years ago, Erd\H{o}s, Faudree, Rousseau, and Schelp posed a fundamental question in extremal graph theory: What is the optimal constant $c_k$ such that $r(C_{2k+1}, G) \le c_k m$ for any graph $G$ with $m$ edges and no…

The classical shooting-method is about finding a suitable initial shooting positions to shoot to the desired target. The new approach formulated here, with the introduction and the analysis of the `target map' as its core, naturally…

We prove a Tverberg type theorem: Given a set $A \subset \mathbb{R}^d$ in general position with $|A|=(r-1)(d+1)+1$ and $k\in \{0,1,\ldots,r-1\}$, there is a partition of $A$ into $r$ sets $A_1,\ldots,A_r$ with the following property. The…

We prove that a general class of measures, which includes $\log$-concave measures, is $\frac{1}{n}$-concave according to the terminology of Borell, with additional assumptions on the measures or on the sets, such as symmetries. This…

We discuss a conjecture of Gromov and Lawson, later modified by Rosenberg, concerning the existence of metrics of positive scalar curvature. It says that a closed spin manifold $M$ of dimension $n\ge 5$ has such a metric if and only if the…

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has $\Pi$-types, weak and strong $\Sigma$-types, natural numbers, an empty type, and a…

We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2…

Topologically ordered quantum systems have robust physical properties, such as quasiparticle statistics and ground-state degeneracy, which do not depend on the microscopic details of the Hamiltonian. We consider topological phase…

Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to…

A graph is diameter-$k$-critical if its diameter equals $k$ and the deletion of any edge increases its diameter. The Murty-Simon Conjecture states that for any diameter-2-critical graph $G$ of order $n$, $e(G) \leq \lfloor…

Let $A$ be a $m\times m$ complex matrix with zero trace and let $\e>0$. Then there are $m\times m$ matrices $B$ and $C$ such that $A=[B,C]$ and $\|B\|\|C\|\le K_\e m^\e\|A\|$ where $K_\e$ depends only on $\e$. Moreover, the matrix $B$ can…

According to the Ambrosetti-Prodi theorem, the map $F(u)= - \Delta u - f(u)$ between appropriate functional spaces is a global fold. Among the hypotheses, the convexity of the function $f$ is required. We show in two different ways that,…

A metrized complex of algebraic curves is a finite metric graph together with a collection of marked complete nonsingular algebraic curves, one for each vertex, the marked points being in bijection with incident edges. We establish a…

Let $f:T^2\to \mathbb{R}$ be Morse function on $2$-torus $T^2,$ and $\mathcal{O}(f)$ be the orbit of $f$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(T^2)$ on $C^{\infty}(T^2)$. Let also $\mathcal{O}_f(f,X)$…