Computer-aided solution to the k-bonacci pick-up sticks problem

Julian Kern

arXiv: 2508.07943v1 · PDF · 11 August 2025
Categories: math.CO, math.PR
Licence: CC BY 4.0 The site shows the text.

Abstract

A full solution to the recently proposed problem of determining the probability that no k-gon can be built from n independently and uniformly chosen sticks in [0,1] is proposed. This extends the known results for triangles and quadrilaterals to general k-gons and offers a clearer interpretation of the connection to products of k-bonacci numbers.

Items 3

Theorem

Theorem Theorem

0N60

Let n\geq 3 and 3\leq k\leq n. Denote for 1\leq \ell\leq k-1 by T_{k,\ell} the (k-1)-bonacci numbers with initial terms

T_{k,\ell}(1) = \cdots = T_{k,\ell}(\ell-1) = 0\quad\text{ and }\quad T_{k,\ell}({\ell}) =\cdots = T_{k,\ell}(k-1) = 1.

Then, the probability that no k-gon can be constructed from n random lengths drawn independently and uniformly in [0,1] is given by

p_{n,k} = \dfrac{1}{\prod_{\ell=1}^{k-1} T_{k,\ell}(n)\cdot \prod_{i=1}^{n-k+1} T_{k,k-1}(n-i)}.

Writing S_k for the (k-1)-bonacci sequence with initial terms

S_k(1) = 1\qquad\text{ and }\qquad S_k(i) = 2^{i-2}\text{ for }2\leq i\leq k-1,

we can rewrite the above as

p_{n,k} = \dfrac{1}{\prod_{\ell = 1}^{k-3} T_{k,\ell}(n)\cdot \prod_{i=1}^{n-k+3} S_k(i).}

Lemma

Lemma Lemma

RR9N

For 1\leq m\leq k-1, we have

u_m = \sum_{j=1}^m v_j = \sum_{\ell=1}^{m} T_{k,\ell}(m)v_\ell.

For k\leq m\leq n, the relation becomes

u_m = \sum_{\ell =1}^{k-1} T_{k,\ell}(m)v_\ell + \sum_{i=1}^{m-k+1} T_{k,k-1}(m-i)v_{k-1+i}.

Proof

Proof (Proof of the Lemma)

Y220

For 1\leq m\leq k-1, this follows from the fact that

u_m = u_1 + \sum_{j=2}^m (u_j - u_{j-1}) = \sum_{j=1}^m v_j.

For m\geq k, we first note that if we have the representation u_p = \sum_{j=1}^p a_{p,j}v_p for p\leq m-1, then

u_m = v_m + \sum_{p=1}^{k-1}u_{m-p} = \sum_{p=1}^{k-1}\sum_{j=1}^{m-p} a_{m-p,j}v_j = \sum_{j=1}^{m-1} \left(\sum_{p = 1}^{k-1} a_{m-p,j}\right) v_j,

where we set a_{m-p,j} = 0 whenever m-p < j. This means in particular that a_{m,m} = 1 and that the coefficients satisfy the recurrence relation of (k-1)-bonacci numbers. To identify the initial values, we note that for j\leq m\leq k-1, we have by the first point a_{m,j} = 1. For j \geq m+1, we will always have a_{m,j} = 0. In particular, for \ell\leq k-1, we will have a_{1,\ell} = \cdots = a_{\ell-1, \ell} = 0 and a_{\ell,\ell} = \cdots = a_{k-1, \ell} = 1 which uniquely characterises the sequence T_{k,\ell}. For k\leq j\leq n, we automatically have a_{m,j} = 0 for all 1\leq m\leq j-1. Furthermore, recall that a_{m,m} = 1 by the above computation. But this uniquely identifies m\mapsto a_{m + j -k+1, j} to be the sequences T_{k,k-1}.

Source and licence

The text on this page is from arXiv:2508.07943v1 by Julian Kern, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2508/2508.07943.jsonl.