2 papers
math.NA2026
Low-Memory Numerical Certification
Paul Breiding, Taylor Brysiewicz, David K. Johnson
We introduce a low-memory framework for certifying numerical solutions to polynomial systems which uses solution iterators and spatial partitioning trees to reduce memory requireme…
math.SP2026
A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schrödinger operators
Taylor Brysiewicz, Matthew Faust, Wencai Liu
Using numerical certification, we prove the existence of a nontrivial real-valued two dimensional periodic potential whose associated discrete Schrödinger operator is Fermi isospe…