English
Related papers

Related papers: Computing bases in Hermite normal form of lattices…

200 papers

The lattice Boltzmann method (LBM) is emerging as a powerful engineering tool for aeroacoustic computations. However, the LBM has been shown to present accuracy and stability issues in the medium-low Mach number range, that is of interest…

Fluid Dynamics · Physics 2017-11-22 Federico Brogi , Orestis Malaspinas , Bastien Chopard , Costanza Bonadonna

We design a new algorithm for solving parametric systems having finitely many complex solutions for generic values of the parameters. More precisely, let $f = (f_1, \ldots, f_m)\subset \mathbb{Q}[y][x]$ with $y = (y_1, \ldots, y_t)$ and $x…

Symbolic Computation · Computer Science 2021-12-22 Huu Phuoc Le , Mohab Safey El Din

We study a hermitian $(n+1)$-matrix model with plaquette interaction, $\sum_{i=1}^n MA_iMA_i$. By means of a conformal transformation we rewrite the model as an $O(n)$ model on a random lattice with a non polynomial potential. This allows…

High Energy Physics - Theory · Physics 2009-10-30 L. Chekhov , C. Kristjansen

Let R=F[D;sigma,delta] be the ring of Ore polynomials over a field (or skew field) F, where sigma is a automorphism of F and delta is a sigma-derivation. Given a an m by n matrix A over R, we show how to compute the Hermite form H of A and…

Symbolic Computation · Computer Science 2012-11-01 Mark Giesbrecht , Myung Sub Kim

Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost of a well-known algorithm…

Symbolic Computation · Computer Science 2019-12-17 Tao Zheng

The Euclidean algorithm is the oldest algorithms known to mankind. Given two integral numbers $a_1$ and $a_2$, it computes the greatest common divisor (gcd) of $a_1$ and $a_2$ in a very elegant way. From a lattice perspective, it computes a…

Data Structures and Algorithms · Computer Science 2024-11-08 Kim-Manuel Klein , Janina Reuter

We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K. The modular strategy was conjectured to run in polynomial…

Symbolic Computation · Computer Science 2012-04-06 Jean-François Biasse , Claus Fieker

Let $E=\mathbb{Q}\big(\sqrt{-d}\big)$ be an imaginary quadratic field for a square-free positive integer $d$, and let $\mathcal{O}$ be its ring of integers. For each positive integer $m$, let $I_m$ be the free Hermitian lattice over…

Number Theory · Mathematics 2023-09-29 Jingbo Liu

This paper presents an adaptive randomized algorithm for computing the butterfly factorization of a $m\times n$ matrix with $m\approx n$ provided that both the matrix and its transpose can be rapidly applied to arbitrary vectors. The…

Numerical Analysis · Mathematics 2020-02-11 Yang Liu , Xin Xing , Han Guo , Eric Michielssen , Pieter Ghysels , Xiaoye Sherry Li

Many challenging Graver bases computations, like for multi-way tables in statistics, have a highly symmetric problem structure that is not exploited so far computationally. In this paper we present a Graver basis algorithm for sublattices…

Combinatorics · Mathematics 2007-05-23 Raymond Hemmecke

An algorithm to classify a general Hermitian matrix according to its signature (positive semi-definite, negative or indefinite) is presented. It builds on the Quantum Phase Estimation algorithm, which stores the sign of the eigenvalues of a…

Quantum Physics · Physics 2022-11-28 Andrés Gómez , Javier Mas

Subspace iterations are used to minimise a generalised Ritz functional of a large, sparse Hermitean matrix. In this way, the lowest $m$ eigenvalues are determined. Tests with $1 \leq m \leq 32$ demonstrate that the computational cost (no.…

High Energy Physics - Lattice · Physics 2009-10-28 B. Bunk

We propose an algorithm for producing Hermite-Pad\'e polynomials of type I for an arbitrary tuple of $m+1$ formal power series $[f_0,\dots,f_m]$, $m\geq1$, about $z=0$ ($f_j\in{\mathbb C}[[z]]$) under the assumption that the series have a…

Complex Variables · Mathematics 2021-12-22 N. R. Ikonomov , S. P. Suetin

Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove…

Symbolic Computation · Computer Science 2023-02-10 Shaoshi Chen , Lixin Du , Manuel Kauers

In this paper, we describe non invertible matrix in GF(2)which can be used as multiplication matrix in Hill Cipher technique for one way hash algorithm. The matrices proposed are permutation matrices with exactly one entry 1 in each row and…

Cryptography and Security · Computer Science 2012-10-09 Artan Berisha , Behar Baxhaku , Artan Alidema

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

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

Symbolic Computation · Computer Science 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

The problem of computing the index of a coincidence isometry of the hyper cubic lattice $\mathbb{Z}^{n}$ is considered. The normal form of a rational orthogonal matrix is analyzed in detail, and explicit formulas for the index of certain…

Group Theory · Mathematics 2007-05-23 Yi Ming Zou

We investigate the algebra and combinatorics of an analogue of the Hermite normal form that classifies finite-index submodules of $\mathbb F_q[[T]]^d$. We identity both normal forms as instances of Gr\"obner basis theory under different…

Combinatorics · Mathematics 2025-08-12 Yifeng Huang , Ruofan Jiang

Motivated by classical results of approximation theory, we define an Hermite-type interpolation in terms of $n$-dimensional subspaces of the space of $n$ times continuously differentiable functions. In the main result of this paper, we…

Classical Analysis and ODEs · Mathematics 2024-12-12 Ali Hasan Ali , Zsolt Páles