إنتروبيا فون نيومان  في ميكانيك الكم الإحصائي، إنتروبي فون نيومان أو قصور فون نيومان الحراري، المنسوب إلى جون فون نيومان، امتداد لمفاهيم غيبس الكلاسيكية عن الإنتروبي إلى مجال ميكانيك الكم. لأجل نظام ميكانيك كمومي موصوف بمصفوفة كثافة ##رمز##، تكون إنتروبيا فون نيومان  formula_1  إذ تشير formula_2 إلى الأثر وتشير ln إلى مصفوفة اللوغاريتمات (الطبيعية). إذا كتبت بدلالة متجهاتها الخاصة formula_3 على الشك  formula_4  تكون عندها إنتروبيا فون نيومان فقط:  formula_5  بهذا الشكل، يمكن اعتبار "S" مكافئةً لإنتروبي شانون الخاصة بنظرية المعلومات. وضع جون فون نيومان أسسًا رياضيةً متينةً لميكانيك الكم في كتابه عام 1932 الأسس الرياضية لميكانيك الكم. وفيه وضع نظرية قياس توصف فيها عملية انهيار التابع الموجي على أنها عملية غير عكوسة (يسمى القياس الإسقاطي أو قياس فون نيومان). قدم كل من فون نيومان وليفّ لانداو مفهوم مصفوفة الكثافة ولكن لدوافع مختلفة. كان دافع لانداو هو استحالة وصف منظومة جزئية من نظام كمومي معقد بواسطة شعاع حالة. على الجهة الأخرى، قدم فون نيومان مصفوفة الكثافة بهدف تطوير كل من ميكانيك الكم الإحصائي ونظرية القياس الكمومية. طُورت الصيغة الرياضية لمصفوفة الكثافة بهدف إعطاء المجال لأدوات الميكانيك الإحصائي التقليدي كي تستخدم في مجال الكم. نحسب، في إطار الميكانيك التقليدي، جملة حالات النظام (تابع التقسيم) بهدف تقييم كل الكميات الترموديناميكية المحتملة. قدم فون نيومان مفهوم مصفوفة الكثافة في سياق حالات ومعاملات فضاء هيلبرت. ستسمح لنا معرفة المعامل الإحصائي لمصفوفة الكثافة بحساب كل الكميات المتوسطة بطريقة مشابهة من حيث المبدأ، ولكن مختلفة رياضيًّا. لنفترض أن لدينا مجموعة توابع موجية |"Ψ"〉تعتمد بارامتراتها على مجموعة من الأرقام الكمومية "n", "n", ..., "n". المتغير الطبيعي الذي لدينا هو سعة الموجة التي يساهم بها تابع موجي محدد من المجموعة الأساسية في التابع الموجي الفعلي للنظام. لنكتب مربع هذه السعة على الشكل "p"("n", "n", ..., "n"). الهدف هو تحويل هذه الكمية "p" إلى تابع كثافة تقليدي في فضاء الطور. يجب أن نتحقق أن "p"("n", "n", ..., "n") تتناهى إلى تابع الكثافة عند الحد الكلاسيكي، وأن لها خواصَّ مسرانية (إرغوديكية). بعد التحقق من أن"p"("n", "n", ..., "n") ثابت حركي، فإن وضع افتراض مسراني للاحتمالات "p"("n", "n", ..., "n") يجعل "p" تابعةً للطاقة فقط. بعد هذه العملية، نصل أخيرًا إلى صيغة مصفوفة الكثافة عند البحث عن شكل لا تتغير فيه "p"("n", "n", ..., "n") مع تغير التمثيل المستعمل. في الصيغة التي تكتب بها، ستنتج قيمًا متوقعةً صحيحةً حصرًا للكميات القطرية بالنسبة للأعداد الكمومية "n", "n", ..., "n". القيم المتوقعة للمعاملات غير القطرية تتضمن أطوار سعات الأمواج الكمومية. لنفترض أننا نرمز الأعداد الكمومية "n", "n", ..., "n" في دليل واحد، وليكن "i" أو "j". عندها يكون للتابع الموجي الشكل:  formula_6  القيمة المتوقعة لمعامل ما "B" غير قطري في هذه التوابع الموجية تأخذ الشكل:  formula_7  الدور المحجوز في الأصل للكميات formula_8يحل محله بالتالي مصفوفة الكثافة الخاصة بالنظام "S".  formula_9  بالتالي، 〈"B"〉 تكون:  formula_10  تصف نظرية المصفوفات لاتغير العبارة السابقة. وُصفت بنية رياضية يُحصل فيها على القيم المتوقعة للمعاملات الكمومية، كما تصفها المصفوفات، عن طريق أخذ أثر جداء معامل الكثافة formula_11 ومعامل ما formula_12 (جداء هيلبرت السلمي بين المعاملات). صياغة المصفوفة هنا هي في إطار الميكانيك الإحصائي، مع أنها يمكن تطبيقها أيضًا على الأنظمة الكمومية المنتهية، وهي الحالة الغالبة، حيث لا يمكن وصف حالة النظام كحالة صافية، بل توصف كمعامل إحصائي formula_11 للصيغة السابقة. رياضيًّا، فإن formula_11 مصفوفة هيرميتية شبه منتهية لها أثر واحدي. بمعرفة مصفوفة الكثافة "ρ" ، عرف فون نيومان الإنتروبي على أنها:  formula_15  وهي صيغة مناسبة لتوسيع مفهوم كل من إنتروبي غيبس (حتى عامل ضرب ) وإنتروبي شانون بحيث يمكن تطبيقهما على الحالة الكمومية. لحساب"S"("ρ") من الملائم حساب التركيب الشعاعي الذاتي (أو التركيب الشعاعي الخاص) للتابعformula_16 يعطى إنتروبي فون نيومان عندها بالعلاقة:  formula_17  بما أن مصفوفة الكثافة راسخة (أو متساوية القوى) لأجل حالة صافية (أي "ρ" = "ρ")، فإن إنتروبيتها "S"("ρ") تختفي. لذا، فإن كان النظام منتهيًا (يمكن تمثيله بمصفوفة بعدية منتهية)، يكمِّم الإنتروبي "S"("ρ") مغادرة النظام للحالة الصافية. بكلمات أخرى، فإنه يرمز درجة مزج الحالة التي تصف نظامًا ما منتهيًا. يزيل القياس الترابط الكمي لنظام كمومي بحيث يصبح غير متداخل ويصبح ظاهريًّا نظامًا تقليديًّأ (ميكانيك كلاسيكي أو تقليدي)؛ لذا تتزايد مثلًا الإنتروبي المتلاشية لحالة صافيةformula_18 ، الموافقة لمصفوفة كثافة  formula_19  إلى لأجل مزيج نتائج القياس  formula_20  عند تلاشي (مسح) معلومات التداخل الكمومي. بعض خصائص إنتروبي فون نيومان:   formula_22   formula_23  حيث تتحقق المساواة إذا كان لكل من المعاملات حامل متعامد، وكما في السابق فإن معاملات كثافة و مجموعة أعداد موجبة مجموعها واحدي (formula_21)   formula_25   formula_26  هذا يعني تلقائيًّا أن قابلة للجمع الجزئي:  formula_27  إذا كانت مصفوفتين مختزلتين للحالة العامة يكون عندها:  formula_28  هذه المتراجحة اليمينية تُعرف باسم قابلية الجمع الجزئي. تعرف المتراجحتان معًا أحيانًا باسم المتراجحة المثلثة. أثبتهما عام 1970 هوزيهيرو آراكي وإليوت ه. ليب. في حين لا تسمح نظرية شانون لإنتروبي نظام مركب أن تكون أقل من إنتروبي أي من أجزائها، ففي نظرية الكم الوضع مختلف، أي أنه من الممكن تحقق في حين . يمكن فهم هذا بديهيًّا على الشكل التالي: في ميكانيك الكم، يمكن لإنتروبي النظام المجمع أن يكون أقل من مجموع إنتروبيات مكوناته لأن هذه المكونات من الممكن أن تكون متشابكة كموميًّا. يمكن مشاهدة هذا بشكل واضح مثلًا في الحالة الجرسية للفين (سبينين) من الرتبة ½s،  formula_29  هي حالة صافية معدومة الإنتروبي، لكن لكل من اللفين إنتروبي أعظمي عند احتسابه بشكل فردي في المصفوفة المختزلة لكثافته. يمكن للإنتروبي في لف واحد أن «يُلغى» عن طريق ربطه بإنتروبي اللف الآخر. يمكن للمتراجحة اليسارية أن يُفهم منها تقريبًا أن الإنتروبي يمكن إلغاؤه فقط بكمية مساوية من الإنتروبي. إذا كان للنظام والنظام مقداران مختلفان من الإنتروبي، لن يلغي أصغرهما إلا جزءًا من أكبرهما، ولا بد أن يتبقى بعض الإنتروبي. وبشكل مشابه، يمكن أن يُفهم من المتراجحة اليمينية أن إنتروبي النظام المركب يكون أعظميًّا عندما لا ترتبط مركباته ببعضها البعض، وفي تلك الحالة يكون الإنتروبي الكلي مجرد مجموع الإنتروبيات الجزئية. يمكن أن يكون هذا أكثر بديهيةً في صيغة فضاء الطور منه في فضاء هيلبرت إذ يتناهى إنتروبي فون نيومان في فضاء الطور إلى سالب القيمة المتوقعة من - لوغاريتم تابع ويغنر، ، وذلك صحيح حتى انزياح محدد. حتى انزياح التسوية المحدد هذا، يكون الإنتروبي محدودًا بحده الأعظمي الكلاسيكي نفسه. إنتروبي فون نيومان هو أيضًا قابل للجمع الجزئي التام (الجمع الجزئي القوي). بأخذ ثلاثة فضاءات هيلبرت "A", "B", "C":  formula_30  برهان هذه النظرية أصعب وقد أُثبتت عام 1973 من قبل إليوت ه. ليب وماري بيث روسكاي، باستخدام متراجحة مصفوفية أثبتها إليوت ه. ليب عام 1973. باستخدام تقنية البرهان التي تكون الجهة اليسرى من المتراجحة المثلثة آنفة الذكر، يمكننا تبيان أن متراجحة قابلية الجمع الجزئي التام تكافئ المتراجحة التالية:  formula_31 حيث ..الخ هي مصفوفات الكثافة المختزلة لمصفوفة كثافة . إذا طبقنا قابلية الجمع الجزئي العادية على الجهة اليسرى من هذه المتراجحة، وأخذنا بعين الاعتبار كل تبديلات "A", "B", "C" نحصل على متراجحة المثلثة: كل من الأعداد الثلاثةأصغر أو يساوي مجموع الاثنين الآخرين. يُستخدم إنتروبي فون نيومان بشكل واسع بأشكال مختلفة (إنتروبيات شرطية، إنتروبيات نسبية، إلخ..) في إطار نظرية المعلومات الكمومية. تبنى إجراءات التشابك (التماهي) على كمية ما تتعلق مباشرةً بإنتروبي فون نيومان. ولكن، ظهرت في أدبيات العلم عدة أوراق بحثية تتعامل مع احتمالية عدم كفاءة طريقة شانون المعلوماتية، وبالتالي عدم كفاءة إنتروبي فون نيومان كتعميم كمومي ملائم لإنتروبي شانون. الحجة الرئيسية هي أن طريقة شانون المعلوماتية في القياس الكلاسيكي هي إجراء طبيعي يرجع لجهلنا بخصائص النظام، الذي لا يتعلق وجوده بإجراء عملية القياس. والعكس بالعكس، فالقياس الكمومي لا يمكن الزعم بأنه يبدي خصائص النظام الذي وجد قبل إجراء القياس. شجع هذا الجدل القائم بعض المؤلفين لتقديم خاصية عدم قابلية الجمع التي يتميز بها إنتروبي تساليس (تعميم لإنتروبي بولتزمان-جيبس المعياري) على أنها السبب الرئيسي لاسترجاع قياس معلومات كمومية حقيقي في السياق الكمومي، زاعمين أن العلاقات غير المحلية يجب أن توصف بسبب خصوصية إنتروبي تساليس.