Related papers: Algebraic Core and Convex Calculus without Topolog…

We extend recent computer-assisted design and analysis techniques for first-order optimization over structured functions--known as performance estimation--to apply to structured sets. We prove "interpolation theorems" for smooth and…

Convex optimization is a vibrant and successful area due to the existence of a variety of efficient algorithms that leverage the rich structure provided by convexity. Convexity of a smooth set or a function in a Euclidean space is defined…

Using tools provided by the theory of abstract convexity, we extend conditions for zero duality gap to the context of nonconvex and nonsmooth optimization. Mimicking the classical setting, an abstract convex function is the upper envelope…

We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains…

We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and…

All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces…

We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…

The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of those incredibly well-chosen hypotheses which is just…

Families of objects appear in several contexts, like algebraic topology, theory of deformations, theoretical physics, etc. An unified coordinate-free algebraic framework for families of geometrical quantities is presented here, which allows…

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two…

Let $X$ and $E$ be $f$-algebras and $p:X \to E_+$ be a monotone vector norm. Then the triple $(X,p,E)$ is called a lattice-normed $f$-algebraic space. In this paper, we show a generalization of the extension of the Hahn-Banach theorem for…

We present an efficient framework for solving algebraically-constrained global non-convex polynomial optimization problems over subsets of the hypercube. We prove the existence of an equivalent nonlinear reformulation of such problems that…

Intrinsic core generalises the finite-dimensional notion of the relative interior to arbitrary (real) vector spaces. Our main goal is to provide a self-contained overview of the key results pertaining to the intrinsic core and to elucidate…

Consider a formally self-adjoint first order linear differential operator acting on pairs (2-columns) of complex-valued scalar fields over a 4-manifold without boundary. We examine the geometric content of such an operator and show that it…

We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…

In this paper, we give three different new proofs of the validity of the geometry conjecture about cycles of projections onto nonempty closed, convex subsets of a Hilbert space. The first uses a simple minimax theorem, which depends on the…

This work addresses arbitrary convex vector optimization problems, which constitute a general framework for multi-criteria decision-making in diverse real-world applications. Due to their complexity, such problems are typically tackled…

We study Bohr's theorem for vector valued holomorphic and operator valued pluriharmonic functions on complete Reinhardt domains in $\mathbb{C}^n$. Using invariants from local Banach space theory, we show that the associated Bohr radius is…

Tensor-based methods are receiving a growing interest in scientific computing for the numerical solution of problems defined in high dimensional tensor product spaces. A family of methods called Proper Generalized Decompositions methods…

Functions with uniform sublevel sets can represent orders, preference relations or other binary relations and thus turn out to be a tool for scalarization that can be used in multicriteria optimization, decision theory, mathematical…