English
Related papers

Related papers: A Fast Algorithm for Computing the p-Curvature

200 papers

In this paper we provide an algorithm, similar to the simplex algorithm, which determines a rational cp-factorization of a given matrix, whenever the matrix allows such a factorization. This algorithm can be used to show that every integral…

Optimization and Control · Mathematics 2021-04-27 Mathieu Dutour Sikirić , Achill Schürmann , Frank Vallentin

The computation of the matrix exponential is a ubiquitous operation in numerical mathematics, and for a general, unstructured $n\times n$ matrix it can be computed in $\mathcal{O}(n^3)$ operations. An interesting problem arises if the input…

Numerical Analysis · Mathematics 2021-06-02 Daniel Kressner , Robert Luce

We revisit Christol's theorem on algebraic power series in positive characteristic and propose yet another proof for it. This new proof combines several ingredients and advantages of existing proofs, which make it very well-suited for…

Number Theory · Mathematics 2019-02-13 Alin Bostan , Xavier Caruso , Gilles Christol , Philippe Dumas

Based on the characterization of the polyconvex envelope of isotropic functions by their signed singular value representations, we propose a simple algorithm for the numerical approximation of the polyconvex envelope. Instead of operating…

Numerical Analysis · Mathematics 2023-07-31 Timo Neumeier , Malte A. Peter , Daniel Peterseim , David Wiedemann

A T-curve of degree $d$ is given by a regular unimodular triangulation of $d \cdot \Delta_2$ together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, this determines the ambient isotopy type (a.k.a. real…

We study a quantum system of $p$ commuting matrices and find that such a quantum system requires an explicit curvature dependent potential in its Lagrangian for the system to have a finite energy ground state. In contrast it is possible to…

High Energy Physics - Theory · Physics 2015-06-22 Veselin G. Filev , Denjoe O'Connor

We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(n D kappa(f)) iterations where n is the number of polynomials (as well as the dimension of the ambient space), D…

Computational Complexity · Computer Science 2010-07-12 Felipe Cucker , Teresa Krick , Gregorio Malajovich , Mario Wschebor

In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the…

Computational Geometry · Computer Science 2024-10-25 Juan Juan Gerardo Alcázar , Carlos Hermoso , Hüsnü Anıl Çoban , Uğur Gözütok

Solutions of partial differential equations can often be written as surface integrals having a kernel related to a singular fundamental solution. Special methods are needed to evaluate the integral accurately at points on or near the…

Numerical Analysis · Mathematics 2025-10-16 J. Thomas Beale , Svetlana Tlupova

Computation of the spherical harmonic rotation coefficients or elements of Wigner's d-matrix is important in a number of quantum mechanics and mathematical physics applications. Particularly, this is important for the Fast Multipole Methods…

Numerical Analysis · Computer Science 2014-04-01 Nail A. Gumerov , Ramani Duraiswami

We give an algorithm for computing an inseparable endomorphism of a supersingular elliptic curve $E$ defined over $\mathbb F_{p^2}$, which, conditional on GRH, runs in expected $O(p^{1/2}(\log p)^2(\log\log p)^3)$ bit operations and…

Number Theory · Mathematics 2025-02-03 Jenny Fuselier , Annamaria Iezzi , Mark Kozek , Travis Morrison , Changningphaabi Namoijam

We exhibit a probabilistic algorithm which solves a polynomial system over the rationals defined by a reduced regular sequence. Its bit complexity is roughly quadratic in the B\'ezout number of the system and linear in its bit size. Our…

Algebraic Geometry · Mathematics 2016-12-23 Nardo Gimenez , Guillermo Matera

The problem of maximizing the $p$-th power of a $p$-norm over a halfspace-presented polytope in $\R^d$ is a convex maximization problem which plays a fundamental role in computational convexity. It has been shown in 1986 that this problem…

Computational Complexity · Computer Science 2013-07-25 Christian Knauer , Stefan König , Daniel Werner

This paper presents a means with time complexity of at worst O(n^3) to compute the discrete logarithm on cyclic finite groups of integers modulo p. The algorithm makes use of reduction of the problem to that of finding the concurrent zeros…

Data Structures and Algorithms · Computer Science 2009-12-29 Charles Sauerbier

The covariance matrix of a $p$-dimensional random variable is a fundamental quantity in data analysis. Given $n$ i.i.d. observations, it is typically estimated by the sample covariance matrix, at a computational cost of $O(np^{2})$…

Computation · Statistics 2018-11-13 Ofer Shwartz , Boaz Nadler

Several algorithms in computer algebra involve the computation of a power series solution of a given ordinary differential equation. Over finite fields, the problem is often lifted in an approximate $p$-adic setting to be well-posed. This…

Symbolic Computation · Computer Science 2023-06-12 Pierre Lairez , Tristan Vaccon

We report an ongoing work on clustering algorithms for complex roots of a univariate polynomial $p$ of degree $d$ with real or complex coefficients. As in their previous best subdivision algorithms our root-finders are robust even for…

Symbolic Computation · Computer Science 2019-11-18 Rémi Imbach , Victor Y. Pan

Many problems in computer science and applied mathematics require rounding a vector $\mathbf{w}$ of fractional values lying in the interval $[0,1]$ to a binary vector $\mathbf{x}$ so that, for a given matrix $\mathbf{A}$,…

Data Structures and Algorithms · Computer Science 2020-08-04 Lily Li , Aleksandar Nikolov

Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by $\order_{D}$ to supersingular…

Number Theory · Mathematics 2011-02-10 Ben Kane

We present algorithms to compute the Smith Normal Form of matrices over two families of local rings. The algorithms use the \emph{black-box} model which is suitable for sparse and structured matrices. The algorithms depend on a number of…

Symbolic Computation · Computer Science 2012-05-01 Mustafa Elsheikh , Mark Giesbrecht , Andy Novocin , B. David Saunders