Skip to main content
added 164 characters in body
Source Link
Brendan McKay
  • 37.7k
  • 3
  • 80
  • 147

No polynomial will suffice for $f$ since sets with the same moments up to order equal to the degree of $f$ are indistinguishable. To determine the set, moments of order up to the size of the set are needed.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So faster than polynomial growth is also insufficient in general.

However, if $f(x)$ is monotonic and increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$s as $\lambda\to -\infty$. ThenSpecifically, the sum is asymptotic to $me^{(x_{max}-\lambda)^\alpha}$ where $m$ is the number of times the largest value $x_i$$x_{max}$ is in the set. From this $m$ and $x_{max}$ can be removed anddetermined. Then remove $me^{(x_{max}-\lambda)^\alpha}$ from the process repeatedsum and repeat.

No polynomial will suffice for $f$ since sets with the same moments up to order equal to the degree of $f$ are indistinguishable. To determine the set, moments of order up to the size of the set are needed.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So faster than polynomial growth is also insufficient in general.

However, if $f(x)$ is monotonic and increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$ as $\lambda\to -\infty$. Then the largest $x_i$ can be removed and the process repeated.

No polynomial will suffice for $f$ since sets with the same moments up to order equal to the degree of $f$ are indistinguishable. To determine the set, moments of order up to the size of the set are needed.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So faster than polynomial growth is also insufficient in general.

However, if $f(x)$ is monotonic and increases faster than $e^x$, the set can be reconstructed. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$s as $\lambda\to -\infty$. Specifically, the sum is asymptotic to $me^{(x_{max}-\lambda)^\alpha}$ where $m$ is the number of times the largest value $x_{max}$ is in the set. From this $m$ and $x_{max}$ can be determined. Then remove $me^{(x_{max}-\lambda)^\alpha}$ from the sum and repeat.

added 231 characters in body
Source Link
Brendan McKay
  • 37.7k
  • 3
  • 80
  • 147

No polynomial will suffice for $f$ since sets with the same moments up to order equal to the degree of $f$ are indistinguishable. To determine the set, moments of order up to the size of the set are needed.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So monotonic and increasing morefaster than linearlypolynomial growth is not sufficientalso insufficient in general. 

However, if $f(x)$ is monotonic and increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$ as $\lambda\to -\infty$. Then the largest $x_i$ can be removed and the process repeated.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So monotonic and increasing more than linearly is not sufficient. However, if $f(x)$ increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$ as $\lambda\to -\infty$. Then the largest $x_i$ can be removed and the process repeated.

No polynomial will suffice for $f$ since sets with the same moments up to order equal to the degree of $f$ are indistinguishable. To determine the set, moments of order up to the size of the set are needed.

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So faster than polynomial growth is also insufficient in general. 

However, if $f(x)$ is monotonic and increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$ as $\lambda\to -\infty$. Then the largest $x_i$ can be removed and the process repeated.

Source Link
Brendan McKay
  • 37.7k
  • 3
  • 80
  • 147

If $f(x) = e^x$, then $\sum f(x_i-\lambda) = e^{-\lambda}\sum e^{x_i}$ so no information can be obtained other than $\sum e^{x_i}$. So monotonic and increasing more than linearly is not sufficient. However, if $f(x)$ increases faster than $e^x$, the set can be reconstructed at least if it has distinct elements. For example, if $f(x)=e^{x^\alpha}$ for $\alpha\gt 1$ then $\sum f(x_i-\lambda)$ is dominated by the largest $x_i$ as $\lambda\to -\infty$. Then the largest $x_i$ can be removed and the process repeated.