विग्नर-वेइल ट्रांसफॉर्म

क्वांटम यांत्रिकी में, विग्नर-वेइल ट्रांसफॉर्म अथवा वेइल-विग्नर ट्रांसफॉर्म (हरमन वेइल और यूजीन विग्नर के पश्चात्) श्रोडिंगर चित्र में क्वांटम प्रावस्था-समष्टि सूत्रीकरण और हिल्बर्ट समष्टि संकारकों (गणित) में फलनों के मध्य व्युत्क्रम मैपिंग है।

अधिकांशतः प्रावस्था-समष्‍टि पर फलनों से लेकर संकारकों तक की मैपिंग को वेइल ट्रांसफॉर्म अथवा वेइल परिमाणीकरण कहा जाता है, जबकि प्रावस्था-समष्‍टि पर संकारकों से फलनों तक की व्युत्क्रम मैपिंग को विग्नर ट्रांसफॉर्म कहा जाता है। यह मैपिंग मूल रूप से 1927 में हरमन वेइल द्वारा संकारकों के लिए सममित प्रावस्था-समष्‍टि फलनों को मैप करने के प्रयास में प्रस्तुत की गई थी, जिसे वेइल परिमाणीकरण के रूप में भी जाना जाता है। अब यह अध्ययन किया जाता है कि वेइल परिमाणीकरण उन सभी गुणों को संतुष्ट नहीं करता है जिनकी निरंतर परिमाणीकरण के लिए आवश्यकता होती है और इसलिए कभी-कभी अभौतिक परिणाम प्राप्त होते हैं। दूसरी ओर, नीचे वर्णित कुछ उत्तम गुणों से ज्ञात होता है कि यदि कोई संकारकों के लिए प्रावस्था-समष्‍टि पर एकल सुसंगत प्रक्रिया मैपिंग फलनों को ज्ञात करता है, तो वेइल परिमाणीकरण उत्तम विकल्प है: इस प्रकार के मैप के सामान्य निर्देशांक का प्रकार भी होता है (ग्रोएनवॉल्ड के प्रमेय का आशय है कि ऐसे किसी भी मैप में वे सभी आदर्श गुण नहीं हो सकते जो कोई चाहता है।)

वेइल-विग्नर ट्रांसफॉर्म प्रावस्था-समष्‍टि और संकारक अभ्यावेदन के मध्य उचित रूप से परिभाषित इंटीग्रल ट्रांसफॉर्म है, और क्वांटम यांत्रिकी के कार्यचालन में अंतर्दृष्टि प्रदान करता है। अत्यंत महत्वपूर्ण तथ्य यह है कि विग्नर अर्ध-संभाव्यता वितरण क्वांटम घनत्व आव्यूह का विग्नर ट्रांसफॉर्म है, और, इसके विपरीत, घनत्व आव्यूह विग्नर फलन का वेइल ट्रांसफॉर्म है।

कंसिस्टेंट परिमाणीकरण योजना के अन्वेषण में वेइल के मूल विचारों के विपरीत, यह मैप केवल क्वांटम यांत्रिकी के भीतर अभ्यावेदन में परिवर्तन के समान है; इसे क्लासिकल को क्वांटम राशियों से संयोजित करने की आवश्यकता नहीं है। इस प्रकार उदाहरण के लिए, प्रावस्था-समष्‍टि फलन स्पष्ट रूप से प्लैंक के स्थिरांक ħ पर निर्भर हो सकता है, जैसा कि कोणीय गति से संयोजित कुछ परिचित स्थितियों में होता है। यह व्युत्क्रम अभ्यावेदन परिवर्तन किसी को प्रावस्था-समष्‍टि में क्वांटम यांत्रिकी को व्यक्त करने की अनुमति देता है, जिस प्रकार 1940 के दशक में हिलब्रांड जे. ग्रोएनवॉल्ड और जोस एनरिक मोयल द्वारा इसकी सराहना की गयी थी।

सामान्य अवलोकनीय के वेइल परिमाणीकरण की परिभाषा

निम्नलिखित सरलतम, द्विविमीय यूक्लिडियन प्रावस्था-समष्‍टि पर वेइल ट्रांसफॉर्मेशन की व्याख्या करता है। मान लीजिए कि प्रावस्था-समष्‍टि पर निर्देशांक (q,p) हैं और f प्रावस्था-समष्‍टि पर प्रत्येक स्थान परिभाषित फलन है। निम्नलिखित में, हम श्रोडिंगर अभ्यावेदन में सामान्य स्थिति और गति संकारकों जैसे विहित कम्यूटेशन संबंधों को संतुष्ट करने वाले संकारकों P और Q को उचित करते हैं। इस प्रकार हम मानते हैं कि घातांक संकारक $e^{iaQ}$ और $e^{ibP}$ वेइल संबंधों का अलघुकरणीय प्रतिनिधित्व बनाते हैं जिससे स्टोन-वॉन न्यूमैन प्रमेय (विहित कम्यूटेशन संबंधों की विशिष्टता का आश्वासन) स्थिर रहे।

मूल सूत्र

फलन f का वेइल ट्रांसफॉर्म (अथवा वेइल परिमाणीकरण) हिल्बर्ट समष्टि में निम्नलिखित संकारक द्वारा दिया गया है,

$\Phi [f]={\frac {1}{(2\pi )^{2}}}\iint \!\!\!\iint f(q,p)\left(e^{i(a(Q-q)+b(P-p))}\right){\text{d}}q\,{\text{d}}p\,{\text{d}}a\,{\text{d}}b.$

इस प्रकार पूर्णतया, ħ प्लैंक स्थिरांक है।

उपरोक्त सूत्र में सर्वप्रथम p और q समाकलों को निष्पादित करना अनुदेशात्मक है, जिसमें ऑपरेटर $e^{i(aQ+bP)}$ को त्यागते समय फलन f के सामान्य फूरियर ट्रांसफॉर्म ${\tilde {f}}$ की गणना करने का प्रभाव होता है। उस स्थिति में, वेइल ट्रांसफॉर्म को इस प्रकार लिखा जा सकता है-

$\Phi [f]={\frac {1}{(2\pi )^{2}}}\iint {\tilde {f}}(a,b)e^{iaQ+ibP}\,da\,db$.

इसलिए हम वेइल मैप के संबंध में इस प्रकार विचार कर सकते हैं: हम फलन $f(p,q)$ का सामान्य फूरियर ट्रांसफॉर्म लेते हैं, किन्तु फिर फूरियर व्युत्क्रम सूत्र प्रयुक्त करते समय, हम मूल वास्तविक चर p और q के लिए क्वांटम संकारकों $P$ और $Q$ को प्रतिस्थापित करते हैं, इस प्रकार f का क्वांटम संस्करण प्राप्त होता है।

कम सममित किन्तु अनुप्रयोगों के लिए उपयोगी रूप निम्नलिखित है-

$\Phi [f]={\frac {2}{(2\pi \hbar )^{3/2}}}\iint \!\!\!\iint \!\!dq\,dp\,d{\tilde {x}}\,d{\tilde {p}}\ e^{{\frac {i}{\hbar }}({\tilde {x}}{\tilde {p}}-2({\tilde {p}}-p)({\tilde {x}}-q))}~f(q,p)~|{\tilde {x}}\rangle \langle {\tilde {p}}|.$

स्थिति प्रतिनिधित्व में

वेइल मैप को इस संकारक के समाकल कर्नेल आव्यूह अवयवों के संदर्भ में भी व्यक्त किया जा सकता है-

$\langle x|\Phi [f]|y\rangle =\int _{-\infty }^{\infty }{{\text{d}}p \over h}~e^{ip(x-y)/\hbar }~f\left({x+y \over 2},p\right).$

व्युत्क्रम मैप

उपरोक्त वेइल मैप का व्युत्क्रम विग्नर मैप है, जो संकारक Φ को मूल प्रावस्था-समष्‍टि कर्नेल फलन f पर पुनः ले जाता है-

$f(q,p)=2\int _{-\infty }^{\infty }{\text{d}}y~e^{-2ipy/\hbar }~\langle q+y|\Phi [f]|q-y\rangle .$

उदाहरण के लिए, ऑसिलेटर थर्मल डिस्ट्रीब्यूशन ऑपरेटर $\exp(-\beta (P^{2}+Q^{2})/2)$ का विग्नर मैप है-

$\exp _{\star }\left(-\beta (p^{2}+q^{2})/2\right)=\left(\cosh({\frac {\beta \hbar }{2}})\right)^{-1}\exp \left({\frac {-2}{\hbar }}\tanh({\frac {\beta \hbar }{2}})(p^{2}+q^{2})/2\right).$

यदि कोई उपरोक्त अभिव्यक्ति में $\Phi [f]$ को आरबिटरेरी संकारक से प्रतिस्थापित करता है, तो परिणामी फलन f प्लैंक स्थिरांक ħ पर निर्भर हो सकता है, और क्वांटम-मैकेनिकल प्रक्रियाओं का उत्तम प्रकार से वर्णन कर सकता है, किन्तु स्थिति यह है कि नीचे दिए गए मोयल गुणनफल के माध्यम से यह उचित रूप से बना हो।

जिसके परिवर्तन में, विग्नर मैप के वेइल मैप को ग्रोएनवॉल्ड के सूत्र द्वारा संक्षेपित किया गया है- $\Phi [f]=h\iint \,da\,db~e^{iaQ+ibP}\operatorname {Tr} (e^{-iaQ-ibP}\Phi ).$

अवलोकनीय बहुपद का वेइल परिमाणीकरण

जबकि उपरोक्त सूत्र प्रावस्था-समष्‍टि पर अत्यंत सामान्य अवलोकनीय वेइल परिमाणीकरण का उत्तम प्रकार से अध्ययन करते हैं, इस प्रकार से वे सरल अवलोकनों पर गणना के लिए अधिक सुविधाजनक नहीं हैं, जैसे कि वे जो $q$ और $p$ में बहुपद हैं। जिसके पश्चात् के अनुभागों में, हम देखेंगे कि ऐसे बहुपदों पर, वेइल परिमाणीकरण नॉनकम्यूटिंग संकारकों $Q$ और $P$ के पूर्ण रूप से सममित क्रम का प्रतिनिधित्व करता है।

उदाहरण के लिए, क्वांटम कोणीय-गति-वर्ग संकारक L² का विग्नर मैप न केवल वास्तविक कोणीय गति का वर्ग है, अपितु इसमें ऑफसेट शब्द −3ħ²/2 भी सम्मिलित है, जो ग्राउंड-स्टेट बोह्र मॉडल की लुप्त न होने वाले कोणीय गति के लिए उत्तरदायी है।

गुण

बहुपदों का वेइल परिमाणीकरण

$q$ और $p$ के बहुपद फलनों पर वेइल परिमाणीकरण की क्रिया पूर्ण रूप से निम्नलिखित सममित सूत्र द्वारा निर्धारित की जाती है-

$(aq+bp)^{n}\longmapsto (aQ+bP)^{n}$

सभी सम्मिश्र संख्याओं $a$ और $b$ के लिए इस सूत्र से, यह दर्शाना कठिन नहीं है कि रूप $q^{k}p^{l}$ के फलन पर वेइल परिमाणीकरण $Q$ के $k$ गुणकों और $P$ के $l$ गुणकों के सभी संभावित क्रमों का औसत देता है।

उदाहरण के लिए, हमारे निकट है-

$6p^{2}q^{2}~~\longmapsto ~~P^{2}Q^{2}+Q^{2}P^{2}+PQPQ+PQ^{2}P+QPQP+QP^{2}Q.$

यद्यपि यह परिणाम वैचारिक रूप से स्वाभाविक है, किन्तु $k$ और $l$ के अधिक होने पर यह गणना के लिए सुविधाजनक नहीं है। इस प्रकार की स्थितियों में, हम इसके स्थान पर मैककॉय के सूत्र का उपयोग कर सकते हैं-

$p^{m}q^{n}~~\longmapsto ~~{1 \over 2^{n}}\sum _{r=0}^{n}{n \choose r}Q^{r}P^{m}Q^{n-r}={1 \over 2^{m}}\sum _{s=0}^{m}{m \choose s}P^{s}Q^{n}P^{m-s}.$

यह अभिव्यक्ति उपरोक्त पूर्ण रूप से सममित अभिव्यक्ति से $p^{2}q^{2}$ की इस स्थिति के लिए स्पष्ट रूप से भिन्न उत्तर देती है। यद्यपि, इसमें कोई विरोधाभास नहीं है, क्योंकि विहित रूपान्तरण संबंध ही संकारक के लिए अधिक अभिव्यक्ति की अनुमति देते हैं। (पाठक को संकारक $P^{2}Q^{2}$, $QP^{2}Q$, और $Q^{2}P^{2}$ के संदर्भ में $p^{2}q^{2}$ की स्थिति के लिए पूर्ण रूप से सममित सूत्र को पुनः लिखने और मैककॉय के सूत्र में प्रथम अभिव्यक्ति को $m=n=2$ के साथ सत्यापित करने के लिए कम्यूटेशन संबंधों का उपयोग करना अनुदेशात्मक लग सकता है।)

इस प्रकार यह व्यापक रूप से माना जाता है कि वेइल परिमाणीकरण, सभी परिमाणीकरण योजनाओं के मध्य, क्वांटम पक्ष पर कम्यूटेटर के वास्तविक पक्ष पर पॉइसन ब्रैकेट को मैप करने के जितना संभव हो उतना निकट आता है। (ग्रोएनवॉल्ड के प्रमेय के प्रकाश में, त्रुटिहीन अनुरूपता असंभव है।) उदाहरण के लिए, मोयल ने दर्शाया है-

प्रमेय: यदि $f(q,p)$ अधिकतम 2 और घात वाला बहुपद है, और $g(q,p)$ आरबिटरेरी बहुपद है, तो हमारे निकट $\Phi (\{f,g\})={\frac {1}{i\hbar }}[\Phi (f),\Phi (g)]$ है।

सामान्य फलनों का वेइल परिमाणीकरण

• यदि f वास्तविक-मान फलन है, तब इसकी वेइल-मैप छवि Φ[f] सेल्फ-एडजॉइंट है।
• यदि f श्वार्ट्ज समष्टि का अवयव है, तो Φ[f] ट्रेस-वर्ग है।
• अधिक सामान्य रूप से, Φ[f] सघन रूप से परिभाषित अनबाउंड संकारक है।
• यह मैप Φ[f] श्वार्ट्ज समष्टि पर (वर्ग-समाकलनीय फलनों की उप-समष्टि के रूप में) है।

विरूपण परिमाणीकरण

सहज रूप से, गणितीय वस्तु का विरूपण सिद्धांत समान प्रकार की वस्तुओं का सदस्य है जो कुछ पैरामीटरों पर निर्भर करता है।

यहां, यह नियम प्रदान करता है कि अवलोकनीय के वास्तविक क्रमविनिमेय बीजगणित को अवलोकनीय के क्वांटम अकम्यूटेटिव बीजगणित में किस प्रकार से विकृत किया जाए।

विरूपण सिद्धांत में मूल व्यवस्था बीजगणितीय संरचना (लाइ बीजगणित) से प्रारम्भ करनी है और यह प्रश्न करना है कि क्या समान संरचनाओं के अधिक पैरामीटर सदस्य उपस्थित है, जैसे कि पैरामीटर के प्रारंभिक मान के लिए किसी की संरचना वही है (लाइ बीजगणित) जिसके साथ यह प्रारम्भ हुआ था? (इसका प्राचीन उदाहरण प्राचीन जगत में एराटोस्थनीज की यह अनुभूति हो सकती है कि समतल पृथ्वी विरूपण पैरामीटर 1/R_⊕ के साथ गोलाकार पृथ्वी के रूप में विकृत हो सकती है।) उदाहरण के लिए, कोई अविनिमेय टोरस को किसी माध्यम से विरूपण परिमाणीकरण के रूप में परिभाषित कर सकता है ★- इस प्रकार सभी अभिसरण सूक्ष्मताओं को स्पष्ट रूप से संबोधित करने के लिए गुणनफल होता है (सामान्तयः इसे औपचारिक विरूपण परिमाणीकरण में संबोधित नहीं किया जाता है)। इस प्रकार किसी समष्टि पर फलनों का बीजगणित उस समष्टि की ज्यामिति को निर्धारित करता है, स्टार गुणनफल के अध्ययन से उस समष्टि के अविनिमेय ज्यामिति विरूपण का अध्ययन होता है।

उपरोक्त समतल प्रावस्था-समष्‍टि उदाहरण के संदर्भ में, f₁, f₂ ∈ C^∞(ℜ²) फलनों के युग्म का स्टार गुणनफल (मोयल गुणनफल, वास्तव में ग्रोएनवॉल्ड द्वारा 1946 में प्रस्तुत किया गया था), ★_ħ द्वारा निर्दिष्ट किया गया है-

$\Phi [f_{1}\star f_{2}]=\Phi [f_{1}]\Phi [f_{2}].\,$

स्टार गुणनफल सामान्य रूप से क्रमविनिमेय नहीं है, अपितु ħ → 0 की सीमा में फलनों के सामान्य क्रमविनिमेय गुणनफल तक चला जाता है। इस प्रकार, यह C^∞(ℜ²) के क्रमविनिमेय बीजगणित के विरूपण सिद्धांत को परिभाषित करने के लिए कहता है।

उपरोक्त वेइल-मैप उदाहरण के लिए, ★-गुणनफल को पॉइसन ब्रैकेट के संदर्भ में लिखा जा सकता है-

$f_{1}\star f_{2}=\sum _{n=0}^{\infty }{\frac {1}{n!}}\left({\frac {i\hbar }{2}}\right)^{n}\Pi ^{n}(f_{1},f_{2}).$

यहां, Π पॉइसन बाइवेक्टर है, संकारक को इस प्रकार परिभाषित किया गया है कि इसकी घातें हैं-

$\Pi ^{0}(f_{1},f_{2})=f_{1}f_{2}$

और

$\Pi ^{1}(f_{1},f_{2})=\{f_{1},f_{2}\}={\frac {\partial f_{1}}{\partial q}}{\frac {\partial f_{2}}{\partial p}}-{\frac {\partial f_{1}}{\partial p}}{\frac {\partial f_{2}}{\partial q}}~,$

जहाँ {f₁, f₂} पॉइसन ब्रैकेट है। सामान्तयः,

$\Pi ^{n}(f_{1},f_{2})=\sum _{k=0}^{n}(-1)^{k}{n \choose k}\left({\frac {\partial ^{k}}{\partial p^{k}}}{\frac {\partial ^{n-k}}{\partial q^{n-k}}}f_{1}\right)\times \left({\frac {\partial ^{n-k}}{\partial p^{n-k}}}{\frac {\partial ^{k}}{\partial q^{k}}}f_{2}\right)$

जहाँ ${n \choose k}$ द्विपद गुणांक है।

इस प्रकार, ये उदाहरण गॉसियन हाइपरबोलिक फलन की रचना करते हैं-

$\exp \left(-{a}(q^{2}+p^{2})\right)~\star ~\exp \left(-{b}(q^{2}+p^{2})\right)={1 \over 1+\hbar ^{2}ab}\exp \left(-{a+b \over 1+\hbar ^{2}ab}(q^{2}+p^{2})\right),$

या

$\delta (q)~\star ~\delta (p)={2 \over h}\exp \left(2i{qp \over \hbar }\right),$

ये सूत्र उन निर्देशांकों पर आधारित हैं जिनमें पॉइसन बायवेक्टर स्थिर है। इस प्रकार आरबिटरेरी रूप से पॉइसन मैनिफ़ोल्ड पर सामान्य सूत्र के लिए, cf. कोंटसेविच परिमाणीकरण सूत्र माना जाता है।

इसका प्रतिसममितिकरण ★-गुणनफल मोयल ब्रैकेट, पॉइसन ब्रैकेट का उचित क्वांटम विरूपण, और क्वांटम यांत्रिकी के अधिक सामान्य हिल्बर्ट-समष्टि सूत्रीकरण में क्वांटम कम्यूटेटर की प्रावस्था-समष्‍टि आइसोमोर्फ (विग्नर ट्रांसफॉर्म) उत्पन्न करती है। इस प्रकार, यह इस प्रावस्था-समष्‍टि सूत्रीकरण में अवलोकनीय वस्तुओं के गतिशील समीकरणों की आधारशिला प्रदान करता है।

इसके परिणामस्वरूप क्वांटम यांत्रिकी का पूर्ण प्रावस्था-समष्‍टि सूत्रीकरण होता है, पूर्ण रूप से हिल्बर्ट-समष्टि संकारक प्रतिनिधित्व के समान है, जिसमें स्टार-गुणन समानांतर संकारक गुणन को आइसोमोर्फिक रूप से सम्मिलित करता है।

प्रावस्था-समष्‍टि परिमाणीकरण में प्रत्याशा मान हिल्बर्ट समष्‍टि में घनत्व आव्यूह के साथ Φ संकारक अवलोकनों को ज्ञात करने के लिए आइसोमोर्फिक रूप से प्राप्त किए जाते हैं: वे विग्नर अर्ध-संभावना वितरण के साथ उपरोक्त f जैसे अवलोकन योग्य वस्तुओं के प्रावस्था-समष्‍टि समाकल द्वारा प्राप्त किए जाते हैं जो प्रभावी रूप से परिमाण के रूप में कार्य करते हैं।

इस प्रकार, क्वांटम यांत्रिकी को प्रावस्था-समष्‍टि (वास्तविक यांत्रिकी की समान सीमा) में व्यक्त करके, उपरोक्त वेइल मैप विरूपण पैरामीटर ħ/S के साथ वास्तविक यांत्रिकी के विरूपण सिद्धांत (सामान्यीकरण, सीएफ. पत्राचार सिद्धांत) के रूप में क्वांटम यांत्रिकी के प्रमाण की सुविधा प्रदान करता है। (भौतिकी में अन्य परिचित विकृतियों में विरूपण पैरामीटर v/c के साथ सापेक्षतावादी यांत्रिकी में न्यूटोनियन का विरूपण सम्मिलित है; अथवा विरूपण पैरामीटर श्वार्ज़स्चिल्ड-त्रिज्या/विशेषता-आयाम के साथ न्यूटोनियन गुरुत्वाकर्षण का सामान्य सापेक्षता में विरूपण सम्मिलित है। इसके विपरीत, समूह संकुचन लुप्त-पैरामीटर अपरिवर्तित सिद्धांतों को वास्तविक सीमाओं की ओर ले जाता है।)

वास्तविक अभिव्यक्तियाँ, अवलोकन और संक्रियाओं (जैसे पॉइसन कोष्ठक) को ħ-निर्भर क्वांटम संशोधनों द्वारा संशोधित किया जाता है, जिस प्रकार यांत्रिकी में प्रयुक्त होने वाले विनिमेय गुणन को क्वांटम यांत्रिकी की विशेषता वाले अविनिमेय स्टार-गुणन के लिए सामान्यीकृत किया जाता है और इसके अनिश्चितता सिद्धांत को अंतर्निहित किया जाता है।

इसके नाम के पश्चात् भी, सामान्तयः विरूपण परिमाणीकरण सफल परिमाणीकरण (भौतिकी) का गठन नहीं करता है, अर्थात् वास्तविक से क्वांटम सिद्धांत उत्पन्न करने की विधि का गठन नहीं करता है। वर्तमान में, यह हिल्बर्ट समष्टि से प्रावस्था समष्टि में मात्र प्रतिनिधित्व परिवर्तन के समान है।

सामान्यीकरण

अधिक व्यापकता में, वेइल परिमाणीकरण का अध्ययन उन स्थितियों में किया जाता है जहां प्रावस्था-समष्‍टि सिंपलेक्टिक मैनिफ़ोल्ड है, अथवा संभवतः पॉइसन मैनिफोल्ड है। इस प्रकार संबंधित संरचनाओं में पॉइसन-लाई समूह और केएसी-मूडी बीजगणित सम्मिलित हैं।

यह भी देखें

• विहित रूपान्तरण संबंध
• हाइजेनबर्ग समूह
• मोयल ब्रैकेट
• वेइल बीजगणित
• फँक्टर
• स्यूडो-डिफरेंशियल ऑपरेटर
• विग्नर अर्ध-संभाव्यता वितरण
• स्टोन-वॉन न्यूमैन प्रमेय
• क्वांटम यांत्रिकी का प्रावस्था-समष्‍टि सूत्रीकरण
• कोंटसेविच परिमाणीकरण सूत्र
• गैबोर-विग्नर ट्रांसफॉर्म
• दोलक प्रतिनिधित्व

संदर्भ

• Hall, Brian C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, Bibcode:2013qtm..book.....H, ISBN 978-1461471158

अग्रिम पठन

• Case, William B. (October 2008). "Wigner functions and Weyl transforms for pedestrians". American Journal of Physics. 76 (10): 937–946. Bibcode:2008AmJPh..76..937C. doi:10.1119/1.2957889. (Sections I to IV of this article provide an overview over the Wigner–Weyl transform, the Wigner quasiprobability distribution, the phase space formulation of quantum mechanics and the example of the quantum harmonic oscillator.)
• "Weyl quantization", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Terence Tao's 2012 notes on Weyl ordering