{'fraction_non_alphanumeric': 0.035868005738880916, 'fraction_numerical': 0.0028694404591104736, 'mean_word_length': 4.304182509505703, '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': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Proof of Evans’ Convexity Conjecture

Given a sequence of degrees 𝔸 = {a 1,…, a n } with 1 ≤ a 1 ≤ a 2 ≤ … ≤a n , an ideal L is called an 𝔸 lex-plus-powers ideal if L minimally contains and is otherwise as lex as possible. Such ideals are conjectured by Eisenbud, Green, and Harris, to exhibit extremal Hilbert function growth (among all ideals also containing a regular sequence in degrees 𝔸), and by Charalambous and Evans to exhibit maximal graded Betti numbers (among all ideals containing a regular sequence in degrees 𝔸 and attaining the same Hilbert function). Of course, given a sequence of degrees 𝔸 and a Hilbert function ℋ, an 𝔸 lex-plus-powers ideal with Hilbert function ℋ may or may not exist. Evans has conjectured that the existence of such ideals is governed by a certain convexity property: that is, given a Hilbert function ℋ and three sequences of degrees 𝔸 ≤ 𝔹 ≤ 𝕃 where 𝕃 gives the degrees of the pure powers in the lex ideal attaining ℋ, if there exists an 𝔸 lex-plus-powers ideal attaining ℋ, then there exists a 𝔹 lex-plus-powers ideal attaining ℋ. In this paper we give a proof of Evans’ Convexity Conjecture. As an application, we use Convexity to show that the conjectures of Eisenbud, Green, and Harris, and Charalambous and Evans are equivalent to similar statements utilizing a definition of lex-plus-powers ideals that does not require minimal containment of .