Related papers: Measurability and Perfect Set Theorems for Equival…
For a discrete group $G$, we consider certain ideals $\mathcal{I}\subset c_0(G)$ of sequences with prescribed rate of convergence to zero. We show that the equality between the full group C$^\ast$-algebra of $G$ and the C$^\ast$-completion…
In this paper, we provide a combinatorial characterization of those collections of cells whose inner $2$-minor ideals are complete intersections. More precisely, given a collection of cells $\mathcal C$ and its associated inner $2$-minor…
This paper is about the local geometry of a real surfaces. It introduces machinery for studying families of subsets which are determined by conditions which are similar to base conditions, but also involve positivity/non-negativity. The…
We show that for a Hecke pair $(G, \Gamma)$ the $C^*$-completions $C^*(L^1(G, \Gamma))$ and $pC^*(\bar{G})p$ of its Hecke algebra coincide whenever the group algebra $L^1(\bar{G})$ satisfies a spectral property which we call…
Associated to classical semi-simple groups and their maximal parabolics are genuine zeta functions. Naturally related to Riemann's zeta and governed by symmetries, including that of Weyl, these zetas are expected to satisfy the Riemann…
Let A be a finite subset of a commutative additive group Z. The sumset and difference set of A are defined as the sets of pairwise sums and differences of elements of A, respectively. The well-known inequality $\sigma(A)^{1/2} \leq…
In a general setting, we introduce a new bipartite state property sufficient for the validity of the perfect correlation form of the original Bell inequality for any three bounded quantum observables. A bipartite quantum state with this…
We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…
An ideal is a nonempty collection of subsets closed under heredity and finite additivity. The aim of this paper is to unify some weak separation properties via topological ideals. We concentrate our attention on the separation axioms…
We study how many comparability subgraphs are needed to partition the edge set of a perfect graph. We show that many classes of perfect graphs can be partitioned into (at most) two comparability subgraphs and this holds for almost all…
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…
A left ideal of any $C^*$-algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Indeed left ideals in $C^*$-algebras may be characterized as the class of such operator algebras, which happen…
We produce a forcing extension of the constructible universe $\bL$ in which every universally measurable set of reals is $\uTDelta^{1}_{2}$, partially answering question CG from David Fremlin's problem list. The analogous result for…
Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation…
The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $\sigma\tau$, such that $\sigma$ is order isomorphic to a permutation in $\mathcal{C}$, and $\tau$ to a…
Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.
We consider a class of homogeneous self-similar sets with complete overlaps and give a sufficient condition for the Lipschitz equivalence between members in this class.
For each $1\leq i \le n$, let $k_i\geq 1$ and let $\Delta_i$ be a set of vertices of a non-degenerate simplex of $k_i+1$ points in $\mathbb{R}^{k_i+1}$. If $A\subseteq [0,1]^{k_1+1}\times \cdots \times [0,1]^{k_n+1}$ is a Lebesgue…
We revisit the analogy between a minimally coupled scalar field in general relativity and a perfect fluid, correcting previous identifications of effective temperature and chemical potential. This provides a useful complementary picture for…
Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…