A block-product gadget with shared period-2 orbits but irrational eigenvalue log-ratios produces an AdaBoost burst-winner sequence with irrational asymptotic frequency, proving non-periodicity.
Sympy: symbolic computing in python.PeerJ Computer Science, 3:e103, 2017
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A hybrid path-sum reduction plus weighted model counting method yields a complete equivalence checker for quantum circuits up to global phase.
citing papers explorer
-
AdaBoost Does Not Always Cycle: A Computer-Assisted Counterexample
A block-product gadget with shared period-2 orbits but irrational eigenvalue log-ratios produces an AdaBoost burst-winner sequence with irrational asymptotic frequency, proving non-periodicity.
-
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
A hybrid path-sum reduction plus weighted model counting method yields a complete equivalence checker for quantum circuits up to global phase.