This is a webpage setup for the ACM summer school on Quantum Circuits and Quantum Algorithms @ JUIT, Solan, Himachal Pradesh from June 09 – June 20, 2025.
Organizers
- Prof. Aman Sharma, organizer, ACM summer school, JUIT, Solan, Himachal Pradesh
- Prof. Vivek Sehgal, HoD, Department of Computer Science and Engineering, JUIT, Solan, Himachal Pradesh
Instructors
- (DB) Debajyoti Bera, IIIT Delhi, India
- (PD) Poulami Das, UT Austin, USA
- (DK) Dinesh Krishnamoorthy, IIT Palakkad, India
- (RK) Rajendra Kumar, IIT Delhi, India
- (RM) Rajat Mittal, IIT Kanpur, India
- (JR) Jaikumar Radhakrishnan, ICTS, Bengaluru, India
- (SRaj) Snehal Raj, Sorbonne University & QC Ware, France
- (SRoy) Subhajit Roy, IIT Kanpur, India
Participants
List of the participants can be found here.
Topics
- Classical computation using circuits
- Reversible and randomized computation
- Qubits, quantum gates and quantum state evolution
- The Hadamard transform and its applications
- Quantum algorithms for search and related problems
- The quantum Fourier transform and its applications
- Overview of special topics: Quantum games, quantum machine learning, quantum programming languages, quantum and post-quantum cryptography, quantum approximate optimization
Schedule
The venue for the summer school is Vivekananda academic block of JUIT, Solan.
- The regular lecture sessions are held in Lecture theatre 3 (LT3) of first floor.
- The hands-on session (4.00 PM to 5.30 PM) are held in Computer lab 10 (CL10) of the same floor.
Following sessions are held in the Digital Learning Center (DLC) located in the ground floor of Vivekananda academic block.
Special talk by Prof. Priyanka Golia (IIT Delhi) titled Automated Synthesis: Fusing Formal Methods and AI on June 18 starts at 2.30 PM.
Sessions by Prof. Poulami Das (UT Austin) about a systems perspective of quantum computing on June 16 and 17 starts at 6.30 PM.
The schedule for the summer school is as follows. Links to the notes, exercises and reading materials will be made available by the end of each day.
Day | Time | Topic | Instructor(s) | Notes | Quiz | Exercises | Other resources | |
Day 1, 09-Jun, Mon
|
0900–1000 | Registration | ||||||
1000–1130 | Inauguration (Vivekananda academic block) | |||||||
1130–1200 | Break | |||||||
1200–1300 | Orientation | DK and JR | Quiz 1 | |||||
1300–1430 | Lunch | |||||||
1430–1530 | Classical computation through circuits | JR | Notes | Quiz 2 | ||||
1530–1600 | Break | |||||||
1600–1730 | Quantum Probability + Qiskit setup and examples | SRaj | Colab link | |||||
Day 2, 10-Jun, Tue
|
0930–1100 | Classical reversible and randomized computation and matrices | JR | Notes | Quiz 3 | |||
1100–1130 | Break | |||||||
1130–1300 | Qubits, quantum states, and quantum gates | DK | Notes | Quiz 4 | ||||
1300–1430 | Lunch | |||||||
1430–1530 | Vector spaces | JR | ||||||
1530–1600 | Break | |||||||
1600–1730 | Qiskit tutorial | SRaj | Colab link | |||||
Day 3, 11-June, Wed
|
0930–1100 | Oracle and the phased oracle | DK | Quiz 5 | Notes by de Wolf, Chap 2 | |||
1100–1130 | Break | |||||||
1130–1300 | Superdense coding and quantum teleportation | JR | Notes | Quiz 6 | Notes by de Wolf, Chap 1 | |||
1300–1430 | Lunch | |||||||
1430–1530 | The Walsh-Hadamard transform, Deutsch algorithm and the Deutsch-Josza problem | DK | Notes | No quiz | Notes by de Wolf, Chap 2 | |||
1530–1600 | Break | |||||||
1600–1730 | Qiskit tutorial: Deutsch-Jozsa algorithm | SRaj | Colab link | |||||
Day 4, 12-June, Thur
|
0930–1100 | Discussion on quantum teleportation. Introduction to complexity - P and NP | JR | Quiz 7 | ||||
1100–1130 | Break | |||||||
1130–1300 | Quantum Search | RM | Notes | |||||
1300–1430 | Lunch | |||||||
1430–1530 | Classical probability inequalities – Markov, Chebyshev and Chernoff | JR | No quiz | |||||
1530–1600 | Break | |||||||
1600–1730 | Gentle introduction to classical and quantum machine learning | SRaj | Slides, Local copy | Article, | ||||
Day 5, 13-June, Fri
|
0930–1100 | Classical randomized search (histogram picture) | RM | |||||
1100–1130 | Break | |||||||
1130–1300 | Problem solving session | All instructors | PSS 1 | |||||
1300–1430 | Lunch | |||||||
1430–1530 | A gentle introduction to quantum search | RM | Notes | |||||
1530–1600 | Break | |||||||
1600–1730 | Qiskit tutorial on Grover search and Quantum compilers | SRaj and SRoy | Colab link | |||||
Day 6, 14-June, Sat
|
0930–1100 | Variants of Grover search. Finding minimum using Grover search | RM | |||||
1100–1130 | Break | |||||||
1130–1300 | Quantum deep hedging | SRaj | Slides, Local copy | Article | ||||
1300–1430 | Lunch | |||||||
1430–1800 | Visit to a nearby scenic spot | |||||||
15-June, Sun | Trek to Taradevi | |||||||
Day 7, 16-June, Mon
|
0930–1100 | Simon’s problem | JR | Quiz 8 | ||||
1100–1130 | Break | |||||||
1130–1300 | Classical Fourier transforms and computing Fourier representation | RK | ||||||
1300–1430 | Lunch | |||||||
1530–1645 | Background in Number theory | JR | Reference | |||||
1645–1700 | Break | |||||||
1700–1800 | Problem solving session / Review | All instructors | PSS 2 | |||||
1830–1930 | Quantum Computing: A Software, Architecture, and Systems Perspective - I | PD | Slides | ▶️ Talk | ||||
Day 8, 17-June, Tue
|
0930–1100 | Quantum Fourier Transforms and period finding | RK | |||||
1100–1130 | Break | |||||||
1130–1300 | Order finding, Algorithm for factoring and analysis | DK | Notes | |||||
1300–1430 | Lunch | |||||||
1530–1645 | Phase estimation | DB | ||||||
1645–1700 | Break | |||||||
1700–1800 | Problem solving session | All instructors | PSS 3 | |||||
1830–1930 | Quantum Computing: A Software, Architecture, and Systems Perspective - II | PD | Slides | |||||
Day 9, 18-June, Wed
|
0930–1100 | Post-quantum cryptography and intro to lattices | RK | |||||
1100–1130 | Break | |||||||
1130–1300 | Secure quantum communication protocols, BB84 protocol | DB | ||||||
1300–1430 | Lunch | |||||||
1430–1530 | Special talk – Automated Synthesis: Fusing Formal Methods and AI | PG | Abstract | |||||
1530–1600 | Break | |||||||
1600–1730 | Problem solving session | All instructors | PSS 4 | |||||
Day 10, 19-June, Thur
|
0930–1100 | Hamiltonians | DB | |||||
1100–1130 | Break | |||||||
1130–1300 | Shortest vector and closest vector problems. Lattice based cryptosystems | RK | ||||||
1300–1430 | Lunch | |||||||
1430–1530 | Compiling program in classical and quantum settings | SRoy | ||||||
1530–1600 | Break | |||||||
1600–1730 | Problem solving session | All instructors | PSS 5 | |||||
Day 11, 20-June, Fri
|
0930–1100 | CHSH game and Bomb testing | JR | Quiz 9 | ▶️ Rotational invariance, ▶️ CHSH, Notes by de Wolf | |||
1100–1130 | Break | |||||||
1130–1300 | Simulating and compiling quantum programs | SRoy | ||||||
1300–1430 | Lunch | |||||||
1430–1530 | Summary activity session | All instructors and participants | ||||||
1530–1600 | Break | |||||||
1600–1730 | Feedback, thank you and goodbye | All instructors |