6 papers
On Intersections of System Normalizers
Ting Gong, Yuan Lu, Yong Yang +1
We give a negative answer to Problem 17.39 of the Kourovka Notebook. For every odd prime power and every , we construct a finite metabelian group with $Z_\inf…
Irrationality of the first stabilization of a complex smooth cubic threefold
Ting Gong, Shitan Xu
We show that for every smooth complex cubic threefold , the fourfold is irrational. As an application, we construct a smooth stably rational complex Fano v…
Total 3-closure for projective special linear groups
Ting Gong, Yong Yang, Michael Ruofan Zeng
A finite group is totally -closed if every faithful permutation representation of it is -closed. We study this property for the finite simple projective special linear groups…
Alternating Groups and Embeddings into Groups Invariably Generated by Two Prime-Order Elements
Ting Gong, Yong Yang, Michael Ruofan Zeng
For any distinct primes and , we prove that there is a finite group which does not embed into any finite group invariably generated by an element of order and an element…
Albilich: Steerable Proof-State Orchestration for LLM-Based Mathematical Research with CAS Integration
Ting Gong, Michael Ruofan Zeng, Yong Yang
Large language models can contribute useful ideas to mathematical research, yet long-horizon proof attempts remain difficult to coordinate, evaluate, and reproduce. We present Albi…
TwistedMerge: Certified Higher-Order Diagnostics and Abstention for Model Merging
Ting Gong, Shitan Xu
Model merging combines independently trained or fine-tuned models, but pairwise alignability does not imply globally consistent alignment. We formulate merging as a finite descent…