Repository navigation

feat(Quantum): NQTIME, EQTIME and PostBQTIME in DTIME[2^O(T/√log T)] by exact gap contraction - #2099

Merged

SamuelSchlesinger merged 22 commits into

mainfrom

claude/quantum-exact-classes

Oct 31, 2026

Merged

feat(Quantum): NQTIME, EQTIME and PostBQTIME in DTIME[2^O(T/√log T)] by exact gap contraction#2099
SamuelSchlesinger merged 22 commits into
mainfrom
claude/quantum-exact-classes

Commits on Oct 31, 2026
- feat(Quantum): the acceptance gap of a circuit as a tensor contraction
  
  SamuelSchlesinger
  and
  claude
  committed
  d5a8e21
- Merge remote-tracking branch 'origin/main' into claude/bqtime-path-contraction
  SamuelSchlesinger
  committed
  3342124
- wip(Quantum): gates of occurrences and readers of link edges
  
  SamuelSchlesinger
  and
  claude
  committed
  52b8bdb
- fix(Quantum): use simp only for non-terminal simp calls
  
  SamuelSchlesinger
  and
  claude
  committed
  692c545
- Merge branch 'claude/bqtime-path-contraction' into claude/bqtime-bipartition
  SamuelSchlesinger
  committed
  7aff83e
- Merge remote-tracking branch 'origin/main' into claude/bqtime-class
  SamuelSchlesinger
  committed
  6cdcf53
- feat(Quantum): bipartition and polynomial-time construction of the path network
  
  SamuelSchlesinger
  and
  claude
  committed
  c6b574f
- wip(Quantum): BQTIME and the contraction simulator
  
  SamuelSchlesinger
  and
  claude
  committed
  8da556b
- feat(Quantum): BQTIME[T] in DTIME[2^O(T/sqrt log T)] by tensor contraction
  
  SamuelSchlesinger
  and
  claude
  committed
  c602fa7
- test(Quantum): BQTIME and the contraction simulator
  
  SamuelSchlesinger
  and
  claude
  committed
  64e6c91
- doc(Quantum): list the bipartition results of the path network
  
  SamuelSchlesinger
  and
  claude
  committed
  43bf8d3
- Merge remote-tracking branch 'origin/main' into claude/bqtime-class
  SamuelSchlesinger
  committed
  3bf92fe
- refactor(TensorNetwork): share explicit-network tables and the indicator product
  
  SamuelSchlesinger
  and
  claude
  committed
  2b7fa12
- Merge remote-tracking branch 'origin/claude/bqtime-path-contraction' into HEAD
  SamuelSchlesinger
  committed
  49d7484
- refactor(BQP): share tables, list sums and scale estimates; name gapValue components
  
  SamuelSchlesinger
  and
  claude
  committed
  bb23fd1
- Merge origin/main into claude/bqtime-path-contraction
  
  SamuelSchlesinger
  and
  claude
  committed
  dbd4dee
- Merge remote-tracking branch 'origin/claude/bqtime-path-contraction' into claude/bqtime-class
  
  SamuelSchlesinger
  and
  claude
  committed
  e739c9b
- Merge remote-tracking branch 'origin/main' into claude/bqtime-class
  
  SamuelSchlesinger
  and
  claude
  committed
  0ad102b
- feat(Quantum): NQTIME, EQTIME and PostBQTIME in DTIME[2^O(T/sqrt log T)] by projected gaps
  
  SamuelSchlesinger
  and
  claude
  committed
  d87e4f2
- refactor(Quantum): derive acceptance bounds from onesProb; drop a private power helper
  
  SamuelSchlesinger
  and
  claude
  committed
  c858bc4
- Merge origin/main into claude/quantum-exact-classes
  
  SamuelSchlesinger
  and
  claude
  committed
  88c22a1
- refactor(Quantum): define acceptGap as onesGap [0]; drop acceptTerm
  
  SamuelSchlesinger
  and
  claude
  committed
  bc8c06e

Commits

Commits on Oct 31, 2026