arXiv subjects

Don Coppersmith

Publications and source records attributed to Don Coppersmith.

7 recordsLinked to original sources

arXiv2023

Ideal solutions in the Prouhet-Tarry-Escott problem

For given positive integers $m$ and $n$ with $m<n$, the Prouhet-Tarry-Escott problem asks if there exist two disjoint multisets of integers of size $n$ having identical $k$th moments for $1\leq k\leq m$; in the ideal case one requires $m=n-1$, which is maximal. We describe some searches for ideal solutions to the Prouhet-Tarry-Escott problem, especially solutions possessing a particular symmetry, both over $\mathbb{Z}$ and over the ring of integers of several imaginary quadratic number fields. Over $\mathbb{Z}$, we significantly extend searches for symmetric ideal solutions at sizes $9$, $10$, $11$, and $12$, and we conduct extensive searches for the first time at larger sizes up to $16$. For the quadratic number field case, we find new ideal solutions of sizes $10$ and $12$ in the Gaussian integers, of size $9$ in $\mathbb{Z}[i\sqrt{2}]$, and of sizes $9$ and $12$ in the Eisenstein integers.

math.NT↗

arXiv2017

Counting De Bruijn sequences as perturbations of linear recursions

Every binary De~Bruijn sequence of order n satisfies a recursion 0=x_n+x_0+g(x_{n-1}, ..., x_1). Given a function f on (n-1) bits, let N(f; r) be the number of functions generating a De Bruijn sequence of order n which are obtained by changing r locations in the truth table of f. We prove a formula for the generating function \sum_r N(\ell; r) y^r when \ell is a linear function. The proof uses a weighted Matrix Tree Theorem and a description of the in-trees (or rooted trees) in the n-bit De Bruijn graph as perturbations of the Hamiltonian paths in the same graph.

math.CO↗

arXiv2012

On curves contained in convex subsets of the plane

If K' and K are convex bodies of the plane such that K' is a subset of K then the perimeter of K' is not greater than the perimeter of K. We obtain the following generalization of this fact. Let K be a convex compact body of the plane with the perimeter p and the diameter d and r>1 be an integer. Let s be the smallest number such that for any curve of length greater than s contained in K there is a straight line intersecting the curve at least in r+1 different points. Then s=rp/2 if r is even and s=(r-1)p/2+d if r is odd.

math.MG↗

arXiv2011

Binary Non-tiles

A subset V of GF(2)^n is a tile if GF(2)^n can be covered by disjoint translates of V. In other words, V is a tile if and only if there is a subset A of GF(2)^n such that V+A = GF(2)^n uniquely (i.e., v + a = v' + a' implies that v=v' and a=a' where v,v' in V and a,a' in A). In some problems in coding theory and hashing we are given a putative tile V, and wish to know whether or not it is a tile. In this paper we give two computational criteria for certifying that V is not a tile. The first involves impossibility of a bin-packing problem, and the second involves infeasibility of a linear program. We apply both criteria to a list of putative tiles given by Gordon, Miller, and Ostapenko in that none of them are, in fact, tiles.

cs.DM↗

arXiv2003

Random MAX SAT, Random MAX CUT, and Their Phase Transitions

Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-Θ(1/n)$; for large $c$, it is $((3/4)c + Θ(\sqrt{c}))n$; for $c = 1+\eps$, it is at least $(1+\eps-O(\eps^3))n$ and at most $(1+\eps-Ω(\eps^3/\ln \eps))n$; and in the ``scaling window'' $c= 1+Θ(n^{-1/3})$, it is $cn-Θ(1)$. In particular, just as the decision problem undergoes a phase transition, our optimization problem also undergoes a phase transition at the same critical value $c=1$. Nearly all of our results are established without reference to the analogous propositions for decision 2-SAT, and as a byproduct we reproduce many of those results, including much of what is known about the 2-SAT scaling window. We consider ``online'' versions of MAX-2-SAT, and show that for one version, the obvious greedy algorithm is optimal. We can extend only our simplest MAX-2-SAT results to MAX-k-SAT, but we conjecture a ``MAX-k-SAT limiting function conjecture'' analogous to the folklore satisfiability threshold conjecture, but open even for $k=2$. Neither conjecture immediately implies the other, but it is natural to further conjecture a connection between them. Finally, for random MAXCUT (the size of a maximum cut in a sparse random graph) we prove analogous results.

math.CO↗

arXiv2001

The diameter of a long range percolation graph

We consider the following long range percolation model: an undirected graph with the node set $\{0,1,...,N\}^d$, has edges $(\x,\y)$ selected with probability $\approx β/||\x-\y||^s$ if $||\x-\y||>1$, and with probability 1 if $||\x-\y||=1$, for some parameters $β,s>0$. This model was introduced by Benjamini and Berger, who obtained bounds on the diameter of this graph for the one-dimensional case $d=1$ and for various values of $s$, but left cases $s=1,2$ open. We show that, with high probability, the diameter of this graph is $Θ(\log N/\log\log N)$ when $s=d$, and, for some constants $0<η_1<η_2<1$, it is at most $N^{η_2}$, when $s=2d$ and is at least $N^{η_1}$ when $d=1,s=2,β<1$ or $s>2d$. We also provide a simple proof that the diameter is at most $\log^{O(1)}N$ with high probability, when $d<s<2d$, established previously by Berger and Benjamini.

math.PR↗

arXiv1994

On the minimum latency problem

We are given a set of points $p_1,\ldots , p_n$ and a symmetric distance matrix $(d_{ij})$ giving the distance between $p_i$ and $p_j$. We wish to construct a tour that minimizes $\sum_{i=1}^n \ell(i)$, where $\ell(i)$ is the {\em latency} of $p_i$, defined to be the distance traveled before first visiting $p_i$. This problem is also known in the literature as the {\em deliveryman problem} or the {\em traveling repairman problem}. It arises in a number of applications including disk-head scheduling, and turns out to be surprisingly different from the traveling salesman problem in character. We give exact and approximate solutions to a number of cases, including a constant-factor approximation algorithm whenever the distance matrix satisfies the triangle inequality.

math.CO↗