Related papers: Geometric Kernels of Proper Maps Between Non-Compa…

We study the geometry of null hypersurfaces in indefinite complex contact manifolds. We prove several classification results for a variety of well-known null hypersurfaces, including the totally umbilic, totally screen umbilic, and the…

Low-rank approximation of kernels is a fundamental mathematical problem with widespread algorithmic applications. Often the kernel is restricted to an algebraic variety, e.g., in problems involving sparse or low-rank data. We show that…

Let M be a surface (possibly nonorientable) with punctures and/or boundary components. The paper is a study of ``geometric subgroups'' of the mapping class group of M, that is subgroups corresponding to inclusions of subsurfaces (possibly…

Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the…

A geographic network is a graph whose vertices are restricted to lie in a prescribed region in the plane. In this paper we begin to study the following fundamental problem for geographic networks: can a given geographic network be drawn…

We show that every orientable infinite-type surface is properly rigid as a consequence of a more general result. Namely, we prove that if a homotopy equivalence between any two non-compact orientable surfaces is a proper map, then it is…

We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a…

We consider a differential inclusion on a manifold, defined by a field of open half-spaces whose boundary in each tangent space is the kernel of a one-form. We make the assumption that the corank one distribution associated to the kernel is…

We introduce a theory of local kernels, which generalize the kernels used in the standard diffusion maps construction of nonparametric modeling. We prove that evaluating a local kernel on a data set gives a discrete representation of the…

A grid polygon is a polygon whose vertices are points of a grid. We define an injective map between permutations of length n and a subset of grid polygons on n vertices, which we call consecutive-minima polygons. By the kernel method, we…

We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and…

We show that any closed $n$-dimensional manifold $(M,g)$ can be embedded by a map constructed using the heat kernels of the connection Laplacian as well as a maps constructed using truncated heat kernel at a certain time $t$ from a…

This paper presents a method to obtain geometric registrations between high-genus ($g\geq 1$) surfaces. Surface registration between simple surfaces, such as simply-connected open surfaces, has been well studied. However, very few works…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there…

In the Maximum Minimal Vertex Cover (MMVC) problem, we are given a graph $G$ and a positive integer $k$, and the objective is to decide whether $G$ contains a minimal vertex cover of size at least $k$. Motivated by the kernelization of MMVC…

The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$…

Let $M$ be a compact nonnegatively curved Riemannian manifold admitting an isometric action by a compact Lie group $\mathsf G$ in a way that the quotient space $M/\mathsf G$ has nonempty boundary. Let $\pi : M \to M/\mathsf G$ denote the…

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically…

Graph neural tangent kernels give a principled infinite-width theory for graph neural networks, but inherit a basic limitation of graph models: they see only pairwise structure. Many relational systems contain higher-order interactions that…