English
Related papers

Related papers: On VC-minimal theories and variants

200 papers

We introduce and study strongly vertex dismissible, vertex dismissible, and scalable simplicial complexes as non-pure extensions of vertex decomposability and shellability. Strong vertex dismissibility is defined recursively by relaxing the…

Commutative Algebra · Mathematics 2026-04-06 Mohammed Rafiq Namiq

Metric regularity is among the central concepts of nonlinear and variational analysis, constrained optimization, and their numerous applications. However, metric regularity can be elusive for some important ill-posed classes of problems…

Optimization and Control · Mathematics 2025-03-30 Mario Jelitte , Boris S. Mordukhovich

In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…

Logic · Mathematics 2018-02-23 Beibut Kulpeshov , Sergey Sudoplatov

Visual representations are defined in terms of minimal sufficient statistics of visual data, for a class of tasks, that are also invariant to nuisance variability. Minimal sufficiency guarantees that we can store a representation in lieu of…

Computer Vision and Pattern Recognition · Computer Science 2016-06-29 Stefano Soatto , Alessandro Chiuso

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…

Metric Geometry · Mathematics 2019-03-12 Panu Lahti

In this paper, we introduce the classes of weakly surjunctive and linearly surjunctive groups which include all sofic groups and more generally all surjunctive groups. We investigate various properties of such groups and establish in…

Algebraic Geometry · Mathematics 2021-12-07 Xuan Kien Phung

The classical Baldwin-Lachlan characterization of uncountably categorical theories is known to fail in continuous logic in that not every inseparably categorical theory has a strongly minimal set. Here we investigate these issues by…

Logic · Mathematics 2022-08-12 James Hanson

This paper aims at investigating the contractibility of the solution sets for set optimization problems by utilizing strictly quasi cone-convexlikeness, which is an assumption weaker than strictly cone-convexity, strictly…

Optimization and Control · Mathematics 2023-11-28 Bin Chen , Yu Han

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

Logic · Mathematics 2015-09-24 Pierre Simon

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…

Logic · Mathematics 2016-10-06 Darío García , Frank Olaf Wagner

We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one…

Quantum Physics · Physics 2019-07-01 Heinz-Jürgen Schmidt

We establish a consistency result by comparing two independent notions of generalised solutions to a large class of linear hyperbolic first order PDE systems with constant coefficients, showing that they eventually coincide. The first is…

Analysis of PDEs · Mathematics 2018-01-25 Nikos Katzourakis

Controllability and observability are important properties of a distributed paramater systems.The equivalence between the notion of exact observability and exact controllability holds in general. In this work, we define a new notion of…

Optimization and Control · Mathematics 2013-06-21 Akram Ben Aissa

There has been growing interest in generalization performance of large multilayer neural networks that can be trained to achieve zero training error, while generalizing well on test data. This regime is known as 'second descent' and it…

Machine Learning · Statistics 2022-09-30 Eng Hock Lee , Vladimir Cherkassky

The aim of this paper is to present an original approach that takes advantage from the geometric features of strictly convex functions to tackle the problem of finding the minimum from another perspective. The general idea is that near the…

Optimization and Control · Mathematics 2023-07-21 E. Conti

We consider extensions of the notion of topological transitivity for a dynamical system $(X,f)$. In addition to chain transitivity, we define strong chain transitivity and vague transitivity. Associated with each there is a notion of…

Dynamical Systems · Mathematics 2017-10-16 Ethan Akin , Jim Wisman

The Weak Gravity Conjecture has recently been re-formulated in terms of a particle with non-negative self-binding energy. Because of the dual conformal field theory (CFT) formulation in the anti-de Sitter space the conformal dimension…

High Energy Physics - Theory · Physics 2022-01-19 Oleg Antipin , Jahmall Bersini , Francesco Sannino , Zhi-Wei Wang , Chen Zhang

Weak convergence of probability measures is one of the most important topics in the field probability and statistics. In this survey paper, we look at weak convergence of probability measures from the topological vector space point of view.…

Statistics Theory · Mathematics 2013-12-24 Liang Hong

We introduce a hierarchical classification of theories that describe systems with fundamentally limited information content. This property is introduced in an operational way and gives rise to the existence of mutually complementary…

Quantum Physics · Physics 2010-05-27 Tomasz Paterek , Borivoje Dakic , Caslav Brukner