Abstract:Hilbertian kernel methods and their positive semidefinite kernels have been extensively used in various fields of applied mathematics and machine learning, owing to their several equivalent characterizations. We here unveil an analogy with concepts from tropical geometry, proving that tropical positive semidefinite kernels are also endowed with equivalent viewpoints, stemming from Fenchel–Moreau conjugations. This tropical analogue of Aronszajn's theorem shows that these kernels correspond to a feature map, define monotonous operators, and generate max-plus function spaces endowed with a reproducing property. They furthermore include all the Hilbertian kernels classically studied as well as Monge arrays. However, two relevant notions of tropical reproducing kernels must be distinguished, based either on linear or sesquilinear interpretations. The sesquilinear interpretation is the most expressive one, since reproducing spaces then encompass classical max-plus spaces, such as those of (semi)convex functions. In contrast, in the linear interpretation, the reproducing kernels are characterized by a restrictive condition, von Neumann regularity. Finally, we provide a tropical analogue of the "representer theorems", showing that a class of infinite dimensional regression and interpolation problems admit solutions lying in finite dimensional spaces. We illustrate this theorem by an application to optimal control, in which tropical kernels allow one to represent the value function.

Tropical convexity in location problems

Developments in tropical convexity

Tropical Gradient Descent

Remarks on the continuity of convex functions in geodesic spaces

The tropical polytope is the set of all weighted tropical Fermat-Weber points

Local geometry of feasible regions via smooth paths

Max-convolution through numerics and tropical geometry

A combinatorial extension of tropical cycles

Tropical Reproducing Kernels and Optimization

Convex optimization on CAT(0) cubical complexes

Tropicalizing binary geometries

The Real Tropical Geometry of Neural Networks

Probability Metrics for Tropical Spaces of Different Dimensions

Nearest and Farthest Points in Spaces of Curvature Bounded Below

Imputing phylogenetic trees using tropical polytopes over the space of phylogenetic trees

Tropical toric maximum likelihood estimation

Generalized Polyhedral Convex Optimization Problems

Tropical Grassmannian and Tropical Linear Varieties from phylogenetic trees

A tropical version of Hilbert function

Tropical Fermat-Weber Polytropes

Ambitropical geometry, hyperconvexity and zero-sum games