75 citations · 544 across the 41 of their papers we have counts for
17 papers · 1 filter
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
Pieter W. Claeys, Austen Lamacraft, Jamie Vicary
Dual-unitary brickwork circuits are an exactly-solvable model for many-body chaotic quantum systems, based on 2-site gates which are unitary in both the time and space directions.…
Exact dynamics in dual-unitary quantum circuits with projective measurements
Pieter W. Claeys, Marius Henry, Jamie Vicary +1
Dual-unitary circuits have emerged as a minimal model for chaotic quantum many-body dynamics in which the dynamics of correlations and entanglement remains tractable. Simultaneousl…
Shaded tangles for the design and verification of quantum circuits
David J. Reutter, Jamie Vicary
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects a…
Orthogonality for Quantum Latin Isometry Squares
Benjamin Musto, Jamie Vicary
Goyeneche et al recently proposed a notion of orthogonality for quantum Latin squares, and showed that orthogonal quantum Latin squares yield quantum codes. We give a simplified ch…
Quantum teleportation with infinite reference frame uncertainty and without prior alignment
Dominic Verdon, Jamie Vicary
We present two new schemes for quantum teleportation between parties whose local reference frames are misaligned by the action of a compact Lie group G. These schemes require no pr…
Perfect tight quantum teleportation without a shared reference frame
Dominic Verdon, Jamie Vicary
We present a new scheme for teleporting a quantum state between two parties whose local reference frames are misaligned by the action of a finite symmetry group. Unlike other propo…
A classical groupoid model for quantum networks
David J. Reutter, Jamie Vicary
We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our a…
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
David Reutter, Jamie Vicary
We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in t…
Biunitary constructions in quantum information
David J. Reutter, Jamie Vicary
We present an infinite number of construction schemes involving unitary error bases, Hadamard matrices, quantum Latin squares and controlled families, many of which have not previo…
Tight Reference Frame--Independent Quantum Teleportation
Dominic Verdon, Jamie Vicary
We give a tight scheme for teleporting a quantum state between two parties whose reference frames are misaligned by an action of a finite symmetry group. Unlike previously proposed…
Quantum Latin squares and unitary error bases
Benjamin Musto, Jamie Vicary
In this paper we introduce quantum Latin squares, combinatorial quantum objects which generalize classical Latin squares, and investigate their applications in quantum computer sci…
Abstract structure of unitary oracles for quantum algorithms
William Zeng, Jamie Vicary
We show that a pair of complementary dagger-Frobenius algebras, equipped with a self-conjugate comonoid homomorphism onto one of the algebras, produce a nontrivial unitary morphism…
Mixed quantum states in higher categories
Chris Heunen, Jamie Vicary, Linde Wester
There are two ways to describe the interaction between classical and quantum information categorically: one based on completely positive maps between Frobenius algebras, the other…
The Topology of Quantum Algorithms
Jamie Vicary
We use a categorical topological semantics to examine the Deutsch-Jozsa, hidden subgroup and single-shot Grover algorithms. This reveals important structures hidden by conventional…
A new description of orthogonal bases
Bob Coecke, Dusko Pavlovic, Jamie Vicary
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has…
Categorical formulation of quantum algebras
Jamie Vicary
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution…
A categorical framework for the quantum harmonic oscillator
Jamie Vicary
This paper describes how the structure of the state space of the quantum harmonic oscillator can be described by an adjunction of categories, that encodes the raising and lowering…