Dimension liftings for quantum computation of partial differential equations and related problems
Abstract
Quantum computers are designed based on quantum mechanics principle, they are most suitable to solve the Schrodinger equation, and linear PDEs (and ODEs) evolved by unitary operators. It is important to to explore whether other problems in scientific computing, such as ODEs, PDEs, and linear algebra that arise in both classical and quantum systems which are not unitary evolution, can be handled by quantum computers.
We will present a systematic way to develop quantum simulation algorithms for general differential equations. Our basic framework is dimension lifting, that transfers non-autonomous ODEs/PDEs systems to autonomous ones, nonlinear PDEs to linear ones, and linear ones to Schrodinger type PDEs—coined “Schrodingerization”—with uniform evolutions. Our formulation allows both qubit and qumode (continuous-variable) formulations, and their hybridizations, and provides the foundation for analog quantum computing which are easier to realize in the near term. We will also discuss dimension lifting techniques for quantum simulation of stochastic DEs and PDEs with fractional derivatives.
14:00
The Laplace Transform on Lie Groups: A Representation-Theoretical Perspective
Abstract
In this talk, I will present a representation-theoretical approach to constructing a non-commutative analogue of the classical Laplace transform on Lie groups. I will begin by discussing the motivations for such a generalization, emphasizing its connections with harmonic analysis, probability theory, and the study of evolution equations on non-commutative spaces. I will also outline some of the key challenges that arise when extending the Laplace transform to the setting of Lie groups, including the non-commutativity of the group operation and the complexity of its dual space.
The main part of the talk will focus on an explicit construction of the Laplace transform in the framework of connected, simply connected nilpotent Lie groups. This construction relies on Kirillov’s orbit method, which provides a powerful bridge between the geometry of coadjoint orbits and the representation theory of nilpotent groups.
As an application, I will describe an operator-theoretic analogue of the classical Müntz–Szász theorem, establishing a density result for a family of generalized polynomials in $L^2(0,1)$ associated with the group setting. This result highlights the strength of the representation-theoretical approach and its potential for solving classical approximation problems in a non-commutative context.