arXiv subjects

Timo Hanke

Publications and source records attributed to Timo Hanke.

12 recordsLinked to original sources

arXiv2018

DFINITY Technology Overview Series, Consensus System

The DFINITY blockchain computer provides a secure, performant and flexible consensus mechanism. At its core, DFINITY contains a decentralized randomness beacon which acts as a verifiable random function (VRF) that produces a stream of outputs over time. The novel technique behind the beacon relies on the existence of a unique-deterministic, non-interactive, DKG-friendly threshold signatures scheme. The only known examples of such a scheme are pairing-based and derived from BLS. The DFINITY blockchain is layered on top of the DFINITY beacon and uses the beacon as its source of randomness for leader selection and leader ranking. A "weight" is attributed to a chain based on the ranks of the leaders who propose the blocks in the chain, and that weight is used to select between competing chains. The DFINITY blockchain is layered on top of the DFINITY beacon and uses the beacon as its source of randomness for leader selection and leader ranking blockchain is further hardened by a notarization process which dramatically improves the time to finality and eliminates the nothing-at-stake and selfish mining attacks. DFINITY consensus algorithm is made to scale through continuous quorum selections driven by the random beacon. In practice, DFINITY achieves block times of a few seconds and transaction finality after only two confirmations. The system gracefully handles temporary losses of network synchrony including network splits, while it is provably secure under synchrony.

cs.DC↗

arXiv2016

AsicBoost - A Speedup for Bitcoin Mining

AsicBoost is a method to speed up Bitcoin mining by a factor of approximately 20%. The performance gain is achieved through a high-level optimization of the Bitcoin mining algorithm which allows for drastic reduction in gate count on the mining chip. AsicBoost is applicable to all types of mining hardware and chip designs. This paper presents the idea behind the method and describes the information flow in implementations of AsicBoost.

cs.CR↗

arXiv2013

Understanding Collective Dynamics of Soft Active Colloids by Binary Scattering

Collective motion in actively propelled particle systems is triggered on the very local scale by nucleation of coherently moving units consisting of just a handful of particles. These units grow and merge over time, ending up in a long-range ordered, coherently-moving state. So far, there exists no bottom-up understanding of how the microscopic dynamics and interactions between the constituents are related to the system's ordering instability. In this paper, we study a class of models for propelled colloids allowing an explicit treatment of the microscopic details of the collision process. Specifically, the model equations are Newtonian equations of motion with separate force terms for particles' driving, dissipation and interaction forces. Focusing on dilute particle systems, we analyze the binary scattering behavior for these models, and determine-based on the microscopic dynamics-the corresponding collision-rule, i.e., the mapping of pre-collisional velocities and impact parameter on post-collisional velocities. By studying binary scattering we also find that the considered models for active colloids share the same principle for parallel alignment: the first incoming particle (with respect to the center of collision) is aligned to the second particle as a result of the encounter. This behavior is distinctively different to alignment in non-driven dissipative gases. Moreover, the obtained collision rule lends itself as a starting point to apply kinetic theory for propelled particle systems in order to determine the phase boundary to a long-range ordered, coherently-moving state. The microscopic origin of the collision rule offers the opportunity to quantitatively scrutinize the predictions of kinetic theory for propelled particle systems through direct comparison with multi-particle simulations.

cond-mat.soft↗

arXiv2013

Galois subfields of tame division algebras

We show that a finite-dimensional tame division algebra D over a Henselian field F has a maximal subfield Galois over F if and only if its residue division algebra has a maximal subfield Galois over the residue field of F. This generalizes the mechanism behind several known noncrossed product constructions to a crossed product criterion for all tame division algebras, and in particular for all division algebras if the residue characteristic is 0. If the residue field is a global field, the criterion leads to a description of the location of noncrossed products among tame division algebras, and their discovery in new parts of the Brauer group.

math.RA↗

arXiv2012

Homomorphic Payment Addresses and the Pay-to-Contract Protocol

We propose an electronic payment protocol for typical customer-merchant relations which does not require a trusted (signed) payment descriptor to be sent from the merchant to the customer. Instead, the destination "account" number for the payment is solely created on the customer side. This eliminates the need for any encrypted or authenticated communication in the protocol and is secure even if the merchant's online infrastructure is compromised. Moreover, the payment transaction itself serves as a timestamped receipt for the customer. It proves what has been paid for and who received the funds, again without relying on any merchant signatures. In particular, funds and receipt are exchanged in a single atomic action. The asymmetric nature of the customer-merchant relation is crucial. The protocol is specifically designed with bitcoin in mind as the underlying payment system. Thereby, it has the useful benefit that all transactions are public. However, the only essential requirement on the payment system is that "accounts" are arbitrary user-created keypairs of a cryptosystem whose keypairs enjoy a homomorphic property. All ElGamal-type cryptosystems have this feature. For use with bitcoin we propose the design of a deterministic bitcoin wallet whose addresses can be indexed by clear text strings.

cs.CR↗

arXiv2012

Noncrossed product bounds over Henselian fields

The existence of finite dimensional central division algebras with no maximal subfield that is Galois over the center (called noncrossed products), was for a time the biggest open problem in the theory of division algebras, before it was settled by Amitsur. Motivated by Brussel's discovery of noncrossed products over Q((t)), we describe the "location" of noncrossed products in the Brauer group of general Henselian valued fields with arbitrary value group and global residue field. We show that within the fibers defined canonically by Witt's decomposition of the Brauer group of such fields, crossed products and noncrossed products are, roughly speaking, separated by an index bound. This generalizes a result of the first and third author for rank 1 valued Henselian fields. Furthermore, we prove that all fibers which are not covered by the rank 1 case, and where the characteristic of the residue field does not interfere, contain noncrossed products. We show by example that, unlike in the rank 1 case, the value of the index bound does not depend on the number of roots of unity that are present. Thus, the index bounds are in general of a different nature than in the rank 1 case.

math.RA↗

arXiv2011

Galois subfields of inertially split division algebras

Let D be a valued division algebra, finite-dimensional over its center F. Assume D has an unramified splitting field. The paper shows that if D contains a maximal subfield which is Galois over F (i.e. D is a crossed product) then the residue division algebra of D contains a maximal subfield which is Galois over the residue field of F. This theorem captures an essential argument of previously known noncrossed product proofs in the more general language of noncommutative valuations. The result is particularly useful in connection with explicit constructions.

math.RA↗

arXiv2011

A Direct Approach to Noncrossed Product Division Algebras

A valuation theoretic approach is presented that directly leads to division algebras that are noncrossed products (instead of, e.g., describing Brauer classes of noncrossed products in an abstract manner). While this feature is shared by Amitsur's original construction, the new approach works over small fields. It is further demonstrated how it can be used to obtain very explicit examples of noncrossed products in the form of iterated twisted function fields over division algebras over global fields. The examples allow even to write down structure constants of noncrossed products.

math.RA↗

arXiv2009

Noncrossed products in Witt's Theorem

Since Amitsur's discovery of noncrossed product division algebras more than 35 years ago, their existence over more familiar fields has been an object of investigation. Brussel's work was a culmination of this effort, exhibiting noncrossed products over the rational function field k(t) and the Laurent series field k((t)) over any global field k -- the smallest possible centers of noncrossed products. Witt's theorem gives a transparent description of the Brauer group of k((t)) as the direct sum of the Brauer group of k and the character group of the absolute Galois group of k. We classify the Brauer classes over k((t)) containing noncrossed products by analyzing the fiber over chi for each character chi in Witt's theorem. In this way, a picture of the partition of the Brauer group into crossed products/noncrossed products is obtained, which is in principle ruled solely by a relation between index and number of roots of unity. For large indices the noncrossed products occur with a "natural density" equal to 1.

math.RA↗

arXiv2007

The isomorphism problem for cyclic algebras and its application

The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational aspects of representation theory, algebraic geometry and Brauer group theory. The paper presents an algorithm for cyclic algebras that reduces the isomorphism problem to field theory and thus provides a solution if certain field theoretic problems including norm equations can be solved (this is satisfied over number fields). As an application, we can compute all automorphisms of any given cyclic algebra over a number field. A detailed example is provided which serves to construct an explicit example of a noncrossed product division algebra.

math.RA↗

arXiv2007

A twisted Laurent series ring that is a noncrossed product

The striking results on noncrossed products were their existence (Amitsur) and the determination of Q(t) and Q((t)) as their smallest possible centres (Brussel). This paper gives the first fully explicit noncrossed product example over Q((t)). As a consequence, the use of deep number theoretic theorems (local-global principles such as the Hasse norm theorem and density theorems) in order to prove existence is eliminated. Instead, the example can be verified by direct calculations. The noncrossed product proof is short and elementary.

math.RA↗

arXiv2007

On absolute Galois splitting fields of central simple algebras

A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper provides an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. A closely related statement holds for division algebras over Henselian valued fields with global residue field. The existence of absolute Galois splitting fields in central simple algebras over global fields is equivalent to a suitable generalization of the weak Grunwald-Wang Theorem, which is proved to hold if enough roots of unity are present. In general, it does not hold and counter examples have been used in noncrossed product constructions. This paper shows in particular that a certain computational difficulty involved in the construction of explicit examples of noncrossed product twisted Laurent series rings can not be avoided by starting the construction with a symbol algebra.

math.NT↗