Oldest pages
From Polymath Wiki
Jump to navigationJump to search
Showing below up to 250 results in range #1 to #250.
- Szemerédi's combinatorial proof of Roth's theorem (09:51, 14 February 2009)
- Triangle removal lemma (16:46, 14 February 2009)
- Szemerédi's original proof of Szemerédi's theorem (10:35, 15 February 2009)
- Kruskal-Katona theorem (16:11, 15 February 2009)
- Ergodic perspective (19:16, 15 February 2009)
- Carlson's theorem (00:51, 16 February 2009)
- Carlson-Simpson theorem (00:52, 16 February 2009)
- Stirling's formula (10:25, 16 February 2009)
- Concentration of measure (10:30, 16 February 2009)
- Graham-Rothschild theorem (16:00, 16 February 2009)
- Combinatorial subspace (16:16, 16 February 2009)
- Szemerédi's regularity lemma (16:58, 16 February 2009)
- Unsolved problems (05:50, 17 February 2009)
- DHJ(1,3) (05:43, 18 February 2009)
- Furstenberg correspondence principle (23:42, 19 February 2009)
- Word algebra (17:59, 20 February 2009)
- Slice (13:47, 21 February 2009)
- Influence of variables (05:55, 22 February 2009)
- Line (06:01, 22 February 2009)
- Density increment method (11:15, 22 February 2009)
- Density (05:33, 23 February 2009)
- DHJ(2.7) (22:29, 23 February 2009)
- DHJ(2.6) (22:29, 23 February 2009)
- Furstenberg-Katznelson argument (18:43, 24 February 2009)
- Szemerédi's theorem (17:17, 26 February 2009)
- A second Fourier decomposition related to Sperner's theorem (14:37, 27 February 2009)
- Ajtai-Szemerédi's proof of the corners theorem (09:43, 2 March 2009)
- Fourier-analytic proof of Sperner (04:43, 3 March 2009)
- DHJ(3) (10:30, 5 March 2009)
- Corners (18:17, 8 March 2009)
- An outline of a density-increment argument (21:32, 8 March 2009)
- Correlation with a 1-set implies correlation with a subspace (10:20, 9 March 2009)
- Equal-slices distribution for DHJ(k) (17:37, 10 March 2009)
- Austin's proof (15:35, 12 March 2009)
- Bibliography (17:34, 12 March 2009)
- Abstract regularity lemma (01:43, 14 March 2009)
- Tidy problem page (04:32, 14 March 2009)
- Sperner's theorem (06:15, 17 March 2009)
- A second outline of a density-increment argument (05:59, 18 March 2009)
- Roth's theorem (16:18, 19 March 2009)
- Proof of DHJ(3) via density-increment (14:58, 20 March 2009)
- Austin's proof II (19:36, 1 April 2009)
- Timeline (16:47, 5 April 2009)
- Higher-dimensional Fujimura (07:28, 14 April 2009)
- IP-Szemerédi theorem (23:58, 15 April 2009)
- A general partitioning principle (12:18, 16 April 2009)
- Outline of first paper (20:08, 21 April 2009)
- Modification of the Ajtai-Szemerédi argument (11:53, 22 April 2009)
- Passing between measures (16:55, 23 April 2009)
- Line free sets correlate locally with dense sets of complexity k-2 (12:10, 24 April 2009)
- DHJ(k) implies multidimensional DHJ(k) (12:10, 24 April 2009)
- Ergodic-inspired methods (23:08, 29 April 2009)
- Biblio.tex (18:01, 1 May 2009)
- A Hilbert space lemma (13:55, 18 May 2009)
- Folkman's theorem (04:05, 21 May 2009)
- Hindman's theorem (04:06, 21 May 2009)
- DJH(1,3) (02:50, 29 May 2009)
- Genetic.tex (18:43, 31 May 2009)
- A general result about density increments (21:54, 4 June 2009)
- Kakeya problem (00:35, 5 June 2009)
- Obstructions to uniformity (01:02, 5 June 2009)
- C code for Moser (20:34, 7 June 2009)
- Lookup table C code (19:14, 9 June 2009)
- 3D Moser statistics (10:05, 10 June 2009)
- A-statistics code (10:06, 10 June 2009)
- Insensitive.tex (13:05, 11 June 2009)
- Lookup table (13:07, 11 June 2009)
- Optimal a-set pairs (13:18, 11 June 2009)
- Optimal a-set pair code (13:18, 11 June 2009)
- Stdout output (16:50, 11 June 2009)
- File output (16:50, 11 June 2009)
- Dhj.bib (12:59, 12 June 2009)
- Second lookup table C code (18:33, 12 June 2009)
- Scanning code (18:34, 12 June 2009)
- Matlab script (08:44, 16 June 2009)
- 4D Moser sets with d at least 4 have at most 40 points (08:47, 16 June 2009)
- 4D Moser sets with d at least 2 have at most 42 points (08:48, 16 June 2009)
- 4D Moser sets with d at least 3 has at most 41 points (08:49, 16 June 2009)
- Human proof of the 3D Pareto-optimal Moser statistics (08:50, 16 June 2009)
- Sperner.tex (21:21, 24 June 2009)
- Outline.tex (21:21, 24 June 2009)
- Easy.tex (21:22, 24 June 2009)
- Outro.tex (21:23, 24 June 2009)
- Equal-slices measure (08:31, 30 June 2009)
- Classification of (6,12,18,4,0) sets (15:33, 2 July 2009)
- 4D Moser brute force search (22:12, 6 July 2009)
- Dhj.sty (13:23, 8 July 2009)
- Abstract.tex (13:23, 8 July 2009)
- Intro.tex (13:24, 8 July 2009)
- Concepts.tex (13:24, 8 July 2009)
- Equal-slices.tex (13:25, 8 July 2009)
- Measures.tex (13:25, 8 July 2009)
- Correlation.tex (13:26, 8 July 2009)
- Partitioning.tex (13:26, 8 July 2009)
- Theproof.tex (13:27, 8 July 2009)
- Maple calculations (21:52, 9 July 2009)
- Coloring Hales-Jewett theorem (11:18, 19 July 2009)
- Fujimura.tex (06:46, 27 July 2009)
- Higherk.tex (06:48, 27 July 2009)
- Coloring.tex (09:08, 28 July 2009)
- The complexity class NP (14:19, 28 July 2009)
- P=NP implies a deterministic algorithm to find primes (14:35, 28 July 2009)
- The complexity class DTIME (14:38, 28 July 2009)
- The complexity class BPP (09:28, 29 July 2009)
- The complexity class P (10:13, 30 July 2009)
- Pseudo-random generators (PRG) (23:21, 31 July 2009)
- The complexity class BQP (15:01, 1 August 2009)
- Finding primes with O(k) random bits (05:07, 3 August 2009)
- Friedlander-Iwaniec theorem (10:08, 8 August 2009)
- Factoring (10:24, 8 August 2009)
- Cramer's random model for the primes (10:39, 8 August 2009)
- Hardy-Littlewood prime tuples conjecture (10:43, 8 August 2009)
- The complexity class promise-BPP (06:56, 9 August 2009)
- List of results implied by the Riemann Hypothesis (14:54, 9 August 2009)
- Iterated sumsets of log-primes (08:01, 12 August 2009)
- Signed sums of prime reciprocals (10:43, 12 August 2009)
- Bertrand's postulate (06:59, 18 August 2009)
- Prime gaps (16:39, 19 August 2009)
- Discrete logarithm (16:52, 19 August 2009)
- Generic prime (17:05, 19 August 2009)
- Smooth number (17:39, 19 August 2009)
- Schinzel's hypothesis H (17:49, 19 August 2009)
- An efficient algorithm exists if Cramer's conjecture holds (18:09, 19 August 2009)
- Cramer's conjecture (18:10, 19 August 2009)
- Odlyzko's method (11:02, 22 August 2009)
- Kolmogorov complexity (06:23, 28 August 2009)
- Prime counting function (13:58, 31 August 2009)
- Polynomial strategy (22:46, 18 September 2009)
- Genetic algorithm (00:15, 20 September 2009)
- Corners theorem (10:15, 16 October 2009)
- TeX files for first paper (10:59, 20 October 2009)
- Line-free sets correlate locally with complexity-1 sets (10:46, 21 October 2009)
- Integer.tex (16:11, 12 December 2009)
- 6th roots of unity (12:01, 9 January 2010)
- 4th roots of unity (12:06, 9 January 2010)
- T32-invariant sequences (07:21, 10 January 2010)
- The HAP-subsequence structure of that sequence (09:49, 10 January 2010)
- T2(x) = -T3(x) (13:03, 10 January 2010)
- T2(x) = -x (13:38, 10 January 2010)
- T2(x) = T5(x) = -x (14:39, 10 January 2010)
- Convert raw input string into CSV table (10:16, 11 January 2010)
- Verify the bounded discrepancy of sequence (12:44, 11 January 2010)
- Verify the bounded discrepancy of an input sequence (18:43, 11 January 2010)
- Sequence of length 1112 (10:02, 12 January 2010)
- HAP table for Sequence of length 1112 (10:04, 12 January 2010)
- HAP tables for Sequence of length 470 (10:17, 12 January 2010)
- Depth-first search (15:06, 12 January 2010)
- The first 1124-sequence (19:43, 12 January 2010)
- T m(x) = (+/-)T n(x) (23:59, 12 January 2010)
- Search for completely multiplicative sequences (02:38, 13 January 2010)
- Proposals for finding long low-discrepancy sequences (04:19, 13 January 2010)
- Limits with better properties (05:02, 14 January 2010)
- Computing a HAP basis (14:44, 14 January 2010)
- Dirichlet inverses (17:01, 14 January 2010)
- Moser.tex (23:42, 15 January 2010)
- Dhj-lown.tex (23:42, 15 January 2010)
- Shifts and signs (11:07, 17 January 2010)
- Length 1124 sequences (14:50, 18 January 2010)
- The prime factors of the places where the first two sequences of length 1124 differ (14:57, 18 January 2010)
- Sequence of length 1091 (15:37, 18 January 2010)
- Dhj-lown-lower.tex (19:33, 19 January 2010)
- Moser-lower.tex (19:34, 19 January 2010)
- Estimate the number of discrepancy 2 sequences (14:20, 20 January 2010)
- Sequences given by modulated Sturmian functions (23:18, 20 January 2010)
- Sequence of length 3250 (02:42, 21 January 2010)
- Short sequences statistics (11:03, 22 January 2010)
- Low discrepancy on PAPs (00:23, 23 January 2010)
- Introduction.tex (00:52, 23 January 2010)
- Outline of second paper (09:27, 23 January 2010)
- First obtain multiplicative structure and then obtain a contradiction (12:27, 23 January 2010)
- Character-like functions (14:46, 24 January 2010)
- Drift (02:21, 25 January 2010)
- Topological dynamics formulation (09:50, 25 January 2010)
- Upper and lower discrepancy (13:59, 25 January 2010)
- Polymath.tex (20:37, 25 January 2010)
- Find a different parameter, show that it tends to infinity, and show that that implies that the discrepancy tends to infinity (01:56, 28 January 2010)
- Prove the result for shifted HAPs instead of HAPs (15:02, 28 January 2010)
- Algorithm for finding multiplicative sequences with bounded discrepancy (06:44, 29 January 2010)
- Multiplicative.c (09:43, 2 February 2010)
- Wirsing translation (17:50, 2 February 2010)
- Computer proof that completely multiplicative sequences have discrepancy greater than 2 (09:59, 3 February 2010)
- Multiplicative sequences (20:44, 5 February 2010)
- Discrepancy 3 multiplicative sequence of length 13186 (00:45, 6 February 2010)
- Depth-first search for multiplicative sequences (05:44, 6 February 2010)
- Find a good configuration of HAPs (08:45, 7 February 2010)
- Create tables in an HTML file from an input sequence (18:46, 18 February 2010)
- Pseudointegers (01:17, 23 February 2010)
- Vectors for the dual SDP (12:57, 4 March 2010)
- Forced Drifts in Multiplicative Sequences (20:32, 2 April 2010)
- Forced Drift of Six in Multiplicative Sequences (07:25, 3 April 2010)
- Polymath1 (13:58, 23 April 2010)
- Fourier reduction (17:46, 12 May 2010)
- Omega(N) (11:01, 13 May 2010)
- Generalize to a graph-theoretic formulation (09:39, 25 May 2010)
- Definable Banach Spaces (01:32, 10 June 2010)
- Bounded Dirichlet inverse (23:03, 21 June 2010)
- Representation of the diagonal (09:18, 3 July 2010)
- Obtaining the correct bound in Roth's discrepancy theorem (13:53, 3 July 2010)
- Quasirandomness (06:08, 8 July 2010)
- Roth's Theorem concerning discrepancy on Arithmetic Progression (17:07, 16 July 2010)
- Imo 2010 (05:04, 26 July 2010)
- Sequence of length 714 (06:49, 31 July 2010)
- Refined greedy computation of multiplicative sequences (06:50, 31 July 2010)
- Bounding the discrepancy in terms of the common difference (00:09, 2 August 2010)
- Function field version (06:11, 5 August 2010)
- Immerman-Vardi theorem (08:07, 10 August 2010)
- Update (17:35, 11 August 2010)
- Lindell's Critique (20:18, 11 August 2010)
- Immerman's letter (23:56, 12 August 2010)
- Thue-Morse-Hedlund Sequence (06:26, 13 August 2010)
- Random k-SAT (10:29, 15 August 2010)
- Polylog parameterizability (21:07, 18 August 2010)
- Hyper-optimistic conjecture (15:49, 22 August 2010)
- "Low Dimensions" grant acknowledgments (13:46, 23 August 2010)
- Online reactions to Deolalikar P vs NP paper (00:03, 17 September 2010)
- Matryoshka Sequences (06:28, 29 September 2010)
- Low discrepancy on primes and powers of 2 (06:53, 3 October 2010)
- Longest constrained sequences (11:21, 8 October 2010)
- Length 1120 sequences (12:47, 8 October 2010)
- Updating partial sums with Fenwick tree (19:37, 27 December 2010)
- Basic facts about Bohr sets (09:56, 6 February 2011)
- Dhj.tex (16:14, 6 February 2011)
- BK:Section 3 (21:13, 7 February 2011)
- Improving the bounds for Roth's theorem (05:28, 12 February 2011)
- Finding primes (04:18, 14 February 2011)
- Oracle counterexample to finding pseudoprimes (19:17, 24 February 2011)
- Polymath4 grant acknowledgments (10:15, 3 April 2011)
- The polynomial Hirsch conjecture (13:31, 14 August 2011)
- Deolalikar P vs NP paper (16:42, 30 September 2011)
- Quantum Arrow's Theorem (09:21, 8 October 2011)
- Boshernitzan’s problem (03:55, 3 January 2012)
- Meissel-Lehmer method (23:39, 28 February 2012)
- Original Elsevier statement (12:55, 2 March 2012)
- Imo 2011 (14:20, 3 June 2012)
- Thin triangles (11:50, 12 June 2012)
- Stability of eigenfunctions (15:42, 14 July 2012)
- Overlapping Schwarz (18:39, 18 July 2012)
- Imo 2012 (09:58, 5 August 2012)
- The cost of knowledge (12:30, 28 September 2012)
- Que porra n tem nada pra fazer network penetration test (13:30, 30 December 2012)
- Jun Fukuyama's P≠NP Paper (09:26, 6 February 2013)
- Journal publishing reform (18:31, 10 April 2013)
- Imo 2009 q6 (12:19, 13 June 2013)
- Higher-dimensional DHJ numbers (20:25, 15 June 2013)
- Benchmarks of small admissible tuples (17:30, 20 June 2013)
- W-trick (03:05, 5 July 2013)
- Dickson-Hardy-Littlewood theorems (19:53, 27 July 2013)
- Distribution of primes in smooth moduli (11:56, 11 October 2013)
- Finding optimal k0 values (16:14, 20 October 2013)
- Complexity of a set (13:06, 30 October 2013)