Search

We report first principles quantum-chemical calculations of the electronic structure of pure CaWO4 and CaWO4 containing oxygen vacancies. The calculation results are compared to values extracted from experimental thermoluminescence data. The influence of oxygen vacancies and structural disorder shows up as the presence of additional levels in the band gap of the material. [ABSTRACT FROM AUTHOR]

We study lattice gauge theory with discrete, non-Abelian gauge groups. We extend the formalism of previous studies on D-Wave's quantum annealer as a computing platform to finite, simply reducible gauge groups. As an example, we use the dihedral group D n with n = 3 , 4 on a two plaquette ladder for which we provide proof-of-principle calculations of the ground-state and employ the known time evolution formalism with Feynman clock states. [ABSTRACT FROM AUTHOR]

Optimization Modulo Theories (OMT ) is an extension of SMT which allows for finding models that optimize given objectives. OptiMathSAT is an OMT solver which allows for solving a list of optimization problems on SMT formulas with linear objective functions—on the Boolean, the rational and the integer domains, and on their combination thereof—including (partial weighted) MaxSMT. Multiple and heterogeneous objective functions can be combined together and handled either independently, or lexicographically, or in linear or min–max /max–min combinations. OptiMathSAT provides an incremental interface, it supports both an extended version of the SMT-LIBv2 language and a subset of the FlatZinc language, and can be interfaced via an API. In this paper we describe OptiMathSAT and its usage in full detail. [ABSTRACT FROM AUTHOR]

Quantum Bridge Analytics relates generally to methods and systems for hybrid classical-quantum computing, and more particularly is devoted to developing tools for bridging classical and quantum computing to gain the benefits of their alliance in the present and enable enhanced practical application of quantum computing in the future. This is the first of a two-part tutorial that surveys key elements of Quantum Bridge Analytics and its applications, with an emphasis on supplementing models with numerical illustrations. In Part 1 (the present paper) we focus on the Quadratic Unconstrained Binary Optimization model which is presently the most widely applied optimization model in the quantum computing area, and which unifies a rich variety of combinatorial optimization problems. [ABSTRACT FROM AUTHOR]

We realize tunable coupling between two superconducting transmission line resonators. The coupling is mediated by a non-hysteretic rf SQUID acting as a flux-tunable mutual inductance between the resonators. We present a spectroscopic characterization of the device. In particular, we observe couplings $g/2\pi$ ranging between −320 MHz and 37 MHz. In the case of $g \simeq 0$, the microwave power cross transmission between the two resonators is reduced by almost four orders of magnitude as compared to the case where the coupling is switched on. [ABSTRACT FROM AUTHOR]