6 papers
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 Padovan-automatic description of a nested recurrence
Benoit Cloitre, Haobo Ma, Wenlin Zhang
We study the sequence , and for , listed as A076502 in the On-Line Encyclopedia of Integer Sequences. We identify as a two…
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…