Finite field models in arithmetic combinatorics – ten years on

It has been close to ten years since the publication of Green's influential survey Finite field models in additive combinatorics [28], in which the author championed the use of high-dimensional vector spaces over finite fields as a toy model for tackling additive problems concerning the integers. The path laid out by Green has proven to be a very successful one to follow. In the present article we survey the highlights of the past decade and outline the challenges for the years to come.     

An Additive Problem with Primes in Arithmetic Progressions

In this paper, we extend a classical result of Hua to arithmetic progressions with large moduli. The result implies the Linnik Theorem on the least prime in an arithmetic progression.     

The large scale topology and algebraic K-theory of arithmetic groups

New compactifications of symmetric spaces of noncompact type X are constructed using the asymptotic geometry of the Borel–Serre enlargement. The controlled K-theory associated to these compactifications is used to prove the integral Novikov conjecture for arithmetic groups.     

Lefschetz Formulae for p -Adic Groups

Abstract In this paper, Lefschetz formulae for torus actions on p-adic groups are proven. These are similar to comparable formulae for real Lie groups. Applications lie in the realm of dynamical zeta functions.     

An experiment with arithmetic precision in linear algebra computations

Several techniques for experimental determination of floating point precision in practical computations are examined, and applied to linear algebra algorithms. These techniques are simple enough to be directly applicable to existing production codes, requiring a very limited amount of software on many machines, and yet they yield interesting information on the numerical precision of a computation. Our choice of linear algebra algorithms includes a direct solver (namely the MA32 program from the Harwell Library) and several variants of preconditioned conjugate gradients (the methods DIAG, INV, MINV and POL of Reference 1). The results may be of interest as method selection criteria, and thus complement Mflop performance data available from several sources.     

Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

Lefschetz Formulae for p-Adic Groups

In this paper,Lefschetz formulae for torus actions on p-adic groups are proven. These are similar to comparable formulae for real Lie groups.Applications lie in the realm of dynamical zeta functions.     

Arithmetic Brownian motion and real options

We treat real option value when the underlying process is arithmetic Brownian motion (ABM). In contrast to the more common assumption of geometric Brownian motion (GBM) and multiplicative diffusion, with ABM the underlying project value is expressed as an additive process. Its variance remains constant over time rather than rising or falling along with the project’s value, even admitting the possibility of negative values. This is a more compelling paradigm for projects that are managed as a component of overall firm value. After outlining the case for ABM, we derive analytical formulas for European calls and puts on dividend-paying assets as well as a numerical algorithm for American-style and other more complex options based on ABM. We also provide examples of their use.     

CONSTRUCTING POINTED WEAK HOPF ALGEBRAS BY ORE-EXTENSION

The main work of this article is to give a nontrivial method to construct pointed semilattice graded weak Hopf algebra At =n i =0Aαi tfrom a Clifford monoid S = [Y; Gα, φα,β ]by Ore-extensions, and to obtain a co-Frobenius semilattice graded weak Hopf algebra H(S, n, c, χ, a, b) through factoring At by a semilattice graded weak Hopf ideal.