72 citations · 610 across the 64 of their papers we have counts for
Showing 2005Show all
2 papers · 1 filter
quant-ph2005
An algebraic study of unitary one dimensional quantum cellular automata
Pablo Arrighi
We provide algebraic criteria for the unitarity of linear quantum cellular automata, i.e. one dimensional quantum cellular automata. We derive these both by direct combinatorial ar…
quant-ph2005★ 8 cited
Linear-algebraic lambda-calculus
Pablo Arrighi, Gilles Dowek
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by constructio…