BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jacques Martinet contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We compare for an $n$-dimensional Euclidean lattice $\Lb$ the smallest possible values of the product of the norms of $n$~vectors which either constitute a basis for $\Lb$ (Hermite-type inequalities) or are merely assumed to be independent (Minkowski-type inequalities). We improve on 1953 results of van der Waerden in dimensions $6$ to $8$ and prove partial result in dimension~$9$.
Let $\Lb$ be a lattice in an $n$-dimensional Euclidean space $E$ and let $\Lb'$ be a Minkowskian sublattice of $\Lb$, that is, a sublattice having a basis made of representatives for the Minkowski successive minima of $\Lb$. We consider the set of possible quotients $\Lb/\Lb'$ which may exists in a given dimension or among not too large values of the index $[\Lb:\Lb']$, indeed $[\Lb:\Lb']\le 4$, or dimension $n\le 8$.
We prove that all Euclidean lattices of dimension $n\le 9$ which are generated by their minimal vectors, also possess a basis of minimal vectors. By providing a new counterexample, we show that this is not the case for all dimensions $n\ge 10$.
Let $Λ$ be a lattice in an $n$-dimensional Euclidean space $E$ and let $Λ'$ be a Minkowskian sublattice of $Λ$, that is, a sublattice having a basis made of representatives for the Minkowski successive minima of $Λ$. We extend the classification of possible $\Z/d\Z$-codes of the quotients $Λ/Λ'$ to dimension~$9$, where $d\Z$ is the annihilator of $Λ/Λ'$.