15 papers
A Proof of the Dittert Conjecture via Boundary Rigidity
Xinan Dai, Wenhao Deng, Yingdong Shi +2
Let be the simplex of nonnegative matrices whose entries sum to . For in , with row sums and column sums $c_1,\l…
Topological isomorphism of procountable groups is universal analytic
Xinan Dai, Wenhao Deng, Yingdong Shi +2
We prove that topological isomorphism of procountable groups is a universal analytic equivalence relation, answering a question of Gao, Nies, and Paolini. The same conclusion follo…
The Borel complexity of conjugacy for Cantor minimal systems
Xinan Dai, Wenhao Deng, Yingdong Shi +2
We prove that conjugacy of minimal homeomorphisms of the Cantor space is Borel bireducible with isomorphism of countable graphs, answering the Cantor minimal case of a question of…
Self-complementary completions on six vertices
Xinan Dai, Wenhao Deng, Yingdong Shi +2
Let \(\cthreshold(n)\) be the largest integer \(q\) such that every loopless digraph on \(n\) vertices with at most \(q\) arcs is isomorphic to a spanning subdigraph of a self-comp…
The Minimum Cardinality of a Dependent Finite Gabor System Is Four
Xinan Dai, Wenhao Deng, Yingdong Shi +2
Recent work produced a linearly dependent system of twelve time--frequency shifts of a Schwartz function, disproving the HRT conjecture. We show that four shifts already suffice, a…
Bounded Representatives in Critical Sobolev-Hodge Spaces
Xinan Dai, Wenhao Deng, Yidong Shi +2
Let , , and . We prove that every has a representative with $…
A Finite E-Group of Nilpotency Class Three
Xinan Dai, Wenhao Deng, Yidong Shi +2
A group is an E-group if every element commutes with each of its endomorphic images. Caranti asked whether a finite E-group can have nilpotency class three. We prove that the -g…
A Negative Answer to Stanley's Problem 4 on Differential Posets
Xinan Dai, Wenhao Deng, Yingdong Shi +2
In Problem 4 of his 1988 paper on differential posets, Stanley asked whether the weighted -multichain series of an arbitrary differential poset is always a rational multiple of…
An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets
Xinan Dai, Wenhao Deng, Yingdong Shi +2
In Problem 6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an -differential poset and suggested that the minimum…
An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128
Xinan Dai, Wenhao Deng, Yingdong Shi +2
In Question~3.1 of his 1995 paper on depth and transfer, Carlson asked whether the depth of a finite-group cohomology ring is always realized by the dimension of one of its associa…
One step further with Monte-Carlo sampler to guide diffusion better
Minsi Ren, Wenhao Deng, Ruiqi Feng +1
Stochastic differential equation (SDE)-based generative models have achieved substantial progress in conditional generation via training-free differentiable loss-guided approaches.…
GenCP: Towards Generative Modeling Paradigm of Coupled Physics
Tianrun Gao, Haoren Zheng, Wenhao Deng +5
Real-world physical systems are inherently complex, often involving the coupling of multiple physics, making their simulation both highly valuable and challenging. Many mainstream…
Unlocking Reasoning Capabilities in LLMs via Reinforcement Learning Exploration
Wenhao Deng, Long Wei, Chenglei Yu +1
Reinforcement learning with verifiable rewards (RLVR) has recently enhanced the reasoning capabilities of large language models (LLMs), particularly for mathematical problem solvin…
BuildArena: A Physics-Aligned Interactive Benchmark of LLMs for Engineering Construction
Tian Xia, Tianrun Gao, Wenhao Deng +4
Engineering construction automation aims to transform natural language specifications into physically viable structures, requiring complex integrated reasoning under strict physica…
From Uncertain to Safe: Conformal Adaptation of Diffusion Models for Safe PDE Control
Peiyan Hu, Xiaowei Qian, Wenhao Deng +8
The application of deep learning for partial differential equation (PDE)-constrained control is gaining increasing attention. However, existing methods rarely consider safety requi…