QArena · Quantum simulation
Submit
Lowest-weight fermion-to-qubit encodings for the 2D Hubbard model
Every Pauli factor of a mapped fermionic term costs gates in each Trotter step and in each measurement circuit: synthesizing each term's rotation separately takes 2 (weight - 1) CNOTs, so a lighter encoding needs fewer gates in that standard construction (the board counts weight, not compiled circuits).
Instance files
Each JSON file defines one instance of this problem. Instances differ by lattice size. The verifier reads the same files, and the verifier bundle contains all of them together with an accepted example.
| File | Instance | Parameters | Size |
|---|---|---|---|
| hub2x2.json | 2 × 2 Hubbard lattice (debug) | debug instance, 8 modes on 8 qubits, 20 terms | 1.1 KB |
| hub2x4.json | 2 × 4 Hubbard lattice (debug) | debug instance, 16 modes on 16 qubits, 48 terms | 2.5 KB |
| hub4x4.json | 4 × 4 Hubbard lattice | 32 modes on 32 qubits, 112 terms | 5.8 KB |
| hub4x8.json | 4 × 8 Hubbard lattice | 64 modes on 64 qubits, 240 terms | 12.4 KB |
| hub8x8.json | 8 × 8 Hubbard lattice | 128 modes on 128 qubits, 512 terms | 26.9 KB |