{"id":"9979e61e-1b96-4937-9e99-d4f32372b2b3","arxiv_id":"2411.13877","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new family of six-point quadratic metric inequalities holds in all CAT(0) spaces and is not implied by four-point or five-point conditions.","lead":"This paper proves a family of quadratic inequalities that hold on any six points in any CAT(0) space, and shows these inequalities cannot be derived from how five-point subsets behave. It provides the first explicit examples of six-point CAT(0) inequalities that go beyond the four-point condition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the proof is sound, and the one asserted configuration in Theorem 1.3 is explicitly constructible for all parameters.","rationale":"The central inequality (1.2) is proved by a finite chain of CAT(0) inequalities; I re-derived (3.7)-(3.9) and confirmed that substitution into (3.4) yields exactly (3.10) after multiplying by ab, so the first part of Theorem 1.3 is correct. The non-implication part depends on the existence of a Lebedeva configuration with equality in all steps; the only unproved assertion is the existence of the six points, and the explicit construction above settles it. The use of Lebedeva's theorem (Theorem 2.4) and the author's five-point theorem (Theorem 1.2) is properly cited and logically sufficient. Therefore the reader's ACCEPT verdict is appropriate; no change is needed.","tokens_in":10566,"tokens_out":23070,"duration_ms":200117,"concrete_test":"Run the explicit coordinate check: substitute x0=(-a,0,0), x1=(1-a,0,0), y0=(0,-b,0), y1=(0,1-b,0), z0=(t(s-a),(1-t)(1-b),c), z1=(t(s-a),(1-t)(1-b),c-1) into the two barycenter identities and into (2.5); verify that the open segment z0z1 intersects the interior of the convex hull of the four equatorial points in exactly one point. This confirms the existence step for all allowed parameters.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the algebraic chain (3.1)-(3.10) and the parameter edge cases, I find no load-bearing flaw. The only point that initially merits scrutiny is the asserted existence, in the proof of the moreover part of Theorem 1.3, of six points in R3 satisfying (2.5) and the two barycenter identities. This is stated as 'clearly' with reference to Figure 3 but without coordinates. The assertion is nevertheless correct: for any a,b,c,s,t in (0,1) with a<s, take u=(1,0,0), v=(0,1,0), n=(0,0,1), set x0=-a u, x1=(1-a)u, y0=-b v, y1=(1-b)v, w=(t(s-a),(1-t)(1-b),0), z0=w+c n, and z1=w-(1-c)n. Both barycenter identities hold by direct substitution, and (2.5) holds because the open segment z0z1 meets the plane of the quadrilateral exactly at w, which lies strictly inside the quadrilateral interior. Thus the gap is expository only. The derivations of (3.2), (3.7)-(3.9) and the coefficient matching into (3.10) are algebraically consistent.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a family of quadratic metric inequalities on six points in any CAT(0) space. For parameters a, b, c, s, t in [0,1] with a ≤ s, and any six points x0, x1, y0, y1, z0, z1, the inequality (1.2) is proved by combining the CAT(0) comparison inequality (2.1), the barycenter inequality (2.4), and Proposition 2.3. The proof is an explicit algebraic chain (3.1)–(3.10), with the edge cases a = 0 and b = 0 treated separately. The author then shows sharpness of the inequality: for parameters in (0,1) with a < s, there is a six-point metric space (L, dL) such that every five-point subset embeds isometrically into a CAT(0) space, but (1.2) fails for (L, dL). This confirms that the new inequalities are genuine six-point CAT(0) conditions that do not follow from any five-point conditions. The paper also derives a corollary showing that even the full family of Andoni–Naor–Neiman inequalities (1.3) is insufficient, and it relates the new inequality to the octahedron graph comparison.","tokens_in":10828,"tokens_out":4109,"duration_ms":37244,"significance":"If the main result is correct, as the algebraic derivation indicates, this is a meaningful contribution: it supplies the first explicit examples of CAT(0) quadratic metric inequalities on six points that do not follow from the ⊠-inequalities nor from the five-point embeddability criterion. The proof is transparent and verifiable: the chain (3.1)–(3.10) is fully written out, equality in the Euclidean case is verified, and the sharpness construction is explicit modulo one geometric assertion that is true and easily supplied. The connection to Lebedeva's six-point spaces and to the O3-comparison is natural and places the result in a broader context. The paper represents a solid, narrow advance in the metric characterization problem for CAT(0) spaces. I verified the algebraic steps (3.1)–(3.10) and found them consistent; the edge case discussion covers the necessary parameter ranges. The main expositional weakness is the unproved assertion of the existence of the Euclidean configuration, which should be addressed before publication.","major_comments":[],"minor_comments":[{"comment":"The existence of six points x0, x1, y0, y1, z0, z1 in R3 satisfying (2.5) and the two barycenter identities is asserted as 'clearly' with reference to Figure 3. Since this configuration is load-bearing for the sharpness construction, please replace the assertion by an explicit coordinate construction or a short verification. For example, take u=(1,0,0), v=(0,1,0), n=(0,0,1), set x0=-a u, x1=(1-a)u, y0=-b v, y1=(1-b)v, w=(t(s-a),(1-t)(1-b),0), z0=w+c n, z1=w-(1-c)n; then both barycenter identities hold by direct substitution, and (2.5) holds because the open segment (z0,z1) meets the plane of the quadrilateral exactly at w, which lies in the interior of the quadrilateral.","section":"Section 3, proof of Theorem 1.3, moreover part"},{"comment":"Theorem 2.4 refers to the '(2+2)-point comparison' and '(4+2)-point comparison' without definition in the present text, pointing instead to [1, Section 6.2]. Although this is acceptable for a specialist journal, a short explanatory sentence would improve self-containedness, especially because Theorem 2.4 is central to the non-implication claim.","section":"Theorem 2.4 and its use"},{"comment":"The condition |(z0,z1) ∩ (conv({x0,y0,x1,y1}) \\ I)| = 1 is terse. A short remark clarifying that it forces z0 and z1 to lie on opposite sides of the plane of the quadrilateral, with the segment piercing the interior of the quadrilateral, would make the geometric setup easier to follow.","section":"Equation (2.5)"},{"comment":"The quantification 'for any p, q, r in {x,y,z} with q ≠ r' is slightly confusing because p, q, r denote letters rather than points; please clarify by writing the inequalities with explicit indices, e.g., ∥p~_i - q~_j∥ ≤ dX(p_i, q_j) for p,q ∈ {x,y,z} with p ≠ q and i,j ∈ {0,1}.","section":"Proof of Proposition 1.8, equation (3.11)"}],"recommendation":"minor_revision","confidential_remarks":"This is a solid short paper whose central claims are correct. The only substantive request in my report is to replace the 'clearly' assertion with an explicit coordinate construction; once that is done, I would be happy to see the paper accepted. The self-citations to the author's earlier work are relevant and appropriate, and the use of Lebedeva's construction is adequately credited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this paper gives the first explicit family of six-point quadratic metric inequalities that hold in every CAT(0) space and are not implied by any five-point conditions. That is a real step on Gromov's embedding question, and the proof holds up. I verified the main algebraic chain (3.1)-(3.10); the coefficient matching is correct, and the edge cases a=0 and b=0 are handled properly. The non-implication argument uses Lebedeva's six-point spaces and the author's earlier five-point theorem, both appropriate prior results.\n\nWhat is genuinely new is the parameterized inequality (1.2) and the proof that it fails on Lebedeva's family while every five-point subset embeds. The author also connects the inequality to the Andoni-Naor-Neiman framework and to octahedron comparison, which gives useful context.\n\nThe one soft spot is the asserted existence of six points in R3 satisfying (2.5) and the two barycenter identities. It is stated as 'clearly' with a figure. The stress-test note supplies explicit coordinates, so the claim is true; it is only an expository gap. A referee should ask for a short coordinate construction. The other gaps are reliance on cited results, which is normal and acceptable here.\n\nI agree with the reader's assessment. The paper deserves serious peer review and, after minor revision, acceptance. It is written for people working on CAT(0) embeddability and metric characterizations; they will want to cite this.","headline":"Genuinely new six-point CAT(0) inequalities with a sound non-implication proof; only a minor expository gap.","tokens_in":11328,"tokens_out":2134,"would_cite":true,"duration_ms":18620,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30L15","53C23","51F99"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a five-parameter family of quadratic six-point inequalities holds in every CAT(0) space, and that none of them follows from any five-point condition.","keywords":["CAT(0) spaces","quadratic metric inequalities","six-point inequalities","isometric embeddings","barycenter inequality","distance convexity","octahedron comparison","metric spaces of non-positive curvature"],"falsifier":"For a concrete parameter tuple such as $(a,b,c,s,t)=(1/4,1/2,1/3,3/4,1/5)$, produce explicit coordinates satisfying the intersection condition (2.5) and the two barycenter identities; this would verify the asserted existence. Alternatively, for any such configuration, compute the left-hand minus right-hand difference of (1.2) under $d_\\varepsilon$: at $\\varepsilon=0$ the difference is zero, while for $\\varepsilon>0$ it equals $ab(1-c)c(2\\varepsilon\\|z_0-z_1\\|+\\varepsilon^2)>0$, so the claimed violation is directly checkable and would be contradicted only if the configuration does not exist.","tokens_in":10367,"feed_emoji":"📐","tokens_out":13307,"duration_ms":100482,"temperature":0.7,"pith_summary":"The paper proves a new family of quadratic metric inequalities on six points in every $\\mathrm{CAT}(0)$ space — a complete geodesic metric space of non-positive curvature — with parameters $a,b,c,s,t\\in[0,1]$ satisfying $a\\le s$. The main point is not just that the inequalities hold, but that each one is genuinely a six-point condition: for every parameter choice with $0<a<s<1$ there is a six-point metric space in which every five-point subset embeds isometrically into a $\\mathrm{CAT}(0)$ space, yet the full six-point configuration violates the inequality. This answers a concrete gap in the program of characterizing finite metric spaces that embed into $\\mathrm{CAT}(0)$ spaces, where previously the only known six-point obstructions had no explicit inequality attached to them. A corollary shows the new inequalities are not captured by the general family of $\\mathrm{CAT}(0)$ quadratic inequalities (1.3).","feed_headline":"Six points expose a CAT(0) inequality five-point tests miss","feed_subtitle":"A five-parameter family of six-point inequalities holds in every CAT(0) space, yet can fail even when all five-point subsets embed.","key_machinery":"The load-bearing object is the inequality (1.2) itself, a weighted sum of squared distances with parameters $a,b,c,s,t$. Its proof is carried by two $\\mathrm{CAT}(0)$ tools: the barycenter inequality (2.4), which bounds the squared distance between the barycenters of two probability measures by the weighted sum of squared pairwise distances between their support points, and the $\\mathrm{CAT}(0)$ distance-convexity inequality (2.1), together with Proposition 2.3 comparing points at fractions $a$ and $s$ along a geodesic. A barycenter here is the point minimizing the weighted sum of squared distances to the support points of the measure. The proof chooses barycenters $z=\\operatorname{bar}((1-c)\\delta_{z_0}+c\\delta_{z_1})$ and $w=\\operatorname{bar}((1-t)\\delta_{y_1}+(1-s)t\\delta_{x_0}+st\\delta_{x_1})$, forcing every intermediate inequality to become an equality on a Euclidean octahedral configuration where two barycenter equations hold. That equality is what makes the sharpness construction work: increasing only the squared distance between $z_0$ and $z_1$ by a small positive amount leaves the right-hand side unchanged and makes the left-hand side strictly larger, so the inequality fails while all five-point subsets still behave well.","core_discovery":"The central claim is Theorem 1.3: for any $\\mathrm{CAT}(0)$ space $X$ and any points $x_0,x_1,y_0,y_1,z_0,z_1$, the squared-distance inequality (1.2) holds whenever $a\\le s$. Conversely, for any $a,b,c,s,t\\in(0,1)$ with $a<s$, there exists a six-point metric space $L$, taken from a family of octahedral configurations described in Section 7.2 of the updated version of [1], such that every five-point subset of $L$ embeds isometrically into a $\\mathrm{CAT}(0)$ space but $L$ violates (1.2) for those parameters. Consequently the family (1.2) cannot be derived from any five-point properties, including the $\\mathrm{CAT}(0)$ 4-point ($\\boxtimes$) condition. The same proof yields that these spaces satisfy every inequality of the form (1.3) and still violate (1.2), so the new inequalities are not consequences of that general family either. The paper also notes that any metric space satisfying the octahedron graph comparison satisfies (1.2).","pith_inferences":["The equality case of the derivation suggests that (1.2) is sharp on octahedral configurations; a natural extension is to search for further explicit $\\mathrm{CAT}(0)$ quadratic inequalities by forcing equality on other Euclidean polytopes.","The existence of the $\\mathbb{R}^3$ configurations used for sharpness is asserted from a figure rather than proved by coordinates; making those coordinates explicit would turn the sharpness construction into a ready-to-use test set for numerical embedding algorithms.","One could test numerically whether the family (1.2), together with the $\\boxtimes$-inequalities, is sufficient for six-point $\\mathrm{CAT}(0)$ embeddability; the paper states no guess, so a counterexample or a proof would settle the open question.","The same barycenter-combination technique may produce explicit $n$-point $\\mathrm{CAT}(0)$ inequalities for $n>6$ by choosing more probability measures whose barycenters coincide on a Euclidean configuration; this is an extension the paper does not pursue."],"forward_implications":["Any metric space that embeds isometrically into a $\\mathrm{CAT}(0)$ space must satisfy (1.2) for all $a\\le s$, so the family is a new necessary condition for $\\mathrm{CAT}(0)$ embeddability.","The sharpness construction shows that the validity of all five-point $\\mathrm{CAT}(0)$ quadratic inequalities is insufficient for six-point $\\mathrm{CAT}(0)$ embeddability, with (1.2) as an explicit witness.","Because the six-point octahedral spaces used in the proof satisfy all inequalities of the form (1.3) yet violate (1.2), the catalogue of $\\mathrm{CAT}(0)$ quadratic inequalities is strictly larger than the family (1.3).","Any metric space satisfying the octahedron graph comparison also satisfies (1.2); whether the full family (1.2) suffices for six-point $\\mathrm{CAT}(0)$ embeddability is left open."],"supporting_citations":[{"why":"Establishes that isometric embeddability into a CAT(0) space is equivalent to satisfying all CAT(0) quadratic metric inequalities, and introduces the general inequality family (1.3) used in Corollary 1.5.","marker":"[3]"},{"why":"Supplies the existence of barycenters in CAT(0) spaces and the barycenter inequality (2.4) that drives the proof, along with the weighted quadruple inequalities.","marker":"[15]"},{"why":"Proves that five-point metric spaces embed into a CAT(0) space exactly when they satisfy the boxtimes-inequalities, which is used to verify condition (i) for the sharpness examples.","marker":"[16]"},{"why":"The updated version of Section 7.2 is the source of the six-point octahedral metric spaces that violate (1.2); Theorem 2.4 records their properties.","marker":"[1]"},{"why":"Shows these six-point spaces satisfy all inequalities of the form (1.3), yielding Corollary 1.5.","marker":"[18]"}],"fun_headline_variants":["Six-point CAT(0) inequality escapes five-point proof","Five-point tests can't certify this CAT(0) six-point law","Why six points in CAT(0) spaces resist five-point logic","A six-point CAT(0) truth beyond five-point reach","Six-point inequality in CAT(0) spaces: five-points insufficient"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The sharpness half relies on the assertion, justified only by a figure, that for every choice of the five parameters with $0<a<s<1$ one can place six points in ordinary three-dimensional space so that a certain line segment crosses a quadrilateral exactly once and two weighted-average relations hold; if this placement fails for some parameters, the non-implication statement collapses.","fun_headline_variants_meta":{"raw":{"variants":["Six-point CAT(0) inequality escapes five-point proof","Five-point tests can't certify this CAT(0) six-point law","Why six points in CAT(0) spaces resist five-point logic","A six-point CAT(0) truth beyond five-point reach","Six-point inequality in CAT(0) spaces: five-points insufficient"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00023,"raw_usage":{"total_tokens":1438,"prompt_tokens":859,"completion_tokens":579,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":475,"completion_tokens_details":{"reasoning_tokens":489}},"tokens_in":475,"tokens_out":579,"duration_ms":6126,"temperature":1.0,"reasoning_tokens":489,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:47:37.748680+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete parameter tuple such as $(a,b,c,s,t)=(1/4,1/2,1/3,3/4,1/5)$, produce explicit coordinates satisfying the intersection condition (2.5) and the two barycenter identities; this would verify the asserted existence. Alternatively, for any such configuration, compute the left-hand minus right-hand difference of (1.2) under $d_\\varepsilon$: at $\\varepsilon=0$ the difference is zero, while for $\\varepsilon>0$ it equals $ab(1-c)c(2\\varepsilon\\|z_0-z_1\\|+\\varepsilon^2)>0$, so the claimed violation is directly checkable and would be contradicted only if the configuration does not exist.","supporting_citations":[{"cited_title":"Andoni, A","cited_arxiv_id":null,"evidence_quote":"Establishes that isometric embeddability into a CAT(0) space is equivalent to satisfying all CAT(0) quadratic metric inequalities, and introduces the general inequality family (1.3) used in Corollary 1.5."},{"cited_title":"Sturm, Probability measures on metric spaces of nonpositive curvature, in Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 2002) , 357–390, Contemp","cited_arxiv_id":null,"evidence_quote":"Supplies the existence of barycenters in CAT(0) spaces and the barycenter inequality (2.4) that drives the proof, along with the weighted quadruple inequalities."},{"cited_title":"Toyoda, An intrinsic characterization of five points in a CAT(0) space, Anal","cited_arxiv_id":null,"evidence_quote":"Proves that five-point metric spaces embed into a CAT(0) space exactly when they satisfy the boxtimes-inequalities, which is used to verify condition (i) for the sharpness examples."},{"cited_title":"Alexandrov meets Kirszbraun","cited_arxiv_id":"1012.5636","evidence_quote":"The updated version of Section 7.2 is the source of the six-point octahedral metric spaces that violate (1.2); Theorem 2.4 records their properties."},{"cited_title":"The Andoni-Naor-Neiman inequalities and isometric embeddability into a CAT(0) space","cited_arxiv_id":"2404.13871","evidence_quote":"Shows these six-point spaces satisfy all inequalities of the form (1.3), yielding Corollary 1.5."}],"review_version":1}