現代数学の系譜工学物理雑談古典ガロア理論も読む46

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む46 (692ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

39: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 08:53:52.13 ID:cTg/FCp5

>>38 つづき

44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/463
463 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:55:58.49 ID:bqiuLoxO [4/9]

１．まず、そもそも話が有限ですむ場合は、”当たらない（＝箱に数を入れる主題者勝率１、回答者勝率０）”ってことは、おっちゃん以外の全員が、同意している
　　実際にも、>>87に引用したSergiu Hart氏のPDF http://www.ma.huji.ac.il/hart/puzzle/choice.pdf? にも下記があるよ（これには全員同意だよ）
P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
つまり、意訳すると
“リマーク：箱の数が有限の場合、プレーヤー1は勝利を保証することができます。
[0、1]と{0、1、・・・、9}上で＊）、xiを独立で一様に選択することによって、game1の勝利確率1とgame2の勝利確率9/10になる。”と
言い換えると、プレーヤー２の立場では、game1の勝利確率0とgame2の勝利確率1/10になる。
注＊）、[0、1]はこの区間の任意の実数を、{0、1、・・・、9}は0〜9までの整数を、箱に入れるということ。
(引用終り)

２．”高校数学までの確率”で話が済むなら、数学セミナー誌の記事にはならない（＾＾

44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/464
464 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) 20:58:32.31 ID:bqiuLoxO [5/9]

３．”勝つ確率は 99/100”は、上記>>164 東北大 尾畑伸明先生を含む、標準的な現代確率論の数理と矛盾するよ（＾＾

以上

http://rio2016.5ch.net/test/read.cgi/math/1510442940/39

44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 08:58:35.25 ID:cTg/FCp5

>>43 つづき

で、Alan D. Taylor さんの２つの論文のPDFリンク切れているから、検索し直した
下記、ご参照

１）
http://www.cs.umd.edu/~gasarch/
William Gasarch Professor of Computer Science Affiliate of Mathematics University of Maryland at College Park

http://www.cs.umd.edu/~gasarch/TOPICS/hats/hats.html
Papers on Hat Problems I want to read by William Gasarch

21. An Introduction to Infinite Hat Problems by Christopher Hardin and Alan Taylor. HAT GAME- infinite number of people, need to get all but a finite number of them right. Needs AC. Infinite Hats and AC

http://www.cs.umd.edu/~gasarch/TOPICS/hats/infinite-hats-and-ac.pdf
An Introduction to Infinite Hat Problems Chris Hardin and Alan Taylor THE MATHEMATICAL INTELLIGENCER 2008 Springer Science+Business Media, Inc

２）
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.7027&rank=2
A peculiar connection between the Axiom of Choice and predicting the future THE MATHEMATICAL ASSOCIATION OF AMERICA Monthly February 2008
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.365.7027&rep=rep1&type=pdf

３）Taylorさん
https://en.wikipedia.org/wiki/Alan_D._Taylor
Alan D. Taylor

Alan Dana Taylor (born October 27, 1947) is an American mathematician who, with Steven Brams, solved the problem of envy-free cake-cutting for an arbitrary number of people with the Brams?Taylor procedure.

Taylor received his Ph.D. in 1975 from Dartmouth College.[2]

He currently is the Marie Louise Bailey professor of mathematics at Union College, in Schenectady, New York.

以上

http://rio2016.5ch.net/test/read.cgi/math/1510442940/44

47: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:02:03.28 ID:cTg/FCp5

>>46 つづき
45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/471
471 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 20171106

で、むしろ時枝記事に近いのは、君が>>295（>>304）で紹介した下記の方が、時枝に近いだろう
ここでは、任意の関数f(x)の任意の貴方の選ぶ１点（”You pick an x ∈ Ｒ”）を、” whatever f Bob picked, you will win the game with probability 1!”、”it’s arbitrary: it doesn’t have to be continuous or anything”の条件で当てられるとあるよ

Ｎ⊂Ｒだから、”You pick an n ∈ Ｎ”とすれば、時枝記事の場合を含むことになろう
で、時枝記事のように、どこの箱が当たるか分らず、また確率99/100に対して、これは自分で選んだｘであり、”with probability 1!”だから、こちらの解法がよほど優れている

https://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
(抜粋)
Here’s a puzzle:
You and Bob are going to play a game which has the following steps.

1)Bob thinks of some function f： Ｒ → Ｒ (it’s arbitrary: it doesn’t have to be continuous or anything).
2)You pick an x ∈ Ｒ.
3)Bob reveals to you the table of values {(x0, f(x0))｜ x0 ≠ x } of his function on every input except the one you specified
4)You guess the value f(x) of Bob’s secret function on the number x that you picked in step 2.

You win if you guess right, you lose if you guess wrong. What’s the best strategy you have?
This initially seems completely hopeless: the values of f on inputs x0 ≠ x have nothing to do with the value of f on input x, so how could you do any better then just making a wild guess?
In fact, it turns out that if you, say, choose x in Step 2 with uniform probability from [ 0,1 ], the axiom of choice implies that you have a strategy such that, whatever f Bob picked, you will win the game with probability 1!
つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/47

48: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:02:54.43 ID:cTg/FCp5

>>47 つづき

スレ45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/472
472 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/06(月) 00:05:26.40 ID:1Au30FRy [6/13]

The strategy is as follows: Let 〜 be the equivalence relation on functions from Ｒ to Ｒ defined by f 〜 g iff for all but finitely many y, f(y) = g(y). Using the axiom of choice, pick a representative from each equivalence class.

In Step 2, choose x with uniform probability from [ 0,1 ].
When, in step 3, Bob reveals {(x0, f(x0)) ｜ x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. Let g be the representative of that equivalence class that you picked ahead of time. Now, in step 4, guess that f(x) is equal to g(x).

What is the probability of success of this strategy?
Well, whatever f that Bob picks, the representative g of its equivalence class will differ from it in only finitely many places.
You will win the game if, in Step 2, you pick any number besides one of those finitely many numbers.
Thus, you win with probability 1 no matter what function Bob selects.
(引用終り)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/48

49: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:04:10.58 ID:cTg/FCp5

>>48 つづき

スレ45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/473
473 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/06(月) 00:08:48.04 ID:1Au30FRy [7/13]

先に私の見解を書いておくが、ピエロくんの紹介してくれた >>312 PDF が参考になるね（＾＾
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition by Hardin, Christopher S., Taylor, Alan D.

これで、上記とちょっと違って、７章”The Topological Setting”とかなっていて、さすがに上記は、まずいということらしい。（＾＾

例えば、

P9
”In Chapter 7 we start to move further away from the hat problem
metaphor and think instead of trying to predict a function's value at a
point based on knowing (something about) its values on nearby points. The
most natural setting for this is a topological space and if we wanted to
only consider continuous colorings, then the limit operator would serve as
a unique optimal predictor. But we want to consider arbitrary colorings.
Thus we have each point in a topological space representing an agent and
if f and g are two colorings, then f ≡a g if f and g agree on some deleted
neighborhood of the point a. It turns out that an optimal predictor in this
case is wrong only on a set that is "scattered" (a concept with origins going
back to Cantor). Moreover, this predictor again turns out to be essentially
unique, and this is the main result in Chapter 8.”

などとある

さすれば、時枝もそのままじゃ（Topologicalな条件を加えないと）、成り立たないと思うがどう？（＾＾

以上

http://rio2016.5ch.net/test/read.cgi/math/1510442940/49

52: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:05:49.97 ID:cTg/FCp5

>>50 つづき

スレ45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/541
541 返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/11/07(火) 14:31:53.21 ID:/DwZQaZ/ [2/5]

２．任意関数の数当て解法は、射程として、可算無限個数列の数当て解法を含んでいるんだ。それを示そう
　１）XOR’S HAMMERの任意関数の数当て解法は、”In Step 2, choose x with uniform probability from [ 0,1 ].”で、”Thus, you win with probability 1 no matter what function Bob selects.”なのだから
　２）やり方は、>>483に書いたように、時枝の可算無限個との対応は、1/1,1/2,1/3,・・・1/n,・・・とすれば、全て[0,1]内の実数と対応がつく
　３）数列 s = (s1，s2，s3 ，・・・,sn，・・・)から、
　　f(1)=s1，f(1/2)=s2，f(1/3)=s3 ，・・・,f(1/n)=sn，・・・となる関数f(x)を作れば良い。
　　関数はなんでも良いので、簡単に例えばf(1/2)とf(1/3)とを直線で結ぶ
　　これで、時枝の可算無限個を、関数に埋め込めたので、XOR’S HAMMERの任意関数の数当て解法が適用できる
　３）”you”は、好きな”1/n”を選べば、XOR’S HAMMERの任意関数の数当て解法で、当たる確率１だ

つづく

注）ここ、「“with uniform probability from [ 0,1 ].”を除いて、もとの問題設定通り、任意にｘを選べるとすれば、」とするのが正確だったね。
“with uniform probability from [ 0,1 ].”だと、任意にｘを選べないから。（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1510442940/52

61: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:14:46.14 ID:cTg/FCp5

>>60 関連

スレ45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/819-820
819 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/11/11(土) 18:36:13.23 ID:nimHTkvQ [22/25]
>>817 補足

（>>767より）
"関数f:S→Rについてあるx∈Sを選んでf(x)の値を当てる件について
(抜粋)
3.　Sが区間[0,1]の場合
→fと上記区間内の測度0の集合上のxで値が異なるだけのgを
　fと同値とする同値関係を定義し同値類の代表元f'をとれば、
　x∈Sについてf(x)=f'(x)となる確率は1　（区間[0,1]上の測度で考える)"

（>>472より）”When, in step 3, Bob reveals {(x0, f(x0)) ｜ x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. ”
なのだから、x0を一つやれば、Bobのf(x)は、x0 以外全部分るんだ（＾＾

（>>471より）"In fact, it turns out that if you, say, choose x in Step 2 with uniform probability from [ 0,1 ]"
だったでしょ？

簡単な話で、”choose x in Step 2 with uniform probability from [ 0,1 ]”だから、 Gameを、[ 0,1 ]の0から初めて1に達するまで、続ける
x=0のときに、Bobのf(x)が分って、同値類が分って、代表f'(x)が決まる。あとを続ければ、Δf ＝ f(x)−f'(x) は、”定義の通り” [ 0,1 ]では有限個しか不一致がないんだ

それだけのこと。つまり、x=0のときに、代表f'(x)が決まるから、あとはどこで有限個が外れるか、その時点で全て分るわけさ！！ （＾＾
これだと、関数の数当てとしては、完全にトリビアで、数学的に無価値だろ？ （＾＾

つづく

http://rio2016.5ch.net/test/read.cgi/math/1510442940/61

67: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2017/11/12(日) 09:21:47.38 ID:cTg/FCp5

「ぷふ」さん、こちらに移しておくよ
スレ43は、おれは使わないんだ（＾＾
https://rio2016.5ch.net/test/read.cgi/math/1506152332/18
現代数学の系譜 工学物理雑談 古典ガロア理論も読む43
18 名前：１３２人目の素数さん[] 投稿日：2017/11/12(日) 08:25:20.13 ID:GGaVEi9w
ここでいいかな？

現代数学の系譜 工学物理雑談 古典ガロア理論も読む45
http://rio2016.2ch.net/test/read.cgi/math/1508931882/835
>どこらへんがむしろなんだよｗ
>おまえはいつも　なんとなく　で数学を語る。
>頭悪いのに分かった風に語るタイプ。
>スレ主と同類。
分からないんですね？
ホントに確率事象についての認識ができてませんよ

>『確立事象』と『確率自称』とか、どう気をつければそんな間違いを起こせるのかもよくわからん。
>確率事象を分かってないのはオマエだろ！と突っ込みたくなる気持ちを分かれｗ
ぷ

>>>505
>> 無限帽子は何を確立事象と見るかよく考えないと騙されちゃうよ
>
>>>832
>> 確率自称が分かってない
>
>しまいには勝手に元問題を改変して
>『これが正しい問題設定』　『この問題設定では当てられません』
>とドヤ顔で主張してくる。
>この点もスレ主と同類。
改変ではなく君たちの認識が誤っていることを指摘しただけ

fを選ぶ（関数空間の中から）
x0を選ぶ（選び方はどうでもいいよ）
x≠x0以外のf(x)を開示（この時点でf(x0)のみが確率変数）
g(x0)がどのような値であったとしてもf(x0)=g(x0)となる確率は0なのだな
ここで重要なのは{x|f(x)=g(x),x≠x0}と{x|f(x)≠g(x),x≠x0}が有限であろうが無限であろうが
f(x0)=g(x0)かどうかとは全く関係しないってこと
単に{x|f(x)=g(x),x≠x0}と{x|f(x)≠g(x),x≠x0}が定まるというだけ
x≠x0以外のf(x)を開示した時点で他のf(x)は確率変数でなくなることに気付いていない人が大部分みたいで
気付いていて煙に巻いている人にダマサれてることに気付いてないｗ

>まずは>>822, >>824を読め。
>じっくり考えて完璧な回答を寄越せ。
何が確立事象確率変数であるか君こそよく考えた方がいいよ

http://rio2016.5ch.net/test/read.cgi/math/1510442940/67

上下前次 1-新書関写板覧索設栞歴

あと 625 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.020s