Search papers, labs, and topics across Lattice.
This paper introduces QDSV, a semantic multi-backend execution framework designed for quantum-oriented computation, which decouples problem specifications from the backend implementations. By connecting declarative problem intent to a structured semantic representation, QDSV enables execution across heterogeneous backends while maintaining interpretable outputs. The case study on EEG ictal/interictal classification demonstrates that QDSV can provide stable representations and execution traces without necessarily requiring circuit-based problem formulations, highlighting its versatility in quantum computing applications.
QDSV reveals that a problem-first representation can maintain stability across diverse quantum execution environments, challenging traditional circuit-centric approaches.
Predicate-based computation over state spaces separates a problem specification from the backend that realizes it. Building on the model introduced in arXiv:2606.15027, this paper studies QDSV as a semantic, multi-backend execution framework for quantum-oriented computation. We describe how QDSV, QIntent, and Qruba connect declarative problem intent to a structured semantic representation, realize that representation under heterogeneous backend constraints, and report execution trace outputs that separate model-level semantic outputs from backend-specific observations. The framework supports execution modes that do not require the original problem to be authored as a circuit, while still allowing circuit-compatible artifacts when required. As a case study, we evaluate EEG ictal/interictal classification using prepared signal features from the Bonn and Delhi datasets. The study compares classical machine-learning references, a circuit-first variational quantum classifier baseline, QDSV simulator executions, and controlled IBM Quantum hardware runs. The paper does not claim general quantum advantage or superiority over classical machine learning. Its contribution is a semantic execution validation showing how a problem-first representation can remain stable across simulator and hardware realizations while retaining interpretable execution trace outputs.
