Related papers: Analytic equivalence relations and bi-embedability
Link prediction is critical for the application of incomplete knowledge graph (KG) in the downstream tasks. As a family of effective approaches for link predictions, embedding methods try to learn low-rank representations for both entities…
We show that every countable Borel equivalence relation structurable by $n$-dimensional contractible simplicial complexes embeds into one which is structurable by such complexes with the further property that each vertex belongs to at most…
A $\lambda$-graph bisystem $\mathcal{L}$ consists of two labeled Bratteli diagrams $(\mathcal{L}^-,\mathcal{L}^+)$, that presents a two-sided subshift $\Lambda_\mathcal{L}$. We will construct a compact totally disconnected metric space with…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley--Abels graph of a totally disconnected, locally compact group, we detail countable connected graphs associated to Polish groups that we term…
Finiteness conditions for $C^*$-algebras like AF-embeddability, quasidiagonality, stable finiteness have been studied by many authors and shown to be equivalent for certain classes of $C^*$-algebras. For example, Schfhauser proves that…
We provide a complete classification, up to order-isomorphism, of all possible Wadge hierarchies on zero-dimensional Polish spaces using (essentially) countable ordinals as complete invariants. We also observe that although our assignment…
This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the…
A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula in monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each "computation…
The aim of this article is to give an expository account of the equivalence between modest sets and partial equivalence relations. Our proof is entirely self-contained in that we do not assume any knowledge of categorical realizability. At…
The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5…
In this paper, a notion of Schauder equivalence relation $\mathbb R^\mathbb N/L$ is introduced, where $L$ is a linear subspace of $\mathbb R^\mathbb N$ and the unit vectors form a Schauder basis of $L$. The main theorem is to show that the…
We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n…
We present a method for associating labeled directed graphs to finite-dimensional Lie algebras, thereby enabling rapid identification of key structural algebraic features. To formalize this approach, we introduce the concept of…
A well-known theorem of Assouad states that metric spaces satisfying the doubling property can be snowflaked and bi-Lipschitz embedded into Euclidean spaces. Due to the invariance of many geometric properties under bi-Lipschitz maps, this…
We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…
Given a symmetric Leibniz algebra $(\mathcal{L},.)$, the product is Lie-admissible and defines a Lie algebra bracket $[\;,\;]$ on $\mathcal{L}$. Let $G$ be the connected and simply-connected Lie group associated to $(\mathcal{L},[\;,\;])$.…
Motivated by the classical correspondence between short exact sequences and splitting properties in module theory, this paper examines the projective and injective analogues within the category of Lie algebras. We first show that no Lie…
We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…
The group of automorphisms of the Cuntz algebra $\mathcal{O}_{2}$ is a Polish group with respect to the topology of pointwise convergence in norm. Our main result is that the relations of conjugacy and cocycle conjugacy of automorphisms of…