Journal of Symbolic Computation最新文献

筛选
英文 中文
Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming 遗传规划在符号回归参数优化中减少冗余参数的效果
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-12-02 DOI: 10.1016/j.jsc.2024.102413
Gabriel Kronberger , Fabrício Olivetti de França
{"title":"Effects of reducing redundant parameters in parameter optimization for symbolic regression using genetic programming","authors":"Gabriel Kronberger ,&nbsp;Fabrício Olivetti de França","doi":"10.1016/j.jsc.2024.102413","DOIUrl":"10.1016/j.jsc.2024.102413","url":null,"abstract":"<div><div>Gradient-based local optimization has been shown to improve results of genetic programming (GP) for symbolic regression (SR) – a machine learning method for symbolic equation learning. Correspondingly, several state-of-the-art GP implementations use iterative nonlinear least squares (NLS) algorithms for local optimization of parameters. An issue that has however mostly been ignored in SR and GP literature is overparameterization of SR expressions, and as a consequence, bad conditioning of NLS optimization problem. The aim of this study is to analyze the effects of overparameterization on the NLS results and convergence speed, whereby we use Operon as an example GP/SR implementation. First, we demonstrate that numeric rank approximation can be used to detect overparameterization using a set of six selected benchmark problems. In the second part, we analyze whether the NLS results or convergence speed can be improved by simplifying expressions to remove redundant parameters with equality saturation. This analysis is done with the much larger Feynman symbolic regression benchmark set after collecting all expressions visited by GP, as the simplification procedure is not fast enough to use it within GP fitness evaluation. We observe that Operon frequently visits overparameterized solutions but the number of redundant parameters is small on average. We analyzed the Pareto-optimal expressions of the first and last generation of GP, and found that for 70% to 80% of the simplified expressions, the success rate of reaching the optimum was better or equal than for the overparameterized form. The effect was smaller for the number of NLS iterations until convergence, where we found fewer or equal iterations for 51% to 63% of the expressions after simplification.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"129 ","pages":"Article 102413"},"PeriodicalIF":0.6,"publicationDate":"2024-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143159656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Limits of real bivariate rational functions 实二元有理函数的极限
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-27 DOI: 10.1016/j.jsc.2024.102405
Sĩ Tiệp Đinh , Feng Guo , Hồng Đức Nguyễn , Tiến-Sơn Phạm
{"title":"Limits of real bivariate rational functions","authors":"Sĩ Tiệp Đinh ,&nbsp;Feng Guo ,&nbsp;Hồng Đức Nguyễn ,&nbsp;Tiến-Sơn Phạm","doi":"10.1016/j.jsc.2024.102405","DOIUrl":"10.1016/j.jsc.2024.102405","url":null,"abstract":"<div><div>Given two nonzero polynomials <span><math><mi>f</mi><mo>,</mo><mi>g</mi><mo>∈</mo><mi>R</mi><mo>[</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>]</mo></math></span> and a point <span><math><mo>(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>, we give some necessary and sufficient conditions for the existence of the limit <span><math><munder><mi>lim</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo><mo>→</mo><mo>(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></munder><mo>⁡</mo><mfrac><mrow><mi>f</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mrow><mi>g</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mfrac></math></span>. We also show that, if the denominator <em>g</em> has an isolated zero at the given point <span><math><mo>(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></math></span>, then the set of possible limits of <span><math><munder><mi>lim</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo><mo>→</mo><mo>(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></mrow></munder><mo>⁡</mo><mfrac><mrow><mi>f</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mrow><mi>g</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mfrac></math></span> is a closed interval in <span><math><mover><mrow><mi>R</mi></mrow><mo>‾</mo></mover></math></span> and can be explicitly determined. As an application, we propose an effective algorithm to verify the existence of the limit and compute the limit (if it exists). Our approach is geometric and is based on Puiseux expansions.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"129 ","pages":"Article 102405"},"PeriodicalIF":0.6,"publicationDate":"2024-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143159651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computing component groups of stabilizers of nilpotent orbit representatives 幂零轨道代表的稳定器组成群的计算
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-26 DOI: 10.1016/j.jsc.2024.102404
Emanuele Di Bella, Willem A. de Graaf
{"title":"Computing component groups of stabilizers of nilpotent orbit representatives","authors":"Emanuele Di Bella,&nbsp;Willem A. de Graaf","doi":"10.1016/j.jsc.2024.102404","DOIUrl":"10.1016/j.jsc.2024.102404","url":null,"abstract":"<div><div>We describe computational methods for computing the component group of the stabilizer of a nilpotent element in a complex simple Lie algebra. Our algorithms have been implemented in the language of the computer algebra system <span>GAP</span>4. Occasionally we need Gröbner basis computations; for these we use the systems <span>Magma</span> and <span>Singular</span>. The resulting component groups have been made available in the <span>GAP</span>4 package <span>SLA</span>.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"129 ","pages":"Article 102404"},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142747772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exact moment representation in polynomial optimization 多项式优化中的精确矩表示
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-26 DOI: 10.1016/j.jsc.2024.102403
Lorenzo Baldi, Bernard Mourrain
{"title":"Exact moment representation in polynomial optimization","authors":"Lorenzo Baldi,&nbsp;Bernard Mourrain","doi":"10.1016/j.jsc.2024.102403","DOIUrl":"10.1016/j.jsc.2024.102403","url":null,"abstract":"<div><div>We investigate the problem of representing moment sequences by measures in the context of Polynomial Optimization Problems, that consist in finding the infimum of a real polynomial on a real semialgebraic set defined by polynomial inequalities. We analyze the exactness of Moment Matrix (MoM) hierarchies, dual to the Sum of Squares (SoS) hierarchies, which are sequences of convex cones introduced by Lasserre to approximate measures and positive polynomials. We investigate in particular flat truncation properties, which allow testing effectively when MoM exactness holds and recovering the minimizers.</div><div>We show that the dual of the MoM hierarchy coincides with the SoS hierarchy extended with the real radical of the support of the defining quadratic module <em>Q</em>. We deduce that flat truncation happens if and only if the support of the quadratic module associated with the minimizers is of dimension zero. We also bound the order of the hierarchy at which flat truncation holds.</div><div>As corollaries, we show that flat truncation and MoM exactness hold when regularity conditions, known as Boundary Hessian Conditions, hold (and thus that MoM exactness holds generically); and when the support of the quadratic module <em>Q</em> is zero-dimensional. Effective numerical computations illustrate these flat truncation properties.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"129 ","pages":"Article 102403"},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143159663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sections of Dupin cyclides and their focal properties 杜邦自行车的部分和他们的焦点性质
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-26 DOI: 10.1016/j.jsc.2024.102402
Eriola Hoxhaj , Jean Michel Menjanahary , Rimvydas Krasauskas
{"title":"Sections of Dupin cyclides and their focal properties","authors":"Eriola Hoxhaj ,&nbsp;Jean Michel Menjanahary ,&nbsp;Rimvydas Krasauskas","doi":"10.1016/j.jsc.2024.102402","DOIUrl":"10.1016/j.jsc.2024.102402","url":null,"abstract":"<div><div>The cyclographic model of Laguerre geometry is utilized to clarify and generalize the focal properties of curves appearing as torus sections. Based on these findings, all Dupin cyclides with a given planar or spherical section are characterized as several surface families having unique extensions to certain three-orthogonal coordinate systems.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"129 ","pages":"Article 102402"},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143159652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computing the homology of universal covers via effective homology and discrete vector fields 通过有效同源性和离散向量场计算普遍盖的同源性
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-14 DOI: 10.1016/j.jsc.2024.102401
Miguel A. Marco-Buzunáriz , Ana Romero
{"title":"Computing the homology of universal covers via effective homology and discrete vector fields","authors":"Miguel A. Marco-Buzunáriz ,&nbsp;Ana Romero","doi":"10.1016/j.jsc.2024.102401","DOIUrl":"10.1016/j.jsc.2024.102401","url":null,"abstract":"<div><div>Effective homology techniques allow us to compute homology groups of a wide family of topological spaces. By the Whitehead tower method, this can also be used to compute higher homotopy groups. However, some of these techniques (in particular, the Whitehead tower) rely on the assumption that the starting space is simply connected. For some applications, this problem could be circumvented by replacing the space by its universal cover, which is a simply connected space that shares the higher homotopy groups of the initial space. In this paper, we formalize a simplicial construction for the universal cover, and represent it as a twisted Cartesian product.</div><div>As we show with some examples, the universal cover of a space with effective homology does not necessarily have effective homology in general. We show two independent sufficient conditions that can ensure it: one is based on a nilpotency property of the fundamental group, and the other one on discrete vector fields.</div><div>Some examples showing our implementation of these constructions in both SageMath and Kenzo are shown, together with an approach to compute the homology of the universal cover when the group is Abelian even in some cases where there is no effective homology, using the twisted homology of the space.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"128 ","pages":"Article 102401"},"PeriodicalIF":0.6,"publicationDate":"2024-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142698004","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Local dual spaces and primary decomposition 局部对偶空间和一级分解
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-13 DOI: 10.1016/j.jsc.2024.102400
Justin Chen, Marc Härkönen, Anton Leykin
{"title":"Local dual spaces and primary decomposition","authors":"Justin Chen,&nbsp;Marc Härkönen,&nbsp;Anton Leykin","doi":"10.1016/j.jsc.2024.102400","DOIUrl":"10.1016/j.jsc.2024.102400","url":null,"abstract":"<div><div>Generalizing the concept of the Macaulay inverse system, we introduce a way to describe localizations of an ideal in a polynomial ring. This leads to an approach to the differential primary decomposition as a description of the affine scheme defined by the ideal.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"128 ","pages":"Article 102400"},"PeriodicalIF":0.6,"publicationDate":"2024-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142651925","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the existence and convergence of formal power series solutions of nonlinear Mahler equations 论非线性马勒方程的形式幂级数解的存在性和收敛性
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-11-08 DOI: 10.1016/j.jsc.2024.102399
Renat Gontsov , Irina Goryuchkina
{"title":"On the existence and convergence of formal power series solutions of nonlinear Mahler equations","authors":"Renat Gontsov ,&nbsp;Irina Goryuchkina","doi":"10.1016/j.jsc.2024.102399","DOIUrl":"10.1016/j.jsc.2024.102399","url":null,"abstract":"<div><div>As known, any formal power series solution <span><math><mi>φ</mi><mo>∈</mo><mi>C</mi><mo>[</mo><mo>[</mo><mi>x</mi><mo>]</mo><mo>]</mo></math></span> of an algebraic equation is convergent, as well as that of an analytic one. We study the convergence of formal power series solutions of Mahler functional equations <span><math><mi>F</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>,</mo><mi>y</mi><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><mi>ℓ</mi></mrow></msup><mo>)</mo><mo>,</mo><mo>…</mo><mo>,</mo><mi>y</mi><mo>(</mo><msup><mrow><mi>x</mi></mrow><mrow><msup><mrow><mi>ℓ</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msup><mo>)</mo><mo>)</mo><mo>=</mo><mn>0</mn></math></span>, where <span><math><mi>ℓ</mi><mo>⩾</mo><mn>2</mn></math></span> is an integer and <em>F</em> is a holomorphic function near <span><math><mn>0</mn><mo>∈</mo><msup><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>2</mn></mrow></msup></math></span>. Extending Bézivin's theorem from the polynomial case to the case under consideration we prove that all such solutions are also convergent. The Newton polygonal method for finding them is explained.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"128 ","pages":"Article 102399"},"PeriodicalIF":0.6,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142651941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Absolute concentration robustness: Algebra and geometry 绝对浓度稳健性代数与几何
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-10-30 DOI: 10.1016/j.jsc.2024.102398
Luis David García Puente , Elizabeth Gross , Heather A. Harrington , Matthew Johnston , Nicolette Meshkat , Mercedes Pérez Millán , Anne Shiu
{"title":"Absolute concentration robustness: Algebra and geometry","authors":"Luis David García Puente ,&nbsp;Elizabeth Gross ,&nbsp;Heather A. Harrington ,&nbsp;Matthew Johnston ,&nbsp;Nicolette Meshkat ,&nbsp;Mercedes Pérez Millán ,&nbsp;Anne Shiu","doi":"10.1016/j.jsc.2024.102398","DOIUrl":"10.1016/j.jsc.2024.102398","url":null,"abstract":"<div><div>Motivated by the question of how biological systems maintain homeostasis in changing environments, Shinar and Feinberg introduced in 2010 the concept of absolute concentration robustness (ACR). A biochemical system exhibits ACR in some species if the steady-state value of that species does not depend on initial conditions. Thus, a system with ACR can maintain a constant level of one species even as the initial condition changes. Despite a great deal of interest in ACR in recent years, the following basic question remains open: How can we determine quickly whether a given biochemical system has ACR? Although various approaches to this problem have been proposed, we show that they are incomplete. Accordingly, we present new methods for deciding ACR, which harness computational algebra. We illustrate our results on several biochemical signaling networks.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"128 ","pages":"Article 102398"},"PeriodicalIF":0.6,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142698003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Persistent components in Canny's generalized characteristic polynomial 坎尼广义特征多项式中的持久成分
IF 0.6 4区 数学
Journal of Symbolic Computation Pub Date : 2024-10-30 DOI: 10.1016/j.jsc.2024.102397
Gleb Pogudin
{"title":"Persistent components in Canny's generalized characteristic polynomial","authors":"Gleb Pogudin","doi":"10.1016/j.jsc.2024.102397","DOIUrl":"10.1016/j.jsc.2024.102397","url":null,"abstract":"<div><div>When using resultants for elimination, one standard issue is that the resultant vanishes if the variety contains components of dimension larger than the expected dimension. J. Canny proposed an elegant construction, generalized characteristic polynomial, to address this issue by symbolically perturbing the system before the resultant computation. Such perturbed resultant would typically involve artefact components only loosely related to the geometry of the variety of interest. For removing these components, J.M. Rojas proposed to take the greatest common divisor of the results of two different perturbations. In this paper, we investigate this construction, and show that the extra components persistent under taking different perturbations must come either from singularities or from positive-dimensional fibers.</div></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"128 ","pages":"Article 102397"},"PeriodicalIF":0.6,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142578233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
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学术文献互助群
群 号:604180095
Book学术官方微信