We consider geometric methods of ``rotating" the toric code in higher dimensions to reduce the qubit count. These geometric methods can be used to prepare higher dimensional toric code states...

Large language models (LLMs) have demonstrated strong performance across a wide range of programming tasks, yet their potential for code optimization remains underexplored. This work investigates...

The nature of charge carriers in twisted bilayer graphene (TBG) near $ν= -2$, where superconductivity emerges, remains mysterious. While various symmetry-broken ground states have been...

We define an 't Hooft anomaly index for a group acting on a 2d quantum lattice system by finite-depth circuits. It takes values in the degree-4 cohomology of the group and is an obstruction to...

The Gutzwiller projection of fermionic wave functions is a well-established method for generating variational wave functions describing exotic states of matter, such as quantum spin liquids. We invest

We present RXTX, a new algorithm for computing the product of matrix by its transpose $XX^{t}$ for $X\in \mathbb{R}^{n\times m}$. RXTX uses $5\%$ fewer multiplications and $5\%$ fewer operations...

We present a new perspective on the $p$-string condensation procedure for constructing 3+1D fracton phases by implementing this process via the gauging of higher-form symmetries. Specifically, we...

We discuss the possible topological order/topological quantum field theory of different quantum Hall systems. Given the value of the Hall conductivity, we constrain the global symmetry of the...

Recent advances in large language models (LLMs) have fueled the vision of automated scientific discovery, often called AI Co-Scientists. To date, prior work casts these systems as generative...

The bit that makes sense – tidal forces
My physics teacher explained that most tidal effect is caused by the Moon rotating around the Earth, and some also by the Sun.
They said that in the Earth - ...

Referring video object segmentation (RVOS) aims to identify, track and segment the objects in a video based on language descriptions, which has received great attention in recent years. However,...

We introduce ${\rm C{\small LEVER}}$, a high-quality, curated benchmark of 161 problems for end-to-end verified code generation in Lean. Each problem consists of (1) the task of generating a...

We introduce an attention-based fermionic neural network (FNN) to variationally solve the problem of two-dimensional Coulomb electron gas in magnetic fields, a canonical platform for fractional quantum Hall (FQH) liquids, Wigner crystals, and other unconventional…

In this post I’ll show you how I found a zeroday vulnerability in the Linux kernel using OpenAI’s o3 model. I found the vulnerability with nothing more complicated than the o3 API &#821…

Seed1.5-VL, a vision-language foundation model designed to advance general-purpose multimodal understanding and reasoning, achieving state-of-the-art performance on 38 out of 60 public benchmarks. ...

All unitaryHACK participating bounties

Hall conductivities are important characterizations of phases of matter. It is known that nonzero Hall conductivities are difficult to realize in local commuting projector lattice models due to...

Classical methods to simulate quantum systems are not only a key element of the physicist's toolkit for studying many-body models but are also increasingly important for verifying and challenging...

The $O(N)$ Non-Linear Sigma Model (NLSM) in $d=2+ε$ has long been conjectured to describe the same conformal field theory (CFT) as the Wilson-Fisher (WF) $O(N)$ fixed point obtained from...

LLM-based agents have shown promising capabilities in a growing range of software engineering (SWE) tasks. However, advancing this field faces two critical challenges. First, high-quality training...