Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Estimating the number of tetrahedra determined by volume, circumradius and four face areas using Groebner basis
Tsai Y. Journal of Symbolic Computation77 162-174,2016.Type:Article
Date Reviewed: Feb 22 2017

Given a tetrahedron, we can compute its volume, its circumradius (radius of the sphere going through the four vertices), and the surface areas of the four faces. Mazur [1] asked, effectively, if this is injective; that is, given these six quantities, is there only one corresponding tetrahedron? Lisoněk [2] rapidly produced a counter-example, a set of values corresponding to two tetrahedra, and asked whether the mapping from tetrahedra to these quantities was at worst finite-to-one. Yang and Zeng [3] again disproved this, but their example had three faces with equal areas. There have been other results too technical to mention here; see the paper for details.

In this paper, for all possible combinations of equal/unequal face areas, the authors first calculate the possible number of complex solutions by an ingenious application of the methods of parametric Groebner bases. These bounds are precise, in that they have examples. They then bound the number of real solutions by Hermite’s root-counting methods. An open question is whether the real solutions’ bounds are precise.

The computations are in Mathematica, and the author has published the worksheets used.

Reviewer:  J. H. Davenport Review #: CR145072 (1705-0299)
1) Mazur, M. Problem 10717. American Mathematical Monthly 106, 2(1999), 167–167.
2) Lisoněk, P.; Israel, R. B. Metric invariants of tetrahedra via polynomial elimination. In Proc. of ISSAC 2000. ACM, New York, NY, 2000, 217–219.
3) Yang, L.; Zeng, Z. An open problem on metric invariants of tetrahedra. In Proc. of ISSAC 2005. ACM, New York, NY, 2005, 362–364.
Bookmark and Share
  Featured Reviewer  
 
Symbolic and Algebraic Manipulation (I.1 )
 
 
Geometric (I.5.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Symbolic and Algebraic Manipulation": Date
Data structure properties for scientific computing: an algebraic topology library
Heinzl R.  POOSC 2009 (Proceedings of the 8th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Genova, Italy, Jul 7, 2009)1-6, 2009. Type: Proceedings
Oct 27 2009
Mathematics, computer science and logic - a never ending story: the Bruno Buchberger Festschrift
Paule P., Springer Publishing Company, Incorporated, New York, NY, 2013.  120, Type: Book (978-3-319009-65-0)
Jan 27 2014
Cause-effect structures: An Algebra of Nets with Examples of Applications
Czaja L., Springer Publishing Company, Incorporated, 2019.  160, Type: Book (978-3-030204-60-0)
Apr 12 2022

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy