Related papers: A quantum complexity approach to the Kirchberg Emb…
We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies…
We prove that any separable exact C*-algebra is isomorphic to a subalgebra of the Cuntz algebra ${\cal O}_2.$ We further prove that if $A$ is a simple separable unital nuclear C*-algebra, then ${\cal O}_2 \otimes A \cong {\cal O}_2,$ and…
We introduce hardness in relative entropy, a new notion of hardness for search problems which on the one hand is satisfied by all one-way functions and on the other hand implies both next-block pseudoentropy and inaccessible entropy, two…
We introduce certain $C^*$-algebras and $k$-graphs associated to $k$ finite dimensional unitary representations $\rho_1,...,\rho_k$ of a compact group $G$. We define a higher rank Doplicher-Roberts algebra $\mathcal{O}_{\rho_1,...,\rho_k}$,…
A map $f\colon K\to \mathbb R^d$ of a simplicial complex is an almost embedding if $f(\sigma)\cap f(\tau)=\emptyset$ whenever $\sigma,\tau$ are disjoint simplices of $K$. Theorem. Fix integers $d,k\ge2$ such that $d=\frac{3k}2+1$. (a)…
In this paper we give a formula for the $K$-theory of the $C^*$-algebra of a weakly left-resolving labelled space. This is done by realising the $C^*$-algebra of a weakly left-resolving labelled space as the Cuntz-Pimsner algebra of a…
We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise…
Quantum neural networks have emerged as promising quantum machine learning models, leveraging the properties of quantum systems and classical optimization to solve complex problems in physics and beyond. However, previous studies have…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion ($\mathsf{ATR}_0$) from the point of view of computability-theoretic reducibilities, in particular Weihrauch…
For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from $\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects turn out to…
From the mid-1970s, Eberhard Kirchberg undertook a remarkable extensive study of $C^*$-algebras exactness whose applications spread out to many branches of analysis. In this review we focus on the case of groupoid $C^*$-algebras for which…
In this paper we study of *-representations for polynomial algebras on quantum matrix spaces. We deal with two special cases of the polynomial algebras, namely the algebra of polynomials on quantum complex matrices $\mathrm{Mat_2}$ and on…
Quantum Inverse Problem (QIP) is the problem of estimating an unknown quantum system $\rho$ from a set of measurements, whereas the classical counterpart is the Inverse Problem of estimating a distribution from a set of observations. In…
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a parallelized form of the matrix multiplicative weights update…
It is determined exactly which classifiable C*-algebras have approximately inner flip. The answer includes a number of C*-algebras with torsion in their K-theory, and a number of C*-algebras that are self-absorbing but not strongly…
We give a complete $K$-theoretical description of when an extension of two simple graph $C^{*}$-algebras is again a graph $C^{*}$-algebra.
One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…
From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels…
We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…