6 papers
Block-exchange descent for insertion: commuting projections and minimum masks
Haobo Ma, Wenlin Zhang, Charles E. Hughes
For fixed nonempty words , the minimum insertion degree of a shuffle is the least number of inserted-source runs among its representations. We prove that, after a block exchan…
Sharp zero forcing numbers for the generalized Petersen graphs and
Arnav Krishnan, Haobo Ma, Wenlin Zhang
We prove that for every and for every , with both stabilization thresholds sharp, and give the exact values for all smaller admissible…
Coherent and dissipative coupling of multiple photon-magnon hybrids in a chiral microwave resonator
Supanat Chantarattana, Charlie W. F. Freeman, Daniel Prestwood +3
We demonstrate control between level repulsion and level attraction of photon-magnon coupling spectra in a chiral microwave-photon resonator loaded with a 2 mm YIG sphere. By syste…
On the coincidence of discrete and continuous definitions of Entanglement of Formation
Haobo Ma, Maksim E. Shirokov, Wenlin Zhang
It is proved that every Borel ensemble of pure states on a separable bipartite Hilbert space with finite average entanglement admits a countable ensemble with the same barycenter a…
A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver
Haobo Ma, Wenlin Zhang, Manuel Israel Cázares
The SAIR Mathematics Distillation Challenge on Equational Theories asks a solver to classify whether one magma identity implies another and, for either verdict, to return a certifi…
Mechanism-level routing failure in LLMs over Lean-verified algebraic structures
Manuel Israel Cázares, Wenlin Zhang, Haobo Ma
We present an empirical study of structural routing failure in large language models (LLMs) over a formally verified algebraic corpus. The task requires selecting the correct proof…