arXiv research

Recently, based on the idea of randomizing space theory, random convex analysis has been being developed in order to deal with the corresponding problems in random environments such as analysis of conditional convex risk measures and the related variational problems and optimization problems. Random convex analysis is …

To provide a solid analytic foundation for the module approach to conditional risk measures, this paper establishes a complete random convex analysis over random locally convex modules by simultaneously considering the two kinds of topologies (namely the $(\varepsilon,λ)$--topology and the locally $L^0$-- convex topolo…

For an infinite cardinal $κ$ let $\ell_2(κ)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(κ)$ of density $κ$. We prove that a non-separable convex subset $X$ of density $κ$ in a locally convex linear metric space if homeomorphic to the space (i) $\ell_2^f(κ)$ if and only if $X$ can be…

A (positive) locally convex curve in the 2-sphere is a curve with positive geodesic curvature (i.e., which always turns left). In the 3-sphere, it is a curve with positive torsion. In this work we discussed the topology of spaces of such curves with prescribed initial and final jets. The case of the 2-sphere is underst…

Extends topological results for nonpositive curvature spaces.

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological vector spaces to Banach spaces.

We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie subalgebra of the Lie algebra of a Lie group that is modelled over a locally convex s…

In the 1920's Marston Morse developed what is now known as Morse theory trying to study the topology of the space of closed curves on S^2. We propose to attack a very similar problem, which 80 years later remains open, about the topology of the space of closed curves on S^2 which are locally convex (i.e., without infle…

Unified analysis for decentralized SGD across various topologies and updates.

We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed. Special attention is paid to the case of mappings between topological vector spaces ov…

A spherical set is called convex if for every pair of its points there is at least one minimal geodesic segment that joins these points and lies in the set. We prove that for n >= 3 a complete locally-convex (topological) immersion of a connected (n-1)-manifold into the n-sphere is a surjection onto the boundary of a c…

The paper extends properties of smooth functions to closed sets and maps.

We show that every finite dimensional Hausdorff (not necessarily paracompact, not necessarily second countable) $C^r$-manifold can be embedded into a weakly complete vector space, i.e. a locally convex topological vector space of the form ${\mathbb R}^I$ for an uncountable index set $I$ and determine the minimal cardin…

A distributed SGD method for heterogeneous networks with hubs and workers.

Characterizes continuity of monotone functionals in mixed topology.

Book on infinite-dimensional Lie groups, covering basics and various classes.

The purpose of this paper is to give a selective survey on recent progress in random metric theory and its applications to conditional risk measures. This paper includes eight sections. Section 1 is a longer introduction, which gives a brief introduction to random metric theory, risk measures and conditional risk measu…

Measure homology was introduced by Thurston in order to compute the simplicial volume of hyperbolic manifolds. Berlanga endowed measure homology with a structure of graded locally convex (possibly non-Hausdorff) topological vector space. In this note we completely characterize Berlanga's topology on measure homology of…

Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show that $C^0$-fine approximation of convex functions by smooth (or real analytic) conv…

This paper formalizes the h-principle and sphere eversion in differential topology.

The paper extends Stone duality to topological convexity spaces.

We show that $C^0$-fine approximation of convex functions by smooth (or real analytic) convex functions on $\R^d$ is possible in general if and only if $d=1$. Nevertheless, for $d\geq 2$ we give a characterization of the class of convex functions on $\R^d$ which can be approximated by real analytic (or just smoother) c…

We show compactness in the locally smooth topology for certain natural families of asymptotically conical self-expanding solutions of mean curvature flow. Specifically, we show such compactness for the set of all two-dimensional self-expanders of a fixed topological type and, in all dimensions, for the set of self-expa…

A smooth curve $γ: [0,1] \to S^2$ is locally convex if its geodesic curvature is positive at every point. J. A. Little showed that the space of all locally positive curves $γ$ with $γ(0) = γ(1) = e_1$ and $γ'(0) = γ'(1) = e_2$ has three connected components $L_{-1,c}$, $L_{+1}$, $L_{-1,n}$. The space $L_{-1,c}$ is know…

New algorithm optimizes DAGs by swapping node pairs to avoid cycles.

A new distributed method for convex optimization over networks with fast convergence.

The paper finds canonical triangulations for specific 3-manifolds.

We define a computable topological invariant $μ(γ)$ for generic closed planar regular curves $γ$, which gives an effective lower bound for the number of inflection points on a given generic closed planar curve. Using it, we classify the topological types of locally convex curves (i.e. closed planar regular curves witho…

Paper discusses natural quasiconvexity and its relation to decomposable sums in risk measures.

A hermitian algebra is a unital associative ${\mathbb C}$-algebra endowed with an involution such that the spectra of self-adjoint elements are contained in ${\mathbb R}$. In the case of an algebra ${\mathcal A}$ endowed with a Mackey-complete, locally convex topology such that the set of invertible elements is open an…

A new method reduces communication costs in decentralized optimization.

A fast method for decentralized non-convex optimization over networks.

Study minimal freezing sets in convex digital disks.

The paper proves skip connections help neural networks avoid shallow local minima.

Geodesic flow mixing on convex projective manifolds proven.

We study the topology of complete Finsler manifolds admitting convex functions

Simplified proof of Honda-Huang's contact convexity result.

Convex hypersurfaces in hyperbolic space evolve to geodesic spheres.

Locally convex (or nondegenerate) curves in the sphere (or projective space) have been studied for several reasons, including the study of linear ordinary differential equations. Taking Frenet frames allows us to translate such curves into corresponding curves in the flag space, the orthogonal group or its cover $Spin_…

Study of non-convex potential functions in deep learning with Poincaré inequality.

In this article we consider a generalization of manifolds and orbifolds which we call quasifolds; quasifolds of dimension k are locally isomorphic to the quotient of R^k by the action of a discrete group - tipically they are not Hausdorff topological spaces. The analogue of a torus in this geometry is a quasitorus. We …

A smooth curve $γ: [0,1] \to S^2$ is locally convex if its geodesic curvature is positive at every point. J. A. Little showed that the space of all locally positive curves $γ$ with $γ(0) = γ(1) = e_1$ and $γ'(0) = γ'(1) = e_2$ has three connected components $L_{-1,c}$, $L_{+1}$, $L_{-1,n}$. The space $L_{-1,c}$ is know…

A new method reduces the complexity of decentralized optimization.

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse fun…

Flow deforms locally convex curves to curves of constant k-order width.

Compact Special Weingarten surfaces with planar convex boundaries are disks.

Classifies big mapping classes on infinite type surfaces.

The Hilbert manifold $Σ$ consisting of positive invertible (unitized) Hilbert-Schmidt operators has a rich structure and geometry. The geometry of unitary orbits $Ω\subset Σ$ is studied from the topological and metric viewpoints: we seek for conditions that ensure the existence of a smooth local structure for the set $…