Apakah ada definisi yang diterima untuk median sampel di pesawat, atau ruang yang dipesan lebih tinggi?

33

Jika ya, apa? Jika tidak, mengapa tidak?

Untuk sampel di telepon, median meminimalkan deviasi absolut total. Tampaknya wajar untuk memperluas definisi ke R2, dll., Tetapi saya belum pernah melihatnya. Tapi kemudian, saya sudah lama berada di bidang kiri.

phv3773
sumber

Jawaban:

19

Saya tidak yakin ada satu definisi yang diterima untuk median multivariat. Yang saya kenal adalah titik median Oja , yang meminimalkan jumlah volume simplisia yang terbentuk dari subset poin. (Lihat tautan untuk definisi teknis.)

Pembaruan: Situs yang dirujuk untuk definisi Oja di atas juga memiliki makalah yang bagus yang mencakup sejumlah definisi median multivarian:

ars
sumber
1
Referensi yang bagus: terima kasih. Ini secara komprehensif mencakup semua yang disebutkan di sini.
whuber
Situs web yang sama juga berisi ikhtisar nive dalam html: cgm.cs.mcgill.ca/~athens/Geometric-Estimators/intro.html
Aditya
15

Seperti yang dikatakan @Ars , tidak ada definisi yang diterima (dan ini adalah poin yang bagus). Ada alternatif umum keluarga cara untuk menggeneralisasi kuantil pada , saya pikir yang paling signifikan adalah:Rd

  • Generalisasi proses kuantil Misalkan menjadi ukuran empiris (= proporsi pengamatan dalam A ). Kemudian, dengan A subset dipilih dengan baik dari set Borel di R d dan λ ukuran nyata dihargai, Anda dapat menentukan fungsi kuantil empiris:Pn(A)AARdλ

    Un(t)=inf(λ(A):Pn(A)tAA)

    Misalkan Anda dapat menemukan satu yang memberi Anda minimum. Kemudian set (atau elemen dari himpunan) A 1 / 2 - εA 1 / 2 + ε memberikan Anda median ketika ε dibuat cukup kecil. Definisi median diperoleh kembali ketika menggunakan A = ( ] - , x ] x R ) dan λ ( ] - , x ] ) = x . ArsAtA1/2ϵA1/2+ϵϵA=(],x]xR)λ(],x])=xjawaban jatuh ke dalam kerangka itu saya kira ... lokasi setengah ruang tukey dapat diperoleh dengan menggunakan dan λ ( H x ) = x (dengan x R , sebuah R d ).A(a)=(Hx=(tRd:a,tx)λ(Hx)=xxRaRd

  • variational definition and M-estimation The idea here is that the α-quantile Qα of a random variable Y in R can be defined through a variational equality.

    • The most common definition is using the quantile regression function ρα (also known as pinball loss, guess why ? ) Qα=arginfxRE[ρα(Yx)]. The case α=1/2 gives ρ1/2(y)=|y| and you can generalize that to higher dimension using l1jarak seperti yang dilakukan di @Srikant Answer . Ini adalah median teoretis tetapi memberi Anda median empiris jika Anda mengganti ekspektasi dengan ekspektasi empiris (berarti).

    • Qα=Argsups(sαf(s))f(s)=12E[|sY||Y|+s] for sR. He gives a lot of deep reasons for that (see the paper ;)). Generalizing this to higher dimensions require working with a vectorial α and replacing sα by s,α but you can take α=(1/2,,1/2).

  • Partial ordering You can generalize the definition of quantiles in Rd as soon as you can create a partial order (with equivalence classes).

Obviously there are bridges between the different formulations. They are not all obvious...

robin girard
sumber
Nice answer, Robin!
ars
12

There are distinct ways to generalize the concept of median to higher dimensions. One not yet mentioned, but which was proposed long ago, is to construct a convex hull, peel it away, and iterate for as long as you can: what's left in the last hull is a set of points that are all candidates to be "medians."

"Head-banging" is another more recent attempt (c. 1980) to construct a robust center to a 2D point cloud. (The link is to documentation and software available at the US National Cancer Institute.)

The principal reason why there are multiple distinct generalizations and no one obvious solution is that R1 can be ordered but R2, R3, ... cannot be.

whuber
sumber
Any measure that coincides with the usual median when restricted to R1 is a candidate generalization. There must be a lot of them.
phv3773
phv:> one can ask for 'the' generalization to preserve (in higher dimensions) some of the interesting properties of the median. This severly limits the number of candidates (see the commenting after Srikant's answer below)
user603
@Whuber:> then notion of ordering can be generalized to R^n for unimodal distributions (see my answer below).
user603
@kwak: could you elaborate a little? The usual mathematical definition of an ordering of a space is independent of any kind of probability distribution, so you must implicitly have some additional assumptions in mind.
whuber
1
@Whuber:> You state: "R1 can be ordered but R2, R3, ... cannot be". R2,..,R3 can be ordered in many ways by mapping from Rn to R . One such way is the tukey depth. It has many important properties (robustness to some extend, non parametric, invariance,...) but these only hold for the case of unimodal distributions. Let me know if you want more details.
user603
6

The Tukey halfspace median can be extended to >2 dimensions using DEEPLOC, an algorithm due to Struyf and Rousseeuw; see here for details.

The algorithm is used to approximate the point of greatest depth efficiently; naive methods which attempt to determine this exactly usually run afoul of (the computational version of) "the curse of dimensionality", where the runtime required to calculate a statistic grows exponentially with the number of dimensions of the space.

Gary Campbell
sumber
0

I do not know if any such definition exists but I will try and extend the standard definition of the median to R2. I will use the following notation:

X, Y: the random variables associated with the two dimensions.

mx, my: the corresponding medians.

f(x,y): the joint pdf for our random variables

To extend the definition of the median to R2, we choose mx and my to minimize the following:

E(|(x,y)(mx,my)|

The problem now is that we need a definition for what we mean by:

|(x,y)(mx,my)|

The above is in a sense a distance metric and several possible candidate definitions are possible.

Eucliedan Metric

|(x,y)(mx,my)|=(xmx)2+(ymy)2

Computing the median under the euclidean metric will require computing the expectation of the above with respect to the joint density f(x,y).

Taxicab Metric

|(x,y)(mx,my)|=|xmx|+|ymy|

Computing the median in the case of the taxicab metric involves computing the median of X and Y separately as the metric is separable in x and y.


sumber
Srikant:> No. The definition has to have two important feature of the univariate median. a) Invariant to monotone transformation of the data, b) robust to contamination by outliers. None of the extentions you propose have these. The Tukey depth has these qualities.
user603
@kwak What you say makes sense.
@Srikant:> Check the R&S paper cited by Gary Campbell above ;). Best,
user603
@kwak On thinking some more, the taxicab metric does have the features you mentioned as it basically reduces to univariate medians. no?
2
@Srikant:> there are no incorrect answer to phv's questions because there are no 'good answers' either; this area of research is still under development. I simply wanted to point out why it is still an open problem.
user603