Dlaczego rozkład Cauchy'ego nie ma znaczenia?


109

Na podstawie funkcji gęstości rozkładu możemy zidentyfikować średnią (= 0) dla rozkładu Cauchy'ego, tak jak pokazano na poniższym wykresie. Ale dlaczego mówimy, że dystrybucja Cauchy'ego nie ma znaczenia?

wprowadź opis zdjęcia tutaj


2
Polecam referencję Cabeza G., UA. (2013). La Media de la Distribución de Cauchy. Na blogu Apoyo en Matemáticas o średniej rozkładu Cauchy'ego.

Odpowiedzi:


99

Możesz mechanicznie sprawdzić, czy oczekiwana wartość nie istnieje, ale powinna to być fizycznie intuicyjna, przynajmniej jeśli zaakceptujesz zasadę Huygensa i prawo wielkich liczb . Konkluzja Prawa Dużych Liczb kończy się niepowodzeniem dla rozkładu Cauchy'ego, więc nie może mieć znaczenia. Jeśli uśrednisz niezależnych zmiennych losowych Cauchy'ego, wynik nie zbiegnie się do ponieważ z prawdopodobieństwem . Pozostaje rozkładem Cauchy'ego tej samej wielkości. Jest to ważne w optyce.0 n 1n0n1

Rozkład Cauchy'ego to znormalizowana intensywność światła na linii ze źródła punktowego. Zasada Huygensa mówi, że możesz określić intensywność, zakładając, że światło jest ponownie emitowane z dowolnej linii między źródłem a celem. Tak więc intensywność światła na linii oddalonej o metry można ustalić, zakładając, że światło najpierw uderza o linię oddaloną o metr i jest ponownie emitowane pod dowolnym kątem do przodu. Intensywność światła na linii metrów może być wyrażona jako krotnie splot rozkładu światła na linii metr dalej. Oznacza to, że suma niezależnych rozkładów Cauchy'ego jest rozkładem Cauchy'ego skalowanym współczynnikiem .1 n n 1 n n21nn1nn

Gdyby rozkład Cauchy'ego miał średnią, wówczas percentyl krotnego splotu podzielonego przez musiałby zbiegać się do przez Prawo Dużych Liczb. Zamiast tego pozostaje stały. Jeśli zaznaczysz percentyl na (przezroczystej) linii w odległości metra, metrów itd., Wówczas punkty te utworzą linię prostą pod kątem stopni. Nie schylają się w kierunku .n n 0 25 1 2 45 025nn02512450

Mówi to w szczególności o rozkładzie Cauchy'ego, ale powinieneś znać test integralny, ponieważ istnieją inne rozkłady bez żadnych środków, które nie mają jasnej interpretacji fizycznej.


39
+1 Teraz tam jest odpowiedź oświetlania :-) (przepraszam). Nawiasem mówiąc, zasada ta nosi imię Christiaan Huygens, a nie Huygen. Huygens jako pierwszy docenił nowy rozwój prawdopodobieństwa opublikowany w latach 1650 przez Pascala (na podstawie jego listów z Fermatem): był to rachunek Huygensa na temat tych pomysłów (1657), w tym przewidywania, które pierwotnie uzyskało teorię prawdopodobieństwa na matematyce oparł się i utorował drogę dla przełomowego (pośmiertnego) traktatu Jakoba Bernoulli ( Ars Conjectandi , 1713).
whuber

4
Amplitudy są propagowane, a nie intensywności.
Doru Constantin

2
To świetna odpowiedź, ale uważam, że koniec jest mylący: „... zaznacz 25. percentyl na ... linii prostej, pod kątem 45 stopni. Nie wyginają się w kierunku 0.” Samo stwierdzenie jest prawdziwe (jako konsekwencja zasady Huygensa-Fresnela), ale wcześniej było to „podzielone przez ”. Po podzieleniu przez 2 na 2 metry, podzielone przez 3 na 3 metry ..., wówczas przezroczysta linia jest pionowa (prostopadła do ekranu, który przechwytuje światło). Linia kwantylu 45 stopni należy do sumy Cauchy'ego i nie pomaga (jak na razie). n
Lee David Chung Lin

40

Odpowiedź dodana w odpowiedzi na komentarz @ whuber do odpowiedzi Michaela Chernicka (i całkowicie napisany od nowa, aby usunąć błąd wskazany przez whuber).

Mówi się, że wartość całki dla oczekiwanej wartości losowej zmiennej Cauchy'ego jest niezdefiniowana, ponieważ można ją „uczynić” dowolną wartością. Całka (interpretowane w sensie całki Riemanna) jest powszechnie nazywane niepoprawna całka i jej wartość muszą być obliczone jako wartość graniczna: lub

xπ(1+x2)dx
xπ(1+x2)dx=limT1limT2+T1T2xπ(1+x2)dx
xπ(1+x2)dx=limT2+limT1T1T2xπ(1+x2)dx
i oczywiście obie oceny powinny dać tę samą skończoną wartość. Jeśli nie, całka jest określana jako niezdefiniowana. To natychmiast pokazuje, dlaczego średnia zmiennej losowej Cauchy'ego jest niezdefiniowana: wartość graniczna w granicy wewnętrznej jest rozbieżna.

Główna wartość Cauchy'ego jest uzyskiwana jako pojedynczy limit: zamiast podwójnego limitu powyżej. Zasadnicza wartość całki oczekiwanie jest łatwo postrzegane jako , gdyż limitand ma wartość dla wszystkich . Ale nie można tego powiedzieć, że średnia zmiennej losowej Cauchy'ego wynosi . Oznacza to, że średnia jest definiowana jako wartość całki w zwykłym znaczeniu, a nie w sensie wartości głównej.

limTTTxπ(1+x2)dx
00T0

Dla rozważ zamiast tego całkę który zbliża się do wartości granicznej jako . Gdy , otrzymujemy główną wartość omówioną powyżej. Dlatego nie możemy przypisać jednoznacznemu znaczeniu wyrażeniuα>0

TαTxπ(1+x2)dx=TTxπ(1+x2)dx+TαTxπ(1+x2)dx=0+ln(1+x2)2π|TαT=12πln(1+α2T21+T2)=12πln(α2+T21+T2)
ln(α)πTα=10
xπ(1+x2)dx
bez określania, w jaki sposób zbliżono się do dwóch nieskończoności, i zignorowanie tego punktu prowadzi do wszystkich rodzaj komplikacji i niepoprawnych wyników, ponieważ rzeczy nie zawsze są tym, czym się wydają, gdy mleko o głównej wartości udaje śmietankę wartości. Dlatego mówi się, że średnia zmiennej losowej Cauchy'ego jest niezdefiniowana, a nie ma wartości , głównej wartości całki.0

Jeśli ktoś stosuje teoretyczne podejście do prawdopodobieństwa, a całka wartości oczekiwanej jest zdefiniowana w sensie całki Lebesgue'a, to sprawa jest prostsza. istnieje tylko wtedy, gdy jest skończony, a zatem jest niezdefiniowane dla losowej zmiennej Cauchy'ego ponieważ nie jest skończone.g|g|E[X]XE[|X|]


9
Ocena całki środkowej jest niepoprawna: zero, a nie logarytm. Problem faktycznie polega na ocenie dwóch limitów ukrytych w całkach nieskończonych.
whuber

@whuber Dziękujemy za zwrócenie uwagi na błąd. Całkowicie przepisałem swoją odpowiedź, a twój komentarz nie ma już zastosowania.
Dilip Sarwate,

Nie rozumiem, dlaczego oczekiwanie stosunku nie istnieje. Jeśli i są zwykle rozkładane wspólnie ze średnią różną od zera, wówczas średnią podaje się jako , czego mi brakuje? XYZ=XYxyp(x,y)dxdy
Royi,

@Drazick Nie wspomniałem o stosunku dwóch normalnych zmiennych losowych nigdzie w mojej odpowiedzi. Zapytaj kogoś, kto poruszył ten problem w odniesieniu do zmiennych losowych Cauchy'ego.
Dilip Sarwate,

2
@Drazick Sprawdź, czy twoja całka w ogóle istnieje . Ogólnie, jeśli gęstość jest ciągła w sąsiedztwie , E [X ^ {- 1}] $ nie istnieje. X0
Dilip Sarwate

33

Chociaż powyższe odpowiedzi są prawidłowymi objaśnieniami, dlaczego rozkład Cauchyego nie oczekuje, uważam, że stosunek dwóch niezależnych normalnych matematycznych zmiennych jest Cauchy'ego równie pouczający: w rzeczy samej have a drugie oczekiwanie to .X1/X2N(0,1)

E[|X1||X2|]=E[|X1|]×E[1|X2|]
+

1
Czy„złożona” losowa zmienna Cauchy'ego, gdy wiem, że jest standardowym Cauchy? Jak znaleźć rozkład? |X1X2|X1X2|X1X2|
StubbornAtom

1
Tak, jest to wartość bezwzględna zmienności Cauchy'ego, która ma zatem gęstość stosunku do dodatnich liczb rzeczywistych. f(x)+f(x)
Xi'an

Jeśli złożysz rozkład normalny, tonie jest nieskończonością? E1/|X2|
Albert Chen

To jest nieskończoność.
Xi'an

22

Cauchy nie ma znaczenia, ponieważ punkt, który wybierzesz (0), nie jest średnią. Jest to mediana i tryb . Średnia dla absolutnie ciągłego rozkładu jest zdefiniowana jako gdzie jest funkcją gęstości, a całka przejmuje domenę (która w przypadku Cauchy'ego wynosi do ). Dla gęstości Cauchy'ego ta całka po prostu nie jest skończona (połowa od do to a połowa od do to ).xf(x)dxff00


9
Nie krytykuję cię, @Dipip: Zwiększam twoją obserwację. Bardzo interesujące jest to, że istnienie zerowej wartości głównej może skusić nas do zdefiniowania średniej rozkładu Cauchy'ego (lub średniej dowolnego RV) jako wartości głównej całki. To wnika o wiele głębiej w naturę tego pytania, które jest wyrażone przez stwierdzenie, że całka jest nieskończona lub nieokreślona: a mianowicie, dlaczego główna wartość nie działa ? Dlaczego użycie tego jako środka byłoby nieuzasadnione?
whuber

5
@ whuber Interesujące jest również to, że jeśli obetniesz całkę przy -a i + a dla dowolnego a> 0, otrzymasz 0. Więc przyjęcie granicy jako podejścia ∞ symetrycznej całki daje 0. Kolejny powód, dla którego warto zapytać, dlaczego nie jest 0 średnia.
Michael Chernick,

10
@whuber: Biorę twoje ostatnie pytanie w przedostatniej uwadze, aby być retoryczne; w każdym razie chcemy absolutnej konwergencji i „powodem” w mojej głowie jest to, że chcemy, aby rzeczy zachowywały się jak obszary. W szczególności musimy być w stanie pokroić rzeczy (funkcje) na kawałki i zmienić je do woli, bez zakłócania otrzymanej odpowiedzi. Nie możemy zrobić tego cięcia i przestawiania funkcji liniowej względem rozkładu Cauchy'ego, dlatego musimy nalegać, aby jego średnia nie istniała.
kardynał

9
To, @cardinal, jest dobrą odpowiedzią! Nie byłem po prostu retoryczny, ponieważ samo pytanie brzmi: „dlaczego mówimy, że rozkład Cauchy'ego nie ma znaczenia?”. Twierdzenie, że oczekiwanie jest niezdefiniowane, może zaspokoić to, co nieuczciwe, ale możliwość istnienia rozsądnej alternatywnej definicji całki - i zapewni intuicyjnie poprawną odpowiedź! - powinna sprawiać kłopot ludziom. Twoja odpowiedź jest zbliżona do tego, co miałem na myśli, ale wciąż jest niepełna. Myślę, że zadowalająca odpowiedź zidentyfikowałaby ważne twierdzenia teorii statystycznej, które zawodzą, gdy pracujemy z całkami warunkowo zbieżnymi.
whuber

7
@Dipip Też tak myślałem, ale po zastanowieniu uważam, że jest to nieco trudniejsze niż się wydaje. Na przykład nie ma problemu z Central Limit Theorem: wymaganie wariancji automatycznie gwarantuje oczekiwanie, oczywiście. Wiele twierdzeń zostało udowodnionych przy użyciu nierówności Czebyszewa, w której raz jeszcze mamy gwarancję średniej. Naprawdę więc jestem ciekawy: jakie są wielkie twierdzenia stosowane w praktyce statystycznej, w której naprawdę musimy być świadomi problemów z warunkowo zbieżnymi, ale nie zbieżnymi oczekiwaniami?
whuber

16

Rozkład Cauchy'ego najlepiej jest traktować jako rozkład równomierny na kole jednostkowym, więc byłoby zaskakujące, gdyby uśrednianie miało sens. Załóżmy, że jest jakąś „funkcją uśredniania”. To znaczy załóżmy, że dla każdego skończonego podzbioru okręgu jednostkowego był punktem koła jednostkowego. Oczywiście musi być „nienaturalny”. Dokładniej, nie może być równoważne w odniesieniu do obrotów. Aby uzyskać rozkład Cauchy'ego w jego bardziej typowej, ale mniej odkrywczej formie, rzutuj koło jednostkowe na oś x od (0,1) i użyj tego rzutu, aby przenieść rozkład równomierny na okręgu na oś x.fXf(X)ff

Aby zrozumieć, dlaczego średnia nie istnieje, pomyśl o x jako funkcji na okręgu jednostkowym. Łatwo jest znaleźć nieskończoną liczbę rozłącznych łuków na okręgu jednostkowym, tak że jeśli jeden z łuków ma długość d, to x> 1 / 4d na tym łuku. Zatem każdy z tych rozłącznych łuków wnosi więcej niż 1/4 do średniej, a całkowity wkład tych łuków jest nieskończony. Możemy zrobić to samo ponownie, ale przy x <-1 / 4d, z całkowitym udziałem minus nieskończoność. Interwały te mogą być wyświetlane za pomocą diagramu, ale czy można tworzyć diagramy dla weryfikacji krzyżowej?


1
Witamy na stronie @DavidEpstein. Możesz tworzyć obrazy z preferowanym oprogramowaniem i przesyłać je do swojej odpowiedzi, klikając małą ikonę obrazu (aby uruchomić kreatora) nad polem odpowiedzi. Niestety potrzebujesz do tego> = 10 powtórzeń. Jestem pewien, że będziesz miał to wkrótce; w międzyczasie, jeśli możesz opublikować obraz w dowolnym miejscu w Internecie i opublikować link do niego w odpowiedzi, użytkownik z wyższym przedstawicielem może go pobrać i opublikować za Ciebie.
gung

3
Nie wiedziałem, że Cauchy'ego interpretuje się jako mundur na kole, ale z pewnością ma to sens. Argument topologiczny pokazuje, że na okręgu, który ma właściwości funkcji uśredniania, nie może być funkcji ciągłej.
Johnny

@DavidEpstein Przeczytałem również twoją odpowiedź w innym poście . Projekcja stereograficzna jest naprawdę ładna. Dla porównania, czy możesz skomentować, dlaczego równie ważna projekcja promieniowa półkola nie oznacza, że ​​należy dobrze zdefiniować? Mianowicie, , a następnie jest standardowym Cauchy. Geometrycznie jest to podstawowy fakt, że wpisany kąt stanowi zawsze połowę odpowiadającego mu kąta środkowego. UUnif[0,1]Xtan(π(U12))
Lee David Chung Lin

W rzeczywistości, jeśli chodzi o model fizyczny źródła światła, obraz w półkolu jest bardziej odpowiedni, ponieważ nie jest od razu jasne, dlaczego zasada Huygensa dałaby ci projekcję stereograficzną.
Lee David Chung Lin

10

Średnia lub oczekiwana wartość niektórych zmiennych losowych jest całką Lebesgue'a zdefiniowaną na podstawie pewnej miary prawdopodobieństwa : XP

EX=XdP

Brak średniej zmiennej losowej Cauchy'ego oznacza po prostu, że całka Cauchy rv nie istnieje. Jest tak, ponieważ ogony rozkładu Cauchy'ego są ciężkimi ogonami (w porównaniu z ogonami rozkładu normalnego). Jednak nieistnienie wartości oczekiwanej nie zabrania istnienia innych funkcji zmiennej losowej Cauchy'ego.


5
Ogony są „ciężkie” w tym sensie, że nie rozpadają się wystarczająco szybko w obu kierunkach, aby spowodować zbiegnięcie się całki. Ta koncepcja nie ma nic wspólnego z normalnymi rozkładami (lub jakimkolwiek rozkładem odniesienia).
whuber

4
Tak, dziękuję za tę korektę. Nie zamierzałem sugerować żadnego rygorystycznego połączenia między ciężkimi ogonami a normalnym rozkładem. Myślę jednak, że porównanie rozkładu normalnego (z lekkimi ogonami) i rozkładu ciężkiego ogona ułatwia (nie zawsze) zrozumienie pojęcia „ciężkich” ogonów.
Tomas

5

Oto bardziej wizualne wyjaśnienie. (Dla tych z nas, którzy są matematykami). Weź rozproszony generator liczb losowych cauchy i spróbuj uśrednić uzyskane wartości. Oto dobra strona funkcji dla tego. https://math.stackexchange.com/questions/484395/how-to-generate-a-cauchy-random-variable Przekonasz się, że „spiczastość” losowych wartości powoduje, że staje się ona większa w miarę przemieszczania się zamiast zmniejszania . Dlatego nie ma to żadnego znaczenia.


4

Aby dodać do doskonałych odpowiedzi, skomentuję, dlaczego brak zbieżności całki jest istotny dla praktyki statystycznej. Jak wspomnieli inni, jeśli pozwolimy, aby wartość główna była „średnią”, wówczas slln nie będzie już ważny! Oprócz tego zastanów się nad implikacjami faktu, że w praktyce wszystkie modele są przybliżeniami. W szczególności rozkład Cauchy'ego jest modelem nieograniczonej zmiennej losowej. W praktyce zmienne losowe są ograniczone, ale granice są często niejasne i niepewne. Używanie nieograniczonych modeli jest sposobem na złagodzenie tego, powoduje, że niepotrzebne jest wprowadzanie do modeli niepewnych (i często nienaturalnych) granic. Aby to miało sens, nie powinno to wpłynąć na ważne aspekty problemu. Oznacza to, że gdybyśmy wprowadzili granice, nie powinno to w istotny sposób zmieniać modelu. Ale gdy całka nie jest zbieżna, tak się nie dzieje! Model jest niestabilny w tym sensie, że oczekiwanie RV zależałoby od w dużej mierze arbitralnych granic. (W aplikacjach niekoniecznie istnieje powód, aby granice były symetryczne!)

Z tego powodu lepiej jest powiedzieć, że całka jest rozbieżna, niż powiedzieć, że jest „nieskończona”, przy czym ostatnia jest bliska, by sugerować jakąś określoną wartość, gdy nie istnieje! Dokładniejsza dyskusja znajduje się tutaj .


-4

Przez chwilę chciałem być trochę wybredny. Grafika na górze jest nieprawidłowa. Oś X ma odchylenia standardowe, co nie istnieje dla rozkładu Cauchy'ego. Jestem wybredna, ponieważ w pracy wykorzystuję rozkład Cauchy'ego każdego dnia mojego życia. Jest praktyczny przypadek, w którym zamieszanie może spowodować błąd empiryczny. Rozkład t-Studenta z 1 stopniem swobody jest standardowym Cauchy. Zazwyczaj wyszczególnia różne sigmy wymagane do znaczenia. Te sigma NIE są odchyleniami standardowymi, są to prawdopodobne błędy, a mu jest trybem.

Jeśli chcesz poprawnie wykonać powyższą grafikę, albo oś X to surowe dane, albo jeśli chcesz, aby miały błędy o podobnej wielkości, to dałbyś im równe prawdopodobne błędy. Jednym z prawdopodobnych błędów jest 0,67 odchyleń standardowych w rozkładzie normalnym. W obu przypadkach jest to przedział półkwartylowy.

Jeśli chodzi o odpowiedź na twoje pytanie, wszystko, co wszyscy napisali powyżej, jest poprawne i jest to matematyczny powód. Podejrzewam jednak, że jesteś studentem i nie znasz się na tym temacie, a zatem sprzeczne z intuicją matematyczne rozwiązania oczywistych wizualnie mogą nie być prawdziwe.

Mam dwie prawie identyczne próbki ze świata rzeczywistego, pobrane z rozkładu Cauchy'ego, oba mają ten sam tryb i ten sam prawdopodobny błąd. Jeden ma średnią 1,27, a drugi 1,33. Ten ze średnią 1,27 ma odchylenie standardowe 400, ten ze średnią 1,33 ma odchylenie standardowe 5,15. Prawdopodobny błąd dla obu wynosi 0,32, a tryb wynosi 1. Oznacza to, że dla danych symetrycznych średnia nie jest w środkowej 50%. Wystarczy JEDNA dodatkowa obserwacja, aby przesunąć średnią i / lub wariancję poza znaczenie dla jakiegokolwiek testu. Powodem jest to, że średnia i wariancja nie są parametrami, a średnia próbki i wariancja są same liczbami losowymi.

Najprostsza odpowiedź jest taka, że ​​parametry rozkładu Cauchy'ego nie obejmują średniej, a zatem nie ma wariancji względem średniej.

Jest prawdopodobne, że w twojej poprzedniej pedagogice znaczenie średniej było takie, że zwykle jest to wystarczająca statystyka. W długoterminowych statystykach opartych na częstotliwościach rozkład Cauchy'ego nie ma wystarczających statystyk. Prawdą jest, że mediana próbki dla rozkładu Cauchy'ego z poparciem dla całych liczb rzeczywistych jest wystarczającą statystyką, ale dzieje się tak, ponieważ dziedziczy ją po statystykach rzędu. Jest to dość przypadkowe, ponieważ nie ma łatwego sposobu, aby o tym pomyśleć. Teraz w statystykach bayesowskich istnieje wystarczająca statystyka dla parametrów rozkładu Cauchy'ego, a jeśli użyjesz munduru wcześniej, to również jest on bezstronny. Mówię o tym, ponieważ jeśli musisz ich codziennie używać, nauczyłeś się o wszystkich sposobach dokonywania na nich szacunków.

Brak jest prawidłowych statystyk zamówień, które można by wykorzystać jako estymatory dla okrojonych rozkładów Cauchy'ego, na które najprawdopodobniej natkniesz się w świecie rzeczywistym, a zatem nie ma wystarczających statystyk w metodach opartych na częstotliwości dla większości, ale nie wszystkich rzeczywistych aplikacji .

Sugeruję odejście od tego, co mentalne, jako czegoś prawdziwego. Jest to narzędzie, takie jak młotek, które jest ogólnie przydatne i zwykle może być używane. Czasami to narzędzie nie działa.

Notatka matematyczna o rozkładach normalnych i Cauchy'ego. Gdy dane są odbierane jako szeregi czasowe, rozkład normalny zachodzi tylko wtedy, gdy błędy zbiegają się do zera, gdy t idzie do nieskończoności. Gdy dane są odbierane jako szeregi czasowe, rozkład Cauchy'ego występuje, gdy błędy rozchodzą się w nieskończoność. Jeden jest spowodowany szeregiem zbieżnym, drugi - szeregiem rozbieżnym. Rozkłady Cauchy'ego nigdy nie docierają do określonego punktu na granicy, wahają się tam iz powrotem przez ustalony punkt, tak że pięćdziesiąt procent czasu są po jednej stronie i pięćdziesiąt procent czasu po drugiej. Nie ma powrotu do mediany.


9
W tej odpowiedzi jest pewne zamieszanie! Na przykład napisano: „Teraz w statystykach bayesowskich istnieje wystarczająca statystyka dla parametrów rozkładu Cauchy'ego, a jeśli użyjesz munduru wcześniej, jest to również obiektywne”. Trudno to zrozumieć! Po pierwsze, częstościowe i bayesowskie koncepcje wystarczalności są bardzo bliskie (i wierzę, że mogą różnić się tylko niektórymi dziwnymi, nieskończenie ciemnymi przestrzeniami próbek, więc dla rzeczywistej linii są takie same). Nie ma wystarczającej statystyki dla modelu Cauchy'ego o stałym wymiarze !, po prostu (kompletne dane oczywiście są wystarczające).
kjetil b halvorsen

-6

Mówiąc najprościej, obszar pod krzywą zbliża się do nieskończoności podczas zmniejszania. Jeśli spróbujesz regionu skończonego, możesz znaleźć średnią dla tego regionu. Jednak nie ma sensu nieskończoności.


8
Obszar pod plikiem PDF jest z definicji równy , więc należy rozumieć coś innego pod pojęciem „krzywa”. Co to jest? 1
whuber
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.