Scholarlink

Abstract <p> Commutative positive operator-valued measures (POVMs) are fuzzifications of spectral measures. In quantum mechanics, this corresponds to a connection between commutative unsharp observables (represented by commutative POVMs) and sharp observables (represented by self-adjoint operators); the former being a fuzzification of the latter. We prove that commutative unsharp observables can be defuzzified in order to obtain the sharp observables of which they are the fuzzy versions. We prove this in the case of POVMs defined on a general topological space which we require to be second countable and metrizable, generalizing some previous results on real POVMs. Then, we analyze some of the consequences of this defuzzification procedure. In particular we show that the joint measurability of two commutative (but generally not commuting) POVMs <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_2\)</EquationSource> </InlineEquation> corresponds to the existence of two commuting self-adjoint operators <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^+_1\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A^+_2\)</EquationSource> </InlineEquation> in an extended Hilbert space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{H}^+\)</EquationSource> </InlineEquation> whose projections are the sharp versions of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_2\)</EquationSource> </InlineEquation>, respectively. In other words, the joint measurability of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_1\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_2\)</EquationSource> </InlineEquation> is translated in the commutativity of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_1^+\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11503_2025_3244_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_2^+\)</EquationSource> </InlineEquation>. This is proved for POVMs on a second countable, Hausdorff, locally compact topological space, generalizing similar results obtained in the case of real POVMs. </p> <p> <b> DOI</b> 10.1134/S1061920825600692 </p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Defuzzification and Joint Measurability of Quantum Fuzzy Observables

  • 期刊论文

  • 发表日期：

    2025年9月29日

查看全文
  • R. Beneduci

摘要

Abstract

Commutative positive operator-valued measures (POVMs) are fuzzifications of spectral measures. In quantum mechanics, this corresponds to a connection between commutative unsharp observables (represented by commutative POVMs) and sharp observables (represented by self-adjoint operators); the former being a fuzzification of the latter. We prove that commutative unsharp observables can be defuzzified in order to obtain the sharp observables of which they are the fuzzy versions. We prove this in the case of POVMs defined on a general topological space which we require to be second countable and metrizable, generalizing some previous results on real POVMs. Then, we analyze some of the consequences of this defuzzification procedure. In particular we show that the joint measurability of two commutative (but generally not commuting) POVMs \(F_1\) and \(F_2\) corresponds to the existence of two commuting self-adjoint operators \(A^+_1\) and \(A^+_2\) in an extended Hilbert space \(\mathcal{H}^+\) whose projections are the sharp versions of \(F_1\) and \(F_2\) , respectively. In other words, the joint measurability of \(F_1\) and \(F_2\) is translated in the commutativity of \(A_1^+\) and \(A_2^+\) . This is proved for POVMs on a second countable, Hausdorff, locally compact topological space, generalizing similar results obtained in the case of real POVMs.

DOI 10.1134/S1061920825600692