[VSJoin Paper Rewrite][01/12] Abstract 重写：问题-机制-边界三句式

[ZeroJustMe]

目标

将摘要重写为 SIGMOD/VLDB 友好的“问题 → 机制 → 证据边界”结构，主语固定为 VSJoin，避免系统总览式表述。

关键描述点（论文必须出现）

• 问题句：向量缺乏严格全序，传统 key-based 分区在流式窗口 Join 中难以保持相似度感知路由与多核负载局部化；同时滑窗下持续 insert/expire/probe 使并发状态维护更复杂。
• 方法句：VSJoin 通过三机制协同缓解质量-效率冲突：
  • bounded-staleness two-tier indexing；
  • budgeted boundary-aware routing；
  • predictable logical remapping control plane。
• 边界句：结论仅在当前实现与已测试负载/硬件下成立，避免“普适最优”暗示。

说明：静态 ANN/批处理方法可作为背景对照，但不应被写成本文问题定义的唯一核心矛盾。

具体执行任务

1. 在 5–7 句内完成摘要重写，删除与主线无关的 SageFlow 全栈描述。
2. 用一条短句明确“语义正确性由 verification 保证，召回损失来自候选覆盖”。
3. 用一条短句交代实验维度（吞吐、延迟、质量、稳定性），不提前给出夸张结论。
4. 全文排查并替换强措辞：always/guaranteed/optimal/state-of-the-art（除非有直接证据支持）。

修改文件

• docs/research-paper-High_Throughput_Streaming_Vector_Similarity_Joins_on_Multicore_Processors/Sections/0_Abstract.tex

验收标准

• 摘要中三机制命名与第三章完全一致。
• 结论句包含边界限定词（in our implementation / under evaluated workloads）。
• 摘要不引入第四个“新机制”或未实现组件。

产出物

• 一版可编译摘要文本。
• 一条简短变更说明（改了哪些主张、删除了哪些 overclaim）。

依赖

• 无（起始任务，对应 [VSJoin Paper Rewrite][01/12] Abstract 重写：问题-机制-边界三句式 #112）。