English
Related papers

Related papers: Recent uses of connectedness in functional analysi…

200 papers

Simplicity is held by many to be the key to general intelligence. Simpler models tend to "generalise", identifying the cause or generator of data with greater sample efficiency. The implications of the correlation between simplicity and…

Artificial Intelligence · Computer Science 2024-07-19 Michael Timothy Bennett

Static analysis by abstract interpretation is generally designed to be "sound", that is, it should not claim to establish properties that do not hold-in other words, not provide "false negatives" about possible bugs. A rarer requirement is…

Programming Languages · Computer Science 2024-12-11 David Monniaux

The notion of ordinal concavity of utility functions has recently been considered by Hafalir, Kojima, Yenmez, and Yokote in economics while there exist earlier related works in discrete optimization and operations research. In the present…

Combinatorics · Mathematics 2024-11-14 Satoru Fujishige , Fuhito Kojima , Koji Yokote

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

Logic · Mathematics 2025-07-04 Sayantan Roy , Sankha S. Basu , Mihir K. Chakraborty

The aim of this paper is to give the text of a recent introduction to nonlinear generalized functions exposed in my talk in the congress gf2011, which was asked by several participants. Three representative topics were presented: two…

Functional Analysis · Mathematics 2011-05-24 J. F. Colombeau

Contraction theory is a mathematical framework for studying the convergence, robustness, and modularity properties of dynamical systems and algorithms. In this opinion paper, we provide five main opinions on the virtues of contraction…

Systems and Control · Electrical Eng. & Systems 2025-07-24 Alexander Davydov , Francesco Bullo

This short note describes and proves a connectedness property which was introduced in Blocher et al. [2023] in the context of data depth functions for partial orders. The connectedness property gives a structural insight into union-free…

Machine Learning · Computer Science 2023-12-22 Georg Schollmeyer , Hannah Blocher

In Ordinal Classification tasks, items have to be assigned to classes that have a relative ordering, such as positive, neutral, negative in sentiment analysis. Remarkably, the most popular evaluation metrics for ordinal classification tasks…

Computation and Language · Computer Science 2022-02-22 Enrique Amigó , Julio Gonzalo , Stefano Mizzaro , Jorge Carrillo-de-Albornoz

A concept of implicit links for Complex Networks has been defined and a new value - cohesion factor, which allows to evaluate numerically the presence of such connection between any two nodes, has been introduced. We introduce a…

Disordered Systems and Neural Networks · Physics 2010-08-25 M. I. Zhenirovskyy , D. V. Lande , A. A. Snarskii

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…

Functional Analysis · Mathematics 2010-06-02 Gordan Zitkovic

This article is a continuation of my former article "On Connectivity Spaces". After some brief historical references relating to the subject, separation spaces and then adjoint notions of connective representation and connective foliation…

General Topology · Mathematics 2016-10-25 Stéphane Dugowson

Ontologies have been used for the purpose of bringing system and consistency to subject and knowledge areas. We present a criticism of the present mathematical structure of ontologies and indicate that they are not sufficient in their…

Digital Libraries · Computer Science 2015-03-12 Philip Davies , David Newell , Abigail Davies , Damla Karagozlu

Functions that are piecewise defined are a common sight in mathematics while convexity is a property especially desired in optimization. Suppose now a piecewise-defined function is convex on each of its defining components - when can we…

Classical Analysis and ODEs · Mathematics 2014-08-19 Heinz H. Bauschke , Yves Lucet , Hung M. Phan

In this short survey article, we showcase a number of non-trivial geometric problems that have recently been resolved by marrying methods from functional calculus and real-variable harmonic analysis. We give a brief description of these…

Differential Geometry · Mathematics 2019-09-18 Lashi Bandara

One of the traditional applications of relation algebras is to provide a setting for infinite-domain constraint satisfaction problems. Complexity classification for these computational problems has been one of the major open research…

Logic in Computer Science · Computer Science 2018-11-01 Manuel Bodirsky

Theorems crucial in elementary real function theory have proofs in which compactness arguments are used. Despite the introduction in relatively recent literature of each new highly elegant compactness argument, or of an equivalent, this…

Classical Analysis and ODEs · Mathematics 2025-10-28 Rafael Cantuba

Usually, density functional models are considered approximations to density functional theory, However, there is no systematic connection between the two, and this can make us doubt about a linkage. This attitude can be further enforced by…

Chemical Physics · Physics 2020-11-10 Andreas Savin

We characterize the inclusions of weighted classes of entire functions in terms of the defining weights resp. weight systems. First we treat weights defined in terms of a so-called associated weight function where the weight(system) is…

Complex Variables · Mathematics 2024-01-24 Gerhard Schindl

Convexity is an important notion in non linear optimization theory as well as in infinite dimensional functional analysis. As will be seen below, very simple and powerful tools will be derived from elementary duality arguments (which are…

Functional Analysis · Mathematics 2020-04-21 Guy Bouchitte