1
$\begingroup$

I have a question concerning the removal of samples from a set of uniformly distributed samples.

Let $E = \{ X_{ij} \}, 1 \leq i < j \leq n$ be a set of random variables where each $X_{ij}$ is i.i.d. in $\sim [0,1]$. Clearly, $|E| = \binom{n}{2}$. These are the weights of a complete weighted graph, where $X_{ij}$ is indeed the weight between node $i$ and node $j$.

Now, I repeat the following procedure recursively (say for $n/2$ times):

  • Pick a vertex $z \in \{1,n\}$ that verifies the following:
    there exists two other vertices, $p, q \in [1,n], p,q \neq z$ s.t.
    \begin{align} X_{zp} = \arg\min\{ X_{uv} : u=p \text{ or } v=p \} \text{ and } X_{zq} = \arg\max\{ X_{uv} : u=q \text{ or } v=q \} \end{align} There exists two other vertices $p$ and $q$ s.t. the incident edge between $z$ and $p$ is the minimum value among all incident edges of $p$ and the incident edge between $z$ and $q$ is the maximum value among all incident edges of $q$, or viceversa.
    Here a representation

representation

If that's the case, denote $R = \{ X_{uv} \text{ s.t. } z=u \text{ or } z=v \}$.

  • Set $E = E \setminus R$, $n = n-1$.

At every step, I choose a vertex $z$ which verifies the property described above. Then I remove it with all its edges, leaving me with a smaller complete graph.

Would $E$ still be uniformly distributed if pick subsets from it, according to the above rule, and remove them?

$\endgroup$
9
  • 2
    $\begingroup$ When you describe a problem abstractly, using only mathematical symbolism, it's essential that you be perfectly correct about it. You lost me at the point you redefined "$X_{ij}$" because evidently it's a pair of subscripts (that what an "arg min" gives) but you don't seem to be employing it that way. I also found the sequence "$j\ne k\ne i$" confusing because it's ambiguous. Consider, please, explaining your question more clearly by describing what you're doing in terms of the graph (or its adjacency matrix) and/or including a small illustrated example. $\endgroup$ Commented Jan 16 at 15:47
  • $\begingroup$ @whuber Added more explanation and an illustrated example $\endgroup$ Commented Jan 16 at 16:06
  • $\begingroup$ What is $|E|$? A determinant? Is $E$ a matrix? Only half of it is defined. $\endgroup$ Commented Jan 16 at 16:53
  • 1
    $\begingroup$ @AdamO $|E|$ is the cardinal or size of set $E$. $\endgroup$ Commented Jan 16 at 17:46
  • $\begingroup$ With such a question my first step would be to simulate a few small cases. Then try to construct some cases where it might most strongly seem to risk failure (you will need a better understanding of the problem than I do now to figure out a good way to do that). If it's still looking like it holds for all those you can think of, then start looking for a theorem / asking around about existing results. Usually, however, such an exploration, carried out with a little care, is sufficient to disprove most such guesses. It can save a lot of time spent trying to prove false theorems. $\endgroup$ Commented Jan 17 at 0:39

0

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.