{'fraction_non_alphanumeric': 0.026877470355731226, 'fraction_numerical': 0.0031620553359683794, 'mean_word_length': 4.943661971830986, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Universality of Polynomial Positivity and a Variant of Hilbert ’ s 17 th Problem

We observe that the decision problem for the ∃ theory of real closed fields (RCF) is simply reducible to the decision problem for RCF over a connective-free ∀ language in which the only relation symbol is a strict inequality. In particular, every ∃ RCF sentence φ can be settled by deciding a proposition of the form “polynomial p (which is a sum of squares) takes on strictly positive values over the reals,” with p simply derived from φ. Motivated by this observation, we pose the goal of isolating a syntactic criterion characterising the positive definite (i.e., strictly positive) real polynomials. Such a criterion would be a strictly positive analogue to the fact that every positive semidefinite (i.e., nonnegative) real polynomial is a sum of squares of rational functions, as established by Artin’s positive solution to Hilbert’s 17th Problem. We then prove that every positive definite real polynomial is a ratio of a Real Nullstellensatz witness and a positive definite real polynomial. Finally, we conjecture that every positive definite real polynomial is a product of ratios of Real Nullstellensatz witnesses and examine an interesting ramification of this conjecture.