Investigations of Boolean functions, their Cayley graphs, and associated structures.
The project enables the experimental mathematics that underpins recent and ongoing investigation into the classification of bent functions by their Cayley graphs.
This project originally began with the idea of refactoring the bent-functions-duals-Cayley-graphs-public.sagews
worksheet, because it is too long, poorly structured, and takes so long to run that CoCalc cannot run it successfully.
It has since evolved into a Python package
boolean_cayley_graphs, and associated scripts, Sage code, Jupyter notebooks and code that allows the results
of paper  below to be fully reproduced.
CoCalc: public folder of worksheets, source code and data files.
GitHub: Git repository of source code, data and papers.
PyPI: Installable Python package.
SourceForge: Documentation of Python modules in HTML format.
NeCTAR: Virtual laboratory prototype .
$ sage -pip install boolean_cayley_graphs --user
See SourceForge: Documentation of Python modules in HTML format.
Paul Leopardi, "Constructions for Hadamard matrices, Clifford algebras, and their relation to amicability - anti-amicability graphs", Australasian Journal of Combinatorics, Volume 58(2) (2014), pp. 214–248.
Describes how the pattern of commuting and anticommuting pairs of basis elements of a real Clifford algebra, and their representation theory, can be used in the construction of Hadamard matrices.
Paul Leopardi, "Twin bent functions and Clifford algebras", in C. Colbourn (ed.) Algebraic Design Theory and Hadamard Matrices (ADTHM 2014), Springer, 2015, pp. 189-199.
Preprint: arXiv:1501.05477 .
Examines a pair of bent functions on and their relationship to a necessary condition for the existence of an automorphism of an edge-coloured graph, whose colours are defined by the properties of a canonical basis for the real representation of a real Clifford algebra.
Paul Leopardi, "Twin bent functions, strongly regular Cayley graphs, and Hurwitz-Radon theory", 2015.
Preprint: arXiv:1504.02827 .
Uses a theorem of Radon to prove that the corresponding graphs in the two sequences of strongly regular graphs considered in  and  are not isomorphic, except in the first 3 cases.
Paul Leopardi, "Classifying bent functions by their Cayley graphs", v6, December 2018.
Preprint: arXiv:1705.04507 .
Explores the connections between bent functions and their Cayley graphs, as well as projective two-weight linear codes, and symmetric designs with the symmetric difference property, through various equivalence classes. Includes exhaustive classifications of bent functions up to 8 dimensions and degree 3, with selected examples of degree 4