arxiv: 2512.13580 · v2 · submitted 2025-12-15 · 🪐 quant-ph · cs.ET

Recognition: 2 theorem links

· Lean Theorem

Optimised Fermion-Qubit Encodings for Quantum Simulation with Reduced Transpiled Circuit Depth

Michael Williams de la Bastida , Thomas M. Bickley , Peter V. Coveney

Authors on Pith no claims yet

Pith reviewed 2026-05-16 22:11 UTC · model grok-4.3

classification 🪐 quant-ph cs.ET

keywords fermion-qubit encodingternary tree optimizationPauli weight reductionquantum simulationqDRIFT algorithmmolecular Hamiltoniancircuit depth

0 comments

The pith

A deterministic optimization of fixed ternary tree encodings reduces Pauli weights and thus circuit depths in fermionic quantum simulations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper develops a deterministic method to optimize ternary tree fermion-qubit encodings by refining assignments within a fixed tree structure. The goal is to lower the Pauli weight of Hamiltonian terms, which reduces the gate count in quantum algorithms such as qDRIFT. This approach avoids the use of ancilla qubits and additional swap gates, making it suitable for devices with limited connectivity. Tests on the water molecule in the STO-3G basis show average reductions in circuit depth of 24.7% for untranspiled circuits and 26.5% for transpiled ones across various encodings. Such improvements matter for making quantum simulations of chemistry more practical on current hardware.

Core claim

The paper claims that optimizing the labeling or assignment in ternary tree encodings without altering the tree itself leads to lower Pauli-weight representations of fermionic Hamiltonians. This optimization is deterministic and can be applied to encodings derived from device connectivity graphs, resulting in shorter quantum circuits for simulation tasks.

What carries the argument

Deterministic optimization of ternary tree structures for fermion-to-qubit mappings that minimizes the total Pauli weight of the encoded operators.

Load-bearing premise

That the deterministic optimization within a fixed tree will produce meaningful Pauli-weight reductions for general fermionic Hamiltonians beyond the water STO-3G case.

What would settle it

Observing no significant circuit depth reduction when the method is applied to a different fermionic Hamiltonian like that of a larger molecule in a different basis would falsify the generality of the claim.

Figures

Figures reproduced from arXiv: 2512.13580 by Michael Williams de la Bastida, Peter V. Coveney, Thomas M. Bickley.

**Figure 2.** Figure 2: Pairwise Non-trivial overlap. Pairwise non-trivial overlaps of operators in a) the Jordan-Wigner encoding with 4 modes. All values are one except for the diagonal, as each string necessarily has zero-NTO with itself. b) 10-Mode, 9-NTO MaxNTO encoding. Unlike TTs, the maximal NTO between pairs is equal to the number of fermionic modes minus one, with pairwise NTOs including all odd numbers. 2.2 Ternary Tree… view at source ↗

**Figure 3.** Figure 3: Ternary tree structures of a) Jiang-Kalev-Mruczkiewicz-Neven (JKMN) b)Jordan-Wigner (JW) c) [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

**Figure 4.** Figure 4: Enumerations of the four mode Jordan-Wigner encoding. a) The naive enumeration, in which [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗

**Figure 5.** Figure 5: Pauli-weight and coefficient-scaled Pauli-weight of 1000 random enumerations of fermionic modes [PITH_FULL_IMAGE:figures/full_fig_p007_5.png] view at source ↗

**Figure 6.** Figure 6: Single node ternary tree 4.2.2 Tree Structure Given that our aim is to preserve the structure of an input tree, all nodes with one or more child nodes must retain those children on the same edge. Additionally, the positions of each qubit index must not change. For TTs derived from the connectivity graph of a QPU, retaining qubit indices ensures operators are mapped to specific physical qubits. X X Z 0 1 2 … view at source ↗

**Figure 7.** Figure 7: The nodes of the four-mode Bravyi-Kitaev encoding must retain their positions and qubit indices. [PITH_FULL_IMAGE:figures/full_fig_p008_7.png] view at source ↗

**Figure 8.** Figure 8: a) Vacuum preservation can be guaranteed by moving a replaced leaf to the Z-Edge of the node [PITH_FULL_IMAGE:figures/full_fig_p009_8.png] view at source ↗

**Figure 9.** Figure 9: Five-mode JKMN encoding. During the first iteration of TOPP-HATT, although nodes 2,3 and [PITH_FULL_IMAGE:figures/full_fig_p011_9.png] view at source ↗

**Figure 10.** Figure 10: Permutations of the Jordan-Wigner (top-left), Parity (top-right), Bravyi-Kitaev (bottom-left) [PITH_FULL_IMAGE:figures/full_fig_p013_10.png] view at source ↗

**Figure 11.** Figure 11: Permutations of the Huffman-code Ternary Tree (top row) and Hamiltonian-Adaptive Ternary [PITH_FULL_IMAGE:figures/full_fig_p014_11.png] view at source ↗

**Figure 12.** Figure 12: Qubit connectivity graph for a heavy-hex device, similar to that presented in Miller et al. 2023 [PITH_FULL_IMAGE:figures/full_fig_p015_12.png] view at source ↗

**Figure 13.** Figure 13: Permutations of the Heterogenous Bonsai Algorithm Ternary Tree (top row) and Homogeneous [PITH_FULL_IMAGE:figures/full_fig_p016_13.png] view at source ↗

**Figure 14.** Figure 14: Untranspiled qDRIFT circuit depth in log scale as a function of evolution duration for water in [PITH_FULL_IMAGE:figures/full_fig_p017_14.png] view at source ↗

**Figure 15.** Figure 15: qDRIFT circuit depths of STO-3G water with fixed evolution duration 0.001 before (a), and after (b) transpilation for all the encodings studies in this work (with and without TOPP-HATT optimisation). In subfigure (a), 1000 qDRIFT circuits were constructed for each encoding. In subfigure (b), a circuit of mean depth from the initial construction was transpiled 1000 times using the Qiskit transpiler with op… view at source ↗

**Figure 16.** Figure 16: Single-core computation time for encodings of small molecules in [PITH_FULL_IMAGE:figures/full_fig_p018_16.png] view at source ↗

read the original abstract

Simulation of fermionic Hamiltonians with gate-based quantum computers requires the selection of an encoding from fermionic operators to quantum gates, the most widely used being the Jordan-Wigner transform. Many alternative encodings exist, with quantum circuits and simulation results being sensitive to choice of encoding, device connectivity and Hamiltonian characteristics. Non-stochastic optimisation of the ternary tree class of encodings to date has targeted either the device or Hamiltonian. We develop a deterministic method which optimises ternary tree encodings without changing the underlying tree structure. This enables reduction in Pauli-weight without ancillae or additional swap-gate overhead. We demonstrate this method for a variety of encodings, including those which are derived from the qubit connectivity graph of a quantum computer. Numerical results for a suite of standard encoding methods applied to water in the STO-3G basis indicate that our method reduces qDRIFT circuit depths on average by 24.7% and 26.5% for untranspiled and transpiled circuits respectively.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A deterministic fix for ternary tree encodings cuts qDRIFT depth on water by ~25% but rests on one small test case.

read the letter

The main new piece is a deterministic optimization that tweaks ternary tree fermion-qubit encodings while leaving the tree structure untouched. This lowers Pauli weights without ancilla qubits or extra swaps, and the authors apply it to encodings that incorporate device connectivity graphs. On water in STO-3G they report average qDRIFT depth reductions of 24.7% untranspiled and 26.5% after transpilation across several standard encodings. That is a concrete, usable number for near-term hardware work. The approach improves on earlier stochastic methods or optimizations that were locked to one device or one Hamiltonian. The fixed-tree constraint keeps things simple and reproducible, and the numerical results on this example look consistent with the claimed savings. The soft spot is the narrow evidence base. All percentages come from a single small molecule. Nothing in the abstract shows whether the same procedure delivers comparable gains on larger bases, different molecules, or connectivities with different sparsity patterns. Without those checks it is difficult to judge how general the benefit really is. The description also omits error bars, full pseudocode, and explicit verification that every term remains correctly encoded after optimization. Those gaps are fixable but they limit how far one can trust the headline numbers right now. The underlying encoding math follows standard practice and the citations track the relevant prior work on ternary trees. This paper is for people who already work on fermionic simulations and care about encoding choice on current devices. A reader in that niche will get a practical method to try and a clear benchmark on water. I would bring it to the next reading group to see the algorithm details. I would not cite it yet because the test case is too narrow. It deserves peer review so the authors can add broader examples and tighten the method description.

Referee Report

3 major / 1 minor

Summary. The paper claims to develop a deterministic optimization method for ternary tree fermion-qubit encodings that preserves the underlying tree structure, thereby reducing Pauli weights (and thus qDRIFT circuit depths) without ancillae or extra swap overhead. The method is applied to standard encodings including connectivity-graph-derived ones, with numerical results on the water molecule in STO-3G basis reporting average depth reductions of 24.7% (untranspiled) and 26.5% (transpiled).

Significance. If the deterministic procedure generalizes, it would provide a practical, resource-efficient way to tailor encodings to device connectivity for fermionic simulations. The avoidance of ancillae and structural changes is a clear strength relative to prior non-stochastic optimizations. However, the single-system numerical support limits the assessed significance at present.

major comments (3)

[Abstract and Numerical Results] Abstract and Numerical Results section: the central claim that the method yields meaningful Pauli-weight reductions for arbitrary fermionic Hamiltonians and device connectivities rests on evidence from only the water STO-3G instance; no additional Hamiltonians or connectivities are tested, which is load-bearing for the generality asserted in the abstract.
[Method] Method section: the optimization procedure is described as deterministic but no pseudocode, full algorithmic steps, or explicit proof that encoding correctness is preserved for every term in the Hamiltonian is supplied, preventing independent verification of the reported depth savings.
[Results] Results: the quoted average reductions lack error bars, variance measures, or confirmation that the optimized encodings produce equivalent simulation accuracy to the baseline encodings.

minor comments (1)

[Abstract] The abstract refers to 'a suite of standard encoding methods' without enumerating which encodings were included in the water STO-3G benchmarks.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their constructive and detailed comments. We address each major point below and indicate the revisions we will make to strengthen the manuscript.

read point-by-point responses

Referee: [Abstract and Numerical Results] Abstract and Numerical Results section: the central claim that the method yields meaningful Pauli-weight reductions for arbitrary fermionic Hamiltonians and device connectivities rests on evidence from only the water STO-3G instance; no additional Hamiltonians or connectivities are tested, which is load-bearing for the generality asserted in the abstract.

Authors: We acknowledge that the numerical results are presented for the water molecule in STO-3G. The optimization procedure itself is formulated to apply to arbitrary fermionic Hamiltonians and any device connectivity graph, because it operates by deterministically reassigning qubit labels on a fixed ternary tree without altering the tree edges or introducing ancilla qubits. The water case is representative of molecular simulations, but to better support the generality claim we will add numerical results for at least one additional small molecule (e.g., H2 in STO-3G) and include a short discussion of how the method extends to other connectivities. revision: partial
Referee: [Method] Method section: the optimization procedure is described as deterministic but no pseudocode, full algorithmic steps, or explicit proof that encoding correctness is preserved for every term in the Hamiltonian is supplied, preventing independent verification of the reported depth savings.

Authors: We agree that the current description would benefit from greater detail for reproducibility. In the revised manuscript we will insert pseudocode for the optimization algorithm, list the explicit algorithmic steps, and provide a concise proof that correctness is preserved: the procedure only permutes the assignment of physical qubits to the nodes of an unchanged tree, thereby leaving the parity of every fermionic operator and the commutation relations intact for all Hamiltonian terms. revision: yes
Referee: [Results] Results: the quoted average reductions lack error bars, variance measures, or confirmation that the optimized encodings produce equivalent simulation accuracy to the baseline encodings.

Authors: The reported averages are taken over a suite of standard encodings on the same Hamiltonian; we will add standard deviations and error bars to the figures and tables. Because the optimized encodings are obtained by relabeling qubits within an isomorphic tree, they realize exactly the same fermionic-to-qubit mapping up to a fixed permutation; consequently the simulated observables and energies remain identical to the baseline. We will add an explicit statement confirming this equivalence. revision: yes

Circularity Check

0 steps flagged

No significant circularity; deterministic optimization produces direct numerical outputs

full rationale

The paper presents a deterministic optimization procedure that acts on a fixed ternary tree structure to reduce Pauli weights of fermionic encodings. The 24.7% and 26.5% qDRIFT depth reductions are reported as computed numerical results obtained by applying the method to the specific water STO-3G Hamiltonian; they are not fitted parameters, self-referential definitions, or predictions forced by the inputs. No load-bearing self-citations, ansatzes smuggled via prior work, or uniqueness theorems imported from the same authors appear in the derivation chain. The central claim therefore remains self-contained against external benchmarks and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on standard properties of ternary tree fermion-qubit mappings from prior literature and the assumption that Pauli-weight reduction directly translates to qDRIFT depth reduction; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Ternary tree encodings correctly map fermionic operators while preserving anticommutation relations
Invoked implicitly as the foundation for all encodings discussed; standard in the field.

pith-pipeline@v0.9.0 · 5479 in / 1311 out tokens · 42692 ms · 2026-05-16T22:11:38.598763+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We develop a deterministic method which optimises ternary tree encodings without changing the underlying tree structure. This enables reduction in Pauli-weight without ancillae or additional swap-gate overhead.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Numerical results for a suite of standard encoding methods applied to water in the STO-3G basis indicate that our method reduces qDRIFT circuit depths on average by 24.7% and 26.5% for untranspiled and transpiled circuits respectively.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Randomized Subsystem Descent for Fermion-to-Qubit Mapping
quant-ph 2026-04 unverdicted novelty 6.0

Randomized Subsystem Descent reduces weighted Pauli weight in fermion-to-qubit mappings for Hubbard models up to 16x16 sites and molecular Hamiltonians with 54 modes.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

[1]

Bravyi, J

S. Bravyi, J. M. Gambetta, A. Mezzacapo, and K. Temme. Tapering off qubits to simulate fermionic Hamiltonians, Jan. 2017

work page 2017
[2]

Bravyi and A

S. Bravyi and A. Kitaev. Fermionic quantum computation.Annals of Physics, 298(1):210–226, May 2002

work page 2002
[3]

Campbell

E. Campbell. Random Compiler for Fast Hamiltonian Simulation.Physical Review Letters, 123(7):070503, Aug. 2019

work page 2019
[4]

R. W. Chien and J. Klassen. Optimizing fermionic encodings for both Hamiltonian and hardware, Oct. 2022

work page 2022
[5]

Chiew, B

M. Chiew, B. Harrison, and S. Strelchuk. Ternary tree transformations are equivalent to linear encodings of the Fock basis, Dec. 2024

work page 2024
[6]

J. J. Eriksen. The Shape of Full Configuration Interaction to Come.The Journal of Physical Chemistry Letters, 12(1):418–432, Jan. 2021. 19 evolution duration naive TOPP-HATT reduction / % 0.0010 35.8 26.8 25.2 0.0015 72.3 59.7 17.4 0.0020 127.9 98.0 23.4 0.0025 203.2 155.4 23.5 0.0030 289.7 224.0 22.7 0.0035 384.1 297.6 22.5 0.0040 514.1 383.8 25.4 0.0045...

work page 2021
[7]

R. P. Feynman. Simulating physics with computers.International Journal of Theoretical Physics, 1982

work page 1982
[8]

P. R. Hegde, O. Kyriienko, H. Heimonen, P. Tolias, G. Netzer, P. Barkoutsos, R. Vinuesa, I. Peng, and S. Markidis. Beyond the Buzz: Strategic Paths for Enabling Useful NISQ Applications, May 2024. arXiv:2405.14561 [quant-ph] Read_Status: New Read_Status_Date: 2024-11-11T13:35:59.504Z

work page arXiv 2024
[9]

Jiang, A

Z. Jiang, A. Kalev, W. Mruczkiewicz, and H. Neven. Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning.Quantum, 4:276, June 2020

work page 2020
[10]

Jordan and E

P. Jordan and E. Wigner. Über das Paulische äquivalenzverbot.Zeitschrift für Physik, 47(9):631–651, Sept. 1928

work page 1928
[11]

Kremer, V

D. Kremer, V. Villar, H. Paik, I. Duran, I. Faro, and J. Cruz-Benito. Practical and efficient quantum circuit synthesis and transpiling with Reinforcement Learning, Feb. 2025

work page 2025
[12]

Leimkuhler and K

O. Leimkuhler and K. B. Whaley. Exponential quantum speedups in quantum chemistry with linear depth, Mar. 2025

work page 2025
[13]

Li, H.-Y

Q.-S. Li, H.-Y. Liu, Q. Wang, Y.-C. Wu, and G.-P. Guo. Huffman-Code-Based Ternary Tree Transfor- mation.Chinese Physics Letters, 42(10):100001, Sept. 2025

work page 2025
[14]

Y. Liu, K. Yao, J. Hong, J. Froustey, E. Rrapaj, C. Iancu, G. Li, and Y. Shi. HATT: Hamiltonian Adap- tive Ternary Tree for Optimizing Fermion-to-Qubit Mapping. In2025 IEEE International Symposium on High Performance Computer Architecture (HPCA), pages 143–157, Mar. 2025

work page 2025
[15]

Matsuzawa and Y

Y. Matsuzawa and Y. Kurashige. Jastrow-type Decomposition in Quantum Chemistry for Low-Depth Quantum Circuits.Journal of Chemical Theory and Computation, 16(2):944–952, Feb. 2020. Publisher: American Chemical Society Read_Status: New Read_Status_Date: 2024-11-11T13:35:53.891Z

work page 2020
[16]

Treespilation: Architecture-andState-OptimisedFermion-to-Qubit Mappings, Mar

A.Miller, A.Glos, andZ.Zimborás. Treespilation: Architecture-andState-OptimisedFermion-to-Qubit Mappings, Mar. 2024. 20 Molecule Basis M |H| Jordan-Wigner Parity Bravyi-Kitaev JKMN H2 STO-3G 4 36 0.001593 0.001701 0.001556 0.001427 H2 6-31G* 8 528 0.006066 0.006252 0.005216 0.004886 LiH STO-3G 12 1860 0.015658 0.015711 0.013509 0.012465 H2O STO-3G 14 5774...

work page 2024
[17]

Miller, Z

A. Miller, Z. Zimborás, S. Knecht, S. Maniscalco, and G. García-Pérez. Bonsai Algorithm: Grow Your Own Fermion-to-Qubit Mappings.PRX Quantum, 4(3):030314, Aug. 2023

work page 2023
[18]

Mingare and I

A. Mingare and I. Heuzé. TN4QA, 2025. https://github.com/UCL-CCS/TN4QA

work page 2025
[19]

M. A. Nielsen and I. L. Chuang.Quantum Computation and Quantum Information. Quantum Compu- tation and Quantum Information. Cambridge University Press, June 2012

work page 2012
[20]

Parella-Dilmé, K

T. Parella-Dilmé, K. Kottmann, L. Zambrano, L. Mortimer, J. S. Kottmann, and A. Acín. Reducing Entanglement with Physically Inspired Fermion-To-Qubit Mappings.PRX Quantum, 5(3):030333, Aug. 2024

work page 2024
[21]

Ralli, P

A. Ralli, P. J. Love, A. Tranter, and P. V. Coveney. Implementation of measurement reduction for the variational quantum eigensolver.Physical Review Research, 3(3):033195, Aug. 2021

work page 2021
[22]

Williams de la Bastida and T

M. Williams de la Bastida and T. Bickley. UCL-CCS/ferrmion, Oct. 2025. https://github.com/UCL- CCS/ferrmion

work page 2025
[23]

J. Yu, Y. Liu, S. Sugiura, T. V. Voorhis, and S. Zeytinoğlu. Clifford circuit based heuristic optimization of fermion-to-qubit mappings, Feb. 2025. 21

work page 2025