בתשובה לeasy, 23/05/04 20:51
אזהרה - ג'יבריש מתמטי! 221035
אז עכשיו אני לא מבין משהו. נראה שאפשר לייצג קיוביט כצ"ל של <0| ו <1| עם מקדמים שאינם רציונליים אבל הם צ"ל של 1 ושורש שתיים (ואולי i), כי כל השערים שתיארת נשארים בעולם הזה. זה לכאורה מאפשר לסמלץ מחשב קוונטי ע"י מחשב קלאסי בזמן פולינומי, ואני יודע שזה לא נכון, אז מה אני מחמיץ?
אזהרה - ג'יבריש מתמטי! 221037
אני לא איזי אבל העניין הוא שאתה יכול לדחוף שתיים בחזקת N ערכים לתוך הקופסא במקביל, ולצאת עם אותו מספר תוצאות ביציאה. איך אתה עושה את זה בזמן פולינומיאלי?

למשל:
|00> + |01> +|10>+|11> נכנסים, יוצא סכום דומה אבל עם מקדמים אחרים. כדי לחשב את זה קלסית, צריך לחשב בנפרד לכל קט |XY> ובסוף לסכם, אבל קוונטית זה מתחשב במכה אחת.
אזהרה - ג'יבריש מתמטי! 221041
כמו שאמר פעם אביב: צ'יצ'ינג. תודה.
אזהרה - ג'יבריש מתמטי! 221056
הבנת? טוב מאד. עכשיו הסבר בבקשה גם לי.

ובהמשך לתגובה 221035, גם לי זה נראה מוזר. אם אני מבין נכון, זה נראה שלכל קלט נתון הפלט נמנה על מרחב בר מניה של אפשרויות (או סופי, תלוי מה קורה שם בתוך הקופסא), אך עבור הקלט עצמו ניתן לבחור מקדמים ממשיים כרצוננו, ולכן מבחינה זו מרחב הפלט אינו מוגבל א-פריורי.
אזהרה - ג'יבריש מתמטי! 221096
(אם הבנתי נכון:) אילו "מצב" היה קט עם מקדם רציונלי (או רציונלי + רציונלי כפול שורש שתיים, לא משנה), ומצבים כאלה היו נכפלים ומחוברים ועוברים שערי H ו-T וכו', היה קל לסמלץ קלאסית. זה היה נכון גם אם "מצב" היה צ"ל של מספר פולינומי של קטים כאלה. (כששאלתי את השאלה היתה לי בראש תמונה של מספר קטן של קטים).

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

איני חושב שעושים שימוש כלשהו במקדמים ממשיים שרירותיים בקלט, זה נשמע לי לא מעשי להחריד. אני חושב שהכל קורה בשדה מספרים (הרחבה סופית, בפרט בת-מנייה, של Q, אולי פשוט ((Q(sqrt(2 ).
אזהרה - ג'יבריש מתמטי! 221161
עכשיו הבנתי. תודה לשניכם.

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

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