Related papers: Priestley perspective on pointfree topology
Triality is a classical notion in geometry that arose in the context of the Lie groups of type $D_4$. Another notion of triality, Wilson triality, appears in the context of reflexible maps. We build a bridge between these two notions,…
Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical…
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a…
We survey research that studies the connection between the computational complexity of optimization problems on the one hand, and the duality gap between the primal and dual optimization problems on the other. To our knowledge, this is the…
We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…
This article develops a duality principle applicable to a large class of variational problems. Firstly, we apply the results to a Ginzburg-Landau type model. In a second step, we develop another duality principle and related primal dual…
Perspective functions arise explicitly or implicitly in various forms in applied mathematics and in statistical data analysis. To date, no systematic strategy is available to solve the associated, typically nonsmooth, optimization problems.…
We introduce the concepts of perpetual points and periodic perpetual loci in discrete--time systems (maps). The occurrence and analysis of these points/loci are shown and basic examples are considered. We discuss the potential usage and…
We introduce a topology, which we call the regional topology, on the space of all real functions on a given locally compact metric space. Next we obtain a new versions of Schauder's fixed point theorem and Ascoli's theorem. We use these…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2],…
We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin-Thom collapse maps, so as to present a common generalization of Poincar\'e duality in topology and Koszul duality in $\mathcal{E}_n$-algebra.
(Renegar, 2016) introduced a novel approach to transforming generic conic optimization problems into unconstrained, uniformly Lipschitz continuous minimization. We introduce {\it radial transformations} generalizing these ideas, equipped…
In this article, we introduce the notion of $\mathcal P$-triviality of topological manifolds and give a complete description of the $\mathcal P$-triviality of stunted real and complex projective spaces.
We walk out the landscape of K-theoretic Poincare Duality for finite algebras. It paves the way to get continuum Dirac operators from discrete noncommutative manifolds.
We extend nearness frames to posets representing bases and even subbases of $T_1$ spaces. This allows us to put a classic duality due to Wallman, between compact $T_1$ spaces and abstract simplicial complexes, into a general nearness…
We investigate the convergence of the primal-dual algorithm for composite optimization problems when the objective functions are weakly convex. We introduce a modified duality gap function, which is a lower bound of the standard duality gap…
We prove a general width duality theorem for combinatorial structures with well-defined notions of cohesion and separation. These might be graphs and matroids, but can be much more general or quite different. The theorem asserts a duality…
The proximal point algorithm is a widely used tool for solving a variety of convex optimization problems such as finding zeros of maximally monotone operators, fixed points of nonexpansive mappings, as well as minimizing convex functions.…
We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…