IndisputableMonolith.Gravity.NoGraviton

declarations in this module (28)

• def gravity_is_emergent L40
• theorem gravity_not_force_mediated L42
• theorem no_separate_graviton_quantum L46
• theorem emergent_implies_kappa_pos L49
• theorem emergent_implies_kappa_ne_zero L52
• theorem kappa_from_phi_alone L63
• theorem kappa_fibonacci_form L68
• def gw_polarization_count L81
• theorem gw_polarizations_eq_two L84
• theorem gw_matches_gr L88
• def BMV_coupling L104
• theorem BMV_coupling_pos L107
• theorem BMV_coupling_bounds L110
• theorem kappa_integer_phi_power L128
• theorem kappa_fibonacci_structure L133
• structure NoGravitonCert L139
• theorem no_graviton_cert L146
• def lattice_tensor_components L175
• def lattice_trace_constraint L178
• def lattice_gauge_constraints L181
• def lattice_gw_modes L184
• theorem lattice_gw_modes_eq_two L188
• theorem lattice_matches_continuum L192
• def fibonacci_square_conjecture L218
• theorem fibonacci_square_conjecture_consistent L221
• def ilg_parameter_count L226
• theorem ilg_zero_params_if_conjecture L229
• theorem ilg_one_param_if_not L232