16 citations · 16 across the 8 of their papers we have counts for
8 papers
Comparing the Lee-Yang gap with the mass gap in the sub-critical planar Ising model
Noam Borgnia, Jui-Hui Chung, Jacob Shapiro
We prove that the subcritical mass gap is comparable to the Lee-Yang gap over free-boundary square boxes raised to the power . Random-current moment bounds, a correlation ine…
Topological Classification of Insulators: III. Non-interacting Spectrally-Gapped Systems in All Dimensions
Jui-Hui Chung, Jacob Shapiro
We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define…
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Yong Lin, Shange Tang, Bohan Lyu +17
We introduce Goedel-Prover-V2, a series of open-source language models that set a new state-of-the-art in automated theorem proving. Built on the standard expert iteration and rein…
Essentially Commuting with a Unitary
Jui-Hui Chung, Jacob Shapiro
Let be a unitary operator whose spectrum is the circle. We show that the set of unitaries which essentially commute with (i.e., is compact) is path-…
Topological Classification of Insulators: II. Quasi-Two-Dimensional Locality
Jui-Hui Chung, Jacob Shapiro
We provide an alternative characterization of two-dimensional locality (necessary e.g. to define the Hall conductivity of a Fermi projection) using the spectral projections of the…
Topological Classification of Insulators: I. Non-interacting Spectrally-Gapped One-Dimensional Systems
Jui-Hui Chung, Jacob Shapiro
We study non-interacting electrons in disordered one-dimensional materials which exhibit a spectral gap, in each of the ten Altland-Zirnbauer symmetry classes. We define an appropr…
Neural Monte Carlo Renormalization Group
Jui-Hui Chung, Ying-Jer Kao
The key idea behind the renormalization group (RG) transformation is that properties of physical systems with very different microscopic makeups can be characterized by a few unive…
Optimal Real-Space Renormalization-Group Transformations with Artificial Neural Networks
Jui-Hui Chung, Ying-Jer Kao
We introduce a general method for optimizing real-space renormalization-group transformations to study the critical properties of a classical system. The scheme is based on minimiz…