On sets of integers with restrictions on their products Michael Tait, Jacques Verstraëte Department of Mathematics University of California at San Diego 9500 Gilman Drive, La Jolla, California 9093-011, USA arxiv:1404.661v1 [math.co] 4 Apr 014 Abstract A product-injective labeling of a graph G is an injection χ : V(G Z such that χ(uχ(v χ(xχ(y for any distinct edges uv,xy E(G. Let P(G be the smallest N 1 such that there exists a product-injective labeling χ : V(G [N]. Let P(n,d be the maximum possible value of P(G over n-vertex graphs G of maximum degree at most d. In this paper, we determine the asymptotic value of P(n,d for all but a small range of values of d relative to n. Specifically, we show that there exist constants a,b > 0 such that P(n,d n if d n(logn a and P(n,d nlogn if d n(logn b. 1. Introduction Let G be a graph. A product-injective labeling of G is an injection χ : V(G Z such that χ(u χ(v χ(x χ(y for distinct edges uv,xy E(G. Let P(G denote the smallest positive integer N such that there is a product-injective labeling χ : V(G [N]. In this paper, our main results give asymptotically tight bounds on P(G relative to the maximum degree d and number of vertices of the graph G, for all but a small range of values of d n 1. Let P(n,d be the maximum possible value of P(G over n-vertex graphs G of maximum degree at most d. Specifically, we prove the following theorem: Theorem 1. There exist constants a,b > 0 such that (i P(n,d n if d n(logn a and (ii P(n,d nlogn if d n(logn b. An old result of Erdős [4] implies P(K n nlogn, whereas Theorem 1 shows that P(G nlogn for graphs which are much sparser than K n. The labeling of the vertices of any n-vertex graph G with the first n prime numbers is always a product-injective labeling from [N] where N nlogn, via the Prime Number Theorem. An analogous result to Theorem 1 for labelings of graphs where differences or sums are required to be distinct for distinct edges was obtained by Bollobás and Pikhurko [3], where a change in behavior was also observed around d = n. Corresponding author Research supported by NSF Grant DMS-1101489. Email addresses: mtait@math.ucsd.edu (Michael Tait, jverstra@math.ucsd.edu (Jacques Verstraëte Preprint submitted to European Journal of Combinatorics
Theorem 1 will be proved with a > log and b > 4.5; while our method allows these values to be slightly improved, new ideas would be needed to determine P(n, d for all the intermediate values of d. In fact, the proof of Theorem 1(ii establishes the much stronger result that if G is the random graph on n vertices with edge-probability d/n and d n(logn b, then P(G nlogn almost surely as n. We also remark that Theorem 1 determines the maximum value of P(G over n-vertex graphs with m edges for almost all possible values of m. Notation and Organization. The paper is organized as follows. The proof of Theorem 1 uses the modified local lemma, which we state in Section, together with some facts on the distribution of the number of divisors function τ. The proof of Theorem 1(i is given in Section 3, and Theorem 1(ii is proved in Section 4. For real numbers y x 1, we use the notation [x] = {1,,..., x } and [x,y] = [y]\[x]. Let the Erdős-Rényi random graph, G n,p, be a graph chosen from the probability space G n,p where edges of K n are present in G n,p independently with probability p. For background on random graphs, see Bollobás []. All logarithms will be in the natural base, and all graphs will be simple and finite. If (A n n N is a sequence of events in a probability space, then we say A n occurs almost surely as n if lim n P(A n = 1. We write f(n g(n for functions f,g : Z + R if f(n/g(n 1 as n and f(n g(n if f(n/g(n 0 as n.. Preliminaries To prove Theorem 1, we make use of a probabilistic result known as the modified local lemma, together with some well-known facts from analytic number theory regarding the number of divisors of positive integers. Modified local lemma. The modified local lemma, which is a version of the Lovász Local Lemma (see Alon and Spencer [1], page 65, is used in the following form: Proposition 1. Let A 1,...,A n be events in a probability space and for each i [n], let (J i,k i be a partition of [n]\{i}. If there exists γ [0,1 such that ( P A i A k γ(1 max J i γ k K then ( n P A i > 0. i=1 Distribution of the number of divisors. For a natural number k, let τ(k be the number of divisors of k, and let Ω(k be the number of prime power divisors of k. The Hardy-Ramanujan Theorem [5] gives {x N : Ω(x loglogn loglogn} N as N. Since τ(n Ω(n, one has the following result:
Proposition. Let ω(n as N. Then {n N : τ(n (logn log ω(n loglogn } N. In fact it turns out that Ω and logτ have normal orders for more on normal orders see Tenenbaum [7]. 3. Proof of Theorem 1(i We show that P(G n for any graph G with V(G = [n] and maximum degree d n(logn log ω(n loglogn, where ω(n and ω(n loglogn. This in turn shows that Theorem 1(i holds for any a > log. Let m = 4n/ω(n, and let L be the set of the first n+m natural numbers with at most t = ω(n 1 (logn log ω(n loglogn divisors. Since ω(n loglogn and m n, Proposition shows that maxl n+m n. Now uniformly and randomly select an n-element subset {l 1,l,...,l n } of L and define the injective labeling χ(i = l i. For an unordered pair {xy,uv} ( E(G of distinct edges of G, let A xy,uv be the event χ(xχ(y = χ(uχ(v and define ( E(G J xy,uv = {A jk,rs : {j,k,r,s} {x,y,u,v} } and K xy,uv = \J xy,uv {A xy,uv }. We apply the modified local lemma, Proposition 1, to the events A xy,uv. Fixing any set K K xy,uv, the set M := L\{χ(z : z V(G\{u,v,x,y}} has size at least m + 4. For any labels χ(u,χ(v M, the number of ways of choosing χ(x,χ(y M such that χ(xχ(y = χ(uχ(v is at most Therefore τ(χ(uχ(v τ(χ(uτ(χ(v t. P(A xy,uv {jk,rs} K A jk,rs t < t m. Note that regardless of the labeling of u,v,x and y, none of the events A jk,rs : {jk,rs} K occur, since only edges which contain at least one of u,v,x and y are affected by the labeling of u,v,x and y. For any {xy,uv} ( E(G, ( M J xy,uv 4d E(G d n. Taking γ = 1/(4d n, and using m 16d t n, we find γ(1 γmax J xy,uv 1 8d n t m. By the modified local lemma, the probability that none of the events A xy,uv occur is positive. In otherwords,thereexistsaproduct-injectivelabelingχ : V(G [N]whereN = maxl n. 3
4. Proof of Theorem 1(ii In this section, we prove that labeling with primes is asymptotically optimal for graphs that are much less dense than K n, namely for the random graph G n,d/n with d n(logn b and b > 4.5. Since G n,d/n for d n(logn b has maximum degree asymptotic to d, this is enough for Theorem 1(ii. Throughout this section, if H is a graph then C 4 (H is the number of 4-cycles in H. 4.1. Counting 4-cycles Lemma 1. Let B = B(U,V be a bipartite graph with U = m and V = n, and let d be the average degree of the vertices in V. If nd 4m and d, then C 4 (B n d 4 64m. Proof. This is a standard exercise in applying Jensen s Inequality, but we include the proof for completeness. Let M = ( m and let d(u,v be the codegree of u and v, that is, the number of vertices of B adjacent to both u and v. Then the number C 4 (B of 4-cycles in B is precisely C 4 (B = ( d(u,v. {u,v} U Let M = ( m. By Jensen s Inequality, and since we have By Jensen s Inequality again, Therefore Since nd 4m, and ( x 1 {u,v} Ud(u,v = w V C 4 (B M( 1 M w V ( d(w ( d(w ( ( d(w d n. w V n d C 4 (B M( M(. 4 x for x, ( n d nd4 M m.,. Using ( x 1 4 x again for x, This proves the lemma. C 4 (B n d 4 64M n d 4 64m. 4
4.. Counting solutions to uv = xy A solution to uv = xy is non-trivial if {u,v} {x,y}. Lemma. For all ε > 0, there exist δ > 0 and n 0 (ε such that for n n 0 (ε, if A [n] and A (1+εn/logn, then the number of non-trivial quadruples {a,b,c,d} ( A 4 satisfying ab = cd is at least δn (logn 8. Proof. Let n 0 (ε be the smallest positive integer such that for n n 0 (ε, ( π(n π n (logn 3 ε n (logn. (1 ε n (logn 4 (1+ 1 ε n logn n (logn 6. ( π(n. (3 π(n /3 4(logn 6. (4 Note that the last pair of inequalities is possible since π(n n/logn by the Prime Number Theorem. We shall prove the lemma with δ = 14 ε 4 and n n 0 (ε. Consider the bipartite graph H = H(U,V with parts U = [n /3 ] P and V = [ n], where P comprises the primes in the interval [n /3,n], and where uv E(H if there exists a A such that a = uv with u v. Erdős [4] made the following observation: for any a [n], there exist u U and v V such that a = uv and u v. Consequently, E(H = A. If {uv, vw, wx, xu} is a 4-cycle in H, then uv, wx A and vw,xu A and (uv(wx = (vw(ux. Therefore C 4 (H is the number of non-trivial solutions to ab = cd with a,b,c,d A. For the remainder of the proof, we show C 4 (H δn (logn 8. Let k 0 be the largest integer k such that k+1 < n/(logn 3. For 1 k k 0, let U k := {u U : k 1 n u < k n} and V k := {v V : v 1 k n}. Denote by H k the subgraph of H induced by U k and V k. Also, let H 0 be the subgraph of H induced by U 0 and V 0, where U 0 = {u U : u > n/(logn 3 } and V 0 = {v V : v (logn 3 }. Then H = k 0 k=0 H k. We consider the subgraphs H k : k 1 separately from H 0. Claim 1. If for some k [k 0 ], E(H k εn/(logn, then C 4 (H k δn (logn 8. Proof. The average degree in H k of vertices in V k is d = E(H k V k εk n (logn. 5
Since n n 0 (ε, (1 gives d and ( gives V k d = E(H k 4 U k. By Lemma 1 with m = U k, ε 4 n C 4 (H k 14 (logn 8 = δn (logn 8. This proves the claim. Since C 4 (H C 4 (H k, we are done if E(H k εn/(logn for some k [k 0 ], so we assume this is not the case for any k [k 0 ]. Then Next we consider H 0. k 0 k=1 Claim. If C 4 (H < δn (logn 8, then E(H k εk 0n (logn < εn 4logn. (5 H 0 < π(n+ 16δ1/ n logn. (6 Proof. Let Ũ0 comprise all vertices of U 0 of degree at least two in H 0 and let H 0 be the subgraph of H 0 induced by Ũ0 V 0. Then E(H 0 \ H 0 U 0 π(n (7 Let d be the average degree in H 0 of the vertices in Ũ0. Then d and by (4, Ũ0 d 4 Ũ0 4 V 0. By Lemma 1 with m = V 0, Since C 4 (H 0 < δn (logn 8 and m (logn 3, (8 gives C 4 ( H 0 Ũ0 d 4 64m E( H 0 64m. (8 E( H 0 < 8δ 1/ (logn 4 mn < 16δ1/ n logn. Together with (7, this completes the proof of Claim. We now complete the proof of the lemma. By (5 and (6, k 0 E(H E(H k < π(n+ 16δ1/ n logn + εn 4logn. k=0 Since δ = 14 ε 4, the last two terms above are at most εn/logn. By (3, π(n (1 + ε/n/logn, so we conclude E(H < (1 + εn/logn. Since A = E(H and A (1 + εn/ log n, this contradiction completes the proof. 6
4.3. Proof of Theorem 1(ii Let ε > 0, and let δ be given by Lemma. Let p = (logn 4.5 /(δ n. For a fixed labeling χ : V(G n,p Z, let P(χ denote the probability that χ is a product-injective labeling of G = G n,p. To prove Theorem 1(ii, we show that if n (1 + εn/logn, then the expected number E of product-injective labelings χ : V(G [N] satisfies E = χ:v(g [N] P(χ ( N n maxp(χ 1. (9 χ To prove this, we show P(χ N n for every fixed labeling χ : V(G [N]. Let k [N ], and let g k be the number of representations (for the given function χ of the form k = χ(iχ(j. Then for χ to be product-injective, for each k, at most one of the g k possible edges {i,j} with k = χ(iχ(j may be selected to be in the random graph G. Therefore, P(χ = (1 p g k +g k p(1 p gk 1. (10 N k=1 For a real-valued function f, let f + = max{f,0}. Then by Lemma, if n n 0 (ε, then (g k 1 + δn (logn 8. (11 N k=1 If g i g j +, then (10 increases by replacing g i with g i 1 and g j with g j +1. So by (11 P(χ ( (1 p +p(1 p g = (1 p g/ e p g/, where g = δn (logn 8. Since p g 4nlogn, P(χ n n N n. This proves (9, and completes the proof of Theorem 1(ii. References [1] N. Alon, J. Spencer. The Probabilistic Method, Wiley, New York (000. [] B. Bollobás. Random Graphs, Cambridge university press, 001. [3] B. Bollobás and O. Pikhurko. Integer sets with prescribed pairwise differences being distinct. European J. Combin. 6 (005, no. 5, 607 616. [4] P. Erdős, On sequences of integers no one of which divides the product of two others and on some related problems. Tomsk. Gos. Univ. Ucen. Zap. (1938, 74-8. [5] G. Hardy and S. Ramanujan. Thenormal number of primefactors of a numbern. Quarterly Journal of Mathematics 48 (1917, 76 9. [6] M. Tait, J. Verstraëte. Sum-injective labellings of graphs. Preprint (014. [7] G. Tenenbaum. Introduction to analytic and probabilistic number theory, Cambridge, Cambridge University Press, 1995, Cambridge studies in advanced mathematics, No. 46. 7