{
  "schematic_not_a_factor_model": true,
  "spectral_projection_ranks_unspecified": true,
  "illustrated_lambda": "1/2",
  "exact_a": "log(2)",
  "exact_P": "2*pi/log(2)",
  "visible_degrees": [
    -3,
    -2,
    -1,
    0,
    1,
    2,
    3
  ],
  "visible_spectral_values": [
    "8",
    "4",
    "2",
    "1",
    "1/2",
    "1/4",
    "1/8"
  ],
  "selected_degree": 2,
  "selected_spectral_value": "1/4",
  "all_integer_degrees_proved_not_only_drawn": true,
  "Fourier_sign": "P_n(x) = integral exp(+i*a*n*t) sigma_t(x) dt/P",
  "eigencharacter": "sigma_t(y) = exp(-i*a*n*t)*y",
  "bridge": {
    "y_degree": "n",
    "z_degree": "-n",
    "product_degree": "0",
    "q": "s(y^*y)",
    "y_kernel": "(1-q)K",
    "z_support": "qzq",
    "product": "0 != yz in e1 N e2"
  },
  "shift": {
    "strong_sum": "w = sum_{j>=1} v_j",
    "v_j_initial": "f_j",
    "v_j_final": "f_{j+1}",
    "w_initial": "r",
    "w_final": "r-f_1",
    "full_initial": "1",
    "full_final": "1-f_1"
  },
  "proof_locators": [
    "PERIODIC_CENTRALIZER_PROOF.md#pf-2",
    "PERIODIC_CENTRALIZER_PROOF.md#pf-3",
    "PERIODIC_CENTRALIZER_PROOF.md#pf-5",
    "PERIODIC_CENTRALIZER_PROOF.md#pf-7"
  ]
}
