Positive co-degree densities and jumps

József Balogh, Anastasia Halfpap, Bernard Lidický, Cory Palmer

This page is containing computer assisted parts of the paper titled Positive co-degree densities and jumps A preliminary version of the paper can be downloaded here.

You can download the technical things as one archive

• anc_pco.zip (zip, around 5MB)

Description of the files in anc_pco.zip

• rounding_Integer.sage ... Sage rounding script
• rounding_exact.sage ... Sage rounding script
• check.sh ... script to check the solution
• F_3edges__forbidden.txt ... List of induced forbidden flags
• F_3edges__n6_unlabeled.txt ... All unlabeled flags on up to 6 vertices
• F_3edges__n6_labeled.txt ... All labeled flags used for computation on 6 vertices
• F_3edges__objective....txt ... Objective function
• F_3edges__objective...__latex.tex .... latex version
• F_3edges__objective...__latex.pdf .... as PDF
• SDP_n6_UB_F_3edges__objective....txt.dat-s ... semidefinite program
• SDP_n6_UB_F_3edges__objective....txt.dat-s.csdp.log ... log when run with CSDP
• SDP_n6_UB_F_3edges__objective....txt.dat-s.result ... numerical CSDP solution
• SDP_n6_LB_F_3edges__objecti~lt.rounded.Integer.all.pkl ... rounded rational solution
• altered.dat-s.. ... projection of the semidefinite program and exact solution
• claim5.3.ipynb .. .. Standalone python notebook for verification of claims in 5.3