หลักฐานทางเลือกของ Schwartz – Zippel บทแทรก


28

ฉันรู้แค่หลักฐานสองข้อของ Schwartz – Zippel lemma ครั้งแรก (ร่วมกันมากขึ้น) หลักฐานอธิบายไว้ในรายการวิกิพีเดีย หลักฐานที่สองถูกค้นพบโดย Dana Moshkovitz

มีหลักฐานอื่นใดบ้างที่ใช้แนวคิดที่แตกต่างอย่างมีนัยสำคัญ?


2
คุณสามารถพูดอะไรเกี่ยวกับแรงจูงใจของคุณได้บ้าง? กำลังมองหาภาพรวมในทิศทางที่แตกต่างกันใช่ไหม บางทีความเข้าใจด้านเรขาคณิต?
ต่อ Vognsen

ฉันไม่มีแรงบันดาลใจใด ๆ ฉันจะแปลกใจมากที่เหล่านี้เป็นเพียงสองวิธีที่เป็นไปได้เพื่อพิสูจน์บทแทรกที่สำคัญนี้!
Dai Le

ในขณะที่ฉันยอมรับว่าบทแทรกนี้มีความสำคัญบทแทรกซึมที่สำคัญไม่จำเป็นต้องมีหลักฐานที่รู้จักมากมาย ดังนั้นเหตุผลของคุณฟังดูแปลกสำหรับฉัน
Tsuyoshi Ito

1
@Tsuyushi Ito: ฉันเห็นด้วยกับความคิดเห็นของคุณว่าบทแทรกที่สำคัญอาจไม่มีหลักฐานที่รู้จักมากมาย แต่ฉันคิดว่ามันมีความหมายที่จะถามว่านั่นเป็นกรณีของ SZ Lemma หรือไม่ เนื่องจาก SZ เป็นพื้นฐานจึงมีโอกาสที่คนจำนวนมากจะค้นพบอิสระจากบริบทที่แตกต่างกัน ดังนั้นเพื่อเรียนรู้การพิสูจน์ที่แตกต่างกันบางครั้งก็ค่อนข้างตรัสรู้ IMHO ขอบคุณอีกครั้งสำหรับความคิดเห็นที่ดีจากทุกคน!
Dai Le

คำตอบ:


16

นี่คือแนวคิดอื่นที่ฉันมีสำหรับการพิสูจน์เชิงเรขาคณิต มันใช้เรขาคณิต projective ในวิธีที่จำเป็น

ให้เป็นจุดเลียนแบบนอก hypersurface S ฉายไฮเปอร์สเปซลงบนไฮเปอร์เพลนที่ระยะอนันต์โดยใช้cเป็นจุดศูนย์กลาง นั่นคือแผนที่ทุกx Sลงบนp ( x ) , จุดตัดของเส้นที่ไม่ซ้ำกันผ่านcและxด้วยไฮเปอร์เพลนที่ไม่สิ้นสุด preimages ภายใต้pของจุดที่อนันต์ทั้งหมดอยู่ในบรรทัดเดียวกันและดังนั้น (อีกครั้งลดปัญหาเป็นมิติที่ 1) มีdที่สุดของพวกเขา ไฮเปอร์เพลนที่อินฟินิตี้มี cardinality | F -cFmScxSp(x)cxpdดังนั้นเราจึงได้ขอบเขตที่คุ้นเคย | S | d | F m - 1 | .|Fm1||S|d |Fm1|


สวย! และเพื่อเน้นจุดสำคัญเส้นไม่ได้อยู่ในไฮเปอร์สเปซเพราะมันผ่านจุด c ซึ่งอยู่นอกพื้นผิว
arnab

1
@arnab: แน่นอนคุณได้ทำจุดนั้นไว้ในโพสต์ของคุณเองแล้ว
ต่อ Vognsen

1
@arnab: BTW ฉันหวังว่ามันชัดเจนว่าฉันไม่ได้อ้างความคิดนี้เป็น "ใหม่" อย่างแท้จริง หลักฐานทั้งหมดเหล่านี้มีกลิ่นคล้ายกัน นั่นอาจเป็นที่คาดหวัง
ต่อ Vognsen

2
@Per: ใช่ แต่ด้วยเหตุผลบางอย่างฉันชอบข้อโต้แย้งของคุณดีกว่าของ Moshkovitz เพราะดูเหมือนว่าจะมีรูปทรงเรขาคณิตมากขึ้นและคุณไม่ต้องคิดเกี่ยวกับ monomials ชั้นนำ แต่ฉันเห็นด้วยความคิดพื้นฐานก็เหมือนกันมาก
arnab

@Per: ผลงานของคุณยอดเยี่ยมมาก ใช่พวกเขาไม่ได้ใหม่อย่างแท้จริง แต่ฉันชอบการตีความของคุณมาก มันเหมือนกับการตีความใหม่ให้กับเพลงคลาสสิค :-)
Dai Le

18

จากการติดตามผลของคำตอบของ Per Vognsen การพิสูจน์ของ Dana Moshkovitz ได้แสดงให้เห็นถึงการพิสูจน์ที่ง่ายมากสำหรับ Schwartz-Zippel Lemma รุ่นที่อ่อนแอกว่าเล็กน้อยซึ่งฉันคิดว่าเพียงพอสำหรับการใช้งานส่วนใหญ่

ให้เป็นไม่ใช่ศูนย์พหุนามของปริญญาdที่Fเป็นฟิลด์ จำกัด ของการสั่งซื้อคิวและให้x ข้อ จำกัด ของfต่อแต่ละบรรทัดเหล่านี้คือดีกรีdf:FnFdFqเป็นจุดดังกล่าวว่าF(x)0 มี( q n -1) / (q-1)บรรทัดที่แตกต่างจำนวนมากผ่านxเช่นที่พวกเขาแบ่งพาร์ติชัน F n -{x}xFnf(x)0(qn1)/(q1)xFn{x}fd univariateพหุนามซึ่งเป็นเลขเพราะมันจะไม่ใช่ศูนย์ที่และเพื่อให้มีที่มากที่สุดdศูนย์ ดังนั้นจำนวนของศูนย์ของFที่มากที่สุดd ( Q n - 1 ) / ( คิว- 1 ) Schwartz-ZIPPEL สำหรับการเปรียบเทียบให้แข็งแกร่งผูกพันบนของd Q n - 1xdfd(qn1)/(q1)dqn1

ด้วยหลักฐานของความสะดวกสบายนี้ฉันแน่ใจว่ามันเป็นคติชนวิทยา ถ้าไม่มันควรจะเป็น :) ฉันจะขอบคุณถ้ามีคนสามารถให้การอ้างอิง


3
ดีมาก! คุณรู้หรือไม่ว่าเธอทำสิ่งเดียวกันแน่นอนโดยมีจุด projective ที่ไม่มีที่สิ้นสุดแทนที่จะเป็นจุดเลียนแบบ? ฉันเพิ่มย่อหน้าลงในคำตอบเดิมของฉันเพื่ออธิบายความสัมพันธ์เพิ่มเติม
ต่อ Vognsen

1
นั่นเป็นการตีความที่ยอดเยี่ยม! ขอบคุณ!
arnab

14

หลักฐานของ Moshkovitz ขึ้นอยู่กับรูปทรงเรขาคณิตที่เรียบง่าย แต่กระดาษไม่ชัดเจนเกินไป นี่คือแนวคิด:

ระดับพหุนามในม.ตัดตัวแปรออก hypersurface ในFdmFmมจุดตัดของ hypersurface และเส้นอิสระ (เช่นจุดตัดไม่ใช่เส้นทั้งหมด) มีจุด d มากที่สุด หากคุณสามารถหาทิศทางที่เป็นอิสระจาก hypersurface ทุกที่คุณสามารถ foliate โดยเส้นคู่ขนานในทิศทางนั้นและนับการแยกภายในแต่ละบรรทัด foliation จะแปรโดยสมบูรณ์ orthogonal ทิศทางซึ่งเป็นไฮเปอร์เพล isomorphic เพื่อF ม. - 1ดังนั้นจำนวนของจุด hypersurface ในทุกFที่มากที่สุดd | FFmFm1Fm 1d |F|m1

นี่แสดงให้เห็นว่าหลักฐานอื่น ๆ ตามแนวเส้นที่คล้ายกันสามารถใช้ได้

แก้ไข: ฉันต้องการจะพูดเพียงเล็กน้อยเกี่ยวกับวิธีการพิสูจน์ของ Arnab เกี่ยวข้องกับ Moshkovitz เขาใช้จุดนอก hypersurface และพิจารณาดินสอของเส้นผ่านจุดนั้น Moshkovitz พิจารณาครอบครัวของเส้นขนาน มันดูแตกต่าง แต่มันก็เหมือนกันจริงๆ! ครอบครัวคู่ขนานคือดินสอของเส้นผ่านจุดที่ไม่มีที่สิ้นสุด พีชคณิตของ Arnab จะใช้คำต่อคำหากคุณทำการ homogenization ของพหุนามและ จำกัด ไฮเปอร์เพลนที่ระยะอนันต์โดยการเสียบซึ่งจะลบล้างคำศัพท์ที่ไม่นำทั้งหมดw=0

แก้ไข: ดูคำตอบอื่น ๆ ของฉันสำหรับหลักฐานใหม่ (แต่ไม่เกี่ยวข้องทั้งหมด)


6

ความพยายามที่ 1:

คุณเคยดูเลมม่า A.36 (หน้า 529) ของหนังสือของArora / Barakหรือไม่? เกือบครึ่งหน้าและอิงตามการชักนำ

หากคุณไม่มีสิทธิ์เข้าถึงหนังสือฉันสามารถดำเนินการพิสูจน์ได้ที่นี่


พยายาม 2:

สิ่งที่เกี่ยวกับประวัติความอยากรู้อยากเห็นของ Schwartz-ZIPPEL แทรก ? ในบรรดาคนอื่น ๆ มันอ้างถึงกระดาษของ DeMillo-Liptonย้อนหลังไปถึงปี 1977 เอกสารอื่น ๆ ที่มีชื่อและเปรียบเทียบเช่นกัน


ความพยายามที่ 3:

หัวข้อ MathOverflow ต่อไปนี้อาจจะเป็นที่สนใจเช่นกัน: P / ขั้นตอนวิธีการโพลีสำหรับการทดสอบตัวตนของพหุนาม


ใช่ฉันทำ. แต่หลักฐานนี้ก็เหมือนกับหลักฐานจากวิกิพีเดีย
ไดเลอ

4

Schwartz-Zippel บทแทรกเป็นกรณีพิเศษของทฤษฎีบทของ Noga Alon และ Zoltan Fürediดังแสดงในส่วนที่ 4 ของบทความนี้: บน Zeros ของพหุนามในตาราง จำกัดและด้วยเหตุนี้การพิสูจน์ทฤษฎีบทใหม่ให้พิสูจน์ใหม่ของ Schwartz -Zippel ณ ตอนนี้ฉันรู้หลักฐานที่แตกต่างกันหกประการซึ่งสองข้อที่ปรากฏในเอกสารและอื่น ๆ มีการอ้างอิงที่นั่น

ทฤษฎี Alon-Furedi กล่าวว่าต่อไปนี้:

ปล่อยให้เป็นสนามให้A = n i = 1 A iF nเป็นกริด จำกัด และให้f F [ t _ ] = F [ t 1 , , t n ]เป็นพหุนามซึ่งไม่ หายไปเหมือนกันใน จากนั้นf ( x ) 0เป็นองค์ประกอบอย่างน้อยmin y ฉัน x AFA=i=1nAiFnfF[t_]=F[t1,,tn]Af(x)0minyixAที่ต่ำสุดที่จะนำไปจำนวนเต็มบวกทั้งหมดกับΣ n ฉัน= 1 Y ฉัน = Σ n ฉัน= 1 # ฉัน - องศา Fyi#Aii=1nyi=i=1n#Aidegf

ในกรณีนี้ถ้าคุณถือว่าและหาค่าต่ำสุด (ซึ่งสามารถทำได้อย่างง่ายดายโดยใช้ Balls ใน Bins ที่กล่าวถึงในกระดาษ) จากนั้นคุณจะได้รับ Schwartz-Zippel lemma เหนือสนาม (หรือโดเมน) .degf<min#Ai


คุณสามารถดู lemma 2.2 ในweb.stanford.edu/~rrwill/graph-cr.pdf ได้หรือไม่? นี่คือสิ่งที่ Ryan Williams หมายถึงโดยความเห็นของเขาภายใต้คำตอบของฉันและมันอยู่ในรายการสิ่งที่ต้องทำของฉันนับตั้งแต่ที่จะตรวจสอบว่ามันสามารถเป็นแนวทั่วไปในการสลับวง ดูเหมือนว่าฉันในตอนนี้คุณจะลึกกว่าฉันมากกว่านี้ดังนั้นทำไมคุณไม่ลองดูล่ะ
Thomas Klimpel

@ThomasKlimpel: ฉันจะแก้ไขคำตอบ ฉันเขียนมันเมื่อฉันเพิ่งเริ่มใช้ CS ทฤษฎี stackexchange และใช่แล้ว Lemma 2.2 ทำงานได้กับวงแหวนสับเปลี่ยนโดยพลการเนื่องจาก {0,1} ^ n เป็นไปตามเงื่อนไข (D) เสมอ
Anurag

เซตของพลสับเปลี่ยนแหวนRมีการกล่าวถึงตามเงื่อนไข (D) ถ้าสำหรับทุกx Y S , X - Yไม่ได้เป็นตัวหารเป็นศูนย์ A "ตาราง" 1 × × nR nมีการกล่าวถึงตามเงื่อนไขนี้ถ้าทุกฉัน 's ตอบสนองพวกเขา Schwartz-Zippel และผลลัพธ์ที่เกี่ยวข้องอื่น ๆ ทำงานภายใต้ลักษณะทั่วไปเหล่านี้ตามที่แสดงในกระดาษ SRxySxyA1××AnRnAi
Anurag

3

สูตรดั้งเดิมของบทแทรก Schwartz – Zippel ใช้กับฟิลด์เท่านั้น:

เล็มม่า (Schwartz, Zippel)
Let เป็นที่ไม่ใช่ศูนย์พหุนามของปริญญารวมd 0กว่าสนามเรนไฮน์ ให้Sเป็นเซต จำกัด ของFและให้R 1 , R 2 , ... , R nได้รับการคัดเลือกโดยการสุ่มอิสระและสม่ำเสมอจากS จากนั้น Pr [ P ( RPF[x1,x2,,xn]d0FSFr1,r2,,rnS
Pr[P(r1,r2,,rn)=0]d|S|.

เราสามารถจัดรูปแบบของบทแทรกดังกล่าวว่าเหมาะสมสำหรับวงสับเปลี่ยนกำลังพลแบบสุ่ม:

เล็มม่า (Jeřábek)
Let เป็นที่ไม่ใช่ศูนย์พหุนามของปริญญารวมd 0มากกว่าสับเปลี่ยนแหวน, R ให้Sเป็นเซตย่อยของR ที่มีs , t S : ( ( u R : ( คุณ0 s u u ))PR[x1,x2,,xn]d0RSRและปล่อยให้ R 1 , R 2 , ... , R nได้รับการคัดเลือกโดยการสุ่มอิสระและสม่ำเสมอจากS จากนั้น Pr [ P ( r 1 , r 2 , , r n ) = 0 ] ds,tS:((uR:(u0su=tu))s=t)r1,r2,,rnS
Pr[P(r1,r2,,rn)=0]d|S|.

The advantage of the proof from wikipedia is that it generalizes to show that the reformulation holds true for arbitrary commutative rings, which has been noticed and worked out by Emil Jeřábek here.

This gives an alternative proof of the Schwartz-Zippel lemma, by proving the reformulation for general commutative rings, and obtaining the normal formulation for fields as a corollary.


Polynomials are the free algebra for commutative rings, i.e. the free algebra generated by addition, additive inverses, multiplication and constants relative to the axioms of commutative rings. The initial hope was to find a generalization of the Schwartz-Zippel lemma for the free algebra which additionally contains (generalized) multiplicative inverses relative to the axioms of commutative regular rings. See also work by Jan A. Bergstra.
Thomas Klimpel

1
Another version of this observation with fewer assumptions and a weaker error bound appears and is applied in a restricted form (just stated for Zm) in a paper with Virginia, Josh Wang, and Huacheng Yu in SODA'15: "Finding four node subgraphs in triangle time"...
Ryan Williams

1
@RyanWilliams The paper On Zeros of a Polynomial in a Finite Grid cited in the recent answer by Anurag Bishnoi generalizes both the above lemma, the Alon-Furedi theorem and the lemma 2.2 from that SODA'15 paper (and prove sharpness of the bound). It was on my ToDo list ever since your comment to find such a generalization, so it is a significant achievement from my point of view (so one might congratulate the authors).
Thomas Klimpel
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.