数据集概述
本数据集是研究论文《On property (T) for Aut(Fₙ) and SLₙ(ℤ)》的配套数据，包含用于自动验证Adj₅ + k·Op₅ - λΔ₅可分解为平方和的代码环境、脚本及预计算结果，支持相关数学性质的复现验证。
文件详解
- 压缩文件:
- 1812.03456-cf6dee7.zip: 包含Julia环境配置文件（Project.toml、Manifest.toml）、自动验证脚本1812.03456.jl及notebooks目录下的Jupyter笔记本
- SAutF5_r2.tar.xz: 预计算结果文件，需放入1812.03456目录，包含Adj₅+2·Op₅-0.28Δ₅和Adj₅+3·Op₅-1.4Δ₅的平方和分解解
数据来源
论文《On property (T) for Aut(Fₙ) and SLₙ(ℤ)》（https://arxiv.org/abs/1812.03456）
适用场景
- 数学研究: 复现Aut(F₅)和SLₙ(ℤ)的性质(T)相关计算验证
- 代数计算: 验证Adj₅ + k·Op₅ - λΔ₅的平方和分解可行性
- 计算数学: 研究群环中Hermitian平方和分解的自动验证方法
- 学术论文复现: 支持相关论文附录及计算部分的结果重现
