布尔函数及其cayley图和相关结构的研究。
boolean-cayley-graphs的Python项目详细描述
布尔cayley图
布尔函数及其cayley图和相关结构的研究。
该项目使实验数学成为支持最近和正在进行的对弯曲函数按cayley图分类的研究的基础。
这个项目最初的想法是重构bent-functions-duals-Cayley-graphs-public.sagews
工作表,因为它太长,结构不好,运行时间太长,cocalc无法成功运行它。
它后来演变成了一个python包boolean_cayley_graphs
,以及相关的脚本、sage代码、jupyter笔记本和代码,它们允许结果
以下文件[4]的全部复制。
项目URL
CoCalc:工作表、源代码和数据文件的公共文件夹。
GitHub:git源代码、数据和论文库。
PyPI:可安装的python包。
SourceForge:html格式的python模块文档。
NeCTAR:虚拟实验室原型。
安装
$ sage -pip install boolean_cayley_graphs --user
用法
请参阅SourceForge:html格式的python模块文档。
参考文献
保罗·利奥帕迪,"Constructions for Hadamard matrices, Clifford algebras, and their relation to amicability - anti-amicability graphs", 澳大利亚组合学杂志,第58卷(2)(2014),第214-248页。
描述了实clifford代数基元对的交换和反计算模式及其表示理论在hadamard矩阵构造中的应用。
Paul Leopardi,“孪生Bent函数与Clifford代数”,载于C.Colbourn(编辑)《代数设计理论与Hadamard矩阵》(ADTHM 2014),Springer,2015,第189-199页。
预印本:arXiv:1501.05477 [math.CO]。
检验一对Boad函数及其与边着色图自同构存在的一个必要条件,其颜色由实克利福德代数的实表示的正则基的性质定义。
Paul Leopardi,“双弯曲函数、强正则Cayley图和Hurwitz-Radon理论”,2015年。
预印本:arXiv:1504.02827 [math.CO]。
利用radon定理证明了[1]和[2]中所考虑的两个强正则图序列中的对应图不是同构的,但前3种情况除外。
Paul Leopardi,“根据cayley图对bent函数进行分类”,v6,2018年12月。
预印本:arXiv:1705.04507 [math.CO]。
通过各种等价类,探讨bent函数及其cayley图、射影二权线性码和具有对称差分性质的对称设计之间的联系。包括多达8维和3度的bent函数的详尽分类,以及4度的选定示例