 Atri Rudra
|
29afac852e
|
Done with pass
|
2020-06-23 10:57:17 -04:00 |
|
|
Atri Rudra
|
a1a8e7edfb
|
Done till Sec 2.1
|
2020-06-23 10:30:36 -04:00 |
|
|
Atri Rudra
|
de85ce5dc8
|
Started pass on Sec 2
|
2020-06-23 10:16:57 -04:00 |
|
|
Atri Rudra
|
61751a28c6
|
Made pass on Sec 1
|
2020-06-23 09:57:35 -04:00 |
|
 Aaron Huber
|
023fdf6750
|
Lemma 1 and Lemma 2 of poly write up
|
2020-06-23 09:46:38 -04:00 |
|
|
Aaron Huber
|
1fa25f9e4b
|
Lemmas 1 and 2 of polywriteup.
|
2020-06-22 15:45:34 -04:00 |
|
|
Aaron Huber
|
39907db711
|
Changes completed from 061720 Atri comments.
|
2020-06-19 14:55:07 -04:00 |
|
|
Aaron Huber
|
49188a6c2c
|
Changes to Poly formulation.
|
2020-06-18 15:19:59 -04:00 |
|
|
Aaron Huber
|
48afe29b9c
|
More poly-formulation.
|
2020-06-17 10:58:02 -04:00 |
|
|
Aaron Huber
|
9c59544bef
|
Proof for \tilde{Q}(p,...p)
|
2020-06-15 18:38:10 -04:00 |
|
|
Aaron Huber
|
3e3ec84622
|
Started texing poly reformation write up.
|
2020-06-12 11:45:15 -04:00 |
|
|
Aaron Huber
|
a892a91480
|
Test push.
|
2020-06-09 17:27:07 -04:00 |
|
|
Aaron Huber
|
e8dc43e66b
|
Started description and analysis of David's scheme.
|
2020-05-08 11:05:13 -04:00 |
|
|
Aaron Huber
|
166bf05a6a
|
Comments from 050120 meeting.
|
2020-05-01 14:17:17 -04:00 |
|
|
Aaron Huber
|
0054717121
|
Started sop.
|
2020-05-01 11:43:07 -04:00 |
|
|
Aaron Huber
|
c9cef7ac03
|
Notes on potential bugs.
|
2020-04-30 11:57:49 -04:00 |
|
|
Aaron Huber
|
fa503b469b
|
Some minor changes.
|
2020-04-29 15:57:52 -04:00 |
|
|
Aaron Huber
|
ac2679081c
|
Lemma 5 for T_1, and Lemma 6 for eq(97).
|
2020-04-29 12:17:10 -04:00 |
|
|
Aaron Huber
|
b1f82a318f
|
More changes
|
2020-04-27 17:02:58 -04:00 |
|
|
Aaron Huber
|
6d33fe6de1
|
Changes suggested 042420.
|
2020-04-27 13:03:14 -04:00 |
|
|
Aaron Huber
|
e29fa00a8b
|
Notes added from 042420 meeting.
|
2020-04-24 14:02:09 -04:00 |
|
|
Aaron Huber
|
af16a820ed
|
Proof sketch to S_2 having no double counting.
|
2020-04-24 12:06:20 -04:00 |
|
|
Aaron Huber
|
d1d533c2b6
|
Added some notes, lemmas.
|
2020-04-24 09:57:53 -04:00 |
|
|
Aaron Huber
|
86c3bdf53a
|
Formal proof added for equation equality.
|
2020-04-22 12:56:43 -04:00 |
|
|
Aaron Huber
|
2cb84b6204
|
Rewritten proof for \lambda(j, j'), j \neq j'
|
2020-04-20 12:37:19 -04:00 |
|
|
Aaron Huber
|
73fbc8f6a0
|
Notes added from 041720
|
2020-04-17 14:12:31 -04:00 |
|
|
Aaron Huber
|
4f00796b93
|
Corrections.
|
2020-04-17 12:06:13 -04:00 |
|
|
Aaron Huber
|
ffbcd1c972
|
Corrections.
|
2020-04-17 11:24:21 -04:00 |
|
|
Atri Rudra
|
4b5edc2920
|
Made pass till argument for (93)
|
2020-04-16 22:57:03 -04:00 |
|
|
Atri Rudra
|
3e99b18c77
|
Done with pass on Sec 11 (till Sec 1.1)
|
2020-04-16 22:31:08 -04:00 |
|
|
Atri Rudra
|
f2a5ee8d6f
|
Changed Aaron's comment background to cyan
|
2020-04-16 22:15:26 -04:00 |
|
|
Aaron Huber
|
38648e9ecd
|
Added expectation proof for k-way product.
|
2020-04-16 17:26:58 -04:00 |
|
|
Aaron Huber
|
6139c8274a
|
\sigsq_j explicitly argued.
|
2020-04-16 12:02:52 -04:00 |
|
|
Aaron Huber
|
c6afe1d9a5
|
Finished Lemma 2.
|
2020-04-16 10:39:52 -04:00 |
|
|
Aaron Huber
|
7f44d527bc
|
More proving lemma 2.
|
2020-04-15 18:49:49 -04:00 |
|
|
Aaron Huber
|
67b0ecdabb
|
Rewriting Lemma 2 proof.
|
2020-04-14 18:26:57 -04:00 |
|
|
Aaron Huber
|
63b52d364a
|
Prose description of equation 92, 93 equivalency.
|
2020-04-14 17:13:47 -04:00 |
|
|
Aaron Huber
|
fc7790ef31
|
Started changes suggested 041020.
|
2020-04-13 12:01:35 -04:00 |
|
|
Atri Rudra
|
817007cdbb
|
Done with pass on Sec 11
|
2020-04-10 11:11:53 -04:00 |
|
|
Atri Rudra
|
0691cc8298
|
Started to add comments on SOP section.
|
2020-04-10 10:58:08 -04:00 |
|
|
Aaron Huber
|
e78cb83be7
|
Ordering requirement to omit symmetric functions
|
2020-04-09 10:43:06 -04:00 |
|
|
Aaron Huber
|
257aa9dbdb
|
Changes via 040320 meeting.
|
2020-04-06 11:35:13 -04:00 |
|
|
Aaron Huber
|
6fe8a72497
|
Formal proofs for Lemma 2
|
2020-04-03 10:47:13 -04:00 |
|
|
Aaron Huber
|
2b4920d035
|
Started changes to Lemma 2, still working out a few bugs.
|
2020-04-02 18:22:34 -04:00 |
|
|
Aaron Huber
|
ecddb5c470
|
Updates to Variance Bounds
|
2020-04-01 10:57:37 -04:00 |
|
|
Aaron Huber
|
fcd84c8c2c
|
Changes per 032720 meeting.
|
2020-03-31 11:52:00 -04:00 |
|
|
Aaron Huber
|
f542d1daf8
|
Corrections per Atri's comments.
|
2020-03-27 12:10:41 -04:00 |
|
|
Atri Rudra
|
2b8bbaa5cd
|
Added comments in Sec 11
|
2020-03-26 20:15:00 -04:00 |
|
|
Aaron Huber
|
18c871e1c8
|
Analysis of k-way joins started
|
2020-03-26 12:38:07 -04:00 |
|
|
Aaron Huber
|
33d9ff7fc9
|
Var(POS) for single joins
|
2020-03-17 21:55:46 -04:00 |
|