Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

The Role of Symmetries

In course

PHYS-314: Quantum physics II

The aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics. ...

Description

This lecture explores the concept of symmetries in physics, focusing on group theory and representations. It covers perturbation theory, variational formalism, quantification, and current systems. The instructor discusses how symmetries impact the properties of physical systems.

Instructors (3)

Florent Gérard Krzakala

Zoë Holmes

Vincenzo Savona

Vincenzo Savona studied physics in Pisa at the Scuola Normale Superiore and the University of Pisa, prior to completing his PhD at the EPFL's Institute of Theoretical Physics. Subsequently he did post-doctoral work, first at the EPFL and then in the physics department of the Humboldt University of Berlin. In 2002, he returned to the EPFL to create his own research group, receiving a "professeur boursier" fellowship from the Swiss National Science Foundation. In 2006, he was appointed tenure-track assistant professor at the EPFL and joined the NCCR for Quantum Photonics. In 2010 he was appointed associate professor. Currently he directs the Laboratory of Theoretical Physics of Nanosystems.

Official source

Ontological neighbourhood

Mathematics

Algebra: Representation theory

Logic

Classical logic: First-order logic

Related concepts (32)

Quantifier (logic)

In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula.

Universal quantification

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Existential quantification

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.

Uniqueness quantification

In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!" or "∃=1". For example, the formal statement may be read as "there is exactly one natural number such that ". The most common technique to prove the unique existence of a certain object is to first prove the existence of the entity with the desired condition, and then to prove that any two such entities (say, and ) must be equal to each other (i.

Related lectures (38)

Group Theory: Basics

Covers the basics of group theory, including sets, applications, and examples like permutations and rotations.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Group Theory in Physics

Covers the fundamentals of group theory in physics, focusing on symmetries and transformations leaving physical equations unchanged.

Homology of Riemann Surfaces

Explores the homology of Riemann surfaces, including singular homology and the standard n-simplex.

ServiceNow: Creating Dashboards and Reports