Related papers: On some universal Morse-Sard type Theorem

Motivated by a classical comparison result of J. C. F. Sturm we introduce a curvature-dimension condition CD(k,N) for general metric measure spaces and variable lower curvature bound k. In the case of non-zero constant lower curvature our…

We give sufficient geometric conditions, not involving capacities, for a compact null set to be removable for the Sobolev functions on weighted $\mathbb R^n$, defined as the closure of smooth functions in the weighted Sobolev norm. Our…

Fix a tangential structure $\theta: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{\text{mf}, k}_{\theta}$, where morphisms are given by…

In general, the critical points of the distance function $d_{\mathsf{M}}$ to a compact submanifold $\mathsf{M} \subset \mathbb{R}^D$ can be poorly behaved. In this article, we show that this is generically not the case by listing regularity…

A graph is closed when its vertices have a labeling by $[n]$ such that the binomial edge ideal $J_G$ has a quadratic Gr\"{o}bner basis with respect to the lexicographic order induced by $x_1 > \cdots > x_n > y_1> \cdots > y_n$. In this…

We resolve the topological version of the Erd\H{o}s Similarity conjecture introduced previously by Gallagher, Lai and Weber. We show that a set is topologically universal on ${\mathbb R}$ if and only if it is of strong measure zero. As a…

Merkurjev's theorem--the statement that the 2-torsion of the Brauer group is represented by Clifford algebras of quadratic forms--is in general false when the base is no longer a field. The work of Parimala, Scharlau, and Sridharan proves…

We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring…

A subset $X$ of a Polish group $G$ is called \emph{Haar null} if there exists a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that $\mu(gBh)=0$ for every $g,h \in G$. We prove that there exists a set $X \subset…

We consider "unconstrained" random $k$-XORSAT, which is a uniformly random system of $m$ linear non-homogeneous equations in $\mathbb{F}_2$ over $n$ variables, each equation containing $k \ge 3$ variables, and also consider a "constrained"…

A $k$-matching in a graph $G$ is defined as a function $f:E(G) \rightarrow \{0,1,\ldots,k\}$ satisfying $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for each vertex $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident to $v$ in $G$. For…

For a compact Lie group G and a Hamiltonian G-space M with momentum map $\mu:M \to g^*$, we prove that the zero level set $\mu^{-1}(0)$ and the critical set of the norm-squared momentum map are neighbourhood smooth weak deformation…

We consider classes of arbitrary (finite or infinite) graphs of bounded shrub-depth, specifically the class $\mathrm{TM}_{r, p}(d)$ of $p$-labeled arbitrary graphs whose underlying unlabeled graphs have tree models of height $d$ and $r$…

We study random vectors of the form $(\operatorname {Tr}(A^{(1)}V),...,\operatorname {Tr}(A^{(r)}V))$, where $V$ is a uniformly distributed element of a matrix version of a classical compact symmetric space, and the $A^{(\nu)}$ are…

In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the…

We study Luzin N-property with respect to the Hausdorff measures for Sobolev spaces W^k_p(R^n,R^d). We prove that such N-property holds except for one critical dimensional value t_*=n-(k-1)p; for this critical value the N-property fails in…

Let V $\subset$ C n be an equidimensional algebraic set and g be an n-variate polynomial with rational coefficients. Computing the critical points of the map that evaluates g at the points of V is a cornerstone of several algorithms in real…

We consider the population of critical points, generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $C_n^{(1)}$. The population is…

The tractability conjecture for finite domain Constraint Satisfaction Problems (CSPs) stated that such CSPs are solvable in polynomial time whenever there is no natural reduction, in some precise technical sense, from the 3-SAT problem;…

We point out that there is a problem with the definition of homological critical value (as defined in the widely cited paper \cite{stability} by Cohen-Steiner, Edelsbrunner and Harer). Under that definition, the critical value lemma of…