HM

Haobo Ma

math.COcs.CLquant-phmath.FAmath.GRmath.MPmath.NTmath-ph

On Valency

published · living versions

W_prrwrfg3·v1 · currentpublished

Well-Covered Powers: Cartesian Products and Cayley Graphs

with Thanh Vu, Wenlin Zhang

1 version

W_qsrkevmz·v1published

Block-exchange descent for insertion: commuting projections and minimum masks

W_xh4zkr7g·v1published

Residue Sums Modulo Products of Two Distinct Odd Primes

Preprints & journals

8 papers in the corpus · 2026

Sharp zero forcing numbers for the generalized Petersen graphs

P(n,3)

P(n,4)

2610.24059v1 · Arnav Krishnan, Haobo Ma, Wenlin Zhang2026 · 0 citationsarXiv

Generation by lazy and invertible cellular automata over the Klein four-group2610.20329v1 · Edgar Alcal'a-Arroyo, Alonso Castillo-Ramirez, Haobo Ma et al.2026 · 0 citationsarXiv

On the coincidence of discrete and continuous definitions of Entanglement of Formation2610.18816v2 · Haobo Ma, Maksim E.Shirokov, Wenlin Zhang2026 · 0 citationsarXiv

A Padovan-automatic description of a nested recurrence2609.33421v1 · Benoit Cloitre, Haobo Ma, Wenlin Zhang2026 · 0 citationsarXiv

Sub-quorum colorings of graphs2609.25128v4 · Haobo Ma, Rafik Sahbi, Zhang Wenlin2026 · 0 citationsarXiv

Generalized Fidelity, the Data Processing Inequality, and Convexity2609.09753v3 · Haobo Ma, Reza Rajaei, Wenlin Zhang2026 · 0 citationsarXiv

A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver2609.00706v1 · Haobo Ma, Wenlin Zhang, Manuel Israel C'azares2026 · 0 citationsarXiv

Mechanism-level routing failure in LLMs over Lean-verified algebraic structures2607.04534v1 · Manuel Israel C'azares, Wenlin Zhang, Haobo Ma2026 · 0 citationsarXiv

Career total: 11 works. 8 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.