{"id":"32c7448f-5558-4b16-8aed-e8df27e33960","arxiv_id":"1908.02562","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In weights 2 and 3, the elliptic Kashiwara-Vergne Lie algebra has dimension 1 for even j and 0 for odd j in weight 2, and dimension floor((m-1)/2) - floor((m-1)/3) in weight 3 for odd m, confirming Enriquez' conjecture in these degrees.","lead":"This paper counts the low-weight part of the elliptic Kashiwara-Vergne Lie algebra, a symmetry algebra for loops on a once-punctured torus. It gives explicit dimension formulas and confirms a conjecture of Enriquez in weights two and three.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.2 (Birds on a Wire) is the load-bearing normal-form step and is only sketched; all Section 5 dimension computations depend on it.","rationale":"The reader's weakest-assumption analysis identifies exactly the point I would also stress: Lemma 5.2 is the normal-form engine of the paper, and its proof is not complete enough to support the weight-2 and weight-3 dimension claims. I do not see a positive error in the polynomial computations themselves; the equations in Sections 5.3–5.4 are plausible and the stated dimension formula for F(L)(3,j) is consistent with the claimed result. The main risk is that a tree not reducible to the standard form would escape the computation. A computational check of Lemma 5.2 up to moderate degree would settle this concern without changing the paper's conditional status. The paper should also reconcile the two appearances of the divergence condition in the introduction and in Definition 4.3, but for the bidegrees computed here that issue is secondary to the missing normal-form proof.","tokens_in":11443,"tokens_out":27321,"duration_ms":312038,"concrete_test":"Verify Lemma 5.2 computationally for all Lie trees up to total degree 8. Enumerate all binary tree shapes with leaves labeled by x and y, choose two distinguished leaves x1 and x2, and implement the F(L) quotient relations a⊗b = b⊗a and a⊗[b,c] = [a,b]⊗c over Q. For each bidegree (2,j) and (3,j), compare the dimension of the span of all trees with two distinguished leaves against the span of the standard forms Θ(x1, ad_a(x2)) for a ranging over associative words of the matching x/y degree. Equivalently, use the injection F(L) → F(A) and compute the corresponding cyclic-word span; if any tree maps outside the standard-form span, Lemma 5.2 fails and the dimension counts in Theorem 1.1 are not justified without a different proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central normal-form lemma, Lemma 5.2, is load-bearing but its proof is only a sketch. Every subsequent statement in Section 5 uses it: the reduction of weight-2 elements to the basis δ(2n), the polynomial encoding of F(L)(3,j) leading to Proposition 5.9, the divergence formula in Lemma 5.3, and hence the vanishing/divergence computations for both even and odd j in Theorem 1.1. The proof asserts that IHX manipulations reduce any tree to standard form Θ(x1, ad_a(x2)), but it gives no terminating rewriting argument. In particular, it does not explain how several side trees attached along the x1–x2 path are combined into a single adjoint string ad_a(x2), nor why the resulting associative words a satisfy no hidden relations. Since F(L) injects into F(A) by Proposition 3.2, a counterexample to Lemma 5.2 would mean the displayed basis δ(2n) and the polynomial space in Proposition 5.9 are not the full image of the relevant F(L)-components, so the dimension counts in Theorem 1.1 could miss or duplicate elements. This is an internal gap in the argument, not a disagreement with external consensus.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies low-weight components of the elliptic Kashiwara-Vergne Lie algebra krv, a subalgebra of derivations of the free Lie algebra on two generators. After setting up the correspondence between krv and the space F(L) of Lie trees (Sections 2–4), the main Theorem 1.1 states that krv^(2,j) is one-dimensional with basis δ_j for even j and zero for odd j, and that dim krv^(3,j) is floor((j−1)/2) − floor((j−1)/3) for odd j and zero for even j. The proofs use a graphical 'Birds on a Wire' normal form, polynomial encodings of F(L)(3,j), and functional equations for the divergence condition. The paper concludes that Enriquez' generation conjecture for the elliptic Grothendieck–Teichmüller Lie algebra holds in weights 2 and 3.","tokens_in":11719,"tokens_out":11298,"duration_ms":98394,"significance":"If the proofs are completed, the dimension formulas provide the first computational verification of Enriquez' conjecture in low weights and give explicit generators (δ_{2n}) for weight 2. The polynomial encoding of F(L)(3,j) is a useful method, and the final formulas are explicit and falsifiable. The main weaknesses are that the central normal-form lemma and the infinite-descent argument are only sketched; the overall strategy is convincing but the manuscript as written does not yet meet the standard of a fully verified proof.","major_comments":[{"comment":"Lemma 5.2 ('Birds on a Wire') is asserted with only a heuristic proof, yet it is the load-bearing normal-form result: Proposition 5.5, Lemma 5.3, Lemma 5.4 and Proposition 5.9 all rely on it. The proof does not give a terminating rewriting argument; it does not explain how several side trees along the x1–x2 path are combined into a single adjoint string ad_a(x2), nor why the resulting associative word a satisfies no hidden relations. Since F(L) injects into F(A) by Proposition 3.2, a failure of the lemma would mean that the displayed bases and the polynomial space (2) are not the full images of the relevant F(L)-components, so the dimension counts in Theorem 1.1 could miss or duplicate elements. The authors should provide a complete proof (or a precise reference with full details) before the result can be considered established.","section":"Lemma 5.2"},{"comment":"The infinite descent proving P=0 in the even case is only summarized. The proof states that after factoring x,y,x+y,x−y,2x+y,x+2y and then repeatedly factoring x,y,x+y the conditions 'repeat,' but it does not verify that the divisibility claims follow from the functional equations, nor that the updated conditions at each stage are correctly derived, nor that the cycle indeed continues indefinitely. This step is essential for the vanishing of krv(3,j) for even j; without a complete argument the main theorem is not fully proven. The authors should spell out the descent, for example with explicit substitutions and a clear statement of the inductive invariant.","section":"Proposition 5.10"},{"comment":"The proof that Θ(x, ad_{y^{2n+1}}(x)) = 0 contains an incorrect-looking display: 'Θ(x, ad_{y^{2n+1}}(x)) = (−1)^{2n+1}Θ(x, ad_{y^{2n+1}}(x)) = (−1)^{2n+1}Θ(ad_{y^{2n+1}}(x),x)' does not justify the first equality. The intended argument presumably uses the relation Θ(a,[b,c]) = Θ([a,b],c) and symmetry of Θ in F(L), but as written the vanishing is not proven. This is part of the basis statement for weight 2, so it should be corrected and made explicit.","section":"Section 5.1 (weight 2 odd vanishing)"},{"comment":"The divergence computation uses formal inverses y^{-1} and a^{-1} in the free associative algebra A, where these elements do not exist. The passage from ∂_y([ad^i_y(x), ad^j_y(x)]) to the polynomial expression in a and b is a generating-function manipulation that is not rigorously justified. Since condition (3) is used in the even-j vanishing theorem, this step needs a precise formulation, for example by working in the trace space with variable counts or by introducing a formal variable and extracting coefficients.","section":"Section 5.4, derivation of condition (3)"}],"minor_comments":[{"comment":"The text contains several typos and small errors: 'therin' should be 'therein', 'Teickmüller' should be 'Teichmüller', 'We proof this' should be 'We prove this', and 'we that div(u)=0' is missing a verb.","section":"Throughout"},{"comment":"The antisymmetry condition is misprinted as P(X,Y) = −P(X,Y); it should be P(X,Y) = −P(Y,X). Also, in the display 'P = −1/2 XiYj − XjYi' the parentheses are missing; it should read P = −(1/2)(X^i Y^j − X^j Y^i).","section":"Equation (1) and Section 5.4"},{"comment":"There is a stray parenthesis in 'Θ(ˆx), (adj_−y([x, adi_y(x)]))'; the intended expression is Θ(ˆx, adj_−y([x, adi_y(x)])).","section":"Proof of Lemma 5.8"},{"comment":"The phrase 'all trees with an even number of roots' should likely be 'all trees of even total degree', since the argument concerns the parity of the total degree.","section":"Proposition 5.6"}],"recommendation":"major_revision","confidential_remarks":"The paper is a concise computational note; the main risk is the unproven normal-form lemma, which is also the most novel combinatorial input. I would be inclined to accept after the authors supply a full proof of Lemma 5.2 and a complete descent in Proposition 5.10, or alternatively explicitly restrict the claims to the cases verified by an independent computer check."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The short version: Naef and Qin compute the low-weight pieces of the elliptic Kashiwara-Vergne Lie algebra, giving explicit dimensions in weights 2 and 3 and checking Enriquez's conjecture there. The formulas are concrete and, as far as I can tell, correct. The paper is a real contribution to an established program, not a new framework.\n\nWhat's new: the dimension statements (Theorem 1.1), the basis δ_{2n} for weight 2, and the translation of the divergence-free condition into polynomial equations in Section 5.4. That last piece is the most original part and it is reasonably transparent. The counting of Jacobi trees via symmetric polynomials in Proposition 5.11 is clean.\n\nWhere I have doubts. The load-bearing step is Lemma 5.2, 'Birds on a Wire,' which asserts any Lie tree with two marked points can be put in the normal form Θ(x1, ad_a(x2)). The proof is a sketch—'straighten the path,' 'reduce any tree by a level,' 'always reduce'—without a terminating rewriting argument. Since the weight-2 basis and the divergence formula (Lemma 5.3) both rest on it, this needs a real proof. I don't think the lemma is false, but the paper doesn't show it.\n\nProposition 5.10 is the other soft spot. The proof that only the zero even polynomial survives is a factoring descent that is summarized rather than demonstrated. The sign changes in the updated conditions after factoring are not derived, which makes me uncomfortable. This is the step that kills even elements in weight 3, so it deserves a detailed verification.\n\nOne more thing: the introduction quotes a characterization of krv from [1] with div(u)=f([x,y]), while Definition 4.3 sets div(u)=0. The paper never reconciles the two. Probably they are equivalent in the relevant quotient, but as written it is confusing.\n\nNone of these look fatal. The computations are specific enough that I would expect them to be right, and the authors are clearly competent. But the proof as written is not complete enough for me to fully certify it.\n\nWho it's for: people working on elliptic associators, the Grothendieck-Teichmüller Lie algebra, or Goldman-Turaev Lie bialgebras. They'll get useful data and a promising method.\n\nRecommendation: send it to peer review, but ask for a full proof of Lemma 5.2, a written-out descent for Proposition 5.10, and a sentence reconciling the two krv definitions.","headline":"Low-weight dimension count for the elliptic Kashiwara-Vergne Lie algebra; plausible and useful, but the proof leans on a sketched normal-form lemma and a compressed factoring argument.","tokens_in":12145,"tokens_out":3261,"would_cite":true,"duration_ms":32351,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B01","17B66","17B65"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves exact dimension formulas for the low-weight pieces of the elliptic Kashiwara-Vergne Lie algebra and confirms a standing generation conjecture in those weights.","keywords":["elliptic Kashiwara-Vergne Lie algebra","free Lie algebra","symplectic derivations","Lie trees","IHX relation","divergence cocycle","elliptic Grothendieck-Teichmüller Lie algebra","low-weight computation"],"falsifier":"Run the defining equations for $\\mathfrak{krv}^{(3,4)}$ by computer: solve $u([x,y])=0$ and $\\operatorname{div}(u)=0$ inside the finite-dimensional space $F(L)^{(3,4)}$. The theorem predicts the only solution is zero, so any nonzero solution would refute it. Independently, test the Birds on a Wire lemma on a Lie tree whose two marked points are separated by attached branches, and check whether the reduction to $\\Theta(x_1, \\operatorname{ad}_a(x_2))$ actually goes through.","tokens_in":11267,"feed_emoji":"📏","tokens_out":12370,"duration_ms":122737,"temperature":0.7,"pith_summary":"The paper establishes exact dimension formulas for the lowest bidegrees of the elliptic Kashiwara-Vergne Lie algebra, the algebra of symplectic derivations of the free Lie algebra on two generators that also have zero divergence. It proves that the $(2,j)$-piece is one-dimensional for even $j$ and zero for odd $j$, and that the $(3,j)$-piece is zero for even $j$ and has dimension $\\lfloor (j-1)/2 \\rfloor - \\lfloor (j-1)/3 \\rfloor$ for odd $j$. These formulas verify, in weights 2 and 3, a standing conjecture that the elliptic Grothendieck-Teichmüller Lie algebra is generated by two infinite families of elements together with a copy of $\\mathfrak{sl}_2$. The result matters because this algebra is the symmetry algebra of the surface Lie bialgebra of the once-punctured torus, so the computation is a concrete step toward understanding the structure of elliptic associators.","feed_headline":"Dimension formulas settle low-weight elliptic KV algebra","feed_subtitle":"Even weight-2 spaces are nontrivial; weight-3 spaces obey a simple floor formula, confirming the generation conjecture.","key_machinery":"The load-bearing object is the bigraded Lie algebra $\\mathfrak{krv} = \\{u \\in \\mathrm{Der}(L(x,y)) : u([x,y]) = 0,\\ \\operatorname{div}(u) = 0\\}$, understood through the isomorphism between symplectic derivations and the space $F(L)$ of unrooted Lie trees. The central mechanism is the Birds on a Wire lemma, which asserts that two marked points on any Lie tree can be rearranged, using antisymmetry and the IHX (Jacobi) relation, into the standard form $\\Theta(x_1, \\operatorname{ad}_a(x_2))$; this normal form turns partial-derivative and divergence computations into polynomial manipulations. The Small Wheels lemma then shows divergence vanishes automatically for trees of even total degree with few $x$'s, and the polynomial encoding $P(X,Y)$ of weight-3 trees converts the remaining constraints into functional equations whose even solutions are shown to be zero by an infinite-factorization argument.","core_discovery":"On the paper's own terms, the central result is Theorem 1.1: $\\dim \\mathfrak{krv}^{(2,j)} = 1$ with basis $\\delta_j$ for even $j$, and $0$ for odd $j$; $\\dim \\mathfrak{krv}^{(3,j)} = 0$ for even $j$, and $\\lfloor (j-1)/2 \\rfloor - \\lfloor (j-1)/3 \\rfloor$ for odd $j$. The proof identifies $\\mathfrak{krv}^{(i,j)}$ with pieces of the space $F(L)$ of Lie trees modulo antisymmetry and IHX relations: in weight 2 the only trees are $\\delta_{2n}$; in weight 3 the Small Wheels lemma makes the divergence condition automatic when the total degree is even, and the remaining even-weight cases are forced to vanish by a polynomial argument. Consequently no odd elements occur in these degrees, and the conjectural generation statement for the elliptic Grothendieck-Teichmüller Lie algebra holds in weights 2 and 3.","pith_inferences":["Turning the Birds on a Wire sketch into a complete proof would let the same normal-form and polynomial method be pushed to weight 4, where the present argument stops.","The dimension formula for weight 3 suggests a natural basis indexed by pairs $(a,b)$ with $2a+3b=j-3$, which the paper does not explicitly construct.","If the standard-form lemma survives in richer settings, the same divergence-computation strategy should transfer to q-divergence or higher-genus variants of the Kashiwara-Vergne problem.","A direct computer search over Jacobi trees at bidegree $(3,4)$ would independently test the theorem's strongest prediction, since the paper's checks are conceptual rather than computational."],"forward_implications":["For every even $j$, the weight-2 piece is a line spanned by $\\delta_j$; for odd $j$ it is empty.","For weight 3, the even-$j$ pieces are empty and the odd-$j$ pieces have dimension $\\lfloor (j-1)/2 \\rfloor - \\lfloor (j-1)/3 \\rfloor$, which counts the nonnegative integer pairs $(a,b)$ with $2a+3b = j-3$.","The standing conjecture that the elliptic Grothendieck-Teichmüller Lie algebra is generated by two infinite families plus a copy of $\\mathfrak{sl}_2$ is confirmed in weights 2 and 3.","In these weights the complementary parity cases are all zero, so the parity restriction predicted by the conjectural structure is proved there."],"supporting_citations":[{"why":"Supplies the definition of krv as symplectic derivations with zero divergence, which the whole computation starts from.","marker":"[1]"},{"why":"Provides the divergence cocycle identity used to show krv is a Lie algebra and to justify divergence computations.","marker":"[2]"},{"why":"Defines the elliptic Grothendieck-Teichmüller Lie algebra and the conjectural generation statement that the paper verifies in low weights.","marker":"[4]"},{"why":"Introduces the space of symplectic derivations F(A) of the free associative algebra that underlies the graphical F(L) calculus.","marker":"[5]"}],"fun_headline_variants":["Floor formulas settle elliptic KV algebra's low-weight dimensions","Conjecture confirmed in weights 2 and 3 for elliptic KV algebra","No odd elements in low-weight elliptic Kashiwara-Vergne algebra","Tree counting gives exact dimensions for elliptic KV algebra","Elliptic KV low-weight dimensions: explicit and conjecture-proving"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire low-weight computation leans on the Birds on a Wire lemma, which says any two marked points of a Lie tree can be put in the standard form; only a proof sketch is given, and if the lemma fails for some tree, the claimed dimensions could miss elements.","fun_headline_variants_meta":{"raw":{"variants":["Floor formulas settle elliptic KV algebra's low-weight dimensions","Conjecture confirmed in weights 2 and 3 for elliptic KV algebra","No odd elements in low-weight elliptic Kashiwara-Vergne algebra","Tree counting gives exact dimensions for elliptic KV algebra","Elliptic KV low-weight dimensions: explicit and conjecture-proving"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000221,"raw_usage":{"total_tokens":1439,"prompt_tokens":921,"completion_tokens":518,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":432}},"tokens_in":537,"tokens_out":518,"duration_ms":5803,"temperature":1.0,"reasoning_tokens":432,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:41:11.399594+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the defining equations for $\\mathfrak{krv}^{(3,4)}$ by computer: solve $u([x,y])=0$ and $\\operatorname{div}(u)=0$ inside the finite-dimensional space $F(L)^{(3,4)}$. The theorem predicts the only solution is zero, so any nonzero solution would refute it. Independently, test the Birds on a Wire lemma on a Lie tree whose two marked points are separated by attached branches, and check whether the reduction to $\\Theta(x_1, \\operatorname{ad}_a(x_2))$ actually goes through.","supporting_citations":[{"cited_title":"Alekseev, N","cited_arxiv_id":null,"evidence_quote":"Supplies the definition of krv as symplectic derivations with zero divergence, which the whole computation starts from."},{"cited_title":"Alekseev, N","cited_arxiv_id":null,"evidence_quote":"Provides the divergence cocycle identity used to show krv is a Lie algebra and to justify divergence computations."},{"cited_title":"Enriquez, Elliptic associators, Sel","cited_arxiv_id":null,"evidence_quote":"Defines the elliptic Grothendieck-Teichmüller Lie algebra and the conjectural generation statement that the paper verifies in low weights."},{"cited_title":"Kontsevich, Formal (non)-commutative symplectic geometry , The Gelfand Mathematical Seminars, 1990-1992 (L","cited_arxiv_id":null,"evidence_quote":"Introduces the space of symplectic derivations F(A) of the free associative algebra that underlies the graphical F(L) calculus."}],"review_version":1}