Universal Gröbner Bases of (Universal) Multiview Ideals
Multiview ideals arise from the geometry of image formation in pinhole cameras, and universal multiview ideals are their analogs for unknown cameras. We prove that a natural collection of polynomials form a universal Gröbner basis for both types of ideals using a criterion introduced by Huang and Larson, and include a proof of their criterion in our setting. Symmetry reduction and induction enable the method to be deployed on an infinite family of ideals. We also give an explicit description of the matroids on which the methodology depends, in the context of multiview ideals.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Gr\"obner Bases of Neural Ideals
The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. E…
FormLearning to Compute Gröbner Bases
Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number …
Dataset GenerationPredicting the cardinality and maximum degree of a reduced Gröbner basis
We construct neural network regression models to predict key metrics of complexity for Gr\"obner bases of binomial ideals. This work illustrates why predictions with neural networks from Gr\"obner computations are not a …
regressionAlgebra and Geometry of Camera Resectioning
We study algebraic varieties associated with the camera resectioning problem. We characterize these resectioning varieties' multigraded vanishing ideals using Gr\"obner basis techniques. As an application, we derive and …
An Efficient Algorithm for Determining the Equivalence of Zero-one Reaction Networks
Zero-one reaction networks play a crucial role in cell signaling. Determining the equivalence of reaction networks is a fundamental computational problem in the field of chemical reaction networks. In this work, we devel…