# A Delsarte-Style Proof of the Bukh-Cox Bound

## TL;DR

This paper presents a new proof of the Bukh-Cox bound for line packings by unifying Delsarte's linear programming approach with techniques from Bukh and Cox, aiming to inspire further improvements.

## Contribution

It offers a novel proof of the Bukh-Cox bound by combining Delsarte's linear program with ideas from Bukh and Cox, providing a unified perspective.

## Key findings

- New proof of the Welch bound using Bukh--Cox ideas
- New proof of the Bukh--Cox bound via Delsarte's linear program
- Potential for further refinements in line packing bounds

## Abstract

The line packing problem is concerned with the optimal packing of points in real or complex projective space so that the minimum distance between points is maximized. Until recently, all bounds on optimal line packings were known to be derivable from Delsarte's linear program. Last year, Bukh and Cox introduced a new bound for the line packing problem using completely different techniques. In this paper, we use ideas from the Bukh--Cox proof to find a new proof of the Welch bound, and then we use ideas from Delsarte's linear program to find a new proof of the Bukh--Cox bound. Hopefully, these unifying principles will lead to further refinements.