Semantic Preservation in D-Wave Fault-Tree Optimization: Direct-QPU BQM Characterization and Native Hybrid CQM Recovery

Abstract

This paper evaluates whether a native constrained formulation, rather than a penalty-style QUBO conversion, helps D-Wave execution pathways recover fault-tree truth-objective solutions, using the locked 80-instance benchmark cohort from a prior platform-feasibility study (Paper 17), stratified into four problem-size groups of twenty instances each (16, 25, 33, and 42 Paper 17 QUBO variables). Two execution arms operate on the same cohort and the same frozen truth layer. Arm A is a direct-QPU pilot on a constraint-level QUBO (CL-QUBO)-derived penalty-style binary quadratic model (BQM). Arm B is a native constrained quadratic model (CQM) submitted to the D-Wave hybrid CQM solver, in which the fault-tree gate constraints are preserved as explicit constraints rather than compiled into penalties. The truth layer uses a minimum-cardinality criterion: an instance is truth-positive when a returned feasible sample matches the canonical truth objective. On the canonical eight-instance pilot, the direct-QPU Arm A recovered truth on 4 of 8 instances, with zero-truth behavior in the larger pilot strata, whereas the native hybrid CQM Arm B recovered truth on 8 of 8. Arm B recovery extended to a balanced twelve-instance set (12 of 12) and to the full locked cohort, recovering a truth-positive feasible solution on all 80 instances, with zero zero-truth instances and zero objective-below-truth anomalies, including 20 of 20 in every size stratum. This paper does not claim quantum advantage, computational speedup, or isolated QPU contribution within the hybrid solver; because the two arms differ in both formulation and pathway, it does not claim to isolate formulation as the sole causal factor. A retrospective timing audit of the preserved execution artifacts, performed without any resubmission, recovered complete solver timing metadata for all 88 jobs and found that two 16-variable instances were solved entirely by classical presolve with zero QPU access time, which bounds the interpretation of the full-cohort result without changing any recovery count. The results support semantic preservation as a central design requirement: the native constrained CQM pathway recovered the truth objective across the full cohort, while the penalty-style direct-QPU pilot showed size-limited recovery under the tested settings.