We are organising a mathematics seminar for postdocs, doctoral students and interested undergrads. Other interested researchers are also welcome.

Aim: The seminar aims to bring physicists and mathematicians together to discuss their research and find collaborators.

We expect that the speaker should discuss her research with the seminar group targeting maximum of the audience and aiming to get collaborators for her work. The audience should try to relate their work with that of the speaker and widen the horizons of research. A talk should be 90 min long, and a speaker should give minimum two and maximum five talks.

No credits, points or marks will be awarded for this seminar.

Time and venue: Every Wednesday 10.30---12.00 Hrs in Madhava Hall.

Next seminar: April 19 , Speaker: Varun Prasad.

Sequences of speakers:

1. Chaitanya Ambi;

Introduction to Representation theory and Harmonic Analysis; (abstract);

two sessions.

2. Prof. Deepak Dhar;

A linear algebra problem in quantum state preservation;

one session.

3. Rohit Dilip Holkar;

A generalised notion of group morphisms and induction of representations; (abstract);

two sessions.

4. Bhushan Gadre;

Mathematics and statistics in gravitational wave data analysis (abstract).

5. Advait Phanse;

Recognition problems for 3-manifolds (abstract).

6. Girish Kulkarni;

Dotted lines between homotopy theory and physics.

Abstract : We will see some results from homotopy theory (topological and Algebro geometric). Main focus of the lecture will be on an Algebro geometric version of the homotopy theory.

7. Varun Prasad

Where Mathematics, Logic, Computation and Physics Meet8. Makarand Sarnobat

Abstract : Homotopy Type Theory is a newly emerging field at the intersection of logic, mathematics and theoretical computer science. One of its primary aims is to provide a computational foundation of mathematics (alternative to the current set theoretic one) that will enable automated proof checkers, i.e., programs that will take in mathematical proofs as input and return as output whether the proof is valid or not.

At the very heart of this theory lies a deep correspondance between logic, mathematics and computing as can be seen in the correspondances between Proof Theory, Category Theory and Type Theory. In this seminar, I will explore this correspondance and attempt to extend it to Physics.

9. G. J. Sreejith

10. Steven Spallone