English
Related papers

Related papers: Effective module lattices and their shortest vecto…

200 papers

We study length-minimizing closed generalized Euclidean billiard trajectories in convex bodies in $\mathbb{R}^n$ and investigate their relation to the inclusion minimal affine sections that contain these trajectories. We show that when…

Dynamical Systems · Mathematics 2022-09-22 Daniel Rudolf , Stefan Krupp

We consider a variation of Construction A of lattices from linear codes based on two classes of number fields, totally real and CM Galois number fields. We propose a generic construction with explicit generator and Gram matrices, then focus…

Information Theory · Computer Science 2016-04-07 Xiaolu Hou , Frédérique Oggier

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel

In this paper we introduce the concept of modulus of regularity as a tool to analyze the speed of convergence, including the finite termination, for classes of Fej\'er monotone sequences which appear in fixed point theory, monotone operator…

Optimization and Control · Mathematics 2018-06-05 Ulrich Kohlenbach , Genaro López-Acedo , Adriana Nicolae

Our aim is to find a complex continued fraction algorithm finding all the best Diophantine approximations to a complex number. Using the sequence of minimal vectors in a two dimensional lattice over Gaussian integers, we obtain an algorithm…

Number Theory · Mathematics 2021-10-05 Nicolas Chevallier

We prove that the $L^2$ CVP distance from a random short ring element to the log-unit lattice of $\Q(\zeta_{2^k})$ converges to $\frac{\pi}{2\sqrt{6}}\sqrt{n}$ as $n=2^{k-1}\to\infty$. We then show that this target lies inside the Voronoi…

Data Structures and Algorithms · Computer Science 2026-05-19 Ming-Xing Luo

We present a geometric approach towards derandomizing the Isolation Lemma by Mulmuley, Vazirani, and Vazirani. In particular, our approach produces a quasi-polynomial family of weights, where each weight is an integer and quasi-polynomially…

Data Structures and Algorithms · Computer Science 2018-05-08 Rohit Gurjar , Thomas Thierauf , Nisheeth K. Vishnoi

This paper studies approximate solutions of a linear fractional vector optimization problem without requiring boundedness of the constraint set. We establish necessary and sufficient conditions for approximating weakly efficient points of…

Optimization and Control · Mathematics 2024-12-12 Nguyen Thi Thu Huong

Lattices are simplified by removing some of their doubly irreducible elements, resulting in smaller lattices called racks. All vertically indecomposable modular racks of $n \le 40$ elements are listed, and the numbers of all modular…

Combinatorics · Mathematics 2025-04-16 Jukka Kohonen

We prove that $n$-bit integers may be multiplied in $O(n \log n \, 4^{\log^* n})$ bit operations. This complexity bound had been achieved previously by several authors, assuming various unproved number-theoretic hypotheses. Our proof is…

Symbolic Computation · Computer Science 2019-02-13 David Harvey , Joris van der Hoeven

We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal…

Combinatorics · Mathematics 2024-08-07 Jinting Liang , Bruce E. Sagan

It is shown why the discriminant of a maximal order within a cyclic division algebra must be minimized in order to get the densest possible matrix lattices with a prescribed nonvanishing minimum determinant. Using results from class field…

Information Theory · Computer Science 2009-08-19 C. Hollanti , J. Lahtonen , K. Ranto , R. Vehkalahti

The main objective of this thesis is a classification project for integral lattices. Using Kneser's neighbour method we have developed the computer program tn to classify complete genera of integral lattices. Main results are detailed…

Metric Geometry · Mathematics 2007-05-23 Boris Hemkemeier

In their well known book Tsfasman and Vladut introduced a construction of a family of function field lattices from algebraic curves over finite fields, which have asymptotically good packing density in high dimensions. In this paper we…

Number Theory · Mathematics 2014-04-17 Lenny Fukshansky , Hiren Maharaj

We denote by Conc(L) the semilattice of all finitely generated congruences of a lattice L. For varieties (i.e., equational classes) V and W of lattices such that V is contained neither in W nor its dual, and such that every simple member of…

Logic · Mathematics 2014-03-24 Pierre Gillibert

Orders and fractional ideals in number fields provide interesting examples of lattices. We ask: what lattices arise from orders in number fields? We prove that all nontrivial multiplicative constraints on successive minima of orders come…

Number Theory · Mathematics 2025-07-08 Sameera Vemulapalli

We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lattices. We resolve a conjecture of Defant, Jiang, Marczinzik,…

Combinatorics · Mathematics 2026-05-26 Colin Defant

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

Logic in Computer Science · Computer Science 2023-02-14 Shenghua Feng , Mingshuai Chen , Han Su , Benjamin Lucien Kaminski , Joost-Pieter Katoen , Naijun Zhan

We consider the root lattice $A_n$ and derive explicit formulae for the moments of its Voronoi cell. We then show that these formulae enable accurate prediction of the error probability of lattice codes constructed from $A_n$.

Information Theory · Computer Science 2011-11-29 Robby McKilliam , Ramanan Subramanian , Emanuele Viterbo , I. Vaughan L. Clarkson

Using results from spectral theory of Eisenstein series, we prove a formula for the second moment of the Siegel transform when averaged over the subspace of symplectic lattices. This generalizes the classical formula of Rogers for the…

Number Theory · Mathematics 2020-06-09 Dubi Kelmer , Shucheng Yu