Path-Dependent QUBO Annealing Simulation of Mesoscale Thermal Aging in Porous Sintered Silver

This abstract has open access
Problem description and relevance

Power modules built on silicon carbide and gallium nitride run at junction temperatures above 200 °C, which rules out conventional solder in the die-attach layer. Sintered silver has taken its place, because a joint melting at 962 °C sits at a low homologous temperature, and the porous network left behind by sintering absorbs the thermal-expansion mismatch between die and substrate [1, 2]. The as-sintered network is however metastable, and sustained service temperature drives pore coalescence and grain-boundary migration that thin the load-bearing skeleton and degrade the thermal and mechanical response [3]. Qualifying a module for a field life of years therefore means predicting how the microstructure moves, not the final equilibrium state. The homogenised stiffness and conductivity that finite-element lifetime models consume are properties of the intermediate states.

Mesoscale kinetic models supply that trajectory today at a characteristic cost. Monte Carlo Potts models and hybrid Potts phase-field models advance the microstructure through long sequences of accepted local updates [4, 5], each acting on the configuration the previous one produced, so the length of a run is set by the number of update events rather than by the number of microstructures the study needs to resolve.

 Ising machines invert that structure by resolving an entire configuration in a single hardware pass [6, 7], which makes a quadratic unconstrained binary optimization (QUBO) encoding of the microstructure an obvious target. One obstacle has kept materials applications to static problems [8]. A global minimiser returns the equilibrium configuration, whereas coarsening is a chain of local rearrangements. The concrete problem we solve is how to make annealing hardware emit an ordered microstructural trajectory instead of a single relaxed endpoint.


Submission ID :
67
Methodology :

Each site i of a periodic Nx × Ny lattice carries a one-hot grain label Xig over Q states and a unary composition ladder Uim over M bits,

 Xig ∈ {0,1},    ∑g=0Q−1 Xig = 1,   Uim ∈ {0,1},    Ui,m+1 ≤ Uim,   Ci = s∑mUim,    s = 1/M.  (1)

Thus, the register holds N(Q+M) logical qubits. The reference run uses 60 × 60, Q = 2, and M = 2, giving 14,400 variables. Collecting all bits into z ∈ {0,1}N(Q+M), the energy splits into a part assembled once and a part rebuilt at every stage n,

 Htotal(n)(z) = Hstatic(z) + Hkm(n)(z),   Hstatic = HPotts + Hbulk + Hgrad + Hmass + Hcons.  (2)

The five static terms are a Potts term rewarding matching neighbour labels over axial and diagonal pairs, the two-phase bulk chemical energy coupling phase to composition, a Cahn–Hilliard gradient energy penalising sharp composition steps, a material-balance penalty, and the one-hot and unary-ordering constraints.

The stage term is purely linear and carries the history. A breadth-first sweep returns the distance di from every site to the nearest interface in O(N) time, and the bias rewards retention of the reference label giref decoded at stage n−1,

 Hkm(n) = −∑i bi Xi,giref + ∑i biC ∑m Uim (1−2Uimref),   bi = bintf + min(di/dsat, 1) (bbulk−bintf).  (3)

Setting bbulk = 20 above the largest Potts gain available to a bulk flip, against bintf = 3.974 at dsat = 2, anchors the bulk and leaves interfacial sites free. Consequently, each solve returns a low-energy state near its predecessor rather than the global minimum.

Material balance is imposed block-locally. Overlapping D × D windows at stride S taper across their overlaps through complementary B-spline ramps wb, which form a partition of unity,

 Hmass = ∑b WS (∑i wb(i) fi − Tb)2,   ∑bwb(i) = 1   ∀ i,   Tb = φ̄(0) ∑iwb(i).  (4)

Thus, the local targets tile exactly to the global silver budget while transport per stage is bounded by the block scale.

Equations (1)–(4) define a standard QUBO that carries no solver-specific structure, so the identical Hamiltonian is submittable without modification to any Ising machine. The register is the set of N(Q+M) binary variables from Eq. (1), and encoding validity is enforced by the penalty terms in Hcons rather than by hardware.

The current microstructure is never prepared as a state: it enters through the linear coefficients of Eq. (3) alone, which keeps the quadratic part reusable. Extraction consists of a single decoding of the lowest-energy sample into labels and composition, which then becomes the reference for stage n+1.

Practical demonstration :

We demonstrate the method through what the call describes as a fully worked-out formulation, supported by evidence from execution on a simulator. Equations (1)–(4) specify every coefficient of Htotal(n) in closed form as a function of the free-energy parameters, the block geometry, and the previous microstructure. The optimisation problem is therefore fully determined at every stage.

Complete 50-stage trajectories are then sampled from it. We assemble the QUBO using the Fixstars Amplify SDK and solve it on the Amplify Annealing Engine, a GPU annealer that runs parallel simulated-annealing dynamics on a complete graph, with a 3000 ms budget per stage. Because it samples the same Htotal(n) without connectivity restrictions, it plays the role that a state-vector simulator plays in gate-model work. Execution on superconducting annealing hardware has not yet been performed and is the immediate next step.

Four checks establish that the construction works as specified. First, the samples decode to valid encodings: the per-stage one-hot check reports no violations, the decoded energy falls monotonically, and the soft material-balance residual remains within 4.2% in area fraction of the initial porosity.

Second, the observed physics is consistent with coarsening: small pores vanish, neighbouring pores coalesce, and the surviving pores become rounder. The pore count follows Np(n) ∝ n−0.58 over the active regime, while the total boundary length falls by 67% at a porosity maintained near 9.7%.

Third, two ablation studies show that the kinetic-memory and block-local terms perform the roles attributed to them. Label changes are confined to sites already located on an interface and are indistinguishable from zero one pixel away, even though the interfacial shell contracts from 40% of the lattice to 16% as the structure coarsens.

Removing the memory term produces correlated bulk patches, a non-monotonic porosity history, and no extractable exponent. Replacing the block-local penalty of Eq. (4) with a single global square-using the same seed, physics, and solver budget-widens the porosity band from 0.22 to 1.58 percentage points and allows distant pores to exchange material. The mean pore-pair separation peaks at 15.7 px, compared with a stable range of 7.1–7.5 px for the block-local formulation.

Fourth, the trajectory is checked against an independent update rule. Kawasaki dynamics, evolving the same free energy from the identical initial microstructure [Hu2025SimulationModel], converts 286 small pores into 25. The staged solver reaches 24 pores and tracks the reference trajectory in porosity, pore count, and boundary length throughout. Two scalar amplitudes were calibrated for this comparison.

Application potential :

The workflow is hybrid by construction. A classical host computes the distance field, assembles the linear bias of Eq. (3), decodes the returned sample, and promotes it to the next reference, all in O(N) time per stage. The annealer performs one minimisation per stage.

Because the quadratic physics is cached and only the linear field is rebuilt, successive stages use the same coupling graph and differ only in their linear terms. This separation makes extended trajectories practical.

The problem size grows linearly. At fixed block geometry,

 nvar = N(Q+M),   nquad ≃ [(DxDy)2]per block × N/(SxSy) = O(N).  (5)

This gives 1.8 × 106 quadratic terms for a 60 × 60 lattice, compared with 1.3 × 107 terms for the global square replaced by the blocks. Extending the formulation to three dimensions multiplies the variable count by Nz while leaving the coupling count linear in volume, which is the regime occupied by a real die-attach layer.

In terms of iteration count, the staged solver resolves in approximately eight stages the early coalescence burst that the Kawasaki reference covers in 300 sweeps.

The logical encoding contains no solver-specific structure. The identical Hamiltonian can therefore be submitted without modification to any Ising machine, subject to its connectivity and coefficient-range requirements. Execution on superconducting quantum-annealing hardware is the direct continuation of this work.

The construction can also be extended to other porous polycrystalline systems governed by conserved redistribution, provided that their free energies admit quadratic binary representations.

Associated Sessions

Postdoctoral Researcher
,
TU Delft
Associate professor
,
Keio University
Associate Professor
,
Delft University of Technology
PhD candidate
,
TU Delft
4 visits