Quantum chaos has become a cornerstone of physics through its many applications. One
trademark of quantum chaotic systems is the spread of local quantum information, which …

Quantum dynamics is of fundamental interest and has implications in quantum information
processing. The four-point out-of-time-ordered correlator (OTOC) is traditionally used to …

Situated as a language between computer science, quantum physics and mathematics,
tensor network theory has steadily grown in popularity and can now be found in applications …

Quantum Fourier analysis is a subject that combines an algebraic Fourier transform (pictorial
in the case of subfactor theory) with analytic estimates. This provides interesting tools to …

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 …

We define a planar para algebra, which arises naturally from combining planar algebras
with the idea of Z _ N ZN para symmetry in physics. A subfactor planar para algebra is a …

We present a 3D topological picture-language for quantum information. Our approach
combines charged excitations carried by strings, with topological properties that arise from …

We present new data structures for quasistrict higher categories, in which associativity and
unit laws hold strictly. Our approach has low axiomatic complexity compared to traditional …

The theory of associative n-categories has recently been proposed as a strictly associative
and unital approach to higher category theory. As a foundation for a proof assistant, this is …

The stabilizer zx-calculus is a rigorous graphical language for reasoning about quantum
mechanics. The language is sound and complete: one can transform a stabilizer zx-diagram …