Related papers: Subdifferentiation with symmetry
We show that the subgradient method converges only to local minimizers when applied to generic Lipschitz continuous and subdifferentially regular functions that are definable in an o-minimal structure. At a high level, the argument we…
We analyze the constant step size subgradient method on nonsmooth, nonconvex functions. We identify geometric assumptions on the objective function under which i) its domain admits a partition (stratification) into smooth manifolds (strata)…
It is well-known that the convergence of a family of smooth functions does not imply the convergence of its gradients. In this work, we show that if the family is definable in an o-minimal structure (for instance semialgebraic, subanalytic,…
This paper considers the design of nonlinear observers for invariant systems posed on finite-dimensional connected Lie groups with measurements generated by a transitive group action on an associated homogeneous space. We consider the case…
We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…
We study subgradient sequences of locally Lipschitz functions definable in a polynomially bounded o-minimal structure. We show that the diameter of any subgradient sequence is related to the variation in function values, with error terms…
We associate with each simple Lie algebra a system of second-order differential equations invariant under a non-compact real form of the corresponding Lie group. In the limit of a contraction to a Schr\"odinger algebra, these equations…
Functions which are covariant or invariant under the transformations of a compact linear group $G$ acting in a euclidean space $\real^n$, can be profitably studied as functions defined in the orbit space of the group. The orbit space is the…
We prove an equivariant implicit function theorem for variational problems that are invariant under a varying symmetry group (corresponding to a bundle of Lie groups). Motivated by applications to families of geometric variational problems…
When we have a proper action of a Lie group on a manifold, it is well known that we get a stratification by orbit types and it is known that this stratification satisfies the Whitney (b) condition. In a previous article we have seen that…
A theorem of Gerald Schwarz [24, Thm. 1] says that for a linear action of a compact Lie group $G$ on a finite dimensional real vector space $V$ any smooth $G$-invariant function on $V$ can be written as a composite with the Hilbert map. We…
It is known, that every function on the unit sphere in $\bbr^n$, which is invariant under rotations about some coordinate axis, is completely determined by a function of one variable. Similar results, when invariance of a function reduces…
Classical invariant theory establishes a systematic correspondence between algebraic and smooth invariants for compact and reductive Lie groups. However, the extension of these results to non-compact and non-reductive regimes remains a…
In this paper, we study invariants of linear differential operators with respect to algebraic Lie pseudogroups. Then we use these invariants and the principle of n-invariants to get normal forms (or models) of the differential operators and…
We consider the gradient method with variable step size for minimizing functions that are definable in o-minimal structures on the real field and differentiable with locally Lipschitz gradients. We prove that global convergence holds if…
This paper is devoted to the study of tilt stability in finite dimensional optimization via the approach of using the subgradient graphical derivative. We establish a new characterization of tilt-stable local minimizers for a broad class of…
Understanding the role that subgradients play in various second-order variational analysis constructions can help us uncover new properties of important classes of functions in variational analysis. Focusing mainly on the behavior of the…
We show that the vanishing stepsize subgradient method -- widely adopted for machine learning applications -- can display rather messy behavior even in the presence of favorable assumptions. We establish that convergence of bounded…
Differential invariants of a (pseudo)group action can vary when restricted to invariant submanifolds (differential equations). The algebra is still governed by the Lie-Tresse theorem, but may change a lot. We describe in details the case of…
Functions which are equivariant or invariant under the transformations of a compact linear group $G$ acting in an euclidean space $\real^n$, can profitably be studied as functions defined in the orbit space of the group. The orbit space is…