วิธีการสร้างเมทริกซ์มุมฉากแบบสุ่มของดีเทอร์มิแนนต์ดี?


9

ฉันอาจมีคำถามโง่ ๆ เกี่ยวกับสิ่งที่ฉันต้องยอมรับฉันสับสน ลองนึกภาพที่ก่อให้เกิดซ้ำของการกระจายอย่างสม่ำเสมอสุ่มมุมฉาก (orthonormal) เมทริกซ์ที่มีขนาดบางหนบางครั้งเมทริกซ์ที่สร้างขึ้นมีปัจจัยที่และบางครั้งก็มีปัจจัย-1(มีเพียงสองค่าที่เป็นไปได้จากมุมมองของการหมุนมุมฉากหมายความว่ามีการสะท้อนเพิ่มอีกหนึ่งนอกเหนือจากการหมุน)p11det=1

เราสามารถเปลี่ยนสัญลักษณ์ของdetของเมทริกซ์มุมฉากจากลบเป็นบวกได้โดยเปลี่ยนสัญลักษณ์ของคอลัมน์ใดคอลัมน์หนึ่ง (หรือโดยทั่วไปคอลัมน์ใด ๆ ที่มีเลขคี่)

คำถามของฉันคือ: เมื่อเราสร้างเมทริกซ์แบบสุ่มซ้ำแล้วซ้ำอีกเราจะแนะนำอคติบางอย่างในลักษณะการสุ่มแบบสม่ำเสมอหรือไม่หากทุกครั้งที่เราเลือกที่จะเปลี่ยนสัญญาณของคอลัมน์ที่ระบุเฉพาะ (พูดเสมอที่ 1 หรือตลอดไป) หรือเราควรจะมีการเลือกคอลัมน์สุ่มเพื่อให้การฝึกอบรมแทนการสุ่มคอลเลกชันกระจายเหมือนกัน?

คำตอบ:


7

ตัวเลือกของคอลัมน์ไม่สำคัญ: การกระจายที่เกิดขึ้นในเมทริกซ์มุมฉากพิเศษSO(n)ยังคงเหมือนกัน

ฉันจะอธิบายเรื่องนี้โดยใช้การโต้แย้งที่ขยายออกไปอย่างชัดเจนถึงคำถามที่เกี่ยวข้องมากมายเกี่ยวกับการสร้างองค์ประกอบของกลุ่มอย่างสม่ำเสมอ แต่ละขั้นตอนของการโต้แย้งนี้เป็นเรื่องเล็กน้อยไม่ต้องการอะไรมากไปกว่าการอ้างอิงถึงคำจำกัดความที่เหมาะสมหรือการคำนวณอย่างง่าย (เช่นการสังเกตว่าเมทริกซ์I1คือ orthogonal และการผกผันตนเอง)

อาร์กิวเมนต์เป็นภาพรวมของสถานการณ์ที่คุ้นเคย พิจารณางานของการวาดภาพในเชิงบวกตัวเลขจริงตามที่ระบุไว้อย่างต่อเนื่องกระจายFซึ่งสามารถทำได้โดยการวาดจำนวนจริงใด ๆจากการกระจายอย่างต่อเนื่องและลบล้างผลถ้าจำเป็นเพื่อรับประกันค่าบวก (เกือบแน่นอน) เพื่อให้กระบวนการนี้มีการแจกจ่าย ,ต้องมีคุณสมบัติที่FGFG

G(x)G(x)=F(x).

วิธีที่ง่ายที่สุดในการทำสิ่งนี้คือเมื่อมีค่าสมมาตรประมาณดังนั้น , ทำให้เกิด : ความน่าจะเป็นในเชิงบวกทั้งหมด ความหนาแน่นเพิ่มขึ้นเป็นสองเท่าและผลลัพธ์เชิงลบทั้งหมดจะถูกกำจัด ความสัมพันธ์ที่คุ้นเคยระหว่างการแจกแจงแบบครึ่งปกติ ( ) และการแจกแจงแบบปกติ ( ) เป็นแบบนี้G0G(x)1/2=1/2G(x)F(x)=2G(x)1FG

ในต่อไปนี้กลุ่มเล่นบทบาทของตัวเลขจริงที่ไม่เป็นศูนย์ (ถือว่าเป็นกลุ่มแบบคูณ ) และกลุ่มย่อยของเล่นบทบาทของตัวเลขจริงบวก . การวัด Haarไม่แปรเปลี่ยนภายใต้การปฏิเสธดังนั้นเมื่อมันถูก "พับ" จากถึงการกระจายของค่าบวกจะไม่เปลี่ยนแปลง . (น่าเสียดายที่การวัดนี้ไม่สามารถทำให้เป็นมาตรฐานได้สำหรับการวัดความน่าจะเป็น - แต่นั่นเป็นวิธีเดียวที่การเปรียบเทียบจะหยุดลง)O(n)SO(n)R+dx/xR{0}R+

การลบคอลัมน์เฉพาะของเมทริกซ์มุมฉาก (เมื่อดีเทอร์มีแนนต์เป็นลบ) คือแอนะล็อกของการลบจำนวนจริงที่เป็นลบเพื่อพับลงในกลุ่มย่อยที่เป็นบวก โดยทั่วไปคุณสามารถเลือกเมทริกซ์มุมฉากใด ๆของดีเทอร์มิแนนต์ลบและใช้แทน : ผลลัพธ์จะเหมือนกันJI1


แม้ว่าคำถามจะถูกใช้ในแง่ของการสร้างตัวแปรแบบสุ่ม แต่ก็ถามเกี่ยวกับการแจกแจงความน่าจะเป็นในกลุ่มเมทริกซ์และ(n) การเชื่อมต่อระหว่างกลุ่มเหล่านี้อธิบายไว้ในรูปของเมทริกซ์มุมฉากO(n,R)=O(n)SO(n,R)=SO(n)

I1=(1000010000001)

เพราะกวนคอลัมน์แรกของ orthogonal เมทริกซ์หมายถึงขวาคูณจาก\ขอให้สังเกตว่าและเป็นสหภาพที่แยกจากกันXXI1SO(n)O(n)O(n)

O(n)=SO(n)SO(n)I11.

เมื่อพิจารณาถึงพื้นที่ความน่าจะเป็นกำหนดไว้ในกระบวนการที่อธิบายไว้ในคำถามจะกำหนดแผนที่(O(n),S,P)O(n)

f:O(n)SO(n)

โดยการตั้งค่า

f(X)=X

เมื่อและXSO(n)

f(X)=XI1

สำหรับ1}XSO(n)I11

คำถามเกี่ยวข้องกับการสร้างองค์ประกอบแบบสุ่มในโดยการได้รับองค์ประกอบแบบสุ่ม : นั่นคือโดย "ผลักไปข้างหน้า" ผ่านเพื่อสร้าง(n) pushforward สร้างพื้นที่ความน่าจะเป็น ด้วยSO(n)ωO(n)ffω=f(ω)SO(n)(SO(n),S,P)

S=fS={f(E)|ES}

และ

P(E)=(fP)(E)=P(f1(E))=P(EEI1)

สำหรับทั้งหมดES

สมมติว่าการคูณถูกต้องโดยเป็นการวัด - รักษาและสังเกตว่าในทุกกรณีมันจะตามมาทันทีว่า ,I1EEI1=ES

P(E)=P(EEI11)=P(E)+P(EI11)=2P(E).

โดยเฉพาะอย่างยิ่งเมื่อไม่แปรผันภายใต้การคูณทางขวาใน (ซึ่งเป็นสิ่งที่ "เครื่องแบบ" โดยทั่วไปหมายถึง) ความจริงที่ชัดเจนว่าและสิ่งที่ตรงกันข้าม (ซึ่งเกิดขึ้นกับตัวเอง) เป็นทั้ง orthogonal หมายถึงข้างต้นถือแสดงให้เห็นว่าเหมือนกันเช่นกัน ดังนั้นจึงไม่จำเป็นต้องเลือกคอลัมน์สุ่มสำหรับการปฏิเสธPO(n)I1I1P


+1 นี่เป็นบทความที่ดีมากขอบคุณสำหรับการโพสต์คำตอบนี้
อะมีบา

1
คำตอบที่ยอดเยี่ยม แต่เริ่มจากThe question is concerned about generatingฉันพบว่ามันยากที่จะผลักฉันไปข้างหน้าผ่านสัญลักษณ์ คุณสามารถสรุปเหตุผลด้วยคำพูดเพื่อคนธรรมดาคนหนึ่งเร็วกว่านี้ได้ไหม
ttnphns
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.