The algebra of the Feistel-Toffoli construction

DOI10.1142/S0219498823502626MaRDI QIDQ6087902zbMATH OpenOpenAlexFDO

Authors Laurent Poinsot, Hans-E. Porst

Publication date 16 November 2023

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

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)

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.

Recommendations

• The monoidal nature of the Feistel-Toffoli construction
• scientific article; zbMATH DE number 2163011
• Algebraic characterization of reversible logic gates
• On groups generated by ciphers based on Feistel network
• Algebraic properties of generalized Rijndael-like ciphers

Cites work

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

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)