Beyond Operator Systems

• URL: http://arxiv.org/abs/2312.13983v1
• Date: Thu, 21 Dec 2023 16:16:27 GMT
• Title: Beyond Operator Systems
• Authors: Gemma De les Coves, Mirte van der Eyden, Tim Netzer
• Abstract summary: Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems. While positive semidefinite matrices form the underlying structure of operator systems, our work shows that these can be promoted to far more general structures. For instance, we prove a general extension theorem which unifies the well-known homomorphism theorem, Riesz' extension theorem, Farkas' lemma and Arveson's extension theorem. On the other hand, the same theorem gives rise to new vector-valued extension theorems, even for invariant maps, when applied to other underlying structures. We also prove generalized versions of the Choi-Kraus representation, Choi-Effros theorem, duality of operator systems, factorizations of completely positive maps, and more, leading to new results even for operator systems themselves. In addition, our proofs are shorter and simpler, revealing the interplay between cones and tensor products, captured elegantly in terms of star autonomous categories. This perspective gives rise to new connections between group representations, mapping cones and topological quantum field theory, as they correspond to different instances of our framework and are thus siblings of operator systems.

Related papers

• ATG: Benchmarking Automated Theorem Generation for Generative Language Models [83.93978859348313]
  Humans can develop new theorems to explore broader and more complex mathematical results. Current generative language models (LMs) have achieved significant improvement in automatically proving theorems. This paper proposes an Automated Theorem Generation benchmark that evaluates whether an agent can automatically generate valuable (and possibly brand new) theorems.
  arXiv  Detail & Related papers  (2024-05-05T02:06:37Z)
• Categorical relations and bipartite entanglement in tensor cones for Toeplitz and Fej\'er-Riesz operator systems [0.0]
  This paper aims to understand separability and entanglement in tensor cones, in the sense of Namioka and Phelps. Toeplitz and Fej'er-Riesz operator systems are of particular interest.
  arXiv  Detail & Related papers  (2023-12-03T17:15:41Z)
• A Study of Neural Collapse Phenomenon: Grassmannian Frame, Symmetry and Generalization [91.95109845914267]
  We extend original Neural Collapse Phenomenon by proving Generalized Neural Collapse hypothesis. We obtain Grassmannian Frame structure from the optimization and generalization of classification. We provide a theorem to explain Symmetric Generalization of permutation.
  arXiv  Detail & Related papers  (2023-04-18T11:35:14Z)
• Operator Systems Generated by Projections [3.8073142980733]
  We construct a family of operator systems and $k$-AOU spaces generated by a finite number of projections satisfying a set of linear relations. By choosing the linear relations to be the nonsignalling relations from quantum correlation theory, we obtain a hierarchy of ordered vector spaces dual to the hierarchy of quantum correlation sets.
  arXiv  Detail & Related papers  (2023-02-25T01:33:39Z)
• Construction and local equivalence of dual-unitary operators: from dynamical maps to quantum combinatorial designs [0.0]
  We study the map analytically for the two-qubit case describing the basins of attraction, fixed points, and rates of approach to dual unitaries. A subset of dual-unitary operators having maximum entangling power are 2-unitary operators or perfect tensors. A necessary criterion for their local unitary equivalence to distinguish classes is also introduced and used to display various concrete results.
  arXiv  Detail & Related papers  (2022-05-18T10:13:56Z)
• Self-adjoint extension schemes and modern applications to quantum Hamiltonians [55.2480439325792]
  monograph contains revised and enlarged materials from previous lecture notes of undergraduate and graduate courses and seminars delivered by both authors over the last years on a subject that is central both in abstract operator theory and in applications to quantum mechanics. A number of models are discussed, which are receiving today new or renewed interest in mathematical physics, in particular from the point of view of realising certain operators of interests self-adjointly.
  arXiv  Detail & Related papers  (2022-01-25T09:45:16Z)
• Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning [109.21780441933164]
  We propose a hybrid approach to improve systematic generalization in reasoning. We showcase a prototype with algebraic representation for the abstract spatial-temporal task of Raven's Progressive Matrices (RPM) We show that the algebraic representation learned can be decoded by isomorphism to generate an answer.
  arXiv  Detail & Related papers  (2021-11-25T09:56:30Z)
• Neural Operator: Learning Maps Between Function Spaces [75.93843876663128]
  We propose a generalization of neural networks to learn operators, termed neural operators, that map between infinite dimensional function spaces. We prove a universal approximation theorem for our proposed neural operator, showing that it can approximate any given nonlinear continuous operator. An important application for neural operators is learning surrogate maps for the solution operators of partial differential equations.
  arXiv  Detail & Related papers  (2021-08-19T03:56:49Z)
• Hilbert Spaces of Entire Functions and Toeplitz Quantization of Euclidean Planes [0.0]
  We extend the theory of Toeplitz quantization to include diverse and interesting non-commutative realizations of the classical Euclidean plane. The Toeplitz operators are geometrically constructed as special elements from this algebra. Various illustrative examples are computed.
  arXiv  Detail & Related papers  (2021-05-18T09:52:48Z)
• Getting to the Bottom of Noether's Theorem [0.0]
  We show that Noether's theorem holds whenever we can map observables to generators in such a way that each observable generates a one- parameter group that preserves itself. We show this expresses a relation between quantum and statistical mechanics, closely connected to the principle that "inverse temperature is imaginary time"
  arXiv  Detail & Related papers  (2020-06-26T00:56:17Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
  arXiv  Detail & Related papers  (2020-06-03T17:54:43Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.