## ON SETS WITH MORE PRODUCTS THAN QUOTIENTS

## HÙNG VIÊ . T CHU

ABSTRACT. Given a finite set A ⊂ R \{ 0 } , define

A A · = { a i · a j | a , a i j ∈ A , }

A/A = { a /a i j | a , a i j ∈ A , }

A + A = { a i + a j | a , a i j ∈ A , }

A -A = { a i -a j | a , a i j ∈ A . }

The set A is said to be MPTQ (more product than quotient) if | A · A &gt; A/A | | | and MSTD (more sum than difference) if | A + A &gt; A | | -A | . Since multiplication and addition are commutative while division and subtraction are not, it is natural to think that MPTQ and MSTD sets are very rare. However, they do exist. This paper first shows an efficient search for MPTQ subsets of { 1 2 , , . . . , n } and proves that as n →∞ , the proportion of MPTQ subsets approaches 0 . Next, we prove that MPTQ sets of positive numbers must have at least 8 elements, while MPTQ sets of both negative and positive numbers must have at least 5 elements. Finally, we investigate several sequences that do not have MPTQ subsets.

## 1. INTRODUCTION AND MAIN RESULTS

## 1.1. Introduction. Given a finite set A ⊂ R \{ } 0 , define

$$A \cdot A \, = \, \{ a _ { i } \cdot a _ { j } \, | \, a _ { i }, a _ { j } \in A \},$$

$$A / A \, = \, \{ a _ { i } / a _ { j } \, | \, a _ { i }, a _ { j } \in A \}.$$

$$\in A \}, \\ A \}.$$

The set A is said to be MPTQ (more product than quotient) if | A A &gt; A/A · | | | , quotientdominated if | A A &lt; A/A · | | | , and balanced if | A A · | = | A/A | . Also, define

$$A + A \, = \, \{ a _ { i } + a _ { j } \, | \, a _ { i }, a _ { j } \in A \},$$

$$A - A \, = \, \{ a _ { i } - a _ { j } \, | \, a _ { i }, a _ { j } \in A \}.$$

$$\begin{smallmatrix} A \}, \\ A \}. \end{smallmatrix}$$

The set A is said to be MSTD (more sum than difference) if | A + A &gt; A | | -A | . We consider MPTQ and MSTD subsets of R (instead of N as in previous work) because this extension allows us to define the log transformation and the exponential transformation, which are crucial in describing the relationship between the two types of sets. Since multiplication and addition are commutative while division and subtraction are not, it is natural to think that MPTQ and MSTD sets are very rare. However, they do exist. It is believed that Conway (1969) was the first to give an example of the MSTD set

$$\{ 0, 2, 3, 4, 7, 1 1, 1 2, 1 4 \},$$

Date : January 16, 2020.

2000 Mathematics Subject Classification. 11N99.

Key words and phrases. product set, quotient set, MSTD.

whose sum set and difference set have 26 elements and 25 elements, respectively. The number of MSTD subsets of { 1 2 , , . . . , n } grows quite quickly as n grows. On the other hand, it is harder to find MPTQ subsets of { 1 2 , , . . . , n } because { 1 2 , , . . . , 36 } contains no MPTQ subsets. Hence, we instead look for MPTQ subsets of { 2 n · 3 m | 0 ≤ n, m ≤ 6 } . Below are several sets we found

,

{ 12 27 36 96 108 144 162 243 648 864 1944 , , , , , , , , , , } { 8 18 32 36 48 216 324 432 486 864 1944 , , , , , , , , , , } , { 4 9 12 32 36 48 54 81 216 288 648 , , , , , , , , , , } , { 1 6 8 9 24 72 108 288 324 432 2592 , , , , , , , , , , } , { 3 18 24 27 72 108 324 864 972 1296 7776 , , , , , , , , , , } .

Surprisingly, in 2007, Martin and O'Bryant [12] proved that as n →∞ , the proportion of MSTD subsets of { 1 2 , , . . . , n } is bounded below by a positive constant. Since then, research on sum-dominant sets has made considerable progress: see [7, 11, 18, 20, 21, 22] for history and overview, [8, 13, 14, 19, 23] for explicit constructions, [5, 12, 25] for positive lower bound for the percentage of sum-dominant sets, and [3, 4, 15, 24] for extensions to other settings. However, much less is known about MPTQ sets. Fortunately, many results on MSTD sets hold for MPTQ sets with the use of the log transformation and exponentiation of sets. The goal of this paper is to provide an understanding of MPTQ sets through both what we know about MSTD sets and unique properties of MPTQ sets themselves. Furthermore, properties of MPTQ sets also shed light on new results about MSTD sets. We focus on the four topics: how to search for MPTQ subsets of { 1 2 , , . . . , n } more efficiently , the probability measure of MPTQ subsets of { 1 2 , , . . . , n } , when sets are not MPTQ , and what sequences do not contain MPTQ subsets .

## 1.2. Notation. We first introduce some notation.

- (1) For n ∈ N and r ∈ R \{ 0 , ± } 1 , define G n,r = { 1 , r, r 2 , . . . , r n -1 } .
- (2) For ( a i ) /lscript i =1 and a set A , we write ( a i ) /lscript i =1 → A to mean the introduction of /lscript numbers ( a i ) /lscript i =1 into the set A to form A ∪ { a i | 1 ≤ i ≤ } /lscript . (We assume that a i / A ∈ for all 1 ≤ i ≤ /lscript .)

/negationslash

- (3) Given a set A of positive real numbers and 1 = r &gt; 0 , define

$$\log _ { r } A \, = \, \{ \log _ { r } a _ { i } \, | \, a _ { i } \in A \}.$$

Because A contains only positive numbers, log r A is well-defined and | log r A | = | A | . We call this the r -log transformation of A .

/negationslash

- (4) Given a set B of real numbers and 1 = r &gt; 0 , define

$$r ^ { B } \, = \, \{ r ^ { b _ { i } } \, | \, b _ { i } \in B \}.$$

/negationslash

Because 1 = r &gt; 0 , | r B | = | B | . We call this the r -exponential transformation of B .

- (5) Let A = { a , a 1 2 , . . . , a n } , where | a 1 | ≤ | a 2 | ≤ · · · ≤ | a n | . We write A in the following form

$$A \, = \, ( a _ { 1 } \, | \, a _ { 2 } / a _ { 1 }, a _ { 3 } / a _ { 2 }, \dots, a _ { n } / a _ { n - 1 } ).$$

All information about set A is preserved in this notation. Call

$$a _ { 2 } / a _ { 1 }, a _ { 3 } / a _ { 2 }, \dots, a _ { n } / a _ { n - 1 }$$

a multiplier sequence . Note that the absolute value of each quotient in a multiplier sequence is at least 1 and one set may have more than one multiplier sequence as shown in Example 1.1.

$$\text{Example 1.1. Let $A=\{5,1280, -10, -40, 40, 2560, 160, 320\}$. We can write } \\ A \ = \ ( 5 \, | \, - 2, 4, - 1, 4, 2, 4, 2 )$$

or

$$A \, = \, ( 5 \, | \, - 2, - 4, - 1, - 4, 2, 4, 2 ).$$

## 1.3. Main results.

Theorem 1.2. Let n ∈ N ≥ 4 . If we want to find all MPTQ subsets of { 1 2 , , . . . , 2 n } , we need to check at most 2 2 n -t subsets, where t is the number of primes strictly between n and 2 n .

With a simple program, the author found no MPTQ subsets of { 1 2 , , . . . , 36 } , and the program reported a memory error when we attempted { 1 2 , , . . . , 38 } . Recall that { 1 2 , , . . . , 15 } already contains several MSTD sets, so MPTQ subsets appear much later than MSTD sets. Along with [12, Theorem 1], the following theorem shows that MPTQ sets are rare compared to MSTD sets.

Theorem 1.3. As n →∞ , the proportion of MPTQ subsets of { 1 2 , , . . . , n } approaches 0 ; that is, as n →∞ , almost all subsets of { 1 2 , , . . . , n } are not MPTQ.

Our next result concerns the smallest cardinality of MPTQ sets, comparably to [8, Theorem 1] by Hegarty.

Theorem 1.4. Let A be a MPTQ set of real numbers. The following claims are true.

- (1) If A contains only positive numbers, then | A | ≥ 8 .
- (2) If A contains negative numbers, then | A | ≥ 5 .

When we allow negative numbers to be included, the proof for the smallest cardinality becomes more complicated very quickly.

Question 1.5. What is the smallest cardinality among MPTQ sets of real numbers?

To prove [8, Theorem 1], Hegarty (2007) used a nontrivial algorithm to reduce the problem to finite computation. The mathematica program was reported to run for about 15 hours. However, because it takes less memory and computation power for computers to do addition and subtraction than multiplication and division, Question 1.5 is thus quite challenging.

Lastly, we find sequences that do not contain MPTQ subsets.

Theorem 1.6. Let P be the set of all primes. The following are true.

- (1) The set P contains no MPTQ subsets.

/negationslash

- (2) Fix 1 = r &gt; 0 . Consider P r = log ( r P ) . Then P r contains no MSTD subsets.

Theorem 1.7. Let A = { a k } ∞ k =1 be an increasing sequence in absolute value of real numbers. If there exists a positive integer r such that

- (1) | a k | &gt; a | k -1 · a k -r | for all k ≥ r +1 , and
- (2) A does not contain any MPTQ set S with | S | ≤ 2 r -1 ,

then A contains no MPTQ set.

Theorem 1.7 is comparable to [3, Theorem 1] by H. V. Chu et al. but allows more flexibility in the sense that our sequence needs only to be increasing in absolute value.

Example 1.8. Define the Fibonacci sequence to be F 1 = 1 , F 2 = 2 , and F n = F n -1 + F n -2 for n ≥ 3 . Let A = { a k } ∞ k =1 with a k = 2 F k . Because for k ≥ 4 , a k = a k -1 a k -2 &gt; a k -1 a k -3 , and there are no MPTQ sets of size 5 due to Theorem 1.4 item 1, A has no MPTQ subsets.

Example 1.9. Let A = { a k } ∞ k =1 with a k = ± k F k (we may choose the sign for each a k arbitrarily). Because for k ≥ 3 ,

$$| a _ { k } | \ = \ k ^ { F _ { k } } \ = \ k ^ { F _ { k - 1 } } \cdot k ^ { F _ { k - 2 } } \ > \ ( k - 1 ) ^ { F _ { k - 1 } } \cdot ( k - 2 ) ^ { F _ { k - 2 } } \ = \ | a _ { k - 1 } a _ { k - 2 } |,$$

and there are no MPTQ sets of size 3 due to Theorem 1.4 item 2, A has no MPTQ subsets.

Remark 1.10. It is interesting to see that while the set of prime numbers contains infinitely many MSTD subsets [3, Theorem 5], it contains no MPTQ subsets. On the other hand, an example of a set containing infinitely many MPTQ subsets while no MSTD subsets is { 1 2 2 , , 2 , 2 3 , . . . } . 1 Finally, we also have sets that contain neither MSTD nor MPTQ subsets. An example is the sequence in Example 1.8.

## 2. SEARCH FOR MPTQ SUBSETS MORE EFFICIENTLY AND PROBABILITY MEASURE FOR MPTQ SUBSETS

Definition 2.1. For every MPTQ set A , let k be the largest positive integer (if any) such that

Then A is said to be k -special MPTQ.

$$| A \cdot A | - | A / A | \geq k | A | + \frac { k ( k - 3 ) } { 2 } + 1. \\ \tilde { \tau } \colon = \tilde { \tau } \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{array}$$

Proof of Theorem 1.2. Fix n ≥ 4 . Let t be the number of primes strictly between n and 2 n . By Bertrand's postulate, we know that t ≥ 1 . Let p be such a prime and A be a subset of { 1 2 , , . . . , 2 n } not containing p . We claim that p → A gives | A | + 1 new products and 2 | A | new quotients. We proceed by proving the claim.

Write A = { a , a 1 2 , . . . , a j } , where a 1 &lt; a 2 &lt; · · · &lt; a j . Consider the following products

$$p a _ { 1 }, p a _ { 2 }, \dots, p a _ { j }, p ^ { 2 }.$$

They are all new products from p → A . Indeed, suppose that there exists 1 ≤ k, /lscript, m ≤ j such that either a a k /lscript = pa m or a a k /lscript = p 2 . In both cases, either p a | k or p a | /lscript , which contradicts that n &lt; p &lt; 2 n . So, the number of new products is exactly j +1 = | A | +1 . Consider the following quotients

$$\frac { p } { a _ { 1 } }, \frac { p } { a _ { 2 } }, \dots, \frac { p } { a _ { j } }.$$

1 The reason that { 1 2 2 , , 2 , 2 3 , . . . } has no MSTD subsets is due to [3, Corollary 8].

They are all new quotients from p → A . Indeed, suppose that there exists 1 ≤ k, /lscript, m ≤ j such that p a k = a /lscript a m . Then pa m = a a k /lscript and so, either p a | k or p a | /lscript . Hence,

$$\max \{ a _ { \ell }, a _ { k } \} \, \geq \, 2 p \, > \, 2 n,$$

which contradicts that A ⊆ { 1 2 , , . . . , 2 n } . Therefore, all the above quotients and their reciprocals are new. So, the number of new quotients is exactly 2 j = 2 | A | .

We have proved that p → A gives | A | +1 new products and 2 | A | new quotients. For any | A | ≥ 1 , 2 | A | ≥ | A | + 1 . So, given a MPTQ set containing some primes strictly between n and 2 n , we know that by excluding these primes from the set, we still have a MPTQ set.

Let S be a MPTQ subset of { 1 2 , , . . . , n } and let k be the maximum number of primes strictly between n and 2 n that can be added to S and we still have a MPTQ set S ′ . Applying our above claim repeatedly, we have

$$| S ^ { \prime } \cdot S ^ { \prime } | \, = \, | S \cdot S | + \sum ^ { k } ( | S | + i )$$

$$\ast$$

$$| S ^ { \prime } \cdot S ^ { \prime } | \ & = \ | S \cdot S | + \sum _ { i = 1 } ^ { k } ( | S | + i ) \\ | S ^ { \prime } / S ^ { \prime } | \ & = \ | S / S | + \sum _ { i = 0 } ^ { k - 1 } 2 ( | S | + i ). \\ | S ^ { \prime } / S ^ { \prime } | > 1. \text{ we have}$$

Because | S ′ · S ′ | - | S /S ′ ′ | ≥ 1 , we have

$$| S \cdot S | - | S / S | \ \geq \ k | S | + \frac { k ( k - 3 ) } { 2 } + 1.$$

So, S is k -special MPTQ.

We now outline the steps in finding all MPTQ subsets of { 1 2 , , . . . , n } .

- (1) Search for all MPTQ subsets of { 1 2 , , . . . , n } without primes strictly between n and 2 n .
- (2) For each MPTQ subset S , find the largest positive integer k such that

$$| S \cdot S | - | S / S | \ \geq \ k | S | + \frac { k ( k - 3 ) } { 2 } + 1 ; \\ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot$$

in other words, classify all MPTQ subsets found in step (1) by their k -special MPTQ property. This can be done since from step (1), we already know | S · S | , | S/S | and | S | of each MPTQ set S .

- (3) Given a k -special MPTQ set, we can add at most k primes strictly between n and 2 n to it and still have a MPTQ set.

Following these steps, we will have all MPTQ subsets of { 1 2 , , . . . , n } . Therefore, the number of subsets we need to check is reduced by a factor of 2 for each p . Because there are t primes strictly between n and 2 n , this method helps reduce the number of subsets to be checked by a factor of 2 t . 2 /square

Example 2.2. If we want to find all MPTQ subsets of { 1 2 , , . . . , 36 } , we can instead find all MPTQ subsets of { 1 2 , , . . . , 36 }\{ 19 23 29 31 , , , } .

2 There are many improved versions of Bertrand's postulate, which may reduce the number of subsets to be checked further as our n grows. For example, Nagura [16] proved that for n ≥ 25 , there is always a prime between n and 6 n/ 5 . Therefore, between n and 2 n , there are at least 2 primes. This reduces the number of subsets to be checked by a factor of 4 .

Proof of Theorem 1.3. Due to [1, Corollary 1.1] by Cilleruelo and Guijarro-Ordonez, almost all sets A ⊆ { 1 2 , , . . . , n } have | A/A | ∼ Cn 2 for some constant C &gt; 0 . On the other hand, Erd˝ os [6] proved that as n →∞ ,

$$| A \cdot A | \, \leq \, | \{ 1, 2, \dots, n \} \cdot \{ 1, 2, \dots, n \} | \, = \, \frac { n ^ { 2 } } { ( \log n ) ^ { \delta + o ( 1 ) } } \, = \, o ( n ^ { 2 } ),$$

where δ = 1 -1+log log 2 log 2 . Therefore, as n →∞ , almost all subsets of { 1 2 , , . . . , n } are not MPTQ. /square

## 3. PRELIMINARIES

We now mention some important properties of MPTQ sets and the relationship between MSTD and MPTQ sets.

Definition 3.1. A set A is symmetric with respect to a if there exists a ∈ R \{ } 0 such that a/A = A .

Example 3.2. The set S 1 = { 3 4 6 8 9 27 48 144 162 216 324 432 , , , , , , , , , , , } is symmetric with respect to 1296 because

S 1 = { 1296 3 , 1296 4 , 1296 6 , 1296 8 , 1296 9 , 1296 27 , 1296 48 , 1296 144 , 1296 162 , 1296 216 , 1296 324 , 1296 432 } .

Lemma 3.3. A symmetric set is balanced.

Proof. Let A be a symmetric set with respect to a . We have

$$| A \cdot A | \, = \, | ( a / A ) \cdot A | \, = \, | a \cdot ( A / A ) | \, = \, | A / A |.$$

Therefore, A is balanced.

/square

Remark 3.4. Let A = { a , . . . , a 1 n } be a MPTQ set and A p be the nonempty subset of A whose elements are divisible by a prime p . Let q be a prime that does not divide any number in A . For each number in A p , if we replace p in its prime factorization by q to form ( A p ) ′ . Then ( A A \ p ) ∪ ( A p ) ′ is MPTQ. The reason is that the process does not change the sizes of the product set and the quotient set. MSTD sets do not enjoy this property. We call this the ( p, q ) -prime switch of A .

## Example 3.5. The set

$$S _ { 2 } \, = \, \{ 3, 4, 6, 8, 9, 2 7, 4 8, 7 2, 1 4 4, 1 6 2, 2 1 6, 3 2 4, 4 3 2 \}$$

is MPTQ. By the (2 , 5) -prime switch, we have the new set

S 3 = { 3 25 15 125 9 27 1875 1125 5625 405 3375 2025 16875 , , , , , , , , , , , , } , which is also MPTQ.

Definition 3.6. Let A ∈ R \{ } 0 . For a , a i j ∈ A , we have a /a i i = a /a j j = 1 . We call the pair ( a , a i i ) , ( a , a j j ) a trivial pair of equal quotients.

Proposition 3.7. For a finite set A ∈ R \{ } 0 , we have the following trivial bounds

$$| A \cdot A | \, & \leq \, \frac { | A | ( | A | + 1 ) } { 2 }, \\ + \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, + \, \tilde { \lambda } \, + \, \tilde { \lambda } \, + \, \tilde { \lambda } \, + \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \ tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde{ \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \lambda } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu } \, \tilde { \nu }$$

$$| A / A | \, \leq \, | A | ( | A | - 1 ) + 1.$$

The equality in (3.1) is achieved if every pair of numbers gives a distinct product, and the equality in (3.2) if every pair of distinct numbers gives a distinct quotient.

Remark 3.8. Given a set A ∈ R \{ } 0 , for each q ∈ A/A , define

$$( A / A ) _ { q } \, = \, \{ \{ a _ { i }, a _ { j } \} \, | \, a _ { i } / a _ { j } = q \text{ and } a _ { i }, a _ { j } \in A \}.$$

Then

/negationslash

$$\frac { 1 } { 2 } ( | A | ( | A | - 1 ) + 1 - | A / A | ) \, = \, \sum _ { q \in A / A, q \neq 1, | q | \geq 1 } ( | ( A / A ) _ { q } | - 1 ). \quad \ ( 3. 3 )$$

The part | A | ( | A | -1) + 1 comes from Inequality (3.2).

We provide an example to help understand (3.3).

Example 3.9. Let A = { 1 2 3 6 9 , , , , } . We have

$$A / A = \left \{ 1, 2, 3, \frac { 3 } { 2 }, \frac { 9 } { 2 }, 6, 9, \frac { 1 } { 2 }, \frac { 1 } { 3 }, \frac { 1 } { 9 }, \frac { 1 } { 6 }, \frac { 2 } { 3 }, \frac { 2 } { 9 } \right \}$$

and so, | A/A | = 13 . The left side of (3.3) is 4 . Consider the right side of (3.3). We have

$$\dots$$

$$& ( A / A ) _ { 2 } \, = \, \{ \{ 2, 1 \}, \{ 6, 3 \} \}, \\ & ( A / A ) _ { 3 } \, = \, \{ \{ 3, 1 \}, \{ 6, 2 \}, \{ 9, 3 \} \}, ( A / A ) _ { 3 / 2 } \, = \, \{ \{ 3, 2 \}, \{ 9, 6 \} \}, \\ & ( A / A ) _ { 9 / 2 } \, = \, \{ \{ 9, 2 \} \}, ( A / A ) _ { 6 } \, = \, \{ \{ 6, 1 \} \}, ( A / A ) _ { 9 } \, = \, \{ \{ 9, 1 \} \}.$$

The right side is ∑ q ∈ A/A,q&gt; 1 ( ( | A/A ) q | -1) = 4 , as desired.

Remark 3.10. Given a set A ∈ R \{ } 0 , for each p ∈ A A · , define

$$( A \cdot A ) _ { p } \, = \, \{ \{ a _ { i }, a _ { j } \} \, | \, a _ { i } a _ { j } = p \, \text{and} \, a _ { i }, a _ { j } \in A \}.$$

Then

$$\frac { 1 } { 2 } | A | ( | A | + 1 ) - | A \cdot A | \, = \, \sum _ { p \in A \cdot A } ( | ( A \cdot A ) _ { p } | - 1 ).$$

The part 1 2 | A | ( | A | +1) comes from Inequality (3.1).

Example 3.11. Let A = { 1 2 3 6 9 , , , , } . We have

$$A \cdot A \, = \, \{ 1, 2, 3, 4, 6, 9, 1 2, 1 8, 2 7, 3 6, 5 4, 8 1 \}$$

and so, | A · A | = 12 . The left side of (3.4) is 3 . Consider the right side of (3.4). We have

$$( A / A ) _ { 1 } = \{ \{ 1, 1 \} \}, ( A / A ) _ { 2 } = \{ \{ 1, 2 \} \}, ( A / A ) _ { 3 } = \{ \{ 3 \} \}, ( A / A ) _ { 4 } = \{ \{ 2, 2 \} \},$$

(

A/A

)

6

=

{{

1 6

,

} {

,

2 3

,

}}

,

(

A/A

)

9

=

{{

1 9

,

} {

,

3 3

,

}}

,

(

A/A

)

12

=

{{

2 6

,

}}

,

$$( A / A ) _ { 1 8 } = \{ \{ 2, 9 \}, \{ 3, 6 \} \}, ( A / A ) _ { 2 7 } = \{ \{ 3, 9 \} \}, ( A / A ) _ { 3 6 } = \{ \{ 6, 6 \} \},$$

$$( A / A ) _ { 5 4 } = \{ \{ 6, 9 \} \}, ( A / A ) _ { 8 1 } = \{ \{ 9, 9 \} \}.$$

So, the right side is 3 , as desired.

Remark 3.12. Let A ⊂ R \{ } 0 . Loosely speaking, Remark 3.8 and Remark 3.10 show how pairs of equal products and nontrivial pairs of equal quotients reduce | A · A | and | A/A | , respectively. When we look at the reduction, we have to be very careful. For example, if we have a i · a j = a m · a n = a p · a q for some a , a i j , a m , a n , a p , a q ∈ A and a , a i j , a m , a p , a q being pairwise different, | A · A | is reduced by 2 , not 3 even though { a , a i j } { , a m , a n } { , a , a p q } ∈ ( A · A ) a a i j . This is why we need to subtract 1 from each summand in (3.4). The same reasoning applies for A/A . Now, we investigate the relationship between the number of nontrivial pairs of equal quotients and the number of pairs of equal products. Consider two cases.

/negationslash

- (1) Case 1: we do not have a i · a j = a m · a n = a p · a q for all a , a i j , a m , a n , a p , a q ∈ A and a , a i j , a m , a p , a q being pairwise different. In other words, for all p ∈ A · A , 1 ≤ | ( A · A ) p | ≤ 2 . In this case, we have a very useful inequality. Let a , a i j , a m , a n ∈ A , where a /a j i = a /a n m = 1 and | a i | ≤ | a j | ≤ | a m | ≤ | a n | .

/negationslash

- · If a j = a m , then we do not have another pair.
- · If a j = a m , we have another nontrivial pair of equal quotients whose absolute values are at least 1 : a m /a i = a /a n j .

In both cases, we have a j · a m = a i · a n , a pair of equal products. So, a nontrivial pair of equal quotients whose absolute values are at least 1 increases the right side of (3.3) by at most 2 , while its corresponding pair of equal products increases the right side of (3.4) by exactly 1 . Hence, if

/negationslash

$$k = \sum _ { q \in A / A, q \neq 1, | q | \geq 1 } ( | ( A / A ) _ { q } | - 1 ),$$

then

$$\sum _ { p \in A \cdot A } ( | ( A \cdot A ) _ { p } | - 1 ) \, \geq \, k / 2.$$

- (2) Case 2: a i · a j = a m · a n = a p · a q for some a , a i j , a m , a n , a p , a q ∈ A and a , a i j , a m , a p , a q being pairwise different. Then we do not have (3.5) anymore. To see why, suppose that { 1 4 5 8 10 40 , , , , , } ⊆ A . Then the following pairs of equal quotients

$$\cdot \quad \begin{array} { c } \bar { \frac { 4 } { 1 } } \, = \, \frac { 4 0 } { 1 0 }, \frac { 1 0 } { 1 } \, = \, \frac { 4 0 } { 4 }, \frac { 4 0 } { 8 } \, = \, \frac { 5 } { 1 }, \frac { 4 0 } { 5 } \, = \, \frac { 8 } { 1 }, \frac { 5 } { 4 } \, = \, \frac { 1 0 } { 8 }, \frac { 1 0 } { 5 } \, = \, \frac { 8 } { 4 } \cdot \end{array}.$$

increase the right side of (3.3) by 6 . The corresponding products given by these three pairs are

$$4 \cdot 1 0 \, = \, 1 \cdot 4 0, 1 \cdot 4 0 \, = \, 5 \cdot 8, 4 \cdot 1 0 = 5 \cdot 8.$$

As mentioned above, the right side of (3.4) only accounts for 2 (not 3 ) out of these three pairs of equal products since 4 · 10 = 1 · 40 = 5 · 8 . Because 6 / 2 = 3 &gt; 2 , we do not have Inequality (3.5).

/negationslash

Lemma 3.13. Let a MSTD set A be chosen. Then for all 1 = r &gt; 0 , B = r A is MPTQ.

Proof. We will prove that | B/B | = | A -A | and | B B · | = | A + A | . Given a difference a i -a j for some a , a i j ∈ A , we have the corresponding quotient r a i /r a j . Let a , a ′ i ′ j ∈ A . Because r / ∈ { 0 , ± } 1 , a i -a j = a ′ i -a ′ j if and only if r a i -a j = r a ′ i -a ′ j . Therefore, | B/B | = | A -A | . Similarly, given a sum a p + a q for some a , a p q ∈ A , we have the

corresponding product r a p r a q . Let a , a ′ p ′ q ∈ A . Because r / ∈ { 0 , ± } 1 , a p + a q = a ′ p + a ′ q if and only if r a p + a q = r a ′ p + a ′ q . Therefore, | B · B | = | A + A | . This completes our proof. /square

/negationslash

Lemma 3.14. Let a MPTQ set A of positive numbers be chosen. Fix 1 = r &gt; 0 . Then B = log A r is MSTD.

Proof. Wewill prove that | B + B | = | A A · | and | B -B | = | A/A | . Given a product a a i j for some a , a i j ∈ A , we have the corresponding sum log r a i +log r a j in B + B . Let a , a ′ i ′ j be chosen. We have a a i j = a a ′ i ′ j if and only if log r a i + log r a j = log r a ′ i + log r a ′ j . Hence, | B + B | = | A · A | . Similarly, given a quotient a /a p q for some a , a p q ∈ A , we have the corresponding difference log r a p -log r a q in B -B . Let a , a ′ p ′ q ∈ A , We have a /a p q = a /a ′ p ′ q if and only if log r a p -log r a q = log r a ′ p -log r a ′ q . Hence, | B -B | = | A/A | . This completes our proof. /square

Application: construction of an infinite family of MPTQ sets. We can generate an infinite family of MSTD sets from a given MSTD set through the base expansion method. Let A be a MSTD set, and let

$$A _ { k, m } & = \left \{ \sum _ { i = 1 } ^ { k } a _ { i } m ^ { i - 1 } \colon a _ { i } \in A \right \}. \\. \quad \dots \quad. \quad. \quad \dots \quad.. \quad..$$

If m is sufficiently large, then | A k,m ± A k,m | = | A ± A | k and | A k,m | = | A | k . The method is a very powerful tool and has been used extensively in the literature including [8, 9, 10]. However, the base expansion method turns out to be inefficient in terms of our MSTD sets' cardinality. Due to Lemma 3.13 and Lemma 3.14, we can use the base expansion method to generate an infinite family of MPTQ sets from a given MPTQ sets.

Let A be a MPTQ set of positive real numbers. By Lemma 3.14, we know that log 2 A is a MSTD set. Now, apply the base expansion method to generate an infinite family of MSTD sets from log 2 A . Due to Lemma 3.13, if B is a MSTD set in the family, we know that 2 B is a MPTQ set.

## 4. THE SMALLEST MPTQ SET

Proof of Theorem 1.4 item 1. We prove by contradiction. Let A be a MPTQ set with | A | ≤ 7 . By Lemma 3.14, B = log 2 A is MSTD and | B | = 7 . This contradicts [17, Theorem 6]. So, | A | ≥ 8 , as desired. /square

## Example 4.1. An example of a MPTQ set with cardinality 8 is

$$S _ { 4 } \, = \, \{ 2 ^ { 0 }, 2 ^ { 2 }, 2 ^ { 3 }, 2 ^ { 4 }, 2 ^ { 7 }, 2 ^ { 1 1 }, 2 ^ { 1 2 }, 2 ^ { 1 4 } \}.$$

This set is the 2 -exponential transformation of the MSTD set { 0 2 3 4 7 11 12 14 , , , , , , , } . Lemma 3.13 guarantees that S 4 is MPTQ.

The restriction we have in Theorem 1.4 item 1 is that our MPTQ set only contain positive numbers. Next, we relax this condition to prove Theorem 1.4 item 2. We employed the same technique used by the author [2] with a nontrivial modification of the proof for the product/quotient case. The proof is more complicated compared to the proof of [2, Theorem 1] because of interactions between negative and positive numbers. The next lemma follows from [2, Proposition 7] and the proof of Lemma 3.13.

Lemma 4.2. Let n ∈ N and r ∈ R \{ 0 , ± } 1 . Set a = r ( n -1)+ k for some 1 ≤ k ≤ n -1 . Then a → G n,r gives k +1 new products and 2 k new quotients.

Theorem 4.3. Let n ∈ N and r ∈ R \{ 0 , ± } 1 . For all a ∈ R \{ } 0 , the set G n,r ∪{ } a is not MPTQ.

Proof. If a ∈ G n,r , then we are done since G n,r is symmetric with respect to r n -1 and thus, not MPTQ. For n = 1 , we have G 1 ,r = { 1 , a } , which is symmetric with respect to a and thus, not MPTQ. We assume that a / G ∈ n,r and n ≥ 2 . The number of new products as a result of a → G n,r is at most n +1 . We consider the following two cases. Case 1: a = r /lscript for some /lscript ∈ N &gt;n -1 . If /lscript = n , we have G n,r ∪ { a } = G n +1 ,r , which is not MPTQ. Consider /lscript ≥ n +1 . Write /lscript = ( n -1) + k for some k ≥ 2 .

- · If 2 ≤ k ≤ n -1 , by Lemma 4.2, we have k + 1 new products while 2 k new quotients. So, our new set is not MPTQ.
- · If k &gt; n -1 , then we have 2 n new quotients. Since we have at most n +1 new products, our new set is not MPTQ.

Case 2: a = r /lscript for some /lscript ∈ N &lt; 0 . Due to symmetry, this is similar to Case 1.

/negationslash

Case 3: a = r /lscript for all /lscript ∈ Z . Our set of new quotients contains

$$K \, = \, \left \{ a, \frac { a } { r }, \dots, \frac { a } { r ^ { n - 1 } } \right \}.$$

- · If 1 /a ∈ K , then a 2 ∈ G n,r . So, the number of new products is at most n . Because | K | = n , we know that our new set is not MPTQ.
- · If 1 /a / K ∈ , then we have at least n + 1 new quotients. Again, our new set is not MPTQ.

We have completed the proof.

/square

Corollary 4.4. A finite set containing numbers in a geometric progression in union with an arbitrary number is not MPTQ.

/negationslash

Proof. Let our set be A = { a, ar, ar 2 , . . . , ar n -1 , b } , where n ∈ N , ab = 0 , r / ∈ { 0 , ± } 1 . Then, A/a = { 1 , r, r 2 , . . . , r n -1 , b/a } = G n,r ∪ { b/a } , which is not MPTQ by Theorem 4.3. Hence, A is not MPTQ. /square

Proof of Theorem 1.4 item 2. Let A be our finite set of positive numbers. We analyze 5 cases corresponding to the cardinality of A .

Case 1: | A | = 1 . Write A = { a 1 } for some a 1 ∈ R \{ } 0 . Because A is symmetric with respect to a 2 1 , A is not MPTQ.

Case 2: | A | = 2 . Write A = { a , a 1 2 } for some a , a 1 2 ∈ R \{ } 0 . Because A is symmetric with respect to a a 1 2 , A is not MPTQ.

/negationslash

/negationslash

/negationslash

Case 4: | A | = 4 . Write A = { a , a 1 2 , a 3 , a 4 } for some 0 &lt; a | 1 | ≤ | a 2 | ≤ | a 3 | ≤ | a 4 | . By Proposition 3.7, we know that max | A A · | = 10 , while max | A/A | = 13 . Since we have only 4 numbers, we do not have a i · a j = a m · a n = a p · a q for all a , a i j , a m , a n , a p , a q ∈ A

Case 3: | A | = 3 . Write A = { a , a 1 2 , a 3 } for some a , a 1 2 , a 3 ∈ R \{ } 0 . Consider A/a 1 = { 1 , a 2 /a , a /a 1 3 1 } . Either a /a 2 1 = -1 or a /a 3 1 = -1 . Without loss of generality, assume that a /a 2 1 = -1 . Because { 1 , a 2 /a 1 } = G 2 ,a 2 /a 1 , Theorem 4.3 says that A/a 1 = G 2 ,a 2 /a 1 ∪ { a /a 3 1 } is not MPTQ. Hence, A is not MPTQ.

and a , a i j , a m , a p , a q being pairwise different. Let

/negationslash

$$k = \sum _ { q \in A / A, q \neq 1, | q | \geq 1 } ( | ( A / A ) _ { q } | - 1 ),$$

then we can apply Remark 3.12 Case 1 to have

$$\sum _ { p \in A \cdot A } ( | ( A \cdot A ) _ { p } | - 1 ) \, \geq \, k / 2.$$

In order that A is MPTQ, it must be that

$$1 3 - 2 k \, < \, 1 0 - k / 2.$$

/negationslash

Solving for k , we have k ≥ 3 . Therefore, | A/A | ≤ 13 -6 = 7 . For 1 ≤ i ≤ 3 , set m i = a i +1 /a i . Note that | m i | ≥ 1 and m i = 1 . Then

$$A = ( a _ { 1 } \, | \, m _ { 1 }, m _ { 2 }, m _ { 3 } ).$$

We have 6 distinct quotients

$$K \, = \, \{ 1, m _ { 1 }, m _ { 1 } m$$

/negationslash

Subcase 4.1: m 1 = -1 . Then ( m 1 ) -1 is another distinct quotient. Because | A -A | ≤ 7 , we have m 2 ∈ K ∪ { ( m 1 ) -1 } . The only possible option is that m 2 = m 1 . Then { a , a 1 2 , a 3 } is a geometric progression. By Corollary 4.4, A is not MPTQ.

/negationslash

Subcase 4.2: m 1 = -1 . Then m 2 = m 1 because if not, m m 1 2 = 1 or a 1 = a 3 , a contradiction. Either m / K 2 ∈ or we have m 2 ∈ { m m m , m m m 1 2 3 ( 1 2 3 ) -1 } .

- · Subcase 4.2.1: m 2 / ∈ K . Then ( m 2 ) -1 ∈ K ∪ { m 2 } . The only option is ( m 2 ) -1 ∈ { ( m m m 1 2 3 ) -1 , m m m 1 2 3 } . So, m 3 = -1 . Our set

$$A \, = \, \{ a _ { 1 }, - a _ { 1 }, -$$

which is symmetric with respect to a m 2 1 2 and thus, not MPTQ.

- · Subcase 4.2.2: m 2 ∈ K . The only option is m 2 ∈ { ( m m m 1 2 3 ) -1 , m m m 1 2 3 } , or equivalently, m m 1 3 = 1 . Again, we have m 3 = -1 . According to Subcase 4.2.1, our set is not MPTQ.

We complete our proof that | A | ≥ 5 . /square

## 5. SEQUENCES WITH NO MPTQ SUBSETS

Proof of Theorem 1.7. Let S = { s , s 1 2 , ..., s k } = { a g (1) , a g (2) , ..., a g k ( ) } be a finite subset of A , where g : Z + → Z + is a strictly increasing function. We show that S is not MPTQ by strong induction on g k ( ) .

For the base case, we know that all MPTQ sets have at least 5 elements due to Theorem 1.4 item 2, so any subset S of A with exactly k elements is not a MPTQ set if k ≤ 4 ; in particular, S is not a MPTQ set if g k ( ) ≤ 4 . Thus we may assume for g k ( ) ≥ 5 that all S ′ of the form { s , ..., s 1 k -1 } with | s k -1 | ≤ | a g k ( ) | are not MPTQ sets. The proof is completed by showing S = S ′ ∪ { a g k ( ) } = { s , ..., s 1 k -1 , a g k ( ) } is not MPTQ sets for any a g k ( ) .

For the inductive step, S ′ is not a MPTQ set by the inductive assumption. If k ≤ 2 r -1 then | S | ≤ 2 r -1 and S is not a MPTQ set by the second assumption of the theorem. If k ≥ 2 r , consider the number of new products and quotients obtained by

adding a g k ( ) . As we have at most k new products, we are done if there are at least k new quotients.

Since k ≥ 2 r , we have k - /floorleft k +1 2 /floorright ≥ r . Let t = /floorleft k +1 2 /floorright . Then t ≤ k -r , which implies | s t | ≤ | s k -r | . The largest quotient in absolute value between elements in S ′ is | s k -1 /s 1 | and the smallest is | s /s 1 k -1 | ; we now show that we have added at least k distinct quotients whose absolute values are either greater than | s k -1 /s 1 | or smaller than | s /s 1 k -1 | , which will complete the proof. We have

$$| a _ { g ( k ) } / s _ { t } | & \geq$$

$$\begin{array} {$$

Since | a g k ( ) /s t | &gt; s | k -1 /s 1 | , we know that

$$a _ { g ( k ) } / s _ { t }, \dots, a _ {$$

are t quotients whose absolute values are greater than | s k -1 /s 1 | . As we could do division in the opposite order, we have t quotients who absolute values are smaller than | s /s 1 k -1 | . Therefore, the total number of new quotients is at least

$$2 t \, = \, 2 \left \lfloor \frac { k + 1 } { 2 } \right \rfloor \, \geq \, k.$$

This completes our proof.

/square

Proof of Theorem 1.6. We first prove item 1. Consider A = { a , a 1 2 , . . . , a n } ⊂ P for some n ∈ N and a 1 &lt; a 2 &lt; · · · &lt; a n . Due to Theorem 1.4 item 1, it suffices to prove the following claim: if A \{ a n } is not MPTQ, then A is not MPTQ. In particular, we will prove that a n → A \{ a n } gives more new quotients than new products. Clearly, a n → A \{ a n } gives at most n new products. The following are new quotients

$$\hat { a _ { n } }, \frac { a _ { n } } { a _ { 2 } }, \dots, \frac { a _ { n } } { a _ { n - 1 } }.$$

Indeed, suppose that a /a n j = a m /a k for some 1 ≤ m,k,j ≤ n -1 . Then a a n k = a m j a , implying that either a m | a k or a m | a n , which contradicts that a , a k n ∈ P . Hence, we have n -1 new quotients greater than 1 . Their reciprocals must also be new. Therefore, we have 2( n -1) new quotients. For n ≥ 8 , 2( n -1) &gt; n , and so, A is not MPTQ. Again, the reason we only concern with n ≥ 8 is due to Theorem 1.4 item 1.

/negationslash

We proceed to prove item 2. Fix r &gt; 0 and r = 1 . We prove by contradiction. Suppose that P r contains a MSTD subset A . By Lemma 3.13, r A ⊂ P is MPTQ, implying that P contains a MPTQ subset. This contradicts item 1 above. /square

## 6. QUESTIONS

We end with a list of questions for future research.

- · The diameter of a set is defined to be the difference between the maximum and the minimum. What is the smallest diameter of a MPTQ sets? What is the smallest n such that { 1 2 , , . . . , n } has a MPTQ subset?

- · Can we construct MPTQ sets explicitly without using MSTD sets and Lemma 3.13? A conventional method of constructing MSTD sets is to fix a fringe pair ( L, R ) of two sets containing elements to be used in the fringe of the interval and argue that all the middle elements will appear. The fringe pair ensures that some of the largest and smallest differences are missed and that our set is MSTD. For MSTDsets, you can use the fringes since it is possible to manage the interaction (addition and subtraction) of numbers in the middle. For example, ( n -9)+4 = ( n -10) + 5 . However, for multiplication, 4( n -9) is not necessarily equal to 5( n -10) . Because it is hard to work with the middle of MPTQ sets, it is not clear how to use the fringes to construct MPTQ sets as a result.
- · Is there a set that is both MSTD and MPTQ?

Acknowledgement. The author would like to thank Carlo Sanna for providing the proof of Theorem 1.3. Many thanks to the anonymous referee for useful comments that help improve this paper.

## REFERENCES

- [1] J. Cilleruelo and J. Guijarro-Ordonez, Ratio sets of random sets, Ramanujan J. (2015).
- [2] H. V. Chu, When sets are not sum-dominant, J. Integer Seq 22 (2019).
- [3] H. V. Chu, N. McNew, S. J. Miller, V. Xu, and S. Zhang, When sets can and cannot have sumdominant subsets, J. Integer Seq 18 (2018).
- [4] H. V. Chu, N. Luntzlara, S. J. Miller, and L. Shao, Infinite families of partitions into MSTD subsets, preprint, 2018. Available at https://arxiv.org/abs/1808.05460 .
- [5] H. V. Chu, N. Luntzlara, S. J. Miller, and L. Shao, Generalizations of a curious family of MSTD sets https://arxiv.org/abs/1808.05501
- hidden by interior blocks, preprint, 2018. Available at . [6] P. Erd˝s, An asymptotic inequality in the theory of numbers, o Vestnik Leningrad. Univ. 15 (1960), 41-49.
- [7] G. A. Freiman and V. P. Pigarev, Number Theoretic Studies in the Markov Spectrum and in the Structural Theory of Set Addition (Russian), Kalinin. Gos. Univ., Moscow, 1973.
- [8] P. V. Hegarty, Some explicit constructions of sets with more sums than differences, Acta Arith. 130 (2007), 61-77.
- [9] G. Iyer, O. Lazarev, S. J. Miller and L. Zhang, Finding and counting MSTD sets, Combinatorial and additive number theory-CANT 2011 and 2012 (2014), 79-98.
- [10] G. Iyer, O. Lazarev, S. J. Miller and L. Zhang, Generalized more sums than differences sets, Journal of Number Theory 132 (2012), no. 5, 1054-1073.
- [11] J. Marica, On a conjecture of Conway, Canad. Math. Bull. 12 (1969), 233-234.
- [12] G. Martin and K. O'Bryant, Many sets have more sums than differences, in Additive Combinatorics , CRM Proc. Lecture Notes, Vol. 43, Amer. Math. Soc., 2007, pp. 287- 305.
- [13] S. J. Miller, B. Orosz, and D. Scheinerman, Explicit constructions of infinite families of MSTD sets, J. Number Theory 130 (2010), 1221-1233.
- [14] S. J. Miller and D. Scheinerman, Explicit constructions of infinite families of MSTD sets, in Additive Number Theory , Springer, 2010, pp. 229-248.
- [15] S. J. Miller and K. Vissuet, Most subsets are balanced in finite groups, in M. B. Nathanson, ed., Combinatorial and Additive Number Theory - CANT 2011 and 2012 , Springer Proceedings in Mathematics &amp; Statistics, V ol. 101, 2014, pp. 147-157.
- [16] J. Nagura, On the interval containing at least one prime number, Proc. Japan Acad. Ser. A Math. Sci. 28 (1952), 177-181.
- [17] M. B. Nathanson, MSTD sets and Freiman isomorphism, Funct. Approx. Comment. Math 58 (2018), 187-205.
- [18] M. B. Nathanson, Problems in additive number theory. I, in Additive Combinatorics , CRM Proc. Lecture Notes, Vol. 43, Amer. Math. Soc. , 2007, pp. 263-270.

- [19] M. B. Nathanson, Sets with more sums than differences, Integers 7 (2007), Paper #A5.
- [20] I. Z. Ruzsa, On the cardinality of A + A and A -A , in Combinatorics (Proc. Fifth Hungarian Colloq., Keszthely, 1976), Vol. II , Coll. Math. Soc. J. Bolyai. , Vol. 18, 1978, pp. 933-938.
- [21] I. Z. Ruzsa, Sets of sums and differences, in , Progr.
- Seminar on Number Theory, Paris 1982-83 Math., Vol. 51, Birkhäuser, 1984, pp. 267-273.
- [22] I. Z. Ruzsa, On the number of sums and differences, Acta Math. Sci. Hungar. 59 (1992), 439-447.
- [23] Y. Zhao, Constructing MSTD sets using bidirectional ballot sequences, J. Number Theory 130 (2010), 1212-1220.
- [24] Y. Zhao, Counting MSTD sets in finite abelian groups, J. Number Theory 130 (2010), 2308-2322. [25] Y. Zhao, Sets characterized by missing sums and differences, J. Number Theory 131 (2011), 2107-
- 2134.

DEPARTMENT OF MATHEMATICS, UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN, URBANA, ILLINOIS 61820, USA.

E-mail address :

chuh19@mail.wlu.edu
Hung Viet Chu
On Sets with More Products than Quotients
Given a finite set $A\subset \mathbb{R}\backslash \{0\}$, define
\begin{align*}&A\cdot A \ =\ \{a_i\cdot a_j\,|\, a_i,a_j\in A\},\\ &A/A \ =\
\{a_i/a_j\,|\,a_i,a_j\in A\},\\ &A + A \ =\ \{a_i + a_j\,|\, a_i,a_j\in A\},\\
&A - A \ =\ \{a_i - a_j\,|\,a_i,a_j\in A\}.\end{align*} The set $A$ is said to
be MPTQ (more product than quotient) if $|A\cdot A|>|A/A|$ and MSTD (more sum
than difference) if $|A + A|>|A - A|$. Since multiplication and addition are
commutative while division and subtraction are not, it is natural to think that
MPTQ and MSTD sets are very rare. However, they do exist. This paper first
shows an efficient search for MPTQ subsets of $\{1,2,\ldots,n\}$ and proves
that as $n\rightarrow \infty$, the proportion of MPTQ subsets approaches $0$.
Next, we prove that MPTQ sets of positive numbers must have at least $8$
elements, while MPTQ sets of both negative and positive numbers must have at
least $5$ elements. Finally, we investigate several sequences that do not have
MPTQ subsets.