From the Publisher:
A valuable reference for the novice as well as for the expert who needs a wider scope of coverage within the area of cryptography, this book provides easy and rapid access of information and includes more than 200 algorithms and protocols; more than 200 tables and figures; more than 1,000 numbered definitions, facts, examples, notes, and remarks; and over 1,250 significant references, including brief comments on each paper.

Handbook of Applied Cryptography

Given a collection ℱ of subsets of S = {1,…,n}, set cover is the problem of selecting as few as possible subsets from ℱ such that their union covers S,, and max k-cover is the problem of selecting k subsets from ℱ such that their union has maximum cardinality. Both these problems are NP-hard. We prove that (1 - o(1)) ln n is a threshold below which set cover cannot be approximated efficiently, unless NP has slightly superpolynomial time algorithms. This closes the gap (up to low-order terms) between the ratio of approximation achievable by the greedy alogorithm (which is (1 - o(1)) ln n), and provious results of Lund and Yanakakis, that showed hardness of approximation within a ratio of (log2n) / 2 ≃0.72 ln n. For max k-cover, we show an approximation threshold of (1 - 1/e)(up to low-order terms), under assumption that P ≠ NP.

/pdf/a-threshold-of-ln-n-for-approximating-set-cover-3tgfinxlup.pdf

A threshold of ln n for approximating set cover

Rydberg atoms with principal quantum number $n⪢1$ have exaggerated atomic properties including dipole-dipole interactions that scale as ${n}^{4}$ and radiative lifetimes that scale as ${n}^{3}$. It was proposed a decade ago to take advantage of these properties to implement quantum gates between neutral atom qubits. The availability of a strong long-range interaction that can be coherently turned on and off is an enabling resource for a wide range of quantum information tasks stretching far beyond the original gate proposal. Rydberg enabled capabilities include long-range two-qubit gates, collective encoding of multiqubit registers, implementation of robust light-atom quantum interfaces, and the potential for simulating quantum many-body physics. The advances of the last decade are reviewed, covering both theoretical and experimental aspects of Rydberg-mediated quantum information processing.

Quantum information with Rydberg atoms

This ebook is the first authorized digital version of Kernighan and Ritchie's 1988 classic, The C Programming Language (2nd Ed.). One of the best-selling programming books published in the last fifty years, "K&R" has been called everything from the "bible" to "a landmark in computer science" and it has influenced generations of programmers. Available now for all leading ebook platforms, this concise and beautifully written text is a "must-have" reference for every serious programmers digital library.

As modestly described by the authors in the Preface to the First Edition, this "is not an introductory programming manual; it assumes some familiarity with basic programming concepts like variables, assignment statements, loops, and functions. Nonetheless, a novice programmer should be able to read along and pick up the language, although access to a more knowledgeable colleague will help."

The C programming language

This is a review of Collected Works of John Tate. Parts I, II, edited by Barry Mazur and Jean-Pierre Serre. American Mathematical Society, Providence, Rhode Island, 2016. For several decades it has been clear to the friends and colleagues of John Tate that a “Collected Works” was merited. The award of the Abel Prize to Tate in 2010 added impetus, and finally, in Tate’s ninety-second year we have these two magnificent volumes, edited by Barry Mazur and Jean-Pierre Serre. Beyond Tate’s published articles, they include five unpublished articles and a selection of his letters, most accompanied by Tate’s comments, and a collection of photographs of Tate. For an overview of Tate’s work, the editors refer the reader to [4]. Before discussing the volumes, I describe some of Tate’s work. 1. Hecke L-series and Tate’s thesis Like many budding number theorists, Tate’s favorite theorem when young was Gauss’s law of quadratic reciprocity. When he arrived at Princeton as a graduate student in 1946, he was fortunate to find there the person, Emil Artin, who had discovered the most general reciprocity law, so solving Hilbert’s ninth problem. By 1920, the German school of algebraic number theorists (Hilbert, Weber, . . .) together with its brilliant student Takagi had succeeded in classifying the abelian extensions of a number field K: to each group I of ideal classes in K, there is attached an extension L of K (the class field of I); the group I determines the arithmetic of the extension L/K, and the Galois group of L/K is isomorphic to I. Artin’s contribution was to prove (in 1927) that there is a natural isomorphism from I to the Galois group of L/K. When the base field contains an appropriate root of 1, Artin’s isomorphism gives a reciprocity law, and all possible reciprocity laws arise this way. In the 1930s, Chevalley reworked abelian class field theory. In particular, he replaced “ideals” with his “idèles” which greatly clarified the relation between the local and global aspects of the theory. For his thesis, Artin suggested that Tate do the same for Hecke L-series. When Hecke proved that the abelian L-functions of number fields (generalizations of Dirichlet’s L-functions) have an analytic continuation throughout the plane with a functional equation of the expected type, he saw that his methods applied even to a new kind of L-function, now named after him. Once Tate had developed his harmonic analysis of local fields and of the idèle group, he was able prove analytic continuation and functional equations for all the relevant L-series without Hecke’s complicated theta-formulas. Received by the editors September 5, 2016. 2010 Mathematics Subject Classification. Primary 01A75, 11-06, 14-06. c ©2017 American Mathematical Society

The collected works

We present “Ouroboros”, the first blockchain protocol based on proof of stake with rigorous security guarantees. We establish security properties for the protocol comparable to those achieved by the bitcoin blockchain protocol. As the protocol provides a “proof of stake” blockchain discipline, it offers qualitative efficiency advantages over blockchains based on proof of physical resources (e.g., proof of work). We also present a novel reward mechanism for incentivizing Proof of Stake protocols and we prove that, given this mechanism, honest behavior is an approximate Nash equilibrium, thus neutralizing attacks such as selfish mining.

/pdf/ouroboros-a-provably-secure-proof-of-stake-blockchain-2hvmw6dbvh.pdf

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

We present “Ouroboros Praos”, a proof-of-stake blockchain protocol that, for the first time, provides security against fully-adaptive corruption in the semi-synchronous setting: Specifically, the adversary can corrupt any participant of a dynamically evolving population of stakeholders at any moment as long the stakeholder distribution maintains an honest majority of stake; furthermore, the protocol tolerates an adversarially-controlled message delivery delay unknown to protocol participants.

/pdf/ouroboros-praos-an-adaptively-secure-semi-synchronous-proof-5cus9o3cyu.pdf

Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain

Efficient Probabilistically Checkable Proofs and Applications to Approximation M. BELLARE* S. GOLDWASSERt C. LUNDi A. RUSSELL$ We construct multi-prover proof systems for NP which use only a constant number of provers to simultaneously achieve low error, low randomness and low answer size. As a consequence, we obtain asymptotic improvements to approximation hardness results for a wide range of optimization problems including minimum set cover, dominating set, maximum clique, chromatic number, and quartic programming; and constant factor improvements on the hardness results for MAXSNP problems. In particular, we show that approximating minimum set cover within any constant is NP-complete; approximating minimum set cover within c log n, for c < 1/8, implies NP C DTIME(nlOglOgn); approximat— ing the maximum of a quartic program within any constant is NP-complete; approximating maximum clique or chromatic number within nl/29 implies NP ~ BPP; and approximating MAX-3 SAT within 113/112 is NPcomplete. * High Performance Computing and Communications, IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, NY 10598, USA. e-mail: mihirf.Qwatson. ibm. corn. t MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA. e-mail: shaf i@theory. lcs. init. edu. Partially supported by NSF FAW grant No. 9023312-CCR, DARPA g-rant No. NOO014-92-J-1799, and grant No. 89-00312 from the United States Israel Binationsl Science Foundation (BSF), Jerusalem, Israel. $ AT&T Bell Laboratories, Room 2C324, 600 Momtain Avenue, P. O. Box 636, Murray Hill, NJ 07974-0636, USA. email: lund@resesrch. att. corn. $ MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA. e-mail: acrtttheory. lcs. mit . edn. Supported by a NSF Graduate Fellowship and by NSF grant 92-12184, AFOSR 89-0271, and DARPA NOO014-92-J-1799. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specific permission. 25th ACM STOC ‘93-51931CA,USA

Efficient probabilistically checkable proofs and applications to approximations

http://www.engr.uconn.edu/~tpeters/apr-tcs03.pdf

Computational topology: ambient isotopic approximation of 2-manifolds

Recently, it has been shown that one-dimensional quantum walks can mix more quickly than classical random walks, suggesting that quantum Monte Carlo algorithms can outperform their classical counterparts. We study two quantum walks on the n-dimensional hypercube, one in discrete time and one in continuous time. In both cases we show that the instantaneous mixing time is (π/4)n steps, faster than the Θ(n log n) steps required by the classical walk. In the continuous-time case, the probability distribution is exactly uniform at this time. On the other hand, we show that the average mixing time as defined by Aharonov et al. [AAKV01] is Ω(n 3/2) in the discrete-time case, slower than the classical walk, and nonexistent in the continuous-time case. This suggests that the instantaneous mixing time is a more relevant notion than the average mixing time for quantum walks on large, well-connected graphs. Our analysis treats interference between terms of different phase more carefully than is necessary for the walk on the cycle; previous general bounds predict an exponential average mixing time when applied to the hypercube.

Alexander Russell

Papers

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain

Efficient probabilistically checkable proofs and applications to approximations

Computational topology: ambient isotopic approximation of 2-manifolds

Quantum Walks on the Hypercube