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

Experimental Mathematics最新文献

筛选
英文 中文
Liquid Tensor Experiment 液体张量实验
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-06-20 DOI: 10.1080/10586458.2021.1926016
P. Scholze
{"title":"Liquid Tensor Experiment","authors":"P. Scholze","doi":"10.1080/10586458.2021.1926016","DOIUrl":"https://doi.org/10.1080/10586458.2021.1926016","url":null,"abstract":"Abstract I propose a formalization challenge. The text below is a slightly edited version of the blog post Xena Project – Liquid Tensor Experiment, and I have kept its informal style.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1080/10586458.2021.1926016","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48045444","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}
引用次数: 26
Algorithmic Symplectic Packing 算法辛包装
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-06-18 DOI: 10.1080/10586458.2022.2041135
Greta Fischer, J. Gutt, M. Junger
{"title":"Algorithmic Symplectic Packing","authors":"Greta Fischer, J. Gutt, M. Junger","doi":"10.1080/10586458.2022.2041135","DOIUrl":"https://doi.org/10.1080/10586458.2022.2041135","url":null,"abstract":"In this article we explore a symplectic packing problem where the targets and domains are 2n-dimensional symplectic manifolds. We work in the context where the manifolds have first homology group equal to Z, and we require the embeddings to induce isomorphisms between first homology groups. In this case, Maley, Mastrangeli and Traynor [MMT00] showed that the problem can be reduced to a combinatorial optimization problem, namely packing certain allowable simplices into a given standard simplex. They designed a computer program and presented computational results. In particular, they determined the simplex packing widths in dimension four for up to k = 12 simplices, along with lower bounds for higher values of k. We present a modified algorithmic approach that allows us to determine the k-simplex packing widths for up to k = 13 simplices in dimension four and up to k = 8 simplices in dimension six. Moreover, our approach determines all simplex-multisets that allow for optimal packings.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47942757","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
Universality of Nodal Count Distribution in Large Metric Graphs 大度量图中节点数分布的普适性
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-06-11 DOI: 10.1080/10586458.2022.2092565
Lior Alon, R. Band, G. Berkolaiko
{"title":"Universality of Nodal Count Distribution in Large Metric Graphs","authors":"Lior Alon, R. Band, G. Berkolaiko","doi":"10.1080/10586458.2022.2092565","DOIUrl":"https://doi.org/10.1080/10586458.2022.2092565","url":null,"abstract":". An eigenfunction of the Laplacian on a metric (quantum) graph has an excess number of zeros due to the graph’s non-trivial topology. This number, called the nodal surplus, is an integer between 0 and the graph’s first Betti number β . We study the distribution of the nodal surplus values in the countably infinite set of the graph’s eigenfunctions. We conjecture that this distribution converges to Gaussian for any sequence of graphs of growing β . We prove this conjecture for several special graph sequences and test it numerically for a variety of well-known graph families. Accurate computation of the distribution is made possible by a formula expressing the nodal surplus distribution as an integral over a high-dimensional torus.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48398695","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}
引用次数: 9
Hard Diagrams of the Unknot 解开结的硬图
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-04-29 DOI: 10.1080/10586458.2022.2161676
Benjamin A. Burton, Hsien-Chih Chang, M. Löffler, Clément Maria, Arnaud de Mesmay, S. Schleimer, E. Sedgwick, J. Spreer
{"title":"Hard Diagrams of the Unknot","authors":"Benjamin A. Burton, Hsien-Chih Chang, M. Löffler, Clément Maria, Arnaud de Mesmay, S. Schleimer, E. Sedgwick, J. Spreer","doi":"10.1080/10586458.2022.2161676","DOIUrl":"https://doi.org/10.1080/10586458.2022.2161676","url":null,"abstract":"We present three\"hard\"diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small\"standard\"example of a hard unknot diagram requires more than one extra crossing for Reidemeister moves in $mathbb{S}^2$.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43372802","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}
引用次数: 1
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types 简单类型理论不是太简单:没有依赖类型的Grothendieck方案
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-04-19 DOI: 10.1080/10586458.2022.2062073
Anthony Bordg, Lawrence Charles Paulson, Wenda Li
{"title":"Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types","authors":"Anthony Bordg, Lawrence Charles Paulson, Wenda Li","doi":"10.1080/10586458.2022.2062073","DOIUrl":"https://doi.org/10.1080/10586458.2022.2062073","url":null,"abstract":"Abstract Church’s simple type theory is often deemed too simple for elaborate mathematical constructions. In particular, doubts were raised whether schemes could be formalized in this setting and a challenge was issued. Schemes are sophisticated mathematical objects in algebraic geometry introduced by Alexander Grothendieck in 1960. In this article we report on a successful formalization of schemes in the simple type theory of the proof assistant Isabelle/HOL, and we discuss the design choices which make this work possible. We show in the particular case of schemes how the powerful dependent types of Coq or Lean can be traded for a minimalist apparatus called locales.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48872374","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}
引用次数: 11
On Combinatorics of Voronoi Polytopes for Perturbations of the Dual Root Lattices 对偶根格摄动的Voronoi多面体组合
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-04-16 DOI: 10.1080/10586458.2021.1994488
A. Garber
{"title":"On Combinatorics of Voronoi Polytopes for Perturbations of the Dual Root Lattices","authors":"A. Garber","doi":"10.1080/10586458.2021.1994488","DOIUrl":"https://doi.org/10.1080/10586458.2021.1994488","url":null,"abstract":"The Voronoi conjecture on parallelohedra claims that for every convex polytope P that tiles Euclidean d-dimensional space with translations there exists a d-dimensional lattice such that P and the Voronoi polytope of this lattice are affinely equivalent. The Voronoi conjecture is still open for the general case but it is known that some combinatorial restriction for the face structure of P ensure that the Voronoi conjecture holds for P . In this paper we prove that if P is the Voronoi polytope of one of the dual root lattices D∗ d , E∗ 6 , E∗ 7 or E∗ 8 = E8 or their small perturbations, then every parallelohedron combinatorially equivalent to P in strong sense satisfies the Voronoi conjecture.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48133149","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}
引用次数: 1
An Algorithm to Find Ribbon Disks for Alternating Knots 一种寻找交替结的带状圆盘的算法
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-02-23 DOI: 10.1080/10586458.2022.2158968
Brendan Owens, Frank Swenton
{"title":"An Algorithm to Find Ribbon Disks for Alternating Knots","authors":"Brendan Owens, Frank Swenton","doi":"10.1080/10586458.2022.2158968","DOIUrl":"https://doi.org/10.1080/10586458.2022.2158968","url":null,"abstract":"We describe an algorithm to find ribbon disks for alternating knots, and the results of a computer implementation of this algorithm. The algorithm is underlain by a slice link obstruction coming from Donaldson's diagonalisation theorem. It successfully finds ribbon disks for slice two-bridge knots and for the connected sum of any alternating knot with its reverse mirror, as well as for 662,903 prime alternating knots of 21 or fewer crossings. We also identify some examples of ribbon alternating knots for which the algorithm fails to find ribbon disks, though a related search identifies all such examples known. Combining these searches with known obstructions, we resolve the sliceness of all but 3,276 of the over 1.2 billion prime alternating knots with 21 or fewer crossings.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43721418","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}
引用次数: 5
New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences 所有偶发apacry - like序列的新表示及其在同余上的应用
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-02-23 DOI: 10.1080/10586458.2021.1982080
O. Gorodetsky
{"title":"New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences","authors":"O. Gorodetsky","doi":"10.1080/10586458.2021.1982080","DOIUrl":"https://doi.org/10.1080/10586458.2021.1982080","url":null,"abstract":"Sporadic Ap'ery-like sequences were discovered by Zagier, by Almkvist and Zudilin and by Cooper in their searches for integral solutions for certain families of second- and third-order differential equations. We find new representations, in terms of constant terms of powers of Laurent polynomials, for all the 15 sporadic sequences. The new representations in turn lead to binomial expressions for the sequences, which, as opposed to previous expressions, do not involve powers of 8 and powers of 3. We use these to establish the supercongruence $B_{np^k} equiv B_{np^{k-1}} bmod p^{2k}$ for all primes $p ge 3$ and integers $n,k ge 1$, where $B_n$ is a sequence discovered by Zagier and known as Sequence $mathbf{B}$. Additionally, for 14 out of the 15 sequences, the Newton polytopes of the Laurent polynomials used in our representations contain the origin as their only interior integral point. This property allows us to prove that these 14 sporadic sequences satisfy a strong form of the Lucas congruences, extending work of Malik and Straub. Moreover, we obtain lower bounds on the $p$-adic valuation of these 14 sequences via recent work of Delaygue.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43232337","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}
引用次数: 8
The Sn -Equivariant Rational Homology of the Tropical Moduli Spaces Δ2,n 热带模空间的Sn -等变有理同调Δ2,n
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-02-09 DOI: 10.1080/10586458.2020.1870179
Claudia He Yun
{"title":"The Sn -Equivariant Rational Homology of the Tropical Moduli Spaces Δ2,n","authors":"Claudia He Yun","doi":"10.1080/10586458.2020.1870179","DOIUrl":"https://doi.org/10.1080/10586458.2020.1870179","url":null,"abstract":"Abstract We compute the Sn -equivariant rational homology of the tropical moduli spaces for using a cellular chain complex for symmetric Δ-complexes in Sage.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1080/10586458.2020.1870179","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41498224","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}
引用次数: 7
Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL Isabelle/HOL中无穷级数的无理性与超越准则
IF 0.5 4区 数学
Experimental Mathematics Pub Date : 2021-01-08 DOI: 10.1080/10586458.2021.1980465
Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence Charles Paulson
{"title":"Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL","authors":"Angeliki Koutsoukou-Argyraki, Wenda Li, Lawrence Charles Paulson","doi":"10.1080/10586458.2021.1980465","DOIUrl":"https://doi.org/10.1080/10586458.2021.1980465","url":null,"abstract":"ABSTRACT We give an overview of our formalizations in the proof assistant Isabelle/HOL of certain irrationality and transcendence criteria for infinite series from three different research papers: by Erdős and Straus, Hančl, and Hančl and Rucki. Our formalizations in Isabelle/HOL can be found on the Archive of Formal Proofs. Here we describe selected aspects of the formalization and discuss what this reveals about the use and potential of Isabelle/HOL in formalizing modern mathematical research, particularly in these parts of number theory and analysis.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2021-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42280060","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}
引用次数: 2
首页 上一页
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学术官方微信