Skip to main content

Showing 1–27 of 27 results for author: Giesbrecht, M

.
  1. arXiv:2207.04289  [pdf, ps, other

    math.AG cs.SC

    Bit complexity for computing one point in each connected component of a smooth real algebraic set

    Authors: Jesse Elliott, Mark Giesbrecht, Eric Schost

    Abstract: We analyze the bit complexity of an algorithm for the computation of at least one point in each connected component of a smooth real algebraic set. This work is a continuation of our analysis of the hypersurface case (On the bit complexity of finding points in connected components of a smooth real hypersurface, ISSAC'20). In this paper, we extend the analysis to more general cases. Let… ▽ More

    Submitted 9 July, 2022; originally announced July 2022.

    Comments: Journal of Symbolic Computation, to appear

  2. arXiv:2005.03497  [pdf, other

    cs.SC cs.CC

    Subquadratic-Time Algorithms for Normal Bases

    Authors: Mark Giesbrecht, Armin Jamshidpey, Éric Schost

    Abstract: For any finite Galois field extension $\mathsf{K}/\mathsf{F}$, with Galois group $G = \mathrm{Gal}(\mathsf{K}/\mathsf{F})$, there exists an element $α\in \mathsf{K}$ whose orbit $G\cdotα$ forms an $\mathsf{F}$-basis of $\mathsf{K}$. Such a $α$ is called a normal element and $G\cdotα$ is a normal basis. We introduce a probabilistic algorithm for testing whether a given $α\in \mathsf{K}$ is normal,… ▽ More

    Submitted 23 December, 2020; v1 submitted 5 May, 2020; originally announced May 2020.

    Comments: arXiv admin note: substantial text overlap with arXiv:1903.03278

    MSC Class: 12Y05; 12F10; 11y16; 68Q25

  3. arXiv:2002.00124  [pdf, ps, other

    cs.SC math.RA

    Efficient q-Integer Linear Decomposition of Multivariate Polynomials

    Authors: Mark Giesbrecht, Hui Huang, George Labahn, Eugene Zima

    Abstract: 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 for describing the q-counterpart of Ore-Sato theory. Both of our algorithms require only basic integer and polynomial arithmetic and work for any unique factoriza… ▽ More

    Submitted 12 February, 2021; v1 submitted 31 January, 2020; originally announced February 2020.

  4. arXiv:1912.00212  [pdf, ps, other

    cs.SC

    Counting invariant subspaces and decompositions of additive polynomials

    Authors: Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler

    Abstract: The functional (de)composition of polynomials is a topic in pure and computer algebra with many applications. The structure of decompositions of (suitably normalized) polynomials f(x) = g(h(x)) in F[x] over a field F is well understood in many cases, but less well when the degree of f is divisible by the positive characteristic p of F. This work investigates the decompositions of r-additive polyno… ▽ More

    Submitted 31 December, 2019; v1 submitted 30 November, 2019; originally announced December 2019.

  5. arXiv:1909.06898  [pdf, ps, other

    cs.SC math.CO math.RA

    Efficient Rational Creative Telescoping

    Authors: Mark Giesbrecht, Hui Huang, George Labahn, Eugene Zima

    Abstract: We present a new algorithm to compute minimal telescopers for rational functions in two discrete variables. As with recent reduction-based approaches, our algorithm has the important feature that the computation of a telescoper is independent of its certificate. In addition, our algorithm uses a compact representation of the certificate, which allows it to be easily manipulated and analyzed withou… ▽ More

    Submitted 9 August, 2021; v1 submitted 15 September, 2019; originally announced September 2019.

  6. arXiv:1903.03278  [pdf, ps, other

    cs.SC

    Quadratic Probabilistic Algorithms for Normal Bases

    Authors: Mark Giesbrecht, Armin Jamshidpey, Éric Schost

    Abstract: It is well known that for any finite Galois extension field $K/F$, with Galois group $G = \mathrm{Gal}(K/F)$, there exists an element $α\in K$ whose orbit $G\cdotα$ forms an $F$-basis of $K$. Such an element $α$ is called \emph{normal} and $G\cdotα$ is called a normal basis. In this paper we introduce a probabilistic algorithm for finding a normal element when $G$ is either a finite abelian or a m… ▽ More

    Submitted 7 March, 2019; originally announced March 2019.

    MSC Class: 12Y05; 12F10; 11y16; 68Q25

  7. arXiv:1812.04590  [pdf, other

    cs.SC

    Computing Nearby Non-trivial Smith Forms

    Authors: Mark Giesbrecht, Joseph Haraldson, George Labahn

    Abstract: We consider the problem of computing the nearest matrix polynomial with a non-trivial Smith Normal Form. We show that computing the Smith form of a matrix polynomial is amenable to numeric computation as an optimization problem. Furthermore, we describe an effective optimization technique to find a nearby matrix polynomial with a non-trivial Smith form. The results are then generalized to include… ▽ More

    Submitted 7 September, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

  8. arXiv:1712.04007  [pdf, other

    cs.SC

    Computing Lower Rank Approximations of Matrix Polynomials

    Authors: Mark Giesbrecht, Joseph Haraldson, George Labahn

    Abstract: Given an input matrix polynomial whose coefficients are floating point numbers, we consider the problem of finding the nearest matrix polynomial which has rank at most a specified value. This generalizes the problem of finding a nearest matrix polynomial that is algebraically singular with a prescribed lower bound on the dimension given in a previous paper by the authors. In this paper we prove th… ▽ More

    Submitted 11 December, 2017; originally announced December 2017.

    Comments: 31 Pages

  9. arXiv:1701.01994  [pdf, other

    cs.SC math.NA

    Computing Approximate Greatest Common Right Divisors of Differential Polynomials

    Authors: Mark Giesbrecht, Joseph Haraldson, Erich Kaltofen

    Abstract: Differential (Ore) type polynomials with "approximate" polynomial coefficients are introduced. These provide an effective notion of approximate differential operators, with a strong algebraic structure. We introduce the approximate Greatest Common Right Divisor Problem (GCRD) of differential polynomials, as a non-commutative generalization of the well-studied approximate GCD problem. Given two d… ▽ More

    Submitted 26 April, 2019; v1 submitted 8 January, 2017; originally announced January 2017.

  10. arXiv:1412.4088  [pdf, ps, other

    cs.SC cs.DS

    Faster Sparse Multivariate Polynomial Interpolation of Straight-Line Programs

    Authors: Andrew Arnold, Mark Giesbrecht, Daniel S. Roche

    Abstract: Given a straight-line program whose output is a polynomial function of the inputs, we present a new algorithm to compute a concise representation of that unknown function. Our algorithm can handle any case where the unknown function is a multivariate polynomial, with coefficients in an arbitrary finite field, and with a reasonable number of nonzero terms but possibly very large degree. It is compe… ▽ More

    Submitted 15 December, 2014; v1 submitted 12 December, 2014; originally announced December 2014.

    Comments: 33 pages. Submitted for publication

    MSC Class: 68W30 (Primary); 12Y05; 68W20 (Secondary) ACM Class: F.2.1; I.1.2

  11. arXiv:1406.0907  [pdf, other

    cs.SC math.NA

    Computing GCRDs of Approximate Differential Polynomials

    Authors: Mark Giesbrecht, Joseph Haraldson

    Abstract: Differential (Ore) type polynomials with approximate polynomial coefficients are introduced. These provide a useful representation of approximate differential operators with a strong algebraic structure, which has been used successfully in the exact, symbolic, setting. We then present an algorithm for the approximate Greatest Common Right Divisor (GCRD) of two approximate differential polynomials,… ▽ More

    Submitted 23 July, 2014; v1 submitted 3 June, 2014; originally announced June 2014.

    Comments: To appear, Workshop on Symbolic-Numeric Computing (SNC'14) July 2014

    ACM Class: I.1

  12. arXiv:1404.0002  [pdf, ps, other

    cs.SC math.AC math.RA

    Factoring Differential Operators in n Variables

    Authors: Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy

    Abstract: In this paper, we present a new algorithm and an experimental implementation for factoring elements in the polynomial n'th Weyl algebra, the polynomial n'th shift algebra, and ZZ^n-graded polynomials in the n'th q-Weyl algebra. The most unexpected result is that this noncommutative problem of factoring partial differential operators can be approached effectively by reducing it to the problem of… ▽ More

    Submitted 31 March, 2014; originally announced April 2014.

  13. arXiv:1401.6667  [pdf, other

    math.NT cs.SC

    Ranks of Quotients, Remainders and $p$-Adic Digits of Matrices

    Authors: Mustafa Elsheikh, Andy Novocin, Mark Giesbrecht

    Abstract: For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as $A = A^{[0]} + p A^{[1]} + p^2 A^{[2]} + \cdots$ where each $A^{[i]} \in \mathbb{Z}^{n \times n}$ has entries between $[0, p-1]$. Upper bounds are proven for th… ▽ More

    Submitted 31 January, 2014; v1 submitted 26 January, 2014; originally announced January 2014.

    Comments: 8 pages

    MSC Class: 15A03; 15B33; 15B36; 11C20

  14. arXiv:1401.4744  [pdf, ps, other

    cs.SC

    Sparse interpolation over finite fields via low-order roots of unity

    Authors: Andrew Arnold, Mark Giesbrecht, Daniel S. Roche

    Abstract: We present a new Monte Carlo algorithm for the interpolation of a straight-line program as a sparse polynomial $f$ over an arbitrary finite field of size $q$. We assume a priori bounds $D$ and $T$ are given on the degree and number of terms of $f$. The approach presented in this paper is a hybrid of the diversified and recursive interpolation algorithms, the two previous fastest known probabilisti… ▽ More

    Submitted 2 May, 2014; v1 submitted 19 January, 2014; originally announced January 2014.

    Comments: 18 pages, 1 table, 4 procedures, accepted to ISSAC 2014

    MSC Class: 68W30; 12Y05; 13P05 ACM Class: G.4; I.1.1

  15. arXiv:1401.1773  [pdf, other

    math.RA cs.SC math.PR

    Relating $p$-adic eigenvalues and the local Smith normal form

    Authors: Mustafa Elsheikh, Mark Giesbrecht

    Abstract: Conditions are established under which the $p$-adic valuations of the invariant factors (diagonal entries of the Smith form) of an integer matrix are equal to the $p$-adic valuations of the eigenvalues. It is then shown that this correspondence is the typical case for "most" matrices; precise density bounds are given for when the property holds, as well as easy transformations to this typical case… ▽ More

    Submitted 7 May, 2015; v1 submitted 8 January, 2014; originally announced January 2014.

    Comments: To appear in Linear Algebra and Its Applications

    MSC Class: 15A36; 15A18; 15A21

  16. Faster sparse interpolation of straight-line programs

    Authors: Andrew Arnold, Mark Giesbrecht, Daniel S. Roche

    Abstract: We give a new probabilistic algorithm for interpolating a "sparse" polynomial f given by a straight-line program. Our algorithm constructs an approximation f* of f, such that their difference probably has at most half the number of terms of f, then recurses on their difference. Our approach builds on previous work by Garg and Schost (2009), and Giesbrecht and Roche (2011), and is asymptotically mo… ▽ More

    Submitted 22 January, 2014; v1 submitted 11 April, 2013; originally announced April 2013.

    Comments: 15 pages, 1 table, 4 procedures, version appeared at Computer Algebra in Scientific Computing (CASC) 2013

    MSC Class: 68W20 ACM Class: F.2.1; G.1.1; G.4; I.1.2

    Journal ref: Proc. CASC 2013, Lecture Notes in Computer Science, Volume 8136, 2013, pp 61-74

  17. arXiv:1201.5365  [pdf, other

    cs.SC math.AC

    Fast Computation of Smith Forms of Sparse Matrices Over Local Rings

    Authors: Mustafa Elsheikh, Mark Giesbrecht, Andy Novocin, B. David Saunders

    Abstract: 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 tools, such as matrix rank computation over finite fields, for which the best-known time- and memory-efficient algorithms are probabilistic. For an $\nxn$ mat… ▽ More

    Submitted 28 April, 2012; v1 submitted 25 January, 2012; originally announced January 2012.

    Comments: Preliminary version to appear at ISSAC 2012

    ACM Class: G.4; I.1.4

  18. arXiv:1109.3656  [pdf, ps, other

    cs.SC

    Computing the Hermite Form of a Matrix of Ore Polynomials

    Authors: Mark Giesbrecht, Myung Sub Kim

    Abstract: 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 a unimodular matrix U such that UA=H. The algorithm requires a polynomial number of operations in F in terms of both the dimensions m and n, and the degree of t… ▽ More

    Submitted 30 October, 2012; v1 submitted 16 September, 2011; originally announced September 2011.

  19. arXiv:1101.3682  [pdf, other

    cs.SC cs.DS cs.MS

    Diversification improves interpolation

    Authors: Mark Giesbrecht, Daniel S. Roche

    Abstract: We consider the problem of interpolating an unknown multivariate polynomial with coefficients taken from a finite field or as numerical approximations of complex numbers. Building on the recent work of Garg and Schost, we improve on the best-known algorithm for interpolation over large finite fields by presenting a Las Vegas randomized algorithm that uses fewer black box evaluations. Using related… ▽ More

    Submitted 3 April, 2011; v1 submitted 19 January, 2011; originally announced January 2011.

    Comments: 26 pages, pdfLaTeX. Preliminary version to appear at ISSAC 2011

    ACM Class: F.2.1; G.1.1; G.4

  20. arXiv:1009.3214  [pdf, other

    cs.SC cs.CC cs.DS

    Computing sparse multiples of polynomials

    Authors: Mark Giesbrecht, Daniel S. Roche, Hrushikesh Tilak

    Abstract: 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 non-zero terms, and if so, to find such an h. When F=Q and t is constant, we give a polynomial-time algorithm in d and the size of coefficients in h. When F is a finit… ▽ More

    Submitted 1 January, 2011; v1 submitted 16 September, 2010; originally announced September 2010.

    Comments: Extended abstract appears in Proc. ISAAC 2010, pp. 266-278, LNCS 6506

    ACM Class: F.2.1; I.1.2; G.4

  21. arXiv:1005.1087  [pdf, other

    math.AC cs.SC

    Composition collisions and projective polynomials

    Authors: Joachim von zur Gathen, Mark Giesbrecht, Konstantin Ziegler

    Abstract: The functional decomposition of polynomials has been a topic of great interest and importance in pure and computer algebra and their applications. The structure of compositions of (suitably normalized) polynomials f=g(h) over finite fields is well understood in many cases, but quite poorly when the degrees of both components are divisible by the characteristic p. This work investigates the decomp… ▽ More

    Submitted 6 May, 2010; originally announced May 2010.

    MSC Class: 68W30

  22. arXiv:1004.5433  [pdf, other

    cs.SC

    Some Results on the Functional Decomposition of Polynomials

    Authors: Mark Giesbrecht

    Abstract: If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the ex- istence of such functions g and h. In this thesis we consider functional decom- positions of univariate and multivariate polynomials, and rational functions over a field F of characteristic p. In the polynomial case, "wild" behaviour occurs in both… ▽ More

    Submitted 29 April, 2010; originally announced April 2010.

    Comments: Masters Thesis, University of Toronto, 1988

  23. On computing the Hermite form of a matrix of differential polynomials

    Authors: Mark Giesbrecht, Myung Sub Kim

    Abstract: Given an n x n matrix over the ring of differential polynomials F(t)[\D;δ], 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 n, deg_D(A), and deg_t(A). When F is the field of rational numbers, it also requires time polynomial in the bit-length of the coefficients.

    Submitted 22 June, 2009; originally announced June 2009.

  24. arXiv:0901.1848  [pdf, other

    cs.SC

    Detecting lacunary perfect powers and computing their roots

    Authors: Mark Giesbrecht, Daniel S. Roche

    Abstract: We consider solutions to the equation f = h^r for polynomials f and h and integer r > 1. Given a polynomial f in the lacunary (also called sparse or super-sparse) representation, we first show how to determine if f can be written as h^r and, if so, to find such an r. This is a Monte Carlo randomized algorithm whose cost is polynomial in the number of non-zero terms of f and in log(deg f), i.e., po… ▽ More

    Submitted 3 December, 2010; v1 submitted 13 January, 2009; originally announced January 2009.

    Comments: to appear in Journal of Symbolic Computation (JSC), 2011

    ACM Class: I.1.2

  25. arXiv:0810.5685  [pdf, other

    cs.SC cs.DS cs.MS

    Interpolation of Shifted-Lacunary Polynomials

    Authors: Mark Giesbrecht, Daniel S. Roche

    Abstract: Given a "black box" function to evaluate an unknown rational polynomial f in Q[x] at points modulo a prime p, we exhibit algorithms to compute the representation of the polynomial in the sparsest shifted power basis. That is, we determine the sparsity t, the shift s (a rational), the exponents 0 <= e1 < e2 < ... < et, and the coefficients c1,...,ct in Q\{0} such that f(x) = c1(x-s)^e1+c2(x-s)^e2+.… ▽ More

    Submitted 23 August, 2010; v1 submitted 31 October, 2008; originally announced October 2008.

    Comments: 22 pages, to appear in Computational Complexity

    MSC Class: 68W30 (Primary); 12Y05 (Secondary)

    Journal ref: Computational Complexity, Vol. 19, No 3., pp. 333-354, 2010

  26. arXiv:cs/0701188  [pdf, ps, other

    cs.SC math.NA

    Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections

    Authors: Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard

    Abstract: Block projections have been used, in [Eberly et al. 2006], to obtain an efficient algorithm to find solutions for sparse systems of linear equations. A bound of softO(n^(2.5)) machine operations is obtained assuming that the input matrix can be multiplied by a vector with constant-sized entries in softO(n) machine operations. Unfortunately, the correctness of this algorithm depends on the existe… ▽ More

    Submitted 29 January, 2007; originally announced January 2007.

    Report number: EGGSV07-1 ACM Class: I.1.2; F.2.1; G.1.3; G.4

  27. arXiv:cs/0603082  [pdf, ps, other

    cs.SC

    Solving Sparse Integer Linear Systems

    Authors: Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard

    Abstract: We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a $p$-adic lifting technique combined with the use of block matrices with structured blocks. It achieves a sub-cubic complexity in terms of machine operations subject to a conjecture on the effectiveness of certain sparse projections. A LinBox-based implementation of this algorith… ▽ More

    Submitted 21 March, 2006; originally announced March 2006.

    ACM Class: I.1.2