Publications (15)
Strongly Universal Reversible Gate Sets
Tim Boykett, Jarkko Kari, Ville Salo
It is well-known that the Toffoli gate and the negation gate together yield a universal gate set, in the sense that every permutation of can be implemented as a composi…
All Difference Family Structures arise from Groups
Tim Boykett
Difference families are traditionally built using groups as their basis. This paper looks at what sort of generalised difference family constructions could be made, using the stand…
Units in Near-rings
Tim Boykett, Gerhard Wendt
We investigate near-ring properties that generalize nearfield properties about units. We study zero symmetric near-rings with identity with two interrelated properties: the uni…
Finite generating sets for reversible gate sets under general conservation laws
Tim Boykett, Jarkko Kari, Ville Salo
It is well-known that the Toffoli gate and the negation gate together yield a universal gate set, in the sense that every permutation of can be implemented as a composi…
Towards a Noether-like conservation law theorem for one dimensional reversible cellular automata
Tim Boykett
Evidence and results suggesting that a Noether--like theorem for conservation laws in 1D RCA can be obtained. Unlike Noether's theorem, the connection here is to the maximal congru…
Orderly Algorithm to enumerate central groupoids and their graphs
Tim Boykett
A graph has the unique path property UPP_n if there is a unique path of length n between any ordered pair of nodes. This paper reiterates Royle and MacKay's technique for construct…