Quantum Formalism

Quantum Formalism is an educational platform focused on deepening the understanding of quantum mechanics and quantum computing through advanced mathematical frameworks. It offers courses, mentorship, and tools like QF GPT to facilitate learning in abstract mathematics, quantum hardware, software verification, and influential mathematicians' contributions, aiming to make emerging technologies accessible.

Quantum Computing Abstract Mathematics Quantum Hardware and Software Educational Courses and Tools Mathematical Foundations of Quantum Mechanics Influential Mathematicians Group Theory and Lie Theory Machine Learning Applications in Quantum Computing

The hottest Substack posts of Quantum Formalism

And their main takeaways

The Quantum House Cards Talk

39 implied HN points • 24 Feb 24
🔬 Science Quantum Computing Research Community Engagement
  1. The Quantum House of Cards paper by Xavier Waintal raised varied reactions in the quantum computing community, sparking debate between skeptics and optimists.
  2. Zaiku Group adopts a balanced view on quantum computing, recognizing both the transformative potential and significant challenges, advocating for open dialogue between skeptics and optimists.
  3. Xavier Waintal will hold a talk in the Quantum Formalism community on February 29th, promoting a nuanced and productive discourse on quantum computing.

Introducing QF's Advanced Mathematics GPT

59 implied HN points • 02 Feb 24
🕹 Technology Mathematics
  1. QF has introduced an Advanced Mathematics GPT as a learning assistant for graduate-level mathematics.
  2. The new GPT covers advanced branches of pure mathematics like Abstract Algebra, Algebraic Geometry, and Differential Geometry, allowing users to ask questions on various topics.
  3. Access to the Advanced Mathematics GPT is currently restricted to users with ChatGPT Plus or higher subscription plans.

Introducing QF GPT

59 implied HN points • 26 Jan 24
🚌 Education Quantum Mechanics Mathematics
  1. QF GPT is a learning assistant tool for those studying quantum mechanics and quantum information science, especially those struggling with mathematical definitions.
  2. QF GPT utilizes ChatGPT's capabilities to provide accurate responses most of the time and encourages users to correct errors to solidify their understanding.
  3. Access to QF GPT is currently limited to users with ChatGPT Plus or higher subscription plans, but the hope is to make it accessible to the entire QF community in the future for advanced mathematical learning in QM and QIS.

Hello from Jac - The New QF Experience Manager

59 implied HN points • 17 Jan 24
💼 Business Technology Community Engagement Education
  1. Jac Novak is the new Community Experience Manager for Quantum Formalism at Zaiku Group and aims to engage actively with the community for feedback on educational experiences.
  2. Her background in tourism and hospitality influences her approach, emphasizing Cultural Communication strategies to make quantum computing more relatable.
  3. Jac invites connections on LinkedIn and expresses enthusiasm to humanize emerging technologies and promote accessibility in Quantum Information Science and Abstract Mathematics.

Introducing QF Cities

39 implied HN points • 20 Jan 24
🚌 Education Mathematics Community Building
  1. QF Cities is an initiative by Quantum Formalism to create local hubs for learning math and quantum information science.
  2. They are looking for volunteers to run QF programs in their cities and require proof of at least ten participants to request sponsorship.
  3. The timelines for the QF Cities program include an application deadline of March 22 and a kickstart date of June 21.
Get a weekly roundup of the best Substack posts, by hacker news affinity:

Invitation to Quantum tea on Tuesdays: Copenhagen Interpretation versus Others.

59 implied HN points • 06 Dec 23
🔬 Science Quantum Mechanics Technology Nature
  1. Quantum Mechanics has been a source of ongoing debate among scientists over the best way to interpret quantum phenomena.
  2. The Copenhagen interpretation, led by Bohr, is widely accepted but alternative viewpoints like the Bohm interpretation and many-worlds interpretation are also important to consider.
  3. Zaiku Group is hosting 'quantum-tea' meetups to discuss Quantum Phenomena beyond the Copenhagen interpretation, exploring other innovative theoretical frameworks.

Quantum Hardware Course!

99 implied HN points • 04 Aug 23
🔬 Science Quantum Computing Quantum Mechanics Physics Education
  1. Quantum Hardware Course offered by Zaiku Group covers various quantum hardware models like Quantum Optical Models, Ion Traps, Nuclear Magnetic Resonance, and Superconductivity.
  2. Prerequisites for the course include knowledge of quantum mechanics and quantum optics concepts, with references to specific readings.
  3. Enrollment for live sessions and certification in the course require commitment and completion of the entire program by applicants.

QF Abstract Mathematics 101 Bootcamp

2 HN points • 22 Mar 24
🚌 Education Mathematics Quantum Computing
  1. The Quantum Formalism (QF) community is launching the 'QF Abstract Mathematics 101 Bootcamp' to bridge the mathematical gap between advanced and new members, offering foundational knowledge crucial for quantum computing.
  2. The boot camp will cover modules on set theory, point-set topology, abstract measures, abstract algebra, measure theory & functional analysis, and differential geometry, with live lectures and instructional videos by industry experts.
  3. Participants will receive certifications for completing each module and have the opportunity to learn abstract mathematics relevant to quantum computing and other areas like machine learning.

Software Verification Course

59 implied HN points • 20 Apr 23
🕹 Technology Education
  1. The Zaiku Group is running a six-week virtual school on Software Verification with a focus on functional programming.
  2. Course topics include definitions, backward proofs via tactics, functional programming, inductive predicates, decidability of propositions, and a final project.
  3. Interested individuals need to apply due to limited availability and follow the QF community on LinkedIn and Discord for updates.

Measure Theory and Functional Analysis

59 implied HN points • 29 Aug 22
🚌 Education Mathematics
  1. The first lesson on Measure Theory and Functional Analysis is now available on the QF YouTube channel.
  2. James Heffers is the one presenting the first lesson on this topic.
  3. Viewers are encouraged to ask questions on Discord or other platforms.

QF Mathematics Mentorship

59 implied HN points • 16 Jun 22
🚌 Education Mathematics Mentorship
  1. QF Mathematics Mentorship offers free mentorship from PhD-level mathematicians for researchers and aspiring open-source quantum computing contributors.
  2. The program aims to mentor individuals on advanced branches of mathematics needed for research or open-source projects.
  3. Preference is given to projects that can benefit from utilizing abstract branches of mathematics otherwise inaccessible to non-mathematicians.

Measure Theory and Functional Analysis

39 implied HN points • 24 Aug 22
🚌 Education Mathematics Online course
  1. First problem set is for reviewing integration theory - try it before the course starts!
  2. Second problem set is meant to be challenging, introducing new mathematical content.
  3. Course will provide detailed solutions to assignments, so don't get discouraged by difficult problems.

Tips for new community members

39 implied HN points • 09 Mar 22
🚌 Education Mathematics Physics Geometry Topology Group Theory
  1. Start with the 'Foundation Module' YouTube playlist for basics on finite-dimensional Hilbert spaces and quantum mechanics postulates
  2. Consider auditing crash courses on topics like Topology & Differential Geometry for Lie Groups and Group Theory for advanced knowledge
  3. Exploring topics like smooth manifolds and Group Theory can be valuable not just in quantum computation but also in applied fields like ML and Cryptography

Community update | January 2022

39 implied HN points • 25 Jan 22
🚌 Education Mathematics Online Learning
  1. The Group theory crash course will start soon, beginning with basic concepts like binary operations and moving to more complex ones over time.
  2. The course will cover monoids, submonoids, monoid homomorphisms, and eventually groups in a pedagogically friendly manner.
  3. To adjust the course level accordingly, participants are requested to complete a short survey about their technical background.

Lecture 1 on YouTube!

19 implied HN points • 29 Aug 22
🚌 Education Mathematics Online Learning
  1. The post shares Lecture 1 on YouTube about Measure Theory & Functional Analysis.
  2. Homework for the course can be found on GitHub.
  3. The team also provides a Discord link and a LinkedIn profile for further engagement.

Measure Theory and Functional Analysis

19 implied HN points • 05 Aug 22
🚌 Education Mathematics
  1. The upcoming lecture series on Measure Theory and Functional Analysis requires some prerequisite reading, especially understanding sets, functions, logic, proofs, least upper bound, greatest lower bound, density of rationals in reals, and cardinality of sets.
  2. If you don't have access to the recommended book, you can still find explanations of the key topics online.
  3. A live Q&A session will be held on August 20th at 11:00am Eastern time for further engagement and clarification.

Lecture 09 Replay + LOGML 2022

19 implied HN points • 28 Jun 22
🚌 Education Mathematics Cryptography Community Sponsorship Courses
  1. The lecture 09 replay covering the application of cyclic groups and DLP in cryptography is available on YouTube.
  2. Future plans include a mini-course series on cryptography focusing on DLP cryptographic systems for security assurance.
  3. Joining the Discord Community is encouraged for organizing group study sessions and accessing live study session links.

Lecture 08 Reschedule

19 implied HN points • 03 Jun 22
🔬 Science Quantum physics
  1. The lecture on Group theory crash course has been rescheduled by the author.
  2. The session can either take place the same day at 8 pm BST or the next day at 5 pm BST, or next week on Tuesday or Friday at 5 pm BST.
  3. Participants are requested to provide their preference via a Google form shared in the post.

Group Theory Application Webinar Reminder

19 implied HN points • 23 Mar 22
🔬 Science Group Theory Applications Webinar Symmetry
  1. Don't miss the Group Theory application webinar today at 5pm GMT with Owen Tanner from Glasgow University.
  2. Register for Lecture 03 on the abstract notion of a 'zero element' at [https://www.crowdcast.io/e/group-theory-lecture-03](https://www.crowdcast.io/e/group-theory-lecture-03).
  3. Join the Discord community at [https://discord.gg/SPcmcsXMD2](https://discord.gg/SPcmcsXMD2) for group study sessions and interactions.

More than Just a Pretty Space: How Symmetry Hides in Science

19 implied HN points • 18 Mar 22
🔬 Science Physics Mathematics Webinar
  1. Upcoming webinar on the applications of Group theory in science by Owen Tanner from Glasgow University.
  2. Registration open for Lecture 03 at [https://www.crowdcast.io/e/group-theory-lecture-03](https://www.crowdcast.io/e/group-theory-lecture-03).
  3. Encouragement to join the Discord community and follow Zaiku Group on LinkedIn and Twitter for updates.

Linear Algebra Is Not Enough!

59 implied HN points • 01 Jun 20
🔬 Science Mathematics Quantum Mechanics Functional Analysis Topology Group Theory
  1. Linear Algebra is foundational in quantum mechanics but may not be enough if dealing with infinite-dimensional Hilbert spaces.
  2. To fully understand quantum mechanics, one needs to delve into Functional Analysis along with other mathematical branches like Topology, Measure Theory, and Group Theory.
  3. The newsletter focuses on explaining the mathematical formalism of quantum mechanics through easily understandable posts on relevant topics.

Group Theory Crash Course

19 implied HN points • 20 Dec 21
🚌 Education Mathematics Courses Theory
  1. The crash course on Group Theory will cover essential concepts like cosets, generators, orbits, and stabilizers, catering both beginners and those interested in advanced topics like quantum computing.
  2. Prior to starting Module II on Lie Groups and Representations, it is recommended to review the Topology & Differential Geometry crash course to understand smooth manifolds.
  3. Lie Groups not only have a group structure but also an underlying smooth structure that is crucial in the theory, making it important to grasp these concepts before diving into Module II.

Community update | November 2021

19 implied HN points • 30 Nov 21
🚌 Education Mathematics
  1. Consider taking a crash course on Group Theory and Representation Theory before starting Module II for an easier understanding, especially for those interested in topics like quantum computing.
  2. There will be a session on an industry career fellowship scheme for those interested, and additional sessions on Differential Geometry to cover advanced concepts.
  3. The schedule includes planned activities such as the industry career fellowship session and extra sessions on Differential Geometry to cover advanced concepts.

Influential Mathematicians: Henri Lebesgue

39 implied HN points • 03 Aug 20
🔬 Science Mathematics Physics History
  1. Henri Lebesgue is known as the father of modern integration theory for formulating the theory of measure and giving the definition of the Lebesgue integral, which expanded mathematical analysis.
  2. Lebesgue's work on integration theory was crucial to the development of the Hilbert space formalism in quantum mechanics, demonstrating its influence on mathematical foundations of quantum physics.
  3. Lebesgue made major contributions in various mathematical areas beyond integration theory, including topology, potential theory, calculus of variations, set theory, and dimension theory.

Lecture 7 Registration

19 implied HN points • 11 Oct 21
🔬 Science Quantum Computing Machine Learning
  1. Lie Groups play a key role in connecting the main parts of Differential Geometry to quantum computing, especially in the context of quantum gates forming Lie Group structures like U(n) and SU(n).
  2. Understanding Lie Groups and smooth manifolds is crucial in grasping the foundation behind Quantum Kernels and their relation to machine learning, including geometric deep learning.
  3. The mathematics covered in quantum formalism courses not only relate to physics and quantum computing but also have practical applications in areas like machine learning, expanding the relevance of the knowledge learned.

Lecture 3 Replay

19 implied HN points • 02 Aug 21
🚌 Education Quantum physics Topology
  1. The lecture was split into 3 parts for easy replay: Opening Discussion & Post Crash Course Program, Introduction to Metric Spaces (PART A), and Introduction to the Metric Topology (PART B).
  2. Viewers can watch the replay on YouTube after networking issues during the live session.
  3. The registration page for the next live session on the Topology Crash Course is available at the provided link.

Crash Course Tips & Approach

19 implied HN points • 20 May 21
🚌 Education Crash course Live session
  1. The crash course on Quantum Formalism will cover Lie Theory as a prerequisite.
  2. A live session will be hosted on May 28 to share the approach and practical tips for overcoming abstraction barriers.
  3. Completion of the module 2 course offers an internship opportunity with Zaiku Group's projects exploring Algebraic Topology ideas in quantum error correction.

Module II Crash Course Prerequisite: Basic Real Analysis

19 implied HN points • 10 May 21
🚌 Education Mathematics Physics Quantum Research
  1. Understanding basic real analysis, like open intervals and closed intervals, is important for the upcoming crash course on Point-Set Topology and standard topology.
  2. Being challenged to work with abstract concepts can help in feeling comfortable before starting Module II.
  3. Learning sophisticated mathematics can better prepare individuals for making theoretical contributions in physics or quantum information.

Session 16 Reminder

19 implied HN points • 21 Jan 21
🔬 Science Physics Mathematics
  1. The next Quantum Axioms & Operators session is coming up soon - mark your calendars!
  2. Newcomers are welcome, but it's advised to have some background in physics/math to fully follow along.
  3. A special surprise gift was received from the community, showing appreciation and support for the course.

Shut up and Calculate!

19 implied HN points • 12 Dec 20
🔬 Science Physics Quantum Mechanics Philosophy Mathematics
  1. Focus on learning how to use quantum mechanics as a toolkit without worrying too much about the foundational meaning at first.
  2. Some physicists advocate for the 'Shut Up and Calculate' philosophy, emphasizing the importance of actively engaging with conceptual issues in physics.
  3. The 'Shut Up and Calculate' approach is viewed as a necessary and respectful way to tackle profound questions in fundamental physics.

Lecture 6: Slide Correction

19 implied HN points • 24 Oct 20
🚌 Education Mathematics
  1. Linear operator T from V to W should be 'one-to-one'
  2. Updated lecture slides available on GitHub for reference
  3. Join the Gitter channel for post-session discussions and help

Lecture 06

19 implied HN points • 23 Oct 20
🚌 Education Math YouTube Learning
  1. Session 6 of the lecture series is now available on YouTube with a corrected slide on GitHub, focusing on advanced topics in quantum formalism.
  2. New participants are encouraged to have an advanced undergraduate level knowledge or should review previous sessions to follow the live sessions effectively.
  3. Those confident in their understanding can fill out a form to attend the next live session for the lecture series.

Lecture #1

19 implied HN points • 19 Sep 20
🚌 Education Mathematics Quantum Computing Lectures
  1. The foundation module of the lecture series will focus on finite-dimensional complex Hilbert spaces, aligning with standard quantum computing textbooks.
  2. The mathematics session in Lecture #1 included topics like natural numbers, integers, maps between sets, and discussion on cardinality of sets.
  3. Attendees are encouraged to participate in the live sessions for interaction and asking questions rather than solely watching replays.

Practical Tips

19 implied HN points • 17 Sep 20
🚌 Education Tips
  1. Don't be scared of mathematical abstraction when learning about quantum concepts.
  2. Taking a lot of notes can be helpful to retain and understand the material better.
  3. If you're stuck on a particular concept, do online research after the lecture for clarification.

Influential Mathematicians: Sophus Lie

19 implied HN points • 13 Aug 20
🔬 Science Mathematics Quantum Mechanics Symmetry Geometry Algebra
  1. Sophus Lie was a Norwegian mathematician who made significant contributions to mathematics, developing the theory of continuous transformation groups that later led to Lie groups and Lie algebras.
  2. Lie Groups and Lie Algebras, named after Sophus Lie, are essential in the Hilbert space formalism of quantum mechanics, specifically in understanding symmetry and operators in quantum systems.
  3. Although Sophus Lie did not directly contribute to quantum formalism, his mathematical work has had a profound influence on areas of mathematics that are crucial to understanding quantum mechanics.

Live Lectures: Tuesdays or Fridays?

19 implied HN points • 05 Aug 20
🚌 Education Online Learning
  1. The upcoming quantum formalism course will have live lectures on either Tuesdays or Fridays.
  2. Initially, live lectures were planned for Tuesdays, but there may be a switch to Fridays based on feedback.
  3. A live Q&A session is scheduled for August 14 to present the course program and answer audience questions.

Influential Mathematicians: Maurice René Fréchet

19 implied HN points • 23 Jul 20
🔬 Science Mathematics Quantum Mechanics Statistics Topology Functional Analysis
  1. Maurice René Fréchet, a disciple of Jacques Hadamard, made significant contributions to mathematics through his work on metric spaces and abstract spaces, laying the groundwork for modern mathematical formalism, including quantum mechanics.
  2. Fréchet's research on functional analysis has influenced the development of the quantum formalism, allowing for the creation of abstract concepts crucial in understanding quantum mechanics.
  3. The Riesz–Fréchet representation theorem plays a key role in making mathematical sense of Dirac's bra-ket notation used in quantum mechanics, showcasing the impact of Fréchet's work in this field.