Error reconciliation is an important technique for learning with error (LWE) and ring-LWE (RLWE)-based constructions. In this paper, we present a comparison analysis on two error reconciliation-based RLWE key exchange protocols: Ding et al. in 2012 (DING12) and Bos et al. in 2015 (BCNS15). We take them as examples to explain the core idea of error reconciliation, building key exchange over RLWE problem, implementation and real-world performance, and compare them comprehensively. We also analyse a LWE key exchange 'Frodo' that uses an improved error reconciliation mechanism in BCNS15. To the best of our knowledge, our work is the first to present at least 128-bit classic (80-bit quantum) and 256-bit classic (> 200-bit quantum) secure parameter choices for DING12 with efficient portable C/C++ implementations. Benchmark shows that our efficient implementation is 11× faster than BCNS15 and one key exchange execution only costs 0.07 ms on a four-year-old middle range CPU. Error reconciliation is 1.57× faster than BCNS15.

No abstract uploaded!

We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function $${t \mapsto \mathop{\rm Tr}\exp(A-tB)}$$ , $${t \geqslant 0}$$ , is the Laplace transform of a positive measure on [0,∞) if$A$and$B$are $${n \times n}$$ Hermitian matrices and$B$is positive semidefinite. A semi-explicit representation for this measure is given.

We explore various 4d Yang-Mills gauge theories (YM) living as boundary conditions of 5d gapped short/long-range entangled (SRE/LRE) topological states. Specifically, we explore 4d time-reversal symmetric pure YM of an SU(2) gauge group with a second-Chern-class topological term at θ=π (SU(2)θ=π YM). Its higher 't Hooft anomalies of generalized global symmetries indicate that the 4d SU(2)θ=π YM, in order to realize all global symmetries locally, necessarily couples to a 5d higher symmetry-protected topological state (SPTs, as an invertible TQFT, or as a 5d 1-form-center-symmetry-protected interacting "topological superconductor" in condensed matter). We revisit the 4d SU(2)θ=π YM-5d SRE-higher-SPTs coupled systems in [arXiv:1812.11968] and find their "Fantastic Four Siblings" with four sets of new higher anomalies associated with the Kramers singlet/doublet and bosonic/fermionic properties of Wilson lines. Following Weyl's gauge principle, by dynamically gauging the 1-form center symmetry, we transform a 5d bulk SRE SPTs into an LRE symmetry-enriched topologically ordered state (SETs); thus we obtain the 4d SO(3)θ=π YM-5d LRE-higher-SETs coupled system with dynamical higher-form gauge fields. Apply the tool introduced in [arXiv:1612.09298], we derive new exotic anyonic statistics of extended objects such as 2-worldsheet of strings and 3-worldvolume of branes, which physically characterize the 5d SETs. We discover new triple and quadruple link invariants potentially associated with the underlying 5d higher-gauge TQFTs, hinting a new intrinsic relation between non-supersymmetric 4d pure YM and topological links in 5d. We provide lattice simplicial complex regularizations and "condensed matter" realizations.

No abstract uploaded!