10 citations · 10 across the 2 of their papers we have counts for
5 papers
The Measurement Calculus
Vincent Danos, Elham Kashefi, Prakash Panangaden
We propose a calculus of local equations over one-way computing patterns, which preserves interpretations, and allows the rewriting of any pattern to a standard form where entangle…
On the Complexity of Quantum Languages
Elham Kashefi, Carolina Moura Alves
The standard inputs given to a quantum machine are classical binary strings. In this view, any quantum complexity class is a collection of subsets of . However, a quan…
Quantum Domain Theory - Definitions and Applications
Elham Kashefi
Classically domain theory is a rigourous mathematical structure to describe denotational semantics for programming languages and to study the computability of partial functions. Re…
Uniqueness of Entanglement Measure and Thermodynamics
Vlatko Vedral, Elham Kashefi
We apply the axiomatic approach to thermodynamics presented by Giles to derive a unique measure of entanglement for bi-partite pure states. This implies that local manipulations of…
A note on quantum one-way permutations
Elham Kashefi, Harumichi Nishimura, Vlatko Vedral
We discuss the question of the existence of quantum one-way permutations. First, we prove the equivalence between inverting a permutation and that of constructing a polynomial size…