בתשובה לעוזי ו., 20/02/03 16:05
 |
|
 |
||
|
||||
 |
מצד שני, יכול להיות שגם בעוד עשרים שנה הוא עדיין יראה כחלומות באספמיה, להבדיל דברים שנראים היום כעל סף מימוש יהיו בעוד עשרים שנה ממומשים ולכן חסרי עניין מחקרי, לא? |  |
 |
 |
|
|
|
||
|
||||
|
אם יותר לי להעיר בנושא זה, מנסיוני המוגבל (קורס, ובסמסטר הבא סמינר), הגעתי למסקנות הבאות: א. אני ספקן מאד לגבי האפשרות למחשבים קוונטיים סבירים בזמן הקרוב, אם בכלל. במיוחד אם מגדירים סבירות על ידי היחס בין מספר ביטים קוונטיים לעומת ביטים קלאסיים בשימוש יומיומי, או בשימוש במפתחות קריפטוגרפיים. כלומר, האלגוריתם של שור נחמד, אבל לא מעשי, בגלל בעיות קוהרנטיות. ב. אף-על-פי-כן, לתחום שימושים אשר אינם דורשים מספר גדול מדי של ביטים קוונטיים, כמו בהחלפת מפתחות או בחישובים מבוזרים. ג. התחום מעניין מבחינה תיאורטית גרידא. בתחום של סיבוכיות קלאסית, למשל, יכולות להיות לו השלכות על שאלת ההכלה של P ב-PSPACE. ד. התחום יכול אולי להיות שימושי בכיוון ההפוך, למשל, שימוש בתורת האלגוריתמים הקוונטיים על מנת לבצע ניתוח רציני יותר של תהליכים קוהרנטיים מרובי-חלקיקים, גם אם איננו יכולים לשלוט בהם במידה מספקת. ה. אלגוריתם החיפוש הקוונטי של גרובר הוא פשוט אלגוריתם יפה. אולי הוא יעודד תכנון אלגוריתמים יפים בתחומים אחרים. |
|
|
|
|
|
|
||
|
||||
|
אתה יכול לפרט יותר לגבי ג'? | |
|
|
|
|
|
||
|
||||
|
לא כליל, אבל לקחתי אותו קורס (אפילו היינו שותפים בשיעורי בית, אידיליה). מכיר קצת את הבולשיט הסיבוכי של מדעי המחשב? מכיר את הקבוצה BPP? (האלגוריתמים ההסתברותיים האלה?), אז אם נגדיר קבוצה חדשה, BQP, קבוצת האלגוריתמים הקוונטיים, אזי היא מקיימת אותם יחסי הכלה כמו BPP לP וPS. (ז"א: P מוכל שווה BQP מוכל שווה PS, לצורך העניין). אז כמו שאם היית מוצא אלגוריתם שהוא פולינומי בהסתברות (היינו, בBPP), אבל לא בPS היית יכול להסיק ש P מוכל ממש בPS, אז באותו אופן אם תמצא אלגוריתם בBQP שדורש מקום של יותר מP, תסיק אותה מסקנה. רק שעבור BQP יש יותר תקווה שזה יקרה. (והתנצלות מקרב לב למי שלא ראה פקולטה למדעי המחשב מבפנים ובטעות הגיע לסוף ההודעה הזו. אני בעצמי לא הייתי יודע לקרוא מה שכתבתי לפני סמסטר. למה, למה לקחתי עוד קורס במדעי המחשב? לא הספיק לי אחד שהייתי חייב לחזור לנסות שוב פעם? אהמ. כן.) |
|
|
|
|
|
|
||
|
||||
|
אח שלי הציע לי לקחת את הרעיון הזה כנושא לתזה - לנסות למצוא חסם פיזיקלי על BQP שיראה שהוא מוכל ממש בPS. סיפרתי על הרעיון לאחד משני המרצים היחידים בפקולטה שמכירים את המושג "חישוב קוונטי" והוא לא ממש התלהב להנחות אותי בכיוון. | |
|
|
|
|
|
||
|
||||
|
לפי מיטב ידיעתי, הסיבה היחידה ש עבור BQP יש יותר תקווה שזה יקרה, היא שלא השקיעו עדיין את הזמן הדרוש על השוואה בין BQP לבין שאר המשפחות, על מנת להגיע למסקנה (אליה הגיעו עבור המשפחות הקלאסיות), שכנראה לא נגיע להוכחה. עבור P ו-NP יש למשל רשימה גדולה של כיווני הוכחת שיוויון או אי-שיוויון, שניתן לפסול מסיבות שונות. אולי עוד כמה שנים יפרסם מישהו רשימה של כיווני הוכחה שניתן לפסול לגבי יחסה של BQP למשפחות השונות, ואז נוכל להתייאש גם ממנה. (אני מצטרף להתנצלות של גלעד, לאו דווקא לשאר הסוגריים שלו.) |
|
|
|
|
|
|
||
|
||||
|
תודה על ההסבר. לא ברור שיש באמת יותר תקווה להפריד בעזרת BQP, אבל אף פעם אסור לאבד תקווה.. ----------- למי שלא ראה פקולטה למדעי המחשב - השאלות האלה הם בין המענינות ביותר בכלל שיש במדע. לרוע המזל, אני לא מכיר לינק ממש מוצלח שמתאר את הבעיות הנ"ל (ובראשן הבעיה של P מול NP) בצורה ממש טובה. אפשר לנסות את למי שכן מהתחום, כדאי לקרוא את |
|
|
|
|
|
|
||
|
||||
|
ברור שאני מבין בתחום הרבה פחות ממך, מה זה הזמן הקרוב? | |
|
|
|
|
|
||
|
||||
|
יקשה עליך להבין הרבה פחות ממני - החתול הממוצע יודע רק במעט פחות. אשר לזמן הקרוב, אני מדבר על שני העשורים הקרובים. אם מגדירים סבירות לפי סדר הגודל של מחשבים קלאסיים בני-שימוש בזמן מקביל, אני מדבר על ארבעת העשורים הקרובים. אשמח להתבדות. |
|
|
|
|
|
|
||
|
||||
|
1. אחרי מספיק זמן, לאנשים תגמר הסבלנות. אי-אפשר לסמוך על כך שהתחום ישאר בגדר חלומות לא ממומשים לעדי-עד. 2. דברים שהצליחו לעשות, אפשר לשפר. הסיכון שהעניין בתחום מסויים יאבד תמיד קיים, אבל דווקא תחומים שקרובים היום למימוש הם ביטוח לא רע מפני הסכנה הזו. שאלה לגבי 1: AI. (פירוש: אינטליגנציה מלאכותית היא חלום-רחוק כבר חמשים שנה, ועדיין לא נמאס; למה שמחשוב קוואנטי לא יהנה מאותה תופעה?). תשובה: אינטליגנציה מלאכותית, צריך. מחשבים מהירים יותר, צריך. מחשבים קוואנטיים דווקא - לא צריך. |
|
|
|
|
|
|
||
|
||||
|
ברגע שמושגת התקדמות מסוימת בנושא, היא הופכת לתחום אחר- זיהוי-דיבור,לדוגמא. יש להניח כי תחומים שכיום נחשבים לא''מ יחשבו בעתיד לתחומים נפרדים שאף אחד לא יעלה על הדעת על הקשר בינם לבין א''מ. אם אני לא טועה, הסיבה לעניין הרב במחשוב קוונטי היא חוק מור. כמובן צריך לזכור את מחשבי הדנ''א ואת המחשבים האופטיים שגם הם חלופה(בינתיים, נראה שהמחשוב האופטי יחליף את המחשוב על בסיס סיליקון). |
|
|
|
|
|
|
||
|
||||
|
1. נכון שנושאים כגון זיהוי דיבור או זיהוי תבניות התפתחו בתחילה בפריפריה של המחקר בבינה מלאכותית, אבל ההצלחה בתחומים האלה נובעת בעיקרה מהזמינות של חישוב מהיר ומאלגורתמים ש"הגיעו" ממדעי-המחשב הקונוונציונאליים או תחומים קרובים. דווקא הליבה של הבינה המלאכותית - הבנת טקסט - לא הגיעה להשגים מרשימים. 2. "חוק" מור הוא כלל אמפירי, ולא חוק הכולל סנקציות נגד תעשיית המחשבים במקרה של אי-עמידה בדרישות החוק. אני מבין את העניין הנוכחי במחשוב קוואנטי (וגם בתחליפים אפשריים אחרים), ומאחל הצלחה לעוסקים במלאכה. עם זאת, אני נשאר פסימי (לפחות לעשר השנים הקרובות). (תוקפה של הודעה זו פג ב- 21.2.2013 בחצות). |
|
|
|
|
|
|
||
|
||||
|
תזכיר לי, לאיזה תחום בחרת לקשור את הקריירה שלך? היום, (כמעט) אף פיזיקאי לא חוקר ומנסה לשפר את מנוע הקיטור, או אפילו את מנוע הבנזין. פיזיקה זה לא תחום הנדסי אלא תחום מדעי. ואנשים שחוקרים את המחשב הקוונטי מקדמים את המחקר המדעי בכלל, אם ע"י שלילת האפשרות לממש אותו, ואם ע"י העלאת תחומים חדשים בפיזיקה. ובקשר לאינטליגנציה מלאכותית, תוך כדי סיכון הענף עליו אני יושב מדי פעם, למה באמת "צריך"? הרי כל כך קל לייצר ולהשתמש באינטליגנציה טבעית. |
|
|
|
|
|
|
||
|
||||
|
לגבי הפסקה האחרונה, אני מסכים, אבל משום מה, כאשר התחלתי להציע את המתבקש, דהיינו, שיש להעביר את תקציבי המחקר מבינה מלאכותית לשטיפת מוח ותכנות בני אדם, במקום להתייחס אלי ברצינות, החלו לקרוא לי בשמות כמו ''מנגלה.'' אילו קיבעונות יש להם בממסד המדעי. ובקיצור, היתרון בבינה מלאכותית הוא שניתן לשלוט בה, בלי שארגוני זכויות האדם יעמדו לך על הראש. |
|
|
|
|
|
|
||
|
||||
|
היתרון על מה? ז"א, מה בכלל המטרה של מחשב שיודע לקרוא טקסט (ואני שואל כמי שראה כמה תוכניות עסקיות שבנויות על מחשבים כאלה)? קח את המשאבים של מאה שנות מחקר (חמישים שעברו, ועוד חמישים שיעברו, עד שבסוף ירימו ידיים/ יעברו למחשב קוונטי) של מיטב מהמוחות של המין האנושי, ותשקיע את הכסף הזה בתחום מחקרי שתוחלת הכסף שבו גבוהה יותר (ז"א, תחומים עם תוכניות עסקיות שנשמעות קצת יותר רווחיות, זמן מחקר יותר קצר, סיכויי הצלחה גבוהים יותר, אפשרות לזיהוי נקודת כשל מהירה יותר וכו'), בכסף שתרוויח, תעסיק שני סינים במשכורת גדולה מהמשכורת שנייקי משלמת להם, כולל זכויות סוציאליות, והנה יש לך את האופציה של קריאת טקסטים, ללא בעיות של אירגוני זכויות אדם, ואפילו עם כמה דולרים להשקיע במשהו מופשט ואקדמי, כמו למשל, בינה מלאכותית. |
|
|
|
|
|
|
||
|
||||
|
אבל סינים קוראים רק בסינית! | |
|
|
|
|
|
||
|
||||
|
1. מה רע בסינית? 2. תזכיר לי, באיזה שפה קוראים המתחרים שלהם (המחשבים)? 3. למד את הסיני אנגלית (או כל שפה שתרצה להשתמש בה), אם תתחיל בגיל שנתיים-שלוש הוא יוכל להגיע לרמת ידע מספקת עוד לפני שיתחיל לעבוד, בעלות שלא תעלה בהרבה על העלות של הלימודים שלו (שבכל מקרה היית צריך למד אותו). עדיין נראה לי זול. |
|
|
|
|
|
|
||
|
||||
|
1. אני אמרתי רע? 2. בינתיים, שום שפה. Got me there. 3. או, אני הצעתי דברים כאלה, אבל משום מה לא נותנים למדענים מטורפים לגדל ילדים למטרות מחקר, סינים או אחרים. |
|
|
|
|
|
|
||
|
||||
|
3. אבל זה (לימוד קריאה) מה שעושים עם (כמעט) הילדים, לא? | |
|
|
|
|
|
||
|
||||
|
לא, לא, לא! לחטוף ילדים סינים, ללמד אותם לקרוא, ולהעביד אותם בעיבוד נתונים! | |
|
|
|
|
|
||
|
||||
|
למה צריך לחטוף? | |
|
|
|
|
|
||
|
||||
|
לא משנה... בדיחה גרועה. |
|
|
|
|
|
|
||
|
||||
|
אני לא בטוח שאני יכול לתת כאן תשובה מלאה לשאלה (הראשונה) שלך. תשובה חלקית אפשר למצוא כאן: |
|
|
|
|
|
|
||
|
||||
|
לא כל הLaTeX תורגם שם טוב. אולי תסדר את זה? | |
|
|
|
|
|
||
|
||||
|
ואת התחום-שבחרת-לקשור-את-הקריירה-שלך-אליו1 צריך? אפשר לממש? הוא קרוב למימוש? ---------------------------------- 1 אפשר לקרוא לו "אלגברה"? "מתמטיקה"? או שזה יהווה עלבון? |
|
|
|
|
|
|
||
|
||||
|
אפשר לקרוא לדברים שאני עושה "אלגברה" (למה שזה יהיה עלבון?). אפשר גם לדייק יותר, אבל לא נראה לי שזה המקום המתאים. האם "צריך" מתמטיקה? האם "צריך" מתמטיקאים? התשובה כמובן תלויה בפירוש השאלה, וזו עשויה להיות הזדמנות לשאול את אותה שאלה גם על תחומים אחרים. בכל מקרה, בהתחשב בסביבה רווית הסטודנטים והאוהדת, נראה לי שהמשחק מכור. אני לא יודע איזה סוג של נימוק אתה מחפש. יש כמה דברים שעשיתי שאפשר "לממש" (מחוץ למתמטיקה התאורטית); לרוב זה לא כך. אני לא מחפש את היישומים הפרקטיים האלה באופן יום יומי, וזה נכון לרוב המתמטיקאים שאני מכיר. המתמטיקה שואבת חלק משמעותי מן המוטיבציה שלה מתחומים קרובים (פיזיקה, מדעי המחשב, שאר מדעי הטבע, סטטיסטיקה), אבל כהרפתקה אנושית, היא עומדת יפה ברשות עצמה. אם התכוונת לעמת את התשובות שלי עם התשובות המקבילות לגבי מחשוב קוונטי (תגובה 128603), אני לא רואה מקום להשוואה. יש כמובן עניין תאורטי מסויים במודלים שונים לחישוב אבל ההצדקה העיקרית להתמקד דווקא במודל הקוונטי היא התקווה שיצא מזה משהו מעשי. אם לא יצא, הנושא יקבל את המעמד הראוי לו במסגרת התאורטית המתאימה, ותו לא. |
|
|
|
|
|
|
||
|
||||
|
למה שאלגברה תהיה עלבון? לא יודע, פשוט לא הבנתי למה לא אמרת את השם המפורש, ופחדתי לפגוע שלא לצורך (זה הרי לא נושא הדיון). את שתי הפיסקאות האחרונות אפשר להעתיק כמו שהן ולכתוב על פיזיקה (חוץ מפירוט התחומים הקרובים, כמובן). אני לא חושב שמי שקושר את גורלו למיחשוב קוונטי עושה זאת מתוך תקווה שיצא מזה משהו מעשי בעתיד הקרוב, בטח לא ברמות האלה, כמו רוב מי שבוחר לקשור את גורלו לפיזיקה תיאורתית. |
|
|
|
|
|
|
||
|
||||
|
מה שנחמד בנושא רב-תחומי כמו מחשוב קוונטי, הוא שאין בדיוק משמעות לעניין של לקשור את גורלך אליו --- אם יום אחד יתברר לך, שהתחום משעמם אותך, או שאין לו יותר עתיד פרקטי, בהנחה שרצית להתייחס לפרקטיקה, תמיד תוכל להשתמש בכלים שפיתחת והכרת במהלך המחקר בכיוון אחר, בין אם בפיסיקה הקוונטית, באופטיקה הלא-ליניארית, במדעי המחשב, או כל נושא אחר שיש בו אפליקציות מעשיות. | |
|
|
|
|
|
||
|
||||
|
השאלה היא אם יתנו לך הזדמנות לעבור לתחום אחר. חוקרים ותיקים מוצאים תמיד תחומי עניין חדשים, והנסיון שהם צברו הוא בעל ערך גם אם התוצאות עצמן כבר לא מעניינות במיוחד. לעומת זאת, אני לא חושב שלמי שפרסם כמה מאמרים בתחום שנפח את נשמתו1 יש סיכוי גדול להתקבל כחוקר במוסד טוב. 1 כרגע, "מחשוב קוונטי" הוא דוגמא לתחום חי ובועט. |
|
|
|
|
|
|
||
|
||||
|
קשה ללמוד מן ההשוואה של נושא ששואב את ההצדקה הכמעט-יחידה לקיומו מן הסיכוי למימוש עתידי (גם אם בעתיד הרחוק), לבין מקצועות תאורטיים חובקי-כל (כמו מתמטיקה או פיזיקה). אגב, הנימוק בשורה הראשונה שלך פשוט מקסים... אני מקווה שלא יהיה צורך גם בהמשך. |
|
|
|
|
|
|
||
|
||||
|
דוקטורנט לפיזיקה שחוקר את המחשב הקוונטי הוא עדיין דוקטורנט לפיזיקה (שהוא תחום תיאורתי חובק כל), לא? | |
|
|
|
|
|
||
|
||||
|
כן, אלא שבעוד ארבע-חמש שנים הוא עלול למצוא את עצמו במצב של המועמד מתגובה 135343. | |
|
|
|
|
|
||
|
||||
|
עוד לא השתכנעתי, אם המאמרים שהוא פירסם היו מאמרים בפיזיקה, שעסקו במחשב קוונטי כתחום מהמכניקה הקוונטית (או תורת האינפורמציה הקוונטית), ולא מאמרים בהנדסה של משהו רחוק ממימוש בתחום שנפח את נשמתו, הוא יוכל לחקור בתחומים אחרים במכניקת הקוונטים, ואם הוא חוקר טוב, יעסיקו אותו בגלל כישוריו כחוקר והידע שלו במכניקה קוונטית (או תורת האינפורמציה הקוונטית), ללא קשר לעובדה שהתחום שהוא עבד בו נפח את נשמתו. להבדיל, אם כל המכניקה הקוונטית תנפוח את נשמתה, מצבו יהיה עגום, אבל זו בעיה אפשרית של כמעט כל מי שחוקר במדעי הטבע (להבדיל, אני חושב, מפילוסופיה/ מתמטיקה/ מדעי החברה). | |
|
|
|
|
|
||
|
||||
|
1. כדי לחסוך אי-אילו מאות מלבנים, אני אמנע מלשאול מה ההגדרה של "חוקר טוב". הרשה לי רק להעיר שעוד לא מצאו לזה מבחנים אובייקטיביים. אם החוקר הטוב שלנו כתב מאמרים על פרטי הפרטים של תאוריה שכבר לא מתעניינים בה, הוא עלול להתקל בבעיה כשהוא מנסה להרשים אנשים בכישוריו כחוקר. 2. כל מה שכתבתי על מחשבים קוונטיים מבוסס על התרשמות שלי, כמי שאינו מומחה בתחום. אם מדובר בהלכה למעשה, דהיינו בחירת תחום מחקר לתואר שני או שלישי, המלצתי היא לבחור מנחה טוב, ולשמוע בקולו. |
|
|
|
|
|
|
||
|
||||
|
1. מסכים. 2. אני חושב שכדאי להוסיף עניין אישי ויכולת אישית, אבל, מצד שני, אולי לא. |
|
|
|
|
|
|
||
|
||||
|
מה שמזכיר לי את הסיפור על השפן שישב בפתח מערה וכתב במחברת. ניגש אליו שועל ושאלו לפשר מעשיו. ענה לו השפן כי הוא כותב תזה. "על מה" שאל השועל. "השפן הוא החזק שבחיות היער" ענה השפן ללא היסוס. "מעניין" ענה השועל, "אפשר לראות הוכחות?" "ודאי" ענה השפן "היכנס אחרי למערה והוכיח לך אחת שתיים". נכנסו השפן והשועל. אחרי כ-5 דקות יצא השפן שכל פרוותו אדומה - ולשועל אין כל זכר. כך היה גם עם הדוב והזאב. לבסוף, הינשוף, שעמד כל העת על גזע עץ סמוך למערה לא התאפק ושאל את השפן, כיצד ייתכן הדבר. השפן שרק ומן המערה יצא טיגריס. "תכיר" אמר השפן "זה המנחה שלי". מוסר השכל: (כפי שאמרת אתה) בחר מנחה טוב ושמע בקולו. |
|
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
אני מוחה על ההתעללות בשועלים! | |
|
|
|
|
|
||
|
||||
|
אני חושב על המרצה שלי בקורס "מבוא לעיבוד אינפורמציה קוונטית", שבהחלט קשר את גורלו במיחשוב הקוונטי, ודווקא מוצא שאני נוטה יותר לכיוון של עוזי. במה הוא מתעסק? על מה הוא מפרסם? על אלגוריתמים של הצפנה ותקיפה קוונטית. מה אם לא יהיה מימוש והתחום ידעך? במדעי המחשב, הוא לא עשה שום עבודה משמעותית. יש הבדל רציני בין התקפה קלאסית על אות מוצפן, ובין ניצול-הפוטון-השני-המופיע-כל-שליחה-עשירית בהתקפה הקוונטית שהוא פיתח. איזה דברים משמעותיים הוא (י)עשה במכניקה קוונטית? הרי לא צריך הבנה של יותר מקורס שני בתואר ראשון במכניקת הקוונטים כדי לדעת מה קורה, וכל התחום מבוסס על ניצול הידע הקיים, לא על פיתוח חדש. אז אם יכרת הענף, מה הוא שווה? הרי הוא כד"ר שכרגע יצא מהטקס. |
|
|
|
|
|
|
||
|
||||
|
אני לא מכיר את המרצה שלך, ואני מעדיף לא לדבר עליו, אבל אני לא חושב שלאדם כמו איגור וולוביץ' (Igor Volovich, http://xxx.tau.ac.il/find/math-ph/1/Volovich/0/1/0/a...) תהיה בעיה כזו. | |
|
|
|
|
|
||
|
||||
|
אולי מכאן תבוא הישועה. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |