Mathematics

Authors and titles for recent submissions, skipping first 300

• Thu, 1 Jan 2026
• Tue, 30 Dec 2025
• Mon, 29 Dec 2025
• Thu, 25 Dec 2025
• Wed, 24 Dec 2025

Thu, 1 Jan 2026 (continued, showing 5 of 337 entries)

[301]  arXiv:2512.24796 (cross-list from cs.LO) [pdf, ps, other]

Title: LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)

Authors: Rongge Xu, Hui Dai, Yiming Fu, Jiedong Jiang, Tianjiao Nie, Hongwei Wang, Junkai Wang, Holiverse Yang, Jiatong Yang, Zhi-Hao Zhang

Comments: 11 pages, 4 figures, 1 table

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Category Theory (math.CT)

[302]  arXiv:2512.24726 (cross-list from hep-th) [pdf, ps, other]

Title: T-duality for toric manifolds in $\mathcal{N}=(2, 2)$ superspace

Authors: Dmitri Bykov, Savva Kutsubin, Andrew Kuzovchikov

Comments: 37 pages, 1 figure

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

[303]  arXiv:2512.24709 (cross-list from cond-mat.str-el) [pdf, ps, other]

Title: Fragile Topological Phases and Topological Order of 2D Crystalline Chern Insulators

Authors: Hisham Sati, Urs Schreiber

Comments: 15 pages, 8 figures

Subjects: Strongly Correlated Electrons (cond-mat.str-el); Mesoscale and Nanoscale Physics (cond-mat.mes-hall); Mathematical Physics (math-ph); Algebraic Topology (math.AT); Quantum Physics (quant-ph)

[304]  arXiv:2512.24692 (cross-list from hep-th) [pdf, ps, other]

Title: ${\cal N}=8$ supersymmetric mechanics with spin variables from indecomposable multiplets

Authors: Evgeny Ivanov, Stepan Sidorov

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph)

[305]  arXiv:2512.24634 (cross-list from nlin.PS) [pdf, ps, other]

Title: Soliton profiles: Classical Numerical Schemes vs. Neural Network - Based Solvers

Authors: Chandler Haight, Svetlana Roudenko, Zhongming Wang

Subjects: Pattern Formation and Solitons (nlin.PS); Machine Learning (cs.LG); Analysis of PDEs (math.AP); Numerical Analysis (math.NA)

• Thu, 1 Jan 2026
• Tue, 30 Dec 2025
• Mon, 29 Dec 2025
• Thu, 25 Dec 2025
• Wed, 24 Dec 2025