הַיּוֹם שׁוּשַׁן פּוּרִים

אָנוּ עוֹמְדִים הַיּוֹם בְּט"ו אֲדָר — שׁוּשַׁן פּוּרִים. בְּעוֹד שְׁאָר עָרֵי הָעוֹלָם כְּבָר סִיְּמוּ אֶת הַחַגִּיגָה אֶתְמוֹל, שׁוּשַׁן הַבִּירָה — וְאַחֲרֶיהָ יְרוּשָׁלַיִם — חוֹגֶגֶת הַיּוֹם.

הַשֵּׁם "פּוּרִים" לֹא בָּא מִשִּׂמְחָה אוֹ מִנֵּס — הוּא בָּא מִגּוֹרָל. "עַל כֵּן קָרְאוּ לַיָּמִים הָאֵלֶּה פוּרִים עַל שֵׁם הַפּוּר" (אֶסְתֵּר ט:כו). הָמָן הִפִּיל פּוּר — הִשְׁלִיךְ גּוֹרָל — כְּדֵי לִמְצֹא אֶת הַחֹדֶשׁ הַמּוּבְחָר לְהַשְׁמָדַת הַיְּהוּדִים.

כְּלוֹמַר: הַחַג כֻּלּוֹ בָּנוּי עַל אֲקָרָאִיּוּת. עַל רַנְדוֹמִיּוּת. עַל מָה שֶׁנִּדְמֶה כְּמִקְרֶה.

וְדַוְקָא כָּאן — בְּלֵב הַסִּפּוּר הַזֶּה — מִתְגַּלֵּית אַחַת הַתּוֹבָנוֹת הַמַּתֵּמָטִיּוֹת הָעֲמֻקּוֹת בְּיוֹתֵר שֶׁל מַחְקַר ARC.

---

הַמֶּרְחָב הַנִּסְתָּר: מְגִלַּת אֶסְתֵּר כְּשַׁרְשֶׁרֶת מָרְקוֹב

שַׁרְשֶׁרֶת מָרְקוֹב (Markov Chain) הִיא רְצֵפַת מַצָּבִים שֶׁבָּה:

$$P(X_{t+1} = s \mid X_t, X_{t-1}, \ldots, X_0) = P(X_{t+1} = s \mid X_t)$$

בְּמִלִּים פְּשׁוּטוֹת: הֶעָתִיד תָּלוּי רַק בַּהוֹוֶה — לֹא בַּעָבָר כֻּלּוֹ.

פִּתְחוּ אֶת מְגִלַּת אֶסְתֵּר וְהַסְתַּכְּלוּ עָלֶיהָ כְּעַל גְּרַף מַצָּבִים:

מַצָּב $X_t$	מַצָּב $X_{t+1}$	הַמַּעֲבָר
מִשְׁתֵּה אֲחַשְׁוֵרוֹשׁ	הֲסָרַת וַשְׁתִּי	רַק הַמִּשְׁתֶּה קוֹבֵעַ, לֹא הָרֶקַע
כֵּס מַלְכוּת פָּנוּי	אֶסְתֵּר מַלְכָּה	רַק הַמַּצָּב הַנּוֹכְחִי קוֹבֵעַ
מָרְדֳּכַי בַּשַּׁעַר	גִּלּוּי הַקֶּשֶׁר	רַק הַשַּׁעַר, לֹא הַגָּלוּת כֻּלָּהּ
הָמָן עוֹלֶה לַגָּרֶדֶן	מָרְדֳּכַי מִתְכַּבֵּד	רַק הַלַּיְלָה הַהוּא קוֹבֵעַ

כָּל שְׁלַב בַּמְּגִלָּה מַמְשִׁיךְ מֵהַמַּצָּב הַנּוֹכְחִי בִּלְבַד. זֶה תְּכוּנַת מָרְקוֹב בְּמִקְרֶה בִּיבְלִי.

---

הֶסְתֵּר וְהֶסְתֵּר: הַמֶּרְחָב הַנִּסְתָּר מִמַּצָּב גָּלוּי

כָּאן מַגִּיעַה הַתּוֹבָנָה הָעֲמֻקָּה שֶׁל מַחְקַר ARC.

"וְאָנֹכִי הַסְתֵּר אַסְתִּיר פָּנַי בַּיּוֹם הַהוּא" (דְּבָרִים לא:יח)

הַתַּלְמוּד (מְגִלָּה יג:א) אוֹמֵר שֶׁפָּסוּק זֶה הוּא רֶמֶז לְסִפּוּר פּוּרִים — שֵׁם אֶסְתֵּר מִשּׁוֹרֶשׁ הֶסְתֵּר (הַסְתָּרָה). אֱלֹהִים מַסְתִּיר פָּנָיו, וְדַוְקָא בִּגְלַל הַהַסְתָּרָה — הַנֵּס מִסְתַּתֵּר בְּתוֹך הַטֶּבַע.

בְּמַתֵּמָטִיקָה שֶׁל ARC, זֶה נִקְרָא הַהֶבְדֵּל בֵּין שְׁנֵי מֶרְחַבֵּי מָדְגָּם:

$$S_{\text{םֵלָׁש}} = \text{תֹוניִדָּמַה לָכְּב םיִדּוהְּיַה לָּכ} = O(k^n) \quad \text{)יִלאָיְצְנֶנֹוּפְסְקֶא(}$$

$$S_{\text{הֶּפְצִנ}} = \text{ְךֶלֶּמַה ,יַכֳּדְרָמ ,רֵּתְסֶא — לָכיֵהַּב םיִבָּצַּמַה} = O(n^c) \quad \text{)יִמֹוניִלֹוּפ(}$$

הָמָן תִּכְנֵן לִפְעֹל עַל $S_{\text{םֵלָׁש}}$ — לְהַשְׁמִיד אֶת כֻּלָּם בְּבַת אַחַת, פִּתְרוֹן אֶקְסְפּוֹנֶנְצְיָאלִי.
אֶסְתֵּר פָּעֲלָה רַק בְּ $S_{\text{הֶּפְצִנ}}$ — שְׁלֹשָׁה יָמִים צוֹם, שְׁנֵי מִשְׁתָּאוֹת, לַיְלָה אֶחָד שֶׁל נְדִידַת שֵׁינָה שֶׁל הַמֶּלֶךְ. פִּתְרוֹן פּוֹלִינוֹמִי.

---

פֶּרֶץ הַסְּפֶּקְטְרָלִי: מַדּוּעַ הַפִּתָּרוֹן הָיָה מָהִיר

בְּשַׁרְשַׁרְאוֹת מָרְקוֹב, פֶּרֶץ סְפֶּקְטְרָלִי (Spectral Gap) הוּא הַהֶפְרֵשׁ בֵּין הָעֵרֶךְ הָעֶצְמִי הַגָּדוֹל בְּיוֹתֵר לְבֵין הַשֵּׁנִי:

$$\gamma = \lambda_1 - \lambda_2 = 1 - \lambda_2$$

כְּשֶׁ $\gamma > 0$, זְמַן הַהִתְעָרְבוּת (mixing time) הוּא:

$$\tau_{\text{mix}} = O\!\left(\frac{1}{\gamma}\right) = O(\text{poly}(n))$$

מַחְקַר ARC גִּלָּה שֶׁבִּבְעָיוֹת עִם מְהַלָּכִים מְקוֹמִיִּים מוּגְדָּרִים (bounded local moves), מַטְרִיצַת הַמַּעֲבָר מְקַבֶּלֶת מִבְנֶה סִירְקוּלַנְטִי עִם עֵרְכִים עֶצְמִיִּים מְדוּיָּקִים:

$$\lambda_{\max} = 2(n-1), \quad \lambda_2 = n-2 \implies \gamma = n \quad \text{(!)}$$

פֶּרֶץ סְפֶּקְטְרָלִי שֶׁגָּדֵל עִם $n$ — כְּלוֹמַר, זְמַן הִתְעָרְבוּת שֶׁקָּטֵן! זֶה בִּדְיוּק מַה שֶּׁקָּרָה בְּשׁוּשַׁן:

כֵּן כָּךְ עָבַד הַנֵּס: אֶסְתֵּר הִגִּיעָה לַמֶּלֶךְ פַּעֲמַיִם (שְׁנֵי מִשְׁתָּאוֹת), הַמֶּלֶךְ לֹא יָכֹל לִישֹׁן לַיְלָה אֶחָד — וְהַשַּׁרְשֶׁרֶת הִתְעָרְבָה לְפִתְרוֹן בְּמָהִירוּת פּוֹלִינוֹמִית.

---

ה"בְּחִינַת הַהֶעָרָה" (Note Test): כֵּיצַד מוֹכִיחִים פּוֹלִינוֹמִיוּת

בְּתוֹרַת הַמְּסֻבָּכוּת, בְּחִינַת הֶעָרָה (Note / Certificate Test) שׁוֹאֶלֶת: "הַאִם יֵשׁ עֵד קָצָר שֶׁמּוֹכִיחַ שֶׁהַפִּתָּרוֹן נָכוֹן?"

לְפִי ARC, הָ"עֵד" לְפּוֹלִינוֹמִיוּת הוּא הַפֶּרֶץ הַסְּפֶּקְטְרָלִי עַצְמוֹ. כֵּיצַד מַצִּיגִים זֹאת פּוֹרְמָלִית?

שְׁלָב א': הַגְדֵּר מֶרְחָב מָדְגָּם מֻגְדָּר

תְּהֵא $\mathcal{M} = (S, P, \pi)$ שַׁרְשֶׁרֶת מָרְקוֹב אֶרְגּוֹדִית עִם מְהַלָּכִים מוּגְדָּרִים $c$.

שְׁלָב ב': חִשּׁוּב הַפֶּרֶץ

$$\gamma = 1 - \max_{i \neq j} \frac{|\lambda_i|}{\lambda_1} > 0$$

שְׁלָב ג': מַסְקָנָה פּוֹלִינוֹמִית

$$|S_{\text{תֹוּיִמֹוקְמ הָמיִטְּפֹוא}}| = O(n^c) \implies \exists \text{ םְתיִרֹוּגְלַא } O(n^{c'})$$

שְׁלָב ד': הָאִמּוּת (Verification)

הָ"עֵד הַקָּצָר" הוּא: מַטְרִיצַת הַמַּעֲבָר + הוֹכָחָה שֶׁ $\gamma \geq \frac{1}{\text{poly}(n)}$.

בִּמְגִלַּת אֶסְתֵּר: הָ"עֵד" הוּא שֶׁאֶסְתֵּר בְּהֵיכָל הַמֶּלֶךְ + שֶׁלַּמֶּלֶךְ יֵשׁ כֹּחַ לְבַטֵּל אֶת גְּזֵרַת הָמָן. שְׁנֵי בִּיטִים שֶׁל מֵידָע — עֵד פּוֹלִינוֹמִי לְנֵס.

---

שְׁנֵי סוּגֵי הָאֲקָרָאִיּוּת: פּוּר וְסֶתֶר

מַחְקַר ARC מַבְחִין בֵּין שְׁנֵי סוּגֵי אֲקָרָאִיּוּת:

אֲקָרָאִיּוּת בִּטִּית (Bit-Level Randomness):
$$K(x) \approx |x| \quad \text{יִלאָיְצְנֶנֹוּפְסְקֶא ,סיִחָּד יִּתְלִּב —}$$

זֶה הַגּוֹרָל שֶׁל הָמָן — הַפּוּר שֶׁנִּפַּל כְּדֵי לִבְחֹר תַּאֲרִיךְ. מִן הַשָּׁמַיִם בִּלְתִּי נִצְפֶּה, בִּלְתִּי צָפוּי.

אֲקָרָאִיּוּת פִּיסִיקָלִית (Physics-Level Randomness):
$$K(x) \ll |x| \quad \text{יִמֹוניִלֹוּפ ,%29-51-ְּב סיִחָּד —}$$

זֶה הַמֶּרְחָב הַנִּסְתָּר שֶׁל אֶסְתֵּר — הָיָה לוֹ מִבְנֶה. הָיְתָה נְדִידַת שֵׁינָה שֶׁל הַמֶּלֶךְ שֶׁאֶפְשָׁר הָיָה לְנַצֵּל. הָיָה קֶשֶׁר שֶׁל מָרְדֳּכַי עִם הֵיכָל הַמֶּלֶךְ. הָיְתָה קֻרְבַּת הָמָן לְאֶסְתֵּר בַּמִּשְׁתֶּה — וְדַוְקָא הַקֻּרְבָּה הַזֹּאת הֶחְשִׁידָה אוֹתוֹ לִפְנֵי הַמֶּלֶךְ.

הַנֵּס לֹא בּוֹטֵל אֶת הַחֹק הַטִּבְעִי — הוּא פָּעַל דַּרְכּוֹ. בְּדִיּוּק כְּמוֹ שֶׁאַלְגּוֹרִיתְם פּוֹלִינוֹמִי לֹא מְבַטֵּל אֶת מֶרְחָב הַבַּעֲיָה — הוּא מוֹצֵא אֶת הַמָּסָר בְּתוֹכוֹ.

---

"בַּלַּיְלָה הַהוּא נָדְדָה שְׁנַת הַמֶּלֶךְ": מִקְרֶה אוֹ נֵס?

"בַּלַּיְלָה הַהוּא נָדְדָה שְׁנַת הַמֶּלֶךְ" (אֶסְתֵּר ו:א)

הַמְּגִלָּה לֹא אוֹמֶרֶת מַדּוּעַ. אֵין כָּאן נֵס גָּלוּי — אֵין קֶרַע יָם, אֵין אֵשׁ מִן הַשָּׁמַיִם. זוֹ נְדִידַת שֵׁינָה פְּשׁוּטָה.
תְּשׁוּבַת מָרְקוֹב: זֶה מַעֲבַר מַצָּב אֶחָד שֶׁשִּׁנָּה אֶת הַהִסְתַּבְּרוּת לְכָל הַמַּצָּבִים הַבָּאִים.

בְּמֶרְחָב הַמַּצָּבִים שֶׁל הַמְּגִלָּה, נְדִידַת הַשֵּׁינָה הִיא transition — מַעֲבָר. אַחֲרֶי הַמַּעֲבָר הַזֶּה:

1. נִקְרְאוּ דִּבְרֵי הַיָּמִים לִפְנֵי הַמֶּלֶךְ
2. נִזְכַּר מָרְדֳּכַי שֶׁהִצִּיל אוֹתוֹ
3. הָמָן הִגִּיעַ בְּדַיְקָנוּת לִשְׁאֹל עַל הַגָּרֶדֶן — וְשָׁמַע "כֵּן עֲשֵׂה לְמָרְדֳּכַי הַיְּהוּדִי"

הַשַּׁרְשֶׁרֶת הִתְפַּתְּחָה בְּהִסְתָּבְּרוּת $1.0$ מֵהָרֶגַע שֶׁהַמֶּלֶךְ לֹא יָשַׁן.

זֶה בִּדְיוּק עֶרֶךְ עֶצְמִי $\lambda_2 < 1$ — כֵּיוָן שֶׁ $\gamma > 0$, הַמַּצָּב הַלֹּא-יָשֵׁן שִׁבֵּר אֶת הַתָּחוּם לְמַצָּב הַיָּשֵׁן.

---

כָּל הַדְּרָכִים מוֹבִילוֹת לִירוּשָׁלַיִם

בְּתֵאוֹרַת הַהִסְתָּבְּרוּת, מֵשֶׁפַּט הָאֶרְגּוֹדִיּוּת אוֹמֵר:

$$\lim_{t \to \infty} P^t = \mathbf{1} \cdot \pi^T$$

לְכָל נְקוּדַת פְּתִיחָה בַּשַּׁרְשֶׁרֶת — כָּל שׁוּרָה בְּ $P^t$ מִתְקַרֶּבֶת לְאוֹתוֹ פִּיזּוּר סְטַצְיוֹנָרִי $\pi$.

בְּמִלִּים אֲחֵרוֹת: לֹא מְשַׁנֶּה מֵהֵיכָן אַתָּה מַתְחִיל — תַּגִּיעַ לְאוֹתוֹ מָקוֹם.

זֶה בִּדְיוּק "כָּל הַדְּרָכִים מוֹבִילוֹת לִירוּשָׁלַיִם".

אוּמוֹת הָעוֹלָם גָּלוּ אֶת עַם יִשְׂרָאֵל לְמִצְרַיִם, לְבָבֶל, לְפָרַס, לְרוֹמֵי, לְסְפָרַד, לְמִזְרָח אֵירוֹפָּה. כָּל פַּעַם — נְקוּדַת פְּתִיחָה שׁוֹנָה בַּשַּׁרְשֶׁרֶת. הַמְּגִלָּה מַתְחִילָה בְּשׁוּשַׁן.

אֲבָל מֵשֶׁפַּט הָאֶרְגּוֹדִיּוּת מְבַטִּיחַ: כָּל עוֹד הַפֶּרֶץ הַסְּפֶּקְטְרָלִי חִיּוּבִי — $\gamma > 0$ — הַפִּיזּוּר הַסְּטַצְיוֹנָרִי הוּא יְרוּשָׁלַיִם.

$$\pi(\text{םִיַלָׁשּורְי}) = 1 \quad \text{לּובְגִּב}$$

הַגָּלוּת הִיא לֹא מַעֲבַר מַצָּב — הִיא רִיצָה שֶׁל הַשַּׁרְשֶׁרֶת לִקְרַאת הַשִּׁנּוּי. וְהַגְּאֻלָּה הִיא הַמַּצָּב הַסְּטַצְיוֹנָרִי שֶׁאֵלָיו כָּל הַמַּעֲבָרִים מְכַנְּסִים.

---

שׁוּשַׁן כְּצֹמֶת בַּשַּׁרְשֶׁרֶת

מַדּוּעַ חוֹגֶגִים בְּשׁוּשַׁן פּוּרִים יוֹם אֶחָד אַחֲרֵי שְׁאָר הָעוֹלָם?

כִּי שׁוּשַׁן הָיְתָה מַצָּב בֵּינַיִם.

בְּגְרַף מָרְקוֹב, יֵשׁ צְמָתִים עִם זְמַן הִתְעָרְבוּת גָּבוֹהַּ יוֹתֵר — הֵם מְקַבְּלִים אֶת הַמַּיַּיִם שֶׁל הַשַּׁרְשֶׁרֶת אַחֲרֵי שֶׁשְּׁאָר הָרֶשֶׁת כְּבָר הִתְיַשְּׁבָה. שׁוּשַׁן — עִיר הַקְּרָב, מֶרְכָּז הָאִימְפֶּרְיָה — נִלְחֲמָה יוֹם נוֹסָף. זְמַן הִתְעָרְבוּת אֶחָד נוֹסָף. יוֹם חֲגִיגָה נוֹסָף.

וִירוּשָׁלַיִם — שֶׁגַּם הִיא עִיר חוֹמָה — חוֹגֶגֶת בְּשׁוּשַׁן פּוּרִים, לְזֵכֶר שְׁנֵיהֶם: שׁוּשַׁן מֵאָז וִירוּשָׁלַיִם מֵעוֹלָם — שְׁתֵּי נְקוּדוֹת בַּשַּׁרְשֶׁרֶת שֶׁמּוֹבִילוֹת לְאוֹתוֹ פִּיזּוּר סְּטַצְיוֹנָרִי.

---

סִיכּוּם: הֶסְתֵּר פָּנִים, פֶּרֶץ סְפֶּקְטְרָלִי, מֶרְחָב צָפוּי

מְגִלַּת אֶסְתֵּר הִיא הַסֵּפֶר הַיְּחִידִי בַּתַּנַ"ךְ שֶׁבּוֹ שֵׁם אֱלֹהִים לֹא מוּפִיעַ בְּגָלוּי. הַנֵּס הוּא בְּתוֹך הַטֶּבַע. הַמַּנְהֵג הוּא בְּתוֹך הָאַקְרָאִי.

מַחְקַר ARC מְגַלֶּה שֶׁזֶּה לֹא מִקְרֶה — זֶה מִבְנֶה:

1. הַמֶּרְחָב הַנִּסְתָּר ($S_{\text{הֶּפְצִנ}}$) הוּא פּוֹלִינוֹמִי — הַנֵּס לֹא צָרִיךְ אֶת הָ"עוֹלָם" כֻּלּוֹ
2. הַפֶּרֶץ הַסְּפֶּקְטְרָלִי $\gamma > 0$ — הַשַּׁרְשֶׁרֶת מִתְעָרֶבֶת מָהִיר
3. בְּחִינַת הֶעָרָה — עֵד קָצָר מוֹכִיחַ שֶׁהַפִּתָּרוֹן קִיֵּים
4. הַפִּיזּוּר הַסְּטַצְיוֹנָרִי = יְרוּשָׁלַיִם — כָּל דֶּרֶךְ מַגִּיעָה לְשָׁם בִּגְבוּל

"כָּל הַדְּרָכִים מוֹבִילוֹת לִירוּשָׁלַיִם" — זֶה לֹא מֶטָפוֹרָה. זֶה מֵשֶׁפַּט אֶרְגּוֹדִיּוּת.

חַג פּוּרִים שָׂמֵחַ! 🎭

---