Copertina

Bit-Vector Abstractions to Formally Verify Quantum Error Detection & Entanglement

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Govindankutty, Arun
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Quantum Physics Emerging Technologies Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
di: Govindankutty, Arun, et al.
Pubblicazione: (2026)

No Scratch Quantum Computing by Reducing Qubit Overhead for Efficient Arithmetics
di: Faizy, Omid, et al.
Pubblicazione: (2025)

Toward Entailment Checking: Explore Eigenmarking Search
di: Katanyukul, Tatpong
Pubblicazione: (2025)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
di: Ren, Yuanjie, et al.
Pubblicazione: (2026)

A Coalgebraic Model of Quantum Bisimulation
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2025)

Federated Formal Verification: Cross-Backend Citation, Cross-Axis Convergence, and AI-Orchestrated Proof Dispatch for Production Systems
di: Falda, Pierre
Pubblicazione: (2026)

Towards Multiphase Clocking in Single-Flux Quantum Systems
di: Bairamkulov, Rassul, et al.
Pubblicazione: (2024)

All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler
di: Rodrigues, J. P. T., et al.
Pubblicazione: (2025)

Performance of Quantum Approximate Optimization with Quantum Error Detection
di: He, Zichang, et al.
Pubblicazione: (2024)

From Bits to Qubits: Challenges in Classical-Quantum Integration
di: Kulkarni, Sudhanshu Pravin, et al.
Pubblicazione: (2025)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
di: Sahoo, Siva Satyendra, et al.
Pubblicazione: (2025)

Fuzzychain: An Equitable Consensus Mechanism for Blockchain Networks
di: Ramos-Cruz, Bruno, et al.
Pubblicazione: (2024)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
di: Chattopadhyay, Anupam, et al.
Pubblicazione: (2025)

Loop unrolling: formal definition and application to testing
di: Huang, Li, et al.
Pubblicazione: (2025)

Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
di: Jamadagni, Amit, et al.
Pubblicazione: (2024)

The Questionable Influence of Entanglement in Quantum Optimisation Algorithms
di: Rohe, Tobias, et al.
Pubblicazione: (2024)

Quantum Tunneling: From Theory to Error-Mitigated Quantum Simulation
di: Catrina, Sorana, et al.
Pubblicazione: (2024)

Quantum Error Mitigation by Pauli Check Sandwiching
di: Gonzales, Alvin, et al.
Pubblicazione: (2022)

Quantum Computer Fingerprinting using Error Syndromes
di: Mutolo, Vincent, et al.
Pubblicazione: (2025)

End-to-End Formalization of Quantum Error Correction
di: Ehatamm, Mattias, et al.
Pubblicazione: (2026)

FragQC: An Efficient Quantum Error Reduction Technique using Quantum Circuit Fragmentation
di: Basu, Saikat, et al.
Pubblicazione: (2023)

Q-Embroidery: A Study on Weaving Quantum Error Correction into the Fabric of Quantum Classifiers
di: Chatterjee, Avimita, et al.
Pubblicazione: (2024)

Cost-Effective Realization of n-Bit Toffoli Gates for IBM Quantum Computers Using the Bloch Sphere Approach and IBM Native Gates
di: Al-Bayaty, Ali, et al.
Pubblicazione: (2024)

Performance Evaluation of Variational Quantum Eigensolver and Quantum Dynamics Algorithms on the Advection-Diffusion Equation
di: Özgüler, A. Barış
Pubblicazione: (2025)

Efficient Compilation for Shuttling Trapped-Ion Machines via the Position Graph Architectural Abstraction
di: Bach, Bao, et al.
Pubblicazione: (2025)

Magic Mirror on the Wall, How to Benchmark Quantum Error Correction Codes, Overall ?
di: Chatterjee, Avimita, et al.
Pubblicazione: (2024)

Optimization of Quantum Error Correcting Code under Temporal Variation of Qubit Quality
di: Das, Subrata, et al.
Pubblicazione: (2025)

Calculating Nash Equilibrium on Quantum Annealers
di: Okrut, Olga, et al.
Pubblicazione: (2021)

Unveiling Hidden Vulnerabilities in Quantum Systems by Expanding Attack Vectors through Heisenberg's Uncertainty Principle
di: Rosas-Bustos, Jose R., et al.
Pubblicazione: (2024)

Quantum Simulation of Boson-Related Hamiltonians: Techniques, Effective Hamiltonian Construction, and Error Analysis
di: Peng, Bo, et al.
Pubblicazione: (2023)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
di: Peham, Tom, et al.
Pubblicazione: (2024)

Quantum-assisted Stacking Sequence Retrieval and Laminated Composite Design
di: Wulff, Arne, et al.
Pubblicazione: (2024)

Imperfect-Information Games on Quantum Computers: A Case Study in Skat
di: Armbrüster, Ulrich, et al.
Pubblicazione: (2024)

Quantum Annealing based Hybrid Strategies for Real Time Route Optimization
di: Mario, Sushil, et al.
Pubblicazione: (2024)

Fault-Tolerant Quantum Error Correction: Implementing Hamming-Based Codes with Advanced Syndrome Extraction Techniques
di: Bhadra, Soham, et al.
Pubblicazione: (2026)

SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
di: Guo, Xinyi, et al.
Pubblicazione: (2025)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
di: Li, Chao
Pubblicazione: (2026)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
di: Xiang, Jian, et al.
Pubblicazione: (2024)

Quantum Computing and Tensor Networks for Laminate Design: A Novel Approach to Stacking Sequence Retrieval
di: Wulff, Arne, et al.
Pubblicazione: (2024)

Exploring Unsupervised Anomaly Detection with Quantum Boltzmann Machines in Fraud Detection
di: Stein, Jonas, et al.
Pubblicazione: (2023)