Topological prethermal strong zero modes on superconducting processors. [PDF]
Jin F +44 more
europepmc +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Universal quantum computation using Ising anyons from a non-semisimple topological quantum field theory. [PDF]
Iulianelli F, Kim S, Sussan J, Lauda AD.
europepmc +1 more source
The optimization of silicon enrichment via 28Si focused ion beam, demonstrating the variations in enrichment level with respect to ion beam energy, ionization state, and ion beam density. This has led to adjustments in Monte Carlo simulations (TRYDIN) to account for the difference in observed surface accumulation and recession, with a balance being ...
Maddison Coke +6 more
wiley +1 more source
A Variational Quantum Eigensolver Based on the Measurement Scheme Tailored to Multiband Tight-Binding Simulations. [PDF]
Lee D, Ryu H.
europepmc +1 more source
High Mobility and Electrostatics in GeSn Quantum Wells With SiGeSn Barriers
This study investigates electrical transport in GeSn quantum wells with SiGeSn barriers and characterizes hole mobilities as a function of hole density. The observed mobilities are higher than previously reported for GeSn quantum wells with similar compositions but with a Ge barrier.
Christopher R. Allemang +7 more
wiley +1 more source
Solid-State Quantum Coherence From a High-Spin Donor-Acceptor Conjugated Polymer. [PDF]
Bushnell AJ +5 more
europepmc +1 more source
Toward efficient quantum computation of molecular ground‐state energies
Abstract Variational quantum eigensolvers (VQEs) represent a promising approach to computing molecular ground states and energies on modern quantum computers. These approaches use a classical computer to optimize the parameters of a trial wave function, while the quantum computer simulates the energy by preparing and measuring a set of bitstring ...
Farshud Sorourifar +8 more
wiley +1 more source
Quantum-enhanced LSTM for predictive maintenance in industrial IoT systems. [PDF]
K S, S V, R S, D R.
europepmc +1 more source
Energy‐Efficient Knapsack Optimization Using Probabilistic Memristor Crossbars
The knapsack problem, a nondeterministic polynomial‐time (NP)‐hard combinatorial optimization problem, is solved energy‐efficiently. This work presents an algorithm‐hardware co‐design and implementation for practical (non‐ideal) NP‐hard problems with destabilizing self‐feedback (non‐zero diagonal) and non‐binary Hamiltonian representations under analog
Jinzhan Li, Suhas Kumar, Su‐in Yi
wiley +1 more source

