跳到主要内容
10.1145/3597066.3597106其他会议文章/章节视图摘要出版物页面伊萨克会议记录会议集合
研究论文
开放式访问

利用单值性恢复多项式系统的对称性

出版:2023年7月24日出版历史

摘要

附加到多项式方程参数系统的伽罗瓦/单值群提供了一种检测解集中对称性存在的方法。除了存在的问题之外,人们还想计算这些对称性的公式,以实现更有效地求解系统的最终目标。我们描述并实现了一种使用数值同伦延拓和多元有理函数插值来完成此任务的可能方法。我们用几个例子来说明我们的方法,包括在计算机视觉和机器人应用中出现的两个非线性对称的例子。

工具书类

  1. 卡洛斯·艾米恩多拉(Carlos Améndola)、朱莉娅·林德伯格(Julia Lindberg)和何塞·伊斯雷尔·罗德里格斯(Jose Israel Rodriguez)。2016.使用可分解投影求解参数化多项式系统。https://arxiv.org/abs/1612.08807谷歌学者谷歌学者
  2. 卡洛斯·贝尔特兰和安东·莱金。2013.稳健认证的数字同伦跟踪。已找到。计算。数学。13, 2 (2013), 253–295. https://doi.org/10.1007/s10208-013-9143-2谷歌学者谷歌学者数字图书馆数字图书馆
  3. Jeff Bezanson、Alan Edelman、Stefan Karpinski和Viral B Shah。2017年,朱莉娅:数值计算的新方法。《SIAM评论》59,1(2017),65–98。https://doi.org/10.1137/141000671谷歌学者谷歌学者数字图书馆数字图书馆
  4. Paul Breiding和Sascha Timme。2018.HomotopyContinuation.jl:Julia中的同伦延续包。数学软件——ICMS 2018。施普林格国际出版社,查姆,458–465。谷歌学者谷歌学者
  5. 泰勒·布雷塞维茨、何塞·伊斯雷尔·罗德里格斯、弗兰克·索蒂莱和托马斯·亚尔。2021.求解可分解稀疏系统。数字。算法88,1(2021),453-474。https://doi.org/10.1007/s11075-020-01045-x谷歌学者谷歌学者数字图书馆数字图书馆
  6. 托马斯·F·。科尔曼和亚历克斯·波顿。1986年。零空间问题。I.复杂性。SIAM J.代数离散方法7,4(1986),527–537。https://doi.org/10.1137/0607059谷歌学者谷歌学者数字图书馆数字图书馆
  7. 安妮·A.M。库伊特和李文欣。2011.多元有理函数的稀疏插值。西奥。计算。科学。412, 16 (2011), 1445–1456. https://doi.org/10.1016/j.tcs.2010.11.050谷歌学者谷歌学者数字图书馆数字图书馆
  8. 伯纳德·德科宁克和马克·范·霍伊。2001.计算代数曲线的黎曼矩阵。第152/153卷。28–46. https://doi.org/10.1016/S0167-2789(01)00156-7非线性数学和科学进展。谷歌学者谷歌学者交叉引用交叉引用
  9. Timothy Duff、Cvetelina Hill、Anders Jensen、Kisun Lee、Anton Leykin和Jeff Sommars。2019.通过同伦延拓和单值函数求解多项式系统。IMA J.数字。分析。39, 3 (2019), 1421–1446.谷歌学者谷歌学者交叉引用交叉引用
  10. 蒂莫西·达夫(Timothy Duff)、维克托·科罗廷斯基(Viktor Korotinskiy)、托马斯·帕伊德拉(Tomas Pajdla)和玛格丽特·H。里根。2022.伽罗瓦/单峰群用于分解三维重建中的最小问题。SIAM应用代数和几何杂志6,4(2022),740-772。https://doi.org/10.1137/21M1422872谷歌学者谷歌学者交叉引用交叉引用
  11. Jean-Charles Faugère、Joachim von zur Gathen和Ludovic Perret。2010.通用多元多项式的分解。符号和代数计算国际研讨会,ISSAC 2010,德国慕尼黑,2010年7月25-28日,Wolfram Koepf(Ed.)。美国医学会,131–137。https://doi.org/10.1145/1837934.1837963谷歌学者谷歌学者数字图书馆数字图书馆
  12. 安德烈·加里戈和阿德里安·波特奥。2009.随机黎曼曲面上的连续性和单值性。《2009年符号数字计算会议论文集》(日本京都)(SNC'09)。美国纽约州纽约市计算机协会,115-124。https://doi.org/10.1145/1577190.1577210谷歌学者谷歌学者数字图书馆数字图书馆
  13. 艾伦·哈切尔。2002.代数拓扑。剑桥大学出版社,剑桥。谷歌学者谷歌学者
  14. 乔纳森·D·。Hauenstein、Ian Haywood和Alan C。小利德尔,2014。牛顿同伦的后验证明算法。(2014), 248–255. https://doi.org/10.1145/2608628.2608651谷歌学者谷歌学者数字图书馆数字图书馆
  15. 乔纳森·D·。豪恩斯坦(Hauenstein)、何塞尔·伊斯雷尔·罗德里格斯(Jose Israel Rodriguez)和弗兰克·索蒂尔(Frank Sottile)。2018.Galois群的数值计算。已找到。计算。数学。18, 4 (2018), 867–890. https://doi.org/10.1007/s10208-017-9356-x谷歌学者谷歌学者交叉引用交叉引用
  16. 乔纳森·D·。Hauenstein和Samantha N。谢尔曼。2020年。使用单峰法统计估计解决方案的数量。在第二届IMA机器人数学会议上,英国曼彻斯特,2020年9月9日至11日(Springer Proceedings In Advanced Robotics,Vol.21),William Holderbaum和Jon M。塞利格(编辑)。施普林格,37-46岁。https://doi.org/10.1007/978-3-030-91352-6_4谷歌学者谷歌学者交叉引用交叉引用
  17. 乔纳森·D·。Hauenstein和Frank Sottile。2012.算法921:alphaCertified:验证多项式系统的解决方案。ACM事务处理。数学。软件38、4(2012),第28、20条。https://doi.org/10.1145/2331130.2331136谷歌学者谷歌学者数字图书馆数字图书馆
  18. 埃里希·卡尔托芬和杨正峰。2007.关于稀疏有理函数的精确和近似插值。2007年7月28日至8月1日,在加拿大安大略省滑铁卢举行的符号和代数计算国际研讨会上,王东明(编辑)。美国医学会,203-210。https://doi.org/10.1145/1277548.1277577谷歌学者谷歌学者数字图书馆数字图书馆
  19. 亚伯拉罕·马丁·德尔·坎波(Abraham Martín del Campo)和何塞·以色列·罗德里格斯(Jose Israel Rodriguez)。2017年,通过单峰法和当地方法得出的关键点。J.符号计算。79,第3部分(2017年),559–574。https://doi.org/10.1016/j.jsc.2016.07.019谷歌学者谷歌学者数字图书馆数字图书馆
  20. 瑞克·米兰达。1995年,代数曲线和黎曼曲面。数学研究生课程,第5卷。美国数学学会,普罗维登斯,RI.xxii+390页。https://doi.org/10.1090/gsm/005谷歌学者谷歌学者交叉引用交叉引用
  21. 大卫·尼斯特。2004。五点相对姿势问题的有效解决方案。IEEE传输。模式分析。机器。智力。26, 6 (2004), 756–777. https://doi.org/10.109/TPAMI.2004.17谷歌学者谷歌学者数字图书馆数字图书馆
  22. 奥斯卡2023。OSCAR–开源计算机代数研究系统,0.11.3版-DEV。https://oscar.computeralgebra.de网址谷歌学者谷歌学者
  23. 安娜·埃克哈特·保罗·布雷丁和萨沙·蒂姆。[未注明日期]。Alt的问题。https://www.JuliaHomotopyContinuation.org/examples/alts-problem/。访问日期:2022年6月27日。谷歌学者谷歌学者
  24. Mark M Plecnik和Ronald S Fearing,2017年。只寻找大型运动学综合系统的有限根。《机械与机器人杂志》9,2(2017),021005。谷歌学者谷歌学者交叉引用交叉引用
  25. J.F.公司。里特。1922.勘误表:“素多项式和复合多项式”【Trans.Amer.Math.Soc.23(1922),no.1,51–66;1501189】。事务处理。阿默尔。数学。《社会学杂志》第23、4期(1922年),第431页。https://doi.org/10.2307/19998887谷歌学者谷歌学者交叉引用交叉引用
  26. 安德鲁·J。Sommese、Jan Verschelde和Charles W。沃普勒。2001.多项式系统解集的数值分解为不可约分量。SIAM J.数字。分析。38, 6 (2001), 2022–2046. https://doi.org/10.1137/S0036142900372549谷歌学者谷歌学者数字图书馆数字图书馆
  27. Frank Sottile和Thomas Yahl。2021.计数几何与应用中的伽罗瓦群。(2021). https://doi.org/10.448550/ARXIV.2108.07905谷歌学者谷歌学者交叉引用交叉引用
  28. GAP集团2022。GAP–组、算法和编程,4.12.2版。GAP集团。https://www.gap-system.org谷歌学者谷歌学者
  29. J.van der Hoeven。2011.可靠的同伦延续。技术报告。哈尔。http://hal.archives-ouvertes.fr/hal-00589948/fr/。谷歌学者谷歌学者
  30. Joris van der Hoeven和Grégoire Lecerf,2021年。有理函数和gcds的稀疏插值。ACM通信。计算。《代数》55,1(2021),1-12。https://doi.org/10.1145/3466895.3466896谷歌学者谷歌学者数字图书馆数字图书馆
  31. Joachim von zur Gatheren、Jaime Gutierrez和Rosario Rubio,1999年。关于多元多项式分解。在1999年5月31日至6月4日于德国慕尼黑举行的科学计算中的计算机代数第二次研讨会论文集中,Victor G。安永会计师事务所(Ernst W.Ganzha)。Mayr和Evgenii V。沃罗日佐夫(编辑)。施普林格,463-478。https://doi.org/10.1007/978-3-642-60218-4_35谷歌学者谷歌学者交叉引用交叉引用
  32. C.W.公司。瓦姆勒,A.P。摩根和A.J。索姆塞。1992.四杆机构九点路径综合问题的完全解。机械设计杂志114,1(1992年3月),153-159。https://doi.org/10.115/1.2916909arXiv公司:https://asmedigitalcollection.asme.org/mechanical design/article-pdf/114/1/153/50507001/153_1.pdf谷歌学者谷歌学者交叉引用交叉引用
  33. 胡安·徐(Juan Xu)、迈克尔·伯尔(Michael Burr)和齐亚普(Chee Yap)。2018.同伦延拓路径的证明方法:单变量案例。ISSAC’18-2018年ACM符号和代数计算国际研讨会论文集。ACM,纽约,399–406。https://doi.org/10.1145/3208976.3209010谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 利用单值性恢复多项式系统的对称性

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图片ACM其他会议
      ISSAC’23:2023年符号和代数计算国际研讨会论文集
      2023年7月
      567页
      国际标准图书编号:9798400700392
      内政部:10.1145/3597066

      版权所有©2023所有者/作者

      本作品获得知识共享署名国际4.0许可。

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2023年7月24日

      检查更新

      限定符

      • 研究论文
      • 研究
      • 参考有限公司

      接受率

      总体验收率395属于838提交文件,47%
    • 文章指标

      • 下载量(最近12个月)148
      • 下载次数(最近6周)25

      其他指标

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器

    HTML格式

    以HTML格式查看本文。

    查看HTML格式