एक Vandermonde matrix एक ऐसा मैट्रिक्स है जो किसी बहुपद (polynomial) को बिंदुओं के एक समूह पर उसके गुणांक प्रतिनिधित्व (coefficient representation) से उसके मान प्रतिनिधित्व (value representation) में परिवर्तित करता है।
एक बहुपद f(x)=a0+a1x+a2x2+⋯+ak−1xk−1 के लिए, इसके गुणांक प्रतिनिधित्व के साथ:
a=a0a1a2⋮ak−1
Vandermonde मैट्रिक्स एक ही ऑपरेशन के रूप में k अलग-अलग बिंदुओं पर इसका मूल्यांकन (evaluate) करता है।
मैट्रिक्स गुणन के रूप में बहुपद का मूल्यांकन
सरलता के लिए, हम मान लेते हैं कि k=4 है, तब हमारे पास k−1=3 घात वाला एक बहुपद होता है।
एक बिंदु पर मूल्यांकन
बिंदु x0 पर बहुपद f(x) का मूल्यांकन है:
f(x0)=a0+a1⋅x0+a2⋅x02+a3⋅x03
इसे मैट्रिक्स गुणन के रूप में लिखा जा सकता है: x0 की क्रमिक घातों (successive powers) वाले 1×4 मैट्रिक्स को बहुपद गुणांकों के वेक्टर से गुणा करना, जो इस प्रकार है:
[f(x0)]=[1x01x02x03]⋅a0a1a2a3
दो बिंदुओं पर मूल्यांकन
दो बिंदुओं, x0 और x1 पर मूल्यांकन करने के लिए, हम इन्हें दो अलग-अलग मैट्रिक्स गुणन के रूप में व्यक्त कर सकते हैं। इसके बजाय, हम इन पंक्ति वेक्टर्स (row vectors) को एक 2×4 मैट्रिक्स में स्टैक करते हैं:
जहाँ प्रत्येक पंक्ति में क्रमशः x0 और x1 की क्रमिक घातें होती हैं।
इसलिए, दो बिंदुओं पर बहुपद का मूल्यांकन करना एक 2×k=2×4 मैट्रिक्स को गुणांक वेक्टर से गुणा करने के बराबर है।
4 बिंदुओं पर मूल्यांकन
यदि हम अपने बिंदुओं को 4 बिंदुओं तक बढ़ाते हैं, तो k=4 (पहले से ही माना गया है) के साथ, परिणामी समीकरणों की प्रणाली एक k×k=4×4 मैट्रिक्स को गुणांकों के वेक्टर से गुणा करने के बराबर है:
इस मैट्रिक्स को 4×4Vandermonde matrix कहा जाता है और इसे V द्वारा दर्शाया जाता है।
उपरोक्त समीकरण को नीचे संक्षिप्त रूप में इस प्रकार लिखा गया है
p=V⋅a
जहाँ a बहुपद के गुणांकों का वेक्टर है और p इसके बिंदु मानों का वेक्टर है।
मैट्रिक्स गुणन के रूप में चौथे roots of unity पर बहुपद का मूल्यांकन
अब, यादृच्छिक (arbitrary) 4 बिंदुओं के बजाय, चौथे roots of unity, {ω0,ω1,ω2,ω3} पर बहुपद f(x) का मूल्यांकन करने पर विचार करें। हमें Vandermonde matrixV इस प्रकार प्राप्त होता है:
इसलिए, मैट्रिक्स निम्नलिखित पैटर्न में सरल हो जाता है:
V=11111ω−1−ω1−11−11−ω−1ω
एक ठोस उदाहरण के लिए, परिमित क्षेत्र (finite field) F17 में ω=13 एक प्रिमिटिव 4th root of unity है (जहाँ अंकगणित मॉड्यूलो 17 है), और Vandermonde मैट्रिक्स है:
V=1111113164116116141613
निष्कर्ष
k−1 घात के बहुपद का k बिंदुओं पर मूल्यांकन करना, k×k Vandermonde V मैट्रिक्स को गुणांक वेक्टर a से गुणा करने के बराबर है, जिसे समीकरण V⋅a=p द्वारा औपचारिक रूप दिया गया है।