Researcher profile

Gerard Maze

Gerard Maze contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.GM Cryptography and Security math.CA math.CO math.FA math.MG math.NT

Trust snapshot

Quick read

Trust 19 - Baseline

5works

0followers

7topics

1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2012arXiv

Improvements in closest point search based on dual HKZ-bases

In this paper we review the technique to solve the CVP based on dual HKZ-bases by J. Bloemer. The technique is based on the transference theorems given by Banaszczyk which imply some necessary conditions on the coefficients of the closest vectors with respect to a basis whose dual is HKZ reduced. Recursively, starting with the last coefficient, intervals of length i can be derived for the i-th coefficient of any closest vector. This leads to n! candidates for closest vectors. In this paper we refine the necessary conditions derived from the transference theorems, giving an exponential reduction of the number of candidates. The improvement is due to the fact that the lengths of the intervals are not independent. In the original algorithm the candidates for a coefficient pair (a_i,a_{i+1}) correspond to the integer points in a rectangle of volume i(i+1). In our analysis we show that the candidates for (a_i,a_{i+1}) in fact lie in an ellipse with transverse and conjugate diameter i+1, respectively i. This reduces the overall number of points to be enumerated by an exponential factor of about 0.886^n. We further show how a choice of the coefficients (a_n,...,a_{i+1}) influences the interval from which a_i can be chosen. Numerical computations show that these considerations allow to bound the number of points to be enumerated by n^{0.75 n} for 10 <= n <= 2000. Under the assumption that the Gaussian heuristic for the length of the shortest nonzero vector in a lattice is tight, this number can even be bounded by 2^{-2n} n^{n/2}.

preprint2011arXiv

Natural Density Distribution of Hermite Normal Forms of Integer Matrices

The Hermite Normal Form (HNF) is a canonical representation of matrices over any principal ideal domain. Over the integers, the distribution of the HNFs of randomly looking matrices is far from uniform. The aim of this article is to present an explicit computation of this distribution together with some applications. More precisely, for integer matrices whose entries are upper bounded in absolute value by a large bound, we compute the asymptotic number of such matrices whose HNF has a prescribed diagonal structure. We apply these results to the analysis of some procedures and algorithms whose dynamics depend on the HNF of randomly looking integer matrices.

preprint2010arXiv

A Note on the Weighted Harmonic-Geometric-Arithmetic Means Inequalities

In this note, we derive non trivial sharp bounds related to the weighted harmonic-geometric-arithmetic means inequalities, when two out of the three terms are known. As application, we give an explicit bound for the trace of the inverse of a symmetric positive definite matrix and an inequality related to the coefficients of polynomials with positive roots.

preprint2010arXiv

Some Inequalities Related to the Seysen Measure of a Lattice

Given a lattice $L$, a basis $B$ of $L$ together with its dual $B^*$, the orthogonality measure $S(B)=\sum_i ||b_i||^2 ||b_i^*||^2$ of $B$ was introduced by M. Seysen in 1993. This measure is at the heart of the Seysen lattice reduction algorithm and is linked with different geometrical properties of the basis. In this paper, we explicit different expressions for this measure as well as new inequalities.

preprint2005arXiv

Existence of a Limiting Distribution for the Binary GCD Algorithm

In this article, we prove the existence and uniqueness of a certain distribution function on the unit interval. This distribution appears in Brent's model of the analysis of the binary gcd algorithm. The existence and uniqueness of such a function has been conjectured by Richard Brent in his original paper \cite{brent}. Donald Knuth also supposes its existence in \cite{knuth} where developments of its properties lead to very good estimates in relation with the algorithm. We settle here the question of existence, giving a basis to these results, and study the relationship between this limiting function and the {\it binary Euclidean operator} $B_2$, proving rigorously that its derivative is a fixed point of $B_2$.