Related papers: Categories of orthosets and adjointable maps

A pair $(A,B)$ of hypergraphs is called orthogonal if $|a \cap b|=1$ for every pair of edges $a \in A$ and $b \in B$. An orthogonal pair of hypergraphs is called a loom if each of its two members is the set of minimum covers of the other.…

A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $\theta$ on $P$; $\theta$ is then called a congruence if it satisfies certain conditions, which vary according to different…

Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…

Let $H$ be a complex Hilbert space and let ${\mathcal G}_{k}(H)$ be the Grassmannian formed by $k$-dimensional subspaces of $H$. Suppose that $\dim H>2k$ and $f$ is an orthogonality preserving injective transformation of ${\mathcal…

A basic question concerning indecomposable Soergel bimodules is to understand their endomorphism rings. In characteristic zero all degree-zero endomorphisms are isomorphisms (a fact proved by Elias and the second author) which implies the…

A pair of orthonormal bases is called mutually unbiased if all mutual overlaps between any element of one basis with an arbitrary element of the other basis coincide. In case the dimension, $d$, of the considered Hilbert space is a power of…

Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…

We prove that the inclusion of the space of gradient local maps into the space of all local maps from Hilbert space to itself induces a bijection between the sets of the respective otopy classes of these maps, where by a local map we mean a…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

We classify all continuous tensor product systems of Hilbert spaces which are ``infinitely divisible" in the sense that they have an associated logarithmic structure. These results are applied to the theory of E_0 semigroups to deduce that…

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

We study the reach (in the sense of Federer) of the natural isometric embedding $X\hookrightarrow W_p(X)$ of $X$ inside its $p$-Wasserstein space, where $(X,\operatorname{dist})$ is a geodesic metric space. We prove that if a point $x\in X$…

Let $A$ be a $C^*$-algebra. Let $E$ and $F$ be Hilbert $A$-modules with $E$ being full. Suppose that $\theta : E\to F$ is a linear map preserving orthogonality, i.e., $<\theta(x), \theta(y) > = 0$ whenever $<x, y > = 0$. We show in this…

We consider the set of pairs of orthogonal vectors in Hilbert space, which is also called the cross because it is the union of the horizontal and vertical axes in the Euclidean plane when the underlying space is the real line. Crosses,…

Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$.…

We study Birkhoff-James orthogonality and isosceles orthogonality of bounded linear operators between Hilbert spaces and Banach spaces. We explore Birkhoff-James orthogonality of bounded linear operators in light of a new notion introduced…

A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the…

Alternating bilinear maps with few relations allow to define a combinatorial closure similarly as in [2]. For the $\aleph_0$-categorical case we show that this closure is part of the algebraic closure.

A synaptic algebra is both a special Jordan algebra and a spectral order-unit normed space satisfying certain natural conditions suggested by the partially ordered Jordan algebra of bounded Hermitian operators on a Hilbert space. The…

If $\H$ is a Hilbert space, $A$ is a positive bounded linear operator on $\cH$ and $\cS$ is a closed subspace of $\cH$, the relative position between $\cS$ and $A^{-1}(\cS \orto)$ establishes a notion of compatibility. We show that the…