Source author record

Aris Daniilidis

Aris Daniilidis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Characterization of Filippov representable maps and Clarke subdifferentials

The ordinary differential equation $\dot{x}(t)=f(x(t)), \; t \geq 0 $, for $f$ measurable, is not sufficiently regular to guarantee existence of solutions. To remedy this we may relax the problem by replacing the function $f$ with its Filippov regularization $F_{f}$ and consider the differential inclusion $\dot{x}(t)\in F_{f}(x(t))$ which always has a solution. It is interesting to know, inversely, when a set-valued map $Φ$ can be obtained as the Filippov regularization of a (single-valued, measurable) function. In this work we give a full characterization of such set-valued maps, hereby called Filippov representable. This characterization also yields an elegant description of those maps that are Clarke subdifferentials of a Lipschitz function.

preprint2020arXiv

Extending the Choquet theory: Trace convexity

We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric spaces. We provide new notions of trace-convexification for sets and functions as well as a general version of Krein-Milman theorem. We show that the class of upper semicontinuous convex-trace functions attaining their maximum at exactly one Choquet-boundary point is residual and we obtain several enhanced versions of the maximum principle which generalize both the classical Bauer's theorem as well as its abstract version in the Choquet theory. We illustrate our notions and results with concrete examples of three different types.

preprint2020arXiv

Ubiquitous algorithms in convex optimization generate self-contracted sequences

In this work we show that various algorithms, ubiquitous in convex optimization (e.g. proximal-gradient, alternating projections and averaged projections) generate self-contracted sequences $\{x_{k}\}_{k\in\mathbb{N}}$. As a consequence, a novel universal bound for the \emph{length} ($\sum_{k\ge 0}\Vert x_{k+1}-x_k\Vert$) can be deduced. In addition, this bound is independent of both the concrete data of the problem (sets, functions) as well as the stepsize involved, and only depends on the dimension of the space.

preprint2018arXiv

Characterizations of Super-regularity and its Variants

Convergence of projection-based methods for nonconvex set feasibility problems has been established for sets with ever weaker regularity assumptions. What has not kept pace with these developments is analogous results for convergence of optimization problems with correspondingly weak assumptions on the value functions. Indeed, one of the earliest classes of nonconvex sets for which convergence results were obtainable, the class of so-called super-regular sets introduced by Lewis, Luke and Malick (2009), has no functional counterpart. In this work, we amend this gap in the theory by establishing the equivalence between a property slightly stronger than super-regularity, which we call Clarke super-regularity, and subsmootheness of sets as introduced by Aussel, Daniilidis and Thibault (2004). The bridge to functions shows that approximately convex functions studied by Ngai, Luc and Théra (2000) are those which have Clarke super-regular epigraphs. Further classes of regularity of functions based on the corresponding regularity of their epigraph are also discussed.

preprint2013arXiv

Orthogonal Invariance and Identifiability

Orthogonally invariant functions of symmetric matrices often inherit properties from their diagonal restrictions: von Neumann's theorem on matrix norms is an early example. We discuss the example of "identifiability", a common property of nonsmooth functions associated with the existence of a smooth manifold of approximate critical points. Identifiability (or its synonym, "partial smoothness") is the key idea underlying active set methods in optimization. Polyhedral functions, in particular, are always partly smooth, and hence so are many standard examples from eigenvalue optimization.

preprint2012arXiv

Locally symmetric submanifolds lift to spectral manifolds

In this work we prove that every locally symmetric smooth submanifold gives rise to a naturally defined smooth submanifold of the space of symmetric matrices, called spectral manifold, consisting of all matrices whose ordered vector of eigenvalues belongs to the locally symmetric manifold. We also present an explicit formula for the dimension of the spectral manifold in terms of the dimension and the intrinsic properties of the locally symmetric manifold.

preprint2012arXiv

Rectifiability of Self-contracted curves in the Euclidean space and applications

It is hereby established that, in Euclidean spaces of finite dimension, bounded self-contracted curves have finite length. This extends the main result of Daniilidis, Ley, and Sabourau (J. Math. Pures Appl. 2010) concerning continuous planar self-contracted curves to any dimension, and dispenses entirely with the continuity requirement. The proof borrows heavily from a geometric idea of Manselli and Pucci (Geom. Dedicata 1991) employed for the study of regular enough curves, and can be seen as a nonsmooth adaptation of the latter, albeit a nontrivial one. Applications to continuous and discrete dynamical systems are discussed: continuous self-contracted curves appear as generalized solutions of nonsmooth convex foliation systems, recovering a hidden regularity after reparameterization, as consequence of our main result. In the discrete case, proximal sequences (obtained through implicit discretization of a gradient system) give rise to polygonal self-contracted curves. This yields a straightforward proof for the convergence of the exact proximal algorithm, under any choice of parameters.

preprint2009arXiv

Continuity of set-valued maps revisited in the light of tame geometry

Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar and vector valued functions. Our main result though, is inscribed in the framework of tame geometry, stating that a closed-valued semialgebraic set-valued map is almost everywhere continuous (in both topological and measure-theoretic sense). The result, depending on stratification techniques, holds true in a more general setting of o-minimal (or tame) set-valued maps. Some applications are briefly discussed at the end.

preprint2008arXiv

Asymptotic behaviour of self-contracted planar curves and gradient orbits of convex functions

We hereby introduce and study the notion of self-contracted curves, which encompasses orbits of gradient systems of convex and quasiconvex functions. Our main result shows that bounded self-contracted planar curves have a finite length. We also give an example of a convex function defined in the plane whose gradient orbits spiral infinitely many times around the unique minimum of the function.