arXiv subjects

Ivan G. Todorov

Publications and source records attributed to Ivan G. Todorov.

At least 19 recordsLinked to original sources

arXiv2026

Absolutely dilatable bimodule maps

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.

math.OA↗

arXiv2026

Lattices of strongly reflexive masa-bimodules

We characterise the density of the positive rank one subspace of a masa-bimodule in terms of its support. We prove that strongly reflexive masa-bimodules form a Boolean lattice under naturally defined operations. We examine the lattice-theoretic properties of the class of strongly reflexive masa-bimodules that are also operator systems and some natural subclasses thereof, and provide a topological description of the lattice operations in the case the masa-bimodules arise from closed subsets of a locally compact group.

math.OA↗

arXiv2026

Operator systems and positive extensions over discrete groups

The extension problem asks whether positive semi-definite functions on a symmetric unital subset of a discrete group can be extended to positive semi-definite functions on the whole group. It has been known at least since the work of Rudin in the 1960s that this is closely related to the problem of finding sums of squares factorisations of positive elements in the group C*-algebra. We give an operator system perspective at these two problems explaining their equivalence: the extension property is characterised by a certain quotient map on the Fourier--Stieltjes algebra, and the factorisation property by a certain complete order embedding into the group C*-algebra. These properties are linked to the duality of the operator systems which have recently emerged from spectral and Fourier truncations in noncommutative geometry. We exemplify how one can relate certain extension problems to operator system techniques such as nuclearity and the C*-envelope.

math.OA↗

arXiv2026

Morita equivalence for operator systems

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 when represented in the double dual of their C*-envelopes.

math.OA↗

arXiv2025

Cantor correlations I. Operator systems and Cantor games

We study no-signalling correlations over Cantor spaces, placing the product of infinitely many copies of a finite non-local game in a unified general setup. We define the subclasses of local, quantum spatial, approximately quantum and quantum commuting Cantor correlations and describe them in terms of states on tensor products of inductive limits of operator systems. We provide a correspondence between no-signalling (resp. approximately quantum, quantum commuting) Cantor correlations and sequences of correlations of the same type over the projections onto increasing number of finitely many coordinates. We introduce Cantor games, and associate canonically such a game to a sequence of finite input/output games, showing that the numerical sequence of the values of the games in the sequence converges to the corresponding value of the compound Cantor game.

math.OA↗

arXiv2025

Operator systems, contextuality and non-locality

We introduce an operator system, universal for the probabilistic models of a contextuality scenario, and identify its maximal C*-cover via 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.

math.OA↗

arXiv2025

An operator system approach to self-testing

We develop a general framework for self-testing, in which bipartite correlations are described by states on the commuting tensor product of a pair of operator systems. We propose a definition of a local isometry between bipartite quantum systems in the commuting operator model, and define self-testing and abstract self-testing in the latter generality. We show that self-tests are in the general case always abstract self-tests and that, in some cases, the converse is also true. We apply our framework in a variety of instances, including to correlations with quantum inputs and outputs, quantum commuting correlations for the CHSH game, synchronous correlations, contextuality scenarios, quantum colourings and Schur quantum channels.

quant-ph↗

arXiv2025

Symmetrisations of operator spaces

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.

math.OA↗

arXiv2024

Measurable No-signalling Correlations

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.

quant-ph↗

arXiv2023

Homomorphisms of quantum hypergraphs

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.

math.OA↗

arXiv2023

Values of cooperative quantum games

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.

quant-ph↗

arXiv2023

Coupling capacity in C*-algebras

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.

math.OA↗

arXiv2023

Quantum no-signalling bicorrelations

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.

math.OA↗

arXiv2022

Quantum hypergraph homomorphisms and non-local games

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.

math.OA↗

arXiv2022

Completely compact Herz-Schur multipliers of dynamical systems

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.

math.OA↗

arXiv2021

Products of synchronous games

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.

math.OA↗

arXiv2021

Synchronicity for quantum non-local games

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.

math.OA↗

arXiv2021

Information theoretic parameters of non-commutative graphs and convex corners

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.

math.OA↗