Distributed VQLS · Chapter 03

What the numerical studies establish

Three studies separate representation capacity, the cost of finer partitions, and optimizer design. All are classical simulations of quantum algorithms, averaged over ten random initializations—not hardware experiments.

A structured 51-qubit instance

The large-instance experiment uses an Ising-inspired matrix with a compact Pauli representation. Four agents each represent 50 system qubits. Low-entanglement structure permits classical matrix-product-state simulation; overlaps are evaluated directly from that representation rather than by simulating every Hadamard-test circuit.

Model

The large-scale test system

XℓX_\ell and ZℓZ_\ell are Pauli operators on qubit ℓ\ell; HH is the Hadamard gate. ζ\zeta is a positive normalization constant and λ\lambda a spectral shift. The global matrix is 251×2512^{51}\times2^{51}. The setup is structured and classically simulable, not an arbitrary dense matrix at this scale.

A=1ζ(∑ℓ=1nXℓ+κ∑ℓ=1n−1ZℓZℓ+1+λI),b=H⊗n∣0⟩⊗n,n=51,κ=0.1,cond⁡2(A)=50.\begin{aligned} A&=\frac1\zeta\left(\sum_{\ell=1}^{n}X_\ell +\kappa\sum_{\ell=1}^{n-1}Z_\ell Z_{\ell+1}+\lambda I\right),\\ b&=H^{\otimes n}|0\rangle^{\otimes n},\\ n&=51,\qquad \kappa=0.1,\qquad \operatorname{cond}_2(A)=50. \end{aligned}

Manuscript · Large-Scale Demonstration

Two plots from the large-scale distributed VQLS study: global residual norm and parameter consensus error against 0 to 100 iterations, both with logarithmic vertical axes.
Original manuscript figure, Large-Scale Demonstration: global residual norm (top) and parameter consensus error (bottom), on logarithmic vertical axes. Results are averaged over ten random initializations for the 51-qubit system with four 50-qubit local representations. This is a classical matrix-product-state simulation, not a hardware run. Parameter consensus is not solution error; no interpretation of the shaded bands is inferred here.
Large-scale demonstration: setup and reported observations
QuantityReported value or observation
Block partition / agents2 × 2 / 4
Global / local system qubits51 / 50
Base stepsize / initializations0.02 / 10
Global residual normNearly two orders of magnitude lower over 100 iterations
Parameter consensus errorDecreases to approximately 10⁻⁴
Source: manuscript, Large-Scale Demonstration. Consensus here measures parameter disagreement, not state-vector error. The reported reductions are approximate descriptions from the manuscript; they are not reconstructed curve samples.

Finer partitions reduce local size and slow optimization

A separate 13-qubit perturbed cluster-state system has condition number 20 and six Pauli terms. This smaller experiment explicitly simulates Hadamard-test circuits. Both communication graphs are paths, and the base stepsize is 0.01.

Definition

Residual and state-vector agreement are different metrics

xijx_{ij} is the scaled local state, so uiu_i stacks all estimates in block row ii. RR measures equation error; EE measures agreement between those row estimates. In this study agreement is reached sooner than a small residual. Unlike the 51-qubit study, EE is defined in vector space, not parameter space.

ui(t)=(xi1(t)⊤,…,xim(t)⊤)⊤,xˉ(t)=1m∑i=1mui(t),R(t)=∥Axˉ(t)−b∥2,E(t)=(1m∑i=1m∥ui(t)−xˉ(t)∥22)1/2.\begin{aligned} u_i(t)&=(x_{i1}(t)^\top,\ldots,x_{im}(t)^\top)^\top,\\ \bar x(t)&=\frac1m\sum_{i=1}^{m}u_i(t),\\ R(t)&=\|A\bar x(t)-b\|_2,\\ E(t)&=\left(\frac1m\sum_{i=1}^{m}\|u_i(t)-\bar x(t)\|_2^2\right)^{1/2}. \end{aligned}

Manuscript · Effect of Block Partitioning

Same 13-qubit problem, four representation sizes
PartitionAgentsLocal system qubitsReported behavior
1 × 1113Fastest residual reduction; centralized version of this objective
2 × 2412Slower reduction than the centralized case
4 × 41611Residual eventually fluctuates around 10⁻²
8 × 86410Slowest case; residual eventually around 10⁻²
Source: manuscript, Effect of Block Partitioning; ten initializations per case. Qubit counts exclude measurement ancillas. The objective differs from the original centralized VQLS objective, so the 1 × 1 case is not an independent implementation of the original VQLS baseline.

The classical optimizer materially changes the outcome

The ablation uses a 7-qubit Ising-inspired system, a 4 × 4 partition (16 agents, five local system qubits), condition number 200, and base stepsize 0.01. It changes one component at a time while keeping the test problem fixed.

Optimizer ablation: reported residual-norm behavior
VariantChange from the full methodReported observation
Track + AdamX + AdamZNoneMore than 100× reduction by approximately 10,000 iterations
Track + AdamZGradient descent replaces Adam for x parametersResidual remains above 1 at 20,000 iterations
Track + AdamXGradient descent replaces Adam for z parametersResidual remains above 1 at 20,000 iterations
Consensus + AdamX + AdamZRemove gradient trackingResidual remains above 1 at 20,000 iterations
Source: manuscript, Failure of Distributed Gradient Descent; ten random initializations and simulated Hadamard tests. This supports the full method in the tested setting. It is neither a general convergence theorem nor a proof that other optimizers cannot succeed.

Which costs determine practical usefulness?

The reformulation is exact, but the experiments do not establish a quantum advantage or a general convergence guarantee. The next stage should measure the resources and reliability of the complete hybrid algorithm.

  • Conditioning and connectivity: vary the matrix condition number, agent count, and row/column graphs independently.
  • Communication: reduce the present two transmission rounds; account for latency, delays, and asynchronous updates.
  • Hardware: measure circuit, sampling, and readout costs under realistic noise before claiming improved resilience or speed.

Last updated