{
  "schematic_not_finite_dimensional_type_III_model": true,
  "assumes_actual_infinite_periodic_weight": true,
  "balanced_weight": "Psi(X)=phi(x11)+lambda*phi(x22)",
  "v_initial": "p1",
  "v_final": "p2",
  "v_entry": "u at (2,1)",
  "U": "u*",
  "whole_cone_scaling": "phi(U*x*U*)=lambda*phi(x)",
  "modular_character": "sigma_t(U)=exp(i*t*log(lambda))*U",
  "regular_map": "delta_n tensor Lambda_tau(x) -> Lambda_phi(U^n x)",
  "left_shift": "n -> n+1",
  "left_GNS_norm_factor": "1",
  "right_GNS_norm_factor": "lambda^(-1/2)",
  "onto_limits": [
    "L tends to infinity with i fixed",
    "then cutoff net i"
  ],
  "second_dual": "d tensor E_ij -> theta^m(d) tensor E_(i-m,j-m)",
  "illustrative_lambda": "1/2",
  "visible_m": [
    -2,
    -1,
    0,
    1,
    2
  ],
  "trace_ratios": [
    "4",
    "2",
    "1",
    "1/2",
    "1/4"
  ],
  "trace_projection_iterates_assumed_orthogonal": false,
  "proof_locators": [
    "gt-1",
    "gt-2",
    "gt-4",
    "gt-5",
    "gt-6"
  ]
}