{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:42:11Z","timestamp":1740148931741,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012688","name":"Universit\u00e4t Rostock","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100012688","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cryptogr. Commun."],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We 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\u00fcrmann. 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 <jats:inline-formula><jats:alternatives><jats:tex-math>$\\{(x,F(x)) \\ : \\ x\\in {\\mathbb {F}}_{2^{n}}\\}$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mo>{<\/mml:mo>\n                  <mml:mo>(<\/mml:mo>\n                  <mml:mi>x<\/mml:mi>\n                  <mml:mo>,<\/mml:mo>\n                  <mml:mi>F<\/mml:mi>\n                  <mml:mo>(<\/mml:mo>\n                  <mml:mi>x<\/mml:mi>\n                  <mml:mo>)<\/mml:mo>\n                  <mml:mo>)<\/mml:mo>\n                  <mml:mspace\/>\n                  <mml:mo>:<\/mml:mo>\n                  <mml:mspace\/>\n                  <mml:mi>x<\/mml:mi>\n                  <mml:mo>\u2208<\/mml:mo>\n                  <mml:msub>\n                    <mml:mrow>\n                      <mml:mi>F<\/mml:mi>\n                    <\/mml:mrow>\n                    <mml:mrow>\n                      <mml:msup>\n                        <mml:mrow>\n                          <mml:mn>2<\/mml:mn>\n                        <\/mml:mrow>\n                        <mml:mrow>\n                          <mml:mi>n<\/mml:mi>\n                        <\/mml:mrow>\n                      <\/mml:msup>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                  <mml:mo>}<\/mml:mo>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> where <jats:italic>F<\/jats:italic> is a vectorial Boolean function mapping <jats:inline-formula><jats:alternatives><jats:tex-math>${\\mathbb {F}}_{2^{n}}$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow>\n                      <mml:mi>F<\/mml:mi>\n                    <\/mml:mrow>\n                    <mml:mrow>\n                      <mml:msup>\n                        <mml:mrow>\n                          <mml:mn>2<\/mml:mn>\n                        <\/mml:mrow>\n                        <mml:mrow>\n                          <mml:mi>n<\/mml:mi>\n                        <\/mml:mrow>\n                      <\/mml:msup>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> to <jats:inline-formula><jats:alternatives><jats:tex-math>${\\mathbb {F}}_{2^{n}}$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow>\n                      <mml:mi>F<\/mml:mi>\n                    <\/mml:mrow>\n                    <mml:mrow>\n                      <mml:msup>\n                        <mml:mrow>\n                          <mml:mn>2<\/mml:mn>\n                        <\/mml:mrow>\n                        <mml:mrow>\n                          <mml:mi>n<\/mml:mi>\n                        <\/mml:mrow>\n                      <\/mml:msup>\n                    <\/mml:mrow>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/s12095-021-00508-9","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T23:08:21Z","timestamp":1625699301000},"page":"815-836","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal self duality"],"prefix":"10.1007","volume":"13","author":[{"given":"Lukas","family":"K\u00f6lsch","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9133-0894","authenticated-orcid":false,"given":"Robert","family":"Sch\u00fcler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,8]]},"reference":[{"issue":"5","key":"508_CR1","doi-asserted-by":"publisher","first-page":"1487","DOI":"10.1109\/18.412694","volume":"41","author":"C Carlet","year":"1995","unstructured":"Carlet, C.: On Z4-duality. IEEE Trans. Inf. Theory 41(5), 1487\u20131494 (1995)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"508_CR2","volume-title":"Boolean Functions for Cryptography and Coding Theory","author":"C Carlet","year":"2021","unstructured":"Carlet, C.: Boolean Functions for Cryptography and Coding Theory. Cambridge University Press, Cambridge (2021)"},{"issue":"2","key":"508_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1008344232130","volume":"15","author":"C Carlet","year":"1998","unstructured":"Carlet, C., Charpin, P., Zinoviev, V.: Codes, bent functions and permutations suitable for des-like cryptosystems. Des. Codes Crypt. 15(2), 125\u2013156 (1998)","journal-title":"Des. Codes Crypt."},{"key":"508_CR4","first-page":"607","volume":"49","author":"H Cohn","year":"2014","unstructured":"Cohn, H., Kumar, A., Reiher, C., Sch\u00fcrmann, A.: Formal duality and generalizations of the Poisson summation formula. Disc. Geom. Algebraic Comb. 49, 607\u2013652 (2014)","journal-title":"Disc. Geom. Algebraic Comb."},{"key":"508_CR5","doi-asserted-by":"publisher","first-page":"061116","DOI":"10.1103\/PhysRevE.80.061116","volume":"80","author":"H Cohn","year":"2009","unstructured":"Cohn, H., Kumar, A., Sch\u00fcrmann, A.: Ground states and formal duality relations in the gaussian core model. Phys. Rev. E 80, 061116 (2009)","journal-title":"Phys. Rev. E"},{"issue":"10","key":"508_CR6","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1002\/jcd.21421","volume":"23","author":"C Ding","year":"2015","unstructured":"Ding, C., Pott, A., Wang, Q.: Skew Hadamard difference sets from Dickson polynomials of order 7. J Combin. Des. 23(10), 436\u2013461 (2015)","journal-title":"J Combin. Des."},{"issue":"5","key":"508_CR7","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/j.jcta.2006.09.008","volume":"114","author":"C Ding","year":"2007","unstructured":"Ding, C., Wang, Z., Xiang, Q.: Skew Hadamard difference sets from the Ree-Tits slice symplectic spreads in PG(3, 32h+\u20091). J. Combin. Theory Ser. A 114(5), 867\u2013887 (2007)","journal-title":"J. Combin. Theory Ser. A"},{"issue":"7","key":"508_CR8","doi-asserted-by":"publisher","first-page":"1526","DOI":"10.1016\/j.jcta.2005.10.006","volume":"113","author":"C Ding","year":"2006","unstructured":"Ding, C., Yuan, J.: A family of skew Hadamard difference sets. J. Combin Theory Ser. A 113(7), 1526\u20131535 (2006)","journal-title":"J. Combin Theory Ser. A"},{"issue":"1","key":"508_CR9","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.jcta.2011.08.007","volume":"119","author":"T Feng","year":"2012","unstructured":"Feng, T., Xiang, Q.: Cyclotomic constructions of skew Hadamard difference sets. J. Combin Theory Ser. A 119(1), 245\u2013256 (2012)","journal-title":"J. Combin Theory Ser. A"},{"issue":"1","key":"508_CR10","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/TIT.1968.1054106","volume":"14","author":"R Gold","year":"1968","unstructured":"Gold, R.: Maximal recursive sequences with 3-valued recursive cross-correlation functions (corresp). IEEE Trans. Inf. Theory 14(1), 154\u2013156 (1968)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"2","key":"508_CR11","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/18.312154","volume":"40","author":"JrAR Hammons","year":"1994","unstructured":"Hammons, Jr. A.R., Kumar, P.V., Calderbank, A.R., Sloane, N.J.A., Sol\u00e9, P.: The Z4-linearity of Kerdock, Preparata, Goethals, and related codes. IEEE Trans. Inform. Theory 40(2), 301\u2013319 (1994)","journal-title":"IEEE Trans. Inform. Theory"},{"key":"508_CR12","volume-title":"Algebra, volume 211 of Graduate Texts in Mathematics","author":"S Lang","year":"2002","unstructured":"Lang, S.: Algebra, volume 211 of Graduate Texts in Mathematics, 3rd edn. Springer-Verlag, New York (2002)","edition":"3rd edn."},{"key":"508_CR13","unstructured":"Li, S.: Private communication (2020)"},{"key":"508_CR14","volume-title":"Finite Fields. Encyclopedia of Mathematics and its Applications","author":"R Lidl","year":"1996","unstructured":"Lidl, R., Niederreiter, H.: Finite Fields. Encyclopedia of Mathematics and its Applications, 2nd edn. Cambridge University Press, Cambridge (1996)","edition":"2nd edn."},{"issue":"12","key":"508_CR15","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1002\/jcd.21674","volume":"27","author":"S Li","year":"2019","unstructured":"Li, S., Pott, A.: Constructions of primitive formally dual pairs having subsets with unequal sizes. J Combin. Des. 27(12), 703\u2013733 (2019)","journal-title":"J Combin. Des."},{"issue":"3","key":"508_CR16","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s12095-019-00389-z","volume":"12","author":"S Li","year":"2020","unstructured":"Li, S., Pott, A.: A direct construction of primitive formally dual pairs having subsets with unequal sizes. Cryptogr. Commun. 12(3), 469\u2013483 (2020)","journal-title":"Cryptogr. Commun."},{"key":"508_CR17","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/j.jcta.2018.11.005","volume":"162","author":"S Li","year":"2019","unstructured":"Li, S., Pott, A., Sch\u00fcler, R.: Formal duality in finite abelian groups. J. Combin. Theory Ser. A 162, 354\u2013405 (2019)","journal-title":"J. Combin. Theory Ser. A"},{"key":"508_CR18","doi-asserted-by":"crossref","unstructured":"Malikiosis, R.D.: Formal duality in finite cyclic groups. Constr. Approx. (2018)","DOI":"10.1007\/s00365-018-9421-y"},{"key":"508_CR19","volume-title":"The Theory of Error-Correcting Codes","author":"FJ MacWilliams","year":"1978","unstructured":"MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes, 2nd edn. North-holland Publishing Company, Amsterdam (1978)","edition":"2nd edn."},{"issue":"3","key":"508_CR20","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s13366-017-0337-7","volume":"58","author":"R Sch\u00fcler","year":"2017","unstructured":"Sch\u00fcler, R.: Formally dual subsets of cyclic groups of prime power order. Beitr. Algebra Geom. 58(3), 535\u2013548 (2017)","journal-title":"Beitr. Algebra Geom."},{"key":"508_CR21","unstructured":"Sch\u00fcler, R.: Thesis: Formal duality. http:\/\/purl.uni-rostock.de\/rosdok\/id00002581(2019)"},{"issue":"1","key":"508_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10623-008-9216-4","volume":"50","author":"G Weng","year":"2009","unstructured":"Weng, G., Hu, L.: Some results on skew Hadamard difference sets. Des Codes Cryptogr. 50(1), 93\u2013105 (2009)","journal-title":"Des Codes Cryptogr."},{"issue":"1-3","key":"508_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10623-007-9057-6","volume":"44","author":"G Weng","year":"2007","unstructured":"Weng, G., Qiu, W., Wang, Z., Qing, X.: Pseudo-Paley graphs and skew Hadamard difference sets from presemifields. Des. Codes Cryptogr. 44 (1-3), 49\u201362 (2007)","journal-title":"Des. Codes Cryptogr."},{"issue":"3","key":"508_CR24","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1016\/j.ffa.2005.06.003","volume":"11","author":"Q Xiang","year":"2005","unstructured":"Xiang, Q.: Recent progress in algebraic design theory. Finite Fields Appl. 11(3), 622\u2013653 (2005)","journal-title":"Finite Fields Appl."},{"key":"508_CR25","unstructured":"Xia, J.: Classification of formal duality with an example in sphere packing. https:\/\/math.mit.edu\/research\/undergraduate\/urop-plus\/documents\/2016\/Xia.pdf. Accessed 31 Jan 2019 (2016)"}],"container-title":["Cryptography and Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12095-021-00508-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12095-021-00508-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12095-021-00508-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T05:41:10Z","timestamp":1633844470000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12095-021-00508-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,8]]},"references-count":25,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["508"],"URL":"https:\/\/doi.org\/10.1007\/s12095-021-00508-9","relation":{},"ISSN":["1936-2447","1936-2455"],"issn-type":[{"type":"print","value":"1936-2447"},{"type":"electronic","value":"1936-2455"}],"subject":[],"published":{"date-parts":[[2021,7,8]]},"assertion":[{"value":"24 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}