Related papers: Cupping with random sets

The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…

(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a…

The reduced C*-algebra of a countable linear group G is shown to be simple if and only if G has no nontrivial normal amenable subgroups. Moreover, these conditions are shown to be equivalent to the uniqueness of tracial state on the…

In a recent article entitled "A simple explanation of the quantum violation of a fundamental inequality," Cabello proposes a condition on a class of probabilistic models that, he claims, gives the same bound on contextuality for the KCBS…

We prove, for any infinite field k, that any virtually trivial split spherical BN-pair in the group G(k) of k-rational points of a reductive k-group G is already trivial. We then inspect the case when G is k-anisotropic and show that in…

We show that if a set $A$ is computable from every superlow 1-random set, then $A$ is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from…

The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…

Let K be a number field. A finite group G is called K-admissible if there exists a G-crossed product K-division algebra. K-admissibility has a necessary condition called K-preadmissibility that is known to be sufficient in many cases. It is…

We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first-order structure. We argue that the notion parallels Martin-L\"{o}f (ML) randomness, in the sense that…

In approachability with full monitoring there are two types of conditions that are known to be equivalent for convex sets: a primal and a dual condition. The primal one is of the form: a set C is approachable if and only all containing…

The aim of this paper is to present an elementary computable theory of random variables, based on the approach to probability via valuations. The theory is based on a type of lower-measurable sets, which are controlled limits of open sets,…

We give a proof to the following theorem, which is well-known among experts: A connected subcomplex $W$ of a finite dimensional CAT(0) cubed complex $X$ is convex if and only if Lk$(v, W)$ is a full subcomplex of Lk$(v, X)$ for every vertex…

In comparing well-known CRDTs representing sets that can grow and shrink, we find caveats. In one, the removal of an element cannot be reliably undone. In another, undesirable states are attainable, such as when an element is present -1…

When we enumerate numbers up to some specific value, or, even if we do not specify the number, we know at the same time that there are much greater numbers which should be reachable by the same enumeration, but indeed we also congnize them…

In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in…

In this article, we show that for a partial skew group ring R*G, where R is a commutative ring, each non-zero ideal of R*G intersects R non-trivially if and only if R is a maximal commutative subring of R*G. As a consequence, we obtain…

Oblivious transfer is a primitive of paramount importance in cryptography or, more precisely, two- and multi-party computation due to its universality. Unfortunately, oblivious transfer cannot be achieved in an unconditionally secure way…

Arbitrary connections on a generic Hopf algebra $H$ are studied and shown to extend to connections on tensor fields. On this ground a general definition of metric compatible connection is proposed. This leads to a sufficient criterion for…

For a compact subset $K$ of a closed symplectic manifold $(M, \omega)$, we prove that $K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is non-zero. As an application we show that if two compact sets are…

In this note a very crude but simple approximation to the set of separable states in an arbitrary simplex of commutative states is given using the fact that on the lines connecting the maximally mixed state and an arbitrary pure state the…