English
Related papers

Related papers: On VC-minimal theories and variants

200 papers

In this paper, vector optimization is considered in the framework of decision making and optimization in general spaces. Interdependencies between domination structures in decision making and domination sets in vector optimization are…

Optimization and Control · Mathematics 2017-12-06 Petra Weidner

We introduce the notions of $\varepsilon$-approximate fixed point and weak $\varepsilon$-approximate fixed point. We show that for a group of unitary matrices even the existence of a nontrivial weak $\varepsilon$-approximate fixed point for…

Group Theory · Mathematics 2023-10-12 Bojan Kuzma , Mitja Mastnak , Heydar Radjavi , Matjaž Omladič

Detecting hidden convexity is one of the tools to address nonconvex minimization problems. After giving a formal definition of hidden convexity, we introduce the notion of conditional infimum, as it will prove instrumental in detecting…

Optimization and Control · Mathematics 2021-04-13 Jean-Philippe Chancelier , Michel de Lara

We bound the number of nearly orthogonal vectors with fixed VC-dimension over $\setpm^n$. Our bounds are of interest in machine learning and empirical process theory and improve previous bounds by Haussler. The bounds are based on a simple…

Combinatorics · Mathematics 2011-02-18 Lee-Ad Gottlieb , Leonid , Kontorovich , Elchanan Mossel

In this paper, approximate optimality conditions and sensitivity analysis in nearly convex optimization are discussed. More precisely, as in the spirit of convex analysis, we introduce the concept of $\varepsilon$-subdifferential for nearly…

Optimization and Control · Mathematics 2024-10-08 Nguyen Van Tuyen , Liguo Jiao , Vu Hong Quan , Duong Thi Viet An

In this paper, we investigate several subsets of $n$-copulas and $n$-quasi-copulas from the perspective of convex-lineability and the recently introduced concept of convex-spaceability. Our purpose is to determine when such families contain…

Statistics Theory · Mathematics 2026-02-09 Enrique de Amo , Juan Fernández-Sánchez , David García-Fernández , Manuel Úbeda-Flores

Let $\Omega $ be a bounded ${\mathcal{C}}^{\infty}$-smoothly bounded domain in ${\mathbb{C}}^{n}.$ For such a domain we define a new notion between strict pseudo-convexity and pseudo-convexity: the size of the set $W$ of weakly…

Complex Variables · Mathematics 2019-11-06 Eric Amar

The problem of minimizing convex functionals of probability distributions is solved under the assumption that the density of every distribution is bounded from above and below. A system of sufficient and necessary first-order optimality…

Information Theory · Computer Science 2018-12-05 Michael Fauss , Abdelhak M. Zoubir

One revisits the standard saddle-point method based on conjugate duality for solving convex minimization problems. Our aim is to reduce or remove unnecessary topological restrictions on the constraint set. Dual equalities and…

Optimization and Control · Mathematics 2007-10-09 Christian Léonard

The paper introduces a general strategy for identifying strong local minimizers of variational functionals. It is based on the idea that any variation of the integral functional can be evaluated directly in terms of the appropriate…

Analysis of PDEs · Mathematics 2012-10-02 Yury Grabovsky , Tadele Mengesha

A weak notion of elastic energy for (not necessarily regular) rectifiable curves in any space dimension is proposed. Our $p$-energy is defined through a relaxation process, where a suitable $p$-rotation of inscribed polygonals is adopted.…

Differential Geometry · Mathematics 2023-01-02 Domenico Mucci , Alberto Saracco

We construct a family of functions suitable for establishing lower bounds on the oracle complexity of first-order minimization of smooth strongly-convex functions. Based on this construction, we derive new lower bounds on the complexity of…

Optimization and Control · Mathematics 2021-06-16 Yoel Drori , Adrien Taylor

We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from…

Logic · Mathematics 2024-09-02 Noah Schweber

We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erd\H{o}s problem of finding…

Weak sharp minimality is a notion emerged in optimization, whose utility is largeley recognized in the convergence analysis of algorithms for solving extremum problems as well as in the study of the perturbation behaviour of such problems.…

Optimization and Control · Mathematics 2013-01-23 Amos Uderzo

We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.

Logic · Mathematics 2026-05-12 Leonardo N. Coregliano , Maryanthe Malliaris

We study linear orderings expanded by functions for successor and predecessor. The successor and predecessor on linear orderings capture the relatively intrinsically computably enumerable information about orderings in much the same way…

The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice…

Functional Analysis · Mathematics 2017-10-10 Youssef Azouzi

A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…

Analysis of PDEs · Mathematics 2010-09-24 Xu Liu , Xu Zhang

The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and…

Logic in Computer Science · Computer Science 2014-05-28 Jürgen Christ , Jochen Hoenicke