In abstract algebra, the Pierce–Birkhoff conjecture asserts that any piecewise-polynomial function can be expressed as a maximum of finite minima of finite collections of polynomials. It was first stated, albeit in non-rigorous and vague wording, in the 1956 paper of Garrett Birkhoff and Richard S. Pierce in which they first introduced f-rings. The modern, rigorous statement of the conjecture was formulated by Melvin Henriksen and John R. Isbell, who worked on the problem in the early 1960s in connection with their work on f-rings. Their formulation is as follows:
- for every real piecewise-polynomial function , there exists a finite set of polynomials such that .
Local Pierce–Birkhoff conjecture
Denoting the real spectrum of A by , the separating ideal of α and β in is the ideal of A generated by all polynomials that change sign on α and β, ie. and . Any finite covering of closed, semi-algebraic sets induces a corresponding covering , so, in particular, when f is piecewise polynomial, there is a polynomial for every such that and . This is termed the local polynomial representative of f at α.
Madden's so-called local Pierce–Birkhoff conjecture at α and β, which is equivalent to the Pierce–Birkhoff conjecture, is as follows:
- Let α, β be in and f be piecewise-polynomial. It is conjectured that for every local representative of f at α, , and local representative of f at β, , is in the separating ideal of α and β.
- Lucas, F.; J. J. Madden; D. Schaub; M. Spivakovsky (2009). "On connectedness of sets in the real spectra of polynomial rings". Manuscripta Mathematica. 128 (4): 505–547. doi:10.1007/s00229-008-0244-1.
- "The Pierce–Birkhoff Conjecture". Atlas Conferences, Inc. 1999-07-05.
- Birkhoff, G.; R. Pierce (1956). "Lattice-ordered rings". Anais da Academia Brasileira de Ciências. 28: 41–69. Zbl 0070.26602.
- Mahé, L. (1984). "On the Pierce–Birkhoff conjecture". Rocky Mountain Journal of Mathematics. 14 (4): 983–986. doi:10.1216/RMJ-1984-14-4-983.
- Mahé, L. (2007). "On the Pierce–Birkhoff conjecture in three variables". Journal of Pure and Applied Algebra. 211 (2): 459–470. doi:10.1016/j.jpaa.2007.01.012. Zbl 1130.13014.