发布求助
文献互助 智能选刊 最新文献

Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation最新文献

筛选
英文 中文
Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix 多项式矩阵秩轮廓的秩敏感计算
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-18 DOI: 10.1145/3476446.3535495
G. Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou
{"title":"Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix","authors":"G. Labahn, Vincent Neiger, Thi Xuan Vu, Wei Zhou","doi":"10.1145/3476446.3535495","DOIUrl":"https://doi.org/10.1145/3476446.3535495","url":null,"abstract":"Consider a matrix F ε K [x]^mxn of univariate polynomials over a field K. We study the problem of computing the column rank profile of F. To this end we first give an algorithm which improves the minimal kernel basis algorithm of Zhou, Labahn, and Storjohann (Proceedings ISSAC 2012). We then provide a second algorithm which computes the column rank profile of F with a rank-sensitive complexity of O~ (rw-2n(m+d)) operations in K. Here, D is the sum of row degrees of F, w is the exponent of matrix multiplication, and O~ (.) hides logarithmic factors.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128278269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Desingularization and p-Curvature of Recurrence Operators 递归算子的去广域化与p曲率
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-17 DOI: 10.1145/3476446.3535478
Yi Zhou, M. V. Hoeij
{"title":"Desingularization and p-Curvature of Recurrence Operators","authors":"Yi Zhou, M. V. Hoeij","doi":"10.1145/3476446.3535478","DOIUrl":"https://doi.org/10.1145/3476446.3535478","url":null,"abstract":"Linear recurrence operators in characteristic p are classified by their p-curvature. For a recurrence operator L, denote by χ(L) the characteristic polynomial of its p-curvature. We can obtain information about the factorization of L by factoring χ(L). The main theorem of this paper gives an unexpected relation between χ(L) and the true singularities of L. An application is to speed up a fast algorithm for computing χ(L) by desingularizing L first. Another contribution of this paper is faster desingularization.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"12 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124185312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Guessing with Little Data 用小数据猜测
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-16 DOI: 10.1145/3476446.3535486
Manuel Kauers, C. Koutschan
{"title":"Guessing with Little Data","authors":"Manuel Kauers, C. Koutschan","doi":"10.1145/3476446.3535486","DOIUrl":"https://doi.org/10.1145/3476446.3535486","url":null,"abstract":"Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input terms.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114611823","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Sparse Polynomial Interpolation and Division in Soft-linear Time 软线性时间稀疏多项式插值与除法
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-16 DOI: 10.1145/3476446.3536173
Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche
{"title":"Sparse Polynomial Interpolation and Division in Soft-linear Time","authors":"Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche","doi":"10.1145/3476446.3536173","DOIUrl":"https://doi.org/10.1145/3476446.3536173","url":null,"abstract":"Given a way to evaluate an unknown polynomial with integer coefficients, we present new algorithms to recover its nonzero coefficients and corresponding exponents. As an application, we adapt this interpolation algorithm to the problem of computing the exact quotient of two given polynomials. These methods are efficient in terms of the bit-length of the sparse representation, that is, the number of nonzero terms, the size of coefficients, the number of variables, and the logarithm of the degree. At the core of our results is a new Monte Carlo randomized algorithm to recover a polynomial f(x) with integer coefficients given a way to evaluate f(θ) mod m for any chosen integers θ and m. This algorithm has nearly-optimal bit complexity, meaning that the total bit-length of the probes, as well as the computational running time, is softly linear (ignoring logarithmic factors) in the bit-length of the resulting sparse polynomial. To our knowledge, this is the first sparse interpolation algorithm with soft-linear bit complexity in the total output size. For polynomials with integer coefficients, the best previously known results have at least a cubic dependency on the bit-length of the exponents.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115232084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Membership Problem for Hypergeometric Sequences with Rational Parameters 具有有理参数的超几何序列的隶属性问题
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-15 DOI: 10.1145/3476446.3535504
Klara Nosan, Amaury Pouly, M. Shirmohammadi, J. Worrell
{"title":"The Membership Problem for Hypergeometric Sequences with Rational Parameters","authors":"Klara Nosan, Amaury Pouly, M. Shirmohammadi, J. Worrell","doi":"10.1145/3476446.3535504","DOIUrl":"https://doi.org/10.1145/3476446.3535504","url":null,"abstract":"We investigate the Membership Problem for hypergeometric sequences: given a hypergeometric sequence ❬un❭∞n=0 of rational numbers and a target t∈Q, decide whether t occurs in the sequence. We show decidability of this problem under the assumption that in the defining recurrence p(n)un = q(n)un-1, the roots of the polynomials p(x) and q(x) are all rational numbers. Our proof relies on bounds on the density of primes in arithmetic progressions. We also observe a relationship between the decidability of the Membership problem (and variants) and the Rohrlich-Lang conjecture in transcendence theory.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123774283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Bohemian Matrix Geometry 波西米亚矩阵几何
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-15 DOI: 10.1145/3476446.3536177
Robert M Corless, G. Labahn, Dan Piponi, Leili Rafiee Sevyeri
{"title":"Bohemian Matrix Geometry","authors":"Robert M Corless, G. Labahn, Dan Piponi, Leili Rafiee Sevyeri","doi":"10.1145/3476446.3536177","DOIUrl":"https://doi.org/10.1145/3476446.3536177","url":null,"abstract":"A Bohemian matrix family is a set of matrices all of whose entries are drawn from a fixed, usually discrete and hence bounded, subset of a field of characteristic zero. Originally these were integers---hence the name, from the acronym BOunded HEight Matrix of Integers (BOHEMI)---but other kinds of entries are also interesting. Some kinds of questions about Bohemian matrices can be answered by numerical computation, but sometimes exact computation is better. In this paper we explore some Bohemian families (symmetric, upper Hessenberg, or Toeplitz) computationally, and answer some open questions posed about the distributions of eigenvalue densities.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122937605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On Polynomial Ideals and Overconvergence in Tate Algebras 关于Tate代数的多项式理想与过收敛性
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-15 DOI: 10.1145/3476446.3535491
X. Caruso, Tristan Vaccon, Thibaut Verron
{"title":"On Polynomial Ideals and Overconvergence in Tate Algebras","authors":"X. Caruso, Tristan Vaccon, Thibaut Verron","doi":"10.1145/3476446.3535491","DOIUrl":"https://doi.org/10.1145/3476446.3535491","url":null,"abstract":"In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gröbner bases, even if the input is polynomials, the size of the output grows with the required precision, both in terms of the size of the coefficients and the size of the support of the series. We prove that ideals which are spanned by polynomials admit a Tate Gröbner basis made of polynomials, and we propose an algorithm, leveraging Mora's weak normal form algorithm, for computing it. As a result, the size of the output of this algorithm grows linearly with the precision. Following the same ideas, we propose an algorithm which computes an overconvergent basis for an ideal spanned by overconvergent series. Finally, we prove the existence of a universal analytic Gröbner basis for polynomial ideals in Tate algebras, compatible with all convergence radii.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122395288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients 高斯系数单变量三角多项式的精确SOHS分解
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-14 DOI: 10.1145/3476446.3535480
Victor Magron, M. S. E. Din, M. Schweighofer, T. Vu
{"title":"Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients","authors":"Victor Magron, M. S. E. Din, M. Schweighofer, T. Vu","doi":"10.1145/3476446.3535480","DOIUrl":"https://doi.org/10.1145/3476446.3535480","url":null,"abstract":"Certifying the positivity of trigonometric polynomials is of first importance for design problems in discrete-time signal processing. It is well known from the Riesz-Fejér spectral factorization theorem that any trigonometric univariate polynomial non-negative on the unit circle can be decomposed as a Hermitian square with complex coefficients. Here we focus on the case of polynomials with Gaussian integer coefficients, i.e., with real and imaginary parts being integers. We design, analyze and compare, theoretically and practically, three hybrid numeric-symbolic algorithms computing weighted sums of Hermitian squares decompositions for trigonometric univariate polynomials positive on the unit circle with Gaussian coefficients. The numerical steps the first and second algorithm rely on are complex root isolation and semidefinite programming, respectively. An exact sum of Hermitian squares decomposition is obtained thanks to compensation techniques. The third algorithm, also based on complex semidefinite programming, is an adaptation of the rounding and projection algorithm by Peyrl and Parrilo. For all three algorithms, we prove bit complexity and output size estimates that are polynomial in the degree of the input and linear in the maximum bitsize of its coefficients. We compare their performance on randomly chosen benchmarks, and further design a certified finite impulse filter.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"10 16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132141847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Beyond Worst-Case Analysis for Root Isolation Algorithms 根隔离算法的最坏情况分析
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-13 DOI: 10.1145/3476446.3535475
A. Ergur, Josué Tonelli-Cueto, Elias P. Tsigaridas
{"title":"Beyond Worst-Case Analysis for Root Isolation Algorithms","authors":"A. Ergur, Josué Tonelli-Cueto, Elias P. Tsigaridas","doi":"10.1145/3476446.3535475","DOIUrl":"https://doi.org/10.1145/3476446.3535475","url":null,"abstract":"Isolating the real roots of univariate polynomials is a fundamental problem in symbolic computation and it is arguably one of the most important problems in computational mathematics. The problem has a long history decorated with numerous ingenious algorithms and furnishes an active area of research. However, the worst-case analysis of root-finding algorithms does not correlate with their practical performance. We develop a smoothed analysis framework for polynomials with integer coefficients to bridge the gap between the complexity estimates and the practical performance. In this setting, we derive that the expected bit complexity of Descartes solver to isolate the real roots of a polynomial, with coefficients uniformly distributed, is ÕB(d2 + dτ), where d is the degree of the polynomial and τ the bitsize of the coefficients.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132810430","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Stability Problems in Symbolic Integration 符号积分中的稳定性问题
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation Pub Date : 2022-02-13 DOI: 10.1145/3476446.3535502
Shaoshi Chen
{"title":"Stability Problems in Symbolic Integration","authors":"Shaoshi Chen","doi":"10.1145/3476446.3535502","DOIUrl":"https://doi.org/10.1145/3476446.3535502","url":null,"abstract":"This paper aims at initializing a dynamical aspect of symbolic integration by studying stability problems in differential fields. We first show some basic properties of stable elementary functions and then characterize three special families of stable elementary functions including rational functions, logarithmic functions, and exponential functions. We prove that all D-finite power series are eventually stable. Some problems for future studies are proposed towards deeper dynamical studies in differential algebra.","PeriodicalId":130499,"journal":{"name":"Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114182147","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信