Abstract
AbstractWe study the notion of formal self duality in finite abelian groups. Formal duality in finite abelian groups has been proposed by Cohn, Kumar, Reiher and Schürmann. In this paper we give a precise definition of formally self dual sets and discuss results from the literature in this perspective. Also, we discuss the connection to formally dual codes. We prove that formally self dual sets can be reduced to primitive formally self dual sets similar to a previously known result on general formally dual sets. Furthermore, we describe several properties of formally self dual sets. Also, some new examples of formally self dual sets are presented within this paper. Lastly, we study formally self dual sets of the form $\{(x,F(x)) \ : \ x\in {\mathbb {F}}_{2^{n}}\}$
{
(
x
,
F
(
x
)
)
:
x
∈
F
2
n
}
where F is a vectorial Boolean function mapping ${\mathbb {F}}_{2^{n}}$
F
2
n
to ${\mathbb {F}}_{2^{n}}$
F
2
n
.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications
Reference25 articles.
1. Carlet, C.: On Z4-duality. IEEE Trans. Inf. Theory 41(5), 1487–1494 (1995)
2. Carlet, C.: Boolean Functions for Cryptography and Coding Theory. Cambridge University Press, Cambridge (2021)
3. Carlet, C., Charpin, P., Zinoviev, V.: Codes, bent functions and permutations suitable for des-like cryptosystems. Des. Codes Crypt. 15(2), 125–156 (1998)
4. Cohn, H., Kumar, A., Reiher, C., Schürmann, A.: Formal duality and generalizations of the Poisson summation formula. Disc. Geom. Algebraic Comb. 49, 607–652 (2014)
5. Cohn, H., Kumar, A., Schürmann, A.: Ground states and formal duality relations in the gaussian core model. Phys. Rev. E 80, 061116 (2009)