User contributions for Alec
From Polymath Wiki
Jump to navigationJump to search
20 February 2016
- 13:0013:00, 20 February 2016 diff hist +108 Frankl's union-closed conjecture No edit summary
- 12:0712:07, 20 February 2016 diff hist +80 Frankl's union-closed conjecture Remove claim that uniform weighted FUNC implies FUNC.
- 08:2608:26, 20 February 2016 diff hist −1 Frankl's union-closed conjecture Fix mistake in implications.
- 04:4304:43, 20 February 2016 diff hist +237 Frankl's union-closed conjecture No edit summary
- 04:3804:38, 20 February 2016 diff hist +7 Frankl's union-closed conjecture No edit summary
- 03:5803:58, 20 February 2016 diff hist −1 m Frankl's union-closed conjecture No edit summary
- 03:5303:53, 20 February 2016 diff hist +2,654 Frankl's union-closed conjecture List some strengthenings and relationships between them.
- 03:1103:11, 20 February 2016 diff hist +93 m Frankl's union-closed conjecture No edit summary
4 February 2016
- 12:3612:36, 4 February 2016 diff hist +4 Frankl's union-closed conjecture No edit summary
30 January 2016
- 12:4912:49, 30 January 2016 diff hist +1,058 Frankl's union-closed conjecture List a few partial results.
- 10:0510:05, 30 January 2016 diff hist +365 Frankl's union-closed conjecture No edit summary
14 February 2014
- 12:1612:16, 14 February 2014 diff hist +44 Maximal discrepancy-2 sequence No edit summary current
- 12:1412: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, -...
- 12:0912:09, 14 February 2014 diff hist +56 Experimental results →Experimental data current
8 October 2010
- 11:4711:47, 8 October 2010 diff hist +10,749 m Length 1120 sequences No edit summary current
- 11:2111:21, 8 October 2010 diff hist −8,330 m Length 1120 sequences No edit summary
- 10:2110:21, 8 October 2010 diff hist 0 m Longest constrained sequences No edit summary current
- 09:2509:25, 8 October 2010 diff hist +112 m Longest constrained sequences No edit summary
- 09:2309:23, 8 October 2010 diff hist +50 m Longest constrained sequences No edit summary
3 October 2010
- 05:5305:53, 3 October 2010 diff hist −3 m Low discrepancy on primes and powers of 2 Remove brackets so that top row aligns. current
- 05:5205:52, 3 October 2010 diff hist +1 m Low discrepancy on primes and powers of 2 Fix formatting.
- 05:5105:51, 3 October 2010 diff hist +107,298 N Low discrepancy on primes and powers of 2 Sequence of length 26328.
- 05:0305:03, 3 October 2010 diff hist +68 m Experimental results →Experimental data
1 August 2010
- 23:0923:09, 1 August 2010 diff hist −22 m Bounding the discrepancy in terms of the common difference No edit summary current
- 22:5022:50, 1 August 2010 diff hist +278 m Bounding the discrepancy in terms of the common difference No edit summary
- 07:4407:44, 1 August 2010 diff hist +162 m Bounding the discrepancy in terms of the common difference No edit summary
- 01:1901:19, 1 August 2010 diff hist +1,392 m Bounding the discrepancy in terms of the common difference No edit summary
23 July 2010
- 11:4111:41, 23 July 2010 diff hist +304 m Bounding the discrepancy in terms of the common difference No edit summary
22 July 2010
- 21:3621:36, 22 July 2010 diff hist +70 m Bounding the discrepancy in terms of the common difference No edit summary
- 12:5912:59, 22 July 2010 diff hist −284 m Bounding the discrepancy in terms of the common difference No edit summary
- 12:3512:35, 22 July 2010 diff hist −509 m Bounding the discrepancy in terms of the common difference No edit summary
- 03:2903:29, 22 July 2010 diff hist +827 m Bounding the discrepancy in terms of the common difference No edit summary
20 July 2010
- 23:3423:34, 20 July 2010 diff hist +155 m Bounding the discrepancy in terms of the common difference No edit summary
- 22:1422:14, 20 July 2010 diff hist +658 m Bounding the discrepancy in terms of the common difference No edit summary
- 12:2012:20, 20 July 2010 diff hist +5 m Bounding the discrepancy in terms of the common difference No edit summary
- 12:1912: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<...
- 10:2910:29, 20 July 2010 diff hist +64 m The Erdős discrepancy problem →General proof strategies
3 July 2010
- 12:5312: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
- 22:0322:03, 21 June 2010 diff hist +71 m Bounded Dirichlet inverse No edit summary current
1 May 2010
- 01:4801: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.
- 01:2401:24, 1 May 2010 diff hist +239 Representation of the diagonal →Numerical results
30 April 2010
- 20:3220: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.
- 12:2312:23, 30 April 2010 diff hist +864 Representation of the diagonal →Proof of implication
- 03:1903: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...
- 03:0203:02, 30 April 2010 diff hist +36 The Erdős discrepancy problem →General proof strategies
4 March 2010
- 11:5711:57, 4 March 2010 diff hist +157 Vectors for the dual SDP No edit summary current
- 11:4011: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 ...
- 11:3711:37, 4 March 2010 diff hist +42 Experimental results No edit summary
6 February 2010
- 04:4404:44, 6 February 2010 diff hist −767 Depth-first search for multiplicative sequences Remove unnecessary bits of program. current
- 04:1604: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...