arXiv ScienceSearch

arXiv · 1511.07505

Tensor splitting properties of n-inverse pairs of operators

Abstract

In this paper we study n-inverse pairs of operators on the tensor product of Banach spaces. In particular we show that an n-inverse pair of elementary tensors of operators on the tensor product of two Banach spaces can arise only from l- and m-inverse pairs of operators on the individual spaces. This gives a converse to a result of Duggal and Müller, and proves a conjecture of the second named author. Our proof uses techniques from algebraic geometry, which generalize to other relations among operators in a tensor product. We apply this theory to obtain results for n-symmetries in a tensor product as well.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stepan Paul, Caixing Gu. 2015-11-23. Tensor splitting properties of n-inverse pairs of operators. https://arxiv.org/abs/1511.07505

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A three-functor formalism for commutative von Neumann algebras

A three-functor formalism is the half of a six-functor formalism that supports the projection and base change formulas. In this paper, we provide a three-functor formalism for commutative von Neumann algebras and their modules. Using the Gelfand-Naimark theorem, this gives rise to a three-functor formalism for measure spaces and measurable bundles of Hilbert spaces. We use this to prove Fell absorption for unitary representations of measure groupoids. The three-functor formalism for commutative von Neumann algebras takes values in W*-categories, and we discuss in what sense it is a unitary three-functor formalism.

math.OA

The hypergraph isomorphism game, Hopf algebras and Galois extensions

We develop an algebraic and operational framework for quantum isomorphisms of hypergraphs, using tools from compact quantum group theory. We introduce a new synchronous version of the hypergraph isomorphism game whose game algebra uniformly encodes multiple notions of quantum isomorphisms of hypergraphs. We show that there exist hypergraphs that are quantum isomorphic but not classically isomorphic. For graphs, we show that the $*$-algebra of the hypergraph isomorphism game is a quotient of the $*$-algebra of the graph isomorphism game. We further prove that the hypergraph game algebra forms a bi-Galois extension over the quantum automorphism groups of the underlying hypergraphs. This allows us to deduce that the algebraic notion of a quantum isomorphism of hypergraphs coincides with the operational one coming from the existence of perfect quantum strategies. Viewing games themselves as hypergraphs, we analyze isomorphisms and the transfer of strategies within this setting. Finally, we construct a $*$-algebra whose representation theory characterizes distinct classes of quantum isomorphisms between non-local games.

math.OA

Toeplitz $C^*$-algebras on radially weighted Fock spaces: commutativity and spectral representation

We study Toeplitz operators acting on radial weighted Fock spaces. We use tools from representation theory to construct commutative families of $C^*$-algebras that are generated by Toeplitz operators whose symbols are invariant under the action of $\U(n)$. For a partition $m=(b_1,...,b_k)$ of an integer $n$, we realize \[\mathbf{\U_m}:=\U(b_1)\times...\times\U(b_k)\] as a block diagonally subgroup of $\U(n)$ and describe the decomposition of the weighted Fock space into irreducible $\mathbf{U_m}$-modules. This allow us to study Toeplitz operators with symbols that are invariant under $\mathbf{U_m}$ and $k$-quasi-radial symbols, and we provide and explicit integral representation of their eigenvalues. More generally, for an arbitrary compact subgroup $H\subseteq\U(n)$, we characterize the commutativity of the $C^*$-algebra generated by $H$-invariant Toeplitz operators in terms of the multiplicity-free property of the representation $π|_H$. Finally, for a logarithmically growing radial weight, we construct a bounded radial symbol for which the corresponding eigenvalue sequence not uniformly continuous with respect to the square root metric. Consequently, the uniform closure of the set of eigenvalue sequences does not coincide with the $C^*$-algebra of bounded sequences that are uniformly continuous with respect to the square root metric.

math.OA