Related papers: Kernel Atomicity
This is the first paper in a series devoted to understanding the classical and quantum nature of edge modes and symmetries in gravitational systems. The goal of this analysis is to: i) achieve a clear understanding of how different…
Based on a more careful canonical analysis, we motivate a reduced quantization - in the sense of superspace quantization - of slightly inhomogeneous cosmology in place of the Dirac quantization in the existing literature, and provide it in…
We show that a $C^*$-algebra $A$ is nuclear iff there is a constant $K$ and $\alpha<3$ such that, for any bounded homomorphism $u\colon A \to B(H)$, there is an isomorphism $\xi\colon H\to H$ satisfying $\|\xi^{-1}\|\|\xi\| \le…
We take the view that the area of a black hole's event horizon is quantized, $A = l_P^2 \, (4 \ln 2) \, N$, and the associated degrees of freedom are finite in number and of fermionic nature. We then investigate general aspects of the…
Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide.…
Among the many important geometric properties of quantum state space are: transitivity of the group of symmetries of the cone of unnormalized states on its interior (homogeneity), identification of this cone with its dual cone of effects…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
Let $\mathcal{A}_{q}$ be an arbitrary quantum cluster algebra with principal coefficients. We give the fundamental relations between the quantum cluster variables arising from one-step mutations from the initial cluster in…
We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…
In 2019, Aterias et al. constructed pairs of quantum isomorphic, non-isomorphic graphs from linear constraint systems. This article deals with quantum automorphisms and quantum isomorphisms of colored versions of those graphs. We show that…
(1) Let 1\leq k\leq \omega. Call an atom structure \alpha weakly k neat representable, the term algebra is in \RCA_n\cap \Nr_n\CA_{n+k}, but the complex algebra is not representable. Call an atom structure neat if there is an atomic algebra…
For $R_1,R_2,R_3,\dots$ a family of non isomorphic rings (or algebras) having each only 2 idempotents ($1$ and $0$), we classify up to isomorphism the rings (or algebras) obtained by taking products of powers of the different $R_i$. We show…
In the paper "Aquino, C., Jim\'enez, R., Mijangos, M., Morales Mel\'endez, Q.: On Invariant (co)homology of a group, preprint" are introduced two groups generated by the orbits of an action of a group on another group by automorphisms. One…
The properties which give quantum mechanics its unique character - unitarity, complementarity, non-commutativity, uncertainty, nonlocality - derive from the algebraic structure of Hermitian operators acting on the wavefunction in complex…
We describe a proof of the following folklore theorem: If $\cX = G/K$ is the homogeneous space of a simply connected compact semisimple Lie group with Poisson-Lie stabilizers, then the $q$-deformed algebras of regular functions $\CC[\cX_q]$…
This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the…
It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties…
An integral domain $R$ is called atomic if every nonzero nonunit of $R$ factors into irreducibles, while $R$ satisfies the ascending chain condition on principal ideals if every ascending chain of principal ideals of $R$ stabilizes. It is…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity.…