Related papers: On some convergence approach structures on hypersp…

Over the years, scene understanding has attracted a growing interest in computer vision, providing the semantic and physical scene information necessary for robots to complete some particular tasks autonomously. In 3D scenes, rich spatial…

We propose a novel analysis framework for non-descent-type optimization methodologies in nonconvex scenarios based on the Kurdyka-Lojasiewicz property. Our framework allows covering a broad class of algorithms, including those commonly…

In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…

We elaborate on conformal higher-spin gauge theory in three-dimensional (3D) curved space. For any integer $n>2$ we introduce a conformal spin-$\frac{n}{2}$ gauge field $h_{(n)} =h_{\alpha_1\dots \alpha_n}$ (with $n$ spinor indices) of…

We prove a collection of reverse Alexandrov-Fenchel type inequalities in anisotropic, Euclidean, spherical, and hyperbolic settings. The unifying principle is that the relevant deficit is controlled by curvature radius data, or equivalently…

We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariant for a principal bundle over the sphere are less than or equal to two. Moreover computational…

We study the random reshuffling (RR) method for smooth nonconvex optimization problems with a finite-sum structure. Though this method is widely utilized in practice such as the training of neural networks, its convergence behavior is only…

This is one in a series of papers devoted to the foundations of Symplectic Field Theory sketched in [Y Eliashberg, A Givental and H Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal. Special Volume, Part II (2000) 560--673].…

We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into…

In the first part of this paper, we develop the theory of anisotropic curvature measures for convex bodies in the Euclidean space. It is proved that any convex body whose boundary anisotropic curvature measure equals a linear combination of…

The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…

Let $F$ be a totally real field in which $p$ is unramified. We prove that, if a cuspidal overconvergent Hilbert cuspidal form has small slopes under $U_p$-operators, then it is classical. Our method follows the original cohomological…

The paper deals with the program of determining the complexity of various homeomorphism relations. The homeomorphism relation on compact Polish spaces is known to be reducible to an orbit equivalence relation of a continuous Polish group…

The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and…

The focus of this article is to develop computationally efficient mathematical morphology operators on hypergraphs. To this aim we consider lattice structures on hypergraphs on which we build morphological operators. We develop a pair of…

It has been observed that the very important motion planning problem of robotics mathematically speaking boils down to the problem of finding a section to the path-space fibration, raising the notion of topological complexity, as introduced…

We study some topological spaces that can be considered as hyperspaces associated to noncommutative spaces. More precisely, for a NC compact space associated to a unital C*-algebra, we consider the set of closed projections of the second…

We introduce a new lower-Vietoris-type hypertopology in a way similar to that with which a new upper-Vietoris-type hypertopology was introduced in G. Dimov and D. Vakarelov, "On Scott consequence systems", Fundamenta Informaticae, 33…

We present a framework to use recently introduced Capsule Networks for solving the problem of Optical Flow, one of the fundamental computer vision tasks. Most of the existing state of the art deep architectures either uses a correlation…

This paper develops aspects of cosheaf theory on rigid analytic spaces, and demonstrates a sheaf-cosheaf Verdier duality equivalence theorem for overconvergent sheaves on separated, paracompact spaces, analogous to Jacob Lurie's treatment…