We consider the tree structured group Lasso where the structure over the features can be represented as a tree with leaf nodes as features and internal nodes as clusters of the features. The structured regularization with a pre-defined tree structure is based on a group-Lasso penalty, where one group is defined for each node in the tree. Such a regularization can help uncover the structured spa...

We consider conceptual optimization methods combining two ideas: the Moreau-Yosida regularization in convex analysis, and quasi-Newton approximations of smooth functions. We outline several approaches based on this combination, and establish their global convergence. Then we study theoretically the local convergence properties of one of these approaches, which uses quasi-Newton updates of the o...

In this work, we prove the existence of a center manifold for some partial functional differential equations, whose linear part is not necessarily densely defined but satisfies the Hille-Yosida condition. The attractiveness of the center manifold is also shown when the unstable space is reduced to zero. We prove that the flow on the center manifold is completely determined by an ordinary differ...

In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. We first develop an operator version of the Henstock-Kurzweil integral, and a new Hilbert space that allows us to construct the elementary path integral in the manner originally envisioned by Feynman. After developing our time-ordered operator theory we extend a few of the important theorems of...

Let Λ be a finite measure on the unit interval. A Λ-Fleming-Viot process is a probability measure valued Markov process which is dual to a coalescent with multiple collisions (Λ-coalescent) in analogy to the duality known for the classical Fleming-Viot process and Kingman’s coalescent, where Λ is the Dirac measure in 0. We explicitly construct a dual process of the coalescent with simultaneous ...

Unlike the uniform completion, the Dedekind completion of a vector lattice is not functorial. In order to repair the lack of functoriality of Dedekind completions, we enrich the signature of vector lattices with a proximity relation, thus arriving at the category pdv of proximity Dedekind vector lattices. We prove that the Dedekind completion induces a functor from the category bav of bounded a...