DeepAI
Log In Sign Up

Convex Analysis at Infinity: An Introduction to Astral Space

05/06/2022
by   Miroslav Dudík, et al.
0

Not all convex functions on ℝ^n have finite minimizers; some can only be minimized by a sequence as it heads to infinity. In this work, we aim to develop a theory for understanding such minimizers at infinity. We study astral space, a compact extension of ℝ^n to which such points at infinity have been added. Astral space is constructed to be as small as possible while still ensuring that all linear functions can be continuously extended to the new space. Although astral space includes all of ℝ^n, it is not a vector space, nor even a metric space. However, it is sufficiently well-structured to allow useful and meaningful extensions of concepts of convexity, conjugacy, and subdifferentials. We develop these concepts and analyze various properties of convex functions on astral space, including the detailed structure of their minimizers, exact characterizations of continuity, and convergence of descent algorithms.

READ FULL TEXT
02/19/2016

First-order Methods for Geodesically Convex Optimization

Geodesic convexity generalizes the notion of (vector space) convexity to...
04/27/2020

Formal Adventures in Convex and Conical Spaces

Convex sets appear in various mathematical theories, and are used to def...
05/13/2019

Critical points at infinity for analytic combinatorics

On complex algebraic varieties, height functions arising in combinatoria...
07/30/2022

Compressible Topological Vector Spaces

The optimum subspace decomposition of the infinite-dimensional compressi...
03/01/2018

Re-examination of Bregman functions and new properties of their divergences

The Bregman divergence (Bregman distance, Bregman measure of distance) i...
07/19/2019

Cultural Endowment as Collective Improvisation: subjectivity and digital infinity

Philosophically, a repertoire of signifying practices as constitutive of...
10/28/2017

Termination in Convex Sets of Distributions

Convex algebras, also called (semi)convex sets, are at the heart of mode...