בתשובה לעוזי ו., 31/05/04 20:03
אחת למעלה ושבע למטה 222479
ומה קורה בממדים גבוהים יותר? עדיין מתקבלים מספרים ראשוניים?
אחת למעלה ושבע למטה 222484
התשובה לשאלה "כמה כדורים זהים אפשר לצופף סביב כדור מרכזי" ידועה רק בממדים 1 (2), 2 (6), 3 (12), 8 (240) ו- 24 (196560). [יתכן שאני טועה בקשר ל- 8].

במימד 4 המספר הוא 24 או 25, לא ידוע איזה.
אחת למעלה ושבע למטה 222487
אכן... מה שמחסל את השערת הראשוניות בכל מקרה.
אחת למעלה ושבע למטה 222517
למה התשובה לא ידועה? האם שוב ‏1 יש בעיה עם מידה על כדורים?

1 כמו בבנך טרסקי.
אחת למעלה ושבע למטה 222521
חס וחלילה! כאן מדובר על כדורים פשוטים, שלמים ויפים, לא על ניפוצים מטורפים לרסיסים. השאלה פשוטה: כמה כדורים אפשר להצמיד לכדור באותו גודל. מתמטית, זה פשוט: כמה ווקטורים באורך 1 אפשר למצוא כך שהמרחק בין כל שניים יהיה 1 לפחות?

למרבה הפלא, בכלל בכלל בכלל לא קל לענות על השאלה הזו. בממדים 2, 8 ו-‏24 יש סריגים מיוחדים מאוד, סימטריים להפליא, העונים על השאלה. הסריג במימד 24 נקרא Leech Lattice ויש לו חשיבות רבה בקודים לתיקון שגיאות, בתורת החבורות, ובהשערות ה-Monstrous Moonshine שכבר הזכרתי כאן פעם. בממדים אחרים, בכלל לא ברור שהתשובה נובעת מאיזו סריג סימטרי ונאה - כבר במימד 3 אפשר להצמיד 12 כדורים לכדור נוסף בהמון (כלומר, מרחב רציף של) צורות, לא בצורה פשוטה אחת כמו במימד 2.

יש ספר יפה ומעמיק בנושא של Conway & Sloane.
ועוד שכחתי... 222522
הבעייה ידועה בשם The Kissing Problem או The Kissing Number, וגוגל יודע עליה לא מעט. היא גם קשורה, באופן לא מפתיע, לבעיית האריזה של כדורים עליה גם כבר דיברנו קצת (קפלר והיילס וכו').
ועוד שכחתי... 222531
אני אבדוק, תודה. זה די מפליא אותי משום שמדובר במספרים שלמים. הרי בטח יש חסם לכל מימד: לא יותר מ M ולפחות N. מכיוון שנשארו M-N ערכים, הייתי מצפה שיהיה אפשר לבדוק כל מקרה לגופו, אפילו אם יש רצף של דרכים לסדר אותם סביב הכדור המרכזי. מצד שני, אני נזכר פתאום שהבעיה של חלוקה אופטימלית של מטענים נקודתיים על כדור היא גם בעיתית.

אזהרה: גישה של פיסיקאי [לשעבר] לפניך:

אולי יש הרחבה לכיוון של כמה כדורים זהים אבל קטנים מהכדור המרכזי אפשר לשים? בגבול שהכדורים העוטפים ממש קטנים, בטח יש אסיפטוטיקה של קליפה. אולי אפשר לחשב את התיקון הראשון ( והשני וכולי) לגבול הזה? אולי אפשר להשתמש בזה כדי לקבל חסמים?
ועוד שכחתי... 222534
יש חסמים, אבל בדיקת כל מקרה לגופו היא קשה מאוד. אם אתה מחפש ומחפש סידור של 24 כדורים במימד 4 ולא מוצא, איך תדע שאין כזה?

לא חסרות בעיות פתוחות שהתשובה להן היא מספר שלם וקטן למדי בתחום ידוע. למשל, מספר האנשים הדרושים כדי להבטיח שיהיו או (חמישה שאינם מכירים זה את זה) או (חמישה שכולם מכירים זה את זה) הוא מספר שלם בין 43 ל-‏49, אבל ככל הידוע לי לא ידוע מהו.

ה"גישה של הפיסיקאי" שתיארת היא נאה ואף נדונה בהרחבה, אך אינני יודע אם החסמים ההדוקים ביותר באים ממנה.
הזכרת לי 222539
אנקדוטה:
מיטשל פייגנבאום ( זה מהקבוע) פעם היה במסיבה ופגש בעל חברת מפות ( ראנד מקנאלי אאל"ט). לאחר שהחליפו דברי נימוסין, וכשהבין האטלסאי שלפניו עומד מדען מהמדרגה הראשונה, אמר לו "אם אתה כל כך חכם ..." וסיפר לו שיש הרבה בעיות בתחום עריכת אטלסים. מה למשל? - איך לכתוב את שם העיר ליד העיר, בלי לפגוע בשמות אחרים.
לאחר כמה זמן, בא פייגנבאום עם הרעיון הבא: הוא שרטט אליפסה סביב כל שם של עיר וקיבע את השפה במרכז העיר. אחר כך הוא הדביק לכל אליפסה (במחשב) מטען חשמלי, ונתן להם ( בסימולציה) להסתדר. מכיוון שהאליפסות דחו זה את זה, אבל כל אחת מהם נישקה את העיר הרלוונטית, הוא פתר בצורה אוטומטית בעיה שעד אז היו פותרים ידנית.
אופטימיזציה פיזיקלית 222590
אחת הדרכים החשובות לצייר גרפים‏1 היא "שיטת הגומייה" המתבססת על משפט של Tutte. כדאי מאוד לנסות את התוכנה שיש כאן:

(כן, סליחה, מיקרוסופט. מה לעשות שלאצי לובאס עובד שם). בגדול, קובעים כמה קדקודים בנעצים למישור, ונותנים ליתר לנוע בחופשיות כשהצלעות מתנהגות כמו גומיות. יופי של דבר.

1 במובן הקומבינטורי: אוסף של קדקודים וצלעות.
אופטימיזציה פיזיקלית 248691
באופן דומה, הדרך למצוא את קבוצת הקווים בעלי סך האורך הקצר ביותר המקשרים בין אוסף נקודות ("עץ שטיינר מינימלי"): לייצג את הנקודות כמסמרים נעוצים בעץ, ולכסות בלוח עץ נוסף; לטבול את שני הלוחות עם המסמרים באמבט מי סבון, ולהוציא. בין המסמרים יימתחו "קירות" של מי סבון העונים על הדרישה (בעולם אידיאלי, לפחות; במציאות, בעיות כמו זרמים במים, תזוזה של היד בעת הכנסת/הוצאת הלוח, וכו' פוגעות במושלמות הפתרון).

(Dewdney, The Armchair Universe, בפרק "Analog Gadgets".)
ועוד שכחתי... 222537
יש המון שיטות לקבל חסמים על מספר הכדורים (בספר Sphere Packing של Conway ו- Sloane, שאלון הפנה אליו למעלה, מתוארות כל השיטות שאפשר להעלות על הדעת, ועוד 17 שאי-אפשר). אחת השיטות היא לחשוב על "כמה כדורים ברדיוס r אפשר למקם סביב כדור ברדיוס 1" כפונקציה (לא רציפה) של r.

אבל העובדה שיש מספר קטן של אפשרויות אינה הופכת את השאלה לקלה יותר. במימד 4, כמה כדורים אפשר למקם סביב כדור אחד באותו גודל: 24 או 25? לא יודעים.

הנה עוד בעיה, מתחום אחר לחלוטין: ידוע שפרט למספר סופי של יוצאי דופן, אפשר להציג כל מספר שלם כסכום של 7 מעוקבים (מספרים מהצורה n^3). ידוע גם ששלושה מעוקבים לא מספיקים. האם צריך 7, או אולי 6, 5 או 4? לא יודעים.
(למגגלים, זה מקרה פרטי של בעיית Waring; המספר הלא ידוע נקרא (G(3).
ועוד שכחתי... 222541
לא פיקפקתי שאכן לא יודעים. סתם נהנתי בדפוס רם מהמצב.
ועוד אחת... 222587
בעייה פתוחה מפתיעה למדי (אם כי לא במיוחד חשובה), שנזכרתי בה כי החסמים בה דומים מאוד לאלו של (G(3 שהזכיר עוזי. רוצים לצבוע את המישור, ואסור שתהיינה שתי נקודות במרחק 1 ס"מ באותו צבע. כמה צבעים צריך? ("לצבוע את המישור" פירושו, פשוט, להעניק לכל נקודה במישור איזשהו צבע).

קל לראות שעם שני צבעים אי-אפשר: חישבו על משולש שווה צלעות עם צלע של 1 ס"מ. לשניים מהקדקודים חייב להיות אותו הצבע, ונכשלנו.

חידה חמודה: להראות שעם שלושה צבעים, גם אי אפשר.

חידה קצת פחות אלגנטית: להראות שעם שבעה צבעים, כן אפשר.

המצב ל-‏4, 5 ו-‏6 צבעים אינו ידוע.
ועוד שכחתי... 248755
אז כנראה שיודעים כבר: 24. (הקישור השני בתגובה 248751)
אחת למעלה ושבע למטה 222544
ואתה קורא לעצמך מתמטיקאי...
עצום עיניים וספור!

(תודה רבה (גם לאלון, כמובן) על התשובה המהירה).
אחת למעלה ושבע למטה 222486
התשובה ידועה רק בממדים 8 ו-‏24. בשניהם היא נובעת מקונפיגורציות עתירות סימטריה, מה שגורם למספר עצמו (240 ו-‏196,560, בהתאמה) להיות פריק מאוד. לכן זה לא נורא מפתיע שאחרי תוספת 1 מתקבל בשני המקרים מספר ראשוני, אך אני מהמר שזה לא המצב תמיד.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים