Files needed for a verification of the proofs of Claims A.1 and B.1 in the paper "Minimum number of edges that occur in odd cycles" by Grzesik, Hu, and Volec

This web-page contains the matrices and the scripts that can be used to verify the correctness of the proofs of Claims A.1 and B.1 presented in the paper Minimum number of edges that occur in odd cycles authored by Andrzej Grzesik, Ping Hu, and Jan Volec. A preliminary version of the paper can be downloaded from arXiv.

Verification scripts and data (tar; the size of the archive is around 800K)

Usage: extract the files from the archive and run sage verify_claims.sage

Description of the files in the archive:

• verify_bounds.sage – the main verification script (in SAGE)
• claimA1_files
  • verify_claim.sage – the verification script for Claim A.1 (in SAGE)
  • L_hat, B_hat, R_hat – the positive definite matrices L^, B^ R^
  • M_lambda, M_beta, M_rho – the transformation matrices M^λ, M^β and M^ρ
  • cs_lambda, cs_beta, cs_rho – the pairing densities for the types λ, β and ρ
  • trg_times_rededgebound – the H₆ coefficients in the expression red-triangle × (8red-edge - 2 - √2)
  • indep3_times_halfdensity – the H₆ coefficients in the expression 3-independent × (red-edge + blue-edge - non-edge)
  • cocher_times_halfdensity – the H₆ coefficients in the expression red-cocherry × (red-edge + blue-edge - non-edge)
  • indC4X-coordinates – all the coordinates from the list of flags H₆ containing C^X₄ as an induced subgraph
  • indP5-coordinates – all the coordinates from the list of flags H₆ containing P₅ as an induced subgraph
  • graph_lists/ – directory with the list of all flags in H₆, H^λ₄, H^β₄ and H^ρ₄
• claimB1_files
  • verify_claim.sage – the verification script for Claim B.1 (in SAGE)
  • L_hat, B_hat, R_hat – the positive definite matrices L^, B^, R^
  • M_lambda, M_beta, M_rho – the transformation matrices M^λ, M^β and M^ρ
  • cs_lambda, cs_beta, cs_rho – the pairing densities for the types λ, β and ρ
  • trg_times_rededgebound – the H₆ coefficients in the expression red-triangle × (9red-edge - 4)
  • indep3_times_halfdensity – the H₆ coefficients in the expression 3-independent × (red-edge + blue-edge - non-edge)
  • cocher_times_halfdensity – the H₆ coefficients in the expression red-cocherry × (red-edge + blue-edge - non-edge)
  • indP4-coordinates – all the coordinates from the list of flags H₆ containing P₄ as an induced subgraph
  • graph_lists/ – directory with the list of all flags in H₆, H^λ₄, H^β₄ and H^ρ₄