{
  "schema_version": 1,
  "environment": {
    "python": "3.9.6",
    "numpy": "2.0.2",
    "arithmetic": "binary64 complex matrices; exact Gaussian coefficients within stated bound; Fraction determinant"
  },
  "inputs": {
    "sites": 4,
    "coupling_J": 1.0,
    "regulators": [
      0.1,
      0.01,
      0.001,
      0.0001,
      1e-05,
      1e-06,
      1e-07,
      1e-08
    ],
    "regularizations": [
      {
        "name": "correct",
        "c": [
          0,
          2
        ]
      },
      {
        "name": "naive",
        "c": [
          0,
          0
        ]
      }
    ],
    "generic_transfer_parameters": [
      [
        0.37,
        0.21
      ],
      [
        -0.42,
        0.13
      ]
    ],
    "odd_chain_sites": 5,
    "equation_tolerance": 2e-12,
    "saved_comparison": {
      "absolute_tolerance": 2e-12,
      "relative_tolerance": 1e-08
    }
  },
  "exact_four_site_checks": {
    "target_norm_squared": 1.0,
    "target_hamiltonian_residual_over_J": 0.0,
    "target_translation_residual": 0.0,
    "target_total_spin_squared_residual": 0.0,
    "independent_sector_max_entry_error_over_J": 0.0,
    "transfer_polynomial_max_entry_errors": [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    "zero_vector_at_unregularized_pair_norm": 0.0
  },
  "generic_transfer_checks": [
    {
      "lambda": [
        0.37,
        0.21
      ],
      "relative_transfer_vector_residual": 7.97218214573518e-17
    },
    {
      "lambda": [
        -0.42,
        0.13
      ],
      "relative_transfer_vector_residual": 6.206335383118183e-17
    }
  ],
  "regularizations": [
    {
      "name": "correct",
      "c": [
        0,
        2
      ],
      "gaussian_integer_coefficient_bound": 20736,
      "max_absolute_real_coefficient": 40,
      "max_absolute_imaginary_coefficient": 56,
      "exact_zero_coefficients_below_degree": 4,
      "factored_vector_max_degree": 11,
      "limiting_vector_pairs_real_imag": [
        [
          2.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          -2.0,
          0.0
        ],
        [
          -2.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          2.0,
          0.0
        ]
      ],
      "limit_metrics": {
        "available": true,
        "raw_norm": 4.0,
        "hamiltonian_residual_over_J": 0.0,
        "phase_aligned_distance": 0.0,
        "energy_expectation_over_J": 1.0
      },
      "samples": [
        {
          "epsilon": 0.1,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.141786635837427,
            "hamiltonian_residual_over_J": 0.13954714575892518,
            "phase_aligned_distance": 0.19823550402662232,
            "energy_expectation_over_J": 1.018640805054957
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 0.0004141786635837327,
            "hamiltonian_residual_over_J": 0.13954714575892005,
            "phase_aligned_distance": 0.1982355040266194,
            "energy_expectation_over_J": 1.0186408050549565,
            "distance_from_stable_state": 4.5080895318509424e-14
          },
          "cleared_bethe_residual": 8.171036705775919e-05,
          "cleared_bethe_residual_over_epsilon4": 0.8171036705775918
        },
        {
          "epsilon": 0.01,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.001400175036748,
            "hamiltonian_residual_over_J": 0.014140191812298902,
            "phase_aligned_distance": 0.01999818799892301,
            "energy_expectation_over_J": 1.000199860041988
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 4.001400174509333e-08,
            "hamiltonian_residual_over_J": 0.014140191809487874,
            "phase_aligned_distance": 0.019998187997261656,
            "energy_expectation_over_J": 1.000199860041987,
            "distance_from_stable_state": 2.3224552330342599e-10
          },
          "cleared_bethe_residual": 8.001700099417883e-10,
          "cleared_bethe_residual_over_epsilon4": 0.08001700099417883
        },
        {
          "epsilon": 0.001,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.0000140000175,
            "hamiltonian_residual_over_J": 0.001414211617836772,
            "phase_aligned_distance": 0.0019999981875049914,
            "energy_expectation_over_J": 1.0000019999860001
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.999991877997567e-12,
            "hamiltonian_residual_over_J": 0.0014142215140295592,
            "phase_aligned_distance": 0.0020000142148730213,
            "energy_expectation_over_J": 1.0000019999859995,
            "distance_from_stable_state": 9.579246567769082e-06
          },
          "cleared_bethe_residual": 8.00001700000994e-15,
          "cleared_bethe_residual_over_epsilon4": 0.008000017000009938
        },
        {
          "epsilon": 0.0001,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.000000140000001,
            "hamiltonian_residual_over_J": 0.00014142135429276597,
            "phase_aligned_distance": 0.00019999999818750007,
            "energy_expectation_over_J": 1.000000019999999
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 4.1146545194222297e-16,
            "hamiltonian_residual_over_J": 0.03788411719394123,
            "phase_aligned_distance": 0.04641097244255323,
            "energy_expectation_over_J": 1.0000000199646084,
            "distance_from_stable_state": 0.04641052754220731
          },
          "cleared_bethe_residual": 8.000000170000004e-20,
          "cleared_bethe_residual_over_epsilon4": 0.0008000000170000002
        },
        {
          "epsilon": 1e-05,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.0000000014,
            "hamiltonian_residual_over_J": 1.4142135621786407e-05,
            "phase_aligned_distance": 1.99999999981875e-05,
            "energy_expectation_over_J": 1.0000000002
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4682414269748376e-20,
            "hamiltonian_residual_over_J": 0.4092198349002239,
            "phase_aligned_distance": 0.5189660087623481,
            "energy_expectation_over_J": 0.9999997851711891,
            "distance_from_stable_state": 0.5189660085672965
          },
          "cleared_bethe_residual": 8.000000001700005e-25,
          "cleared_bethe_residual_over_epsilon4": 8.000000001700001e-05
        },
        {
          "epsilon": 1e-06,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.0000000000139995,
            "hamiltonian_residual_over_J": 1.4142135623711506e-06,
            "phase_aligned_distance": 1.9999999999981873e-06,
            "energy_expectation_over_J": 1.0000000000020002
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.464101709327029e-24,
            "hamiltonian_residual_over_J": 0.40841316953003554,
            "phase_aligned_distance": 0.5178633308476849,
            "energy_expectation_over_J": 1.0000000000006664,
            "distance_from_stable_state": 0.517863330845734
          },
          "cleared_bethe_residual": 8.000000000017e-30,
          "cleared_bethe_residual_over_epsilon4": 8.000000000017001e-06
        },
        {
          "epsilon": 1e-07,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.000000000000139,
            "hamiltonian_residual_over_J": 1.4142135623730758e-07,
            "phase_aligned_distance": 1.999999999999982e-07,
            "energy_expectation_over_J": 1.0000000000000202
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4648201125343577e-28,
            "hamiltonian_residual_over_J": 0.4018787593242921,
            "phase_aligned_distance": 0.5000941733708197,
            "energy_expectation_over_J": 1.005173952658679,
            "distance_from_stable_state": 0.5000941733707995
          },
          "cleared_bethe_residual": 8.000000000000168e-35,
          "cleared_bethe_residual_over_epsilon4": 8.000000000000169e-07
        },
        {
          "epsilon": 1e-08,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 4.000000000000002,
            "hamiltonian_residual_over_J": 1.4142135623730944e-08,
            "phase_aligned_distance": 1.9999999999999997e-08,
            "energy_expectation_over_J": 1.0
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 6.510439062492741e-32,
            "hamiltonian_residual_over_J": 0.6710153797341046,
            "phase_aligned_distance": 1.3548826643587222,
            "energy_expectation_over_J": 0.7403012410877654,
            "distance_from_stable_state": 1.3548826643587224
          },
          "cleared_bethe_residual": 8.000000000000003e-40,
          "cleared_bethe_residual_over_epsilon4": 8.000000000000001e-08
        }
      ]
    },
    {
      "name": "naive",
      "c": [
        0,
        0
      ],
      "gaussian_integer_coefficient_bound": 1296,
      "max_absolute_real_coefficient": 2,
      "max_absolute_imaginary_coefficient": 4,
      "exact_zero_coefficients_below_degree": 4,
      "factored_vector_max_degree": 2,
      "limiting_vector_pairs_real_imag": [
        [
          2.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          -2.0,
          0.0
        ],
        [
          0.0,
          0.0
        ],
        [
          2.0,
          0.0
        ]
      ],
      "limit_metrics": {
        "available": true,
        "raw_norm": 3.4641016151377544,
        "hamiltonian_residual_over_J": 0.4082482904638631,
        "phase_aligned_distance": 0.5176380902050416,
        "energy_expectation_over_J": 1.0000000000000002
      },
      "samples": [
        {
          "epsilon": 0.1,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.510327620037765,
            "hamiltonian_residual_over_J": 0.403113893993027,
            "phase_aligned_distance": 0.539219648775142,
            "energy_expectation_over_J": 1.0127897162890347
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 0.00035103276200377663,
            "hamiltonian_residual_over_J": 0.40311389399301684,
            "phase_aligned_distance": 0.5392196487751367,
            "energy_expectation_over_J": 1.0127897162890298,
            "distance_from_stable_state": 1.0794898239817684e-14
          },
          "cleared_bethe_residual": 0.00020000000000000004,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 0.01,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.464563499201595,
            "hamiltonian_residual_over_J": 0.40819388865345096,
            "phase_aligned_distance": 0.5178610853063016,
            "energy_expectation_over_J": 1.0001332777899241
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4645634992015964e-08,
            "hamiltonian_residual_over_J": 0.40819388865301187,
            "phase_aligned_distance": 0.5178610853050137,
            "energy_expectation_over_J": 1.0001332777903347,
            "distance_from_stable_state": 5.009764899686083e-11
          },
          "cleared_bethe_residual": 2e-08,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 0.001,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.464106233940293,
            "hamiltonian_residual_over_J": 0.40824774613593895,
            "phase_aligned_distance": 0.5176403209075899,
            "energy_expectation_over_J": 1.0000013333277775
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4641062339402918e-12,
            "hamiltonian_residual_over_J": 0.40824774627715565,
            "phase_aligned_distance": 0.5176403211870525,
            "energy_expectation_over_J": 1.000001333276041,
            "distance_from_stable_state": 2.961802544755919e-10
          },
          "cleared_bethe_residual": 2.0000000000000004e-12,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 0.0001,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.464101661325776,
            "hamiltonian_residual_over_J": 0.4082482850205528,
            "phase_aligned_distance": 0.5176381125121422,
            "energy_expectation_over_J": 1.000000013333333
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.46410166397684e-16,
            "hamiltonian_residual_over_J": 0.40824829507073435,
            "phase_aligned_distance": 0.517638118942494,
            "energy_expectation_over_J": 1.000000017695741,
            "distance_from_stable_state": 3.912277625552183e-05
          },
          "cleared_bethe_residual": 2.0000000000000005e-16,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 1e-05,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.4641016155996347,
            "hamiltonian_residual_over_J": 0.40824829040942995,
            "phase_aligned_distance": 0.5176380904281126,
            "energy_expectation_over_J": 1.0000000001333333
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4682414269748376e-20,
            "hamiltonian_residual_over_J": 0.4092198349002239,
            "phase_aligned_distance": 0.5189660087623481,
            "energy_expectation_over_J": 0.9999997851711891,
            "distance_from_stable_state": 0.048859679504372325
          },
          "cleared_bethe_residual": 2.0000000000000008e-20,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 1e-06,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.4641016151423734,
            "hamiltonian_residual_over_J": 0.4082482904633187,
            "phase_aligned_distance": 0.5176380902072723,
            "energy_expectation_over_J": 1.0000000000013336
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.464101709327029e-24,
            "hamiltonian_residual_over_J": 0.40841316953003554,
            "phase_aligned_distance": 0.5178633308476849,
            "energy_expectation_over_J": 1.0000000000006664,
            "distance_from_stable_state": 0.00023318991248499915
          },
          "cleared_bethe_residual": 1.9999999999999995e-24,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 1e-07,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.4641016151378006,
            "hamiltonian_residual_over_J": 0.4082482904638576,
            "phase_aligned_distance": 0.5176380902050638,
            "energy_expectation_over_J": 1.0000000000000133
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 3.4648201125343577e-28,
            "hamiltonian_residual_over_J": 0.4018787593242921,
            "phase_aligned_distance": 0.5000941733708197,
            "energy_expectation_over_J": 1.005173952658679,
            "distance_from_stable_state": 0.020365133031856372
          },
          "cleared_bethe_residual": 1.9999999999999997e-28,
          "cleared_bethe_residual_over_epsilon4": 2.0
        },
        {
          "epsilon": 1e-08,
          "stable_scaled_vector": {
            "available": true,
            "raw_norm": 3.464101615137755,
            "hamiltonian_residual_over_J": 0.40824829046386296,
            "phase_aligned_distance": 0.5176380902050417,
            "energy_expectation_over_J": 1.0
          },
          "direct_unscaled_vector": {
            "available": true,
            "raw_norm": 6.510439062492741e-32,
            "hamiltonian_residual_over_J": 0.6710153797341046,
            "phase_aligned_distance": 1.3548826643587222,
            "energy_expectation_over_J": 0.7403012410877654,
            "distance_from_stable_state": 0.9673839178773016
          },
          "cleared_bethe_residual": 2e-32,
          "cleared_bethe_residual_over_epsilon4": 2.0
        }
      ]
    }
  ],
  "odd_chain_rejection": {
    "sites": 5,
    "sector_dimension": 10,
    "determinant_H_over_J_minus_identity": "-1/256",
    "independent_sector_max_entry_error_over_J": 0.0,
    "energies_over_J": [
      -5.233033649136332e-16,
      0.6909830056250524,
      0.6909830056250524,
      0.8819660112501053,
      0.8819660112501053,
      1.809016994374947,
      1.8090169943749477,
      1.999999999999999,
      3.1180339887498936,
      3.1180339887498945
    ],
    "nearest_energy_distance_to_one": 0.11803398874989468,
    "translation_fifth_power_max_entry_error": 0.0,
    "candidate_transfer_value_at_i_over_2_real_imag": [
      0.0,
      -1.0
    ],
    "candidate_translation_eigenvalue": -1,
    "candidate_fifth_power": -1
  }
}