{"title":"The 4 × 4 Orthostochastic Variety","authors":"Justin Chen, P. Dey, P. Dey","doi":"10.1080/10586458.2021.1982427","DOIUrl":null,"url":null,"abstract":"ABSTRACT Orthostochastic matrices are the entrywise squares of orthogonal matrices, and naturally arise in various contexts, including notably definite symmetric determinantal representations of real polynomials. However, defining equations for the real variety were previously known only for 3 × 3 matrices. We study the real variety of 4 × 4 orthostochastic matrices, and find a minimal defining set of equations consisting of 6 quintics and 3 octics. The techniques used here involve a wide range of both symbolic and computational methods, in computer algebra and numerical algebraic geometry.","PeriodicalId":50464,"journal":{"name":"Experimental Mathematics","volume":" ","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2021-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Experimental Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1080/10586458.2021.1982427","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
ABSTRACT Orthostochastic matrices are the entrywise squares of orthogonal matrices, and naturally arise in various contexts, including notably definite symmetric determinantal representations of real polynomials. However, defining equations for the real variety were previously known only for 3 × 3 matrices. We study the real variety of 4 × 4 orthostochastic matrices, and find a minimal defining set of equations consisting of 6 quintics and 3 octics. The techniques used here involve a wide range of both symbolic and computational methods, in computer algebra and numerical algebraic geometry.
期刊介绍:
Experimental Mathematics publishes original papers featuring formal results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses.
Experiment has always been, and increasingly is, an important method of mathematical discovery. (Gauss declared that his way of arriving at mathematical truths was "through systematic experimentation.") Yet this tends to be concealed by the tradition of presenting only elegant, fully developed, and rigorous results.
Experimental Mathematics was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process. The early sharing of insights increases the possibility that they will lead to theorems: An interesting conjecture is often formulated by a researcher who lacks the techniques to formalize a proof, while those who have the techniques at their fingertips have been looking elsewhere. Even when the person who had the initial insight goes on to find a proof, a discussion of the heuristic process can be of help, or at least of interest, to other researchers. There is value not only in the discovery itself, but also in the road that leads to it.