Related papers: Compactness in normed spaces: a unified approach t…
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or…
In this paper we deal with a best approximation of a vector with respect to a closed semi-algebraic set $C$ in the space $\mathbb{R}^n$ endowed with a semi-algebraic norm $\nu$. Under additional assumptions on $\nu$ we prove…
We present a notion of precompactness, and study some of its properties, in the context of apartness spaces whose apartness structure is not necessarily induced by any uniform one. The presentation lies entirely with a Bishop-style…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
A revised version of the compactness criterion for families of quantum operations in the strong convergence topology (obtained previously) is presented, along with a more detailed proof and the examples showing the necessity of this…
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
In this article we introduce and study uniform and non-uniform approximate lattices in locally compact second countable (lcsc) groups. These are approximate subgroups (in the sense of Tao) which simultaneously generalize lattices in lcsc…
This work is devoted to establish the strong convergence results of an iterative algorithm generated by the shrinking projection method in Hilbert spaces. The proposed approximation sequence is used to find a common element in the set of…
The central concept in the harmonic analysis of a compact group is the completeness of Peter-Weyl orthonormal basis as constructed from the matrix coefficients of a maximal set of irreducible unitary representations of the group, leading…
We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a…
We approximate any portion of any orbit of the full diagonal group $A$ in the space of unimodular lattices in $\RR^n$ using a fixed proportion of a compact $A$-orbit. Using those approximations for the appropriate sequence of orbits, we…
In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…
We consider a generalized Baernstein space associated to a compact family of finite subsets of an uncountable set. We show that for certain transfinitely defined families such spaces admit an equivalent $2$-rotund norm. We also show that…
A Tychonoff space $X$ is called ({\em sequentially}) {\em Ascoli} if every compact subset (resp. convergent sequence) of $C_k(X)$ is equicontinuous, where $C_k(X)$ denotes the space of all real-valued continuous functions on $X$ endowed…
Given a parameter dependent fixed point equation $x = F(x,u)$, we derive an abstract compactness principle for the fixed point map $u \mapsto x^*(u)$ under the assumptions that (i) the fixed point equation can be solved by the contraction…
We propose a new embedding method which is particularly well-suited for settings where the sample size greatly exceeds the ambient dimension. Our technique consists of partitioning the space into simplices and then embedding the data points…
This paper studies regularity of perimiter quasiminimizing sets in metric measure spaces with a doubling measure and a Poincare inequality. The main result shows that the measure theoretic boundary of a quasiminimizing set coincides with…
Consider a quantum cat map $M$ associated to a matrix $A\in\mathop{\mathrm{Sp}}(2n,\mathbb Z)$, which is a common toy model in quantum chaos. We show that the mass of eigenfunctions of $M$ on any nonempty open set in the position-frequency…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
A computational theory for clustering and a semi-supervised clustering algorithm is presented. Clustering is defined to be the obtainment of groupings of data such that each group contains no anomalies with respect to a chosen grouping…