Showing 1–50 of 95 results for author: Todorov, G

Defect Invariant Nakayama Algebras

Authors: Emre Sen, Gordana Todorov, Shijie Zhu

Abstract: We show that for a given Nakayama algebra $Θ$, there exist countably many cyclic Nakayama algebras $Λ_i$, where $i \in \mathbb{N}$, such that the syzygy filtered algebra of $Λ_i$ is isomorphic to $Θ$ and we describe those algebras $Λ_i$. We show, among these algebras, there exists a unique algebra $Λ$ where the defects, representing the number of indecomposable injective but not projective modules… ▽ More We show that for a given Nakayama algebra $Θ$, there exist countably many cyclic Nakayama algebras $Λ_i$, where $i \in \mathbb{N}$, such that the syzygy filtered algebra of $Λ_i$ is isomorphic to $Θ$ and we describe those algebras $Λ_i$. We show, among these algebras, there exists a unique algebra $Λ$ where the defects, representing the number of indecomposable injective but not projective modules, remain invariant for both $Θ$ and $Λ$. As an application, we achieve the classification of cyclic Nakayama algebras that are minimal Auslander-Gorenstein and dominant Auslander-regular algebras of global dimension three. Specifically, by using the Auslander-Iyama correspondence, we obtain cluster-tilting objects for certain Nakayama algebras. Additionally, we introduce cosyzygy filtered algebras and show that it is dual of syzygy filtered algebra. △ Less

Submitted 31 May, 2024; originally announced June 2024.

Comments: Comments are welcome!

MSC Class: 16E05 16E10 16G20

Operator systems, contextuality and non-locality

Authors: Michalis Anoussis, Alexandros Chatzinikolaou, Ivan G. Todorov

Abstract: We introduce an operator system, universal for the probabilistic models of a contextuality scenario, and identify its maximal C*-cover as the right C*-algebra of a canonical ternary ring of operators, arising from a hypergraph version of stochastic operator matrices. We study dilating contextuality scenarios, which have the property that each positive operator representation thereof admits a dilat… ▽ More We introduce an operator system, universal for the probabilistic models of a contextuality scenario, and identify its maximal C*-cover as the right C*-algebra of a canonical ternary ring of operators, arising from a hypergraph version of stochastic operator matrices. We study dilating contextuality scenarios, which have the property that each positive operator representation thereof admits a dilation to a projective representation on a larger Hilbert space, and characterise them via the equality of the aforementioned universal operator system and the operator system arising from the canonical generators of the respective hypergraph C*-algebra. We characterise the no-signalling probabilistic models over a pair of contextuality scenarios of different types, which arise from either the positive operator representations or from the projective representations of these scenarios, in terms of states on operator system tensor products. Generalising the notion of a synchronous no-signalling correlation to the hypergraph framework, we define coherent probabilistic models associated with a given contextuality scenario and characterise various classes thereof via different types of traces of the hypergraph C*-algebra, associated with the scenario. We establish several equivalent formulations of the Connes Embedding Problem in terms of no-signalling probabilistic models and hypergraph operator systems. △ Less

Submitted 17 May, 2024; originally announced May 2024.

MSC Class: 47L25; 81R15; 46L07

Homomorphisms of quantum hypergraphs

Authors: Gage Hoefer, Ivan G. Todorov

Abstract: We introduce quantum homomorphisms between quantum hypergraphs through the existence of perfect strategies for quantum non-local games, canonically associated with the quantum hypergraphs. We show that the relation of homomorphism of a given type satisfies natural analogues of the properties of a pre-order. We show that quantum hypergraph homomorphisms of local type are closely related, and in som… ▽ More We introduce quantum homomorphisms between quantum hypergraphs through the existence of perfect strategies for quantum non-local games, canonically associated with the quantum hypergraphs. We show that the relation of homomorphism of a given type satisfies natural analogues of the properties of a pre-order. We show that quantum hypergraph homomorphisms of local type are closely related, and in some cases identical, to the TRO equivalence of finite dimensionally acting operator spaces, canonically associated with the hypergraphs. △ Less

Submitted 10 November, 2023; originally announced November 2023.

MSC Class: 81P45; 15A04; 94A40; 91A12

Values of cooperative quantum games

Authors: Jason Crann, Rupert H. Levene, Ivan G. Todorov, Lyudmila Turowska

Abstract: We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a conseque… ▽ More We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a consequence, we provide metric characterisations of state convertibility via LOSR and LOCC.En route, we obtain an alternative description of the maximal tensor products of ternary rings of operators. △ Less

Submitted 26 October, 2023; originally announced October 2023.

Comments: 60 pages

Quantum no-signalling bicorrelations

Authors: Michael Brannan, Samuel J. Harris, Ivan G. Todorov, Lyudmila Turowska

Abstract: We introduce classical and quantum no-signalling bicorrelations and characterise the different types thereof in terms of states on operator system tensor products, exhibiting connections with bistochastic operator matrices and with dilations of quantum magic squares. We define concurrent bicorrelations as a quantum input-output generalisation of bisynchronous correlations. We show that concurrent… ▽ More We introduce classical and quantum no-signalling bicorrelations and characterise the different types thereof in terms of states on operator system tensor products, exhibiting connections with bistochastic operator matrices and with dilations of quantum magic squares. We define concurrent bicorrelations as a quantum input-output generalisation of bisynchronous correlations. We show that concurrent bicorrelations of quantum commuting type correspond to tracial states on the universal C*-algebra of the projective free unitary quantum group, showing that in the quantum input-output setup, quantum permutations of finite sets must be replaced by quantum automorphisms of matrix algebras. We apply our results to study the quantum graph isomorphism game, describing the game C*-algebra in this case, and make precise connections with the algebraic notions of quantum graph isomorphism, existing presently in the literature. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 76 pages

Quantum hypergraph homomorphisms and non-local games

Authors: Gage Hoefer, Ivan G. Todorov

Abstract: Using the simulation paradigm in information theory, we define notions of quantum hypergraph homomorphisms and quantum hypergraph isomorphisms, and show that they constitute partial orders and equivalence relations, respectively. Specialising to the case where the underlying hypergraphs arise from non-local games, we define notions of quantum non-local game homomorphisms and quantum non-local game… ▽ More Using the simulation paradigm in information theory, we define notions of quantum hypergraph homomorphisms and quantum hypergraph isomorphisms, and show that they constitute partial orders and equivalence relations, respectively. Specialising to the case where the underlying hypergraphs arise from non-local games, we define notions of quantum non-local game homomorphisms and quantum non-local game isomorphisms, and show that games, isomorphic with respect to a given correlation type, have equal values and asymptotic values relative to this type. We examine a new class of no-signalling correlations, which witness the existence of non-local game homomorphisms, and characterise them in terms of states on tensor products of canonical operator systems. We define jointly synchronous correlations and show that they correspond to traces on the tensor product of the canonical C*-algebras associated with the game parties. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Coupling capacity in C*-algebras

Authors: Adam Skalski, Ivan G. Todorov, Lyudmila Turowska

Abstract: Given two unital C*-algebras equipped with states and a positive operator in the envelo** von Neumann algebra of their minimal tensor product, we define three parameters that measure the capacity of the operator to align with a coupling of the two given states. Further we establish a duality formula that shows the equality of two of the parameters for operators in the minimal tensor product of t… ▽ More Given two unital C*-algebras equipped with states and a positive operator in the envelo** von Neumann algebra of their minimal tensor product, we define three parameters that measure the capacity of the operator to align with a coupling of the two given states. Further we establish a duality formula that shows the equality of two of the parameters for operators in the minimal tensor product of the relevant C*-algebras. In the context of abelian C*-algebras our parameters are related to quantitative versions of Arveson's Null Set Theorem and to dualities considered in the theory of optimal transport. On the other hand, restricting to matrix algebras we recover and generalise quantum versions of Strassen's Theorem. We show that in the latter case our parameters can detect maximal entanglement and separability. △ Less

Submitted 31 July, 2023; v1 submitted 4 November, 2022; originally announced November 2022.

Comments: 20 pages; v3 introduces minor corrections. The final version of the paper will appear in the Proceedings of the Royal Society of Edinburgh, Section A: Mathematics

MSC Class: 46L05

Which cluster morphism categories are CAT(0)

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category… ▽ More The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category is a $CAT(0)$-category for hereditary algebras of finite or tame type with only small tubes. As a consequence, we get that the classifying space of the cluster morphism category is a locally $CAT(0)$ space and, as a consequence of that, we get that this classifying space is a $K(π,1)$. △ Less

Submitted 30 March, 2022; originally announced March 2022.

Comments: 14 pages, one figure

MSC Class: 16G20

Products of synchronous games

Authors: Laura Mančinska, Vern I. Paulsen, Ivan G. Todorov, Andreas Winter

Abstract: We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous… ▽ More We show that the *-algebra of the product of two synchronous games is the tensor product of the corresponding *-algebras. We prove that the product game has a perfect C*-strategy if and only if each of the individual games does, and that in this case the C*-algebra of the product game is *-isomorphic to the maximal C*-tensor product of the individual C*-algebras. We provide examples of synchronous games whose synchronous values are strictly supermultiplicative. △ Less

Submitted 24 September, 2021; originally announced September 2021.

MSC Class: 81P45; 46L89; 91A12

Morita equivalence for operator systems

Authors: George K. Eleftherakis, Evgenios T. A. Kakariadis, Ivan G. Todorov

Abstract: We define $Δ$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $Δ$-contexts and bihomomorphism contexts and show that two operator systems are $Δ$-equivalent if and only if they can be placed in a $Δ$-context, equivalently, in a bihomomorphism context. We show that nuclearity for a variety of tensor products is an invariant for $Δ$-equivalence and tha… ▽ More We define $Δ$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $Δ$-contexts and bihomomorphism contexts and show that two operator systems are $Δ$-equivalent if and only if they can be placed in a $Δ$-context, equivalently, in a bihomomorphism context. We show that nuclearity for a variety of tensor products is an invariant for $Δ$-equivalence and that function systems are $Δ$-equivalent precisely when they are order isomorphic. We prove that $Δ$-equivalent operator systems have equivalent categories of representations. As an application, we characterise $Δ$-equivalence of graph operator systems in combinatorial terms. We examine a notion of Morita embedding for operator systems, showing that mutually $Δ$-embeddable operator systems have orthogonally complemented $Δ$-equivalent corners. △ Less

Submitted 9 March, 2022; v1 submitted 24 September, 2021; originally announced September 2021.

Comments: 40 pages. Added details in the proof of Theorem 3.17 (for the implication (iv) to (i)); the statement of Theorem 8.9 contained a typo (isomorphism symbol instead of the Delta-equivalence symbol); proof added for Theorem 8.9; corrected typos

MSC Class: 47L25; 46L07

Completely compact Herz-Schur multipliers of dynamical systems

Authors: Weijiao He, Ivan G. Todorov, L. Turowska

Abstract: We prove that if $G$ is a discrete group and $(A,G,α)$ is a C*-dynamical system such that the reduced crossed product $A\rtimes_{r,α} G$ possesses property (SOAP) then every completely compact Herz-Schur $(A,G,α)$-multiplier can be approximated in the completely bounded norm by Herz-Schur $(A,G,α)$-multipliers of finite rank. As a consequence, if $G$ has the approximation property (AP) then the co… ▽ More We prove that if $G$ is a discrete group and $(A,G,α)$ is a C*-dynamical system such that the reduced crossed product $A\rtimes_{r,α} G$ possesses property (SOAP) then every completely compact Herz-Schur $(A,G,α)$-multiplier can be approximated in the completely bounded norm by Herz-Schur $(A,G,α)$-multipliers of finite rank. As a consequence, if $G$ has the approximation property (AP) then the completely compact Herz-Schur multipliers of $A(G)$ coincide with the closure of $A(G)$ in the completely bounded multiplier norm. We study the class of invariant completely compact Herz-Schur multipliers of $A\rtimes_{r,α} G$ and provide a description of this class in the case of the irrational rotation algebra. △ Less

Submitted 24 July, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: Improved exposition. Appeared in J. Fourier Anal. Appl

Synchronicity for quantum non-local games

Authors: Michael Brannan, Samuel J. Harris, Ivan G. Todorov, Lyudmila Turowska

Abstract: We introduce concurrent quantum non-local games, quantum output mirror games and concurrent classical-to-quantum non-local games, as quantum versions of synchronous non-local games, and provide tracial characterisations of their perfect strategies belonging to various correlation classes. We define *-algebras and C*-algebras of concurrent classical-to-quantum and concurrent quantum non-local games… ▽ More We introduce concurrent quantum non-local games, quantum output mirror games and concurrent classical-to-quantum non-local games, as quantum versions of synchronous non-local games, and provide tracial characterisations of their perfect strategies belonging to various correlation classes. We define *-algebras and C*-algebras of concurrent classical-to-quantum and concurrent quantum non-local games, and algebraic versions of the orthogonal rank of a graph. We show that quantum homomorphisms of quantum graphs can be viewed as entanglement assisted classical homomorphisms of the graphs, and give descriptions of the perfect quantum commuting and the perfect approximately quantum strategies for the quantum graph homomorphism game. We specialise the latter results to the case where the inputs of the game are based on a classical graph. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Information theoretic parameters of non-commutative graphs and convex corners

Authors: Gareth Boreland, Ivan G. Todorov, Andreas Winter

Abstract: We establish a second anti-blocker theorem for non-commutative convex corners, show that the anti-blocking operation is continuous on bounded sets of convex corners, and define optimisation parameters for a given convex corner that generalise well-known graph theoretic quantities. We define the entropy of a state with respect to a convex corner, characterise its maximum value in terms of a general… ▽ More We establish a second anti-blocker theorem for non-commutative convex corners, show that the anti-blocking operation is continuous on bounded sets of convex corners, and define optimisation parameters for a given convex corner that generalise well-known graph theoretic quantities. We define the entropy of a state with respect to a convex corner, characterise its maximum value in terms of a generalised fractional chromatic number and establish entropy splitting results that demonstrate the entropic complementarity between a convex corner and its anti-blocker. We identify two extremal tensor products of convex corners and examine the behaviour of the introduced parameters with respect to tensoring. Specialising to non-commutative graphs, we obtain quantum versions of the fractional chromatic number and the clique covering number, as well as a notion of non-commutative graph entropy of a state, which we show to be continuous with respect to the state and the graph. We define the Witsenhausen rate of a non-commutative graph and compute the values of our parameters in some specific cases. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Central and convolution Herz-Schur multipliers

Authors: Andrew McKee, Reyhaneh Pourshahami, Ivan G. Todorov, Lyudmila Turowska

Abstract: We obtain descriptions of central operator-valued Schur and Herz-Schur multipliers, akin to a classical characterisation due to Grothendieck, that reveals a close link between central (linear) multipliers and bilinear multipliers into the trace class. Restricting to dynamical systems where a locally compact group acts on itself by translation, we identify their convolution multipliers as the right… ▽ More We obtain descriptions of central operator-valued Schur and Herz-Schur multipliers, akin to a classical characterisation due to Grothendieck, that reveals a close link between central (linear) multipliers and bilinear multipliers into the trace class. Restricting to dynamical systems where a locally compact group acts on itself by translation, we identify their convolution multipliers as the right completely bounded multipliers, in the sense of Junge-Neufang-Ruan, of a canonical quantum group associated with the underlying group. We provide characterisations of contractive idempotent operator-valued Schur and Herz-Schur multipliers. Exploiting the link between Herz-Schur multipliers and multipliers on transformation groupoids, we provide a combinatorial characterisation of groupoid multipliers that are contractive and idempotent. △ Less

Submitted 1 January, 2021; originally announced January 2021.

Comments: 42 pages

MSC Class: 46L55 (Primary) 46L05 (Secondary)

Infinitesimal semi-invariant pictures and co-amalgamation

Authors: Eric J. Hanson, Kiyoshi Igusa, Moses Kim, Gordana Todorov

Abstract: The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like… ▽ More The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like structures that we call support regular clusters. Finally, we show that the local structure is (piecewise linearly) invariant under cluster tilting. △ Less

Submitted 24 July, 2022; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: v2: improved and expanded exposition, notation, and references; replaced definition of co-amalgamation with a more general version (Definition 2.1.7). 44 pages, 6 figures

MSC Class: 16G20

Quantum no-signalling correlations and non-local games

Authors: Ivan G. Todorov, Lyudmila Turowska

Abstract: We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a universal TRO of a block operator isometry, define an operator system, universal for stochastic operator matrices, and realise it as a quotient of a matrix algebra. We describe the classes of QNS correl… ▽ More We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a universal TRO of a block operator isometry, define an operator system, universal for stochastic operator matrices, and realise it as a quotient of a matrix algebra. We describe the classes of QNS correlations in terms of states on the tensor products of two copies of the universal operator system, and specialise the correlation classes and their representations to classical-to-quantum correlations. We study various quantum versions of synchronous no-signalling correlations and show that they possess invariance properties for suitable sets of states. We introduce quantum non-local games as a generalisation of non-local games. We define the operation of quantum game composition and show that the perfect strategies belonging to a certain class are closed under channel composition. We specialise to the case of graph colourings, where we exhibit quantum versions of the orthogonal rank of a graph as the optimal output dimension for which perfect classical-to-quantum strategies of the graph colouring game exist, as well as to non-commutative graph homomorphisms, where we identify quantum versions of non-commutative graph homomorphisms introduced by Stahlke. △ Less

Submitted 15 September, 2020; originally announced September 2020.

Comments: 72 pages

Picture groups and maximal green sequences

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We show that picture groups are directly related to maximal green sequences for valued Dynkin quivers of finite type. Namely, there is a bijection between maximal green sequences and positive expressions (words in the generators without inverses) for the Coxeter element of the picture group. We actually prove the theorem for the more general set up of "vertically and horizontally ordered" sets of… ▽ More We show that picture groups are directly related to maximal green sequences for valued Dynkin quivers of finite type. Namely, there is a bijection between maximal green sequences and positive expressions (words in the generators without inverses) for the Coxeter element of the picture group. We actually prove the theorem for the more general set up of "vertically and horizontally ordered" sets of positive real Schur roots for any hereditary algebra (not necessarily finite type). Furthermore, we show that every picture for such a set of positive roots is a linear combination of "atoms" and we give a precise description of atoms as special semi-invariant pictures. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: 31 pages, 10 figures

MSC Class: 16G20; 20F55

Infinite friezes and triangulations of annuli

Authors: Karin Baur, Ilke Canakci, Karin M. Jacobsen, Maitreyee C. Kulkarni, Gordana Todorov

Abstract: It is known that any infinite frieze comes from a triangulation of an annulus by Baur, Parsons and Tschabold. In this paper we show that each periodic infinite frieze determines a triangulation of an annulus in essentially a unique way. Since each triangulation of an annulus determines a pair of friezes, we study such pairs and show how they determine each other. We study associated module categor… ▽ More It is known that any infinite frieze comes from a triangulation of an annulus by Baur, Parsons and Tschabold. In this paper we show that each periodic infinite frieze determines a triangulation of an annulus in essentially a unique way. Since each triangulation of an annulus determines a pair of friezes, we study such pairs and show how they determine each other. We study associated module categories and determine the growth coefficient of the pair of friezes in terms of modules as well as their quiddity sequences. △ Less

Submitted 2 April, 2022; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 21 pages, 16 figures

MSC Class: 16G20 (Primary); 05E10 (Secondary)

Continuous Quivers of Type A (III) Embeddings of Cluster Theories

Authors: Kiyoshi Igusa, Job D. Rock, Gordana Todorov

Abstract: We continue the work started in parts (I) and (II). In this part we classify which continuous type A quivers are derived equivalent and introduce the new continuous cluster category with E-clusters, which are a generalization of clusters. In the middle we provide a rigorous connection between the previous construction of the continuous cluster category and the new construction. We conclude with th… ▽ More We continue the work started in parts (I) and (II). In this part we classify which continuous type A quivers are derived equivalent and introduce the new continuous cluster category with E-clusters, which are a generalization of clusters. In the middle we provide a rigorous connection between the previous construction of the continuous cluster category and the new construction. We conclude with the introduction of a cluster theory, generalizing the notion of a cluster structure. Using this new notion, we demonstrate how one embeds known type A cluster theories into the new E-cluster theory in a way compatible with mutation. This is part (III) in a series of work that will conclude with a continuous generalization of mutation for cluster theories. △ Less

Submitted 3 December, 2021; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: 37 pages. This is the version before the accepted version, per journal requirement

MSC Class: Primary: 13F60; Secondary: 16G20

Dynamical Combinatorics and Torsion Classes

Authors: Emily Barnard, Gordana Todorov, Shijie Zhu

Abstract: For finite semidistributive lattices the map $κ$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $κ$-map in the context of torsion classes. It is well-known that the lattice of torsion classes for an artin algebra is semidistributive, but in general it is far from finite. We show the $κ$-map is well-defined on… ▽ More For finite semidistributive lattices the map $κ$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $κ$-map in the context of torsion classes. It is well-known that the lattice of torsion classes for an artin algebra is semidistributive, but in general it is far from finite. We show the $κ$-map is well-defined on the set of completely join-irreducible elements, even when the lattice of torsion classes is infinite. We then extend $κ$ to a map on torsion classes which have canonical join representations given by the special torsion classes associated to the minimal extending modules introduced by the first and third authors and A. Carroll. For hereditary algebras, we show that the extended $κ$-map on torsion classes is essentially the same as Ringel's $ε$-map on wide subcategories. Also in hereditary case, we relate the square of $κ$ to the Auslander-Reiten translation. △ Less

Submitted 14 July, 2020; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: 25 pages, We have added one additional result (Theorem E) and several examples of the key definitions in V2

Bilinear operator multipliers into the trace class

Authors: Christian Le Merdy, Ivan G. Todorov, Lyudmila Turowska

Abstract: Given Hilbert spaces $H_1,H_2,H_3$, we consider bilinear maps defined on the cartesian product $S^2(H_2,H_3)\times S^2(H_1,H_2)$ of spaces of Hilbert-Schmidt operators and valued in either the space $B(H_1,H_3)$ of bounded operators, or in the space $S^1(H_1,H_3)$ of trace class operators. We introduce modular properties of such maps with respect to the commutants of von Neumann algebras… ▽ More Given Hilbert spaces $H_1,H_2,H_3$, we consider bilinear maps defined on the cartesian product $S^2(H_2,H_3)\times S^2(H_1,H_2)$ of spaces of Hilbert-Schmidt operators and valued in either the space $B(H_1,H_3)$ of bounded operators, or in the space $S^1(H_1,H_3)$ of trace class operators. We introduce modular properties of such maps with respect to the commutants of von Neumann algebras $M_i\subset B(H_i)$, $i=1,2,3$, as well as an appropriate notion of complete boundedness for such maps. We characterize completely bounded module maps $u\colon S^2(H_2,H_3)\times S^2(H_1,H_2)\to B(H_1,H_3)$ by the membership of a natural symbol of $u$ to the von Neumann algebra tensor product $M_1\overline{\otimes} M_2^{op}\overline{\otimes} M_3$. In the case when $M_2$ is injective, we characterize completely bounded module maps $u\colon S^2(H_2,H_3)\times S^2(H_1,H_2)\to S^1(H_1,H_3)$ by a weak factorization property, which extends to the bilinear setting a famous description of bimodule linear map**s going back to Haagerup, Effros-Kishimoto, Smith and Blecher-Smith. We make crucial use of a theorem of Sinclair-Smith on completely bounded bilinear maps valued in an injective von Neumann algebra, and provide a new proof of it, based on Hilbert $C^*$-modules. △ Less

Submitted 8 July, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: This paper replaces the one entitled "Modular operator multipliers into the trace". Besides the change of title, a few corrections have been made. To appear in Journal of Functional Analysis

MSC Class: 46L07; 46B28; 47D25; 46L08

Continuous quivers of type A (I) Foundations

Authors: Kiyoshi Igusa, Job D. Rock, Gordana Todorov

Abstract: We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of f… ▽ More We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of finite-dimensional type $A_n$ representations are present in finitely generated pwf representations. This is the self-contained foundational part of a series of works to study a generalization of continuous clusters categories and their relationship to other type $A$ cluster structures. △ Less

Submitted 26 March, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: 29 pages. Revised to be a self-contained treatment with a focus on representation theoretic methods

MSC Class: 18E30: 16G20

Continuous cluster categories II: continuous cluster-tilted categories

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continu… ▽ More We show that the quotient of the continuous cluster category $\mathcal C_π$ modulo the additive subcategory generated by any cluster is an abelian category and we show that it is isomorphic to the category of infinite length modules over the endomorphism ring of the cluster. These theorems extend the theorems of Caldero-Chapoton-Schiffler and Buan-Marsh-Reiten for cluster categories to the continuous cluster category of type $A$. These results will be generalized in a series of forthcoming joint papers of the two authors with Job Rock. △ Less

Submitted 11 September, 2019; originally announced September 2019.

Comments: This paper needs to be updated with more references

MSC Class: 18E30:16G20

Sandwich theorems and capacity bounds for non-commutative graphs

Authors: Gareth Boreland, Ivan G. Todorov, Andreas Winter

Abstract: We define non-commutative versions of the vertex packing polytope, the theta convex body and the fractional vertex packing polytope of a graph, and establish a quantum version of the Sandwich Theorem of Grötschel, Lovász and Schrijver. We define new non-commutative versions of the Lovász number of a graph which lead to an upper bound of the zero-error capacity of the corresponding quantum channel… ▽ More We define non-commutative versions of the vertex packing polytope, the theta convex body and the fractional vertex packing polytope of a graph, and establish a quantum version of the Sandwich Theorem of Grötschel, Lovász and Schrijver. We define new non-commutative versions of the Lovász number of a graph which lead to an upper bound of the zero-error capacity of the corresponding quantum channel that can be genuinely better than the one established previously by Duan, Severini and Winter. We define non-commutative counterparts of widely used classical graph parameters and establish their interrelation. △ Less

Submitted 26 July, 2019; originally announced July 2019.

Journal ref: J. Comb. Theory A, vol. 177, 105302, Jan 2021

State convertibility in the von Neumann algebra framework

Authors: Jason Crann, David W. Kribs, Rupert H. Levene, Ivan G. Todorov

Abstract: We establish a generalisation of the fundamental state convertibility theorem in quantum information to the context of bipartite quantum systems modelled by commuting semi-finite von Neumann algebras. Namely, we establish a generalisation to this setting of Nielsen's theorem on the convertibility of quantum states under local operations and classical communication (LOCC) schemes. Along the way, we… ▽ More We establish a generalisation of the fundamental state convertibility theorem in quantum information to the context of bipartite quantum systems modelled by commuting semi-finite von Neumann algebras. Namely, we establish a generalisation to this setting of Nielsen's theorem on the convertibility of quantum states under local operations and classical communication (LOCC) schemes. Along the way, we introduce an appropriate generalisation of LOCC operations and connect the resulting notion of approximate convertibility to the theory of singular numbers and majorisation in von Neumann algebras. As an application of our result in the setting of $II_1$-factors, we show that the entropy of the singular value distribution relative to the unique tracial state is an entanglement monotone in the sense of Vidal, thus yielding a new way to quantify entanglement in that context. Building on previous work in the infinite-dimensional setting, we show that trace vectors play the role of maximally entangled states for general $II_1$-factors. Examples are drawn from infinite spin chains, quasi-free representations of the CAR, and discretised versions of the CCR. △ Less

Submitted 13 September, 2020; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: 36 pages, v2: journal version, 38 pages

Journal ref: Comm. Math. Phys. 378 (2020), no. 2, 1123-1156

Cyclic posets and triangulation clusters

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze triangulation clusters which are those corresponding to topological triangulations of the 2-disk. Locally finite non-triangulation clusters give topological trian… ▽ More Triangulated categories coming from cyclic posets were originally introduced by the authors in [IT15b] as a generalization of the constructions of various triangulated categories with cluster structures. We give an overview, then analyze triangulation clusters which are those corresponding to topological triangulations of the 2-disk. Locally finite non-triangulation clusters give topological triangulations of the cactus space associated to the cactus cyclic poset. △ Less

Submitted 24 March, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 32 pages, 10 figures, presented by second author at Tsinghua University and at the Chern Institute of Mathematics, Nankai University, China, July 3-13, 2017, accepted for publication in SCIENCE CHINA Mathematics. v2: minor corrections, theorems renumbers

MSC Class: 18E30; 16G20

Reduced spectral synthesis and compact operator synthesis

Authors: V. S. Shulman, I. G. Todorov, L. Turowska

Abstract: We introduce and study the notion of reduced spectral synthesis, which unifies the concepts of spectral synthesis and uniqueness in locally compact groups. We exhibit a number of examples and prove that every non-discrete locally compact group with an open abelian subgroup has a subset that fails reduced spectral synthesis. We introduce compact operator synthesis as an operator algebraic counterpa… ▽ More We introduce and study the notion of reduced spectral synthesis, which unifies the concepts of spectral synthesis and uniqueness in locally compact groups. We exhibit a number of examples and prove that every non-discrete locally compact group with an open abelian subgroup has a subset that fails reduced spectral synthesis. We introduce compact operator synthesis as an operator algebraic counterpart of this notion and link it with other exceptional sets in operator algebra theory, studied previously. We show that a closed subset $E$ of a second countable locally compact group $G$ satisfies reduced local spectral synthesis if and only if the subset $E^* = \{(s,t) : ts^{-1}\in E\}$ of $G\times G$ satisfies compact operator synthesis. We apply our results to questions about the equivalence of linear operator equations with normal commuting coefficients on Schatten $p$-classes. △ Less

Submitted 17 January, 2019; originally announced January 2019.

Comments: 43 pages

MSC Class: Primary: 47L05; Secondary: 43A45; 46A32

Operator system structures and extensions of Schur multipliers

Authors: Ying-Fen Lin, Ivan G. Todorov

Abstract: For a given C*-algebra $\mathcal{A}$, we establish the existence of maximal and minimal operator $\mathcal{A}$-system structures on an AOU $\mathcal{A}$-space. In the case $\mathcal{A}$ is a W*-algebra, we provide an abstract characterisation of dual operator $\mathcal{A}$-systems, and study the maximal and minimal dual operator $\mathcal{A}$-system structures on a dual AOU $\mathcal{A}$-space. We… ▽ More For a given C*-algebra $\mathcal{A}$, we establish the existence of maximal and minimal operator $\mathcal{A}$-system structures on an AOU $\mathcal{A}$-space. In the case $\mathcal{A}$ is a W*-algebra, we provide an abstract characterisation of dual operator $\mathcal{A}$-systems, and study the maximal and minimal dual operator $\mathcal{A}$-system structures on a dual AOU $\mathcal{A}$-space. We introduce operator-valued Schur multipliers, and provide a Grothendieck-type characterisation. We study the positive extension problem for a partially defined operator-valued Schur multiplier $\varphi$ and, under some richness conditions, characterise its affirmative solution in terms of the equality between the canonical and the maximal dual operator $\mathcal{A}$-system structures on an operator system naturally associated with the domain of $\varphi$. △ Less

Submitted 16 December, 2018; originally announced December 2018.

Friezes satisfying higher SL$_k$-determinants

Authors: Karin Baur, Eleonore Faber, Sira Gratz, Khrystyna Serhiyenko, Gordana Todorov

Abstract: In this article, we construct SL$_k$-friezes using Plücker coordinates, making use of the cluster structure on the homogeneous coordinate ring of the Grassmannian of $k$-spaces in $n$-space via the Plücker embedding. When this cluster algebra is of finite type, the SL$_k$-friezes are in bijection with the so-called mesh friezes of the corresponding Grassmannian cluster category. These are collecti… ▽ More In this article, we construct SL$_k$-friezes using Plücker coordinates, making use of the cluster structure on the homogeneous coordinate ring of the Grassmannian of $k$-spaces in $n$-space via the Plücker embedding. When this cluster algebra is of finite type, the SL$_k$-friezes are in bijection with the so-called mesh friezes of the corresponding Grassmannian cluster category. These are collections of positive integers on the AR-quiver of the category with relations inherited from the mesh relations on the category. In these finite type cases, many of the SL$_k$-friezes arise from specialising a cluster to 1. These are called unitary. We use Iyama-Yoshino reduction to analyse the non-unitary friezes. With this, we provide an explanation for all known friezes of this kind. An appendix by Cuntz and Plamondon proves that there are 868 friezes of type $E_6$. △ Less

Submitted 22 April, 2020; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: With an appendix by M. Cuntz and P.-G. Plamondon

MSC Class: 05E10; 13F60; 16G20; 18D99; 14M15

Journal ref: Alg. Number Th. 15 (2021) 29-68

Conway-Coxeter friezes and mutation: a survey

Authors: Karin Baur, Eleonore Faber, Sira Gratz, Khrystyna Serhiyenko, Gordana Todorov

Abstract: In this survey article we explain the intricate links between Conway-Coxeter friezes and cluster combinatorics. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to… ▽ More In this survey article we explain the intricate links between Conway-Coxeter friezes and cluster combinatorics. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to compute the frieze associated to a fixed cluster tilting object in a cluster category of Dynkin type $A$ in the sense of Caldero and Chapoton. △ Less

Submitted 17 June, 2018; originally announced June 2018.

Comments: 18 pages, 10 figures; Version submitted to the proceedings of the 2017 AWM Research Symposium

MSC Class: 16G20; 15E15; 15E10; 18D99

Perfect strategies for non-signalling games

Authors: M. Lupini, L. Mancinska, V. I. Paulsen, D. E. Roberson, G. Scarpa, S. Severini, I. G. Todorov, A. Winter

Abstract: We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling game… ▽ More We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling games that can be won using a given set of strategies. We introduce {\it imitation games,} in which the players display linked behaviour, and which contains as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and {\it unique} games. We associate a C*-algebra $C^*(\mathcal{G})$ to any imitation game $\mathcal{G}$, and show that the existence of perfect quantum commuting (resp.\ quantum, local) strategies of $\mathcal{G}$ can be characterised in terms of properties of this C*-algebra, extending known results about synchronous games. We single out a subclass of imitation games, which we call {\it mirror games,} and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra. We describe the main classes of non-signalling correlations in terms of states on operator system tensor products. △ Less

Submitted 17 April, 2018; originally announced April 2018.

Journal ref: Math. Phys. Anal. Geom., vol. 23, 7 (2020)

Bimodules over ${\rm VN}(G)$, harmonic operators and the non-commutative Poisson boundary

Authors: Mihalis Anoussis, Aristides Katavolos, Ivan G. Todorov

Abstract: Starting with a left ideal $J$ of $L^1(G)$ we consider its annihilator $J^{\perp}$ in $L^{\infty}(G)$ and the generated ${\rm VN}(G)$-bimodule in $\mathcal{B}(L^2(G))$, ${\rm Bim}(J^{\perp})$. We prove that ${\rm Bim}(J^{\perp})=({\rm Ran} J)^{\perp}$ when $G$ is weakly amenable discrete, compact or abelian, where ${\rm Ran} J$ is a suitable saturation of $J$ in the trace class. We define jointly… ▽ More Starting with a left ideal $J$ of $L^1(G)$ we consider its annihilator $J^{\perp}$ in $L^{\infty}(G)$ and the generated ${\rm VN}(G)$-bimodule in $\mathcal{B}(L^2(G))$, ${\rm Bim}(J^{\perp})$. We prove that ${\rm Bim}(J^{\perp})=({\rm Ran} J)^{\perp}$ when $G$ is weakly amenable discrete, compact or abelian, where ${\rm Ran} J$ is a suitable saturation of $J$ in the trace class. We define jointly harmonic functions and jointly harmonic operators and show that, for these classes of groups, the space of jointly harmonic operators is the ${\rm VN}(G)$-bimodule generated by the space of jointly harmonic functions. Using this, we give a proof of the following result of Izumi and Jaworski - Neufang: the non-commutative Poisson boundary is isomorphic to the crossed product of the space of harmonic functions by $G$. △ Less

Submitted 17 June, 2018; v1 submitted 13 March, 2018; originally announced March 2018.

Comments: Section five revised. Some changes in Section eight as a result

MSC Class: 43A20; 22D15; 43A77; 47L05

Journal ref: STUDIA MATHEMATICA 249 (2) (2019)

Complexity and capacity bounds for quantum channels

Authors: Rupert H. Levene, Vern I. Paulsen, Ivan G. Todorov

Abstract: We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite… ▽ More We generalise some well-known graph parameters to operator systems by considering their underlying quantum channels. In particular, we introduce the quantum complexity as the dimension of the smallest co-domain Hilbert space a quantum channel requires to realise a given operator system as its non-commutative confusability graph. We describe quantum complexity as a generalised minimum semidefinite rank and, in the case of a graph operator system, as a quantum intersection number. The quantum complexity and a closely related quantum version of orthogonal rank turn out to be upper bounds for the Shannon zero-error capacity of a quantum channel, and we construct examples for which these bounds beat the best previously known general upper bound for the capacity of quantum channels, given by the quantum Lovász theta number. △ Less

Submitted 17 October, 2017; originally announced October 2017.

MSC Class: 81P45

Completely bounded maps and invariant subspaces

Authors: M. Alaghmandan, I. G. Todorov, L. Turowska

Abstract: We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $\mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that send $C_0(\hat{\mathbb{G}})$ into $L^{\infty}(\hat{\mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haageru… ▽ More We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $\mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that send $C_0(\hat{\mathbb{G}})$ into $L^{\infty}(\hat{\mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haagerup tensor product $L^{\infty}(\mathbb{G}) \otimes_{σ{\rm h}} L^{\infty}(\mathbb{G})$. As a consequence, we obtain an intrinsic characterisation of the normal completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that leave $L^{\infty}(\hat{\mathbb{G}})$ invariant, extending and unifying results, formulated in the current literature separately for the commutative and the co-commutative cases. △ Less

Submitted 27 January, 2019; v1 submitted 31 August, 2017; originally announced September 2017.

Comments: 21 pages

Signed exceptional sequences and the cluster morphism category

Authors: Kiyoshi Igusa, Gordana Todorov

Abstract: We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to \mathcal B$ is the equivalence class of a rigid object $T$ in the cluster category of $\mathcal A$ so that $\mathcal B$ is the right hom-ext perpendicular category… ▽ More We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism $[T]:\mathcal A\to \mathcal B$ is the equivalence class of a rigid object $T$ in the cluster category of $\mathcal A$ so that $\mathcal B$ is the right hom-ext perpendicular category of the underlying object $|T|\in \mathcal A$. Factorizations of a morphism $[T]$ are given by total orderings of the components of $T$. This is equivalent to a "signed exceptional sequence." For an algebra of finite representation type, the geometric realization of the cluster morphism category is an Eilenberg-MacLane space with fundamental group equal to the "picture group" introduced by the authors in [IOTW4]. △ Less

Submitted 7 June, 2017; originally announced June 2017.

Comments: 43 pages, one figure

MSC Class: 16G20; 20F55

Dominant dimension and tilting modules

Authors: Van C. Nguyen, Idun Reiten, Gordana Todorov, Shijie Zhu

Abstract: We study which algebras have tilting modules that are both generated and cogenerated by projective-injective modules. Crawley-Boevey and Sauter have shown that Auslander algebras have such tilting modules; and for algebras of global dimension $2$, Auslander algebras are classified by the existence of such tilting modules. In this paper, we show that the existence of such a tilting module is equi… ▽ More We study which algebras have tilting modules that are both generated and cogenerated by projective-injective modules. Crawley-Boevey and Sauter have shown that Auslander algebras have such tilting modules; and for algebras of global dimension $2$, Auslander algebras are classified by the existence of such tilting modules. In this paper, we show that the existence of such a tilting module is equivalent to the algebra having dominant dimension at least $2$, independent of its global dimension. In general such a tilting module is not necessarily cotilting. Here, we show that the algebras which have a tilting-cotilting module generated-cogenerated by projective-injective modules are precisely $1$-Auslander-Gorenstein algebras. When considering such a tilting module, without the assumption that it is cotilting, we study the global dimension of its endomorphism algebra, and discuss a connection with the Finitistic Dimension Conjecture. Furthermore, as special cases, we show that triangular matrix algebras obtained from Auslander algebras and certain injective modules, have such a tilting module. We also give a description of which Nakayama algebras have such a tilting module. △ Less

Submitted 2 October, 2017; v1 submitted 1 June, 2017; originally announced June 2017.

Comments: 25 pages, modified the proof of Theorem 3.2.9; main results remain the same; comments are welcome

MSC Class: 16G10; 16G20; 16G70; 16S50; 16S70

Inductive limits in the operator system and related categories

Authors: Linda Mawhinney, Ivan G. Todorov

Abstract: We present a systematic development of inductive limits in the categories of ordered *-vector spaces, Archimedean order unit spaces, matrix ordered spaces, operator systems and operator C*-systems. We show that the inductive limit intertwines the operation of passing to the maximal operator system structure of an Archimedean order unit space, and that the same holds true for the minimal operator s… ▽ More We present a systematic development of inductive limits in the categories of ordered *-vector spaces, Archimedean order unit spaces, matrix ordered spaces, operator systems and operator C*-systems. We show that the inductive limit intertwines the operation of passing to the maximal operator system structure of an Archimedean order unit space, and that the same holds true for the minimal operator system structure if the connecting maps are complete order embeddings. We prove that the inductive limit commutes with the operation of taking the maximal tensor product with another operator system, and establish analogous results for injective functorial tensor products provided the connecting maps are complete order embeddings. We identify the inductive limit of quotient operator systems as a quotient of the inductive limit, in case the involved kernels are completely biproximinal. We describe the inductive limit of graph operator systems as operator systems of topological graphs, show that two such operator systems are completely order isomorphic if and only if their underlying graphs are isomorphic, identify the C*-envelope of such an operator system, and prove a version of Glimm's Theorem on the isomorphism of UHF algebras in the category of operator systems. △ Less

Submitted 12 May, 2017; originally announced May 2017.

Positive Herz-Schur multipliers and approximation properties of crossed products

Authors: Andrew McKee, Adam Skalski, Ivan G. Todorov, Lyudmila Turowska

Abstract: For a $C^*$-algebra $A$ and a set $X$ we give a Stinespring-type characterisation of the completely positive Schur $A$-multipliers on $K(\ell^2(X))\otimes A$. We then relate them to completely positive Herz-Schur multipliers on $C^*$-algebraic crossed products of the form $A\rtimes_{α,r} G$, with $G$ a discrete group, whose various versions were considered earlier by Anantharaman-Delaroche, Bédos… ▽ More For a $C^*$-algebra $A$ and a set $X$ we give a Stinespring-type characterisation of the completely positive Schur $A$-multipliers on $K(\ell^2(X))\otimes A$. We then relate them to completely positive Herz-Schur multipliers on $C^*$-algebraic crossed products of the form $A\rtimes_{α,r} G$, with $G$ a discrete group, whose various versions were considered earlier by Anantharaman-Delaroche, Bédos and Conti, and Dong and Ruan. The latter maps are shown to implement approximation properties, such as nuclearity or the Haagerup property, for $A\rtimes_{α,r} G$. △ Less

Submitted 6 July, 2017; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: 21 pages, v2 corrects a few minor typos. The paper will appear in the Mathematical Proceedings of the Cambridge Philosophical Society

MSC Class: Primary: 46L55; Secondary: 43A35; 46L05

Completely bounded bimodule maps and spectral synthesis

Authors: M. Alaghmandan, I. G. Todorov, L. Turowska

Abstract: We initiate the study of the completely bounded multipliers of the Haagerup tensor product $A(G)\otimes_{\rm h} A(G)$ of two copies of the Fourier algebra $A(G)$ of a locally compact group $G$. If $E$ is a closed subset of $G$ we let $E^{\sharp} = \{(s,t) : st\in E\}$ and show that if $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$ then $E$ is a set of local spectral syn… ▽ More We initiate the study of the completely bounded multipliers of the Haagerup tensor product $A(G)\otimes_{\rm h} A(G)$ of two copies of the Fourier algebra $A(G)$ of a locally compact group $G$. If $E$ is a closed subset of $G$ we let $E^{\sharp} = \{(s,t) : st\in E\}$ and show that if $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$ then $E$ is a set of local spectral synthesis for $A(G)$. Conversely, we prove that if $E$ is a set of spectral synthesis for $A(G)$ and $G$ is a Moore group then $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$. Using the natural identification of the space of all completely bounded weak* continuous $VN(G)'$-bimodule maps with the dual of $A(G)\otimes_{\rm h} A(G)$, we show that, in the case $G$ is weakly amenable, such a map leaves the multiplication algebra of $L^{\infty}(G)$ invariant if and only if its support is contained in the antidiagonal of $G$. △ Less

Submitted 1 January, 2017; originally announced January 2017.

Comments: 44 pages

Mutation of friezes

Authors: Karin Baur, Eleonore Faber, Sira Gratz, Khrystyna Serhiyenko, Gordana Todorov

Abstract: We study mutations of Conway-Coxeter friezes which are compatible with mutations of cluster-tilting objects in the associated cluster category of Dynkin type $A$. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. We observe how the frieze can be divided into four distinct regions, rela… ▽ More We study mutations of Conway-Coxeter friezes which are compatible with mutations of cluster-tilting objects in the associated cluster category of Dynkin type $A$. More precisely, we provide a formula, relying solely on the shape of the frieze, describing how each individual entry in the frieze changes under cluster mutation. We observe how the frieze can be divided into four distinct regions, relative to the entry at which we want to mutate, where any two entries in the same region obey the same mutation rule. Moreover, we provide a combinatorial formula for the number of submodules of a string module, and with that a simple way to compute the frieze associated to a fixed cluster-tilting object in a cluster category of Dynkin type $A$ in the sense of Caldero and Chapoton. △ Less

Submitted 16 January, 2017; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 37 pages

Preprojective algebras of tree-type quivers

Authors: Van C. Nguyen, Gordana Todorov, Shijie Zhu

Abstract: Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $λ$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded derived category of $\mathbf{k} Q$ that satisfy what we call the $λ$-relations. When $λ=1$, the relations are known as mesh relations. When $λ=-1$, they are known as commut… ▽ More Let $Q$ be a tree-type quiver, $\mathbf{k} Q$ its path algebra, and $λ$ a nonzero element in the field $\mathbf{k}$. We construct irreducible morphisms in the Auslander-Reiten quiver of the transjective component of the bounded derived category of $\mathbf{k} Q$ that satisfy what we call the $λ$-relations. When $λ=1$, the relations are known as mesh relations. When $λ=-1$, they are known as commutativity relations. Using this technique together with the results given by Baer-Geigle-Lenzing, Crawley-Boevey, Ringel, and others, we show that for any tree-type quiver, several descriptions of its preprojective algebra are equivalent. △ Less

Submitted 14 January, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: 20 pages, comments and suggestions are welcome

MSC Class: 16G20; 16G70

Norms of vector functionals

Authors: M. Anoussis, N. Ozawa, I. G. Todorov

Abstract: We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is satisfied by all von Neumann algebras and by all CSL algebras. We exhibit examples of operator algebras that do not satisfy the property or any scaled version of i… ▽ More We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is satisfied by all von Neumann algebras and by all CSL algebras. We exhibit examples of operator algebras that do not satisfy the property or any scaled version of it. △ Less

Submitted 14 January, 2019; v1 submitted 1 October, 2016; originally announced October 2016.

Transference and preservation of uniqueness

Authors: Ivan G. Todorov, Lyudmila Turowska

Abstract: Motivated by the notion of a set of uniqueness in a locally compact group $G$, we introduce and study ideals of uniqueness in the Fourier algebra $A(G)$ of $G$, and their accompanying operator version, masa-bimodules of uniqueness. We establish a transference between the two notions, and use this result to show that the property of being an ideal of uniqueness is preserved under natural operations… ▽ More Motivated by the notion of a set of uniqueness in a locally compact group $G$, we introduce and study ideals of uniqueness in the Fourier algebra $A(G)$ of $G$, and their accompanying operator version, masa-bimodules of uniqueness. We establish a transference between the two notions, and use this result to show that the property of being an ideal of uniqueness is preserved under natural operations. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Picture groups of finite type and cohomology in type $A_n$

Authors: Kiyoshi Igusa, Gordana Todorov, Jerzy Weyman

Abstract: For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use th… ▽ More For every quiver (valued) of finite representation type we define a finitely presented group called a picture group. This group is very closely related to the cluster theory of the quiver. For example, positive expressions for the Coxeter element in the group are in bijection with maximal green sequences [IT17]. The picture group is derived from the semi-invariant picture for the quiver. We use this picture to construct a finite CW complex which (by [IT16]) is a $K(π,1)$ for this group. The cells are in bijection with cluster tilting objects. For example, in type $A_n$ there are a Catalan number of cells. The main result of this paper is the computation of the cohomology ring of all picture groups of type $A_n$ with any orientation and any coefficient ring. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 35 pages, 6 figures

MSC Class: 16G20

Herz-Schur multipliers of dynamical systems

Authors: A. McKee, I. G. Todorov, L. Turowska

Abstract: We extend the notion of Herz-Schur multipliers to the setting of non-commutative dynamical systems: given a C*-algebra $A$, a locally compact group $G$, and an action $α$ of $G$ on $A$, we define transformations on the (reduced) crossed product $A\rtimes_{r,α} G$ of $A$ by $G$, which, in the case $A = \mathbb{C}$, reduce to the classical Herz-Schur multipliers. We also introduce a class of Schur… ▽ More We extend the notion of Herz-Schur multipliers to the setting of non-commutative dynamical systems: given a C*-algebra $A$, a locally compact group $G$, and an action $α$ of $G$ on $A$, we define transformations on the (reduced) crossed product $A\rtimes_{r,α} G$ of $A$ by $G$, which, in the case $A = \mathbb{C}$, reduce to the classical Herz-Schur multipliers. We also introduce a class of Schur $A$-multipliers, establish its characterisation which generalise the classical descriptions of Schur multipliers and present a transference theorem in the new setting, identifying isometrically the Herz-Schur multipliers of the dynamical system $(A,G,α)$ with the invariant part of the Schur $A$-multipliers. We discuss special classes of Herz-Schur multipliers, in particular, those which are associated to a locally compact abelian group $G$ and its canonical action on the $C^*$-algebra $C^*(Γ)$ of the dual group $Γ$. △ Less

Submitted 3 August, 2016; originally announced August 2016.

Comments: 48 pages

MSC Class: 46L07; 47L65; 47L10

Positive extensions of Schur multipliers

Authors: Rupert H. Levene, Ying-Fen Lin, Ivan G. Todorov

Abstract: We introduce partially defined Schur multipliers and obtain necessary and sufficient conditions for the existence of extensions to fully defined positive Schur multipliers, in terms of operator systems canonically associated with their domains. We use these results to study the problem of extending a positive definite function defined on a symmetric subset of a locally compact group to a positive… ▽ More We introduce partially defined Schur multipliers and obtain necessary and sufficient conditions for the existence of extensions to fully defined positive Schur multipliers, in terms of operator systems canonically associated with their domains. We use these results to study the problem of extending a positive definite function defined on a symmetric subset of a locally compact group to a positive definite function defined on the whole group. △ Less

Submitted 10 January, 2017; v1 submitted 22 November, 2015; originally announced November 2015.

Private algebras in quantum information and infinite-dimensional complementarity

Authors: Jason Crann, David W. Kribs, Rupert H. Levene, Ivan G. Todorov

Abstract: We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are co… ▽ More We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are considered and specific examples of Gaussian quantum channels are given to illustrate the new framework together with the complementarity theorem. △ Less

Submitted 22 October, 2015; originally announced October 2015.

Comments: 20 pages

Modulated semi-invariants

Authors: Kiyoshi Igusa, Kent Orr, Gordana Todorov, Jerzy Weyman

Abstract: We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on t… ▽ More We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers. △ Less

Submitted 1 September, 2015; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 41 pages, 1 figure, many minor changes, c-vector theorem redone

MSC Class: 16G20 (Primary) 20F55 (Secondary)

Semi-invariant pictures and two conjectures on maximal green sequences

Authors: Thomas Brüstle, Stephen Hermes, Kiyoshi Igusa, Gordana Todorov

Abstract: We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences fo… ▽ More We use semi-invariant pictures to prove two conjectures about maximal green sequences. First: if $Q$ is any acyclic valued quiver with an arrow $j\to i$ of infinite type then any maximal green sequence for $Q$ must mutate at $i$ before mutating at $j$. Second: for any quiver $Q'$ obtained by mutating an acyclic valued quiver $Q$ of tame type, there are only finitely many maximal green sequences for $Q'$. Both statements follow from the Rotation Lemma for reddening sequences and this in turn follows from the Mutation Formula for the semi-invariant picture for $Q$. △ Less

Submitted 8 October, 2015; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 24 pages, 7 figures

MSC Class: 16G20 (Primary); 20F55 (Secondary)

Schur idempotents and hyperreflexivity

Authors: G. K. Eleftherakis, R. H. Levene, I. G. Todorov

Abstract: We show that the set of Schur idempotents with hyperreflexive range is a Boolean lattice which contains all contractions. We establish a preservation result for sums which implies that the weak* closed span of a hyperreflexive and a ternary masa-bimodule is hyperreflexive, and prove that the weak* closed span of finitely many tensor products of a hyperreflexive space and a hyperreflexive range of… ▽ More We show that the set of Schur idempotents with hyperreflexive range is a Boolean lattice which contains all contractions. We establish a preservation result for sums which implies that the weak* closed span of a hyperreflexive and a ternary masa-bimodule is hyperreflexive, and prove that the weak* closed span of finitely many tensor products of a hyperreflexive space and a hyperreflexive range of a Schur idempotent (respectively, a ternary masa-bimodule) is hyperreflexive. △ Less

Submitted 14 July, 2015; v1 submitted 5 February, 2015; originally announced February 2015.

MSC Class: 47L05; 46L07