Groups and Computation (2023)

Convener(s)


Name:	Krishnendu Gongopadhyay	Rishi Vyas	Soumya Dey,
Mailing Address:	Professor, Department of Mathematical Sciences, IISER Mohali, Sector 81, S. A. S. Nagar, Punjab - 140306, India.	Assistant Professor of Mathematics, Division of Sciences, School of Interwoven Arts and Sciences, Krea University, 5655, Central Expressway, Sri City, Andhra Pradesh 517646, India.	Assistant Professor of Mathematics, Division of Sciences, School of Interwoven Arts and Sciences, Krea University, 5655, Central Expressway, Sri City, Andhra Pradesh 517646, India.
Email:	krishnendu at iisermohali.ac.in	rishi.vyas at krea.edu.in	soumya.dey at krea.edu.in

This week-long programme is centered on the theme ‘Groups and Computation’, and will consist of a series of mini-courses on algorithmic, computable and formally verified aspects of group theory. The programme is aimed at interested PhD students, postdoctoral fellows and researchers in mathematics and theoretical computer science.

Dates:

Monday, July 3, 2023 - 19:00 to Saturday, July 8, 2023 - 19:00

Venue:

Krea University

Venue Address:

Soumya Dey,
Division of Sciences,
School of Interwoven Arts and Sciences, Krea University,
5655, Central Expressway, Sri City, Andhra Pradesh - 517646, India.

Venue State:

Andhra Pradesh

Venue City:

Sri City

PIN:

517646

Chrono Order:

430

Syllabus:

Syllabus:

Name of speaker with affiliation	Number of lectures	Topics
1. Dr. Rishi Vyas (Krea University, Sri City)	3	Decision problems in groups: Turing machines; recursive functions; halting problem; recursive sets; overview of the unsolvability of the word problem; Markov properties; undecidable and decidable problems in group theory; overview of the Higman embedding theorem; open questions.
2.Dr. T.V.H. Prathamesh (Krea University, Sri City)	3	Automata and term rewriting in groups: introduction to finite state automata (deterministic/non-deterministic/generalized ); regular languages and regular expressions; pumping lemma and equivalences; Myhill-Nerode lemma; term rewriting; applications to group theory.
3.Dr. Soumya Dey (Krea University, Sri City)	3	Introduction to automatic groups: basic constructions in combinatorial and geometric group theory (Cayley graphs, word metrics, Dehn functions, free products (with amalgamation), HNN extensions, normal forms, van Kampen diagrams; introduction to automatic groups (definitions, examples, basic properties, fundamental theorems).
4.Dr. Arpan Kabiraj (Indian Institute of Technology, Palakkad)	3	Automaticity in geometric group theory: brief account of automatic and bi-automatic groups; overview of automaticity or bi-automaticity of the following classes of groups: word hyperbolic groups, braid groups, Artin groups and mapping class groups.
5.Prof. V. Arvind (The Institute of Mathematical Sciences, Chennai)	3	Algorithms for groups and graphs: Lecture 1: algorithms for permutation groups presented by generating set as input: membership testing; checking if a given group is nilpotent, is solvable; efficiently computing the lower central series and commutator series of a group. Lecture 2: the graph isomorphism problem and related questions. Connection to the permutation group problems discussed in the first lecture. An efficient algorithm for the special case of graphs of degree bounded by 3. The problem reduces to computing the intersection of a nilpotent permutation group with another group which can be solved efficiently using technique discussed in the first lecture. Lecture 3: Extending the algorithm described for trivalent graph isomorphism in lecture 2 to graphs of bounded degree.
6.Prof. Siddhartha Gadgil (Indian Institute of Science, Bengaluru)	3	Computer proofs in group theory: in this mini-course we will introduce using Lean 4, which is a programming language seamlessly integrated with an interactive theorem prover, for: 1) formalization (computer verification) of results in group theory; 2) writing programs implementing algorithms in group theory; 3) proving that our programs are correct, and hence results of their computation are formally proved.

	Name of tutors with affiliation	Number of tutorials
1.	Dr. Oorna Mitra (Indian Statistical Institute, Bengaluru)	6
2.	Dr. Pratik Ghosal (Chennai Mathematical Institute, Chennai)	6

Time Table:

	9:30 - 11:00	11:00 - 11:30	11:30 - 1:00	1:00 - 2:00	2:00 - 3:30	3:30 - 4:00	4:00 - 5:00	5:00 - 5:30
July 03	RV 1	Tea	TP 1		SD 1	Tea	Tutorial (RV + OM + PG)	Snacks
July 04	RV 2		TP 2		SD 2		Tutorial (TP + OM + PG)
July 05	RV 3		TP 3	Lunch	SD 3		Tutorial (SD + OM + PG)
July 06	VA 1		SG 1		AK 1		Tutorial (VA + OM + PG)
July07	VA2		SG2		AK2		Tutorial (SG + OM + PG)
July08	VA3		SG3		AK3		Tutorial (AK + OM + PG)

Selected Applicants:

Sr.n	SID	Full Name	Affiliation	Position in College / University	University/Institute M.Sc./ M.A.	Year of Passing M.Sc./ M.A	Ph.D. Degree Date
1	47396	Mr. Lokenath Kundu	SRM University AP	PhD	Visva-Bharati	2013
2	47417	Mr. Partha Sarathi Ghosh	PRESIDENCY UNIVERSITY, KOLKATA	PhD	PRESIDENCY UNIVERSITY, KOLKATA	2018
3	47670	Mr. Pravin Kumar	Indian Institute of Science Education and Research Mohali	PhD	Indian Institute of Science Education and Research Mohali	2021
4	47684	Mr. Ramkrishna Biswas	Indian Institute of Science Education and Research Thiruvananthapuram	Integrated BS-MS 5th year	IISER Thiruvananthapuram	Appeared
5	47832	Mr. Debattam Das	IISER Mohali	PhD	Banaras Hindu University	2020
6	48168	Mr Jagdeep Singh	Binghamton University	Postdoc	IISER Mohali	2016
7	48181	Dr. Surendra Kumar Mishra	NIT Hamirpur	Assistant Professor(Temporary Faculty)	University of Allahabad, Prayagraj	2014	23/08/2021
8	48194	Ms. Deblina Das	IIT Palakkad	PhD Student	University of Calcutta, Ballygunge Science College.	2019
9	48533	Mr. Swarup Bhowmik	INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR	PhD	University of Calcutta	2018
10	49338	Mrs. Chaithra B J	Manipal Institute of Technology, Manipal Academy of Higher Education	PhD Student	Mangalore University, Mangalore	2019
11	49339	Mrs. Varsha .	Manipal Institute of Technology, Manipal Academy of Higher Education	Research Scholar (PhD Student)	Manipal Institute of Technology, Manipal Academy of Higher Education, Manipal	2018
12	49587	Mr. Rakesh Halder	Indian Institute of Science Education and Research, Mohali, India	Ph.D. student	Indian Institute of Technology, Kanpur	2018
13	49659	Mr. Nishant Rathee	IISER Mohali	Research Associate	IIT Madras	2016	10/02/2023
14	49661	Mr. Tamoghna Kar	Ramakrishna Mission Vivekananda Educational And Research Institute (RKMVERI)	MSc Student	Ramakrishna Mission Vivekananda Educational And Research Institute (RKMVERI)	2022
15	49694	Mr. Shrinit Singh	Shiv Nadar University	PhD Student	IISER Mohali	2017
16	49747	Ms. Anjali Singh	University of Lucknow Uttar Pradesh India	Msc Student	University of Lucknow	2022
17	49748	Dr Amit Sehgal	Pt NRS Government college Rohtak	Asso. Prof	Iit Kharagpur	2005	01/11/2017
18	49802	Mr. Ratan Lal	Central University of Rajasthan	PhD	Punjabi University Punjab	2015
19	50080	Ms Taiba Abid	Pondicherry University	MSc Student	Pondicherry University MSc	Appeared
20	50095	Dr. Ravi Tomar	IISER Bhopal	PostDoc Fellow	University of Delhi	2015
21	50121	Mr. Subham Jaiswal	Indian Statistical Institute	Msc Student	Chennai Mathematical Institute	2019
22	50123	Dr. Lakshmi Lavanya Ramamurthy	IISER Tirupati	Assistant Professor	University of Madras	2005	29/04/2013
23	50173	Mr. Gaverchand K	SRM Institute of Science and Technology	PhD	SRM Institute of Science and Technology (M.Sc)	2021
24	50174	Ms. Yasmin A	SRM Institute of Science and Technology	PhD	SRM Institute of Science and Technology (M.Sc.)	2021
25	50187	Mr. Raja Rawat	Central University of South Bihar	PhD student	ASSAM UNIVERSITY	2017
26	50242	Mr. Ganesh S	Ramakrishna Mission Vivekananda College (Autonomous)	PhD Research Scholar (Full-Time)	University of Madras	2011
local participants
1	50188	Mr Soumen Roy	KREA UNIVERSITY	TEACHING FELLOW	IIT MADRAS CHENNAI	2013
Waiting list
1	49007	Mr Saravanakumar Dhanabal	MSS Wakf Board College Madurai	Assistant Professor	Madurai Kamaraj University	2006	20/01/2015
2	49700	Ms Jenifer Rose. S	Theivanai Ammal College for Women (Autonomous)	Assistant professor	Theivanai Ammal College for Women (Autonomous)	2019
3	50294	Mr. Ponmaheshkumar A	SRM Institute of Science and Technology	PhD	Madras Christian College	2021
4	50295	Mr Jackson J	SRM Institute of Science and Technology	PhD Student	University of Madras	2021

How to Reach:

Location and transport:

The workshop will be taking place on the Krea University campus in Sri City, Andhra Pradesh. Sri City is located close to the Andhra Pradesh - Tamil Nadu border, and is approximately 2 hours from Chennai, 2 hours from Nellore, and 90 minutes from Tirupati by road/rail.
The closest bus/train access to Sri City is at Tada (10km from Krea campus, 10 minutes by road) or Sullurupeta (25 km from Krea campus, 25 minutes by road). There are frequent buses between Tada/Sullurupeta and Chennai/Nellore/Tirupati. In addition, there are frequent local trains between Tada and Chennai, and between Sullurupeta and Chennai/Nellore.
We will be organising a shuttle at 5pm on Sunday July 2nd from the Krea University administrative office in Chennai to the Krea University Sri City campus. There will also be a return shuttle at 10am on Sunday July 9th from the Krea University Sri City campus to the Krea admin office in Chennai. The organisers have shared a response form with selected applicants - please use this form to indicate whether you wish to take these shuttles.