R. Vilmart

Intuitionistic Unitary Linear Logic: A Proof-Theoretical Approach to Purely Quantum Higher-Order

Although the circuit model for quantum computation is well established, it is incapable of representing non-causal higher-order quantum processes such as the quantum switch. If several models of non-causal quantum computation have been considered in the literature, the approaches have so far only been focusing on the p...

An Elementary Description of the Oracle of Efficient Sparse Matrices

A Unique Normal Form for Tensor Trains over Arbitrary Fields

This work provides a unique normal form and associated polynomial-time reduction strategy for tensor trains over arbitrary fields, and crucially provides the first tensor train form with the uniqueness property.