English
Related papers

Related papers: A Polynomial-time Algorithm for Computing the Perm…

200 papers

We present a polynomial-time pseudo-deterministic algorithm for constructing irreducible polynomial of degree $d$ over finite field $\mathbb{F}_q$. A pseudo-deterministic algorithm is allowed to use randomness, but with high probability it…

Data Structures and Algorithms · Computer Science 2024-10-08 Shanthanu S Rai

We describe a provably quasi-polynomial algorithm to compute discrete logarithms in the multiplicative groups of finite fields of small characteristic, that is finite fields whose characteristic is logarithmic in the order. We partially…

Number Theory · Mathematics 2025-02-25 Guido Lido

I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem.

Algebraic Geometry · Mathematics 2015-09-09 J. M. Landsberg

The principal minors of a tridiagonal matrix satisfy two-term and three-term recurrences [1, 2]. Based on these facts, the current article presents a new efficient and reliable hybrid numerical algorithm for evaluating general n-th order…

Numerical Analysis · Mathematics 2022-07-25 Moawwad El-Mikkawy , AbdelRahman Karawia

We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the variables in a given symbolic matrix as to maximize the…

Data Structures and Algorithms · Computer Science 2014-07-11 Gábor Ivanyos , Marek Karpinski , Nitin Saxena

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

Symbolic Computation · Computer Science 2024-08-29 Yuki Ishihara , Kazuhiro Yokoyama

Valiant's famous determinant versus permanent problem is the flagship problem in algebraic complexity theory. Mulmuley and Sohoni (Siam J Comput 2001, 2008) introduced geometric complexity theory, an approach to study this and related…

Computational Complexity · Computer Science 2017-07-27 Fulvio Gesmundo , Christian Ikenmeyer , Greta Panova

In this paper, a new rigorous numerical method to compute fundamental matrix solutions of non-autonomous linear differential equations with periodic coefficients is introduced. Decomposing the fundamental matrix solutions $\Phi(t)$ by their…

Dynamical Systems · Mathematics 2011-12-22 Roberto Castelli , Jean-Philippe Lessard

We consider the problem of finding a sparse multiple of a polynomial. Given f in F[x] of degree d over a field F, and a desired sparsity t, our goal is to determine if there exists a multiple h in F[x] of f such that h has at most t…

Symbolic Computation · Computer Science 2011-01-04 Mark Giesbrecht , Daniel S. Roche , Hrushikesh Tilak

Let $\FF$ be a finite field of characteristics different from two. We show that no bijective map transforms permanent into determinant when the cardinality of $\FF$ is sufficiently large. We also give an example of non-bijective map when…

Combinatorics · Mathematics 2010-03-11 Gregor Dolinar , Alexander E. Guterman , Bojan Kuzma , Marko Orel

This paper deals with simultaneously fast and in-place algorithms for formulae where the result has to be linearly accumulated: some of the output variables are also input variables, linked by a linear dependency. Fundamental examples…

Symbolic Computation · Computer Science 2024-07-02 Jean-Guillaume Dumas , Bruno Grenet

An integer $a$ is a quadratic nonresidue for a prime $p$ if $x^2 \equiv a \bmod p$ has no solution. Quadratic nonresidues may be found by probabilistic methods in polynomial time. However, without assuming the Generalized Riemann…

Quantum Physics · Physics 2021-06-09 Thomas G. Draper

We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions…

Quantum Physics · Physics 2019-07-12 Ryan L. Mann , Michael J. Bremner

We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs,…

Combinatorics · Mathematics 2021-08-31 Diana Dziewa-Dawidczyk , Adam J. Przeździecki

Assuming that the Permanent polynomial requires algebraic circuits of exponential size, we show that the class VNP does not have efficiently computable equations. In other words, any nonzero polynomial that vanishes on the coefficient…

Computational Complexity · Computer Science 2024-02-29 Mrinal Kumar , C. Ramya , Ramprasad Saptharishi , Anamay Tengse

We give explicit formulas as well as a quadratic time algorithm to solve (so called) generalized Vandermonde's systems of p linear equations and n variables. It allows in particular to find all (so called Lagrange's) interpolation polynoms…

Numerical Analysis · Mathematics 2007-09-14 Jean-Philippe Preaux , Jacques Raout

The purpose of this article is to bring together the third-order Jacobsthal numbers and 3-parameter generalized quaternions, which are a general form of the quaternion algebra according to 3-parameters. With this purpose, we introduce and…

Rings and Algebras · Mathematics 2025-04-08 Gamaliel Morales

We use the theory of resultants of polynomials to study the stability of an arbitrary polynomial over a finite field, that is, the property of having all its iterates irreducible. This result partially generalises the quadratic polynomial…

Number Theory · Mathematics 2012-06-22 Domingo Gomez-Perez , Alejandro P. Nicolas , Alina Ostafe , Daniel Sadornil

This note presents absolute bounds on the size of the coefficients of the characteristic and minimal polynomials depending on the size of the coefficients of the associated matrix. Moreover, we present algorithms to compute more precise…

Symbolic Computation · Computer Science 2011-11-10 Jean-Guillaume Dumas

We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…

Logic · Mathematics 2025-11-26 Stefan Marian Ludwig
‹ Prev 1 4 5 6 7 8 10 Next ›