Questions tagged [quantization]
Questions on various methods and aspects of quantization
85 questions
11
votes
2
answers
849
views
Physical intuition behind Kontsevich's deformation quantization formula
Kontsevich gives a construction that produces deformation quantization of $C^\infty(M)$ for general Poisson manifolds $M$. The resulting formula (on $\mathbb{R}^n$) is
$$
f\star g = \sum_{n=0}^\infty \...
7
votes
1
answer
332
views
Question about a remark on quantization of Coulomb branches
I will follow the definition of Coulomb branches of $3d$ $\mathcal{N}=4$ gauge theories from the paper by Braverman, Finkelberg and Nakajima, Towards a mathematical definition of Coulomb branches of 3-...
7
votes
2
answers
312
views
The equivalence of stochastic quantization and path integral quantization
I am looking for a reference in which the equivalence of stochastic quantization and
path integral quantization has been shown. It would be great if I can see such a relation for a Euclidean quantum ...
2
votes
0
answers
87
views
Neural network quantization and arithmetic on affine functions
I'm trying to understand the basics of quantization in Neural networks. Quantization tries to convert a neural network that uses floating point arithmetic to one that uses a lower precision integer ...
0
votes
2
answers
227
views
Does this distribution exist?
Assume there is a distribution in two variables $\mathcal{W}\in\mathcal{S}'(\mathbb{R}^2)$ with Fourier transform $\hat{\mathcal{W}}(\alpha,\beta)\equiv \int_{-\infty}^\infty e^{i(\alpha x+\beta y)} \...
1
vote
1
answer
83
views
Lipschitz approximation of a probability measure with finite $1$-st moment by the ones with finite $p$-th moment
For $p \in [1, \infty)$, let $\mathcal P_p (\mathbb{R^d})$ be the space of Borel probability measures on $\mathbb R^d$ with finite $p$-th moment. We endow $\mathcal P_p (\mathbb{R^d})$ with the ...
2
votes
0
answers
133
views
Efficient decoding of the E8/Leech lattice
Background:
Our goal is to quantize a sequence of floating point numbers generated i.i.d. from a standard Gaussian source and minimize the MSE reconstruction error. We can use two bits for each sample....
1
vote
0
answers
106
views
How does $R \equiv 1\ (\text {mod}\ h)\ $?
Definition $:$ Let $H$ be a Hopf algebra. An invertible element $R \in H \otimes H$ is called a coboundary structure on $H$ if
$(1)$ $\Delta^{\text {op}} = R \Delta R^{-1},$
$(2)$ $R_{21} = R^{-1},$
$(...
7
votes
2
answers
684
views
Deriving the Hilbert spaces for Chern-Simons TQFTs with complex gauge group
One method for finding the Hilbert spaces corresponding to surfaces in Chern-Simons TQFT is by geometrically quantizing the phase space, which is just the character variety of the surface. I know that ...
7
votes
1
answer
752
views
SL(2,C) Chern-Simons theory in genus 1
In Link, Witten claims (p. 54) that to quantize the moduli space of flat $SL(2,\mathbb{C})$ connections on a torus, one can simply quantize the cotangent bundle of a real torus and take the part ...
1
vote
0
answers
75
views
Problem in understanding Theorem $6.2.9$ from Chari and Pressley
The theorem I am referring to here says that if we start with a Lie bialgebra $\mathfrak g$ determined by some skew-symmetric element $r \in \mathfrak g \otimes \mathfrak g$ satisfying classical Yang-...
4
votes
1
answer
245
views
Understanding definition of quantization of a Poisson-Hopf algebra
I am going through the chapter Quantization of Lie bialgebras from the book A Guide to Quantum Groups by Chari and Pressley. There I found a notion called Quantization which deals with deformations of ...
9
votes
1
answer
369
views
Geometric quantization: why are the prequantum operators self-adjoint?
I'm reading a bit about geometric quantization and, among the axioms of this construction, is one requiring that the operator $\hat f = -\textrm i \hbar \nabla _{X_f} + f$ associated to the classical ...
14
votes
0
answers
1k
views
The quantization problem: modern quantization procedures and current status
The quantization problem is one of the most well-known current problems of theoretical and mathematical physics. It is also part of Hilbert's sixth problem (on the axiomatization of physics - see here ...
2
votes
0
answers
90
views
Most general space for the Wigner-Weyl transform
The Wigner-Weyl transform $\mathfrak{W}$ is a bijective mapping between functions on a phase space and Hilbert space operators in order to map quantum mechanics into a phase-space formulation. Then ...
1
vote
0
answers
149
views
Obstruction to deforming vector bundles
Let $X$ be a complex algebraic variety and let $D$ denote any $\mathbb C[[h]]$-deformation of $\mathcal O_X$. Suppose that $D$ is trivial. Then it is well-known that obstructions to deforming any $X$-...
1
vote
0
answers
50
views
Is there a version of Nest-Tsygan theorem for smooth variety
Let $M$ be a smooth Poisson manifold and $\mathcal{O}_\hbar (M)$ be a deformation quantisation of $\mathcal{O} (M)$. Nest-Tsygan theorem says that $$HH_i(\mathcal{O}_\hbar (M)[\hbar^{-1}])\cong H^{2d-...
3
votes
0
answers
399
views
Bi-differential operators in the definition of star product in deformation quantisation
Let $X$ be an (affine) Poisson variety (not necessarily smooth) over an algebraically closed field of characteristic 0 (such as $\mathbb{C}$), denote $\mathcal{O}(X)$ its ring of functions and $\{-,-\}...
5
votes
1
answer
1k
views
Quantization of normal distribution
For $n\in\mathbb{N}$, denote by $\mathcal{Q}_n$ the set of all probability measures on $\mathbb{R}$ that are supported on at most $n$ points.
Question: Is it known which element in $\mathcal{Q}_n$ is ...
4
votes
1
answer
363
views
Nonlinear ODE to linear PDE?
I am interested in when and how one can trade a non-liner ODE for a linear PDE. To explain what this could look like here is a physics-inspired discussion.
Consider a classical mechanical system with ...
1
vote
0
answers
662
views
On prequantization bundles over integral symplectic manifolds
I am trying to clarify certain subtleties regarding prequantization bundles over symplectic manifolds, for which I haven't found any clear explanation so far.
Let me fix some definitions first.
...
2
votes
0
answers
540
views
Polarizations in algebraic and symplectic geometry
In context of Abelian varieties there are a couple of equivalent ways to
introduce the polarization of a algebraic variety. One way is to
choose a line bundle $\mathcal{L}$ which satisfies certain ...
7
votes
0
answers
221
views
Deformation quantization of infinite dimensional Poisson manifolds
In 1999, Karaali wrote a review of formal deformation quantization for a class she took with Weinstein.
She ends the paper with the following remark:
Another question that remains involves the ...
2
votes
1
answer
165
views
Hilbert module over $C_0(\Lambda)$ as space of continuous sections of HIlbert bundle
Let $\Lambda$ be a manifold and $p:H\to\Lambda$ a continuous Hilbert bundle with $H(\lambda):=p^{-1}(\lambda)$. Suppose $\Gamma_0^0(\Lambda)$ is the space of continuous sections vanishing at infinity ...
71
votes
10
answers
11k
views
The Planck constant for mathematicians
The questions
Q1. What are simple ways to think mathematically about the physical meanings of the Planck constant?
Q2. How does the Planck constant appear in mathematics of quantum mechanics? In ...
9
votes
1
answer
1k
views
Fedosov vs. Kontsevich deformation quantization : a beginner survey
I'm a condensed matter physicist who tries to understand the details of deformation quantization.
In my self-made training, I've found two huge pieces of work, namely
Fedosov, B. V. (1994). "A ...
35
votes
5
answers
5k
views
Does quantum mechanics ever really quantize classical mechanics?
I was curious about a physics question which I thought might be suitable for mathoverflow. I looked at the answer to this question, but it's not what I'm looking for.
Basically, classical mechanics ...
14
votes
1
answer
1k
views
What are Harish-Chandra bimodules used for?
There are many recent papers on classification of Harish-Chandra bimodules for rational Cherednik algebras and, more generally, non-commutative algebras which are quantizations of symplectic ...
6
votes
2
answers
850
views
1-dimensional pure gauge theory
I am learning TQFT from compact Lie groups by Freed, Hopkins, Lurie,
and Teleman: https://arxiv.org/abs/0905.0731 , and got stuck very hard
even in the first section ($n = 1$), which was "trivial but ...
7
votes
1
answer
413
views
Kontsevich Formality sign convention
Since my question is related to sign convention, I want to define everything from the very beginning. $T_{poly}^k(M)=\Gamma(\wedge^{k+1} TM)$ are the multi vector fields with shifted degree and with ...
1
vote
0
answers
176
views
On different definitions of a prequantization space
Geometric quantization associates to a symplectic manifold $(M,\omega)$ a hermitian line bundle $L \to M$ with connection $\nabla$ whose curvature is $\omega$ (up to some constant).
Without talking ...
11
votes
0
answers
1k
views
Yang-Mills theory with non-compact gauge groups G
Physicists are familiar working with Yang-Mills theory with compact and semi-simple gauge groups $G$ (Lie groups).
However, it is not entirely clear the formulation of Yang-Mills theory with non-...
7
votes
7
answers
2k
views
Quantization of a classical system (e.g. the case of a billiard)
There have been already several questions asking for an introduction to quantum mechanics
for a mathematician, but this one is slightly different, and more restrictive.
I know (some)
quantum ...
3
votes
1
answer
166
views
Reference request for quantum Teichmuller space
I would like to ask for some detailed reference for quantum Teichmuller theory, better in a mathematical taste. I read a little bit on Kashaev's or Chekhov and Fock's, but find that I need to fill ...
9
votes
1
answer
704
views
Physical intuition behind prequantization spaces
Given a symplectic manifold $(M,\omega)$ with integral symplectic form, that is $$\omega \in \text{Im}(H_2(M,\mathbb{Z}) \to H_2(M,\mathbb{R})),$$ one can form a so-called prequantization space, that ...
10
votes
1
answer
2k
views
basic questions on quantum integrable systems
I have been learning about (classical) integrable systems lately, e.g. in the examples of a Lax pair etc. I frequently run into the term 'quantum integrable system'. May I ask a few questions:
What ...
5
votes
0
answers
574
views
Isn't the quantomorphism group really just the "WKB-quantomorphism" group?
Introduction
In his second-most upvoted post, called "Why quantum mechanics?" (second only to his post on fibre bundles & gauge theory) in the physics SE community, Urs Schreiber, in the setting ...
34
votes
5
answers
9k
views
How to see the Phase Space of a Physical System as the Cotangent Bundle
Two things today motivated this question.
First, the professor said that in a lecture Thurston mentioned
Any manifold can be seen as the configuration space of some physical system.
Clearly we ...
10
votes
2
answers
1k
views
Quantization of conjugacy classes in a Lie group
Let $G$ be a Lie group (and to be safe, let's assume it is semisimple). Consider the action of $G$ on itself by conjugation, and form the GIT (algebro-geometric) quotient $G/\!/G$. Then let $\pi:G\...
8
votes
1
answer
422
views
Kontsevich weights in the complex algebraic setting
In Kontsevich's Deformation quantization of Poisson manifolds, he gives an explicit formula for the star product:
$$
f \star g = fg + \sum_{n=1}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma}...
7
votes
1
answer
3k
views
What is the relation between BRST quantization and gauge fixing quantization
To quantize gauge field, one usually use gauge-fixing procedure and then plus ghost field, my question is what the relation between BRST quantization and gauge fixing quantization is? Because it seems ...
7
votes
0
answers
139
views
Could we extend the star product on a Poisson manifold from its ring of smooth functions to its de Rham complex?
Let $M$ be a smooth manifold with a Poisson bracket $\{-,-\}$. Kontsevich proved that there exists a deformation quantization of $M$, i.e. let $C^{\infty}(M)[[\hbar]]=C^{\infty}(M)\otimes_{\mathbb{R}}\...
5
votes
1
answer
270
views
Is there any work on quantization of distributions?
Let $G$ be a Lie group and consider the space $C_c^\infty(G)$ of compactly supported complex-valued smooth functions on $G$ and $D'(G) = (C_c^\infty(G))'$ the topological dual linear space of $C_c^\...
5
votes
0
answers
198
views
Analogue of Kontsevich's formality theorem for quantization of Courant algebroids
In his 1997 preprint, M. Kontsevich proved the formality of the differential graded algebra controlling deformations of the associative and commutative algebra of functions on a manifold, seen as an ...
4
votes
0
answers
145
views
Reference request: Prequantization of canonical transformations and Lie group action
Hello to MathoverFlow community
I have some seemingly technical questions on applications of geometric quantisation to Lie group representation theory.
We shall start by giving background definitions....
9
votes
0
answers
544
views
From classical to quantum mechanics
Let ($X,\omega$) be a symplectic manifold (phase space of some physical system). Consider the algebra $\mathcal{C}^{\infty}(X,\mathbb{R})$ of smooth functions on $X$ and $[\omega]\in \textrm{H}^{2}_{\...
8
votes
1
answer
1k
views
Why is geometric quantization (esp. Berezin-Toeplitz quantization) interesting for a symplectic geometer/topologist?
I know that many symplectic geometers are interested in quantization as well.
From what I understood, quantization isn't expected to be used as a tool to answer symplectic questions (as in ...
5
votes
1
answer
476
views
Geometric quantization of Teichmuller space
The quantizations of Teichmuller space I have seen are via special coordinates (e.g. the paper of Chekhov and Fock) or conformal blocks. Does one get an equivalent quantization by geometric ...
5
votes
0
answers
274
views
Deformation quantization of Poisson bracket without star-product
Kontsevich's formality theorem implies in particular that star-products on a $C^\infty$-manifold $M$,
$$f\star g = fg + \sum_{k\geq1} \hbar^k B_k(f,g),\qquad f,g\in C^\infty(M),$$ where $B_k$ are ...
5
votes
0
answers
167
views
Distinguishing the Duflo star product
$\newcommand{\g}{\mathfrak g}\newcommand{\h}{\hbar}$
For a finite dimensional Lie algebra $\g$, he Duflo isomorphism is a complicated algebra isomorphism between the $\g$-invariant part $S(\g)^\g$ of ...