--- title: 'Quantum Homogenizer: Collision State Transformation' url: https://www.emergentmind.com/topics/quantum-homogenizer type: topic --- # Quantum Homogenizer: Collision State Transformation A quantum homogenizer is a collision-based device in which a single system qubit repeatedly interacts with a large reservoir of identical qubits, so that the joint transformation \[ (\rho\otimes\xi\otimes\cdots\otimes\xi)\mapsto \approx \xi\otimes\xi\otimes\cdots\otimes\xi \] is realized with arbitrarily small error: after \(N\) sequential interactions the system state \(\rho_N\) satisfies \(D(\rho_N,\xi)\le\delta\), while each reservoir qubit’s final state \(\xi_j\) satisfies \(D(\xi_j,\xi)\le\delta\), where \(D\) may be the trace distance or infidelity. In this sense the homogenizer models thermalization by collisions, while also functioning as a universal state-transformation machine that drives a qubit from any initial state to any target reservoir state \(\xi\) with negligible disturbance to the reservoir [2309.15741]. ## 1. Formal definition and operational setting In its standard formulation, the quantum homogenizer consists of a system qubit \(S\) and \(N\) identical reservoir qubits, all initially prepared in the same state \(\xi\). One cycle initializes \(S\) in an arbitrary state \(\rho\), applies the same interaction sequentially between \(S\) and each reservoir qubit, and leaves \(S\) approximately in state \(\xi\) while each reservoir qubit is only slightly perturbed. This operational picture underlies both the thermalization interpretation and the machine-like interpretation in which the same reservoir may be reused if deterioration remains small [2205.11310]. The homogenization conditions are stronger than simple convergence of the system alone. The protocol must work for arbitrary input \(\rho\), arbitrary target \(\xi\), and any desired \(\delta>0\), while preserving each reservoir unit up to the same tolerance. This universality is central: the homogenizer is not merely a relaxation channel toward a fixed bath state, but a tunable mechanism for approximate realization of the map \(\rho\to\xi\) for any qubit pair [2309.15741]. A common parametrization writes qubit states in Bloch form. In the single-axis setting used in analyses of repeated machine use, the reservoir and system states can be written as \[ \xi=\tfrac12(I+\alpha\,\sigma\cdot n),\qquad \rho=\tfrac12(I+\beta\,\sigma\cdot n), \] with the interaction strength encoded by \(c\equiv\cos\eta\) and \(s\equiv\sin\eta\). This parametrization makes the contraction toward the reservoir state explicit and is also used in fidelity-based analyses of accuracy, robustness, and deterioration under repeated cycling [2205.11310]. ## 2. Coherent partial-SWAP homogenizer The original coherent homogenizer is built from the partial-swap unitary \[ U(\eta)=\cos\eta\,I+i\sin\eta\,S, \] where \(S\) is the full SWAP and \(\eta\in[0,\pi/2]\) controls the coupling strength. This gate is distinguished by a strong structural result: the partial-swap \(U=\cos\eta\,I+i\sin\eta\,S\) is the only two-qubit unitary that satisfies the universal homogenization conditions for all \(\rho,\xi\) [2309.15741]. Because \(U(\eta)\) is fully coherent, successive interactions generate multi-qubit superpositions and entanglement among the system and the reservoir qubits it has touched. Reservoir qubits that have not directly interacted can still interfere via the system acting as a quantum bus. In single-collision Bloch-vector form, this coherent character appears through an additional cross-product term: \[ \beta'=\cos^2\theta\,\beta+\sin^2\theta\,\alpha+\left(\tfrac14\cos\theta\sin\theta\right)\beta\times\alpha, \] so the trajectory is not purely relaxational [2501.16313]. The convergence theorem is nevertheless simple. Writing the initial system and reservoir Bloch vectors as \(\vec\beta_0\) and \(\vec\alpha\), and \(c=\cos\eta\), one has after \(j\) interactions \[ \vec\beta_j=c^{2j}\vec\beta_0+(1-c^{2j})\vec\alpha. \] Hence \[ D(\rho_j,\xi)=\|\vec\beta_j-\vec\alpha\|=\|\vec\beta_0-\vec\alpha\|\,c^{2j}. \] If \(d=\|\vec\beta_0-\vec\alpha\|\), then achieving \(D\le\delta\) requires \[ j\ge \frac{\ln(\delta/d)}{\ln(c^2)}=\frac{\ln(\delta/d)}{2\ln c}. \] Meanwhile each reservoir qubit interacts only once, and its post-interaction distance from \(\xi\) is \(D_s=d s^2\), so demanding \(d s^2\le\delta\) fixes \(s^2\le\delta/d\). In the worst case \(d=2\), this yields \[ N\ge \frac{\ln(\delta/2)}{\ln(1-\delta/2)}. \] The key consequence is exponential convergence in \(N\), with the reservoir remaining nearly intact for small \(\eta\) [2309.15741]. ## 3. Incoherent controlled-SWAP homogenizer An alternative homogenizer replaces coherent system–reservoir interference by a controlled-SWAP mechanism. Here an ancillary control qubit is prepared in \[ |c\rangle=\cos\eta\,|0\rangle+\sin\eta\,|1\rangle, \] and a three-qubit Fredkin gate is applied: \[ U_{\mathrm{cswap}} = |0\rangle\langle 0|_c\otimes I_{s,r} + |1\rangle\langle 1|_c\otimes S_{s,r}. \] The control is traced out after each use, so system–reservoir coherence is not propagated beyond that step [2309.15741]. The resulting single-step update is linear and lacks interference terms. If the initial Bloch vectors are \(\vec\beta_0\) and \(\vec\alpha\), then after one interaction \[ \vec\beta_1=c^2\vec\beta_0+s^2\vec\alpha, \qquad \vec\alpha_1=s^2\vec\beta_0+c^2\vec\alpha. \] The absence of \(\vec\beta\times\vec\alpha\) terms is the defining feature of the incoherent model. Iteration immediately gives \[ \vec\beta_N=c^{2N}\vec\beta_0+(1-c^{2N})\vec\alpha, \] so \[ D(\rho_N,\xi)=d\,c^{2N}, \] with the same convergence bound \(j\ge \ln(\delta/d)/[2\ln c]\) as in the coherent case. The most disturbed reservoir qubit is again the first one, for which \(D(\xi_1,\xi)=d s^2\), and choosing \(s^2\le\delta/d\) ensures all reservoir qubits remain within \(\delta\) of \(\xi\) [2309.15741]. This equivalence of asymptotic convergence is the principal structural result of the coherent–incoherent comparison: the convergence properties that matter for modeling thermalization are not dependent on coherence between qubits in the homogenization protocol. The incoherent and coherent machines also share the same single-use resource scaling, \[ N\ge \frac{\ln(\delta/d)}{\ln(c^2)}, \] which in the worst case \(d=2\) gives the well-known \(N\approx O(\log 1/\delta)\) behavior. At the level of fidelity, the infidelity difference \(\Delta F=F_{\mathrm{inc}}-F_{\mathrm{coh}}\) is at most \(O(2\%)\) at each step and vanishes as \(j\to\infty\) [2309.15741]. The equivalence is only asymptotic. In transient Bloch-sphere dynamics, CSWAP produces straight-line relaxation from \(\beta_0\) to \(\alpha\), while PSWAP produces spiraling trajectories because of its coherent back-action. The continuous-time weak-coupling limit of CSWAP is \[ \frac{d\rho_s}{dt}=\Gamma(\rho_e-\rho_s), \] whereas PSWAP carries an additional coherent commutator term [2501.16313]. ## 4. Non-Markovian extensions, memory, and transient phenomena Markovian collision models assume that each ancilla interacts with the system once and is discarded. Non-Markovian variants introduce ancilla–ancilla collisions, so that memory from older ancillas is transferred into ancillas that the system meets later. In the qubit model with partial swap used for both system–bath and bath–bath collisions, \[ U(\theta)=\cos\theta\,I\otimes I+i\sin\theta\,S, \] numerical analysis shows that homogenization is achieved irrespective of the initial states of the system or bath units. This preserves universality, but the homogenization rate is slower than in the Markovian counterpart [2201.08412]. In the Bloch-vector description, the non-Markovian evolution is governed by coupled recurrences for the system vector \(\mathbf{k}^{(n)}\), the ancilla state immediately before system contact \(\mathbf{l}_n^{(0)}\), and the ancilla state immediately after it \(\mathbf{l}_n^{(1)}\). The Markovian contraction bound \[ \bigl|\mathbf{k}^{(n)}-\mathbf{l}\bigr| \le \cos\alpha\,\bigl|\mathbf{k}^{(n-1)}-\mathbf{l}\bigr| \] gives \(\lim_{n\to\infty}D(\rho_n^S,\eta)=0\), while the non-Markovian case retains the same asymptotic target but displays a slower approach when ancilla–ancilla coupling \(\delta\neq 0\) [2201.08412]. Changing the bath–bath interaction can reverse that slowdown, but only by sacrificing universality. For a generalized bath–bath unitary \[ U_{B_{n-1}B_n}(\delta)=\cos\delta\,I\otimes I+i\sin\delta\,S_{\theta,\phi}, \] homogenization can become faster than in the Markovian model, but then the initial ancilla state must be restricted to the \(z\)-axis; coherent superpositions in the bath are no longer faithfully imposed on the system [2201.08412]. Transient structure is even more sharply differentiated in coherent versus incoherent collision models. With no ancilla–ancilla coupling, both PSWAP and CSWAP realizations are Markovian. With intra-environment collisions, PSWAP–PSWAP becomes non-Markovian only once the environmental coupling is large enough, PSWAP–CSWAP can generate a higher degree of BLP non-Markovianity even for moderate coupling, while CSWAP–CSWAP and CSWAP–PSWAP remain Markovian in the sense that the trace distance decays monotonically for any intra-environment coupling [2501.16313]. The discrete BLP measure is \[ \mathcal N_D = \max_{\rho_1,\rho_2} \sum_{i: D[i]-D[i-1]>0} \bigl[D[i]-D[i-1]\bigr]. \] A further extension uses Fredkin-mediated intra-ancilla interactions to ask whether the memory required by the reduced dynamics is classical or quantum. In that setting, product reservoirs yield classical memory, a GHZ reservoir still requires only classical memory because its two- and three-qubit marginals are separable, whereas a Bell-pair reservoir activates quantum memory for sufficiently large coupling. The criterion \[ C^\#(\tilde{\mathcal U})