$C_5$ is almost a fractalizer
Bernard Lidický, Connor Mattes, Florian Pfender
This page contains computer assisted parts of the paper
$C_5$ is almost a fractalizer.
A preliminary version of the paper can be downloaded here
or from arXiv.
Here, you can download the technical things as one archive
It is also possible to download programs needed to perform the calculation
from arXiv, however the arXiv version does not contain files
that are generated during the calculation due to size limitations on arXiv.
Dependencies
Description of the content of anc_c5frac.tar.gz
Lemma 2.1
F_edges2__n8_labeled.txt ... List of labeled flags $x_\sigma$
F_edges2__n8_unlabeled.txt ... List of unlabeled flags on 8 vertices $\mathcal{F}_8$,
F_edges2__obj_C22_300.txt ... objective function
SDP_n8_LB_F_edges2__obj_C22_300.txt.dat-s ... semidefinite program
SDP_n8_LB_F_edges2__obj_C22_300.txt.dat-s.result ... numerical solution
SDP_n8_LB_F_edges2__obj_C22_300.txt.dat-s.log ... output generated by csdp
SDP_n8_LB_F_edges2__obj_C22_300.txt.dat-s.result.rounded.Integer.all.pkl ... rational solution
flag_small.cpp ... C++ program generating flags and their products
rounding_Integer.sage ... sage script for approximate rounding
test_rounding.sage ... tests the rounding
test_rounding.sage.log ... output of the rounding test
Makefile ... compile for flag_small.cpp
run.sh ... generation of the semidefinite program
Other
- Case_1_P.cpp ... Generates possible small counter-examples
- Case_1_P_negative.cpp ... Tests program $(P)$ of $9 \leq n \leq 1000$.
- Case_2.1_P_Prime.cpp ... bounds program $(P')$
- Case_2.2_P_Double_Prime.cpp ... bounds program $(P'')$
- c5counter.sage ... counts the number of $C_5$ on a graph on $n$ vertices.
- Makefile ... compiling the programs