1
$\begingroup$

We have two copied sequences of correlated continuous positive random variables that are independent of each other $(X_{n})\perp(Y_{n})$ and equal in distribution $X_{n}\stackrel{dis}{=}Y_{n}$ for each $n\geq 1$ (and with the same correlation structure too so $(X_{n})\stackrel{dis}{=}(Y_{n})$).

(Also, both converge to zero as $n\to +\infty$). We have some more information about their distribution and correlation structure. We are trying to see if we can extract a large common subsequence that are close $$|X_{n_{k}}-Y_{n_{k}}|<\delta_{n_{k}},$$

for ,ideally, very small $\delta_{n_{k}}\to 0$ that is as sharp as possible (it should be smaller than just bounding by the variables themselves that go to zero, so maybe a natural assumption is $\delta_{n}<2E[X_{n}]$). In particular, it would be great to get the following deviation

$$\mathbb{P}\left[\sum_{k=1}^{N} 1\{ |X_{k}-Y_{k}|<\delta_{k}\}<\alpha N \right ]\leq c_{1}e^{-c_{2}N},$$ for constants $\alpha,c_{1},c_{2}>0$.

Any recommendations on articles or approaches will be much appreciated (so that we can see if our particular variables satisfy the assumptions from the literature because as Quas suggested more assumptions will probably be needed).

For the case when $X_{n},Y_{n}$ are integer-valued, there are lots of results (under the keyword "longest common subsequence"). So my guess that my best bet would be to take some discrete approximation and go from there.

Another possibility, would be to study random interval graphs, (vertices are random intervals with iid endpoints and the edges are present when two such intervals intersect). So then here I suppose one can study the random intervals $I_{i}=[-\delta_{i}+X_{i}, X_{i}+\delta_{i}]$ and $J_{i}=[-\delta_{i}+Y_{i}, Y_{i}+\delta_{i}]$ and see if they intersect. But the technology developed so far is mostly about iid endpoints.

$\endgroup$
2
  • 1
    $\begingroup$ Without more hypotheses you can't expect to have any subsequence where the differences are much smaller than the expectation. A simple example is to take $(Z_n)$ to be "uniformly distributed" on the middle thirds Cantor set; define $X_n=a_nZ_n$ and $Y_n=a_n(1-Z_n)$ where $(a_n)$ is some sequence converging to 0. Then $|X_n-Y_n|\ge \frac {a_n}3$ for each $n$, while the expectation of $|X_n-Y_n|$ is of the same order. $\endgroup$ Aug 13, 2021 at 4:23
  • $\begingroup$ @AnthonyQuas Thanks. Actually, we originally said smaller than the mean of $E[X_{n}]=a_{n}/2$ (not of the difference). Also the X and Y were independent of each other. We are mainly trying if there is a sharpest $\delta_{n}$ that will work but it is not sort of the trivial one of bounding by the variables themselves, so even just less than $2E[X_{n}]$, should be reasonable. $\endgroup$ Aug 13, 2021 at 15:25

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.