4 citations · 6 across the 4 of their papers we have counts for
4 papers
Additivity violation of quantum channels via strong convergence to semi-circular and circular elements
Motohisa Fukuda, Takahiro Hasebe, Shinya Sato
Additivity violation of minimum output entropy, which shows non-classical properties in quantum communication, had been proved in most cases for random quantum channels defined by…
In-place Graph Rewriting with Interaction Nets
Ian Mackie, Shinya Sato
An algorithm is in-place, or runs in-situ, when it does not need any additional memory to execute beyond a small constant amount. There are many algorithms that are efficient becau…
An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
To study implementations and optimisations of interaction net systems we propose a calculus to allow us to reason about nets, a concrete data-structure that is in close corresponde…
An Implementation of Nested Pattern Matching in Interaction Nets
Abubakar Hassan, Eugen Jiresch, Shinya Sato
Reduction rules in interaction nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sop…