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:peps_partial_fixed_preparation peps_partial_fixed_preparation thm:peps_partial_original_source_vector peps_partial_original_source_vector thm:peps_partial_fixed_preparation->thm:peps_partial_original_source_vector thm:peps_canonical_source_recovery peps_canonical_source_recovery thm:peps_partial_original_source_vector->thm:peps_canonical_source_recovery thm:peps_canonical_substitution_recovery peps_canonical_substitution_recovery thm:peps_canonical_source_recovery->thm:peps_canonical_substitution_recovery thm:peps_incident_source_word_sources peps_incident_source_word_sources thm:peps_canonical_source_recovery->thm:peps_incident_source_word_sources def:peps_actual_private_preparation peps_actual_private_preparation thm:peps_canonical_source_recovery->def:peps_actual_private_preparation thm:peps_all_branch_incident_locality peps_all_branch_incident_locality thm:peps_canonical_source_recovery->thm:peps_all_branch_incident_locality thm:peps_corrected_partial peps_corrected_partial thm:peps_canonical_substitution_recovery->thm:peps_corrected_partial thm:peps_selected_retained_coordinates peps_selected_retained_coordinates thm:peps_canonical_substitution_recovery->thm:peps_selected_retained_coordinates def:peps_actual_source_column_matrix peps_actual_source_column_matrix def:peps_actual_private_preparation->def:peps_actual_source_column_matrix def:peps_actual_party_source_matrices peps_actual_party_source_matrices def:peps_actual_private_preparation->def:peps_actual_party_source_matrices thm:peps_actual_private_preparation_exterior peps_actual_private_preparation_exterior def:peps_actual_private_preparation->thm:peps_actual_private_preparation_exterior thm:peps_actual_private_preparation peps_actual_private_preparation def:peps_actual_private_preparation->thm:peps_actual_private_preparation def:area_law_affine_mesh area_law_affine_mesh thm:area_law_affine_mesh_point_separation area_law_affine_mesh_point_separation def:area_law_affine_mesh->thm:area_law_affine_mesh_point_separation thm:area_law_belt_marks_quarter_mesh area_law_belt_marks_quarter_mesh def:area_law_affine_mesh->thm:area_law_belt_marks_quarter_mesh thm:area_law_corner_side_subdivision area_law_corner_side_subdivision def:area_law_affine_mesh->thm:area_law_corner_side_subdivision thm:area_law_affine_mesh_line_clearance area_law_affine_mesh_line_clearance thm:area_law_affine_mesh_point_separation->thm:area_law_affine_mesh_line_clearance thm:area_law_dummy_corner_side area_law_dummy_corner_side thm:area_law_affine_mesh_point_separation->thm:area_law_dummy_corner_side thm:area_law_fine_layer_mark_separation area_law_fine_layer_mark_separation thm:area_law_affine_mesh_point_separation->thm:area_law_fine_layer_mark_separation thm:area_law_belt_marks_quarter_mesh->thm:area_law_fine_layer_mark_separation thm:area_law_near_mark_quarter_mesh area_law_near_mark_quarter_mesh thm:area_law_belt_marks_quarter_mesh->thm:area_law_near_mark_quarter_mesh thm:area_law_initial_birth_boundary_lattice area_law_initial_birth_boundary_lattice thm:area_law_belt_marks_quarter_mesh->thm:area_law_initial_birth_boundary_lattice thm:area_law_elementary_corner_endpoint area_law_elementary_corner_endpoint thm:area_law_corner_side_subdivision->thm:area_law_elementary_corner_endpoint thm:area_law_affine_mesh_segment_clearance area_law_affine_mesh_segment_clearance thm:area_law_affine_mesh_line_clearance->thm:area_law_affine_mesh_segment_clearance thm:area_law_initial_frontier_near_mark area_law_initial_frontier_near_mark thm:area_law_affine_mesh_line_clearance->thm:area_law_initial_frontier_near_mark thm:area_law_dummy_corner_elementary_side area_law_dummy_corner_elementary_side thm:area_law_dummy_corner_side->thm:area_law_dummy_corner_elementary_side thm:area_law_uniform_separated_initial_marks area_law_uniform_separated_initial_marks thm:area_law_fine_layer_mark_separation->thm:area_law_uniform_separated_initial_marks thm:area_law_near_mark_quarter_mesh->thm:area_law_initial_frontier_near_mark thm:area_law_initial_open_boundary_lattice area_law_initial_open_boundary_lattice thm:area_law_initial_birth_boundary_lattice->thm:area_law_initial_open_boundary_lattice thm:area_law_initial_lattice_membership area_law_initial_lattice_membership thm:area_law_initial_birth_boundary_lattice->thm:area_law_initial_lattice_membership thm:area_law_elementary_side_opponent area_law_elementary_side_opponent thm:area_law_elementary_corner_endpoint->thm:area_law_elementary_side_opponent thm:area_law_actual_elementary_side_matching area_law_actual_elementary_side_matching thm:area_law_elementary_corner_endpoint->thm:area_law_actual_elementary_side_matching thm:area_law_actual_sector_assignment area_law_actual_sector_assignment thm:area_law_initial_frontier_near_mark->thm:area_law_actual_sector_assignment thm:area_law_dummy_corner_elementary_side->thm:area_law_elementary_side_opponent thm:area_law_elementary_open_dummy_contact area_law_elementary_open_dummy_contact thm:area_law_dummy_corner_elementary_side->thm:area_law_elementary_open_dummy_contact thm:area_law_initial_sector_colors area_law_initial_sector_colors thm:area_law_actual_sector_assignment->thm:area_law_initial_sector_colors def:area_law_initial_sector_assignment area_law_initial_sector_assignment thm:area_law_actual_sector_assignment->def:area_law_initial_sector_assignment thm:area_law_unique_elementary_side_opponent area_law_unique_elementary_side_opponent thm:area_law_elementary_side_opponent->thm:area_law_unique_elementary_side_opponent thm:area_law_belt_run_dummy_interface area_law_belt_run_dummy_interface thm:area_law_elementary_open_dummy_contact->thm:area_law_belt_run_dummy_interface thm:area_law_initial_lattice_partition area_law_initial_lattice_partition thm:area_law_initial_lattice_membership->thm:area_law_initial_lattice_partition thm:area_law_selected_opponent_contact area_law_selected_opponent_contact thm:area_law_actual_elementary_side_matching->thm:area_law_selected_opponent_contact def:compression_operator_recovery compression_operator_recovery thm:compression_operator_root_agreement compression_operator_root_agreement def:compression_operator_recovery->thm:compression_operator_root_agreement thm:compression_operator_link_recovery compression_operator_link_recovery def:compression_operator_recovery->thm:compression_operator_link_recovery def:peps_rescaled_original peps_rescaled_original def:peps_rescaled_occurrences peps_rescaled_occurrences def:peps_rescaled_original->def:peps_rescaled_occurrences thm:peps_approximate_chronological_error peps_approximate_chronological_error def:peps_rescaled_original->thm:peps_approximate_chronological_error thm:peps_rescaled_resources peps_rescaled_resources def:peps_rescaled_occurrences->thm:peps_rescaled_resources thm:peps_approximate_physical_error peps_approximate_physical_error thm:peps_approximate_chronological_error->thm:peps_approximate_physical_error thm:peps_approximate_source_sample peps_approximate_source_sample thm:peps_approximate_physical_error->thm:peps_approximate_source_sample thm:peps_approximate_natural_accuracy peps_approximate_natural_accuracy thm:peps_approximate_physical_error->thm:peps_approximate_natural_accuracy thm:peps_approximate_original_real_accuracy peps_approximate_original_real_accuracy thm:peps_approximate_physical_error->thm:peps_approximate_original_real_accuracy thm:square_area_law_ground_gap square_area_law_ground_gap thm:square_area_law_from_uniform square_area_law_from_uniform thm:square_area_law_ground_gap->thm:square_area_law_from_uniform thm:openai_square_area_law openai_square_area_law thm:square_area_law_from_uniform->thm:openai_square_area_law thm:peps_partial_network_expansion peps_partial_network_expansion thm:peps_partial_uncut_support peps_partial_uncut_support thm:peps_partial_network_expansion->thm:peps_partial_uncut_support thm:peps_partial_vertex_gauge peps_partial_vertex_gauge thm:peps_partial_network_expansion->thm:peps_partial_vertex_gauge thm:peps_partial_open_cut_intersection peps_partial_open_cut_intersection thm:peps_partial_uncut_support->thm:peps_partial_open_cut_intersection thm:peps_open_product_in_cut peps_open_product_in_cut thm:peps_partial_vertex_gauge->thm:peps_open_product_in_cut thm:peps_open_cut_intersection peps_open_cut_intersection thm:peps_partial_open_cut_intersection->thm:peps_open_cut_intersection thm:peps_open_product_in_cut->thm:peps_partial_open_cut_intersection thm:peps_three_block_cut_intersection peps_three_block_cut_intersection thm:peps_open_cut_intersection->thm:peps_three_block_cut_intersection lem:peps_matching_sector_bond_inclusion peps_matching_sector_bond_inclusion thm:peps_full_multiplicity_bond_map peps_full_multiplicity_bond_map lem:peps_matching_sector_bond_inclusion->thm:peps_full_multiplicity_bond_map thm:peps_parent_support_boundary_adjoints peps_parent_support_boundary_adjoints thm:peps_full_multiplicity_bond_map->thm:peps_parent_support_boundary_adjoints thm:peps_coherent_multiplicity_transport peps_coherent_multiplicity_transport thm:peps_full_multiplicity_bond_map->thm:peps_coherent_multiplicity_transport thm:peps_oriented_copy_transpose peps_oriented_copy_transpose thm:peps_full_multiplicity_bond_map->thm:peps_oriented_copy_transpose thm:peps_parent_support_sparse_action peps_parent_support_sparse_action thm:peps_full_multiplicity_bond_map->thm:peps_parent_support_sparse_action thm:peps_parent_support_retractions peps_parent_support_retractions thm:peps_full_multiplicity_bond_map->thm:peps_parent_support_retractions thm:peps_oriented_copy_open peps_oriented_copy_open thm:peps_parent_support_boundary_adjoints->thm:peps_oriented_copy_open thm:peps_copy_open_factors peps_copy_open_factors thm:peps_parent_support_boundary_adjoints->thm:peps_copy_open_factors thm:peps_parent_support_repeated_ranges peps_parent_support_repeated_ranges thm:peps_coherent_multiplicity_transport->thm:peps_parent_support_repeated_ranges thm:peps_open_sector_internal_restoration peps_open_sector_internal_restoration thm:peps_coherent_multiplicity_transport->thm:peps_open_sector_internal_restoration thm:peps_oriented_copy_transpose->thm:peps_oriented_copy_open thm:peps_parent_support_copy_blocks peps_parent_support_copy_blocks thm:peps_parent_support_sparse_action->thm:peps_parent_support_copy_blocks thm:peps_oriented_copy_parent_inverses peps_oriented_copy_parent_inverses thm:peps_parent_support_retractions->thm:peps_oriented_copy_parent_inverses thm:peps_copy_parent_inverses peps_copy_parent_inverses thm:peps_parent_support_retractions->thm:peps_copy_parent_inverses thm:peps_oriented_copy_local_ranges peps_oriented_copy_local_ranges thm:peps_oriented_copy_open->thm:peps_oriented_copy_local_ranges thm:peps_copy_open_generators peps_copy_open_generators thm:peps_copy_open_factors->thm:peps_copy_open_generators thm:peps_oriented_copy_local_ranges->thm:peps_oriented_copy_parent_inverses thm:peps_copy_local_ranges peps_copy_local_ranges thm:peps_copy_open_generators->thm:peps_copy_local_ranges thm:peps_open_sector_regional_support peps_open_sector_regional_support thm:peps_open_sector_internal_restoration->thm:peps_open_sector_regional_support thm:peps_parent_support_copy_blocks->thm:peps_oriented_copy_parent_inverses thm:peps_copy_parent_inclusions peps_copy_parent_inclusions thm:peps_parent_support_copy_blocks->thm:peps_copy_parent_inclusions thm:peps_oriented_copy_parent peps_oriented_copy_parent thm:peps_oriented_copy_parent_inverses->thm:peps_oriented_copy_parent thm:peps_copy_parent_equivalence peps_copy_parent_equivalence thm:peps_copy_parent_inverses->thm:peps_copy_parent_equivalence thm:peps_open_sector_parent_support peps_open_sector_parent_support thm:peps_open_sector_regional_support->thm:peps_open_sector_parent_support thm:peps_dependent_incidence_sums peps_dependent_incidence_sums thm:peps_dependent_projector_expansion peps_dependent_projector_expansion thm:peps_dependent_incidence_sums->thm:peps_dependent_projector_expansion thm:peps_dependent_vertex_gauge peps_dependent_vertex_gauge thm:peps_dependent_projector_expansion->thm:peps_dependent_vertex_gauge thm:peps_dependent_canonical_bond_sum peps_dependent_canonical_bond_sum thm:peps_dependent_projector_expansion->thm:peps_dependent_canonical_bond_sum thm:peps_full_four_cut_flat_projection peps_full_four_cut_flat_projection thm:peps_dependent_vertex_gauge->thm:peps_full_four_cut_flat_projection thm:peps_full_four_cut_forward peps_full_four_cut_forward thm:peps_dependent_vertex_gauge->thm:peps_full_four_cut_forward thm:peps_dependent_closure_invariant peps_dependent_closure_invariant thm:peps_dependent_vertex_gauge->thm:peps_dependent_closure_invariant thm:peps_dependent_closure_extraction peps_dependent_closure_extraction thm:peps_dependent_canonical_bond_sum->thm:peps_dependent_closure_extraction thm:peps_dependent_uncut_support peps_dependent_uncut_support thm:peps_dependent_canonical_bond_sum->thm:peps_dependent_uncut_support thm:peps_dependent_uncut_coefficients peps_dependent_uncut_coefficients thm:peps_dependent_canonical_bond_sum->thm:peps_dependent_uncut_coefficients thm:peps_full_four_cut_canonical_equality peps_full_four_cut_canonical_equality thm:peps_full_four_cut_flat_projection->thm:peps_full_four_cut_canonical_equality thm:peps_full_four_cut_forward->thm:peps_full_four_cut_canonical_equality def:peps_dependent_closure_class peps_dependent_closure_class thm:peps_dependent_closure_invariant->def:peps_dependent_closure_class thm:peps_dependent_closure_independent peps_dependent_closure_independent thm:peps_dependent_closure_extraction->thm:peps_dependent_closure_independent thm:peps_dependent_cut_expansion peps_dependent_cut_expansion thm:peps_dependent_uncut_support->thm:peps_dependent_cut_expansion thm:peps_full_four_cut_nonflat_zero peps_full_four_cut_nonflat_zero thm:peps_dependent_uncut_coefficients->thm:peps_full_four_cut_nonflat_zero thm:peps_three_block_core_lifted_intersection peps_three_block_core_lifted_intersection thm:peps_general_three_block_intersection peps_general_three_block_intersection thm:peps_three_block_core_lifted_intersection->thm:peps_general_three_block_intersection def:peps_partial_averaging_site peps_partial_averaging_site def:peps_partial_averaging_site->thm:peps_partial_network_expansion thm:peps_partial_averaging_injective peps_partial_averaging_injective def:peps_partial_averaging_site->thm:peps_partial_averaging_injective thm:peps_three_block_cut_intersection->thm:peps_three_block_core_lifted_intersection def:compression_operator_consistent_configs compression_operator_consistent_configs thm:area_law_rounded_safe_shell_cells area_law_rounded_safe_shell_cells thm:area_law_template_core_selected_count area_law_template_core_selected_count thm:area_law_template_weighted_core_cover area_law_template_weighted_core_cover thm:area_law_template_core_selected_count->thm:area_law_template_weighted_core_cover thm:area_template_safe_box_entropy area_template_safe_box_entropy thm:area_law_template_weighted_core_cover->thm:area_template_safe_box_entropy thm:area_law_finite_cover_frontier area_law_finite_cover_frontier thm:area_law_fan_frontier_primitives area_law_fan_frontier_primitives thm:area_law_finite_cover_frontier->thm:area_law_fan_frontier_primitives thm:area_law_fan_frontier_primitives->thm:area_law_initial_frontier_near_mark thm:area_law_initial_active_radial area_law_initial_active_radial thm:area_law_initial_active_successor area_law_initial_active_successor thm:area_law_initial_active_radial->thm:area_law_initial_active_successor thm:area_law_initial_active_radial_closed area_law_initial_active_radial_closed thm:area_law_initial_active_radial->thm:area_law_initial_active_radial_closed thm:area_law_initial_run_open_region area_law_initial_run_open_region thm:area_law_initial_active_successor->thm:area_law_initial_run_open_region thm:area_law_initial_active_ray_closed area_law_initial_active_ray_closed thm:area_law_initial_active_radial_closed->thm:area_law_initial_active_ray_closed thm:area_law_initial_closed_half_unique_region area_law_initial_closed_half_unique_region thm:area_law_initial_run_open_region->thm:area_law_initial_closed_half_unique_region thm:area_law_rectangle_shell_weighted_cover area_law_rectangle_shell_weighted_cover thm:area_law_rectangle_shell_entropy area_law_rectangle_shell_entropy thm:area_law_rectangle_shell_weighted_cover->thm:area_law_rectangle_shell_entropy thm:area_law_uniform_rounded_shell_entropy area_law_uniform_rounded_shell_entropy thm:area_law_rectangle_shell_entropy->thm:area_law_uniform_rounded_shell_entropy thm:area_law_initial_rectangle_shell_entropy area_law_initial_rectangle_shell_entropy thm:area_law_rectangle_shell_entropy->thm:area_law_initial_rectangle_shell_entropy thm:area_law_initial_rounded_collar_entropy area_law_initial_rounded_collar_entropy thm:area_law_initial_rectangle_shell_entropy->thm:area_law_initial_rounded_collar_entropy thm:peps_four_cut_common_uncut_support peps_four_cut_common_uncut_support thm:peps_four_cut_common_bond_span peps_four_cut_common_bond_span thm:peps_four_cut_common_uncut_support->thm:peps_four_cut_common_bond_span thm:peps_four_cut_common_canonical_closure peps_four_cut_common_canonical_closure thm:peps_four_cut_common_bond_span->thm:peps_four_cut_common_canonical_closure thm:peps_four_cut_common_closure peps_four_cut_common_closure thm:peps_four_cut_common_canonical_closure->thm:peps_four_cut_common_closure thm:peps_party_column_routing_polynomial peps_party_column_routing_polynomial lem:peps_frame_wires peps_frame_wires lem:peps_frame_branch_network peps_frame_branch_network lem:peps_frame_wires->lem:peps_frame_branch_network thm:peps_frame_small_rewrite_term_monomial peps_frame_small_rewrite_term_monomial lem:peps_frame_branch_network->thm:peps_frame_small_rewrite_term_monomial thm:peps_frame_small_rewrite_product_terms peps_frame_small_rewrite_product_terms lem:peps_frame_branch_network->thm:peps_frame_small_rewrite_product_terms thm:peps_frame_small_rewrite_monomials peps_frame_small_rewrite_monomials thm:peps_frame_small_rewrite_term_monomial->thm:peps_frame_small_rewrite_monomials thm:peps_frame_small_rewrite_product_terms->thm:peps_frame_small_rewrite_monomials thm:peps_frame_small_rewrite_polynomial peps_frame_small_rewrite_polynomial thm:peps_frame_small_rewrite_monomials->thm:peps_frame_small_rewrite_polynomial thm:peps_region_parent_projection_comparison peps_region_parent_projection_comparison thm:peps_finite_parent_comparison peps_finite_parent_comparison thm:peps_region_parent_projection_comparison->thm:peps_finite_parent_comparison thm:peps_finite_parent_gap_transfer peps_finite_parent_gap_transfer thm:peps_finite_parent_comparison->thm:peps_finite_parent_gap_transfer thm:peps_dyadic_patch_rewrite_lifetime peps_dyadic_patch_rewrite_lifetime thm:peps_basis_party_map_entries peps_basis_party_map_entries thm:peps_actual_party_word_entries peps_actual_party_word_entries thm:peps_basis_party_map_entries->thm:peps_actual_party_word_entries thm:peps_actual_party_mixed_matrix peps_actual_party_mixed_matrix thm:peps_actual_party_word_entries->thm:peps_actual_party_mixed_matrix thm:peps_actual_party_source_columns peps_actual_party_source_columns thm:peps_actual_party_word_entries->thm:peps_actual_party_source_columns thm:peps_actual_source_mixed_word peps_actual_source_mixed_word thm:peps_actual_party_mixed_matrix->thm:peps_actual_source_mixed_word thm:peps_actual_sampled_party_contraction peps_actual_sampled_party_contraction thm:peps_actual_source_mixed_word->thm:peps_actual_sampled_party_contraction thm:peps_torus_projector_expansion peps_torus_projector_expansion thm:peps_torus_projector_extraction peps_torus_projector_extraction thm:peps_torus_projector_expansion->thm:peps_torus_projector_extraction def:peps_torus_physical_bond_regrouping peps_torus_physical_bond_regrouping thm:peps_torus_projector_expansion->def:peps_torus_physical_bond_regrouping def:peps_four_cut_common_bond_coefficients peps_four_cut_common_bond_coefficients thm:peps_torus_projector_extraction->def:peps_four_cut_common_bond_coefficients def:peps_dependent_bond_coefficient peps_dependent_bond_coefficient thm:peps_torus_projector_extraction->def:peps_dependent_bond_coefficient def:peps_torus_physical_bond_regrouping->def:peps_four_cut_common_bond_coefficients def:peps_four_cut_common_bond_slices peps_four_cut_common_bond_slices def:peps_torus_physical_bond_regrouping->def:peps_four_cut_common_bond_slices lem:peps_torus_physical_bond_regrouping_overlap peps_torus_physical_bond_regrouping_overlap def:peps_torus_physical_bond_regrouping->lem:peps_torus_physical_bond_regrouping_overlap thm:peps_four_cut_common_average_projection peps_four_cut_common_average_projection def:peps_four_cut_common_bond_coefficients->thm:peps_four_cut_common_average_projection thm:peps_four_cut_common_network_extraction peps_four_cut_common_network_extraction def:peps_four_cut_common_bond_coefficients->thm:peps_four_cut_common_network_extraction thm:peps_four_cut_common_coefficient_uniqueness peps_four_cut_common_coefficient_uniqueness def:peps_four_cut_common_bond_coefficients->thm:peps_four_cut_common_coefficient_uniqueness thm:peps_dependent_coefficient_extraction peps_dependent_coefficient_extraction def:peps_dependent_bond_coefficient->thm:peps_dependent_coefficient_extraction thm:peps_nonuniform_native_extraction peps_nonuniform_native_extraction def:peps_dependent_bond_coefficient->thm:peps_nonuniform_native_extraction def:peps_four_cut_common_bond_slices->thm:peps_four_cut_common_uncut_support thm:peps_four_cut_common_network_expansion peps_four_cut_common_network_expansion lem:peps_torus_physical_bond_regrouping_overlap->thm:peps_four_cut_common_network_expansion thm:peps_four_cut_common_flat_projection peps_four_cut_common_flat_projection thm:peps_four_cut_common_average_projection->thm:peps_four_cut_common_flat_projection thm:peps_four_cut_common_nonflat_vanish peps_four_cut_common_nonflat_vanish thm:peps_four_cut_common_network_extraction->thm:peps_four_cut_common_nonflat_vanish thm:peps_four_cut_common_coefficient_uniqueness->thm:peps_four_cut_common_bond_span thm:peps_dependent_coefficient_extraction->thm:peps_dependent_canonical_bond_sum def:peps_nonuniform_native_classes peps_nonuniform_native_classes thm:peps_nonuniform_native_extraction->def:peps_nonuniform_native_classes thm:peps_four_cut_common_flat_projection->thm:peps_four_cut_common_canonical_closure thm:peps_four_cut_common_network_expansion->thm:peps_four_cut_common_uncut_support thm:peps_four_cut_common_network_expansion->thm:peps_four_cut_common_network_extraction thm:peps_four_cut_common_nonflat_vanish->thm:peps_four_cut_common_canonical_closure thm:peps_basis_owner_restriction peps_basis_owner_restriction thm:peps_selected_physical_party_layouts peps_selected_physical_party_layouts thm:peps_basis_owner_restriction->thm:peps_selected_physical_party_layouts def:peps_basis_owner_restriction peps_basis_owner_restriction thm:peps_basis_owner_restriction->def:peps_basis_owner_restriction def:peps_selected_party_order peps_selected_party_order thm:peps_selected_physical_party_layouts->def:peps_selected_party_order def:peps_selected_family_physical_basis peps_selected_family_physical_basis thm:peps_selected_physical_party_layouts->def:peps_selected_family_physical_basis thm:peps_basis_owner_partition peps_basis_owner_partition def:peps_basis_owner_restriction->thm:peps_basis_owner_partition thm:peps_affected_original_dimensions peps_affected_original_dimensions def:peps_basis_owner_restriction->thm:peps_affected_original_dimensions thm:peps_selected_physical_basis_grouped peps_selected_physical_basis_grouped def:peps_selected_party_order->thm:peps_selected_physical_basis_grouped thm:peps_selected_family_physical_columns peps_selected_family_physical_columns def:peps_selected_family_physical_basis->thm:peps_selected_family_physical_columns def:peps_selected_physical_private_basis peps_selected_physical_private_basis def:peps_selected_family_physical_basis->def:peps_selected_physical_private_basis def:peps_selected_physical_configurations peps_selected_physical_configurations def:peps_selected_family_physical_basis->def:peps_selected_physical_configurations def:peps_exterior_family_physical_basis peps_exterior_family_physical_basis thm:peps_affected_original_dimensions->def:peps_exterior_family_physical_basis thm:peps_selected_physical_private_trace peps_selected_physical_private_trace thm:peps_selected_physical_basis_grouped->thm:peps_selected_physical_private_trace thm:peps_selected_family_physical_columns->thm:peps_selected_physical_basis_grouped def:peps_actual_sampled_physical_factor peps_actual_sampled_physical_factor def:peps_selected_physical_private_basis->def:peps_actual_sampled_physical_factor thm:peps_selected_physical_private_basis_grouped peps_selected_physical_private_basis_grouped def:peps_selected_physical_private_basis->thm:peps_selected_physical_private_basis_grouped def:peps_selected_physical_configurations->thm:peps_selected_physical_basis_grouped thm:peps_selected_physical_product_scalar peps_selected_physical_product_scalar def:peps_selected_physical_configurations->thm:peps_selected_physical_product_scalar thm:peps_actual_source_lifetime_bound peps_actual_source_lifetime_bound def:peps_exterior_family_physical_basis->thm:peps_actual_source_lifetime_bound thm:peps_exterior_family_physical_dimension peps_exterior_family_physical_dimension def:peps_exterior_family_physical_basis->thm:peps_exterior_family_physical_dimension thm:peps_message_expansion_count peps_message_expansion_count thm:peps_message_expansion peps_message_expansion thm:peps_message_expansion_count->thm:peps_message_expansion thm:peps_message_expansion_polynomial peps_message_expansion_polynomial thm:peps_message_expansion->thm:peps_message_expansion_polynomial thm:peps_message_gate_eval peps_message_gate_eval thm:peps_message_expansion->thm:peps_message_gate_eval thm:peps_message_gate_size peps_message_gate_size thm:peps_message_expansion->thm:peps_message_gate_size def:peps_message_gate_circuit peps_message_gate_circuit thm:peps_message_gate_eval->def:peps_message_gate_circuit thm:peps_message_gate_circuit_bounds peps_message_gate_circuit_bounds thm:peps_message_gate_size->thm:peps_message_gate_circuit_bounds def:peps_message_gate_circuit->thm:peps_message_gate_circuit_bounds thm:peps_message_gate_circuit_properties peps_message_gate_circuit_properties def:peps_message_gate_circuit->thm:peps_message_gate_circuit_properties thm:peps_dependent_product_range peps_dependent_product_range thm:peps_dependent_product_range->thm:peps_dependent_cut_expansion thm:peps_four_cut_common_product_range peps_four_cut_common_product_range thm:peps_dependent_product_range->thm:peps_four_cut_common_product_range thm:peps_dependent_cut_expansion->thm:peps_full_four_cut_canonical_equality thm:peps_four_cut_common_product_range->thm:peps_four_cut_common_bond_span thm:peps_four_cut_closure peps_four_cut_closure thm:peps_full_four_cut_canonical_equality->thm:peps_four_cut_closure thm:peps_dependent_four_cut_dimension peps_dependent_four_cut_dimension thm:peps_four_cut_closure->thm:peps_dependent_four_cut_dimension def:area_law_belt_cell_marks area_law_belt_cell_marks def:area_law_belt_marks area_law_belt_marks def:area_law_belt_cell_marks->def:area_law_belt_marks thm:area_law_belt_cell_mark_count area_law_belt_cell_mark_count def:area_law_belt_cell_marks->thm:area_law_belt_cell_mark_count thm:area_law_cell_fan_mark_vertices area_law_cell_fan_mark_vertices def:area_law_belt_cell_marks->thm:area_law_cell_fan_mark_vertices thm:area_law_belt_marks_closed_cell area_law_belt_marks_closed_cell def:area_law_belt_cell_marks->thm:area_law_belt_marks_closed_cell def:area_law_belt_marks->thm:area_law_belt_marks_quarter_mesh thm:area_law_belt_mark_count area_law_belt_mark_count def:area_law_belt_marks->thm:area_law_belt_mark_count thm:area_law_belt_cell_mark_count->thm:area_law_belt_mark_count thm:area_law_cell_fan_mark_vertices->thm:area_law_corner_side_subdivision thm:area_law_cell_fan_mark_vertices->thm:area_law_dummy_corner_side thm:area_law_belt_marks_closed_cell->thm:area_law_corner_side_subdivision thm:area_law_belt_marks_closed_cell->thm:area_law_dummy_corner_side thm:area_law_sparse_belt_marks area_law_sparse_belt_marks thm:area_law_belt_mark_count->thm:area_law_sparse_belt_marks thm:area_law_uniform_initial_mark_count area_law_uniform_initial_mark_count thm:area_law_belt_mark_count->thm:area_law_uniform_initial_mark_count thm:area_law_uniform_initial_mark_count->thm:area_law_uniform_separated_initial_marks thm:area_law_initial_sector_changes_even area_law_initial_sector_changes_even thm:area_law_initial_sector_colors->thm:area_law_initial_sector_changes_even thm:area_law_initial_closed_half_components area_law_initial_closed_half_components thm:area_law_initial_sector_colors->thm:area_law_initial_closed_half_components thm:area_law_initial_sector_components area_law_initial_sector_components thm:area_law_initial_sector_colors->thm:area_law_initial_sector_components thm:area_law_initial_sector_run_assignment area_law_initial_sector_run_assignment thm:area_law_initial_sector_colors->thm:area_law_initial_sector_run_assignment def:area_law_initial_sector_assignment->thm:area_law_initial_run_open_region def:area_law_initial_sector_assignment->thm:area_law_initial_closed_half_components def:area_law_initial_sector_assignment->thm:area_law_initial_sector_components thm:area_law_initial_active_rays_cardinality area_law_initial_active_rays_cardinality thm:area_law_initial_sector_changes_even->thm:area_law_initial_active_rays_cardinality thm:area_law_initial_closed_half_components->thm:area_law_initial_closed_half_unique_region thm:area_law_initial_sector_no_active area_law_initial_sector_no_active thm:area_law_initial_sector_run_assignment->thm:area_law_initial_sector_no_active thm:peps_nested_patch_quadratic_sum peps_nested_patch_quadratic_sum def:peps_canonical_source_residual peps_canonical_source_residual def:peps_canonical_source_residual->thm:peps_canonical_source_recovery def:peps_incident_source_word peps_incident_source_word def:peps_canonical_source_residual->def:peps_incident_source_word thm:peps_scalar_residual_composition peps_scalar_residual_composition def:peps_canonical_source_residual->thm:peps_scalar_residual_composition thm:peps_actual_empty_party_gate_scalar peps_actual_empty_party_gate_scalar def:peps_canonical_source_residual->thm:peps_actual_empty_party_gate_scalar def:peps_incident_source_word->thm:peps_incident_source_word_sources thm:peps_actual_chronological_exterior_scalar peps_actual_chronological_exterior_scalar thm:peps_scalar_residual_composition->thm:peps_actual_chronological_exterior_scalar thm:peps_actual_empty_party_gate_scalar->thm:peps_actual_chronological_exterior_scalar thm:peps_actual_sampled_exterior_trace peps_actual_sampled_exterior_trace thm:peps_actual_chronological_exterior_scalar->thm:peps_actual_sampled_exterior_trace thm:peps_corrected_source_contraction peps_corrected_source_contraction thm:peps_corrected_partial->thm:peps_corrected_source_contraction thm:peps_selected_retained_coordinates->thm:peps_corrected_source_contraction thm:peps_global_corrected_subsets peps_global_corrected_subsets thm:peps_corrected_source_contraction->thm:peps_global_corrected_subsets thm:peps_corrected_gaussian_sum peps_corrected_gaussian_sum thm:peps_corrected_source_contraction->thm:peps_corrected_gaussian_sum thm:peps_actual_sampled_physical_scalar peps_actual_sampled_physical_scalar thm:peps_actual_sampled_exterior_trace->thm:peps_actual_sampled_physical_scalar thm:peps_actual_pure_sampled_physical_sum peps_actual_pure_sampled_physical_sum thm:peps_actual_sampled_physical_scalar->thm:peps_actual_pure_sampled_physical_sum thm:peps_actual_source_column_coordinates peps_actual_source_column_coordinates def:peps_actual_source_column_matrix->thm:peps_actual_source_column_coordinates thm:peps_actual_pure_source_contraction peps_actual_pure_source_contraction def:peps_actual_source_column_matrix->thm:peps_actual_pure_source_contraction def:peps_actual_party_source_matrices->thm:peps_actual_party_source_columns def:peps_actual_party_source_matrices->thm:peps_actual_source_mixed_word def:peps_restricted_mixed_physical_trace peps_restricted_mixed_physical_trace def:peps_actual_party_source_matrices->def:peps_restricted_mixed_physical_trace thm:peps_actual_private_preparation_exterior->thm:peps_actual_chronological_exterior_scalar thm:peps_actual_private_preparation->thm:peps_actual_pure_source_contraction thm:peps_actual_source_column_coordinates->thm:peps_actual_party_source_columns thm:peps_actual_source_column_coordinates->thm:peps_actual_source_mixed_word thm:peps_actual_source_column_physical_trace peps_actual_source_column_physical_trace thm:peps_actual_source_column_coordinates->thm:peps_actual_source_column_physical_trace thm:peps_actual_pure_source_replacement peps_actual_pure_source_replacement thm:peps_actual_pure_source_contraction->thm:peps_actual_pure_source_replacement def:peps_restricted_mixed_physical_trace->def:peps_actual_sampled_physical_factor lem:peps_dyadic_translation peps_dyadic_translation thm:peps_dyadic_angular_separation peps_dyadic_angular_separation lem:peps_dyadic_translation->thm:peps_dyadic_angular_separation lem:peps_dyadic_sampled_guides peps_dyadic_sampled_guides thm:peps_dyadic_angular_separation->lem:peps_dyadic_sampled_guides lem:peps_dyadic_floor peps_dyadic_floor thm:peps_dyadic_angular_separation->lem:peps_dyadic_floor lem:peps_dyadic_readings_exist peps_dyadic_readings_exist lem:peps_dyadic_sampled_guides->lem:peps_dyadic_readings_exist def:peps_dyadic_chamber_sampling peps_dyadic_chamber_sampling lem:peps_dyadic_sampled_guides->def:peps_dyadic_chamber_sampling lem:peps_dyadic_small_radius peps_dyadic_small_radius lem:peps_dyadic_floor->lem:peps_dyadic_small_radius lem:peps_dyadic_birth_enlargement peps_dyadic_birth_enlargement lem:peps_dyadic_floor->lem:peps_dyadic_birth_enlargement thm:peps_dyadic_temporary_holes peps_dyadic_temporary_holes lem:peps_dyadic_readings_exist->thm:peps_dyadic_temporary_holes lem:peps_dyadic_chamber_sampling peps_dyadic_chamber_sampling lem:peps_dyadic_readings_exist->lem:peps_dyadic_chamber_sampling def:peps_dyadic_chamber_sampling->lem:peps_dyadic_chamber_sampling thm:peps_dyadic_patch_rewrite_nets peps_dyadic_patch_rewrite_nets lem:peps_dyadic_small_radius->thm:peps_dyadic_patch_rewrite_nets thm:peps_dyadic_block_ratio peps_dyadic_block_ratio lem:peps_dyadic_small_radius->thm:peps_dyadic_block_ratio def:peps_dyadic_incident_labels peps_dyadic_incident_labels lem:peps_dyadic_birth_enlargement->def:peps_dyadic_incident_labels lem:peps_dyadic_hole_enlargement peps_dyadic_hole_enlargement lem:peps_dyadic_birth_enlargement->lem:peps_dyadic_hole_enlargement thm:area_law_initial_closed_half_radius area_law_initial_closed_half_radius def:peps_virtual_bond_ground_space peps_virtual_bond_ground_space thm:peps_vertex_bond_coordinates peps_vertex_bond_coordinates def:peps_virtual_bond_ground_space->thm:peps_vertex_bond_coordinates thm:peps_virtual_bond_ground_space peps_virtual_bond_ground_space def:peps_virtual_bond_ground_space->thm:peps_virtual_bond_ground_space thm:peps_region_virtual_bell_slice peps_region_virtual_bell_slice thm:peps_vertex_bond_coordinates->thm:peps_region_virtual_bell_slice thm:peps_full_virtual_bond_product peps_full_virtual_bond_product thm:peps_vertex_bond_coordinates->thm:peps_full_virtual_bond_product def:peps_product_site_map_bonds peps_product_site_map_bonds thm:peps_vertex_bond_coordinates->def:peps_product_site_map_bonds thm:peps_bell_product_physical_image peps_bell_product_physical_image thm:peps_virtual_bond_ground_space->thm:peps_bell_product_physical_image thm:peps_regional_virtual_conditions_bell peps_regional_virtual_conditions_bell thm:peps_region_virtual_bell_slice->thm:peps_regional_virtual_conditions_bell thm:peps_full_virtual_bond_product->thm:peps_bell_product_physical_image def:peps_product_site_map_bonds->thm:peps_bell_product_physical_image thm:peps_injective_covering_parent_ground_space peps_injective_covering_parent_ground_space thm:peps_bell_product_physical_image->thm:peps_injective_covering_parent_ground_space thm:peps_bell_product_injective_image peps_bell_product_injective_image thm:peps_bell_product_physical_image->thm:peps_bell_product_injective_image thm:peps_regional_virtual_conditions_bell->thm:peps_injective_covering_parent_ground_space thm:peps_injective_nearest_neighbor_parent_space peps_injective_nearest_neighbor_parent_space thm:peps_injective_covering_parent_ground_space->thm:peps_injective_nearest_neighbor_parent_space cor:peps_injective_nearest_neighbor_parent_kernel peps_injective_nearest_neighbor_parent_kernel thm:peps_injective_nearest_neighbor_parent_space->cor:peps_injective_nearest_neighbor_parent_kernel thm:peps_nonuniform_native_independence peps_nonuniform_native_independence thm:peps_nonuniform_native_kernel peps_nonuniform_native_kernel thm:peps_nonuniform_native_independence->thm:peps_nonuniform_native_kernel thm:peps_nonuniform_native_padded_kernel peps_nonuniform_native_padded_kernel thm:peps_nonuniform_native_kernel->thm:peps_nonuniform_native_padded_kernel thm:area_law_cell_fan_end_same_ray area_law_cell_fan_end_same_ray thm:area_law_cell_fan_ray_injective area_law_cell_fan_ray_injective thm:area_law_cell_fan_end_same_ray->thm:area_law_cell_fan_ray_injective thm:area_law_fan_noncentral_radial_incidence area_law_fan_noncentral_radial_incidence thm:area_law_cell_fan_end_same_ray->thm:area_law_fan_noncentral_radial_incidence thm:area_law_cell_fan_ray_injective->thm:area_law_initial_active_rays_cardinality thm:area_law_fan_closed_half_intersection area_law_fan_closed_half_intersection thm:area_law_fan_noncentral_radial_incidence->thm:area_law_fan_closed_half_intersection thm:area_law_fan_radial_deletion_convex area_law_fan_radial_deletion_convex thm:area_law_fan_noncentral_radial_incidence->thm:area_law_fan_radial_deletion_convex thm:area_law_fan_closed_half_run_connected area_law_fan_closed_half_run_connected thm:area_law_fan_closed_half_intersection->thm:area_law_fan_closed_half_run_connected thm:area_law_fan_inactive_radial_intersection area_law_fan_inactive_radial_intersection thm:area_law_fan_closed_half_intersection->thm:area_law_fan_inactive_radial_intersection thm:area_law_fan_radial_union_deletion_convex area_law_fan_radial_union_deletion_convex thm:area_law_fan_radial_deletion_convex->thm:area_law_fan_radial_union_deletion_convex thm:area_law_closed_half_fan_components area_law_closed_half_fan_components thm:area_law_fan_closed_half_run_connected->thm:area_law_closed_half_fan_components thm:area_law_fan_cut_run_connected area_law_fan_cut_run_connected thm:area_law_fan_inactive_radial_intersection->thm:area_law_fan_cut_run_connected thm:area_law_closed_half_fan_components->thm:area_law_initial_closed_half_components thm:area_law_fan_cut_component_correspondence area_law_fan_cut_component_correspondence thm:area_law_fan_cut_run_connected->thm:area_law_fan_cut_component_correspondence thm:area_law_fan_cut_piece_connected area_law_fan_cut_piece_connected thm:area_law_fan_radial_union_deletion_convex->thm:area_law_fan_cut_piece_connected thm:peps_patch_coordinate_covariance peps_patch_coordinate_covariance thm:peps_patch_first_variation peps_patch_first_variation thm:peps_patch_coordinate_covariance->thm:peps_patch_first_variation thm:area_law_elementary_side_geometry area_law_elementary_side_geometry thm:area_law_elementary_side_geometry->thm:area_law_elementary_corner_endpoint thm:area_law_elementary_side_geometry->thm:area_law_dummy_corner_elementary_side thm:area_law_cell_fan_sector_directions area_law_cell_fan_sector_directions thm:area_law_elementary_side_geometry->thm:area_law_cell_fan_sector_directions thm:area_law_elementary_side_boundary_geometry area_law_elementary_side_boundary_geometry thm:area_law_elementary_side_geometry->thm:area_law_elementary_side_boundary_geometry thm:area_law_cell_fan_sector_directions->thm:area_law_actual_sector_assignment thm:area_law_cell_fan_sector_directions->thm:area_law_fan_cut_piece_connected thm:area_law_fan_own_side_contact area_law_fan_own_side_contact thm:area_law_elementary_side_boundary_geometry->thm:area_law_fan_own_side_contact thm:area_law_elementary_side_boundary_geometry->thm:area_law_unique_elementary_side_opponent thm:area_law_cell_fan_final_endpoint_injective area_law_cell_fan_final_endpoint_injective thm:area_law_elementary_side_boundary_geometry->thm:area_law_cell_fan_final_endpoint_injective thm:area_law_fan_cut_piece_connected->thm:area_law_fan_cut_run_connected thm:area_law_fan_closed_half_piece_connected area_law_fan_closed_half_piece_connected thm:area_law_fan_cut_piece_connected->thm:area_law_fan_closed_half_piece_connected thm:area_law_fan_dummy_contact area_law_fan_dummy_contact thm:area_law_fan_own_side_contact->thm:area_law_fan_dummy_contact def:area_law_selected_elementary_opponent area_law_selected_elementary_opponent thm:area_law_unique_elementary_side_opponent->def:area_law_selected_elementary_opponent thm:area_law_cell_fan_final_endpoint_injective->thm:area_law_cell_fan_end_same_ray thm:area_law_cell_fan_successor_iff area_law_cell_fan_successor_iff thm:area_law_cell_fan_final_endpoint_injective->thm:area_law_cell_fan_successor_iff thm:area_law_belt_fan_nonbelt_color area_law_belt_fan_nonbelt_color thm:area_law_selected_opponent_contact->thm:area_law_belt_fan_nonbelt_color thm:area_law_belt_fan_contact_colors area_law_belt_fan_contact_colors thm:area_law_selected_opponent_contact->thm:area_law_belt_fan_contact_colors thm:area_law_reciprocal_elementary_opponents area_law_reciprocal_elementary_opponents thm:area_law_selected_opponent_contact->thm:area_law_reciprocal_elementary_opponents thm:area_law_belt_run_primary_interface area_law_belt_run_primary_interface thm:area_law_belt_fan_nonbelt_color->thm:area_law_belt_run_primary_interface thm:area_law_belt_runs_interface_colors area_law_belt_runs_interface_colors thm:area_law_belt_fan_contact_colors->thm:area_law_belt_runs_interface_colors thm:area_law_fan_closed_half_piece_connected->thm:area_law_fan_closed_half_run_connected thm:area_law_fan_dummy_contact->thm:area_law_belt_run_dummy_interface def:area_law_selected_elementary_opponent->thm:area_law_selected_opponent_contact def:area_law_belt_fan_color area_law_belt_fan_color def:area_law_selected_elementary_opponent->def:area_law_belt_fan_color thm:area_law_cell_fan_successor_iff->thm:area_law_initial_active_successor thm:area_law_cell_fan_successor_iff->thm:area_law_initial_active_ray_closed thm:area_law_cell_fan_successor_iff->thm:area_law_fan_closed_half_intersection thm:area_law_fan_cut_runs_disjoint area_law_fan_cut_runs_disjoint thm:area_law_cell_fan_successor_iff->thm:area_law_fan_cut_runs_disjoint thm:area_law_initial_interface_colors area_law_initial_interface_colors thm:area_law_belt_run_dummy_interface->thm:area_law_initial_interface_colors def:peps_dyadic_edge_band peps_dyadic_edge_band thm:peps_dyadic_central_clearance peps_dyadic_central_clearance def:peps_dyadic_edge_band->thm:peps_dyadic_central_clearance lem:peps_dyadic_conical_band peps_dyadic_conical_band def:peps_dyadic_edge_band->lem:peps_dyadic_conical_band def:peps_dyadic_normal_words peps_dyadic_normal_words def:peps_dyadic_edge_band->def:peps_dyadic_normal_words lem:peps_dyadic_band_disjoint peps_dyadic_band_disjoint def:peps_dyadic_edge_band->lem:peps_dyadic_band_disjoint def:peps_dyadic_schedule peps_dyadic_schedule thm:peps_dyadic_central_clearance->def:peps_dyadic_schedule thm:peps_dyadic_lens_clearance peps_dyadic_lens_clearance lem:peps_dyadic_conical_band->thm:peps_dyadic_lens_clearance thm:peps_dyadic_band_clearance peps_dyadic_band_clearance lem:peps_dyadic_conical_band->thm:peps_dyadic_band_clearance def:peps_dyadic_normal_words->def:peps_dyadic_schedule def:peps_dyadic_normal_words->thm:peps_dyadic_lens_clearance def:peps_dyadic_normal_words->thm:peps_dyadic_band_clearance lem:peps_dyadic_lens_word peps_dyadic_lens_word def:peps_dyadic_normal_words->lem:peps_dyadic_lens_word lem:peps_dyadic_schedule_guides peps_dyadic_schedule_guides lem:peps_dyadic_band_disjoint->lem:peps_dyadic_schedule_guides def:peps_dyadic_schedule->lem:peps_dyadic_schedule_guides def:peps_dyadic_block_guide peps_dyadic_block_guide def:peps_dyadic_schedule->def:peps_dyadic_block_guide thm:peps_dyadic_lens_clearance->thm:peps_dyadic_angular_separation thm:peps_dyadic_band_clearance->thm:peps_dyadic_angular_separation lem:peps_dyadic_lens_word->lem:peps_dyadic_schedule_guides lem:peps_dyadic_schedule_guides->thm:peps_dyadic_angular_separation lem:peps_dyadic_active_labels peps_dyadic_active_labels lem:peps_dyadic_schedule_guides->lem:peps_dyadic_active_labels def:peps_dyadic_block_guide->lem:peps_dyadic_translation def:peps_dyadic_block_guide->lem:peps_dyadic_active_labels thm:peps_dyadic_block_index_near peps_dyadic_block_index_near def:peps_dyadic_block_guide->thm:peps_dyadic_block_index_near lem:peps_dyadic_nets peps_dyadic_nets def:peps_dyadic_block_guide->lem:peps_dyadic_nets lem:peps_dyadic_choice_K0 peps_dyadic_choice_K0 lem:peps_dyadic_unmodified_vertices peps_dyadic_unmodified_vertices lem:peps_dyadic_choice_K0->lem:peps_dyadic_unmodified_vertices thm:peps_dyadic_point_ratio peps_dyadic_point_ratio lem:peps_dyadic_unmodified_vertices->thm:peps_dyadic_point_ratio lem:peps_dyadic_rim_pattern peps_dyadic_rim_pattern lem:peps_dyadic_unmodified_vertices->lem:peps_dyadic_rim_pattern thm:peps_dyadic_sampled_ratio peps_dyadic_sampled_ratio thm:peps_dyadic_point_ratio->thm:peps_dyadic_sampled_ratio lem:peps_dyadic_rim_pattern->thm:peps_dyadic_temporary_holes lem:peps_dyadic_tags peps_dyadic_tags lem:peps_dyadic_active_labels->lem:peps_dyadic_tags thm:peps_dyadic_local_guides peps_dyadic_local_guides lem:peps_dyadic_active_labels->thm:peps_dyadic_local_guides lem:peps_dyadic_address_locality peps_dyadic_address_locality lem:peps_dyadic_active_labels->lem:peps_dyadic_address_locality thm:peps_dyadic_active_label_parties peps_dyadic_active_label_parties lem:peps_dyadic_active_labels->thm:peps_dyadic_active_label_parties lem:peps_dyadic_sites peps_dyadic_sites lem:peps_dyadic_active_labels->lem:peps_dyadic_sites thm:peps_corrected_source_columns peps_corrected_source_columns def:peps_physical_frames peps_physical_frames def:peps_schmidt_physical_vector peps_schmidt_physical_vector def:peps_physical_frames->def:peps_schmidt_physical_vector thm:peps_physical_frame_contraction peps_physical_frame_contraction def:peps_physical_frames->thm:peps_physical_frame_contraction thm:peps_weighted_physical_source_identity peps_weighted_physical_source_identity def:peps_schmidt_physical_vector->thm:peps_weighted_physical_source_identity def:peps_separated_physical_density peps_separated_physical_density def:peps_schmidt_physical_vector->def:peps_separated_physical_density thm:peps_weighted_physical_source_bound peps_weighted_physical_source_bound thm:peps_physical_frame_contraction->thm:peps_weighted_physical_source_bound thm:peps_separated_physical_density_blocks peps_separated_physical_density_blocks thm:peps_weighted_physical_source_identity->thm:peps_separated_physical_density_blocks def:peps_separated_physical_density->thm:peps_weighted_physical_source_bound def:peps_separated_physical_density->thm:peps_separated_physical_density_blocks thm:peps_gaussian_separated_physical_bound peps_gaussian_separated_physical_bound thm:peps_weighted_physical_source_bound->thm:peps_gaussian_separated_physical_bound thm:peps_actual_gaussian_branch peps_actual_gaussian_branch thm:peps_gaussian_separated_physical_bound->thm:peps_actual_gaussian_branch thm:peps_circuit_effect_error peps_circuit_effect_error thm:peps_auxiliary_register_finiteness peps_auxiliary_register_finiteness thm:peps_circuit_effect_error->thm:peps_auxiliary_register_finiteness thm:peps_source_only_resources peps_source_only_resources thm:peps_circuit_effect_error->thm:peps_source_only_resources thm:peps_source_only_density_error peps_source_only_density_error thm:peps_circuit_effect_error->thm:peps_source_only_density_error def:peps_physical_first_replacement peps_physical_first_replacement thm:peps_circuit_effect_error->def:peps_physical_first_replacement thm:peps_sampled_original_density peps_sampled_original_density thm:peps_auxiliary_register_finiteness->thm:peps_sampled_original_density thm:peps_effect_replacement_polynomial peps_effect_replacement_polynomial thm:peps_source_only_resources->thm:peps_effect_replacement_polynomial thm:peps_original_finite_expansion_bound peps_original_finite_expansion_bound thm:peps_source_only_resources->thm:peps_original_finite_expansion_bound thm:peps_family_regional_dimensions peps_family_regional_dimensions thm:peps_source_only_density_error->thm:peps_family_regional_dimensions thm:peps_constant_family_regional_density peps_constant_family_regional_density thm:peps_source_only_density_error->thm:peps_constant_family_regional_density thm:peps_physical_first_exact_sources peps_physical_first_exact_sources thm:peps_source_only_density_error->thm:peps_physical_first_exact_sources thm:peps_physical_first_trace peps_physical_first_trace def:peps_physical_first_replacement->thm:peps_physical_first_trace thm:peps_physical_first_occurrences peps_physical_first_occurrences def:peps_physical_first_replacement->thm:peps_physical_first_occurrences thm:peps_sampled_original_density->thm:peps_approximate_source_sample thm:peps_physical_first_branch_polynomial peps_physical_first_branch_polynomial thm:peps_effect_replacement_polynomial->thm:peps_physical_first_branch_polynomial thm:peps_original_finite_expansion_bound->thm:peps_sampled_original_density thm:peps_family_regional_dimensions->thm:peps_affected_original_dimensions thm:peps_physical_first_exact_sources->thm:peps_sampled_original_density thm:peps_physical_first_trace->thm:peps_physical_first_exact_sources thm:peps_physical_first_occurrences->thm:peps_original_finite_expansion_bound def:peps_physical_first_original_locality peps_physical_first_original_locality thm:peps_physical_first_occurrences->def:peps_physical_first_original_locality thm:peps_physical_first_source_count peps_physical_first_source_count thm:peps_physical_first_occurrences->thm:peps_physical_first_source_count thm:peps_physical_first_link_polynomial peps_physical_first_link_polynomial thm:peps_physical_first_branch_polynomial->thm:peps_physical_first_link_polynomial thm:peps_physical_first_original_locality peps_physical_first_original_locality def:peps_physical_first_original_locality->thm:peps_physical_first_original_locality thm:peps_physical_first_sample_polynomial peps_physical_first_sample_polynomial thm:peps_physical_first_source_count->thm:peps_physical_first_sample_polynomial thm:peps_exact_message_identity peps_exact_message_identity thm:peps_exact_message_identity->thm:peps_message_expansion_count thm:peps_connected_regular_region_injectivity peps_connected_regular_region_injectivity thm:peps_regular_open_boundary_dimension peps_regular_open_boundary_dimension thm:peps_connected_regular_region_injectivity->thm:peps_regular_open_boundary_dimension thm:peps_regular_region_support peps_regular_region_support thm:peps_connected_regular_region_injectivity->thm:peps_regular_region_support thm:peps_small_open_boundary_obstruction peps_small_open_boundary_obstruction thm:peps_regular_open_boundary_dimension->thm:peps_small_open_boundary_obstruction thm:peps_regular_region_dimension peps_regular_region_dimension thm:peps_regular_region_support->thm:peps_regular_region_dimension thm:peps_regular_parent_spaces_physical_ray peps_regular_parent_spaces_physical_ray thm:peps_regular_region_support->thm:peps_regular_parent_spaces_physical_ray thm:peps_regular_torus_rectangle_support peps_regular_torus_rectangle_support thm:peps_regular_region_support->thm:peps_regular_torus_rectangle_support thm:peps_same_state_regular_region_spaces peps_same_state_regular_region_spaces thm:peps_regular_region_support->thm:peps_same_state_regular_region_spaces thm:peps_regular_group_order_physical_ray peps_regular_group_order_physical_ray thm:peps_regular_region_support->thm:peps_regular_group_order_physical_ray thm:peps_two_site_open_boundary_obstruction peps_two_site_open_boundary_obstruction thm:peps_small_open_boundary_obstruction->thm:peps_two_site_open_boundary_obstruction thm:peps_normalized_regular_region_support peps_normalized_regular_region_support thm:peps_regular_region_dimension->thm:peps_normalized_regular_region_support thm:peps_regular_group_order_rigidity peps_regular_group_order_rigidity thm:peps_regular_region_dimension->thm:peps_regular_group_order_rigidity thm:peps_regular_region_entropy_bound peps_regular_region_entropy_bound thm:peps_regular_region_dimension->thm:peps_regular_region_entropy_bound thm:peps_regular_torus_local_rigidity peps_regular_torus_local_rigidity thm:peps_same_state_regular_region_spaces->thm:peps_regular_torus_local_rigidity thm:peps_regular_group_order_rigidity->thm:peps_regular_torus_local_rigidity thm:peps_regular_torus_rectangle_entropy_bound peps_regular_torus_rectangle_entropy_bound thm:peps_regular_region_entropy_bound->thm:peps_regular_torus_rectangle_entropy_bound thm:peps_regular_torus_singleton_support peps_regular_torus_singleton_support thm:peps_regular_region_entropy_bound->thm:peps_regular_torus_singleton_support thm:peps_native_regular_closure_local_rigidity peps_native_regular_closure_local_rigidity thm:peps_regular_torus_local_rigidity->thm:peps_native_regular_closure_local_rigidity thm:peps_regular_torus_sector_interior_support peps_regular_torus_sector_interior_support thm:peps_regular_torus_rectangle_entropy_bound->thm:peps_regular_torus_sector_interior_support thm:peps_native_regular_singleton_support peps_native_regular_singleton_support thm:peps_regular_torus_singleton_support->thm:peps_native_regular_singleton_support thm:peps_region_physical_entanglement_bound peps_region_physical_entanglement_bound def:peps_three_core_lifted_cut peps_three_core_lifted_cut thm:peps_three_block_regional_boundary_exact peps_three_block_regional_boundary_exact def:peps_three_core_lifted_cut->thm:peps_three_block_regional_boundary_exact thm:peps_three_block_open_boundary_exact peps_three_block_open_boundary_exact def:peps_three_core_lifted_cut->thm:peps_three_block_open_boundary_exact thm:peps_three_core_localization peps_three_core_localization def:peps_three_core_lifted_cut->thm:peps_three_core_localization thm:peps_three_block_regional_boundary_exact->thm:peps_general_three_block_intersection thm:peps_three_block_open_boundary_exact->thm:peps_three_block_core_lifted_intersection thm:peps_three_core_localization->thm:peps_three_block_core_lifted_intersection def:area_law_amplification_time_radius area_law_amplification_time_radius thm:area_law_amplification_scale_bounds area_law_amplification_scale_bounds def:area_law_amplification_time_radius->thm:area_law_amplification_scale_bounds thm:area_law_amplification_good_realization area_law_amplification_good_realization thm:area_law_amplification_scale_bounds->thm:area_law_amplification_good_realization def:peps_owner_sources peps_owner_sources thm:peps_owner_composition peps_owner_composition def:peps_owner_sources->thm:peps_owner_composition thm:peps_owner_source_pairs peps_owner_source_pairs def:peps_owner_sources->thm:peps_owner_source_pairs thm:peps_selected_source_owner_registers peps_selected_source_owner_registers def:peps_owner_sources->thm:peps_selected_source_owner_registers thm:peps_owner_sources_internal peps_owner_sources_internal def:peps_owner_sources->thm:peps_owner_sources_internal thm:peps_internal_source_factorization peps_internal_source_factorization thm:peps_owner_composition->thm:peps_internal_source_factorization thm:peps_owner_evaluation_identification peps_owner_evaluation_identification thm:peps_owner_composition->thm:peps_owner_evaluation_identification thm:peps_grouped_gate_sum peps_grouped_gate_sum thm:peps_owner_composition->thm:peps_grouped_gate_sum thm:peps_owner_disjoint_restriction peps_owner_disjoint_restriction thm:peps_owner_composition->thm:peps_owner_disjoint_restriction thm:peps_owner_sources_internal->thm:peps_internal_source_factorization thm:peps_affected_source_occurrences peps_affected_source_occurrences thm:peps_owner_sources_internal->thm:peps_affected_source_occurrences thm:peps_selective_partition peps_selective_partition thm:peps_internal_source_factorization->thm:peps_selective_partition thm:peps_prepared_gate_grouped peps_prepared_gate_grouped thm:peps_grouped_gate_sum->thm:peps_prepared_gate_grouped thm:peps_owner_disjoint_restriction->thm:peps_actual_private_preparation_exterior thm:peps_spectator_owner_exclusion peps_spectator_owner_exclusion thm:peps_owner_disjoint_restriction->thm:peps_spectator_owner_exclusion thm:peps_partial_source_inventory peps_partial_source_inventory thm:peps_affected_source_occurrences->thm:peps_partial_source_inventory thm:peps_partial_source_order peps_partial_source_order thm:peps_partial_source_inventory->thm:peps_partial_source_order def:peps_partial_fixed_positions peps_partial_fixed_positions thm:peps_partial_source_order->def:peps_partial_fixed_positions thm:peps_actual_source_selective_partition peps_actual_source_selective_partition thm:peps_selective_partition->thm:peps_actual_source_selective_partition thm:peps_prepared_gate_grouped->thm:peps_partial_source_inventory thm:peps_source_circuit_norm peps_source_circuit_norm thm:peps_prepared_gate_grouped->thm:peps_source_circuit_norm thm:peps_partial_source_evaluation peps_partial_source_evaluation thm:peps_prepared_gate_grouped->thm:peps_partial_source_evaluation thm:peps_lifted_canonical_intersection peps_lifted_canonical_intersection thm:peps_g_injective_left_inverse peps_g_injective_left_inverse thm:peps_g_injective_left_inverse->thm:peps_open_cut_intersection thm:peps_g_injective_left_inverse->thm:peps_lifted_canonical_intersection thm:peps_four_cut_common_local_inverse peps_four_cut_common_local_inverse thm:peps_g_injective_left_inverse->thm:peps_four_cut_common_local_inverse thm:peps_dependent_common_inverse peps_dependent_common_inverse thm:peps_g_injective_left_inverse->thm:peps_dependent_common_inverse thm:peps_lifted_common_inverse peps_lifted_common_inverse thm:peps_g_injective_left_inverse->thm:peps_lifted_common_inverse thm:peps_four_cut_common_local_inverse->thm:peps_four_cut_common_average_projection thm:peps_dependent_average_projection peps_dependent_average_projection thm:peps_dependent_common_inverse->thm:peps_dependent_average_projection thm:peps_full_four_cut_transport peps_full_four_cut_transport thm:peps_dependent_common_inverse->thm:peps_full_four_cut_transport thm:peps_dependent_average_projection->thm:peps_full_four_cut_flat_projection thm:peps_full_four_cut_transport->thm:peps_dependent_closure_invariant thm:peps_full_four_cut_transport->thm:peps_four_cut_closure thm:peps_sheet_swap_supported_exchange peps_sheet_swap_supported_exchange thm:peps_sheet_swap_doubled_cancellation peps_sheet_swap_doubled_cancellation thm:peps_sheet_swap_supported_exchange->thm:peps_sheet_swap_doubled_cancellation thm:peps_sheet_swap_interaction_restriction peps_sheet_swap_interaction_restriction thm:peps_sheet_swap_doubled_cancellation->thm:peps_sheet_swap_interaction_restriction thm:peps_sheet_swap_boundary_expansion peps_sheet_swap_boundary_expansion thm:peps_sheet_swap_doubled_cancellation->thm:peps_sheet_swap_boundary_expansion thm:peps_sheet_swap_conjugate_support peps_sheet_swap_conjugate_support thm:peps_sheet_swap_interaction_restriction->thm:peps_sheet_swap_conjugate_support thm:peps_swapped_doubled_boundary_bound peps_swapped_doubled_boundary_bound thm:peps_sheet_swap_boundary_expansion->thm:peps_swapped_doubled_boundary_bound thm:peps_sheet_swap_conjugate_support->thm:peps_swapped_doubled_boundary_bound thm:swapped_square_hamiltonian_interaction swapped_square_hamiltonian_interaction thm:peps_sheet_swap_conjugate_support->thm:swapped_square_hamiltonian_interaction thm:peps_supported_physical_buffer_gaussian peps_supported_physical_buffer_gaussian thm:peps_swapped_doubled_boundary_bound->thm:peps_supported_physical_buffer_gaussian thm:peps_square_crossing_interval peps_square_crossing_interval thm:peps_square_crossing_support peps_square_crossing_support thm:peps_square_crossing_interval->thm:peps_square_crossing_support thm:peps_nested_patch_crossing peps_nested_patch_crossing thm:peps_square_crossing_support->thm:peps_nested_patch_crossing def:peps_dependent_physical_product peps_dependent_physical_product thm:peps_dependent_physical_contraction peps_dependent_physical_contraction def:peps_dependent_physical_product->thm:peps_dependent_physical_contraction thm:peps_party_product_scalar peps_party_product_scalar def:peps_dependent_physical_product->thm:peps_party_product_scalar def:peps_dependent_average_projection peps_dependent_average_projection def:peps_dependent_physical_product->def:peps_dependent_average_projection thm:peps_dependent_product_calculus peps_dependent_product_calculus def:peps_dependent_physical_product->thm:peps_dependent_product_calculus thm:peps_dependent_physical_contraction->thm:peps_dependent_common_inverse def:peps_dependent_average_projection->thm:peps_dependent_average_projection def:peps_full_four_cut_canonical peps_full_four_cut_canonical def:peps_dependent_average_projection->def:peps_full_four_cut_canonical thm:peps_dependent_product_calculus->thm:peps_dependent_product_range thm:peps_party_product_conjugation peps_party_product_conjugation thm:peps_dependent_product_calculus->thm:peps_party_product_conjugation thm:peps_four_cut_common_product_algebra peps_four_cut_common_product_algebra thm:peps_dependent_product_calculus->thm:peps_four_cut_common_product_algebra def:peps_full_four_cut_canonical->thm:peps_full_four_cut_flat_projection def:peps_full_four_cut_canonical->thm:peps_full_four_cut_forward def:peps_full_four_cut_canonical->thm:peps_dependent_closure_extraction thm:peps_party_product_conjugation->thm:peps_actual_party_mixed_matrix thm:peps_party_product_partial_trace peps_party_product_partial_trace thm:peps_party_product_conjugation->thm:peps_party_product_partial_trace thm:peps_actual_sampled_local_output_trace peps_actual_sampled_local_output_trace thm:peps_actual_sampled_party_contraction->thm:peps_actual_sampled_local_output_trace thm:peps_party_product_partial_trace->thm:peps_actual_sampled_local_output_trace thm:peps_actual_sampled_physical_factors peps_actual_sampled_physical_factors thm:peps_actual_sampled_local_output_trace->thm:peps_actual_sampled_physical_factors thm:peps_actual_sampled_physical_factors->thm:peps_actual_sampled_physical_scalar def:peps_global_physical_matrix peps_global_physical_matrix thm:peps_region_physical_intertwining peps_region_physical_intertwining def:peps_global_physical_matrix->thm:peps_region_physical_intertwining thm:peps_region_physical_unitary_conjugation peps_region_physical_unitary_conjugation thm:peps_region_physical_intertwining->thm:peps_region_physical_unitary_conjugation thm:peps_partial_fixed_layout peps_partial_fixed_layout def:peps_partial_fixed_positions->thm:peps_partial_fixed_layout def:peps_local_source_sample_indices peps_local_source_sample_indices def:peps_partial_fixed_positions->def:peps_local_source_sample_indices def:peps_all_original_source_slots peps_all_original_source_slots def:peps_partial_fixed_positions->def:peps_all_original_source_slots def:peps_selected_retained_positions peps_selected_retained_positions def:peps_partial_fixed_positions->def:peps_selected_retained_positions def:peps_all_party_source_registers peps_all_party_source_registers def:peps_partial_fixed_positions->def:peps_all_party_source_registers def:peps_partial_original_source_vector peps_partial_original_source_vector def:peps_partial_fixed_positions->def:peps_partial_original_source_vector thm:peps_partial_fixed_layout->thm:peps_partial_fixed_preparation thm:peps_partial_fixed_layout->def:peps_canonical_source_residual thm:peps_actual_sampled_endpoint_exterior peps_actual_sampled_endpoint_exterior thm:peps_partial_fixed_layout->thm:peps_actual_sampled_endpoint_exterior thm:peps_partial_slot_coordinate_layout peps_partial_slot_coordinate_layout thm:peps_partial_fixed_layout->thm:peps_partial_slot_coordinate_layout thm:peps_all_party_source_exterior_empty peps_all_party_source_exterior_empty thm:peps_partial_fixed_layout->thm:peps_all_party_source_exterior_empty def:peps_global_source_replacement peps_global_source_replacement def:peps_all_original_source_slots->def:peps_global_source_replacement def:peps_source_sample_assignment_indices peps_source_sample_assignment_indices def:peps_all_original_source_slots->def:peps_source_sample_assignment_indices thm:peps_all_source_subsets peps_all_source_subsets def:peps_all_original_source_slots->thm:peps_all_source_subsets def:peps_selected_retained_positions->thm:peps_selected_retained_coordinates def:peps_partial_schmidt_assignments peps_partial_schmidt_assignments def:peps_selected_retained_positions->def:peps_partial_schmidt_assignments def:peps_all_party_source_registers->def:peps_actual_private_preparation def:peps_all_party_source_registers->thm:peps_all_party_source_exterior_empty thm:peps_singleton_all_source_layout peps_singleton_all_source_layout def:peps_all_party_source_registers->thm:peps_singleton_all_source_layout def:peps_actual_source_input_basis peps_actual_source_input_basis def:peps_all_party_source_registers->def:peps_actual_source_input_basis def:peps_partial_original_source_vector->thm:peps_partial_original_source_vector def:peps_touched_labels peps_touched_labels def:peps_partial_original_source_vector->def:peps_touched_labels thm:peps_g_injective_physical_map peps_g_injective_physical_map thm:peps_range_parent_g_comparison peps_range_parent_g_comparison thm:peps_g_injective_physical_map->thm:peps_range_parent_g_comparison thm:peps_range_parent_g_transport peps_range_parent_g_transport thm:peps_range_parent_g_comparison->thm:peps_range_parent_g_transport thm:peps_semiregular_physical_canonical_parent peps_semiregular_physical_canonical_parent thm:peps_range_parent_g_comparison->thm:peps_semiregular_physical_canonical_parent thm:peps_oriented_physical_canonical_parent peps_oriented_physical_canonical_parent thm:peps_range_parent_g_comparison->thm:peps_oriented_physical_canonical_parent thm:peps_semiregular_g_injective_parent_kernel peps_semiregular_g_injective_parent_kernel thm:peps_semiregular_physical_canonical_parent->thm:peps_semiregular_g_injective_parent_kernel thm:peps_oriented_semiregular_physical_parent peps_oriented_semiregular_physical_parent thm:peps_oriented_physical_canonical_parent->thm:peps_oriented_semiregular_physical_parent thm:peps_native_uniform_semiregular_parent_dimension peps_native_uniform_semiregular_parent_dimension thm:peps_oriented_semiregular_physical_parent->thm:peps_native_uniform_semiregular_parent_dimension def:area_law_belt_cells area_law_belt_cells thm:area_law_nonbelt_primary_containment area_law_nonbelt_primary_containment def:area_law_belt_cells->thm:area_law_nonbelt_primary_containment thm:area_law_fine_belt_shift area_law_fine_belt_shift def:area_law_belt_cells->thm:area_law_fine_belt_shift def:area_law_belt_cells->def:area_law_belt_fan_color thm:area_law_nonbelt_primary_containment->thm:area_law_belt_fan_nonbelt_color thm:area_law_primary_fine_cell_cover area_law_primary_fine_cell_cover thm:area_law_nonbelt_primary_containment->thm:area_law_primary_fine_cell_cover thm:area_law_nonbelt_unique_primary area_law_nonbelt_unique_primary thm:area_law_nonbelt_primary_containment->thm:area_law_nonbelt_unique_primary thm:area_law_sparse_dyadic_belts area_law_sparse_dyadic_belts thm:area_law_fine_belt_shift->thm:area_law_sparse_dyadic_belts def:area_law_belt_fan_color->thm:area_law_belt_fan_nonbelt_color def:area_law_belt_fan_color->thm:area_law_belt_fan_contact_colors thm:area_law_belt_fan_dummy_color area_law_belt_fan_dummy_color def:area_law_belt_fan_color->thm:area_law_belt_fan_dummy_color def:area_law_initial_region_indices area_law_initial_region_indices def:area_law_belt_fan_color->def:area_law_initial_region_indices thm:area_law_primary_fine_cell_cover->thm:area_law_initial_birth_boundary_lattice thm:area_law_primary_fine_cell_cover->thm:area_law_initial_frontier_near_mark thm:area_law_initial_birth_regularity area_law_initial_birth_regularity thm:area_law_primary_fine_cell_cover->thm:area_law_initial_birth_regularity thm:area_law_initial_open_disjoint area_law_initial_open_disjoint thm:area_law_primary_fine_cell_cover->thm:area_law_initial_open_disjoint thm:area_law_primary_fine_cell_cover->thm:area_law_belt_run_primary_interface thm:area_law_initial_closed_cover area_law_initial_closed_cover thm:area_law_nonbelt_unique_primary->thm:area_law_initial_closed_cover thm:area_law_sparse_dyadic_belts->thm:area_law_sparse_belt_marks thm:area_law_finite_sparse_belt_family area_law_finite_sparse_belt_family thm:area_law_sparse_dyadic_belts->thm:area_law_finite_sparse_belt_family thm:area_law_belt_fan_dummy_color->thm:area_law_belt_run_dummy_interface def:area_law_initial_birth_regions area_law_initial_birth_regions def:area_law_initial_region_indices->def:area_law_initial_birth_regions def:area_law_initial_region_colors area_law_initial_region_colors def:area_law_initial_region_indices->def:area_law_initial_region_colors thm:area_law_initial_birth_regularity->thm:area_law_actual_sector_assignment thm:area_law_initial_open_disjoint->thm:area_law_actual_sector_assignment thm:area_law_initial_open_disjoint->thm:area_law_initial_lattice_partition thm:area_law_belt_run_primary_interface->thm:area_law_initial_interface_colors thm:area_law_initial_closed_cover->thm:area_law_actual_sector_assignment thm:area_law_initial_closed_cover->thm:area_law_initial_lattice_partition thm:area_law_initial_interface_colors->thm:area_law_initial_sector_colors thm:area_law_finite_sparse_belt_family->thm:area_law_uniform_initial_mark_count thm:area_law_belt_runs_interface_colors->thm:area_law_initial_interface_colors def:area_law_initial_birth_regions->thm:area_law_initial_birth_boundary_lattice def:area_law_initial_birth_regions->thm:area_law_initial_frontier_near_mark def:area_law_initial_birth_regions->thm:area_law_initial_closed_cover def:area_law_initial_birth_regions->thm:area_law_initial_interface_colors def:area_law_initial_open_regions area_law_initial_open_regions def:area_law_initial_birth_regions->def:area_law_initial_open_regions thm:area_law_initial_run_color area_law_initial_run_color def:area_law_initial_region_colors->thm:area_law_initial_run_color thm:peps_torus_commuting_closure_seams peps_torus_commuting_closure_seams thm:peps_four_cut_common_uniform_membership peps_four_cut_common_uniform_membership thm:peps_torus_commuting_closure_seams->thm:peps_four_cut_common_uniform_membership thm:peps_native_invariant_closure_membership peps_native_invariant_closure_membership thm:peps_torus_commuting_closure_seams->thm:peps_native_invariant_closure_membership thm:peps_native_uniform_semiregular_parent_spanning peps_native_uniform_semiregular_parent_spanning thm:peps_native_invariant_closure_membership->thm:peps_native_uniform_semiregular_parent_spanning thm:peps_torus_rectangle_cut_connectivity peps_torus_rectangle_cut_connectivity thm:peps_torus_rectangle_cut_connectivity->thm:peps_regular_torus_rectangle_entropy_bound thm:peps_torus_rectangle_cut_connectivity->thm:peps_two_site_open_boundary_obstruction lem:peps_torus_singleton_geometry peps_torus_singleton_geometry thm:peps_torus_rectangle_cut_connectivity->lem:peps_torus_singleton_geometry thm:peps_torus_stripe_local_equivalence peps_torus_stripe_local_equivalence thm:peps_torus_rectangle_cut_connectivity->thm:peps_torus_stripe_local_equivalence lem:peps_torus_singleton_geometry->thm:peps_regular_torus_local_rigidity lem:peps_torus_singleton_geometry->thm:peps_regular_torus_singleton_support lem:peps_native_regular_incident_injectivity peps_native_regular_incident_injectivity lem:peps_torus_singleton_geometry->lem:peps_native_regular_incident_injectivity thm:peps_parent_ground_state_local_equivalence peps_parent_ground_state_local_equivalence thm:peps_torus_stripe_local_equivalence->thm:peps_parent_ground_state_local_equivalence lem:peps_native_regular_incident_injectivity->thm:peps_native_regular_closure_local_rigidity lem:peps_native_regular_incident_injectivity->thm:peps_native_regular_singleton_support def:peps_semiregular_incident_action peps_semiregular_incident_action thm:peps_semiregular_averaging_g_injective peps_semiregular_averaging_g_injective def:peps_semiregular_incident_action->thm:peps_semiregular_averaging_g_injective thm:peps_semiregular_averaging_g_injective->thm:peps_semiregular_physical_canonical_parent def:peps_subregion_slice peps_subregion_slice thm:peps_region_ground_space_nested peps_region_ground_space_nested def:peps_subregion_slice->thm:peps_region_ground_space_nested thm:peps_parent_regions_monotonicity peps_parent_regions_monotonicity thm:peps_region_ground_space_nested->thm:peps_parent_regions_monotonicity thm:area_law_bootstrap_margins area_law_bootstrap_margins thm:area_law_bootstrap_comparison_loss_threshold area_law_bootstrap_comparison_loss_threshold thm:area_law_bootstrap_margins->thm:area_law_bootstrap_comparison_loss_threshold thm:area_law_bootstrap_comparison_budget area_law_bootstrap_comparison_budget thm:area_law_bootstrap_margins->thm:area_law_bootstrap_comparison_budget thm:area_law_bootstrap_principal_energy area_law_bootstrap_principal_energy thm:area_law_bootstrap_margins->thm:area_law_bootstrap_principal_energy thm:area_law_finite_exponent_improvement area_law_finite_exponent_improvement thm:area_law_bootstrap_margins->thm:area_law_finite_exponent_improvement thm:area_law_bootstrap_collar_clearance area_law_bootstrap_collar_clearance thm:area_law_bootstrap_margins->thm:area_law_bootstrap_collar_clearance cor:area_law_bootstrap_energy_expression area_law_bootstrap_energy_expression thm:area_law_bootstrap_principal_energy->cor:area_law_bootstrap_energy_expression thm:area_law_bootstrap_collar_clearance->thm:area_law_uniform_rounded_shell_entropy thm:area_law_bootstrap_collar_clearance->thm:area_law_initial_rounded_collar_entropy def:ground_space_parent ground_space_parent thm:peps_cycle_region_ground_space peps_cycle_region_ground_space def:ground_space_parent->thm:peps_cycle_region_ground_space def:peps_semiregular peps_semiregular thm:peps_g_injective_closure_dimension peps_g_injective_closure_dimension def:peps_semiregular->thm:peps_g_injective_closure_dimension thm:peps_semiregular_trace peps_semiregular_trace def:peps_semiregular->thm:peps_semiregular_trace def:peps_four_cut_common_matched_action peps_four_cut_common_matched_action def:peps_semiregular->def:peps_four_cut_common_matched_action thm:peps_semiregular_alphabet_nonempty peps_semiregular_alphabet_nonempty def:peps_semiregular->thm:peps_semiregular_alphabet_nonempty thm:peps_regular_torus_parent_ground_space peps_regular_torus_parent_ground_space thm:peps_g_injective_closure_dimension->thm:peps_regular_torus_parent_ground_space thm:peps_semiregular_trace->thm:peps_torus_projector_extraction thm:peps_semiregular_group_algebra peps_semiregular_group_algebra thm:peps_semiregular_trace->thm:peps_semiregular_group_algebra lem:peps_twirled_representation peps_twirled_representation thm:peps_semiregular_trace->lem:peps_twirled_representation thm:peps_semiregular_regular_character peps_semiregular_regular_character thm:peps_semiregular_trace->thm:peps_semiregular_regular_character def:peps_four_cut_common_matched_action->def:peps_four_cut_common_bond_coefficients def:peps_four_cut_common_matched_action->def:peps_four_cut_common_bond_slices def:peps_four_cut_common_average_projection peps_four_cut_common_average_projection def:peps_four_cut_common_matched_action->def:peps_four_cut_common_average_projection def:peps_four_cut_common_closure peps_four_cut_common_closure def:peps_four_cut_common_matched_action->def:peps_four_cut_common_closure thm:peps_four_cut_common_vertex_gauge peps_four_cut_common_vertex_gauge def:peps_four_cut_common_matched_action->thm:peps_four_cut_common_vertex_gauge thm:peps_four_cut_common_cut_expansion peps_four_cut_common_cut_expansion def:peps_four_cut_common_matched_action->thm:peps_four_cut_common_cut_expansion thm:peps_semiregular_alphabet_nonempty->thm:peps_three_block_core_lifted_intersection thm:peps_regular_torus_parent_ground_space->thm:peps_native_uniform_semiregular_parent_dimension thm:peps_parent_ground_vector_coefficients peps_parent_ground_vector_coefficients thm:peps_regular_torus_parent_ground_space->thm:peps_parent_ground_vector_coefficients thm:peps_semiregular_remove_copies peps_semiregular_remove_copies thm:peps_semiregular_group_algebra->thm:peps_semiregular_remove_copies lem:peps_twirled_representation->thm:peps_semiregular_remove_copies thm:peps_semiregular_block_fourier peps_semiregular_block_fourier lem:peps_twirled_representation->thm:peps_semiregular_block_fourier thm:peps_semiregular_regular_character->thm:peps_semiregular_block_fourier def:peps_four_cut_common_average_projection->thm:peps_four_cut_common_average_projection def:peps_four_cut_common_closure->thm:peps_four_cut_common_uniform_membership thm:peps_four_cut_common_physical_contraction peps_four_cut_common_physical_contraction def:peps_four_cut_common_closure->thm:peps_four_cut_common_physical_contraction thm:peps_four_cut_common_matched_membership peps_four_cut_common_matched_membership def:peps_four_cut_common_closure->thm:peps_four_cut_common_matched_membership thm:peps_four_cut_common_vertex_gauge->thm:peps_four_cut_common_flat_projection thm:peps_four_cut_common_vertex_gauge->thm:peps_four_cut_common_matched_membership thm:peps_four_cut_common_cut_expansion->thm:peps_four_cut_common_network_expansion thm:peps_semiregular_matrix_blocks peps_semiregular_matrix_blocks thm:peps_semiregular_remove_copies->thm:peps_semiregular_matrix_blocks thm:peps_oriented_semiregular_canonical_parent peps_oriented_semiregular_canonical_parent thm:peps_semiregular_matrix_blocks->thm:peps_oriented_semiregular_canonical_parent thm:peps_semiregular_canonical_parent_equivalence peps_semiregular_canonical_parent_equivalence thm:peps_semiregular_matrix_blocks->thm:peps_semiregular_canonical_parent_equivalence thm:peps_native_uniform_semiregular_parent_dimension->thm:peps_native_uniform_semiregular_parent_spanning thm:peps_parent_ground_vector_coefficients->thm:peps_parent_ground_state_local_equivalence thm:peps_parent_ground_state_zero_entropy peps_parent_ground_state_zero_entropy thm:peps_parent_ground_vector_coefficients->thm:peps_parent_ground_state_zero_entropy thm:peps_parent_ground_state_density peps_parent_ground_state_density thm:peps_parent_ground_vector_coefficients->thm:peps_parent_ground_state_density thm:peps_semiregular_block_fourier->thm:peps_oriented_semiregular_canonical_parent thm:peps_semiregular_block_fourier->thm:peps_semiregular_canonical_parent_equivalence thm:peps_oriented_semiregular_canonical_parent->thm:peps_oriented_semiregular_physical_parent thm:peps_dependent_closure_independent->thm:peps_dependent_four_cut_dimension thm:peps_four_cut_common_physical_contraction->thm:peps_four_cut_common_local_inverse thm:peps_four_cut_common_matched_membership->thm:peps_four_cut_common_canonical_closure thm:peps_nested_cylinder_orthogonalization peps_nested_cylinder_orthogonalization thm:peps_nested_cylinder_projector_sum peps_nested_cylinder_projector_sum thm:peps_nested_cylinder_orthogonalization->thm:peps_nested_cylinder_projector_sum thm:peps_hole_encoder_tag_dimension peps_hole_encoder_tag_dimension thm:peps_nested_cylinder_orthogonalization->thm:peps_hole_encoder_tag_dimension thm:peps_hole_encoder_gram peps_hole_encoder_gram thm:peps_nested_cylinder_projector_sum->thm:peps_hole_encoder_gram thm:peps_hole_encoder_zero peps_hole_encoder_zero thm:peps_hole_encoder_tag_dimension->thm:peps_hole_encoder_zero thm:peps_hole_encoder_norm peps_hole_encoder_norm thm:peps_hole_encoder_gram->thm:peps_hole_encoder_norm thm:peps_hole_encoder_norm_on_span peps_hole_encoder_norm_on_span thm:peps_hole_encoder_norm->thm:peps_hole_encoder_norm_on_span thm:peps_uniform_corrected_input peps_uniform_corrected_input thm:peps_corrected_schmidt_input_identity peps_corrected_schmidt_input_identity thm:peps_uniform_corrected_input->thm:peps_corrected_schmidt_input_identity thm:peps_actual_corrected_schmidt_output peps_actual_corrected_schmidt_output thm:peps_corrected_schmidt_input_identity->thm:peps_actual_corrected_schmidt_output thm:peps_actual_corrected_schmidt_output->thm:peps_actual_gaussian_branch thm:peps_actual_corrected_source_bound peps_actual_corrected_source_bound thm:peps_actual_gaussian_branch->thm:peps_actual_corrected_source_bound def:peps_prepared_source_gate peps_prepared_source_gate thm:peps_prepared_gate_exists peps_prepared_gate_exists def:peps_prepared_source_gate->thm:peps_prepared_gate_exists def:peps_prepared_gate_grouped peps_prepared_gate_grouped def:peps_prepared_source_gate->def:peps_prepared_gate_grouped thm:peps_prepared_gate_properties peps_prepared_gate_properties def:peps_prepared_source_gate->thm:peps_prepared_gate_properties def:peps_source_circuit peps_source_circuit def:peps_prepared_source_gate->def:peps_source_circuit def:peps_prepared_gate_grouped->thm:peps_prepared_gate_grouped thm:peps_prepared_gate_properties->thm:peps_prepared_gate_grouped def:peps_source_circuit->thm:peps_source_circuit_norm def:peps_source_circuit_positions peps_source_circuit_positions def:peps_source_circuit->def:peps_source_circuit_positions thm:peps_source_circuit_incidence peps_source_circuit_incidence def:peps_source_circuit_positions->thm:peps_source_circuit_incidence def:peps_empty_party_gate_scalar peps_empty_party_gate_scalar def:peps_source_circuit_positions->def:peps_empty_party_gate_scalar def:peps_partial_source_choices peps_partial_source_choices def:peps_source_circuit_positions->def:peps_partial_source_choices thm:peps_source_substitution_partial peps_source_substitution_partial thm:peps_partial_source_evaluation->thm:peps_source_substitution_partial thm:peps_partial_source_density peps_partial_source_density thm:peps_partial_source_evaluation->thm:peps_partial_source_density def:peps_source_substitution peps_source_substitution def:peps_source_substitution->thm:peps_canonical_substitution_recovery def:peps_original_corrected_term peps_original_corrected_term def:peps_source_substitution->def:peps_original_corrected_term def:peps_source_substitution->thm:peps_source_substitution_partial def:peps_physical_source_replacement peps_physical_source_replacement def:peps_original_corrected_term->def:peps_physical_source_replacement thm:peps_corrected_empty peps_corrected_empty def:peps_original_corrected_term->thm:peps_corrected_empty def:peps_partial_basis_substitution peps_partial_basis_substitution def:peps_original_corrected_term->def:peps_partial_basis_substitution thm:peps_source_substitution_partial->thm:peps_corrected_partial thm:peps_source_substitution_partial->thm:peps_corrected_empty thm:peps_physical_corrected_subsets peps_physical_corrected_subsets def:peps_physical_source_replacement->thm:peps_physical_corrected_subsets thm:peps_actual_pure_physical_source_replacement peps_actual_pure_physical_source_replacement def:peps_physical_source_replacement->thm:peps_actual_pure_physical_source_replacement thm:peps_corrected_empty->thm:peps_global_corrected_subsets def:peps_partial_basis_substitution->thm:peps_corrected_partial thm:peps_all_gate_nonincident_identity peps_all_gate_nonincident_identity thm:peps_all_gate_nonincident_identity->thm:peps_all_branch_incident_locality thm:peps_source_circuit_incidence->thm:peps_partial_fixed_layout thm:peps_source_circuit_incidence->thm:peps_source_substitution_partial thm:peps_actual_sampled_endpoint_exterior->thm:peps_actual_sampled_exterior_trace thm:peps_partial_slot_coordinate_layout->thm:peps_singleton_all_source_layout thm:peps_all_party_source_exterior_empty->thm:peps_actual_private_preparation_exterior thm:peps_empty_party_gate_scalar peps_empty_party_gate_scalar def:peps_empty_party_gate_scalar->thm:peps_empty_party_gate_scalar def:peps_partial_source_choices->thm:peps_partial_source_inventory def:peps_partial_source_choices->thm:peps_partial_source_evaluation def:peps_partial_source_choices->def:peps_source_substitution def:peps_partial_source_choices->thm:peps_all_gate_nonincident_identity thm:peps_partial_source_local_cost peps_partial_source_local_cost def:peps_partial_source_choices->thm:peps_partial_source_local_cost thm:peps_actual_touched_gate_exterior peps_actual_touched_gate_exterior def:peps_partial_source_choices->thm:peps_actual_touched_gate_exterior thm:peps_empty_party_gate_scalar->thm:peps_actual_empty_party_gate_scalar thm:peps_actual_sampled_endpoint_word_sources peps_actual_sampled_endpoint_word_sources thm:area_law_dyadic_exhaustion area_law_dyadic_exhaustion thm:area_law_unique_layer area_law_unique_layer thm:area_law_dyadic_exhaustion->thm:area_law_unique_layer thm:area_law_unique_fine_cell area_law_unique_fine_cell thm:area_law_unique_layer->thm:area_law_unique_fine_cell thm:area_law_dummy_layers_cover area_law_dummy_layers_cover thm:area_law_unique_layer->thm:area_law_dummy_layers_cover thm:area_law_dummy_fine_cells_cover area_law_dummy_fine_cells_cover thm:area_law_unique_fine_cell->thm:area_law_dummy_fine_cells_cover thm:area_law_dummy_fine_cells_cover->thm:area_law_elementary_side_opponent thm:area_law_repair_margins area_law_repair_margins thm:area_law_repair_depth area_law_repair_depth thm:area_law_repair_margins->thm:area_law_repair_depth thm:area_law_repair_descendant_count area_law_repair_descendant_count thm:area_law_repair_depth->thm:area_law_repair_descendant_count def:peps_restricted_discard_basis peps_restricted_discard_basis def:peps_restricted_discard_basis->thm:peps_actual_source_lifetime_bound thm:peps_actual_source_sampling peps_actual_source_sampling thm:peps_actual_source_lifetime_bound->thm:peps_actual_source_sampling thm:peps_actual_source_sampling->thm:peps_sampled_original_density thm:peps_actual_source_polynomial peps_actual_source_polynomial thm:peps_actual_source_sampling->thm:peps_actual_source_polynomial thm:peps_group_tensor peps_group_tensor lem:peps_frame_chain_truncation peps_frame_chain_truncation thm:peps_group_tensor->lem:peps_frame_chain_truncation cor:peps_group_tensor_network peps_group_tensor_network thm:peps_group_tensor->cor:peps_group_tensor_network lem:peps_frame_chain_truncation->thm:peps_frame_small_rewrite_product_terms lem:peps_product_term_blocks peps_product_term_blocks lem:peps_frame_chain_truncation->lem:peps_product_term_blocks lem:peps_product_term_blocks->thm:peps_frame_small_rewrite_term_monomial thm:peps_owner_concatenation peps_owner_concatenation thm:peps_owner_concatenation->thm:peps_owner_composition thm:peps_grouped_block_map peps_grouped_block_map thm:peps_owner_concatenation->thm:peps_grouped_block_map thm:peps_grouped_block_map->thm:peps_partial_source_inventory thm:peps_grouped_block_map->thm:peps_partial_source_evaluation thm:area_law_polygon_strips area_law_polygon_strips thm:area_law_affine_row_profiles area_law_affine_row_profiles thm:area_law_polygon_strips->thm:area_law_affine_row_profiles thm:area_law_piece_depth_layers area_law_piece_depth_layers thm:area_law_affine_row_profiles->thm:area_law_piece_depth_layers thm:area_law_template_depth_layers area_law_template_depth_layers thm:area_law_piece_depth_layers->thm:area_law_template_depth_layers thm:area_template_partial_row area_template_partial_row thm:area_law_template_depth_layers->thm:area_template_partial_row thm:area_template_shell_cap area_template_shell_cap thm:area_law_template_depth_layers->thm:area_template_shell_cap lem:area_law_template_ambient_boundary area_law_template_ambient_boundary thm:area_law_template_depth_layers->lem:area_law_template_ambient_boundary thm:area_template_physical_dyadic_entropy area_template_physical_dyadic_entropy thm:area_template_physical_dyadic_entropy->thm:area_template_safe_box_entropy thm:area_law_capped_dyadic_entropy_cover area_law_capped_dyadic_entropy_cover thm:area_template_physical_dyadic_entropy->thm:area_law_capped_dyadic_entropy_cover thm:area_law_capped_dyadic_entropy_cover->thm:area_law_rectangle_shell_entropy thm:peps_register_move_restriction peps_register_move_restriction thm:peps_selected_local_part_erased_frame peps_selected_local_part_erased_frame thm:peps_register_move_restriction->thm:peps_selected_local_part_erased_frame thm:area_law_concentric_fan_restriction area_law_concentric_fan_restriction thm:area_law_concentric_fan_restriction->thm:area_law_actual_sector_assignment def:peps_parent_support_boundary_filter peps_parent_support_boundary_filter def:peps_parent_support_boundary_filter->thm:peps_parent_support_copy_blocks thm:peps_parent_support_boundary_factors peps_parent_support_boundary_factors def:peps_parent_support_boundary_filter->thm:peps_parent_support_boundary_factors thm:peps_parent_support_boundary_factors->thm:peps_parent_support_boundary_adjoints thm:peps_copy_parent_inclusions->thm:peps_copy_parent_equivalence def:peps_oriented_copy_parent_equivalence peps_oriented_copy_parent_equivalence thm:peps_oriented_copy_parent->def:peps_oriented_copy_parent_equivalence def:peps_fourier_semiregular_parent_map peps_fourier_semiregular_parent_map thm:peps_copy_parent_equivalence->def:peps_fourier_semiregular_parent_map def:peps_copy_positive_parent_map peps_copy_positive_parent_map thm:peps_copy_parent_equivalence->def:peps_copy_positive_parent_map thm:area_law_adjacent_fine_meshes area_law_adjacent_fine_meshes thm:area_law_adjacent_fine_meshes->thm:area_law_corner_side_subdivision thm:area_law_adjacent_fine_meshes->thm:area_law_fine_layer_mark_separation thm:area_law_adjacent_fine_meshes->thm:area_law_near_mark_quarter_mesh thm:area_law_adjacent_fine_meshes->thm:area_law_initial_closed_half_radius thm:area_law_fine_cell_contact area_law_fine_cell_contact thm:area_law_adjacent_fine_meshes->thm:area_law_fine_cell_contact thm:area_law_fine_cell_contact->thm:area_law_actual_elementary_side_matching thm:area_law_zero_boundary area_law_zero_boundary thm:area_law_degenerate_cases area_law_degenerate_cases thm:area_law_zero_boundary->thm:area_law_degenerate_cases thm:area_law_conditional_assembly area_law_conditional_assembly thm:area_law_zero_boundary->thm:area_law_conditional_assembly thm:area_template_dyadic_rectangle area_template_dyadic_rectangle thm:area_template_dyadic_rectangle->thm:area_template_physical_dyadic_entropy thm:area_template_safe_rectangles area_template_safe_rectangles thm:area_template_dyadic_rectangle->thm:area_template_safe_rectangles thm:area_law_rectangle_shell_safe_cells area_law_rectangle_shell_safe_cells thm:area_template_dyadic_rectangle->thm:area_law_rectangle_shell_safe_cells thm:area_template_safe_rectangles->thm:area_template_safe_box_entropy thm:area_law_rectangle_shell_safe_cells->thm:area_law_rounded_safe_shell_cells thm:area_law_rectangle_shell_safe_cells->thm:area_law_rectangle_shell_entropy thm:area_law_regional_entropy_continuity area_law_regional_entropy_continuity thm:area_law_cell_fan_cover area_law_cell_fan_cover thm:area_law_cell_fan_cover->thm:area_law_initial_birth_boundary_lattice thm:area_law_cell_fan_cover->thm:area_law_fan_frontier_primitives thm:area_law_cell_fan_cover->thm:area_law_fan_own_side_contact thm:area_law_cell_fan_cover->thm:area_law_belt_fan_contact_colors thm:area_law_cell_fan_cover->thm:area_law_initial_birth_regularity thm:area_law_fan_run_monochromatic area_law_fan_run_monochromatic thm:area_law_cell_fan_cover->thm:area_law_fan_run_monochromatic thm:area_law_fan_run_cover area_law_fan_run_cover thm:area_law_cell_fan_cover->thm:area_law_fan_run_cover thm:area_law_fan_other_cell_contact area_law_fan_other_cell_contact thm:area_law_cell_fan_cover->thm:area_law_fan_other_cell_contact thm:area_law_fan_run_monochromatic->thm:area_law_initial_sector_no_active thm:area_law_fan_run_monochromatic->thm:area_law_fan_cut_runs_disjoint thm:area_law_fan_run_cover->thm:area_law_closed_half_fan_components thm:area_law_fan_run_cover->thm:area_law_initial_open_disjoint thm:area_law_fan_run_cover->thm:area_law_initial_closed_cover thm:area_law_fan_run_cover->thm:area_law_fan_cut_component_correspondence thm:area_law_fan_other_cell_contact->thm:area_law_belt_run_primary_interface thm:area_law_fan_other_cell_contact->thm:area_law_belt_runs_interface_colors thm:area_law_initial_sector_no_active->thm:area_law_initial_active_radial thm:area_law_fan_cut_runs_disjoint->thm:area_law_closed_half_fan_components thm:area_law_fan_cut_runs_disjoint->thm:area_law_fan_cut_component_correspondence thm:area_law_fan_cut_component_correspondence->thm:area_law_initial_sector_components thm:peps_selected_physical_private_trace->thm:peps_actual_source_column_physical_trace thm:peps_distributed_grouped_physical_trace peps_distributed_grouped_physical_trace thm:peps_selected_physical_private_trace->thm:peps_distributed_grouped_physical_trace thm:peps_actual_source_column_physical_trace->thm:peps_actual_pure_sampled_physical_sum def:peps_partition_output_bases peps_partition_output_bases thm:peps_partition_output_coordinates peps_partition_output_coordinates def:peps_partition_output_bases->thm:peps_partition_output_coordinates thm:peps_owner_output_coordinates peps_owner_output_coordinates thm:peps_partition_output_coordinates->thm:peps_owner_output_coordinates thm:peps_local_schmidt_output_coordinates peps_local_schmidt_output_coordinates thm:peps_owner_output_coordinates->thm:peps_local_schmidt_output_coordinates thm:peps_local_schmidt_output_coordinates->thm:peps_actual_gaussian_branch thm:area_law_crossing_support_count area_law_crossing_support_count thm:area_law_nearest_neighbor_budget area_law_nearest_neighbor_budget thm:area_law_crossing_support_count->thm:area_law_nearest_neighbor_budget thm:peps_global_corrected_subsets->thm:peps_physical_corrected_subsets thm:peps_gaussian_vector_density peps_gaussian_vector_density thm:peps_corrected_gaussian_sum->thm:peps_gaussian_vector_density thm:peps_actual_physical_integrability peps_actual_physical_integrability thm:peps_corrected_gaussian_sum->thm:peps_actual_physical_integrability thm:area_law_cell_fan_regularity area_law_cell_fan_regularity thm:area_law_cell_fan_regularity->thm:area_law_actual_sector_assignment thm:area_law_fan_triangle_affine_basis area_law_fan_triangle_affine_basis thm:area_law_cell_fan_regularity->thm:area_law_fan_triangle_affine_basis thm:area_law_fan_triangle_affine_basis->thm:area_law_fan_radial_deletion_convex def:qc_local_circuit qc_local_circuit thm:qc_site_pair_tensor_support qc_site_pair_tensor_support def:qc_local_circuit->thm:qc_site_pair_tensor_support thm:area_law_supported_identity area_law_supported_identity def:qc_local_circuit->thm:area_law_supported_identity lem:qc_permutation_layers qc_permutation_layers def:qc_local_circuit->lem:qc_permutation_layers thm:qc_site_pair_tensor_support->thm:peps_sheet_swap_conjugate_support thm:area_law_marginal_tails area_law_marginal_tails thm:area_law_supported_identity->thm:area_law_marginal_tails thm:peps_sheet_swap_paired_site_support peps_sheet_swap_paired_site_support lem:qc_permutation_layers->thm:peps_sheet_swap_paired_site_support thm:area_law_typical_spectrum area_law_typical_spectrum thm:area_law_marginal_tails->thm:area_law_typical_spectrum thm:area_law_initial_buffer area_law_initial_buffer thm:area_law_marginal_tails->thm:area_law_initial_buffer thm:peps_sheet_swap_paired_site_support->thm:peps_sheet_swap_conjugate_support thm:swapped_square_hamiltonian_interaction->thm:peps_supported_physical_buffer_gaussian thm:area_law_typical_spectrum_boundary area_law_typical_spectrum_boundary thm:area_law_typical_spectrum->thm:area_law_typical_spectrum_boundary thm:area_law_box_recurrence area_law_box_recurrence thm:area_law_initial_buffer->thm:area_law_box_recurrence thm:area_law_rectangle_shell_selected_count area_law_rectangle_shell_selected_count thm:area_law_rectangle_shell_selected_count->thm:area_law_rectangle_shell_weighted_cover thm:peps_monoid_hom_commuting_weight peps_monoid_hom_commuting_weight thm:peps_graph_open_averaging_bond_state peps_graph_open_averaging_bond_state thm:peps_monoid_hom_commuting_weight->thm:peps_graph_open_averaging_bond_state thm:peps_parent_support_open_coordinates peps_parent_support_open_coordinates thm:peps_graph_open_averaging_bond_state->thm:peps_parent_support_open_coordinates thm:peps_open_sector_weighted_slice peps_open_sector_weighted_slice thm:peps_graph_open_averaging_bond_state->thm:peps_open_sector_weighted_slice thm:peps_parent_support_open_coordinates->thm:peps_parent_support_repeated_ranges thm:peps_parent_support_open_coordinates->thm:peps_copy_local_ranges thm:peps_fourier_exterior_blocks peps_fourier_exterior_blocks thm:peps_parent_support_open_coordinates->thm:peps_fourier_exterior_blocks thm:peps_parent_support_factor_ranges peps_parent_support_factor_ranges thm:peps_parent_support_open_coordinates->thm:peps_parent_support_factor_ranges thm:peps_open_sector_weighted_slice->thm:peps_parent_support_repeated_ranges thm:peps_open_sector_weighted_slice->thm:peps_open_sector_internal_restoration thm:peps_open_sector_weighted_slice->thm:peps_parent_support_factor_ranges thm:peps_copy_local_ranges->thm:peps_copy_parent_inclusions thm:peps_fourier_coordinate_parent peps_fourier_coordinate_parent thm:peps_fourier_exterior_blocks->thm:peps_fourier_coordinate_parent thm:peps_parent_support_factor_ranges->thm:peps_copy_parent_inverses thm:peps_local_schmidt_output peps_local_schmidt_output thm:peps_local_schmidt_output->thm:peps_actual_corrected_schmidt_output thm:peps_actual_corrected_source_bound->thm:peps_actual_source_lifetime_bound thm:peps_basis_physical_columns_local_coordinates peps_basis_physical_columns_local_coordinates thm:peps_basis_physical_columns_local_coordinates->thm:peps_selected_physical_basis_grouped def:compression_operator_links compression_operator_links def:peps_frame_rewrite_data peps_frame_rewrite_data def:peps_frame_rewrite_data->lem:peps_frame_wires def:peps_frame_rewrite peps_frame_rewrite def:peps_frame_rewrite_data->def:peps_frame_rewrite lem:peps_frame_rewrite_contraction peps_frame_rewrite_contraction def:peps_frame_rewrite->lem:peps_frame_rewrite_contraction lem:peps_frame_rewrite_intertwining peps_frame_rewrite_intertwining def:peps_frame_rewrite->lem:peps_frame_rewrite_intertwining lem:peps_frame_branches peps_frame_branches def:peps_frame_rewrite->lem:peps_frame_branches thm:peps_frame_small_rewrite peps_frame_small_rewrite lem:peps_frame_rewrite_contraction->thm:peps_frame_small_rewrite lem:peps_frame_rewrite_intertwining->thm:peps_frame_small_rewrite lem:peps_frame_branches->lem:peps_frame_branch_network lem:peps_frame_tag_change peps_frame_tag_change lem:peps_frame_branches->lem:peps_frame_tag_change thm:peps_frame_exchange_any_order peps_frame_exchange_any_order thm:peps_frame_small_rewrite->thm:peps_frame_exchange_any_order lem:peps_frame_approx_reference peps_frame_approx_reference thm:peps_frame_small_rewrite->lem:peps_frame_approx_reference lem:peps_frame_tag_change->thm:peps_frame_small_rewrite_term_monomial thm:area_law_collar_cut_bounds area_law_collar_cut_bounds thm:area_law_collar_bound_of_information area_law_collar_bound_of_information thm:area_law_collar_cut_bounds->thm:area_law_collar_bound_of_information thm:peps_dyadic_folded_congestion peps_dyadic_folded_congestion thm:peps_dyadic_routing_peps peps_dyadic_routing_peps thm:peps_dyadic_folded_congestion->thm:peps_dyadic_routing_peps thm:peps_party_column_routing peps_party_column_routing thm:peps_dyadic_routing_peps->thm:peps_party_column_routing thm:peps_party_column_routing->thm:peps_party_column_routing_polynomial def:peps_fourier_regional_matrix peps_fourier_regional_matrix thm:peps_fourier_product_composition peps_fourier_product_composition def:peps_fourier_regional_matrix->thm:peps_fourier_product_composition thm:peps_fourier_open_contractions peps_fourier_open_contractions def:peps_fourier_regional_matrix->thm:peps_fourier_open_contractions thm:peps_fourier_regional_ranges peps_fourier_regional_ranges thm:peps_fourier_product_composition->thm:peps_fourier_regional_ranges thm:peps_fourier_open_contractions->thm:peps_fourier_regional_ranges thm:peps_fourier_regional_ranges->thm:peps_fourier_exterior_blocks thm:area_law_fan_run_disjoint_interiors area_law_fan_run_disjoint_interiors thm:area_law_fan_run_disjoint_interiors->thm:area_law_initial_open_disjoint cor:peps_pair_effects_rescaling peps_pair_effects_rescaling cor:peps_pair_effects_rescaling->thm:peps_circuit_effect_error thm:peps_replacement_participants peps_replacement_participants thm:peps_replacement_participants->thm:peps_source_only_resources thm:peps_replacement_participants->def:peps_physical_first_original_locality thm:peps_physical_first_original_degree peps_physical_first_original_degree thm:peps_physical_first_original_locality->thm:peps_physical_first_original_degree def:compression_distributed_link_parties compression_distributed_link_parties def:peps_source_register_operator_word peps_source_register_operator_word thm:peps_source_register_operator_local_congruence peps_source_register_operator_local_congruence def:peps_source_register_operator_word->thm:peps_source_register_operator_local_congruence def:peps_actual_sampled_endpoint_word peps_actual_sampled_endpoint_word def:peps_source_register_operator_word->def:peps_actual_sampled_endpoint_word thm:peps_source_register_operator_evaluation peps_source_register_operator_evaluation def:peps_source_register_operator_word->thm:peps_source_register_operator_evaluation thm:peps_source_register_operator_exclusion peps_source_register_operator_exclusion def:peps_source_register_operator_word->thm:peps_source_register_operator_exclusion thm:peps_actual_sampled_endpoint_locality peps_actual_sampled_endpoint_locality thm:peps_source_register_operator_local_congruence->thm:peps_actual_sampled_endpoint_locality def:peps_actual_sampled_endpoint_word->thm:peps_actual_sampled_endpoint_exterior def:peps_actual_sampled_endpoint_word->thm:peps_actual_sampled_endpoint_word_sources def:peps_actual_sampled_endpoint_word->thm:peps_actual_sampled_endpoint_locality def:peps_actual_sampled_endpoint_word->def:peps_actual_sampled_physical_factor thm:peps_actual_sampled_endpoint_average peps_actual_sampled_endpoint_average def:peps_actual_sampled_endpoint_word->thm:peps_actual_sampled_endpoint_average thm:peps_endpoint_operator_coordinates peps_endpoint_operator_coordinates thm:peps_source_register_operator_evaluation->thm:peps_endpoint_operator_coordinates thm:peps_source_register_operator_exclusion->thm:peps_actual_sampled_endpoint_exterior def:peps_actual_sampled_physical_factor->thm:peps_actual_sampled_physical_factors thm:peps_actual_sampled_endpoint_average->thm:peps_actual_sampled_party_contraction thm:peps_endpoint_matrix_average peps_endpoint_matrix_average thm:peps_endpoint_operator_coordinates->thm:peps_endpoint_matrix_average thm:peps_endpoint_matrix_average->thm:peps_actual_sampled_endpoint_average def:peps_patch_canonical_marginal peps_patch_canonical_marginal thm:peps_patch_basis_relabelling peps_patch_basis_relabelling def:peps_patch_canonical_marginal->thm:peps_patch_basis_relabelling thm:peps_patch_marginal_expectation peps_patch_marginal_expectation def:peps_patch_canonical_marginal->thm:peps_patch_marginal_expectation def:peps_party_tensor_basis peps_party_tensor_basis def:peps_party_tensor_basis->thm:peps_basis_physical_columns_local_coordinates def:peps_party_grouped_basis peps_party_grouped_basis def:peps_party_tensor_basis->def:peps_party_grouped_basis def:peps_party_grouped_basis->thm:peps_actual_party_word_entries def:peps_party_grouped_basis->thm:peps_selected_physical_basis_grouped def:peps_party_grouped_basis->def:peps_actual_party_source_matrices thm:peps_family_physical_party_basis peps_family_physical_party_basis def:peps_party_grouped_basis->thm:peps_family_physical_party_basis thm:peps_party_grouped_basis_append peps_party_grouped_basis_append def:peps_party_grouped_basis->thm:peps_party_grouped_basis_append thm:peps_party_grouped_basis_append->thm:peps_selected_physical_private_basis_grouped thm:peps_selected_physical_private_basis_grouped->thm:peps_selected_physical_private_trace thm:peps_singleton_all_source_layout->def:peps_incident_source_word thm:compression_operator_shared_consistency compression_operator_shared_consistency thm:peps_original_source_sample_incidence peps_original_source_sample_incidence thm:peps_original_source_sample_incidence->def:peps_local_source_sample_indices thm:peps_weighted_density_sum peps_weighted_density_sum thm:peps_weighted_density_sum->thm:peps_corrected_partial thm:peps_prepared_subset_identity peps_prepared_subset_identity thm:peps_weighted_density_sum->thm:peps_prepared_subset_identity thm:peps_prepared_subset_identity->thm:peps_global_corrected_subsets thm:peps_sampled_physical_error peps_sampled_physical_error thm:peps_physical_corrected_subsets->thm:peps_sampled_physical_error thm:peps_cyclic_insertion_basic peps_cyclic_insertion_basic thm:peps_one_effect_estimate peps_one_effect_estimate thm:peps_cyclic_insertion_basic->thm:peps_one_effect_estimate thm:peps_replaced_monomial_error peps_replaced_monomial_error thm:peps_one_effect_estimate->thm:peps_replaced_monomial_error thm:peps_pair_effects_operator peps_pair_effects_operator thm:peps_replaced_monomial_error->thm:peps_pair_effects_operator thm:peps_pair_effects_operator->cor:peps_pair_effects_rescaling thm:peps_pair_effects_party peps_pair_effects_party thm:peps_pair_effects_operator->thm:peps_pair_effects_party lem:peps_pair_effects_source peps_pair_effects_source thm:peps_pair_effects_party->lem:peps_pair_effects_source def:peps_nonuniform_native_classes->thm:peps_nonuniform_native_independence thm:area_law_primary_diameter_separation area_law_primary_diameter_separation thm:area_law_primary_diameter_separation->thm:area_law_nonbelt_unique_primary thm:area_law_primary_diameter_separation->thm:area_law_initial_interface_colors thm:compression_operator_branch_sum compression_operator_branch_sum thm:compression_operator_matrix_sum compression_operator_matrix_sum thm:compression_operator_branch_sum->thm:compression_operator_matrix_sum thm:compression_operator_density_pair compression_operator_density_pair thm:compression_operator_matrix_sum->thm:compression_operator_density_pair thm:area_law_capped_sum_by_scale area_law_capped_sum_by_scale thm:area_law_capped_dyadic_moment area_law_capped_dyadic_moment thm:area_law_capped_sum_by_scale->thm:area_law_capped_dyadic_moment thm:area_law_capped_dyadic_moment->thm:area_law_template_weighted_core_cover thm:area_law_capped_dyadic_moment->thm:area_law_rectangle_shell_weighted_cover thm:area_template_weighted_shell area_template_weighted_shell thm:area_law_capped_dyadic_moment->thm:area_template_weighted_shell thm:area_template_weighted_shell->thm:area_template_safe_box_entropy thm:peps_oriented_average_g_injective peps_oriented_average_g_injective thm:peps_oriented_average_g_injective->thm:peps_oriented_physical_canonical_parent thm:peps_frame_exchange_bounded peps_frame_exchange_bounded thm:peps_crossing_schmidt peps_crossing_schmidt thm:peps_actual_schmidt_input_frames peps_actual_schmidt_input_frames thm:peps_crossing_schmidt->thm:peps_actual_schmidt_input_frames thm:peps_actual_schmidt_input_frames->thm:peps_actual_corrected_schmidt_output thm:peps_basis_final_scalar peps_basis_final_scalar thm:peps_basis_final_scalar->thm:peps_actual_source_column_coordinates def:peps_effect_chain peps_effect_chain def:peps_replaced_gate peps_replaced_gate def:peps_effect_chain->def:peps_replaced_gate def:peps_party_monomial peps_party_monomial def:peps_effect_chain->def:peps_party_monomial def:peps_replaced_gate->thm:peps_replaced_monomial_error thm:peps_replaced_monomial_expansion peps_replaced_monomial_expansion def:peps_replaced_gate->thm:peps_replaced_monomial_expansion thm:peps_party_terms_source_only peps_party_terms_source_only def:peps_replaced_gate->thm:peps_party_terms_source_only def:peps_party_monomial->thm:peps_party_terms_source_only def:peps_message_monomial peps_message_monomial def:peps_party_monomial->def:peps_message_monomial def:peps_monomial_parties peps_monomial_parties def:peps_party_monomial->def:peps_monomial_parties def:peps_original_circuit peps_original_circuit def:peps_party_monomial->def:peps_original_circuit def:peps_private_product_input peps_private_product_input def:peps_party_monomial->def:peps_private_product_input def:peps_frame_birth_monomials peps_frame_birth_monomials def:peps_party_monomial->def:peps_frame_birth_monomials thm:peps_party_ownership peps_party_ownership def:peps_party_monomial->thm:peps_party_ownership thm:peps_replaced_monomial_expansion->thm:peps_pair_effects_operator thm:peps_party_terms_source_only->thm:peps_pair_effects_party def:peps_message_monomial->thm:peps_message_expansion def:peps_message_gate peps_message_gate def:peps_message_monomial->def:peps_message_gate lem:peps_register_reorderings peps_register_reorderings def:peps_monomial_parties->lem:peps_register_reorderings lem:peps_frame_birth_monomial_operators peps_frame_birth_monomial_operators def:peps_monomial_parties->lem:peps_frame_birth_monomial_operators thm:peps_monomial_composition_counts peps_monomial_composition_counts def:peps_monomial_parties->thm:peps_monomial_composition_counts lem:peps_frame_exchange_correction_monomial peps_frame_exchange_correction_monomial def:peps_monomial_parties->lem:peps_frame_exchange_correction_monomial def:peps_original_circuit->thm:peps_circuit_effect_error def:peps_original_circuit->thm:peps_replacement_participants def:peps_distributed_construction peps_distributed_construction def:peps_original_circuit->def:peps_distributed_construction def:peps_private_product_input->def:peps_actual_private_preparation def:peps_source_replacement_operations peps_source_replacement_operations def:peps_private_product_input->def:peps_source_replacement_operations def:peps_frame_birth_monomials->lem:peps_frame_birth_monomial_operators thm:peps_party_ownership->thm:peps_pair_effects_party def:peps_message_gate_expand peps_message_gate_expand def:peps_message_gate->def:peps_message_gate_expand lem:peps_register_reorderings->thm:peps_actual_private_preparation lem:peps_register_reorderings->lem:peps_frame_tag_change lem:peps_exchange_renaming_word peps_exchange_renaming_word lem:peps_register_reorderings->lem:peps_exchange_renaming_word thm:peps_region_register_coordinates peps_region_register_coordinates lem:peps_register_reorderings->thm:peps_region_register_coordinates thm:peps_frame_birth_bounded_grouped peps_frame_birth_bounded_grouped lem:peps_frame_birth_monomial_operators->thm:peps_frame_birth_bounded_grouped thm:peps_frame_birth_bounded peps_frame_birth_bounded thm:peps_monomial_composition_counts->thm:peps_frame_birth_bounded lem:peps_rank_one_chain peps_rank_one_chain thm:peps_monomial_composition_counts->lem:peps_rank_one_chain lem:peps_exchange_correction_word peps_exchange_correction_word lem:peps_frame_exchange_correction_monomial->lem:peps_exchange_correction_word def:peps_distributed_construction_density peps_distributed_construction_density def:peps_distributed_construction->def:peps_distributed_construction_density thm:peps_incident_gate_labels peps_incident_gate_labels thm:peps_incident_gate_labels->thm:peps_all_branch_incident_locality thm:peps_incident_gate_labels->thm:peps_singleton_all_source_layout thm:peps_singleton_all_original_layout peps_singleton_all_original_layout thm:peps_incident_gate_labels->thm:peps_singleton_all_original_layout thm:peps_fourier_coordinate_parent->thm:peps_semiregular_canonical_parent_equivalence thm:peps_fourier_coordinate_parent->def:peps_fourier_semiregular_parent_map thm:peps_semiregular_canonical_parent_equivalence->thm:peps_semiregular_g_injective_parent_kernel thm:peps_fourier_semiregular_parent peps_fourier_semiregular_parent def:peps_fourier_semiregular_parent_map->thm:peps_fourier_semiregular_parent thm:peps_square_edge_count peps_square_edge_count thm:peps_square_edge_count->thm:peps_swapped_doubled_boundary_bound thm:area_law_entropy_dimension area_law_entropy_dimension thm:area_law_boundary_assembly area_law_boundary_assembly thm:area_law_entropy_dimension->thm:area_law_boundary_assembly thm:area_law_rectangle_partial_row area_law_rectangle_partial_row thm:area_law_entropy_dimension->thm:area_law_rectangle_partial_row thm:area_law_entropy_dimension->thm:area_template_partial_row thm:area_law_boundary_assembly->thm:area_law_conditional_assembly thm:area_law_birth_information_boundary area_law_birth_information_boundary thm:area_law_boundary_assembly->thm:area_law_birth_information_boundary thm:area_template_partial_row->thm:area_template_safe_box_entropy thm:peps_corrected_source_partition peps_corrected_source_partition lem:peps_dyadic_incident_change peps_dyadic_incident_change def:peps_dyadic_incident_labels->lem:peps_dyadic_incident_change lem:peps_dyadic_footprint peps_dyadic_footprint def:peps_dyadic_incident_labels->lem:peps_dyadic_footprint def:peps_dyadic_guide_patch_rewrite peps_dyadic_guide_patch_rewrite def:peps_dyadic_incident_labels->def:peps_dyadic_guide_patch_rewrite def:peps_dyadic_incident_labels->lem:peps_dyadic_tags thm:peps_dyadic_no_changed_vertex peps_dyadic_no_changed_vertex lem:peps_dyadic_incident_change->thm:peps_dyadic_no_changed_vertex lem:peps_dyadic_direct_repainting peps_dyadic_direct_repainting lem:peps_dyadic_incident_change->lem:peps_dyadic_direct_repainting lem:peps_dyadic_footprint_uniform peps_dyadic_footprint_uniform lem:peps_dyadic_footprint->lem:peps_dyadic_footprint_uniform thm:peps_dyadic_patch_rewrite_parties peps_dyadic_patch_rewrite_parties def:peps_dyadic_guide_patch_rewrite->thm:peps_dyadic_patch_rewrite_parties def:peps_dyadic_guide_patch_rewrite->thm:peps_dyadic_patch_rewrite_nets def:peps_dyadic_local_guides peps_dyadic_local_guides def:peps_dyadic_guide_patch_rewrite->def:peps_dyadic_local_guides lem:peps_dyadic_direct_repainting->lem:peps_dyadic_choice_K0 lem:peps_dyadic_direct_repainting->thm:peps_dyadic_patch_rewrite_nets lem:peps_dyadic_direct_repainting->thm:peps_dyadic_block_ratio lem:peps_dyadic_footprint_uniform->thm:peps_dyadic_block_ratio thm:peps_dyadic_patch_rewrite_parties->thm:peps_dyadic_patch_rewrite_lifetime thm:peps_dyadic_large_repainting_parties peps_dyadic_large_repainting_parties thm:peps_dyadic_patch_rewrite_parties->thm:peps_dyadic_large_repainting_parties def:peps_dyadic_local_guides->thm:peps_dyadic_local_guides thm:peps_dyadic_block_ratio->thm:peps_dyadic_point_ratio thm:peps_dyadic_large_repainting_lifetime peps_dyadic_large_repainting_lifetime thm:peps_dyadic_large_repainting_parties->thm:peps_dyadic_large_repainting_lifetime thm:peps_dyadic_local_guides->thm:peps_dyadic_large_repainting_parties thm:peps_dyadic_large_repainting_nets peps_dyadic_large_repainting_nets thm:peps_dyadic_local_guides->thm:peps_dyadic_large_repainting_nets def:peps_basis_partition_bases peps_basis_partition_bases def:peps_basis_partition_bases->def:peps_partition_output_bases thm:peps_basis_partition_output_coordinates peps_basis_partition_output_coordinates def:peps_basis_partition_bases->thm:peps_basis_partition_output_coordinates thm:peps_basis_partition_coordinates peps_basis_partition_coordinates def:peps_basis_partition_bases->thm:peps_basis_partition_coordinates thm:peps_basis_partition_output_coordinates->thm:peps_partition_output_coordinates thm:peps_basis_partition_coordinates->thm:peps_partition_output_coordinates thm:peps_original_coefficient_sum peps_original_coefficient_sum thm:peps_original_coefficient_majorant peps_original_coefficient_majorant thm:peps_original_coefficient_sum->thm:peps_original_coefficient_majorant thm:peps_actual_singleton_factorization peps_actual_singleton_factorization thm:peps_actual_singleton_factorization->thm:peps_actual_party_word_entries def:peps_parent_support_mixed_product peps_parent_support_mixed_product thm:peps_parent_support_mixed_action peps_parent_support_mixed_action def:peps_parent_support_mixed_product->thm:peps_parent_support_mixed_action thm:peps_parent_support_bond_blocks peps_parent_support_bond_blocks def:peps_parent_support_mixed_product->thm:peps_parent_support_bond_blocks thm:peps_parent_support_bond_blocks->thm:peps_parent_support_copy_blocks thm:peps_parent_support_bond_blocks->thm:peps_fourier_exterior_blocks thm:compression_incidence_containment compression_incidence_containment thm:compression_distributed_incidence_bound compression_distributed_incidence_bound thm:compression_incidence_containment->thm:compression_distributed_incidence_bound thm:peps_fixed_power_gate_budget peps_fixed_power_gate_budget thm:peps_original_approximation_budget peps_original_approximation_budget thm:peps_fixed_power_gate_budget->thm:peps_original_approximation_budget thm:peps_actual_pure_source_replacement->thm:peps_actual_pure_physical_source_replacement thm:peps_actual_pure_physical_source_replacement->thm:peps_actual_pure_sampled_physical_sum def:peps_square_radius peps_square_radius def:peps_square_radius->thm:peps_square_crossing_interval thm:area_law_tail_parameter area_law_tail_parameter thm:area_law_tail_parameter->thm:area_law_typical_spectrum_boundary thm:peps_injective_complement_region_support peps_injective_complement_region_support thm:peps_injective_region_boundary_rank peps_injective_region_boundary_rank thm:peps_injective_complement_region_support->thm:peps_injective_region_boundary_rank thm:peps_injective_open_cut_rank peps_injective_open_cut_rank thm:peps_injective_complement_region_support->thm:peps_injective_open_cut_rank thm:peps_angular_reset_uniform_width peps_angular_reset_uniform_width cor:peps_angular_reset_width_fits peps_angular_reset_width_fits thm:peps_angular_reset_uniform_width->cor:peps_angular_reset_width_fits thm:area_law_capped_dyadic_partition area_law_capped_dyadic_partition thm:area_law_capped_dyadic_partition->thm:area_law_template_core_selected_count thm:area_law_capped_dyadic_partition->thm:area_template_physical_dyadic_entropy thm:area_law_capped_dyadic_partition->thm:area_template_safe_rectangles thm:area_law_capped_dyadic_partition->thm:area_law_rectangle_shell_safe_cells thm:area_law_capped_dyadic_partition->thm:area_law_capped_sum_by_scale thm:area_law_capped_dyadic_partition->thm:area_template_shell_cap thm:area_law_rectangle_shell_cap_count area_law_rectangle_shell_cap_count thm:area_law_capped_dyadic_partition->thm:area_law_rectangle_shell_cap_count thm:area_template_shell_cap->thm:area_template_weighted_shell thm:area_law_rectangle_shell_cap_count->thm:area_law_rectangle_shell_weighted_cover thm:peps_touched_labels peps_touched_labels thm:peps_touched_labels->thm:peps_incident_gate_labels thm:area_law_initial_safe_rectangle_entropy area_law_initial_safe_rectangle_entropy thm:area_law_initial_safe_rectangle_entropy->thm:area_law_initial_rectangle_shell_entropy thm:area_law_actual_side_mask_iff area_law_actual_side_mask_iff def:peps_hole_encoder peps_hole_encoder def:peps_hole_encoder->thm:peps_hole_encoder_tag_dimension def:peps_hole_encoder->thm:peps_hole_encoder_gram lem:peps_parent_operators_local_spaces peps_parent_operators_local_spaces lem:peps_parent_operators_local_spaces->thm:peps_regular_parent_spaces_physical_ray thm:compression_corrected_owner compression_corrected_owner thm:peps_dyadic_block_index_near->thm:peps_dyadic_patch_rewrite_parties lem:peps_dyadic_nets->thm:peps_dyadic_patch_rewrite_nets lem:peps_dyadic_nets->thm:peps_dyadic_large_repainting_nets def:peps_dependent_averaging_site peps_dependent_averaging_site def:peps_dependent_averaging_site->thm:peps_dependent_projector_expansion def:peps_dependent_averaging_site->thm:peps_dependent_common_inverse def:peps_dependent_averaging_site->def:peps_dependent_average_projection thm:peps_dependent_averaging_injective peps_dependent_averaging_injective def:peps_dependent_averaging_site->thm:peps_dependent_averaging_injective thm:peps_dependent_averaging_injective->thm:peps_dependent_average_projection def:peps_dependent_closure_class->thm:peps_dependent_closure_independent def:peps_physical_output_matrix peps_physical_output_matrix thm:peps_exterior_contraction peps_exterior_contraction def:peps_physical_output_matrix->thm:peps_exterior_contraction thm:area_law_template_area area_law_template_area thm:area_law_template_area->thm:area_law_template_core_selected_count thm:area_law_template_area->thm:area_law_piece_depth_layers thm:area_law_template_physical_boundary area_law_template_physical_boundary lem:area_law_template_ambient_boundary->thm:area_law_template_physical_boundary def:peps_frame_exchange_data peps_frame_exchange_data def:peps_frame_exchange_data->lem:peps_exchange_renaming_word def:peps_frame_exchange_map peps_frame_exchange_map def:peps_frame_exchange_data->def:peps_frame_exchange_map lem:peps_frame_exchange_intertwining peps_frame_exchange_intertwining def:peps_frame_exchange_data->lem:peps_frame_exchange_intertwining lem:peps_exchange_renaming_word->thm:peps_frame_exchange_bounded lem:peps_frame_exchange_owners peps_frame_exchange_owners def:peps_frame_exchange_map->lem:peps_frame_exchange_owners lem:peps_frame_exchange_intertwining->thm:peps_sheet_swap_supported_exchange thm:peps_frame_exchange peps_frame_exchange lem:peps_frame_exchange_intertwining->thm:peps_frame_exchange lem:peps_frame_exchange_owners->lem:peps_frame_exchange_correction_monomial lem:peps_frame_exchange_owners->thm:peps_frame_exchange thm:peps_frame_exchange->thm:peps_frame_exchange_any_order thm:peps_frame_exchange_any_order->thm:peps_frame_exchange_bounded thm:peps_region_virtual_internal_bond peps_region_virtual_internal_bond thm:peps_region_virtual_internal_bond->thm:peps_region_virtual_bell_slice def:peps_three_core_physical_coordinates peps_three_core_physical_coordinates def:peps_three_core_physical_coordinates->def:peps_three_core_lifted_cut thm:peps_three_core_extension_injective peps_three_core_extension_injective def:peps_three_core_physical_coordinates->thm:peps_three_core_extension_injective def:peps_three_block_regional_boundary peps_three_block_regional_boundary def:peps_three_core_physical_coordinates->def:peps_three_block_regional_boundary def:peps_three_block_regional_boundary->thm:peps_three_block_regional_boundary_exact def:compression_operator_local_tensor compression_operator_local_tensor def:compression_operator_local_tensor->thm:compression_operator_branch_sum thm:openai_polynomial_peps openai_polynomial_peps lem:peps_frame_telescoping peps_frame_telescoping lem:peps_frame_telescoping->thm:peps_frame_small_rewrite thm:peps_frame_norm peps_frame_norm lem:peps_frame_telescoping->thm:peps_frame_norm lem:peps_frame_approx_reference->thm:peps_frame_small_rewrite_polynomial def:peps_injective_nearest_neighbor_regions peps_injective_nearest_neighbor_regions lem:peps_injective_nearest_neighbor_cover peps_injective_nearest_neighbor_cover def:peps_injective_nearest_neighbor_regions->lem:peps_injective_nearest_neighbor_cover lem:peps_injective_nearest_neighbor_cover->thm:peps_injective_nearest_neighbor_parent_space thm:peps_lifted_cut_reconstruction peps_lifted_cut_reconstruction thm:peps_lifted_cut_intersection peps_lifted_cut_intersection thm:peps_lifted_cut_reconstruction->thm:peps_lifted_cut_intersection thm:peps_lifted_cut_intersection->thm:peps_three_block_core_lifted_intersection thm:peps_lifted_cut_intersection->thm:peps_lifted_canonical_intersection thm:peps_lifted_cut_intersection->thm:peps_lifted_common_inverse lem:peps_region_ground_space_le peps_region_ground_space_le thm:peps_prepared_vector_density peps_prepared_vector_density thm:peps_prepared_vector_density->thm:peps_gaussian_vector_density thm:peps_physical_corrected_basis_invariance peps_physical_corrected_basis_invariance thm:peps_prepared_vector_density->thm:peps_physical_corrected_basis_invariance thm:peps_pure_source_density_coefficient peps_pure_source_density_coefficient thm:peps_prepared_vector_density->thm:peps_pure_source_density_coefficient thm:peps_gaussian_branch_density_bound peps_gaussian_branch_density_bound thm:peps_gaussian_vector_density->thm:peps_gaussian_branch_density_bound thm:peps_physical_corrected_basis_invariance->thm:peps_actual_corrected_source_bound thm:peps_pure_source_density_coefficient->thm:peps_actual_pure_source_contraction thm:peps_pure_source_contraction peps_pure_source_contraction thm:peps_pure_source_density_coefficient->thm:peps_pure_source_contraction thm:peps_pure_source_physical peps_pure_source_physical thm:peps_pure_source_density_coefficient->thm:peps_pure_source_physical thm:peps_gaussian_branch_density_bound->thm:peps_actual_gaussian_branch thm:square_hermitian_term_supported_algebra square_hermitian_term_supported_algebra def:square_area_law_hamiltonian square_area_law_hamiltonian thm:square_hermitian_term_supported_algebra->def:square_area_law_hamiltonian thm:square_area_law_hamiltonian_operator square_area_law_hamiltonian_operator def:square_area_law_hamiltonian->thm:square_area_law_hamiltonian_operator thm:square_area_law_hamiltonian_operator->thm:square_area_law_ground_gap thm:square_area_law_hamiltonian_operator->thm:swapped_square_hamiltonian_interaction def:peps_region_ground_space peps_region_ground_space def:peps_region_ground_space->thm:peps_cycle_region_ground_space def:peps_region_ground_space->thm:peps_parent_support_open_coordinates def:peps_region_ground_space->lem:peps_region_ground_space_le thm:peps_full_region_range peps_full_region_range def:peps_region_ground_space->thm:peps_full_region_range def:peps_region_parent_interaction peps_region_parent_interaction def:peps_region_ground_space->def:peps_region_parent_interaction thm:peps_oriented_open_range peps_oriented_open_range def:peps_region_ground_space->thm:peps_oriented_open_range thm:peps_injective_vertex_reconstruction peps_injective_vertex_reconstruction def:peps_region_ground_space->thm:peps_injective_vertex_reconstruction thm:peps_region_ground_space_slice peps_region_ground_space_slice def:peps_region_ground_space->thm:peps_region_ground_space_slice thm:peps_regular_region_range peps_regular_region_range def:peps_region_ground_space->thm:peps_regular_region_range def:peps_physical_deformation peps_physical_deformation def:peps_region_ground_space->def:peps_physical_deformation thm:peps_nested_incident_labels peps_nested_incident_labels def:peps_region_ground_space->thm:peps_nested_incident_labels lem:peps_injective_region_actual_map peps_injective_region_actual_map def:peps_region_ground_space->lem:peps_injective_region_actual_map thm:peps_region_vertex_image_support peps_region_vertex_image_support def:peps_region_ground_space->thm:peps_region_vertex_image_support thm:peps_native_inserted_region_support peps_native_inserted_region_support def:peps_region_ground_space->thm:peps_native_inserted_region_support thm:peps_region_ground_space_dimension peps_region_ground_space_dimension def:peps_region_ground_space->thm:peps_region_ground_space_dimension thm:peps_parent_support_block_criterion peps_parent_support_block_criterion def:peps_region_ground_space->thm:peps_parent_support_block_criterion thm:peps_full_region_range->thm:peps_bell_product_physical_image thm:peps_parent_full_region_span peps_parent_full_region_span thm:peps_full_region_range->thm:peps_parent_full_region_span thm:peps_torus_closure_interior_parent_constraints peps_torus_closure_interior_parent_constraints def:peps_region_parent_interaction->thm:peps_torus_closure_interior_parent_constraints thm:peps_region_reduced_density_parent peps_region_reduced_density_parent def:peps_region_parent_interaction->thm:peps_region_reduced_density_parent thm:peps_regular_region_parent_flatness peps_regular_region_parent_flatness def:peps_region_parent_interaction->thm:peps_regular_region_parent_flatness lem:peps_regular_region_bond_right_invariance peps_regular_region_bond_right_invariance def:peps_region_parent_interaction->lem:peps_regular_region_bond_right_invariance def:peps_deformed_region_interaction peps_deformed_region_interaction def:peps_region_parent_interaction->def:peps_deformed_region_interaction def:peps_region_parent_hamiltonian peps_region_parent_hamiltonian def:peps_region_parent_interaction->def:peps_region_parent_hamiltonian thm:peps_range_parent_kernel peps_range_parent_kernel def:peps_region_parent_interaction->thm:peps_range_parent_kernel thm:peps_injective_region_parent_transport peps_injective_region_parent_transport def:peps_region_parent_interaction->thm:peps_injective_region_parent_transport thm:peps_canonical_region_interaction peps_canonical_region_interaction def:peps_region_parent_interaction->thm:peps_canonical_region_interaction thm:peps_oriented_open_range->thm:peps_oriented_copy_local_ranges thm:peps_oriented_coordinate_blocks peps_oriented_coordinate_blocks thm:peps_oriented_open_range->thm:peps_oriented_coordinate_blocks thm:peps_oriented_parent_support peps_oriented_parent_support thm:peps_oriented_open_range->thm:peps_oriented_parent_support thm:peps_injective_vertex_reconstruction->thm:peps_bell_product_injective_image thm:peps_injective_vertex_reconstruction->thm:peps_injective_region_parent_transport thm:peps_vertex_inverse_region_slice peps_vertex_inverse_region_slice thm:peps_injective_vertex_reconstruction->thm:peps_vertex_inverse_region_slice thm:peps_vertex_image_ground_space peps_vertex_image_ground_space thm:peps_injective_vertex_reconstruction->thm:peps_vertex_image_ground_space thm:peps_region_ground_space_slice->thm:peps_torus_closure_interior_parent_constraints thm:peps_region_reduced_density_support peps_region_reduced_density_support thm:peps_region_ground_space_slice->thm:peps_region_reduced_density_support thm:peps_region_parent_frustration_free peps_region_parent_frustration_free thm:peps_region_ground_space_slice->thm:peps_region_parent_frustration_free thm:peps_regular_region_range->thm:peps_regular_region_support lem:peps_regular_complementary_twists_region_space peps_regular_complementary_twists_region_space thm:peps_regular_region_range->lem:peps_regular_complementary_twists_region_space def:peps_physical_deformation->def:peps_deformed_region_interaction thm:peps_region_physical_deformation peps_region_physical_deformation def:peps_physical_deformation->thm:peps_region_physical_deformation def:peps_global_physical_map peps_global_physical_map def:peps_physical_deformation->def:peps_global_physical_map thm:peps_nested_incident_labels->thm:peps_region_ground_space_nested lem:peps_injective_region_actual_map->thm:peps_injective_region_boundary_rank thm:peps_covering_parent_virtual_image peps_covering_parent_virtual_image thm:peps_region_vertex_image_support->thm:peps_covering_parent_virtual_image thm:peps_range_parent_slice_reconstruction peps_range_parent_slice_reconstruction thm:peps_region_vertex_image_support->thm:peps_range_parent_slice_reconstruction thm:peps_native_inserted_region_support->thm:peps_native_invariant_closure_membership thm:peps_parent_support_block_criterion->thm:peps_oriented_copy_parent_inverses thm:peps_parent_support_block_criterion->thm:peps_copy_parent_inclusions thm:peps_parent_support_block_criterion->thm:peps_fourier_exterior_blocks thm:peps_parent_support_block_criterion->thm:peps_oriented_coordinate_blocks thm:peps_torus_closure_interior_parent_constraints->thm:peps_regular_torus_sector_interior_support thm:peps_regular_torus_parent_flatness peps_regular_torus_parent_flatness thm:peps_regular_region_parent_flatness->thm:peps_regular_torus_parent_flatness lem:peps_regular_region_holonomy_filter peps_regular_region_holonomy_filter thm:peps_regular_region_parent_flatness->lem:peps_regular_region_holonomy_filter def:peps_deformed_region_interaction->thm:peps_region_physical_unitary_conjugation thm:peps_deformed_region_interaction peps_deformed_region_interaction def:peps_deformed_region_interaction->thm:peps_deformed_region_interaction def:peps_region_parent_hamiltonian->thm:peps_region_physical_intertwining def:peps_region_parent_hamiltonian->def:peps_subregion_slice def:peps_region_parent_hamiltonian->thm:peps_oriented_parent_support def:peps_region_parent_hamiltonian->thm:peps_regular_torus_parent_flatness thm:peps_region_projector_unit_gap peps_region_projector_unit_gap def:peps_region_parent_hamiltonian->thm:peps_region_projector_unit_gap thm:peps_region_parent_common_kernel peps_region_parent_common_kernel def:peps_region_parent_hamiltonian->thm:peps_region_parent_common_kernel thm:peps_disjoint_region_interactions_commute peps_disjoint_region_interactions_commute def:peps_region_parent_hamiltonian->thm:peps_disjoint_region_interactions_commute thm:peps_region_extension_order peps_region_extension_order def:peps_region_parent_hamiltonian->thm:peps_region_extension_order thm:peps_canonical_region_interaction->thm:peps_region_parent_projection_comparison thm:peps_canonical_region_interaction->thm:peps_region_projector_unit_gap thm:peps_oriented_coordinate_parent peps_oriented_coordinate_parent thm:peps_oriented_coordinate_blocks->thm:peps_oriented_coordinate_parent thm:peps_oriented_parent_support->thm:peps_oriented_copy_parent_inverses thm:peps_vertex_virtual_parent_transport peps_vertex_virtual_parent_transport thm:peps_vertex_inverse_region_slice->thm:peps_vertex_virtual_parent_transport thm:peps_vertex_image_ground_space->thm:peps_vertex_virtual_parent_transport thm:peps_region_reduced_density_support->thm:peps_regular_region_support thm:peps_region_reduced_density_support->thm:peps_injective_complement_region_support thm:peps_region_reduced_density_support->thm:peps_region_reduced_density_parent def:peps_normalized_region_reduced_density peps_normalized_region_reduced_density thm:peps_region_reduced_density_support->def:peps_normalized_region_reduced_density thm:peps_region_parent_frustration_free->thm:peps_parent_full_region_span lem:peps_regular_complementary_twists_region_space->thm:peps_torus_closure_interior_parent_constraints thm:peps_region_physical_deformation->thm:peps_deformed_region_interaction def:peps_global_physical_map->def:peps_global_physical_matrix thm:peps_global_physical_map_slice peps_global_physical_map_slice def:peps_global_physical_map->thm:peps_global_physical_map_slice thm:peps_physical_deformation_closed_state peps_physical_deformation_closed_state def:peps_global_physical_map->thm:peps_physical_deformation_closed_state thm:peps_covering_parent_virtual_image->thm:peps_injective_covering_parent_ground_space thm:peps_range_parent_equivalence peps_range_parent_equivalence thm:peps_range_parent_slice_reconstruction->thm:peps_range_parent_equivalence thm:peps_region_parent_ground_space_physical_transport peps_region_parent_ground_space_physical_transport thm:peps_deformed_region_interaction->thm:peps_region_parent_ground_space_physical_transport thm:peps_oriented_copy_filter peps_oriented_copy_filter thm:peps_region_parent_ground_space_physical_transport->thm:peps_oriented_copy_filter thm:peps_copy_physical_filter peps_copy_physical_filter thm:peps_region_parent_ground_space_physical_transport->thm:peps_copy_physical_filter def:peps_normalized_region_reduced_density->thm:peps_normalized_regular_region_support def:peps_normalized_region_reduced_density->thm:peps_regular_region_entropy_bound thm:peps_region_boundary_entanglement_bound peps_region_boundary_entanglement_bound def:peps_normalized_region_reduced_density->thm:peps_region_boundary_entanglement_bound thm:peps_region_boundary_entanglement_bound->thm:peps_region_physical_entanglement_bound thm:peps_torus_entanglement_bound peps_torus_entanglement_bound thm:peps_region_boundary_entanglement_bound->thm:peps_torus_entanglement_bound thm:peps_regular_closure_parent_constraint peps_regular_closure_parent_constraint thm:peps_regular_torus_parent_flatness->thm:peps_regular_closure_parent_constraint thm:peps_regular_closure_kernel_intersection peps_regular_closure_kernel_intersection lem:peps_regular_region_holonomy_filter->thm:peps_regular_closure_kernel_intersection thm:peps_regular_closure_parent_constraint->thm:peps_regular_torus_parent_ground_space thm:peps_regular_closure_parent_constraint->thm:peps_regular_closure_kernel_intersection thm:peps_finite_overlap_gap peps_finite_overlap_gap thm:peps_region_projector_unit_gap->thm:peps_finite_overlap_gap thm:peps_commuting_region_parent_unit_gap peps_commuting_region_parent_unit_gap thm:peps_region_projector_unit_gap->thm:peps_commuting_region_parent_unit_gap thm:peps_region_parent_common_kernel->thm:peps_finite_parent_gap_transfer thm:peps_region_parent_common_kernel->thm:peps_native_invariant_closure_membership thm:peps_region_parent_common_kernel->thm:peps_parent_regions_monotonicity thm:peps_region_parent_common_kernel->thm:peps_oriented_copy_parent thm:peps_region_parent_common_kernel->thm:peps_copy_parent_equivalence thm:peps_region_parent_common_kernel->thm:peps_fourier_coordinate_parent thm:peps_region_parent_common_kernel->thm:peps_region_parent_frustration_free thm:peps_region_parent_common_kernel->thm:peps_region_parent_ground_space_physical_transport thm:peps_region_parent_common_kernel->thm:peps_oriented_coordinate_parent thm:peps_disjoint_region_interactions_commute->thm:peps_finite_overlap_gap thm:peps_disjoint_region_interactions_commute->thm:peps_commuting_region_parent_unit_gap thm:peps_region_extension_order->thm:peps_finite_parent_comparison def:peps_oriented_coordinate_parent_equivalence peps_oriented_coordinate_parent_equivalence thm:peps_oriented_coordinate_parent->def:peps_oriented_coordinate_parent_equivalence thm:peps_vertex_virtual_parent_transport->thm:peps_covering_parent_virtual_image thm:peps_global_physical_map_slice->thm:peps_region_physical_intertwining thm:peps_global_physical_map_slice->thm:peps_region_parent_ground_space_physical_transport thm:peps_range_parent_equivalence->thm:peps_range_parent_g_transport thm:peps_range_parent_equivalence->thm:peps_semiregular_physical_canonical_parent thm:peps_range_parent_equivalence->thm:peps_oriented_physical_canonical_parent thm:peps_range_parent_equivalence->thm:peps_range_parent_kernel thm:peps_selected_physical_product_scalar->thm:peps_actual_sampled_physical_factors def:peps_actual_crossing_vector peps_actual_crossing_vector def:peps_actual_crossing_vector->thm:peps_crossing_schmidt thm:peps_partial_source_product_cost peps_partial_source_product_cost thm:peps_partial_source_local_cost->thm:peps_partial_source_product_cost thm:area_law_regional_relabelling area_law_regional_relabelling thm:peps_common_source_lists peps_common_source_lists thm:peps_common_source_lists->thm:peps_partial_fixed_preparation thm:peps_common_party_maps peps_common_party_maps thm:peps_common_source_lists->thm:peps_common_party_maps thm:peps_finite_source_gate peps_finite_source_gate thm:peps_common_party_maps->thm:peps_finite_source_gate thm:peps_common_source_gate peps_common_source_gate thm:peps_common_party_maps->thm:peps_common_source_gate thm:peps_finite_source_gate->thm:peps_prepared_gate_exists thm:peps_actual_gate_density peps_actual_gate_density thm:peps_finite_source_gate->thm:peps_actual_gate_density def:peps_basis_physical_readouts peps_basis_physical_readouts thm:peps_basis_regional_readouts peps_basis_regional_readouts def:peps_basis_physical_readouts->thm:peps_basis_regional_readouts thm:peps_basis_regional_readouts->thm:peps_family_regional_dimensions thm:area_law_dyadic_refinement area_law_dyadic_refinement thm:area_law_fine_layer_count area_law_fine_layer_count thm:area_law_dyadic_refinement->thm:area_law_fine_layer_count thm:area_law_lattice_dyadic_nesting area_law_lattice_dyadic_nesting thm:area_law_dyadic_refinement->thm:area_law_lattice_dyadic_nesting thm:area_law_fine_layer_count->thm:area_law_fine_belt_shift thm:area_law_fine_cell_containment area_law_fine_cell_containment thm:area_law_fine_layer_count->thm:area_law_fine_cell_containment thm:area_law_lattice_dyadic_nesting->thm:area_law_capped_dyadic_partition thm:area_law_capped_mixed_parents area_law_capped_mixed_parents thm:area_law_lattice_dyadic_nesting->thm:area_law_capped_mixed_parents thm:area_law_fine_cell_containment->thm:area_law_corner_side_subdivision thm:area_law_fine_cell_containment->thm:area_law_dummy_corner_side thm:area_law_fine_cell_containment->thm:area_law_fine_layer_mark_separation thm:area_law_fine_cell_containment->thm:area_law_near_mark_quarter_mesh thm:area_law_fine_cell_containment->thm:area_law_nonbelt_primary_containment thm:area_law_fine_cell_containment->thm:area_law_unique_fine_cell thm:area_law_fine_cells_disjoint area_law_fine_cells_disjoint thm:area_law_fine_cell_containment->thm:area_law_fine_cells_disjoint thm:area_law_capped_mixed_parents->thm:area_law_template_core_selected_count thm:area_law_rectangle_mixed_count area_law_rectangle_mixed_count thm:area_law_capped_mixed_parents->thm:area_law_rectangle_mixed_count thm:area_law_template_shell_selected_count area_law_template_shell_selected_count thm:area_law_capped_mixed_parents->thm:area_law_template_shell_selected_count thm:area_law_fine_cells_disjoint->thm:area_law_elementary_side_opponent thm:area_law_fine_cells_disjoint->thm:area_law_fine_cell_contact thm:area_law_fine_cells_disjoint->thm:area_law_fan_other_cell_contact thm:area_law_rectangle_mixed_count->thm:area_law_rectangle_shell_selected_count thm:area_law_template_shell_selected_count->thm:area_template_weighted_shell def:peps_torus_rectangular_grid peps_torus_rectangular_grid def:peps_torus_rectangular_grid->thm:peps_torus_rectangle_cut_connectivity lem:peps_torus_rectangle_boundary_card peps_torus_rectangle_boundary_card def:peps_torus_rectangular_grid->lem:peps_torus_rectangle_boundary_card lem:peps_torus_rectangle_boundary_card->thm:peps_regular_torus_rectangle_entropy_bound lem:peps_torus_rectangle_boundary_card->thm:peps_two_site_open_boundary_obstruction lem:peps_torus_rectangle_boundary_card_le peps_torus_rectangle_boundary_card_le lem:peps_torus_rectangle_boundary_card->lem:peps_torus_rectangle_boundary_card_le lem:peps_grouped_monomial_placement peps_grouped_monomial_placement lem:peps_grouped_monomial_placement->thm:peps_frame_birth_bounded def:peps_rank_one_block peps_rank_one_block lem:peps_grouped_monomial_placement->def:peps_rank_one_block lem:peps_rank_one_block_monomial peps_rank_one_block_monomial def:peps_rank_one_block->lem:peps_rank_one_block_monomial lem:peps_rank_one_block_products peps_rank_one_block_products def:peps_rank_one_block->lem:peps_rank_one_block_products lem:peps_rank_one_block_monomial->thm:peps_frame_small_rewrite_term_monomial lem:peps_rank_one_block_products->lem:peps_product_term_blocks thm:area_law_box_entropy_bounds area_law_box_entropy_bounds thm:area_law_initial_box area_law_initial_box thm:area_law_box_entropy_bounds->thm:area_law_initial_box thm:area_law_initial_box->thm:area_law_initial_safe_rectangle_entropy thm:area_law_vertex_boundary_counts area_law_vertex_boundary_counts thm:area_law_conditional_vertex_bounds area_law_conditional_vertex_bounds thm:area_law_vertex_boundary_counts->thm:area_law_conditional_vertex_bounds thm:compression_gate_locality compression_gate_locality thm:compression_original_gate_locality compression_original_gate_locality thm:compression_gate_locality->thm:compression_original_gate_locality thm:compression_original_gate_locality->thm:peps_physical_first_original_locality thm:compression_original_gate_locality->thm:compression_incidence_containment lem:peps_dyadic_lens_sides peps_dyadic_lens_sides lem:al_amp_unitary_complement al_amp_unitary_complement thm:al_amp_entropy_comparison al_amp_entropy_comparison lem:al_amp_unitary_complement->thm:al_amp_entropy_comparison thm:al_amp_entropy_comparison_scale al_amp_entropy_comparison_scale thm:al_amp_entropy_comparison->thm:al_amp_entropy_comparison_scale thm:area_law_amplification_before_polar area_law_amplification_before_polar thm:area_law_amplification_unitary_of_good_realization area_law_amplification_unitary_of_good_realization thm:area_law_amplification_before_polar->thm:area_law_amplification_unitary_of_good_realization thm:peps_effect_stack_polynomial peps_effect_stack_polynomial thm:peps_effect_stack_polynomial->thm:peps_effect_replacement_polynomial thm:peps_sampled_error_integral_bound peps_sampled_error_integral_bound thm:peps_sampled_physical_error->thm:peps_sampled_error_integral_bound thm:peps_source_sample_choice_conditional peps_source_sample_choice_conditional thm:peps_sampled_error_integral_bound->thm:peps_source_sample_choice_conditional thm:peps_ket_column_vector peps_ket_column_vector thm:peps_ket_column_tensor peps_ket_column_tensor thm:peps_ket_column_vector->thm:peps_ket_column_tensor thm:peps_party_column peps_party_column thm:peps_ket_column_vector->thm:peps_party_column thm:peps_ket_column_dependent peps_ket_column_dependent thm:peps_ket_column_vector->thm:peps_ket_column_dependent thm:peps_ket_column_square peps_ket_column_square thm:peps_ket_column_vector->thm:peps_ket_column_square thm:peps_party_column->thm:peps_party_column_routing cor:peps_ket_column_square_main peps_ket_column_square_main thm:peps_ket_column_square->cor:peps_ket_column_square_main thm:peps_product_reference_column peps_product_reference_column cor:peps_ket_column_square_main->thm:peps_product_reference_column thm:peps_product_reference_column->thm:peps_party_column_routing thm:peps_party_binary_factorization peps_party_binary_factorization thm:peps_party_binary_factorization->thm:peps_internal_source_factorization thm:peps_party_factorization peps_party_factorization thm:peps_party_binary_factorization->thm:peps_party_factorization thm:peps_party_factorization->thm:peps_owner_disjoint_restriction thm:peps_party_factorization->thm:peps_empty_party_gate_scalar thm:peps_party_factorization->thm:peps_source_register_operator_exclusion thm:peps_party_factorization->thm:peps_actual_singleton_factorization thm:peps_complete_prepared_party_maps peps_complete_prepared_party_maps thm:peps_party_factorization->thm:peps_complete_prepared_party_maps thm:peps_prepared_party_maps peps_prepared_party_maps thm:peps_party_factorization->thm:peps_prepared_party_maps thm:peps_source_word_parties peps_source_word_parties thm:peps_party_factorization->thm:peps_source_word_parties thm:peps_complete_prepared_party_maps->thm:peps_common_party_maps thm:peps_sourced_spectator_owner_exclusion peps_sourced_spectator_owner_exclusion thm:peps_source_word_parties->thm:peps_sourced_spectator_owner_exclusion thm:peps_absent_party_spectator_identity peps_absent_party_spectator_identity thm:peps_source_word_parties->thm:peps_absent_party_spectator_identity thm:peps_source_word_parties->thm:peps_actual_touched_gate_exterior thm:peps_absent_party_spectator_identity->thm:peps_all_gate_nonincident_identity thm:peps_actual_touched_gate_exterior->thm:peps_actual_chronological_exterior_scalar lem:peps_dyadic_hole_enlargement->lem:peps_dyadic_lens_sides thm:area_law_primary_fragment_rectangles area_law_primary_fragment_rectangles def:peps_dyadic_hv_routing peps_dyadic_hv_routing thm:peps_dyadic_padded_congestion peps_dyadic_padded_congestion def:peps_dyadic_hv_routing->thm:peps_dyadic_padded_congestion thm:peps_dyadic_padded_congestion->thm:peps_dyadic_folded_congestion def:peps_product_source_matrix peps_product_source_matrix thm:peps_source_column_contraction peps_source_column_contraction def:peps_product_source_matrix->thm:peps_source_column_contraction thm:peps_source_column_contraction->thm:peps_actual_pure_source_contraction thm:peps_source_column_contraction->thm:peps_pure_source_contraction thm:area_law_fan_base_radial_directions area_law_fan_base_radial_directions thm:area_law_fan_base_radial_directions->thm:area_law_fan_cut_piece_connected thm:area_law_unsplit_side_endpoints area_law_unsplit_side_endpoints thm:area_law_unsplit_side_endpoints->thm:area_law_actual_elementary_side_matching thm:area_law_unsplit_side_endpoints->thm:area_law_cell_fan_sector_directions thm:area_law_unsplit_side_endpoints->thm:area_law_elementary_side_boundary_geometry thm:area_law_cell_fan_successor_endpoints area_law_cell_fan_successor_endpoints thm:area_law_unsplit_side_endpoints->thm:area_law_cell_fan_successor_endpoints thm:area_law_fan_triangle_contact area_law_fan_triangle_contact thm:area_law_unsplit_side_endpoints->thm:area_law_fan_triangle_contact thm:area_law_square_frontier_side area_law_square_frontier_side thm:area_law_unsplit_side_endpoints->thm:area_law_square_frontier_side thm:area_law_cell_fan_successor_endpoints->thm:area_law_initial_sector_changes_even thm:area_law_cell_fan_successor_endpoints->thm:area_law_cell_fan_successor_iff thm:area_law_fan_triangle_contact->thm:area_law_initial_birth_boundary_lattice thm:area_law_fan_triangle_contact->thm:area_law_fan_frontier_primitives thm:area_law_fan_triangle_contact->thm:area_law_cell_fan_final_endpoint_injective thm:area_law_fan_triangle_contact->thm:area_law_fan_run_disjoint_interiors thm:area_law_fan_run_geometric_contact area_law_fan_run_geometric_contact thm:area_law_fan_triangle_contact->thm:area_law_fan_run_geometric_contact thm:area_law_square_frontier_side->thm:area_law_initial_frontier_near_mark thm:area_law_fan_run_geometric_contact->thm:area_law_initial_interface_colors def:peps_three_block_open_boundary peps_three_block_open_boundary def:peps_three_block_open_boundary->thm:peps_three_block_open_boundary_exact def:compression_touching_gates compression_touching_gates def:compression_touching_gates->thm:compression_corrected_owner thm:compression_touching_gate_count compression_touching_gate_count def:compression_touching_gates->thm:compression_touching_gate_count thm:compression_exterior_disjoint compression_exterior_disjoint def:compression_touching_gates->thm:compression_exterior_disjoint thm:compression_affected_gate_count compression_affected_gate_count thm:compression_touching_gate_count->thm:compression_affected_gate_count thm:compression_position_choice_bound compression_position_choice_bound thm:compression_affected_gate_count->thm:compression_position_choice_bound def:peps_torus_geometry_translation peps_torus_geometry_translation def:peps_torus_geometry_translation->def:peps_torus_rectangular_grid thm:area_supported_gaussian_integral area_supported_gaussian_integral thm:area_supported_gaussian_integral->thm:peps_supported_physical_buffer_gaussian def:peps_lifted_cut peps_lifted_cut def:peps_lifted_cut->thm:peps_three_core_localization def:peps_reconstructed_cut_boundary peps_reconstructed_cut_boundary def:peps_lifted_cut->def:peps_reconstructed_cut_boundary thm:peps_lifted_cut_local_slice peps_lifted_cut_local_slice def:peps_lifted_cut->thm:peps_lifted_cut_local_slice thm:peps_full_cut_in_lifted_support peps_full_cut_in_lifted_support def:peps_lifted_cut->thm:peps_full_cut_in_lifted_support thm:peps_reconstructed_boundary_contraction peps_reconstructed_boundary_contraction def:peps_reconstructed_cut_boundary->thm:peps_reconstructed_boundary_contraction thm:peps_lifted_cover_support peps_lifted_cover_support thm:peps_lifted_cut_local_slice->thm:peps_lifted_cover_support thm:peps_full_cut_in_lifted_support->thm:peps_lifted_cut_reconstruction thm:peps_reconstructed_boundary_contraction->thm:peps_lifted_cut_reconstruction thm:peps_lifted_cover_support->thm:peps_lifted_cut_intersection def:peps_oriented_positive_multiplicity_equivalence peps_oriented_positive_multiplicity_equivalence thm:peps_oriented_copy_filter->def:peps_oriented_positive_multiplicity_equivalence def:peps_oriented_positive_multiplicity_equivalence->thm:peps_oriented_semiregular_canonical_parent thm:peps_excluded_spectator_restriction peps_excluded_spectator_restriction thm:peps_excluded_spectator_restriction->thm:peps_scalar_residual_composition thm:peps_excluded_spectator_restriction->thm:peps_actual_private_preparation_exterior thm:peps_source_free_local_part_restriction peps_source_free_local_part_restriction thm:peps_excluded_spectator_restriction->thm:peps_source_free_local_part_restriction thm:peps_source_free_local_part_restriction->thm:peps_sourced_spectator_owner_exclusion thm:peps_source_free_local_part_restriction->thm:peps_absent_party_spectator_identity def:compression_lifetime_gates compression_lifetime_gates def:peps_corrected_source_frame peps_corrected_source_frame def:peps_corrected_source_frame->thm:peps_actual_schmidt_input_frames thm:peps_copy_positive_parent peps_copy_positive_parent thm:peps_copy_physical_filter->thm:peps_copy_positive_parent thm:peps_copy_positive_parent->thm:peps_semiregular_canonical_parent_equivalence thm:peps_dependent_cut_basis peps_dependent_cut_basis thm:peps_dependent_cut_basis->thm:peps_full_four_cut_forward thm:peps_dependent_cut_basis->thm:peps_dependent_uncut_support thm:peps_dependent_cut_basis->thm:peps_dependent_uncut_coefficients thm:peps_full_four_cut_nonflat_zero->thm:peps_full_four_cut_canonical_equality def:peps_message_gate_expand->thm:peps_message_gate_eval def:peps_message_gate_expand->thm:peps_message_gate_size def:peps_physical_product_map peps_physical_product_map thm:peps_site_coefficients_composition peps_site_coefficients_composition def:peps_physical_product_map->thm:peps_site_coefficients_composition def:peps_four_cut_common_physical_product peps_four_cut_common_physical_product def:peps_physical_product_map->def:peps_four_cut_common_physical_product thm:peps_site_coefficients_composition->thm:peps_four_cut_common_local_inverse def:peps_four_cut_common_physical_product->thm:peps_four_cut_common_product_range def:peps_four_cut_common_physical_product->thm:peps_four_cut_common_product_algebra def:peps_four_cut_common_physical_product->def:peps_four_cut_common_average_projection def:peps_four_cut_common_physical_product->thm:peps_four_cut_common_physical_contraction thm:al_scan_compact_collar_card al_scan_compact_collar_card thm:al_scan_compact_collar_card->thm:area_law_collar_cut_bounds thm:peps_selected_local_part_framing peps_selected_local_part_framing thm:peps_selected_local_part_framing->thm:peps_all_branch_incident_locality lem:peps_group_nuclear_holder peps_group_nuclear_holder thm:peps_group_contraction_nuclear peps_group_contraction_nuclear lem:peps_group_nuclear_holder->thm:peps_group_contraction_nuclear thm:peps_group_contraction_nuclear->thm:peps_group_tensor lem:peps_reduced_density_physical_ray peps_reduced_density_physical_ray lem:peps_reduced_density_physical_ray->thm:peps_regular_parent_spaces_physical_ray lem:peps_reduced_density_physical_ray->thm:peps_regular_group_order_physical_ray thm:area_law_amplification_poly_stretched_exp area_law_amplification_poly_stretched_exp thm:area_law_amplification_poly_stretched_exp->thm:area_law_amplification_scale_bounds def:peps_labelled_cut peps_labelled_cut thm:peps_labelled_uncut_flat peps_labelled_uncut_flat def:peps_labelled_cut->thm:peps_labelled_uncut_flat thm:peps_labelled_cut_card peps_labelled_cut_card def:peps_labelled_cut->thm:peps_labelled_cut_card thm:peps_labelled_closure_support peps_labelled_closure_support def:peps_labelled_cut->thm:peps_labelled_closure_support def:peps_full_four_cut_space peps_full_four_cut_space def:peps_labelled_cut->def:peps_full_four_cut_space thm:peps_labelled_uncut_flat->thm:peps_full_four_cut_nonflat_zero thm:peps_labelled_closure_support->thm:peps_full_four_cut_forward def:peps_full_four_cut_space->thm:peps_full_four_cut_forward def:peps_full_four_cut_space->thm:peps_full_four_cut_transport def:peps_full_four_cut_space->thm:peps_full_four_cut_nonflat_zero thm:peps_contraction_composition_error peps_contraction_composition_error thm:peps_contraction_composition_error->thm:peps_approximate_chronological_error thm:area_law_vertex_boundaries_trivial area_law_vertex_boundaries_trivial def:peps_ordered_source_positions peps_ordered_source_positions thm:peps_ordered_source_preparation peps_ordered_source_preparation def:peps_ordered_source_positions->thm:peps_ordered_source_preparation thm:peps_source_input_columns peps_source_input_columns thm:peps_ordered_source_preparation->thm:peps_source_input_columns thm:peps_reorder_source_positions peps_reorder_source_positions thm:peps_ordered_source_preparation->thm:peps_reorder_source_positions thm:peps_source_input_columns->thm:peps_corrected_source_columns thm:peps_corrected_reordering peps_corrected_reordering thm:peps_reorder_source_positions->thm:peps_corrected_reordering thm:peps_corrected_reordering->thm:peps_uniform_corrected_input thm:peps_finite_register_memories peps_finite_register_memories thm:peps_finite_register_memories->thm:peps_auxiliary_register_finiteness thm:peps_finite_register_memories->def:peps_restricted_discard_basis thm:area_law_exponent_gaps area_law_exponent_gaps thm:area_law_polynomial_absorption area_law_polynomial_absorption thm:area_law_exponent_gaps->thm:area_law_polynomial_absorption def:area_law_repair_square area_law_repair_square thm:area_law_exponent_gaps->def:area_law_repair_square def:area_law_two_family_decomposition area_law_two_family_decomposition thm:area_law_exponent_gaps->def:area_law_two_family_decomposition def:area_law_fine_belt_scales area_law_fine_belt_scales thm:area_law_exponent_gaps->def:area_law_fine_belt_scales def:area_law_radius_exponent area_law_radius_exponent thm:area_law_exponent_gaps->def:area_law_radius_exponent thm:area_law_fine_clearance area_law_fine_clearance thm:area_law_exponent_gaps->thm:area_law_fine_clearance def:area_law_bootstrap_parameters area_law_bootstrap_parameters thm:area_law_exponent_gaps->def:area_law_bootstrap_parameters def:area_law_collar_bound area_law_collar_bound thm:area_law_exponent_gaps->def:area_law_collar_bound thm:area_law_polynomial_summability area_law_polynomial_summability thm:area_law_polynomial_absorption->thm:area_law_polynomial_summability def:area_law_repair_square->thm:area_law_repair_margins def:area_law_repair_children area_law_repair_children def:area_law_repair_square->def:area_law_repair_children def:area_law_simultaneous_remnants area_law_simultaneous_remnants def:area_law_repair_square->def:area_law_simultaneous_remnants def:area_law_two_family_decomposition->thm:area_law_conditional_assembly def:area_law_fine_belt_scales->thm:area_law_adjacent_fine_meshes thm:area_law_scale_index_gaps area_law_scale_index_gaps def:area_law_fine_belt_scales->thm:area_law_scale_index_gaps thm:area_law_fine_belt_scales area_law_fine_belt_scales def:area_law_fine_belt_scales->thm:area_law_fine_belt_scales def:area_law_amplification_bound area_law_amplification_bound def:area_law_radius_exponent->def:area_law_amplification_bound thm:area_law_radius_exponent_gaps area_law_radius_exponent_gaps def:area_law_radius_exponent->thm:area_law_radius_exponent_gaps def:area_law_bootstrap_parameters->thm:area_law_bootstrap_margins def:area_law_collar_bound->thm:area_law_conditional_assembly def:area_law_collar_bound->thm:area_law_collar_bound_of_information thm:area_law_polynomial_summability->thm:area_law_finite_sparse_belt_family thm:area_law_polynomial_finite_sums area_law_polynomial_finite_sums thm:area_law_polynomial_summability->thm:area_law_polynomial_finite_sums thm:area_law_scale_side_ratios area_law_scale_side_ratios thm:area_law_scale_index_gaps->thm:area_law_scale_side_ratios thm:area_law_fine_belt_scales->thm:area_law_dummy_corner_side thm:area_law_fine_belt_scales->thm:area_law_unique_fine_cell thm:area_law_fine_belt_scales->thm:area_law_fine_cells_disjoint thm:area_law_fine_belt_ratio area_law_fine_belt_ratio thm:area_law_fine_belt_scales->thm:area_law_fine_belt_ratio def:area_law_amplification_bound->thm:area_law_conditional_assembly thm:area_law_amplification_of_radius_output area_law_amplification_of_radius_output def:area_law_amplification_bound->thm:area_law_amplification_of_radius_output thm:area_law_uniform_collar_threshold area_law_uniform_collar_threshold thm:area_law_radius_exponent_gaps->thm:area_law_uniform_collar_threshold thm:area_law_dummy_fine_scale_separation area_law_dummy_fine_scale_separation thm:area_law_scale_side_ratios->thm:area_law_dummy_fine_scale_separation thm:area_law_local_layer_exclusion area_law_local_layer_exclusion thm:area_law_scale_side_ratios->thm:area_law_local_layer_exclusion thm:area_law_uniform_scale_separation area_law_uniform_scale_separation thm:area_law_scale_side_ratios->thm:area_law_uniform_scale_separation thm:area_law_dummy_fine_scale_separation->thm:area_law_initial_frontier_near_mark thm:area_law_local_layer_exclusion->thm:area_law_near_mark_quarter_mesh thm:area_law_local_layer_indices area_law_local_layer_indices thm:area_law_local_layer_exclusion->thm:area_law_local_layer_indices thm:area_law_polynomial_finite_sums->thm:area_law_uniform_initial_mark_count thm:area_law_fine_belt_ratio->thm:area_law_sparse_dyadic_belts thm:area_law_uniform_collar_threshold->thm:area_law_conditional_assembly thm:area_law_amplification_cut_clearance area_law_amplification_cut_clearance thm:area_law_uniform_collar_threshold->thm:area_law_amplification_cut_clearance thm:peps_prepared_source_frames peps_prepared_source_frames thm:peps_prepared_source_frames->thm:peps_corrected_gaussian_sum thm:peps_actual_physical_integrability->thm:peps_gaussian_branch_density_bound thm:peps_actual_physical_integrability->thm:peps_sampled_error_integral_bound def:peps_global_source_replacement->def:peps_physical_source_replacement def:peps_global_source_replacement->thm:peps_global_corrected_subsets def:peps_global_source_replacement->thm:peps_actual_pure_source_replacement thm:peps_source_sample_assignment_sum peps_source_sample_assignment_sum def:peps_source_sample_assignment_indices->thm:peps_source_sample_assignment_sum thm:peps_source_sample_assignment_occurrence peps_source_sample_assignment_occurrence def:peps_source_sample_assignment_indices->thm:peps_source_sample_assignment_occurrence thm:peps_all_source_subsets->thm:peps_global_corrected_subsets def:peps_partial_schmidt_assignments->thm:peps_corrected_gaussian_sum def:peps_partial_schmidt_output peps_partial_schmidt_output def:peps_partial_schmidt_assignments->def:peps_partial_schmidt_output def:peps_actual_source_input_basis->def:peps_actual_source_column_matrix def:peps_actual_source_input_basis->def:peps_actual_party_source_matrices def:peps_actual_source_input_basis->def:peps_actual_sampled_endpoint_word def:peps_touched_labels->thm:peps_touched_labels thm:peps_chronological_coefficients peps_chronological_coefficients def:peps_touched_labels->thm:peps_chronological_coefficients def:peps_partial_schmidt_output->thm:peps_gaussian_vector_density def:peps_gaussian_branch_density peps_gaussian_branch_density def:peps_partial_schmidt_output->def:peps_gaussian_branch_density thm:peps_mixed_chronological_coefficients peps_mixed_chronological_coefficients thm:peps_chronological_coefficients->thm:peps_mixed_chronological_coefficients thm:peps_native_oriented_g_injectivity peps_native_oriented_g_injectivity thm:peps_native_oriented_g_injectivity->thm:peps_native_uniform_semiregular_parent_dimension thm:peps_complete_pair_sources peps_complete_pair_sources thm:peps_complete_pair_sources->thm:peps_complete_prepared_party_maps lem:peps_exchange_correction_word->thm:peps_frame_exchange_bounded def:peps_oriented_coordinate_parent_equivalence->thm:peps_oriented_semiregular_canonical_parent thm:peps_local_message_summands peps_local_message_summands thm:peps_local_message_summands->thm:peps_exact_message_identity def:compression_gate_link_parties compression_gate_link_parties def:compression_gate_link_parties->thm:compression_gate_locality thm:compression_gate_two_endpoints compression_gate_two_endpoints def:compression_gate_link_parties->thm:compression_gate_two_endpoints thm:compression_distributed_two_endpoints compression_distributed_two_endpoints thm:compression_gate_two_endpoints->thm:compression_distributed_two_endpoints thm:peps_free_source_overlap peps_free_source_overlap thm:peps_free_source_trace peps_free_source_trace thm:peps_free_source_overlap->thm:peps_free_source_trace def:peps_regularized_patch_minimum peps_regularized_patch_minimum def:peps_regularized_patch_minimum->def:peps_patch_canonical_marginal thm:peps_regularized_patch_minimum peps_regularized_patch_minimum def:peps_regularized_patch_minimum->thm:peps_regularized_patch_minimum thm:peps_regularized_patch_minimum->thm:peps_patch_marginal_expectation cor:peps_regularized_patch_exp_bounds peps_regularized_patch_exp_bounds thm:peps_regularized_patch_minimum->cor:peps_regularized_patch_exp_bounds def:area_law_dyadic_refinement area_law_dyadic_refinement def:area_law_dyadic_refinement->thm:area_law_dyadic_refinement def:area_law_fine_layer_indices area_law_fine_layer_indices def:area_law_dyadic_refinement->def:area_law_fine_layer_indices def:area_law_fine_layer_indices->thm:area_law_fine_layer_count def:area_law_actual_side_mask area_law_actual_side_mask def:area_law_fine_layer_indices->def:area_law_actual_side_mask def:area_law_actual_side_mask->thm:area_law_elementary_corner_endpoint def:area_law_actual_side_mask->thm:area_law_actual_side_mask_iff thm:area_law_unsplit_supports area_law_unsplit_supports thm:area_law_unsplit_supports->thm:area_law_zero_boundary thm:peps_range_parent_regional_inverse peps_range_parent_regional_inverse thm:peps_identity_hole_encoder peps_identity_hole_encoder thm:peps_regular_ginjective_cut_range peps_regular_ginjective_cut_range thm:peps_regular_ginjective_cut_range->thm:peps_regular_region_support def:peps_oriented_averaging_tensor peps_oriented_averaging_tensor def:peps_oriented_averaging_tensor->thm:peps_oriented_average_g_injective def:peps_oriented_averaging_tensor->thm:peps_oriented_copy_filter def:peps_oriented_open_coefficients peps_oriented_open_coefficients def:peps_oriented_averaging_tensor->def:peps_oriented_open_coefficients def:peps_oriented_open_coefficients->thm:peps_oriented_copy_open def:peps_oriented_open_coefficients->thm:peps_oriented_open_range thm:peps_oriented_coordinate_open peps_oriented_coordinate_open def:peps_oriented_open_coefficients->thm:peps_oriented_coordinate_open thm:peps_oriented_coordinate_open->thm:peps_oriented_coordinate_blocks def:peps_selected_source_positions peps_selected_source_positions def:peps_selective_preparation peps_selective_preparation def:peps_selected_source_positions->def:peps_selective_preparation thm:peps_selective_preparation_sources peps_selective_preparation_sources def:peps_selective_preparation->thm:peps_selective_preparation_sources thm:peps_selective_preparation_recovery peps_selective_preparation_recovery def:peps_selective_preparation->thm:peps_selective_preparation_recovery thm:peps_selective_preparation_sources->thm:peps_selective_partition thm:peps_selective_preparation_recovery->thm:peps_selective_partition thm:peps_source_expansion_operations peps_source_expansion_operations thm:peps_finite_source_coordinates peps_finite_source_coordinates thm:peps_source_expansion_operations->thm:peps_finite_source_coordinates thm:peps_grouped_sources peps_grouped_sources thm:peps_source_expansion_operations->thm:peps_grouped_sources thm:peps_source_ordering peps_source_ordering thm:peps_source_expansion_operations->thm:peps_source_ordering thm:peps_finite_source_coordinates->thm:peps_finite_source_gate thm:peps_grouped_sources->lem:peps_pair_effects_source thm:peps_grouped_sources->thm:peps_complete_prepared_party_maps thm:peps_grouped_sources->thm:peps_prepared_party_maps thm:peps_source_ordering->thm:peps_common_source_lists def:area_law_residue_strips area_law_residue_strips thm:area_law_sparse_belt_shift area_law_sparse_belt_shift def:area_law_residue_strips->thm:area_law_sparse_belt_shift thm:area_law_sparse_belt_shift->thm:area_law_fine_belt_shift lem:peps_frame_chain_network peps_frame_chain_network lem:peps_frame_chain_network->lem:peps_frame_branch_network lem:peps_frame_chain_network->lem:peps_frame_chain_truncation thm:peps_selected_source_contraction peps_selected_source_contraction thm:peps_selected_source_contraction->thm:peps_corrected_source_contraction thm:peps_physical_owner_columns peps_physical_owner_columns thm:peps_physical_owner_columns->thm:peps_selected_physical_basis_grouped thm:area_law_local_layer_indices->thm:area_law_corner_side_subdivision thm:area_law_local_layer_indices->thm:area_law_fine_layer_mark_separation thm:area_law_local_layer_indices->thm:area_law_fine_cell_contact thm:peps_bond_flat_transport peps_bond_flat_transport thm:peps_bond_tree_closure peps_bond_tree_closure thm:peps_bond_flat_transport->thm:peps_bond_tree_closure thm:peps_bond_flat_classification peps_bond_flat_classification thm:peps_bond_tree_closure->thm:peps_bond_flat_classification thm:peps_bond_flat_classification->thm:peps_four_cut_common_flat_projection thm:peps_labelled_flat_classification peps_labelled_flat_classification thm:peps_bond_flat_classification->thm:peps_labelled_flat_classification thm:peps_labelled_flat_classification->thm:peps_full_four_cut_flat_projection cor:peps_uniform_finite_overlap_gap peps_uniform_finite_overlap_gap thm:peps_finite_overlap_gap->cor:peps_uniform_finite_overlap_gap thm:compression_double_coefficient_sum compression_double_coefficient_sum thm:area_law_template_physical_boundary->thm:area_law_collar_cut_bounds thm:peps_four_cut_common_boundary_span peps_four_cut_common_boundary_span thm:peps_four_cut_common_boundary_span->thm:peps_four_cut_common_bond_span thm:peps_four_cut_common_boundary_span->thm:peps_four_cut_common_nonflat_vanish thm:peps_four_cut_common_boundary_span->thm:peps_four_cut_common_uniform_membership thm:peps_four_cut_common_boundary_span->thm:peps_four_cut_common_matched_membership thm:peps_register_identifications peps_register_identifications thm:peps_register_identifications->thm:peps_ordered_source_preparation thm:peps_source_scalar_preparation peps_source_scalar_preparation thm:peps_register_identifications->thm:peps_source_scalar_preparation thm:peps_prepared_reordered_vector peps_prepared_reordered_vector thm:peps_source_scalar_preparation->thm:peps_prepared_reordered_vector thm:peps_prepared_reordered_vector->thm:peps_uniform_corrected_input thm:peps_region_register_coordinates->lem:peps_grouped_monomial_placement thm:peps_two_region_coordinates peps_two_region_coordinates thm:peps_region_register_coordinates->thm:peps_two_region_coordinates thm:peps_two_region_coordinates->lem:peps_exchange_correction_word thm:peps_basis_owner_coordinates peps_basis_owner_coordinates thm:peps_basis_owner_coordinates->thm:peps_owner_output_coordinates def:peps_three_block_regional_coordinates peps_three_block_regional_coordinates def:peps_three_block_regional_coordinates->def:peps_three_block_regional_boundary def:peps_three_block_regional_marginal peps_three_block_regional_marginal def:peps_three_block_regional_coordinates->def:peps_three_block_regional_marginal def:peps_three_block_regional_marginal->thm:peps_three_block_regional_boundary_exact def:area_law_ground_entropy area_law_ground_entropy def:area_law_ground_entropy->thm:area_template_physical_dyadic_entropy def:area_law_ground_entropy->thm:area_law_regional_entropy_continuity def:area_law_ground_entropy->thm:area_law_entropy_dimension def:area_law_ground_entropy->thm:area_law_regional_relabelling def:area_law_ground_entropy->thm:area_law_conditional_vertex_bounds def:area_law_ground_entropy->def:area_law_collar_bound def:area_law_ground_entropy->def:area_law_amplification_bound def:area_law_ground_entropy->thm:area_law_unsplit_supports def:square_entropy_area_law square_entropy_area_law def:area_law_ground_entropy->def:square_entropy_area_law thm:area_law_ground_eigenspace area_law_ground_eigenspace def:area_law_ground_entropy->thm:area_law_ground_eigenspace thm:area_law_cut_marginal area_law_cut_marginal def:area_law_ground_entropy->thm:area_law_cut_marginal thm:finite_product_entropy_relabel finite_product_entropy_relabel def:area_law_ground_entropy->thm:finite_product_entropy_relabel thm:area_law_rotated_chain_rule area_law_rotated_chain_rule def:area_law_ground_entropy->thm:area_law_rotated_chain_rule thm:area_law_movement_eta area_law_movement_eta def:area_law_ground_entropy->thm:area_law_movement_eta thm:area_partial_row_increment area_partial_row_increment def:area_law_ground_entropy->thm:area_partial_row_increment thm:area_law_regional_state_identities area_law_regional_state_identities def:area_law_ground_entropy->thm:area_law_regional_state_identities thm:peps_labelled_conditional_entropy peps_labelled_conditional_entropy def:area_law_ground_entropy->thm:peps_labelled_conditional_entropy thm:area_law_collar_transfer area_law_collar_transfer def:area_law_ground_entropy->thm:area_law_collar_transfer thm:area_law_two_family_entropy area_law_two_family_entropy def:area_law_ground_entropy->thm:area_law_two_family_entropy thm:area_law_selected_schmidt_entropy_bounds area_law_selected_schmidt_entropy_bounds def:area_law_ground_entropy->thm:area_law_selected_schmidt_entropy_bounds def:area_law_collar_leaf_quantities area_law_collar_leaf_quantities def:area_law_ground_entropy->def:area_law_collar_leaf_quantities def:area_law_box_entropy area_law_box_entropy def:area_law_ground_entropy->def:area_law_box_entropy thm:openai_uniform_area_law openai_uniform_area_law def:area_law_ground_entropy->thm:openai_uniform_area_law def:square_entropy_area_law->thm:square_area_law_from_uniform thm:area_law_cut_marginal->thm:area_law_marginal_tails thm:finite_product_entropy_relabel->thm:square_area_law_from_uniform thm:area_law_rotated_chain_rule->thm:area_law_box_recurrence thm:area_law_lattice_movement area_law_lattice_movement thm:area_law_movement_eta->thm:area_law_lattice_movement thm:area_law_lattice_skew area_law_lattice_skew thm:area_law_movement_eta->thm:area_law_lattice_skew thm:area_partial_row_increment->thm:area_law_rectangle_partial_row thm:area_partial_row_increment->thm:area_template_partial_row thm:area_law_regional_state_identities->thm:area_law_uniform_rounded_shell_entropy thm:area_law_regional_state_identities->thm:area_law_initial_rectangle_shell_entropy thm:area_law_two_family_entropy->thm:area_law_boundary_assembly thm:area_law_rough_typical_entropy_absorption area_law_rough_typical_entropy_absorption thm:area_law_selected_schmidt_entropy_bounds->thm:area_law_rough_typical_entropy_absorption thm:area_law_collar_leaf_identity area_law_collar_leaf_identity def:area_law_collar_leaf_quantities->thm:area_law_collar_leaf_identity def:area_law_box_entropy->thm:area_law_box_entropy_bounds def:area_law_box_entropy->thm:area_law_box_recurrence thm:area_law_box_entropy_safety area_law_box_entropy_safety def:area_law_box_entropy->thm:area_law_box_entropy_safety thm:openai_uniform_area_law->thm:openai_square_area_law thm:openai_uniform_area_law->thm:openai_polynomial_peps thm:area_law_box_recurrence->thm:area_law_initial_box thm:area_law_box_entropy_safety->thm:area_law_initial_box def:peps_copy_positive_parent_map->thm:peps_copy_positive_parent thm:peps_register_exchange peps_register_exchange thm:peps_register_exchange->thm:peps_register_move_restriction thm:peps_register_exchange->lem:peps_register_reorderings thm:peps_erased_prefix_register_move peps_erased_prefix_register_move thm:peps_register_exchange->thm:peps_erased_prefix_register_move def:peps_append_spectators peps_append_spectators thm:peps_register_exchange->def:peps_append_spectators thm:peps_source_preparation peps_source_preparation thm:peps_register_exchange->thm:peps_source_preparation thm:peps_register_move_retained_prefix peps_register_move_retained_prefix thm:peps_register_exchange->thm:peps_register_move_retained_prefix thm:peps_local_part_framing_restriction peps_local_part_framing_restriction thm:peps_erased_prefix_register_move->thm:peps_local_part_framing_restriction def:peps_append_spectators->thm:peps_sourced_spectator_owner_exclusion def:peps_append_spectators->thm:peps_absent_party_spectator_identity thm:peps_owner_spectator_extension peps_owner_spectator_extension def:peps_append_spectators->thm:peps_owner_spectator_extension thm:peps_append_spectators peps_append_spectators def:peps_append_spectators->thm:peps_append_spectators thm:peps_append_spectators_restriction peps_append_spectators_restriction def:peps_append_spectators->thm:peps_append_spectators_restriction thm:peps_source_preparation->thm:peps_prepared_gate_properties thm:peps_source_preparation->thm:peps_selected_local_part_erased_frame thm:peps_source_preparation->thm:peps_source_word_parties thm:peps_source_preparation->thm:peps_source_free_local_part_restriction thm:peps_source_preparation->thm:peps_selected_local_part_framing thm:peps_source_preparation->thm:peps_selective_preparation_recovery thm:peps_source_preparation->thm:peps_source_expansion_operations thm:peps_source_preparation->thm:peps_local_part_framing_restriction thm:peps_source_preparation->thm:peps_append_spectators thm:peps_selected_local_part_composition peps_selected_local_part_composition thm:peps_source_preparation->thm:peps_selected_local_part_composition thm:peps_source_slot_maps peps_source_slot_maps thm:peps_source_preparation->thm:peps_source_slot_maps thm:peps_register_move_retained_prefix->thm:peps_selected_local_part_framing thm:peps_local_part_framing_restriction->thm:peps_sourced_spectator_owner_exclusion thm:peps_local_part_framing_restriction->thm:peps_absent_party_spectator_identity thm:peps_owner_spectator_extension->thm:peps_all_gate_nonincident_identity thm:peps_append_spectators->thm:peps_spectator_owner_exclusion thm:peps_append_spectators_restriction->thm:peps_spectator_owner_exclusion thm:peps_selected_local_part_composition->thm:peps_all_branch_incident_locality def:peps_source_frame_matrix peps_source_frame_matrix thm:peps_source_slot_maps->def:peps_source_frame_matrix thm:peps_source_frame_contraction peps_source_frame_contraction def:peps_source_frame_matrix->thm:peps_source_frame_contraction thm:area_law_physical_ambient_boundary area_law_physical_ambient_boundary thm:area_law_physical_ambient_boundary->thm:area_law_template_physical_boundary thm:compression_endpoint_count compression_endpoint_count thm:compression_corrected_party_count compression_corrected_party_count thm:compression_endpoint_count->thm:compression_corrected_party_count thm:compression_corrected_party_count->thm:compression_affected_gate_count thm:peps_selected_head_partition peps_selected_head_partition thm:peps_selected_head_partition->thm:peps_basis_physical_columns_local_coordinates thm:peps_selected_head_partition->thm:peps_family_physical_party_basis def:peps_source_expansion peps_source_expansion def:peps_source_expansion->thm:peps_source_expansion_operations thm:peps_source_cons_mapL peps_source_cons_mapL def:peps_source_expansion->thm:peps_source_cons_mapL thm:peps_source_cons_mapL->thm:peps_common_source_lists thm:peps_source_cons_mapL->thm:peps_finite_source_coordinates thm:area_law_dyadic_layer_count area_law_dyadic_layer_count thm:area_law_dyadic_layer_count->thm:area_law_fine_layer_count thm:area_law_primary_boundary_count area_law_primary_boundary_count thm:area_law_dyadic_layer_count->thm:area_law_primary_boundary_count thm:area_law_amplification_cut_clearance->thm:area_law_amplification_of_radius_output thm:peps_physical_product_supported_isometry peps_physical_product_supported_isometry thm:peps_physical_product_supported_isometry->thm:peps_parent_support_retractions def:square_area_law_support square_area_law_support thm:square_area_law_support_admissible square_area_law_support_admissible def:square_area_law_support->thm:square_area_law_support_admissible thm:square_area_law_support_injective square_area_law_support_injective thm:square_area_law_support_admissible->thm:square_area_law_support_injective thm:square_area_law_support_injective->def:square_area_law_hamiltonian thm:peps_fourier_reverse_coordinates peps_fourier_reverse_coordinates thm:peps_fourier_reverse_coordinates->thm:peps_fourier_regional_ranges def:peps_injective_tensor peps_injective_tensor def:peps_injective_tensor->thm:peps_injective_covering_parent_ground_space def:peps_injective_tensor->thm:peps_injective_region_boundary_rank thm:peps_word_structural_congruence peps_word_structural_congruence thm:peps_owner_selection_commutation peps_owner_selection_commutation thm:peps_word_structural_congruence->thm:peps_owner_selection_commutation thm:peps_owner_framed_word peps_owner_framed_word thm:peps_word_structural_congruence->thm:peps_owner_framed_word def:peps_party_partition peps_party_partition def:peps_party_partition->def:peps_partition_output_bases thm:peps_excluded_mapped_owners peps_excluded_mapped_owners def:peps_party_partition->thm:peps_excluded_mapped_owners thm:peps_party_restriction peps_party_restriction def:peps_party_partition->thm:peps_party_restriction thm:peps_basis_first_party_grouping peps_basis_first_party_grouping def:peps_party_partition->thm:peps_basis_first_party_grouping thm:peps_excluded_mapped_owners->thm:peps_selected_physical_party_layouts thm:peps_excluded_mapped_owners->thm:peps_actual_empty_party_gate_scalar thm:peps_party_restriction->def:peps_incident_source_word thm:peps_party_restriction->def:peps_restricted_mixed_physical_trace thm:peps_party_restriction->thm:peps_register_move_restriction thm:peps_party_restriction->thm:peps_source_register_operator_local_congruence thm:peps_party_restriction->thm:peps_singleton_all_original_layout thm:peps_party_restriction->thm:peps_party_binary_factorization thm:peps_party_restriction->thm:peps_excluded_spectator_restriction thm:peps_party_restriction->thm:peps_erased_prefix_register_move thm:peps_party_restriction->thm:peps_register_move_retained_prefix thm:peps_party_restriction->thm:peps_word_structural_congruence thm:peps_owner_layout_identification peps_owner_layout_identification thm:peps_party_restriction->thm:peps_owner_layout_identification thm:peps_identity_input_identification peps_identity_input_identification thm:peps_party_restriction->thm:peps_identity_input_identification thm:peps_nested_party_restrictions peps_nested_party_restrictions thm:peps_party_restriction->thm:peps_nested_party_restrictions thm:peps_party_restriction_exchange_blocks peps_party_restriction_exchange_blocks thm:peps_party_restriction->thm:peps_party_restriction_exchange_blocks thm:peps_retained_spectator_framing peps_retained_spectator_framing thm:peps_party_restriction->thm:peps_retained_spectator_framing thm:peps_party_restriction_canonical_layouts peps_party_restriction_canonical_layouts thm:peps_party_restriction->thm:peps_party_restriction_canonical_layouts thm:peps_basis_empty_first_party peps_basis_empty_first_party thm:peps_basis_first_party_grouping->thm:peps_basis_empty_first_party thm:peps_owner_layout_identification->thm:peps_owner_selection_commutation thm:peps_identity_input_identification->thm:peps_sourced_spectator_owner_exclusion thm:peps_identity_input_identification->thm:peps_absent_party_spectator_identity thm:peps_identity_input_identification->thm:peps_selected_local_part_composition thm:peps_singleton_after_excluded_party peps_singleton_after_excluded_party thm:peps_nested_party_restrictions->thm:peps_singleton_after_excluded_party thm:peps_party_restriction_exchange_blocks->thm:peps_sourced_spectator_owner_exclusion thm:peps_party_restriction_exchange_blocks->thm:peps_absent_party_spectator_identity thm:peps_party_restriction_exchange_blocks->thm:peps_append_spectators_restriction thm:peps_retained_spectator_framing->thm:peps_selected_local_part_composition thm:peps_party_restriction_canonical_layouts->thm:peps_actual_sampled_endpoint_locality thm:peps_party_restriction_canonical_layouts->thm:peps_sourced_spectator_owner_exclusion thm:peps_party_restriction_canonical_layouts->thm:peps_absent_party_spectator_identity thm:peps_party_restriction_canonical_layouts->thm:peps_append_spectators_restriction thm:peps_basis_empty_first_party->thm:peps_selected_physical_basis_grouped thm:peps_singleton_after_excluded_party->thm:peps_actual_singleton_factorization def:area_law_cell_counts area_law_cell_counts def:area_law_cell_counts->thm:area_law_physical_ambient_boundary thm:area_law_graph_neighborhood_cut_clearance area_law_graph_neighborhood_cut_clearance def:area_law_cell_counts->thm:area_law_graph_neighborhood_cut_clearance lem:area_law_template_dyadic_clearance area_law_template_dyadic_clearance def:area_law_cell_counts->lem:area_law_template_dyadic_clearance thm:area_law_cell_counts area_law_cell_counts def:area_law_cell_counts->thm:area_law_cell_counts thm:area_law_dyadic_indices area_law_dyadic_indices def:area_law_cell_counts->thm:area_law_dyadic_indices def:area_law_dyadic_layers area_law_dyadic_layers def:area_law_cell_counts->def:area_law_dyadic_layers thm:area_law_graph_neighborhood_cut_clearance->thm:area_law_amplification_cut_clearance lem:area_law_template_dyadic_clearance->thm:area_template_safe_rectangles thm:area_law_cell_counts->thm:area_law_dyadic_layer_count thm:area_law_dyadic_indices->thm:area_law_dyadic_exhaustion thm:area_law_dyadic_indices->thm:area_law_lattice_dyadic_nesting thm:area_law_dyadic_nesting area_law_dyadic_nesting thm:area_law_dyadic_indices->thm:area_law_dyadic_nesting def:area_law_dyadic_layers->thm:area_law_dyadic_exhaustion def:area_law_dyadic_layers->def:area_law_fine_layer_indices def:area_law_dyadic_layers->thm:area_law_dyadic_nesting def:area_law_primary_regions area_law_primary_regions def:area_law_dyadic_layers->def:area_law_primary_regions thm:area_law_dyadic_nesting->thm:area_law_dyadic_layer_count thm:area_law_dyadic_closures area_law_dyadic_closures thm:area_law_dyadic_nesting->thm:area_law_dyadic_closures thm:area_law_primary_fragment_union area_law_primary_fragment_union thm:area_law_dyadic_nesting->thm:area_law_primary_fragment_union thm:area_law_primary_pitch_membership area_law_primary_pitch_membership thm:area_law_dyadic_nesting->thm:area_law_primary_pitch_membership thm:area_law_layer_pairwise_disjoint area_law_layer_pairwise_disjoint thm:area_law_dyadic_nesting->thm:area_law_layer_pairwise_disjoint thm:area_law_dummy_layer_disjoint area_law_dummy_layer_disjoint thm:area_law_dyadic_nesting->thm:area_law_dummy_layer_disjoint def:area_law_primary_regions->thm:area_law_primary_diameter_separation def:area_law_primary_regions->thm:area_law_primary_fragment_rectangles def:area_law_primary_regions->thm:area_law_primary_fragment_union def:area_law_primary_pitch_indices area_law_primary_pitch_indices def:area_law_primary_regions->def:area_law_primary_pitch_indices def:area_law_nonbelt_pitch_index area_law_nonbelt_pitch_index def:area_law_primary_regions->def:area_law_nonbelt_pitch_index thm:area_law_primary_fragment_count area_law_primary_fragment_count def:area_law_primary_regions->thm:area_law_primary_fragment_count thm:area_law_dyadic_closures->thm:area_law_belt_marks_closed_cell thm:area_law_dyadic_closures->thm:area_law_nonbelt_primary_containment thm:area_law_cell_fan_closed_ball area_law_cell_fan_closed_ball thm:area_law_dyadic_closures->thm:area_law_cell_fan_closed_ball thm:area_law_centered_dyadic_cell_ball area_law_centered_dyadic_cell_ball thm:area_law_dyadic_closures->thm:area_law_centered_dyadic_cell_ball thm:area_law_dyadic_cell_distance area_law_dyadic_cell_distance thm:area_law_dyadic_closures->thm:area_law_dyadic_cell_distance thm:area_law_primary_pitch_membership->thm:area_law_belt_fan_nonbelt_color thm:area_law_primary_pitch_membership->thm:area_law_nonbelt_unique_primary thm:area_law_layer_pairwise_disjoint->thm:area_law_unique_layer thm:area_law_layer_pairwise_disjoint->thm:area_law_fine_cells_disjoint thm:area_law_dummy_layer_disjoint->thm:area_law_elementary_side_opponent thm:area_law_dummy_layer_disjoint->thm:area_law_elementary_open_dummy_contact thm:area_law_dummy_layer_disjoint->thm:area_law_fan_dummy_contact def:area_law_primary_pitch_indices->def:area_law_initial_region_indices def:area_law_primary_pitch_indices->thm:area_law_primary_pitch_membership thm:area_law_primary_pitch_count area_law_primary_pitch_count def:area_law_primary_pitch_indices->thm:area_law_primary_pitch_count def:area_law_nonbelt_pitch_index->thm:area_law_nonbelt_primary_containment def:area_law_hamiltonian area_law_hamiltonian def:area_law_hamiltonian->thm:peps_square_crossing_interval def:area_law_hamiltonian->thm:area_law_crossing_support_count def:area_law_hamiltonian->thm:area_supported_gaussian_integral def:area_law_hamiltonian->def:area_law_ground_entropy def:area_law_hamiltonian->def:area_law_cell_counts thm:area_law_support_components area_law_support_components def:area_law_hamiltonian->thm:area_law_support_components thm:area_law_crossing_supports area_law_crossing_supports def:area_law_hamiltonian->thm:area_law_crossing_supports def:area_law_template area_law_template def:area_law_hamiltonian->def:area_law_template thm:peps_closed_square_boundary peps_closed_square_boundary def:area_law_hamiltonian->thm:peps_closed_square_boundary def:area_law_safe_rectangle area_law_safe_rectangle def:area_law_hamiltonian->def:area_law_safe_rectangle def:area_law_cut_log_budget area_law_cut_log_budget def:area_law_hamiltonian->def:area_law_cut_log_budget thm:area_law_domain_identifications area_law_domain_identifications def:area_law_hamiltonian->thm:area_law_domain_identifications def:area_law_vertex_boundaries area_law_vertex_boundaries def:area_law_hamiltonian->def:area_law_vertex_boundaries thm:area_law_support_components->thm:area_law_zero_boundary thm:area_law_crossing_supports->thm:area_law_tail_parameter def:area_law_template->thm:area_law_affine_mesh_line_clearance def:area_law_template->thm:area_law_polygon_strips def:area_law_template->thm:area_law_template_area def:area_law_template->def:area_law_two_family_decomposition def:area_law_template->def:area_law_collar_bound def:area_law_template->thm:openai_uniform_area_law def:area_law_template->lem:area_law_template_dyadic_clearance def:area_law_template->thm:area_law_cell_counts def:area_law_template->thm:area_law_dyadic_indices def:area_law_template->def:area_law_dyadic_layers def:area_law_cell_fan area_law_cell_fan def:area_law_template->def:area_law_cell_fan thm:area_law_sample_rows area_law_sample_rows def:area_law_template->thm:area_law_sample_rows def:area_law_ambient_boundary area_law_ambient_boundary def:area_law_template->def:area_law_ambient_boundary thm:area_law_template_dilation_separation area_law_template_dilation_separation def:area_law_template->thm:area_law_template_dilation_separation thm:peps_nested_patch_sizes peps_nested_patch_sizes thm:peps_closed_square_boundary->thm:peps_nested_patch_sizes def:area_law_safe_rectangle->thm:area_law_rectangle_mixed_count def:area_law_safe_rectangle->def:area_law_box_entropy def:area_template_dyadic_rectangle area_template_dyadic_rectangle def:area_law_safe_rectangle->def:area_template_dyadic_rectangle thm:area_law_rectangle_dilate_size area_law_rectangle_dilate_size def:area_law_safe_rectangle->thm:area_law_rectangle_dilate_size thm:area_law_safe_rectangle_dilation area_law_safe_rectangle_dilation def:area_law_safe_rectangle->thm:area_law_safe_rectangle_dilation thm:area_law_buffer_contours area_law_buffer_contours def:area_law_safe_rectangle->thm:area_law_buffer_contours thm:area_law_box_children area_law_box_children def:area_law_safe_rectangle->thm:area_law_box_children def:area_law_cut_log_budget->thm:area_law_marginal_tails def:area_law_cut_log_budget->thm:area_law_tail_parameter thm:area_law_domain_identifications->def:square_area_law_support thm:square_edge_boundary_card square_edge_boundary_card thm:area_law_domain_identifications->thm:square_edge_boundary_card def:square_area_law_state square_area_law_state thm:area_law_domain_identifications->def:square_area_law_state def:area_law_vertex_boundaries->thm:area_law_vertex_boundary_counts def:area_law_vertex_boundaries->thm:area_law_vertex_boundaries_trivial def:area_law_cell_fan->thm:area_law_cell_fan_mark_vertices def:area_law_cell_fan->thm:area_law_cell_fan_cover def:area_law_cell_fan->thm:area_law_cell_fan_regularity def:area_law_cell_fan->thm:area_law_fan_base_radial_directions def:area_law_cell_fan->thm:area_law_unsplit_side_endpoints def:area_law_cell_fan->def:area_law_actual_side_mask def:area_law_cell_fan->thm:area_law_cell_fan_closed_ball def:area_law_dyadic_cell_side area_law_dyadic_cell_side def:area_law_cell_fan->def:area_law_dyadic_cell_side thm:area_law_cell_fan_count area_law_cell_fan_count def:area_law_cell_fan->thm:area_law_cell_fan_count thm:area_law_cell_fan_intersections area_law_cell_fan_intersections def:area_law_cell_fan->thm:area_law_cell_fan_intersections thm:area_law_cell_fan_base_radius area_law_cell_fan_base_radius def:area_law_cell_fan->thm:area_law_cell_fan_base_radius def:area_law_cell_fan_successor area_law_cell_fan_successor def:area_law_cell_fan->def:area_law_cell_fan_successor thm:area_law_indexed_side_interpolation area_law_indexed_side_interpolation def:area_law_cell_fan->thm:area_law_indexed_side_interpolation def:area_law_fan_runs area_law_fan_runs def:area_law_cell_fan->def:area_law_fan_runs thm:area_law_sample_rows->thm:area_law_closed_half_fan_components thm:area_law_sample_rows->thm:area_law_affine_row_profiles thm:area_law_sample_rows->thm:area_law_fan_cut_component_correspondence thm:area_law_dilation_rows_union area_law_dilation_rows_union thm:area_law_sample_rows->thm:area_law_dilation_rows_union def:area_law_ambient_boundary->thm:area_law_physical_ambient_boundary lem:area_law_ambient_boundary_crossing area_law_ambient_boundary_crossing def:area_law_ambient_boundary->lem:area_law_ambient_boundary_crossing thm:area_law_template_dilation_separation->thm:area_law_template_physical_boundary thm:peps_nested_patch_sizes->thm:peps_nested_patch_quadratic_sum thm:peps_nested_patch_sizes->thm:peps_nested_patch_crossing def:area_template_dyadic_rectangle->thm:area_template_dyadic_rectangle thm:area_law_rectangle_dilate_size->thm:area_law_rectangle_shell_selected_count thm:area_law_safe_rectangle_dilation->thm:area_law_rectangle_shell_safe_cells thm:area_law_buffer_contours->thm:area_law_initial_buffer thm:area_law_buffer_contours->thm:area_law_rectangle_partial_row thm:area_law_buffer_contours->thm:area_law_rectangle_shell_cap_count thm:area_law_box_children->thm:area_law_box_recurrence thm:square_edge_boundary_card->thm:square_area_law_from_uniform def:square_area_law_state->def:square_area_law_hamiltonian thm:norm_square_area_law_state norm_square_area_law_state def:square_area_law_state->thm:norm_square_area_law_state thm:area_law_cell_fan_closed_ball->thm:area_law_closed_half_fan_components thm:area_law_cell_fan_closed_ball->thm:area_law_fan_cut_component_correspondence def:area_law_dyadic_cell_side->thm:area_law_dummy_corner_side def:area_law_dyadic_cell_side->thm:area_law_fan_own_side_contact def:area_law_dyadic_cell_side->thm:area_law_fine_cell_contact def:area_law_dyadic_cell_side->thm:area_law_square_frontier_side thm:area_law_cell_fan_count->thm:area_law_initial_active_rays_cardinality thm:area_law_cell_fan_intersections->thm:area_law_fan_triangle_contact thm:area_law_cell_fan_base_radius->thm:area_law_cell_fan_final_endpoint_injective thm:area_law_cell_fan_base_radius->thm:area_law_concentric_fan_restriction thm:area_law_cell_fan_radial_ray_restriction area_law_cell_fan_radial_ray_restriction thm:area_law_cell_fan_base_radius->thm:area_law_cell_fan_radial_ray_restriction def:area_law_cell_fan_ray area_law_cell_fan_ray thm:area_law_cell_fan_base_radius->def:area_law_cell_fan_ray def:area_law_cell_fan_successor->thm:area_law_cell_fan_successor_endpoints def:area_law_fan_cut_piece area_law_fan_cut_piece def:area_law_cell_fan_successor->def:area_law_fan_cut_piece thm:area_law_indexed_side_interpolation->thm:area_law_elementary_side_geometry thm:area_law_indexed_side_interpolation->thm:area_law_cell_fan_successor_endpoints def:area_law_fan_runs->thm:area_law_fan_closed_half_intersection def:area_law_fan_runs->def:area_law_initial_region_indices def:area_law_fan_runs->thm:area_law_fan_run_monochromatic def:area_law_fan_runs->thm:area_law_fan_run_cover def:area_law_fan_runs->thm:area_law_fan_run_disjoint_interiors thm:area_law_fan_run_color area_law_fan_run_color def:area_law_fan_runs->thm:area_law_fan_run_color thm:area_law_fan_run_opposite area_law_fan_run_opposite def:area_law_fan_runs->thm:area_law_fan_run_opposite thm:area_law_dilation_rows_union->thm:area_law_piece_depth_layers thm:area_law_dilation_rows_union->lem:area_law_ambient_boundary_crossing lem:area_law_ambient_boundary_layers area_law_ambient_boundary_layers lem:area_law_ambient_boundary_crossing->lem:area_law_ambient_boundary_layers lem:area_law_ambient_boundary_difference area_law_ambient_boundary_difference lem:area_law_ambient_boundary_crossing->lem:area_law_ambient_boundary_difference thm:norm_square_area_law_state->thm:square_area_law_ground_gap def:peps_dyadic_anchor peps_dyadic_anchor def:peps_dyadic_anchor->def:peps_dyadic_hv_routing def:peps_dyadic_hierarchy peps_dyadic_hierarchy def:peps_dyadic_anchor->def:peps_dyadic_hierarchy lem:peps_dyadic_padded_side peps_dyadic_padded_side def:peps_dyadic_anchor->lem:peps_dyadic_padded_side lem:peps_dyadic_anchor_valuation peps_dyadic_anchor_valuation def:peps_dyadic_anchor->lem:peps_dyadic_anchor_valuation thm:peps_dyadic_hierarchy_counts peps_dyadic_hierarchy_counts def:peps_dyadic_hierarchy->thm:peps_dyadic_hierarchy_counts def:peps_dyadic_hierarchy->lem:peps_dyadic_address_locality def:peps_dyadic_used_parties peps_dyadic_used_parties def:peps_dyadic_hierarchy->def:peps_dyadic_used_parties def:peps_dyadic_near_block peps_dyadic_near_block def:peps_dyadic_hierarchy->def:peps_dyadic_near_block lem:peps_dyadic_padded_side->thm:peps_dyadic_folded_congestion lem:peps_dyadic_anchor_valuation->thm:peps_dyadic_padded_congestion thm:peps_dyadic_lifetime_incidence peps_dyadic_lifetime_incidence lem:peps_dyadic_address_locality->thm:peps_dyadic_lifetime_incidence def:peps_dyadic_used_parties->thm:peps_dyadic_active_label_parties thm:peps_dyadic_lifetime_parties peps_dyadic_lifetime_parties def:peps_dyadic_used_parties->thm:peps_dyadic_lifetime_parties def:peps_dyadic_near_block->thm:peps_dyadic_lifetime_incidence thm:peps_dyadic_lifetime_incidence->thm:peps_dyadic_lifetime_parties thm:peps_dyadic_active_label_parties->thm:peps_dyadic_patch_rewrite_parties thm:peps_dyadic_lifetime_parties->thm:peps_dyadic_patch_rewrite_lifetime thm:peps_dyadic_lifetime_parties->thm:peps_dyadic_large_repainting_lifetime def:peps_uniform_corrected_input peps_uniform_corrected_input thm:peps_mixed_gate_label_sum peps_mixed_gate_label_sum thm:peps_mixed_chronological_coefficients->thm:peps_mixed_gate_label_sum thm:compression_operator_shared_samples compression_operator_shared_samples thm:compression_operator_shared_samples->thm:compression_operator_branch_sum def:peps_normalized_pure_cut_matrix peps_normalized_pure_cut_matrix thm:peps_torus_simply_connected_physical_local_equivalence peps_torus_simply_connected_physical_local_equivalence def:peps_normalized_pure_cut_matrix->thm:peps_torus_simply_connected_physical_local_equivalence thm:peps_torus_simply_connected_physical_local_equivalence->thm:peps_torus_stripe_local_equivalence thm:peps_region_physical_maps peps_region_physical_maps thm:peps_region_physical_maps->thm:peps_region_physical_deformation thm:peps_region_physical_maps->thm:peps_physical_product_supported_isometry thm:area_law_rounded_collar_half area_law_rounded_collar_half thm:area_law_rounded_collar_half->thm:area_law_bootstrap_collar_clearance def:peps_oriented_copy_parent_equivalence->def:peps_oriented_positive_multiplicity_equivalence def:peps_three_block_identity_extension peps_three_block_identity_extension thm:peps_three_block_extended_injectivity peps_three_block_extended_injectivity def:peps_three_block_identity_extension->thm:peps_three_block_extended_injectivity thm:peps_three_block_extended_injectivity->thm:peps_three_block_core_lifted_intersection def:compression_gate_label_incidence compression_gate_label_incidence thm:compression_gate_incidence_bound compression_gate_incidence_bound def:compression_gate_label_incidence->thm:compression_gate_incidence_bound thm:compression_gate_incidence_bound->thm:compression_distributed_incidence_bound thm:peps_open_region_cut peps_open_region_cut thm:peps_open_region_cut->thm:peps_region_ground_space_slice thm:peps_open_region_cut_unconditional peps_open_region_cut_unconditional thm:peps_open_region_cut->thm:peps_open_region_cut_unconditional def:peps_replace_outside_physical peps_replace_outside_physical def:peps_replace_outside_physical->thm:peps_reconstructed_boundary_contraction def:peps_bond_gauge peps_bond_gauge thm:peps_bond_seam_movement peps_bond_seam_movement def:peps_bond_gauge->thm:peps_bond_seam_movement thm:peps_bond_gauge_average peps_bond_gauge_average def:peps_bond_gauge->thm:peps_bond_gauge_average thm:peps_bond_flat_gauge peps_bond_flat_gauge def:peps_bond_gauge->thm:peps_bond_flat_gauge thm:peps_bond_seam_average peps_bond_seam_average thm:peps_bond_seam_movement->thm:peps_bond_seam_average thm:peps_labelled_closure_gauge peps_labelled_closure_gauge thm:peps_bond_seam_movement->thm:peps_labelled_closure_gauge thm:peps_bond_gauge_average->thm:peps_bond_seam_average thm:peps_bond_flat_gauge->thm:peps_bond_flat_classification def:peps_bond_relative peps_bond_relative thm:peps_bond_flat_gauge->def:peps_bond_relative thm:peps_labelled_closure_gauge->thm:peps_full_four_cut_forward thm:area_law_product_ground_state area_law_product_ground_state thm:area_law_product_ground_state->thm:area_law_unsplit_supports def:peps_fourier_exterior_coefficient peps_fourier_exterior_coefficient def:peps_fourier_exterior_coefficient->thm:peps_fourier_exterior_blocks thm:peps_protocol_density peps_protocol_density lem:peps_frame_exchange_net_map peps_frame_exchange_net_map lem:peps_frame_exchange_error peps_frame_exchange_error lem:peps_frame_exchange_net_map->lem:peps_frame_exchange_error lem:peps_frame_exchange_error->thm:peps_frame_exchange thm:area_law_centered_dyadic_cell_ball->thm:area_law_initial_sector_no_active thm:area_law_dyadic_cell_distance->thm:area_law_primary_fragment_rectangles thm:area_law_dyadic_layer_distance area_law_dyadic_layer_distance thm:area_law_dyadic_cell_distance->thm:area_law_dyadic_layer_distance thm:area_law_neighborhood_endpoint_distance area_law_neighborhood_endpoint_distance thm:area_law_dyadic_cell_distance->thm:area_law_neighborhood_endpoint_distance thm:area_law_dyadic_layer_distance->thm:area_law_dummy_fine_scale_separation thm:area_law_dummy_later_layer_separation area_law_dummy_later_layer_separation thm:area_law_dyadic_layer_distance->thm:area_law_dummy_later_layer_separation thm:area_law_dyadic_nonadjacent area_law_dyadic_nonadjacent thm:area_law_dyadic_layer_distance->thm:area_law_dyadic_nonadjacent thm:area_law_neighborhood_endpoint_distance->thm:area_law_dummy_fine_scale_separation thm:area_law_neighborhood_endpoint_distance->thm:area_law_dummy_later_layer_separation thm:area_law_dummy_contact_index area_law_dummy_contact_index thm:area_law_dummy_later_layer_separation->thm:area_law_dummy_contact_index thm:area_law_dyadic_nonadjacent->thm:area_law_local_layer_exclusion thm:area_law_dummy_contact_index->thm:area_law_dummy_corner_side def:peps_semiregular_incident_enumeration peps_semiregular_incident_enumeration def:peps_semiregular_incident_enumeration->thm:peps_semiregular_canonical_parent_equivalence thm:peps_group_contraction_norm peps_group_contraction_norm thm:peps_group_contraction_norm->thm:peps_group_contraction_nuclear def:peps_physical_gram peps_physical_gram def:peps_physical_gram->def:peps_physical_frames def:peps_physical_gram->thm:peps_exterior_contraction thm:peps_physical_gram_contraction peps_physical_gram_contraction def:peps_physical_gram->thm:peps_physical_gram_contraction def:peps_original_schmidt_coordinates peps_original_schmidt_coordinates def:peps_original_schmidt_coordinates->thm:peps_gaussian_separated_physical_bound def:compression_operator_alphabets compression_operator_alphabets thm:compression_operator_alphabet_card compression_operator_alphabet_card def:compression_operator_alphabets->thm:compression_operator_alphabet_card thm:peps_source_alphabet_polynomial peps_source_alphabet_polynomial thm:compression_operator_alphabet_card->thm:peps_source_alphabet_polynomial thm:compression_operator_alphabet_bound compression_operator_alphabet_bound thm:compression_operator_alphabet_card->thm:compression_operator_alphabet_bound thm:peps_source_alphabet_polynomial->thm:peps_physical_first_link_polynomial def:peps_basis_partition_output_coordinates peps_basis_partition_output_coordinates def:peps_basis_partition_output_coordinates->def:peps_partition_output_bases def:peps_basis_partition_output_coordinates->thm:peps_basis_partition_output_coordinates thm:peps_torus_flat_connection_gauge peps_torus_flat_connection_gauge def:peps_bond_tree_gauge peps_bond_tree_gauge thm:peps_torus_flat_connection_gauge->def:peps_bond_tree_gauge def:peps_bond_tree_gauge->thm:peps_bond_tree_closure def:peps_parent_support_canonical_tensor peps_parent_support_canonical_tensor def:peps_parent_support_canonical_tensor->thm:peps_parent_support_open_coordinates def:peps_bond_closure peps_bond_closure def:peps_bond_closure->thm:peps_bond_tree_closure thm:peps_bond_closure_flat peps_bond_closure_flat def:peps_bond_closure->thm:peps_bond_closure_flat def:peps_bond_closure_at peps_bond_closure_at def:peps_bond_closure->def:peps_bond_closure_at thm:peps_bond_closure_flat->thm:peps_bond_flat_classification def:peps_bond_closure_at->thm:peps_bond_seam_movement def:peps_labelled_closure peps_labelled_closure def:peps_bond_closure_at->def:peps_labelled_closure def:peps_labelled_closure->thm:peps_labelled_closure_support def:peps_labelled_closure->def:peps_full_four_cut_space def:peps_labelled_closure->thm:peps_labelled_flat_classification def:peps_labelled_closure->thm:peps_labelled_closure_gauge thm:peps_dependent_closure_gauge peps_dependent_closure_gauge def:peps_labelled_closure->thm:peps_dependent_closure_gauge thm:peps_dependent_closure_gauge->thm:peps_dependent_closure_invariant thm:peps_dependent_closure_gauge->thm:peps_dependent_closure_extraction def:qc_site_pair_coordinates qc_site_pair_coordinates def:qc_site_pair_coordinates->thm:qc_site_pair_tensor_support def:qc_site_pair_coordinates->thm:peps_sheet_swap_paired_site_support thm:peps_physical_buffer_coordinates peps_physical_buffer_coordinates def:qc_site_pair_coordinates->thm:peps_physical_buffer_coordinates thm:peps_physical_buffer_coordinates->thm:peps_supported_physical_buffer_gaussian lem:peps_frame_commute peps_frame_commute lem:peps_frame_commute->lem:peps_frame_exchange_intertwining lem:peps_frame_gram peps_frame_gram lem:peps_frame_commute->lem:peps_frame_gram lem:peps_frame_gram->lem:peps_frame_rewrite_contraction lem:peps_frame_gram->lem:peps_frame_rewrite_intertwining lem:peps_frame_gram->thm:peps_frame_norm def:peps_common_halfspaces peps_common_halfspaces thm:peps_common_pair_source peps_common_pair_source def:peps_common_halfspaces->thm:peps_common_pair_source thm:peps_common_pair_source->thm:peps_common_source_lists def:peps_single_party_selector peps_single_party_selector def:peps_single_party_selector->thm:peps_selected_source_owner_registers def:peps_single_party_selector->thm:peps_owner_disjoint_restriction def:peps_single_party_selector->thm:peps_source_word_parties def:peps_single_party_selector->thm:peps_singleton_after_excluded_party thm:peps_exterior_owner_selector peps_exterior_owner_selector def:peps_single_party_selector->thm:peps_exterior_owner_selector thm:peps_exterior_owner_selector->thm:peps_actual_private_preparation_exterior thm:peps_exterior_owner_selector->thm:peps_actual_touched_gate_exterior def:peps_prepared_source_replacement peps_prepared_source_replacement def:peps_prepared_source_replacement->thm:peps_prepared_subset_identity def:peps_prepared_source_replacement->def:peps_global_source_replacement def:peps_actual_tensor_partition peps_actual_tensor_partition def:peps_actual_tensor_partition->thm:peps_corrected_source_partition thm:peps_physical_first_sample_polynomial->thm:peps_physical_first_link_polynomial thm:peps_frame_birth_bounded_grouped->thm:peps_frame_birth_bounded lem:peps_rank_one_chain->lem:peps_rank_one_block_monomial lem:al_amp_continuity_product al_amp_continuity_product lem:al_amp_continuity_product->thm:al_amp_entropy_comparison thm:peps_internal_pair_preparation peps_internal_pair_preparation thm:peps_internal_pair_preparation->thm:peps_owner_composition def:area_law_dyadic_cells area_law_dyadic_cells def:area_law_dyadic_cells->def:area_law_belt_cell_marks def:area_law_dyadic_cells->thm:area_law_dyadic_refinement def:area_law_dyadic_cells->thm:area_law_dyadic_indices def:area_law_dyadic_cells->def:area_law_dyadic_layers def:area_law_dyadic_cells->def:area_law_cell_fan def:area_law_cell_corner area_law_cell_corner def:area_law_dyadic_cells->def:area_law_cell_corner def:area_law_cell_corner->thm:area_law_corner_side_subdivision def:area_law_cell_corner->thm:area_law_dummy_corner_side def:area_law_cell_corner->thm:area_law_unsplit_side_endpoints def:area_law_cell_corner->def:area_law_actual_side_mask thm:area_law_primary_pitch_count->thm:area_law_primary_boundary_count thm:area_law_cell_fan_radial_ray_restriction->thm:area_law_initial_active_ray_closed def:area_law_cell_fan_ray->thm:area_law_cell_fan_ray_injective def:area_law_fan_closed_half_piece area_law_fan_closed_half_piece def:area_law_fan_cut_piece->def:area_law_fan_closed_half_piece thm:area_law_fan_run_color->thm:area_law_belt_run_dummy_interface thm:area_law_fan_run_color->thm:area_law_belt_run_primary_interface thm:area_law_fan_run_color->thm:area_law_belt_runs_interface_colors thm:area_law_fan_run_color->def:area_law_initial_region_colors thm:area_law_fan_run_color->thm:area_law_fan_run_geometric_contact thm:area_law_fan_run_opposite->thm:area_law_fan_cut_runs_disjoint thm:area_law_fan_run_opposite->thm:area_law_fan_run_geometric_contact thm:peps_compose_actual_monomials peps_compose_actual_monomials thm:peps_composed_gate_resources peps_composed_gate_resources thm:peps_compose_actual_monomials->thm:peps_composed_gate_resources thm:peps_composed_gate_resources->thm:peps_message_expansion thm:peps_reordered_local_factors peps_reordered_local_factors thm:peps_reordered_local_factors->thm:peps_actual_corrected_schmidt_output def:peps_party_layout peps_party_layout def:peps_party_layout->def:peps_party_tensor_basis def:peps_party_layout->def:peps_party_monomial def:peps_party_layout->thm:peps_register_exchange def:peps_frame_registers peps_frame_registers def:peps_party_layout->def:peps_frame_registers def:peps_party_registers peps_party_registers def:peps_party_layout->def:peps_party_registers thm:peps_insertion_by_sources peps_insertion_by_sources def:peps_party_layout->thm:peps_insertion_by_sources def:peps_internal_pair_preparation peps_internal_pair_preparation def:peps_party_layout->def:peps_internal_pair_preparation def:peps_source_inventory peps_source_inventory def:peps_party_layout->def:peps_source_inventory thm:peps_tensor_map_memory_congruence peps_tensor_map_memory_congruence def:peps_party_layout->thm:peps_tensor_map_memory_congruence def:peps_local_message_summand peps_local_message_summand def:peps_party_layout->def:peps_local_message_summand def:peps_family_physical_output peps_family_physical_output def:peps_party_layout->def:peps_family_physical_output thm:peps_party_combine_sources peps_party_combine_sources def:peps_party_layout->thm:peps_party_combine_sources lem:peps_front_registers peps_front_registers def:peps_party_layout->lem:peps_front_registers lem:peps_frame_registers_coordinates peps_frame_registers_coordinates def:peps_frame_registers->lem:peps_frame_registers_coordinates def:peps_party_registers->def:peps_prepared_source_gate def:peps_party_registers->def:peps_party_partition thm:peps_operator_composition_framing peps_operator_composition_framing def:peps_party_registers->thm:peps_operator_composition_framing def:peps_owner_layout peps_owner_layout def:peps_party_registers->def:peps_owner_layout thm:peps_insertion_by_sources->thm:peps_party_terms_source_only def:peps_internal_pair_preparation->thm:peps_internal_pair_preparation def:peps_owner_composition peps_owner_composition def:peps_internal_pair_preparation->def:peps_owner_composition def:peps_source_inventory->def:peps_owner_sources def:peps_source_inventory->def:peps_product_source_matrix def:peps_source_inventory->thm:peps_source_preparation def:peps_source_inventory->def:peps_source_expansion thm:peps_map_source_pair peps_map_source_pair def:peps_source_inventory->thm:peps_map_source_pair def:peps_unit_pair_source peps_unit_pair_source def:peps_source_inventory->def:peps_unit_pair_source def:peps_source_pair_index peps_source_pair_index def:peps_source_inventory->def:peps_source_pair_index def:peps_source_slots peps_source_slots def:peps_source_inventory->def:peps_source_slots def:peps_local_message_summand->thm:peps_local_message_summands def:peps_family_physical_output->thm:peps_constant_family_regional_density def:peps_family_physical_output->thm:peps_basis_physical_columns_local_coordinates def:peps_family_physical_output->thm:peps_family_physical_party_basis def:peps_family_physical_output->thm:peps_physical_owner_columns thm:peps_basis_physical_list_restriction peps_basis_physical_list_restriction def:peps_family_physical_output->thm:peps_basis_physical_list_restriction lem:peps_front_registers->lem:peps_frame_tag_change lem:peps_front_registers->def:peps_frame_birth_monomials lem:peps_front_registers->lem:peps_frame_exchange_correction_monomial lem:peps_front_registers->lem:peps_grouped_monomial_placement lem:peps_front_registers->lem:peps_rank_one_chain lem:peps_frame_registers_coordinates->lem:peps_register_reorderings lem:peps_two_frame_registers peps_two_frame_registers lem:peps_frame_registers_coordinates->lem:peps_two_frame_registers thm:peps_operator_composition_framing->thm:peps_register_move_restriction thm:peps_operator_composition_framing->thm:peps_source_free_local_part_restriction thm:peps_operator_composition_framing->thm:peps_selected_local_part_framing thm:peps_operator_composition_framing->thm:peps_local_part_framing_restriction thm:peps_operator_composition_framing->thm:peps_retained_spectator_framing def:peps_owner_layout->thm:peps_selected_source_owner_registers def:peps_owner_layout->def:peps_prepared_gate_grouped def:peps_owner_layout->thm:peps_owner_concatenation def:peps_owner_layout->thm:peps_excluded_mapped_owners def:peps_owner_layout->def:peps_owner_composition def:peps_grouped_block_map peps_grouped_block_map def:peps_owner_layout->def:peps_grouped_block_map def:peps_owner_composition->thm:peps_owner_composition def:peps_owner_composition->thm:peps_source_word_parties def:peps_owner_composition->thm:peps_owner_spectator_extension def:peps_owner_composition->thm:peps_owner_framed_word def:peps_owner_composition->thm:peps_owner_layout_identification thm:peps_source_free_owner_parties peps_source_free_owner_parties def:peps_owner_composition->thm:peps_source_free_owner_parties thm:peps_map_source_pair->thm:peps_source_slot_maps thm:peps_map_source_pair->thm:peps_source_cons_mapL thm:peps_remove_unit_pair_source peps_remove_unit_pair_source def:peps_unit_pair_source->thm:peps_remove_unit_pair_source thm:peps_source_pair_count peps_source_pair_count def:peps_source_pair_index->thm:peps_source_pair_count def:peps_original_source_pair_indices peps_original_source_pair_indices def:peps_source_pair_index->def:peps_original_source_pair_indices def:peps_source_slots->def:peps_prepared_source_gate def:peps_source_slots->def:peps_source_register_operator_word def:peps_source_slots->def:peps_selected_source_positions def:peps_source_slots->thm:peps_finite_source_coordinates def:peps_source_slots->thm:peps_source_ordering def:peps_prepared_matrix peps_prepared_matrix def:peps_source_slots->def:peps_prepared_matrix def:peps_source_slot_maps peps_source_slot_maps def:peps_source_slots->def:peps_source_slot_maps def:peps_joint_source_vector peps_joint_source_vector def:peps_source_slots->def:peps_joint_source_vector def:peps_basis_region_coordinates peps_basis_region_coordinates thm:peps_basis_physical_list_restriction->def:peps_basis_region_coordinates def:peps_grouped_block_map->thm:peps_all_gate_nonincident_identity def:peps_grouped_block_map->thm:peps_grouped_block_map thm:peps_prepared_matrix_contraction peps_prepared_matrix_contraction thm:peps_prepared_matrix_contraction->thm:peps_actual_gate_density lem:peps_two_frame_registers->lem:peps_exchange_renaming_word lem:peps_two_frame_registers->lem:peps_exchange_correction_word thm:peps_free_source_contraction peps_free_source_contraction thm:peps_free_source_contraction->thm:peps_free_source_overlap thm:peps_free_source_contraction->thm:peps_source_frame_contraction thm:peps_source_free_owner_parties->thm:peps_owner_disjoint_restriction thm:peps_remove_unit_pair_source->thm:peps_complete_pair_sources def:peps_original_source_sample_indices peps_original_source_sample_indices def:peps_original_source_pair_indices->def:peps_original_source_sample_indices def:peps_prepared_matrix->thm:peps_prepared_matrix_contraction thm:peps_prepared_matrix_coordinates peps_prepared_matrix_coordinates def:peps_prepared_matrix->thm:peps_prepared_matrix_coordinates def:peps_prepared_density_coefficient peps_prepared_density_coefficient def:peps_prepared_matrix->def:peps_prepared_density_coefficient def:peps_source_slot_maps->thm:peps_source_slot_maps def:peps_joint_source_vector->thm:peps_source_register_operator_evaluation thm:peps_source_preparation_sums peps_source_preparation_sums def:peps_joint_source_vector->thm:peps_source_preparation_sums thm:peps_prepared_gate_density peps_prepared_gate_density thm:peps_prepared_matrix_coordinates->thm:peps_prepared_gate_density thm:peps_prepared_density_components peps_prepared_density_components thm:peps_prepared_matrix_coordinates->thm:peps_prepared_density_components def:peps_prepared_density_coefficient->thm:peps_prepared_gate_density def:peps_prepared_density_coefficient->thm:peps_prepared_density_components def:peps_free_source_matrix peps_free_source_matrix def:peps_prepared_density_coefficient->def:peps_free_source_matrix thm:peps_prepared_gate_density->thm:peps_actual_gate_density thm:peps_prepared_source_contraction peps_prepared_source_contraction thm:peps_prepared_density_components->thm:peps_prepared_source_contraction def:peps_free_source_matrix->def:peps_source_frame_matrix def:peps_free_source_matrix->thm:peps_free_source_contraction def:peps_pure_source_matrix peps_pure_source_matrix def:peps_free_source_matrix->def:peps_pure_source_matrix thm:peps_basis_physical_dimensions peps_basis_physical_dimensions def:peps_basis_region_coordinates->thm:peps_basis_physical_dimensions def:peps_distributed_construction_density->thm:peps_distributed_grouped_physical_trace thm:peps_distributed_construction_density peps_distributed_construction_density def:peps_distributed_construction_density->thm:peps_distributed_construction_density thm:peps_coordinate_reset_gram peps_coordinate_reset_gram thm:peps_coordinate_reset_gram->thm:peps_hole_encoder_gram def:peps_parent_support_exterior_factors peps_parent_support_exterior_factors def:peps_parent_support_exterior_factors->thm:peps_parent_support_bond_blocks lem:peps_frame_splitting peps_frame_splitting def:peps_frame_buffer_correction peps_frame_buffer_correction lem:peps_frame_splitting->def:peps_frame_buffer_correction def:peps_frame_birth_map peps_frame_birth_map lem:peps_frame_splitting->def:peps_frame_birth_map def:peps_frame_buffer_correction->def:peps_frame_exchange_map def:peps_frame_buffer_correction->lem:peps_frame_exchange_net_map def:peps_frame_birth_map->def:peps_frame_birth_monomials lem:peps_frame_birth_map peps_frame_birth_map def:peps_frame_birth_map->lem:peps_frame_birth_map lem:peps_frame_birth_map->lem:peps_frame_birth_monomial_operators thm:peps_frame_birth peps_frame_birth lem:peps_frame_birth_map->thm:peps_frame_birth thm:peps_frame_birth->thm:peps_frame_birth_bounded_grouped thm:peps_open_bond_ranges peps_open_bond_ranges thm:peps_open_bond_expansion peps_open_bond_expansion thm:peps_open_bond_ranges->thm:peps_open_bond_expansion thm:peps_open_bond_expansion->thm:peps_partial_open_cut_intersection thm:peps_vertex_virtual_parent_forward peps_vertex_virtual_parent_forward thm:peps_vertex_virtual_parent_forward->thm:peps_vertex_virtual_parent_transport def:peps_four_cut_common_product_boundary peps_four_cut_common_product_boundary def:peps_four_cut_common_product_boundary->thm:peps_four_cut_common_boundary_span def:peps_dependent_bond_slice peps_dependent_bond_slice def:peps_dependent_bond_slice->thm:peps_dependent_canonical_bond_sum def:peps_region_half_edge_label_equiv peps_region_half_edge_label_equiv thm:peps_graph_open_incidence_product peps_graph_open_incidence_product def:peps_region_half_edge_label_equiv->thm:peps_graph_open_incidence_product def:peps_parent_support_bond_coordinates peps_parent_support_bond_coordinates def:peps_region_half_edge_label_equiv->def:peps_parent_support_bond_coordinates lem:peps_region_half_edge_label_endpoints peps_region_half_edge_label_endpoints def:peps_region_half_edge_label_equiv->lem:peps_region_half_edge_label_endpoints def:peps_graph_open_averaging_bond_state peps_graph_open_averaging_bond_state def:peps_region_half_edge_label_equiv->def:peps_graph_open_averaging_bond_state def:peps_open_sector_slice peps_open_sector_slice def:peps_region_half_edge_label_equiv->def:peps_open_sector_slice thm:peps_graph_open_incidence_product->thm:peps_graph_open_averaging_bond_state def:peps_parent_support_bond_coordinates->def:peps_parent_support_canonical_tensor thm:peps_parent_support_internal_slices peps_parent_support_internal_slices def:peps_parent_support_bond_coordinates->thm:peps_parent_support_internal_slices def:peps_parent_support_numbered_operator peps_parent_support_numbered_operator def:peps_parent_support_bond_coordinates->def:peps_parent_support_numbered_operator lem:peps_region_half_edge_label_endpoints->thm:peps_graph_open_averaging_bond_state def:peps_graph_open_averaging_bond_state->thm:peps_graph_open_averaging_bond_state def:peps_open_sector_slice->thm:peps_parent_support_open_coordinates def:peps_open_sector_slice->thm:peps_parent_support_internal_slices thm:peps_parent_support_internal_slices->thm:peps_parent_support_repeated_ranges thm:peps_parent_support_internal_slices->thm:peps_parent_support_factor_ranges def:peps_parent_support_numbered_operator->def:peps_parent_support_exterior_factors thm:peps_parent_support_global_coordinates peps_parent_support_global_coordinates def:peps_parent_support_numbered_operator->thm:peps_parent_support_global_coordinates thm:peps_joint_source_vector_coordinates peps_joint_source_vector_coordinates thm:peps_joint_source_vector_coordinates->thm:peps_endpoint_operator_coordinates thm:peps_regional_extension_norm peps_regional_extension_norm lem:peps_regularized_patch_compact_continuous peps_regularized_patch_compact_continuous thm:peps_regional_extension_norm->lem:peps_regularized_patch_compact_continuous thm:peps_regularized_patch_bounds peps_regularized_patch_bounds thm:peps_regional_extension_norm->thm:peps_regularized_patch_bounds lem:peps_regularized_patch_compact_continuous->thm:peps_regularized_patch_minimum thm:peps_regularized_patch_bounds->thm:peps_regularized_patch_minimum def:area_law_initial_open_regions->thm:area_law_initial_open_boundary_lattice def:area_law_initial_open_regions->thm:area_law_initial_lattice_membership def:area_law_initial_open_regions->thm:area_law_initial_birth_regularity def:area_law_initial_open_regions->thm:area_law_initial_open_disjoint thm:peps_actual_source_lifetime_cost peps_actual_source_lifetime_cost thm:peps_actual_source_lifetime_cost->thm:peps_actual_source_lifetime_bound def:peps_original_gate_density peps_original_gate_density def:peps_original_gate_density->thm:peps_approximate_physical_error def:area_law_mixed_dyadic_square area_law_mixed_dyadic_square def:area_law_mixed_dyadic_square->thm:area_law_capped_mixed_parents thm:area_law_mixed_dyadic_boolean area_law_mixed_dyadic_boolean def:area_law_mixed_dyadic_square->thm:area_law_mixed_dyadic_boolean thm:area_law_template_piece_mixed_count area_law_template_piece_mixed_count def:area_law_mixed_dyadic_square->thm:area_law_template_piece_mixed_count thm:area_law_mixed_dyadic_boolean->thm:area_law_rectangle_shell_selected_count thm:area_law_template_shell_mixed_count area_law_template_shell_mixed_count thm:area_law_mixed_dyadic_boolean->thm:area_law_template_shell_mixed_count thm:area_law_template_piece_mixed_count->thm:area_law_template_shell_mixed_count thm:area_law_template_shell_mixed_count->thm:area_law_template_core_selected_count thm:area_law_template_shell_mixed_count->thm:area_law_template_shell_selected_count def:peps_oriented_native_tail peps_oriented_native_tail def:peps_oriented_native_tail->def:peps_oriented_averaging_tensor def:peps_oriented_coordinate_matrix peps_oriented_coordinate_matrix def:peps_oriented_native_tail->def:peps_oriented_coordinate_matrix def:peps_oriented_incident_representation peps_oriented_incident_representation def:peps_oriented_native_tail->def:peps_oriented_incident_representation thm:peps_native_torus_incidence peps_native_torus_incidence def:peps_oriented_native_tail->thm:peps_native_torus_incidence thm:peps_oriented_coordinate_inverse peps_oriented_coordinate_inverse def:peps_oriented_coordinate_matrix->thm:peps_oriented_coordinate_inverse def:peps_oriented_coordinate_exterior peps_oriented_coordinate_exterior def:peps_oriented_coordinate_matrix->def:peps_oriented_coordinate_exterior def:peps_oriented_incident_representation->thm:peps_oriented_average_g_injective def:peps_oriented_incident_representation->thm:peps_native_oriented_g_injectivity def:peps_native_incident_coordinates peps_native_incident_coordinates thm:peps_native_torus_incidence->def:peps_native_incident_coordinates thm:peps_oriented_coordinate_inverse->thm:peps_oriented_coordinate_open thm:peps_oriented_global_coordinate_inverse peps_oriented_global_coordinate_inverse thm:peps_oriented_coordinate_inverse->thm:peps_oriented_global_coordinate_inverse def:peps_oriented_coordinate_exterior->thm:peps_oriented_coordinate_blocks def:peps_native_incident_coordinates->thm:peps_native_oriented_g_injectivity thm:peps_native_inserted_network peps_native_inserted_network def:peps_native_incident_coordinates->thm:peps_native_inserted_network thm:peps_oriented_global_coordinate_inverse->thm:peps_oriented_coordinate_parent thm:peps_native_inserted_network->thm:peps_native_invariant_closure_membership def:qc_site_expectation qc_site_expectation def:qc_site_expectation->thm:area_supported_gaussian_integral def:peps_dependent_incident_action peps_dependent_incident_action def:peps_dependent_incident_action->def:peps_dependent_averaging_site def:peps_dependent_physical_site peps_dependent_physical_site def:peps_dependent_incident_action->def:peps_dependent_physical_site def:peps_dependent_physical_site->thm:peps_dependent_physical_contraction def:compression_operator_configuration_bijection compression_operator_configuration_bijection def:compression_operator_configuration_bijection->thm:compression_operator_branch_sum def:peps_schmidt_local_output peps_schmidt_local_output def:peps_schmidt_local_output->thm:peps_local_schmidt_output def:compression_operator_density_coefficient compression_operator_density_coefficient def:compression_operator_density_coefficient->thm:compression_operator_density_pair thm:peps_native_parent_regional_cut peps_native_parent_regional_cut thm:peps_native_parent_coefficients peps_native_parent_coefficients thm:peps_native_parent_regional_cut->thm:peps_native_parent_coefficients thm:peps_nonuniform_native_spanning peps_nonuniform_native_spanning thm:peps_native_parent_coefficients->thm:peps_nonuniform_native_spanning thm:peps_native_parent_seam_boundary peps_native_parent_seam_boundary thm:peps_native_parent_coefficients->thm:peps_native_parent_seam_boundary thm:peps_nonuniform_native_spanning->thm:peps_nonuniform_native_kernel thm:peps_nonuniform_parent_seam_boundary peps_nonuniform_parent_seam_boundary thm:peps_native_parent_seam_boundary->thm:peps_nonuniform_parent_seam_boundary thm:peps_nonuniform_parent_seam_boundary->thm:peps_nonuniform_native_padded_kernel lem:peps_dyadic_last_level peps_dyadic_last_level lem:peps_dyadic_sites->lem:peps_dyadic_last_level def:peps_gaussian_branch_density->thm:peps_gaussian_branch_density_bound lem:peps_frame_pass_encoding peps_frame_pass_encoding lem:peps_frame_pass_encoding->thm:peps_frame_birth thm:peps_injective_parent_counterexample_maps peps_injective_parent_counterexample_maps thm:peps_injective_parent_counterexample_kernel peps_injective_parent_counterexample_kernel thm:peps_injective_parent_counterexample_maps->thm:peps_injective_parent_counterexample_kernel def:compression_operator_endpoints compression_operator_endpoints lem:peps_frame_sheet_swap_compose peps_frame_sheet_swap_compose lem:peps_frame_sheet_swap_compose->thm:peps_sheet_swap_doubled_cancellation lem:peps_frame_sheet_swap_compose->thm:peps_frame_exchange def:peps_bond_seam_gauge peps_bond_seam_gauge def:peps_bond_seam_gauge->thm:peps_bond_seam_movement def:peps_regional_cylinder peps_regional_cylinder thm:peps_cylinder_projector peps_cylinder_projector def:peps_regional_cylinder->thm:peps_cylinder_projector def:peps_nested_cylinder_images peps_nested_cylinder_images def:peps_regional_cylinder->def:peps_nested_cylinder_images thm:peps_cylinder_operations peps_cylinder_operations thm:peps_cylinder_projector->thm:peps_cylinder_operations def:peps_nested_cylinder_images->def:peps_hole_encoder thm:peps_nested_cylinder_images peps_nested_cylinder_images def:peps_nested_cylinder_images->thm:peps_nested_cylinder_images thm:peps_cylinder_operations->thm:peps_nested_cylinder_images thm:peps_nested_cylinder_images->thm:peps_nested_cylinder_orthogonalization thm:peps_graph_open_region_contraction peps_graph_open_region_contraction thm:peps_graph_open_region_contraction->thm:peps_graph_open_averaging_bond_state thm:peps_basis_owner_memory peps_basis_owner_memory thm:peps_basis_owner_memory->thm:peps_basis_owner_partition thm:peps_basis_owner_memory->thm:peps_selected_family_physical_columns thm:peps_basis_owner_memory->thm:peps_physical_owner_columns thm:peps_ket_column_normalization peps_ket_column_normalization thm:peps_ket_column_normalization->thm:peps_ket_column_vector def:peps_dependent_incidence peps_dependent_incidence def:peps_dependent_incidence->thm:peps_dependent_incidence_sums def:peps_dependent_incidence->def:peps_dependent_incident_action def:peps_dependent_bond_product peps_dependent_bond_product def:peps_dependent_incidence->def:peps_dependent_bond_product def:peps_dependent_network peps_dependent_network def:peps_dependent_incidence->def:peps_dependent_network def:peps_dependent_bond_product->thm:peps_full_four_cut_flat_projection def:peps_dependent_bond_product->def:peps_dependent_bond_coefficient def:peps_dependent_bond_product->def:peps_dependent_bond_slice def:peps_dependent_network->thm:peps_dependent_projector_expansion thm:peps_dependent_network_scalar peps_dependent_network_scalar def:peps_dependent_network->thm:peps_dependent_network_scalar def:peps_dependent_cut peps_dependent_cut def:peps_dependent_network->def:peps_dependent_cut def:peps_ket_column_dependent_fix_input peps_ket_column_dependent_fix_input def:peps_dependent_network->def:peps_ket_column_dependent_fix_input def:peps_dependent_cut->thm:peps_dependent_physical_contraction def:peps_dependent_cut->thm:peps_dependent_cut_basis def:peps_dependent_cut->def:peps_full_four_cut_space def:peps_ket_column_dependent_fix_input->thm:peps_ket_column_dependent thm:peps_range_parent_site_inverse peps_range_parent_site_inverse thm:peps_range_parent_site_inverse->thm:peps_range_parent_equivalence thm:peps_range_parent_site_inverse->thm:peps_range_parent_regional_inverse def:peps_torus_g_closure peps_torus_g_closure def:peps_torus_g_closure->thm:peps_torus_projector_extraction def:peps_torus_g_closure->thm:peps_torus_commuting_closure_seams def:peps_torus_g_closure->thm:peps_g_injective_closure_dimension def:peps_torus_g_closure->def:peps_four_cut_common_closure def:peps_region_vertex_physical_slice peps_region_vertex_physical_slice def:peps_region_vertex_physical_slice->thm:peps_region_vertex_image_support def:peps_four_cut_common_leg_gauge peps_four_cut_common_leg_gauge thm:peps_four_cut_common_leg_gauge peps_four_cut_common_leg_gauge def:peps_four_cut_common_leg_gauge->thm:peps_four_cut_common_leg_gauge thm:peps_four_cut_common_leg_gauge->thm:peps_four_cut_common_network_expansion thm:peps_four_cut_common_leg_gauge->thm:peps_four_cut_common_vertex_gauge def:compression_operator_consistency compression_operator_consistency def:compression_operator_consistency->thm:compression_operator_root_agreement def:compression_operator_consistency->thm:compression_operator_link_recovery def:compression_operator_consistency->thm:compression_operator_shared_consistency def:peps_cycle_arc_coordinates peps_cycle_arc_coordinates lem:peps_cycle_arc_boundary_matrix peps_cycle_arc_boundary_matrix def:peps_cycle_arc_coordinates->lem:peps_cycle_arc_boundary_matrix lem:peps_cycle_arc_boundary_matrix->thm:peps_cycle_region_ground_space def:peps_source_coordinates peps_source_coordinates def:peps_source_coordinates->def:peps_original_schmidt_coordinates thm:peps_local_schmidt_sources peps_local_schmidt_sources def:peps_source_coordinates->thm:peps_local_schmidt_sources def:peps_sampled_source_matrix peps_sampled_source_matrix thm:peps_local_schmidt_sources->def:peps_sampled_source_matrix def:peps_sampled_source_matrix->thm:peps_sampled_physical_error thm:peps_unbiased_original_sources peps_unbiased_original_sources def:peps_sampled_source_matrix->thm:peps_unbiased_original_sources def:peps_original_sampled_endpoint_factors peps_original_sampled_endpoint_factors def:peps_sampled_source_matrix->def:peps_original_sampled_endpoint_factors thm:peps_unbiased_original_sources->thm:peps_corrected_gaussian_sum def:peps_original_sampled_endpoint_factors->def:peps_actual_sampled_endpoint_word lem:al_amp_pure_trace_distance al_amp_pure_trace_distance lem:al_amp_pure_trace_distance->thm:area_law_collar_transfer lem:al_amp_pure_trace_distance->lem:al_amp_continuity_product def:peps_corrected_free_sources peps_corrected_free_sources def:peps_corrected_free_sources->thm:peps_corrected_source_partition def:peps_corrected_free_sources->thm:peps_actual_source_lifetime_cost thm:peps_basis_party_recursion peps_basis_party_recursion thm:peps_basis_party_recursion->thm:peps_basis_party_map_entries thm:peps_basis_party_recursion->thm:peps_selected_physical_basis_grouped thm:compression_pair_incidence compression_pair_incidence thm:compression_pair_incidence->thm:compression_gate_incidence_bound thm:peps_regular_region_boundary_hamiltonian peps_regular_region_boundary_hamiltonian def:compression_coefficient_cost compression_coefficient_cost def:compression_coefficient_cost->thm:compression_double_coefficient_sum thm:peps_original_operator_contraction peps_original_operator_contraction thm:peps_original_operator_contraction->thm:peps_approximate_chronological_error def:square_interaction_labels square_interaction_labels def:square_hermitian_term square_hermitian_term def:square_interaction_labels->def:square_hermitian_term def:square_interaction_support square_interaction_support def:square_interaction_labels->def:square_interaction_support def:square_hermitian_term->thm:square_hermitian_term_supported_algebra thm:square_hermitian_term_sum square_hermitian_term_sum def:square_hermitian_term->thm:square_hermitian_term_sum thm:square_hermitian_term_properties square_hermitian_term_properties def:square_hermitian_term->thm:square_hermitian_term_properties def:square_interaction_support->def:square_area_law_support def:square_interaction_support->thm:square_hermitian_term_properties thm:square_hermitian_term_sum->thm:square_area_law_hamiltonian_operator thm:square_hermitian_term_properties->def:square_area_law_hamiltonian def:compression_gate_incidence compression_gate_incidence def:compression_gate_incidence->thm:compression_incidence_containment thm:compression_tagging_cardinality compression_tagging_cardinality def:compression_gate_incidence->thm:compression_tagging_cardinality thm:compression_tagging_cardinality->thm:compression_distributed_incidence_bound thm:peps_matrix_orthonormal_coordinates peps_matrix_orthonormal_coordinates thm:peps_matrix_orthonormal_coordinates->thm:peps_actual_party_source_columns thm:peps_matrix_orthonormal_coordinates->thm:peps_actual_source_mixed_word thm:peps_matrix_orthonormal_coordinates->thm:peps_actual_sampled_endpoint_average thm:area_law_template_dilated_row_displacement area_law_template_dilated_row_displacement thm:area_law_template_dilated_row_displacement->thm:area_law_template_piece_mixed_count def:peps_open_bond_generators peps_open_bond_generators def:peps_open_bond_generators->thm:peps_open_product_in_cut def:peps_open_bond_generators->thm:peps_open_bond_ranges thm:peps_nonuniform_inserted_region peps_nonuniform_inserted_region thm:peps_nonuniform_native_membership peps_nonuniform_native_membership thm:peps_nonuniform_inserted_region->thm:peps_nonuniform_native_membership thm:peps_nonuniform_native_membership->thm:peps_nonuniform_native_kernel lem:peps_dyadic_chamber_sampling->thm:peps_dyadic_sampled_ratio thm:peps_dyadic_angular_separation_sampled peps_dyadic_angular_separation_sampled lem:peps_dyadic_chamber_sampling->thm:peps_dyadic_angular_separation_sampled thm:peps_source_preparation_sums->thm:peps_corrected_partial thm:peps_source_preparation_sums->thm:peps_prepared_matrix_coordinates def:peps_source_slot_basis peps_source_slot_basis thm:peps_source_preparation_sums->def:peps_source_slot_basis def:peps_source_slot_basis->def:peps_actual_source_input_basis def:peps_source_slot_basis->def:peps_free_source_matrix def:peps_source_slot_basis->thm:peps_joint_source_vector_coordinates def:peps_pure_source_matrix->thm:peps_pure_source_density_coefficient def:peps_party_local_output_basis peps_party_local_output_basis def:peps_party_local_output_basis->def:peps_selected_physical_private_basis def:peps_party_local_output_basis->thm:peps_party_grouped_basis_append def:peps_regular_region_boundary_hamiltonian peps_regular_region_boundary_hamiltonian def:peps_regular_region_boundary_hamiltonian->thm:peps_regular_region_boundary_hamiltonian thm:peps_actual_gaussian_covariance peps_actual_gaussian_covariance thm:peps_actual_gaussian_covariance->thm:peps_gaussian_separated_physical_bound thm:peps_gaussian_products_integrable peps_gaussian_products_integrable thm:peps_actual_gaussian_covariance->thm:peps_gaussian_products_integrable thm:peps_gaussian_products_integrable->thm:peps_actual_physical_integrability thm:peps_network_in_open_cut peps_network_in_open_cut thm:peps_network_in_open_cut->thm:peps_open_product_in_cut thm:peps_cut_space_mono peps_cut_space_mono thm:peps_network_in_open_cut->thm:peps_cut_space_mono thm:peps_cut_space_mono->thm:peps_partial_open_cut_intersection def:area_law_nearest_neighbor_support area_law_nearest_neighbor_support def:area_law_nearest_neighbor_support->thm:area_law_crossing_support_count thm:peps_frame_identity_tensor_norm peps_frame_identity_tensor_norm thm:peps_frame_identity_tensor_norm->lem:peps_frame_rewrite_contraction thm:peps_sheet_swap_doubled_term_norm peps_sheet_swap_doubled_term_norm thm:peps_frame_identity_tensor_norm->thm:peps_sheet_swap_doubled_term_norm thm:peps_sheet_swap_doubled_term_norm->thm:peps_swapped_doubled_boundary_bound thm:peps_basis_physical_dimensions->thm:peps_family_regional_dimensions def:area_law_lattice_dyadic_square area_law_lattice_dyadic_square def:area_law_lattice_dyadic_square->thm:area_law_lattice_dyadic_nesting def:area_law_lattice_dyadic_square->lem:area_law_template_dyadic_clearance def:area_law_lattice_dyadic_square->def:area_template_dyadic_rectangle def:area_law_lattice_dyadic_square->def:area_law_mixed_dyadic_square def:area_law_capped_dyadic_partition area_law_capped_dyadic_partition def:area_law_lattice_dyadic_square->def:area_law_capped_dyadic_partition def:area_law_capped_dyadic_partition->thm:area_law_capped_dyadic_partition def:area_law_capped_dyadic_partition->thm:area_law_capped_mixed_parents thm:area_law_initial_run_color->thm:area_law_initial_interface_colors def:compression_pair_labels compression_pair_labels def:compression_pair_labels->thm:compression_pair_incidence thm:compression_pair_label_count compression_pair_label_count def:compression_pair_labels->thm:compression_pair_label_count thm:compression_gate_label_count compression_gate_label_count thm:compression_pair_label_count->thm:compression_gate_label_count def:peps_torus_bond_network peps_torus_bond_network def:peps_torus_bond_network->def:peps_four_cut_common_matched_action def:peps_torus_bond_network->def:peps_torus_g_closure def:peps_torus_bond_network->thm:peps_four_cut_common_leg_gauge def:peps_four_cut_common_boundary peps_four_cut_common_boundary def:peps_torus_bond_network->def:peps_four_cut_common_boundary def:peps_four_cut_common_boundary->thm:peps_four_cut_common_cut_expansion def:peps_four_cut_common_boundary->thm:peps_four_cut_common_physical_contraction def:peps_four_cut_common_boundary->def:peps_four_cut_common_product_boundary thm:peps_frame_sheet_swap_norm peps_frame_sheet_swap_norm thm:peps_frame_sheet_swap_norm->thm:peps_sheet_swap_doubled_term_norm def:peps_group_nuclear_norm peps_group_nuclear_norm def:peps_group_nuclear_norm->lem:peps_group_nuclear_holder lem:peps_group_orthonormal_truncation peps_group_orthonormal_truncation def:peps_group_nuclear_norm->lem:peps_group_orthonormal_truncation lem:peps_group_truncation_abstract peps_group_truncation_abstract lem:peps_group_orthonormal_truncation->lem:peps_group_truncation_abstract lem:peps_group_truncation_abstract->thm:peps_group_tensor thm:peps_pair_centralizer_count peps_pair_centralizer_count thm:peps_pair_centralizer_count->thm:peps_g_injective_closure_dimension thm:peps_pair_centralizer_count->thm:peps_regular_closure_parent_constraint thm:peps_three_block_remove_labels peps_three_block_remove_labels thm:peps_three_block_remove_labels->thm:peps_three_block_cut_intersection thm:peps_insertion_permutation peps_insertion_permutation def:peps_parent_support_operator_block peps_parent_support_operator_block def:peps_parent_support_operator_block->thm:peps_parent_support_bond_blocks def:peps_parent_support_operator_block->thm:peps_parent_support_block_criterion thm:area_law_amplification_unitary_error area_law_amplification_unitary_error thm:area_law_amplification_unitary_error->thm:area_law_amplification_unitary_of_good_realization lem:area_law_ambient_boundary_layers->lem:area_law_template_ambient_boundary lem:area_law_ambient_boundary_difference->lem:area_law_template_ambient_boundary thm:area_law_unit_segment_ball_clipping area_law_unit_segment_ball_clipping def:peps_regular_boundary_support_embedding peps_regular_boundary_support_embedding def:peps_regular_boundary_support_embedding->def:peps_regular_region_boundary_hamiltonian def:peps_prepared_reordered_word peps_prepared_reordered_word def:peps_prepared_reordered_word->thm:peps_prepared_reordered_vector def:peps_prepared_reordered_word->thm:peps_reordered_local_factors thm:area_law_rounded_clearance area_law_rounded_clearance thm:area_law_rounded_clearance->thm:area_law_rounded_safe_shell_cells thm:peps_four_cut_common_seam_gauge peps_four_cut_common_seam_gauge thm:peps_four_cut_common_seam_gauge->thm:peps_four_cut_common_matched_membership thm:peps_four_cut_common_seam_gauge->thm:peps_bond_seam_movement thm:compression_operator_diagonal_reader compression_operator_diagonal_reader thm:compression_operator_link_sum compression_operator_link_sum thm:compression_operator_diagonal_reader->thm:compression_operator_link_sum thm:compression_operator_link_sum->thm:compression_operator_branch_sum def:compression_corrected_parties compression_corrected_parties def:compression_corrected_parties->thm:compression_corrected_owner def:compression_corrected_parties->thm:compression_corrected_party_count def:compression_operator_endpoint_tensor compression_operator_endpoint_tensor thm:area_law_weighted_dyadic_sum area_law_weighted_dyadic_sum thm:area_law_weighted_dyadic_sum->thm:area_law_capped_dyadic_moment thm:peps_parent_support_product_range peps_parent_support_product_range thm:peps_parent_support_product_range->thm:peps_oriented_parent_support thm:peps_parent_support_product_range->thm:peps_parent_support_internal_slices def:compression_operator_root_coefficients compression_operator_root_coefficients thm:compression_operator_coefficient_product compression_operator_coefficient_product def:compression_operator_root_coefficients->thm:compression_operator_coefficient_product thm:compression_operator_coefficient_product->thm:compression_operator_branch_sum def:compression_operator_operator compression_operator_operator def:compression_operator_operator->thm:compression_operator_link_sum def:peps_free_source_vector peps_free_source_vector thm:peps_free_source_norm peps_free_source_norm def:peps_free_source_vector->thm:peps_free_source_norm thm:peps_free_source_norm->thm:peps_corrected_source_columns thm:peps_free_source_norm->thm:peps_crossing_schmidt thm:peps_free_source_norm->thm:peps_source_scalar_preparation thm:peps_approximate_gate_real_accuracy peps_approximate_gate_real_accuracy thm:peps_approximate_gate_real_accuracy->thm:peps_approximate_original_real_accuracy thm:peps_approximate_gate_real_accuracy->thm:peps_fixed_power_gate_budget def:peps_identity_hole_encoder peps_identity_hole_encoder def:peps_identity_hole_encoder->thm:peps_identity_hole_encoder def:peps_original_source_sample_indices->thm:peps_original_source_sample_incidence def:peps_original_source_sample_indices->def:peps_source_sample_assignment_indices def:peps_native_torus_orientation peps_native_torus_orientation def:peps_native_torus_orientation->thm:peps_native_torus_incidence def:peps_cut_replace_outside peps_cut_replace_outside def:peps_cut_replace_outside->def:peps_reconstructed_cut_boundary def:peps_semiregular_block_fourier peps_semiregular_block_fourier def:peps_semiregular_block_fourier->thm:peps_semiregular_block_fourier thm:peps_copy_weight_products peps_copy_weight_products thm:peps_copy_weight_products->thm:peps_oriented_copy_open thm:peps_copy_weight_products->thm:peps_copy_open_factors thm:peps_copy_weight_products->thm:peps_copy_parent_inverses thm:peps_copy_weight_products->thm:peps_oriented_copy_filter thm:peps_copy_weight_products->thm:peps_copy_physical_filter thm:peps_physical_component_contraction peps_physical_component_contraction thm:peps_physical_component_contraction->thm:peps_physical_frame_contraction thm:peps_physical_component_contraction->thm:peps_physical_gram_contraction def:peps_affected_owner peps_affected_owner def:peps_affected_owner->thm:peps_selected_physical_party_layouts def:peps_affected_owner->def:peps_partial_source_choices thm:peps_affected_owner_equality peps_affected_owner_equality def:peps_affected_owner->thm:peps_affected_owner_equality thm:peps_affected_owner_equality->thm:peps_affected_source_occurrences def:peps_frame_sheet_swap peps_frame_sheet_swap def:peps_frame_sheet_swap->thm:peps_sheet_swap_paired_site_support def:peps_frame_sheet_swap->def:peps_frame_exchange_data def:peps_frame_sheet_swap->lem:peps_frame_exchange_net_map def:peps_frame_sheet_swap->lem:peps_frame_sheet_swap_compose def:peps_frame_sheet_swap->thm:peps_frame_sheet_swap_norm thm:peps_pair_combine peps_pair_combine def:peps_physical_component peps_physical_component def:peps_physical_component->def:peps_physical_frames def:peps_physical_component->def:peps_physical_output_matrix def:peps_physical_component->thm:peps_physical_component_contraction thm:peps_basis_grouping_equality peps_basis_grouping_equality thm:peps_basis_grouping_equality->thm:peps_basis_empty_first_party def:peps_open_region_contraction peps_open_region_contraction def:peps_open_region_contraction->def:peps_region_ground_space def:peps_open_region_contraction->thm:peps_region_physical_maps def:peps_open_region_contraction->thm:peps_open_region_cut def:peps_open_region_contraction->thm:peps_graph_open_region_contraction def:peps_open_region_contraction->lem:peps_cycle_arc_boundary_matrix thm:area_law_crossing_inside_endpoint area_law_crossing_inside_endpoint thm:area_law_crossing_inside_endpoint->thm:area_law_crossing_support_count def:area_law_fan_closed_half_piece->thm:area_law_fan_closed_half_intersection def:area_law_fan_closed_half_piece->thm:area_law_fan_closed_half_piece_connected def:peps_labelled_incidence peps_labelled_incidence thm:peps_prepared_source_contraction->thm:peps_prepared_subset_identity thm:peps_prepared_source_contraction->thm:peps_prepared_source_frames thm:peps_prepared_source_contraction->thm:peps_selected_source_contraction thm:area_law_allowed_direction_affine_span area_law_allowed_direction_affine_span thm:area_law_allowed_direction_affine_span->thm:area_law_fan_cut_piece_connected def:compression_operator_party_gates compression_operator_party_gates thm:area_law_lattice_degree area_law_lattice_degree thm:area_law_lattice_degree->thm:area_law_vertex_boundary_counts thm:peps_open_sector_coordinate_support peps_open_sector_coordinate_support thm:peps_open_sector_coordinate_support->thm:peps_open_sector_regional_support thm:peps_regular_boundary_supported_gibbs peps_regular_boundary_supported_gibbs def:peps_frame_birth_partition peps_frame_birth_partition lem:peps_frame_birth_partition_owners peps_frame_birth_partition_owners def:peps_frame_birth_partition->lem:peps_frame_birth_partition_owners lem:peps_frame_birth_partition_owners->thm:peps_frame_birth thm:peps_tensor_schmidt_isometries peps_tensor_schmidt_isometries def:peps_source_input_isometries peps_source_input_isometries def:peps_source_input_isometries->thm:peps_source_input_columns def:compression_position_choice_cost compression_position_choice_cost def:compression_position_choice_cost->thm:compression_position_choice_bound def:peps_regularized_patch_objective peps_regularized_patch_objective def:peps_regularized_patch_objective->def:peps_regularized_patch_minimum def:peps_regularized_patch_objective->lem:peps_regularized_patch_compact_continuous def:peps_regularized_patch_objective->thm:peps_regularized_patch_bounds def:peps_patch_coordinate_insertion peps_patch_coordinate_insertion def:peps_regularized_patch_objective->def:peps_patch_coordinate_insertion def:peps_patch_coordinate_insertion->thm:peps_patch_coordinate_covariance def:area_law_regional_relabelling area_law_regional_relabelling def:area_law_regional_relabelling->thm:area_law_regional_relabelling thm:peps_source_sample_count_bound peps_source_sample_count_bound thm:peps_source_sample_count_bound->thm:peps_source_sample_choice_conditional thm:peps_source_sample_choice_conditional->thm:peps_actual_source_sampling def:peps_native_regional_cut peps_native_regional_cut def:peps_native_regional_cut->thm:peps_native_parent_regional_cut lem:peps_frame_rescale peps_frame_rescale lem:peps_frame_rescale->thm:peps_frame_small_rewrite_product_terms thm:peps_unitary_character_blocks peps_unitary_character_blocks thm:peps_unitary_character_blocks->thm:peps_semiregular_matrix_blocks def:compression_operator_active_gates compression_operator_active_gates thm:peps_basis_head_memory_equalities peps_basis_head_memory_equalities def:compression_operator_sample_labels compression_operator_sample_labels def:compression_operator_sample_labels->thm:compression_operator_shared_samples def:peps_graph_open_region_contraction peps_graph_open_region_contraction def:peps_graph_open_region_contraction->thm:peps_graph_open_region_contraction def:peps_singleton_physical_basis peps_singleton_physical_basis def:peps_singleton_physical_basis->def:peps_selected_family_physical_basis def:peps_singleton_physical_basis->thm:peps_family_physical_party_basis def:peps_oriented_bond_family peps_oriented_bond_family def:peps_oriented_bond_family->thm:peps_oriented_copy_parent_inverses thm:peps_oriented_bond_family_algebra peps_oriented_bond_family_algebra def:peps_oriented_bond_family->thm:peps_oriented_bond_family_algebra thm:peps_oriented_bond_family_blocks peps_oriented_bond_family_blocks def:peps_oriented_bond_family->thm:peps_oriented_bond_family_blocks thm:peps_oriented_bond_family_algebra->thm:peps_oriented_global_coordinate_inverse thm:peps_oriented_bond_family_blocks->thm:peps_oriented_coordinate_blocks def:peps_bond_flat peps_bond_flat def:peps_bond_flat->thm:peps_four_cut_common_nonflat_vanish def:peps_bond_flat->thm:peps_full_four_cut_nonflat_zero def:peps_bond_flat->thm:peps_bond_flat_transport def:peps_bond_flat->thm:peps_bond_flat_gauge def:peps_bond_flat->thm:peps_bond_closure_flat def:peps_three_block_endpoint_split peps_three_block_endpoint_split def:peps_three_block_endpoint_split->def:peps_three_block_open_boundary def:peps_three_block_boundary_marginal peps_three_block_boundary_marginal def:peps_three_block_endpoint_split->def:peps_three_block_boundary_marginal def:peps_three_block_boundary_marginal->thm:peps_three_block_open_boundary_exact def:compression_operator_edges compression_operator_edges def:peps_party_operator_fix_input peps_party_operator_fix_input def:peps_party_operator_fix_input->thm:peps_party_column def:compression_operator_incidences compression_operator_incidences thm:peps_ket_column_selection peps_ket_column_selection thm:peps_ket_column_selection->thm:peps_ket_column_vector thm:area_law_collar_scalar_clearance area_law_collar_scalar_clearance thm:area_law_collar_scalar_clearance->thm:area_law_bootstrap_collar_clearance def:peps_composed_gate_expansion peps_composed_gate_expansion def:peps_composed_gate_expansion->thm:peps_composed_gate_resources def:peps_vertex_image_ground_space peps_vertex_image_ground_space def:peps_vertex_image_ground_space->thm:peps_region_vertex_image_support def:peps_vertex_image_ground_space->thm:peps_vertex_image_ground_space thm:area_diamond_count area_diamond_count thm:area_diamond_budget area_diamond_budget thm:area_diamond_count->thm:area_diamond_budget thm:area_diamond_budget->thm:area_law_crossing_supports thm:peps_regular_boundary_invariants peps_regular_boundary_invariants thm:peps_regular_boundary_invariants->thm:peps_regular_open_boundary_dimension thm:peps_regular_boundary_invariants->thm:peps_regular_ginjective_cut_range def:ground_space_map ground_space_map def:ground_space_map->def:ground_space_parent def:ground_space_map->lem:peps_cycle_arc_boundary_matrix thm:permutation_matrix_unitary permutation_matrix_unitary thm:permutation_matrix_unitary->thm:peps_sheet_swap_doubled_cancellation thm:peps_basis_partition_concat peps_basis_partition_concat thm:peps_basis_partition_concat->thm:peps_basis_partition_coordinates thm:peps_source_sampling_polynomial peps_source_sampling_polynomial thm:peps_source_sampling_polynomial->thm:peps_actual_source_polynomial thm:peps_source_sampling_polynomial->thm:peps_effect_stack_polynomial thm:peps_source_sampling_polynomial->thm:peps_physical_first_sample_polynomial def:area_law_domain area_law_domain def:area_law_domain->def:area_law_hamiltonian def:area_law_domain->def:area_law_nearest_neighbor_support def:area_law_domain->thm:area_law_lattice_degree def:area_law_domain->def:area_law_regional_relabelling def:peps_closed_square_sample peps_closed_square_sample def:area_law_domain->def:peps_closed_square_sample def:peps_closed_square_sample->def:peps_square_radius def:peps_closed_square_sample->thm:peps_closed_square_boundary thm:peps_closed_square_card peps_closed_square_card def:peps_closed_square_sample->thm:peps_closed_square_card def:peps_nested_patches peps_nested_patches def:peps_closed_square_sample->def:peps_nested_patches def:peps_nested_patches->thm:peps_nested_patch_sizes thm:peps_square_grid_contraction peps_square_grid_contraction lem:peps_ket_column_square_transport peps_ket_column_square_transport thm:peps_square_grid_contraction->lem:peps_ket_column_square_transport def:peps_group_contraction peps_group_contraction def:peps_group_contraction->thm:peps_group_contraction_norm lem:peps_dyadic_fold peps_dyadic_fold lem:peps_dyadic_fold->thm:peps_dyadic_folded_congestion def:peps_three_block_core_action peps_three_block_core_action def:peps_three_block_core_action->thm:peps_three_block_extended_injectivity def:peps_three_block_core_action->thm:peps_three_block_remove_labels def:peps_general_three_block_geometry peps_general_three_block_geometry def:peps_general_three_block_geometry->def:peps_three_core_physical_coordinates def:peps_general_three_block_geometry->def:peps_three_block_regional_coordinates def:peps_general_three_block_geometry->def:peps_three_block_identity_extension def:peps_general_three_block_geometry->def:peps_three_block_endpoint_split def:peps_general_three_block_geometry->def:peps_three_block_core_action thm:area_law_rounded_collar_power area_law_rounded_collar_power thm:area_law_rounded_collar_power->thm:area_law_uniform_rounded_shell_entropy thm:area_law_rounded_collar_power->thm:area_law_initial_rounded_collar_entropy def:peps_corrected_schmidt_inputs peps_corrected_schmidt_inputs def:peps_region_reduced_density peps_region_reduced_density def:peps_region_reduced_density->thm:peps_region_reduced_density_support thm:peps_basis_memory_equalities peps_basis_memory_equalities thm:peps_basis_memory_equalities->thm:peps_selected_family_physical_columns thm:peps_basis_memory_equalities->thm:peps_partition_output_coordinates thm:peps_basis_memory_equalities->thm:peps_selected_physical_private_basis_grouped thm:peps_basis_memory_equalities->thm:peps_register_identifications thm:peps_basis_memory_equalities->thm:peps_erased_prefix_register_move thm:peps_basis_memory_equalities->thm:peps_register_move_retained_prefix thm:peps_basis_memory_equalities->thm:peps_identity_input_identification thm:peps_basis_memory_equalities->thm:peps_party_restriction_exchange_blocks thm:peps_basis_memory_equalities->thm:peps_party_restriction_canonical_layouts thm:peps_basis_memory_equalities->thm:peps_basis_empty_first_party thm:peps_basis_memory_equalities->thm:peps_tensor_map_memory_congruence thm:peps_basis_memory_equalities->thm:peps_operator_composition_framing thm:peps_basis_head_memory_congruence peps_basis_head_memory_congruence thm:peps_basis_memory_equalities->thm:peps_basis_head_memory_congruence def:peps_frame peps_frame def:peps_frame->def:peps_frame_rewrite_data def:peps_frame->def:peps_frame_exchange_data def:peps_frame->lem:peps_frame_commute def:peps_frame->def:peps_frame_registers def:peps_frame->lem:peps_frame_pass_encoding def:peps_frame->def:peps_frame_birth_partition thm:area_law_quotient_interval_count area_law_quotient_interval_count thm:area_law_quotient_interval_count->thm:area_law_rectangle_mixed_count def:peps_copy_physical_filter peps_copy_physical_filter def:peps_copy_physical_filter->thm:peps_oriented_copy_filter def:peps_copy_physical_filter->thm:peps_copy_physical_filter def:peps_copy_physical_filter->def:peps_copy_positive_parent_map def:peps_schmidt_input_frames peps_schmidt_input_frames def:peps_schmidt_input_frames->thm:peps_local_schmidt_output def:peps_original_termwise_bounds peps_original_termwise_bounds def:peps_original_termwise_bounds->thm:peps_original_coefficient_sum lem:peps_torus_parallel_section peps_torus_parallel_section lem:peps_torus_parallel_section->thm:peps_bond_flat_transport lem:peps_torus_parallel_section->thm:peps_torus_flat_connection_gauge def:peps_outside_cut_config peps_outside_cut_config def:peps_outside_cut_config->def:peps_reconstructed_cut_boundary def:peps_outside_cut_config->thm:peps_full_cut_in_lifted_support thm:peps_source_gaussian_selection peps_source_gaussian_selection thm:peps_source_gaussian_selection->thm:peps_unbiased_original_sources thm:peps_source_gaussian_selection->thm:peps_actual_gaussian_covariance def:compression_source_endpoints compression_source_endpoints def:compression_source_endpoints->thm:compression_endpoint_count thm:area_law_bootstrap_replica_absorption area_law_bootstrap_replica_absorption thm:area_law_bootstrap_replica_absorption->thm:area_law_rough_typical_entropy_absorption thm:peps_regular_boundary_supported_gram_gibbs peps_regular_boundary_supported_gram_gibbs thm:peps_regular_boundary_supported_gram_gibbs->thm:peps_regular_region_boundary_hamiltonian def:peps_four_cut_common_seam_gauge peps_four_cut_common_seam_gauge def:peps_four_cut_common_seam_gauge->def:peps_bond_seam_gauge def:peps_four_cut_common_seam_gauge->thm:peps_four_cut_common_seam_gauge thm:al_scan_ambient_rows al_scan_ambient_rows thm:al_scan_ambient_rows->thm:area_law_graph_neighborhood_cut_clearance def:peps_labelled_pair peps_labelled_pair def:peps_labelled_pair->thm:peps_labelled_uncut_flat def:peps_labelled_pair->def:peps_bond_gauge def:peps_labelled_pair->def:peps_bond_closure def:peps_labelled_pair->def:peps_bond_flat thm:peps_region_embedding_coordinates peps_region_embedding_coordinates lem:peps_frame_encoder_contraction peps_frame_encoder_contraction lem:peps_frame_encoder_contraction->thm:peps_frame_exchange lem:peps_frame_encoder_contraction->lem:peps_frame_gram def:peps_copy_regional_matrix peps_copy_regional_matrix def:peps_copy_regional_matrix->thm:peps_oriented_copy_open def:peps_copy_regional_matrix->thm:peps_copy_open_factors def:peps_renyi_entropy peps_renyi_entropy thm:peps_torus_simply_connected_physical_density peps_torus_simply_connected_physical_density def:peps_renyi_entropy->thm:peps_torus_simply_connected_physical_density thm:peps_torus_simply_connected_physical_density->thm:peps_parent_ground_state_density thm:peps_torus_simply_connected_physical_density->thm:peps_torus_simply_connected_physical_local_equivalence thm:peps_regular_ginjective_simply_connected_entropy peps_regular_ginjective_simply_connected_entropy thm:peps_torus_simply_connected_physical_density->thm:peps_regular_ginjective_simply_connected_entropy thm:peps_regular_ginjective_simply_connected_entropy->thm:peps_parent_ground_state_zero_entropy def:peps_partial_incident_representation peps_partial_incident_representation def:peps_partial_incident_representation->def:peps_partial_averaging_site def:peps_partial_incident_representation->def:peps_three_block_core_action def:peps_corrected_crossing_blocks peps_corrected_crossing_blocks thm:peps_corrected_crossing_masks peps_corrected_crossing_masks def:peps_corrected_crossing_blocks->thm:peps_corrected_crossing_masks thm:peps_corrected_crossing_masks->thm:peps_actual_schmidt_input_frames thm:peps_corrected_crossing_masks->thm:peps_corrected_reordering thm:peps_corrected_crossing_masks->thm:peps_reordered_local_factors lem:al_scanner_scale_facts al_scanner_scale_facts lem:al_scanner_scale_facts->thm:area_law_bootstrap_principal_energy thm:area_law_bootstrap_binary_entropy_cost area_law_bootstrap_binary_entropy_cost lem:al_scanner_scale_facts->thm:area_law_bootstrap_binary_entropy_cost thm:area_law_bootstrap_binary_entropy_cost->thm:area_law_bootstrap_comparison_budget def:peps_copy_representation peps_copy_representation def:peps_copy_representation->thm:peps_copy_weight_products def:compression_gate_links compression_gate_links def:compression_gate_links->thm:compression_tagging_cardinality thm:peps_average_bond_product peps_average_bond_product thm:peps_average_bond_product->thm:peps_open_product_in_cut def:peps_parent_support_open_factors peps_parent_support_open_factors def:peps_parent_support_open_factors->thm:peps_copy_open_generators def:peps_parent_support_open_factors->def:peps_parent_support_canonical_tensor def:peps_injective_vertex_coordinates peps_injective_vertex_coordinates def:peps_injective_vertex_coordinates->thm:peps_full_virtual_bond_product def:peps_injective_vertex_coordinates->def:peps_product_site_map_bonds def:peps_injective_vertex_coordinates->thm:peps_region_virtual_internal_bond def:peps_injective_vertex_coordinates->thm:peps_injective_vertex_reconstruction def:peps_injective_vertex_coordinates->def:peps_vertex_image_ground_space def:peps_vertex_virtual_parent_ground_space peps_vertex_virtual_parent_ground_space def:peps_injective_vertex_coordinates->def:peps_vertex_virtual_parent_ground_space lem:peps_dependent_region_slice_product peps_dependent_region_slice_product def:peps_injective_vertex_coordinates->lem:peps_dependent_region_slice_product def:peps_injective_region_parent_transport peps_injective_region_parent_transport def:peps_injective_vertex_coordinates->def:peps_injective_region_parent_transport def:peps_vertex_virtual_parent_ground_space->thm:peps_regional_virtual_conditions_bell def:peps_vertex_virtual_parent_ground_space->thm:peps_vertex_inverse_region_slice def:peps_vertex_virtual_parent_ground_space->thm:peps_vertex_virtual_parent_forward lem:peps_dependent_region_slice_product->thm:peps_vertex_inverse_region_slice lem:peps_dependent_region_slice_product->thm:peps_vertex_virtual_parent_forward def:peps_injective_region_parent_transport->thm:peps_injective_region_parent_transport def:peps_open_sector_embedding peps_open_sector_embedding def:peps_open_sector_embedding->thm:peps_open_sector_internal_restoration def:area_law_two_family_partition area_law_two_family_partition def:area_law_two_family_partition->def:area_law_two_family_decomposition def:area_law_two_family_partition->thm:peps_labelled_conditional_entropy def:area_law_two_family_partition->thm:area_law_two_family_entropy def:area_law_two_family_partition->thm:openai_uniform_area_law thm:area_law_dyadic_origin_nonintegral area_law_dyadic_origin_nonintegral thm:area_law_dyadic_origin_lines area_law_dyadic_origin_lines thm:area_law_dyadic_origin_nonintegral->thm:area_law_dyadic_origin_lines thm:area_law_dyadic_origin_lines->thm:area_law_initial_birth_boundary_lattice def:peps_dyadic_fold peps_dyadic_fold def:peps_dyadic_fold->lem:peps_dyadic_fold thm:peps_oriented_coordinate_swap peps_oriented_coordinate_swap thm:peps_oriented_coordinate_swap->thm:peps_oriented_coordinate_open thm:peps_region_configuration peps_region_configuration thm:peps_region_configuration->lem:peps_grouped_monomial_placement thm:peps_region_configuration->thm:peps_two_region_coordinates thm:peps_basis_empty_selection peps_basis_empty_selection thm:peps_basis_empty_selection->thm:peps_basis_empty_first_party def:peps_tensor peps_tensor def:peps_stateCoeff peps_stateCoeff def:peps_tensor->def:peps_stateCoeff def:cycleTensorOfMPS cycleTensorOfMPS def:peps_tensor->def:cycleTensorOfMPS def:peps_ket_column_tensor_fix_input peps_ket_column_tensor_fix_input def:peps_stateCoeff->def:peps_ket_column_tensor_fix_input def:cycleTensorOfMPS->def:peps_cycle_arc_coordinates def:peps_ket_column_tensor_fix_input->thm:peps_ket_column_tensor def:peps_ket_column_tensor_fix_input->lem:peps_ket_column_square_transport thm:peps_regular_boundary_gibbs_obstruction peps_regular_boundary_gibbs_obstruction thm:peps_regular_boundary_gibbs_obstruction->thm:peps_regular_boundary_supported_gibbs thm:peps_cut_space_physical_image peps_cut_space_physical_image thm:peps_cut_space_physical_image->thm:peps_open_cut_intersection def:peps_outside_physical_config peps_outside_physical_config def:peps_outside_physical_config->def:peps_lifted_cut def:peps_outside_physical_config->def:peps_replace_outside_physical def:peps_frame_square_patch peps_frame_square_patch def:peps_frame_hole_encoder peps_frame_hole_encoder def:peps_frame_square_patch->def:peps_frame_hole_encoder def:peps_frame_hole_encoder->def:peps_frame def:peps_frame_hole_encoder->lem:peps_frame_encoder_contraction thm:area_law_uniform_rounded_shell_coefficient area_law_uniform_rounded_shell_coefficient thm:area_law_uniform_rounded_shell_coefficient->thm:area_law_uniform_rounded_shell_entropy thm:peps_native_plaquette_seam_exclusion peps_native_plaquette_seam_exclusion thm:peps_native_plaquette_seam_exclusion->thm:peps_native_invariant_closure_membership thm:peps_finite_whole_party_input peps_finite_whole_party_input thm:peps_finite_whole_party_input->thm:peps_approximate_source_sample thm:area_law_amplification_three_failures area_law_amplification_three_failures thm:area_law_amplification_three_failures->thm:area_law_amplification_good_realization def:peps_native_inserted_matrices peps_native_inserted_matrices def:peps_native_inserted_matrices->thm:peps_native_inserted_network def:peps_native_inserted_matrices->thm:peps_native_plaquette_seam_exclusion def:peps_party_network_routing peps_party_network_routing def:peps_party_network_routing->def:peps_party_operator_fix_input thm:peps_routed_contraction peps_routed_contraction def:peps_party_network_routing->thm:peps_routed_contraction thm:peps_routed_contraction->thm:peps_dyadic_routing_peps def:peps_source_gaussian_law peps_source_gaussian_law def:peps_source_gaussian_law->def:peps_sampled_source_matrix def:peps_source_gaussian_law->thm:peps_source_gaussian_selection def:peps_compose_actual_monomials peps_compose_actual_monomials def:peps_compose_actual_monomials->thm:peps_compose_actual_monomials def:peps_compose_actual_monomials->def:peps_composed_gate_expansion thm:peps_finite_pair_coordinates peps_finite_pair_coordinates thm:peps_finite_pair_coordinates->thm:peps_finite_source_coordinates def:compression_operator_shared_labels compression_operator_shared_labels def:compression_operator_shared_labels->thm:compression_operator_link_recovery def:compression_operator_shared_labels->thm:compression_operator_shared_consistency def:compression_operator_shared_labels->thm:compression_operator_shared_samples def:peps_cyclic_insertion peps_cyclic_insertion def:peps_cyclic_insertion->thm:peps_cyclic_insertion_basic def:peps_cyclic_insertion->def:peps_replaced_gate def:peps_cyclic_insertion->thm:peps_insertion_by_sources def:peps_cyclic_insertion->thm:peps_insertion_permutation def:compression_operator_endpoint_reader compression_operator_endpoint_reader def:compression_operator_endpoint_reader->thm:compression_operator_diagonal_reader def:peps_regional_operator_extension peps_regional_operator_extension def:peps_regional_operator_extension->thm:peps_regional_extension_norm def:peps_regional_operator_extension->def:peps_regularized_patch_objective thm:peps_regional_basis_relabelling peps_regional_basis_relabelling def:peps_regional_operator_extension->thm:peps_regional_basis_relabelling thm:peps_regional_basis_relabelling->thm:peps_patch_basis_relabelling def:peps_basis_partition_join peps_basis_partition_join def:peps_basis_partition_join->thm:peps_basis_partition_concat def:peps_native_graph_seams peps_native_graph_seams def:peps_native_graph_seams->thm:peps_native_parent_seam_boundary def:peps_native_graph_seams->thm:peps_nonuniform_native_membership thm:compression_choice_monomial_bound compression_choice_monomial_bound def:peps_square_local_presentations peps_square_local_presentations def:peps_ket_column_square_fix_input peps_ket_column_square_fix_input def:peps_square_local_presentations->def:peps_ket_column_square_fix_input def:peps_ket_column_square_fix_input->thm:peps_ket_column_square def:peps_ket_column_square_fix_input->lem:peps_ket_column_square_transport def:compression_distributed_incidence compression_distributed_incidence thm:peps_region_site_embedding peps_region_site_embedding thm:peps_ket_column_hilbert_schmidt peps_ket_column_hilbert_schmidt thm:peps_ket_column_hilbert_schmidt->thm:peps_ket_column_vector def:peps_g_injective peps_g_injective def:peps_g_injective->thm:peps_partial_averaging_injective def:peps_g_injective->thm:peps_connected_regular_region_injectivity def:peps_g_injective->thm:peps_g_injective_left_inverse def:peps_g_injective->lem:peps_native_regular_incident_injectivity def:peps_g_injective->thm:peps_semiregular_averaging_g_injective def:peps_g_injective->thm:peps_g_injective_closure_dimension def:peps_g_injective->def:peps_four_cut_common_matched_action def:peps_g_injective->thm:peps_oriented_average_g_injective def:peps_g_injective->thm:peps_dependent_averaging_injective def:peps_g_injective->thm:peps_site_coefficients_composition def:peps_g_injective->thm:peps_native_oriented_g_injectivity thm:peps_native_averaging_site peps_native_averaging_site def:peps_g_injective->thm:peps_native_averaging_site thm:peps_g_injective_invariants_range peps_g_injective_invariants_range def:peps_g_injective->thm:peps_g_injective_invariants_range thm:peps_native_averaging_site->thm:peps_native_uniform_semiregular_parent_dimension thm:peps_g_injective_invariants_range->thm:peps_regular_open_boundary_dimension thm:peps_g_injective_invariants_range->thm:peps_g_injective_physical_map thm:peps_g_injective_invariants_range->thm:peps_regular_ginjective_cut_range thm:peps_g_injective_invariants_range->thm:peps_regular_boundary_gibbs_obstruction def:area_law_dyadic_origin area_law_dyadic_origin def:area_law_dyadic_origin->thm:area_law_dyadic_origin_nonintegral thm:peps_selected_multilinear_expansion peps_selected_multilinear_expansion thm:peps_selected_multilinear_expansion->thm:peps_prepared_source_frames thm:peps_gate_coefficient_sum peps_gate_coefficient_sum thm:peps_gate_coefficient_sum->thm:peps_original_coefficient_sum def:peps_source_sample_count peps_source_sample_count def:peps_source_sample_count->thm:peps_source_sample_count_bound def:peps_source_sample_count->thm:peps_source_sampling_polynomial def:compression_operator_gate_labels compression_operator_gate_labels def:compression_operator_gate_labels->thm:peps_incident_gate_labels def:peps_parent_support_copy_amplitude peps_parent_support_copy_amplitude def:peps_parent_support_copy_amplitude->thm:peps_parent_support_sparse_action def:peps_parent_support_copy_amplitude->def:peps_parent_support_boundary_filter def:peps_parent_support_copy_amplitude->def:peps_parent_support_exterior_factors lem:peps_frame_split_forms peps_frame_split_forms lem:peps_frame_split_forms->lem:peps_frame_exchange_intertwining lem:peps_frame_split_forms->lem:peps_frame_splitting lem:peps_frame_split_forms->thm:peps_region_configuration def:compression_operator_link_labels compression_operator_link_labels def:compression_operator_link_labels->thm:compression_operator_diagonal_reader thm:peps_singleton_physical_memory peps_singleton_physical_memory thm:peps_singleton_physical_memory->def:peps_singleton_physical_basis def:peps_approximate_original_operators peps_approximate_original_operators def:peps_approximate_original_operators->def:peps_rescaled_original def:peps_approximate_original_operators->def:peps_original_gate_density def:peps_approximate_original_operators->thm:peps_original_operator_contraction def:peps_pair_conjugacy peps_pair_conjugacy def:peps_pair_conjugacy->thm:peps_dependent_closure_invariant def:peps_pair_conjugacy->thm:peps_dependent_closure_extraction def:peps_pair_conjugacy->thm:peps_pair_centralizer_count def:peps_labelled_bonds peps_labelled_bonds def:peps_labelled_bonds->def:peps_labelled_cut def:peps_labelled_bonds->def:peps_labelled_incidence def:peps_labelled_bonds->def:peps_labelled_pair lem:peps_protocol_telescoping peps_protocol_telescoping lem:peps_protocol_telescoping->thm:peps_protocol_density def:peps_nonuniform_native_closure peps_nonuniform_native_closure def:peps_nonuniform_native_closure->thm:peps_nonuniform_native_extraction def:peps_nonuniform_native_closure->thm:peps_nonuniform_native_membership thm:peps_nonuniform_native_transport peps_nonuniform_native_transport def:peps_nonuniform_native_closure->thm:peps_nonuniform_native_transport thm:peps_nonuniform_native_transport->thm:peps_nonuniform_native_independence thm:peps_nonuniform_native_transport->thm:peps_nonuniform_native_spanning def:compression_operator_samples compression_operator_samples def:compression_operator_samples->def:peps_original_source_pair_indices def:peps_coordinate_reset peps_coordinate_reset def:peps_coordinate_reset->def:peps_hole_encoder def:peps_coordinate_reset->thm:peps_coordinate_reset_gram def:compression_gate_labels compression_gate_labels def:compression_gate_labels->thm:compression_gate_locality def:compression_gate_labels->thm:compression_gate_two_endpoints def:compression_gate_labels->thm:compression_gate_label_count thm:peps_four_cut_common_relative_compatibility peps_four_cut_common_relative_compatibility thm:peps_torus_nonseam_connectivity peps_torus_nonseam_connectivity thm:peps_torus_nonseam_connectivity->thm:peps_torus_projector_extraction thm:peps_torus_nonseam_connectivity->thm:peps_dependent_closure_gauge thm:peps_reset_polylog_width peps_reset_polylog_width thm:peps_reset_polylog_width->thm:peps_angular_reset_uniform_width def:peps_operator_from_basis_matrix peps_operator_from_basis_matrix def:peps_operator_from_basis_matrix->thm:peps_endpoint_operator_coordinates def:compression_distributed_links compression_distributed_links def:compression_distributed_links->thm:compression_original_gate_locality def:compression_distributed_links->thm:compression_distributed_two_endpoints def:compression_distributed_links->thm:peps_source_alphabet_polynomial def:polynomial_peps_model polynomial_peps_model def:polynomial_peps_model->thm:peps_sheet_swap_boundary_expansion def:polynomial_peps_model->thm:openai_polynomial_peps def:polynomial_peps_model->def:square_entropy_area_law def:polynomial_peps_model->def:square_interaction_labels def:peps_coordinate_projector peps_coordinate_projector def:peps_coordinate_projector->thm:peps_hole_encoder_norm_on_span