YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sarkar, Aritra, Kundu, Akash, Steinberg, Matthew, Mishra, Sibasish, Fauquenot, Sebastiaan, Acharya, Tamal, Miszczak, Jarosław A., Feld, Sebastian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Quantum Physics Information Theory Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Open and Closed Loop Approaches for Energy Efficient Quantum Optimal Control
von: Sebastiaan Fauquenot, et al.
Veröffentlicht: (2025)

A Scalable Quantum Gate‐Based Implementation for Causal Hypothesis Testing
von: Akash Kundu, et al.
Veröffentlicht: (2024)

EO-GRAPE and EO-DRLPE: Open and Closed Loop Approaches for Energy Efficient Quantum Optimal Control
von: Fauquenot, Sebastiaan, et al.
Veröffentlicht: (2024)

EQISA: Energy-efficient Quantum Instruction Set Architecture using Sparse Dictionary Learning
von: Mishra, Sibasish, et al.
Veröffentlicht: (2026)

Computational Explorations on Semifields
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2026)

“I'm a Good Guy Who Deserves Better, Yet Nobody Wants to Give me Better”: The Accounts of Nice Guys
von: Brooke Weinmann, et al.
Veröffentlicht: (2025)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
von: Huang, Wei-Jia, et al.
Veröffentlicht: (2026)

Connectivity in Symmetric Semi-Algebraic Sets
von: Riener, Cordian, et al.
Veröffentlicht: (2024)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
von: Perminov, A. I.
Veröffentlicht: (2025)

Explorations on the number of realizations of minimally rigid graphs
von: Grasegger, Georg
Veröffentlicht: (2025)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
von: Mishra, Suyash
Veröffentlicht: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
von: Jayasena, Aruna, et al.
Veröffentlicht: (2023)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
von: Garmaev, Sergei, et al.
Veröffentlicht: (2025)

Optimal Communication Unbalanced Private Set Union
von: Dumas, Jean-Guillaume, et al.
Veröffentlicht: (2024)

Unique Blending of Myth and Reality in Raja Rao's Kanthapura : A Critical Study
von: Akash Satpati
Veröffentlicht: (2017)

Visual Set Program Synthesizer
von: Cheng, Zehua, et al.
Veröffentlicht: (2026)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
von: Wang, Yao, et al.
Veröffentlicht: (2026)

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures
von: Cumbo, Fabio, et al.
Veröffentlicht: (2025)

A Local Search Algorithm for MaxSMT(LIA)
von: He, Xiang, et al.
Veröffentlicht: (2024)

KANQAS: Kolmogorov-Arnold Network for Quantum Architecture Search
von: Kundu, Akash, et al.
Veröffentlicht: (2024)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
von: Deng, Ou, et al.
Veröffentlicht: (2025)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
von: Feeney, Sean, et al.
Veröffentlicht: (2026)

Alienation Techniques in VayalaVasudevan Pillai’s Vishwadarshanam
von: Reshma V.R.
Veröffentlicht: (2018)

Faster multivariate integration in D-modules
von: Brochet, Hadrien, et al.
Veröffentlicht: (2025)

How to generate all possible rational Wilf-Zeilberger forms?
von: Chen, Shaoshi, et al.
Veröffentlicht: (2024)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
von: Böhmer, Christian G., et al.
Veröffentlicht: (2025)

Consequences of the Moosbauer-Poole Algorithms
von: Kauers, Manuel, et al.
Veröffentlicht: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
von: Finkelstein, Edward
Veröffentlicht: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
von: Stübbe, Jonas, et al.
Veröffentlicht: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
von: Corniquel, Florent
Veröffentlicht: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
von: Wang, Zhonghan
Veröffentlicht: (2024)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
von: Promies, Valentin, et al.
Veröffentlicht: (2025)

A Generalisation of Goursat's Algorithm for Integration in Finite Terms
von: Blake, Sam
Veröffentlicht: (2026)

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2026)

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
von: Perminov, A. I.
Veröffentlicht: (2026)

Faster modular composition using two relation matrices
von: Neiger, Vincent, et al.
Veröffentlicht: (2026)

Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
von: Huang, Hui
Veröffentlicht: (2026)

Semantics of Division for Polynomial Solvers
von: Brown, Christopher W.
Veröffentlicht: (2024)

Generalized ODE reduction algorithm for bounded degree transformation
von: Huang, Shaoxuan
Veröffentlicht: (2025)