
Brief introduction.
Introduction of the section and motivation about complex vector spaces.
Formal definition of vector spaces.
Examples of vector spaces.
Linear span definition and examples.
Linearly independent sets and examples.
Definition of basis of a vector space and BraKet notation.
Quantum states as a normalized vector in a complex vector space.
Introduction about qubits.
Bloch sphere representation.
Formal definition of an inner product.
Orthogonality definition, examples and properties.
Notions of inner product and orthogonal basis in a infinite dimensional vector space.
Definition of a norm and properties.
Definition of a metric and properties.
Definition of Hilbert Spaces.
Introduction and motivation.
Formal definition of linear operators and example.
Example of a linear operator associated to a quantum gate.
Introduction and examples of Hermitian matrices.
Introduction and examples of unitary matrices.
Definition of commutator and properties about Pauli matrices.
Introduction about eigenvalues and eigenvectors.
Example.
Example.
Diagonalization criteria and some associated properties.
Properties of unitary matrices.
Examples.
Properties of Hermitian matrices.
Examples.
Eingenspace definition and example.
Outer product definition and examples.
Definition of a projector and properties.
Spectral decomposition for Hermitian matrices.
Criteria of commutation for Hermitian matrices.
Definition of functions of an operator.
Mathematics behind the quantum qubit gates and summary the content introduced so far.
Introduction and motivation.
Formal definition of a tensor product of vector spaces.
Simple example of tensor product between two vector spaces.
Discussion about inner product in tensor product vector spaces.
Discussion about linear operators in tensor product vector spaces.
Entanglement.
Postulates of quantum theory introduction.
Postulate I - Quantum state representation.
Postulate II - Schrödinger's equation and single qubit gates.
Postulate III - Observable postulate.
Observable postulate and the role of commutation in quantum theory.
Postulate IV - Composite Systems Postulate
Postulate IV - Composite Systems Postulate
Quantum Circuits Introduction
Examples of Multi Qubit Gates
Teleportation Protocol Circuit
Final Remarks
Master the mathematical tools behind quantum computing and build a solid foundation for understanding quantum algorithms and quantum information theory.
This course explores the fundamental mathematical concepts behind quantum computing, with a strong focus on their relevance to quantum physics. It starts with formal definitions and simple examples to build intuition, then revisits key topics while adding new layers of information - ensuring a clear and structured learning path.
You will develop a deep understanding of the mathematical foundations of quantum computing, particularly through the lens of linear algebra tailored to quantum systems. I provide detailed proofs of important properties and explain the core ideas in an intuitive way to give you deeper insights and future problem-solving skills.
What makes this course unique:
Strong focus on the mathematical theory behind quantum computing
Formal definitions motivated by their relevance in quantum computing and explained through several examples
Step-by-step solutions to exercises proposed during the lectures
More than 60 conceptual multiple-choice questions across 11 quizzes for knowledge reinforcement
Learning Strategy:
This course can feel dense depending on your background, but a helpful strategy is to focus on the examples. Understanding concrete examples is key to grasping the meaning of abstract concepts. You’re encouraged to pause the lectures, review the calculations, work through the examples, and then return to the more abstract material. Taking time to reflect and using a back-and-forth approach will help you build both knowledge and intuition.
Once you’ve mastered these concepts, navigating the field of quantum computing will become much smoother. My goal is to equip you with a solid understanding of the mathematical techniques widely used in quantum theory and quantum computing.