arXiv++ Combinatorics

A_k = (1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An "extremal" h-basis A_k is one for which n is as large as possible. Computing extremal bases has become known as the "global" Postage Stamp Problem. This paper describes the author's early attempts to identify extremal Hofmeister and Braunschadel bases for large t (where t = 12h + r for some 0 <= r <= 11), and also includes a transcription of Prof. Selmer's correspondence with the author about this work which has not been published before. See (Selmer, E.S., Private Communication, [8], 1992/1993).

A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases is known as the Postage Stamp Problem. A basis A_k is symmetric if A_k = {1, a_2, ... a_k} where a_i + a_(k-i) = a_k for 1<=i<=k-1. Examination of a number of symmetric bases suggests the following conjecture: if the range 0 ... a_k is covered using at most h stamps, then the range 0 ... ha_k is also covered using at most h stamps. This paper shows that this is not strictly true, but demonstrates that there is a value h_1 such that the conjecture is true for all h>=h_1.

A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases has become known as the Postage Stamp Problem. This paper is inspired by and based upon a paper entitled "Symmetric bases with large 2-range for k<=75" by Svein Mossige at the University of Bergen (Mossige, Svein, [4]). Computer searches have identified some further bases which are superior to those reported in [4], and the paper also reports an improvement to one of the theoretical results.

A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; we write n = n_h(A_k). An extremal h-basis A_k is one for which n is as large as possible, and then we write n = n_h(k). The "local" Postage Stamp Problem is concerned with properties of particular sets A_k, and it is clear that sets where n_h(A_k) does not exceed a_k are of little interest. We define h_0(k) to be the smallest value of h for which n_h(A_k) exceeds a_k; such sets are called "admissible". We say that a value n can be "generated" by A_k if it can be expressed as the sum of no more than h values a_i, or - equivalently - if it can be expressed as the sum of exactly h values a_i from the set A'_k = {0, a_1, a_2, ... a_k}. No values greater than ha_k can be generated, and we now consider the number of values less than ha_k that have no generation, denoted m_h(A_k) - essentially a count of the number of "gaps" (see Challis [1], and Selmer [5] page 3.1). It is easy to show that for some value h_2(k) exceeding h_0(k) the difference m_h(A_k) - m_(h+1)(A_k) remains constant - that is, the "pattern" of missing values between ha_k and (h+1)a_k does not change as h increases. Here we are interested in the pattern of missing values for values that lie between h_0 and h_2. On page 7.8 of Selmer [5] he conjectures that the sequence of differences m_h(A_k) - m_(h+1)(A_k) is non-increasing as h runs from h_0 to h_2. When I came across this conjecture I could not convince myself that it was likely to be true, having found a possible error in Selmer's justification. I wrote to him in November 1995, and early in 1996 he replied, agreeing that this might be the case and hoping that I might be able to find a counter example. This paper records my successful search for a counter example, eventually found late in 1999.

A_k = {1, a_2, ... a_k} is an h-basis for X if every positive integer not exceeding X can be expressed as the sum of no more than h values a_i; X(h) is called the h-range of the basis. h_0 is the smallest value of h for which X(h) is greater than or equal to a_k, and h_1 is the smallest value for which X(h+1) = X(h) + a_k for all h greater than or equal to h_1. h_2 identifies a further "stabilisation" in the h-range - a definition is included in the body of the paper. It is known that h_1 and h_2 do not exceed h_0 for h-bases A_3, but published proofs are complicated (see Ch. VIII of [4], where references [3] and [5] are given). This paper introduces the concept of a "stride generator" A = {1, a_2, a_3} which, while sharing some of the properties of a basis A_3, is simpler to treat mathematically. We establish a relationship between stride generators and h-bases, and show that the result follows immediately if the stride generator underlying a basis has a particular property - here called "canonicality". The proof is lengthy (with a number of special cases to consider), but the underlying principles remain simple.

A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; an extremal h-basis A_k is one for which n is as large as possible. Computing such extremal bases has become known as the Postage Stamp Problem. In 1968 Gerd Hofmeister published formulae for solutions to the Postage Stamp Problem with three denominations (h = 3). This paper presents an alternative approach developed independently by the author 25 years later.