シュワルツ–ジッペルの補題の代替証明


28

私は、シュワルツ-ジッペルの補題の2つの証拠しか知らない。最初の(より一般的な)証拠は、ウィキペディアのエントリに記載されています。2番目の証拠は、Dana Moshkovitzによって発見されました。

実質的に異なるアイデアを使用する他の証拠はありますか?


2
あなたの動機について何か言っていただけますか?さまざまな方向の一般化をお探しですか?たぶん幾何学的な洞察?
Per Vognsen

特別な動機はありません。これらがこの重要な補題を証明するための唯一の可能な方法であることに、私は非常に驚くでしょう!
大ル

この補題は重要であることに同意しますが、重要な補題には必ずしも多くの異なる既知の証明があるわけではありません。したがって、あなたの理由は私には少し奇妙に聞こえます。
伊藤剛

1
@伊藤su志:重要な補題には多くの既知の証拠がないかもしれないというあなたのコメントに同意します。しかし、SZ Lemmaにも当てはまるかどうかを尋ねることは有意義だと思います。SZは基本的なものであるため、異なるコンテキストの多くの人々が独自に発見した可能性があります。このように、異なる証明を学ぶことは時々私見を非常に啓発します。皆様からの素晴らしいコメントをありがとうございます!
大ル

回答:


16

幾何学的証明のために私が持っていた別のアイデアがあります。射影幾何を本質的な方法で使用します。

ましょ超曲面の外側アフィン点であるScを中心として、超平面を超平面に無限に投影します。それは、すべてのマップであり、X Sを上にP X を介してユニークな線との交点CX無限遠超平面とします。無限遠点のpの下のプリイメージはすべて同じ線上にあるため、(再び問題を次元1に減らす)それらのほとんどdがあります。無限遠の超平面にはカーディナリティがあります| FのM -cFmScxSp(x)cxpd、したがって、おなじみの上限を取得します | S | D | F m 1 | |Fm1||S|d |Fm1|


綺麗な!また、重要なポイントを強調するために、ラインはサーフェスの外側にあるポイントcを通過するため、ハイパーサーフェスには含まれていません。
arnab

1
@arnab:確かに、あなたはすでにあなた自身の投稿でその点をうまく説明しています。
ヴォーグセンごと

1
@arnab:ところで、私はこのアイデアが本当に「新しい」と主張していないことは明らかだと思います。これらの証拠はすべて同じような匂いがします。それはおそらく予想されることです。
ヴォーグセンあたり

2
@Per:はい。しかし、私は同意します、基本的な考え方はほとんど同じです。
arnab

@Per:あなたの貢献はすでに素晴らしいものです。はい、それらは本当に新しいものではありませんが、私はあなたの解釈がとても好きです。クラシック音楽に新しい解釈を与えるようなものです。:-)
大ル

18

Per Vognsenの回答のフォローアップとして、Dana Moshkovitzの証明は、シュワルツ・ジッペル補題のわずかに弱いバージョンについての非常に簡単な証明をすでに示唆しています。

ましょう程度のゼロでない多項式であるDFは、オーダーの有限体であり、Q、およびlet X F Nように点であるF X 0。あるQ N - 1 /Q - 1 を通過する多くの異なる線Xそれらが分割するようにF、N - { xは}f:FnFdFqxFnf(x)0(qn1)/(q1)xFn{x}。これらの各ラインへのの制限は、dの1変量多項式です。これは、xで非ゼロであり、最大でd個のゼロを持っているため、非ゼロです。したがって、fのゼロの総数は最大でd q n1 /q 1 です。比較のために、Schwartz-Zippelはd q n 1のより強い上限を与えます。fd xdfd(qn1)/(q1)dqn1

この証明の容易さを考えると、それは民間伝承だと確信しています。そうでない場合、それは:)である必要があります。誰かが参照を提供できれば幸いです。


3
非常に素晴らしい!アフィン点ではなく無限遠の射影点でのみ、彼女がまったく同じことを行うことを知っていましたか?元の回答に段落を追加して、関係をさらに説明しました。
Per Vognsen

1
ああ、それは素晴らしい解釈です!ありがとう!
arnab

14

モシュコビッツの証明は単純な幾何学に基づいていますが、その論文はあまり明確ではありません。アイデアは次のとおりです。

m変数の次数多項式は、F mの超曲面を切り取ります。超曲面と独立した線の交点(つまり、交点が線全体ではない)のd点は最大です。超曲面から独立したあらゆる場所の方向を見つけることができる場合、F mをその方向の平行線で構成し、各線内の交点を数えることができます。葉層構造は同型である超平面方向の直交補によってパラメータ化されたFのM - 1のすべてにわたって超曲面点の総数に、Fの mが最大であるD | FdmFmFmFm1Fmd |F|m1

これは、同様の線に沿った他の証明が機能することを示唆しています。

編集:Arnabの証明がMoshkovitzの証明とどのように関係しているかについて少し言いたかった。彼は超曲面の外側の点を取り、その点を通る線の鉛筆を考慮します。Moshkovitzは、平行線のファミリーを考慮します。異なるように見えますが、実際は同じものです!並列ファミリは、無限遠の点を通る線の鉛筆です。Arnabの代数は、最初に多項式の均質化を行い、差し込むことで無限大の超平面に制限する場合、逐語的に適用されます。w=0

編集:新しい(ただし完全に無関係ではない)証拠についての他の回答を参照してください。


6

試行1:

アローラ/バラクの本の補題A.36(529ページ)をご覧になりましたか?それはほぼ半分のページであり、誘導に基づいています。

本にアクセスできない場合は、ここで証明を行うことができます。


試行2:

何についてシュワルツ-Zippel補題の興味歴史?とりわけ、1977年に遡るDeMillo-Liptonの論文を引用しています。他のいくつかの論文も同様に命名され、比較されています。


試行3:

次のMathOverflowトピックも興味深いかもしれません:多項式同一性テストのためのP / polyアルゴリズム


はい、しました。しかし、この証明は本質的にウィキペディアのものと同じです。
大ル

4

この論文のセクション4に示すようにシュワルツ-Zippel補題はノーガ・アロンとゾルタン・ファーディの定理の特別な場合である有限格子における多項式の零点で、ひいてはその定理の新たな証拠は、シュワルツの新しい証拠を与えます-ジッペル。今のところ、6つの異なる証明を知っています。そのうちの2つは論文に記載されており、他の文献はそこで参照されています。

アロン-フレディの定理は次のように述べています。

レッツ聞かせて、フィールドでA = ΠをN 私は= 1 A iのF nは有限のグリッドも、とlet fはFを[ T _ ] = F [ T 1... T N ]がない多項式ことAでも同様に消えます。次いで、F X 0少なくとも用Π Y Iの要素のx AFA==1nAFnfF[t_]=F[t1tn]Afバツ0minyixAここで、最小値は、すべての正の整数で引き継がれΣ N iが= 1、Y iは = ΣをN iは= 1つの#1 A I - Fをyi#Aii=1nyi=i=1n#Aidegf

これでを仮定し、最小値(この論文で言及されているBins in Binsを使って簡単に行うことができます)を仮定すると、フィールド(またはドメイン)でSchwartz-Zippel補題が得られます。degf<min#Ai


Can you take a look at lemma 2.2 in web.stanford.edu/~rrwill/graph-cr.pdf? This is what Ryan Williams means by his comment under my answer, and it's on my ToDo list ever since to check whether it can be generalized to commutative rings. It seems to me you are currently much deeper into this than me, so why don't you give it a try?
Thomas Klimpel

@ThomasKlimpel: I'll modify the answer. I wrote it when I just started using CS theory stackexchange. And yes, Lemma 2.2 works over arbitrary commutative rings since {0,1}^n always satisfies Condition (D).
Anurag

SRxySxyA1××AnRnAi

3

Schwartz–Zippel補題の元の定式化は、フィールドにのみ適用されます。

Lemma (Schwartz, Zippel).
Let PF[x1,x2,,xn] be a non-zero polynomial of total degree d0 over a field, F. Let S be a finite subset of F and let r1,r2,,rn be selected at random independently and uniformly from S.
Then Pr[P(r1,r2,,rn)=0]d|S|.

One can reformulate the lemma such that it makes sense for arbitrary commutative rings:

Lemma (Jeřábek).
Let PR[x1,x2,,xn] be a non-zero polynomial of total degree d0 over a commutative ring, R. Let S be a finite subset of R with s,tS:((uR:(u0su=tu))s=t) and let r1,r2,,rn be selected at random independently and uniformly from S.
Then 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.