{
  "scope": "Exact real phase-space projections at t=0 for d=1,C=1; all-dimensional statements are proved in LI.1-LI.3.",
  "samples": [
    {
      "x": "-1/2",
      "z": "-1/2",
      "after_L": [
        "1/4",
        "-1/2",
        "1/2"
      ],
      "after_time": [
        "3/8",
        "-1/2",
        "1"
      ],
      "after_inverse_L": [
        "-1/8",
        "-1",
        "-1/2"
      ]
    },
    {
      "x": "-1/2",
      "z": "-1/4",
      "after_L": [
        "1/8",
        "-1/4",
        "1/2"
      ],
      "after_time": [
        "5/32",
        "-1/4",
        "3/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "-3/4",
        "-1/4"
      ]
    },
    {
      "x": "-1/2",
      "z": "0",
      "after_L": [
        "0",
        "0",
        "1/2"
      ],
      "after_time": [
        "0",
        "0",
        "1/2"
      ],
      "after_inverse_L": [
        "0",
        "-1/2",
        "0"
      ]
    },
    {
      "x": "-1/2",
      "z": "1/4",
      "after_L": [
        "-1/8",
        "1/4",
        "1/2"
      ],
      "after_time": [
        "-3/32",
        "1/4",
        "1/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "-1/4",
        "1/4"
      ]
    },
    {
      "x": "-1/2",
      "z": "1/2",
      "after_L": [
        "-1/4",
        "1/2",
        "1/2"
      ],
      "after_time": [
        "-1/8",
        "1/2",
        "0"
      ],
      "after_inverse_L": [
        "-1/8",
        "0",
        "1/2"
      ]
    },
    {
      "x": "-1/4",
      "z": "-1/2",
      "after_L": [
        "1/8",
        "-1/2",
        "1/4"
      ],
      "after_time": [
        "1/4",
        "-1/2",
        "3/4"
      ],
      "after_inverse_L": [
        "-1/8",
        "-3/4",
        "-1/2"
      ]
    },
    {
      "x": "-1/4",
      "z": "-1/4",
      "after_L": [
        "1/16",
        "-1/4",
        "1/4"
      ],
      "after_time": [
        "3/32",
        "-1/4",
        "1/2"
      ],
      "after_inverse_L": [
        "-1/32",
        "-1/2",
        "-1/4"
      ]
    },
    {
      "x": "-1/4",
      "z": "0",
      "after_L": [
        "0",
        "0",
        "1/4"
      ],
      "after_time": [
        "0",
        "0",
        "1/4"
      ],
      "after_inverse_L": [
        "0",
        "-1/4",
        "0"
      ]
    },
    {
      "x": "-1/4",
      "z": "1/4",
      "after_L": [
        "-1/16",
        "1/4",
        "1/4"
      ],
      "after_time": [
        "-1/32",
        "1/4",
        "0"
      ],
      "after_inverse_L": [
        "-1/32",
        "0",
        "1/4"
      ]
    },
    {
      "x": "-1/4",
      "z": "1/2",
      "after_L": [
        "-1/8",
        "1/2",
        "1/4"
      ],
      "after_time": [
        "0",
        "1/2",
        "-1/4"
      ],
      "after_inverse_L": [
        "-1/8",
        "1/4",
        "1/2"
      ]
    },
    {
      "x": "0",
      "z": "-1/2",
      "after_L": [
        "0",
        "-1/2",
        "0"
      ],
      "after_time": [
        "1/8",
        "-1/2",
        "1/2"
      ],
      "after_inverse_L": [
        "-1/8",
        "-1/2",
        "-1/2"
      ]
    },
    {
      "x": "0",
      "z": "-1/4",
      "after_L": [
        "0",
        "-1/4",
        "0"
      ],
      "after_time": [
        "1/32",
        "-1/4",
        "1/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "-1/4",
        "-1/4"
      ]
    },
    {
      "x": "0",
      "z": "0",
      "after_L": [
        "0",
        "0",
        "0"
      ],
      "after_time": [
        "0",
        "0",
        "0"
      ],
      "after_inverse_L": [
        "0",
        "0",
        "0"
      ]
    },
    {
      "x": "0",
      "z": "1/4",
      "after_L": [
        "0",
        "1/4",
        "0"
      ],
      "after_time": [
        "1/32",
        "1/4",
        "-1/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "1/4",
        "1/4"
      ]
    },
    {
      "x": "0",
      "z": "1/2",
      "after_L": [
        "0",
        "1/2",
        "0"
      ],
      "after_time": [
        "1/8",
        "1/2",
        "-1/2"
      ],
      "after_inverse_L": [
        "-1/8",
        "1/2",
        "1/2"
      ]
    },
    {
      "x": "1/4",
      "z": "-1/2",
      "after_L": [
        "-1/8",
        "-1/2",
        "-1/4"
      ],
      "after_time": [
        "0",
        "-1/2",
        "1/4"
      ],
      "after_inverse_L": [
        "-1/8",
        "-1/4",
        "-1/2"
      ]
    },
    {
      "x": "1/4",
      "z": "-1/4",
      "after_L": [
        "-1/16",
        "-1/4",
        "-1/4"
      ],
      "after_time": [
        "-1/32",
        "-1/4",
        "0"
      ],
      "after_inverse_L": [
        "-1/32",
        "0",
        "-1/4"
      ]
    },
    {
      "x": "1/4",
      "z": "0",
      "after_L": [
        "0",
        "0",
        "-1/4"
      ],
      "after_time": [
        "0",
        "0",
        "-1/4"
      ],
      "after_inverse_L": [
        "0",
        "1/4",
        "0"
      ]
    },
    {
      "x": "1/4",
      "z": "1/4",
      "after_L": [
        "1/16",
        "1/4",
        "-1/4"
      ],
      "after_time": [
        "3/32",
        "1/4",
        "-1/2"
      ],
      "after_inverse_L": [
        "-1/32",
        "1/2",
        "1/4"
      ]
    },
    {
      "x": "1/4",
      "z": "1/2",
      "after_L": [
        "1/8",
        "1/2",
        "-1/4"
      ],
      "after_time": [
        "1/4",
        "1/2",
        "-3/4"
      ],
      "after_inverse_L": [
        "-1/8",
        "3/4",
        "1/2"
      ]
    },
    {
      "x": "1/2",
      "z": "-1/2",
      "after_L": [
        "-1/4",
        "-1/2",
        "-1/2"
      ],
      "after_time": [
        "-1/8",
        "-1/2",
        "0"
      ],
      "after_inverse_L": [
        "-1/8",
        "0",
        "-1/2"
      ]
    },
    {
      "x": "1/2",
      "z": "-1/4",
      "after_L": [
        "-1/8",
        "-1/4",
        "-1/2"
      ],
      "after_time": [
        "-3/32",
        "-1/4",
        "-1/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "1/4",
        "-1/4"
      ]
    },
    {
      "x": "1/2",
      "z": "0",
      "after_L": [
        "0",
        "0",
        "-1/2"
      ],
      "after_time": [
        "0",
        "0",
        "-1/2"
      ],
      "after_inverse_L": [
        "0",
        "1/2",
        "0"
      ]
    },
    {
      "x": "1/2",
      "z": "1/4",
      "after_L": [
        "1/8",
        "1/4",
        "-1/2"
      ],
      "after_time": [
        "5/32",
        "1/4",
        "-3/4"
      ],
      "after_inverse_L": [
        "-1/32",
        "3/4",
        "1/4"
      ]
    },
    {
      "x": "1/2",
      "z": "1/2",
      "after_L": [
        "1/4",
        "1/2",
        "-1/2"
      ],
      "after_time": [
        "3/8",
        "1/2",
        "-1"
      ],
      "after_inverse_L": [
        "-1/8",
        "1",
        "1/2"
      ]
    }
  ],
  "period_parameters": {
    "a": "2",
    "epsilon": "1/3"
  },
  "period_samples": [
    {
      "b": "-1",
      "minus_I1": "6/35"
    },
    {
      "b": "-19/20",
      "minus_I1": "2400/14039"
    },
    {
      "b": "-9/10",
      "minus_I1": "200/1173"
    },
    {
      "b": "-17/20",
      "minus_I1": "2400/14111"
    },
    {
      "b": "-4/5",
      "minus_I1": "75/442"
    },
    {
      "b": "-3/4",
      "minus_I1": "32/189"
    },
    {
      "b": "-7/10",
      "minus_I1": "600/3551"
    },
    {
      "b": "-13/20",
      "minus_I1": "2400/14231"
    },
    {
      "b": "-3/5",
      "minus_I1": "50/297"
    },
    {
      "b": "-11/20",
      "minus_I1": "2400/14279"
    },
    {
      "b": "-1/2",
      "minus_I1": "24/143"
    },
    {
      "b": "-9/20",
      "minus_I1": "800/4773"
    },
    {
      "b": "-2/5",
      "minus_I1": "75/448"
    },
    {
      "b": "-7/20",
      "minus_I1": "2400/14351"
    },
    {
      "b": "-3/10",
      "minus_I1": "200/1197"
    },
    {
      "b": "-1/4",
      "minus_I1": "96/575"
    },
    {
      "b": "-1/5",
      "minus_I1": "150/899"
    },
    {
      "b": "-3/20",
      "minus_I1": "800/4797"
    },
    {
      "b": "-1/10",
      "minus_I1": "600/3599"
    },
    {
      "b": "-1/20",
      "minus_I1": "2400/14399"
    },
    {
      "b": "0",
      "minus_I1": "1/6"
    },
    {
      "b": "1/20",
      "minus_I1": "2400/14399"
    },
    {
      "b": "1/10",
      "minus_I1": "600/3599"
    },
    {
      "b": "3/20",
      "minus_I1": "800/4797"
    },
    {
      "b": "1/5",
      "minus_I1": "150/899"
    },
    {
      "b": "1/4",
      "minus_I1": "96/575"
    },
    {
      "b": "3/10",
      "minus_I1": "200/1197"
    },
    {
      "b": "7/20",
      "minus_I1": "2400/14351"
    },
    {
      "b": "2/5",
      "minus_I1": "75/448"
    },
    {
      "b": "9/20",
      "minus_I1": "800/4773"
    },
    {
      "b": "1/2",
      "minus_I1": "24/143"
    },
    {
      "b": "11/20",
      "minus_I1": "2400/14279"
    },
    {
      "b": "3/5",
      "minus_I1": "50/297"
    },
    {
      "b": "13/20",
      "minus_I1": "2400/14231"
    },
    {
      "b": "7/10",
      "minus_I1": "600/3551"
    },
    {
      "b": "3/4",
      "minus_I1": "32/189"
    },
    {
      "b": "4/5",
      "minus_I1": "75/442"
    },
    {
      "b": "17/20",
      "minus_I1": "2400/14111"
    },
    {
      "b": "9/10",
      "minus_I1": "200/1173"
    },
    {
      "b": "19/20",
      "minus_I1": "2400/14039"
    },
    {
      "b": "1",
      "minus_I1": "6/35"
    }
  ],
  "numerical_plot_coordinates_only": true,
  "topological_inverse": {
    "dimension": "arbitrary n >= 0",
    "cutoff": "chi(r)=b(2-r)/(b(2-r)+b(r-1)), b(s)=exp(-1/s) for s>0 and zero otherwise",
    "normal_2form": "-d chi wedge d theta/(2 pi)",
    "normal_integral": "1 by the exact fundamental theorem of calculus",
    "off_diagonal_after_shift": {
      "degrees": [
        -1,
        0
      ],
      "matrix": [
        [
          1
        ]
      ],
      "cohomology": "zero"
    },
    "diagonal_after_shift": {
      "degree": 0,
      "cohomology": "C"
    },
    "holomorphic_microkernel_inverse_proved": false
  },
  "whole_real_kernel_inverse_claimed": false
}