Let $\mathfrak{p} \subset V$ be a polytope and $ξ\in V_{\mathbb{C}}^*$. We obtain an expression for $I(\mathfrak{p}; α) := \int_{\mathfrak{p}} e^{\langle α, x \rangle} dx$ as a sum of meromorphic functions in $α\in V^*_{\mathbb{C}}$ parametrized by the faces $\mathfrak{f}$ of $\mathfrak{p}$ on which $\langle ξ, x \rangle$ is constant. Each term only depends on the local geometry of $\mathfrak{p}$ near $\mathfrak{f}$ (and on $ξ$) and is holomorphic at $α= ξ$. When $\langle ξ, \cdot \rangle$ is only constant on the vertices of $\mathfrak{p}$ our formula reduces to Brion's formula.
Suppose $\mathfrak{p}$ is a rational polytope with respect to a lattice $Î$. We obtain an expression for $S(\mathfrak{p}; α) := \sum_{λ\in \mathfrak{p} \cap Î} e^{\langle α, λ\rangle}$ as a sum of meromorphic functions parametrized by the faces $\mathfrak{f}$ on which $e^{\langle ξ, x \rangle} = 1$ on a finite index sublattice of $\text{lin}(\mathfrak{f}) \cap Î$. Each term only depends on the local geometry of $\mathfrak{p}$ near $\mathfrak{f}$ (and on $ξ$ and $Î$) and is holomorphic at $α= ξ$. When $e^{\langle ξ, \cdot \rangle} \neq 1$ at any non-zero lattice point on a line through the origin parallel to an edge of $\mathfrak{p}$, our formula reduces to Brion's formula, and when $ξ= 0$, it reduces to the Ehrhart quasi-polynomial.
Our formulas are particularly useful for understanding how $I(\mathfrak{p}(h); ξ)$ and $S(\mathfrak{p}(h); ξ)$ vary in a family of polytopes $\mathfrak{p}(h)$ with the same normal fan. When considering dilates of a fixed polytope, our formulas may be viewed as polytopal analogues of Laplace's method and the method of stationary phase. Such expressions naturally show up in analysis on symmetric spaces and affine buildings.
এই পেপারটি বহুতলক p⊂V এবং জটিল ভেক্টর স্থানের দ্বৈত উপাদান ξ∈VC∗ এর জন্য ফুরিয়ার-ল্যাপ্লেস রূপান্তর I(p;α):=∫pe⟨α,x⟩dx এর একটি অবক্ষয়িত সংস্করণ প্রকাশ করে। এই প্রকাশটি অনুমেরিক ফাংশনের একটি সিরিজের যোগফল, যা p তে এমন মুখ f দ্বারা প্যারামিটারাইজ করা হয় যেখানে ⟨ξ,x⟩ ধ্রুবক। প্রতিটি পদ শুধুমাত্র p এর স্থানীয় জ্যামিতির উপর নির্ভর করে f এর কাছাকাছি (এবং ξ এর উপর), এবং α=ξ তে সম্পূর্ণ। যখন ⟨ξ,⋅⟩ শুধুমাত্র শীর্ষবিন্দুতে ধ্রুবক, তখন এই সূত্রটি ক্লাসিক্যাল ব্রিয়ন সূত্রে অবক্ষয়িত হয়।
জালি Λ সম্পর্কে যুক্তিসঙ্গত বহুতলকের জন্য, লেখক বিচ্ছিন্ন সংস্করণ S(p;α):=∑λ∈p∩Λe⟨α,λ⟩ এর একটি অনুরূপ প্রকাশ প্রতিষ্ঠা করেন। এই সূত্রগুলি বহুতলক পরিবার p(h) তে I(p(h);ξ) এবং S(p(h);ξ) এর পরিবর্তন বোঝার সময় বিশেষভাবে উপকারী, যা ল্যাপ্লেস পদ্ধতি এবং স্থির পর্যায় পদ্ধতির বহুতলক সমতুল্য হিসাবে দেখা যায়, যা প্রতিসম স্থান এবং অ্যাফাইন বিল্ডিংয়ের বিশ্লেষণে স্বাভাবিকভাবে উপস্থিত হয়।
ব্রিয়ন সূত্র হল বীজগণিত সমন্বয়বিদ্যা এবং টরিক জ্যামিতির একটি মৌলিক ফলাফল, যা বহুতলকের উপর ফুরিয়ার-ল্যাপ্লেস রূপান্তরকে শীর্ষবিন্দুতে স্পর্শক শঙ্কুতে সমাকলনের যোগফল হিসাবে প্রকাশ করে:
∫pe⟨α,x⟩dx=∑v∈Vert(p)∫tvpe⟨α,x⟩dx
তবে, এই সূত্রটির একটি মৌলিক সমস্যা রয়েছে: ডানদিকের প্রতিটি সমাকলন একটি অনুমেরিক ফাংশন, যা নির্দিষ্ট অঞ্চলে শুধুমাত্র পরম অভিসারী। যখন α নির্দিষ্ট প্রান্তে ধ্রুবক ("অবক্ষয়িত" ক্ষেত্রে), তখন "∞−∞" এর মতো অনিশ্চয়তা দেখা দেয়, যা সরাসরি পদে পদে যোগ করা যায় না।
১. তাত্ত্বিক সম্পূর্ণতা: ক্লাসিক্যাল ব্রিয়ন সূত্র শুধুমাত্র "সাধারণ অবস্থান" (জেনেরিক) ক্ষেত্রে কার্যকর, অবক্ষয়িত ক্ষেত্রে সম্প্রসারণের প্রয়োজন
২. ব্যবহারিক প্রয়োগের চাহিদা: প্রতিসম স্থান এবং ব্রুহাট-টিটস বিল্ডিংয়ের সুরেলা বিশ্লেষণে, অবক্ষয়িত ক্ষেত্র স্বাভাবিকভাবে উপস্থিত হয় এবং অত্যন্ত গুরুত্বপূর্ণ
৩. বহুতলক পরিবার বিশ্লেষণ: একই আইন শঙ্কু ফ্যান সহ বহুতলক পরিবার p(h) এর জন্য, সমাকলন কীভাবে প্যারামিটারের সাথে পরিবর্তিত হয় তা বোঝার জন্য একটি একীভূত সূত্র প্রয়োজন
এই পেপারটি বিকল্প লেভি শঙ্কু (alternating Levi cone) এর ধারণা প্রস্তাব করে, সম্পূর্ণ জ্যামিতিকৃত, অ-নিয়ন্ত্রক পছন্দের উপর নির্ভরশীল নয় এমন অবক্ষয়িত ব্রিয়ন সূত্র প্রদান করে, এবং মূল সম্পূর্ণতা উপপাদ্য প্রমাণ করে।
ξ-ধ্রুবক মুখ g এর জন্য, পুনরাবৃত্তিমূলকভাবে সংজ্ঞায়িত করুন (স্থান lin(g)⊥ তে বাস করে):
१. যদি gξ-সর্বাধিক হয়:
0LCgp(ξ):=0tgp
२. সাধারণ ক্ষেত্রে:
0LCgp(ξ):=[0tgp]−∑f∈{p}ξ,g⊂f[0tgf]×0LCfp(ξ)
পুনরাবৃত্তিমূলক সংজ্ঞা সম্প্রসারণ করে পান:
0LCgp(ξ)=∑g=h0⊂⋯⊂hℓ∈mFlgp(ξ)(−1)ℓ[0tgh1×0th1h2×⋯×0thℓp]
যেখানে mFlgp(ξ) হল g থেকে শুরু হওয়া ξ-অ-অভিযোজিত পতাকার সেট।
জ্যামিতিক অর্থ: বিকল্প লেভি শঙ্কু মুখ g এর কাছাকাছি p এর "অনুপ্রস্থ জ্যামিতি" ক্যাপচার করে, অন্তর্ভুক্তি-বর্জন নীতির মাধ্যমে ξ-অবক্ষয়িত দিকে অনন্যতা দূর করে।
g যদি ξ-ধ্রুবক মুখ হয়, তাহলে ফাংশন I(0LCgp(ξ);τ) (τ∈(lin(g)⊥)C∗) τ=ξ তে সম্পূর্ণ।
প্রমাণের রূপরেখা (অধ্যায় 3.7):
१. স্টোকস উপপাদ্য ব্যবহার করে আদিম অবক্ষয়িত ব্রিয়ন সূত্র প্রতিষ্ঠা করুন (প্রস্তাব 3.2)
२. বীজগণিত লেম্মা (লেম্মা 3.14) মাধ্যমে ভগ্নাংশ ফাংশনের হ্রাস বিশ্লেষণ করুন
३. মূল পর্যবেক্ষণ: যদিও একক শঙ্কু I(k;τ)τ=ξ তে অনন্য, বিকল্প যোগ অনন্যতা বাতিল করে
মূল বীজগণিত লেম্মা 3.14: নির্দিষ্ট ফর্মের যুক্তিসঙ্গত ফাংশন যোগের জন্য
Q(a,x)=∑ε∈Bk(−1)#1(ε)P(ε;b)f(x,a)/g(x,a) হিসাবে প্রকাশ করা যায়, যেখানে হর g কোনো M(ε′;b;t) ফ্যাক্টর ধারণ করে না (1≤t≤k), যা a1=⋯=ak=0 তে সম্পূর্ণতা নিশ্চিত করে।
१. জালি বিন্দু শর্ত অসিঙ্ক্রোনাইজড: e⟨ξ,λ⟩=1 সমতুল্য নয় ⟨ξ,λ⟩=0 (উদাহরণ ξ∈2πiΛ∗)
२. সম্পূর্ণতা স্পষ্ট নয়: প্রমাণ করতে হবে যে SΛ(LCgp(ξ);τ)τ=ξ তে সম্পূর্ণ
३. অ-বিয়োজনযোগ্যতা: সহজভাবে SΛ(ff;αf)⋅SΛ(LCgp(ξ);αf⊥) তে বিয়োজন করা যায় না
१. ব্রিয়ন সূত্রে অবক্ষয়: যখন ξ সাধারণ (সমস্ত শীর্ষবিন্দু ξ-সর্বাধিক), সূত্র সরলীকৃত হয়:
I(p;ξ)=∑v∈Vert(p)I(tvp;ξ)
२. এহরহার্ট কোয়াসি-বহুপদে অবক্ষয়: যখন ξ=0 (অনুসিদ্ধান্ত 1.6):
SΛ(p;0)=∑g∈Face(p)volΛg(g)⋅μlin(g)⊥Λg⊥(tgp;0)
এটি পোমারশেইম-থমাস এবং বার্লিন-ভার্গনের ফলাফল।
१. তাত্ত্বিক অবদান: ক্রমাগত এবং বিচ্ছিন্ন ক্ষেত্র সহ সম্পূর্ণ অবক্ষয়িত ব্রিয়ন সূত্র তত্ত্ব প্রতিষ্ঠা করেছেন
२. মূল সরঞ্জাম: বিকল্প লেভি শঙ্কু অবক্ষয়িত ক্ষেত্র পরিচালনার জন্য জ্যামিতিক কাঠামো প্রদান করে
३. সম্পূর্ণতা: মূল সম্পূর্ণতা উপপাদ্য (উপপাদ্য 3.8 এবং 5.2) প্রমাণ করেছেন, অবক্ষয়িত বিন্দুতে সূত্রের অর্থ নিশ্চিত করে
४. একীকরণ: একাধিক ক্লাসিক্যাল ফলাফল (ব্রিয়ন সূত্র, এহরহার্ট কোয়াসি-বহুপদ, অয়লার-ম্যাকলরিন সূত্র) একীভূত করেছেন
१. ধারণা উদ্ভাবন: বিকল্প লেভি শঙ্কু মূল ধারণা, অবক্ষয়িত ক্ষেত্রের জ্যামিতিক সারমর্ম চতুরভাবে ক্যাপচার করে
२. প্রযুক্তিগত গভীরতা: সম্পূর্ণতা প্রমাণ (উপপাদ্য 3.8) প্রযুক্তিগত কঠিনতা উচ্চ, যুক্তিসঙ্গত ফাংশন হ্রাস পরিচালনায় চতুর বীজগণিত লেম্মা ব্যবহার করে
३. একীকরণ কাঠামো: প্রথমবার ব্রিয়ন সূত্র, এহরহার্ট তত্ত্ব এবং অয়লার-ম্যাকলরিন সূত্রকে একই কাঠামোতে একীভূত করেছেন
१. সম্পূর্ণ প্রমাণ: সমস্ত প্রধান উপপাদ্যের বিস্তারিত প্রমাণ, যুক্তির শৃঙ্খল স্পষ্ট
२. বহুমুখী যাচাইকরণ: নির্দিষ্ট উদাহরণ, সীমা ক্ষেত্র এবং পরিচিত ফলাফলের সাথে তুলনার মাধ্যমে সূত্রের সঠিকতা যাচাই করেছেন
३. প্রযুক্তিগত পরিচালনা সূক্ষ্ম: বিচ্ছিন্ন ক্ষেত্রের তিনটি কঠিনতা (অধ্যায় 5.1) একে একে সমাধান প্রদান করেছেন
१. নতুন বহুতলক বিয়োজন (উপপাদ্য 1.1): ক্লাসিক্যাল ব্রিয়ানশন-গ্রাম বিয়োজন সাধারণীকরণ, স্বাধীন মূল্য আছে
२. সম্পূর্ণতা উপপাদ্য: যদিও একক শঙ্কু অবক্ষয়িত বিন্দুতে অনন্য, বিকল্প যোগ অনন্যতা বাতিল করার ঘটনা গভীর
३. অ্যাসিম্পটোটিক বিশ্লেষণের সাথে সংযোগ: বহুতলক জ্যামিতি এবং ক্লাসিক্যাল বিশ্লেষণ পদ্ধতির গভীর সংযোগ প্রকাশ করেছেন
१. স্পষ্ট প্রয়োগ দৃশ্য: প্রতিসম স্থান এবং বিল্ডিংয়ের সুরেলা বিশ্লেষণে নির্দিষ্ট প্রয়োগ
२. গণনা সরঞ্জাম: একই আইন শঙ্কু ফ্যান সহ বহুতলক পরিবার পরিচালনার জন্য কার্যকর পদ্ধতি প্রদান করেছেন
३. ক্রস-ডোমেইন প্রভাব: সমন্বয়বিদ্যা, বীজগণিত জ্যামিতি, সুরেলা বিশ্লেষণ এবং প্রতিনিধিত্ব তত্ত্ব সংযুক্ত করেছেন
१. উদাহরণ সীমিত: প্রধানত দ্বিমাত্রিক উদাহরণ, উচ্চ-মাত্রিক ক্ষেত্রে নির্দিষ্ট গণনা অনুপস্থিত
२. প্রয়োগ উদাহরণ: যদিও প্রয়োগ দৃশ্য আলোচনা করেছেন, কিন্তু বিস্তারিত প্রয়োগ কেস গণনা অনুপস্থিত
३. সংখ্যাগত যাচাইকরণ: জটিল ক্ষেত্রে সূত্রের কার্যকারিতা যাচাই করার জন্য সংখ্যাগত পরীক্ষা নেই
१. তাত্ত্বিক ভিত্তি: বহুতলক তত্ত্বের জন্য নতুন মৌলিক সরঞ্জাম প্রদান করেছেন
२. সমস্যা সমাধান: ব্রিয়ন সূত্রের অবক্ষয়িত ক্ষেত্রে দীর্ঘমেয়াদী সমস্যা সমাধান করেছেন
३. নতুন গবেষণা দিকনির্দেশনা: ভার্চুয়াল শঙ্কু তত্ত্ব এবং অবক্ষয়িত ক্ষেত্র বিশ্লেষণের নতুন দিকনির্দেশনা খুলেছেন
१. গণনা সরঞ্জাম: একই আইন শঙ্কু ফ্যান সহ বহুতলক পরিবার পরিচালনার জন্য কার্যকর পদ্ধতি প্রদান করেছেন
२. প্রয়োগ সম্ভাবনা: সুরেলা বিশ্লেষণ এবং প্রতিনিধিত্ব তত্ত্বে স্পষ্ট প্রয়োগ সম্ভাবনা
३. অ্যালগরিদম ভিত্তি: নতুন বহুতলক গণনা অ্যালগরিদম বিকাশের জন্য তাত্ত্বিক ভিত্তি প্রদান করেছেন
१. তাত্ত্বিক পুনরুৎপাদনযোগ্যতা: প্রমাণ বিস্তারিত, যাচাই করা যায়
२. গণনা বাস্তবায়নযোগ্যতা: নীতিগতভাবে বাস্তবায়নযোগ্য, কিন্তু বিশেষায়িত সফটওয়্যার বিকাশ প্রয়োজন
३. উদাহরণ যাচাইযোগ্যতা: প্রদত্ত উদাহরণ হাতে যাচাই করা যায়
१. মৌলিক কাজ: বহুতলক তত্ত্বের মান সরঞ্জাম হতে পারে
२. ক্রস-ডোমেইন সেতু: সমন্বয়বিদ্যা এবং বিশ্লেষণ, জ্যামিতির সংযোগ শক্তিশালী করেছেন
३. পরবর্তী গবেষণা: স্পষ্ট পরবর্তী গবেষণা দিকনির্দেশনা আছে
१. বহুতলক সমন্বয়বিদ্যা: বহুতলকের আয়তন, জালি বিন্দু গণনা ইত্যাদি সমস্যা গবেষণা করুন
२. টরিক জ্যামিতি: টরিক বৈচিত্র্যের অপরিবর্তনীয় বিশ্লেষণ করুন
३. প্রতিনিধিত্ব তত্ত্ব: আর্থার ট্রেস সূত্র, হল-লিটলউড বহুপদ ইত্যাদি
१. অবক্ষয়িত ক্ষেত্রে: যখন ক্লাসিক্যাল ব্রিয়ন সূত্র ব্যর্থ হয়
२. বহুতলক পরিবারে: একই আইন শঙ্কু ফ্যান সহ বহুতলক পরিবার
३. প্রসারণ বিশ্লেষণে: t⋅p যখন t→∞ এর আচরণ গবেষণা করুন
१. সাধারণ অবস্থানে: যদি ξ সাধারণ, সরাসরি ব্রিয়ন সূত্র আরও সহজ
२. অ-যুক্তিসঙ্গত ক্ষেত্রে: বর্তমান তত্ত্ব শুধুমাত্র যুক্তিসঙ্গত বহুতলকে প্রযোজ্য
३. উচ্চ-মাত্রিক জটিল বহুতলকে: গণনা খরচ অত্যধিক হতে পারে
१. 10 ব্রিয়ন, এম. (1988): পয়েন্ট এন্টিয়ার্স ডান্স লেস পলিয়েড্রেস কনভেক্সেস - ব্রিয়ন সূত্রের মূল কাজ
२. 5 বারভিনক, এ.আই. (1993): কম্পিউটিং দ্য ভলিউম... - ব্রিয়ন সূত্রের প্রাথমিক প্রমাণ
३. 9 বার্লিন, এন., ভার্গনে, এম. (2007): স্থানীয় অয়লার-ম্যাকলরিন সূত্র - এই পেপারের বিচ্ছিন্ন ক্ষেত্রের মূল সরঞ্জাম
४. 11 ব্রিয়ন, এম., ভার্গনে, এম. (1997a): জালি বিন্দু সহজ বহুতলকে - অয়লার-ম্যাকলরিন সূত্র সম্প্রসারণ
५. 38 পিটারসন, সি. (2023b): কোয়ান্টাম এরগোডিসিটি ব্রুহাট-টিটস বিল্ডিংয়ে - লেখকের পূর্ববর্তী সম্পর্কিত কাজ
६. 8 বার্লিন, এন., গেটজলার, ই., ভার্গনে, এম. (1992): তাপ কার্নেল এবং ডিরাক অপারেটর - সমতুল্য সহ-সমতা পটভূমি
७. 40 পুখলিকভ, এ.ভি., খোভানস্কি, এ.জি. (1992): রিম্যান-রোচ উপপাদ্য - অয়লার-ম্যাকলরিন সূত্র এবং রিম্যান-রোচের সংযোগ
সামগ্রিক মূল্যায়ন: এটি প্রযুক্তিগত গভীরতা উচ্চ, তাত্ত্বিক অবদান উল্লেখযোগ্য একটি চমৎকার পেপার। লেখক সফলভাবে ব্রিয়ন সূত্রের অবক্ষয়িত ক্ষেত্রে দীর্ঘমেয়াদী সমস্যা সমাধান করেছেন, বিকল্প লেভি শঙ্কু এই মূল ধারণা প্রবর্তন করেছেন, এবং সম্পূর্ণ তাত্ত্বিক কাঠামো প্রতিষ্ঠা করেছেন। পেপারের প্রধান সুবিধা তাত্ত্বিক উদ্ভাবনী, গাণিতিক কঠোরতা এবং সম্ভাব্য প্রয়োগ মূল্যে নিহিত। প্রধান অপূর্ণতা গণনামূলক জটিলতা বিশ্লেষণ অপর্যাপ্ত, উচ্চ-মাত্রিক উদাহরণ অনুপস্থিত এবং সমতুল্য তত্ত্বের সাথে সঠিক সামঞ্জস্য প্রতিষ্ঠিত হয়নি। তবুও, এই পেপারটি বহুতলক তত্ত্বের জন্য গুরুত্বপূর্ণ নতুন সরঞ্জাম প্রদান করেছে, সমন্বয়বিদ্যা, বীজগণিত জ্যামিতি এবং সুরেলা বিশ্লেষণের ক্রস-ডোমেইনে গুরুত্বপূর্ণ প্রভাব রয়েছে।