Home > Research > Publications & Outputs > The Generation of Badly Approximable Pairs for ...

Electronic data

  • Briggs_Hadley_IMA_11thICMSP_final

    Accepted author manuscript, 835 KB, PDF document

    Available under license: CC BY: Creative Commons Attribution 4.0 International License

View graph of relations

The Generation of Badly Approximable Pairs for Communications via Real Interference Alignment

Research output: Contribution to conference - Without ISBN/ISSN Conference paper

Publication date12/12/2016
<mark>Original language</mark>English
Event11th IMA International Conference on Mathematics in Signal Processing - IET Austin Court, Birmingham, United Kingdom
Duration: 12/12/201614/08/2018


Conference11th IMA International Conference on Mathematics in Signal Processing
Country/TerritoryUnited Kingdom
Internet address


Certain proposed coding schemes require sets of irrational numbers (a1,a2,...,an) which generate linear forms. It is conjectured that the more badly approximable these linear forms, meaning the greater the positive lower bound of qn|q+p1a1+...+pnan| for any choice of integers (q,p1, ..., pn), the better the coding scheme, thus the lower the error rate. In contrast to classical one-dimensional Diophantine approximation theory (n=1), the situation for n>1 is full of unsolved problems, and it is not even known what the worst approximable pair is. The aim of this paper will be to present some purely numerical results which suggest some good candidates for bad pairs, and to demonstrate the performance of these pairs in a transmission protocol. For this we use an algorithm due to Vaughan Clarkson, but the software implementation requires some very delicate treatment of floating-point arithmetic. This results in the first fully-rigorous implementation of an algorithm for finding the sequence of best approximants for a linear form q+p1a1+p2a2, and for the simultaneous rational approximation of two irrationals, and we demonstrate the effect of using such linear forms on the error rate of our coding scheme.