كثافة تمثيلات حبال الكوانتيك المحلية لمروجي الزمن التخييلي
Compactness of quantics tensor train representations of local imaginary-time propagators

المجلة: SciPost Physics، المجلد: 18، العدد: 1
DOI: https://doi.org/10.21468/scipostphys.18.1.007
تاريخ النشر: 2025-01-08
المؤلف: Haruto Takahashi وآخرون
الموضوع الرئيسي: تحليل الموتر وتطبيقاته

نظرة عامة

تناقش هذه القسم قابلية الانضغاط لمروجي الزمن التخيلية المحلية باستخدام طرق حوامل الكوانتكس (QTTs)، والتي تعتبر ضرورية للحسابات الأولية وحسابات العديد من الجسيمات في نظريات الحقول الكوانتية. تتناول الدراسة تأثير معلمات النظام، وخاصة درجة الحرارة، على حجم البيانات، وهي منطقة لم يتم التحقيق فيها بشكل شامل. من خلال تحليل عددي، يفحص المؤلفون كثافة كل من الكائنات ذات الزمن/التردد الواحد وذات الزمن/الترددين، باستخدام طرق الاقتطاع المستندة إلى معايير فروبينيوس والحد الأقصى.

لاستكشاف أسوأ السيناريوهات، تستخدم الأبحاث نماذج القطب العشوائية، حيث يزداد عدد الأقطاب بشكل لوغاريتمي مع درجة الحرارة العكسية، وتكون المعاملات عشوائية. تشير النتائج إلى أن المروجين الناتجين عن هذه النماذج يظهرون قابلية انضغاط عالية في QTT، متجاوزين الطرق الحالية مثل التمثيل الوسيط وتمثيل ليهمان المنفصل. من الجدير بالذكر أن أبعاد الروابط للكائنات ذات الزمن/التردد الواحد تميل إلى التشبع عند درجات حرارة منخفضة، خاصة تحت اقتطاع معيار فروبينيوس، بينما تبقى أسباب التشبع في الكائنات ذات الزمن/الترددين غير واضحة. يؤكد المؤلفون على ضرورة المزيد من التحقيق في طرق الاقتطاع، ومستويات التسامح، والاختيار بين تمثيلات الزمن التخيلية وتردد التخيل للتطبيقات العملية.

مقدمة

في مجال نظرية الحقول الكوانتية الحاسوبية، تلعب المروجين الزمن التخيلية دورًا حاسمًا، خاصة مع تعقيدها وزيادتها بشكل متزايد عند درجات الحرارة المنخفضة، حيث تحدث ظواهر فيزيائية كبيرة. تحدد تحديات إدارة هذا النمو في البيانات، جنبًا إلى جنب مع المتطلبات الحاسوبية، جدوى الحسابات المتقدمة. لقد سلطت التطورات الأخيرة على مستوى الجسيمات الثنائية الضوء على أهمية المروجين متعدد الجسيمات، مثل دوال غرين للجسيمات الثنائية، التي تعتمد على ترددات وأوقات متعددة. وقد أدى ذلك إلى جهود لتطوير تمثيلات مضغوطة لهذه المروجين، مع التركيز على طريقة حوامل الكوانتكس (QTT)، التي تقدم نهجًا واعدًا لضغط البيانات عالية الأبعاد عبر مجالات علمية متنوعة.

تستفيد طريقة QTT من فصل مقاييس الطول لضغط الاعتماد على الزمان والمكان بشكل فعال، بما في ذلك المتغيرات الزمنية التخيلية والزخم. تمتد مرونتها إلى ما هو أبعد من المروجين الزمن التخيلية، مما يمكّن من عمليات فعالة مثل الالتفاف وتحويلات فورييه الكوانتية. بينما أظهرت الأبحاث السابقة قابلية انضغاط البيانات من حسابات الحقول الكوانتية، لا تزال الخصائص الأساسية لتمثيلات QTT، وخاصة مقاييسها مع درجة الحرارة، غير مستكشفة بشكل كافٍ. تهدف هذه الورقة إلى التحقيق في اعتماد حجم البيانات لتمثيلات QTT للكائنات ذات الزمن الواحد والزمنين، باستخدام نماذج القطب العشوائية القصوى لتقييم الكثافة في السيناريوهات القصوى. ستقارن الدراسة أيضًا بين استراتيجيتين للاقتطاع استنادًا إلى معايير فروبينيوس والحد الأقصى، مع تفاصيل الأقسام اللاحقة حول تقديم QTT، والنتائج للكائنات ذات الزمن الواحد والزمنين، ورؤى ختامية.

النتائج

في هذا القسم، يتم تقديم نتائج تحليل دالة غرين \( G_F(\tau) \) وتمثيلاتها باستخدام طرق حوامل الكوانتكس (QTT). تستخدم الدراسة نظامين للاقتطاع: أحدهما يعتمد على معيار فروبينيوس والآخر على المعيار الأقصى. بالنسبة لـ \( G_F(\tau) \)، وُجد أن الخطأ المطلق في إعادة البناء هو الحد الأدنى حول \( \tau = \beta/2 \) ويزداد بالقرب من \( \tau = 0 \) و \( \beta \). تظهر بعد الروابط \( \chi \) نموًا أسيًا عند مؤشرات الروابط الصغيرة، يتبعه تراجع بطيء، مع ملاحظة نمو لوغاريتمي عند \( \beta \) الصغيرة الذي يتشبع عند \( \beta \) الأكبر. يشير هذا التشبع إلى أن \( G_F(\tau) \) قابل للضغط بشكل كبير، حيث تكون أبعاد الروابط المشبعة أصغر بكثير من عدد الأقطاب \( L \).

بالنسبة لتمثيل التردد التخيلية \( G_F(i\omega) \)، لوحظت اتجاهات مشابهة، على الرغم من أن بعد الروابط \( \chi \) لا يظهر نموًا لوغاريتمي عند \( \beta \) الصغيرة ويظهر اعتمادًا أضعف على \( \beta \). تكشف النتائج للكائنات ذات الزمنين والترددين، وخاصة لنموذج الفيرميون-فيرميون، أن بعد الروابط \( \chi \) ينمو عند \( \beta \) الصغيرة ويتشبع عند \( \beta \) الأكبر، مع تحول بداية التشبع مع تغييرات في معلمات الاقتطاع. من الجدير بالذكر أن بعد الروابط لـ \( G_{FF}(\tau, \tau’) \) أصغر من ذلك لـ \( G_{FF}(i\omega_n, i\omega_n’) \) عند درجات حرارة منخفضة، مما يشير إلى تمثيل بيانات أكثر ملاءمة في مجال الزمن التخيلية. بشكل عام، تسلط النتائج الضوء على قوة نهج QTT عبر أنظمة اقتطاع مختلفة وأهمية المعلمات المختارة في الحسابات العملية.

المناقشة

في هذا القسم، يقدم المؤلفون تمثيل حوامل الكوانتكس (QTT) وعملياته، مع التركيز على التكميم الفعال وضغط البيانات للدوال ذات القيم العددية. يوضحون عملية تكميم دالة \( f(x) \) المعرفة على الفترة \( x \in [0, 1) \) باستخدام شبكة من \( 2^R \) نقاط متباعدة بالتساوي، مما يؤدي إلى تشكيل حوامل \( R \)-way \( F_{\sigma_1 \sigma_2 \ldots \sigma_R} \). يتم تقريب هذه الحوامل باستخدام طرق تحليل الحوامل مثل تحليل القيمة المفردة (SVD) والتداخل المتقاطع للحوامل (TCI)، مما يسمح بضغط بيانات كبير من \( 2^R \) إلى \( O(\chi^2 2^{R}) \) تحت ظروف معينة. يناقش القسم أيضًا عمليات التوسيع وإضافة حوامل الكوانتكس، مؤكدًا أن أبعاد الروابط قابلة للإضافة أثناء الجمع الدقيق ولكن قد تحتوي على تكرارات يمكن معالجتها من خلال أنظمة الاقتطاع المستندة إلى معايير فروبينيوس أو الحد الأقصى.

يستكشف المؤلفون أيضًا تطبيق QTT في نمذجة دوال غرين، خاصة في سياق نموذج القطب العشوائي الفيرميوني. يظهرون أن بعد الروابط \( \chi \) لدالة غرين يتشبع عند \( \beta \) الكبيرة، مما يشير إلى تمثيل مضغوط عند درجات الحرارة المنخفضة. تكشف الدراسة أن بعد الروابط للكائنات ذات الزمن الواحد عمومًا أصغر من ذلك للكائنات ذات التردد الواحد المقابلة، مما يشير إلى حجم بيانات أكثر ملاءمة لتمثيلات الزمن التخيلية. بالإضافة إلى ذلك، يُظهر تحليل الكائنات ذات الزمنين والترددين أن إطار عمل QTT يلتقط بشكل فعال الميزات الأساسية لهذه الدوال، حيث يظهر بعد الروابط سلوكيات مختلفة اعتمادًا على النموذج ونظام الاقتطاع المستخدم. بشكل عام، يضع هذا العمل الأساس لفهم كثافة دوال غرين الزمن التخيلية ضمن إطار عمل QTT، مع تسليط الضوء على الحاجة إلى مزيد من البحث في التعقيدات التي تقدمها الاعتماد على الزخم والتفاعلات متعددة الجسيمات.

Journal: SciPost Physics, Volume: 18, Issue: 1
DOI: https://doi.org/10.21468/scipostphys.18.1.007
Publication Date: 2025-01-08
Author(s): Haruto Takahashi et al.
Primary Topic: Tensor decomposition and applications

Overview

This section discusses the compressibility of local imaginary-time propagators using Quantum Tensor Trains (QTTs), which are essential for ab initio and many-body calculations in quantum field theories. The study addresses the influence of system parameters, particularly temperature, on data size, an area that has not been thoroughly investigated. Through a numerical analysis, the authors examine the compactness of both one-time/-frequency and two-time/-frequency objects, employing truncation methods based on Frobenius and maximum norms.

To explore worst-case scenarios, the research utilizes random pole models, where the number of poles increases logarithmically with the inverse temperature, and coefficients are randomized. The findings indicate that the propagators generated by these models exhibit high compressibility in QTT, surpassing existing methods such as intermediate representation and discrete Lehmann representation. Notably, bond dimensions for one-time/-frequency objects tend to saturate at low temperatures, particularly under Frobenius norm truncation, while the reasons for saturation in two-time/-frequency objects remain unclear. The authors emphasize the necessity for further investigation into truncation methods, tolerance levels, and the choice between imaginary-time and imaginary-frequency representations for practical applications.

Introduction

In the realm of computational quantum field theory, imaginary-time propagators play a crucial role, particularly as they become increasingly complex and voluminous at low temperatures, where significant physical phenomena arise. The challenge of managing this data growth, alongside the computational demands, limits the feasibility of advanced calculations. Recent advancements at the two-particle level have highlighted the importance of multi-particle propagators, such as two-particle Green’s functions, which depend on multiple frequencies and times. This has prompted efforts to develop compact representations for these propagators, with a focus on the quantics tensor train (QTT) method, which offers a promising approach for compressing high-dimensional data across various scientific fields.

The QTT method capitalizes on the separation of length scales to effectively compress space-time dependencies, including imaginary-time and momentum variables. Its versatility extends beyond imaginary-time propagators, enabling efficient operations like convolution and quantum Fourier transforms. While prior research has demonstrated the compressibility of data from quantum field calculations, the fundamental characteristics of QTT representations, particularly their scaling with temperature, remain underexplored. This paper aims to investigate the data size dependence of QTT representations for one-time and two-time objects, utilizing maximally random pole models to assess compactness in extreme scenarios. The study will also compare two truncation strategies based on Frobenius and maximum norms, with subsequent sections detailing the introduction of QTT, results for one-time and two-time objects, and concluding insights.

Results

In this section, the results of the analysis of the Green’s function \( G_F(\tau) \) and its representations using Quantum Tensor Train (QTT) methods are presented. The study employs two truncation schemes: one based on the Frobenius norm and the other on the maximum norm. For \( G_F(\tau) \), it was found that the absolute error in reconstruction is minimal around \( \tau = \beta/2 \) and increases near \( \tau = 0 \) and \( \beta \). The bond dimension \( \chi \) exhibits exponential growth at small bond indices, followed by a slow decay, with a logarithmic growth observed at small \( \beta \) that saturates at larger \( \beta \). This saturation indicates that \( G_F(\tau) \) is highly compressible, with the saturated bond dimension being significantly smaller than the number of poles \( L \).

For the imaginary frequency representation \( G_F(i\omega) \), similar trends were observed, although the bond dimension \( \chi \) does not show logarithmic growth at small \( \beta \) and exhibits a weaker dependence on \( \beta \). The results for two-time and two-frequency objects, particularly for the fermion-fermion model, reveal that the bond dimension \( \chi \) grows at small \( \beta \) and saturates at larger \( \beta \), with the onset of saturation shifting with changes in the truncation parameters. Notably, the bond dimension for \( G_{FF}(\tau, \tau’) \) is smaller than that for \( G_{FF}(i\omega_n, i\omega_n’) \) at low temperatures, indicating a more favorable data representation in the imaginary-time domain. Overall, the findings highlight the robustness of the QTT approach across different truncation schemes and the significance of the chosen parameters in practical calculations.

Discussion

In this section, the authors introduce the Quantics Tensor Train (QTT) representation and its operations, focusing on efficient discretization and data compression of scalar-valued functions. They detail the process of discretizing a function \( f(x) \) defined on the interval \( x \in [0, 1) \) using a grid of \( 2^R \) equally spaced points, leading to the formation of an \( R \)-way tensor \( F_{\sigma_1 \sigma_2 \ldots \sigma_R} \). This tensor is approximated using tensor decomposition methods such as Singular Value Decomposition (SVD) and Tensor Cross Interpolation (TCI), allowing for significant data compression from \( 2^R \) to \( O(\chi^2 2^{R}) \) under certain conditions. The section also discusses the operations of scaling and adding tensor trains, emphasizing that the bond dimensions are additive during exact summation but may contain redundancies that can be addressed through truncation schemes based on the Frobenius or maximum norms.

The authors further explore the application of QTT in modeling Green’s functions, particularly in the context of a fermionic random pole model. They demonstrate that the bond dimension \( \chi \) of the Green’s function saturates at large \( \beta \), indicating a compact representation at low temperatures. The study reveals that the bond dimension for one-time objects is generally smaller than that for corresponding one-frequency objects, suggesting a more favorable data size for imaginary-time representations. Additionally, the analysis of two-time and two-frequency objects shows that the QTT framework effectively captures the essential features of these functions, with the bond dimension exhibiting different behaviors depending on the model and truncation scheme used. Overall, this work lays the groundwork for understanding the compactness of imaginary-time Green’s functions within the QTT framework, while highlighting the need for further research into the complexities introduced by momentum dependence and multi-particle interactions.