Organizations: Center for Quantum Information, Communication and Computing, Indian Institute of Technology Madras, Chennai, India · Engineering Systems and Design, Singapore University of Technology and Design, Singapore · Department of Electrical Engineering, Indian Institute of Technology Madras, Chennai, India
Choosing a variational quantum circuit (VQC) usually means searching over ansatze and depths, and training each candidate. We give three rules that fix these choices from the data and the gate set alone, before any training. First, a circuit without entangling gates has a rank-one Fourier coefficient tensor on every subset of qubits. A singular value decomposition of a dataset's Fourier coefficients therefore indicates whether entanglement is needed, which qubits it connects, and a lower bound on the error of omitting it. Second, the rank of the quantum Fisher information matrix grows by p0 per layer, after a first-layer deficit d0, until it reaches a ceiling set by the dynamical Lie algebra. This law fixes the depth. Third, reading out all 2N−1 Pauli-Z products from one batch of shots resolves half of the state's directions, the most any single-basis readout can. A single-qubit readout resolves an exponentially small fraction. For the Madelon dataset, the rules prescribe 7 blocks of 3 qubits at depth 3: a 239-parameter classifier with 78.5% test accuracy, found without a grid search. Ablations confirm three predicted effects: shallower circuits, smaller blocks and dropping reuploading all lower accuracy.
Figures & tables
Figure 1: One consideration applies at each stage of the circuit’s information path: representability at the encoding, QFIM rank at the state, extraction at the readout.
Figure 2: The rank grows at slope p0 and turns a sharp corner at the orbit-stabiliser ceiling. Markers: measured QFIM rank of HEA at N=5 . Red line: the predictor min(p0L−d0,Crank) .
Ansatz
Gate set
Coupling
DLA g
dimg
p0
d0
Crank
κ
HEA [ kandala2017 ]
RyRz
chain
su(2N)
4N−1
2N
0
2(2N−1)
0
EfficientSU2 [ qiskitlib ]
RyRz
complete
su(2N)
4N−1
2N
0
2(2N−1)
0
Product
RyRz
none
su(2)N
3N
2N
0
2N
0
N-Local [ qiskitlib ]
RyRzRx
ring
su(2N)
4N−1
3N
N
2(2N−1)
0
HVA chain [ wiersema2024 ]
RZZ,Rx
chain
so(2N)
N(2N−1)
2N−1
N−1
N2+N−1
4(N−L)
HVA ring [ wiersema2024 ]
RZZ,Rx
ring
so(2N)⊕2
2N(2N−1)
2N
N
2N2−2N+1
0
Table 1: The rank law taken with equality, rankF(L)=min(p0L−d0,Crank−κ(L)) , with Crank=dimg−dim\Stabg(∣0⟩) and the codimension κ(L) of Sec. 3.3 ( 0 for L>N ), predicts the measured rank exactly for every family at N∈{3,…,6} up to L=12 , except at the two small- N exceptions explained in Appendix . Appendix works through the Brickwork row step by step.
Beth Israel Deaconess Medical Center & Harvard Medical School Boston, MA, USA · Department of Electrophysics National Yang Ming Chiao Tung University Hsinchu, Taiwan