תיקון, 31 באוגוסט 2026. כל מספר ברשימה הזו חושב על מאגר נתונים שהתברר לאחר מכן ככפול ב־61.6 אחוזים, וב־92.3 אחוזים ברזולוציית 24 על 24 שבה חושבו המתארים האלה. גרסה 2 של ההפקדה מחשבת מחדש את המחקר על נתונים נטולי כפילויות ומסירה את הטענה המרכזית של העבודה שהרשימה הזו מדווחת עליה. המנגנון שמתואר כאן — זוג ערכים עצמיים מנוון שהופך את המתאר לחלק פיזיקה וחלק זרע אקראי, ובדיקת נאמנות שהשוותה דירוגים בזמן שההבחנה נהרסה — אינו מושפע, משום שהוא עובדה על הפותר ולא על הנתונים שעליהם רץ. המספרים הצמודים אליו כן מושפעים, ולא הורצו מחדש.
זו רשימה קצרה על תוצאה שדיווחתי עליה, האמנתי בה ונאלצתי למשוך, ועל הסיבה שהאמצעי שהיה לי כדי למנוע בדיוק את זה לא נורה. ההנדסה היא פרט. אופן הכישלון אינו.
הגודל המדובר מתאר איך אריח קטן ומנוקב של מתכת נע כשהוא רוטט: איזה חלק מהתנועה מסתובב, איזה חלק גוזר, איזה חלק נמתח. שלושה מספרים. הם שימושיים משום שמודל למידת מכונה שמקבל אותם עובר לצורות שמעולם לא ראה, במקום שבו אותו מודל שמקבל תמונה של האריח אינו עובר.
חישוב שלושת המספרים דורש פתרון בעיית ערכים עצמיים, שעולה בערך כמו הדבר שהוא אמור להיות תחליף זול לו. המהלך המתבקש הוא לכווץ קודם את האריח, לפתור על רשת גסה יותר, ולראות כמה מן האות שורד.
התוצאה השלילית
הרצתי בארבע רזולוציות וראיתי את הערך נושר.
ברזולוציה מלאה שלושת המספרים היו שווים +0.388 במשימת המעבר. מוגסים לשליש מן הרזולוציה, שהם עשירית מן העבודה, הם היו שווים +0.051. זה מתחת לביקורת החינמית של פשוט לומר למודל כמה מתכת יש באריח. שימושי במחיר מלא, חסר ערך בהנחה.
זו צורה מושלמת של ממצא שראוי לפרסום. היא מונוטונית, יש לה מנגנון סביר, והיא בדיוק סוג המגבלה שאמורים לדווח עליה ולא להחביא. כתבתי אותה ככזו.
מאיפה הגיע המספר האקראי
לרוב משפחות האריחים במדד הזה יש סימטריה מסדר ארבע. לריבוע יש, לחור עגול במסגרת מרובעת יש, לצלב יש. כשלצורה יש הסימטריה הזו, אופני הרטט השני והשלישי שלה יוצאים באותה תדירות.
שני אופנים בתדירות אחת אינם צירוף מקרים שצריך לנקות. משמעותם היא שהפותר נשאל שאלה שאין לה תשובה יחידה. כל תערובת של השניים היא אופן תקף באותה מידה, ואיזו תערובת מסוימת חוזרת תלוי בנקודה שממנה הפותר האיטרטיבי התחיל, שהייתה וקטור אקראי.
שלושת המספרים שלי חושבו מאחד האופנים האלה, כלומר מווקטור עצמי יחיד. הם ריבועיים בו, ולכן אינם אינוריאנטיים לתערובת: סובבו את הזוג זה מול זה והמספרים משתנים. בניתי מתאר שערכו הוא חלק פיזיקה וחלק זרע של מחולל מספרים אקראיים, ולא שמתי לב, משום שברזולוציה מלאה חלק הפיזיקה גדול בהרבה מן השני.
ההגסה היא מה שחשף את זה. רשת גסה יותר מקרבת את שתי התדירויות זו לזו, התערובת נעשית פחות מוגדרת, והרכיב האקראי גדל. כך שהמתאר נשחק בהדרגה ככל שהוזלתי אותו.
זה החלק ששווה לשבת איתו. השיבוש לא נראה כמו שיבוש. הוא נראה כמו פיזיקה. גודל שנשחק ככל שמשקיעים בו פחות הוא התוצאה הרגילה ביותר בעבודה נומרית, והוא צורת העקומה האחת שלעולם לא הייתה מעוררת בי חשד.
הבדיקה שעברה
לא הייתי מרושל לגבי ההגסה. הייתה לי בדיקת נאמנות בדיוק בשביל זה: לחשב את התדירויות על הרשת הגסה ועל העדינה, ולמתאם ביניהן על פני כל מאגר האריחים. אם הרשת הגסה עדיין מדרגת אריחים כפי שהעדינה מדרגת, ההגסה נאמנה.
היא קיבלה 0.87 עד 0.93. היא לא נתנה שום אזהרה באף רזולוציה.
והיא אמרה אמת. ההגסה הייתה נאמנה במובן שהבדיקה מדדה. הדירוג נשמר. מה שנהרס הייתה היכולת להבחין בין אריחים שיושבים קרוב זה לזה בתוך הדירוג הזה, ומתאם אינו יכול לראות את זה, משום שמתאם הוא אמירה על סדר והאובדן היה בתוך הסדר.
הבדיקה שלי אימתה תכונה. זו לא הייתה התכונה שהסתמכתי עליה.
איך זה נראה מתוקן
התיקון אינו עדין ברגע שהאבחנה נכונה. אל תחשבו את שלושת המספרים מאופן אחד. חשבו אותם מכל האופנים באותה תדירות ומצעו, פעולה שאינה מתעניינת באיך הפותר פיצל את הזוג, ואז התחילו את הפותר מווקטור קבוע כדי שההרצה תהיה ניתנת לשחזור. בנפרד, הגיסו על ידי מיצוע המתכת בכל בלוק ולא על ידי סף, משום שסף מוחק מוטות דקים, ומוטות דקים הם רוב מה שהאריחים האלה עשויים ממנו.
האינוריאנטיות נבדקת עכשיו ישירות: סובבו את התערובת באקראי בתוך הזוג המנוון והתשובה זזה בספרה העשירית־ארבע אחרי הנקודה.
תחת ההגדרה הישנה שלושת המספרים נפלו מ־+0.388 ברזולוציה מלאה ל־+0.051 בשליש ממנה, מתחת לביקורת החינמית. תחת ההגדרה המתוקנת, יחד עם אותה ביקורת חינמית לצידם, העקומה אינה נופלת כלל:
| רזולוציית פתרון הערכים העצמיים | עלות, ביחידות של פתרון פיזיקלי | ציון על משפחות שלא נראו |
|---|---|---|
| מלאה | 1.16 | +0.448 |
| חצי | 0.25 | +0.356 |
| שליש | 0.11 | +0.246 |
המסקנה מתהפכת. הממצא אינו שהפיזיקה אינה בת־השגה. הממצא הוא שהפיזיקה זולה, ושמדדתי את וקטור ההתחלה של הפותר שלי עצמו.
הגרסה המוחלפת של המחלץ נשלחת בהפקדה לצד המתוקנת, כך שכל אחד יכול להריץ מחדש את ההשוואה ולראות את העקומה הרעה מופיעה.
הגרסה הכללית
שני דברים שאקח מכאן לעבודה שאין לה שום קשר למתכת.
הראשון עוסק בתיקו. אם גודל שאתם מחשבים מוגדר רק עד כדי בחירה, וספרייה כלשהי עושה את הבחירה הזו באופן שרירותי עבורכם, אז חלק ממה שמדדתם הוא הספרייה. ערכים עצמיים מנוונים הם מקרה אחד. כך גם ארגמקס על ציונים שווים, מיון שאינו יציב, תווית אשכול, אתחול לא־מזורע. הסימן הוא שהעמימות בדרך כלל בלתי נראית כל עוד האות חזק, ומתגלה כרעש רק כשמקשים על הבעיה, שזה בדיוק הרגע שבו אתם הכי מוכנים להאמין שמצאתם גבול אמיתי.
השני עוסק בבדיקות. בדיקת תקפות היא טענה על תכונה אחת, וקל לבחור תכונה שזול לחשב במקום זו שהמסקנה שלכם נשענת עליה. שלי השוותה דירוגים כשמה שהייתי צריך היה הבחנה. היא עברה ביושר ולא אמרה לי דבר, וזה גרוע יותר מלא להחזיק בדיקה כלל, משום שבדיקה שעוברת קונה לכם את הביטחון להפסיק להסתכל.
שלושת המספרים, המחלץ המתוקן, המוחלף, וכל קובץ תוצאה נמצאים כאן — כעת בגרסה 2, מחושבים מחדש על נתונים נטולי כפילויות: https://doi.org/10.5281/zenodo.22137052
מקורות
- Roberts, A. J. Accurate families of multi-continuum micromorphic homogenisations in multi-D space-time via dynamical systems theory. Transactions of Mathematics and its Applications 9(1), 2025. אופני התת־תא שהמתאר הזה בנוי עליהם. מי שיבנה מאפיינים מהם על תא סימטרי ייתקל באותו ניוון.