Isoperimetric Sequences for Infinite Complete Binary Trees, Meta-Fibonacci Sequences and Signed Almost Binary Partitions

TL;DR

This paper uncovers deep connections between isoperimetric problems in infinite binary trees, signed almost binary partitions, and certain Meta-Fibonacci sequences, revealing a unified mathematical framework.

Contribution

It establishes a novel equivalence linking three distinct concepts: isoperimetric numbers, coin-changing problems with signed powers of two, and Meta-Fibonacci sequences.

Findings

The isoperimetric number equals the minimal coin count in the signed binary partition problem.

A closed-form relation connects the isoperimetric number, coin partitions, and Meta-Fibonacci sequences.

Several new results elucidate the interrelations among these three mathematical concepts.

Abstract

In this paper we demonstrate connections between three seemingly unrelated concepts. (1) The discrete isoperimetric problem in the infinite binary tree with all the leaves at the same level, $ {\mathcal T}_{\infty}$: The $n$-th edge isoperimetric number $\delta(n)$ is defined to be $\min_{|S|=n, S \subset V({\mathcal T}_{\infty})} |(S,\bar{S})|$, where $(S,\bar{S})$ is the set of edges in the cut defined by $S$. (2) Signed almost binary partitions: This is the special case of the coin-changing problem where the coins are drawn from the set ${\pm (2^d - 1): $d$ is a positive integer}$. The quantity of interest is $\tau(n)$, the minimum number of coins necessary to make change for $n$ cents. (3) Certain Meta-Fibonacci sequences: The Tanny sequence is defined by $T(n)=T(n{-}1{-}T(n{-}1))+T(n{-}2{-}T(n{-}2))$ and the Conolly sequence is defined by $C(n)=C(n{-}C(n{-}1))+C(n{-}1{-}C(n{-}2))$, where the initial conditions are $T(1) = C(1) = T(2) = C(2) = 1$. These are well-known "meta-Fibonacci" sequences. The main result that ties these three together is the following: $$ \delta(n) = \tau(n) = n+ 2 + 2 \min_{1 \le k \le n} (C(k) - T(n-k) - k).$$ Apart from this, we prove several other results which bring out the interconnections between the above three concepts.