English
Related papers

Related papers: A fast algorithm for computing the characteristic …

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 deterministic algorithm for finding the determinant of $\mathbf{F}$. The complexity of the algorithm…

Symbolic Computation · Computer Science 2014-09-22 Wei Zhou , George Labahn

Lenstra's integer factorization algorithm is asymptotically one of the fastest known algorithms, and is ideally suited for parallel computation. We suggest a way in which the algorithm can be speeded up by the addition of a second phase.…

Number Theory · Mathematics 2010-04-21 Richard P. Brent

We describe a novel approach to accelerating Monte Carlo Markov Chains. Our focus is cosmological parameter estimation, but the algorithm is applicable to any problem for which the likelihood surface is a smooth function of the free…

Cosmology and Nongalactic Astrophysics · Physics 2015-05-20 Adam Bouland , Richard Easther , Katherine Rosenfeld

We prove several characterizations of the Hardy spaces for Fourier integral operators $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$, for $1<p<\infty$. First we characterize $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ in terms of…

Analysis of PDEs · Mathematics 2021-09-08 Jan Rozendaal

We present efficient algorithms for counting points on a smooth plane quartic curve $X$ modulo a prime $p$. We address both the case where $X$ is defined over $\mathbb F_p$ and the case where $X$ is defined over $\mathbb Q$ and $p$ is a…

Number Theory · Mathematics 2025-04-18 Edgar Costa , David Harvey , Andrew V. Sutherland

We present an algorithm for isolating the roots of an arbitrary complex polynomial $p$ that also works for polynomials with multiple roots provided that the number $k$ of distinct roots is given as part of the input. It outputs $k$ pairwise…

Symbolic Computation · Computer Science 2014-01-24 Kurt Mehlhorn , Michael Sagraloff , Pengming Wang

Given a quadratic map Q : K^n -> K^k defined over a computable subring D of a real closed field K, and a polynomial p(Y_1,...,Y_k) of degree d, we consider the zero set Z=Z(p(Q(X)),K^n) of the polynomial p(Q(X_1,...,X_n)). We present a…

Symbolic Computation · Computer Science 2007-05-23 Dima Grigoriev , Dmitrii V. Pasechnik

For interior-point algorithms in linear programming, it is well-known that the selection of the centering parameter is crucial for proving polynomility in theory and for efficiency in practice. However, the selection of the centering…

Optimization and Control · Mathematics 2021-10-05 Yaguang Yang

We present two new algorithms for the computation of the q-integer linear decomposition of a multivariate polynomial. Such a decomposition is essential for the treatment of q-hypergeometric symbolic summation via creative telescoping and…

Symbolic Computation · Computer Science 2021-02-15 Mark Giesbrecht , Hui Huang , George Labahn , Eugene Zima

Measuring how quickly iterative methods converge is essential in computational mathematics, but current approaches have significant limitations. Q-order analysis requires strict smoothness conditions, while R-order analysis lacks precision…

Numerical Analysis · Mathematics 2025-04-09 Xiangmin Jiao , Hongji Gao

We consider a recently introduced fair repetitive scheduling problem involving a set of clients, each asking for their associated job to be daily scheduled on a single machine across a finite planning horizon. The goal is to determine a job…

Data Structures and Algorithms · Computer Science 2026-01-01 Danny Hermelin , Danny Segev , Dvir Shabtay

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

The algorithms of Pan (1995) and(2002) approximate the roots of a complex univariate polynomial in nearly optimal arithmetic and Boolean time but require precision of computing that exceeds the degree of the polynomial. This causes…

Symbolic Computation · Computer Science 2016-11-10 Victor Y. Pan , Elias P. Tsigaridas , Vitaly Zaderman , Liang Zhao

Motivated by finding analogues of elliptic curve point counting techniques, we introduce one deterministic and two new Monte Carlo randomized algorithms to compute the characteristic polynomial of a finite rank-two Drinfeld module. We…

Symbolic Computation · Computer Science 2019-07-31 Yossef Musleh , Éric Schost

We give a deterministic algorithm for approximately counting satisfying assignments of a degree-$d$ polynomial threshold function (PTF). Given a degree-$d$ input polynomial $p(x_1,\dots,x_n)$ over $R^n$ and a parameter $\epsilon> 0$, our…

Computational Complexity · Computer Science 2013-12-02 Anindya De , Rocco Servedio

Let p be an odd prime number and g $\ge$ 2 be an integer. We present an algorithm for computing explicit rational representations of isogenies between Jacobians of hyperelliptic curves of genus g over an extension K of the field of p-adic…

Algebraic Geometry · Mathematics 2020-09-28 Élie Eid

Let $E$ be a Jordan rectifiable curve in the complex plane and let $G$ be the bounded component of $\mathbb{C}\backslash E$. Now let $n\in \mathbb{N}$, and let $m_{n,E}$ denote the extremal constants defined by \begin{equation*}m_{n,E}=\inf…

Complex Variables · Mathematics 2025-01-15 Abdelhamid Rehouma , Herry Pripawanto Suryawan

We consider local weak solutions of the Poisson equation for the p--Laplace operator. We prove a higher differentiability result, under an essentially sharp condition on the right-hand side. The result comes with a local scaling invariant a…

Analysis of PDEs · Mathematics 2016-07-25 Lorenzo Brasco , Filippo Santambrogio

Computing endomorphism rings of supersingular elliptic curves is an important problem in computational number theory, and it is also closely connected to the security of some of the recently proposed isogeny-based cryptosystems. In this…

Number Theory · Mathematics 2020-06-17 Kirsten Eisentraeger , Sean Hallgren , Chris Leonardi , Travis Morrison , Jennifer Park

In this article we implement a method for the computation of a nonlinear elliptic problem with nonstandard growth driven by the $p(x)-$Laplacian operator. Our implementation is based in the {\em decomposition--coordination} method that…

Numerical Analysis · Mathematics 2023-01-20 Adriana Aragon , Julian Fernandez Bonder , Diana Rubio