Related papers: On a generalization of property B
Property A introduced by Guoliang Yu is an amenability-type property for metric spaces. In this article, we study property A for uniformly locally finite coarse spaces. Main examples of coarse spaces are a metric space, a set equipped with…
The concept of Property (II) was introduced and characterized by Chen and Lin \cite{CL}. In this work, given a compatiable collection of bounded sets $\mathcal{A}$, we provide a complete characterization of two generalizations of Property…
Property C stands for completeness of the set of products of solutions to homogeneous linear differential equations. property C is proved in various formulations for Schr\"odinger operators. Many applications of this property to inverse…
A serial property is a suitably enumerated sequence $\{F_n\}$ of formulas and is called selector provable in PA if there is a PA-recursive function $s(x)$ such that PA $\vdash \forall x (s(x){:}_{\text{PA}} \ulcorner F_x\urcorner)$ where…
Utilizing the notion of property (T) we construct new examples of quantum group norms on the polynomial algebra of a compact quantum group, and provide criteria ensuring that these are not equal to neither the minimal nor the maximal norm.…
In previous work, we have introduced and studied a lifting property in congruence--distributive universal algebras which we have defined based on the Boolean congruences of such algebras, and which we have called the Congruence Boolean…
A complete theory $T$ has the Schr\"oder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a…
We provide an expository account of Guoliang Yu's property A. The piece starts from the basic definitions, and goes on to discuss closure properties of the class of property A spaces (and groups) and the relationship of property A to coarse…
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of objects. The key question in this area, which has important…
Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic…
Estimating properties of discrete distributions is a fundamental problem in statistical learning. We design the first unified, linear-time, competitive, property estimator that for a wide class of properties and for all underlying…
This contribution introduces a novel statistical learning methodology based on the Bradley-Terry method for pairwise comparisons, where the novelty arises from the method's capacity to estimate the worth of objects for a primary attribute…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
We prove that in a countable theory T fully stable over a predicate P, any complete set A has the existence property. This means that A can be extended to a model of T without changing the P-part. In particular, T has the Gaifman property:…
We generalize the analog of Buchberger's first criterion, stated by Boulier et al., for detecting useless S-polynomials reductions in the computation of characteristic sets of differential ideals. The original version assumes linear…
We introduce and investigate a quantitative version of Steinhaus' property $(S)$ for Banach spaces, called the uniform property $(S)$. A Banach space $X$ is said to have uniform $(S)$ if for every pair of distinct unit vectors $x,y\in X$…
The replacement property (or Steinitz Exchange Lemma) for vector spaces has a natural analog for finite groups and their generating sets. For the special case of the groups PSL(2, p), where p is a prime larger than 5, first partial results…
Inferring the value of a property of a large stochastic system is a difficult task when the number of samples is insufficient to reliably estimate the probability distribution. The Bayesian estimator of the property of interest requires the…
This article generalizes two approaches for property (T) - the first is a generalization of Zuk's criterion for property (T) and the second is a generalization of the work of Kassabov regarding property (T) and subspace arrangements. In…
The transfer property for the generalized Browder's theorem both of the tensor product and of the left-right multiplication operator will be characterized in terms of the $B$-Weyl spectrum inclusion. In addition, the isolated points of…