OAI/Combinatorics/HoneycombChords/InterpolationDefinitions.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Rational spectral interpolation conditions for the critical bridge mass.

The denominator and confluent node multiplicities follow the finite strip transfer calculation in the companion paper on uniform marked polygon estimates.

  1. def OAI.CriticalHoneycomb.FiniteFunctional.angle line 15
  2. def OAI.CriticalHoneycomb.FiniteFunctional.interpolationDenominator line 17
  3. def OAI.CriticalHoneycomb.FiniteFunctional.interpolant line 20
  4. def OAI.CriticalHoneycomb.FiniteFunctional.PhysicalSpectralInterpolation line 24