Related papers: Invariant universality for quandles and fields
Understanding invertibility in restricted mis\`ere play has been challenging; in particular, the possibility of non-conjugate inverses posed difficulties. Advances have been made in a few specific universes, but a general theorem was…
We provide a pure algebraic version of the dynamical characterization of Conrad's property. This approach allows dealing with general group actions on totally ordered spaces. As an application, we give a new and somehow constructive proof…
We prove that the epimorphism relation is a complete analytic quasi-order on the space of countable groups. In the process, we obtain the result of independent interest that the epimorphism relation on pointed reflexive graphs is complete.
We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…
We introduce a complete set of complementary quantities in bipartite, two-dimensional systems. Complementarity then relates the quantitative entanglement measure concurrence which is a bipartite property to the single-particle quantum…
We show that a homeomorphism of Euclidean space is quasiconformal if and only if at each point there exists a sequence of uncentered open sets with bounded eccentricity shrinking to that point whose images also have bounded eccentricity.…
We give, for each countable ordinal $\xi \geq 1$, an example of a ${\bf\Delta}^0_2$ countable union of Borel rectangles that cannot be decomposed into countably many ${\bf\Pi}^0_\xi$ rectangles. In fact, we provide a graph of a partial…
It is shown that the power set of $\kappa$ ordered by the subset relation modulo various versions of the non-stationary deal can be embedded into the partial order of Borel equivalence relations on $2^\kappa$ under Borel reducibility. Here…
The set of linear, differential operators preserving the vector space of couples of polynomials of degrees n and n-2 in one real variable leads to an abstract associative graded algebra A(2). The irreducible, finite dimensional…
Computability on uncountable sets has no standard formalization, unlike that on countable sets, which is given by Turing machines. Some of the approaches to define computability in these sets rely on order-theoretic structures to translate…
Given any finite quiver, we consider a complete flag of vector spaces over each vertex. Consider the unipotent invariant subalgebra of the coordinate ring of the filtered quiver representation subspace. We prove that the dimension of the…
Entanglement is a striking feature of quantum mechanics, and it has a key property called unextendibility. In this paper, we present a framework for quantifying and investigating the unextendibility of general bipartite quantum states.…
We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…
We show that systems with some specification properties are topologically or almost Borel universal, in the sense that any aperiodic subshift with lower entropy may be topologically or almost Borel embedded.
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are…
Inspired by its fundamental importance in quantum mechanics, we define and study the notion of entanglement for abstract physical theories, investigating its profound connection with the concept of superposition. We adopt the formalism of…
Uniformly finite homology is a coarse invariant for metric spaces; in particular, it is a quasi-isometry invariant for finitely generated groups. In this article, we study uniformly finite homology of finitely generated amenable groups and…
We show for very general classes of measures on locally compact second countable groups that every Borel measurable quasimorphism is at bounded distance from a quasi-biharmonic one. This allows us to deduce non-degenerate central limit…