Bahar Matematik Buluşması, farklı üniversitelerde okuyan matematik öğrencileri tarafından yılda iki defa düzenlenen, akademik odaklı bir çalıştay dizisidir. Buluşmaların sabit bir mekânı bulunmamakla birlikte her seferinde farklı bir üniversitede gerçekleştirilmesine özen gösterilir. Konuşmalar, davetli akademisyenler ve başvuruda bulunan öğrenciler tarafından verilir ve farklı üniversitelerden matematik öğrencilerinin bir araya gelip matematik dinleyebileceği, tartışabileceği ve kendi ilgilendikleri konulardan bahsedebilecekleri bağımsız bir ortam yaratmayı amaçlar. Buluşma tarihi, buluşma yeri ve davetli akademisyenler birkaç ay öncesinden duyurulur.
1. Bahar Matematik Buluşması 4-5 Mart 2017 tarihlerinde Mimar Sinan Güzel Sanatlar Üniversitesinde gerçekleşmiştir.
Program
4 Mart Cumartesi
9.30 – 10.30
Aydın Aytuna – Tosun’u Anarken
10.50 – 11.20
Elif Özcan – Kriptolojide Simetrik ve Asimetrik Şifreleme Yöntemi Örnekleri
Kriptografiye neden ihtiyaç duyulduğuna değinilip, simetrik şifreleme yöntemlerinden olan Sezar şifrelemesi ve XOR şifreleme yöntemi tanıtılacaktır. Asimetrik şifreleme yöntemlerinden en yaygın kullanılan RSA şifreleme sistemi anlatılıp örneklendirilecektir.
11.20 – 11.50
Deniz Mercan – Banach Tarski Paradoksu
Paradoks, görünüşte doğru olan bir ifade veya ifadeler topluluğunun bir çelişki oluşturması veya sezgiye karşı bir sonuç oluşturmasıdır. Yıllar boyunca matematiksel sezgiyi yeniden şekillendiren ve bilgilendiren birçok eğitici ve ilginç paradokslar var olmuştur. Bu konuşmada matematiğin en dikkat çeken, meşhur paradokslardan biri olan Banach – Tarski paradoksuna değinilecektir. Bu konuşmada özetle, sonsuz bir küme parçalanarak neler yapılabileceği anlatılacaktır. İlk olarak, ötelemelere ve döndürülere yer verilecek; sonrasında ise Banach – Tarski Paradoksundan bahsedilip kanıtı ele alınacaktır. Son olarak zaman kalırsa Banach Tarski Paradoksu ile ilişkili olmak üzere, henüz çözülemeyen bazı açık sorulara değinilecektir.
10.50 – 11.50
Eda Kırımlı – Inverse Galois Problem
Inverse Galois Problem, given a finite group G, find a finite extension of the rational field Q whose Galois group is G, is still an open problem. We give an introduction to the Inverse Galois Problem and compare some radically different approaches to finding an extension of Q that gives a desired Galois group.
12.10 – 13.10
Olcay Coşkun – Functorial Representation Theory
Starting with basic representation theory of finite groups, we describe representation rings and functions between them. Then we discuss bisets and biset functors which are recent functorial techniques in representation theory.
13.10 – 14.30
ARA
14.30 – 15.00
Hasan Özgür Çıldıroğlu – Aharonov Casher ve Berry Fazları
Bu çalışmada herhangi bir yaklaşım yapılmaksızın, bütünüyle göreli kuantum mekaniği çerçevesinde Aharonov Casher etkisinin geometrik Berry fazının özel bir durumu olduğu gösterilecektir.
14.30 – 15.30
Oğuz Şavk – Heegard-Floer Homology for Brieskorn Sphere
Briefly, I start with the definition of Brieskorn sphere Σ(p,q,r), homology sphere, plumbing and surgery of manifolds. Then I explain Ozsváth and Szabó’s combinatorial description for Heegard-Floer homology. Finally, using this algorithm, I calculate Heegard-Floer homology -Σ(2,3,7).
15.00 – 15.30
Ulgen Kilic – Morse Theory on Surfaces
Morse teorisine giris niteliginde kisa bir konusma olacak. Morse fonksiyonlarini tanimladiktan sonra konunun genel bir ozeti olarak yuzeyler icin 0,1 ve 2-kulplari inceleyecegiz.
15.50 – 16.50
Ümit Işlak – Stein-Chen method and Poisson Approximation
The purpose of this talk is to give an introduction to Poisson approximation via Chen’s method. After establishing the theoretical setup, we will prove the law of small numbers, and will see applications of the method for functions of dependent random variable. Time permits, I will also mention relevant work on distributional approximation in other settings. Referans: Barbour, Andrew D., Lars Holst, and Svante Janson. Poisson approximation. Oxford: Clarendon Press, 1992.
17.00 – 17.30
Oğuz Gürerk – Outliers, the Law of large Numbers, and Heavy Tails
In statistics, an outlier is an observation point that is “distant” from other observations. Though the term outlier is often articulated in various fields, a consensus for a mathematical definition for an outlier has not been established yet. The purpose of this talk is to focus on a very recent attempt in this direction, and to discuss mathematically rigorous definitions of types of outliers. The underlying idea relies on using distances between different order statistics. This new notion of outliers relates to some important results in probability theory and statistics; e.g. to the law of large numbers and heavy tailed distributions.
17.00 – 17.30
Baran Zadeoğlu – Classification of finite subgroups of SO3 via group action
(depending on time) Construction of matrix groups On and SOn their relations with isometries and especially rotations. First half of the proof. (available in M.A. Armstrong, Groups and Symmetry p104). One case of the second half. Since the proof is independent from the notion of rotation martices and all the arguements are developed geometrically, a basic understanding of group action will be sufficent for the most part. On a footnote, this speech aims to be esthetic and educative rather than functional. To me, this proof was and is both beautiful and demonstrative.
17.30 – 18.30
Büşra Sert – Hiper Reeller ve Ötesi
İlk olarak Newton ve Leibniz tarafından kalkülüste, diğer pozitif reel sayılardan daha küçük büyüklükteki reel sayıların olduğu varsayılarak kullanılan ve ileriki yıllarda tam olarak tanımlanan sonsuz küçük sayılar ile sonsuz büyük sayıları ve aynı zamanda reel sayıları içeren hiper reel sayı sisteminin kurulması ve sonraki adım olarak hiper kompleks sayı sistemine geçiş ele alınacaktır.
17.30 – 18.30
Berkay Kebeci – The Schur–Zassenhaus theorem and Hall subgroups
We will state the Schur–Zassenhaus theorem, a partial generalization of Sylow’s theorem to Hall subgroups. Sketch of the proof will be given. We will also state and prove some corollaries of this theorem including the one that guarantees the existence of the Hall subgroups of a finite solvable group. If time permits we will introduce π-separability with some basic properties.
5 Mart Pazar
9.30-10.30
Serap Gürer – A topological proof of the Fundamental Theorem of Algebra
Several proofs of the fundamental theorem of algebra, using purely algebraic and complex analytic methods are well known. The algebraic topological version of the proof is an elegant application of elements of homotopy theory. In this talk, the requisite concepts will be introduced first and then the proof will be presented.
10.50 – 11.50
Enis Kaya – On Heegner Points on Elliptic Curves
After a brief introduction to the CM theory, I will define Heegner points on the modular curve X_0(N). Then I will describe some applications of the arithmetic of elliptic curves.
10.50 – 11.20
Umur Çetin – Bir Sayma Probleminin Graf Teorisi Yardımıyla Çözümü
‘‘n x n’lik bir satranç tahtasında her satır ve her sütunda tam bir tane kare karalanarak kaç farklı desen oluşturulabilir? ’’ probleminde satır satır ilerleyerek çözüm kolayca yapılabilmektedir. Çünkü yalnızca önceki satırları dikkate almak yeterlidir. Ancak ‘‘n >1 olmak üzere n x n’ lik bir satranç tahtasında her satır ve her sütunda tam iki tane kare karalanarak kaç farklı desen oluşturulabilir?’’ probleminde satır satır ilerlemek mümkün değildir. Her satırda, kendinden önceki ve kendinden sonraki satırları dikkate almak gerekir ki bu durum saymayı zorlaştırır. Bunun üzerine satır-satır ilerlemek yerine satır-sütun şeklinde ilerlemeye ve bu şekilde birbirinden ayrık durumlar elde etmeye çalıştık. Bunu yaparken graf teorisinden (çizge kuramından) yararlandık. Böylece n sayısının tüm değerleri için kullanılabilen bir yöntem bulmuş olduk.
11.20 – 11.50
Ozan Sezgin – Esnek Kümelerdeki De Morgan Teoremi
Bu çalışmamızda, Molodtsov’un esnek küme tanımını verip esnek kümelerdeki De Morgan Teoremi’nin ispatını vereceğiz.
12.10 – 13.10
Serge Randriambololona – The Ax-Grothendieck Theorem as an Application of the Compactness Theorem in Logic
Ax-Grothendieck theorem states that if a polynomial map from Cn to Cn is injective then it also needs to be surjective. This theorem follows in a relatively easy way from facts from model theory, specially the compactness of first order logic (which can be broadly stated as “a semantic consequence needs also to be syntactic consequence”). İn this talk, I will give a non-technical overview of basic concepts and facts from model theory keeping the proof of Ax-Grothendieck theorem as a motivation. This talk is independent from the talk of Pınar Uğurlu but could be a good introduction to it.
13.10 – 14.30
ARA
14.30 – 15.30
Dicle Mutlu – Group Configuration Theorem in Strongly Minimal Structures
The Group Configuration Theorem states that if there exist certain properties in a structure, then we can define an infinite group in terms of it. In my talk, I will begin by giving a brief introduction to the model theoritic notions. My main objective is to give an understanding of what the theorem is about and to discuss the general strategy of the proof.
14.30 – 15.00
Özlem Duygu Yılmaz – Logkonkav Diziler I
Logkonkav diziler kombinatorik, geometri ve lineer cebirde temel bir kavramdir. Bu konusmada logkonkav ve onunla yakından ilişkili ultra-logkonkav dizilerin temel özelliklerinden bahsedeceğim. Dizilerin logkonkav oldugunu göstermek icin konveks geometri ve çok değişkenli polinomların nasıl kullanabileceğini göreceğiz.
15.00 – 15.30
İlayda Barış – Logkonkav Diziler II
İlk konuşmanın devamı olarak, matroidlerden bahsederek başlayacağım. Matroidlerin Whitney sayılarının (karakteristik polinomun katsayıları) log konkav olduğu Rota-Heron sanısı olarak biliniyordu ve geçen yıl Adiprasito, Katz ve Huh tarafindan ispatlanmıştı. Konuşmanın devamında, lineer cebirden gelen doğal bir polinom ailesi (r-karakteristik polinom) hakkında konuşacağım ve bu polinomların katsayılarının log konkav olup olmadığıyla ilgili olarak devam eden çalışmalarımızdan bahsedeceğim.
15.50 – 16.50
Pınar Uğurlu – Pseudofinite Groups
Pseudofinite groups arise in model theory and they can be described (roughly) as infinite groups enjoying the first order properties shared by all finite groups. In this talk, I will give the precise definition and some basic properties of pseudofinite groups after providing necessary background information. Then, I will discuss conjugacy problem for Sylow p-subgroups of pseudofinite groups. Although pseudofinite groups behave like finite groups in some sense, conjugacy of Sylow p-subgroups may fail in the case of pseudofinite groups. However, I will prove the conjugacy of Sylow 2-subgroups in linear pseudofinite groups under one assumption: existence of a finite Sylow 2-subgroup. Time permitting, I will also present an example of a linear pseudofinite group with non-conjugate Sylow 2-subgroups. This talk will be accessible to undergraduate students.
17.00 – 17.30
Jülide Miray Özkan – Brief introduction for multiple transitivity and generic multiple transitivity
I will talk about what is known and which questions are still open in multiple transitivity. Afterwards i will introduce generic transitivity, mention a conjecture and what has been done to prove it.
17.00-17.30
Bahadır Karakoç – Minimal Number of Generators of Gorenstein Monomial Curves
Simetrik yarı gruplar ile bu yarı gruplara karşılık gelen tek terimli eğrilerin tanımlayıcı ideallerinin üreteçleri arasındaki ilişkiyi gösteren bazı sonuçları vereceğiz. Ve bu üreteçlerin eleman sayısı hakkında bilgi vereceğiz.Ayrıca simetrik yarı gruplarla Gorenstein halkalar arasındaki önemli bir sonucu hakkında konuşacağız. Tam kesişim olmayan simetrik bir yarı gruba karşılık gelen tek terimli eğrinin tanımlayıcı idealinin üreteçlerinin hangi formda olduğunu söyleyen Bresinsky’nin önemli sonucunu vereceğiz.
17.30 – 18.00
Abdullah Yeşilbudak – Grupların Büyüme Fonksiyonları
Öncelikle grupların Cayley graflarından söz edeceğim. Sonra asıl konumuz olan gruplarda büyüme fonksiyonları hakkında konuşacağım. “Bir grubun büyüme fonksiyonu ne demektir?”, “Grup üreteçlerinin büyüme fonksiyonu üzerinde nasıl bir etkisi vardır?” ve “Büyüme fonksiyonlarının denkliği ne demektir?” sorularını inceleyip, bazı grupların büyüme fonksiyonlarını bularak konuşmayı sonlandıracağım.
17.30 – 18.00
Onur Korkmaz – x^3=x Özelliğini Sağlayan Halkalar Değişmelidir
Bu konuşmada, x^3=x özelliğini sağlayan bütün halkaların değişmeli olduğunu ispatlayacağım. En az iki farklı ispatını sunacağım bu konuşmada, zaman kalırsa bu teoremin başka ispatlarını ve genellemelerine de değineceğim.
Tüm Bahar Matematik Buluşması Emekçilerine Sonsuz Teşekkürler…
Abdullah Yeşilbudak, Ahmet Çoban, Alaittin Kırtışoğlu, Ayşenaz İpek, Ayşenur Taşdemir, Ataol Gültekin, Bahadır Batur, Bahadır Karakoç, Baran Çetin, Baran Zadeoğlu, Bartu Bingöl, Batuhan Bayır, Batuhan Fidan, Berfin Selin Bahçeci, Berkay Kebeci, Berkay Sümbül, Betül Gürbüz, Beyza Nur Yaşar, Bilge Köksal, Botan Çevik, Buket Eren, Büşra Atar, Büşra Sert, Çağatay Altınbaş, Damla Özdemir, Deniz Bozkurt, Deniz Mercan, Demir Eken, Dicle Mutlu, Ebru Nayir, Eda Kırımlı, Elif Özcan, Erdem Şafak Öztürk, Eris Kaya, Erol Barut, Ersin Süer, Fikret Sarı, Gökhan Ayyıldız, Furkan Öztürk, Gökçen Dilaver, Gülsemin Çonoğlu, Güney Işık Tombak, Hakan Mülayim, Hamide Kuru, Harun Kır, Hasan Özgür Çıldıroğlu, Hikmet Burak Özcan, İlayda Barış, İlayda Berber, İrem Nur İpek, Jülide Miray Özkan, Kubilay Altınoymak, Kübra Dölaslan, Mehmet Kırtışoğlu, Mehmet Vural, Melek Durmuşoğlu, Melih Mert Oskay, Melike Efe, Merve Seçgin, Muhammed Furkan Merdan, Murat Uyar, Nihal Yurdakul, Nihan Tanışalı, Nurgül Kangal, Oğuz Gürark, Oğuz Şavk, Onur Kokmaz, Ozan Sezgin, Ömer Avcı, Özlem Duygu Yılmaz, Sabri Umur Çetin, Serkan Doğan, Seyfullah Çınar, Şara Hazal Baydar, Sıla Kazan, Şeyda Köse, Şiir Turan, Tarık Arabacı, Tuğçe Ulutaş, Turgay Değirmenci, Ülgen Kılıç, Yasin Emre Üsküplü, Yunus Aybas Zeynep Kısakürek...