User contributions for Domotorp
From Polymath Wiki
Jump to navigationJump to search
6 August 2018
- 02:3102:31, 6 August 2018 diff hist +603 Probabilistic formulation of Hadwiger-Nelson problem →Proofs of bounds: added lemma 39, general lower bound 1/25
- 02:0702:07, 6 August 2018 diff hist +147 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: improved lower for 1/\sqrt{3}
- 01:4701:47, 6 August 2018 diff hist +9 m Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: added lemma 15 to \sqrt{3} lower bound
19 July 2018
- 05:5705:57, 19 July 2018 diff hist +14 m Hadwiger-Nelson problem →Notable unit distance graphs: fixed link to >V_A \oplus V_A \oplus V_A
- 05:0505:05, 19 July 2018 diff hist −4 m Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: added 0.26 to \sqrt{3}
14 July 2018
- 00:5500:55, 14 July 2018 diff hist 0 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: fixed large d
- 00:5500:55, 14 July 2018 diff hist 0 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: also statement
- 00:5400:54, 14 July 2018 diff hist −14 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed error at the end
11 July 2018
- 00:0900:09, 11 July 2018 diff hist +15 m Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: fixed bound for large d
- 00:0800:08, 11 July 2018 diff hist +256 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed last case error
10 July 2018
- 13:3313:33, 10 July 2018 diff hist −27 Excluding bichromatic vertices →Conjecture for using bichromatic vertices to bound CNP: improved previous
- 13:2913:29, 10 July 2018 diff hist +1,607 Excluding bichromatic vertices added conjecture
- 13:1313:13, 10 July 2018 diff hist −267 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: fixed incorrect lemma 2, cor 16 refs, updated upper bounds from prop 36
- 13:0113:01, 10 July 2018 diff hist +164 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: added two more values from Prop 36
- 12:5512:55, 10 July 2018 diff hist +740 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added new construction with iteration
- 12:0912:09, 10 July 2018 diff hist +1,348 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added iteration arguments
7 July 2018
- 12:1612:16, 7 July 2018 diff hist +121 Probabilistic formulation of Hadwiger-Nelson problem →Lemma 38: added one line proof (also kept original)
- 12:1112:11, 7 July 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Lemma 37: added missing 3
5 July 2018
- 03:5803:58, 5 July 2018 diff hist +1 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed note 2
4 July 2018
- 13:1113:11, 4 July 2018 diff hist +274 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added note 2
- 12:1512:15, 4 July 2018 diff hist +65 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed def of E and F as noted by Aubrey here https://dustingmixon.wordpress.com/2018/07/02/polymath16-ninth-thread-searching-for-a-6-coloring/#comment-5106
23 June 2018
- 13:3513:35, 23 June 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36
- 13:2113:21, 23 June 2018 diff hist +83 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: lower bound on d
- 13:0013:00, 23 June 2018 diff hist +1 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 35: fixed BAD angle and \frac{1}{4} in first inequality
- 12:5212:52, 23 June 2018 diff hist +222 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed minor errors
19 June 2018
- 11:4611:46, 19 June 2018 diff hist −1 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 35: fixed typo (triangle -> rhombus)
29 May 2018
- 12:5912:59, 29 May 2018 diff hist +242 Hadwiger-Nelson problem →Notable unit distance graphs: added G26 to bichromatic origin part
- 12:5012:50, 29 May 2018 diff hist +4 m Hadwiger-Nelson problem →Notable unit distance graphs: fixed last two rows
9 May 2018
- 13:4113:41, 9 May 2018 diff hist +249 Hadwiger-Nelson problem →Blog, forums, and media: added index.hu
6 May 2018
- 23:4023:40, 6 May 2018 diff hist 0 m Probabilistic formulation of Hadwiger-Nelson problem →Theorem 20: fixed typo
4 May 2018
- 05:5905:59, 4 May 2018 diff hist +97 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: added \frac{\sqrt{5}-1}{2}
- 05:5605:56, 4 May 2018 diff hist +244 Probabilistic formulation of Hadwiger-Nelson problem →Proofs of bounds: added lower bound on \frac{\sqrt{5}-1}{2}
- 05:1905:19, 4 May 2018 diff hist −31 m Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings
- 05:1505:15, 4 May 2018 diff hist +65 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: added computer-verified to relevant places
- 05:1005:10, 4 May 2018 diff hist −4 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on {\bf P}( \mathbf{c}(0) = \mathbf{c}(d) ) for 4-colourings: renamed separation to distance
- 01:0101:01, 4 May 2018 diff hist +138 Probabilistic formulation of Hadwiger-Nelson problem No edit summary
3 May 2018
- 12:0912:09, 3 May 2018 diff hist +122 Hadwiger-Nelson problem →Virtual edge: added warning
- 01:2501:25, 3 May 2018 diff hist +153 Hadwiger-Nelson problem →Bibliography: added Bukh
5 February 2016
- 10:5810:58, 5 February 2016 diff hist +160 The Erdos-Rado sunflower lemma →Variants and notation
- 10:5410:54, 5 February 2016 diff hist +180 The Erdos-Rado sunflower lemma →Bibliography: added alon-shpilka-umans
- 08:1508:15, 5 February 2016 diff hist +185 The Erdos-Rado sunflower lemma →Variants and notation: cleared up DES part
- 07:5607:56, 5 February 2016 diff hist +1,364 The Erdos-Rado sunflower lemma →Variants and notation: added weak sunflower section
- 04:5604:56, 5 February 2016 diff hist −96 m The Erdos-Rado sunflower lemma →Bibliography: fixed deltas
- 04:5304:53, 5 February 2016 diff hist +429 The Erdos-Rado sunflower lemma →Bibliography: added links
- 04:4404:44, 5 February 2016 diff hist +253 The Erdos-Rado sunflower lemma →Bibliography: added Abbott-Exoo II and Axenovich et al
29 November 2015
- 06:3706:37, 29 November 2015 diff hist +111 m The Erdos-Rado sunflower lemma →Small values: changed style of top row of table
28 November 2015
- 16:3316:33, 28 November 2015 diff hist +2,095 The Erdos-Rado sunflower lemma added small values
27 November 2015
- 18:0518:05, 27 November 2015 diff hist −1 m The Erdos-Rado sunflower lemma →Bibliography
- 18:0518:05, 27 November 2015 diff hist +218 The Erdos-Rado sunflower lemma →Bibliography: added two more Abbott et al papers
4 November 2015
- 13:4213:42, 4 November 2015 diff hist +41 The Erdos-Rado sunflower lemma →Bibliography: added link to Erdos-Rado
