एक Vandermonde matrix एक ऐसा मैट्रिक्स है जो किसी बहुपद (polynomial) को बिंदुओं के एक समूह पर उसके गुणांक प्रतिनिधित्व (coefficient representation) से उसके मान प्रतिनिधित्व (value representation) में परिवर्तित करता है।
एक बहुपद के लिए, इसके गुणांक प्रतिनिधित्व के साथ:
Vandermonde मैट्रिक्स एक ही ऑपरेशन के रूप में अलग-अलग बिंदुओं पर इसका मूल्यांकन (evaluate) करता है।
मैट्रिक्स गुणन के रूप में बहुपद का मूल्यांकन
सरलता के लिए, हम मान लेते हैं कि है, तब हमारे पास घात वाला एक बहुपद होता है।
एक बिंदु पर मूल्यांकन
बिंदु पर बहुपद का मूल्यांकन है:
इसे मैट्रिक्स गुणन के रूप में लिखा जा सकता है: की क्रमिक घातों (successive powers) वाले मैट्रिक्स को बहुपद गुणांकों के वेक्टर से गुणा करना, जो इस प्रकार है:
दो बिंदुओं पर मूल्यांकन
दो बिंदुओं, और पर मूल्यांकन करने के लिए, हम इन्हें दो अलग-अलग मैट्रिक्स गुणन के रूप में व्यक्त कर सकते हैं। इसके बजाय, हम इन पंक्ति वेक्टर्स (row vectors) को एक मैट्रिक्स में स्टैक करते हैं:
जहाँ प्रत्येक पंक्ति में क्रमशः और की क्रमिक घातें होती हैं।
इसलिए, दो बिंदुओं पर बहुपद का मूल्यांकन करना एक मैट्रिक्स को गुणांक वेक्टर से गुणा करने के बराबर है।
बिंदुओं पर मूल्यांकन
यदि हम अपने बिंदुओं को बिंदुओं तक बढ़ाते हैं, तो (पहले से ही माना गया है) के साथ, परिणामी समीकरणों की प्रणाली एक मैट्रिक्स को गुणांकों के वेक्टर से गुणा करने के बराबर है:
इस मैट्रिक्स को Vandermonde matrix कहा जाता है और इसे द्वारा दर्शाया जाता है।
उपरोक्त समीकरण को नीचे संक्षिप्त रूप में इस प्रकार लिखा गया है
जहाँ बहुपद के गुणांकों का वेक्टर है और इसके बिंदु मानों का वेक्टर है।
मैट्रिक्स गुणन के रूप में चौथे roots of unity पर बहुपद का मूल्यांकन
अब, यादृच्छिक (arbitrary) बिंदुओं के बजाय, चौथे roots of unity, पर बहुपद का मूल्यांकन करने पर विचार करें। हमें Vandermonde matrix इस प्रकार प्राप्त होता है:
हम हर उस पद को सरल बना सकते हैं जो या उससे बड़ा है, इसके लिए हम और के गुणों का लाभ उठाते हैं, जो इस प्रकार है:
- का अर्थ है कि और ।
- का अर्थ है कि:
- और
- ।
अब हम इन सरलीकरणों को मैट्रिक्स में प्रतिस्थापित करते हैं:
इसलिए, मैट्रिक्स निम्नलिखित पैटर्न में सरल हो जाता है:
एक ठोस उदाहरण के लिए, परिमित क्षेत्र (finite field) में एक प्रिमिटिव 4th root of unity है (जहाँ अंकगणित मॉड्यूलो 17 है), और Vandermonde मैट्रिक्स है:
निष्कर्ष
घात के बहुपद का बिंदुओं पर मूल्यांकन करना, Vandermonde मैट्रिक्स को गुणांक वेक्टर से गुणा करने के बराबर है, जिसे समीकरण द्वारा औपचारिक रूप दिया गया है।