Graph: 
Home

Dependencies

Legend
Boxes
definitions
Ellipses
theorems and lemmas
Blue border
the statement of this result is ready to be formalized; all prerequisites are done
Orange border
the statement of this result is not ready to be formalized; the blueprint needs more work
Blue background
the proof of this result is ready to be formalized; all prerequisites are done
Green border
the statement of this result is formalized
Green background
the proof of this result is formalized
Dark green background
the proof of this result and all its ancestors are formalized
Dark green border
this is in Mathlib
thm:beigi_ordered_cycle_ground_space_dimension_two beigi_ordered_cycle_ground_space_dimension_two thm:block_strict_knabe_window_simultaneous_injectivity block_strict_knabe_window_simultaneous_injectivity thm:compact_block_parent_gap compact_block_parent_gap thm:block_strict_knabe_window_simultaneous_injectivity->thm:compact_block_parent_gap thm:compact_positive_parent_interaction_gap compact_positive_parent_interaction_gap thm:compact_block_parent_gap->thm:compact_positive_parent_interaction_gap thm:physical_action_joint_span_compact_gap physical_action_joint_span_compact_gap thm:compact_block_parent_gap->thm:physical_action_joint_span_compact_gap thm:positive_affine_physical_deformation_gap positive_affine_physical_deformation_gap thm:compact_positive_parent_interaction_gap->thm:positive_affine_physical_deformation_gap thm:physical_action_joint_span_compact_gap->thm:positive_affine_physical_deformation_gap thm:block_isometric_deformation_symmetry_permutation block_isometric_deformation_symmetry_permutation thm:physical_action_joint_span_compact_gap->thm:block_isometric_deformation_symmetry_permutation thm:constructed_isometric_deformation_gap constructed_isometric_deformation_gap thm:positive_affine_physical_deformation_gap->thm:constructed_isometric_deformation_gap thm:positive_affine_physical_deformation_open_gap positive_affine_physical_deformation_open_gap thm:positive_affine_physical_deformation_gap->thm:positive_affine_physical_deformation_open_gap thm:block_isometric_deformation_covariance block_isometric_deformation_covariance thm:block_isometric_deformation_symmetry_permutation->thm:block_isometric_deformation_covariance def:qca_local_inclusion qca_local_inclusion lem:qca_local_inclusion_trans qca_local_inclusion_trans def:qca_local_inclusion->lem:qca_local_inclusion_trans thm:local_interval_coordinate_inclusion local_interval_coordinate_inclusion def:qca_local_inclusion->thm:local_interval_coordinate_inclusion lem:qca_finite_local_translation_naturality qca_finite_local_translation_naturality def:qca_local_inclusion->lem:qca_finite_local_translation_naturality thm:local_interval_translation_coordinates local_interval_translation_coordinates def:qca_local_inclusion->thm:local_interval_translation_coordinates thm:mps_finite_region_expectation_compatible mps_finite_region_expectation_compatible lem:qca_local_inclusion_trans->thm:mps_finite_region_expectation_compatible thm:local_interval_bulk_observable local_interval_bulk_observable thm:local_interval_coordinate_inclusion->thm:local_interval_bulk_observable thm:mps_finite_region_translation_invariance mps_finite_region_translation_invariance lem:qca_finite_local_translation_naturality->thm:mps_finite_region_translation_invariance thm:local_interval_translation_coordinates->thm:mps_finite_region_translation_invariance thm:mps_finite_region_expectation_compatible->thm:mps_finite_region_translation_invariance def:mps_compatible_local_state mps_compatible_local_state thm:mps_finite_region_expectation_compatible->def:mps_compatible_local_state thm:local_interval_bulk_observable->thm:mps_finite_region_expectation_compatible thm:quasi_local_bulk_inclusion quasi_local_bulk_inclusion thm:local_interval_bulk_observable->thm:quasi_local_bulk_inclusion thm:mps_quasi_local_translation_invariance mps_quasi_local_translation_invariance thm:mps_finite_region_translation_invariance->thm:mps_quasi_local_translation_invariance thm:mps_quasi_local_expectation_state mps_quasi_local_expectation_state def:mps_compatible_local_state->thm:mps_quasi_local_expectation_state thm:quasi_local_open_interaction_zero_expectation quasi_local_open_interaction_zero_expectation thm:quasi_local_bulk_inclusion->thm:quasi_local_open_interaction_zero_expectation thm:quasi_local_commutator_locality quasi_local_commutator_locality thm:quasi_local_bulk_inclusion->thm:quasi_local_commutator_locality thm:blocked_stationary_expectation blocked_stationary_expectation thm:quasi_local_bulk_inclusion->thm:blocked_stationary_expectation thm:blocked_interaction_window blocked_interaction_window thm:quasi_local_bulk_inclusion->thm:blocked_interaction_window thm:mps_quasi_local_translation_invariance->thm:blocked_stationary_expectation thm:fnw-dimension-only-counterexample fnw-dimension-only-counterexample lem:beigi_loop_schmidt_rank_pos beigi_loop_schmidt_rank_pos lem:mixed_transfer_gauge_phase_zero mixed_transfer_gauge_phase_zero thm:nncph_implies_rfp_basis_direct_sum nncph_implies_rfp_basis_direct_sum lem:mixed_transfer_gauge_phase_zero->thm:nncph_implies_rfp_basis_direct_sum thm:rfp_multiplicity_one_bnt_iff_nncph_ground_spaces rfp_multiplicity_one_bnt_iff_nncph_ground_spaces thm:nncph_implies_rfp_basis_direct_sum->thm:rfp_multiplicity_one_bnt_iff_nncph_ground_spaces thm:local_ground_space_gauge_invariance local_ground_space_gauge_invariance thm:normalized_primitive_gauge normalized_primitive_gauge thm:local_ground_space_gauge_invariance->thm:normalized_primitive_gauge thm:ph_canonical_representative_local_spaces ph_canonical_representative_local_spaces thm:local_ground_space_gauge_invariance->thm:ph_canonical_representative_local_spaces thm:normal_parent_hamiltonian_finite_range_knabe_gap normal_parent_hamiltonian_finite_range_knabe_gap thm:normalized_primitive_gauge->thm:normal_parent_hamiltonian_finite_range_knabe_gap thm:compact_normal_parent_gap compact_normal_parent_gap thm:normalized_primitive_gauge->thm:compact_normal_parent_gap thm:block_word_span_propagation block_word_span_propagation thm:normalized_primitive_gauge->thm:block_word_span_propagation thm:normal_blocks_primitive_representatives normal_blocks_primitive_representatives thm:normalized_primitive_gauge->thm:normal_blocks_primitive_representatives thm:injective_strict_knabe_window injective_strict_knabe_window thm:normalized_primitive_gauge->thm:injective_strict_knabe_window thm:block_word_span_primitive_normalization block_word_span_primitive_normalization thm:normalized_primitive_gauge->thm:block_word_span_primitive_normalization thm:canonical-parent-hamiltonian-representatives canonical-parent-hamiltonian-representatives thm:ph_canonical_representative_local_spaces->thm:canonical-parent-hamiltonian-representatives thm:normal_mps_parent_hamiltonian_gap normal_mps_parent_hamiltonian_gap thm:normal_parent_hamiltonian_finite_range_knabe_gap->thm:normal_mps_parent_hamiltonian_gap thm:compact_normal_parent_gap->thm:compact_positive_parent_interaction_gap thm:compact_bounded_open_interval_gap compact_bounded_open_interval_gap thm:block_word_span_propagation->thm:compact_bounded_open_interval_gap thm:block_ground_space_continuity block_ground_space_continuity thm:block_word_span_propagation->thm:block_ground_space_continuity thm:ph_primitive_representatives_parent_equality ph_primitive_representatives_parent_equality thm:normal_blocks_primitive_representatives->thm:ph_primitive_representatives_parent_equality thm:normal_block_open_prescribed_gap normal_block_open_prescribed_gap thm:normal_blocks_primitive_representatives->thm:normal_block_open_prescribed_gap thm:compact_parent_gap compact_parent_gap thm:injective_strict_knabe_window->thm:compact_parent_gap thm:block_open_kernel_simultaneous_injectivity block_open_kernel_simultaneous_injectivity thm:block_word_span_primitive_normalization->thm:block_open_kernel_simultaneous_injectivity thm:normalized_quasi_local_ground_state_classification normalized_quasi_local_ground_state_classification thm:block_word_span_primitive_normalization->thm:normalized_quasi_local_ground_state_classification thm:block-parent-uniform-gap-simultaneous-injectivity block-parent-uniform-gap-simultaneous-injectivity thm:block_word_span_primitive_normalization->thm:block-parent-uniform-gap-simultaneous-injectivity thm:canonical-decomposition-gap-simultaneous-injectivity canonical-decomposition-gap-simultaneous-injectivity thm:canonical-parent-hamiltonian-representatives->thm:canonical-decomposition-gap-simultaneous-injectivity thm:block_ground_space_continuity->thm:compact_block_parent_gap thm:open_gap_bounded_volume_continuity open_gap_bounded_volume_continuity thm:block_ground_space_continuity->thm:open_gap_bounded_volume_continuity thm:normal-parent-prescribed-gap normal-parent-prescribed-gap thm:ph_primitive_representatives_parent_equality->thm:normal-parent-prescribed-gap thm:block_open_kernel_simultaneous_injectivity->thm:compact_bounded_open_interval_gap thm:quasi_local_parent_zero_energy_joint_support quasi_local_parent_zero_energy_joint_support thm:block_open_kernel_simultaneous_injectivity->thm:quasi_local_parent_zero_energy_joint_support thm:open_gap_all_length_neighborhood open_gap_all_length_neighborhood thm:block_open_kernel_simultaneous_injectivity->thm:open_gap_all_length_neighborhood thm:block_open_gap_all_lengths_simultaneous_injectivity block_open_gap_all_lengths_simultaneous_injectivity thm:block_open_kernel_simultaneous_injectivity->thm:block_open_gap_all_lengths_simultaneous_injectivity thm:block_open_gap_subsequence_simultaneous_injectivity block_open_gap_subsequence_simultaneous_injectivity thm:block_open_kernel_simultaneous_injectivity->thm:block_open_gap_subsequence_simultaneous_injectivity thm:original_family_eventual_kernel_pure_ground_state_gap original_family_eventual_kernel_pure_ground_state_gap thm:normalized_quasi_local_ground_state_classification->thm:original_family_eventual_kernel_pure_ground_state_gap thm:block-parent-uniform-gap-simultaneous-injectivity->thm:canonical-decomposition-gap-simultaneous-injectivity thm:canonical-decomposition-positive-parent-gap-simultaneous-injectivity canonical-decomposition-positive-parent-gap-simultaneous-injectivity thm:canonical-decomposition-gap-simultaneous-injectivity->thm:canonical-decomposition-positive-parent-gap-simultaneous-injectivity thm:canonical-gap-simultaneous-injectivity canonical-gap-simultaneous-injectivity thm:canonical-decomposition-gap-simultaneous-injectivity->thm:canonical-gap-simultaneous-injectivity thm:canonical_parent_gap_bounded_range canonical_parent_gap_bounded_range thm:canonical-decomposition-gap-simultaneous-injectivity->thm:canonical_parent_gap_bounded_range thm:mps_state_local_support mps_state_local_support thm:mps_support_projection_expectation_one mps_support_projection_expectation_one thm:mps_state_local_support->thm:mps_support_projection_expectation_one thm:sector_local_zero_from_open_kernel sector_local_zero_from_open_kernel thm:mps_state_local_support->thm:sector_local_zero_from_open_kernel thm:local_commutator_expectation_positive local_commutator_expectation_positive thm:mps_state_local_support->thm:local_commutator_expectation_positive thm:mps_quasi_local_parent_ground_state_face_membership mps_quasi_local_parent_ground_state_face_membership thm:mps_state_local_support->thm:mps_quasi_local_parent_ground_state_face_membership thm:sector_state_joint_mps_support sector_state_joint_mps_support thm:mps_state_local_support->thm:sector_state_joint_mps_support thm:primitive_quasi_local_purity primitive_quasi_local_purity thm:mps_support_projection_expectation_one->thm:primitive_quasi_local_purity thm:stationary_state_zero_local_energy stationary_state_zero_local_energy thm:mps_support_projection_expectation_one->thm:stationary_state_zero_local_energy thm:sector_local_zero_from_eventual_open_kernel sector_local_zero_from_eventual_open_kernel thm:sector_local_zero_from_open_kernel->thm:sector_local_zero_from_eventual_open_kernel thm:sector_commutator_patch_positive sector_commutator_patch_positive thm:local_commutator_expectation_positive->thm:sector_commutator_patch_positive thm:multiblock_quasi_local_commutator_limit_gap multiblock_quasi_local_commutator_limit_gap thm:local_commutator_expectation_positive->thm:multiblock_quasi_local_commutator_limit_gap thm:eventual_kernel_sector_commutator_positive eventual_kernel_sector_commutator_positive thm:local_commutator_expectation_positive->thm:eventual_kernel_sector_commutator_positive thm:canonical_parent_generated_state canonical_parent_generated_state thm:mps_quasi_local_parent_ground_state_face_membership->thm:canonical_parent_generated_state thm:primitive_joint_mps_supported_state_classification primitive_joint_mps_supported_state_classification thm:sector_state_joint_mps_support->thm:primitive_joint_mps_supported_state_classification thm:primitive_quasi_local_purity->thm:primitive_joint_mps_supported_state_classification thm:original_blocks_pure_sector_commutator_limit_gap original_blocks_pure_sector_commutator_limit_gap thm:primitive_quasi_local_purity->thm:original_blocks_pure_sector_commutator_limit_gap thm:primitive_multiblock_pure_ground_state_classification primitive_multiblock_pure_ground_state_classification thm:primitive_quasi_local_purity->thm:primitive_multiblock_pure_ground_state_classification thm:faithful_generators_ground_state_face faithful_generators_ground_state_face thm:stationary_state_zero_local_energy->thm:faithful_generators_ground_state_face thm:primitive_multiblock_quasi_local_ground_state_classification primitive_multiblock_quasi_local_ground_state_classification thm:sector_local_zero_from_eventual_open_kernel->thm:primitive_multiblock_quasi_local_ground_state_classification thm:multiblock_quasi_local_commutator_limit_gap->thm:original_blocks_pure_sector_commutator_limit_gap thm:eventual_kernel_sector_literal_gap eventual_kernel_sector_literal_gap thm:eventual_kernel_sector_commutator_positive->thm:eventual_kernel_sector_literal_gap thm:faithful_generators_constructed_finite_quasi_local_gap faithful_generators_constructed_finite_quasi_local_gap thm:canonical_parent_generated_state->thm:faithful_generators_constructed_finite_quasi_local_gap thm:faithful_generators_constructed_quasi_local_gap faithful_generators_constructed_quasi_local_gap thm:canonical_parent_generated_state->thm:faithful_generators_constructed_quasi_local_gap thm:blocked_primitive_supported_state_classification blocked_primitive_supported_state_classification thm:primitive_joint_mps_supported_state_classification->thm:blocked_primitive_supported_state_classification thm:primitive_multiblock_pure_ground_state_classification->thm:normalized_quasi_local_ground_state_classification thm:primitive_ground_state_face_interaction_exists primitive_ground_state_face_interaction_exists thm:primitive_multiblock_pure_ground_state_classification->thm:primitive_ground_state_face_interaction_exists thm:eventual_kernel_pure_ground_state_gap eventual_kernel_pure_ground_state_gap thm:primitive_multiblock_pure_ground_state_classification->thm:eventual_kernel_pure_ground_state_gap thm:primitive_multiblock_quasi_local_ground_state_classification->thm:primitive_multiblock_pure_ground_state_classification thm:eventual_kernel_sector_literal_gap->thm:eventual_kernel_pure_ground_state_gap thm:stationary_generators_finite_quasi_local_gap stationary_generators_finite_quasi_local_gap thm:faithful_generators_constructed_finite_quasi_local_gap->thm:stationary_generators_finite_quasi_local_gap thm:stationary_generators_parent_interaction_gap stationary_generators_parent_interaction_gap thm:faithful_generators_constructed_quasi_local_gap->thm:stationary_generators_parent_interaction_gap thm:periodic_block_family_ground_states periodic_block_family_ground_states thm:blocked_primitive_supported_state_classification->thm:periodic_block_family_ground_states thm:blocked_primitive_quasi_local_gap blocked_primitive_quasi_local_gap thm:blocked_primitive_supported_state_classification->thm:blocked_primitive_quasi_local_gap thm:periodic_quasi_local_ground_state_classification periodic_quasi_local_ground_state_classification thm:blocked_primitive_supported_state_classification->thm:periodic_quasi_local_ground_state_classification thm:primitive-block-parent-prescribed-gap primitive-block-parent-prescribed-gap thm:primitive-block-parent-prescribed-gap->thm:normal-parent-prescribed-gap thm:sharp_two_ground_projection_gap sharp_two_ground_projection_gap thm:sparse_grouped_terminal_open_gap sparse_grouped_terminal_open_gap thm:sharp_two_ground_projection_gap->thm:sparse_grouped_terminal_open_gap thm:primitive_block_open_prescribed_gap primitive_block_open_prescribed_gap thm:sparse_grouped_terminal_open_gap->thm:primitive_block_open_prescribed_gap thm:primitive_block_open_prescribed_gap->thm:normal_block_open_prescribed_gap thm:parent_hamiltonian_from_ground_space parent_hamiltonian_from_ground_space thm:parent_hamiltonian_from_ground_space->thm:normalized_primitive_gauge def:tripartite_marginals tripartite_marginals thm:tripartite_marginal_matrix_units tripartite_marginal_matrix_units def:tripartite_marginals->thm:tripartite_marginal_matrix_units thm:tripartite_reverse_marginal_complementary_product_zero tripartite_reverse_marginal_complementary_product_zero thm:tripartite_marginal_matrix_units->thm:tripartite_reverse_marginal_complementary_product_zero thm:tripartite_marginal_complementary_product_zero tripartite_marginal_complementary_product_zero thm:tripartite_marginal_matrix_units->thm:tripartite_marginal_complementary_product_zero thm:tripartite_complementary_product_zero tripartite_complementary_product_zero thm:tripartite_reverse_marginal_complementary_product_zero->thm:tripartite_complementary_product_zero thm:tripartite_marginal_complementary_product_zero->thm:tripartite_complementary_product_zero thm:tripartite_support_products tripartite_support_products thm:tripartite_complementary_product_zero->thm:tripartite_support_products thm:multiblock_local_parent_commutator_gap multiblock_local_parent_commutator_gap thm:multiblock_quasi_local_parent_commutator_gap multiblock_quasi_local_parent_commutator_gap thm:multiblock_local_parent_commutator_gap->thm:multiblock_quasi_local_parent_commutator_gap thm:multiblock_quasi_local_parent_commutator_gap->thm:multiblock_quasi_local_commutator_limit_gap thm:normalized_multiblock_quasi_local_parent_gap normalized_multiblock_quasi_local_parent_gap thm:multiblock_quasi_local_parent_commutator_gap->thm:normalized_multiblock_quasi_local_parent_gap thm:knabe_gap_neighborhood knabe_gap_neighborhood thm:knabe_gap_neighborhood->thm:compact_parent_gap thm:ph_primitive_blocks_sharp_open_kernel ph_primitive_blocks_sharp_open_kernel thm:primitive-block-parent-gap-three-block-bound primitive-block-parent-gap-three-block-bound thm:ph_primitive_blocks_sharp_open_kernel->thm:primitive-block-parent-gap-three-block-bound thm:primitive-block-parent-uniform-gap-three-block-bound primitive-block-parent-uniform-gap-three-block-bound thm:primitive-block-parent-gap-three-block-bound->thm:primitive-block-parent-uniform-gap-three-block-bound thm:two_site_parent_interaction_commuting_overlaps two_site_parent_interaction_commuting_overlaps thm:two_site_parent_interaction_spatial_blocks two_site_parent_interaction_spatial_blocks thm:two_site_parent_interaction_commuting_overlaps->thm:two_site_parent_interaction_spatial_blocks thm:constructed_isometric_deformation_open_gap constructed_isometric_deformation_open_gap lem:appendixB_d2_projectors_identified_with_representatives appendixB_d2_projectors_identified_with_representatives def:cyclic_window_support cyclic_window_support lem:cyclic_window_support_offsets cyclic_window_support_offsets def:cyclic_window_support->lem:cyclic_window_support_offsets def:cyclic_windows_overlap cyclic_windows_overlap def:cyclic_window_support->def:cyclic_windows_overlap lem:cyclic_window_nonoverlap_positive cyclic_window_nonoverlap_positive lem:cyclic_window_support_offsets->lem:cyclic_window_nonoverlap_positive def:cyclic_windows_overlap->lem:cyclic_window_nonoverlap_positive def:overlapping_two_site_supports overlapping_two_site_supports def:cyclic_windows_overlap->def:overlapping_two_site_supports lem:cyclic_window_overlap_cardinality cyclic_window_overlap_cardinality def:cyclic_windows_overlap->lem:cyclic_window_overlap_cardinality lem:two_site_cyclic_window_overlap_cases two_site_cyclic_window_overlap_cases def:cyclic_windows_overlap->lem:two_site_cyclic_window_overlap_cases lem:cyclic_windows_overlap_symmetry cyclic_windows_overlap_symmetry def:cyclic_windows_overlap->lem:cyclic_windows_overlap_symmetry lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap parent_hamiltonian_cyclic_overlap_anticommutator_gap lem:cyclic_window_nonoverlap_positive->lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap lem:parent_hamiltonian_cyclic_window_ordered_cross_term_gap parent_hamiltonian_cyclic_window_ordered_cross_term_gap lem:cyclic_window_nonoverlap_positive->lem:parent_hamiltonian_cyclic_window_ordered_cross_term_gap thm:cyclic_parent_oriented_separation cyclic_parent_oriented_separation lem:cyclic_window_nonoverlap_positive->thm:cyclic_parent_oriented_separation lem:commuting_parent_ham_overlap_reduction commuting_parent_ham_overlap_reduction lem:cyclic_window_nonoverlap_positive->lem:commuting_parent_ham_overlap_reduction lem:appendixB_overlapping_condition_from_lift_commutator appendixB_overlapping_condition_from_lift_commutator def:overlapping_two_site_supports->lem:appendixB_overlapping_condition_from_lift_commutator thm:appendixB_overlapping_two_site_commutation appendixB_overlapping_two_site_commutation def:overlapping_two_site_supports->thm:appendixB_overlapping_two_site_commutation thm:local_term_two_three_ax_xb_lifts local_term_two_three_ax_xb_lifts def:overlapping_two_site_supports->thm:local_term_two_three_ax_xb_lifts thm:pair_lift_kronecker_matrices pair_lift_kronecker_matrices def:overlapping_two_site_supports->thm:pair_lift_kronecker_matrices lem:cyclic_window_overlap_cardinality->lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap lem:cyclic_window_overlap_cardinality->lem:parent_hamiltonian_cyclic_window_ordered_cross_term_gap lem:nncph_from_adjacent_two_site_commutation nncph_from_adjacent_two_site_commutation lem:two_site_cyclic_window_overlap_cases->lem:nncph_from_adjacent_two_site_commutation lem:cyclic_windows_overlap_symmetry->lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap thm:martingale_mps martingale_mps lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap->thm:martingale_mps thm:anticommutator_gap_bound anticommutator_gap_bound lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap->thm:anticommutator_gap_bound thm:parent_hamiltonian_gap_from_open_knabe_block parent_hamiltonian_gap_from_open_knabe_block thm:cyclic_parent_oriented_separation->thm:parent_hamiltonian_gap_from_open_knabe_block lem:commuting_parent_ham_overlap_reduction->lem:nncph_from_adjacent_two_site_commutation lem:appendixB_lift_commutator_parent_terms appendixB_lift_commutator_parent_terms lem:appendixB_overlapping_condition_from_lift_commutator->lem:appendixB_lift_commutator_parent_terms thm:appendixB_definition_d2_coefficient_analogue appendixB_definition_d2_coefficient_analogue thm:appendixB_overlapping_two_site_commutation->thm:appendixB_definition_d2_coefficient_analogue thm:appendixB_adjacent_chain_commutation appendixB_adjacent_chain_commutation thm:appendixB_overlapping_two_site_commutation->thm:appendixB_adjacent_chain_commutation thm:three_site_ground_space_adjacent_parent_kernels three_site_ground_space_adjacent_parent_kernels thm:local_term_two_three_ax_xb_lifts->thm:three_site_ground_space_adjacent_parent_kernels lem:appendixB_three_site_parent_lifts appendixB_three_site_parent_lifts thm:local_term_two_three_ax_xb_lifts->lem:appendixB_three_site_parent_lifts thm:local_term_two_three_commute_from_source_q local_term_two_three_commute_from_source_q thm:local_term_two_three_ax_xb_lifts->thm:local_term_two_three_commute_from_source_q thm:local_term_two_three_commute_from_ax_xb local_term_two_three_commute_from_ax_xb thm:local_term_two_three_ax_xb_lifts->thm:local_term_two_three_commute_from_ax_xb thm:local_term_two_three_commute_from_complement_ax_xb local_term_two_three_commute_from_complement_ax_xb thm:local_term_two_three_ax_xb_lifts->thm:local_term_two_three_commute_from_complement_ax_xb thm:local_term_two_three_commute_from_two_site_q local_term_two_three_commute_from_two_site_q thm:local_term_two_three_ax_xb_lifts->thm:local_term_two_three_commute_from_two_site_q thm:appendixB_qxb_factor_action appendixB_qxb_factor_action thm:pair_lift_kronecker_matrices->thm:appendixB_qxb_factor_action thm:appendixB_qax_factor_action appendixB_qax_factor_action thm:pair_lift_kronecker_matrices->thm:appendixB_qax_factor_action thm:rfp_multiplicity_one_bnt_nncph rfp_multiplicity_one_bnt_nncph lem:nncph_from_adjacent_two_site_commutation->thm:rfp_multiplicity_one_bnt_nncph thm:left_canonical_rfp_chain_commutation left_canonical_rfp_chain_commutation lem:nncph_from_adjacent_two_site_commutation->thm:left_canonical_rfp_chain_commutation thm:appendixB_adjacent_chain_commutation->thm:left_canonical_rfp_chain_commutation thm:three_site_ground_space_adjacent_parent_kernels->thm:appendixB_definition_d2_coefficient_analogue lem:appendixB_overlapping_condition_parent_terms appendixB_overlapping_condition_parent_terms lem:appendixB_three_site_parent_lifts->lem:appendixB_overlapping_condition_parent_terms thm:parent_hamiltonian_gapped parent_hamiltonian_gapped thm:anticommutator_gap_bound->thm:parent_hamiltonian_gapped thm:adjacent_local_term_coordinate_identifications adjacent_local_term_coordinate_identifications thm:adjacent_two_site_local_terms_open_chain adjacent_two_site_local_terms_open_chain thm:adjacent_local_term_coordinate_identifications->thm:adjacent_two_site_local_terms_open_chain lem:bnt_block_diagonal_pgvwc_comparison_ground_space bnt_block_diagonal_pgvwc_comparison_ground_space lem:block_diagonal_kernel_to_bnt_span_from_pgvwc_comparison block_diagonal_kernel_to_bnt_span_from_pgvwc_comparison lem:bnt_block_diagonal_pgvwc_comparison_ground_space->lem:block_diagonal_kernel_to_bnt_span_from_pgvwc_comparison thm:periodic_primitive_ground_space_at_period periodic_primitive_ground_space_at_period thm:ground_space_gram_is_unit_of_injective ground_space_gram_is_unit_of_injective thm:inverse_gram_limiting_resolvent inverse_gram_limiting_resolvent thm:ground_space_gram_is_unit_of_injective->thm:inverse_gram_limiting_resolvent thm:c3_correction_factorizations c3_correction_factorizations thm:inverse_gram_limiting_resolvent->thm:c3_correction_factorizations thm:c3_correction_bounds c3_correction_bounds thm:c3_correction_factorizations->thm:c3_correction_bounds thm:whole_increment_right_overlap_factor_apply whole_increment_right_overlap_factor_apply thm:whole_increment_centered_factorization whole_increment_centered_factorization thm:whole_increment_right_overlap_factor_apply->thm:whole_increment_centered_factorization thm:c3_centered_overlap_factorization_geometric c3_centered_overlap_factorization_geometric thm:whole_increment_right_overlap_factor_apply->thm:c3_centered_overlap_factorization_geometric thm:whole_increment_centered_residual_bound whole_increment_centered_residual_bound thm:whole_increment_centered_factorization->thm:whole_increment_centered_residual_bound thm:whole_increment_centered_residual_bound_left_canonical whole_increment_centered_residual_bound_left_canonical thm:whole_increment_centered_residual_bound->thm:whole_increment_centered_residual_bound_left_canonical thm:primitive_whole_increment_centered_residual_bound primitive_whole_increment_centered_residual_bound thm:whole_increment_centered_residual_bound_left_canonical->thm:primitive_whole_increment_centered_residual_bound thm:open_parent_hamiltonian_fixed_c3_gap open_parent_hamiltonian_fixed_c3_gap thm:primitive_open_parent_hamiltonian_gap primitive_open_parent_hamiltonian_gap thm:open_parent_hamiltonian_fixed_c3_gap->thm:primitive_open_parent_hamiltonian_gap thm:primitive-parent-prescribed-gap primitive-parent-prescribed-gap thm:open_parent_hamiltonian_fixed_c3_gap->thm:primitive-parent-prescribed-gap thm:primitive_open_parent_hamiltonian_gap->thm:compact_normal_parent_gap thm:primitive_open_parent_hamiltonian_gap->thm:injective_strict_knabe_window thm:primitive_parent_hamiltonian_finite_range_knabe_gap primitive_parent_hamiltonian_finite_range_knabe_gap thm:primitive_open_parent_hamiltonian_gap->thm:primitive_parent_hamiltonian_finite_range_knabe_gap thm:primitive-parent-prescribed-gap->thm:normal-parent-prescribed-gap thm:primitive_parent_hamiltonian_finite_range_knabe_gap->thm:normal_parent_hamiltonian_finite_range_knabe_gap thm:bnt_cf_basis_is_bnt_for_direct_sum bnt_cf_basis_is_bnt_for_direct_sum thm:bnt_cf_basis_is_bnt_for_direct_sum->thm:nncph_implies_rfp_basis_direct_sum def:finite_open_interaction_matrix finite_open_interaction_matrix def:finite_open_interaction_matrix->thm:sector_commutator_patch_positive thm:blocked_open_interaction_sum blocked_open_interaction_sum def:finite_open_interaction_matrix->thm:blocked_open_interaction_sum thm:aligned_positive_window_sum aligned_positive_window_sum def:finite_open_interaction_matrix->thm:aligned_positive_window_sum def:finite_open_interaction_matrix->thm:quasi_local_open_interaction_zero_expectation thm:blocked_interaction_matrix_posSemidef blocked_interaction_matrix_posSemidef def:finite_open_interaction_matrix->thm:blocked_interaction_matrix_posSemidef thm:finite_open_commutator_locality finite_open_commutator_locality def:finite_open_interaction_matrix->thm:finite_open_commutator_locality thm:blocked_interaction_expansion blocked_interaction_expansion thm:blocked_open_interaction_sum->thm:blocked_interaction_expansion thm:quasi_local_open_interaction_zero_expectation->thm:sector_local_zero_from_open_kernel thm:quasi_local_open_interaction_zero_expectation->thm:quasi_local_parent_zero_energy_joint_support thm:quasi_local_zero_energy_support_eventual_kernel quasi_local_zero_energy_support_eventual_kernel thm:quasi_local_open_interaction_zero_expectation->thm:quasi_local_zero_energy_support_eventual_kernel thm:finite_open_commutator_locality->thm:quasi_local_commutator_locality thm:primitive_local_commutator_energy_limit primitive_local_commutator_energy_limit thm:finite_open_commutator_locality->thm:primitive_local_commutator_energy_limit thm:blocked_interaction_comparison blocked_interaction_comparison thm:blocked_interaction_expansion->thm:blocked_interaction_comparison thm:quasi_local_zero_energy_support_eventual_kernel->thm:primitive_multiblock_quasi_local_ground_state_classification thm:eventual_kernel_ground_state_support_iff eventual_kernel_ground_state_support_iff thm:quasi_local_zero_energy_support_eventual_kernel->thm:eventual_kernel_ground_state_support_iff thm:quasi_local_commutator_locality->thm:eventual_kernel_sector_commutator_positive thm:local_commutator_energy_representation local_commutator_energy_representation thm:quasi_local_commutator_locality->thm:local_commutator_energy_representation thm:quasi_local_commutator_energy_limit quasi_local_commutator_energy_limit thm:quasi_local_commutator_locality->thm:quasi_local_commutator_energy_limit thm:primitive_local_commutator_gap primitive_local_commutator_gap thm:primitive_local_commutator_energy_limit->thm:primitive_local_commutator_gap thm:multiblock_local_open_interaction_commutator_gap multiblock_local_open_interaction_commutator_gap thm:primitive_local_commutator_energy_limit->thm:multiblock_local_open_interaction_commutator_gap thm:primitive_local_open_interaction_commutator_gap primitive_local_open_interaction_commutator_gap thm:primitive_local_commutator_energy_limit->thm:primitive_local_open_interaction_commutator_gap thm:blocked_interaction_eventual_kernel blocked_interaction_eventual_kernel thm:blocked_interaction_comparison->thm:blocked_interaction_eventual_kernel thm:blocked_finite_gap_transfer blocked_finite_gap_transfer thm:blocked_interaction_comparison->thm:blocked_finite_gap_transfer thm:eventual_kernel_ground_state_support_iff->thm:stationary_state_zero_local_energy thm:eventual_kernel_ground_state_support_iff->thm:periodic_block_family_ground_states thm:eventual_kernel_ground_state_support_iff->thm:blocked_primitive_quasi_local_gap thm:eventual_kernel_ground_state_support_iff->thm:periodic_quasi_local_ground_state_classification thm:blocked_quasi_local_gap_transport blocked_quasi_local_gap_transport thm:local_commutator_energy_representation->thm:blocked_quasi_local_gap_transport thm:quasi_local_commutator_energy_limit->thm:multiblock_quasi_local_commutator_limit_gap thm:primitive_local_commutator_wielandt primitive_local_commutator_wielandt thm:primitive_local_commutator_gap->thm:primitive_local_commutator_wielandt thm:multiblock_local_open_interaction_commutator_gap->thm:multiblock_local_parent_commutator_gap thm:eventual_kernel_sector_local_gap eventual_kernel_sector_local_gap thm:multiblock_local_open_interaction_commutator_gap->thm:eventual_kernel_sector_local_gap thm:primitive_local_positive_parent_commutator_gap primitive_local_positive_parent_commutator_gap thm:primitive_local_open_interaction_commutator_gap->thm:primitive_local_positive_parent_commutator_gap def:residual_window_mixed_gram_residual residual_window_mixed_gram_residual thm:residual_window_mixed_gram_decay residual_window_mixed_gram_decay def:residual_window_mixed_gram_residual->thm:residual_window_mixed_gram_decay thm:residual_window_supported_projector_cancellation residual_window_supported_projector_cancellation def:residual_window_mixed_gram_residual->thm:residual_window_supported_projector_cancellation thm:residual_window_primitive_projection_decay residual_window_primitive_projection_decay thm:residual_window_mixed_gram_decay->thm:residual_window_primitive_projection_decay thm:residual_window_supported_projector_cancellation->thm:residual_window_primitive_projection_decay thm:residual_window_joint_projection_decay residual_window_joint_projection_decay thm:residual_window_primitive_projection_decay->thm:residual_window_joint_projection_decay thm:physical_residual_cover_limit_primitive_resolution physical_residual_cover_limit_primitive_resolution thm:residual_window_joint_projection_decay->thm:physical_residual_cover_limit_primitive_resolution thm:periodic_residual_window_joint_projection_decay periodic_residual_window_joint_projection_decay thm:residual_window_joint_projection_decay->thm:periodic_residual_window_joint_projection_decay thm:blocked_ground_projection_observable blocked_ground_projection_observable thm:blocked_ground_projection_expectation blocked_ground_projection_expectation thm:blocked_ground_projection_observable->thm:blocked_ground_projection_expectation thm:blocked_ground_projection_support blocked_ground_projection_support thm:blocked_ground_projection_expectation->thm:blocked_ground_projection_support thm:mps_support_blocking_iff mps_support_blocking_iff thm:blocked_ground_projection_support->thm:mps_support_blocking_iff thm:blocked_support_representation_iff blocked_support_representation_iff thm:mps_support_blocking_iff->thm:blocked_support_representation_iff def:fnw_weighted_remainder_data fnw_weighted_remainder_data def:fnw_mixing_quantity fnw_mixing_quantity def:fnw_weighted_remainder_data->def:fnw_mixing_quantity thm:fnw_mixing_quantity_geometric fnw_mixing_quantity_geometric def:fnw_mixing_quantity->thm:fnw_mixing_quantity_geometric thm:fnw_projector_defect_geometric fnw_projector_defect_geometric def:fnw_mixing_quantity->thm:fnw_projector_defect_geometric thm:fnw-transfer-eigenvalue-rate fnw-transfer-eigenvalue-rate thm:fnw_mixing_quantity_geometric->thm:fnw-transfer-eigenvalue-rate thm:primitive_fnw_projector_defect_geometric primitive_fnw_projector_defect_geometric thm:fnw_mixing_quantity_geometric->thm:primitive_fnw_projector_defect_geometric thm:fnw_projector_defect_geometric->thm:primitive_fnw_projector_defect_geometric thm:fnw-eventual-projector-prescribed-prefactor fnw-eventual-projector-prescribed-prefactor thm:fnw_projector_defect_geometric->thm:fnw-eventual-projector-prescribed-prefactor thm:fnw-eventual-prescribed-prefactor fnw-eventual-prescribed-prefactor thm:fnw-transfer-eigenvalue-rate->thm:fnw-eventual-prescribed-prefactor thm:primitive_fnw_openchain_defect_geometric primitive_fnw_openchain_defect_geometric thm:primitive_fnw_projector_defect_geometric->thm:primitive_fnw_openchain_defect_geometric thm:primitive_whole_increment_defect_decay primitive_whole_increment_defect_decay thm:primitive_fnw_projector_defect_geometric->thm:primitive_whole_increment_defect_decay thm:fnw-eventual-prescribed-prefactor->thm:fnw-eventual-projector-prescribed-prefactor thm:primitive-prescribed-projector-defect primitive-prescribed-projector-defect thm:primitive_fnw_openchain_defect_geometric->thm:primitive-prescribed-projector-defect thm:ph_primitive_block_interval_defect_decay ph_primitive_block_interval_defect_decay thm:primitive_whole_increment_defect_decay->thm:ph_primitive_block_interval_defect_decay thm:uniform_whole_increment_defect_seven_sixteenths uniform_whole_increment_defect_seven_sixteenths thm:primitive_whole_increment_defect_decay->thm:uniform_whole_increment_defect_seven_sixteenths thm:compact_block_open_gap compact_block_open_gap thm:open_gap_all_length_neighborhood->thm:compact_block_open_gap thm:compact_normal_block_open_gap compact_normal_block_open_gap thm:compact_block_open_gap->thm:compact_normal_block_open_gap thm:compact_block_open_positive_gap compact_block_open_positive_gap thm:compact_normal_block_open_gap->thm:compact_block_open_positive_gap thm:compact_block_open_positive_gap->thm:positive_affine_physical_deformation_open_gap thm:periodic_block_family_primitive_presentation_exists periodic_block_family_primitive_presentation_exists thm:periodic_block_family_primitive_presentation_exists->thm:periodic_block_family_ground_states thm:periodic_block_family_quasi_local_gap periodic_block_family_quasi_local_gap thm:periodic_block_family_primitive_presentation_exists->thm:periodic_block_family_quasi_local_gap thm:periodic_block_family_ground_states->thm:faithful_generators_ground_state_face thm:periodic_family_pure_ground_state_period periodic_family_pure_ground_state_period thm:periodic_block_family_ground_states->thm:periodic_family_pure_ground_state_period thm:periodic_family_constructed_finite_quasi_local_gap periodic_family_constructed_finite_quasi_local_gap thm:periodic_block_family_quasi_local_gap->thm:periodic_family_constructed_finite_quasi_local_gap thm:periodic_family_constructed_gap_independence_criterion periodic_family_constructed_gap_independence_criterion thm:periodic_block_family_quasi_local_gap->thm:periodic_family_constructed_gap_independence_criterion thm:faithful_generators_quasi_local_gap faithful_generators_quasi_local_gap thm:periodic_block_family_quasi_local_gap->thm:faithful_generators_quasi_local_gap thm:periodic_family_constructed_commutator_gap periodic_family_constructed_commutator_gap thm:periodic_block_family_quasi_local_gap->thm:periodic_family_constructed_commutator_gap thm:periodic_family_given_interaction_finite_quasi_local_gap periodic_family_given_interaction_finite_quasi_local_gap thm:periodic_block_family_quasi_local_gap->thm:periodic_family_given_interaction_finite_quasi_local_gap thm:faithful_generators_quasi_local_gap->thm:faithful_generators_constructed_finite_quasi_local_gap thm:faithful_generators_quasi_local_gap->thm:faithful_generators_constructed_quasi_local_gap thm:faithful_generators_given_interaction_finite_quasi_local_gap faithful_generators_given_interaction_finite_quasi_local_gap thm:faithful_generators_quasi_local_gap->thm:faithful_generators_given_interaction_finite_quasi_local_gap lem:eval_word_gauge eval_word_gauge lem:eval_word_gauge->thm:local_ground_space_gauge_invariance thm:gauge_phase_mpv_scaling gauge_phase_mpv_scaling lem:eval_word_gauge->thm:gauge_phase_mpv_scaling lem:gauge_invariance_block_injective gauge_invariance_block_injective lem:eval_word_gauge->lem:gauge_invariance_block_injective thm:word_tuple_span_gauge_invariance word_tuple_span_gauge_invariance lem:eval_word_gauge->thm:word_tuple_span_gauge_invariance thm:gauge_invariance gauge_invariance lem:eval_word_gauge->thm:gauge_invariance thm:block-word-span-separation block-word-span-separation thm:gauge_phase_mpv_scaling->thm:block-word-span-separation thm:cpsv_bnt_blocked_simultaneous_span cpsv_bnt_blocked_simultaneous_span lem:gauge_invariance_block_injective->thm:cpsv_bnt_blocked_simultaneous_span thm:gauge_invariance_normal gauge_invariance_normal lem:gauge_invariance_block_injective->thm:gauge_invariance_normal thm:word_tuple_span_gauge_invariance->thm:block_word_span_propagation thm:word_tuple_span_gauge_invariance->thm:block_word_span_primitive_normalization thm:cpsv_bnt_sharp_span_ambient_cap cpsv_bnt_sharp_span_ambient_cap thm:word_tuple_span_gauge_invariance->thm:cpsv_bnt_sharp_span_ambient_cap thm:gauge_invariance->thm:normalized_primitive_gauge thm:block-word-span-separation->thm:normalized_quasi_local_ground_state_classification thm:block-word-span-separation->thm:block-parent-uniform-gap-simultaneous-injectivity thm:block-word-span-separation->thm:block_open_gap_all_lengths_simultaneous_injectivity thm:block-word-span-separation->thm:block_open_gap_subsequence_simultaneous_injectivity thm:cpsv_bnt_blocked_simultaneous_span->thm:constructed_isometric_deformation_gap thm:normal_block_injective_blocking normal_block_injective_blocking thm:cpsv_bnt_blocked_simultaneous_span->thm:normal_block_injective_blocking thm:gauge_invariance_normal->thm:normalized_primitive_gauge thm:rfp_implies_nncph rfp_implies_nncph thm:gauge_invariance_normal->thm:rfp_implies_nncph thm:cpsv_bnt_sharp_span_ambient_cap->thm:compact_block_parent_gap thm:cpsv_bnt_sharp_span_ambient_cap->thm:compact_normal_block_open_gap thm:cpsv_bnt_sharp_span_ambient_cap->thm:normal_block_injective_blocking thm:normal_block_open_gap_dimension_bound normal_block_open_gap_dimension_bound thm:cpsv_bnt_sharp_span_ambient_cap->thm:normal_block_open_gap_dimension_bound thm:canonical_bounded_range_ground_space canonical_bounded_range_ground_space thm:cpsv_bnt_sharp_span_ambient_cap->thm:canonical_bounded_range_ground_space thm:block_open_gap_all_lengths_simultaneous_injectivity->thm:compact_block_open_gap thm:block_open_gap_all_lengths_simultaneous_injectivity->thm:normal_block_open_gap_dimension_bound thm:canonical_open_gap_all_lengths canonical_open_gap_all_lengths thm:block_open_gap_all_lengths_simultaneous_injectivity->thm:canonical_open_gap_all_lengths thm:block_open_gap_subsequence_simultaneous_injectivity->thm:block_strict_knabe_window_simultaneous_injectivity thm:constructed_isometric_deformation_gap->thm:constructed_isometric_deformation_open_gap thm:isometric_deformation_supplied_parent_symmetry isometric_deformation_supplied_parent_symmetry thm:constructed_isometric_deformation_gap->thm:isometric_deformation_supplied_parent_symmetry thm:isometric_deformation_unitary_covariance isometric_deformation_unitary_covariance thm:constructed_isometric_deformation_gap->thm:isometric_deformation_unitary_covariance thm:normal_block_injective_blocking->thm:constructed_isometric_deformation_open_gap thm:rfp_implies_nncph_ground_state rfp_implies_nncph_ground_state thm:rfp_implies_nncph->thm:rfp_implies_nncph_ground_state thm:canonical_bounded_range_ground_space->thm:canonical_parent_gap_bounded_range thm:canonical_bounded_range_ground_space->thm:canonical_open_gap_all_lengths thm:fnw_dimension_markov_path_sums fnw_dimension_markov_path_sums thm:fnw-dimension-four-physical-defect fnw-dimension-four-physical-defect thm:fnw_dimension_markov_path_sums->thm:fnw-dimension-four-physical-defect thm:fnw-dimension-four-physical-defect->thm:fnw-dimension-only-counterexample def:fixed_local_commutator_observable fixed_local_commutator_observable def:fixed_local_commutator_observable->thm:finite_open_commutator_locality thm:joint_restriction_intersection_middle_independence joint_restriction_intersection_middle_independence thm:joint_ground_space_intersection_middle_independence joint_ground_space_intersection_middle_independence thm:joint_restriction_intersection_middle_independence->thm:joint_ground_space_intersection_middle_independence thm:primitive_joint_intersection_from_overlap primitive_joint_intersection_from_overlap thm:joint_ground_space_intersection_middle_independence->thm:primitive_joint_intersection_from_overlap thm:periodic_family_interaction_independence_criterion periodic_family_interaction_independence_criterion thm:primitive_joint_intersection_from_overlap->thm:periodic_family_interaction_independence_criterion thm:primitive_parent_interaction_from_overlap primitive_parent_interaction_from_overlap thm:primitive_joint_intersection_from_overlap->thm:primitive_parent_interaction_from_overlap thm:periodic_family_interaction_independence_criterion->thm:periodic_family_constructed_gap_independence_criterion thm:periodic_family_canonical_interaction periodic_family_canonical_interaction thm:periodic_family_interaction_independence_criterion->thm:periodic_family_canonical_interaction thm:primitive_insertion_gram_limit primitive_insertion_gram_limit thm:primitive_bulk_ground_compression primitive_bulk_ground_compression thm:primitive_insertion_gram_limit->thm:primitive_bulk_ground_compression thm:multiblock_centered_full_ground_compression multiblock_centered_full_ground_compression thm:primitive_bulk_ground_compression->thm:multiblock_centered_full_ground_compression thm:primitive_supported_quasi_local_state_unique primitive_supported_quasi_local_state_unique thm:primitive_bulk_ground_compression->thm:primitive_supported_quasi_local_state_unique thm:primitive_bulk_ground_vector_limits primitive_bulk_ground_vector_limits thm:primitive_bulk_ground_compression->thm:primitive_bulk_ground_vector_limits thm:multiblock_bulk_observable_column_limit multiblock_bulk_observable_column_limit thm:multiblock_centered_full_ground_compression->thm:multiblock_bulk_observable_column_limit thm:multiblock_sector_excitation_projection_limit multiblock_sector_excitation_projection_limit thm:multiblock_centered_full_ground_compression->thm:multiblock_sector_excitation_projection_limit thm:primitive_supported_quasi_local_state_unique->thm:primitive_quasi_local_purity thm:primitive_bulk_ground_vector_limits->thm:primitive_local_commutator_energy_limit thm:primitive_bulk_excitation_norm_limit primitive_bulk_excitation_norm_limit thm:primitive_bulk_ground_vector_limits->thm:primitive_bulk_excitation_norm_limit thm:multiblock_bulk_observable_sector_decomposition multiblock_bulk_observable_sector_decomposition thm:multiblock_bulk_observable_column_limit->thm:multiblock_bulk_observable_sector_decomposition thm:multiblock_commutator_gap_reduction multiblock_commutator_gap_reduction thm:multiblock_sector_excitation_projection_limit->thm:multiblock_commutator_gap_reduction thm:primitive_bulk_excitation_norm_limit->thm:primitive_local_commutator_gap thm:primitive_bulk_excitation_norm_limit->thm:multiblock_commutator_gap_reduction thm:primitive_bulk_commutator_gap_reduction primitive_bulk_commutator_gap_reduction thm:primitive_bulk_excitation_norm_limit->thm:primitive_bulk_commutator_gap_reduction rem:euclidean_local_projector_ingredients euclidean_local_projector_ingredients rem:euclidean_local_projector_ingredients->thm:adjacent_local_term_coordinate_identifications lem:parent_interaction_es_kernel parent_interaction_es_kernel rem:euclidean_local_projector_ingredients->lem:parent_interaction_es_kernel def:open_parent_hamiltonian_es open_parent_hamiltonian_es rem:euclidean_local_projector_ingredients->def:open_parent_hamiltonian_es def:fixed-volume-prefix-ground-projections fixed-volume-prefix-ground-projections rem:euclidean_local_projector_ingredients->def:fixed-volume-prefix-ground-projections lem:euclidean_local_projector_positive euclidean_local_projector_positive rem:euclidean_local_projector_ingredients->lem:euclidean_local_projector_positive thm:cyclic_active_block_local_conjugacy cyclic_active_block_local_conjugacy rem:euclidean_local_projector_ingredients->thm:cyclic_active_block_local_conjugacy thm:three_site_anticommutator_cyclic_transport three_site_anticommutator_cyclic_transport rem:euclidean_local_projector_ingredients->thm:three_site_anticommutator_cyclic_transport def:cyclic_parent_local_coordinates cyclic_parent_local_coordinates rem:euclidean_local_projector_ingredients->def:cyclic_parent_local_coordinates thm:open_parent_hamiltonian_full_window_unit_gap open_parent_hamiltonian_full_window_unit_gap lem:parent_interaction_es_kernel->thm:open_parent_hamiltonian_full_window_unit_gap lem:local_term_es_kernel_restrictions local_term_es_kernel_restrictions lem:parent_interaction_es_kernel->lem:local_term_es_kernel_restrictions thm:canonical_parent_interaction_is_parent_interaction canonical_parent_interaction_is_parent_interaction lem:parent_interaction_es_kernel->thm:canonical_parent_interaction_is_parent_interaction def:open_parent_hamiltonian_es->def:finite_open_interaction_matrix thm:open_parent_hamiltonian_full_window open_parent_hamiltonian_full_window def:open_parent_hamiltonian_es->thm:open_parent_hamiltonian_full_window thm:open_ground_space_le_hamiltonian_kernel open_ground_space_le_hamiltonian_kernel def:open_parent_hamiltonian_es->thm:open_ground_space_le_hamiltonian_kernel thm:continuous_finite_window_parent_hamiltonian continuous_finite_window_parent_hamiltonian def:open_parent_hamiltonian_es->thm:continuous_finite_window_parent_hamiltonian thm:cyclic_knabe_block_open_parent_hamiltonian cyclic_knabe_block_open_parent_hamiltonian def:open_parent_hamiltonian_es->thm:cyclic_knabe_block_open_parent_hamiltonian lem:open_parent_hamiltonian_es_positive open_parent_hamiltonian_es_positive def:open_parent_hamiltonian_es->lem:open_parent_hamiltonian_es_positive def:open_suffix_parent_hamiltonian_es open_suffix_parent_hamiltonian_es def:open_parent_hamiltonian_es->def:open_suffix_parent_hamiltonian_es def:open_knabe_padding open_knabe_padding def:open_parent_hamiltonian_es->def:open_knabe_padding thm:open_parent_hamiltonian_zero_local_terms open_parent_hamiltonian_zero_local_terms def:open_parent_hamiltonian_es->thm:open_parent_hamiltonian_zero_local_terms lem:parent-finite-interval-comparison parent-finite-interval-comparison def:open_parent_hamiltonian_es->lem:parent-finite-interval-comparison thm:finite_window_continuity_from_ground_projection finite_window_continuity_from_ground_projection def:open_parent_hamiltonian_es->thm:finite_window_continuity_from_ground_projection def:grouped_open_ground_projections grouped_open_ground_projections def:fixed-volume-prefix-ground-projections->def:grouped_open_ground_projections thm:grouped_spectator_norm grouped_spectator_norm def:fixed-volume-prefix-ground-projections->thm:grouped_spectator_norm lem:fixed-volume-hamiltonians-positive fixed-volume-hamiltonians-positive def:fixed-volume-prefix-ground-projections->lem:fixed-volume-hamiltonians-positive thm:fixed-volume-c3-boundary-indices fixed-volume-c3-boundary-indices def:fixed-volume-prefix-ground-projections->thm:fixed-volume-c3-boundary-indices lem:euclidean_local_projector_positive->thm:canonical_parent_interaction_is_parent_interaction lem:local_term_es_average local_term_es_average lem:euclidean_local_projector_positive->lem:local_term_es_average thm:cyclic_active_block_local_conjugacy->thm:cyclic_knabe_block_open_parent_hamiltonian thm:open_interval_gap_transport open_interval_gap_transport thm:cyclic_active_block_local_conjugacy->thm:open_interval_gap_transport thm:periodic-fixed-interaction-canonical periodic-fixed-interaction-canonical thm:cyclic_active_block_local_conjugacy->thm:periodic-fixed-interaction-canonical thm:ph_terminal_interval_kernel ph_terminal_interval_kernel thm:cyclic_active_block_local_conjugacy->thm:ph_terminal_interval_kernel lem:blocked_to_cyclic_ground_projector_comparison blocked_to_cyclic_ground_projector_comparison thm:three_site_anticommutator_cyclic_transport->lem:blocked_to_cyclic_ground_projector_comparison def:cyclic_parent_local_coordinates->thm:cyclic_parent_oriented_separation def:cyclic_parent_local_coordinates->thm:cyclic_knabe_block_open_parent_hamiltonian thm:cyclic_parent_local_sum cyclic_parent_local_sum def:cyclic_parent_local_coordinates->thm:cyclic_parent_local_sum lem:local_term_es_kernel_restrictions->thm:adjacent_two_site_local_terms_open_chain lem:local_term_es_kernel_restrictions->thm:open_ground_space_le_hamiltonian_kernel thm:parent_hamiltonian_kernel_le_chain_ground_space parent_hamiltonian_kernel_le_chain_ground_space lem:local_term_es_kernel_restrictions->thm:parent_hamiltonian_kernel_le_chain_ground_space thm:open_parent_hamiltonian_window_ground_space open_parent_hamiltonian_window_ground_space lem:local_term_es_kernel_restrictions->thm:open_parent_hamiltonian_window_ground_space thm:adjacent_local_kernels_ground_space_es adjacent_local_kernels_ground_space_es lem:local_term_es_kernel_restrictions->thm:adjacent_local_kernels_ground_space_es thm:canonical_parent_interaction_is_parent_interaction->thm:canonical_parent_generated_state thm:open_parent_hamiltonian_full_window->thm:open_parent_hamiltonian_full_window_unit_gap thm:ph_tp_block_open_ground_space ph_tp_block_open_ground_space thm:open_ground_space_le_hamiltonian_kernel->thm:ph_tp_block_open_ground_space thm:canonical_open_kernel_from_eventual_intersection canonical_open_kernel_from_eventual_intersection thm:open_ground_space_le_hamiltonian_kernel->thm:canonical_open_kernel_from_eventual_intersection thm:open_parent_hamiltonian_kernel_ground_space open_parent_hamiltonian_kernel_ground_space thm:open_ground_space_le_hamiltonian_kernel->thm:open_parent_hamiltonian_kernel_ground_space thm:open_parent_gap_continuity open_parent_gap_continuity thm:open_ground_space_le_hamiltonian_kernel->thm:open_parent_gap_continuity thm:ground_prefix_projection_identity ground_prefix_projection_identity thm:open_ground_space_le_hamiltonian_kernel->thm:ground_prefix_projection_identity thm:continuous_finite_window_parent_hamiltonian->thm:open_parent_gap_continuity thm:periodic_short_gap_continuity periodic_short_gap_continuity thm:continuous_finite_window_parent_hamiltonian->thm:periodic_short_gap_continuity thm:continuous_fixed_window_block_overlap continuous_fixed_window_block_overlap thm:continuous_finite_window_parent_hamiltonian->thm:continuous_fixed_window_block_overlap thm:cyclic_knabe_block_open_parent_hamiltonian->thm:parent_hamiltonian_gap_from_open_knabe_block thm:periodic-parent-range-comparison periodic-parent-range-comparison thm:cyclic_knabe_block_open_parent_hamiltonian->thm:periodic-parent-range-comparison lem:open_parent_hamiltonian_es_positive->thm:open_parent_hamiltonian_fixed_c3_gap thm:grouped_open_parent_gap grouped_open_parent_gap lem:open_parent_hamiltonian_es_positive->thm:grouped_open_parent_gap def:open_suffix_parent_hamiltonian_es->def:grouped_open_ground_projections def:open_suffix_parent_hamiltonian_es->thm:grouped_spectator_norm thm:open_parent_hamiltonian_es_c1 open_parent_hamiltonian_es_c1 def:open_suffix_parent_hamiltonian_es->thm:open_parent_hamiltonian_es_c1 thm:open_suffix_parent_hamiltonian_zero_before_window open_suffix_parent_hamiltonian_zero_before_window def:open_suffix_parent_hamiltonian_es->thm:open_suffix_parent_hamiltonian_zero_before_window thm:open_knabe_padding_properties open_knabe_padding_properties def:open_knabe_padding->thm:open_knabe_padding_properties thm:open_knabe_clipped_windows open_knabe_clipped_windows def:open_knabe_padding->thm:open_knabe_clipped_windows thm:open_parent_hamiltonian_zero_local_terms->thm:open_parent_hamiltonian_window_ground_space thm:open_parent_hamiltonian_zero_local_terms->thm:ph_tp_block_open_ground_space lem:parent-finite-interval-comparison->thm:injective_strict_knabe_window lem:parent-finite-interval-comparison->thm:block_open_gap_all_lengths_simultaneous_injectivity lem:parent-finite-interval-comparison->thm:block_open_gap_subsequence_simultaneous_injectivity thm:parent-gap-fixed-range-transfer parent-gap-fixed-range-transfer lem:parent-finite-interval-comparison->thm:parent-gap-fixed-range-transfer thm:eventual_kernel_open_interaction_gap eventual_kernel_open_interaction_gap lem:parent-finite-interval-comparison->thm:eventual_kernel_open_interaction_gap thm:continuous_block_finite_window_parent_hamiltonian continuous_block_finite_window_parent_hamiltonian thm:finite_window_continuity_from_ground_projection->thm:continuous_block_finite_window_parent_hamiltonian lem:grouped_open_ground_projection_locality grouped_open_ground_projection_locality def:grouped_open_ground_projections->lem:grouped_open_ground_projection_locality thm:grouped_c3_from_projector_defect grouped_c3_from_projector_defect thm:grouped_spectator_norm->thm:grouped_c3_from_projector_defect thm:open_parent_hamiltonian_c1_full_range open_parent_hamiltonian_c1_full_range lem:fixed-volume-hamiltonians-positive->thm:open_parent_hamiltonian_c1_full_range thm:fixed-volume-prefix-ground-projections-nested fixed-volume-prefix-ground-projections-nested lem:fixed-volume-hamiltonians-positive->thm:fixed-volume-prefix-ground-projections-nested thm:fixed-volume-c3-boundary-indices->thm:open_parent_hamiltonian_fixed_c3_gap thm:fixed-volume-c3-boundary-indices->lem:grouped_open_ground_projection_locality thm:literal_fixed_volume_martingale_c3 literal_fixed_volume_martingale_c3 thm:fixed-volume-c3-boundary-indices->thm:literal_fixed_volume_martingale_c3 lem:local_term_es_average->thm:continuous_finite_window_parent_hamiltonian lem:transported_es_positive transported_es_positive lem:local_term_es_average->lem:transported_es_positive thm:open_interval_gap_transport->thm:open_knabe_clipped_windows thm:primitive_block_sum_open_gap_all_lengths primitive_block_sum_open_gap_all_lengths thm:open_interval_gap_transport->thm:primitive_block_sum_open_gap_all_lengths thm:positive-parent-interaction-periodic-comparison positive-parent-interaction-periodic-comparison thm:periodic-fixed-interaction-canonical->thm:positive-parent-interaction-periodic-comparison thm:ph_terminal_interval_kernel->thm:sparse_grouped_terminal_open_gap thm:ph_terminal_interval_kernel->thm:primitive_block_sum_open_gap_all_lengths thm:open_cover_energy_kernel open_cover_energy_kernel thm:ph_terminal_interval_kernel->thm:open_cover_energy_kernel lem:blocked_to_cyclic_ground_projector_comparison->thm:martingale_mps thm:cyclic_parent_local_sum->thm:parent_hamiltonian_gap_from_open_knabe_block lem:block_diagonal_kernel_to_bnt_span_from_chain_splitting block_diagonal_kernel_to_bnt_span_from_chain_splitting thm:parent_hamiltonian_kernel_le_chain_ground_space->lem:block_diagonal_kernel_to_bnt_span_from_chain_splitting thm:parent_hamiltonian_kernel_eq_chain_ground_space parent_hamiltonian_kernel_eq_chain_ground_space thm:parent_hamiltonian_kernel_le_chain_ground_space->thm:parent_hamiltonian_kernel_eq_chain_ground_space thm:open_parent_hamiltonian_window_ground_space->thm:canonical_open_kernel_from_eventual_intersection thm:open_hamiltonian_kernel_le_ground_space open_hamiltonian_kernel_le_ground_space thm:open_parent_hamiltonian_window_ground_space->thm:open_hamiltonian_kernel_le_ground_space thm:ph_tp_block_open_ground_space->thm:block_open_kernel_simultaneous_injectivity thm:ph_tp_block_open_ground_space->thm:ph_primitive_blocks_sharp_open_kernel thm:ph_primitive_blocks_open_kernel ph_primitive_blocks_open_kernel thm:ph_tp_block_open_ground_space->thm:ph_primitive_blocks_open_kernel thm:canonical_open_kernel_from_eventual_intersection->thm:periodic_family_interaction_independence_criterion thm:canonical_open_kernel_from_eventual_intersection->thm:primitive_parent_interaction_from_overlap thm:open_parent_hamiltonian_kernel_ground_space->thm:knabe_gap_neighborhood thm:open_parent_hamiltonian_kernel_ground_space->thm:open_parent_hamiltonian_fixed_c3_gap thm:open_parent_hamiltonian_kernel_finrank open_parent_hamiltonian_kernel_finrank thm:open_parent_hamiltonian_kernel_ground_space->thm:open_parent_hamiltonian_kernel_finrank def:open_chain_martingale_difference_es open_chain_martingale_difference_es thm:open_parent_hamiltonian_kernel_ground_space->def:open_chain_martingale_difference_es lem:open_parent_range_comparison open_parent_range_comparison thm:open_parent_hamiltonian_kernel_ground_space->lem:open_parent_range_comparison thm:open_parent_gap_continuity->thm:compact_normal_parent_gap thm:open_parent_gap_continuity->thm:knabe_gap_neighborhood thm:bulk_cross_compression_prefix_bound bulk_cross_compression_prefix_bound thm:ground_prefix_projection_identity->thm:bulk_cross_compression_prefix_bound thm:periodic_short_gap_continuity->thm:compact_parent_gap thm:parent_hamiltonian_gap_from_open_knabe_block->thm:compact_block_parent_gap thm:parent_hamiltonian_gap_from_open_knabe_block->thm:compact_normal_parent_gap thm:parent_hamiltonian_gap_from_open_knabe_block->thm:knabe_gap_neighborhood thm:parent_hamiltonian_gap_from_open_knabe_block->thm:primitive_parent_hamiltonian_finite_range_knabe_gap thm:parent-prescribed-gap-window parent-prescribed-gap-window thm:parent_hamiltonian_gap_from_open_knabe_block->thm:parent-prescribed-gap-window thm:periodic_gap_from_divisible_open periodic_gap_from_divisible_open thm:parent_hamiltonian_gap_from_open_knabe_block->thm:periodic_gap_from_divisible_open thm:periodic-parent-range-comparison->thm:parent-gap-fixed-range-transfer thm:grouped_open_parent_gap->thm:primitive-block-parent-prescribed-gap thm:grouped_open_parent_gap->thm:primitive_block_open_prescribed_gap thm:primitive_block_sum_open_gap_subsequence primitive_block_sum_open_gap_subsequence thm:grouped_open_parent_gap->thm:primitive_block_sum_open_gap_subsequence thm:open_parent_hamiltonian_es_c1->thm:open_parent_hamiltonian_c1_full_range thm:open_suffix_parent_hamiltonian_es_c2 open_suffix_parent_hamiltonian_es_c2 thm:open_parent_hamiltonian_es_c1->thm:open_suffix_parent_hamiltonian_es_c2 thm:open_parent_hamiltonian_es_c1->lem:open_parent_range_comparison thm:open_suffix_parent_hamiltonian_c2_full_range open_suffix_parent_hamiltonian_c2_full_range thm:open_suffix_parent_hamiltonian_zero_before_window->thm:open_suffix_parent_hamiltonian_c2_full_range thm:open_suffix_parent_hamiltonian_range_shift open_suffix_parent_hamiltonian_range_shift thm:open_suffix_parent_hamiltonian_zero_before_window->thm:open_suffix_parent_hamiltonian_range_shift thm:open_finite_range_knabe_gap open_finite_range_knabe_gap thm:open_knabe_padding_properties->thm:open_finite_range_knabe_gap thm:open_knabe_clipped_windows->thm:open_finite_range_knabe_gap thm:parent-gap-fixed-range-transfer->thm:block-parent-uniform-gap-simultaneous-injectivity thm:parent-gap-fixed-range-transfer->thm:primitive-block-parent-gap-three-block-bound thm:primitive_block_sum_parent_gap_threshold primitive_block_sum_parent_gap_threshold thm:parent-gap-fixed-range-transfer->thm:primitive_block_sum_parent_gap_threshold thm:blocked_primitive_aligned_uniform_gap blocked_primitive_aligned_uniform_gap thm:eventual_kernel_open_interaction_gap->thm:blocked_primitive_aligned_uniform_gap thm:eventual_kernel_open_interaction_gap->thm:eventual_kernel_sector_local_gap thm:block_ground_space_projector_continuity_span block_ground_space_projector_continuity_span thm:continuous_block_finite_window_parent_hamiltonian->thm:block_ground_space_projector_continuity_span thm:ph_primitive_blocks_open_kernel->thm:primitive-block-parent-prescribed-gap thm:ph_primitive_blocks_open_kernel->thm:primitive_block_open_prescribed_gap thm:primitive_ground_state_interaction_exists primitive_ground_state_interaction_exists thm:ph_primitive_blocks_open_kernel->thm:primitive_ground_state_interaction_exists thm:ph_primitive_blocks_open_kernel->thm:primitive_block_sum_open_gap_subsequence thm:primitive_ground_state_interaction_exists->thm:primitive_ground_state_face_interaction_exists thm:primitive_block_sum_open_gap_subsequence->thm:block_open_gap_subsequence_simultaneous_injectivity thm:primitive_block_sum_open_gap_subsequence->thm:primitive_block_sum_open_gap_all_lengths thm:primitive_block_sum_parent_gap primitive_block_sum_parent_gap thm:primitive_block_sum_open_gap_subsequence->thm:primitive_block_sum_parent_gap lem:grouped_open_ground_projection_locality->thm:grouped_open_parent_gap thm:grouped_c3_from_second_index grouped_c3_from_second_index lem:grouped_open_ground_projection_locality->thm:grouped_c3_from_second_index thm:grouped_c3_from_projector_defect->thm:primitive-block-parent-prescribed-gap thm:grouped_c3_from_projector_defect->thm:primitive_block_sum_open_gap_subsequence thm:sparse_grouped_open_energy_gap sparse_grouped_open_energy_gap thm:grouped_c3_from_projector_defect->thm:sparse_grouped_open_energy_gap thm:open_parent_hamiltonian_c1_full_range->thm:open_parent_hamiltonian_fixed_c3_gap thm:grouped_open_parent_c1 grouped_open_parent_c1 thm:open_parent_hamiltonian_c1_full_range->thm:grouped_open_parent_c1 thm:fixed-volume-prefix-ground-projections-nested->thm:open_cover_energy_kernel thm:physical-outside-window-martingale-cancellation physical-outside-window-martingale-cancellation thm:fixed-volume-prefix-ground-projections-nested->thm:physical-outside-window-martingale-cancellation thm:literal_fixed_volume_martingale_c3->thm:primitive_open_parent_hamiltonian_gap thm:literal_fixed_volume_martingale_c3->thm:primitive-parent-prescribed-gap lem:transported_es_positive->lem:open_parent_hamiltonian_es_positive lem:transported_es_positive->lem:fixed-volume-hamiltonians-positive lem:transported_es_positive->thm:open_parent_hamiltonian_es_c1 lem:transported_es_local_projections transported_es_local_projections lem:transported_es_positive->lem:transported_es_local_projections lem:parent_hamiltonian_es_quadratic_reduction parent_hamiltonian_es_quadratic_reduction lem:transported_es_positive->lem:parent_hamiltonian_es_quadratic_reduction lem:parent_hamiltonian_ordered_rowsum_quadratic parent_hamiltonian_ordered_rowsum_quadratic lem:parent_hamiltonian_ordered_rowsum_gap parent_hamiltonian_ordered_rowsum_gap lem:parent_hamiltonian_ordered_rowsum_quadratic->lem:parent_hamiltonian_ordered_rowsum_gap thm:primitive_block_sum_open_gap_all_lengths->thm:block_open_gap_all_lengths_simultaneous_injectivity thm:primitive_block_sum_open_gap_all_lengths->thm:eventual_kernel_open_interaction_gap thm:positive-parent-interaction-uniform-gap positive-parent-interaction-uniform-gap thm:positive-parent-interaction-periodic-comparison->thm:positive-parent-interaction-uniform-gap thm:open_residue_cover_gap_criterion open_residue_cover_gap_criterion thm:open_cover_energy_kernel->thm:open_residue_cover_gap_criterion lem:transported_es_local_projections->thm:adjacent_two_site_local_terms_open_chain lem:transported_es_local_projections->thm:open_parent_hamiltonian_zero_local_terms lem:transported_es_local_projections->thm:parent_hamiltonian_kernel_le_chain_ground_space lem:transported_es_local_projections->lem:parent_hamiltonian_ordered_rowsum_quadratic lem:parent_hamiltonian_finite_overlap_anticommutator_gap parent_hamiltonian_finite_overlap_anticommutator_gap lem:transported_es_local_projections->lem:parent_hamiltonian_finite_overlap_anticommutator_gap lem:transported_es_local_projections->thm:open_suffix_parent_hamiltonian_es_c2 lem:transported_es_nonoverlap_positive transported_es_nonoverlap_positive lem:transported_es_local_projections->lem:transported_es_nonoverlap_positive lem:parent_hamiltonian_anticommutator_rowsum_gap parent_hamiltonian_anticommutator_rowsum_gap lem:transported_es_local_projections->lem:parent_hamiltonian_anticommutator_rowsum_gap lem:parent_hamiltonian_finite_overlap_anticommutator_gap->lem:parent_hamiltonian_cyclic_overlap_anticommutator_gap thm:open_suffix_parent_hamiltonian_es_c2->thm:open_suffix_parent_hamiltonian_c2_full_range lem:transported_es_nonoverlap_positive->lem:cyclic_window_nonoverlap_positive lem:transported_es_nonoverlap_positive->thm:open_knabe_padding_properties thm:open_suffix_parent_hamiltonian_c2_full_range->thm:open_parent_hamiltonian_fixed_c3_gap thm:grouped_open_suffix_c2 grouped_open_suffix_c2 thm:open_suffix_parent_hamiltonian_c2_full_range->thm:grouped_open_suffix_c2 lem:block_diagonal_kernel_to_bnt_span_from_chain_splitting->lem:block_diagonal_kernel_to_bnt_span_from_pgvwc_comparison lem:block_diagonal_kernel_to_bnt_span_from_crossing_pgvwc_comparison block_diagonal_kernel_to_bnt_span_from_crossing_pgvwc_comparison lem:block_diagonal_kernel_to_bnt_span_from_chain_splitting->lem:block_diagonal_kernel_to_bnt_span_from_crossing_pgvwc_comparison lem:parent_spanning_of_local_space_eq parent_spanning_of_local_space_eq thm:parent_hamiltonian_kernel_eq_chain_ground_space->lem:parent_spanning_of_local_space_eq thm:rfp_single_normal_nncph_ground_spaces rfp_single_normal_nncph_ground_spaces thm:parent_hamiltonian_kernel_eq_chain_ground_space->thm:rfp_single_normal_nncph_ground_spaces lem:block_diagonal_chain_space_comparison_parent_spanning block_diagonal_chain_space_comparison_parent_spanning thm:parent_hamiltonian_kernel_eq_chain_ground_space->lem:block_diagonal_chain_space_comparison_parent_spanning thm:open_hamiltonian_kernel_le_ground_space->thm:open_parent_hamiltonian_kernel_ground_space lem:parent_hamiltonian_es_quadratic_reduction->lem:parent_hamiltonian_ordered_rowsum_gap lem:parent_hamiltonian_es_quadratic_reduction->lem:parent_hamiltonian_finite_overlap_anticommutator_gap lem:parent_hamiltonian_es_quadratic_reduction->lem:parent_hamiltonian_anticommutator_rowsum_gap lem:parent_hamiltonian_finite_overlap_ordered_cross_term_gap parent_hamiltonian_finite_overlap_ordered_cross_term_gap lem:parent_hamiltonian_es_quadratic_reduction->lem:parent_hamiltonian_finite_overlap_ordered_cross_term_gap thm:exact_c3_martingale_difference_identity exact_c3_martingale_difference_identity def:open_chain_martingale_difference_es->thm:exact_c3_martingale_difference_identity lem:open_parent_range_comparison->thm:compact_normal_parent_gap lem:open_parent_range_comparison->thm:injective_strict_knabe_window lem:open_parent_range_comparison->thm:block_open_gap_all_lengths_simultaneous_injectivity lem:open_parent_range_comparison->thm:block_open_gap_subsequence_simultaneous_injectivity thm:positive_open_interaction_range_comparison positive_open_interaction_range_comparison lem:open_parent_range_comparison->thm:positive_open_interaction_range_comparison thm:normal_open_gap_every_sufficient_range normal_open_gap_every_sufficient_range lem:open_parent_range_comparison->thm:normal_open_gap_every_sufficient_range thm:bulk_cross_compression_decay bulk_cross_compression_decay thm:bulk_cross_compression_prefix_bound->thm:bulk_cross_compression_decay thm:truncated-martingale-difference-reconstruction truncated-martingale-difference-reconstruction thm:nachtergaele_c1_c3_threshold_energy_estimate nachtergaele_c1_c3_threshold_energy_estimate thm:truncated-martingale-difference-reconstruction->thm:nachtergaele_c1_c3_threshold_energy_estimate thm:martingale-difference-final-complement-norm-decomposition martingale-difference-final-complement-norm-decomposition thm:truncated-martingale-difference-reconstruction->thm:martingale-difference-final-complement-norm-decomposition thm:nachtergaele_c1_c3_full_range_energy_estimate nachtergaele_c1_c3_full_range_energy_estimate thm:nachtergaele_c1_c3_threshold_energy_estimate->thm:nachtergaele_c1_c3_full_range_energy_estimate thm:nachtergaele_c1_c3_below_threshold_energy_estimate nachtergaele_c1_c3_below_threshold_energy_estimate thm:nachtergaele_c1_c3_threshold_energy_estimate->thm:nachtergaele_c1_c3_below_threshold_energy_estimate thm:martingale-difference-final-complement-norm-decomposition->thm:nachtergaele_c1_c3_full_range_energy_estimate thm:martingale-difference-final-complement-norm-decomposition->thm:nachtergaele_c1_c3_below_threshold_energy_estimate thm:nachtergaele_c1_c3_full_range_norm_gap nachtergaele_c1_c3_full_range_norm_gap thm:nachtergaele_c1_c3_full_range_energy_estimate->thm:nachtergaele_c1_c3_full_range_norm_gap thm:nachtergaele_c1_c3_full_range_energy_estimate->thm:sparse_grouped_open_energy_gap thm:nachtergaele_threshold_conditions_insufficient nachtergaele_threshold_conditions_insufficient thm:nachtergaele_c1_c3_below_threshold_energy_estimate->thm:nachtergaele_threshold_conditions_insufficient thm:nachtergaele_c1_c3_full_range_norm_gap->thm:open_parent_hamiltonian_fixed_c3_gap thm:nachtergaele_c1_c3_full_range_norm_gap->thm:grouped_open_parent_gap thm:sparse_grouped_open_energy_gap->thm:sparse_grouped_terminal_open_gap def:residual_window_left_config_equiv residual_window_left_config_equiv thm:residual_window_left_fiberwise_coordinates residual_window_left_fiberwise_coordinates def:residual_window_left_config_equiv->thm:residual_window_left_fiberwise_coordinates thm:residual_window_left_sector_sum residual_window_left_sector_sum thm:residual_window_left_fiberwise_coordinates->thm:residual_window_left_sector_sum thm:residual_window_left_original_ground_space residual_window_left_original_ground_space thm:residual_window_left_fiberwise_coordinates->thm:residual_window_left_original_ground_space thm:residual_window_left_sector_sum->thm:residual_window_joint_projection_decay thm:residual_window_left_joint_range_cover residual_window_left_joint_range_cover thm:residual_window_left_original_ground_space->thm:residual_window_left_joint_range_cover thm:residual_window_left_joint_range_cover->thm:physical_residual_cover_limit_primitive_resolution thm:periodic_physical_cover_projection_decay periodic_physical_cover_projection_decay thm:residual_window_left_joint_range_cover->thm:periodic_physical_cover_projection_decay thm:parent-prescribed-gap-window->thm:primitive-block-parent-prescribed-gap thm:parent-prescribed-gap-window->thm:primitive-parent-prescribed-gap thm:periodic_phase_relation_support periodic_phase_relation_support thm:periodic_sector_representatives_exact_support periodic_sector_representatives_exact_support thm:periodic_phase_relation_support->thm:periodic_sector_representatives_exact_support thm:periodic_sector_representatives_exact_support->thm:periodic_family_canonical_interaction thm:periodic_family_canonical_interaction->thm:periodic_family_constructed_commutator_gap thm:faithful_generators_canonical_interaction faithful_generators_canonical_interaction thm:periodic_family_canonical_interaction->thm:faithful_generators_canonical_interaction thm:periodic_family_uniform_original_open_gap periodic_family_uniform_original_open_gap thm:periodic_family_canonical_interaction->thm:periodic_family_uniform_original_open_gap thm:faithful_generators_canonical_interaction->thm:faithful_generators_constructed_quasi_local_gap thm:periodic_family_uniform_original_open_gap->thm:periodic_family_constructed_finite_quasi_local_gap thm:faithful_generators_uniform_open_gap faithful_generators_uniform_open_gap thm:periodic_family_uniform_original_open_gap->thm:faithful_generators_uniform_open_gap thm:periodic_family_given_interaction_uniform_open_gap periodic_family_given_interaction_uniform_open_gap thm:periodic_family_uniform_original_open_gap->thm:periodic_family_given_interaction_uniform_open_gap thm:tail_boundary_map_factorization tail_boundary_map_factorization thm:spectator_boundary_hilbert_factorization spectator_boundary_hilbert_factorization thm:tail_boundary_map_factorization->thm:spectator_boundary_hilbert_factorization thm:spectator_boundary_hilbert_factorization->thm:primitive_fnw_openchain_defect_geometric thm:limiting_metric_inverse_virtual_adjoints limiting_metric_inverse_virtual_adjoints thm:spectator_boundary_hilbert_factorization->thm:limiting_metric_inverse_virtual_adjoints thm:left_finite_gram_cancellation left_finite_gram_cancellation thm:spectator_boundary_hilbert_factorization->thm:left_finite_gram_cancellation def:c3_centered_overlap_factors_residual c3_centered_overlap_factors_residual thm:spectator_boundary_hilbert_factorization->def:c3_centered_overlap_factors_residual thm:primitive_tail_virtual_map_norm_uniform primitive_tail_virtual_map_norm_uniform thm:spectator_boundary_hilbert_factorization->thm:primitive_tail_virtual_map_norm_uniform thm:ph_reassociated_suffix_kernel ph_reassociated_suffix_kernel thm:spectator_boundary_hilbert_factorization->thm:ph_reassociated_suffix_kernel thm:ph_block_interval_projectors ph_block_interval_projectors thm:spectator_boundary_hilbert_factorization->thm:ph_block_interval_projectors thm:reassociated_tail_boundary_factorization reassociated_tail_boundary_factorization thm:spectator_boundary_hilbert_factorization->thm:reassociated_tail_boundary_factorization thm:c3_spectator_projector_residual c3_spectator_projector_residual thm:spectator_boundary_hilbert_factorization->thm:c3_spectator_projector_residual thm:c3_projector_gram_error_telescope c3_projector_gram_error_telescope thm:limiting_metric_inverse_virtual_adjoints->thm:c3_projector_gram_error_telescope thm:left_finite_gram_cancellation->thm:c3_correction_factorizations def:c3_centered_overlap_factors_residual->thm:c3_centered_overlap_factorization_geometric thm:primitive_tail_virtual_map_norm_uniform->thm:c3_centered_overlap_factorization_geometric thm:ph_reassociated_suffix_kernel->thm:ph_terminal_interval_kernel thm:ph_active_grouped_projector_error ph_active_grouped_projector_error thm:ph_reassociated_suffix_kernel->thm:ph_active_grouped_projector_error thm:ph_block_interval_defect_decay ph_block_interval_defect_decay thm:ph_block_interval_projectors->thm:ph_block_interval_defect_decay thm:reassociated_tail_boundary_factorization->thm:ph_active_grouped_projector_error thm:whole_increment_projector_residual whole_increment_projector_residual thm:reassociated_tail_boundary_factorization->thm:whole_increment_projector_residual thm:c3_spectator_projector_residual->thm:c3_projector_gram_error_telescope thm:c3_projector_gram_error_telescope->thm:c3_centered_overlap_factorization_geometric def:c3_correction_sandwiches c3_correction_sandwiches thm:c3_projector_gram_error_telescope->def:c3_correction_sandwiches thm:nachtergaele_c3_blocked_length nachtergaele_c3_blocked_length thm:primitive-prescribed-projector-defect->thm:nachtergaele_c3_blocked_length thm:ph_active_grouped_projector_error->thm:grouped_c3_from_projector_defect thm:ph_block_interval_defect_decay->thm:ph_primitive_block_interval_defect_decay thm:appendixB_virtual_bond_projectors_commute appendixB_virtual_bond_projectors_commute thm:appendixB_two_site_basic_support_projectors_commute appendixB_two_site_basic_support_projectors_commute thm:appendixB_virtual_bond_projectors_commute->thm:appendixB_two_site_basic_support_projectors_commute thm:appendixB_two_site_basic_support_projectors_commute->thm:appendixB_overlapping_two_site_commutation thm:trace_preserving_isometric_corner trace_preserving_isometric_corner thm:stationary_support_faithful_generators stationary_support_faithful_generators thm:trace_preserving_isometric_corner->thm:stationary_support_faithful_generators thm:faithful_periodic_ground_space_presentation faithful_periodic_ground_space_presentation thm:trace_preserving_isometric_corner->thm:faithful_periodic_ground_space_presentation thm:stationary_local_support stationary_local_support thm:stationary_support_faithful_generators->thm:stationary_local_support thm:stationary_state_local_density_support stationary_state_local_density_support thm:stationary_support_faithful_generators->thm:stationary_state_local_density_support thm:stationary_support_quasi_local_state_equality stationary_support_quasi_local_state_equality thm:stationary_support_faithful_generators->thm:stationary_support_quasi_local_state_equality thm:faithful_periodic_ground_space_presentation->thm:faithful_generators_ground_state_face thm:faithful_periodic_ground_space_presentation->thm:faithful_generators_quasi_local_gap thm:faithful_periodic_ground_space_presentation->thm:faithful_generators_canonical_interaction thm:faithful_periodic_ground_space_presentation->thm:faithful_generators_uniform_open_gap thm:stationary_support_quasi_local_state_equality->thm:stationary_generators_finite_quasi_local_gap thm:stationary_support_quasi_local_state_equality->thm:stationary_generators_parent_interaction_gap thm:faithful_generators_uniform_open_gap->thm:faithful_generators_constructed_finite_quasi_local_gap thm:faithful_generators_given_interaction_uniform_gap faithful_generators_given_interaction_uniform_gap thm:faithful_generators_uniform_open_gap->thm:faithful_generators_given_interaction_uniform_gap thm:supplied_isometry_parent_gap supplied_isometry_parent_gap thm:stationary_generators_finite_quasi_local_gap->thm:supplied_isometry_parent_gap thm:faithful_generators_given_interaction_uniform_gap->thm:faithful_generators_given_interaction_finite_quasi_local_gap thm:transfer_operator_gap_rect_irr_tp transfer_operator_gap_rect_irr_tp thm:inequivalent_block_ground_space_overlap_decay inequivalent_block_ground_space_overlap_decay thm:transfer_operator_gap_rect_irr_tp->thm:inequivalent_block_ground_space_overlap_decay thm:inequivalent_block_ground_space_overlap_decay->thm:residual_window_left_sector_sum thm:inequivalent_block_ground_space_overlap_decay->thm:ph_primitive_block_interval_defect_decay thm:residual_window_cross_sector_decay residual_window_cross_sector_decay thm:inequivalent_block_ground_space_overlap_decay->thm:residual_window_cross_sector_decay thm:residual_sector_overlap_decay residual_sector_overlap_decay thm:inequivalent_block_ground_space_overlap_decay->thm:residual_sector_overlap_decay thm:primitive_ground_space_eventual_independence primitive_ground_space_eventual_independence thm:inequivalent_block_ground_space_overlap_decay->thm:primitive_ground_space_eventual_independence thm:inequivalent_block_ground_space_overlap_decay->thm:bulk_cross_compression_decay thm:ph_block_diagonal_projector_decay ph_block_diagonal_projector_decay thm:ph_primitive_block_interval_defect_decay->thm:ph_block_diagonal_projector_decay thm:residual_window_cross_sector_decay->thm:residual_window_joint_projection_decay thm:periodic_boundary_uniform_lifts periodic_boundary_uniform_lifts thm:residual_sector_overlap_decay->thm:periodic_boundary_uniform_lifts thm:residual_sector_projection_sum residual_sector_projection_sum thm:residual_sector_overlap_decay->thm:residual_sector_projection_sum thm:primitive_ground_space_eventual_independence->thm:primitive_joint_intersection_from_overlap thm:bulk_cross_compression_decay->thm:multiblock_centered_full_ground_compression thm:ph_block_diagonal_projector_decay->thm:primitive-block-parent-prescribed-gap thm:ph_block_diagonal_projector_decay->thm:primitive_block_open_prescribed_gap thm:ph_block_diagonal_projector_decay->thm:primitive_block_sum_open_gap_subsequence thm:periodic_boundary_overlap_decay periodic_boundary_overlap_decay thm:periodic_boundary_uniform_lifts->thm:periodic_boundary_overlap_decay thm:periodic_residual_projection_sum periodic_residual_projection_sum thm:residual_sector_projection_sum->thm:periodic_residual_projection_sum thm:distinct_periodic_corner_separation distinct_periodic_corner_separation thm:periodic_boundary_overlap_decay->thm:distinct_periodic_corner_separation thm:periodic_ground_space_eventual_independence periodic_ground_space_eventual_independence thm:periodic_boundary_overlap_decay->thm:periodic_ground_space_eventual_independence thm:powered_cyclic_primitive_resolution powered_cyclic_primitive_resolution thm:distinct_periodic_corner_separation->thm:powered_cyclic_primitive_resolution thm:periodic_ground_space_eventual_independence->thm:periodic_family_canonical_interaction thm:periodic_family_literal_primitive_resolution periodic_family_literal_primitive_resolution thm:powered_cyclic_primitive_resolution->thm:periodic_family_literal_primitive_resolution thm:beigi_ordered_cycle_ground_space_dimension beigi_ordered_cycle_ground_space_dimension thm:beigi_ordered_cycle_ground_space_dimension->thm:beigi_ordered_cycle_ground_space_dimension_two cor:beigi_parent_ground_space_loop_number beigi_parent_ground_space_loop_number thm:beigi_ordered_cycle_ground_space_dimension->cor:beigi_parent_ground_space_loop_number thm:beigi_loop_product_states_span_ground_space beigi_loop_product_states_span_ground_space cor:beigi_parent_ground_space_loop_number->thm:beigi_loop_product_states_span_ground_space thm:beigi_loop_product_states_span_ground_space->thm:nncph_implies_rfp_basis_direct_sum thm:nncph_implies_rfp nncph_implies_rfp thm:beigi_loop_product_states_span_ground_space->thm:nncph_implies_rfp thm:whole_increment_left_overlap_factor_apply whole_increment_left_overlap_factor_apply thm:whole_increment_left_overlap_factor_apply->thm:whole_increment_centered_factorization thm:whole_increment_left_overlap_factor_apply->thm:c3_centered_overlap_factorization_geometric thm:pi_auto_decomp pi_auto_decomp thm:pi_auto_decomp->thm:block_isometric_deformation_symmetry_permutation thm:block_isometric_deformation_parent_symmetry block_isometric_deformation_parent_symmetry thm:block_isometric_deformation_covariance->thm:block_isometric_deformation_parent_symmetry thm:periodic_gap_from_divisible_open->thm:primitive_block_sum_parent_gap thm:primitive_block_sum_parent_gap->thm:block-parent-uniform-gap-simultaneous-injectivity thm:primitive_block_sum_parent_gap->thm:primitive-block-parent-gap-three-block-bound thm:primitive_block_sum_parent_gap->thm:primitive_block_sum_parent_gap_threshold thm:ph_tp_word_span_propagation ph_tp_word_span_propagation thm:ph_tp_word_span_propagation->thm:block_word_span_propagation thm:ph_tp_word_span_propagation->thm:block_open_kernel_simultaneous_injectivity thm:ph_tp_word_span_propagation->thm:block-parent-uniform-gap-simultaneous-injectivity thm:ph_tp_word_span_propagation->thm:ph_primitive_blocks_sharp_open_kernel thm:canonical-positive-parent-gap-simultaneous-injectivity canonical-positive-parent-gap-simultaneous-injectivity thm:canonical-gap-simultaneous-injectivity->thm:canonical-positive-parent-gap-simultaneous-injectivity thm:canonical_positive_parent_gap_bounded_range canonical_positive_parent_gap_bounded_range thm:canonical_parent_gap_bounded_range->thm:canonical_positive_parent_gap_bounded_range thm:open_gap_bounded_volume_continuity->thm:open_gap_all_length_neighborhood thm:open_positive_parent_gap open_positive_parent_gap thm:canonical_open_gap_all_lengths->thm:open_positive_parent_gap def:word_span word_span thm:normality_rescaling_invariance normality_rescaling_invariance def:word_span->thm:normality_rescaling_invariance def:eventually_full_kraus_rank eventually_full_kraus_rank def:word_span->def:eventually_full_kraus_rank thm:wordspan_blk_inj_succ wordspan_blk_inj_succ def:word_span->thm:wordspan_blk_inj_succ thm:normality_rescaling_invariance->thm:normalized_primitive_gauge thm:normal_irreducible_tensor normal_irreducible_tensor def:eventually_full_kraus_rank->thm:normal_irreducible_tensor thm:normalized_normal_strongly_irreducible normalized_normal_strongly_irreducible def:eventually_full_kraus_rank->thm:normalized_normal_strongly_irreducible thm:wordspan_blk_inj_succ->thm:cpsv_bnt_blocked_simultaneous_span thm:wordspan_blk_inj_succ->thm:open_parent_hamiltonian_kernel_finrank thm:wordspan_blk_inj_succ->thm:primitive-prescribed-projector-defect thm:wordspan_blk_inj_succ->thm:uniform_whole_increment_defect_seven_sixteenths thm:ph_primitive_blocks_word_span ph_primitive_blocks_word_span thm:wordspan_blk_inj_succ->thm:ph_primitive_blocks_word_span thm:exact_pow_four_block_injectivity_normal_left_canonical exact_pow_four_block_injectivity_normal_left_canonical thm:wordspan_blk_inj_succ->thm:exact_pow_four_block_injectivity_normal_left_canonical thm:normal_irreducible_tensor->thm:normalized_primitive_gauge thm:normalized_normal_strongly_irreducible->thm:normalized_primitive_gauge thm:three_block_whole_increment_defect_seven_sixteenths three_block_whole_increment_defect_seven_sixteenths thm:uniform_whole_increment_defect_seven_sixteenths->thm:three_block_whole_increment_defect_seven_sixteenths thm:ph_primitive_blocks_word_span->thm:ph_primitive_blocks_open_kernel thm:periodic_original_intersection periodic_original_intersection thm:ph_primitive_blocks_word_span->thm:periodic_original_intersection thm:compact_block_boundary_injectivity compact_block_boundary_injectivity thm:ph_primitive_blocks_word_span->thm:compact_block_boundary_injectivity thm:exact_pow_four_block_injectivity_normal_left_canonical->thm:compact_normal_parent_gap thm:exact_pow_four_block_injectivity_normal_left_canonical->thm:cpsv_bnt_sharp_span_ambient_cap thm:three_block_whole_increment_defect_seven_sixteenths->lem:blocked_to_cyclic_ground_projector_comparison thm:literal_open_chain_martingale_c3 literal_open_chain_martingale_c3 thm:nachtergaele_c3_blocked_length->thm:literal_open_chain_martingale_c3 thm:periodic_original_intersection->thm:primitive_joint_intersection_from_overlap thm:periodic_original_parent_interaction periodic_original_parent_interaction thm:periodic_original_intersection->thm:periodic_original_parent_interaction thm:has_commuting_parent_ham_of_idem has_commuting_parent_ham_of_idem thm:physical-outside-window-martingale-cancellation->thm:open_parent_hamiltonian_fixed_c3_gap thm:physical-outside-window-martingale-cancellation->thm:open_knabe_padding_properties thm:physical-outside-window-martingale-cancellation->lem:grouped_open_ground_projection_locality thm:open_finite_range_knabe_gap->thm:open_gap_all_length_neighborhood thm:grouped_c3_from_second_index->thm:grouped_c3_from_projector_defect thm:periodic_family_given_interaction_uniform_open_gap->thm:periodic_family_given_interaction_finite_quasi_local_gap def:mpv mpv def:mpv->thm:gauge_phase_mpv_scaling def:bnt_span bnt_span def:mpv->def:bnt_span lem:parent_hamiltonian_ff parent_hamiltonian_ff def:mpv->lem:parent_hamiltonian_ff lem:mpv_eq_ground_space_map_one mpv_eq_ground_space_map_one def:mpv->lem:mpv_eq_ground_space_map_one def:on_site_symmetric_up_to_phase on_site_symmetric_up_to_phase def:mpv->def:on_site_symmetric_up_to_phase def:mpv_submodule mpv_submodule def:mpv->def:mpv_submodule lem:mpv_mem_ground_space mpv_mem_ground_space def:mpv->lem:mpv_mem_ground_space def:bnt bnt def:mpv->def:bnt lem:mpv_rotate_physical mpv_rotate_physical def:mpv->lem:mpv_rotate_physical def:parent_hamiltonian_ground_space_spanning parent_hamiltonian_ground_space_spanning def:bnt_span->def:parent_hamiltonian_ground_space_spanning lem:bnt_span_le_parent_hamiltonian_kernel bnt_span_le_parent_hamiltonian_kernel def:bnt_span->lem:bnt_span_le_parent_hamiltonian_kernel lem:bnt_span_eq_sum_mpv_submodules bnt_span_eq_sum_mpv_submodules def:bnt_span->lem:bnt_span_eq_sum_mpv_submodules lem:parent_hamiltonian_ff->thm:rfp_implies_nncph_ground_state lem:mpv_eq_ground_space_map_one->thm:block-word-span-separation lem:block_symmetry_phase_power block_symmetry_phase_power def:on_site_symmetric_up_to_phase->lem:block_symmetry_phase_power def:mpv_submodule->lem:bnt_span_eq_sum_mpv_submodules thm:chain_ground_space_eq_mpv_blk chain_ground_space_eq_mpv_blk def:mpv_submodule->thm:chain_ground_space_eq_mpv_blk lem:mpv_mem_ground_space->thm:block-word-span-separation def:bnt->thm:nncph_implies_rfp def:sector_bnt_cf sector_bnt_cf def:bnt->def:sector_bnt_cf thm:beigi_loop_tensor_periodic_vector beigi_loop_tensor_periodic_vector lem:mpv_rotate_physical->thm:beigi_loop_tensor_periodic_vector thm:rfp_multiplicity_one_bnt_parent_ground_spaces rfp_multiplicity_one_bnt_parent_ground_spaces def:parent_hamiltonian_ground_space_spanning->thm:rfp_multiplicity_one_bnt_parent_ground_spaces def:has_nncph_ground_space has_nncph_ground_space def:parent_hamiltonian_ground_space_spanning->def:has_nncph_ground_space def:parent_hamiltonian_ground_space_spanning->lem:parent_spanning_of_local_space_eq lem:block_diagonal_parent_spanning_reverse_inclusion block_diagonal_parent_spanning_reverse_inclusion lem:bnt_span_le_parent_hamiltonian_kernel->lem:block_diagonal_parent_spanning_reverse_inclusion lem:bnt_span_eq_sum_mpv_submodules->thm:block_word_span_primitive_normalization lem:bnt_span_eq_sum_mpv_submodules->lem:block_diagonal_kernel_to_bnt_span_from_chain_splitting lem:bnt_span_eq_sum_mpv_submodules->thm:rfp_single_normal_nncph_ground_spaces lem:bnt_span_eq_sum_mpv_submodules->lem:block_diagonal_chain_space_comparison_parent_spanning thm:rfp_implies_nncph_ground_state->thm:rfp_single_normal_nncph_ground_spaces lem:block_symmetry_phase_power->thm:block_isometric_deformation_symmetry_permutation thm:chain_ground_space_eq_mpv_blk->thm:compact_normal_parent_gap thm:chain_ground_space_eq_mpv_blk->thm:rfp_single_normal_nncph_ground_spaces lem:direct_sum_two_block_dimension_step direct_sum_two_block_dimension_step thm:chain_ground_space_eq_mpv_blk->lem:direct_sum_two_block_dimension_step def:sector_bnt_cf->thm:bnt_cf_basis_is_bnt_for_direct_sum def:sector_bnt_cf->thm:rfp_multiplicity_one_bnt_parent_ground_spaces def:sector_bnt_cf->thm:rfp_multiplicity_one_bnt_nncph thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces rfp_multiplicity_one_bnt_has_nncph_ground_spaces thm:rfp_multiplicity_one_bnt_parent_ground_spaces->thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces def:has_nncph_ground_spaces has_nncph_ground_spaces def:has_nncph_ground_space->def:has_nncph_ground_spaces lem:parent_spanning_of_local_space_eq->thm:normalized_primitive_gauge lem:block_diagonal_parent_spanning_reverse_inclusion->lem:block_diagonal_chain_space_comparison_parent_spanning lem:direct_sum_two_block_dimension_step->thm:open_parent_hamiltonian_kernel_finrank thm:rfp_multiplicity_one_bnt_nncph->thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces def:beigi_loop_schmidt_support beigi_loop_schmidt_support def:beigi_loop_schmidt_support->lem:beigi_loop_schmidt_rank_pos def:beigi_normalized_minimal_loop_tensor beigi_normalized_minimal_loop_tensor def:beigi_loop_schmidt_support->def:beigi_normalized_minimal_loop_tensor thm:beigi_minimal_loop_tensor_injective beigi_minimal_loop_tensor_injective def:beigi_loop_schmidt_support->thm:beigi_minimal_loop_tensor_injective def:beigi_normalized_minimal_loop_tensor->thm:beigi_loop_tensor_periodic_vector thm:beigi_normalized_minimal_loop_tensor_rfp beigi_normalized_minimal_loop_tensor_rfp def:beigi_normalized_minimal_loop_tensor->thm:beigi_normalized_minimal_loop_tensor_rfp thm:beigi_minimal_loop_tensor_injective->thm:beigi_normalized_minimal_loop_tensor_rfp thm:beigi_normalized_minimal_loop_tensor_rfp->thm:nncph_implies_rfp_basis_direct_sum thm:beigi_normalized_minimal_loop_tensor_rfp->thm:nncph_implies_rfp thm:multiblock_supported_quasi_local_state_convex_combination multiblock_supported_quasi_local_state_convex_combination thm:multiblock_bulk_observable_sector_decomposition->thm:multiblock_supported_quasi_local_state_convex_combination thm:multiblock_commutator_gap_reduction->thm:multiblock_local_open_interaction_commutator_gap thm:multiblock_supported_quasi_local_state_convex_combination->thm:primitive_joint_mps_supported_state_classification thm:multiblock_supported_quasi_local_state_convex_combination->thm:primitive_multiblock_quasi_local_ground_state_classification thm:supplied_isometry_insertion_trace_duality supplied_isometry_insertion_trace_duality thm:source_ordered_heisenberg_trace_reversal source_ordered_heisenberg_trace_reversal thm:supplied_isometry_insertion_trace_duality->thm:source_ordered_heisenberg_trace_reversal thm:eventual_kernel_pure_ground_state_gap->thm:original_family_eventual_kernel_pure_ground_state_gap lem:open_local_interaction_sum_properties open_local_interaction_sum_properties lem:open_local_interaction_sum_properties->thm:open_positive_parent_gap thm:compact_open_positive_parent_gap compact_open_positive_parent_gap thm:open_positive_parent_gap->thm:compact_open_positive_parent_gap thm:open_parent_interaction_kernel_equal open_parent_interaction_kernel_equal thm:open_positive_parent_gap->thm:open_parent_interaction_kernel_equal thm:compact_open_positive_parent_gap->thm:compact_block_open_positive_gap thm:open_parent_interaction_kernel_equal->thm:sector_commutator_patch_positive thm:open_parent_interaction_kernel_equal->thm:multiblock_local_parent_commutator_gap thm:open_parent_interaction_kernel_equal->thm:primitive_local_positive_parent_commutator_gap thm:primitive_quasi_local_parent_commutator_gap primitive_quasi_local_parent_commutator_gap thm:primitive_local_positive_parent_commutator_gap->thm:primitive_quasi_local_parent_commutator_gap def:parent_interaction parent_interaction thm:residual_family_two_site_support residual_family_two_site_support def:parent_interaction->thm:residual_family_two_site_support lem:parent_interaction_idempotent parent_interaction_idempotent def:parent_interaction->lem:parent_interaction_idempotent lem:rfp_parent_gauge_invariance rfp_parent_gauge_invariance def:parent_interaction->lem:rfp_parent_gauge_invariance def:local_term_parent local_term_parent def:parent_interaction->def:local_term_parent lem:appendixB_basis_change_parent_interaction appendixB_basis_change_parent_interaction def:parent_interaction->lem:appendixB_basis_change_parent_interaction def:appendixB_qax appendixB_qax def:parent_interaction->def:appendixB_qax thm:appendixB_two_site_basic_support_projector appendixB_two_site_basic_support_projector def:parent_interaction->thm:appendixB_two_site_basic_support_projector lem:appendixB_qax_qxb_idempotent appendixB_qax_qxb_idempotent lem:parent_interaction_idempotent->lem:appendixB_qax_qxb_idempotent lem:rfp_parent_gauge_invariance->thm:rfp_implies_nncph def:local_term_parent->thm:local_term_two_three_ax_xb_lifts thm:three_site_commutator_chain_transport three_site_commutator_chain_transport def:local_term_parent->thm:three_site_commutator_chain_transport def:is_commuting_parent_ham is_commuting_parent_ham def:local_term_parent->def:is_commuting_parent_ham def:parent_hamiltonian parent_hamiltonian def:local_term_parent->def:parent_hamiltonian def:is_frustration_free is_frustration_free def:local_term_parent->def:is_frustration_free lem:appendixB_qax_qxb_parent_interaction appendixB_qax_qxb_parent_interaction lem:appendixB_basis_change_parent_interaction->lem:appendixB_qax_qxb_parent_interaction def:appendixB_qax->thm:appendixB_qxb_factor_action def:appendixB_qax->thm:appendixB_qax_factor_action def:appendixB_qax->lem:appendixB_qax_qxb_parent_interaction thm:appendixB_two_site_basic_support_projector->thm:appendixB_two_site_basic_support_projectors_commute lem:appendixB_qax_qxb_idempotent->lem:appendixB_overlapping_condition_from_lift_commutator lem:appendixB_qax_qxb_idempotent->thm:appendixB_overlapping_two_site_commutation thm:three_site_commutator_chain_transport->thm:appendixB_adjacent_chain_commutation thm:three_site_commutator_chain_transport->thm:three_site_anticommutator_cyclic_transport def:is_nncph is_nncph def:is_commuting_parent_ham->def:is_nncph def:parent_hamiltonian->def:parent_hamiltonian_ground_space_spanning def:parent_hamiltonian->lem:bnt_span_le_parent_hamiltonian_kernel lem:chain_ground_space_le_parent_hamiltonian_kernel chain_ground_space_le_parent_hamiltonian_kernel def:parent_hamiltonian->lem:chain_ground_space_le_parent_hamiltonian_kernel def:parent_ground_space_es parent_ground_space_es def:parent_hamiltonian->def:parent_ground_space_es def:parent_hamiltonian_es parent_hamiltonian_es def:parent_hamiltonian->def:parent_hamiltonian_es def:is_frustration_free->lem:parent_hamiltonian_ff thm:chain_ground_space_implies_frustration_free chain_ground_space_implies_frustration_free def:is_frustration_free->thm:chain_ground_space_implies_frustration_free def:is_nncph_ground_state is_nncph_ground_state def:is_frustration_free->def:is_nncph_ground_state lem:appendixB_qax_qxb_parent_interaction->lem:appendixB_three_site_parent_lifts lem:appendixB_qax_qxb_parent_interaction->lem:appendixB_qax_qxb_idempotent def:is_nncph->lem:commuting_parent_ham_overlap_reduction def:is_nncph->def:is_nncph_ground_state lem:chain_ground_space_le_parent_hamiltonian_kernel->thm:parent_hamiltonian_kernel_eq_chain_ground_space def:parent_ground_space_es->thm:martingale_mps def:parent_hamiltonian_es->thm:parent_hamiltonian_from_ground_space def:parent_hamiltonian_es->thm:martingale_mps def:parent_hamiltonian_es->thm:continuous_finite_window_parent_hamiltonian def:parent_hamiltonian_es->thm:finite_window_continuity_from_ground_projection def:parent_hamiltonian_es->thm:cyclic_parent_local_sum def:parent_hamiltonian_es->thm:parent_hamiltonian_kernel_le_chain_ground_space def:parent_hamiltonian_es->thm:parent-gap-fixed-range-transfer def:parent_hamiltonian_es->lem:parent_hamiltonian_ordered_rowsum_quadratic lem:parent_hamiltonian_finite_overlap_ordered_cross_term_quadratic parent_hamiltonian_finite_overlap_ordered_cross_term_quadratic def:parent_hamiltonian_es->lem:parent_hamiltonian_finite_overlap_ordered_cross_term_quadratic thm:ph_block_replacement_parent_equality ph_block_replacement_parent_equality def:parent_hamiltonian_es->thm:ph_block_replacement_parent_equality thm:parent_hamiltonian_fixed_length_gap parent_hamiltonian_fixed_length_gap def:parent_hamiltonian_es->thm:parent_hamiltonian_fixed_length_gap thm:short_range_parent_gap_counterexample short_range_parent_gap_counterexample def:parent_hamiltonian_es->thm:short_range_parent_gap_counterexample thm:chain_ground_space_implies_frustration_free->lem:bnt_span_le_parent_hamiltonian_kernel thm:chain_ground_space_implies_frustration_free->lem:chain_ground_space_le_parent_hamiltonian_kernel def:is_nncph_ground_state->thm:rfp_implies_nncph_ground_state def:is_nncph_ground_state->def:has_nncph_ground_space thm:cpsv_normal_tp_gauge cpsv_normal_tp_gauge thm:cpsv_normal_tp_gauge->thm:cpsv_bnt_blocked_simultaneous_span thm:cpsv_normal_tp_gauge->thm:cpsv_bnt_sharp_span_ambient_cap thm:cpsv_normal_tp_gauge->thm:rfp_implies_nncph thm:cpsv_normal_mpv_phase_gauge cpsv_normal_mpv_phase_gauge thm:cpsv_normal_tp_gauge->thm:cpsv_normal_mpv_phase_gauge thm:cpsv_normal_eventually_injective cpsv_normal_eventually_injective thm:cpsv_normal_tp_gauge->thm:cpsv_normal_eventually_injective thm:cpsv_normal_mpv_phase_gauge->thm:nncph_implies_rfp_basis_direct_sum thm:cpsv_normal_eventually_injective->thm:rfp_single_normal_nncph_ground_spaces thm:isometric_deformation_supplied_parent_symmetry->thm:block_isometric_deformation_parent_symmetry thm:injective_isometric_deformation_parent_symmetry_tp injective_isometric_deformation_parent_symmetry_tp thm:isometric_deformation_supplied_parent_symmetry->thm:injective_isometric_deformation_parent_symmetry_tp thm:injective_isometric_deformation_parent_symmetry injective_isometric_deformation_parent_symmetry thm:isometric_deformation_supplied_parent_symmetry->thm:injective_isometric_deformation_parent_symmetry thm:isometric_deformation_unitary_covariance->thm:block_isometric_deformation_covariance thm:injective_isometric_deformation_tp_covariance injective_isometric_deformation_tp_covariance thm:isometric_deformation_unitary_covariance->thm:injective_isometric_deformation_tp_covariance thm:injective_isometric_deformation_derived_covariance injective_isometric_deformation_derived_covariance thm:isometric_deformation_unitary_covariance->thm:injective_isometric_deformation_derived_covariance thm:periodic_family_literal_primitive_resolution->thm:periodic_family_uniform_original_open_gap lem:finite_overlap_projection_rowsum_reduction finite_overlap_projection_rowsum_reduction lem:finite_overlap_projection_norm_reduction finite_overlap_projection_norm_reduction lem:finite_overlap_projection_rowsum_reduction->lem:finite_overlap_projection_norm_reduction lem:finite_overlap_projection_rowsum_reduction->lem:parent_hamiltonian_finite_overlap_ordered_cross_term_quadratic lem:parent_hamiltonian_finite_overlap_ordered_cross_term_quadratic->lem:parent_hamiltonian_finite_overlap_ordered_cross_term_gap lem:parent_hamiltonian_finite_overlap_ordered_cross_term_gap->lem:parent_hamiltonian_cyclic_window_ordered_cross_term_gap thm:periodic_overlap_dichotomy periodic_overlap_dichotomy thm:periodic_overlap_dichotomy->thm:periodic_phase_relation_support thm:local_mps_density_support local_mps_density_support thm:local_mps_density_support->thm:stationary_local_support thm:faithful_quasi_local_state_density_support faithful_quasi_local_state_density_support thm:local_mps_density_support->thm:faithful_quasi_local_state_density_support thm:faithful_quasi_local_state_density_support->thm:stationary_state_local_density_support thm:fixed_point_gram_metric_exact fixed_point_gram_metric_exact thm:spectator_boundary_mixed_gram_centered spectator_boundary_mixed_gram_centered thm:fixed_point_gram_metric_exact->thm:spectator_boundary_mixed_gram_centered thm:whole_increment_mixed_gram_centered whole_increment_mixed_gram_centered thm:fixed_point_gram_metric_exact->thm:whole_increment_mixed_gram_centered thm:fixed_point_gram_metric_is_unit fixed_point_gram_metric_is_unit thm:fixed_point_gram_metric_exact->thm:fixed_point_gram_metric_is_unit thm:spectator_boundary_mixed_gram_centered->thm:c3_projector_gram_error_telescope thm:whole_increment_mixed_gram_centered->thm:whole_increment_centered_factorization thm:fixed_point_gram_metric_is_unit->thm:inverse_gram_limiting_resolvent thm:fixed_point_gram_metric_is_unit->thm:limiting_metric_inverse_virtual_adjoints thm:primitive_ground_space_gram_inverse_tendsto primitive_ground_space_gram_inverse_tendsto thm:fixed_point_gram_metric_is_unit->thm:primitive_ground_space_gram_inverse_tendsto thm:primitive_ground_space_gram_eventual_inverse_bound primitive_ground_space_gram_eventual_inverse_bound thm:fixed_point_gram_metric_is_unit->thm:primitive_ground_space_gram_eventual_inverse_bound thm:block_ground_space_overlap_decay block_ground_space_overlap_decay thm:primitive_ground_space_gram_inverse_tendsto->thm:block_ground_space_overlap_decay thm:primitive_ground_space_gram_eventual_inverse_bound->thm:block_ground_space_overlap_decay thm:primitive_ground_space_map_eventual_inverse_gram_bound primitive_ground_space_map_eventual_inverse_gram_bound thm:primitive_ground_space_gram_eventual_inverse_bound->thm:primitive_ground_space_map_eventual_inverse_gram_bound def:c3_correction_sandwiches->thm:c3_correction_factorizations thm:block_ground_space_overlap_decay->thm:inequivalent_block_ground_space_overlap_decay thm:primitive_ground_space_map_eventual_inverse_gram_bound->thm:primitive_bulk_ground_compression thm:primitive_ground_space_map_eventual_inverse_gram_bound->thm:distinct_periodic_corner_separation thm:primitive_unit_boundary_approximants primitive_unit_boundary_approximants thm:primitive_ground_space_map_eventual_inverse_gram_bound->thm:primitive_unit_boundary_approximants def:quasi_local_parent_ground_state_face quasi_local_parent_ground_state_face def:quasi_local_parent_ground_state_face->thm:mps_quasi_local_parent_ground_state_face_membership def:quasi_local_parent_ground_state_face->thm:eventual_kernel_ground_state_support_iff thm:quasi_local_parent_ground_state_face_properties quasi_local_parent_ground_state_face_properties def:quasi_local_parent_ground_state_face->thm:quasi_local_parent_ground_state_face_properties thm:quasi_local_parent_ground_state_face_properties->thm:primitive_multiblock_quasi_local_ground_state_classification thm:blocked_primitive_quasi_local_gap->thm:periodic_block_family_quasi_local_gap thm:periodic_quasi_local_ground_state_gap periodic_quasi_local_ground_state_gap thm:blocked_primitive_quasi_local_gap->thm:periodic_quasi_local_ground_state_gap thm:periodic_positive_parent_infinite_gap periodic_positive_parent_infinite_gap thm:periodic_quasi_local_ground_state_gap->thm:periodic_positive_parent_infinite_gap thm:periodic_parent_finite_quasi_local_gap periodic_parent_finite_quasi_local_gap thm:periodic_quasi_local_ground_state_gap->thm:periodic_parent_finite_quasi_local_gap def:cyclic_word_degree cyclic_word_degree thm:cyclic_adjoint_degree cyclic_adjoint_degree def:cyclic_word_degree->thm:cyclic_adjoint_degree thm:cyclic_word_span_propagation cyclic_word_span_propagation thm:cyclic_adjoint_degree->thm:cyclic_word_span_propagation thm:cyclic_word_span_propagation->thm:periodic_original_intersection thm:open_gap_residue_cover_limit open_gap_residue_cover_limit thm:periodic_original_parent_interaction->thm:open_gap_residue_cover_limit thm:periodic_original_parent_interaction->thm:periodic_positive_parent_infinite_gap rem:cyclic_window_operators cyclic_window_operators rem:cyclic_window_operators->def:cyclic_window_support rem:cyclic_window_operators->thm:three_site_anticommutator_cyclic_transport rem:cyclic_window_operators->thm:open_parent_hamiltonian_full_window rem:cyclic_window_operators->thm:open_ground_space_le_hamiltonian_kernel rem:cyclic_window_operators->thm:open_parent_hamiltonian_window_ground_space thm:block_injective_of_word_tuple_span block_injective_of_word_tuple_span thm:block_injective_of_word_tuple_span->thm:block_word_span_propagation thm:block_injective_of_word_tuple_span->thm:block-word-span-separation thm:finite_sector_projection_estimate finite_sector_projection_estimate thm:sector_projection_defect_limit sector_projection_defect_limit thm:finite_sector_projection_estimate->thm:sector_projection_defect_limit thm:sector_projection_defect_limit->thm:residual_window_joint_projection_decay thm:all_length_gap_primitive_resolution_criterion all_length_gap_primitive_resolution_criterion thm:physical_residual_cover_limit_primitive_resolution->thm:all_length_gap_primitive_resolution_criterion thm:periodic_residual_window_joint_projection_decay->thm:periodic_physical_cover_projection_decay lem:prefix_restrict_ground_space_map prefix_restrict_ground_space_map thm:ph_extended_boundary_overlap ph_extended_boundary_overlap lem:prefix_restrict_ground_space_map->thm:ph_extended_boundary_overlap thm:ph_extended_boundary_overlap->thm:ph_block_interval_projectors thm:tripartite_observable_decorrelation_iff tripartite_observable_decorrelation_iff thm:tripartite_parent_iff_decorrelated tripartite_parent_iff_decorrelated thm:tripartite_observable_decorrelation_iff->thm:tripartite_parent_iff_decorrelated thm:boundary_fiberwise_map_norm boundary_fiberwise_map_norm thm:boundary_fiberwise_map_norm->thm:c3_centered_overlap_factorization_geometric thm:boundary_fiberwise_map_norm->thm:whole_increment_centered_residual_bound thm:correlated_residual_gram_error correlated_residual_gram_error thm:boundary_fiberwise_map_norm->thm:correlated_residual_gram_error thm:left_spectator_pseudoinverse_bound left_spectator_pseudoinverse_bound thm:boundary_fiberwise_map_norm->thm:left_spectator_pseudoinverse_bound thm:tail_spectator_pseudoinverse_bound tail_spectator_pseudoinverse_bound thm:boundary_fiberwise_map_norm->thm:tail_spectator_pseudoinverse_bound thm:residual_supported_inverse_small_error residual_supported_inverse_small_error thm:correlated_residual_gram_error->thm:residual_supported_inverse_small_error thm:periodic_correlated_residual_gram periodic_correlated_residual_gram thm:correlated_residual_gram_error->thm:periodic_correlated_residual_gram thm:residual_window_gram_errors residual_window_gram_errors thm:correlated_residual_gram_error->thm:residual_window_gram_errors thm:left_spectator_pseudoinverse_bound->thm:c3_correction_bounds thm:tail_spectator_pseudoinverse_bound->thm:c3_correction_bounds thm:residual_supported_inverse_uniform_tail residual_supported_inverse_uniform_tail thm:residual_supported_inverse_small_error->thm:residual_supported_inverse_uniform_tail thm:residual_window_gram_errors->thm:residual_window_mixed_gram_decay thm:residual_supported_inverse_uniform_tail->thm:residual_window_mixed_gram_decay thm:residual_supported_inverse_uniform_tail->thm:periodic_boundary_uniform_lifts thm:primitive_insertion_boundary_identity primitive_insertion_boundary_identity thm:primitive_insertion_boundary_identity->thm:mps_state_local_support thm:primitive_insertion_boundary_identity->thm:primitive_insertion_gram_limit def:open_state open_state thm:ground_space_span_open_states ground_space_span_open_states def:open_state->thm:ground_space_span_open_states def:mps_ground_space_projection_matrix mps_ground_space_projection_matrix def:mps_ground_space_projection_matrix->thm:mps_support_projection_expectation_one def:mps_ground_space_projection_matrix->thm:blocked_ground_projection_observable def:mps_ground_space_projection_matrix->thm:primitive_supported_quasi_local_state_unique def:mps_ground_space_projection_matrix->thm:multiblock_supported_quasi_local_state_convex_combination thm:positive_functional_zero_energy_support positive_functional_zero_energy_support def:mps_ground_space_projection_matrix->thm:positive_functional_zero_energy_support thm:eventual_symmetric_mps_support_all_intervals eventual_symmetric_mps_support_all_intervals def:mps_ground_space_projection_matrix->thm:eventual_symmetric_mps_support_all_intervals thm:positive_functional_zero_energy_support->thm:quasi_local_parent_zero_energy_joint_support thm:positive_functional_zero_energy_support->thm:quasi_local_zero_energy_support_eventual_kernel thm:eventual_symmetric_mps_support_all_intervals->thm:eventual_kernel_ground_state_support_iff lem:appendixB_overlapping_condition_parent_terms->lem:appendixB_d2_projectors_identified_with_representatives lem:appendixB_overlapping_condition_parent_terms->lem:appendixB_lift_commutator_parent_terms thm:sector_observable_decomposition_from_columns sector_observable_decomposition_from_columns thm:sector_observable_decomposition_from_columns->thm:multiblock_bulk_observable_sector_decomposition def:ground_space_parent ground_space_parent def:ground_space_parent->thm:local_ground_space_gauge_invariance def:ground_space_parent->lem:mpv_mem_ground_space def:ground_space_parent->def:parent_interaction def:ground_space_parent->thm:ground_space_span_open_states lem:ground_space_in_tail_ground ground_space_in_tail_ground def:ground_space_parent->lem:ground_space_in_tail_ground def:appendixB_two_site_basic_space appendixB_two_site_basic_space def:ground_space_parent->def:appendixB_two_site_basic_space def:open_chain_ground_subspaces_es open_chain_ground_subspaces_es def:ground_space_parent->def:open_chain_ground_subspaces_es lem:product_span_block_image_direct_sum product_span_block_image_direct_sum def:ground_space_parent->lem:product_span_block_image_direct_sum thm:local_ground_space_rescaling local_ground_space_rescaling def:ground_space_parent->thm:local_ground_space_rescaling thm:tail_boundary_map_range_eq tail_boundary_map_range_eq def:ground_space_parent->thm:tail_boundary_map_range_eq thm:ground_space_grow_back ground_space_grow_back def:ground_space_parent->thm:ground_space_grow_back def:ground_space_es ground_space_es def:ground_space_parent->def:ground_space_es thm:left_boundary_map_range_eq left_boundary_map_range_eq def:ground_space_parent->thm:left_boundary_map_range_eq def:chain_ground_space chain_ground_space def:ground_space_parent->def:chain_ground_space thm:contiguous_restriction_ground_space_map contiguous_restriction_ground_space_map def:ground_space_parent->thm:contiguous_restriction_ground_space_map lem:ground_space_in_tail_ground->thm:ph_extended_boundary_overlap lem:whole_ground_space_le_c3_tail_space whole_ground_space_le_c3_tail_space lem:ground_space_in_tail_ground->lem:whole_ground_space_le_c3_tail_space thm:open_chain_left_tail_ground_intersection open_chain_left_tail_ground_intersection lem:ground_space_in_tail_ground->thm:open_chain_left_tail_ground_intersection def:appendixB_two_site_basic_space->def:appendixB_qax thm:appendixB_two_site_basic_embedding_range appendixB_two_site_basic_embedding_range def:appendixB_two_site_basic_space->thm:appendixB_two_site_basic_embedding_range def:appendixB_two_site_basic_support_projector appendixB_two_site_basic_support_projector def:appendixB_two_site_basic_space->def:appendixB_two_site_basic_support_projector def:open_chain_ground_subspaces_es->def:open_chain_martingale_difference_es thm:mem_open_chain_tail_ground_space_es mem_open_chain_tail_ground_space_es def:open_chain_ground_subspaces_es->thm:mem_open_chain_tail_ground_space_es thm:mem_open_chain_left_ground_space_es mem_open_chain_left_ground_space_es def:open_chain_ground_subspaces_es->thm:mem_open_chain_left_ground_space_es thm:left_boundary_map_range_es_transport left_boundary_map_range_es_transport def:open_chain_ground_subspaces_es->thm:left_boundary_map_range_es_transport thm:tail_boundary_map_range_es_transport tail_boundary_map_range_es_transport def:open_chain_ground_subspaces_es->thm:tail_boundary_map_range_es_transport lem:product_span_block_image_direct_sum->thm:block-word-span-separation thm:local_ground_space_rescaling->thm:normalized_primitive_gauge thm:local_ground_space_rescaling->thm:ph_canonical_representative_local_spaces thm:tail_boundary_map_range_eq->thm:tail_boundary_map_range_es_transport thm:ground_space_intersection ground_space_intersection thm:ground_space_grow_back->thm:ground_space_intersection thm:cyclic_boundary_intersection cyclic_boundary_intersection thm:ground_space_grow_back->thm:cyclic_boundary_intersection def:ground_space_es->thm:parent_hamiltonian_from_ground_space def:ground_space_es->thm:fnw-eventual-projector-prescribed-prefactor def:ground_space_es->thm:primitive_fnw_openchain_defect_geometric def:ground_space_es->thm:primitive_whole_increment_defect_decay def:ground_space_es->lem:parent_interaction_es_kernel def:ground_space_es->thm:finite_window_continuity_from_ground_projection def:ground_space_es->thm:parent-gap-fixed-range-transfer def:ground_space_es->thm:primitive_ground_space_eventual_independence def:ground_space_es->thm:faithful_quasi_local_state_density_support def:ground_space_es->def:mps_ground_space_projection_matrix thm:ground_space_physical_rotation ground_space_physical_rotation def:ground_space_es->thm:ground_space_physical_rotation lem:mem_ground_space_es mem_ground_space_es def:ground_space_es->lem:mem_ground_space_es thm:range_ground_space_map_es range_ground_space_map_es def:ground_space_es->thm:range_ground_space_map_es thm:block_sum_local_ground_space block_sum_local_ground_space def:ground_space_es->thm:block_sum_local_ground_space thm:blocked_residual_ground_space_resolution blocked_residual_ground_space_resolution def:ground_space_es->thm:blocked_residual_ground_space_resolution def:block_ground_space_map block_ground_space_map def:ground_space_es->def:block_ground_space_map thm:isometric_cointertwiner_ground_space_inclusion isometric_cointertwiner_ground_space_inclusion def:ground_space_es->thm:isometric_cointertwiner_ground_space_inclusion thm:left_boundary_map_range_eq->thm:left_boundary_map_range_es_transport thm:ph_prefix_kernel_free_right_sites ph_prefix_kernel_free_right_sites thm:left_boundary_map_range_eq->thm:ph_prefix_kernel_free_right_sites def:chain_ground_space->thm:parent_hamiltonian_kernel_le_chain_ground_space def:chain_ground_space->thm:chain_ground_space_eq_mpv_blk def:chain_ground_space->thm:chain_ground_space_implies_frustration_free def:chain_ground_space_es chain_ground_space_es def:chain_ground_space->def:chain_ground_space_es thm:contiguous_restriction_ground_space_map->thm:open_ground_space_le_hamiltonian_kernel lem:reverse_c3_projector_composition reverse_c3_projector_composition lem:whole_ground_space_le_c3_tail_space->lem:reverse_c3_projector_composition thm:nachtergaele_open_chain_projector_defect nachtergaele_open_chain_projector_defect thm:open_chain_left_tail_ground_intersection->thm:nachtergaele_open_chain_projector_defect thm:appendixB_two_site_basic_embedding_range->thm:residual_family_two_site_support thm:appendixB_two_site_basic_embedding_range->thm:appendixB_two_site_basic_support_projector def:appendixB_two_site_basic_support_projector->thm:appendixB_two_site_basic_support_projector def:residual_family_two_site_support residual_family_two_site_support def:appendixB_two_site_basic_support_projector->def:residual_family_two_site_support thm:mem_open_chain_tail_ground_space_es->thm:adjacent_two_site_local_terms_open_chain thm:mem_open_chain_tail_ground_space_es->thm:open_chain_left_tail_ground_intersection thm:mem_open_chain_left_ground_space_es->thm:adjacent_two_site_local_terms_open_chain thm:mem_open_chain_left_ground_space_es->thm:open_chain_left_tail_ground_intersection thm:left_boundary_map_range_es_transport->thm:spectator_boundary_hilbert_factorization thm:tail_boundary_map_range_es_transport->thm:spectator_boundary_hilbert_factorization thm:ground_space_intersection->thm:three_site_ground_space_adjacent_parent_kernels thm:ground_space_intersection->thm:adjacent_local_kernels_ground_space_es thm:cyclic_boundary_intersection->thm:periodic_original_intersection thm:parent_invariant_space_physical_deformation parent_invariant_space_physical_deformation thm:ground_space_physical_rotation->thm:parent_invariant_space_physical_deformation lem:mem_ground_space_es->thm:adjacent_two_site_local_terms_open_chain lem:mem_ground_space_es->thm:open_ground_space_le_hamiltonian_kernel lem:mem_ground_space_es->thm:open_parent_hamiltonian_window_ground_space lem:mem_ground_space_es->thm:adjacent_local_kernels_ground_space_es lem:mem_ground_space_es->thm:open_chain_left_tail_ground_intersection thm:range_ground_space_map_es->thm:ph_block_interval_projectors thm:range_ground_space_map_es->thm:ph_active_grouped_projector_error thm:ground_space_map_es_injective_range_projector ground_space_map_es_injective_range_projector thm:range_ground_space_map_es->thm:ground_space_map_es_injective_range_projector thm:blocked_local_ground_space_transport blocked_local_ground_space_transport thm:range_ground_space_map_es->thm:blocked_local_ground_space_transport thm:block_sum_local_ground_space->thm:ph_canonical_representative_local_spaces thm:block_sum_local_ground_space->thm:block_word_span_primitive_normalization thm:block_sum_local_ground_space->thm:sector_state_joint_mps_support thm:block_sum_local_ground_space->thm:ph_tp_block_open_ground_space thm:block_sum_local_ground_space->thm:continuous_block_finite_window_parent_hamiltonian thm:block_sum_local_ground_space->thm:faithful_periodic_ground_space_presentation thm:periodic_blocked_ground_space periodic_blocked_ground_space thm:block_sum_local_ground_space->thm:periodic_blocked_ground_space thm:ph_block_sum_interval_spaces ph_block_sum_interval_spaces thm:block_sum_local_ground_space->thm:ph_block_sum_interval_spaces thm:block_ground_space_le_joint block_ground_space_le_joint thm:block_sum_local_ground_space->thm:block_ground_space_le_joint thm:block_sum_local_ground_space->thm:ph_block_replacement_parent_equality thm:blocked_residual_ground_space_resolution->thm:periodic_boundary_uniform_lifts thm:blocked_residual_ground_space_resolution->thm:periodic_residual_projection_sum thm:periodic_residual_ground_space periodic_residual_ground_space thm:blocked_residual_ground_space_resolution->thm:periodic_residual_ground_space thm:residual_window_right_joint_range residual_window_right_joint_range thm:blocked_residual_ground_space_resolution->thm:residual_window_right_joint_range thm:residual_window_full_joint_range residual_window_full_joint_range thm:blocked_residual_ground_space_resolution->thm:residual_window_full_joint_range thm:block_ground_space_map_injective block_ground_space_map_injective def:block_ground_space_map->thm:block_ground_space_map_injective thm:isometric_cointertwiner_ground_space_inclusion->thm:distinct_periodic_corner_separation thm:ph_prefix_kernel_free_right_sites->thm:open_cover_energy_kernel thm:ph_prefix_kernel_free_right_sites->thm:ph_active_grouped_projector_error def:chain_ground_space_es->thm:parent_hamiltonian_kernel_eq_chain_ground_space thm:parent_invariant_space_physical_deformation->thm:isometric_deformation_supplied_parent_symmetry lem:reverse_c3_projector_composition->thm:exact_c3_martingale_difference_identity thm:nachtergaele_open_chain_projector_defect->thm:nachtergaele_c3_blocked_length def:residual_family_two_site_support->thm:residual_family_two_site_support thm:exact_c3_martingale_difference_identity->thm:literal_open_chain_martingale_c3 thm:ground_space_map_es_injective_range_projector->thm:continuous_finite_window_parent_hamiltonian thm:blocked_local_ground_space_transport->thm:blocked_ground_projection_observable thm:blocked_local_ground_space_transport->thm:distinct_periodic_corner_separation thm:blocked_local_ground_space_transport->thm:blocked_interaction_eventual_kernel thm:blocked_interaction_eventual_kernel->thm:blocked_primitive_quasi_local_gap thm:blocked_interaction_eventual_kernel->thm:blocked_primitive_aligned_uniform_gap thm:periodic_blocked_ground_space->thm:periodic_correlated_residual_gram thm:periodic_blocked_ground_space->thm:periodic_residual_ground_space thm:periodic_primitive_ground_space periodic_primitive_ground_space thm:periodic_blocked_ground_space->thm:periodic_primitive_ground_space thm:ph_block_sum_interval_spaces->thm:ph_block_diagonal_projector_decay thm:block_ground_space_le_joint->thm:sector_local_zero_from_open_kernel thm:block_ground_space_le_joint->thm:mps_quasi_local_parent_ground_state_face_membership thm:block_ground_space_le_joint->thm:sector_commutator_patch_positive thm:ph_block_replacement_parent_equality->thm:ph_primitive_representatives_parent_equality thm:ph_block_replacement_parent_equality->thm:block_open_kernel_simultaneous_injectivity thm:ph_block_replacement_parent_equality->thm:normalized_quasi_local_ground_state_classification thm:ph_block_replacement_parent_equality->thm:block-parent-uniform-gap-simultaneous-injectivity thm:periodic_primitive_ground_space->thm:periodic_primitive_ground_space_at_period thm:periodic_block_family_primitive_presentation periodic_block_family_primitive_presentation thm:periodic_primitive_ground_space->thm:periodic_block_family_primitive_presentation thm:periodic_ground_state_presentation periodic_ground_state_presentation thm:periodic_primitive_ground_space->thm:periodic_ground_state_presentation thm:residual_window_right_joint_range->thm:physical_residual_cover_limit_primitive_resolution thm:residual_window_right_joint_range->thm:periodic_physical_cover_projection_decay thm:residual_window_full_joint_range_cover residual_window_full_joint_range_cover thm:residual_window_full_joint_range->thm:residual_window_full_joint_range_cover thm:periodic_open_parent_gap_all_volumes periodic_open_parent_gap_all_volumes thm:periodic_physical_cover_projection_decay->thm:periodic_open_parent_gap_all_volumes thm:residual_window_full_joint_range_cover->thm:physical_residual_cover_limit_primitive_resolution thm:residual_window_full_joint_range_cover->thm:periodic_physical_cover_projection_decay thm:block_ground_space_map_injective->thm:continuous_block_finite_window_parent_hamiltonian thm:block_ground_space_map_injective_open_propagation block_ground_space_map_injective_open_propagation thm:block_ground_space_map_injective->thm:block_ground_space_map_injective_open_propagation lem:positive-comparison-kernel-gap positive-comparison-kernel-gap lem:positive-comparison-kernel-gap->thm:blocked_interaction_comparison lem:positive-comparison-kernel-gap->thm:parent-gap-fixed-range-transfer lem:positive-comparison-kernel-gap->thm:positive-parent-interaction-uniform-gap thm:positive-parent-interaction-uniform-gap->thm:canonical-decomposition-positive-parent-gap-simultaneous-injectivity thm:positive-parent-interaction-uniform-gap->thm:canonical-positive-parent-gap-simultaneous-injectivity thm:positive-parent-interaction-uniform-gap->thm:canonical_positive_parent_gap_bounded_range thm:blocked_finite_gap_transfer->thm:blocked_primitive_aligned_uniform_gap thm:periodic_block_family_aligned_gap_of_dvd periodic_block_family_aligned_gap_of_dvd thm:blocked_primitive_aligned_uniform_gap->thm:periodic_block_family_aligned_gap_of_dvd thm:periodic_tensor_aligned_uniform_gap periodic_tensor_aligned_uniform_gap thm:blocked_primitive_aligned_uniform_gap->thm:periodic_tensor_aligned_uniform_gap thm:periodic_block_family_aligned_gap_of_dvd->thm:periodic_family_uniform_original_open_gap thm:periodic_block_family_aligned_gap_exists periodic_block_family_aligned_gap_exists thm:periodic_block_family_aligned_gap_of_dvd->thm:periodic_block_family_aligned_gap_exists thm:periodic_tensor_aligned_uniform_gap->thm:open_residue_cover_gap_criterion thm:beigi_eventually_constant_sector_graph beigi_eventually_constant_sector_graph thm:beigi_eventually_constant_sector_graph->cor:beigi_parent_ground_space_loop_number def:restrict_first restrict_first def:restrict_first->thm:adjacent_local_term_coordinate_identifications thm:reverse_product reverse_product thm:positive_open_interaction_range_comparison->thm:eventual_kernel_open_interaction_gap thm:canonical_gap_to_eventual_kernel_interaction canonical_gap_to_eventual_kernel_interaction thm:positive_open_interaction_range_comparison->thm:canonical_gap_to_eventual_kernel_interaction thm:normal_open_gap_every_sufficient_range->thm:primitive_local_commutator_wielandt thm:normal_open_gap_every_sufficient_range->thm:primitive_local_positive_parent_commutator_gap thm:beigi_loop_product_state_ground_state beigi_loop_product_state_ground_state thm:beigi_loop_product_state_ground_state->thm:beigi_loop_product_states_span_ground_space thm:blocked_quasi_local_gap_transport->thm:blocked_primitive_quasi_local_gap thm:residual_window_limiting_cancellation residual_window_limiting_cancellation thm:residual_window_centered_gram_error residual_window_centered_gram_error thm:residual_window_limiting_cancellation->thm:residual_window_centered_gram_error thm:residual_window_overlap_factors residual_window_overlap_factors thm:residual_window_centered_gram_error->thm:residual_window_overlap_factors thm:residual_window_overlap_factors->thm:residual_window_mixed_gram_decay cor:commutator_gap_rank_one_limit commutator_gap_rank_one_limit thm:ldpolar_decomposition ldpolar_decomposition thm:ldp_polar_uniqueness ldp_polar_uniqueness thm:ldpolar_decomposition->thm:ldp_polar_uniqueness thm:parent_left_polar_support parent_left_polar_support thm:ldp_polar_uniqueness->thm:parent_left_polar_support thm:parent_left_polar_support->thm:constructed_isometric_deformation_gap thm:parent_polar_unitary_covariance parent_polar_unitary_covariance thm:parent_left_polar_support->thm:parent_polar_unitary_covariance thm:parent_polar_unitary_covariance->thm:isometric_deformation_unitary_covariance thm:tail_boundary_map_append tail_boundary_map_append thm:tail_restrict_tail_boundary_map tail_restrict_tail_boundary_map thm:tail_boundary_map_append->thm:tail_restrict_tail_boundary_map thm:reassociated_tail_boundary_three_block reassociated_tail_boundary_three_block thm:tail_boundary_map_append->thm:reassociated_tail_boundary_three_block thm:tail_restrict_tail_boundary_map->thm:tail_boundary_map_range_eq thm:reassociated_tail_boundary_three_block->thm:ph_extended_boundary_overlap thm:beigi_complement_product_conjugation beigi_complement_product_conjugation thm:beigi_complement_product_conjugation->thm:beigi_loop_product_state_ground_state thm:primitive_unit_boundary_approximants->thm:multiblock_local_parent_commutator_gap thm:primitive_unit_boundary_approximants->thm:primitive_local_commutator_wielandt thm:primitive_unit_boundary_approximants->thm:primitive_local_positive_parent_commutator_gap thm:sector_bounded_preimages sector_bounded_preimages thm:sector_bounded_preimages->thm:periodic_boundary_uniform_lifts thm:tripartite_ground_space_intersection_iff_product tripartite_ground_space_intersection_iff_product thm:tripartite_parent_iff_complex_linear_decorrelated tripartite_parent_iff_complex_linear_decorrelated thm:tripartite_ground_space_intersection_iff_product->thm:tripartite_parent_iff_complex_linear_decorrelated thm:tripartite_parent_iff_complex_linear_decorrelated->thm:tripartite_parent_iff_decorrelated thm:spectator_boundary_direct_sum_gram spectator_boundary_direct_sum_gram thm:spectator_boundary_direct_sum_gram->thm:c3_projector_gram_error_telescope thm:spectator_boundary_direct_sum_gram->thm:left_spectator_pseudoinverse_bound thm:spectator_boundary_direct_sum_gram->thm:tail_spectator_pseudoinverse_bound thm:primitive_ground_space_gram_geometric_fixed_point primitive_ground_space_gram_geometric_fixed_point thm:primitive_ground_space_gram_geometric_fixed_point->thm:c3_centered_overlap_factorization_geometric thm:primitive_ground_space_gram_geometric_fixed_point->thm:correlated_residual_gram_error thm:subspace_overlap_sum_uniform subspace_overlap_sum_uniform thm:open_interaction_matrix_posSemidef open_interaction_matrix_posSemidef thm:open_interaction_matrix_posSemidef->thm:blocked_interaction_matrix_posSemidef def:cyclic_active_block_coordinates cyclic_active_block_coordinates def:cyclic_active_block_coordinates->thm:cyclic_active_block_local_conjugacy lem:open_interaction_subwindow_coordinates open_interaction_subwindow_coordinates def:cyclic_active_block_coordinates->lem:open_interaction_subwindow_coordinates lem:open_interaction_suffix_comparison open_interaction_suffix_comparison lem:open_interaction_subwindow_coordinates->lem:open_interaction_suffix_comparison lem:open_interaction_suffix_comparison->thm:positive_open_interaction_range_comparison lem:positive_gap_transfer_loewner positive_gap_transfer_loewner lem:positive_gap_transfer_loewner->thm:sharp_two_ground_projection_gap lem:positive_gap_transfer_loewner->lem:open_parent_range_comparison thm:weighted_sum_gap_transfer weighted_sum_gap_transfer lem:positive_gap_transfer_loewner->thm:weighted_sum_gap_transfer thm:canonical_gap_to_eventual_kernel_interaction->thm:faithful_generators_given_interaction_uniform_gap thm:canonical_gap_to_eventual_kernel_interaction->thm:periodic_family_given_interaction_uniform_open_gap thm:faithful_local_mps_support faithful_local_mps_support thm:faithful_local_mps_support->thm:local_mps_density_support thm:appendixB_weighted_two_site_boundary_surjective appendixB_weighted_two_site_boundary_surjective thm:appendixB_weighted_two_site_boundary_surjective->thm:appendixB_two_site_basic_embedding_range def:cyclic_boundary_degree cyclic_boundary_degree thm:cyclic_boundary_compression cyclic_boundary_compression def:cyclic_boundary_degree->thm:cyclic_boundary_compression thm:cyclic_boundary_compression->thm:cyclic_boundary_intersection thm:blocked_aligned_mps_support_iff blocked_aligned_mps_support_iff thm:blocked_aligned_mps_support_iff->thm:mps_support_blocking_iff thm:blocked_support_representation_iff->thm:blocked_primitive_supported_state_classification thm:configuration_reindex_kernel_gap configuration_reindex_kernel_gap thm:configuration_reindex_kernel_gap->thm:blocked_finite_gap_transfer thm:energy_form_to_norm_bound energy_form_to_norm_bound thm:energy_form_to_norm_bound->thm:nachtergaele_c1_c3_full_range_norm_gap thm:eventual_kernel_sector_local_gap->thm:eventual_kernel_sector_literal_gap thm:eventual_kernel_sector_local_gap->thm:blocked_primitive_quasi_local_gap thm:open_residue_cover_gap_criterion->thm:open_gap_residue_cover_limit thm:aligned_residue_cover_gap_limit aligned_residue_cover_gap_limit thm:open_residue_cover_gap_criterion->thm:aligned_residue_cover_gap_limit thm:open_gap_residue_cover_limit->thm:periodic_open_parent_gap_all_volumes thm:aligned_residue_cover_gap_limit->thm:all_length_gap_primitive_resolution_criterion thm:periodic_positive_parent_gap_all_volumes periodic_positive_parent_gap_all_volumes thm:periodic_open_parent_gap_all_volumes->thm:periodic_positive_parent_gap_all_volumes thm:all_length_gap_primitive_resolution_criterion->thm:periodic_family_uniform_original_open_gap def:has_nncph_ground_spaces->lem:block_diagonal_parent_spanning_reverse_inclusion def:has_nncph_ground_spaces->thm:rfp_single_normal_nncph_ground_spaces thm:nncph_eventual_ground_space_dimension nncph_eventual_ground_space_dimension def:has_nncph_ground_spaces->thm:nncph_eventual_ground_space_dimension def:has_nncph_ground_spaces->thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces thm:nncph_eventual_ground_space_dimension->cor:beigi_parent_ground_space_loop_number thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces->thm:rfp_multiplicity_one_bnt_iff_nncph_ground_spaces thm:literal_open_chain_martingale_c3->thm:literal_fixed_volume_martingale_c3 thm:martingale_isometric_conjugation_gap martingale_isometric_conjugation_gap thm:residual_window_right_fiberwise residual_window_right_fiberwise thm:residual_window_right_fiberwise->thm:residual_window_right_joint_range thm:residual_window_right_sector_sum residual_window_right_sector_sum thm:residual_window_right_fiberwise->thm:residual_window_right_sector_sum thm:residual_window_full_sector_sum residual_window_full_sector_sum thm:residual_window_right_sector_sum->thm:residual_window_full_sector_sum thm:residual_window_full_sector_sum->thm:residual_window_joint_projection_decay thm:blocking_joint_boundary_space blocking_joint_boundary_space thm:blocking_joint_boundary_space->thm:periodic_block_family_primitive_presentation thm:periodic_block_family_primitive_presentation->thm:periodic_block_family_primitive_presentation_exists thm:periodic_block_family_primitive_presentation->thm:periodic_block_family_aligned_gap_of_dvd def:residual_cover_coordinates residual_cover_coordinates def:residual_cover_coordinates->thm:residual_window_left_joint_range_cover def:residual_cover_coordinates->thm:residual_window_right_joint_range def:residual_cover_coordinates->thm:residual_window_full_joint_range_cover lem:finite_overlap_projection_anticommutator_reduction finite_overlap_projection_anticommutator_reduction lem:finite_overlap_projection_anticommutator_reduction->lem:parent_hamiltonian_finite_overlap_anticommutator_gap thm:injective_boundary_compression_norm injective_boundary_compression_norm thm:injective_boundary_compression_norm->thm:primitive_bulk_ground_compression thm:primitive_bulk_commutator_gap_reduction->thm:primitive_local_open_interaction_commutator_gap thm:blocked_stationary_expectation->thm:periodic_family_pure_ground_state_period thm:open_suffix_parent_hamiltonian_range_shift->thm:open_parent_hamiltonian_c1_full_range thm:grouped_open_suffix_c2->thm:grouped_open_parent_gap thm:grouped_open_parent_c1->thm:grouped_open_parent_gap def:inverse_gram inverse_gram def:inverse_gram->def:c3_correction_sandwiches thm:inverse_gram_identities inverse_gram_identities def:inverse_gram->thm:inverse_gram_identities thm:inverse_gram_identities->thm:inverse_gram_limiting_resolvent thm:inverse_gram_identities->thm:left_finite_gram_cancellation thm:inverse_gram_identities->thm:primitive_ground_space_map_eventual_inverse_gram_bound thm:inverse_gram_identities->thm:left_spectator_pseudoinverse_bound thm:inverse_gram_identities->thm:tail_spectator_pseudoinverse_bound def:qca_compatible_local_state qca_compatible_local_state def:qca_compatible_local_state->def:mps_compatible_local_state thm:mps_quasi_local_expectation_state->thm:mps_quasi_local_translation_invariance thm:mps_quasi_local_interval_expectation mps_quasi_local_interval_expectation thm:mps_quasi_local_expectation_state->thm:mps_quasi_local_interval_expectation thm:quasi_local_mps_expectation_equality quasi_local_mps_expectation_equality thm:mps_quasi_local_expectation_state->thm:quasi_local_mps_expectation_equality thm:mps_quasi_local_interval_expectation->thm:mps_state_local_support thm:mps_quasi_local_interval_expectation->thm:multiblock_quasi_local_parent_commutator_gap thm:mps_quasi_local_interval_expectation->thm:multiblock_supported_quasi_local_state_convex_combination thm:mps_quasi_local_interval_expectation->thm:faithful_quasi_local_state_density_support thm:mps_quasi_local_interval_expectation->thm:primitive_quasi_local_parent_commutator_gap thm:mps_quasi_local_interval_expectation->thm:eventual_kernel_sector_local_gap thm:mps_quasi_local_interval_expectation->thm:blocked_stationary_expectation thm:quasi_local_mps_expectation_equality->thm:stationary_support_quasi_local_state_equality thm:inverse_cyclic_word_gram inverse_cyclic_word_gram thm:inverse_cyclic_word_gram->thm:periodic_boundary_uniform_lifts thm:blocked_interaction_window->thm:blocked_open_interaction_sum lem:canonical_interaction_support_transport canonical_interaction_support_transport lem:canonical_interaction_support_transport->thm:periodic_family_canonical_interaction thm:embedded_sector_word_span embedded_sector_word_span thm:cyclic_blocked_initial_word_span cyclic_blocked_initial_word_span thm:embedded_sector_word_span->thm:cyclic_blocked_initial_word_span thm:cyclic_blocked_initial_word_span->thm:periodic_original_intersection thm:block_inclusion_coordinate_resolution block_inclusion_coordinate_resolution thm:block_inclusion_coordinate_resolution->thm:periodic_family_literal_primitive_resolution thm:left_canonical_rfp_chain_commutation->thm:rfp_implies_nncph thm:parent_cross_range_compression parent_cross_range_compression thm:common_kernel_spectral_gap_interpolation common_kernel_spectral_gap_interpolation thm:primitive_from_strongly_irred primitive_from_strongly_irred thm:primitive_from_strongly_irred->thm:normalized_primitive_gauge thm:matrix-unit-path-ground-space matrix-unit-path-ground-space thm:fnw-marked-path-interval-spaces fnw-marked-path-interval-spaces thm:matrix-unit-path-ground-space->thm:fnw-marked-path-interval-spaces thm:fnw-marked-path-interval-spaces->thm:fnw-dimension-four-physical-defect thm:periodic_positive_parent_gap_all_volumes->thm:periodic_parent_finite_quasi_local_gap thm:residual_boundary_inner_fibers residual_boundary_inner_fibers def:correlated_residual_gram_metric correlated_residual_gram_metric thm:residual_boundary_inner_fibers->def:correlated_residual_gram_metric thm:residual_window_grams residual_window_grams thm:residual_boundary_inner_fibers->thm:residual_window_grams thm:residual_window_correlated_factorization residual_window_correlated_factorization def:correlated_residual_gram_metric->thm:residual_window_correlated_factorization def:residual_window_overlap_factors residual_window_overlap_factors def:correlated_residual_gram_metric->def:residual_window_overlap_factors thm:correlated_residual_cyclic_corner correlated_residual_cyclic_corner def:correlated_residual_gram_metric->thm:correlated_residual_cyclic_corner def:residual_fixed_metric_row_projection residual_fixed_metric_row_projection def:correlated_residual_gram_metric->def:residual_fixed_metric_row_projection thm:residual_window_grams->thm:residual_window_supported_projector_cancellation thm:residual_window_grams->thm:residual_window_gram_errors def:residual_window_overlap_factors->thm:residual_window_overlap_factors thm:correlated_residual_cyclic_corner->thm:correlated_residual_gram_error thm:residual_exact_row_support residual_exact_row_support def:residual_fixed_metric_row_projection->thm:residual_exact_row_support thm:residual_exact_row_support->thm:residual_window_limiting_cancellation def:residual_extended_gram_supported_inverse residual_extended_gram_supported_inverse thm:residual_exact_row_support->def:residual_extended_gram_supported_inverse thm:independent_ambient_sum_intersection independent_ambient_sum_intersection thm:independent_ambient_sum_intersection->thm:joint_restriction_intersection_middle_independence rem:projection_geometry_rowsum_identities projection_geometry_rowsum_identities rem:projection_geometry_rowsum_identities->thm:open_parent_hamiltonian_zero_local_terms rem:projection_geometry_rowsum_identities->thm:parent_hamiltonian_kernel_le_chain_ground_space rem:projection_geometry_rowsum_identities->lem:transported_es_nonoverlap_positive lem:anticommutator_projection_rowsum_reduction anticommutator_projection_rowsum_reduction rem:projection_geometry_rowsum_identities->lem:anticommutator_projection_rowsum_reduction thm:cyclic_knabe_cross_estimates cyclic_knabe_cross_estimates rem:projection_geometry_rowsum_identities->thm:cyclic_knabe_cross_estimates lem:ordered_projection_rowsum_reduction ordered_projection_rowsum_reduction rem:projection_geometry_rowsum_identities->lem:ordered_projection_rowsum_reduction lem:anticommutator_projection_rowsum_reduction->lem:parent_hamiltonian_anticommutator_rowsum_gap lem:anticommutator_projection_rowsum_reduction->lem:finite_overlap_projection_anticommutator_reduction thm:martingale_criterion martingale_criterion lem:anticommutator_projection_rowsum_reduction->thm:martingale_criterion thm:finite_range_cyclic_knabe finite_range_cyclic_knabe thm:cyclic_knabe_cross_estimates->thm:finite_range_cyclic_knabe lem:ordered_projection_rowsum_reduction->lem:parent_hamiltonian_ordered_rowsum_quadratic lem:ordered_projection_rowsum_reduction->lem:finite_overlap_projection_rowsum_reduction thm:finite_range_cyclic_knabe->thm:parent_hamiltonian_gap_from_open_knabe_block thm:finite_range_cyclic_knabe->thm:open_finite_range_knabe_gap thm:nearest_neighbor_cyclic_knabe nearest_neighbor_cyclic_knabe thm:finite_range_cyclic_knabe->thm:nearest_neighbor_cyclic_knabe thm:weighted_sum_loewner weighted_sum_loewner thm:weighted_sum_loewner->thm:weighted_sum_gap_transfer thm:periodic_ground_state_presentation_at_period periodic_ground_state_presentation_at_period thm:periodic_ground_state_presentation->thm:periodic_ground_state_presentation_at_period thm:periodic_ground_state_presentation_at_period->thm:periodic_quasi_local_ground_state_classification thm:periodic_ground_state_presentation_at_period->thm:periodic_quasi_local_ground_state_gap thm:periodic_ground_state_presentation_at_period->thm:periodic_tensor_aligned_uniform_gap thm:residual_window_cross_sector_pairing residual_window_cross_sector_pairing thm:residual_window_cross_sector_pairing->thm:residual_window_cross_sector_decay thm:residual_window_factorizations residual_window_factorizations thm:residual_window_factorizations->thm:residual_window_full_joint_range thm:residual_window_factorizations->thm:residual_window_full_sector_sum thm:residual_window_factorizations->thm:residual_window_correlated_factorization thm:residual_full_window_gram residual_full_window_gram thm:residual_window_factorizations->thm:residual_full_window_gram thm:residual_full_window_gram->thm:residual_window_supported_projector_cancellation thm:primitive_nested_family_presentation primitive_nested_family_presentation thm:primitive_nested_family_presentation->thm:periodic_block_family_primitive_presentation thm:subspace_independence_overlap_matrix subspace_independence_overlap_matrix thm:asymptotic_subspace_independence asymptotic_subspace_independence thm:subspace_independence_overlap_matrix->thm:asymptotic_subspace_independence thm:asymptotic_subspace_independence->thm:primitive_ground_space_eventual_independence thm:asymptotic_subspace_independence->thm:periodic_ground_space_eventual_independence thm:bulk_observable_algebra bulk_observable_algebra thm:bulk_observable_algebra->thm:finite_open_commutator_locality thm:bulk_observable_algebra->thm:multiblock_centered_full_ground_compression def:blockwise_product_word_span blockwise_product_word_span def:blockwise_product_word_span->thm:word_tuple_span_gauge_invariance def:blockwise_product_word_span->thm:cpsv_bnt_blocked_simultaneous_span def:blockwise_product_word_span->thm:block_injective_of_word_tuple_span def:blockwise_product_word_span->thm:block_ground_space_map_injective thm:compact_block_word_span compact_block_word_span thm:block_ground_space_map_injective_open_propagation->thm:compact_block_word_span thm:compact_block_word_span->thm:compact_block_boundary_injectivity thm:friedrichs_ground_space_excitation_anticommutator friedrichs_ground_space_excitation_anticommutator thm:friedrichs_ground_space_excitation_anticommutator->thm:sharp_two_ground_projection_gap thm:friedrichs_ground_space_excitation_anticommutator->lem:blocked_to_cyclic_ground_projector_comparison thm:friedrichs_ground_space_excitation_anticommutator->thm:nachtergaele_open_chain_projector_defect thm:positive_affine_physical_deformation_open_gap->thm:constructed_isometric_deformation_open_gap lem:qca_quasi_local_observable qca_quasi_local_observable lem:qca_quasi_local_observable->thm:quasi_local_bulk_inclusion lem:qca_quasi_local_observable->thm:primitive_supported_quasi_local_state_unique thm:ground_space_map_es_single ground_space_map_es_single thm:ground_space_map_es_single->thm:continuous_finite_window_parent_hamiltonian thm:fnw_dimension_markov_channel fnw_dimension_markov_channel thm:fnw-dimension-markov-primitive fnw-dimension-markov-primitive thm:fnw_dimension_markov_channel->thm:fnw-dimension-markov-primitive thm:fnw-dimension-markov-primitive->thm:fnw-dimension-only-counterexample def:primitive_bulk_observable primitive_bulk_observable def:primitive_bulk_observable->thm:local_interval_bulk_observable def:primitive_bulk_observable->thm:primitive_insertion_boundary_identity thm:kernel_gap_perturbation kernel_gap_perturbation thm:kernel_gap_perturbation->thm:open_parent_gap_continuity thm:compact_kernel_gap compact_kernel_gap thm:kernel_gap_perturbation->thm:compact_kernel_gap thm:compact_kernel_gap->thm:compact_normal_parent_gap thm:compact_kernel_gap->thm:block_ground_space_continuity thm:compact_kernel_gap->thm:periodic_short_gap_continuity lem:quadratic_form_to_norm_bound quadratic_form_to_norm_bound lem:quadratic_form_to_norm_bound->thm:sharp_two_ground_projection_gap lem:quadratic_form_to_norm_bound->thm:parent_hamiltonian_gap_from_open_knabe_block lem:quadratic_form_to_norm_bound->lem:parent_hamiltonian_es_quadratic_reduction lem:quadratic_form_to_norm_bound->thm:nachtergaele_c1_c3_full_range_norm_gap lem:quadratic_form_to_norm_bound->thm:open_finite_range_knabe_gap lem:quadratic_form_to_norm_bound->thm:martingale_criterion thm:qca_blocking_state_purity qca_blocking_state_purity thm:qca_blocking_state_purity->thm:blocked_primitive_supported_state_classification thm:positive_functional_commutator_comparison positive_functional_commutator_comparison thm:quasi_local_zero_energy_commutator_nonnegative quasi_local_zero_energy_commutator_nonnegative thm:positive_functional_commutator_comparison->thm:quasi_local_zero_energy_commutator_nonnegative thm:quasi_local_zero_energy_commutator_nonnegative->thm:blocked_quasi_local_gap_transport rem:nncph_ground_spaces_decomposition nncph_ground_spaces_decomposition rem:nncph_ground_spaces_decomposition->thm:rfp_multiplicity_one_bnt_has_nncph_ground_spaces lem:irreducible_map_from_primitive irreducible_map_from_primitive lem:irreducible_map_from_primitive->thm:inequivalent_block_ground_space_overlap_decay thm:injective_isometric_deformation_tp_covariance->thm:injective_isometric_deformation_parent_symmetry_tp thm:injective_isometric_deformation_derived_covariance->thm:injective_isometric_deformation_parent_symmetry thm:supported_gram_projector_norm supported_gram_projector_norm thm:supported_gram_projector_norm->thm:residual_window_primitive_projection_decay lem:nachtergaele_weighted_inner_product nachtergaele_weighted_inner_product lem:nachtergaele_weighted_inner_product->thm:nachtergaele_c1_c3_threshold_energy_estimate thm:fnw_dimension_markov_matrix fnw_dimension_markov_matrix thm:fnw_dimension_markov_matrix->thm:fnw_dimension_markov_path_sums thm:fnw_dimension_markov_matrix->thm:fnw_dimension_markov_channel thm:ground_space_restriction_overlap ground_space_restriction_overlap thm:ground_space_restriction_overlap->thm:ground_space_intersection thm:ground_space_restriction_overlap->thm:cyclic_boundary_intersection thm:tripartite_support_products->thm:tripartite_parent_iff_complex_linear_decorrelated lem:mixed_transfer_common_physical_unitary mixed_transfer_common_physical_unitary lem:beigi_normalized_minimal_loop_mixed_transfer_zero beigi_normalized_minimal_loop_mixed_transfer_zero lem:mixed_transfer_common_physical_unitary->lem:beigi_normalized_minimal_loop_mixed_transfer_zero lem:beigi_normalized_minimal_loop_mixed_transfer_zero->thm:nncph_implies_rfp_basis_direct_sum def:paper_primitive paper_primitive def:paper_primitive->thm:normal_irreducible_tensor thm:spt_isometric_bond_restriction spt_isometric_bond_restriction thm:isometric_compression_corner_boundary isometric_compression_corner_boundary thm:spt_isometric_bond_restriction->thm:isometric_compression_corner_boundary thm:isometric_compression_corner_boundary->thm:stationary_local_support thm:periodic-fixed-interaction-order periodic-fixed-interaction-order thm:periodic-fixed-interaction-order->thm:positive-parent-interaction-periodic-comparison def:positive_interval_state_restriction positive_interval_state_restriction thm:interval_state_projection_estimates interval_state_projection_estimates def:positive_interval_state_restriction->thm:interval_state_projection_estimates thm:interval_state_projection_estimates->thm:multiblock_supported_quasi_local_state_convex_combination def:qca_finite_local_translation qca_finite_local_translation def:qca_finite_local_translation->lem:qca_finite_local_translation_naturality def:qca_finite_local_translation->thm:local_interval_translation_coordinates thm:parent_interaction_sum_on_site_symmetry parent_interaction_sum_on_site_symmetry thm:parent_interaction_sum_on_site_symmetry->thm:isometric_deformation_supplied_parent_symmetry lem:nachtergaele_c3_projection_composition nachtergaele_c3_projection_composition lem:nachtergaele_c3_projection_composition->thm:nachtergaele_c1_c3_threshold_energy_estimate thm:ph_sum_block_projectors ph_sum_block_projectors thm:ph_joint_projector_comparison ph_joint_projector_comparison thm:ph_sum_block_projectors->thm:ph_joint_projector_comparison thm:sector_projection_sum_error_decay sector_projection_sum_error_decay thm:ph_sum_block_projectors->thm:sector_projection_sum_error_decay thm:ph_joint_projector_comparison->thm:ph_block_interval_projectors thm:sector_projection_sum_error_decay->thm:residual_window_left_sector_sum thm:sector_projection_sum_error_decay->thm:residual_sector_projection_sum thm:sector_compression_assembly sector_compression_assembly thm:sector_projection_sum_error_decay->thm:sector_compression_assembly thm:sector_compression_assembly->thm:multiblock_centered_full_ground_compression thm:fnw_limit_absorbs_transfer fnw_limit_absorbs_transfer thm:fnw-transfer-eigenvalue-from-remainder fnw-transfer-eigenvalue-from-remainder thm:fnw_limit_absorbs_transfer->thm:fnw-transfer-eigenvalue-from-remainder thm:fnw-transfer-eigenvalue-from-remainder->thm:fnw-transfer-eigenvalue-rate thm:periodic_prescribed_blocking_compression periodic_prescribed_blocking_compression thm:periodic_prescribed_blocking_compression->thm:periodic_blocked_ground_space lem:mem_parent_ground_space_es mem_parent_ground_space_es thm:ground_space_map_injective_blk ground_space_map_injective_blk thm:ground_space_map_injective_blk->thm:block-word-span-separation thm:ground_space_map_es_injective_block ground_space_map_es_injective_block thm:ground_space_map_injective_blk->thm:ground_space_map_es_injective_block thm:ground_space_map_es_injective_block->thm:ground_space_map_es_injective_range_projector thm:all_length_open_interaction_matrix all_length_open_interaction_matrix lem:full-interval-parent-interaction full-interval-parent-interaction lem:full-interval-parent-interaction->thm:periodic-fixed-interaction-canonical lem:full-interval-parent-interaction->thm:periodic-parent-range-comparison def:primitive_insertion_expectation primitive_insertion_expectation def:primitive_insertion_expectation->thm:faithful_local_mps_support thm:observable_insertion_isometric_intertwiner observable_insertion_isometric_intertwiner def:primitive_insertion_expectation->thm:observable_insertion_isometric_intertwiner thm:primitive_insertion_transfer_limit primitive_insertion_transfer_limit def:primitive_insertion_expectation->thm:primitive_insertion_transfer_limit thm:primitive_insertion_positive primitive_insertion_positive def:primitive_insertion_expectation->thm:primitive_insertion_positive thm:observable_insertion_isometric_intertwiner->thm:stationary_support_faithful_generators thm:primitive_insertion_transfer_limit->thm:primitive_insertion_gram_limit thm:primitive_insertion_local_state primitive_insertion_local_state thm:primitive_insertion_positive->thm:primitive_insertion_local_state thm:primitive_insertion_local_state->thm:mps_finite_region_expectation_compatible thm:primitive_insertion_local_state->thm:multiblock_bulk_observable_column_limit thm:primitive_insertion_local_state->thm:local_mps_density_support thm:primitive_insertion_state_norm primitive_insertion_state_norm thm:primitive_insertion_local_state->thm:primitive_insertion_state_norm thm:primitive_insertion_state_norm->def:mps_compatible_local_state thm:supplied_isometry_heisenberg_insertion supplied_isometry_heisenberg_insertion thm:supplied_isometry_heisenberg_insertion->thm:supplied_isometry_insertion_trace_duality thm:supplied_isometry_heisenberg_insertion->thm:supplied_isometry_parent_gap def:whole_increment_physical_reassociation whole_increment_physical_reassociation def:whole_increment_physical_reassociation->thm:ph_block_sum_interval_spaces def:reassociated_tail_boundary_map reassociated_tail_boundary_map def:whole_increment_physical_reassociation->def:reassociated_tail_boundary_map thm:whole_increment_ground_space_reassociation whole_increment_ground_space_reassociation def:whole_increment_physical_reassociation->thm:whole_increment_ground_space_reassociation def:reassociated_tail_boundary_map->thm:fnw-eventual-projector-prescribed-prefactor def:reassociated_tail_boundary_map->thm:primitive_whole_increment_defect_decay def:reassociated_tail_boundary_map->thm:reassociated_tail_boundary_factorization def:reassociated_tail_boundary_map->thm:reassociated_tail_boundary_three_block thm:reassociated_tail_boundary_one_site reassociated_tail_boundary_one_site def:reassociated_tail_boundary_map->thm:reassociated_tail_boundary_one_site thm:whole_increment_mixed_gram whole_increment_mixed_gram def:reassociated_tail_boundary_map->thm:whole_increment_mixed_gram def:whole_increment_centered_residual whole_increment_centered_residual def:reassociated_tail_boundary_map->def:whole_increment_centered_residual thm:whole_increment_ground_space_reassociation->thm:reassociated_tail_boundary_factorization thm:reassociated_tail_boundary_one_site->thm:primitive_fnw_openchain_defect_geometric thm:whole_increment_mixed_gram->thm:whole_increment_mixed_gram_centered def:whole_increment_centered_residual->thm:whole_increment_centered_factorization lem:tripartite_local_lift_algebra tripartite_local_lift_algebra thm:ph_spectator_operator_order ph_spectator_operator_order thm:ph_spectator_operator_order->thm:open_interval_gap_transport thm:ph_spectator_operator_order->thm:periodic-fixed-interaction-order thm:tp_data_irreducible tp_data_irreducible thm:tp_data_irreducible->thm:normalized_primitive_gauge lem:martingale_difference_vanishing_below_level martingale_difference_vanishing_below_level def:gauge_equiv gauge_equiv def:gauge_equiv->thm:local_ground_space_gauge_invariance def:gauge_equiv->lem:gauge_invariance_block_injective def:gauge_equiv->thm:word_tuple_span_gauge_invariance def:gauge_equiv->thm:gauge_invariance def:gauge_equiv->lem:rfp_parent_gauge_invariance def:gauge_equiv->thm:tp_data_irreducible thm:normal_open_chain_range_reduction normal_open_chain_range_reduction thm:normal_open_chain_range_reduction->thm:open_hamiltonian_kernel_le_ground_space thm:residual_isometry_family_one_gram residual_isometry_family_one_gram thm:residual_isometry_family_one_gram->thm:residual_family_two_site_support def:periodic-fixed-interaction periodic-fixed-interaction def:periodic-fixed-interaction->thm:periodic-fixed-interaction-canonical def:periodic-fixed-interaction->thm:periodic-fixed-interaction-order thm:mixed_observable_insertion_identities mixed_observable_insertion_identities thm:mixed_bulk_boundary_pullback_decay mixed_bulk_boundary_pullback_decay thm:mixed_observable_insertion_identities->thm:mixed_bulk_boundary_pullback_decay lem:qca_quasi_local_blocking_translation qca_quasi_local_blocking_translation lem:qca_quasi_local_blocking_translation->thm:blocked_stationary_expectation thm:fnw-dimension-four-coefficient fnw-dimension-four-coefficient thm:fnw-dimension-four-coefficient->thm:fnw-dimension-only-counterexample thm:weighted_sum_kernel weighted_sum_kernel thm:weighted_sum_kernel->thm:weighted_sum_gap_transfer thm:hamiltonian_eq hamiltonian_eq lem:eval_word_smul eval_word_smul lem:eval_word_smul->thm:gauge_phase_mpv_scaling lem:eval_word_smul->thm:normality_rescaling_invariance lem:eval_word_smul->thm:local_ground_space_rescaling def:ground_space_map ground_space_map def:ground_space_map->thm:tail_boundary_map_factorization def:ground_space_map->lem:mpv_eq_ground_space_map_one def:ground_space_map->lem:prefix_restrict_ground_space_map def:ground_space_map->def:ground_space_parent def:ground_space_map->thm:tail_boundary_map_append def:ground_space_map->thm:ground_space_restriction_overlap def:ground_space_map->thm:ground_space_map_injective_blk thm:left_boundary_map_append left_boundary_map_append def:ground_space_map->thm:left_boundary_map_append def:weighted-matrix-unit-path-vectors weighted-matrix-unit-path-vectors def:ground_space_map->def:weighted-matrix-unit-path-vectors thm:left_boundary_map_factorization left_boundary_map_factorization def:ground_space_map->thm:left_boundary_map_factorization thm:spectator-multiplier-interval-space spectator-multiplier-interval-space def:ground_space_map->thm:spectator-multiplier-interval-space def:ground_space_map_es ground_space_map_es def:ground_space_map->def:ground_space_map_es lem:ground_space_map_apply ground_space_map_apply def:ground_space_map->lem:ground_space_map_apply thm:left_boundary_map_append->thm:ph_extended_boundary_overlap thm:prefix_restrict_left_boundary_map prefix_restrict_left_boundary_map thm:left_boundary_map_append->thm:prefix_restrict_left_boundary_map def:weighted-matrix-unit-path-vectors->thm:matrix-unit-path-ground-space thm:weighted-matrix-unit-path-contractions weighted-matrix-unit-path-contractions def:weighted-matrix-unit-path-vectors->thm:weighted-matrix-unit-path-contractions thm:left_boundary_map_factorization->thm:spectator_boundary_hilbert_factorization thm:blocked_residual_boundary_identity blocked_residual_boundary_identity thm:left_boundary_map_factorization->thm:blocked_residual_boundary_identity thm:spectator-multiplier-interval-space->thm:fnw-marked-path-interval-spaces def:ground_space_map_es->thm:primitive_ground_space_map_eventual_inverse_gram_bound def:ground_space_map_es->thm:primitive_insertion_boundary_identity def:ground_space_map_es->def:block_ground_space_map def:ground_space_map_es->thm:whole_increment_ground_space_reassociation thm:ground_space_map_es_frobenius ground_space_map_es_frobenius def:ground_space_map_es->thm:ground_space_map_es_frobenius thm:mixed_boundary_gram_identity mixed_boundary_gram_identity def:ground_space_map_es->thm:mixed_boundary_gram_identity thm:ground_space_overlap_mixed_gram ground_space_overlap_mixed_gram def:ground_space_map_es->thm:ground_space_overlap_mixed_gram def:ground_space_gram ground_space_gram def:ground_space_map_es->def:ground_space_gram lem:ground_space_map_apply->thm:contiguous_restriction_ground_space_map thm:prefix_restrict_left_boundary_map->thm:left_boundary_map_range_eq thm:weighted-matrix-unit-path-contractions->thm:fnw-marked-path-interval-spaces thm:fnw-path-vector-norm-orthogonal fnw-path-vector-norm-orthogonal thm:weighted-matrix-unit-path-contractions->thm:fnw-path-vector-norm-orthogonal thm:blocked_residual_boundary_identity->thm:blocked_residual_ground_space_resolution def:residual_boundary_embedding residual_boundary_embedding thm:blocked_residual_boundary_identity->def:residual_boundary_embedding thm:ground_space_map_es_frobenius->thm:range_ground_space_map_es thm:ground_space_map_es_frobenius->thm:ground_space_map_es_single thm:ground_space_map_es_frobenius->thm:ground_space_map_es_injective_block thm:spectator_boundary_mixed_gram spectator_boundary_mixed_gram thm:ground_space_map_es_frobenius->thm:spectator_boundary_mixed_gram thm:left_boundary_map_es_injective left_boundary_map_es_injective thm:ground_space_map_es_frobenius->thm:left_boundary_map_es_injective thm:mixed_boundary_gram_decay mixed_boundary_gram_decay thm:mixed_boundary_gram_identity->thm:mixed_boundary_gram_decay thm:ground_space_overlap_mixed_gram->thm:block_ground_space_overlap_decay def:ground_space_gram->thm:ground_space_gram_is_unit_of_injective def:ground_space_gram->thm:left_finite_gram_cancellation def:ground_space_gram->thm:residual_window_grams def:ground_space_gram->thm:spectator_boundary_mixed_gram thm:residual_window_mixed_gram residual_window_mixed_gram def:ground_space_gram->thm:residual_window_mixed_gram thm:spectator_boundary_mixed_gram->thm:spectator_boundary_mixed_gram_centered thm:spectator_boundary_mixed_gram->thm:whole_increment_mixed_gram thm:fnw-path-vector-norm-orthogonal->thm:fnw-dimension-four-physical-defect def:residual_boundary_embedding->thm:periodic_boundary_uniform_lifts thm:mixed_boundary_gram_decay->thm:block_ground_space_overlap_decay thm:residual_window_mixed_gram->thm:residual_window_centered_gram_error thm:sum_entry_norm_sq_le_card_mul_l2_operator_norm_sq sum_entry_norm_sq_le_card_mul_l2_operator_norm_sq thm:sum_entry_norm_sq_le_card_mul_l2_operator_norm_sq->thm:primitive_tail_virtual_map_norm_uniform thm:quasi_local_interval_observable quasi_local_interval_observable thm:quasi_local_interval_observable->thm:quasi_local_bulk_inclusion thm:quasi_local_interval_observable->def:mps_ground_space_projection_matrix thm:quasi_local_interval_observable->thm:mps_quasi_local_interval_expectation thm:quasi_local_interval_observable->def:positive_interval_state_restriction thm:qca_blocking_quasi_local_interval qca_blocking_quasi_local_interval thm:quasi_local_interval_observable->thm:qca_blocking_quasi_local_interval thm:positive_functional_support_compression positive_functional_support_compression thm:quasi_local_interval_observable->thm:positive_functional_support_compression thm:qca_blocking_quasi_local_interval->thm:blocked_ground_projection_observable thm:qca_blocking_quasi_local_interval->thm:blocked_stationary_expectation thm:qca_blocking_quasi_local_interval->thm:blocked_interaction_window thm:original_local_observable_blocked_interval original_local_observable_blocked_interval thm:qca_blocking_quasi_local_interval->thm:original_local_observable_blocked_interval thm:positive_functional_support_compression->thm:eventual_kernel_ground_state_support_iff thm:positive_functional_support_compression->thm:primitive_supported_quasi_local_state_unique thm:positive_functional_support_compression->thm:interval_state_projection_estimates def:twisted_tensor twisted_tensor def:twisted_tensor->def:on_site_symmetric_up_to_phase thm:word_left_canonical_normalization word_left_canonical_normalization thm:whole_increment_left_virtual_norm whole_increment_left_virtual_norm thm:word_left_canonical_normalization->thm:whole_increment_left_virtual_norm thm:whole_increment_left_virtual_norm->thm:whole_increment_centered_residual_bound_left_canonical def:residual_window_coordinates residual_window_coordinates def:residual_window_coordinates->def:residual_window_mixed_gram_residual def:residual_window_coordinates->thm:residual_window_left_fiberwise_coordinates def:residual_window_coordinates->thm:residual_window_limiting_cancellation def:residual_window_coordinates->def:residual_cover_coordinates def:residual_window_coordinates->thm:residual_window_grams def:residual_window_coordinates->def:residual_window_overlap_factors def:residual_window_coordinates->thm:residual_window_cross_sector_pairing def:residual_window_coordinates->thm:residual_window_factorizations def:residual_window_coordinates->thm:residual_window_mixed_gram def:residual_boundary_config_equiv residual_boundary_config_equiv def:residual_window_coordinates->def:residual_boundary_config_equiv thm:residual_window_virtual_norm residual_window_virtual_norm def:residual_window_coordinates->thm:residual_window_virtual_norm def:residual_boundary_config_equiv->thm:residual_window_right_fiberwise thm:residual_window_virtual_norm->thm:residual_window_mixed_gram_decay thm:parent_hamiltonian_eventual_gap parent_hamiltonian_eventual_gap thm:parent_hamiltonian_eventual_gap->thm:normal_mps_parent_hamiltonian_gap thm:parent_hamiltonian_eventual_gap->thm:block-parent-uniform-gap-simultaneous-injectivity thm:parent_hamiltonian_eventual_gap->thm:primitive-block-parent-uniform-gap-three-block-bound thm:period_one_primitive_witness period_one_primitive_witness thm:period_one_primitive_witness->thm:periodic_correlated_residual_gram lem:two_projection_friedrichs_compression two_projection_friedrichs_compression lem:two_projection_friedrichs_product two_projection_friedrichs_product lem:two_projection_friedrichs_compression->lem:two_projection_friedrichs_product lem:two_projection_friedrichs_directional two_projection_friedrichs_directional lem:two_projection_friedrichs_product->lem:two_projection_friedrichs_directional lem:two_projection_kernel_complement_compression two_projection_kernel_complement_compression lem:two_projection_friedrichs_directional->lem:two_projection_kernel_complement_compression thm:irreducible_tensor_rotate_physical irreducible_tensor_rotate_physical thm:irreducible_tensor_rotate_physical->thm:block_isometric_deformation_symmetry_permutation thm:irreducible_tensor_rotate_physical->thm:injective_isometric_deformation_tp_covariance thm:cyclic_knabe_double_counting cyclic_knabe_double_counting thm:cyclic_knabe_double_counting->thm:cyclic_knabe_cross_estimates thm:appendixB_physical_isometry_tensor_power appendixB_physical_isometry_tensor_power thm:appendixB_physical_isometry_tensor_power->thm:appendixB_two_site_basic_support_projectors_commute thm:local-term-right-spectator-conjugacy local-term-right-spectator-conjugacy thm:open-hamiltonian-right-spectator-conjugacy open-hamiltonian-right-spectator-conjugacy thm:local-term-right-spectator-conjugacy->thm:open-hamiltonian-right-spectator-conjugacy thm:open-hamiltonian-right-spectator-conjugacy->thm:grouped_spectator_norm thm:open-hamiltonian-right-spectator-conjugacy->thm:open_interval_gap_transport thm:fixed-volume-c3-projector-conjugacy fixed-volume-c3-projector-conjugacy thm:open-hamiltonian-right-spectator-conjugacy->thm:fixed-volume-c3-projector-conjugacy thm:fixed-volume-c3-projector-conjugacy->thm:open_parent_hamiltonian_fixed_c3_gap thm:fixed-volume-c3-projector-conjugacy->thm:grouped_open_parent_gap thm:fixed-volume-c3-projector-conjugacy->thm:literal_fixed_volume_martingale_c3 thm:fixed-volume-c3-projector-conjugacy->thm:ph_reassociated_suffix_kernel thm:fixed-volume-c3-projector-conjugacy->thm:ph_prefix_kernel_free_right_sites thm:parent_hamiltonian_fixed_length_gap->thm:parent_hamiltonian_eventual_gap thm:open_parent_overlapping_interval_gap open_parent_overlapping_interval_gap thm:open_parent_overlapping_interval_gap->thm:primitive_block_sum_open_gap_all_lengths thm:open_parent_overlapping_interval_gap->thm:open_cover_energy_kernel def:whole_increment_left_overlap_factor whole_increment_left_overlap_factor def:whole_increment_left_overlap_factor->def:c3_centered_overlap_factors_residual def:whole_increment_left_overlap_factor->thm:whole_increment_left_overlap_factor_apply def:whole_increment_left_overlap_factor->def:whole_increment_centered_residual thm:whole_increment_overlap_factor_norms whole_increment_overlap_factor_norms def:whole_increment_left_overlap_factor->thm:whole_increment_overlap_factor_norms thm:whole_increment_overlap_factor_norms->thm:c3_centered_overlap_factorization_geometric thm:whole_increment_overlap_factor_norms->thm:whole_increment_centered_residual_bound thm:fnw_dimension_matrix_unit_transfer fnw_dimension_matrix_unit_transfer thm:fnw_dimension_matrix_unit_transfer->thm:fnw_dimension_markov_channel thm:trace_eval_word_eq_sum_cyclic trace_eval_word_eq_sum_cyclic thm:cyclic_primitive_sector_resolution cyclic_primitive_sector_resolution thm:cyclic_primitive_sector_resolution->thm:periodic_boundary_uniform_lifts thm:cyclic_primitive_sector_resolution->thm:periodic_original_intersection thm:cyclic_primitive_sector_resolution->thm:periodic_residual_window_joint_projection_decay thm:cyclic_primitive_sector_resolution->thm:periodic_residual_projection_sum lem:right_spectator_quadratic_form_gap right_spectator_quadratic_form_gap lem:right_spectator_quadratic_form_gap->thm:parent_hamiltonian_gap_from_open_knabe_block def:corner_boundary_space corner_boundary_space def:corner_boundary_space->thm:isometric_compression_corner_boundary def:source_reversed_product_observable source_reversed_product_observable def:source_reversed_product_observable->thm:source_ordered_heisenberg_trace_reversal lem:ldp_observable_transfer_products ldp_observable_transfer_products lem:ldp_observable_transfer_products->thm:source_ordered_heisenberg_trace_reversal def:two_site_parent_interaction_matrix two_site_parent_interaction_matrix def:two_site_parent_interaction_matrix->thm:two_site_parent_interaction_commuting_overlaps thm:ph_off_diagonal_pairing ph_off_diagonal_pairing thm:ph_off_diagonal_pairing->thm:ph_sum_block_projectors thm:ph_off_diagonal_projectors ph_off_diagonal_projectors thm:ph_off_diagonal_pairing->thm:ph_off_diagonal_projectors thm:ph_off_diagonal_projectors->thm:ph_joint_projector_comparison thm:fp_inv_proj fp_inv_proj thm:fp_inv_proj->thm:stationary_support_faithful_generators thm:partial_trace_left_hermitian partial_trace_left_hermitian thm:left_canonical_physical_dimension left_canonical_physical_dimension thm:left_canonical_physical_dimension->thm:faithful_generators_quasi_local_gap thm:left_canonical_physical_dimension->thm:stationary_support_quasi_local_state_equality thm:left_canonical_physical_dimension->thm:local_mps_density_support lem:eval_word_append eval_word_append lem:eval_word_append->thm:tail_boundary_map_factorization lem:eval_word_append->lem:prefix_restrict_ground_space_map lem:eval_word_append->thm:contiguous_restriction_ground_space_map lem:eval_word_append->thm:left_boundary_map_factorization lem:eval_word_append->thm:spectator_boundary_mixed_gram lem:eval_word_block eval_word_block lem:eval_word_append->lem:eval_word_block lem:eval_word_block->thm:blocked_residual_boundary_identity lem:block_word_trace_algebra_automorphism block_word_trace_algebra_automorphism lem:block_word_trace_algebra_automorphism->thm:block_isometric_deformation_symmetry_permutation def:mps_quasi_local_expectation mps_quasi_local_expectation def:mps_quasi_local_expectation->thm:mps_quasi_local_expectation_state def:beigi_sector_graph beigi_sector_graph def:beigi_sector_graph->thm:beigi_ordered_cycle_ground_space_dimension def:beigi_sector_graph->thm:beigi_eventually_constant_sector_graph def:beigi_sector_graph->thm:beigi_complement_product_conjugation thm:nncph_beigi_sector_graph nncph_beigi_sector_graph def:beigi_sector_graph->thm:nncph_beigi_sector_graph thm:beigi_complement_product_fixed_vector beigi_complement_product_fixed_vector def:beigi_sector_graph->thm:beigi_complement_product_fixed_vector def:beigi_loop_product_state beigi_loop_product_state def:beigi_sector_graph->def:beigi_loop_product_state thm:beigi_complement_product_fixed_vector->thm:beigi_loop_product_state_ground_state def:beigi_loop_product_state->def:beigi_loop_schmidt_support def:beigi_loop_product_state->thm:beigi_loop_product_state_ground_state def:residual_extended_gram_supported_inverse->def:residual_window_mixed_gram_residual def:residual_extended_gram_supported_inverse->thm:residual_supported_inverse_small_error def:three_coordinate_identification three_coordinate_identification def:three_coordinate_identification->thm:pair_lift_kronecker_matrices def:mps_transfer_idempotence mps_transfer_idempotence def:mps_transfer_idempotence->thm:rfp_multiplicity_one_bnt_parent_ground_spaces def:mps_transfer_idempotence->thm:rfp_multiplicity_one_bnt_nncph def:mps_transfer_idempotence->thm:beigi_normalized_minimal_loop_tensor_rfp thm:rfp_nt_injective rfp_nt_injective def:mps_transfer_idempotence->thm:rfp_nt_injective thm:direct_sum_transfer_idempotent_iff_pairwise_mixed direct_sum_transfer_idempotent_iff_pairwise_mixed def:mps_transfer_idempotence->thm:direct_sum_transfer_idempotent_iff_pairwise_mixed thm:physical_blocking_isometry_iff_transfer_idempotence physical_blocking_isometry_iff_transfer_idempotence def:mps_transfer_idempotence->thm:physical_blocking_isometry_iff_transfer_idempotence thm:rfp_nt_injective->thm:rfp_single_normal_nncph_ground_spaces thm:direct_sum_transfer_idempotent_iff_pairwise_mixed->thm:nncph_implies_rfp_basis_direct_sum thm:physical_blocking_isometry_iff_transfer_idempotence->lem:rfp_parent_gauge_invariance thm:block_word_span_independent_rescaling block_word_span_independent_rescaling thm:block_word_span_independent_rescaling->thm:block_word_span_propagation thm:block_word_span_independent_rescaling->thm:block_word_span_primitive_normalization rem:wolf_6_8_pairwise wolf_6_8_pairwise rem:wolf_6_8_pairwise->thm:normal_irreducible_tensor rem:wolf_6_8_pairwise->thm:normalized_normal_strongly_irreducible def:tripartite_marginal_supports tripartite_marginal_supports def:tripartite_marginal_supports->thm:tripartite_complementary_product_zero thm:tripartite_ax_support_absorption tripartite_ax_support_absorption def:tripartite_marginal_supports->thm:tripartite_ax_support_absorption thm:tripartite_xb_support_absorption tripartite_xb_support_absorption def:tripartite_marginal_supports->thm:tripartite_xb_support_absorption thm:tripartite_ax_support_absorption->thm:tripartite_support_products thm:tripartite_xb_support_absorption->thm:tripartite_support_products lem:prefix_restrict_one_eq_restrict_last prefix_restrict_one_eq_restrict_last lem:prefix_restrict_one_eq_restrict_last->thm:left_boundary_map_range_es_transport thm:parent_ground_space_es_kernel parent_ground_space_es_kernel thm:parent_ground_space_es_kernel->lem:parent_hamiltonian_es_quadratic_reduction thm:parent_ground_space_es_kernel->lem:mem_parent_ground_space_es thm:sector_separation_bond_transport sector_separation_bond_transport thm:sector_separation_bond_transport->thm:periodic_block_family_ground_states thm:sector_separation_bond_transport->thm:periodic_block_family_quasi_local_gap thm:sector_separation_bond_transport->thm:periodic_quasi_local_ground_state_classification thm:sector_separation_bond_transport->thm:periodic_quasi_local_ground_state_gap thm:sector_separation_bond_transport->thm:blocked_primitive_aligned_uniform_gap thm:correlated_residual_overlap correlated_residual_overlap thm:correlated_residual_overlap->thm:residual_sector_overlap_decay def:has_commuting_parent_ham has_commuting_parent_ham def:has_commuting_parent_ham->thm:has_commuting_parent_ham_of_idem def:has_commuting_parent_ham->thm:reverse_product def:has_commuting_parent_ham->thm:hamiltonian_eq thm:commuting_ham_is_decorrelated commuting_ham_is_decorrelated def:has_commuting_parent_ham->thm:commuting_ham_is_decorrelated thm:pXB_comp_pK pXB_comp_pK def:has_commuting_parent_ham->thm:pXB_comp_pK thm:pK_comp_pAX pK_comp_pAX def:has_commuting_parent_ham->thm:pK_comp_pAX thm:complement_comm complement_comm def:has_commuting_parent_ham->thm:complement_comm thm:pK_comp_pXB pK_comp_pXB def:has_commuting_parent_ham->thm:pK_comp_pXB thm:pk_idem pk_idem def:has_commuting_parent_ham->thm:pk_idem thm:pAX_comp_pK pAX_comp_pK def:has_commuting_parent_ham->thm:pAX_comp_pK thm:has_commuting_parent_ham_is_decorrelated has_commuting_parent_ham_is_decorrelated thm:commuting_ham_is_decorrelated->thm:has_commuting_parent_ham_is_decorrelated thm:mem_ground_iff mem_ground_iff thm:pXB_comp_pK->thm:mem_ground_iff thm:pAX_comp_pK->thm:mem_ground_iff thm:weighted-virtual-inner-product weighted-virtual-inner-product thm:weighted-virtual-inner-product->def:fnw_weighted_remainder_data def:weighted-virtual-euclidean-realization weighted-virtual-euclidean-realization thm:weighted-virtual-inner-product->def:weighted-virtual-euclidean-realization thm:weighted-virtual-norm-formula weighted-virtual-norm-formula thm:weighted-virtual-inner-product->thm:weighted-virtual-norm-formula thm:ground_projection_commutator_gap ground_projection_commutator_gap thm:ground_projection_commutator_gap->cor:commutator_gap_rank_one_limit thm:commutator_gap_projection_limit commutator_gap_projection_limit thm:ground_projection_commutator_gap->thm:commutator_gap_projection_limit thm:commutator_gap_projection_limit->thm:primitive_local_commutator_gap thm:commutator_gap_projection_limit->thm:multiblock_commutator_gap_reduction thm:commutator_gap_projection_limit->thm:primitive_bulk_commutator_gap_reduction thm:normal_from_primitive_posdef normal_from_primitive_posdef thm:normal_from_primitive_posdef->thm:primitive_fnw_projector_defect_geometric thm:normal_from_primitive_posdef->thm:fnw-eventual-projector-prescribed-prefactor thm:normal_from_primitive_posdef->thm:primitive_local_commutator_wielandt thm:normal_from_primitive_posdef->thm:ph_primitive_blocks_word_span rem:contiguous_window_operators contiguous_window_operators rem:contiguous_window_operators->thm:contiguous_restriction_ground_space_map rem:contiguous_window_operators->thm:normal_open_chain_range_reduction lem:open_chain_iteration_subspace_sequence open_chain_iteration_subspace_sequence rem:contiguous_window_operators->lem:open_chain_iteration_subspace_sequence lem:open_chain_iteration_subspace_sequence->thm:ph_tp_block_open_ground_space lem:open_chain_iteration_subspace_sequence->thm:canonical_open_kernel_from_eventual_intersection thm:subspace_overlap_lower_gram subspace_overlap_lower_gram thm:subspace_overlap_lower_gram->thm:periodic_boundary_uniform_lifts thm:subspace_overlap_lower_gram->thm:subspace_independence_overlap_matrix thm:subspace_overlap_lower_gram->thm:ph_off_diagonal_pairing thm:subspace_overlap_sum subspace_overlap_sum thm:subspace_overlap_lower_gram->thm:subspace_overlap_sum thm:subspace_overlap_sum->thm:subspace_overlap_sum_uniform def:eval_word eval_word def:eval_word->lem:eval_word_gauge def:eval_word->def:word_span def:eval_word->def:mpv def:eval_word->lem:eval_word_smul def:eval_word->def:ground_space_map def:eval_word->thm:word_left_canonical_normalization def:eval_word->lem:eval_word_append def:tail_boundary_map tail_boundary_map def:eval_word->def:tail_boundary_map def:left_boundary_map left_boundary_map def:eval_word->def:left_boundary_map def:physical_observable_transfer physical_observable_transfer def:eval_word->def:physical_observable_transfer def:tail_boundary_map->thm:tail_boundary_map_factorization def:tail_boundary_map->thm:tail_spectator_pseudoinverse_bound def:tail_boundary_map->thm:tail_boundary_map_append def:tail_boundary_map->thm:spectator_boundary_mixed_gram def:spectator_boundary_maps_es spectator_boundary_maps_es def:tail_boundary_map->def:spectator_boundary_maps_es def:left_boundary_map->thm:left_spectator_pseudoinverse_bound def:left_boundary_map->thm:left_boundary_map_append def:left_boundary_map->thm:left_boundary_map_factorization def:left_boundary_map->thm:spectator_boundary_mixed_gram def:left_boundary_map->def:spectator_boundary_maps_es def:physical_observable_transfer->thm:observable_insertion_isometric_intertwiner def:spectator_boundary_maps_es->thm:fnw-eventual-projector-prescribed-prefactor def:spectator_boundary_maps_es->thm:primitive_whole_increment_defect_decay def:spectator_boundary_maps_es->thm:spectator_boundary_hilbert_factorization def:spectator_boundary_maps_es->thm:ph_extended_boundary_overlap def:spectator_boundary_maps_es->thm:reassociated_tail_boundary_one_site def:spectator_boundary_maps_es->thm:spectator-multiplier-interval-space def:spectator_boundary_maps_es->thm:left_boundary_map_es_injective thm:appendixB_physical_isometry_left_inverse appendixB_physical_isometry_left_inverse thm:primitive_stationary_witness_transport primitive_stationary_witness_transport thm:primitive_stationary_witness_transport->thm:powered_cyclic_primitive_resolution lem:frustration_free_ham_eq frustration_free_ham_eq lem:frustration_free_ham_eq->thm:hamiltonian_eq def:normal normal def:normal->thm:gauge_invariance_normal def:normal->thm:normality_rescaling_invariance def:normal->thm:normal_irreducible_tensor def:normal->thm:normalized_normal_strongly_irreducible def:normal->def:bnt def:normal->thm:beigi_minimal_loop_tensor_injective def:normal->thm:cpsv_normal_eventually_injective def:normal->thm:rfp_nt_injective def:normal->thm:normal_from_primitive_posdef thm:normal_tensor_nonzero_matrix normal_tensor_nonzero_matrix def:normal->thm:normal_tensor_nonzero_matrix thm:normal_tensor_nonzero_matrix->thm:normalized_primitive_gauge lem:positive_open_window_counting positive_open_window_counting lem:positive_open_window_counting->thm:positive_open_interaction_range_comparison thm:continuous_injective_range_projector continuous_injective_range_projector thm:continuous_injective_range_projector->thm:block_ground_space_continuity thm:continuous_injective_range_projector->thm:continuous_finite_window_parent_hamiltonian thm:continuous_injective_range_projector->thm:continuous_block_finite_window_parent_hamiltonian thm:boundary_injectivity_adjoint_span boundary_injectivity_adjoint_span thm:boundary_injectivity_adjoint_span->thm:cyclic_boundary_intersection def:tripartite_decorrelation tripartite_decorrelation def:tripartite_decorrelation->thm:tripartite_marginal_complementary_product_zero def:tripartite_decorrelation->thm:tripartite_observable_decorrelation_iff thm:tripartite_decorrelation_reverse tripartite_decorrelation_reverse def:tripartite_decorrelation->thm:tripartite_decorrelation_reverse thm:tripartite_decorrelation_reverse->thm:tripartite_reverse_marginal_complementary_product_zero lem:partial_trace_right_identity partial_trace_right_identity def:irreducible_tensor irreducible_tensor def:irreducible_tensor->thm:transfer_operator_gap_rect_irr_tp def:irreducible_tensor->thm:normal_irreducible_tensor def:irreducible_tensor->thm:primitive_from_strongly_irred def:irreducible_tensor->thm:tp_data_irreducible thm:transfer_operator_gap_irr_tp transfer_operator_gap_irr_tp def:irreducible_tensor->thm:transfer_operator_gap_irr_tp thm:periodic_self_overlap_tendsto periodic_self_overlap_tendsto def:irreducible_tensor->thm:periodic_self_overlap_tendsto thm:irreducible_left_canonical_periodic irreducible_left_canonical_periodic def:irreducible_tensor->thm:irreducible_left_canonical_periodic lem:left_canonical_irreducible_same_phase_unitary_gauge left_canonical_irreducible_same_phase_unitary_gauge def:irreducible_tensor->lem:left_canonical_irreducible_same_phase_unitary_gauge thm:projector_closure_irreducible_corners projector_closure_irreducible_corners def:irreducible_tensor->thm:projector_closure_irreducible_corners thm:transfer_operator_gap_irr_tp->thm:inequivalent_block_ground_space_overlap_decay thm:periodic_self_overlap_tendsto->thm:periodic_phase_relation_support thm:irreducible_left_canonical_periodic->thm:faithful_periodic_ground_space_presentation lem:left_canonical_irreducible_same_phase_unitary_gauge->thm:block_isometric_deformation_symmetry_permutation lem:left_canonical_irreducible_same_phase_unitary_gauge->thm:injective_isometric_deformation_tp_covariance thm:projector_closure_irreducible_corners->thm:faithful_periodic_ground_space_presentation thm:commuting_positive_interaction_symmetric_spatial_form commuting_positive_interaction_symmetric_spatial_form thm:commuting_positive_interaction_symmetric_spatial_form->thm:nncph_beigi_sector_graph def:tripartite_observable_decorrelation tripartite_observable_decorrelation def:tripartite_observable_decorrelation->thm:tripartite_observable_decorrelation_iff thm:parent-interaction-comparison parent-interaction-comparison thm:parent-interaction-comparison->thm:positive-parent-interaction-periodic-comparison thm:qca_purity_of_supported_uniqueness qca_purity_of_supported_uniqueness thm:qca_purity_of_supported_uniqueness->thm:primitive_quasi_local_purity def:qca_translate_region qca_translate_region def:qca_translate_region->lem:qca_finite_local_translation_naturality def:qca_translate_region->thm:local_interval_translation_coordinates def:primitive_mps primitive_mps def:primitive_mps->thm:primitive_tail_virtual_map_norm_uniform def:primitive_mps->thm:primitive_whole_increment_centered_residual_bound def:primitive_mps->thm:periodic_primitive_ground_space def:primitive_mps->thm:primitive_ground_space_gram_geometric_fixed_point def:primitive_mps->thm:primitive_from_strongly_irred def:primitive_mps->lem:irreducible_map_from_primitive def:primitive_mps->thm:fnw-transfer-eigenvalue-from-remainder def:primitive_mps->thm:period_one_primitive_witness def:primitive_mps->thm:normal_from_primitive_posdef thm:primitive_fnw_remainder_power primitive_fnw_remainder_power def:primitive_mps->thm:primitive_fnw_remainder_power thm:primitive_ground_space_gram_tendsto_fixed_point primitive_ground_space_gram_tendsto_fixed_point def:primitive_mps->thm:primitive_ground_space_gram_tendsto_fixed_point thm:fnw_remainder_eigenvalue_gap fnw_remainder_eigenvalue_gap def:primitive_mps->thm:fnw_remainder_eigenvalue_gap thm:primitive_fnw_remainder_power->thm:fnw_mixing_quantity_geometric thm:primitive_fnw_remainder_power->thm:primitive_insertion_transfer_limit thm:primitive_ground_space_gram_tendsto_fixed_point->thm:primitive_ground_space_gram_inverse_tendsto thm:primitive_ground_space_gram_tendsto_fixed_point->thm:primitive_ground_space_gram_eventual_inverse_bound thm:fnw_remainder_eigenvalue_gap->thm:fnw-transfer-eigenvalue-rate def:tripartite_parent_commuting_hamiltonian tripartite_parent_commuting_hamiltonian def:tripartite_parent_commuting_hamiltonian->thm:tripartite_ground_space_intersection_iff_product thm:projection_anticommutator_upper_bound projection_anticommutator_upper_bound thm:projection_anticommutator_upper_bound->thm:cyclic_knabe_cross_estimates thm:cyclic_window_complement_product_factorization cyclic_window_complement_product_factorization lem:positive_canonical_interaction_exact_open_kernels positive_canonical_interaction_exact_open_kernels lem:positive_canonical_interaction_exact_open_kernels->thm:periodic_family_interaction_independence_criterion def:friedrichs_overlap_bound friedrichs_overlap_bound def:friedrichs_overlap_bound->thm:friedrichs_ground_space_excitation_anticommutator def:friedrichs_overlap_bound->lem:two_projection_friedrichs_compression thm:projector_defect_to_friedrichs projector_defect_to_friedrichs def:friedrichs_overlap_bound->thm:projector_defect_to_friedrichs thm:projector_defect_to_friedrichs->thm:nachtergaele_open_chain_projector_defect thm:primitive_sector_representatives_exact_support primitive_sector_representatives_exact_support thm:primitive_sector_representatives_exact_support->thm:periodic_ground_state_presentation thm:primitive_sector_representatives_exact_support->thm:primitive_nested_family_presentation thm:project_local_one_site_parent_hamiltonian_zero project_local_one_site_parent_hamiltonian_zero thm:qca_compatible_state_evaluation qca_compatible_state_evaluation thm:qca_compatible_state_extension qca_compatible_state_extension thm:qca_compatible_state_evaluation->thm:qca_compatible_state_extension thm:qca_compatible_state_extension->thm:primitive_supported_quasi_local_state_unique thm:qca_compatible_state_extension->thm:mps_quasi_local_expectation_state thm:uniform_upper_bound_all_selections uniform_upper_bound_all_selections thm:uniform_upper_bound_all_selections->thm:open_gap_residue_cover_limit thm:uniform_upper_bound_all_selections->thm:aligned_residue_cover_gap_limit lem:compact_uniform_pos_nat_bounds compact_uniform_pos_nat_bounds lem:compact_uniform_pos_nat_bounds->thm:compact_block_word_span lem:compact_uniform_pos_nat_bounds->thm:compact_kernel_gap def:blocked_tensor blocked_tensor def:blocked_tensor->thm:martingale_mps def:blocked_tensor->thm:cpsv_bnt_blocked_simultaneous_span def:blocked_tensor->thm:blocked_local_ground_space_transport def:blocked_tensor->lem:eval_word_block def:blocked_tensor->thm:periodic_self_overlap_tendsto thm:euclidean_fiberwise_projection euclidean_fiberwise_projection thm:euclidean_fiberwise_projection->thm:residual_window_left_sector_sum thm:euclidean_fiberwise_projection->thm:residual_window_left_original_ground_space def:qca_quasi_local_translation qca_quasi_local_translation def:qca_quasi_local_translation->thm:mps_quasi_local_translation_invariance def:qca_quasi_local_translation->lem:qca_quasi_local_blocking_translation def:mixed_observable_insertion mixed_observable_insertion def:mixed_observable_insertion->thm:mixed_observable_insertion_identities thm:mixed_observable_sandwich_decay mixed_observable_sandwich_decay def:mixed_observable_insertion->thm:mixed_observable_sandwich_decay thm:mixed_observable_sandwich_decay->thm:mixed_bulk_boundary_pullback_decay lem:norm_gap_to_squared_quadratic_form norm_gap_to_squared_quadratic_form lem:norm_gap_to_squared_quadratic_form->lem:right_spectator_quadratic_form_gap thm:matrix_family_trace_duality matrix_family_trace_duality thm:matrix_family_trace_duality->thm:block_ground_space_map_injective def:left_canonical_tensor left_canonical_tensor def:left_canonical_tensor->thm:trace_preserving_isometric_corner def:left_canonical_tensor->thm:left_canonical_physical_dimension def:left_canonical_tensor->thm:periodic_self_overlap_tendsto def:left_canonical_tensor->thm:irreducible_left_canonical_periodic def:left_canonical_tensor->lem:left_canonical_irreducible_same_phase_unitary_gauge thm:faithful_stationary_projector_closure faithful_stationary_projector_closure def:left_canonical_tensor->thm:faithful_stationary_projector_closure thm:faithful_stationary_projector_closure->thm:faithful_periodic_ground_space_presentation def:qca_blocking_functional qca_blocking_functional def:qca_blocking_functional->thm:blocked_ground_projection_expectation def:qca_blocking_functional->thm:qca_blocking_state_purity thm:disjoint_interval_observables_commute disjoint_interval_observables_commute thm:disjoint_interval_observables_commute->thm:finite_open_commutator_locality thm:disjoint_interval_observables_commute->thm:bulk_cross_compression_prefix_bound def:nested-ground-projection-differences nested-ground-projection-differences def:nested-ground-projection-differences->thm:fixed-volume-prefix-ground-projections-nested thm:orthogonal-martingale-difference-resolution orthogonal-martingale-difference-resolution def:nested-ground-projection-differences->thm:orthogonal-martingale-difference-resolution thm:orthogonal-martingale-difference-resolution->thm:truncated-martingale-difference-reconstruction thm:martingale-difference-pythagorean-identity martingale-difference-pythagorean-identity thm:orthogonal-martingale-difference-resolution->thm:martingale-difference-pythagorean-identity thm:outside-window-martingale-cancellation outside-window-martingale-cancellation thm:orthogonal-martingale-difference-resolution->thm:outside-window-martingale-cancellation thm:martingale-difference-pythagorean-identity->thm:nachtergaele_c1_c3_threshold_energy_estimate thm:martingale-difference-pythagorean-identity->thm:martingale-difference-final-complement-norm-decomposition thm:outside-window-martingale-cancellation->thm:nachtergaele_c1_c3_threshold_energy_estimate thm:outside-window-martingale-cancellation->thm:physical-outside-window-martingale-cancellation def:tail_restrict_parent tail_restrict_parent def:tail_restrict_parent->thm:adjacent_local_term_coordinate_identifications def:tail_restrict_parent->thm:tail_restrict_tail_boundary_map def:tail_restrict_parent->thm:normal_open_chain_range_reduction def:prefix_restrict prefix_restrict def:tail_restrict_parent->def:prefix_restrict def:prefix_restrict->lem:prefix_restrict_ground_space_map def:prefix_restrict->thm:prefix_restrict_left_boundary_map def:prefix_restrict->thm:left_boundary_map_es_injective def:prefix_restrict->lem:prefix_restrict_one_eq_restrict_last def:extract_window extract_window def:extract_window->thm:open_parent_hamiltonian_full_window def:extract_window->def:local_term_parent def:gauge_phase_equiv gauge_phase_equiv def:gauge_phase_equiv->lem:mixed_transfer_gauge_phase_zero def:gauge_phase_equiv->thm:normal_blocks_primitive_representatives def:gauge_phase_equiv->thm:gauge_phase_mpv_scaling def:gauge_phase_equiv->thm:ph_primitive_blocks_word_span def:gauge_phase_equiv->thm:cpsv_normal_mpv_phase_gauge def:gauge_phase_equiv->thm:transfer_operator_gap_irr_tp def:sector_weight_data sector_weight_data def:sector_weight_data->def:sector_bnt_cf def:sector_weight_data->thm:nncph_eventual_ground_space_dimension def:canonical_parent_interaction_matrix canonical_parent_interaction_matrix def:canonical_parent_interaction_matrix->thm:canonical_parent_generated_state def:canonical_parent_interaction_matrix->lem:canonical_interaction_support_transport def:canonical_parent_interaction_matrix->thm:periodic_positive_parent_gap_all_volumes def:canonical_parent_interaction_matrix->lem:positive_canonical_interaction_exact_open_kernels thm:mps_support_contained_interval mps_support_contained_interval thm:mps_support_contained_interval->thm:eventual_symmetric_mps_support_all_intervals thm:mps_support_contained_interval->thm:blocked_aligned_mps_support_iff lem:trace_gauge_boundary trace_gauge_boundary lem:trace_gauge_boundary->thm:local_ground_space_gauge_invariance thm:geometric_bound_of_spectral_radius_lt_one geometric_bound_of_spectral_radius_lt_one thm:geometric_bound_of_spectral_radius_lt_one->thm:primitive_tail_virtual_map_norm_uniform lem:gauge_equiv_twisted gauge_equiv_twisted lem:gauge_equiv_twisted->thm:injective_isometric_deformation_tp_covariance lem:gauge_equiv_twisted->thm:injective_isometric_deformation_derived_covariance thm:three_operator_perturbation three_operator_perturbation thm:three_operator_perturbation_limit three_operator_perturbation_limit thm:three_operator_perturbation->thm:three_operator_perturbation_limit thm:three_operator_perturbation_limit->thm:residual_window_mixed_gram_decay thm:primitive_representative_support_gauge primitive_representative_support_gauge thm:primitive_representative_support_gauge->thm:periodic_phase_relation_support thm:primitive_representative_support_gauge->thm:distinct_periodic_corner_separation thm:primitive_representative_support_gauge->thm:primitive_sector_representatives_exact_support def:restrict_last restrict_last def:restrict_last->thm:adjacent_local_term_coordinate_identifications def:restrict_last->lem:prefix_restrict_one_eq_restrict_last thm:quasi_local_state_space_convex quasi_local_state_space_convex thm:quasi_local_state_space_convex->thm:quasi_local_parent_ground_state_face_properties thm:finite_pure_state_decomposition finite_pure_state_decomposition thm:quasi_local_state_space_convex->thm:finite_pure_state_decomposition thm:finite_pure_state_decomposition->thm:primitive_joint_mps_supported_state_classification thm:finite_pure_state_decomposition->thm:primitive_multiblock_pure_ground_state_classification def:appendixB_physical_isometry_tensor_power appendixB_physical_isometry_tensor_power def:appendixB_physical_isometry_tensor_power->thm:appendixB_physical_isometry_tensor_power def:appendixB_two_site_bond_embedding appendixB_two_site_bond_embedding def:appendixB_physical_isometry_tensor_power->def:appendixB_two_site_bond_embedding def:appendixB_two_site_bond_embedding->def:residual_family_two_site_support def:appendixB_two_site_bond_embedding->thm:appendixB_weighted_two_site_boundary_surjective def:appendixB_virtual_bond_projectors appendixB_virtual_bond_projectors def:appendixB_two_site_bond_embedding->def:appendixB_virtual_bond_projectors def:appendixB_virtual_bond_projectors->thm:appendixB_virtual_bond_projectors_commute def:gram_reshuffle gram_reshuffle def:gram_reshuffle->def:c3_centered_overlap_factors_residual def:gram_reshuffle->thm:fixed_point_gram_metric_exact def:gram_reshuffle->thm:primitive_insertion_boundary_identity thm:weighted-matrix-unit-normalization weighted-matrix-unit-normalization thm:weighted-matrix-unit-normalization->thm:fnw_dimension_markov_channel lem:periodic_scale_of_irreducible periodic_scale_of_irreducible lem:periodic_scale_of_irreducible->thm:periodic_primitive_ground_space def:l_blk_injective l_blk_injective def:l_blk_injective->lem:gauge_invariance_block_injective def:l_blk_injective->thm:wordspan_blk_inj_succ def:l_blk_injective->thm:block_injective_of_word_tuple_span def:l_blk_injective->thm:open_chain_left_tail_ground_intersection def:l_blk_injective->thm:ground_space_map_injective_blk def:l_blk_injective->thm:normal_open_chain_range_reduction def:l_blk_injective->def:normal thm:boundary_fiberwise_map_sub boundary_fiberwise_map_sub thm:boundary_fiberwise_map_sub->thm:c3_correction_factorizations def:open_suffix_interaction_sum open_suffix_interaction_sum def:open_suffix_interaction_sum->lem:open_interaction_suffix_comparison def:open_suffix_interaction_sum->lem:positive_open_window_counting def:mixed_transfer_rect mixed_transfer_rect def:mixed_transfer_rect->thm:transfer_operator_gap_rect_irr_tp def:mixed_transfer_rect->thm:mixed_boundary_gram_identity def:mixed_transfer_rect->thm:direct_sum_transfer_idempotent_iff_pairwise_mixed def:cyclic_window_complement_indexing cyclic_window_complement_indexing def:cyclic_window_complement_indexing->thm:three_site_anticommutator_cyclic_transport def:cyclic_window_complement_indexing->def:cyclic_active_block_coordinates def:cyclic_window_complement_indexing->thm:cyclic_window_complement_product_factorization thm:virtual_gauge_fixes_boundary_state virtual_gauge_fixes_boundary_state thm:virtual_gauge_fixes_boundary_state->thm:injective_isometric_deformation_derived_covariance lem:bnt_block_diagonal_crossing_pgvwc_comparison_ground_space bnt_block_diagonal_crossing_pgvwc_comparison_ground_space lem:bnt_block_diagonal_crossing_pgvwc_comparison_ground_space->lem:block_diagonal_kernel_to_bnt_span_from_crossing_pgvwc_comparison thm:finite_convex_weights_compactness finite_convex_weights_compactness thm:finite_convex_weights_compactness->thm:multiblock_supported_quasi_local_state_convex_combination thm:fnw-projection-witness-bound fnw-projection-witness-bound thm:fnw-projection-witness-bound->thm:fnw-dimension-four-physical-defect lem:right-spectator-extension right-spectator-extension lem:right-spectator-extension->thm:cyclic_active_block_local_conjugacy lem:right-spectator-extension->thm:local-term-right-spectator-conjugacy lem:right-spectator-extension->lem:right_spectator_quadratic_form_gap thm:ph_middle_interval_overlap ph_middle_interval_overlap thm:ph_middle_interval_overlap->thm:ph_extended_boundary_overlap def:qca_state_space_purity qca_state_space_purity def:qca_state_space_purity->thm:positive_functional_zero_energy_support def:qca_state_space_purity->thm:positive_functional_support_compression def:qca_state_space_purity->thm:quasi_local_state_space_convex thm:qca_state_convex_support qca_state_convex_support def:qca_state_space_purity->thm:qca_state_convex_support thm:qca_state_convex_support->thm:quasi_local_parent_ground_state_face_properties thm:qca_state_convex_support->thm:qca_purity_of_supported_uniqueness def:mps_finite_region_expectation mps_finite_region_expectation def:mps_finite_region_expectation->thm:mps_finite_region_expectation_compatible thm:isometric_projection_defect_transport isometric_projection_defect_transport thm:isometric_projection_defect_transport->thm:physical_residual_cover_limit_primitive_resolution thm:isometric_projection_defect_transport->thm:periodic_physical_cover_projection_decay def:nsite_space_parent nsite_space_parent def:nsite_space_parent->def:overlapping_two_site_supports def:nsite_space_parent->def:ground_space_es def:nsite_space_parent->def:extract_window thm:finite_open_residue_gaps finite_open_residue_gaps thm:finite_open_residue_gaps->thm:open_residue_cover_gap_criterion lem:three_normal_blocks_singlet_parent three_normal_blocks_singlet_parent lem:three_normal_blocks_singlet_parent->thm:short_range_parent_gap_counterexample def:fnw_transfer_map fnw_transfer_map def:fnw_transfer_map->def:fnw_weighted_remainder_data def:fnw_transfer_map->thm:fnw-transfer-eigenvalue-from-remainder def:fnw_transfer_map->thm:fnw_remainder_eigenvalue_gap def:open_local_interaction_sum open_local_interaction_sum def:open_local_interaction_sum->thm:primitive_ground_state_interaction_exists def:open_local_interaction_sum->lem:open_local_interaction_sum_properties def:open_local_interaction_sum->lem:open_interaction_subwindow_coordinates def:open_local_interaction_sum->def:open_suffix_interaction_sum lem:positive-kernel-projection-comparison positive-kernel-projection-comparison lem:positive-kernel-projection-comparison->lem:parent-finite-interval-comparison lem:positive-kernel-projection-comparison->thm:open_interval_gap_transport lem:positive-kernel-projection-comparison->thm:positive_functional_zero_energy_support lem:positive-kernel-projection-comparison->thm:canonical_gap_to_eventual_kernel_interaction lem:positive-kernel-projection-comparison->thm:open_parent_overlapping_interval_gap lem:positive-kernel-projection-comparison->thm:ground_projection_commutator_gap lem:positive-kernel-projection-comparison->thm:parent-interaction-comparison lem:positive-kernel-projection-comparison->thm:finite_open_residue_gaps def:injective injective def:injective->thm:chain_ground_space_eq_mpv_blk def:injective->thm:beigi_minimal_loop_tensor_injective def:injective->thm:ground_space_intersection def:injective->thm:rfp_nt_injective def:injective->lem:gauge_equiv_twisted def:injective->thm:virtual_gauge_fixes_boundary_state lem:comp_complement_comm_zero comp_complement_comm_zero lem:comp_complement_comm_zero->thm:commuting_ham_is_decorrelated def:whole_increment_right_overlap_factor whole_increment_right_overlap_factor def:whole_increment_right_overlap_factor->thm:whole_increment_right_overlap_factor_apply def:whole_increment_right_overlap_factor->def:c3_centered_overlap_factors_residual def:whole_increment_right_overlap_factor->def:whole_increment_centered_residual def:whole_increment_right_overlap_factor->thm:whole_increment_overlap_factor_norms def:appendixB_physical_isometry appendixB_physical_isometry def:appendixB_physical_isometry->thm:appendixB_physical_isometry_left_inverse def:appendixB_physical_isometry->def:appendixB_physical_isometry_tensor_power thm:moving_window_sum_le moving_window_sum_le thm:moving_window_sum_le->thm:nachtergaele_c1_c3_threshold_energy_estimate def:tripartite_local_lifts tripartite_local_lifts def:tripartite_local_lifts->thm:tripartite_marginal_matrix_units def:tripartite_local_lifts->lem:tripartite_local_lift_algebra def:tripartite_local_lifts->thm:tripartite_ax_support_absorption def:tripartite_local_lifts->thm:tripartite_xb_support_absorption def:tripartite_local_lifts->def:tripartite_decorrelation def:tripartite_local_lifts->def:tripartite_observable_decorrelation def:tripartite_local_lifts->def:tripartite_parent_commuting_hamiltonian def:is_residual_isometry_family is_residual_isometry_family def:is_residual_isometry_family->def:residual_family_two_site_support def:is_residual_isometry_family->thm:residual_isometry_family_one_gram def:is_decorrelated is_decorrelated def:is_decorrelated->thm:commuting_ham_is_decorrelated thm:isometric_sector_ground_space_resolution isometric_sector_ground_space_resolution thm:isometric_sector_ground_space_resolution->thm:residual_window_left_original_ground_space thm:isometric_sector_ground_space_resolution->thm:faithful_periodic_ground_space_presentation thm:isometric_sector_ground_space_resolution->thm:periodic_blocked_ground_space def:sector_matrix_embedding sector_matrix_embedding def:sector_matrix_embedding->thm:embedded_sector_word_span def:deformed_interaction deformed_interaction def:deformed_interaction->thm:parent_invariant_space_physical_deformation thm:blocked_commutator_energy_comparison blocked_commutator_energy_comparison thm:blocked_commutator_energy_comparison->thm:blocked_quasi_local_gap_transport thm:supported_gram_projector_cancellation supported_gram_projector_cancellation thm:supported_gram_projector_cancellation->thm:residual_window_supported_projector_cancellation thm:supported_gram_projector_cancellation->thm:periodic_boundary_uniform_lifts thm:fnw_limit_map_projection fnw_limit_map_projection thm:fnw_limit_map_projection->thm:fnw-transfer-eigenvalue-from-remainder thm:positive_functional_vanishing_square positive_functional_vanishing_square thm:positive_functional_vanishing_square->thm:positive_functional_commutator_comparison def:supplied_physical_isometry_tensor supplied_physical_isometry_tensor def:supplied_physical_isometry_tensor->thm:supplied_isometry_heisenberg_insertion def:fnw_limit_map fnw_limit_map def:fnw_limit_map->def:fnw_weighted_remainder_data def:fnw_limit_map->thm:fnw_limit_absorbs_transfer def:fnw_limit_map->thm:primitive_fnw_remainder_power def:fnw_limit_map->thm:fnw_remainder_eigenvalue_gap def:fnw_limit_map->thm:fnw_limit_map_projection thm:compact_norm_lower_bound_tail compact_norm_lower_bound_tail thm:euclidean_fiberwise_operator euclidean_fiberwise_operator thm:euclidean_fiberwise_operator->thm:residual_window_limiting_cancellation thm:euclidean_fiberwise_operator->thm:residual_window_grams thm:euclidean_fiberwise_operator->thm:euclidean_fiberwise_projection lem:right-spectator-kernel-projection right-spectator-kernel-projection lem:right-spectator-kernel-projection->thm:grouped_spectator_norm lem:right-spectator-kernel-projection->thm:open_interval_gap_transport lem:right-spectator-kernel-projection->thm:fixed-volume-c3-projector-conjugacy def:euclidean_fiberwise_operator euclidean_fiberwise_operator def:euclidean_fiberwise_operator->thm:residual_window_left_fiberwise_coordinates def:euclidean_fiberwise_operator->def:residual_window_overlap_factors def:euclidean_fiberwise_operator->thm:euclidean_fiberwise_operator thm:left_canonical_rotate_physical left_canonical_rotate_physical thm:left_canonical_rotate_physical->thm:block_isometric_deformation_symmetry_permutation thm:left_canonical_rotate_physical->thm:injective_isometric_deformation_tp_covariance def:nt_cpsv nt_cpsv def:nt_cpsv->thm:cpsv_normal_tp_gauge def:has_inv_proj has_inv_proj def:has_inv_proj->def:irreducible_tensor def:local_interval_coordinates local_interval_coordinates def:local_interval_coordinates->thm:local_interval_coordinate_inclusion def:local_interval_coordinates->thm:local_interval_translation_coordinates def:local_interval_coordinates->thm:quasi_local_interval_observable def:blocked_interaction_matrix blocked_interaction_matrix def:blocked_interaction_matrix->thm:blocked_interaction_matrix_posSemidef def:blocked_interaction_matrix->thm:blocked_interaction_expansion def:blocked_residual_boundary_map blocked_residual_boundary_map def:blocked_residual_boundary_map->thm:residual_boundary_inner_fibers def:blocked_residual_boundary_map->thm:blocked_residual_boundary_identity def:blocked_residual_boundary_map->def:residual_window_coordinates def:blocked_residual_boundary_map->thm:correlated_residual_overlap