1. Number Theory and Algebra Advisor …………… Dr. Shpilka Amir Presented by …… Cohen Gil..………

2. Number Theory and Algebra Preliminaries Groups and Fields Quadratic Residues The RSA Cryptosystem Polynomial Roots and Factors Primality Testing

3. Number Theory and Algebra Preliminaries Groups and Fields Quadratic Residues The RSA Cryptosystem Polynomial Roots and Factors Primality Testing

4. Quadratic Residues

5. הגדרה שארית נקראת שארית ריבועית אם יש כך ש - הערה קל להראות כי עבור, כאשר p ראשוני ו -k>0, לכל שארית ריבועית יש בדיוק שני שורשים שונים.

6. למה יהא p ראשוני אי - זוגי, ויהא יוצר כלשהו. אזי הוא שארית ריבועית אם " ם k זוגי. הוכחה ברור כי אם k זוגי, אזי הוא שארית ריבועית. נניח כעת כי, ונניח בשלילה כי יש x כך ש -.

7. הוכחה - המשך נזכור כי g יוצר, וממילא יש m כך ש -. לכן ובמונחים של החבורה החיבורית נקבל מכיוון ש - אנו מקבלים ש -

8. הוכחה - המשך קיבלנו כי מספר זוגי מחלק מספר אי - זוגי. סתירה. האם קיים קריטריון להיות איבר שארית ריבועית, אשר אינו נעזר ביוצר g? כאן אוילר נכנס לתמונה.

9. משפט – קריטריון אוילר עבור p ראשוני, איבר הוא שארית ריבועית אם " ם הוכחה נניח ש -a הוא שארית ריבועית. יהא השורש של a כאשר g יוצר כלשהו של. ברור כי לכן...

10. הוכחה - המשך נניח כעת ש -a אינו שארית ריבועית. מהלמה הקודמת נסיק כי a הוא חזקה אי - זוגית של יוצר g. נניח אז משפט פרמה

11. הוכחה - המשך מכיוון שהסדר של g הוא p-1 נובע ש - הבחנה לכל יוצר g, מתקיים וזאת כי ממשפט פרמה

12. הבחנה - המשך אך לא ייתכן ש - שהרי הסדר של g הוא p-1. מכיוון ש הוא שורש של 1 שאינו 1, ו - (-1) הוא שורש של 1, ומכיוון שהערנו קודם כי עבור לכל שארית ריבועית יש שני שורשים. מההבחנה רק טבעי להגדיר...

13. הגדרה – סימן לז ' נדר לכל p ראשוני ו - נגדיר או באופן שקול

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

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

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

17. הוכחה ראשית, וממילא,

18. הוכחה מצד שני, אם ניקח אז אם מתקיים ולכן בהכרח בסתירה לכך ש -

19. הוצאת שורש - האלגוריתם QuadRes הסיבה שאנו מעונינים במציאת מספר שאינו שארית ריבועית היא שמספר כזה משמש את האלגוריתם QuadRes המוציא שורש של שארית ריבועית נתונה. מציאת אותו מספר המהווה שארית שאינה ריבועית, היא החלק האקראי היחיד ב -QuadRes. אם ERH נכונה, אז קיים אלגוריתם דטרמיניסטי להוצאת שורש.

20. הוצאת שורש - האלגוריתם QuadRes הקלט לאלגוריתם מורכב מזוג מספרים : מספר ראשוני אי - זוגי p הקובע את השדה. שארית ריבועית a מהשדה שאת השורש שלו אנו רוצים לחשב. בנוסף, האלגוריתם מניח שיש בידו איבר b בשדה שאינו שארית ריבועית.

21. הוצאת שורש - האלגוריתם QuadRes הרעיון העומד מאחורי האלגוריתם הוא למצוא חזקה אי - זוגית של a כך ש - מכאן, הכפלה ב -a תיתן לנו וממילא הם השורשים, כנדרש.

22. הוצאת שורש - האלגוריתם QuadRes מכיוון ש -p ראשוני אי - זוגי, השארית שלו בחלוקה ל -4 היא 1 או 3. המקרה הראשון בו נטפל, זהו המקרה הפשוט, הוא המקרה בו השארית היא 3. יהי k כך ש -. נבחין כי מכיוון ש -a הוא שארית ריבועית, אנו יודעים ש -

23. הוצאת שורש - האלגוריתם QuadRes אבל הוא מספר זוגי, ולכן הוא שורש. נעבור למקרה בו שארית p בחלוקה ל -4 היא 1.

24. הוצאת שורש - האלגוריתם QuadRes גם כאן נפריד למקרים – לפי שארית החלוקה של p ב -8. המקרה הראשון הוא הפעם זהו מספר אי - זוגי, ולכן לא נוכל להיעזר באותה השיטה כמו במקרה הקודם.

25. הוצאת שורש - האלגוריתם QuadRes אנו יודעים ש - ולכן הוא שורש ריבועי של 1. אם אז סיימנו. אחרת מתקיים זה הזמן להוציא את b מהשרוול.

26. הוצאת שורש - האלגוריתם QuadRes אנו יודעים ש -b אינה שארית ריבועית, ולכן ביחד עם נקבל ש - וסיימנו -

27. הוצאת שורש - האלגוריתם QuadRes המקרה האחרון הוא במקרה זה נסמן חישוב r,R ניתן להיעשות בזמן פולינומיאלי.

28. הוצאת שורש - האלגוריתם QuadRes נכתוב את סימן לז ' נדר של a במונחי r,R היינו רוצים שהמעריך יהיה אי - זוגי. מצד שני, תחת ההצגה של A עם r,R אנו יודעים להוציא שורש מ -A, ומשורש A וכו '. למה שלא נוכל להוציא שורשים עד שהגורם הזוגי במעריך ייעלם ?

29. הוצאת שורש - האלגוריתם QuadRes הסיבה היא שאנו רוצים לשמור על ובמהלך הוצאת שורשים אין ערובה לאינווריאנטה הזו. ראשית נבחין כי אם אז סיימנו. נניח לכן שזה לא המצב, לכן קיים גדול ביותר כך ש - אבל קונגרואנטי ל -1.

30. הוצאת שורש - האלגוריתם QuadRes נביט במכפלה כאשר זהו אותו טריק שהשתמשנו בו קודם – מכפלה זו קונגרואנטית ל - 1. השתמשנו ב -B בכדי לתקן את ה -(-1) שקיבלנו מהוצאה של שורש של A. הרעיון הוא להמשיך עם התהליך הנ " ל עבור

31. הוצאת שורש - האלגוריתם QuadRes אנו נמשיך עד אשר לא תישאר חזקה זוגית במעריך של a. הדבר אפשרי כי ל -b תמיד יהיה גורם זוגי גדול יותר במעריך מאשר ל -a. התהליך יסתיים כאשר החזקה של a תהיה בדיוק R. עם כל הכפלה בגורם התיקון אנו מפחיתים מהחזקה של a לפחות 1, ולכן מספר הצעדים חסום ע " י

32. הוצאת שורש - האלגוריתם QuadRes בסיום התהליך נקבל מספר כאשר z הוא סכום החזקות של b עם ההפחות שהתבצעו – סכום של מספרים זוגיים.

33. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

34. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

35. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

36. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

37. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

38. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

39. הוצאת שורש - האלגוריתם QuadRes - דוגמה ניקח p=17=8k+1 עבור k=2. נרצה למצוא את השורש של השארית הריבועית a=13 תוך שימוש בשארית הלא ריבועית b=3. מתקיים R=r=1.

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

41. נניח ו - כך ש - אז למה

42. אם n זוגי, אז נוכל למצוא את מספר המופעים של 2 בפירוק שלו, וממילא נוכל להניח מעכשיו ש -n אי - זוגי. האלגוריתם ייפרק את n לחזקות של מספרים ראשוניים תוך שימוש ב - כקופסא שחורה. הוכחת המשפט

43. ראשית נבחר באופן אקראי ובהסתברות אחידה. זאת נעשה על ידי בחירה של. אם אז אכן בחרנו. אחרת מצאנו מחלק לא טריוויאלי של n, והוא ונוכל להיעזר ברקורסיה עבור. נישאר לטפל במקרה בו כן הצלחנו למצוא. במקרה זה נחשב את ונריץ את בכדי למצוא שורש x של a מודולו n. הוכחת המשפט

44. מכיוון ש -n אינו חזקה של ראשוני, מספר השורשים של a מודולו n הוא, כאשר t>1 הוא מספר הגורמים הראשוניים השונים בפירוק של n לגורמים ראשוניים. מכיוון ש -b נבחר באקראי, הידע היחידי של על b הוא ש - ולכן ההסתברות ש - היא הוכחת המשפט

45. אם לא התמזל מזלנו, ויצא ש - נחזור שוב על התהליך עם b חדש שייבחר באופן בלתי תלוי ב -b הקודם. מכאן לכאן, מצאנו x כך ש - אבל. מהלמה נובע ש -. נסמן. וזהו מחלק לא טריוויאלי של n. מכאן נוכל להיעזר ברקורסיה עבור הוכחת המשפט

46. Primality Testing

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

48. הגדרה נגדיר את השפות PRIMALITY ו -COMPOSITENESS

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

50. מיקומה של בעיית הפירוק בהיררכיה החישובית אנו לא יודעים האם COMPOSITENESS היא בעיה NP- שלמה, אבל סביר יותר להניח שאין זה המצב, וממילא קושייה של COMPOSITENESS עומדת בין P ל -NP- שלמות ( כמו בעיית האיזומורפיזם בין גרפים ). NP P Complete COMPOSITENESS GI I’m probably between P and NP-Complete

51. מיקומה של בעיית הפירוק בהיררכיה החישובית אנו נראה כי סביר ש -COMPOSITENESS אינה NP- שלמה על ידי כך שנראה כי מכאן ינבע שגם אם COMPOSITENESS היא NP- שלמה נקבל ואין זה סביר.

52. משפט מספיק שנראה כי לכל מספר ראשוני n, קיימת הוכחה הניתנת לווידוא בזמן פולינומיאלי. מסקנה הוכחה

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

54. הוכחת הלמה - המשך מצד שני, אם ב - יש איבר מסדר n-1 אז מכיוון ש - היא קבוצת כל המספרים הקטנים מ -n אשר זרים לו, ומכיוון שיש בדיוק n-1 מספרים הקטנים מ -n, נובע שכל אלו שקטנים מ -n זרים ל -n וממילא n לא מתחלק באף אחד מהם. נסיק כי n ראשוני.

55. המשך ההוכחה מהלמה נובע שהוכחה להיות מספר n ראשוני היא איבר כך ש -g מסדר n-1 ( כלומר יוצר ). כל שההוכחה צריכה להראות הוא שלכל מחלק לא טריוויאלי m של n-1

56. המשך ההוכחה יותר מכך, מספיק שההוכחה תראה זאת רק עבור m- ים מהצורה כאשר ה - הם הגורמים הראשוניים המופיעים בפירוק של n. אפשר להראות כי לכל k ולכן הכרחי לחסוך ב -m- ים.

57. המשך ההוכחה יותר מכך, מספיק שההוכחה תראה זאת רק עבור m- ים מהצורה כאשר ה - הם הגורמים הראשוניים המופיעים בפירוק של n. בהינתן הפירוק של -1 n לגורמים ראשוניים, קל לוודא את ההוכחה לעיל.

58. המשך ההוכחה ההוכחה, לכן, צריכה גם לכלול את הפירוק של n-1 לגורמים ראשוניים. נדגיש – חשוב שההוכחה תמצא את הפירוק לגורמים ראשוניים ולא להשאיר גורמים שאינם ראשוניים בפירוק. את הבדיקה לכך שההוכחה חוקית במובן הזה שכל גורם של n הוא ראשוני, ניתן לעשות ברקורסיה.

59. המשך ההוכחה - חשבונות מכיוון שמספר הגורמים הראשוניים של n הוא ומכיוון שהצגה של כל גורם ראשוני כזה עולה נובע שזמן הריצה הכולל של ווידוא ההוכחה הוא עבור כל אחד מהגורמים מריצים בצורה רקורסיבית את הווידוא לכל אחד מהגורמים מחשבים את הדרגה

60. המשך ההוכחה - חשבונות חישוב פשוט ( הערכות גסות ) מראה כי

61. תרומת משפט פרמה ניזכר במשפט הקטן של פרמה המצהיר כי אם n ראשוני, אז לכל מתקיים אם הקונגרואנציה האחרונה מתקיימת, אנו נאמר כי a מקיים את מבחן פרמה עבור n. עבור n ראשוני, כל מקיים את מבחן פרמה.

62. תרומת משפט פרמה אם משפט פרמה היה מתקיים גם בכיוון ההפוך, כלומר – לכל n פריק קיים a שלא מקיים את מבחן פרמה, אז היה בידינו האלגוריתם האקראי הבא : בהינתן n, נבחר באקראי ונוודא ש - שהרי אחרת n פריק. אם אכן נקווה שבהסתברות גבוהה, a ייכשל במבחן פרמה עבור n.

63. תרומת משפט פרמה בכדי שאלגוריתם כזה ייחשב לאלגוריתם טוב אנו נרצה שעבור n פריק, הרבה a- ים ייכשלו במבחן פרמה. החדשות הרעות הן שיש מספרים אשר מתחזים לראשוניים במובן הבא הגדרה – מספר קרמייקל מספר קרמייקל הוא מספר פריק אשר עבורו לכל

64. מספרי קרמייקל מספר קרמייקל הקטן ביותר הוא 561. מספר קרמייקל נוסף הוא 1729. קיומם של מספרי קרמייקל אינו מחייב אותנו לזנוח את השימוש במשפט הקטן של פרמה לטובת בעיית ההכרעה המתאימה ל - PRIMALITY. אם מספרם של מספרי קרמייקל סופי - הם לא יהוו בעיה עקרונית.

65. גורם נוסף לכישלון שימוש במשפט פרמה עם זאת, עדיין עלינו להראות כי עבור n פריק שאינו קרמייקל, יש הרבה a- ים שייכשלו במבחן פרמה. הגדרה עבור מספר n, נסמן ב - את קבוצת ה -a- ים שעוברים את מבחן פרמה, כלומר ברור כי עבור n ראשוני

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

67. היכן אנו עומדים ? מהלמה אנו יודעים שאחד מהשניים – או ש - או ש -. המקרה הראשון מתרחש רק עבור מספרים ראשוניים ומספרי קרמייקל ולכן יש בידינו אלגוריתם אקראי פשוט המכריע ראשוניות, עד כדי קרמייקלים.

68. החדשות הרעות החדשות הרעות הן שלאחרונה הוכח כי יש אינסוף מספרי קרמייקל, ולכן מתחזים אלו מהווים בעיה עקרונית לשימוש במשפט פרמה עבור בדיקת ראשוניות. ליתר דיוק, W.R. (Red) Alford, Andrew Granville ו -Carl Pomerance הראו ב -1994 שעבור n גדול מספיק, יש לפחות מספרי קרמייקל בין 1 ל -n.

69. החדשות הטובות החדשות הטובות הן שיש דרך לעקוף את אינסוף המתחזים הללו על ידי הצבת מבחן חזק יותר מאשר מבחן פרמה. מבחן זה יתבסס על רעיון דומה. נעבור להגדרה של סימן יעקובי.

70. הגדרה – סימן יעקובי יהא n מספר אי - זוגי בעל הפירוק לגורמים ראשוניים אז לכל a זר ל -n נגדיר את סימן יעקובי להיות

71. סימן יעקובי - הערות ערכו של סימן יעקובי הוא תמיד 1 או (-1). אנו מרשים לעצמנו להשתמש באותו הסימון עבור סימן יעקובי ועבור סימן לג ' נדר, שהרי סימן יעקובי מצומצם על הראשוניים מזדהה עם סימן לג ' נדר. אנו משתמשים בסימן לג ' נדר בכדי להגדיר את סימן יעקובי.

72. סימן יעקובי – היבט חישובי נבחין כי סימן יעקובי מוגדר עבור n בהינתן הפירוק שלו. עם זאת, ניתן לחשב את סימן יעקובי של n בזמן פולינומיאלי גם ללא ידיעת הפירוק של n. את החישוב ניתן לעשות בעזרת השימוש בזהויות הבאות החלות על סימן יעקובי.

73. סימן יעקובי - זהויות לכל a,b הזרים ל -n אם אז אם a,n זרים אז

74. סימן יעקובי - זהויות

75. סימן יעקובי כתחליף למבחן פרמה נרצה להחליף את מבחן פרמה, אשר נופל על מספרי קרמייקל, במבחן אחר המבוסס על סימן יעקובי. הגדרה לכל n אי - זוגי, נגדיר

76. למה לכל n פריק הערה נשים לב שהגרסה המקבילה של הלמה הזו עבור מבחן פרמה לא הייתה תקפה לכל n פריק, אלא לכל n פריק שאיננו מספר קרמייקל.

77. הוכחה קל לוודא כי היא חבורה וממילא תת - חבורה של על כן כל שעלינו להראות הוא ש - נניח בשלילה שיש n פריק כך ש -. נביט בפירוק של n לגורמים ראשוניים נסמן

78. הוכחה נבחר יוצר g של ונסמן ב -a את האיבר ב - המקיים קיומו של a כזה מובטח ממשפט השאריות הסיני. נבחין כי עבור כל מתקיים

79. הוכחה נחלק את ההוכחה למקרים. כמקרה ראשון נניח ש - במקרה זה נוכל לכתוב כאשר ו -. נבחין כי שהרי n אינו ראשוני. כעת,

80. הוכחה נחלק את ההוכחה למקרים. כמקרה ראשון נניח ש - במקרה זה נוכל לכתוב כאשר ו -. נבחין כי שהרי n אינו ראשוני. כעת,

81. הוכחה נחלק את ההוכחה למקרים. כמקרה ראשון נניח ש - במקרה זה נוכל לכתוב כאשר ו -. נבחין כי שהרי n אינו ראשוני. כעת,

82. הוכחה נחלק את ההוכחה למקרים. כמקרה ראשון נניח ש - במקרה זה נוכל לכתוב כאשר ו -. נבחין כי שהרי n אינו ראשוני. כעת,

83. הוכחה מכיוון שסימן לג ' נדר וסימן יעקובי מזדהים על הראשוניים, ומכיוון שיוצר אינו שארית ריבועית, נקבל מהנחת השלילה ולכן ומכיוון ש - מתקיים גם

84. הוכחה וזו סתירה לכך שבחרנו a כך ש -. המקרה השני הוא בו. מהנחת השלילה ולכן וממילא מכיוון ש -

85. הוכחה ומכיוון ש - נקבל נזכור כי g יוצר של ולכן הסדר של g הוא וממילא אבל מכיוון ש - נובע ש -

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

87. אלגוריתם RP עבור COMPOSITENESS נציע אלגוריתם RP הדומה ברוחו לאלגוריתם שיכל להצליח אילולא היה מספרם של מספרי קרמייקל אינסופי. האלגוריתם מקבל מספר אי - זוגי ומוציא כפלט COMPOSITE רק אם המספר פריק. עם זאת האלגוריתם עלול להחזיר PRIME גם אם המספר פריק. על כן יש להתייחס לפלט COMPOSITE כאל פריק בוודאות ואל PRIME כאל ראשוני בסבירות גבוהה.

88. אלגוריתם Primality1 של Solovay ו -Strassen קלט : מספר אי - זוגי n. פלט : PRIME או COMPOSITE בחר באקראי מספר מ - אם החזר COMPOSITE. אם החזר PRIME. החזר COMPOSITE.

89. אלגוריתם Primality1 של Solovay ו -Strassen האלגוריתם אינו טועה כאשר הוא מחזיר COMPOSITE שהרי במקרה זה הוא מצא כך ש - או, וכל אחד ממקרים אלו אפשרי רק במקרה בו n פריק. מצד שני, מהלמה מכיוון שהאלגוריתם טועה רק כאשר n פריק וה -a הנבחר יושב ב -, נובע שהאלגוריתם טועה עם הפלט PRIME בהסתברות שאינה עולה על חצי.

90. ההיבט החישובי מבחינה חישובית, קיומו של האלגוריתם Primality1 מבטיח ש - וממילא תוצאה מורכבת מאוד של Adleman ו -Huang מבטיחה שגם