Related papers: The em-convex rewrite system
The existence of a homogeneous decomposition for continuous and epi-translation invariant valuations on super-coercive functions is established. Continuous and epi-translation invariant valuations that are epi-homogeneous of degree $n$ are…
In this article we dwell into the class of so called ill posed Linear Inverse Problems (LIP) in machine learning, which has become almost a classic in recent times. The fundamental task in an LIP is to recover the entire signal / data from…
An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some…
We overview the main ideas and techniques of the functional-analytical approach to some extremal problems of convex geometry that stem from the Queen Dido problem.
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs,…
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on…
This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness,…
In this paper we the formulation of inverse problems as constrained minimization problems and their iterative solution by gradient or Newton type. We carry out a convergence analysis in the sense of regularization methods and discuss…
We investigate a class of composite nonconvex functions, where the outer function is the sum of univariate extended-real-valued convex functions and the inner function is the limit of difference-of-convex functions. A notable feature of…
In this paper, we propose in a Hilbertian setting a second-order time-continuous dynamic system with fast convergence guarantees to solve structured convex minimization problems with an affine constraint. The system is associated with the…
We consider a general causal relativistic theory of divergence type in the framework of Rational Extended Thermodynamics (RET) for a compressible, possibly dense, gas. We require that the system converges in the Maxwellian iteration's first…
In this paper, we use Legendre-Fenchel transform and a space decomposition to carry out Fountain theorem and dual Fountain theorem for the following elliptic system of Hamiltonian type: \[ \begin{cases} \begin{aligned} -\Delta u&=H_v(u, v)…
Properties of Term Rewriting Systems are called modular iff they are preserved under (and reflected by) disjoint union, i.e. when combining two Term Rewriting Systems with disjoint signatures. Convergence is the property of Infinitary Term…
In an attempt to look for the root of nonstandard Lagrangians in the theories of the inverse variational problem we introduce a logarithmic Lagrangian (LL) in addition to the so-called reciprocal Lagrangian (RL) that exists in the…
In this manuscript we deal with elliptic equations with superlinear first order terms in divergence form of the following type \[ -\mbox{div}(M(x)\nabla u)= -\mbox{div}(h(u)E(x))+f(x), \] where $M$ is a bounded elliptic matrix, the vector…
This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for the precedence are encoded in (pseudo-)propositional logic and the…
Contraction theory for dynamical systems on Euclidean spaces is well-established. For contractive (resp. semi-contractive) systems, the distance (resp. semi-distance) between any two trajectories decreases exponentially fast. For partially…
Convex optimization problems arise naturally in quantum information theory, often in terms of minimizing a convex function over a convex subset of the space of hermitian matrices. In most cases, finding exact solutions to these problems is…
We propose a geometric algorithm for topic learning and inference that is built on the convex geometry of topics arising from the Latent Dirichlet Allocation (LDA) model and its nonparametric extensions. To this end we study the…
It is by now well-known that one can recover a potential in the wave equation from the knowledge of the initial waves, the boundary data and the flux on a part of the boundary satisfying the Gamma-conditions of J.-L. Lions. We are…