User contributions for Domotorp
From Polymath Wiki
Jump to navigationJump to search
6 August 2018
- 03:3103:31, 6 August 2018 diff hist +603 Probabilistic formulation of Hadwiger-Nelson problem →Proofs of bounds: added lemma 39, general lower bound 1/25
- 03:0703: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}
- 02:4702: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
- 06:5706: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
- 06:0506: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
- 01:5501:55, 14 July 2018 diff hist 0 Probabilistic formulation of Hadwiger-Nelson problem →Bounds on p_d for 4-colourings: fixed large d
- 01:5501:55, 14 July 2018 diff hist 0 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: also statement
- 01:5401:54, 14 July 2018 diff hist −14 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed error at the end
11 July 2018
- 01:0901: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
- 01:0801:08, 11 July 2018 diff hist +256 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed last case error
10 July 2018
- 14:3314:33, 10 July 2018 diff hist −27 Excluding bichromatic vertices →Conjecture for using bichromatic vertices to bound CNP: improved previous
- 14:2914:29, 10 July 2018 diff hist +1,607 Excluding bichromatic vertices added conjecture
- 14:1314: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
- 14:0114: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
- 13:5513:55, 10 July 2018 diff hist +740 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added new construction with iteration
- 13:0913:09, 10 July 2018 diff hist +1,348 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added iteration arguments
7 July 2018
- 13:1613:16, 7 July 2018 diff hist +121 Probabilistic formulation of Hadwiger-Nelson problem →Lemma 38: added one line proof (also kept original)
- 13:1113:11, 7 July 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Lemma 37: added missing 3
5 July 2018
- 04:5804:58, 5 July 2018 diff hist +1 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed note 2
4 July 2018
- 14:1114:11, 4 July 2018 diff hist +274 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: added note 2
- 13:1513: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
- 14:3514:35, 23 June 2018 diff hist +2 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36
- 14:2114:21, 23 June 2018 diff hist +83 Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: lower bound on d
- 14:0014: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
- 13:5213:52, 23 June 2018 diff hist +222 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 36: fixed minor errors
19 June 2018
- 12:4612:46, 19 June 2018 diff hist −1 m Probabilistic formulation of Hadwiger-Nelson problem →Proposition 35: fixed typo (triangle -> rhombus)
29 May 2018
- 13:5913:59, 29 May 2018 diff hist +242 Hadwiger-Nelson problem →Notable unit distance graphs: added G26 to bichromatic origin part
- 13:5013:50, 29 May 2018 diff hist +4 m Hadwiger-Nelson problem →Notable unit distance graphs: fixed last two rows
9 May 2018
- 14:4114:41, 9 May 2018 diff hist +249 Hadwiger-Nelson problem →Blog, forums, and media: added index.hu
7 May 2018
- 00:4000:40, 7 May 2018 diff hist 0 m Probabilistic formulation of Hadwiger-Nelson problem →Theorem 20: fixed typo
4 May 2018
- 06:5906: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}
- 06:5606: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}
- 06:1906: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
- 06:1506: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
- 06:1006: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
- 02:0102:01, 4 May 2018 diff hist +138 Probabilistic formulation of Hadwiger-Nelson problem No edit summary
3 May 2018
- 13:0913:09, 3 May 2018 diff hist +122 Hadwiger-Nelson problem →Virtual edge: added warning
- 02:2502:25, 3 May 2018 diff hist +153 Hadwiger-Nelson problem →Bibliography: added Bukh
5 February 2016
- 11:5811:58, 5 February 2016 diff hist +160 The Erdos-Rado sunflower lemma →Variants and notation
- 11:5411:54, 5 February 2016 diff hist +180 The Erdos-Rado sunflower lemma →Bibliography: added alon-shpilka-umans
- 09:1509:15, 5 February 2016 diff hist +185 The Erdos-Rado sunflower lemma →Variants and notation: cleared up DES part
- 08:5608:56, 5 February 2016 diff hist +1,364 The Erdos-Rado sunflower lemma →Variants and notation: added weak sunflower section
- 05:5605:56, 5 February 2016 diff hist −96 m The Erdos-Rado sunflower lemma →Bibliography: fixed deltas
- 05:5305:53, 5 February 2016 diff hist +429 The Erdos-Rado sunflower lemma →Bibliography: added links
- 05:4405:44, 5 February 2016 diff hist +253 The Erdos-Rado sunflower lemma →Bibliography: added Abbott-Exoo II and Axenovich et al
29 November 2015
- 07:3707: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
- 17:3317:33, 28 November 2015 diff hist +2,095 The Erdos-Rado sunflower lemma added small values
27 November 2015
- 19:0519:05, 27 November 2015 diff hist −1 m The Erdos-Rado sunflower lemma →Bibliography
- 19:0519:05, 27 November 2015 diff hist +218 The Erdos-Rado sunflower lemma →Bibliography: added two more Abbott et al papers
4 November 2015
- 14:4214:42, 4 November 2015 diff hist +41 The Erdos-Rado sunflower lemma →Bibliography: added link to Erdos-Rado
