arXiv subjects

Haobo Ma

Publications and source records attributed to Haobo Ma.

14 recordsLinked to original sources

arXiv2026

Approximation of a continuous-variable Gaussian state by discrete-variable quantum states

For every centered one-mode continuous-variable Gaussian state, we prove that the signed Wigner periodization defines a discrete-variable density operator in every odd dimension $d\ge3$. Positivity is equivalent to the one-mode uncertainty condition, and we determine the complete inertia outside and on its boundary. A covariance-independent isometric embedding gives exponential convergence in trace norm, with an explicit error bound uniform in Planck's constant. For covariance twice the identity, dimension $31$ gives a certified trace-norm error below $1/8000$. The trace-norm estimate controls all measurement probabilities. We retain the original canonical-coherent-frame formula in terms of the determinant and trace of the covariance matrix, with continuous normalization fixed to agree with the discrete frame convention. The coherence comparisons identify which diagnostics accompany the controlled state approximation. Position- and momentum-basis coherences have exponentially convergent values after division by the square root of the dimension. Numerical comparisons of purity and frame coherence illustrate the discrete-continuous transition.

quant-ph↗

arXiv2026

Time-invariant negativity and persistent bound entanglement in a cyclic two-qutrit family

We study the entanglement dynamics of two qutrits under collective dephasing for a family of states obtained by mixing a maximally entangled state that lives in the decoherence-free subspace with three nonstationary two-term states sharing a common amplitude ratio $r$. We obtain exact PPT and separability regions along the whole trajectory, a specialization of known results on cyclic sign invariant states, and we supply explicit certificates: a finite product decomposition, three fixed positive-map witnesses, and a closed realignment formula that detects every PPT-entangled state, so that no state is left undecided. The negativity is computed in closed form. It shows that the entanglement is time-invariant, positive and constant from the initial time although the state changes, exactly when the weight of the maximally entangled state exceeds the threshold $U_r=r/(1+r+r^2)$. To our knowledge, this is the first demonstration of time-invariant entanglement for qutrit--qutrit systems under collective dephasing. For smaller weights the entanglement decays and vanishes at a finite time: the state either becomes separable (entanglement sudden death) or, for $r\neq1$ in an intermediate range, loses distillability suddenly and remains bound entangled at all later times. Every state with negative partial transpose is one-copy distillable by a fixed local projection. The same trajectories arise from the global dephasing map and from a correlated local random-unitary semigroup, although the two channels differ on product inputs. Exact rational benchmarks and embeddings of the Horodecki and Ha--Kye--Park families are provided.

quant-ph↗

arXiv2026

Well-Covered Powers: Cartesian Products and Cayley Graphs

We study graphs whose powers are well-covered, with an emphasis on Cartesian products and Cayley graphs. We first establish necessary conditions and sufficient criteria for Cartesian products, provide examples showing that a factor need not be well-covered and that two noncomplete factors can have the well-covered powers property, and classify several structured product families. In particular, we construct graphs satisfying the well-covered powers property for arbitrarily large diameters. We then show that the Cartesian square of a connected abelian Cayley graph is well-covered exactly when the graph is complete. We classify the well-covered-power graphs among connected circulant graphs of degree at most four. For Cartesian products of any number of complete graphs, we also prove that the recursive alphabet-size inequalities in the final conjecture are sufficient for all powers to be well-covered, prove partial converses for arbitrarily many factors, and give explicit obstructions for every binary prefix followed by one complete factor.

math.CO↗

arXiv2026

Maximal input entropy for binary two-deletion and two-insertion channels

Under uniform transmission, we determine the received binary words that maximize input entropy for two-deletion and two-insertion channels. For two deletions the maximizers are exactly the two alternating words at every positive received length. For two insertions the same conclusion holds from received length five onward; we give all smaller cases and exact maximal values. The proof combines an embedding-count identity organized by runs with strict convexity estimates, and a grouping of two-position deletion masks. For every insertion radius we give the complete positive embedding histogram of an alternating received word. We also determine its three-deletion histogram for every length, and certify all three-deletion maximizers through received length twelve and all three-insertion maximizers through length eighteen by exact integer comparison. These computations give precise three-error conjectures with their small-length exceptions.

cs.IT↗

arXiv2026

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

For fixed nonempty words $u,v$, the minimum insertion degree of a shuffle is the least number of inserted-source runs among its representations. We prove that, after a block exchange from a minimum mask of degree $r$, the minimum over masks with commuting source projections is exactly $r-1$; a larger decrease occurs precisely when a noncommuting mask has fewer runs. If either source is unary, every such exchange is exact. We prove an explicit repair for an infinite periodic degree-three family. Computer-assisted results establish first-mask descent through combined length seventeen over every alphabet, degree-three first-mask descent through length thirty, and a uniform repair of all degree-three failures through length thirty, including all further letter identifications. Counterexamples to arbitrary, first, and last minimum-mask choices explain the need for alternative masks. Finally, we prove that minimum iteration depths have no gaps for arbitrary languages. General block-exchange descent and Singleton No-Gap remain open.

cs.FL↗

arXiv2026

Residue Sums Modulo Products of Two Distinct Odd Primes

Let $S_m(a)$ denote the sum of the least positive residues in one multiplicative period of $a$ modulo $m$, of length $k$. We study the equality $S_m(a)=mk/2$ for $m=pq$, where $p,q$ are distinct odd primes and $k$ is even. Complementary pairing settles subgroups containing $-1$; the remaining cases depend on their embedding in the two local unit groups. At index four, we exclude mixed cyclic subgroups with biquadratic annihilator and classify every eligible imprimitive quartic kernel using two odd integer moments at its prime conductor. For each fixed conductor, the proportion of admissible second primes giving equality is $1/4$ or $1/2$; full coset balance has proportion $1/4$. For primitive quartic characters, classical triangular character-sum identities yield explicit short-sum criteria, and the relative class-number formula gives an obstruction to a centered coset. At index six, we give structural counts and construct an infinite family modulo $19q$ in which nonzero sextic and quadratic moments cancel. These applications use a standard odd-character expansion, which also recovers the known index-two balance classification and determines the sign of its deviation. A reproducible census for $pq\le10000$ counts $75\,090$ eligible cyclic subgroups and identifies $101$ mixed index-four subgroups whose own sum is centered although some coset sums are not.

math.NT↗

arXiv2026

Generalized Fidelity, the Data Processing Inequality, and Convexity

In this paper, we show that the generalized Bures--Wasserstein distance induced by the generalized fidelity fails the data processing inequality (DPI) in every dimension $n\geq2$. In dimension two, we derive three sufficient conditions guaranteeing the DPI by using an explicit formula for the real part of the generalized fidelity. Furthermore, we find a necessary and sufficient condition under which the generalized fidelity reduces to the Uhlmann fidelity. We also show that neither the generalized Bures--Wasserstein distance nor its square is convex in one state, even with the other state and the reference fixed, in every dimension $n\geq2$.

quant-ph↗

arXiv2026

Sharp zero forcing numbers for the generalized Petersen graphs $P(n,3)$ and $P(n,4)$

We prove that $Z(P(n,3))=8$ for every $n\ge13$ and $Z(P(n,4))=10$ for every $n\ge18$, with both stabilization thresholds sharp, and give the exact values for all smaller admissible $n$. The first equality proves Krishnan's Conjecture 5; his Proposition 4 supplies its upper bound. The lower bounds use the external boundary of the first forcing sources: ten vertices have boundary at least eight in $P(n,3)$ for $n\ge14$, and sixteen vertices have boundary at least ten in $P(n,4)$ for $n\ge20$. Deletion within an empty column interval reduces these assertions to finite checks, and forts settle the remaining cases. The $k=3$ stabilization theorem has a Lean 4 formalization; the $k=4$ proof uses 89 boundary formulas and 11 fort formulas with separately checked DRAT certificates, together with explicit forcing sequences.

math.CO↗

arXiv2026

On the coincidence of discrete and continuous definitions of Entanglement of Formation

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 and arbitrarily small additional average entanglement. Consequently, the discrete and continuous versions of the Entanglement of Formation coincide on the whole space of states of infinite-dimensional bipartite quantum system (with infinite values allowed). The main idea of the proof (realized with the AI-assistance) is the lifting a Borel ensemble of pure bipartite states to a Borel probability measure on the unit sphere in the space of Hilbert--Schmidt operators followed by dividing the support of this measure into appropriate cells and replacing each cell by its conditional barycenter. The resulting countable ensemble is obtained by a recursive construction.

quant-ph↗

arXiv2026

Generation by lazy and invertible cellular automata over the Klein four-group

Let $G=C_2\times C_2$ and $A=\{0,1\}$. We characterize the submonoid of $\text{CA}(G;A)$ generated by lazy and invertible cellular automata. A cellular automaton belongs to this submonoid if and only if, whenever it maps the two free $G$-orbits onto the same free orbit, it maps both constant configurations and some two-point orbit to the same constant. The proof gives a factorization using elementary orbit collapses and three two-cell lazy maps. The criterion yields the cardinality $59\,712$ and identifies the maps missed by a weaker constant-separation invariant. Adjoining one idempotent generates the full monoid, and the generated submonoid is contained in exactly one maximal proper submonoid, of cardinality $65\,024$. The submonoid generated by lazy maps alone has $4\,007$ elements, and for both generating sets the maximum shortest-word length is six. The criterion and the cardinalities $59\,712$ and $4\,007$ are formally verified in Lean.

math.GR↗

arXiv2026

Sub-quorum colorings of graphs

A sub-quorum coloring is a partial vertex coloring in which every colored vertex sees at least half of its colored closed neighborhood in its own color. We study the maximum number of colors $\psq(G)$ from structural, algorithmic and extremal viewpoints. Every $2$-independent set yields a sub-quorum coloring, so $\psq(G)\geβ_2(G)$. We prove the degree bound $\psq(G)\le Δ(G)|V(G)|/(Δ(G)+δ(G)-1)$ for $δ(G)\ge2$, and obtain an exact matching characterization for graphs of maximum degree at most three. Consequently every cubic graph of order $n$ satisfies $n/2\le\psq(G)\le3n/5$, with a stability identity at the upper endpoint. For trees we give an edge representation and a linear-time dynamic program that computes both $\psq(T)$ and an optimal coloring; we also show on the double star $S_{2,2}$ that $\psq$ can exceed the dissociation number even on trees. We prove NP-completeness even for bipartite graphs and determine exact values for several classical families. For rectangular grids, we formulate the conjecture $\psq(G_{m,n})=β_2(G_{m,n})=F(m,n)$, recover the dissociation-number formula from known $3$-path vertex-cover results, prove the ladder case directly, and verify the conjecture for every fixed width $2\le m\le11$; widths $3$ through $11$ use exact transfer certificates. For hypercubes we prove $\psq(Q_n)=β_2(Q_n)=2^{n-1}$ for every $n\ge2$. Finally, a Nordhaus--Gaddum argument gives $\psq(G)+\psq(\overline G)>\log_2 |V(G)|$ and leads to a complementary upper-bound problem.

math.CO↗

arXiv2026

A Padovan-automatic description of a nested recurrence

We study the sequence $a(0)=0$, $a(1)=1$ and $a(n)=n-a(n-a(n-a(n-1)))$ for $n\ge 2$, listed as A076502 in the On-Line Encyclopedia of Integer Sequences. We identify $a(n)$ as a two-position shift in the greedy Padovan numeration system, with a finite-state correction. The proof constructs an addition automaton from an exact integer-carry invariant and certifies its completeness by finite-language inclusion; a synchronized automaton then verifies the nested recurrence. We establish bounded discrepancy from the line of slope $c$, where $c^3-c^2+2c-1=0$, and show that the exact set of offsets from $\lfloor cn\rfloor$ is $\{-1,0,1,2\}$. We construct an explicit 26-letter non-erasing morphic presentation of the first-difference word, prove that its least balance constant is 4, and give an effective procedure for enclosing the global discrepancy extrema to arbitrary accuracy. We formalize the recurrence identification, six-decimal discrepancy bound, exact offset set, concrete morphic identity, least balance constant, and an effective extrema algorithm in Lean. Separate exact computations refine the numerical enclosures.

math.NT↗

arXiv2026

A Certificate-Producing Cascade for Equational Implication: The SAIR EQT2 Stage 2 Solver

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 certificate accepted by a deterministic Lean judge. We present a single-file solver organized as a cheapest-first cascade. Its false branch combines coefficient tests over structured algebra families, bounded finite-model search, an explicit central-groupoid witness, and several infinite-carrier witnesses. Its true branch is a proof-producing ordered unit superposition procedure with Knuth-Bendix ordering, bidirectional demodulation, indexing, memoised substitution, and anytime size deepening. Search results remain outside the trusted base: successful derivations are replayed as small Lean terms, and countermodels are rechecked by the competition judge. The frozen solver is a 189,504-byte Python file with SHA-256 f2392533c9f4c03b.... In local runs through official judge revision 2848228, it produced accepted certificates for all 1,889 rows of the six public sets with no language-model calls. Separate measurements recorded full agreement on the 800 published Stage 1 evaluation-distribution problems, 100 accepted rows in the canonical Marathon manifest without tokens, and 200 accepted rows in the hosted playground. These are regression and playground measurements, not a leaderboard result and not evidence about a hidden set. All quantitative claims are tied to immutable result ledgers; the paper makes no completeness or comparative-superiority claim.

cs.CL↗

arXiv2026

Mechanism-level routing failure in LLMs over Lean-verified algebraic structures

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-mechanism label from a fixed closed template set for compact mathematical objects drawn from the FiberRing formalization in Lean 4, where each item is anchored to a Lean-verified artifact and assigned a label from the corresponding certificate family. Our central finding is a mechanism-level routing ceiling: under blind conditions, gpt-oss-120b achieves 80.3% template accuracy on 22 FiberRing items (n=66; temperature=0, seed=0), while Llama 3.3 70B reaches 68.2%. Exposing a mechanism-bearing Lean verdict/witness cue (Condition A2) raises accuracy to 90.9% and 81.8% -- gaps of +10.6 and +13.6 pp termed cue-induced routing uplift. The dominant failure is a CRT-to-ring-equivalence misroute: gpt-oss-120b misroutes 7 of 12 CRT items (58.3%) blind, zero under A2. A cross-model dissociation in Llama is notable: verdict accuracy is identical in both conditions (95.5%), while template accuracy improves 13.6 pp -- confirming that truth inference and proof-mechanism classification are separable capacities. A cross-corpus extension (Set B; 6 POM/CollisionKernel items, 72 evaluations) provides a small cross-module check: CRT-granularity compression reappears with different labels, and an inverse cross-model dissociation emerges. These findings extend the router hypothesis (Cazares 2026) to formal algebraic structures. The full pipeline, manifest, and results are at https://github.com/bytepro-ai/fiber-routing-eval.

cs.CL↗