Results 11 to 20 of about 3,822,513 (334)
The boundaries and twist defects of the color code and their applications to topological quantum computation [PDF]
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
Noncommutative Coding Theory and Algebraic Sets for Skew PBW Extensions
The classical commutative coding theory has been recently extended to noncommutative rings of polynomial type. There are many interesting works in coding theory over single Ore extensions. In this review article we present the most relevant algebraic tools and properties of single Ore extensions used in noncommutative coding theory.
Oswaldo Author+2 more
openaire +2 more sources
NEON Instruction Set Efficiency and their Use in Coding Theory Problems
A large number of algorithms solving Coding Theory problems involve operations on vectors over finite fields. The use of extended CPU registers and instructions is suitable for the optimization of these algorithms. Current work presents the Neon instruction set for the ARM architectures used in Apple's M series of processors.
Maria Pashinska-Gadzheva+1 more
openaire +2 more sources
The relation between the K-sets and coding theory [PDF]
Najm Abdulzahra Makhrib Al-Seraji+1 more
openaire +2 more sources
Pauli topological subsystem codes from Abelian anyon theories [PDF]
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)
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]
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]
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
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]
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