用热带几何构建神经元形态的几何描述符,突破传统图网络局限。
Tropical Algebraic Geometry for Neuronal Representations: An Arakelov-Green Measure Based Descriptor for Graph Learning

- 基于热带阿贝尔-雅可比变换与极化距离,构建无训练的几何先验
- 在3D神经元数据上实现超越1-WL测试的表达能力,准确率提升显著
- 无需参数微调,可嵌入主流模型,适合生物形态分析场景
三维神经元形态的定量分析需同时捕捉图拓扑与空间几何。现有消息传递图神经网络受限于1-魏斯费勒-莱曼测试,难以建模由空间邻近性引发的环结构。为此,本文提出一种基于热带代数几何的无训练几何先验。利用近期建立的热带阿贝尔-雅可比变换与极化距离,应用于树状结构数据的机器学习。设计包含循环空间扩充与商空间构建的结构转换流程,将空间树转化为适配热带雅可比嵌入的循环度量图。计算精确热带极化距离需解决整数格上的NP难最近向量问题(CVP)。本文采用阿尔巴内塞环面万有覆盖上的连续松弛,避免量化误差。证明离散阿拉克尔夫-格林测度可通过图拉普拉斯广义逆闭式计算,精确分解为内在路径度量减去该覆盖上的未量化极化距离,无需整数格搜索。该度量生成两种描述符:特征向量提供节点级结构坐标,排列不变的特征值谱提供图级签名。在BREC基准上,特征向量形式展现超越1-WL极限的表达能力;在ACT-4、JML-4、BIL-6等3D形态数据集上,谱特征无缝集成至标准架构(如VAEs、GNNs、Tree-LSTMs),无需额外可训练参数,优于显式格逼近方法,分类准确率超过现有空间模型。
原文摘要 · Abstract (English)
The quantitative analysis of 3D neuronal morphologies requires capturing both graph topology and spatial geometry. Current message-passing Graph Neural Networks (GNNs) are bounded by the 1-Weisfeiler-Lehman (1-WL) test, limiting their ability to capture cycles induced by spatial proximities. To address this, we propose a training-free geometric prior based on tropical algebraic geometry. We apply the recently established tropical Abel-Jacobi transform and polarization distances to machine learning on tree-structured data. We introduce a structural transformation pipeline, comprising cycle space augmentation and quotient space construction, to convert spatial trees into cyclic metric graphs suitable for embedding into the Tropical Jacobian. Computing exact tropical polarization distances requires solving the NP-Hard Closest Vector Problem (CVP) on integer lattices. Instead of relying on explicit approximations with quantization errors (e.g., Babai's rounding), we adopt a continuous relaxation on the universal cover of the Albanese torus. We show that the discrete Arakelov-Green measure, computed in closed form via the graph Laplacian's generalized inverse, decomposes exactly into the intrinsic path metric minus the unquantized polarization distance on this cover, avoiding integer lattice searches. This metric yields two descriptors: eigenvectors provide node-level structural coordinates, and the permutation-invariant eigenvalue spectrum provides a graph-level signature. On the BREC benchmark, the eigenvector formulation demonstrates expressivity beyond the 1-WL limit. On 3D morphology datasets (ACT-4, JML-4, BIL-6), the spectrum seamlessly integrates into standard architectures (VAEs, GNNs, Tree-LSTMs) without additional trainable parameters, outperforming explicit lattice approximations and improving classification accuracy over existing spatial models.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。