User contributions for Alec
From Polymath Wiki
Jump to navigationJump to search
20 February 2016
- 14:0014:00, 20 February 2016 diff hist +108 Frankl's union-closed conjecture No edit summary
- 13:0713:07, 20 February 2016 diff hist +80 Frankl's union-closed conjecture Remove claim that uniform weighted FUNC implies FUNC.
- 09:2609:26, 20 February 2016 diff hist −1 Frankl's union-closed conjecture Fix mistake in implications.
- 05:4305:43, 20 February 2016 diff hist +237 Frankl's union-closed conjecture No edit summary
- 05:3805:38, 20 February 2016 diff hist +7 Frankl's union-closed conjecture No edit summary
- 04:5804:58, 20 February 2016 diff hist −1 m Frankl's union-closed conjecture No edit summary
- 04:5304:53, 20 February 2016 diff hist +2,654 Frankl's union-closed conjecture List some strengthenings and relationships between them.
- 04:1104:11, 20 February 2016 diff hist +93 m Frankl's union-closed conjecture No edit summary
4 February 2016
- 13:3613:36, 4 February 2016 diff hist +4 Frankl's union-closed conjecture No edit summary
30 January 2016
- 13:4913:49, 30 January 2016 diff hist +1,058 Frankl's union-closed conjecture List a few partial results.
- 11:0511:05, 30 January 2016 diff hist +365 Frankl's union-closed conjecture No edit summary
14 February 2014
- 13:1613:16, 14 February 2014 diff hist +44 Maximal discrepancy-2 sequence No edit summary current
- 13:1413:14, 14 February 2014 diff hist +4,884 N Maximal discrepancy-2 sequence New page: This sequence was found by Konev and Lisitsa using a SAT solver. They also showed it to be maximal: there is no discrepancy-2 sequence of length 1161. x1160 = [0, -1, +1, +1, -1, +1, -...
- 13:0913:09, 14 February 2014 diff hist +56 Experimental results →Experimental data current
8 October 2010
- 12:4712:47, 8 October 2010 diff hist +10,749 m Length 1120 sequences No edit summary current
- 12:2112:21, 8 October 2010 diff hist −8,330 m Length 1120 sequences No edit summary
- 11:2111:21, 8 October 2010 diff hist 0 m Longest constrained sequences No edit summary current
- 10:2510:25, 8 October 2010 diff hist +112 m Longest constrained sequences No edit summary
- 10:2310:23, 8 October 2010 diff hist +50 m Longest constrained sequences No edit summary
3 October 2010
- 06:5306:53, 3 October 2010 diff hist −3 m Low discrepancy on primes and powers of 2 Remove brackets so that top row aligns. current
- 06:5206:52, 3 October 2010 diff hist +1 m Low discrepancy on primes and powers of 2 Fix formatting.
- 06:5106:51, 3 October 2010 diff hist +107,298 N Low discrepancy on primes and powers of 2 Sequence of length 26328.
- 06:0306:03, 3 October 2010 diff hist +68 m Experimental results →Experimental data
2 August 2010
- 00:0900:09, 2 August 2010 diff hist −22 m Bounding the discrepancy in terms of the common difference No edit summary current
1 August 2010
- 23:5023:50, 1 August 2010 diff hist +278 m Bounding the discrepancy in terms of the common difference No edit summary
- 08:4408:44, 1 August 2010 diff hist +162 m Bounding the discrepancy in terms of the common difference No edit summary
- 02:1902:19, 1 August 2010 diff hist +1,392 m Bounding the discrepancy in terms of the common difference No edit summary
23 July 2010
- 12:4112:41, 23 July 2010 diff hist +304 m Bounding the discrepancy in terms of the common difference No edit summary
22 July 2010
- 22:3622:36, 22 July 2010 diff hist +70 m Bounding the discrepancy in terms of the common difference No edit summary
- 13:5913:59, 22 July 2010 diff hist −284 m Bounding the discrepancy in terms of the common difference No edit summary
- 13:3513:35, 22 July 2010 diff hist −509 m Bounding the discrepancy in terms of the common difference No edit summary
- 04:2904:29, 22 July 2010 diff hist +827 m Bounding the discrepancy in terms of the common difference No edit summary
21 July 2010
- 00:3400:34, 21 July 2010 diff hist +155 m Bounding the discrepancy in terms of the common difference No edit summary
20 July 2010
- 23:1423:14, 20 July 2010 diff hist +658 m Bounding the discrepancy in terms of the common difference No edit summary
- 13:2013:20, 20 July 2010 diff hist +5 m Bounding the discrepancy in terms of the common difference No edit summary
- 13:1913:19, 20 July 2010 diff hist +4,017 N Bounding the discrepancy in terms of the common difference New page: Many approaches to EDP proceed by considering HAPs contained in <math>\{1, 2, \ldots, n\}</math>, proving something about ''that'' discrepancy problem, and then letting <math>n \to \infty<...
- 11:2911:29, 20 July 2010 diff hist +64 m The Erdős discrepancy problem →General proof strategies
3 July 2010
- 13:5313:53, 3 July 2010 diff hist +140 m Obtaining the correct bound in Roth's discrepancy theorem Introduce 'm'; explain nearest-integer notation; fix two typos. current
21 June 2010
- 23:0323:03, 21 June 2010 diff hist +71 m Bounded Dirichlet inverse No edit summary current
1 May 2010
- 02:4802:48, 1 May 2010 diff hist +341 Representation of the diagonal Remark that the matrix need not be diagonal as long as its off-diagonal elements are dominated by its trace.
- 02:2402:24, 1 May 2010 diff hist +239 Representation of the diagonal →Numerical results
30 April 2010
- 21:3221:32, 30 April 2010 diff hist +6 m Representation of the diagonal We only need the sum of the coefficients to be less than or equal to 1.
- 13:2313:23, 30 April 2010 diff hist +864 Representation of the diagonal →Proof of implication
- 04:1904:19, 30 April 2010 diff hist +503 N Representation of the diagonal New page: The following conjecture, if true, would imply the Erdos discrepancy conjecture. ---- For all <math>C > 0</math> there exists a diagonal matrix with trace at least <math>C</math> that ca...
- 04:0204:02, 30 April 2010 diff hist +36 The Erdős discrepancy problem →General proof strategies
4 March 2010
- 12:5712:57, 4 March 2010 diff hist +157 Vectors for the dual SDP No edit summary current
- 12:4012:40, 4 March 2010 diff hist +55,048 N Vectors for the dual SDP New page: Table of <math>b_n</math> for <math>N = 512</math>: <pre> b 1 0.000000000 b 2 0.000000001 b 3 0.000000002 b 4 0.000000004 b 5 0.000000005 b 6 0.000000014 b 7 0.000000004 b 8 0.000122751 b ...
- 12:3712:37, 4 March 2010 diff hist +42 Experimental results No edit summary
6 February 2010
- 05:4405:44, 6 February 2010 diff hist −767 Depth-first search for multiplicative sequences Remove unnecessary bits of program. current
- 05:1605:16, 6 February 2010 diff hist +6,831 N Depth-first search for multiplicative sequences New page: This C program performs depth-first search for multiplicative sequences. In the source code, define N to be the limit of your search and C to be the limit on discrepancy. You also need to...