Showing 1–50 of 83 results for author: Todorov, I

Symmetrisations of operator spaces

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

Abstract: Let $A$ be a unital C*-algebra, $S$ be an operator $A$-system and $E$ be an operator space that is a left operator $A$-module. We introduce the symmetrisation of the pair $(E,S)$ as the Hausdorff completion of the balanced tensor product $E^* \odot^{A} S \odot^{A} E$ with respect to a seminorm arising from the family of completely contractive completely positive $A$-balanced trilinear maps. We sho… ▽ More Let $A$ be a unital C*-algebra, $S$ be an operator $A$-system and $E$ be an operator space that is a left operator $A$-module. We introduce the symmetrisation of the pair $(E,S)$ as the Hausdorff completion of the balanced tensor product $E^* \odot^{A} S \odot^{A} E$ with respect to a seminorm arising from the family of completely contractive completely positive $A$-balanced trilinear maps. We show that the symmetrisation is a selfadjoint operator space in the sense of W. Werner, possessing a universal mapping property for pairs of representations of $S$ and $E$, compatible with the $A$-module actions. We point out cases where the symmetrisation is an operator system, and where it does not admit an Archimedean order unit. We study separately the case where $A = \mathbb{C}$; in this case, we show that the symmetrisation seminorm is a norm, which is equivalent to, yet different from, the Haagerup tensor norm. When $S = \mathbb{C}$ we show that the symmetrisation is compatible with taking operator space duals. In the case where $E$ is a function space and $S = \mathbb{C}$, we characterise the positive matricial cones of the symmetrisation in terms of positive semi-definiteness of naturally associated matrix-valued functions. As an application, we provide a characterisation of Morita equivalence in the operator system category involving tensorial decomposition where the analytic structure is provided by the symmetrisation. This establishes an operator system counterpart of the factorisation Morita Theorem in other categories. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 108 pages

MSC Class: 47L25; 46L07

Absolutely dilatable bimodule maps

Authors: Alexandros Chatzinikolaou, Ivan G. Todorov, Lyudmila Turowska

Abstract: We characterise absolutely dilatable completely positive maps on the space of all bounded operators on a Hilbert space that are also bimodular over a given von Neumann algebra as rotations by a suitable unitary on a larger Hilbert space followed by slicing along the trace of an additional ancilla. We define the local, quantum and approximately quantum types of absolutely dilatable maps, according… ▽ More We characterise absolutely dilatable completely positive maps on the space of all bounded operators on a Hilbert space that are also bimodular over a given von Neumann algebra as rotations by a suitable unitary on a larger Hilbert space followed by slicing along the trace of an additional ancilla. We define the local, quantum and approximately quantum types of absolutely dilatable maps, according to the type of the admissible ancilla. We show that the local absolutely dilatable maps admit an exact factorisation through an abelian ancilla and show that they are limits in the point weak* topology of conjugations by unitaries in the commutant of the given von Neumann algebra. We show that the Connes Embedding Problem is equivalent to deciding if all absolutely dilatable maps are approximately quantum. △ Less

Submitted 24 April, 2025; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: 30 pages, revised version, to appear in International Mathematics Research Notices

MSC Class: 47A20 (Primary); 46L07; 46M05 (Secondary)

Measurable No-signalling Correlations

Authors: Georgios Baziotis, Ivan G. Todorov, Lyudmila Turowska

Abstract: We study no-signalling correlations, defined over a quadruple of second countable compact Hausdorff spaces. Using operator-valued information channels over abstract alphabets, we define the subclasses of local, quantum spatial and quantum commuting measurable no-signalling correlations. En route, we establish measurable versions of the Stinespring's Dilation Theorem. We define values of measurable… ▽ More We study no-signalling correlations, defined over a quadruple of second countable compact Hausdorff spaces. Using operator-valued information channels over abstract alphabets, we define the subclasses of local, quantum spatial and quantum commuting measurable no-signalling correlations. En route, we establish measurable versions of the Stinespring's Dilation Theorem. We define values of measurable non-local games of local, quantum spatial and quantum commuting type, as well as inner versions thereof, and show how the asymptotic values of a finite non-local game can be viewed as special cases of the corresponding inner values of a measurable game, canonically associated with the given finite game. △ Less

Submitted 25 September, 2024; originally announced September 2024.

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 enveloping 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 enveloping 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

Orbifolds of Lattice Vertex Algebras

Authors: Bojko Bakalov, Jason Elsinger, Victor G. Kac, Ivan Todorov

Abstract: To a positive-definite even lattice $Q$, one can associate the lattice vertex algebra $V_Q$, and any automorphism $σ$ of $Q$ lifts to an automorphism of $V_Q$. In this paper, we investigate the orbifold vertex algebra $V_Q^σ$, which consists of the elements of $V_Q$ fixed under $σ$, in the case when $σ$ has prime order. We describe explicitly the irreducible $V_Q^σ$-modules, compute their characte… ▽ More To a positive-definite even lattice $Q$, one can associate the lattice vertex algebra $V_Q$, and any automorphism $σ$ of $Q$ lifts to an automorphism of $V_Q$. In this paper, we investigate the orbifold vertex algebra $V_Q^σ$, which consists of the elements of $V_Q$ fixed under $σ$, in the case when $σ$ has prime order. We describe explicitly the irreducible $V_Q^σ$-modules, compute their characters, and determine the modular transformations of characters. As an application, we find the asymptotic and quantum dimensions of all irreducible $V_Q^σ$-modules. We consider in detail the cases when the order of $σ$ is $2$ or $3$, as well as the case of permutation orbifolds. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Comments: 105 pages

MSC Class: Primary 17B69; Secondary 81R10

Journal ref: Jpn. J. Math. 18, 169-274 (2023)

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

Journal ref: Studia Math., vol. 272, no. 3, pp. 299-318, 2023

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.

Journal ref: Illinois J. Math., vol. 66, no. 2, pp. 123-187, 2022

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)

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

Superconnection in the spin factor approach to particle physics

Authors: Michel Dubois-Violette, Ivan Todorov

Abstract: The notion of superconnection devised by Quillen in 1985 and used in gauge-Higgs field theory in the 1990's is applied to the spin factors (finite-dimensional euclidean Jordan algebras) recently considered as representing the finite quantum geometry of one generation of fermions in the Standard Model of particle physics. The notion of superconnection devised by Quillen in 1985 and used in gauge-Higgs field theory in the 1990's is applied to the spin factors (finite-dimensional euclidean Jordan algebras) recently considered as representing the finite quantum geometry of one generation of fermions in the Standard Model of particle physics. △ Less

Submitted 23 May, 2020; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 18 pages ; final version to appear in Nuclear Physics B

Report number: IHES/P/20/06

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 mappings 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

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

The lure of conformal symmetry

Authors: Ivan Todorov

Abstract: The Clifford algebra, generated by the real (Majorana) gamma-matrices and by a hermitian gamma_5, gives room to the reductive Lie algebra u(2,2) of the conformal group extended by the u(1) helicity operator. Its unitary positive energy ladder representations, constructed by Gerhard Mack and the author 50 years ago, opened the way to a better understanding of zero-mass particles and fields and thei… ▽ More The Clifford algebra, generated by the real (Majorana) gamma-matrices and by a hermitian gamma_5, gives room to the reductive Lie algebra u(2,2) of the conformal group extended by the u(1) helicity operator. Its unitary positive energy ladder representations, constructed by Gerhard Mack and the author 50 years ago, opened the way to a better understanding of zero-mass particles and fields and their relation to the space of bound states of the hydrogen atom. They became a prototypical example of a minimal representation of a non-compact reductive group introduced during the subsequent decade by Joseph. By the mid 1980's I have developed an analytic approach to compactified Minkowski space, suited for extending the notion of vertex operator algebras to higher dimensions. Another 20 years later Nikolay Nikolov and I realized that thermal correlation functions of massless fields are doubly periodic elliptic functions while the logarithmic derivative of the corresponding partition function is a modular form reproducing Planck's black body radiation law. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Comments: 19 pages, Invited talk at the conference "Conformal Invariance and Harmonic Analysis", Institut de Physique Theorique de Saclay, Gif-sur-Yvette, 5 December 2018

Report number: IHES/P/19/01

Journal ref: Bulg. J. Phys. 46 (2019) 117-133

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

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.

Exceptional quantum geometry and particle physics II

Authors: Michel Dubois-Violette, Ivan Todorov

Abstract: We continue the study undertaken in [13] of the relevance of the exceptional Jordan algebra $J^8_3$ of hermitian $3\times 3$ octonionic matrices for the description of the internal space of the fundamental fermions of the Standard Model with 3 generations. By using the suggestion of [30] (properly justified here) that the Jordan algebra $J^8_2$ of hermitian $2\times 2$ octonionic matrices is relev… ▽ More We continue the study undertaken in [13] of the relevance of the exceptional Jordan algebra $J^8_3$ of hermitian $3\times 3$ octonionic matrices for the description of the internal space of the fundamental fermions of the Standard Model with 3 generations. By using the suggestion of [30] (properly justified here) that the Jordan algebra $J^8_2$ of hermitian $2\times 2$ octonionic matrices is relevant for the description of the internal space of the fundamental fermions of one generation, we show that, based on the same principles and the same framework as in [13], there is a way to describe the internal space of the 3 generations which avoids the introduction of new fundamental fermions and where there is no problem with respect to the electroweak symmetry. △ Less

Submitted 24 August, 2018; originally announced August 2018.

Comments: 18 pages

Report number: LPT-ORSAY 18-78

Deducing the symmetry of the standard model from the automorphism and structure groups of the exceptional Jordan algebra

Authors: Ivan Todorov, Michel Dubois-Violette

Abstract: We continue the study undertaken in \cite{DV} of the exceptional Jordan algebra $J = J_3^8$ as (part of) the finite-dimensional quantum algebra in an almost classical space-time approach to particle physics. Along with reviewing known properties of $J$ and of the associated exceptional Lie groups we argue that the symmetry of the model can be deduced from the Borel-de Siebenthal theory of maximal… ▽ More We continue the study undertaken in \cite{DV} of the exceptional Jordan algebra $J = J_3^8$ as (part of) the finite-dimensional quantum algebra in an almost classical space-time approach to particle physics. Along with reviewing known properties of $J$ and of the associated exceptional Lie groups we argue that the symmetry of the model can be deduced from the Borel-de Siebenthal theory of maximal connected subgroups of simple compact Lie groups. △ Less

Submitted 17 June, 2018; originally announced June 2018.

Comments: 16 pages, 1 figure

Report number: Updated version of IHES/P/17/03 and LPT-ORSAY 17-15 with minor corrections

From Euler's play with infinite series to the anomalous magnetic moment

Authors: Ivan Todorov

Abstract: During a first St. Petersburg period Leonhard Euler, in his early twenties, became interested in the Basel problem: summing the series of inverse squares (posed by Pietro Mengoli in mid 17th century). In the words of Andre Weil (1989) "as with most questions that ever attracted his attention, he never abandoned it". Euler introduced on the way the alternating "phi-series", the better converging co… ▽ More During a first St. Petersburg period Leonhard Euler, in his early twenties, became interested in the Basel problem: summing the series of inverse squares (posed by Pietro Mengoli in mid 17th century). In the words of Andre Weil (1989) "as with most questions that ever attracted his attention, he never abandoned it". Euler introduced on the way the alternating "phi-series", the better converging companion of the zeta function, the first example of a polylogarithm at a root of unity. He realized - empirically! - that odd zeta values appear to be new (transcendental?) numbers. It is amazing to see how, a quarter of a millennium later, the numbers Euler played with, "however repugnant" this game might have seemed to his contemporary lovers of the "higher kind of calculus", reappeared in the analytic calculation of the anomalous magnetic moment of the electron, the most precisely calculated and measured physical quantity. Mathematicians, inspired by ideas of Grothendieck, are reviving the dream of Galois of uncovering a group structure in the ring of periods (that includes the multiple zeta values) - applied to the study of Feynman amplitudes. △ Less

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

Comments: v.2: minor corrections, references added

Report number: Bures-sur-Yvette preprint IHES/P/18/01

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

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

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.

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

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

Schur multipliers of Cartan pairs

Authors: Rupert H. Levene, Nico Spronk, Ivan G. Todorov, Lyudmila Turowska

Abstract: We define the Schur multipliers of a separable von Neumann algebra M with Cartan masa A, generalising the classical Schur multipliers of $B(\ell^2)$. We characterise these as the normal A-bimodule maps on M. If M contains a direct summand isomorphic to the hyperfinite II_1 factor, then we show that the Schur multipliers arising from the extended Haagerup tensor product $A \otimes_{eh} A$ are stric… ▽ More We define the Schur multipliers of a separable von Neumann algebra M with Cartan masa A, generalising the classical Schur multipliers of $B(\ell^2)$. We characterise these as the normal A-bimodule maps on M. If M contains a direct summand isomorphic to the hyperfinite II_1 factor, then we show that the Schur multipliers arising from the extended Haagerup tensor product $A \otimes_{eh} A$ are strictly contained in the algebra of all Schur multipliers. △ Less

Submitted 9 September, 2014; originally announced September 2014.

MSC Class: 47L10; 47L07

Estimating quantum chromatic numbers

Authors: Vern I. Paulsen, Simone Severini, Daniel Stahlke, Ivan G. Todorov, Andreas Winter

Abstract: We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter… ▽ More We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter that gives a lower bound for the commuting quantum chromatic number and parallels the projective rank, and prove that it is multiplicative. We describe the tracial rank, the projective rank and the fractional chromatic numbers in a unified manner that clarifies their connection with the commuting quantum chromatic number, the quantum chromatic number and the classical chromatic number, respectively. Finally, we present a new SDP algorithm that yields a parameter larger than the Lovász number and is yet a lower bound for the tracial rank of the graph. We determine the precise value of the tracial rank of an odd cycle. △ Less

Submitted 17 February, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: 34 pages; v2 has improved presentation based after referees' comments, published version

Journal ref: J. Functional Analysis, vol. 270, no. 6, pp. 2188-2222 (2016)

Ideals of the Fourier algebra, supports and harmonic operators

Authors: M. Anoussis, A. Katavolos, I. G. Todorov

Abstract: We examine the common null spaces of families of Herz-Schur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in J. Funct. Anal. 266 (2014), 6473-6500 can be used to give a short proof as well as a generalisation of a result of Neufang and Runde concerning harmonic operators with… ▽ More We examine the common null spaces of families of Herz-Schur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in J. Funct. Anal. 266 (2014), 6473-6500 can be used to give a short proof as well as a generalisation of a result of Neufang and Runde concerning harmonic operators with respect to a normalised positive definite function. We compare the two notions of support of an operator that have been studied in the literature and show how one can be expressed in terms of the other. △ Less

Submitted 12 July, 2014; originally announced July 2014.

Journal ref: Math. Proc. Camb. Phil. Soc. 161 (2016) 223-235

Ideals of $A(G)$ and bimodules over maximal abelian selfadjoint algebras

Authors: M. Anoussis, A. Katavolos, I. G. Todorov

Abstract: This paper is concerned with weak* closed masa-bimodules generated by A(G)-invariant subspaces of VN(G). An annihilator formula is established, which is used to characterise the weak* closed subspaces of B(L^2(G)) which are invariant under both Schur multipliers and a canonical action of M(G) on B(L^2(G)) via completely bounded maps. We study the special cases of extremal ideals with a given null… ▽ More This paper is concerned with weak* closed masa-bimodules generated by A(G)-invariant subspaces of VN(G). An annihilator formula is established, which is used to characterise the weak* closed subspaces of B(L^2(G)) which are invariant under both Schur multipliers and a canonical action of M(G) on B(L^2(G)) via completely bounded maps. We study the special cases of extremal ideals with a given null set and, for a large class of groups, we establish a link between relative spectral synthesis and relative operator synthesis. △ Less

Submitted 12 July, 2014; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: Please refer to the journal for the final version

Journal ref: Journal of Functional Analysis 266 (2014) 6473-6500

Sets of multiplicity and closable multipliers on group algebras

Authors: Victor S. Shulman, Ivan G. Todorov, Lyudmila Turowska

Abstract: We undertake a detailed study of the sets of multiplicity in a second countable locally compact group $G$ and their operator versions. We establish a symbolic calculus for normal completely bounded maps from the space $\mathcal{B}(L^2(G))$ of bounded linear operators on $L^2(G)$ into the von Neumann algebra $VN(G)$ of $G$ and use it to show that a closed subset $E\subseteq G$ is a set of multiplic… ▽ More We undertake a detailed study of the sets of multiplicity in a second countable locally compact group $G$ and their operator versions. We establish a symbolic calculus for normal completely bounded maps from the space $\mathcal{B}(L^2(G))$ of bounded linear operators on $L^2(G)$ into the von Neumann algebra $VN(G)$ of $G$ and use it to show that a closed subset $E\subseteq G$ is a set of multiplicity if and only if the set $E^* = \{(s,t)\in G\times G : ts^{-1}\in E\}$ is a set of operator multiplicity. Analogous results are established for $M_1$-sets and $M_0$-sets. We show that the property of being a set of multiplicity is preserved under various operations, including taking direct products, and establish an Inverse Image Theorem for such sets. We characterise the sets of finite width that are also sets of operator multiplicity, and show that every compact operator supported on a set of finite width can be approximated by sums of rank one operators supported on the same set. We show that, if $G$ satisfies a mild approximation condition, pointwise multiplication by a given measurable function $ψ: G\to \mathbb{C}$ defines a closable multiplier on the reduced C*-algebra $C_r^*(G)$ of $G$ if and only if Schur multiplication by the function $N(ψ) : G\times G\to \mathbb{C}$, given by $N(ψ)(s,t) = ψ(ts^{-1})$, is a closable operator when viewed as a densely defined linear map on the space of compact operators on $L^2(G)$. Similar results are obtained for multipliers on $VN(G)$. △ Less

Submitted 12 January, 2014; originally announced January 2014.

Comments: 51 pages

Quantum chromatic numbers via operator systems

Authors: Vern I. Paulsen, Ivan G. Todorov

Abstract: We define several new types of quantum chromatic numbers of a graph and characterise them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes. We define several new types of quantum chromatic numbers of a graph and characterise them in terms of operator system tensor products. We establish inequalities between these chromatic numbers and other parameters of graphs studied in the literature and exhibit a link between them and non-signalling correlation boxes. △ Less

Submitted 26 November, 2013; originally announced November 2013.

Comments: 16 pages

Characterisations of the weak expectation property

Authors: Douglas Farenick, Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov

Abstract: We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem. We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem. △ Less

Submitted 3 July, 2013; originally announced July 2013.

Comments: 28 pages

Operator synthesis and tensor products

Authors: G. K. Eleftherakis, I. G. Todorov

Abstract: We show that Kraus' property $S_σ$ is preserved under taking weak* closed sums with masa-bimodules of finite width, and establish an intersection formula for weak* closed spans of tensor products, one of whose terms is a masa-bimodule of finite width. We initiate the study of the question of when operator synthesis is preserved under the formation of products and prove that the union of finitely m… ▽ More We show that Kraus' property $S_σ$ is preserved under taking weak* closed sums with masa-bimodules of finite width, and establish an intersection formula for weak* closed spans of tensor products, one of whose terms is a masa-bimodule of finite width. We initiate the study of the question of when operator synthesis is preserved under the formation of products and prove that the union of finitely many sets of the form $κ\times λ$, where $κ$ is a set of finite width, while $λ$ is operator synthetic, is, under a necessary restriction on the sets $λ$, again operator synthetic. We show that property $S_σ$ is preserved under spatial Morita subordinance. En route, we prove that non-atomic ternary masa-bimodules possess property $S_σ$ hereditarily. △ Less

Submitted 16 January, 2013; originally announced January 2013.

Operator systems from discrete groups

Authors: Douglas Farenick, Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov

Abstract: We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the comm… ▽ More We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes. △ Less

Submitted 5 September, 2012; originally announced September 2012.

MSC Class: 46L06; 46L07

Conformal field theories with infinitely many conservation laws

Authors: Ivan Todorov

Abstract: Globally conformal invariant quantum field theories in a D-dimensional space-time (D even) have rational correlation functions and admit an infinite number of conserved (symmetric traceless) tensor currents. In a theory of a scalar field of dimension D-2 they were demonstrated to be generated by bilocal normal products of free massless scalar fields with an O(N), U(N), or Sp(2N) (global) gauge sym… ▽ More Globally conformal invariant quantum field theories in a D-dimensional space-time (D even) have rational correlation functions and admit an infinite number of conserved (symmetric traceless) tensor currents. In a theory of a scalar field of dimension D-2 they were demonstrated to be generated by bilocal normal products of free massless scalar fields with an O(N), U(N), or Sp(2N) (global) gauge symmetry [BNRT]. Recently, conformal field theories "with higher spin symmetry" were considered for D=3 in [MZ] where a similar result was obtained (exploiting earlier study of CFT correlators). We suggest that the proper generalization of the notion of a 2D chiral algebra to arbitrary (even or odd) dimension is precisely a CFT with an infinite series of conserved currents. We shall recast and complement (part of) the argument of Maldacena and Zhiboedov into the framework of our earlier work. We extend to D=4 the auxiliary Weyl-spinor formalism developed in [GPY] for D=3. The free field construction only follows for D>3 under additional assumptions about the operator product algebra. In particular, the problem of whether a rational CFT in 4D Minkowski space is necessarily trivial remains open. △ Less

Submitted 16 July, 2012; originally announced July 2012.

Comments: 24 pages, Lecture at the TH Journal Club (CERN, February 2012)

Report number: CERN-TH-PH/2012-075