5 citations · 5 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Exact Separation of Words via Trace Geometry
Zeyu Chen, Junde Wu
A basic question in the study of measure-once quantum finite automata is whether two distinct input words can be separated with certainty. The exact separation problem reduces to a…
cs.FL2025
Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
Zeyu Chen, Junde Wu
Affine automata provide a finite-state computational model that preserves the linear-algebraic structure of quantum computation while operating entirely over the reals. Recent work…