English
Related papers

Related papers: A cubic algorithm for computing the Hermite normal…

200 papers

Given a square, nonsingular matrix of univariate polynomials $\mathbf{F} \in \mathbb{K}[x]^{n \times n}$ over a field $\mathbb{K}$, we give a fast, deterministic algorithm for finding the Hermite normal form of $\mathbf{F}$ with complexity…

Symbolic Computation · Computer Science 2016-02-08 George Labahn , Wei Zhou

Given a nonsingular $n \times n$ matrix of univariate polynomials over a field $\mathbb{K}$, we give fast and deterministic algorithms to compute its determinant and its Hermite normal form. Our algorithms use…

Symbolic Computation · Computer Science 2017-03-31 George Labahn , Vincent Neiger , Wei Zhou

Given a full column rank $M \in \Z^{\ell \times m}$ and an $F \in \Z^{n \times m}$ we present an algorithm to compute the $n \times n$ basis in Hermite form of the integer lattice comprised of all rows $p \in \Z^{1 \times n}$ such that $pF…

Data Structures and Algorithms · Computer Science 2026-05-11 George Labahn , Arne Storjohann

Given an n x n matrix over the ring of differential polynomials F(t)[\D;\delta], we show how to compute the Hermite form H of A, and a unimodular matrix U such that UA=H. The algorithm requires a polynomial number of operations in terms of…

Symbolic Computation · Computer Science 2015-05-13 Mark Giesbrecht , Myung Sub Kim

We consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, deterministic algorithms with satisfactory cost bounds are…

Symbolic Computation · Computer Science 2018-05-21 Vincent Neiger , Johan Rosenkilde , Grigory Solomatov

A Las Vegas randomized algorithm is given to compute the Smith multipliers for a nonsingular integer matrix $A$, that is, unimodular matrices $U$ and $V$ such that $AV=US$, with $S$ the Smith normal form of $A$. The expected running time of…

Symbolic Computation · Computer Science 2022-09-23 Stavros Birmpilis , George Labahn , Arne Storjohann

In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]-module generated by the column vectors of F. The algorithm…

Symbolic Computation · Computer Science 2016-07-22 Rui-Juan Jing , Chun-Ming Yuan , Xiao-Shan Gao

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…

Number Theory · Mathematics 2011-08-05 Gerard Maze

We show that the integers in the HMM LLL HNF algorithm have bit length O(m.log(m.B)), where m is the number of rows and B is the maximum square length of a row of the input matrix. This is only a little worse than the estimate O(m.log(B))…

Number Theory · Mathematics 2007-05-23 Wilberd van der Kallen

We describe a C implementation of the Las Vegas algorithm of Birmpilis, Labahn and Storjohann from 2020 for computing the Smith normal form of a nonsingular integer matrix. The algorithm computes a Smith massager for the input matrix using…

Mathematical Software · Computer Science 2026-05-20 Ziwen Wang , Stavros Birmpilis , George Labahn , Arne Storjohann

We propose a class of randomized quantum algorithms for the task of sampling from matrix functions, without the use of quantum block encodings or any other coherent oracle access to the matrix elements. As such, our use of qubits is purely…

Quantum Physics · Physics 2024-05-22 Samson Wang , Sam McArdle , Mario Berta

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

We present an algorithm computing the determinant of an integer matrix A. The algorithm is introspective in the sense that it uses several distinct algorithms that run in a concurrent manner. During the course of the algorithm partial…

Symbolic Computation · Computer Science 2008-09-04 Jean-Guillaume Dumas , Anna Urbanska

In this paper, the Hermite problem has been approached finding a periodic representation (by means of periodic rational or integer sequences) for any cubic irrationality. In other words, the problem of writing cubic irrationals as a…

Number Theory · Mathematics 2014-01-17 Nadir Murru

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

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

We present and analyze a simple numerical method that diagonalizes a complex normal matrix A by diagonalizing the Hermitian matrix obtained from a random linear combination of the Hermitian and skew-Hermitian parts of A.

Numerical Analysis · Mathematics 2025-07-29 Haoze He , Daniel Kressner

A new Las Vegas algorithm is presented for the composition of two polynomials modulo a third one, over an arbitrary field. When the degrees of these polynomials are bounded by $n$, the algorithm uses $O(n^{1.43})$ field operations, breaking…

Symbolic Computation · Computer Science 2023-07-21 Vincent Neiger , Bruno Salvy , Éric Schost , Gilles Villard

N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer…

Optimization and Control · Mathematics 2014-05-08 Raymond Hemmecke , Shmuel Onn , Lyubov Romanchuk

Following several decades of successive algorithmic improvements, works from the 2010s have showed how to compute the Hermite normal form (HNF) of a univariate polynomial matrix within a complexity bound which is essentially that of…

Symbolic Computation · Computer Science 2026-02-10 Jérémy Berthomieu , Vincent Neiger , Hugo Passe
‹ Prev 1 2 3 10 Next ›