files / problems / kissing-5d / compute / d4_equator.json

665 B · on GitHub

{
  "n_holes": 24,
  "all_holes_satisfy_phi_le_1": true,
  "hole_ip_histogram": {
    "-1": 12,
    "-1/2": 96,
    "0": 72,
    "1/2": 96
  },
  "independence_number_ip_le_0": 8,
  "n_maximum_independent_sets": 3,
  "mis_types": {
    "axis=8 tesseract=0": 1,
    "axis=0 tesseract=8": 2
  },
  "rankin_A4_0": {
    "f": "t^2 + t",
    "gegenbauer_coeffs_n4": [
      "1/4",
      "1",
      "3/4"
    ],
    "f(1)/f0": "8",
    "nonpositive_on_[-1,0]_samples": [
      "0",
      "-3/16",
      "-1/4",
      "-3/16",
      "0"
    ],
    "all_sample_le_0": true,
    "bound": 8
  },
  "max_extra_per_open_hemisphere": 8,
  "max_D4_containing_kissing_size": 40
}