Related papers: XQCAT: eXtra Quark Combined Analysis Tool
In this paper we present an analysis strategy and a dedicated tool to determine the exclusion confidence level for any scenario involving multiple heavy extra quarks with generic decay channels, as predicted in several extensions of the…
Searches for new fermionic states heavier than the top quark are being pursued by the CMS & ATLAS collaborations, pushing the mass bounds towards the TeV scale. Although a chiral fourth generation of quarks is now excluded by the LHC…
Quantum circuits constructed from Josephson junctions and superconducting electronics are key to many quantum computing and quantum optics applications. Designing these circuits involves calculating the Hamiltonian describing their quantum…
With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To this end, we present the quantum software testing tool QuCAT…
Extractive question answering (QA) systems can enable physicians and researchers to query medical records, a foundational capability for designing clinical studies and understanding patient medical history. However, building these systems…
Understanding the best known parameters, performance, and systematic behavior of the Quantum Approximate Optimization Algorithm (QAOA) remain open research questions, even as the algorithm gains popularity. We introduce QAOAKit, a Python…
We present Quokka#, a versatile, open-source Python library for quantum circuit analysis. Quokka# reduces various simulation, verification, and synthesis tasks to weighted model counting (#SAT). It supports universal quantum circuits and a…
Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean $\omega$-automata. Despite…
We present an open-source database of superconducting quantum device designs that may be used as the starting point for customized devices. Each design can be generated programmatically using the open-source Qiskit Metal package, and…
We investigate the inclusive production of the Higgs boson with a heavy quark pair, $t {\bar t}$ or $b {\bar b}$, in e^+e^- collisions at high energy. The ${\cal O}(\alpha_s)$ QCD corrections are included.
We present the Quantum Hamiltonian Analysis Toolkit (QHAT), a newly developed application that provides a user-friendly interface for studying Hamiltonians and performing Hamiltonian simulation on fault-tolerant quantum computers. QHAT…
We present VLQBounds, a public, data-driven Python framework for testing Vector-Like Quark (VLQ) scenarios against Large Hadron Collider (LHC) exclusion limits from ATLAS and CMS. The framework incorporates public results on both pair and…
We study in a model independent way models of new Physics featuring extra quarks (XQs). These XQs are predicted by extensions of the Standard Model (SM) but have never been observed yet even though many searches have been designed to find…
A scan of the top quark pair production threshold at a future electron-positron collider provides the possibility for high-precision measurements of the top quark mass, and, when using two dimensional fits of the measured cross sections,…
Powerful Quantum Error Correction Codes (QECCs) are required for stabilizing and protecting fragile qubits against the undesirable effects of quantum decoherence. Similar to classical codes, hashing bound approaching QECCs may be designed…
Evaluating multiple-choice questions (MCQs) involves either labor intensive human assessments or automated methods that prioritize readability, often overlooking deeper question design flaws. To address this issue, we introduce the Scalable…
In this paper, we describe an open source Python toolkit named Uncertainty Quantification 360 (UQ360) for the uncertainty quantification of AI models. The goal of this toolkit is twofold: first, to provide a broad range of capabilities to…
Quantum computers allow a near-exponential speed-up for specific applications when compared to classical computers. Despite recent advances in the hardware of quantum computers, their practical usage is still severely limited due to a…
The amount of large-scale scientific computing software is dramatically increasing. In this work, we designed a new language, named feature query language (FQL), to collect and extract software features from a quick static code analysis. We…
In the standard circuit model of quantum computation, the number and quality of the quantum gates composing the circuit influence the runtime and fidelity of the computation. The fidelity of the decomposition of quantum algorithms,…