Results 11 to 20 of about 2,837,348 (324)
The boundaries and twist defects of the color code and their applications to topological quantum computation [PDF]
Quantum, 2018 The color code is both an interesting example of an exactly solved topologically ordered phase of matter and also among the most promising candidate models to realize fault-tolerant quantum computation with minimal resource overhead. The contributions of
Markus S. Kesselring +3 more
doaj +3 more sources
Pauli topological subsystem codes from Abelian anyon theories [PDF]
Quantum, 2023 We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories–this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum.
Tyler D. Ellison +5 more
doaj +1 more source
Metode Reversible Self-Dual untuk Konstruksi Kode DNA atas Lapangan Hingga GF(4)
Jambura Journal of Mathematics, 2022 The DNA molecule chain consists of two complementary strands composed of a sequence of four nucleotide bases, namely adenine (A), cytosine (C), guanine (G) and thymine (T).
Juli Loisiana Butar-Butar +1 more
doaj +1 more source
Limits on wCDM from the EFTofLSS with the PyBird code [PDF]
Journal of Cosmology and Astroparticle Physics, 2020 We apply the Effective Field Theory of Large-Scale Structure to analyze the wCDM cosmological model. By using the full shape of the power spectrum and the BAO post-reconstruction measurements from BOSS, the Supernovae from Pantheon, and a prior from BBN,
G. D’Amico, L. Senatore, Pierre Zhang
semanticscholar +1 more source
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) [PDF]
Journal of functional programming, 2018 Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq to translate significant portions of Haskell’s containers library into Coq, and verify it against specifications that we derive from a ...
Joachim Breitner +5 more
semanticscholar +1 more source
Methods of Numeration of Discrete Sequences
Кібернетика та комп'ютерні технології, 2021 Introduction. Numeration, or code, discrete sequences act fundamental part in the theory of recognition and estimation. By the code get codes or indexes of the programs and calculated functions.
N.A. Gupal
doaj +1 more source
Wannier90 as a community code: new features and applications [PDF]
Journal of Physics: Condensed Matter, 2019 Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets ...
G. Pizzi +30 more
semanticscholar +1 more source
Abductive Coding: Theory Building and Qualitative (Re)Analysis
Sociological Methods & Research, 2022 Qualitative secondary analysis has generated heated debate regarding the epistemology of qualitative research. We argue that shifting to an abductive approach provides a fruitful avenue for qualitative secondary analysts who are oriented towards theory ...
L. Vila‐Henninger +7 more
semanticscholar +1 more source
Non-isometric quantum error correction in gravity
Journal of High Energy Physics, 2023 We construct and study an ensemble of non-isometric error correcting codes in a toy model of an evaporating black hole in two-dimensional dilaton gravity. In the preferred bases of Euclidean path integral states in the bulk and Hamiltonian eigenstates in
Arjun Kar
doaj +1 more source
Improving Hamiltonian encodings with the Gray code [PDF]
, 2020 Due to the limitations of present-day quantum hardware, it is especially critical to design algorithms that make the best possible use of available resources.
Olivia Di Matteo +5 more
semanticscholar +1 more source