Representations of integers as quotients of sums of distinct powers of three

Katie Anders,Madeline Locus Dawsey,Bruce Reznick,Simone Sisneros-Thiry

2023-08-15

Abstract:Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same algorithm generates all possible representations. We develop a categorization of representations based on their connections to $0,1$-polynomials and give a complete description of the types of representations for all integers up to 364. Finally, we discuss in detail the representations of 7, 22, 34, 64, and 100, as well as some infinite families of integers.

Number Theory

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is: which integers can be represented as the quotient of the sum of different powers of 3. Specifically, the paper explores expressions of the form \( m = \frac{3^{a_1} + 3^{a_2} + \cdots + 3^{a_\ell}}{3^{b_1} + 3^{b_2} + \cdots + 3^{b_n}} \), where \( a_i \) and \( b_j \) are non - negative integers, and satisfy \( a_1 > a_2 > \cdots > a_\ell \), \( b_1 > b_2 > \cdots > b_n \), and \( a_\ell - b_n \geq 0 \).

### Main content and methods of the paper:

1. **Necessary conditions**:
- Research shows that the integer \( m \) that can be represented in this way must satisfy \( m \equiv 1 \pmod{3} \). This is because in the given form, both the numerator and the denominator are congruent to 1 modulo 3.
- Another necessary condition is that these integers must be in a specific interval, that is, \( m \in \bigcup_{r = 0}^{\infty} \left( \frac{2}{3} \cdot 3^r, \frac{3}{2} \cdot 3^r \right) \).

2. **Algorithm design**:
- The paper proposes an algorithm to determine whether a given integer can be represented in the above form and, if possible, generate all possible representations.
- This algorithm constructs the ternary expansions of the dividend and the divisor by gradually recording the sum of powers of 3, ensuring that the result at each step is still the sum of different powers of 3.

3. **Classification and description**:
- The paper classifies these representations according to their relationship with 0, 1 - polynomials (Newman polynomials) and describes in detail the representation types of all integers less than or equal to 364.
- A detailed analysis is carried out for some specific integers (such as 7, 22, 34, 64, 100) and their infinite families.

4. **Special cases**:
- The paper points out that not all integers that meet the conditions can be represented in the above form. For example, integers such as 529, 592, 601 and 616 meet the conditions but cannot be represented as the quotient of the sum of different powers of 3.
- The existence of these special cases shows that although the given conditions are necessary, they are not sufficient.

### Summary:
The main goal of the paper is to determine which integers can be represented as the quotient of the sum of different powers of 3 and provides an algorithm to verify and generate these representations. At the same time, the paper also explores the relationship between these representations and some special polynomials and reveals the existence of some exceptional cases.