Provides a platform to discuss cool, usually non-curricular topics in mathematics, among peers.
This can include research papers in mathematics, reviews and expositions, progress in or reports of semester projects, any problems you found cool, or any other thing that you read or observed (almost always non curricular) that you found interesting.
This is primarily aimed for 3rd year math majors and above (but everyone is welcome)
Members are encouraged to suggest interesting papers or specific topics for the next session which are expected to be taken up by members for presentation or discussion.
Meeting frequency: Ideally once a week, more as per demand.
Sushrutha H S
Abstract: A finite group is called ambivalent if every element is conjugate to its inverse. This property is closely tied to the structure of conjugacy classes and has natural consequences in representation theory.
In this talk, we examined ambivalency in two of the most fundamental families of groups: the symmetric groups S_n and the alternating groups A_n. For symmetric groups, ambivalency can be described in terms of cycle decompositions and holds for all nnn. In contrast, the alternating groups exhibit a more delicate behavior: ambivalency occurs only for certain values of nnn, and its failure is linked to the splitting of conjugacy classes.
The discussion provided a clear characterization of when A_n is ambivalent, supported by concrete examples, and highlighted how this property reflects deeper aspects of the groups’ internal symmetries. The talk was accessible to anyone familiar with the basics of permutation groups.
Naman Thakkar
Abstract: The set of integers has infinitely many prime elements. For a positive integer m, integers can be partitioned into disjoint classes, depending on the remainder an integer leaves upon dividing by m. These classes are called 'residue classes modulo m'.
A natural question is, how are the infinitely many primes distributed into these residue classes? Notice, for a given positive integer m, the number of residue classes is m, i.e. finite. Hence, at least one class must contain infinitely many primes. (Why?)
Thus, for a given positive integer m, we want to determine which residue classes contain infinitely many primes. Extracting this information directly from the residue classes is difficult. The idea is to 'transfer' this information from the residue classes into the group of non-zero complex numbers. This is done via 'structure-preserving maps' from the residue classes to complex numbers. Once this is done, the information from complex numbers is extracted using tools from analysis.
Eshwar
Abstract: We will look at the problem of lifting continuity from known settings like Euclidean to more broader cases and how this leads to formulation of axioms of topology. We will look at a few different(all equivalent) formalisms which achieve this. This will reveal a deep relation to convergence itself. We will see how sequences are inadequate to describe continuity or convergence in general settings. And as a consequence discuss their generalisations which do the part, viz. nets and filters. And we will see a final formalism which is based solely in convergence of these new objects. I will reconcile this view with the open set formalism(most popular for good reasons) I will discuss continuity and compactness to demonstrate the value of these objects. Tychonoff's theorem is greatly simplified for an instance. After this we can look at many ramifications of these constructions which honestly are very varied. For example this can lead to discussion about limits in categories(filtration), filters in logic and so on. Or if the people wish I could further about other matters in general topology.
Sanchit Nayak
Abstract: Knots have been a subject of interest since antiquity, and have led to the development of several mathematical theories. Using the language of topology, one can transform the question “Can this knot be unraveled?” into a rigorous mathematical statement; and using the tools of algebraic topology, one can convert this seemingly difficult problem into a purely algebraic (and more tractable) problem.
In this talk, I will give an overview of the topological methods involved in the study of knots and links. I shall also give an overview of the classification (upto homeomorphism and ambient isotopy) of knots in the plane, the 2-sphere, and the torus. If time permits, I shall also talk about a few special classes of knots in R^3.
The talk is based on a semester project I did in the August 2024 semester, with Prof. Rama Mishra.
Malhar Patel
Abstract: Most mathematics is written informally in natural language, based on set-theoretic foundations. Verifying advanced results can take months, if not years, and require experts from various fields to check every step for correctness.
Could we make this easier by letting a program check the proof for us? Formalizing a mathematical proof which a computer system can verify requires us to use a different foundation of mathematics - type theory.
This introductory talk will cover the basics of type theory, the core concepts of how proof-checkers work, and a live demonstration of the same on the computer.
Jigyas Baruah
Abstract: Urn Models are stochastic models that deal with urns and coloured balls, with fixed rules (schema) on how the colour populations change depending on what ball colour is picked from the urn at each turn. The focus of the talk would be to analyse the long term properties of the colour populations depending on the schema and the starting colour populations. We will be analysing various schemas, such as the Pólya-Eggenberger Urn, the Ehrenfest Urn, the Hoppes Urn, and some more.
The prerequisites are fairly low, anyone familiar with introductory probability concepts (random variables, probability distributions etc) should be able to easily follow the talk.
Abhijeet Mohanty
Abstract: I will share my semester project in combinatorics, related to the Davenport constant. I'll start with some relevant notation/background, and present the Davenport constant for Z/nZ (cyclic groups) and p-groups. Then, I'll introduce a related constant, and present its calculation for ℤ/nℤ, (ℤ/2ℤ)^n and (ℤ/pℤ+ ℤ/pℤ).
The first part requires some familiarity with group theory language, but the main 2nd part is just linear algebra and lots of factorials.
Devanshu
Abstract: I’ll be sharing my semester project on Analytic Number Theory. I’ll start off with some well-known arithmetical functions and their properties, then introduce the concept of Dirichlet convolution. After that, I’ll prove the Euler Summation formula and show how we can apply these ideas to some problems. No prerequisites are expected as all of these ideas can easily be followed.
Gaurav Chandan
Abstract: I will be presenting the paper "Primes is in P", the seminal paper by Agrawal, Kayal and Saxena in which they state the first ever unconditional, deterministic, polynomial time algorithm for primality testing.
I intend to talk little bit about basic complexity classes (and P vs. NP) and the history and importance of primality testing and then go through the paper proving everything in as much detail as time will allow us. The prerequisites are almost nil and although some exposure to algebra might make things easier I feel anybody with a bit of mathematical maturity will be able to follow most, if not all, of the talk.
Jetharam Bhambhu
Abstract: This talk explores Alan Turing's groundbreaking 1936 paper that laid the foundation for modern computation theory. Turing introduces the concept of a Turing machine, arguing that any computation performable by a human can be replicated by such a machine. He further demonstrates the existence of a universal machine, capable of simulating any other Turing machine when provided with its description. Finally, using a diagonalization argument, Turing shows that there are questions about the behavior of Turing machines that no machine can decide. This leads to the conclusion that the Entscheidung's problem is undecidable, establishing the limits of mechanical computation.
Pranjal Jain
Title: The Hairy Ball Theorem in 2-D
Abstract: The surface-level goal of the talk is to present an elementary proof of the Hairy Ball Theorem for the 2-sphere. We will start with the layman formulation of the theorem and gradually formalise it, and this will introduce us to some ideas that are omnipresent in modern geometry and topology. Seeing these ideas come up naturally in the context of the problem is the deeper goal of the talk.
If time permits, a comparison of the present proof with a more standard proof will also be given.
The technical details of the proof will generally be left to the audience, and being able to flesh these out will require familiarity with point-set topology. However, the high-level ideas should be accessible even without this.