arXiv research

Introduces fractional k-dimensional measure bridging fractional length and area.

Study growth of systoles in arithmetic manifolds, focusing on $k$-dimensional cases.

This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose k-dimensional cubes, so C^k_{d,n} is a (strict) k-tuple category. The geometric r…

First variation of fractional $k$-dimensional measure for submanifolds

The paper studies the topology of hyperspaces of k-dimensional convex sets.

The $k$-dimensional coding schemes refer to a collection of methods that attempt to represent data using a set of representative $k$-dimensional vectors, and include non-negative matrix factorization, dictionary learning, sparse coding, $k$-means clustering and vector quantization as special cases. Previous generalizat…

In 1972, Marcel Berger defined a metric invariant that captures the `size' of k-dimensional homology of a Riemannian manifold. This invariant came to be called the k-dimensional SYSTOLE. He asked if the systoles can be constrained by the volume, in the spirit of the 1949 theorem of C. Loewner. We construct metrics, ins…

A manifold is locally \emph{$k$-fold symmetric}, if for any point and any $k$-dimensional vector subspace tangent to this point there exists a local isometry such that this point is a fixed point and the differential of the isometry restricted to that $k$-dimensional vector subspace is minus the identity. We show that …

In hyperbolic space $H^n$ we set a geodesic ball of radius $ρ$. Consider a $k$ dimensional minimal submanifold passing through the origin of the geodesic ball with boundary lies on the boundary of that geodesic ball. We prove that its area is no less than the totally geodesic $k$ dimensional submanifold passing through…

Let $Σ$ be a $k$-dimensional minimal submanifold in the $n$-dimensional unit ball $B^n$ which passes through a point $y \in B^n$ and satisfies $\partial Σ\subset \partial B^n$. We show that the $k$-dimensional area of $Σ$ is bounded from below by $|B^k| \, (1-|y|^2)^{\frac{k}{2}}$. This settles a question left open by …

The paper deals with amoebas of $k$-dimensional algebraic varieties in the algebraic complex torus of dimension $n\geq 2k$. First, we show that the area of complex algebraic curve amoebas is finite. Moreover, we give an estimate of this area in the rational curve case in terms of the degree of the rational parametrizat…

We prove that Dranishnikov's $k$-dimensional resolution $d_k\colon μ^k\to Q$ is a UV$^{n-1}$-divider of Chigogidze's $k$-dimensional resolution $c_k$. This fact implies that $d_k^{-1}$ preserves $Z$-sets. A further development of the concept of UV$^{n-1}$-dividers permits us to find sufficient conditions for $d_k^{-1}(…

Riemannian manifolds with bounded Ricci curvature have finite Uryson width.

Hardness proven for embedding simplicial complexes in R^d, especially for k-dimensional ones.

It is well known that a k-dimensional smooth surface in a Euclidean space cannot be tangent to a non-involutive distribution of k-dimensional planes. In this paper we discuss the extension of this statement to weaker notions of surfaces, namely integral and normal currents. We find out that integral currents behave to …

New approach to $k$-dimensional torus differential equations.

We prove that any asymptotically locally Euclidean scalar-flat Kähler 4-orbifold whose isometry group contains a 2-torus is isometric, up to an orbifold covering, to a quaternionic-complex quotient of a $k$-dimensional quaternionic vector space by a $(k-1)$-torus. In order to do so, we first prove that any compact anti…

This Ph.D. thesis is devoted to the constructions of Lagrangian formulation on Finsler and Kawaguchi manifolds. While Finsler geometry is a natural extension of Riemannian geometry, Kawaguchi geometry is the extension of Finsler geometry to higher order derivatives and to k-dimensional parameter space. The latter exten…

We show that for closed orientable manifolds the $k$-dimensional stable systole admits a metric-independent volume bound if and only if there are cohomology classes of degree $k$ that generate cohomology in top-degree. Moreover, it turns out that in the nonorientable case such a bound does not exist for stable systoles…

We estimate whether there is an embedding from one n-dimensional rectangle into another which expands every k-dimensional area. Our estimate is sharp up to a constant factor in each dimension.

For any k<2n we construct a complete system of invariants in the problem of classifying singularities of immersed k-dimensional submanifolds of a symplectic 2n-manifold at a generic double point.

Let $(M,g)$ and $(K,κ)$ be two Riemannian manifolds of dimensions $m$ and $k ,$ respectively. Let $ω\in C^2(N),$ $ω> 0.$ The warped product $M\times _ωK$ is the $(m+k)$-dimensional product manifold $M\times K$ furnished with metric $g+ω^2 κ.$ We prove that the supercritical problem $$-Δ_{g+ω^2 κ}u+h u=u^{ {m+2\over …

We introduce and study a new Radon-like transform that averages projected differential p-forms in R^n over affine (n-k)-planes. We then prove an explicit inversion formula for our transform on the space of rapidly-decaying smooth p-forms. Our transform differs from the one in Gelfand-Graev-Shapiro. Moreover, if it can …

Each compact manifold M of finite dimension k is differentiable and supports an intrinsic probability measure. There then exists a measurable transformation of M to the k-dimensional "surface" of the (k+1)-dimensional ball.

Algorithm finds a subspace minimizing distances to inliers with outliers.

We show that the set of k-dimensional isoperimetric exponents of finitely presented groups is dense in the interval [1, \infty) for k > 1. Hence there is no higher-dimensional analogue of Gromov's gap (1,2) in the isoperimetric spectrum.

We present some examples of curvature homogeneous pseudo-Riemannian manifolds which are k-spacelike Jordan Stanilov; their higher order curvature operator has constant Jordan normal form on the Grassmannian of unoriented k-dimensional spacelike subspaces of the tangent plane.

We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.

A map $f\colon K\to \mathbb R^d$ of a simplicial complex is an almost embedding if $f(σ)\cap f(τ)=\emptyset$ whenever $σ,τ$ are disjoint simplices of $K$. Theorem. Fix integers $d,k\ge2$ such that $d=\frac{3k}2+1$. (a) Assume that $P\ne NP$. Then there exists a finite $k$-dimensional complex $K$ that does not admit an …

A simplified proof for embedding higher-dimensional complexes into manifolds.

The paper proves smoothness of Brakke flows up to the end-time.

Most state-of-the-art graph kernels only take local graph properties into account, i.e., the kernel is computed with regard to properties of the neighborhood of vertices or other small substructures. On the other hand, kernels that do take global graph propertiesinto account may not scale well to large graph databases.…

We take the novel perspective to view data not as a probability distribution but rather as a current. Primarily studied in the field of geometric measure theory, $k$-currents are continuous linear functionals acting on compactly supported smooth differential forms and can be understood as a generalized notion of orient…

Let Σbe a k-dimensional minimal surface in the unit ball B^n which meets the unit sphere orthogonally. We show that the area of Σis bounded from below by the volume of the unit ball in R^k. This answers a question posed by R. Schoen.

A theory of sufficient dimension reduction (SDR) is developed from an optimizational perspective. In our formulation of the problem, instead of dealing with raw data, we assume that our ground truth includes a mapping ${\mathbf f}: {\mathbb R}^n\rightarrow {\mathbb R}^m$ and a probability distribution function $p$ over…

Given any admissible $k$-dimensional family of immersions of a given closed oriented surface into an arbitrary closed Riemannian manifold, we prove that the corresponding min-max width for the area is achieved by a smooth (possibly branched) immersed minimal surface with multiplicity one and Morse index bounded by $k$.

Criteria for embedding simplicial complexes into manifolds, reducing a topological problem to algebra.

It is proved by Brendle in [4] that the equatorial disk $D^k$ has least area among $k$-dimensional free boundary minimal surfaces in the Euclidean ball $B^n$. By comparing the excess of free boundary minimal surfaces with the excess of the associated cones over the boundary, we prove the existence of a gap for the area…

Given any nondegenerate k-dimensional minimal submanifold K of codimension greater than 1, we prove the existence of families of constant mean curvature submanifolds, with mean curvature varying from one member of the family to another, which `condense' to K. In particular, our result proves the existence of constant m…

Given a domain $Ω$ of $\mathbb{R}^{m+1}$ and a $k$-dimensional non-degenerate minimal submanifold $K$ of $\pa Ω$ with $1\le k\le m-1$, we prove the existence of a family of embedded constant mean curvature hypersurfaces which as their mean curvature tends to infinity concentrate along $K$ and intersecting $\partial Ω$ …

New methods create full discretized isothermic tori in Euclidean spaces.

Study of spacelike submanifolds in spherical RW spacetime, proving a Lorentzian Takahashi theorem.

We reformulate unsupervised dimension reduction problem (UDR) in the language of tempered distributions, i.e. as a problem of approximating an empirical probability density function by another tempered distribution, supported in a $k$-dimensional subspace. We show that this task is connected with another classical prob…

Study on ball widths and minimal submanifolds in space forms.

We prove that for any k greater or equal to 2, given a smooth compact k-dimensional manifold and a multiplicative k-1-gerbe on a Lie group, together with an integrable connection, there is a line bundle on the corresponding Beilinson-Drinfeld Grassmannian having the factorization property. We show that taking global se…

A theorem proves a surface evolution graph satisfies a PDE under specific conditions.

The k-dimensional Dehn (or isoperimetric) function of a group bounds the volume of efficient ball-fillings of k-spheres mapped into k-connected spaces on which the group acts properly and cocompactly; the bound is given as a function of the volume of the sphere. We advance significantly the observed range of behavior f…

The goal of subspace learning is to find a $k$-dimensional subspace of $\mathbb{R}^d$, such that the expected squared distance between instance vectors and the subspace is as small as possible. In this paper we study subspace learning in a partial information setting, in which the learner can only observe $r \le d$ att…