Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes

Stephen Melczer , Marc Mezzarobba (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non-negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D-finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.

Domaines: Calcul formel [cs.SC]; Combinatoire [math.CO]

Stephen Melczer, Marc Mezzarobba. Sequence Positivity Through Numeric Analytic Continuation: Uniqueness of the Canham Model for Biomembranes. Combinatorial Theory, 2022, 2 (2). ⟨hal-03366860⟩