Distance Graphs on the Integers

We consider several extremal problems concerning representations of graphs as distance graphs on the integers. Given a graph $G=(V,E)$, we wish to find an injective function $\phi:V\to{\mathbb Z}^+=\{1,2,\dots\}$ and a set ${\mathcal D}\subset{\mathbb Z}^+$ such that $\{u,v\}\in E$ if and only if $|\phi(u)-\phi(v)|\in{\mathcal D}$.Let $s(n)$ be the smallest $N$ such that any graph $G$ on $n$ vertices admits a representation $(\phi_G,{\mathcal D}_G)$ such that $\phi_G(v)\leq N$ for all $v\in V(G)$. We show that $s(n)=(1+o(1))n^2$ as $n\to\infty$. In fact, if we let $s_r(n)$ be the smallest $N$ such that any $r$-regular graph $G$ on $n$ vertices admits a representation $(\phi_G,{\mathcal D}_G)$ such that $\phi_G(v)\leq N$ for all $v\in V(G)$, then $s_r(n)=(1+o(1))n^2$ as $n\to\infty$ for any $r=r(n)\gg\log n$ with $rn$ even for all $n$.Given a graph $G=(V,E)$, let $D_{\rm e}(G)$ be the smallest possible cardinality of a set ${\mathcal D}$ for which there is some $\phi\:V\to{\mathbb Z}^+$ so that $(\phi,{\mathcal D})$ represents $G$. We show that, for almost all $n$-vertex graphs $G$, we have \begin{equation*} D_{\rm e}(G)\geq\frac{1}{2}\binom{n}{2}-(1+o(1))n^{3/2}(\log n)^{1/2}, \end{equation*} whereas for some $n$-vertex graph $G$, we have \begin{equation*} D_{\rm e}(G)\geq\binom{n}{2}-n^{3/2}(\log n)^{1/2+o(1)}.\end{equation*} Further extremal problems of similar nature are considered.

[1]  H. Warren Lower bounds for approximation by nonlinear manifolds , 1968 .

[2]  Edward A. Bender,et al.  The Asymptotic Number of Labeled Graphs with Given Degree Sequences , 1978, J. Comb. Theory A.

[3]  P. Erdös,et al.  On a problem of sidon in additive number theory, and on some related problems , 1941 .

[4]  Brendan D. McKay,et al.  Asymptotic Enumeration by Degree Sequence of Graphs of High Degree , 1990, Eur. J. Comb..

[5]  J. Pintz,et al.  The Difference Between Consecutive Primes, II , 2001 .

[6]  Oleg Pikhurko Dense edge-magic graphs and thin additive bases , 2006, Discret. Math..

[7]  Alan M. Frieze,et al.  Random graphs , 2006, SODA '06.

[8]  J. Singer A theorem in finite projective geometry and some applications to number theory , 1938 .

[9]  László Babai,et al.  Sidon Sets in Groups and Induced Subgraphs of Cayley Graphs , 1985, Eur. J. Comb..

[10]  Ronald L. Graham,et al.  Concrete mathematics - a foundation for computer science , 1991 .

[11]  B. Linström,et al.  An inequality for B2-sequences , 1969 .

[12]  D. Falikman Proof of the van der Waerden conjecture regarding the permanent of a doubly stochastic matrix , 1981 .

[13]  B. Lindström On B2-sequences of vectors , 1972 .

[14]  Vojtech Rödl,et al.  On the dimension to represent a graph by a unit distance graph , 1990, Graphs Comb..

[15]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[16]  Béla Bollobás,et al.  Integer sets with prescribed pairwise differences being distinct , 2005, Eur. J. Comb..

[17]  E. Upfal,et al.  Large Regular Factors in Random Graphs , 1984 .

[18]  H. Wilf On the Permanent of a Doubly Stochastic Matrix , 1966, Canadian Journal of Mathematics.

[19]  Murali K. Ganapathy,et al.  On the number of zero-patterns of a sequence of polynomials , 2001 .

[20]  Brendan D. McKay,et al.  Asymptotic enumeration by degree sequence of graphs with degreeso(n1/2) , 1991, Comb..