Contact Us
Hisham Sati
Principal Investigator, Professor of Mathematics
Email: hsati@nyu.edu
For general inquiries, please email nyuad.cqts.info@nyu.edu
Fall 2023 Every Wednesday throughout the semester
In this talk, Mayuko Yamashita will explain works with Y. Tachikawa to study anomalies in heterotic string theory via homotopy theory, especially the theory of Topological Modular Forms (TMF). TMF is an E-infinity ring spectrum which is conjectured by Stolz-Teichner to classify two-dimensional supersymmetric quantum field theories in physics. In the previous work (link), we proved the vanishing of anomalies in heterotic string theory mathematically using TMF. Additionally, we have a recent update on the previous work (link). Due to the vanishing result, we can consider a secondary transformation of spectra, which coincides with the Anderson self-duality morphism of TMF. This allows us to detect subtle torsion phenomena in TMF by differential-geometric methods.
Speaker: Mayuko Yamashita (Kyoto University, Japan
Twisted K-theory is a variant of topological K-theory that allows local coefficient systems called twists. For spaces and twists equipped with an action by a group, equivariant twisted K-theory provides an even finer invariant. Equivariant twists over Lie groups gained increasing importance in the subject due to a result by Freed, Hopkins and Teleman that relates the corresponding K-groups to the Verlinde ring of the associated loop group. From the point of view of homotopy theory only a small subgroup of all possible twists is considered in classical treatments of twisted K-theory. In this talk I will discuss an operator-algebraic model for equivariant higher (i.e. non-classical) twists over SU(n) induced by exponential functors on the category of vector spaces and isomorphisms. These twists are represented by Fell bundles and the C*-algebraic picture allows a full computation of the associated K-groups at least in low dimensions. I will also draw some parallels of our results with the FHT theorem. This is joint work with D. Evans.
Speaker: Ulrich Pennig (Cardiff University, UK)
Urs Schreiber will recall some of the theory of "quantum channels" and then explain how it is captured by "monadic computation" with the linear version of the "State monad" — the "QuantumState Frobenius monad."
Speaker: Urs Schreiber (NYU Abu Dhabi)
By recalling the textbook description of a (variational) classical field theory and its critical locus of on-shell fields, I will list desiderata for a category in which this can rigorously take place. This category will consist of generalized smooth spaces, completely determined by `how they may be smoothly probed by finite dimensional manifolds'. By expanding on this intuition, I will describe how one naturally arrives at the definition of a smooth set as a "sheaf over the site of Cartesian spaces''. I will then explain how the sheaf topos of smooth sets satisfies the desiderata of (variational) classical field theory. Time permitting, I will indicate how the setting naturally generalizes to include the description of fermionic fields, and (gauge) fields with internal symmetries.
Speaker: Grigorios Giotopoulos (NYU Abu Dhabi)
In modern homotopy theory, spaces are represented by combinatorial models called simplicial sets. Their elegant formulation gives them great expressive power to capture spaces up to homotopy. Simplicial distributions are basic mathematical objects that mix simplicial sets with probabilities. That is, they model probability distributions on spaces. In my talk, I will show how simplicial distributions provide a framework for studying a central quantum feature associated with probabilities, known as contextuality. A typical measurement scenario consists of a set of measurements and outcomes, whereas simplicial distributions can be defined for spaces of measurements and outcomes. Our approach unifies and goes beyond two earlier approaches: the sheaf-theoretic (Abramsky-Brandenburger) and group cohomological (Okay-Roberts-Bartlett-Raussendorf.
Speaker: Cihan Okay, Bilkent University, Turkey
In their 1967 book Calculus of Fractions and Homotopy Theory, P. Gabriel and M. Zisman introduced calculus of fractions as a tool for understanding the localization of a category at a class of weak equivalences. While powerful, the condition of calculus of fractions is quite restrictive and it is rarely satisfied in various homotopical settings, like model categories or Brown's categories of fibrant objects, where one instead has homotopy calculus of fractions.
This talk is based on a recent preprint arXiv:2306.02218, which aims to reconcile the two. We define calculus of fractions for quasicategories and give a workable model for marked quasicategories satisfying our condition. Although we have already found several applications of this result, we would be very interested in getting feedback from the audience and exploring new applications from diverse areas.
Speaker: Chris Kapulkin, Western University, Canada
In their 1967 book Calculus of Fractions and Homotopy Theory, P. Gabriel and M. Zisman introduced calculus of fractions as a tool for understanding the localization of a category at a class of weak equivalences. While powerful, the condition of calculus of fractions is quite restrictive and it is rarely satisfied in various homotopical settings, like model categories or Brown's categories of fibrant objects, where one instead has homotopy calculus of fractions.
This talk is based on a recent preprint arXiv:2306.02218, which aims to reconcile the two. We define calculus of fractions for quasicategories and give a workable model for marked quasicategories satisfying our condition. Although we have already found several applications of this result, we would be very interested in getting feedback from the audience and exploring new applications from diverse areas.
Speaker: Daniel Carranza, Johns Hopkins University, USA
Ultra Unification, and Noninvertible Symmetry of the Standard Model from Gravitational Anomaly Abstract: In the Standard Model, the total "sterile right-handed" neutrino number n_{νR} is not equal to the family number Nf. The anomaly index (-Nf+n_{νR}) had been advocated to play an important role in the previous work on Cobordism and Deformation Class of the Standard Model [arxiv:2112.14765, arxiv:2204.08393] and Ultra Unification [arxiv:2012.15860], in order to predict new highly entangled sectors beyond the Standard Model. Ultra Unification would combine the Standard Model and Grand Unification, particularly for the models with 15 Weyl fermions per family, without the necessity of right-handed sterile neutrinos, by adding new gapped topological phase sectors (in 4d or 5d) or new gapless interacting conformal sectors (in 4d) consistent with the nonperturbative global anomaly cancellation and cobordism constraints (especially from the mixed gauge-gravitational anomaly, such as a ℤ_{16} class anomaly, associated with the baryon minus lepton number B−L and the electroweak hypercharge Y).
Moreover, for the Standard Mode alone, the invertible B−L symmetry current conservation can be violated quantum mechanically by gravitational backgrounds such as gravitational instantons, hypothetically pertinent for leptogenesis in the very early universe. In specific, we show that a noninvertible categorical counterpart of the B−L symmetry still survives in gravitational backgrounds. In general, we construct noninvertible symmetry charge operators as topological defects derived from invertible anomalous symmetries that suffer from mixed gravitational anomalies. Examples include the perturbative local and nonperturbative global anomalies classified by ℤ and ℤ_{16} respectively.
For this construction, we utilize the anomaly inflow concept, the 4d Pontryagin class and the gravitational Chern-Simons 3-form, the 3d Witten-Reshetikhin-Turaev-type topological quantum field theory with a framing anomaly corresponding to a 2d rational conformal field theory with an appropriate chiral central charge, and the 4d Z_4^{TF}-time-reversal symmetric topological superconductor with 3d boundary topological order [arxiv:2302.14862].
Speaker: Juven Wang, Harvard University
Hilbert spaces form more than a category: their morphisms maps can be composed, but also every morphism $f : X \to Y$ has a distinguished "adjoint" $f^\dagger : Y \to X$, making it into a "dagger category." This extra data is important for axiomatizing functional analysis, quantum mechanics, quantum information theory... However, the assignment $f \mapsto f^\dagger$ is unsatisfying from a higher category theorist's perspective because it is "evil," i.e., it violates the principle of equivalence: a category equivalent to a dagger category may not admit a dagger structure. This in particular interferes with generalizing the notion of dagger category to the (non-strict) higher categories necessary for axiomatizing fully-local quantum field theory. In this talk, I will propose a manifestly non-evil definition of "dagger $(\infty,n)$-category." The same machinery also produces non-evil definitions of "pivotal $(\infty,n)$-category" and helps to clarify the relationship between reflection positivity and spin-statistics. This is based on joint work with B. Bartlett, G. Ferrar, B. Hungar, C. Krulewski, L. Müller, N. Nivedita, D. Penneys, D. Reutter, C. Scheimbauer, L. Stehouwer, and C. Vuppulury.
Speaker: Theo Johnson-Freyd, Dalhousie University and Perimeter Institute for Theoretical Physics, Canada
Manifold diagrams are the higher categorifications of string diagrams. They lie at the intersection of several interesting topics, such as:
Nonetheless, the precise role of manifold diagrams in these topics remains largely mysterious. In this talk, we will focus on describing the basic interplay between (stratified) geometry, combinatorics, and (directed) cell complexes, exposed by the mathematical framework of manifold diagrams. This will include, in particular, two equivalent definitions of manifold diagrams, one geometric and one combinatorial, as well as a discussion of how these relate to the above topics
Speaker: Christoph Dorn, Oxford University, UK
The BV formalism and its shifted versions in field theory have a nice compatibility with boundary structures. Namely, one such structure in the bulk induces a shifted (possibly degenerated) version on its boundary, which can be interpreted as aPoisson structure (up to homotopy). Cattaneo presented the results for some field theories, in particular, 4D BF theory and 4D gravity.
Speaker: Alberto Cattaneo, Zurich University, Switzerland
Fall 2023 Every Monday throughout the semester
Urs Schreiber will recall some of the theory of "quantum channels" and then explain how it is captured by "monadic computation" with the linear version of the "State monad" — the "QuantumState Frobenius monad."
Speaker: Urs Schreiber (NYU Abu Dhabi)
Higher-order topology generalizes the bulk-boundary correspondence of topological phases of matter, by allowing topological modes to be localized at corners and hinges instead of edges and surfaces. I will introduce the theory behind this concept, both for noninteracting as well as interacting systems and consecutively discuss two realizations in rather distinct setups. First, as-grown crystals of bismuth, grey arsenic, as well as bismuth bromide are demonstrated to display the essential physics of higher-order topological insulators. Second, it is shown that lattices of so-called Shiba bound states induced by magnetic adatoms in conventional superconductors can be brought into a higher-order superconducting phase. I will report on experimental progress for both system types based on spanning probe as well as transport measurements.
Speaker: Titus Neupert (University of Zurich)
We present the quantum teleportation and superdense coding protocols in the context of topological qudits, as realized by anyons. The simplicity of our proposed realization hinges on the monoidal structure of Tambara-Yamagami categories, which readily allows for the generation of maximally entangled qudits. In particular, we remove the necessity for the braiding of anyons, an operation which typically underpins any computation. Both protocols find a natural interpretation in the graphical calculus for these categories.
Speaker: Sachin Valera (NYU Abu Dhabi)
Given that reliable cloud quantum computers are becoming closer to reality, the concept of delegation of quantum computations and its verifiability is of central interest. Many models have been proposed, each with specific strengths and weaknesses. Here, we put forth a new model where the client trusts only its classical processing, makes no computational assumptions, and interacts with a quantum server in a single round. In addition, during a set-up phase, the client specifies the size n of the computation and receives an untrusted, off-the-shelf (OTS) quantum device that is used to report the outcome of a single constant-sized measurement from a predetermined logarithmic-sized input. In the OTS model, we thus picture that a single quantum server does the bulk of the computations, while the OTS device is used as an untrusted and generic verification device, all in a single round.
In this talk, we will show how the delegation of quantum computations can be achieved in the OTS model, and furthermore how to make this protocol zero-knowledge. The emphasis will be on the concepts that contribute to this result; these concepts are drawn from a long line of research related to blind and delegated quantum computation, as well as quantum zero-knowledge proofs. Based on joint work with Arthur Mehta and Yuming Zhao.
Speaker: Anne Broadbent, University of Ottawa, Canada
Quipper is a functional programming language for quantum computing. Proto-Quipper is a family of languages aiming to provide a formal foundation for Quipper. By virtue of being a circuit description language, Proto-Quipper has two separate runtimes: circuit generation time and circuit execution time. Values that are known at circuit generation time are called parameters, and values that are known at circuit execution time are called states. Dynamic lifting is an operation that enables a state, such as the result of a measurement, to be lifted to a parameter, where it can influence the generation of the next portion of the circuit. As a result, dynamic lifting enables Proto-Quipper programs to interleave classical and quantum computation.
In his talk, Dr. Frank will describe how to extend Proto-Quipper-M with dynamic lifting. He will explain the syntax of a language named Proto-Quipper-Dyn. Its type system uses a system of modalities to keep track of the use of dynamic lifting. Then, he will discuss the categorical semantics for dynamic lifting. Finally, if time permits, Dr. Frank will give some examples of Proto-Quipper-Dyn programs.
Speaker: Frank (Peng) Fu, University of South Carolina
The nitrogen-vacancy (NV) point defect in diamond has emerged as a new class of quantum sensors. The technique is based on optically detected magnetic resonance of the NV electronic spins, which can be used to detect magnetic fields on unprecedented length scales. In my talk, I will briefly introduce the basics of NV-based quantum sensing, its hardware and review recent highlights in the field. In the second part, I will discuss recent developments in my research group, including quantum sensing in microfluidics for lab-on-a-chip applications and an outlook for single-cell NMR metabolomics.
Speaker: Dominik Bucher, Technical University, Munich
Quantum Computing (QC) claims to improve the efficiency of solving complex problems, compared to classical computing. When QC is applied to Machine Learning (ML) applications, it forms a Quantum Machine Learning (QML) system. After discussing the basic concepts of QC and its advantages over classical computing, this talk reviews the key aspects of QML in a comprehensive manner. We discuss different QML algorithms and their domain applicability, quantum datasets, hardware technologies, software tools, simulators, and applications. Valuable information and resources are provided to jumpstart into the current state-of-the-art techniques in the QML field.
Speaker: Alberto Marchisio, NYU Abu Dhabi
A central goal in quantum computing research is to protect and control quantum information from noise. This talk will provide recent progress on the developing field of topological superconductivity where we can encode information in spatially separated Majorana zero modes (MZM). We show that topological superconductivity can be achieved in certain hybrid materials where the topological properties are not found in the constituent materials. These special MZMs are formed at the location of topological defects (e.g. boundaries, domain walls,..) and manifest non-Abelian braiding statistics that can be used in noise-free unitary gate operations. We show by engineering a reconfigurable domain wall on a Josephson junction we can create a scalable platform to study MZM properties and their applications in quantum information science.
Speaker: Javad Shabani, NYU
Hisham Sati
Principal Investigator, Professor of Mathematics
Email: hsati@nyu.edu
For general inquiries, please email nyuad.cqts.info@nyu.edu