এই ধ্রুপদী পোস্ট-প্রসেসিং অ্যাবেলীয় গোষ্ঠীর বেশ কয়েকটি অ-তুচ্ছ গ্রুপ তাত্ত্বিক বৈশিষ্ট্যগুলি শোষণ করে। আমি এখানে এই ধ্রুপদী অ্যালগরিদম কীভাবে কাজ করে তার একটি প্রয়াসবাদী ব্যাখ্যা লিখেছি [1] ; পড়ার জন্য অন্যান্য ভাল উত্স হ'ল [ 2 , 3 , 4 ]।
সুতরাং, মান ভিত্তিতে অ্যালগরিদম শেষে পরিমাপ আপনি উপাদান দেব অবিশেষে এলোমেলোভাবে। এটা তোলে চেক করতে কঠিন নয় যে সেট এইচ * হয় চরিত্র দলের (সসীম Abelian) উপদলের জি * ; কারণে, পরে হে ( লগ | জি | ) পরিমাপ চক্রের একটি উৎপাদিত সেট এইচ * সম্ভাব্যতা ব্যাখ্যা মূলকভাবে এক ঘনিষ্ঠ প্রাপ্ত হয়।H∗H∗G∗O(log|G|)H∗
সবচেয়ে প্রযুক্তিগত অংশ পুনর্গঠন হল কিভাবে একটি উৎপাদিত সেট দেওয়া এইচ * । আসুন এখন থেকে এই সমস্যাটিতে ফোকাস করি। এর জন্য, চরিত্র তত্ত্ব থেকে আমাদের কিছু অনুক্রমের প্রয়োজন হবে।HH∗
চরিত্র তত্ত্ব
প্রথম সব, যে স্মরণ কর, যখন সসীম Abelian হয়, অক্ষর একটি গোষ্ঠীর isomorphic গঠন জি এবং তারা হিসেবে লেখা যেতে পারে যে
χ ছ ( জ ) = Exp ( 2 π আমি আছি Σ আমি = 1 ছ ( আমি ) জ ( আমি )GG
ট্যাগছচরিত্রেরχছএকজন উপাদানজি। G→χgমানচিত্রটিG∗এবংG এরমধ্যে একটি আইসোমরফিজম সংজ্ঞায়িত করে, যাতে আমরা উভয় গ্রুপকে সনাক্ত করতে পারি।
χg(h)=exp(2πi∑i=1mg(i)h(i)di).
gχgGg→χgG∗G
এখন, প্রদত্ত , সেট এইচ * আপনি বর্ণনা Calle হয় এর লম্ব উপগোষ্ঠী এইচ উৎস, তার উপর নির্ভর করে বা, এর annihilator এইচ । এই উপগোষ্ঠীর কয়েকটি গুরুত্বপূর্ণ গাণিতিক বৈশিষ্ট্য রয়েছে:HH∗HH
প্রথম সব, এছাড়াও উপগোষ্ঠী হয় জি ;H∗G
এটা দ্বৈত করার অর্থে যে, আমরা যদি ডবল annihilator উপগোষ্ঠী বিবেচনা এ, এইচ * * , এই উপদলের ওপর isomorphic হয়
এইচ অর্থাত,: এইচ ≅ এইচ * * । এটি গ্যারান্টি দেয় যে সমীকরণের সিস্টেমের সমাধানগুলি χ g ( h ) = 1 ,HH∗∗HH≅H∗∗
অবিকল উপগোষ্ঠী উপাদান এইচ যে আপনি চান।
χg(h)=1, for every g∈H∗
H
গ্রুপে লিনিয়ার সমীকরণ
XYb∈Yα:X→Y
α(x)=b
AAx=⎛⎝⎜⎜⎜⎜a1(1)a1(2)⋮a1(m)a2(1)a2(2)⋮a2(m)⋯⋯⋯⋯an(1)an(2)⋮an(m)⎞⎠⎟⎟⎟⎟⎛⎝⎜⎜⎜⎜x(1)x(2)⋮x(n)⎞⎠⎟⎟⎟⎟=⎛⎝⎜⎜⎜⎜b(1)b(2)⋮b(m)⎞⎠⎟⎟⎟⎟modd1modd2⋮moddm=b
Y=Zd1×⋯×Zdm
x0+kerαx0kerααXkerα সিস্টেমটিকে প্রায় তির্যক আকারে পুনর্লিখনের জন্য (কিছু অন্যান্য মধ্যবর্তী পদক্ষেপ প্রয়োজনীয়, তবে এটি আপনাকে স্বজ্ঞাত চিত্র দেবে)।
HΩx=0ΩΩ