当前期刊: Journal of Symbolic Computation Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • A fast algorithm for computing multiplicative relations between the roots of a generic polynomial
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-08-06
    Tao Zheng

    Multiplicative relations between the roots of a polynomial in Q[x] have drawn much attention in the field of arithmetic and algebra, while the problem of computing these relations is interesting to researchers in many other fields. In this paper, a sufficient condition is given for a polynomial f∈Q[x] to have only trivial multiplicative relations between its roots, which is a generalization of those

    更新日期:2020-08-06
  • Reducing radicals in the spirit of Euclid
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-15
    Kurt Girstmair

    Let p be an odd natural number ≥3. Inspired by results from Euclid's Elements, we express the irrationaly=d+Rp, whose degree is 2p, as a polynomial function of irrationals of degrees ≤p. In certain cases y is expressed by simple radicals. This reduction of the degree exhibits remarkably regular patterns of the polynomials involved. The proof is based on hypergeometric summation, in particular, on Zeilberger's

    更新日期:2020-07-15
  • Catalecticant intersections and confinement of decompositions of forms
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-09
    Elena Angelini; Cristiano Bocci; Luca Chiantini

    We introduce the notion of confinement of decompositions for forms or vector of forms. The confinement, when it holds, lowers the number of parameters that one needs to consider, in order to find all the possible decompositions of a given set of data. With the technique of confinement, we obtain here two results. First, we give a new, shorter proof of a result by London (1890) that 3 general plane

    更新日期:2020-07-10
  • A new general formula for the Cauchy Index on an interval with Subresultants
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Daniel Perrucci; Marie-Françoise Roy

    We present a new formula for the Cauchy index of a rational function on an interval using subresultant polynomials. There is no condition on the endpoints of the interval and the formula also involves in some cases less subresultant polynomials.

    更新日期:2020-07-08
  • Strict inclusions of high rank loci
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Edoardo Ballico; Alessandra Bernardi; Emanuele Ventura

    For a given projective variety X, the high rank loci are the closures of the sets of points whose X-rank is higher than the generic one. We show examples of strict inclusion arising from two consecutive high rank loci. Our first example comes from looking at the Veronese surface of plane quartics. Although Piene had already shown an example in which X is a curve, we construct infinitely many curves

    更新日期:2020-07-08
  • Computing Quotients by Connected Solvable Groups
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Gregor Kemper

    Consider an action of a connected solvable group G on an affine variety X. This paper presents an algorithm that constructs a semi-invariant f∈K[X]=:R and computes the invariant ring (Rf)G together with a presentation. The morphism Xf→Spec((Rf)G) obtained from the algorithm is a universal geometric quotient. In fact, it is even better than that: a so-called excellent quotient. If R is a polynomial

    更新日期:2020-07-08
  • Voronoi cells of varieties
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Diego Cifuentes; Kristian Ranestad; Bernd Sturmfels; Madeleine Weinstein

    Every real algebraic variety determines a Voronoi decomposition of its ambient Euclidean space. Each Voronoi cell is a convex semialgebraic set in the normal space of the variety at a point. We compute the algebraic boundaries of these Voronoi cells.

    更新日期:2020-07-08
  • Quartic monoid surfaces with maximum number of lines
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Mauro Carlo Beltrametti; Alessandro Logar; Maria-Laura Torrente

    In 1884 the German mathematician Karl Rohn published a substantial paper Rohn (1884) on the properties of quartic surfaces with triple points, proving (among many other things) that the maximum number of lines contained in a quartic monoid surface is 31. In this paper we study in details this class of surfaces. We prove that there exists an open subset A⊆PK1 (K is a characteristic zero field) that

    更新日期:2020-07-08
  • Autocovariance varieties of moving average random fields
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Carlos Améndola; Viet Son Pham

    We study the autocovariance functions of moving average random fields over the integer lattice Zd from an algebraic perspective. These autocovariances are parametrized polynomially by the moving average coefficients, hence tracing out algebraic varieties. We derive dimension and degree of these varieties and we use their algebraic properties to obtain statistical consequences such as identifiability

    更新日期:2020-07-08
  • On certain polynomial systems involving Stirling numbers of second kind
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    F.J. Castro-Jiménez; H. Cobo Pablos

    We solve a special type of linear systems with coefficients in multivariate polynomial rings. These systems arise in the computation of b-functions with respect to weights of certain hypergeometric ideals in the Weyl algebra.

    更新日期:2020-07-08
  • Initial Steps in the Classification of Maximal Mediated Sets
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Jacob Hartzer; Olivia Röhrig; Timo de Wolff; Oguzhan Yürük

    Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these polynomials are sums of squares. In this article, we take initial steps in classifying MMS both theoretically and practically. Theoretically, we show that MMS of simplices

    更新日期:2020-07-08
  • Stronger bounds on the cost of computing Gröbner bases for HFE systems
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Elisa Gorla; Daniela Mueller; Christophe Petit

    We give upper bounds for the solving degree and the last fall degree of the polynomial system associated to the HFE (Hidden Field Equations) cryptosystem. Our bounds improve the known bounds for this type of systems. We also present new results on the connection between the solving degree and the last fall degree and prove that, in some cases, the solving degree is independent of coordinate changes

    更新日期:2020-07-08
  • Unexpected hypersurfaces with multiple fat points
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Justyna Szpond

    Starting with the ground-breaking work of Cook II, Harbourne, Migliore and Nagel, there has been a lot of interest in unexpected hypersurfaces. In the last couple of months a considerable number of new examples and new phenomena has been observed and reported on. All examples studied so far had just one fat point. In this note we introduce a new series of examples, which establishes for the first time

    更新日期:2020-07-08
  • Saturations of Subalgebras, SAGBI Bases, and U-invariants
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Anna Maria Bigatti; Lorenzo Robbiano

    Given a polynomial ring P over a field K, an element g∈P, and a K-subalgebra S of P, we deal with the problem of saturating S with respect to g, i.e. computing Satg(S)=S[g,g−1]∩P. In the general case we describe a procedure/algorithm to compute a set of generators for Satg(S) which terminates if and only if it is finitely generated. Then we consider the more interesting case when S is graded. In particular

    更新日期:2020-07-08
  • Computing integral bases via localization and Hensel lifting
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Janko Böhm; Wolfram Decker; Santiago Laplagne; Gerhard Pfister

    We present a new algorithm for computing integral bases in algebraic function fields of one variable, or equivalently for constructing the normalization of a plane curve. Our basic strategy makes use of the concepts of localization and completion, together with the Chinese remainder theorem, to reduce the problem to the task of finding integral bases for the branches of each singularity of the curve

    更新日期:2020-07-08
  • Certification for polynomial systems via square subsystems
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-08
    Timothy Duff; Nickolas Hein; Frank Sottile

    We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton-Okounkov

    更新日期:2020-07-08
  • Computing representation matrices for the Frobenius on cohomology groups
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-07
    Momonari Kudo

    In algebraic geometry, the Frobenius map F⁎ on cohomology groups play an important role in the classification of algebraic varieties over a field of positive characteristic. In particular, representation matrices for F⁎ give rise to many important invariants such as p-rank and a-number. Several methods for computing representation matrices for F⁎ have been proposed for specific curves. In this paper

    更新日期:2020-07-07
  • Measuring the local non-convexity of real algebraic curves
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-07
    Miruna-Ştefana Sorea

    The goal of this paper is to measure the non-convexity of compact and smooth connected components of real algebraic plane curves. We study these curves first in a general setting and then in an asymptotic one. In particular, we consider sufficiently small levels of a real bivariate polynomial in a small enough neighbourhood of a strict local minimum at the origin of the real affine plane. We introduce

    更新日期:2020-07-07
  • On a tropical version of the Jacobian conjecture
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-07
    Dima Grigoriev; Danylo Radchenko

    We prove that, for a tropical rational map if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove

    更新日期:2020-07-07
  • A constructive method for decomposing real representations
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-07-04
    Sajid Ali; Hassan Azad; Indranil Biswas; Willem A. de Graaf

    A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the computer algebra system GAP4.

    更新日期:2020-07-06
  • Computing strong regular characteristic pairs with Gröbner bases
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-25
    Rina Dong; Dongming Wang

    The W-characteristic set of a polynomial ideal is the minimal triangular set contained in the reduced lexicographical Gröbner basis of the ideal. A pair (G,C) of polynomial sets is a strong regular characteristic pair if G is a reduced lexicographical Gröbner basis, C is the W-characteristic set of the ideal 〈G〉, the saturated ideal sat(C) of C is equal to 〈G〉, and C is regular. In this paper, we show

    更新日期:2020-06-25
  • Singularities and Genus of the k-Ellipse
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-25
    Yuhan Jiang; Weiqiao Han

    A k-ellipse is a plane curve consisting of all points whose distances from k fixed foci sum to a constant. We determine the singularities and genus of its Zariski closure in the complex projective plane. The paper resolves an open problem stated by Nie, Parrilo and Sturmfels in 2008.

    更新日期:2020-06-25
  • Existence and convergence of Puiseux series solutions for autonomous first order differential equations
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-25
    José Cano; Sebastian Falkensteiner; J.Rafael Sendra

    Given an autonomous first order algebraic ordinary differential equation F(y,y′)=0, we prove that every formal Puiseux series solution of F(y,y′)=0, expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide an algorithm to describe all such Puiseux series solutions. Moreover, we show that for any point in the complex plane there exists a solution of the

    更新日期:2020-06-25
  • Multilinear Polynomial Systems: Root Isolation and Bit Complexity
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-18
    Ioannis Z. Emiris; Angelos Mantzaflaris; Elias P. Tsigaridas

    We exploit structure in polynomial system solving by considering polynomials that are linear in subsets of the variables. We focus on algorithms and their Boolean complexity for computing isolating hyperboxes for all the isolated complex roots of well-constrained, unmixed systems of multilinear polynomials based on resultant methods. We enumerate all expressions of the multihomogeneous (or multigraded)

    更新日期:2020-06-18
  • A nearly optimal algorithm to decompose binary forms
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-18
    Matías R. Bender; Jean-Charles Faugère; Ludovic Perret; Elias Tsigaridas

    Symmetric tensor decomposition is an important problem with applications in several areas, for example signal processing, statistics, data analysis and computational neuroscience. It is equivalent to Waring's problem for homogeneous polynomials, that is to write a homogeneous polynomial in n variables of degree D as a sum of D-th powers of linear forms, using the minimal number of summands. This minimal

    更新日期:2020-06-18
  • Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-18
    David Lucas; Vincent Neiger; Clément Pernet; Daniel S. Roche; Johan Rosenkilde

    We design and analyze new protocols to verify the correctness of various computations on matrices over the ring F[x] of univariate polynomials over a field F. For the sake of efficiency, and because many of the properties we verify are specific to matrices over a principal ideal domain, we cannot simply rely on previously-developed linear algebra protocols for matrices over a field. Our protocols are

    更新日期:2020-06-18
  • Counting invariant subspaces and decompositions of additive polynomials
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-18
    Joachim von zur Gathen; Mark Giesbrecht; Konstantin Ziegler

    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=g∘h 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 polynomials, where

    更新日期:2020-06-18
  • Toward the best algorithm for approximate GCD of univariate polynomials
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Kosaku Nagasaka

    Approximate polynomial GCD (greatest common divisor) of polynomials with a priori errors on their coefficients, is one of interesting problems in Symbolic-Numeric Computations. In fact, there are many known algorithms: QRGCD, UVGCD, STLN based methods, Fastgcd and so on. The fundamental question of this paper is “which is the best?” from the practical point of view, and subsequently “is there any better

    更新日期:2020-06-17
  • An Unwinding Number Pair for Continuous Expressions of Integrals
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Robert H.C. Moir; Robert M. Corless; David J. Jeffrey

    We consider the problem of obtaining expressions for integrals that are continuous over the entire domain of integration where the true mathematical integral is continuous, which has been called the problem of obtaining integrals on domains of maximum extent (Jeffrey, 1993). We develop a method for correcting discontinuous integrals using an extension of the concept of unwinding numbers for complex

    更新日期:2020-06-17
  • Drinfeld modules with complex multiplication, Hasse invariants and factoring polynomials over finite fields
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Javad Doliskani; Anand Kumar Narayanan; Éric Schost

    We present a novel randomized algorithm to factor polynomials over a finite field Fq of odd characteristic using rank 2 Drinfeld modules with complex multiplication. The main idea is to compute a lift of the Hasse invariant (modulo the polynomial f∈Fq[x] to be factored) with respect to a random Drinfeld module ϕ with complex multiplication. Factors of f supported on prime ideals with supersingular

    更新日期:2020-06-17
  • A fast parallel sparse polynomial GCD algorithm
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Jiaxiong Hu; Michael Monagan

    We present a parallel GCD algorithm for sparse multivariate polynomials with integer coefficients. The algorithm combines a Kronecker substitution with a Ben-Or/Tiwari sparse interpolation modulo a smooth prime to determine the support of the GCD. We have implemented our algorithm in C for primes of various size and have parallelized it using Cilk C. We compare our implementation with Maple and Magma's

    更新日期:2020-06-17
  • Symbolic analysis of multiple steady states in a MAPK chemical reaction network
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Daniel Lichtblau

    We consider the problem of analyzing chemical reaction networks that may allow multiple positive steady states. We use tools from “classical” computer algebra (Gröbner bases over a parametrized domain, computation of a discriminant variety, graphical and mathematical analysis of solution sets, cylindrical decomposition) to help determine regions of stoichiometric compatibility classes that have multiple

    更新日期:2020-06-17
  • On some classes of irreducible polynomials
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-06-17
    Jaime Gutierrez; Jorge Jiménez Urroz

    One of the fundamental tasks of Symbolic Computation is the factorization of polynomials into irreducible factors. The aim of the paper is to produce new families of irreducible polynomials, generalizing previous results in the area. One example of our general result is that for a near-separated polynomial, i.e., polynomials of the form F(x,y)=f1(x)f2(y)−f2(x)f1(y), then F(x,y)+r is always irreducible

    更新日期:2020-06-17
  • On the Computation of Identities Relating Partition Numbers in Arithmetic Progressions with Eta Quotients: An Implementation of Radu's Algorithm
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-05-21
    Nicolas Allen Smoot

    In 2015 Cristian-Silviu Radu designed an algorithm to detect identities of a class studied by Ramanujan and Kolberg, in which the generating functions of a partition function over a given set of arithmetic progression are expressed in terms of Dedekind eta quotients over a given congruence subgroup. These identities include the famous results by Ramanujan which provide a witness to the divisibility

    更新日期:2020-05-21
  • Computing Unit Groups of Curves
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-05-11
    Justin Chen; Sameera Vemulapalli; Leon Zhang

    The group of units modulo constants of an affine variety over an algebraically closed field is free abelian of finite rank. Computing this group is difficult but of fundamental importance in tropical geometry, where it is necessary in order to realize intrinsic tropicalizations. We present practical algorithms for computing unit groups of smooth curves of low genus. Our approach is rooted in divisor

    更新日期:2020-05-11
  • Distance invariant method for normalization of indexed differentials
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-05-11
    Jiang Liu; Feng Ni

    A distance from free to dummy indices is defined. The distance is invariant with respect to both monoterm symmetries and bottom antisymmetry. Using the distance invariant, we present an index-replacement algorithm. We then develop two normalization algorithms. One is with respect to monoterm symmetries and has complexity lower than known algorithms; the other allows one to determine the equivalence

    更新日期:2020-05-11
  • The dimension of the moduli spaces of curves defined by topologically non quasi-homogeneous functions
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-05-04
    Jinan Loubani

    We consider a topological class of a germ of complex analytic function in two variables which does not belong to its jacobian ideal. Such a function is not quasi homogeneous. The 0-level of such a function defines a germ of analytic curve. Proceeding similarly to the homogeneous case Genzmer and Paul (2011) and the quasi homogeneous case Genzmer and Paul (2016), we describe an algorithm which computes

    更新日期:2020-05-04
  • Computing the multilinear factors of lacunary polynomials without heights
    J. Symb. Comput. (IF 0.673) Pub Date : 2020-04-30
    Arkadev Chattopadhyay; Bruno Grenet; Pascal Koiran; Natacha Portier; Yann Strozecki

    We present a deterministic algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. Its complexity is polynomial in ℓn where ℓ is the lacunary size of the input polynomial and n its number of variables, that is in particular polynomial in the logarithm of its degree. We also provide a randomized algorithm for the same problem of complexity polynomial

    更新日期:2020-04-30
  • Computing real radicals and S-radicals of polynomial systems
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-11-04
    Mohab Safey El Din; Zhi-Hong Yang; Lihong Zhi

    Let f=(f1,…,fs) be a sequence of polynomials in Q[X1,…,Xn] of maximal degree D and V⊂Cn be the algebraic set defined by f and r be its dimension. The real radical 〈f〉re associated to f is the largest ideal which defines the real trace of V. When V is smooth, we show that 〈f〉re, has a finite set of generators with degrees bounded by deg⁡V. Moreover, we present a probabilistic algorithm of complexity

    更新日期:2019-11-04
  • A difference ring theory for symbolic summation.
    J. Symb. Comput. (IF 0.673) Pub Date : 2016-01-05
    Carsten Schneider

    A summation framework is developed that enhances Karr's difference field approach. It covers not only indefinite nested sums and products in terms of transcendental extensions, but it can treat, e.g., nested products defined over roots of unity. The theory of the so-called [Formula: see text]-extensions is supplemented by algorithms that support the construction of such difference rings automatically

    更新日期:2019-11-01
  • Learning-assisted theorem proving with millions of lemmas.
    J. Symb. Comput. (IF 0.673) Pub Date : 2015-11-04
    Cezary Kaliszyk,Josef Urban

    Large formal mathematical libraries consist of millions of atomic inference steps that give rise to a corresponding number of proved statements (lemmas). Analogously to the informal mathematical practice, only a tiny fraction of such statements is named and re-used in later proofs by formal mathematicians. In this work, we suggest and implement criteria defining the estimated usefulness of the HOL

    更新日期:2019-11-01
  • Regular expression order-sorted unification and matching.
    J. Symb. Comput. (IF 0.673) Pub Date : 2015-03-01
    Temur Kutsia,Mircea Marin

    We extend order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The obtained signature corresponds to a finite bottom-up unranked tree automaton. We prove that regular expression order-sorted (REOS) unification is of type infinitary and decidable. The unification problem presented by us generalizes some known problems, such as, e.g., order-sorted

    更新日期:2019-11-01
  • Improved polynomial remainder sequences for Ore polynomials.
    J. Symb. Comput. (IF 0.673) Pub Date : 2013-11-01
    Maximilian Jaroschek

    Polynomial remainder sequences contain the intermediate results of the Euclidean algorithm when applied to (non-)commutative polynomials. The running time of the algorithm is dependent on the size of the coefficients of the remainders. Different ways have been studied to make these as small as possible. The subresultant sequence of two polynomials is a polynomial remainder sequence in which the size

    更新日期:2019-11-01
  • Trading order for degree in creative telescoping.
    J. Symb. Comput. (IF 0.673) Pub Date : 2012-08-01
    Shaoshi Chen,Manuel Kauers

    We analyze the differential equations produced by the method of creative telescoping applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telescoping as a function of the order

    更新日期:2019-11-01
  • Rational general solutions of planar rational systems of autonomous ODEs.
    J. Symb. Comput. (IF 0.673) Pub Date : 2011-10-01
    L X Châu Ngô,Franz Winkler

    In this paper, we provide an algorithm to compute explicit rational solutions of a rational system of autonomous ordinary differential equations (ODEs) from its rational invariant algebraic curves. The method is based on the proper rational parametrization of these curves and the fact that by linear reparametrizations, we can find the rational solutions of the given system of ODEs. Moreover, if the

    更新日期:2019-11-01
  • Truncated normal forms for solving polynomial systems: Generalized and efficient algorithms
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-31
    Bernard Mourrain; Simon Telen; Marc Van Barel

    We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem. The framework presented in Telen et al. (2018) uses truncated normal forms (TNFs) to compute the algebra structure of R/I and the solutions of I. This framework

    更新日期:2019-10-31
  • On the maximal number of real embeddings of minimally rigid graphs in R2, R3 and S2
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-21
    Evangelos Bartzos; Ioannis Z. Emiris; Jan Legerský; Elias Tsigaridas

    Rigidity theory studies the properties of graphs that can have rigid embeddings in a euclidean space Rd or on a sphere and other manifolds which in addition satisfy certain edge length constraints. One of the major open problems in this field is to determine lower and upper bounds on the number of realizations with respect to a given number of vertices. This problem is closely related to the classification

    更新日期:2019-10-21
  • Constructive arithmetics in Ore localizations enjoying enough commutativity
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-21
    Johannes Hoffmann; Viktor Levandovskyy

    This paper continues a research program on constructive investigations of non-commutative Ore localizations, initiated in our previous papers, and particularly touches the constructiveness of arithmetics within such localizations. Earlier we have introduced monoidal, geometric and rational types of localizations of domains as objects of our studies. Here we extend this classification to rings with

    更新日期:2019-10-21
  • Algorithms for computing greatest common divisors of parametric multivariate polynomials
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Deepak Kapur; Dong Lu; Michael Monagan; Yao Sun; Dingkang Wang

    Two new efficient algorithms for computing greatest common divisors (gcds) of parametric multivariate polynomials over k[U][X] are presented. The key idea of the first algorithm is that the gcd of two non-parametric multivariate polynomials can be obtained by dividing their product by the generator of the intersection of two principal ideals generated by the polynomials. The second algorithm is based

    更新日期:2019-10-18
  • Standard bases over Euclidean domains
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Christian Eder; Gerhard Pfister; Adrian Popescu

    In this paper we state and explain techniques useful for the computation of strong Gröbner and standard bases over Euclidean domains: First we investigate several strategies for creating the pair set using an idea by Lichtblau. Then we explain methods for avoiding coefficient growth using syzygies. We give an in-depth discussion on normal form computation resp. a generalized reduction process with

    更新日期:2019-10-18
  • Cyclic distances of idempotent convolutional codes
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    José Gómez-Torrecillas; F.J. Lobillo; Gabriel Navarro

    We show that, for convolutional codes endowed with a cyclic structure, it is possible to define and compute two sequences of positive integers, called cyclic column and row distances, which present a more regular behavior than the classical column and row distance sequences. We then design an algorithm for the computation of the free distance based on the calculation of the cyclic column distance sequence

    更新日期:2019-10-18
  • Removing apparent singularities of linear difference systems
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Moulay A. Barkatou; Maximilian Jaroschek

    It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole complex plane. The poles stem from the singularities of the rational function coefficients of the system. Just as for systems of differential equations, not all of

    更新日期:2019-10-18
  • Chordal graphs in triangular decomposition in top-down style
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Chenqi Mou; Yang Bai; Jiahua Lai

    In this paper, we first prove that when the associated graph of a polynomial set is chordal, a particular triangular set computed by a general algorithm in top-down style for computing the triangular decomposition of this polynomial set has an associated graph as a subgraph of this chordal graph. Then for Wang's method and a subresultant-based algorithm for triangular decomposition in top-down style

    更新日期:2019-10-18
  • On affine tropical F5 algorithms
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Tristan Vaccon; Thibaut Verron; Kazuhiro Yokoyama

    Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gröbner bases taking into account the valuation of K. Because of the use of the valuation, the theory of tropical Gröbner bases has proved to provide settings for computations over polynomial rings over a p-adic field that are more stable than that of classical Gröbner bases. Beforehand, these strategies

    更新日期:2019-10-18
  • Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Curtis Bright; Ilias Kotsireas; Albert Heinle; Vijay Ganesh

    We use techniques from the fields of computer algebra and satisfiability checking to develop a new algorithm to search for complex Golay pairs. We implement this algorithm and use it to perform a complete search for complex Golay pairs of lengths up to 28. In doing so, we find that complex Golay pairs exist in the lengths 24 and 26 but do not exist in the lengths 23, 25, 27, and 28. This independently

    更新日期:2019-10-18
  • Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Alexander Levin

    We use the method of characteristic sets with respect to two term orderings to prove the existence and obtain a method of computation of a bivariate Kolchin-type dimension polynomial associated with a non-reflexive difference-differential ideal in the algebra of difference-differential polynomials with several basic derivations and one translation. In particular, we obtain a new proof and a method

    更新日期:2019-10-18
  • Formal reduction of singular linear differential systems using eigenrings: A refined approach
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Moulay A. Barkatou; Joelle Saade; Jacques-Arthur Weil

    This paper provides a new algorithm for the formal reduction of linear differential systems with Laurent series coefficients. We show how to obtain a decomposition of Balser, Jurkat and Lutz using eigenring techniques. This allows us to establish structural information on the obtained indecomposable subsystems and retrieve information on their invariants such as ramification. We show why classical

    更新日期:2019-10-18
  • Algorithms for simultaneous Hermite–Padé approximations
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Johan Rosenkilde; Arne Storjohann

    We describe how to compute simultaneous Hermite–Padé approximations, over a polynomial ring K[x] for a field K using O∼(nω−1td) operations in K, where d is the sought precision, where n is the number of simultaneous approximations using t

    更新日期:2019-10-18
  • Computing nearby non-trivial Smith forms
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-18
    Mark Giesbrecht; Joseph Haraldson; George Labahn

    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 the

    更新日期:2019-10-18
  • An approach for computing families of multi-branch-point covers and applications for symplectic Galois groups
    J. Symb. Comput. (IF 0.673) Pub Date : 2019-10-17
    Dominik Barth; Joachim König; Andreas Wenz

    We propose an approach for the computation of multi-parameter families of Galois extensions with prescribed ramification type. More precisely, we combine existing deformation and interpolation techniques with recently developed strong tools for the computation of 3-point covers. To demonstrate the applicability of our method in relatively large degrees, we compute several families of polynomials with

    更新日期:2019-10-17
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
欢迎访问IOP中国网站
自然职场线上招聘会
GIANT
产业、创新与基础设施
自然科研线上培训服务
材料学研究精选
胸腔和胸部成像专题
屿渡论文,编辑服务
何川
苏昭铭
陈刚
姜涛
李闯创
李刚
北大
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
上海纽约大学
陈芬儿
厦门大学
何振宇
史大永
吉林大学
卓春祥
张昊
杨中悦
试剂库存
down
wechat
bug