We study superconformal indices of four-dimensional $SU(N)$ gauge theories with $\mathcal{N}=1,2,4$ supersymmetry. The usual representation of the index involves a multi-dimensional contour integral over the BPS spectrum of the free gauge theory. To find a closed form expression for the index, it is natural to attempt a residue evaluation. However, the presence of a non-isolated essential singularity inside the contour prevents a straightforward implementation. We show how this difficulty can be resolved by gauge-fixing the residual Weyl symmetry of the integral. This allows us to evaluate the residue sums for superconformal indices of $SU(2)$ gauge theories in terms of basic and elliptic hypergeometric series. For the $\mathcal{N}=4$ Macdonald index, we show how known transformation formulas for basic hypergeometric series can be used to simplify the residue sum. The simplified form manifests the strongly coupled BPS spectrum of the Macdonald sector of the theory, and suggests the absence of ``non-graviton'' operators in this sector. We also evaluate the residue sums for the Macdonald and full superconformal indices of a general class of $SU(2)$ gauge theories. In the process, we find various applications to the theory of basic and elliptic hypergeometric integrals, including a convergent residue sum for Spiridonov's elliptic beta integral. Finally, we discuss the generalization of our method to higher rank gauge groups and evaluate the $\mathcal{N}=4$ $SU(3)$ Macdonald index in closed form.
এই কাগজটি চতুর্মাত্রিক SU(N) গেজ তত্ত্বের অতিসুসংগত সূচক (superconformal indices) অধ্যয়ন করে, যা N=1,2,4 অতিসমতা অন্তর্ভুক্ত করে। প্রথাগত সূচক প্রতিনিধিত্ব মুক্ত গেজ তত্ত্বের BPS বর্ণালীর উপর বহুমাত্রিক সমোচ্চ অবিষ্টিপূর্ণ অন্তর্ভুক্ত করে। বন্ধ-রূপ অভিব্যক্তি পেতে, অবশেষ গণনা প্রাকৃতিকভাবে চেষ্টা করা হয়, কিন্তু সমোচ্চের মধ্যে অ-বিচ্ছিন্ন অপরিহার্য বৈশিষ্ট্যের উপস্থিতি সরাসরি বাস্তবায়নকে বাধা দেয়। লেখকরা গেজ-নির্ধারণ অবিষ্টিপূর্ণের অবশিষ্ট Weyl সমতা ব্যবহার করে এই অসুবিধা সমাধান করেন, যার ফলে মৌলিক এবং উপবৃত্তাকার অতিজ্যামিতিক শ্রেণী ব্যবহার করে SU(2) গেজ তত্ত্বের অতিসুসংগত সূচকের অবশেষ যোগফল মূল্যায়ন করা হয়। N=4 Macdonald সূচকের জন্য, তারা দেখায় কীভাবে মৌলিক অতিজ্যামিতিক শ্রেণীর পরিচিত রূপান্তর সূত্র ব্যবহার করে অবশেষ যোগফল সরল করা যায়, সরলীকৃত রূপ তত্ত্বের Macdonald খাতের শক্তিশালী-সংযোগ BPS বর্ণালী প্রকাশ করে এবং এই খাতে "অ-মহাকর্ষীয়" অপারেটরের অনুপস্থিতি নির্দেশ করে।
অতিসুসংগত সূচক অতিসুসংগত ক্ষেত্র তত্ত্ব (SCFTs) এ কয়েকটি সঠিকভাবে গণনাযোগ্য ভৌত পরিমাণের মধ্যে একটি। এটি S3 এ SCFT বর্ণালীর ট্রেস হিসাবে সংজ্ঞায়িত, ডিজাইনের মাধ্যমে শুধুমাত্র অতিসুসংগত বীজগণিত সংক্ষিপ্ত প্রতিনিধিত্বের অবদান গ্রহণ করে, এবং তাই সুরক্ষিত: অতিচার্জ সংরক্ষণকারী ক্রমাগত বিকৃতির অধীনে অপরিবর্তনীয়। এই বৈশিষ্ট্যটি এটিকে শক্তিশালী-দুর্বল দ্বৈততা পরীক্ষা করার জন্য একটি শক্তিশালী হাতিয়ার করে তোলে।
তবে, সূচকের মান প্রতিনিধিত্ব একটি বহুমাত্রিক সমোচ্চ অবিষ্টিপূর্ণ:
IN=∫dμSU(N)trHg=0ext(⋯)
যেখানে অবিষ্টিপূর্ণ গেজ একক অবস্থায় প্রজেক্ট করে, সমাকলিত ফাংশন মুক্ত তত্ত্ব (g=0) এর সমস্ত ম্যাট্রিক্স স্বাধীনতা অন্তর্ভুক্ত করে।
AdS/CFT সংযোগ: N=4 SYM তত্ত্বের জন্য, সূচক দুর্বল-সংযোগ বড়-N সীমায় অতিমহাকর্ষীয় সূচকের সাথে সঠিকভাবে সামঞ্জস্যপূর্ণ, কিন্তু একটি কৃষ্ণগহ্বর এন্ট্রপি রহস্য বিদ্যমান—সূচক O(N2) এন্ট্রপির বড় 1/16 BPS Kerr-Newman কৃষ্ণগহ্বরের সাথে সংশ্লিষ্ট CFT অবস্থা ক্যাপচার করতে প্রদর্শিত হয় না।
অ-মহাকর্ষীয় অপারেটর অনুসন্ধান: সাম্প্রতিক অগ্রগতি নির্দেশ করে যে সূচক রাসায়নিক সম্ভাবনার বহু-মূল্যবান কভারে প্রকৃতপক্ষে O(eN2) বৃদ্ধি প্রদর্শন করে এবং অতিসমতা AdS5 কৃষ্ণগহ্বরের Bekenstein-Hawking এন্ট্রপি সঠিকভাবে পুনরুৎপাদন করে। এটি সংশ্লিষ্ট BPS অপারেটরদের অনুসন্ধান অনুপ্রাণিত করে।
বন্ধ-রূপ অভিব্যক্তির প্রয়োজন: বর্তমানে অ-মহাকর্ষীয় অপারেটরদের নির্মাণ প্রধানত ক্ষেত্রে-দ্বারা-ক্ষেত্রে পরিচালিত হয়। আদর্শভাবে সম্পূর্ণ সূচক এবং মহাকর্ষীয় সূচক পার্থক্যের বন্ধ-রূপ সূত্র প্রয়োজন, অ-মহাকর্ষীয় বর্ণালীর কাঠামোগত বৈশিষ্ট্য প্রকাশ করতে।
SU(N) অবিষ্টিপূর্ণকে eigenvalue অবিষ্টিপূর্ণে রূপান্তরিত করার পরে, সমাকলিত ফাংশন মূলে ui=0 এ পোল জমা করে, একটি অ-বিচ্ছিন্ন অপরিহার্য বৈশিষ্ট্য গঠন করে
মান Haar পরিমাপ ব্যবহার করার সময়, মূল বর্জন করে অবশেষ যোগফল বিচ্যুত হয়
মূল অবদান শূন্য যুক্তি দিতে পারে না
অন্যান্য পদ্ধতির সীমাবদ্ধতা:
Higgs শাখা স্থানীয়করণ: শুধুমাত্র গেজ গ্রুপ সম্পূর্ণভাবে Higgs করা যায় এমন তত্ত্বে প্রযোজ্য (যথেষ্ট মৌলিক পদার্থ এবং অ-শূন্য FI প্যারামিটার প্রয়োজন)
Bethe Ansatz পদ্ধতি: অতিক্রান্ত সমীকরণ সমাধান করে পোল শ্রেণীবদ্ধ করা প্রয়োজন, N>2 এর জন্য ক্রমাগত পোল পরিবার বিদ্যমান; রাসায়নিক সম্ভাবনার মধ্যে নির্দিষ্ট সম্পর্ক প্রয়োজন
বিশাল মহাকর্ষী সম্প্রসারণ: স্থির N এ বিপুল বাতিলকরণ বিদ্যমান, অত্যন্ত অপ্রয়োজনীয়
প্রযুক্তিগত অগ্রগতি: "হ্রাসকৃত পরিমাপ" (reduced measure) ব্যবহার করে গেজ একক অবস্থা প্রজেকশনের জন্য প্রস্তাব করে, অবশিষ্ট SN Weyl সমতা আরও গেজ-নির্ধারণ করে, অবশেষ যোগফল সংগ্রহযোগ্যতা সমস্যা সমাধান করে
বন্ধ-রূপ সূত্র:
N=4SU(2) Macdonald সূচকের সরলীকৃত বন্ধ-রূপ প্রাপ্ত, শক্তিশালী-সংযোগ বর্ণালী প্রকাশ করে
সাধারণ SU(2) গেজ তত্ত্ব (N=1,2,4) এর Macdonald এবং সম্পূর্ণ অতিসুসংগত সূচক মূল্যায়ন করে
ভৌত অন্তর্দৃষ্টি:
N=4SU(2) তত্ত্বের Macdonald খাতে অ-মহাকর্ষীয় অপারেটরের অনুপস্থিতির জন্য শক্তিশালী প্রমাণ প্রদান করে
রাসায়নিক সম্ভাবনায় সূচকের বিশ্লেষণাত্মক বৈশিষ্ট্য প্রকাশ করে, নতুন সরলীকৃত বিশেষীকরণ আবিষ্কার করে (t=q1/2, t=1)
গাণিতিক প্রয়োগ:
প্রথমবারের মতো অবশেষ দ্বারা উপবৃত্তাকার অতিজ্যামিতিক অবিষ্টিপূর্ণ মূল্যায়ন, সংগ্রহযোগ্য দ্বিগুণ অসীম যোগফল প্রাপ্ত
মৌলিক এবং উপবৃত্তাকার অতিজ্যামিতিক শ্রেণীর নতুন রূপান্তর এবং যোগফল সূত্র উদ্ভাবন করে
Spiridonov উপবৃত্তাকার বিটা অবিষ্টিপূর্ণের জন্য সংগ্রহযোগ্য অবশেষ যোগফল প্রদান করে
উচ্চ-র্যাঙ্ক সাধারণীকরণ: পদ্ধতি উচ্চ-র্যাঙ্ক গেজ গ্রুপে সাধারণীকরণ প্রদর্শন করে, N=4SU(3) Macdonald সূচক মূল্যায়ন করে
মান পদ্ধতির সমস্যা:
SU(N) গেজ তত্ত্বের জন্য, মান Haar পরিমাপ দেয়:
I=N!1∏i=1N−1∮∣ui∣=12πiuiduiΔ(u)Δ(u−1)f(u)
যেখানে Δ(u)=∏i<j(uj−ui) Vandermonde নির্ধারক।
হ্রাসকৃত পরিমাপ:
পরিমাপ এবং সমাকলিত ফাংশন ui স্থানান্তরের অধীনে অপরিবর্তনীয়তা ব্যবহার করে, এটি প্রতিস্থাপন করা যায়:
I=∏i=1N−1∮∣ui∣=12πiuidui∏i<j(1−uij)f(u)
যেখানে uij=uiuj−1। এটি অবশিষ্ট SN Weyl সমতা আরও গেজ-নির্ধারণের সমতুল্য।
হ্রাসকৃত পরিমাপ ব্যবহার করে, পোলগুলি s=t1/2v±qk (k≥0) এ অবস্থিত। অবশেষ যোগফল দেয়:
I2(v;q,t)=(tv2,v−2;q)∞(t3/2v,qt−1/2v−1;q)∞3ϕ2[tv2qv2tt3/2vqt−1/2v;q,q]+(v↔v−1)
মৌলিক অতিজ্যামিতিক শ্রেণীর তিন-পদ রূপান্তর সূত্র ব্যবহার করে, এটি সরল করা যায়:
I2(v;q,t)=(tv2,tv−2,t;q)∞(t3/2v,t3/2v−1,q;q)∞3ϕ2[t2/qt3/2vt1/2v−1t3/2v−1t1/2v;q,q]
সম্পূর্ণ অতিসুসংগত সূচকের জন্য, সমাকলিত ফাংশন উপবৃত্তাকার গামা ফাংশন অন্তর্ভুক্ত করে। N=4SU(2) উদাহরণ হিসাবে:
I2(yi;p,q)=2(p;p)∞(q;q)∞∮2πisds(1−s−1)Γ(s±;p,q)∏i=13Γ(yis±;p,q)
সংগ্রহযোগ্যতা অনুপাত পরীক্ষা দ্বারা যাচাই করা হয়। সাধারণীকৃত S-দ্বৈততা (υ1↔υ3) উপবৃত্তাকার অতিজ্যামিতিক যোগফল দ্বিরৈখিক সমন্বয়ের অ-তুচ্ছ রূপান্তর সূত্র নির্দেশ করে।
সুসংগত উইন্ডোর জন্য 3≤Nf≤6, সম্পূর্ণ সূচক:
IE(yi;p,q)=∑i=12NfΓ(ai±)Γ(ai2)∏j=iΓ(ajai±)∑k,l1−aipkql(−ai)2Nf+4V2Nf+3(k)2Nf+4V2Nf+3(l)
প্রতিসম স্কেলিং ∣yi∣=TNf−2, ∣p∣=∣q∣=TNf এ, Nf≤7 এর জন্য সংগ্রহযোগ্য।
Nf=3 বিশেষ ক্ষেত্র (Seiberg দ্বৈততা):
∑iresidues=∏1≤i<j≤6Γ(yiyj)
এটি উপবৃত্তাকার অতিজ্যামিতিক যোগফল দ্বিরৈখিক সমন্বয়ের প্রথম অ-সমাপ্ত যোগফল সূত্র!
129,136,142 Spiridonov et al.: উপবৃত্তাকার অতিজ্যামিতিক তত্ত্ব
ভৌত প্রয়োগ:
22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): কৃষ্ণগহ্বর এন্ট্রপি
28-32 Chang-Lin, Choi et al. (2023-2024): অ-মহাকর্ষীয় অপারেটর
105 Beem et al. (2015): VOA সংযোগ
সামগ্রিক মূল্যায়ন: এটি প্রযুক্তিগতভাবে যুগান্তকারী অগ্রগতি, গভীর ভৌত অন্তর্দৃষ্টি এবং উল্লেখযোগ্য গাণিতিক অবদান সহ একটি চমৎকার কাগজ। হ্রাসকৃত পরিমাপ পদ্ধতি সরল এবং শক্তিশালী, দীর্ঘমেয়াদী প্রযুক্তিগত সমস্যা সমাধান করে। যদিও উচ্চ-র্যাঙ্ক সাধারণীকরণ এবং সম্পূর্ণ সরলীকরণে চ্যালেঞ্জ থাকে, এটি ইতিমধ্যে ক্ষেত্রের জন্য নতুন দিকনির্দেশনা খুলে দিয়েছে। কাগজটি অতিসুসংগত ক্ষেত্র তত্ত্ব, AdS/CFT সংযোগ এবং বিশেষ ফাংশন তত্ত্বে ক্রমাগত প্রভাব ফেলবে।