Skip to content

feat(wordram): compute the Chan–He two-prime modulus natively #1506

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
edemaine wants to merge 55 commits into from
+651 −0
Closed

feat(wordram): compute the Chan–He two-prime modulus natively #1506

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
55 commits
Select commit Hold shift + click to select a range
6094ec9
feat(exactTriangle): relate lopsided queries and matrix products
edemaine Oct 28, 2026
dec963a
feat(exactTriangle): prove modular counts and the selected-prime bound
edemaine Oct 28, 2026
0d8da3e
doc(threeSum): cite the lopsided triangle paper and clarify adaptatio…
edemaine Oct 28, 2026
8d80ecc
doc(bibliography): sort the new paper entry
edemaine Oct 28, 2026
fd69be7
fix(exactTriangle): repair the prime-window header and hashing docume…
edemaine Oct 28, 2026
ce646c7
feat(exactTriangle): split modular queries and recover witnesses
edemaine Oct 28, 2026
2cae26c
doc(threeSum): record finite splitting and recovery milestone
edemaine Oct 28, 2026
dc4206a
refactor(exactTriangle): reuse the natural residue bound and clarify …
edemaine Oct 28, 2026
19ee942
feat(wordram): count Chan–He collisions with native histograms
edemaine Oct 28, 2026
a712205
fix(wordram): preserve collision-counting parameters explicitly
edemaine Oct 28, 2026
5cbb93d
feat(wordram): compute Chan–He parameters from native input
edemaine Oct 28, 2026
0505439
fix(wordram): repair parameter proof hygiene and ceiling-log docs
edemaine Oct 28, 2026
0e05605
feat(wordram): implement prime tables and collision minimum searches
edemaine Oct 28, 2026
a5a5391
feat(wordram): compute the Chan–He two-prime modulus natively
edemaine Oct 28, 2026
d32859e
refactor(wordram): reuse prime counts and test later acceptance
edemaine Oct 28, 2026
1085648
doc(wordram): explain the Chan-He prime-window interface
edemaine Oct 28, 2026
48a0fa3
chore(exactTriangle): merge current main for sibling integration
codex Oct 29, 2026
3fb98bd
chore(exactTriangle): join reviewed query splitting and counting layers
codex Oct 29, 2026
d1bc583
chore(exactTriangle): reconcile modular-hashing integration documenta…
SamuelSchlesinger Oct 29, 2026
c0b0511
chore(exactTriangle): carry hashing integration through query splitting
SamuelSchlesinger Oct 29, 2026
a76a7d3
chore(exactTriangle): carry documentation integration through native …
SamuelSchlesinger Oct 29, 2026
4f6de79
fix(imports): deduplicate aggregate after counting integration
SamuelSchlesinger Oct 29, 2026
02f1b49
fix(imports): deduplicate aggregate after query-splitting integration
SamuelSchlesinger Oct 29, 2026
b17ece3
Merge commit '4f6de797203eb5dac02b2cadd9e8fa33e7427d57' into coordina…
SamuelSchlesinger Oct 29, 2026
e031b72
Merge remote-tracking branch 'origin/main' into coordinator/integrate…
SamuelSchlesinger Oct 29, 2026
b79ae8e
fix(imports): regenerate aggregate after Chan-He parameter integration
SamuelSchlesinger Oct 29, 2026
f219cb7
chore(three-sum): integrate reviewed prime search with parameter supp…
SamuelSchlesinger Oct 29, 2026
ec9351c
chore(three-sum): merge current main before prime-search validation
SamuelSchlesinger Oct 29, 2026
4d3d55a
chore(three-sum): integrate reviewed modulus with refreshed prime search
SamuelSchlesinger Oct 29, 2026
3552eb0
Merge remote-tracking branch 'origin/main' into integrate/1497-remain…
SamuelSchlesinger Oct 29, 2026
5337d45
Merge branch 'integrate/1497-remainingmath-20261029' into integrate/1…
SamuelSchlesinger Oct 29, 2026
eb8f925
perf(three-sum): check native query tests within default heartbeats
SamuelSchlesinger Oct 29, 2026
b94e77f
perf(three-sum): run modulus instance within default heartbeats
SamuelSchlesinger Oct 29, 2026
ab3e96c
chore(integration): reconcile splitting layer with landed hashing parent
SamuelSchlesinger Oct 29, 2026
9c8b9fc
perf(wordram): reduce native parameter proof heartbeat budget
SamuelSchlesinger Oct 29, 2026
0c9b346
Merge remote-tracking branch 'github/main' into coordinator-heartbeat…
SamuelSchlesinger Oct 29, 2026
da6a301
chore(integration): adopt splitting layer after its parent landed
SamuelSchlesinger Oct 29, 2026
452924e
chore(wordram): scope measured parameter proof budget to reduction task
SamuelSchlesinger Oct 29, 2026
6aaf569
Merge commit 'da6a301aca1e0c03e6953b3329474b2236f0fac8' into coordina…
SamuelSchlesinger Oct 29, 2026
170d9eb
Merge remote-tracking branch 'origin/p1469' into integrate/1497-remai…
SamuelSchlesinger Oct 29, 2026
af80519
Merge branch 'integrate/1497-remainingmath-20261029' into integrate/1…
SamuelSchlesinger Oct 29, 2026
8a81617
Merge remote-tracking branch 'github/main' into coordinator-refresh-1…
SamuelSchlesinger Oct 29, 2026
618654d
Merge commit '8a81617ea81ea15a43e8581ceb848ec31ed2126b' into coordina…
SamuelSchlesinger Oct 29, 2026
5f1d90a
Merge commit '618654db3356a6a45b35091d0b9605c4401c3e61' into coordina…
SamuelSchlesinger Oct 29, 2026
4b2d75c
Merge remote-tracking branch 'github/main' into coordinator-queue-146…
SamuelSchlesinger Oct 29, 2026
1f57c3c
Merge commit '4b2d75ce50dbca1101868ed3726170770d0a3e77' into coordina…
SamuelSchlesinger Oct 29, 2026
e2bf09d
Merge remote-tracking branch 'github/main' into coordinator-warm-1497
SamuelSchlesinger Oct 29, 2026
4b71a93
doc(roadmap): restore tensor milestone reference
SamuelSchlesinger Oct 29, 2026
6a18c48
Merge commit '4b71a936e4f8f33ff009045bf58d9a1c3d7400c1' into coordina…
SamuelSchlesinger Oct 29, 2026
24a8774
Merge commit 'a1d1fa882117891cabd7865b108d12b5eb850d5b' into coordina…
SamuelSchlesinger Oct 29, 2026
4cb34a9
doc(roadmap): separate native Chan-He progress from tensor work
SamuelSchlesinger Oct 29, 2026
7023643
Merge commit '4cb34a93df09ff1776a998df7565d98ad7df9644' into coordina…
SamuelSchlesinger Oct 29, 2026
ad112d3
Merge commit 'cf63e382d02ba396b4f8d460958d70b15735f23e' into coordina…
SamuelSchlesinger Oct 29, 2026
490d996
Merge commit 'ad112d34ed1a803ad492859089800e30b1213541' into coordina…
SamuelSchlesinger Oct 29, 2026
45296a2
chore(wordram): integrate modulus with landed prime-search main
SamuelSchlesinger Oct 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -152,6 +152,7 @@ public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.Count
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.CountCall
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.CountFrame
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.CountTriple
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.Modulus
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.Parameters
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.Query
public import Complexity.Algorithms.WordRAM.ThreeSum.ChanHe.Residues
Expand Down
Loading
Loading