IndisputableMonolith.Papers.GCIC.BrainHolography

declarations in this module (16)

• theorem local_determines_global L80
• theorem subgraph_determines_global L92
• def IsBoundary L108
• theorem boundary_encodes_bulk L116
• structure LocalCache L136
• theorem holographic_cache_from_gcic L150
• theorem cache_nodes_uniform L157
• def surfaceArea L172
• def volume L178
• theorem info_scales_with_boundary L186
• theorem partial_removal_preserves_info L212
• theorem single_vertex_suffices L222
• def rs_spatial_dimension L230
• theorem boundary_scales_as_area L234
• theorem brain_holography_inevitable L258
• theorem brain_holography_fully_forced L321