2025-11-29T13:01:18.722817

Shelling of links and star clusters in edgewise subdivision of a simplex

JojiÄ, Papaz

We show that the combinatorial types of the links of the vertices in the edgewise triangulation $T_{k,q}$ of a $(k-1)$-simplex are encoded by the partitions of $k$. Each of these complexes is isomorphic to a subcomplex of the barycentric subdivision of the boundary of a $(k-1)$-simplex, and the containment relations among them are described by a new poset on the set of partitions of $k$. We compute the $h$-vectors of these complexes and determine the number of vertices of $T_{k,q}$ whose links are the same (correspond to the same partition). The combinatorial type of the link of an $(s-1)$-dimensional face of $T_{k,q}$ corresponds to a partition $(Î»_1,Î»_2,\ldots,Î»_s)$ of $k$ into $s$ parts, together with additional partitions of each $Î»_i$. We also enumerate the combinatorial types of all $m$-dimensional complexes that arise as the links in edgewise triangulations. A new permutation statistic, \textit{the faithful initial part}, is introduced and used to describe the star cluster of a facet of $T_{k,q}$. By examining a specific shelling of this star cluster, we prove that the $i$-th entry of its $h$-vector counts the number of permutations of $[k]$ with exactly $i$ descents, taking into account the faithful initial part as the multiplicity. Finally, we describe a concrete shelling order for $T_{k,q}$, give a combinatorial interpretation of its $h$-vector, and derive an explicit formula for it.

academic

সরল বহুতলের প্রান্তিক উপবিভাজনে সংযোগ এবং তারকা ক্লাস্টারের শেলিং

মৌলিক তথ্য

পেপার আইডি: 2408.12756
শিরোনাম: প্রান্তিক ত্রিভুজায়নে সংযোগ পূর্ণসংখ্যা বিভাজনের মাধ্যমে এবং তাদের শেলিং
লেখক: ডাস্কো জোজিক, ওগনজেন পাপাজ
শ্রেণীবিভাগ: math.CO (সমন্বয় গণিত)
প্রকাশনার সময়: ২০২৪ সালের আগস্ট (arXiv v3: ২০২৫ সালের নভেম্বর ২১)
পেপার লিঙ্ক: https://arxiv.org/abs/2408.12756

সারাংশ

এই পেপারটি সরল বহুতলের প্রান্তিক উপবিভাজন (edgewise triangulation) $T_{k,q}$ -তে সংযোগ (links) এবং তারকা ক্লাস্টার (star clusters)-এর সমন্বয়গত কাঠামো অধ্যয়ন করে। প্রধান অবদানগুলি অন্তর্ভুক্ত করে:

$T_{k,q}$ -তে শীর্ষবিন্দু সংযোগের সমন্বয়গত প্রকার $k$ -এর পূর্ণসংখ্যা বিভাজন দ্বারা এনকোড করা হয় তা প্রমাণ করা
নতুন বিন্যাস পরিসংখ্যান "বিশ্বস্ত প্রাথমিক অংশ" (faithful initial part) প্রবর্তন করা
$T_{k,q}$ -এর নির্দিষ্ট শেলিং ক্রম এবং এর $h$ -ভেক্টরের স্পষ্ট সূত্র প্রদান করা
তারকা ক্লাস্টারের $h$ -ভেক্টর গণনা করা এবং সমন্বয়গত ব্যাখ্যা প্রদান করা

গবেষণার পটভূমি এবং প্রেরণা

মূল সমস্যা

এই পেপারটি সরল বহুতলের প্রান্তিক উপবিভাজনের সমন্বয়গত-স্থলাকৃতিগত বৈশিষ্ট্য অধ্যয়ন করে, বিশেষত:

সংযোগের শ্রেণীবিভাগ সমস্যা: $T_{k,q}$ -তে সমস্ত মুখের সংযোগের সমন্বয়গত প্রকার কীভাবে চিহ্নিত করা যায়?
শেলেবিলিটি সমস্যা: $T_{k,q}$ এবং এর উপ-সমষ্টির জন্য স্পষ্ট শেলিং ক্রম তৈরি করা সম্ভব কিনা?
$h$ -ভেক্টরের সমন্বয়গত ব্যাখ্যা: সমন্বয়গত বস্তু (যেমন বিন্যাস, বিভাজন) ব্যবহার করে $h$ -ভেক্টরের প্রতিটি উপাদান কীভাবে ব্যাখ্যা করা যায়?

গবেষণার গুরুত্ব

তাত্ত্বিক তাৎপর্য: প্রান্তিক উপবিভাজন সমন্বয়গত স্থলাকৃতিতে একটি মৌলিক নির্মাণ, যা বীজগণিত সমন্বয়, বিচ্ছিন্ন জ্যামিতি এবং অন্যান্য ক্ষেত্রে ব্যাপক প্রয়োগ রয়েছে
প্রয়োগের মূল্য: প্রান্তিক উপবিভাজন গ্রাফ রঙায়ন, হাইপারগ্রাফ রঙায়ন, গ্রুপ ক্রিয়া, নিউটন বহুতলক এবং অন্যান্য সমস্যায় গুরুত্বপূর্ণ ভূমিকা পালন করে
পদ্ধতিগত উদ্ভাবন: পূর্ণসংখ্যা বিভাজন তত্ত্ব ব্যবহার করে সরল সমষ্টির সমন্বয়গত কাঠামো অধ্যয়ন করা, গবেষণার জন্য নতুন দৃষ্টিভঙ্গি প্রদান করা

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

প্রান্তিক উপবিভাজনের $h$ -ভেক্টর ইতিমধ্যে বীজগণিত পদ্ধতি দ্বারা গণনা করা হয়েছে (অ্যাথানাসিয়াডিস, ২০১৬), কিন্তু সমন্বয়গত ব্যাখ্যার অভাব রয়েছে
সংযোগ সমন্বয়গত প্রকারের সিস্টেমেটিক শ্রেণীবিভাগের অভাব
সংযোগের মধ্যে অন্তর্ভুক্তি সম্পর্কের আংশিক ক্রম কাঠামো স্থাপন করা হয়নি

মূল অবদান

সংযোগ এবং পূর্ণসংখ্যা বিভাজনের মধ্যে সংযোগ স্থাপন: $T_{k,q}$ -তে শীর্ষবিন্দু সংযোগের সমন্বয়গত প্রকার $k$ -এর বিভাজনের সাথে এক-এক সম্পর্ক রয়েছে তা প্রমাণ করা, প্রতিটি সংযোগ কেন্দ্রীয় উপবিভাজনের একটি উপ-সমষ্টির সাথে সমরূপ
নতুন আংশিক ক্রম কাঠামো প্রবর্তন: বিভাজন সেট $\text{Par}(k)$ -এ মোটাকরণ সম্পর্ক $<_c$ সংজ্ঞায়িত করা, সংযোগের মধ্যে অন্তর্ভুক্তি সম্পর্ক চিহ্নিত করা, এবং সংশ্লিষ্ট আংশিক ক্রম $P_k^c$ শেলেবল এবং কোহেন-ম্যাকলে তা প্রমাণ করা
$h$ -ভেক্টর গণনা:
- সংযোগ সমষ্টি $K_\lambda$ -এর $h$ -ভেক্টরের পুনরাবৃত্তিমূলক সূত্র (প্রস্তাব ৬)
- $T_{k,q}$ -এর $h$ -ভেক্টরের স্পষ্ট সূত্র (উপপাদ্য ৩১)
নতুন বিন্যাস পরিসংখ্যান প্রবর্তন: "বিশ্বস্ত প্রাথমিক অংশ" $\text{init}(\pi)$ সংজ্ঞায়িত করা, মুখের তারকা ক্লাস্টার কাঠামো বর্ণনা করতে ব্যবহৃত
স্পষ্ট শেলিং নির্মাণ:
- $T_{k,q}$ -এর জন্য স্থানাঙ্ক-ভিত্তিক শেলিং ক্রম নির্মাণ (উপপাদ্য ২৯)
- তারকা ক্লাস্টার $SC_{T_{k,q}}(F)$ -এর জন্য প্রাথমিক অংশ-ভিত্তিক শেলিং নির্মাণ (উপপাদ্য ২৮)
গণনা ফলাফল:
- একই সংযোগ সহ শীর্ষবিন্দুর সংখ্যা নির্ধারণ (অনুপুষ্টি ১৫, প্রস্তাব ১৪)
- সমস্ত মাত্রার সংযোগ সমন্বয়গত প্রকার গণনা করা (উপপাদ্য ২০)

পদ্ধতির বিস্তারিত ব্যাখ্যা

কাজের সংজ্ঞা

ইনপুট: প্রান্তিক উপবিভাজন $T_{k,q}$ -এর একটি মুখ $\sigma$

আউটপুট:

$\sigma$ -এর সংযোগ $\text{link}_{T_{k,q}}(\sigma)$ -এর সমন্বয়গত প্রকার
সংযোগের $h$ -ভেক্টর এবং এর সমন্বয়গত ব্যাখ্যা
$T_{k,q}$ -এর শেলিং ক্রম

মূল বস্তু:

প্রান্তিক উপবিভাজন: $T_{k,q}$ হল $(k-1)$ -সরল বহুতল $R_{k,q}$ -এর একটি বিশেষ ত্রিভুজায়ন, শীর্ষবিন্দু সেট $W_{k,q} = \{v \in \mathbb{Z}^{k-1} : 0 \leq v_1 \leq \cdots \leq v_{k-1} \leq q\}$
মুখ প্রতিনিধিত্ব: প্রতিটি $(k-1)$ -মাত্রীয় মুখ অনন্যভাবে অনুক্রম $a \in S_{k,q} = \{0,1,\ldots,q-1\}^{k-1}$ দ্বারা নির্ধারিত

মূল নির্মাণ

১. সংযোগ এবং বিভাজনের মধ্যে সংযোগ (বিভাগ ২-৩)

মূল সংজ্ঞা (সংজ্ঞা ৩): বিভাজন $\lambda = (\lambda_1,\ldots,\lambda_s) \in \text{Par}(k)$ -এর জন্য, সংজ্ঞায়িত করুন $K_\lambda = \Delta(P^\lambda), \quad P^\lambda = C_{\lambda_1} \times C_{\lambda_2} \times \cdots \times C_{\lambda_s}$ যেখানে $C_m$ দৈর্ঘ্য $m$ -এর একটি শৃঙ্খল।

প্রধান উপপাদ্য (উপপাদ্য ১১, ১२):

যদি শীর্ষবিন্দু $v$ -এর প্রকার $(α_0;α_1,\ldots,α_{s-1};α_s)$ হয়, তাহলে $\text{link}_{T_{k,q}}(v) \cong \Delta(P^v), \quad P^v = C_{\alpha_0+\alpha_s+1} \times C_{\alpha_1} \times \cdots \times C_{\alpha_{s-1}}$
যখন $q \geq k$ , $T_{k,q}$ -তে শীর্ষবিন্দু সংযোগ ঠিক $\text{Par}(k)$ -তে সমস্ত $p_k$ বিভাজনের সাথে সামঞ্জস্যপূর্ণ

$h$ -ভেক্টর পুনরাবৃত্তিমূলক সূত্র (প্রস্তাব ৬): $h_i(K_\lambda) = \sum_{j=0}^{\lambda_s} \binom{k-\lambda_s-i+j}{j}\binom{i+\lambda_s-j}{\lambda_s-j} h_{i-j}(K_{\lambda'})$ যেখানে $\lambda' = (\lambda_1,\ldots,\lambda_{s-1})$ ।

२. মুখের সংযোগের যোগ বিয়োজন (বিভাগ ४)

মূল ফলাফল (উপপাদ্য १६, १७): $(t-1)$ -মাত্রীয় মুখ $F$ -এর সংযোগ প্রতিনিধিত্ব করা যায় $\text{link}_{T_{k,q}}(F) \cong K_{\sigma_1} * K_{\sigma_2} * \cdots * K_{\sigma_t}$ যেখানে $\lambda = (\lambda_1,\ldots,\lambda_t)$ হল $k$ -এর একটি বিভাজন, $\sigma_i \in \text{Par}(\lambda_i)$ ।

এটি সংযোগ এবং বিভাজন জোড়া $(\lambda, M)$ -এর মধ্যে সংযোগ স্থাপন করে, যেখানে $M = \{\sigma_1,\ldots,\sigma_t\}$ ।

গণনা ফলাফল (উপপাদ্য २०): সমস্ত $(m-1)$ -মাত্রীয় সংযোগের উৎপাদক ফাংশন $C(x) = \frac{1}{1-x} \prod_{n \in \mathbb{N}} (1-x^n)^{1-p_{n+1}}$

३. বিশ্বস্ত প্রাথমিক অংশ পরিসংখ্যান (বিভাগ ५)

নতুন সংজ্ঞা (সংজ্ঞা २३): বিন্যাস $\pi = \pi_1\pi_2\cdots\pi_n \in S_n$ -এর জন্য, $\text{init}(\pi) = \min\{t : \{\pi_1,\ldots,\pi_t\} = [t]\}$

এটি বিন্যাসের একটি নতুন পরিসংখ্যান, যা "কতদ্রুত" উপসর্গ $[t]$ প্রদর্শিত হয় তা পরিমাপ করে।

মূল প্রয়োগ (উপপাদ্য २५): যদি মুখ $F$ -এর সমস্ত শীর্ষবিন্দু $R_{k,q}$ -এর অভ্যন্তরে থাকে, তাহলে তারকা ক্লাস্টারের মুখের সংখ্যা $|SC_{T_{k,q}}(F)| = X_{k+1}$ যেখানে $X_n = |\{\pi \in S_n : \text{init}(\pi) = n\}|$ ।

তারকা ক্লাস্টারের $h$ -ভেক্টর (উপপাদ্য २८): ম্যাট্রিক্স $H_k = [h_{i,d}^k]$ সংজ্ঞায়িত করুন, যেখানে $h_{i,d}^k = |\{\pi \in S_k : \text{init}(\pi) = i, \text{des}(\pi) = d-1\}|$ তাহলে $h_j(SC_{T_{k,q}}(F)) = \sum_{\pi \in S_k, \text{des}(\pi)=j} \text{init}(\pi) = \sum_{i=1}^k i \cdot h_{i,j}^k$

এটি নির্দেশ করে যে $h$ -ভেক্টর $\text{init}$ ওজন সহ নিম্নমুখী বিন্যাস গণনা করে।

४. $T_{k,q}$ -এর শেলিং (বিভাগ ६)

শেলিং ক্রম (উপপাদ্য २९): $a \in S_{k,q}$ -এর জন্য ক্রম সংজ্ঞায়িত করুন