Hainan Zhao

Defect Flow, Incidence Rank, and Boundary Descent for Seymour's Second-Neighborhood Conjecture

We develop a degree-independent structural toolkit for Seymour's second-neighborhood conjecture. The main contributions are block and trap defect factorizations, arbitrary-baseline total-defect balance, protected-parent and Hall-deficiency separator geometry, Boolean defect flow...

Defect Flow, Incidence Rank, and Boundary Descent for Seymour's Second-Neighborhood Conjecture

We develop a degree-independent structural toolkit for Seymour's second-neighborhood conjecture. The main contributions are block and trap defect factorizations, arbitrary-baseline total-defect balance, protected-parent and Hall-deficiency separator geometry, Boolean defect flow...

A Certified Canonical Census of One-Place Stark Invariants over Real Quadratic Fields: Exact Quadratic Value Orbits and the Higher-Order Frontier

Version 1.1 corrects the orbit-count display, theorem notation and nonvanishing explanation, the sextic certificate partition, and an integral-basis error in three Engine-B geometry screens. The corrected exact ledger has 22 proved noncanonical Engine-B transports and 210 open me...

Effective Archimedean Stark Theorems over Real Quadratic Fields: Quadratic Support, Shintani Transfer, and CM Descent

Version 1.5 integrates the certified RQ-000013 addendum into the main paper and removes the standalone addendum PDF from the top-level release inventory. The main upload is named effective-stark-results-00-main-paper.pdf so lexical file ordering places the paper before the compan...