برنامه مدرسه تابستانی سال
۱۳۹۶
آشنایی با خمهای جبری
ایمان ستایش (دانشگاه تربیت مدرس)
مصطفی عیناللهزاده (دانشگاه صنعتی شریف)
هندسه جبری از دیرباز مورد
توجه ریاضیدانان بوده است. مطالعه معادلات
چندجملهای و انتگرالهای آنها از مسایل تاریخی
ریاضی است که بررسی آن در کارهای آبل، ریمان و
ریاضیدانان بزرگ دیگر دیده می شود. اگر هندسه
مقدماتی را مطالعه خطوط، دایرهها و مقاطع
مخروطی بدانیم که همگی صفرهای معادلات درجه یک و
دو هستند، میتوان هندسه جبری را مطالعه خمهای
از درجات بالاتر معرفی کرد. در این درس پس از
آشنایی با ابزارهای لازم به مطالعه خمهای جبری
و خواص آنها میپردازیم. این مطالعه نتایج جبری
و هندسی قابل تاملی دارد. به عنوان مثال قضایای
صفرهای هیلبرت، قضیه بزو و قضیه ریمان-رخ مورد
بررسی قرار می گیرند. قضیه بزو را می توان
تعمیمی از قضیه اساسی جبر در نظر گرفت که تعداد
نقاط تلاقی دو خم جبری در صفحه را می شمارد و از
نتایج آن درهندسه مقدماتی می توان از قضیه
پاسکال نام برد.
پیش نیاز:
جبر: نظریه گروه ها، حلقه ها و ایده آل ها
آشنایی مختصر با توپولوژی: مفهوم فضای توپولوژیک
و پیوستگی
آشنایی با جبر خطی: مفهوم فضای برداری و نگاشت
های خطی
جلسه ۱: مقدمه ای بر جبر جابجایی : قضیه صفرهای
هیلبرت و ...
جلسه ۲: واریته های آفین ۱: حلقه مختصات و ...
جلسه ۳: واریته های آفین ۲: محاسبات با ایدهآلها
جلسه ۴: خواص موضعی خمهای جبری: تکرر، مماس بودن
و ...
جلسه ۵: واریتههای تصویری
جلسه ۶: خم های جبری تصویری: قضیه بزو و قضیه نوتر
جلسه ۷: واریتهها و نگاشتهای گویا
جلسه ۸: رفع تکینگیهای خمهای جبری
جلسه ۹: قضیه ریمان رخ ۱
جلسه ۱۰: قضیه ریمان رخ ۲
|
آشنایی با
پیچیدگی محاسبه
سلمان ابوالفتحبیگی (پژوهشگاه دانشهای
بنیادی)
امید اعتصامی (پژوهشگاه دانشهای بنیادی)
نظریه محاسبه و پیچیدگی
محاسبه، موضوعی بنیادی است. هدف این نظریه
فهمیدن این است که چرا بعضی مسئلهها سادهاند
در حالی که بعضی دیگر سختاند. موضوع فقط سرعت
کامپیوترهای امروزی نیست بلکه درک ساختارهای
ریاضی مسائل است که به ما در حل آنها کمک می
کند یا باعث سختی آن مسائل میشود. مثلا چرا در
صورت وجود مسیری که از همه یالهای یک گراف داده
شده دقیقا یک بار بگذرد، پیدا کردن چنین مسیری
آسان است؟ و چرا مساله مشابه برای وقتی که مسیر
باید از همه راسهای گراف دقیقا یک بار بگذرد،
سخت است؟ استفاده از الگوریتمهای تصادفی کجا
میتواند مفید باشد؟ مفاهیم جدید اثبات مثل
اثباتهای تعاملی چه قابلیتهای جدیدی
دارند؟محدودیتهای الگوریتمهای تقریبی چیست؟
الگوریتمهای کوانتومی چه قابلیتهایی دارند؟
مرجع مناسبی برای موضوعات درس کتاب Nature
of Computation اثر Moore
و Mertens است.
پیش نیاز:
برای درک بهتر درس، دانستن بعضی مفاهیم محاسباتی،
همچنین ریاضیات گسسته و احتمالات مفید است.
جلسه ۱: مثالهایی از مسالههای آسان و سخت: تور
اویلری، دور هامیلتونی، و داشتن استراتژی برد در
بازیهای دو نفره. زمان و مکان چندجملهای.
جلسه ۲: روشهای الگوریتمی: بازگشت، تقسیم و حل،
برنامهریزی پویا، جستجوی گراف، الگوریتم حریصانه.
جلسه ۳: کاهش مسائل به هم، مسائل NP
و NP-کامل، محاسبه غیرقطعی، مساله
صدقپذیری، ...
جلسه ۴: تز چرچ-تورینگ، ماشین تورینگ، مساله توقف
و قطریسازی، ...
جلسه ۵: محدودیت حافظه، قضيه Savitch،
تساوی NL و coNL،
...
جلسه ۶: بهینهسازی، برنامهریزی خطی، الگوریتم
تقریبی، صورت قضیه PCP، ...
جلسه ۷: الگوریتمهای تصادفی، تابع درهمسازی،
انگشتنگاری، توابع پیچیدگی احتمالاتی، ...
جلسه ۸: اثباتهای تعاملی، اثباتهای ناتروا، جبری
کردن، ...
جلسه 9: مولد شبه تصادفی، عصاره گر تصادفی،
رمزنگاری، ...
جلسه ۱۰: محاسبه کوانتومی، الگوریتم Grover،
…
|
ثبتنام
دانشجویان علاقهمند دوره کارشناسی میتوانند در مدرسه
تابستانی ریاضیات ثبت نام کنند.
برای ثبتنام:
۱)
فرم
ثبتنام را تکمیل و به همراه
کارنامه خود در یک رایانامه با عنوان نام خانوادگیتان به
نشانی
iranmathschool@gmail.com ارسال
کنید.
۲) حداقل یک توصیهنامه توسط استادتان با عنوان نام
خانوادگی شما به نشانی
iranmathschool@gmail.com
ارسال شود.
هزینه ثبت نام: ۱۰۰۰۰۰۰ ریال (واریز پس از اعلام موافقت
کمیته برگزاری)
کمیته
برگزاری
ایمان افتخاری
(پژوهشگاه دانشهای
بنیادی)
رشید زارع نهندی
(دانشگاه تحصیلات تکمیلی
زنجان)
کسری علیشاهی
(دانشگاه صنعتی شریف)
مرتضی فتوحی
(دانشگاه صنعتی شریف)
مجتبی قیراطی
(دانشگاه یاسوج)
میثم نصیری
(پژوهشگاه دانشهای بنیادی)
امید نقشینه ارجمند
(دانشگاه صنعتی
امیرکبیر)