We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...
For the group of endo-permutation modules of a finite p-group, there is a surjective reduction homomorphism from a complete discrete valuation ring of characteristic 0 to its residue field of characteristic p. We prove that this reduction map always has a ...
In this paper we study the regularized Petersson product between a holomorphic theta series associated to a positive definite binary quadratic form and a weakly holomorphic weight-one modular form with integral Fourier coefficients. In [18], we proved that ...
In this paper, we use methods from spectral graph theory to obtain some results on the sum-product problem over finite valuation rings R of order q(r) which generalize recent results given by Hegyvari and Hennecart (2013). More precisely, we prove that, fo ...
The large sieve inequalities for algebraic trace functions are considered in this article. A fundamental iterative relation is established by classical Fourier analysis, and l-adic Fourier analysis and multiplicative convolutions of sheaves are also requir ...
The aim of this work is to solve parametrized partial differential equations in computational domains represented by networks of repetitive geometries by combining reduced basis and domain decomposition techniques. The main idea behind this approach is to ...
We construct "generalized Heegner cycles" on a variety fibered over a Shimura curve, defined over a number field. We show that their images under the p-adic Abel-Jacobi map coincide with the values (outside the range of interpolation) of a p-adic L-functio ...
We show that Brauer classes of a locally solvable degree 4 del Pezzo surface X are vertical for some projection away from a plane g : X -> P-1, i.e., that every Brauer class is obtained by pullback from an element of Br k(P-1). As a consequence, we prove t ...
We prove that amenability of a discrete group is equivalent to dimension flatness of certain ring inclusions naturally associated with measure preserving actions of the group. This provides a group-measure space theoretic solution to a conjecture of Luck s ...
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined o ...
We prove upper bounds for Hecke-Laplace eigenfunctions on certain Riemannian manifolds X of arithmetic type, uniformly in the eigenvalue and the volume of the manifold. The manifolds under consideration are d-fold products of 2-spheres or 3-spheres, realiz ...
If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byo ...
Let G be the product of an abelian variety and a torus defined over a number field K. Let R-1, ..., R-n be points in G(K). Let l be a rational prime, and let a(1), ..., a(n) be nonnegative integers. Consider the set of primes p of K satisfying the followin ...
We study periodic torus orbits on spaces of lattices. Using the action of the group of adelic points of the underlying tori, we define a natural equivalence relation on these orbits, and show that the equivalence classes become uniformly distributed. This ...
Let F/E be a finite Galois extension of fields with abelian Galois group Γ. A self-dual normal basis for F/E is a normal basis with the additional property that TrF/E(g(x),h(x))=δg,h for g,h∈Γ. Bayer-Fluckiger and Lenstra h ...
This thesis is concerned with computations of bounds for two different arithmetic invariants. In both cases it is done with the intention of proving some algebraic or arithmetic properties for number fields. The first part is devoted to computations of low ...
Let G be the product of an abelian variety and a torus defined over a number field K. Let P and Q be K-rational points on G. Suppose that for all but finitely many primes p of K the order of (Q mod p) divides the order of (P mod p). Then there exist a K-en ...
Let K be a finite extension of Q(p), let L/K be a finite abelian Galois extension of odd degree and let D-L be the valuation ring of L. We define A(L/K) to be the unique fractional D-L-ideal with square equal to the inverse different of L/K. For p an odd p ...
In the first chapter, we characterize p-adic linear algebraic groups with the Haagerup Property. We also characterize connected Lie groups having the Haagerup Property viewed as discrete groups, and we provide an example of a finitely presented group not h ...
This article presents optimization results on the MOVA undeniable signature scheme presented last year by Monnerat and Vaudenay at PKC'04 as well as its generalization proposed at Asiacrypt'04 which is based on a secret group homomorphism. The original MOV ...