Related papers: Algorithmic aspects of immersibility and embeddabi…

A beautiful solution to the problem of isometric immersions in $\mathbb{R}^n$ using spinors was found by Bayard, Lawn and Roth. However to use spinors one must assume that the manifold carries a $\mbox{Spin}$-structure and, especially for…

An immersion of a compact manifold is tight if it admits the minimal total absolute curvature over all immersions of the manifold. A prominent result in the study of minimal total absolute curvature immersions is the theorem of Chern and…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…

Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is…

I propose a mathematical framework for embedding an unshaped discrete lattice $L$ on a smooth manifold $M$. This framework simplifies complex concepts in pure mathematics and physics by connecting discrete lattice structures with continuous…

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is…

For any hyperbolic 3-manifold $M$ with totally geodesic boundary, there are finitely many boundary slopes for essential immersed surfaces of a given genus. There is a uniform bound for the number of such boundary slopes if the genus of…

We prove that if S is a properly embedded incompressible surface in a compact 3-manifold M, then the fundamental group of S is separable in the fundamental group of M.

Atomistic machine learning (ML) is a powerful tool for accurate and efficient investigation of material behavior at the atomic scale. While such models have been constructed within Cartesian space to harness geometric information and…

It is known that there is no EPTAS for the $m$-dimensional knapsack problem unless $W[1] = FPT$. It is true already for the case, when $m = 2$. But, an FPTAS still can exist for some other particular cases of the problem. In this note, we…

Any closed, connected Riemannian manifold $M$ can be smoothly embedded by its Laplacian eigenfunction maps into $\mathbb{R}^m$ for some $m$. We call the smallest such $m$ the maximal embedding dimension of $M$. We show that the maximal…

If M is a manifold with compressible boundary, we analyze essential disks in M, as well as incompressible, but not necessarily boundary incompressible, surfaces in M. We are most interested in the case where M is a handlebody or compression…

An isometric immersion $f:M^n\to \tilde M^n$ from a Riemannian $n$-manifold $M^n$ into a K\"ahler $n$-manifold $\tilde M^n$ is called {\it Lagrangian} if the complex structure $J$ of the ambient manifold $\tilde M^n$ interchanges each…

In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…

A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper…

We show that a complete $m$-dimensional immersed submanifold $M$ of $\mathbb{R}^{n}$ with $a(M)<1$ is properly immersed and have finite topology, where $a(M)\in [0,\infty]$ is an scaling invariant number that gives the rate that the norm of…

The satisfiability problem for SPARQL patterns is undecidable in general, since the expressive power of SPARQL 1.0 is comparable with that of the relational algebra. The goal of this paper is to delineate the boundary of decidability of…

The problem of construction of irreducible representations of quantum $A^q_n$ algebras is solved at the level of explicit integration of the linear (inhomogeneous) system in finite differences in the n-dimensional space. The general…

We give sharp sectional curvature estimates for complete immersed cylindrically bounded $m$-submanifolds $\phi:M\to N\times\mathbb{R}^{\ell}$, $n+\ell\leq 2m-1$ provided that either $\phi$ is proper with the second fundamental form with…

Rao and Zhao classified the irreducible integrable modules with finite dimensional weight spaces for the untwisted affine superalgebras which are not $\hat{A}(m,n)$ ($m\ne n$) or $\hat{C}(m)$. Here we treat the latter affine superalgebras…