Ancillary-file links:
Ancillary files (details):
- cpp/commutation-with-T/Tcent1.txt
- cpp/commutation-with-T/Tcent2.txt
- cpp/commutation-with-T/Tcent3_sorted.txt
- cpp/commutation-with-T/commutationTs.cpp
- cpp/find-ppdefinitions/compile.sh
- cpp/find-ppdefinitions/input.txt
- cpp/find-ppdefinitions/input_2generated.txt
- cpp/find-ppdefinitions/input_template.txt
- cpp/find-ppdefinitions/ppdefinitions.cpp
- cpp/find-ppdefinitions/ppoutput_2generated.out
- short_description_of_files.pdf
- z3/binaryfunccommutingT.z3
- z3/checkformulaforbinfunc.z3
- z3/checkppoutput_2generated.z3
- z3/func_Tc2c2.z3
- z3/unaryfunccommutingT.z3
References & Citations
Mathematics > Rings and Algebras
Title: A note on the Burris-Willard conjecture
(Submitted on 18 Nov 2020)
Abstract: Based on results by Dani\v{l}\v{c}enko, in 1987 Burris and Willard have conjectured that on any $k$-element domain where $k\geq 3$ it is possible to bicentrically generate every centraliser clone from its $k$-ary part. Later, for every $k\geq 3$, Snow constructed algebras with a $k$-element carrier set where the minimum arity of the clone of term operations from which the bicentraliser can be generated is at least $(k-1)^2$, which is larger than $k$ for $k\geq 3$.
We prove that Snow's examples do not violate the Burris-Willard conjecture nor invalidate the results by Dani\v{l}\v{c}enko on which the latter is based. We also complement our results with some computational evidence for $k=3$, obtained by an algorithm to compute a primitive positive definition for a relation in a finitely generated relational clone over a finite set.
Link back to: arXiv, form interface, contact.