The algebra of the Feistel-Toffoli construction

DOI10.1142/S0219498823502626zbMATH Open1524.18013arXiv2112.02873OpenAlexW4225731530MaRDI QIDQ6087902FDOQ6087902

Authors: Laurent Poinsot, Hans-E. Porst 

Publication date: 16 November 2023

Published in: Journal of Algebra and its Applications (Search for Journal in Brave)

Abstract: The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold cartesian power of a group G into the automorphism group of the free G-set over the set X. It is shown that this construction not only can be generalized from groups to monoids but, more generally, to internal categories in arbitrary finitely complete categories where it becomes a cartesian isomorphism between certain discrete fibrations.

Full work available at URL: https://arxiv.org/abs/2112.02873

zbMATH Keywords

internal category\(G\)-setFeistel schemediscrete fibrationconvolution monoid

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Fibered categories (18D30) Internal categories and groupoids (18D40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical logic and type theory
• Dagger compact closed categories and completely positive maps (extended abstract)
• Title not available (Why is that?)
• Introduction to bicategories
• Complexe cotangent et déformations. II
• The formal theory of monads
• From Groups to Groupoids: a Brief Survey
• Title not available (Why is that?)
• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new description of orthogonal bases
• Coalgebras and cartesian categories
• The span construction
• Categorical notions of fibration
• The amazing world of quantum computing

Cited In (1)

• The monoidal nature of the Feistel-Toffoli construction

This page was built for publication: The algebra of the Feistel-Toffoli construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6087902)