Abstract

We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.

Full Text

Published Version
Open DOI Link

Topics from this Paper

  • Finite Dimensional Hilbert Spaces
  • Finite Dimensional Spaces
  • Finite Spaces
  • Dimensional Spaces
  • Dimensional Hilbert Spaces
    • + Show 1 more

Create a personalized feed of these topics

Get Started

Get access to 115M+ research papers

Discover from 40M+ Open access, 2M+ Pre-prints, 9.5M Topics and 32K+ Journals.

Sign Up Now! It's FREE

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Finite linear spaces, plane geometries, Hilbert spaces and finite phase space
  • Quantum Studies: Mathematics and Foundations
  • Jan 23, 2016
Relevant
Not Relevant
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
  • arXiv: Category Theory
  • Jul 30, 2012
Relevant
Not Relevant
Transition probabilities for non self-adjoint Hamiltonians in infinite dimensional Hilbert spaces
  • Annals of Physics
  • Nov 1, 2015
Relevant
Not Relevant
Frames built on fractal sets
  • Journal of Geometry and Physics
  • Apr 1, 2004
Relevant
Not Relevant
Multiparameter System of Operators with Two Parameters in Finite Dimensional Spaces
  • Pure and Applied Mathematics Journal
  • May 12, 2015
Relevant
Not Relevant
On the control by electromagnetic fields of quantum systems with infinite dimensional Hilbert space
  • arXiv: Optimization and Control
  • Dec 12, 2014
Relevant
Not Relevant
Norm-parallelism in the geometry of Hilbert C∗-modules
  • Indagationes Mathematicae
  • Jan 1, 2016
Relevant
Not Relevant
Existence, uniqueness and global behavior of the solutions to some nonlinear vector equations in a finite dimensional Hilbert space
  • Nonlinear Analysis
  • Sep 1, 2017
Relevant
Not Relevant
Quantifying Quantumness and the Quest for Queens of Quantum
  • arXiv: Quantum Physics
  • Feb 10, 2010
Relevant
Not Relevant
A variational quantum algorithm for approximating convex roofs
  • Quantum Information and Computation
  • Sep 1, 2022
Relevant
Not Relevant
Computation of antieigenvalues of bounded linear operators via centre of mass
  • arXiv: Functional Analysis
  • Jul 26, 2010
Relevant
Not Relevant
Essential commutants of semicrossed products
  • arXiv: Operator Algebras
  • Apr 15, 2014
Relevant
Not Relevant
Quantum mechanics in finite dimensional Hilbert space
  • arXiv: Quantum Physics
  • May 24, 2002
Relevant
Not Relevant
Entanglement and the factorization-approximation
  • arXiv: Quantum Physics
  • Sep 27, 2001
Relevant
Not Relevant
Some inequalities for quantum Tsallis entropy related to the strong subadditivity
  • arXiv: Mathematical Physics
  • Mar 27, 2014
Relevant
Not Relevant
READ MORE FROM

Logical Methods in Computer Science

Fine-Grained Complexity of Regular Path Queries
Open Access
Just Published
  • Logical Methods in Computer Science
  • Nov 27, 2023
Relevant
Not Relevant
FTMPST: Fault-Tolerant Multiparty Session Types
Open Access
Just Published
  • Logical Methods in Computer Science
  • Nov 27, 2023
Relevant
Not Relevant
A model of actors and grey failures
Open Access
  • Logical Methods in Computer Science
  • Nov 22, 2023
Relevant
Not Relevant
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Open Access
  • Logical Methods in Computer Science
  • Nov 22, 2023
Relevant
Not Relevant
Making first order linear logic a generating grammar
Open Access
  • Logical Methods in Computer Science
  • Nov 17, 2023
Relevant
Not Relevant
A categorical characterization of relative entropy on standard Borel spaces
Open Access
  • Logical Methods in Computer Science
  • Nov 9, 2023
Relevant
Not Relevant
Token Games and History-Deterministic Quantitative-Automata
Open Access
  • Logical Methods in Computer Science
  • Nov 3, 2023
Relevant
Not Relevant
The Power-Set Construction for Tree Algebras
Open Access
  • Logical Methods in Computer Science
  • Nov 3, 2023
Relevant
Not Relevant
A coherent differential PCF
  • Logical Methods in Computer Science
  • Oct 26, 2023
Relevant
Not Relevant
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
Open Access
  • Logical Methods in Computer Science
  • Oct 25, 2023
Relevant
Not Relevant