Also at ]Department of Physics, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada Also at ]Department of Chemistry, University of Waterloo, 200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada

Quantum optimal control robust to 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises using fractional calculus:
voltage-controlled exchange in semiconductor spin qubits

Bohdan Khromets [ [email protected]    Jonathan Baugh [ [email protected] Institute for Quantum Computing, University of Waterloo,
200 University Avenue West, Waterloo, Ontario N2L 3G1, Canada
(May 24, 2024)
Abstract

Low-frequency 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT charge noise significantly hinders the performance of voltage-controlled spin qubits in quantum dots. Here, we utilize fractional calculus to design voltage control pulses yielding the highest average fidelities for noisy quantum gate operations. We focus specifically on the exponential voltage control of the exchange interaction generating two-spin SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT gates. When stationary charge noise is the dominant source of gate infidelity, we derive that the optimal exchange pulse is long and weak, with the broad shape of the symmetric beta distribution function with parameter 1α/21𝛼21-\alpha/21 - italic_α / 2. The common practice of making exchange pulses fast and high-amplitude still remains beneficial in the case of strongly nonstationary noise dynamics, modeled as fractional Brownian motion. The proposed methods are applicable to the characterization and optimization of quantum gate operations in various voltage-controlled qubit architectures.

preprint: APS/123-QED

Introduction.—Quantum dots in semiconductor heterostructures offer precise electric control of highly localized few-electron spin-orbital states. This makes them a promising platform for scalable, spin-based quantum computation. Yet, the electrostatic potential fluctuations in the vicinity of the qubits, known as charge noise, are an important source of gating error and spin dephasing [1, 2] and thus a major threat to the performance and scalability of quantum processors. Charge noise dominates at low frequencies, and its power spectral density is often well approximated over many decades by a power law function 1/fαproportional-toabsent1superscript𝑓𝛼\propto 1/f^{\alpha}∝ 1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT, with 0<α20𝛼less-than-or-similar-to20<\alpha\lesssim 20 < italic_α ≲ 2 in experiments [3, 4, 5, 6, 7, 8, 9, 10, 11]. The background of fluctuating charge traps in the insulator, gate electrode voltage fluctuations (due to interaction with the interface traps, non-ideality of the external electronics, etc.), and white thermal noise, among other things, contribute to the overall incoherent electric noise with the 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT spectrum [12, 13, 14, 15].

While ongoing improvements in material growth and device fabrication [5, 16, 9] allow for the mitigation of decoherence, charge noise cannot be completely eliminated, even in the best-quality devices [7, 17, 18]. Given the many effects that contribute to noise and the heavily device-dependent noise spectra [19], quantum optimal control is necessary to achieve deterministic high-fidelity control with potential for scalability. To preserve coherence, dynamical decoupling sequences of strong and fast pulses [20] have been employed in the presence of the Markovian bath [21, 22, 23], and power-law noise in the spin Hamiltonian controls [24, 25, 26, 27, 28]. For single-qubit rotations, time-dependent spin Hamiltonians decoupled from a single bistable flucutator [29, 30, 31], or ensemble of such fluctuators giving a power-law spectrum [32], have been engineered using few-parameter gradient-based optimization. Simultaneous dynamical decoupling and optimal control sequences have been studied for spin Hamiltonians in other systems [33, 34, 35]. Among analytical tools, the geometric formalism [36] has been instrumental in engineering minimum-time quantum gates insensitive to errors up to different orders: single-qubit gates with quasistatic errors [37, 38], pulse and transverse noise errors [39, 40], and multiqubit entangling gates [41].

In this Letter, we employ the analytical framework of fractional calculus [42] to design quantum gate operations least sensitive to charge noise when charge noise is the dominant decoherence mechanism (cf. [43]). Representing the auto-correlation functions of both stationary and non-stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise models with fractional integral operators enables us to variationally find smooth pulse shapes yielding highest average gate operation fidelities. In addition, we numerically analyze the influence of pulse shape, length, and noise spectral exponent α𝛼\alphaitalic_α on the unitary operation fidelity. We focus specifically on the voltage control of exchange interaction J(V)𝐽𝑉J(V)italic_J ( italic_V )—an always positive (and thus non-refocusable) quantity in the absence of the strong out-of-plane magnetic field [44]—for the generation of SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT gates on pairs of Loss-Di Vincenzo spin qubits [45]. Although the idle state of a quantum processor can be chosen as a symmetric (charge noise insensitive) point [46, 47, 48, 49], entangling operations require swee** J(V)𝐽𝑉J(V)italic_J ( italic_V ) to noise-sensitive regions. Notably, our framework requires no simplifications of additive and/or quasistatic noise in the spin Hamiltonian. Rather, we fully incorporate the strongly nonlinear dependency of the spin Hamiltonian on voltage controls [such as exponential dependency of J(V)𝐽𝑉J(V)italic_J ( italic_V )] leading to nonlinear noise amplification. This analysis offers more refined strategies for optimal control of exchange in the presence of noise than the standard approach of making pulses as short in time as possible [50], which we show is not necessarily optimal for charge-noise-dominated regimes.

Exchange gate fidelity.—Arising from Pauli exclusion principle and Coulomb repulsion, the isotropic exchange interaction with parameter J(t)𝐽𝑡J(t)italic_J ( italic_t ) for a pair of electron spins S1,2=2σ1,2subscript𝑆12Planck-constant-over-2-pi2subscript𝜎12\vec{S}_{1,2}=\frac{\hbar}{2}\vec{\sigma}_{1,2}over→ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT = divide start_ARG roman_ℏ end_ARG start_ARG 2 end_ARG over→ start_ARG italic_σ end_ARG start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT is described by the Heisenberg Hamiltonian:

H(t)=J(t)4σ1σ2J(t)2(SWAP12).𝐻𝑡𝐽𝑡4subscript𝜎1subscript𝜎2𝐽𝑡2SWAP12H(t)=\frac{J(t)}{4}\vec{\sigma_{1}}\cdot\vec{\sigma_{2}}\equiv\frac{J(t)}{2}% \left(\mathrm{SWAP}-\frac{1}{2}\right).italic_H ( italic_t ) = divide start_ARG italic_J ( italic_t ) end_ARG start_ARG 4 end_ARG over→ start_ARG italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ⋅ over→ start_ARG italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ≡ divide start_ARG italic_J ( italic_t ) end_ARG start_ARG 2 end_ARG ( roman_SWAP - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) . (1)

For a system of two spins used as independent qubits, or Loss-Di Vincenzo qubits [45], this Hamiltonian generates a SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT logic gate operation for the exchange pulse: J(t)=πkS(t)/T,𝐽𝑡𝜋𝑘Planck-constant-over-2-pi𝑆𝑡𝑇J(t)=\pi k\hbar{S(t)}/{T},italic_J ( italic_t ) = italic_π italic_k roman_ℏ italic_S ( italic_t ) / italic_T , where T𝑇Titalic_T is pulse duration, and S(t)𝑆𝑡S(t)italic_S ( italic_t ) is a dimensionless shape function satisfying the normalization condition:

S(t)=1T0TS(t)dt=01S(τ)dτ=1,delimited-⟨⟩𝑆𝑡1𝑇superscriptsubscript0𝑇𝑆𝑡𝑡superscriptsubscript01𝑆𝜏𝜏1\left\langle S(t)\right\rangle=\frac{1}{T}\int_{0}^{T}S(t)\differential{t}=% \int_{0}^{1}S(\tau)\differential{\tau}=1,⟨ italic_S ( italic_t ) ⟩ = divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_S ( italic_t ) roman_d start_ARG italic_t end_ARG = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_S ( italic_τ ) roman_d start_ARG italic_τ end_ARG = 1 , (2)

with τ=t/T[0,1]𝜏𝑡𝑇01\tau=t/T\in[0,1]italic_τ = italic_t / italic_T ∈ [ 0 , 1 ] being the normalized time.

In realistic quantum processors, such quantum operations as SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT are driven by increasing the exchange coupling by orders of magnitude from its negligibly small idle value. Such regimes of large control voltage sweeps are characterized by the exponential trend: J(V)J(V0)exp[ϰ(VV0)].𝐽𝑉𝐽subscript𝑉0italic-ϰ𝑉subscript𝑉0J(V)\approx J(V_{0})\exp[\varkappa{\left(V-V_{0}\right)}].italic_J ( italic_V ) ≈ italic_J ( italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) roman_exp [ italic_ϰ ( italic_V - italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ] . Here, V𝑉Vitalic_V could denote the voltage on the gate electrode controlling the tunneling barrier between the dots [51, 15], voltage bias between the pair of plunger gate electrodes accumulating electrons underneath [52, 53, 11], or a characteristic of the electric potential landscape such as the tunneling barrier height. The addition of a noisy voltage signal v~(t)~𝑣𝑡\widetilde{v}(t)over~ start_ARG italic_v end_ARG ( italic_t ) with v~=0delimited-⟨⟩~𝑣0\left\langle\widetilde{v}\right\rangle=0⟨ over~ start_ARG italic_v end_ARG ⟩ = 0 to the ideal pulse V(t)𝑉𝑡V(t)italic_V ( italic_t ) yields the noisy exchange interaction parameter: J(V+v~)=J(V)exp(ϰv~).𝐽𝑉~𝑣𝐽𝑉italic-ϰ~𝑣J(V+\widetilde{v})=J(V)\exp(\varkappa{\widetilde{v}}).italic_J ( italic_V + over~ start_ARG italic_v end_ARG ) = italic_J ( italic_V ) roman_exp ( start_ARG italic_ϰ over~ start_ARG italic_v end_ARG end_ARG ) . By adjusting ϰitalic-ϰ\varkappaitalic_ϰ accordingly, we can combine the contributions of both the voltage fluctuations on gate electrodes and charge trap environment into v~(t)~𝑣𝑡\widetilde{v}(t)over~ start_ARG italic_v end_ARG ( italic_t ).

As the performance metric of a singular SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT operation, we choose the average infidelity due to noise 111Note that according to Markov’s inequality, average infidelity delimited-⟨⟩\langle\mathscr{F}\rangle⟨ script_F ⟩ also gives the upper bound on the extent of the tails of the distribution (v~)~𝑣\mathscr{F}(\widetilde{v})script_F ( over~ start_ARG italic_v end_ARG ) . For this, we find the overlap of the evolution operators U[V(t)]=exp[i20TJ(V(t))dtSWAP]𝑈[𝑉𝑡]𝑖2Planck-constant-over-2-pisuperscriptsubscript0𝑇𝐽(𝑉𝑡)𝑡SWAPU\textbf{[}V(t)\textbf{]}=\exp\left[-\frac{i}{{2\hbar}}\int_{0}^{T}J\textbf{(}% V(t)\textbf{)}\differential{t}\mathrm{SWAP}\right]italic_U [ italic_V ( italic_t ) ] = roman_exp [ - divide start_ARG italic_i end_ARG start_ARG 2 roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_J ( italic_V ( italic_t ) ) roman_d start_ARG italic_t end_ARG roman_SWAP ] in the ideal and noisy cases: =14|trU[V]U[V+v~]|1.14tracesuperscript𝑈delimited-[]𝑉𝑈delimited-[]𝑉~𝑣1\mathcal{F}=\frac{1}{4}\absolutevalue{\tr U^{\dagger}[V]U[V+\widetilde{v}]}% \leq 1.caligraphic_F = divide start_ARG 1 end_ARG start_ARG 4 end_ARG | start_ARG roman_tr italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_V ] italic_U [ italic_V + over~ start_ARG italic_v end_ARG ] end_ARG | ≤ 1 . By expanding for small noises v~(t)~𝑣𝑡\widetilde{v}(t)over~ start_ARG italic_v end_ARG ( italic_t ) and averaging, we find the average infidelity =1delimited-⟨⟩1delimited-⟨⟩\left\langle\mathscr{F}\right\rangle=1-\left\langle\mathcal{F}\right\rangle⟨ script_F ⟩ = 1 - ⟨ caligraphic_F ⟩:

3π232k2ϰ20Tdt1T0Tdt2TS(t1)S(t2)R(t1,t2),delimited-⟨⟩3superscript𝜋232superscript𝑘2superscriptitalic-ϰ2superscriptsubscript0𝑇subscript𝑡1𝑇superscriptsubscript0𝑇subscript𝑡2𝑇𝑆subscript𝑡1𝑆subscript𝑡2𝑅subscript𝑡1subscript𝑡2\left<\mathscr{F}\right>\approx\frac{{3}\pi^{2}}{32}{k^{2}}\varkappa^{2}\int_{% 0}^{T}\!\frac{\differential{t_{1}}}{T}\int_{0}^{T}\!\frac{\differential{t_{2}}% }{T}S(t_{1})S(t_{2})R(t_{1},t_{2}),⟨ script_F ⟩ ≈ divide start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 32 end_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϰ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT divide start_ARG roman_d start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT divide start_ARG roman_d start_ARG italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_T end_ARG italic_S ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_S ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_R ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (3)

where the auto-correlation function of the noise is introduced: R(t1,t2)=v~(t1)v~(t2).𝑅subscript𝑡1subscript𝑡2delimited-⟨⟩~𝑣subscript𝑡1~𝑣subscript𝑡2R(t_{1},t_{2})=\left<\widetilde{v}(t_{1})\widetilde{v}(t_{2})\right>.italic_R ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ⟨ over~ start_ARG italic_v end_ARG ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) over~ start_ARG italic_v end_ARG ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩ . Expression (3) can also be understood as the average gate operation error: the variance of the number of spin swaps k=1π0TJ(t)dt𝑘1𝜋Planck-constant-over-2-pisuperscriptsubscript0𝑇𝐽𝑡𝑡k=\frac{1}{\pi\hbar}\int_{0}^{T}J(t)\differential{t}italic_k = divide start_ARG 1 end_ARG start_ARG italic_π roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_J ( italic_t ) roman_d start_ARG italic_t end_ARG due to noise, Δk2delimited-⟨⟩Δsuperscript𝑘2\left\langle\Delta k^{2}\right\rangle⟨ roman_Δ italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩, is proportional to delimited-⟨⟩\left<\mathscr{F}\right>⟨ script_F ⟩.

Minimization problem.— We define the inner product on [a,b]𝑎𝑏[a,b][ italic_a , italic_b ]: (φ,ψ)=abφ(x)ψ(x)dx,𝜑𝜓superscriptsubscript𝑎𝑏𝜑𝑥𝜓𝑥𝑥\left(\varphi,\psi\right)=\int_{a}^{b}\varphi(x)\,\psi(x)\differential{x},( italic_φ , italic_ψ ) = ∫ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_φ ( italic_x ) italic_ψ ( italic_x ) roman_d start_ARG italic_x end_ARG , and associate an operator A^^𝐴\hat{A}over^ start_ARG italic_A end_ARG with a two-variable kernel function A(x,s)𝐴𝑥𝑠A(x,s)italic_A ( italic_x , italic_s ) when they satisfy (A^φ)(x)=abA(x,s)φ(s)ds^𝐴𝜑𝑥superscriptsubscript𝑎𝑏𝐴𝑥𝑠𝜑𝑠𝑠\quantity\big(\hat{A}\varphi)(x)=\int_{a}^{b}A(x,s)\varphi(s)\differential s( start_ARG over^ start_ARG italic_A end_ARG italic_φ end_ARG ) ( italic_x ) = ∫ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_A ( italic_x , italic_s ) italic_φ ( italic_s ) start_DIFFOP roman_d end_DIFFOP italic_s. In this notation, the optimal pulse design for lowest average infidelity [Eq. (3)] is a Lagrangian minimization problem with one Lagrange multiplier λ𝜆\lambdaitalic_λ due to the normalization constraint in Eq. (2):

Λ[S]=(S,R^S)λ(1,S)minS(t).Λdelimited-[]𝑆𝑆^𝑅𝑆𝜆1𝑆𝑆𝑡\Lambda[S]=(S,\hat{R}S)-\lambda(1,S)\rightarrow\underset{S(t)}{\min{}}.roman_Λ [ italic_S ] = ( italic_S , over^ start_ARG italic_R end_ARG italic_S ) - italic_λ ( 1 , italic_S ) → start_UNDERACCENT italic_S ( italic_t ) end_UNDERACCENT start_ARG roman_min end_ARG . (4)

However, it is not obvious that this functional has a minimizer Sopt(t)subscript𝑆opt𝑡S_{\text{opt}}(t)italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_t ): this depends strongly on the nature of the noise process. We thus proceed to establish the operator representations of auto-correlation R^^𝑅\hat{R}over^ start_ARG italic_R end_ARG, proving the existence of Sopt(t)subscript𝑆opt𝑡S_{\text{opt}}(t)italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_t ) and finding it analytically for relevant models of charge noise. The dependencies of delimited-⟨⟩\left<\mathscr{F}\right>⟨ script_F ⟩ on T𝑇Titalic_T and α𝛼\alphaitalic_α will be analyzed numerically for certain pulse shapes.

Stationary noise.— We model the most commonly observed case of stationary charge noise as a ensemble of independent two-level fluctuators (TLFs), such as distributed interfacial or bulk charge traps [15, 13]. The auto-correlation function is assumed to incorporate all relevant mechanisms behind this non-Gaussian noise process. Its general statistical properties (noise “color”) will be then characterized by the exponent α(0,2)𝛼02\alpha\!\in\!(0,2)italic_α ∈ ( 0 , 2 ).

A two-level voltage potential fluctuation ξγ(t)subscript𝜉𝛾𝑡{\xi_{\gamma}(t)}italic_ξ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t ), with the jumps governed by the Poisson process with the switching rate γ𝛾\gammaitalic_γ, has the auto-correlation function: Rγ(t1,t2)=ξγ(t1)ξγ(t2)=Eγe2γ|t1t2|,subscript𝑅𝛾subscript𝑡1subscript𝑡2delimited-⟨⟩subscript𝜉𝛾subscript𝑡1subscript𝜉𝛾subscript𝑡2subscript𝐸𝛾superscript𝑒2𝛾subscript𝑡1subscript𝑡2R_{\gamma}(t_{1},t_{2})=\langle\xi_{\gamma}(t_{1})\xi_{\gamma}(t_{2})\rangle=E% _{\gamma}e^{-2\gamma\left|t_{1}-t_{2}\right|},italic_R start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ⟨ italic_ξ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ξ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ⟩ = italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_γ | italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_POSTSUPERSCRIPT , and a Lorentzian power spectral density [55, 26]. Eγ=Rγ(t,t)subscript𝐸𝛾subscript𝑅𝛾𝑡𝑡E_{\gamma}=R_{\gamma}(t,t)italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = italic_R start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t , italic_t ) will be referred to as the energy of a TLF (measured in V2superscriptV2\mathrm{V^{2}}roman_V start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT). For an ensemble of TLFs with total energy R0subscript𝑅0R_{0}italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, we consider their energy density per unit range of switching rates of the form [56, 32]:

dE(γ)/dγ=𝒩1(α)(R0/γα) 1[γmin,γmax].𝐸𝛾𝛾superscript𝒩1𝛼subscript𝑅0superscript𝛾𝛼subscript1subscript𝛾subscript𝛾{\differential{E(\gamma)}}/{\differential{\gamma}}={\mathcal{N}^{-1}(\alpha)}% \left({R_{0}}/{\gamma^{\alpha}}\right)\ \mathbbm{1}_{[\gamma_{\min},\gamma_{% \max}]}.roman_d start_ARG italic_E ( italic_γ ) end_ARG / roman_d start_ARG italic_γ end_ARG = caligraphic_N start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_α ) ( italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / italic_γ start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT ) blackboard_1 start_POSTSUBSCRIPT [ italic_γ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT ] end_POSTSUBSCRIPT . (5)

Here, 𝟙[a,b](γ)subscript1𝑎𝑏𝛾\mathbbm{1}_{[a,b]}(\gamma)blackboard_1 start_POSTSUBSCRIPT [ italic_a , italic_b ] end_POSTSUBSCRIPT ( italic_γ ) is the indicator function on [a,b]𝑎𝑏[a,b][ italic_a , italic_b ] (unity within the interval, and zero outside it), and 𝒩(α)𝒩𝛼\mathcal{N}(\alpha)caligraphic_N ( italic_α ) is the normalization parameter. In this case, the noise spectral density is well approximated by P(f)P0/|f|α𝑃𝑓subscript𝑃0superscript𝑓𝛼P(f)\approx P_{0}/\absolutevalue{f}^{\alpha}italic_P ( italic_f ) ≈ italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / | start_ARG italic_f end_ARG | start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT [56] in the bulk of the spectrum fmin|f|fmaxless-than-or-similar-tosubscript𝑓𝑓less-than-or-similar-tosubscript𝑓f_{\min}\lesssim\absolutevalue{f}\lesssim f_{\max}italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT ≲ | start_ARG italic_f end_ARG | ≲ italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. The spectrum plateaus at ffminless-than-or-similar-to𝑓subscript𝑓f\lesssim f_{\min}italic_f ≲ italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT and rapidly decays as 1/f21superscript𝑓21/f^{2}1 / italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT at ffmaxgreater-than-or-equivalent-to𝑓subscript𝑓f\gtrsim f_{\max}italic_f ≳ italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT, and the cutoff frequencies are given by fmin=γmin/π,fmax=γmax/πformulae-sequencesubscript𝑓subscript𝛾𝜋subscript𝑓subscript𝛾𝜋f_{\min}={\gamma_{\min}}/{\pi},\ f_{\max}={\gamma_{\max}}/{\pi}italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT / italic_π , italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT / italic_π [32]. Note that the relationship between the noise spectral level P0=P(1 Hz)subscript𝑃0𝑃1 HzP_{0}=P(\text{1 Hz})italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_P ( 1 Hz ) and its energy R0subscript𝑅0R_{0}italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT depends on the spectral exponent α𝛼\alphaitalic_α:

P0=R04sinπα2×{1/ln(fmax/fmin),α=1,(1α)/(fmax1αfmin1α),α1.subscript𝑃0subscript𝑅04𝜋𝛼2cases1subscript𝑓subscript𝑓𝛼11𝛼superscriptsubscript𝑓1𝛼superscriptsubscript𝑓1𝛼𝛼1P_{0}=\frac{R_{0}}{4\sin\frac{\pi\alpha}{2}}\times\begin{cases}1/\ln(f_{\max}/% f_{\min}),&\alpha=1,\\[5.0pt] \left({1-\alpha}\right)/{\left(f_{\max}^{1-\alpha}-f_{\min}^{1-\alpha}\right)}% ,&\alpha\neq 1.\end{cases}italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 4 roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG × { start_ROW start_CELL 1 / roman_ln ( start_ARG italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT / italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT end_ARG ) , end_CELL start_CELL italic_α = 1 , end_CELL end_ROW start_ROW start_CELL ( 1 - italic_α ) / ( italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT - italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT ) , end_CELL start_CELL italic_α ≠ 1 . end_CELL end_ROW (6)

Phenomenologically, we relate the low-frequency cutoff to the duration of the experiment Texpsubscript𝑇T_{\exp}italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT, which involves state preparation, quantum operations, and measurements: fmin1/Texpsimilar-tosubscript𝑓1subscript𝑇f_{\min}\sim 1/T_{\exp}italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT ∼ 1 / italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT, since all slower frequencies can be calibrated out [57]. The high frequency cutoff is determined by the parasitic capacitances of the device, so fmax/fmin1much-greater-thansubscript𝑓subscript𝑓1f_{\max}/f_{\min}\gg 1italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT / italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT ≫ 1.

The auto-correlation function of the ensemble of TLFs R(t1,t2)=(dRγ(t1,t2)/dEγ)(dE(γ)/dγ)dγ𝑅subscript𝑡1subscript𝑡2subscript𝑅𝛾subscript𝑡1subscript𝑡2subscript𝐸𝛾𝐸𝛾𝛾𝛾R(t_{1},t_{2})=\int\left({\differential R_{\gamma}(t_{1},t_{2})}/{% \differential E_{\gamma}}\right)\left({\differential{E(\gamma)}}/{% \differential{\gamma}}\right)\differential\gammaitalic_R ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ∫ ( start_DIFFOP roman_d end_DIFFOP italic_R start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) / start_DIFFOP roman_d end_DIFFOP italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) ( roman_d start_ARG italic_E ( italic_γ ) end_ARG / roman_d start_ARG italic_γ end_ARG ) start_DIFFOP roman_d end_DIFFOP italic_γ can be expressed analytically in terms of the generalized exponential integrals Eα(z)=1dsezs/sαsubscript𝐸𝛼𝑧superscriptsubscript1𝑠superscript𝑒𝑧𝑠superscript𝑠𝛼E_{\alpha}(z)=\int_{1}^{\infty}\differential{s}{e^{-zs}}/{s^{\alpha}}\ italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_z ) = ∫ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT roman_d start_ARG italic_s end_ARG italic_e start_POSTSUPERSCRIPT - italic_z italic_s end_POSTSUPERSCRIPT / italic_s start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT:

R(t1,t2)=4P0sinπα2[fmin1αEα(2πfmin|t1t2|)fmax1αEα(2πfmax|t1t2|)].𝑅subscript𝑡1subscript𝑡24subscript𝑃0𝜋𝛼2delimited-[]superscriptsubscript𝑓1𝛼subscript𝐸𝛼2𝜋subscript𝑓subscript𝑡1subscript𝑡2superscriptsubscript𝑓1𝛼subscript𝐸𝛼2𝜋subscript𝑓subscript𝑡1subscript𝑡2\!\!\!R(t_{1},t_{2})={4P_{0}}\sin\!\frac{\pi\alpha}{2}\left[f_{\min}^{1-\alpha% }E_{\alpha}(2\pi f_{\min}\absolutevalue{t_{1}-t_{2}})\right.\qquad\\ -\left.{f_{\max}^{1-\alpha}}E_{\alpha}(2\pi f_{\max}\absolutevalue{t_{1}-t_{2}% })\right].\!\!\!start_ROW start_CELL italic_R ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 4 italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG [ italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( 2 italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | ) end_CELL end_ROW start_ROW start_CELL - italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( 2 italic_π italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | ) ] . end_CELL end_ROW (7)

Figure 1 compares the auto-correlation functions [Eq. (7)] and power spectral densities of stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises with a fixed energy R0subscript𝑅0R_{0}italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, and spectral levels P0subscript𝑃0P_{0}italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT given by Eq. (6).

Refer to caption
Figure 1: Normalized auto-correlation and power spectral density of the ensemble of TLFs distributed according to Eq. (5). Here, Δt=|t1t2|Δ𝑡subscript𝑡1subscript𝑡2\Delta t=\absolutevalue{t_{1}-t_{2}}roman_Δ italic_t = | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG |, and fmax/fmin=106subscript𝑓subscript𝑓superscript106f_{\max}/f_{\min}=10^{6}italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT / italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT.

Exchange pulses are typically short compared to the length of an experiment: T/Texp1much-less-than𝑇subscript𝑇1T/T_{\exp}\ll 1italic_T / italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ≪ 1. Physically, this means that on the timescale T𝑇Titalic_T of a single exchange pulse, the noise manifests itself as a random miscalibration of voltage potential with infrequent TLF jumps. Then, we can use the series expansion of Eα(z)subscript𝐸𝛼𝑧E_{\alpha}(z)italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_z ) for small z=2πfmin|t1t2|𝑧2𝜋subscript𝑓subscript𝑡1subscript𝑡2z=2\pi f_{\min}\absolutevalue{t_{1}-t_{2}}italic_z = 2 italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | near z0𝑧0z\rightarrow 0italic_z → 0 [58]:

Eα(z)={Cln(z)+O(z),α=1,11α[zα1Γ(2α)1]+O(z),α1,subscript𝐸𝛼𝑧cases𝐶𝑧𝑂𝑧𝛼111𝛼delimited-[]superscript𝑧𝛼1Γ2𝛼1𝑂𝑧𝛼1E_{\alpha}(z)=\!\begin{cases}-C-\ln(z)+O(z),&\alpha=1,\\ \frac{1}{1-\alpha}\!\left[{z^{\alpha-1}\Gamma(2-\alpha)-1}\right]+O(z),&\alpha% \neq 1,\end{cases}italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_z ) = { start_ROW start_CELL - italic_C - roman_ln ( start_ARG italic_z end_ARG ) + italic_O ( italic_z ) , end_CELL start_CELL italic_α = 1 , end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 1 - italic_α end_ARG [ italic_z start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT roman_Γ ( 2 - italic_α ) - 1 ] + italic_O ( italic_z ) , end_CELL start_CELL italic_α ≠ 1 , end_CELL end_ROW (8)

where C0.577𝐶0.577C\approx 0.577italic_C ≈ 0.577 is Euler-Mascheroni constant, and Γ(2α)Γ2𝛼\Gamma(2-\alpha)roman_Γ ( 2 - italic_α ) is the gamma function. Note that the the weak singularity in case of α(0,1]𝛼01\alpha\in(0,1]italic_α ∈ ( 0 , 1 ] is integrated out in the expression (3) for average infidelity. This allows us to drop the last term in the brackets of the auto-correlation formula (7), negligible for all significantly nonzero time differences |t1t2|1/fmaxgreater-than-or-equivalent-tosubscript𝑡1subscript𝑡21subscript𝑓|t_{1}-t_{2}|\gtrsim 1/f_{\max}| italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | ≳ 1 / italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT, without being concerned about regularization. In Appendix C, we improve this approximation from Eq. (8) for longer exchange pulses (TTexpsimilar-to𝑇subscript𝑇T\sim T_{\exp}italic_T ∼ italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT) and show how to minimize the Lagrangian [Eq. (4)] in this case. Additionally, in Appendix A, we derive the operator representation of auto-correlation and prove the existence of the optimal SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT exchange pulse shape for an arbitrary ensemble of TLFs.

Fractional operators.— To find the operator representation of auto-correlation, we utilize integrals and derivatives of fractional orders [42]. Let Lp(a,b)superscript𝐿𝑝𝑎𝑏L^{p}(a,b)italic_L start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_a , italic_b ) denote a Banach space of Lebesgue-integrable real functions φ:(a,b):𝜑𝑎𝑏\varphi:(a,b)\rightarrow\mathbbm{R}italic_φ : ( italic_a , italic_b ) → blackboard_R with finite p𝑝pitalic_p-norm (1p<1𝑝1\leq p<\infty1 ≤ italic_p < ∞) [59]. Then, for an absolutely integrable φ(x)L1(a,b)𝜑𝑥superscript𝐿1𝑎𝑏\varphi(x)\in L^{1}(a,b)italic_φ ( italic_x ) ∈ italic_L start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_a , italic_b ), the left- and right-sided Riemann-Liouville fractional integral operators of order β>0𝛽0\beta>0italic_β > 0, Iβasubscriptsuperscript𝐼𝛽𝑎{}_{a}{I}^{\beta}start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT and Ibβsuperscriptsubscript𝐼𝑏𝛽{I}_{b}^{\beta}italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT, are defined as follows:

(Iβaφ)(x)=1Γ(β)ax(xs)β1φ(s)ds,(Ibβφ)(x)=1Γ(β)xb(sx)β1φ(s)ds.formulae-sequencesubscriptsuperscript𝐼𝛽𝑎𝜑𝑥1Γ𝛽superscriptsubscript𝑎𝑥superscript𝑥𝑠𝛽1𝜑𝑠𝑠superscriptsubscript𝐼𝑏𝛽𝜑𝑥1Γ𝛽superscriptsubscript𝑥𝑏superscript𝑠𝑥𝛽1𝜑𝑠𝑠\begin{gathered}\left({}_{a}{I}^{\beta}\varphi\right)(x)=\frac{1}{\Gamma(\beta% )}\int_{a}^{x}(x-s)^{\beta-1}\varphi(s)\differential{s},\\ \left({I}_{b}^{\beta}\varphi\right)(x)=\frac{1}{\Gamma(\beta)}\int_{x}^{b}(s-x% )^{\beta-1}\varphi(s)\differential{s}.\end{gathered}start_ROW start_CELL ( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_x ) = divide start_ARG 1 end_ARG start_ARG roman_Γ ( italic_β ) end_ARG ∫ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ( italic_x - italic_s ) start_POSTSUPERSCRIPT italic_β - 1 end_POSTSUPERSCRIPT italic_φ ( italic_s ) roman_d start_ARG italic_s end_ARG , end_CELL end_ROW start_ROW start_CELL ( italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_x ) = divide start_ARG 1 end_ARG start_ARG roman_Γ ( italic_β ) end_ARG ∫ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT ( italic_s - italic_x ) start_POSTSUPERSCRIPT italic_β - 1 end_POSTSUPERSCRIPT italic_φ ( italic_s ) roman_d start_ARG italic_s end_ARG . end_CELL end_ROW (9)

The corresponding kernel functions on (a,b)𝑎𝑏(a,b)( italic_a , italic_b ) can be written in terms of indicator functions, for instance:

Iβa(x,s)=[(xs)β1/Γ(β)]𝟙[a,x](s),subscriptsuperscript𝐼𝛽𝑎𝑥𝑠delimited-[]superscript𝑥𝑠𝛽1Γ𝛽subscript1𝑎𝑥𝑠{}_{a}I^{\beta}(x,s)=\left[{(x-s)^{\beta-1}}/\,{\Gamma(\beta)}\right]\mathbbm{% 1}_{[a,x]}(s),start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ( italic_x , italic_s ) = [ ( italic_x - italic_s ) start_POSTSUPERSCRIPT italic_β - 1 end_POSTSUPERSCRIPT / roman_Γ ( italic_β ) ] blackboard_1 start_POSTSUBSCRIPT [ italic_a , italic_x ] end_POSTSUBSCRIPT ( italic_s ) , (10)

and similarly for Ibβ(x,s)superscriptsubscript𝐼𝑏𝛽𝑥𝑠I_{b}^{\beta}(x,s)italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ( italic_x , italic_s ). Integrals (9) have inverse operators known as the Riemann-Liouville fractional derivatives. For functions φ(x)𝜑𝑥\varphi(x)italic_φ ( italic_x ) with IβaφL1(a,b)subscriptsuperscript𝐼𝛽𝑎𝜑superscript𝐿1𝑎𝑏{}_{a}I^{\beta}\varphi\in L^{1}(a,b)start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ∈ italic_L start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_a , italic_b ) or IbβφL1(a,b)superscriptsubscript𝐼𝑏𝛽𝜑superscript𝐿1𝑎𝑏I_{b}^{\beta}\varphi\in L^{1}(a,b)italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ∈ italic_L start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( italic_a , italic_b ), respectively, they are defined as combinations of ordinary differentiation and fractional integration:

Dβaφ=(d/dx)a[β]+1I1{β}φ,Dbβφ=(d/dx)[β]+1Ib1{β}φ,formulae-sequencesubscriptsuperscript𝐷𝛽𝑎𝜑subscriptsuperscriptabsent𝑥delimited-[]𝛽1𝑎superscript𝐼1𝛽𝜑superscriptsubscript𝐷𝑏𝛽𝜑superscriptabsent𝑥delimited-[]𝛽1superscriptsubscript𝐼𝑏1𝛽𝜑\begin{gathered}{}_{a}D^{\beta}\varphi=\left({\differential{}}/{\differential{% x}}\right)^{\![\beta]+1}{\!\!}_{a}I^{1-\{\beta\}}\varphi,\\ D_{b}^{\beta}\varphi=\left(-{\differential{}}/{\differential{x}}\right)^{\![% \beta]+1}\!\!I_{b}^{1-\{\beta\}}\varphi,\end{gathered}start_ROW start_CELL start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ = ( roman_d start_ARG end_ARG / roman_d start_ARG italic_x end_ARG ) start_POSTSUPERSCRIPT [ italic_β ] + 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT 1 - { italic_β } end_POSTSUPERSCRIPT italic_φ , end_CELL end_ROW start_ROW start_CELL italic_D start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ = ( - roman_d start_ARG end_ARG / roman_d start_ARG italic_x end_ARG ) start_POSTSUPERSCRIPT [ italic_β ] + 1 end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - { italic_β } end_POSTSUPERSCRIPT italic_φ , end_CELL end_ROW (11)

where [β]delimited-[]𝛽[\beta]\in\mathbb{Z}[ italic_β ] ∈ blackboard_Z and {β}[0,1)𝛽01\{\beta\}\in[0,1){ italic_β } ∈ [ 0 , 1 ) are the integer and fractional parts of β𝛽\betaitalic_β, respectively: β=[β]+{β}𝛽delimited-[]𝛽𝛽\beta=[\beta]+\{\beta\}italic_β = [ italic_β ] + { italic_β }. Importantly, Iβasubscriptsuperscript𝐼𝛽𝑎{}_{a}I^{\beta}start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT and Ibβsuperscriptsubscript𝐼𝑏𝛽I_{b}^{\beta}italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT are conjugate operators [60] with respect to the inner product:

(φ,Iβaψ)=(Ibβφ,ψ),(Iβa)=Ibβ,formulae-sequence𝜑subscriptsuperscript𝐼𝛽𝑎𝜓superscriptsubscript𝐼𝑏𝛽𝜑𝜓superscriptsubscriptsuperscript𝐼𝛽𝑎superscriptsubscript𝐼𝑏𝛽\quantity\big(\varphi,\ {}_{a}I^{\beta}\psi)=\quantity\big(I_{b}^{\beta}% \varphi,\ \psi),\qquad\left({}_{a}I^{\beta}\right)^{*}=I_{b}^{\beta},( start_ARG italic_φ , start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_ψ end_ARG ) = ( start_ARG italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ , italic_ψ end_ARG ) , ( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT , (12)

for the properly Lebesgue integrable φ,ψ𝜑𝜓\varphi,\psiitalic_φ , italic_ψ 222 The conjugation relation (12) for β>0𝛽0\beta>0italic_β > 0 holds for φ(x)Lp(a,b)𝜑𝑥superscript𝐿𝑝𝑎𝑏\varphi(x)\in L^{p}(a,b)italic_φ ( italic_x ) ∈ italic_L start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_a , italic_b ), ψ(x)Lq(a,b)𝜓𝑥superscript𝐿𝑞𝑎𝑏\psi(x)\in L^{q}(a,b)italic_ψ ( italic_x ) ∈ italic_L start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ( italic_a , italic_b ) satisfying p,q1𝑝𝑞1\ p,q\geq 1italic_p , italic_q ≥ 1, and p1+q11+βsuperscript𝑝1superscript𝑞11𝛽{p}^{-1}+{q}^{-1}\leq 1+\betaitalic_p start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + italic_q start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≤ 1 + italic_β; in case of equality, p,q1𝑝𝑞1p,q\neq 1italic_p , italic_q ≠ 1.. For functions φ(x)𝜑𝑥\varphi(x)italic_φ ( italic_x ) with certain regularity conditions near the boundaries such as Ib1βφxb0superscriptsubscript𝐼𝑏1𝛽𝜑𝑥𝑏0I_{b}^{1-\beta}\varphi\overset{x\rightarrow b}{\longrightarrow}0italic_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_β end_POSTSUPERSCRIPT italic_φ start_OVERACCENT italic_x → italic_b end_OVERACCENT start_ARG ⟶ end_ARG 0, the conjugation rule for derivatives holds as well: (Dβa)=Dbβsuperscriptsubscriptsuperscript𝐷𝛽𝑎superscriptsubscript𝐷𝑏𝛽\left({}_{a}D^{\beta}\right)^{*}=D_{b}^{\beta}( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT italic_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT [60].

Riemann-Liouville operators straightforwardly generalize the conventional derivatives and integrals of power functions: left-sided operations that act on (xa)κsuperscript𝑥𝑎𝜅(x-a)^{\kappa}( italic_x - italic_a ) start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT and right-sided ones that act on (bx)κsuperscript𝑏𝑥𝜅(b-x)^{\kappa}( italic_b - italic_x ) start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT. For example, aDβ(xa)κ=Γ(κ+1)Γ(κβ+1)(xa)κβ.{\ }_{a}D^{\beta}(x-a)^{\kappa}=\frac{\Gamma(\kappa+1)}{\Gamma(\kappa-\beta+1)% }(x-a)^{\kappa-\beta}.start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ( italic_x - italic_a ) start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT = divide start_ARG roman_Γ ( italic_κ + 1 ) end_ARG start_ARG roman_Γ ( italic_κ - italic_β + 1 ) end_ARG ( italic_x - italic_a ) start_POSTSUPERSCRIPT italic_κ - italic_β end_POSTSUPERSCRIPT .

Optimal shapes.—

Refer to caption
Figure 2: Quantum operation performance in a stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise environment. (a) Voltage/exchange pulses of four distinct shapes that generate a SWAPSWAP\mathrm{SWAP}roman_SWAP operation, shown for T=10𝑇10T=10italic_T = 10 ns. The optimal pulse shape from Eq. (Quantum optimal control robust to 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises using fractional calculus: voltage-controlled exchange in semiconductor spin qubits) is shown for α=1.4𝛼1.4\alpha=1.4italic_α = 1.4. (b) Average infidelity as a function of pulse length for two values of α𝛼\alphaitalic_α. (c) Average infidelity as a function of α𝛼\alphaitalic_α for two values of pulse length. In (b) and (c), frequency cutoffs and noise energy are set to fmin=10subscript𝑓10f_{\min}=10italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 10 kHz, fmax=10subscript𝑓10f_{\max}=10italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 10 GHz, R0=1subscript𝑅01R_{0}=1italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 mV2.

For α1𝛼1\alpha\neq 1italic_α ≠ 1, we now use formulae (7) and (8) to write the dominant contribution to auto-correlation in terms of normalized times τ1,2=t1,2/T[0,1]subscript𝜏12subscript𝑡12𝑇01\tau_{1,2}=t_{1,2}/T\in[0,1]italic_τ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT = italic_t start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT / italic_T ∈ [ 0 , 1 ], and a small parameter θ=2πfminTT/Texp1𝜃2𝜋subscript𝑓𝑇similar-to𝑇subscript𝑇much-less-than1\theta=2\pi f_{\min}T\sim T/T_{\exp}\ll 1italic_θ = 2 italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT italic_T ∼ italic_T / italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ≪ 1:

R(τ1,τ2)4P0sinπα2fmin1α1α[θα1Γ(2α)|τ1τ2|1α1].𝑅subscript𝜏1subscript𝜏24subscript𝑃0𝜋𝛼2superscriptsubscript𝑓1𝛼1𝛼superscript𝜃𝛼1Γ2𝛼superscriptsubscript𝜏1subscript𝜏21𝛼1R(\tau_{1},\tau_{2})\approx\frac{4P_{0}\sin\!\frac{\pi\alpha}{2}f_{\min}^{1-% \alpha}}{1-\alpha}\quantity\Bigg[\frac{\theta^{\alpha-1}\Gamma({2-\alpha})}{% \absolutevalue{\tau_{1}-\tau_{2}}^{1-\alpha}}-1].italic_R ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ≈ divide start_ARG 4 italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT end_ARG start_ARG 1 - italic_α end_ARG [ start_ARG divide start_ARG italic_θ start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT roman_Γ ( 2 - italic_α ) end_ARG start_ARG | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT end_ARG - 1 end_ARG ] . (13)

For α(0,1)𝛼01\alpha\in(0,1)italic_α ∈ ( 0 , 1 ), the expression |τ1τ2|α1superscriptsubscript𝜏1subscript𝜏2𝛼1{\absolutevalue{\tau_{1}-\tau_{2}}^{\alpha-1}}| start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT has a symmetric integral representation [62]:

|τ1τ2|α1=π01dsK(τ1,s)K(τ2,s)dsΓ(1α)sinπα2,superscriptsubscript𝜏1subscript𝜏2𝛼1𝜋superscriptsubscript01𝑠𝐾subscript𝜏1𝑠𝐾subscript𝜏2𝑠𝑠Γ1𝛼𝜋𝛼2{\absolutevalue{\tau_{1}-\tau_{2}}^{\alpha-1}}=\frac{\pi\int_{0}^{1}% \differential{s}K(\tau_{1},s)K(\tau_{2},s)\differential{s}}{\Gamma\left(1-{% \alpha}\right)\sin\frac{\pi\alpha}{2}},| start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT = divide start_ARG italic_π ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_d start_ARG italic_s end_ARG italic_K ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_s ) italic_K ( italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_s ) roman_d start_ARG italic_s end_ARG end_ARG start_ARG roman_Γ ( 1 - italic_α ) roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG , (14)

with K(τ,s)=τα/2Γ(α/2)(τs)α/21sα/2 1[0,τ](s).𝐾𝜏𝑠superscript𝜏𝛼2Γ𝛼2superscript𝜏𝑠𝛼21superscript𝑠𝛼2subscript10𝜏𝑠K(\tau,s)=\frac{\tau^{\alpha/2}}{\Gamma\left({\alpha}/{2}\right)}(\tau-s)^{{% \alpha}/{2}-1}\;s^{-\alpha/2}\ \mathbbm{1}_{[0,\tau]}(s).italic_K ( italic_τ , italic_s ) = divide start_ARG italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Γ ( italic_α / 2 ) end_ARG ( italic_τ - italic_s ) start_POSTSUPERSCRIPT italic_α / 2 - 1 end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT blackboard_1 start_POSTSUBSCRIPT [ 0 , italic_τ ] end_POSTSUBSCRIPT ( italic_s ) . Formula (10) suggests that K(τ,s)𝐾𝜏𝑠K\left({\tau,s}\right)italic_K ( italic_τ , italic_s ) has a fractional operator representation: K^=τα/2Iα/20τα/2.^𝐾superscript𝜏𝛼2subscriptsuperscript𝐼𝛼20superscript𝜏𝛼2\hat{K}=\tau^{\alpha/2}\;{}_{0}I^{\alpha/2}\tau^{-\alpha/2}.over^ start_ARG italic_K end_ARG = italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT . Thus, |τ1τ2|α1superscriptsubscript𝜏1subscript𝜏2𝛼1{\absolutevalue{\tau_{1}-\tau_{2}}^{\alpha-1}}| start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT corresponds to a self-adjoint operator proportional to K^K^.^𝐾superscript^𝐾\hat{K}\hat{K}^{*}.over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT . Introducing M=K^S=τα/2I1α/2τα/2S𝑀superscript^𝐾𝑆superscript𝜏𝛼2superscriptsubscript𝐼1𝛼2superscript𝜏𝛼2𝑆M=\hat{K}^{*}S=\tau^{-\alpha/2}I_{1}^{\alpha/2}\tau^{\alpha/2}Sitalic_M = over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S = italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_S, we obtain the Lagrangian from Eq. (4):

Λ[M][(M,M)θ1αsinπα2π(1α)]λ(K^11,M),proportional-toΛdelimited-[]𝑀𝑀𝑀superscript𝜃1𝛼𝜋𝛼2𝜋1𝛼𝜆superscript^𝐾11𝑀\Lambda[M]\propto\quantity\bigg[(M,M)-\frac{\theta^{1-\alpha}\sin\frac{\pi% \alpha}{2}}{\pi(1-\alpha)}]-\lambda(\hat{K}^{-1}1,M),roman_Λ [ italic_M ] ∝ [ start_ARG ( italic_M , italic_M ) - divide start_ARG italic_θ start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_π ( 1 - italic_α ) end_ARG end_ARG ] - italic_λ ( over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 , italic_M ) ,

which is a quadratic, positive-definite functional of M𝑀Mitalic_M. From δΛ/δM=0𝛿Λ𝛿𝑀0{\delta\Lambda}/{\delta M}=0italic_δ roman_Λ / italic_δ italic_M = 0, we thus obtain the minimizer Mopt(τ)τ0α/2Dα/2(τα/2)τα/2proportional-tosubscript𝑀opt𝜏subscriptsuperscript𝜏𝛼20superscript𝐷𝛼2superscript𝜏𝛼2proportional-tosuperscript𝜏𝛼2M_{\text{opt}}(\tau)\propto\tau^{\alpha/2}{\,}_{0}D^{\alpha/2}\left(\tau^{-% \alpha/2}\right)\propto\tau^{-\alpha/2}italic_M start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) ∝ italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_D start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT ( italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT ) ∝ italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT. Finally, using S=τα/2D1α/2τα/2M𝑆superscript𝜏𝛼2superscriptsubscript𝐷1𝛼2superscript𝜏𝛼2𝑀S=\tau^{-\alpha/2}D_{1}^{\alpha/2}\tau^{\alpha/2}Mitalic_S = italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_M and normalizing to (1,S)=11𝑆1(1,S)=1( 1 , italic_S ) = 1, we determine the optimal shape of exchange pulse:

Sopt(τ)=τα/2(1τ)α/2B(1α2,1α2),subscript𝑆opt𝜏superscript𝜏𝛼2superscript1𝜏𝛼2𝐵1𝛼21𝛼2S_{\text{opt}}(\tau)=\frac{\tau^{-{\alpha}/{2}}(1-\tau)^{-{\alpha}/{2}}}{B% \left(1-\frac{\alpha}{2},1-\frac{\alpha}{2}\right)},italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = divide start_ARG italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT ( 1 - italic_τ ) start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_B ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG , (15)

where B(a,b)=Γ(a)Γ(b)/Γ(a+b)𝐵𝑎𝑏Γ𝑎Γ𝑏Γ𝑎𝑏B(a,b)=\Gamma(a)\Gamma(b)/\Gamma(a+b)italic_B ( italic_a , italic_b ) = roman_Γ ( italic_a ) roman_Γ ( italic_b ) / roman_Γ ( italic_a + italic_b ) is beta function.

In case of α>1𝛼1\alpha>1italic_α > 1, we utilize the expression originally derived by Decreusefond and Üstünel [63] for fractional Brownian motion, a non-stationary stochastic process that will be briefly discussed later:

|τ1τ2|α1superscriptsubscript𝜏1subscript𝜏2𝛼1\displaystyle-\absolutevalue{\tau_{1}-\tau_{2}}^{\alpha-1}- | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT =π(α1)K^fbmK^fbmΓ(2α)sinπα2(τ1α1+τ2α1),absent𝜋𝛼1superscriptsubscript^𝐾fbmabsentsuperscriptsubscript^𝐾fbmΓ2𝛼𝜋𝛼2superscriptsubscript𝜏1𝛼1superscriptsubscript𝜏2𝛼1\displaystyle=\frac{\pi(\alpha-1)\hat{K}_{\textsc{fbm}}^{\,}\hat{K}_{\textsc{% fbm}}^{*}}{\Gamma(2-\alpha)\sin\frac{\pi\alpha}{2}}-\left(\tau_{1}^{\alpha-1}+% \tau_{2}^{\alpha-1}\right),= divide start_ARG italic_π ( italic_α - 1 ) over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG start_ARG roman_Γ ( 2 - italic_α ) roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG - ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT + italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT ) , (16)
K^fbmsuperscriptsubscript^𝐾fbmabsent\displaystyle\hat{K}_{\textsc{fbm}}^{\,}over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT =Iα10τ01α/2I1α/2τα/21.absentsubscriptsuperscript𝐼𝛼10subscriptsuperscript𝜏1𝛼20superscript𝐼1𝛼2superscript𝜏𝛼21\displaystyle={}_{0}I^{\alpha-1}{\,}\tau^{1-{\alpha}/{2}}{{\,}}_{0}I^{1-{% \alpha}/{2}}{\,}\tau^{{\alpha}/{2}-1}.= start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT 1 - italic_α / 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT 1 - italic_α / 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_α / 2 - 1 end_POSTSUPERSCRIPT .

Just as above, the Lagrangian from Eq. (4) becomes a positive-definite functional of M=K^fbmS𝑀superscriptsubscript^𝐾fbm𝑆M=\hat{K}_{\textsc{fbm}}^{*}Sitalic_M = over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S, and the same minimization procedure applies. We derive in Appendix B that the optimal shape Sopt(τ)subscript𝑆opt𝜏S_{\text{opt}}(\tau)italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) is given by the same expression (15) for 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises with any α(0,2)𝛼02\alpha\in(0,2)italic_α ∈ ( 0 , 2 ). To show this in the limiting case of α=1𝛼1\alpha=1italic_α = 1, we utilize the Chebyshev polynomial basis expansion of auto-correlation instead of fractional calculus.

Numerical analysis.— We obtained analytically that the shape of a voltage-controlled exchange pulse J(V(t))𝐽(𝑉𝑡)J\textbf{(}V(t)\textbf{)}italic_J ( italic_V ( italic_t ) ) giving optimal performance in the presence of stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise is a symmetric beta distribution function with parameter 1α/21𝛼21-\alpha/21 - italic_α / 2 [Eq. (15)]. The corresponding voltage pulse V(t)=V0+ln[J(t)/J(V0)]/ϰ𝑉𝑡subscript𝑉0𝐽𝑡𝐽subscript𝑉0italic-ϰV(t)=V_{0}+\ln\left[J(t)/J(V_{0})\right]/\varkappaitalic_V ( italic_t ) = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_ln [ italic_J ( italic_t ) / italic_J ( italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) ] / italic_ϰ then becomes:

Vopt(t)=V01ϰln[J(V0)TB(1α2,1α2)/πk]subscript𝑉opt𝑡subscript𝑉01italic-ϰ𝐽subscript𝑉0𝑇𝐵1𝛼21𝛼2𝜋𝑘Planck-constant-over-2-pi\displaystyle V_{\text{opt}}(t)=V_{0}-\tfrac{1}{\varkappa}\ln\left[{J(V_{0})T% \,B\!\left(1-\tfrac{\alpha}{2},1-\tfrac{\alpha}{2}\right)}/{\pi k\hbar}\right]\qquaditalic_V start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_t ) = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_ϰ end_ARG roman_ln [ italic_J ( italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_T italic_B ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) / italic_π italic_k roman_ℏ ]
(α/2ϰ)ln[tT(1tT)].𝛼2italic-ϰ𝑡𝑇1𝑡𝑇\displaystyle-\left({\alpha}/{2\varkappa}\right)\,\ln\!\left[\tfrac{t}{T}\left% (1-\tfrac{t}{T}\right)\right]\!.\ \qquad- ( italic_α / 2 italic_ϰ ) roman_ln [ divide start_ARG italic_t end_ARG start_ARG italic_T end_ARG ( 1 - divide start_ARG italic_t end_ARG start_ARG italic_T end_ARG ) ] . (17)

Experimentally, the voltage pulse would be a non-singular approximation to this function, and ensure a small idle value of exchange before and after each pulse J(t=0,T)/Tmuch-less-than𝐽𝑡0𝑇Planck-constant-over-2-pi𝑇J(t=0,T)\ll\hbar/Titalic_J ( italic_t = 0 , italic_T ) ≪ roman_ℏ / italic_T.

The numerically calculated dependencies of average infidelity [Eq. (3)] on pulse length, shape, and noise spectral exponent α𝛼\alphaitalic_α are given in Figure 2. We utilize the exact expression for auto-correlation (7), assuming the same total energy R0subscript𝑅0R_{0}italic_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT for all noise processes with different α𝛼\alphaitalic_α. The amplitudes and widths of all pulses shown in Fig. 2(a) are adjusted to perform a SWAPSWAP\mathrm{SWAP}roman_SWAP gate operation with k=1𝑘1k=1italic_k = 1. For example, a Gaussian shape of exchange pulse S(τ)exp((τ1/2)2/2σ2)proportional-to𝑆𝜏superscript𝜏1222superscript𝜎2S(\tau)\propto\exp({-(\tau-1/2)^{2}/2\sigma^{2}})italic_S ( italic_τ ) ∝ roman_exp ( start_ARG - ( italic_τ - 1 / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) corresponds to a parabolic voltage pulse, and the exponential-of-Gaussian exchange S(τ)exp[hexp((τ1/2)2/2σ2)]proportional-to𝑆𝜏superscript𝜏1222superscript𝜎2S(\tau)\propto\exp\left[h\exp({-(\tau-1/2)^{2}/2\sigma^{2}})\right]italic_S ( italic_τ ) ∝ roman_exp [ italic_h roman_exp ( start_ARG - ( italic_τ - 1 / 2 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] is realized with a Gaussian voltage pulse. We fix σ=0.12,h=10formulae-sequence𝜎0.1210\sigma=0.12,h=10italic_σ = 0.12 , italic_h = 10 henceforth. Device-specific parameters are adapted from the full-configuration-interaction calculation for a Si/SiO2 double quantum dot with a tunneling gate voltage control of exchange [64]: V0=0.04subscript𝑉00.04V_{0}=0.04italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.04 V, J(V0)=0.01μ𝐽subscript𝑉00.01𝜇J(V_{0})=0.01\ \muitalic_J ( italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) = 0.01 italic_μeV, ϰ=80italic-ϰ80\varkappa=80italic_ϰ = 80 V-1. Gates with other values of k𝑘kitalic_k such as SWAPSWAP\sqrt{\mathrm{SWAP}}square-root start_ARG roman_SWAP end_ARG with k=12𝑘12k=\frac{1}{2}italic_k = divide start_ARG 1 end_ARG start_ARG 2 end_ARG are straightforward to analyze in the same fashion due to the relation k2proportional-todelimited-⟨⟩superscript𝑘2\left<\mathscr{F}\right>\propto k^{2}⟨ script_F ⟩ ∝ italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, independent of the noise model [Eq. (3)].

It is found that the optimal voltage pulses from Eq. (Quantum optimal control robust to 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises using fractional calculus: voltage-controlled exchange in semiconductor spin qubits) perform almost identically to square pulses. However, either shape reduces the average infidelity by up to a factor of 4 when compared to a Gaussian voltage pulse. The most important trend evident in Fig. 2(b) is the decrease in delimited-⟨⟩\left<\mathscr{F}\right>⟨ script_F ⟩ with the duration of the pulse, reaching a rate of 5.25.2-5.2- 5.2 dB/decade for α=0.5𝛼0.5\alpha=0.5italic_α = 0.5. It is consistent with the approximate expressions for auto-correlation: Asign(1α)(BTα11)𝐴sign1𝛼𝐵superscript𝑇𝛼11A\ \mathrm{sign}(1-\alpha)(B\,T^{\alpha-1}-1)italic_A roman_sign ( 1 - italic_α ) ( italic_B italic_T start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT - 1 ) for α1𝛼1\alpha\neq 1italic_α ≠ 1 [Eq. (13)], or ABln(T)𝐴𝐵𝑇A-B\,\ln(T)italic_A - italic_B roman_ln ( start_ARG italic_T end_ARG ) for α=1𝛼1\alpha=1italic_α = 1 [Eq. (29)] for some A,B>0𝐴𝐵0A,B>0italic_A , italic_B > 0, all of which are monotonically decreasing functions of T𝑇Titalic_T. This trend goes against the common strategy of making exchange pulses as short in time and high in amplitude as possible to minimize the impact of noise [50]. Our results therefore suggest an alternative strategy of using long, low-amplitude, and broad pulses: the exponential suppression of noise when J(t)𝐽𝑡J(t)italic_J ( italic_t ) is kept low throughout the pulse may outweigh the loss in fidelity due to background decoherence processes. Experimentally, we anticipate a “sweet spot” in pulse length. As T2subscript𝑇2T_{2}italic_T start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT values increase due to material and fabrication improvements, this strategy is expected to become more relevant.

As follows from Figs. 2(b, c), the gain in fidelity from the optimal choice of pulse length and shape is most significant for weakly correlated noise environments, i.e., with small values of α𝛼\alphaitalic_α. Such spectral behavior is observed, for example, when the cotributions of white and 1/f1𝑓1/f1 / italic_f flicker noises are both significant.

Comparison with non-stationary model.— We now investigate how a SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT gate performance is influenced by the non-stationarity of the noise process, which we choose to model as the fractional Brownian motion (fBm) [65]. This process bα(t)subscript𝑏𝛼𝑡b_{\alpha}(t)italic_b start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_t ) is characterized by bα(0)=0subscript𝑏𝛼00b_{\alpha}(0)=0italic_b start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( 0 ) = 0, statistical independence of increments, and auto-correlation function:

Rfbm(τ1,τ2)=2P0subscript𝑅fbmsubscript𝜏1subscript𝜏22subscript𝑃0\displaystyle R_{\textsc{fbm}}(\tau_{1},\tau_{2})=2P_{0}italic_R start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = 2 italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT (2πT)α1|Γ(1α)sinπα2|superscript2𝜋𝑇𝛼1Γ1𝛼𝜋𝛼2\displaystyle(2\pi T)^{\alpha-1}\absolutevalue{\Gamma(1-\alpha)\sin\frac{\pi% \alpha}{2}}\qquad( 2 italic_π italic_T ) start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT | start_ARG roman_Γ ( 1 - italic_α ) roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG |
×\displaystyle\times× (τ1α1+τ2α1|τ1τ2|α1).superscriptsubscript𝜏1𝛼1superscriptsubscript𝜏2𝛼1superscriptsubscript𝜏1subscript𝜏2𝛼1\displaystyle\left(\tau_{1}^{\alpha-1}+\tau_{2}^{\alpha-1}-\absolutevalue{\tau% _{1}-\tau_{2}}^{\alpha-1}\right)\!.\quad( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT + italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT - | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT ) . (18)

In the generalized sense of a Wigner-Ville spectrum P(t,f)𝑃𝑡𝑓P(t,f)italic_P ( italic_t , italic_f ) [66, 67], fBm demonstrates a desired spectral behavior P0/|f|αsubscript𝑃0superscript𝑓𝛼P_{0}/|f|^{\alpha}italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT / | italic_f | start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT asymptotically for t𝑡t\rightarrow\inftyitalic_t → ∞. Physically, the fBm model could be applicable to devices with a high density of charge traps, where charge transport was previously modeled with fractional differential equations [68, 69].

As shown in [63], expression (Quantum optimal control robust to 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises using fractional calculus: voltage-controlled exchange in semiconductor spin qubits) has an operator representation R^fbm=(2π)αP0Tα1K^fbmK^fbmsubscript^𝑅fbmsuperscript2𝜋𝛼subscript𝑃0superscript𝑇𝛼1subscript^𝐾fbmsuperscriptsubscript^𝐾fbm\hat{R}_{\textsc{fbm}}=(2\pi)^{\alpha}P_{0}\,T^{\alpha-1}\hat{K}_{\textsc{fbm}% }\hat{K}_{\textsc{fbm}}^{*}over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT = ( 2 italic_π ) start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, where K^fbmsubscript^𝐾fbm\hat{K}_{\textsc{fbm}}over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT for the subdiffusive fBm with α(1,2)𝛼12\alpha\in(1,2)italic_α ∈ ( 1 , 2 ) is defined in Eq. (16). The Lagrangian [Eq. (4)] then becomes a quadratic functional of M=K^fbmS𝑀superscriptsubscript^𝐾fbm𝑆M=\hat{K}_{\textsc{fbm}}^{*}Sitalic_M = over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S: Λ[M](M,M)λ(K^fbm11,M),proportional-toΛdelimited-[]𝑀𝑀𝑀𝜆superscriptsubscript^𝐾fbm11𝑀\Lambda[M]\propto(M,M)-\lambda(\hat{K}_{\textsc{fbm}}^{-1}1,M),roman_Λ [ italic_M ] ∝ ( italic_M , italic_M ) - italic_λ ( over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 , italic_M ) , with a variational minimizer given by the generalized function Mopt(τ)=λτ1α/2δ(τ0+)subscript𝑀opt𝜏superscript𝜆superscript𝜏1𝛼2𝛿𝜏superscript0M_{\text{opt}}(\tau)=\lambda^{\prime}\tau^{1-\alpha/2}\delta(\tau-0^{+})italic_M start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT 1 - italic_α / 2 end_POSTSUPERSCRIPT italic_δ ( italic_τ - 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ). This indicates that the normalized shape of exchange pulse must be delta-like: Sopt=δ(τ0+)subscript𝑆opt𝛿𝜏superscript0S_{\text{opt}}=\delta(\tau-0^{+})italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT = italic_δ ( italic_τ - 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ).

This result can be understood heuristically. Since Rfbm(τ1,τ2)subscript𝑅fbmsubscript𝜏1subscript𝜏2R_{\textsc{fbm}}(\tau_{1},\tau_{2})italic_R start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) is growing monotonically with respect to both variables, the effect of noise on fidelity will progressively worsen over time. Thus, making the pulse as localized near t=0𝑡0t=0italic_t = 0 as possible ensures minimal impact: (Sopt,R^fbmSopt)0,subscript𝑆optsubscript^𝑅fbmsubscript𝑆opt0(S_{\text{opt}},\hat{R}_{\textsc{fbm}}S_{\text{opt}})\rightarrow 0,( italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT , over^ start_ARG italic_R end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ) → 0 , [cf. Eq. (Quantum optimal control robust to 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises using fractional calculus: voltage-controlled exchange in semiconductor spin qubits)]. Likewise, the pulse length should be made as short as possible for optimal performance, which is consistent with (S,R^S)Tα1proportional-to𝑆^𝑅𝑆superscript𝑇𝛼1(S,\hat{R}S)\propto T^{\alpha-1}( italic_S , over^ start_ARG italic_R end_ARG italic_S ) ∝ italic_T start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT.

Conclusions.— In summary, we address the problem of voltage pulse design for quantum dot spin qubits in the presence of 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT charge noise numerically and analytically, using the framework of fractional calculus. Long, low-amplitude, and broad pulses on average yield significantly higher fidelities of SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT exchange gates in the presence of stationary noises, especially those with small α𝛼\alphaitalic_α values indicating weakly correlated noise environments. This is consistent with the result from [22] that dynamical decoupling need not contain ultrafast pulses for optimal performance. The common choice of short, high-amplitude pulses is thus advantageous only in case of a strongly non-stationary noise environment or systems with short coherence times. Strong exchange coupling regimes (105greater-than-or-equivalent-toabsentsuperscript105\gtrsim 10^{-5}≳ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT eV) thus may not be necessary for high-fidelity quantum operations. Finally, although we focused on the exchange-controlled two-spin SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT gates, the fractional operator representation method presented in this work is equally applicable to engineering other spin qubit Hamiltonians controlled with noisy voltage signals. These could include singlet-triplet or exchange-only spin qubits, where J(V(t))𝐽(𝑉𝑡)J\textbf{(}V(t)\textbf{)}italic_J ( italic_V ( italic_t ) ) pulses realize other quantum operations on logical qubits such as single-qubit rotations, or other effective spin couplings, arising, for example, from spin-orbit interaction.

Acknowledgements.
This research was undertaken thanks in part to funding from the Canada First Research Excellence Fund (Transformative Quantum Technologies) and the Natural Sciences and Engineering Research Council (NSERC) of Canada.

Appendix A Appendix A. Auto-correlation operator of a general stationary charge noise

Consider an ensemble of two-level fluctuators (TLFs) with an arbitrary energy density dE(γ)dγ0𝐸𝛾𝛾0\frac{\differential{E(\gamma)}}{\differential{\gamma}}\geq 0divide start_ARG roman_d start_ARG italic_E ( italic_γ ) end_ARG end_ARG start_ARG roman_d start_ARG italic_γ end_ARG end_ARG ≥ 0 due to a distribution of switching rates. We aim to express the auto-correlation function of such a noise process:

R(t1,t2)=0dγdE(γ)dγe2γ|t1t2|,𝑅subscript𝑡1subscript𝑡2superscriptsubscript0𝛾𝐸𝛾𝛾superscript𝑒2𝛾subscript𝑡1subscript𝑡2R(t_{1},t_{2})=\int_{0}^{\infty}\differential{\gamma}\frac{\differential{E(% \gamma)}}{\differential{\gamma}}\;e^{-2\gamma\absolutevalue{t_{1}-t_{2}}},italic_R ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT roman_d start_ARG italic_γ end_ARG divide start_ARG roman_d start_ARG italic_E ( italic_γ ) end_ARG end_ARG start_ARG roman_d start_ARG italic_γ end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_γ | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT , (19)

in terms of the non-singular Caputo-Fabrizio fractional integral operators [70]:

(βaφ)(t)=1βatφ(s)exp[1ββ(ts)]ds,(bβφ)(t)=1βtbφ(s)exp[1ββ(st)]ds.formulae-sequencesubscriptsuperscript𝛽𝑎𝜑𝑡1𝛽superscriptsubscript𝑎𝑡𝜑𝑠1𝛽𝛽𝑡𝑠𝑠superscriptsubscript𝑏𝛽𝜑𝑡1𝛽superscriptsubscript𝑡𝑏𝜑𝑠1𝛽𝛽𝑠𝑡𝑠\begin{gathered}\left({}_{a}\mathscr{I}^{\beta}\varphi\right)(t)=\frac{1}{% \beta}\int_{a}^{t}\varphi(s)\exp\left[-\tfrac{1-\beta}{\beta}(t-s)\right]% \differential{s},\\ \left(\mathscr{I}_{b}^{\beta}\varphi\right)(t)=\frac{1}{\beta}\int_{t}^{b}% \varphi(s)\exp\left[-\tfrac{1-\beta}{\beta}(s-t)\right]\differential{s}.\end{gathered}start_ROW start_CELL ( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_β end_ARG ∫ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_φ ( italic_s ) roman_exp [ - divide start_ARG 1 - italic_β end_ARG start_ARG italic_β end_ARG ( italic_t - italic_s ) ] roman_d start_ARG italic_s end_ARG , end_CELL end_ROW start_ROW start_CELL ( script_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_β end_ARG ∫ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_b end_POSTSUPERSCRIPT italic_φ ( italic_s ) roman_exp [ - divide start_ARG 1 - italic_β end_ARG start_ARG italic_β end_ARG ( italic_s - italic_t ) ] roman_d start_ARG italic_s end_ARG . end_CELL end_ROW (19)

The fractional derivative operators [71]:

a𝒟β=βddt+(1β),𝒟bβ=βddt+(1β),{\,}_{a}\mathscr{D}^{\beta}=\beta\frac{\differential{}}{\differential{t}}+(1-% \beta),\qquad\mathscr{D}_{b}^{\beta}=-\beta\frac{\differential{}}{% \differential{t}}+\left(1-\beta\right),start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT script_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT = italic_β divide start_ARG roman_d start_ARG end_ARG end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG + ( 1 - italic_β ) , script_D start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT = - italic_β divide start_ARG roman_d start_ARG end_ARG end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG + ( 1 - italic_β ) , (20)

are connected to the corresponding fractional integrals as follows:

(𝒟aβaβφ)(t)=φ(t),(aβa𝒟βφ)(t)=φ(t)φ(a)exp[1ββ(ta)].formulae-sequencesubscriptsubscriptsuperscript𝒟𝛽𝑎𝑎superscript𝛽𝜑𝑡𝜑𝑡subscriptsubscriptsuperscript𝛽𝑎𝑎superscript𝒟𝛽𝜑𝑡𝜑𝑡𝜑𝑎1𝛽𝛽𝑡𝑎\begin{gathered}\left({}_{a}\mathscr{D}^{\beta}{\,}_{a}\mathscr{I}^{\beta}% \varphi\right)\!(t)=\varphi(t),\\ \left({}_{a}\mathscr{I}^{\beta}{\,}_{a}\mathscr{D}^{\beta}\varphi\right)\!(t)=% \varphi(t)-\varphi(a)\exp\left[-\tfrac{1-\beta}{\beta}(t-a)\right].\end{gathered}start_ROW start_CELL ( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT script_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT script_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_t ) = italic_φ ( italic_t ) , end_CELL end_ROW start_ROW start_CELL ( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT script_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_φ ) ( italic_t ) = italic_φ ( italic_t ) - italic_φ ( italic_a ) roman_exp [ - divide start_ARG 1 - italic_β end_ARG start_ARG italic_β end_ARG ( italic_t - italic_a ) ] . end_CELL end_ROW

As in the Riemann-Liouville case, left and right-sided Caputo-Fabrizio integrals are conjugate operators: (βa)=bβsuperscriptsubscriptsuperscript𝛽𝑎superscriptsubscript𝑏𝛽\left({}_{a}\mathscr{I}^{\beta}\right)^{*}=\mathscr{I}_{b}^{\beta}( start_FLOATSUBSCRIPT italic_a end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = script_I start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT.

We use the identity min(t1,t2)12(t1+t2|t1t2|)subscript𝑡1subscript𝑡212subscript𝑡1subscript𝑡2subscript𝑡1subscript𝑡2\min(t_{1},t_{2})\equiv\frac{1}{2}\left(t_{1}+t_{2}-\absolutevalue{t_{1}-t_{2}% }\right)roman_min ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ≡ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | ) to express the exponential difference kernel as follows:

e2γ|t1t2|=e2γ(t1+t2)+4γ0min(t1,t2)dse2γ(t1s)e2γ(t2s).superscript𝑒2𝛾subscript𝑡1subscript𝑡2superscript𝑒2𝛾subscript𝑡1subscript𝑡24𝛾superscriptsubscript0subscript𝑡1subscript𝑡2𝑠superscript𝑒2𝛾subscript𝑡1𝑠superscript𝑒2𝛾subscript𝑡2𝑠e^{-2\gamma\absolutevalue{t_{1}-t_{2}}}=e^{-2\gamma(t_{1}+t_{2})}+4\gamma\!\!% \!\!\!\!\!\!\!\!\int\displaylimits_{0}^{\quad\min(t_{1},t_{2})}\!\!\!\!\!\!\!% \!\!\differential{s}e^{-2\gamma(t_{1}-s)}e^{-2\gamma(t_{2}-s)}.italic_e start_POSTSUPERSCRIPT - 2 italic_γ | start_ARG italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT - 2 italic_γ ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + 4 italic_γ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT roman_d start_ARG italic_s end_ARG italic_e start_POSTSUPERSCRIPT - 2 italic_γ ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_s ) end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - 2 italic_γ ( italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_s ) end_POSTSUPERSCRIPT . (21)

This expression contains an inner product on [0,T]0𝑇[0,T][ 0 , italic_T ] of the functions of type e2γ(ts) 1[0,t](s)superscript𝑒2𝛾𝑡𝑠subscript10𝑡𝑠e^{-2\gamma(t-s)}\;\mathbbm{1}_{[0,t]}(s)italic_e start_POSTSUPERSCRIPT - 2 italic_γ ( italic_t - italic_s ) end_POSTSUPERSCRIPT blackboard_1 start_POSTSUBSCRIPT [ 0 , italic_t ] end_POSTSUBSCRIPT ( italic_s ) . As follows from Eq. (19), these terms are proportional to the kernel functions of Caputo-Fabrizio integrals with 1ββ=2γ1𝛽𝛽2𝛾\frac{1-\beta}{\beta}=2\gammadivide start_ARG 1 - italic_β end_ARG start_ARG italic_β end_ARG = 2 italic_γ, or β=1/(2γ+1)𝛽12𝛾1{\beta}=1/(2\gamma+1)italic_β = 1 / ( 2 italic_γ + 1 ). The generalized auto-correlation from Eq. (19) thus corresponds to a positive definite, self-adjoint operator on [0,T]0𝑇[0,T][ 0 , italic_T ]:

R^=0dγ{dE(γ)dγ×[e2γ(t1+t2)+4γ(2γ+1)2012γ+1(012γ+1)]}.\hat{R}=\int_{0}^{\infty}\differential{\gamma}\left\{\frac{\differential{E(% \gamma)}}{\differential{\gamma}}\right.\\ \times\left.\left[e^{-2\gamma(t_{1}+t_{2})}+\frac{4\gamma}{(2\gamma+1)^{2}}{\,% }_{0}\mathscr{I}^{\frac{1}{2\gamma+1}}\left({\,}_{0}\mathscr{I}^{\frac{1}{2% \gamma+1}}\right)^{*}\right]\right\}.start_ROW start_CELL over^ start_ARG italic_R end_ARG = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT roman_d start_ARG italic_γ end_ARG { divide start_ARG roman_d start_ARG italic_E ( italic_γ ) end_ARG end_ARG start_ARG roman_d start_ARG italic_γ end_ARG end_ARG end_CELL end_ROW start_ROW start_CELL × [ italic_e start_POSTSUPERSCRIPT - 2 italic_γ ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + divide start_ARG 4 italic_γ end_ARG start_ARG ( 2 italic_γ + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT script_I start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 italic_γ + 1 end_ARG end_POSTSUPERSCRIPT ( start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT script_I start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 italic_γ + 1 end_ARG end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ] } . end_CELL end_ROW (22)

The optimal SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT exchange pulse shape S(t)𝑆𝑡S(t)italic_S ( italic_t ) can then be found from the Lagrangian [Eq. (4)]:

Λ[S]=λ(1,S)+0dγ{dE(γ)dγ×[(S,e2γt)2+4γ(2γ+1)2(T12γ+1S,T12γ+1S)]},Λdelimited-[]𝑆𝜆1𝑆superscriptsubscript0𝛾𝐸𝛾𝛾delimited-[]superscript𝑆superscript𝑒2𝛾𝑡24𝛾superscript2𝛾12superscriptsubscript𝑇12𝛾1𝑆superscriptsubscript𝑇12𝛾1𝑆\Lambda[S]=-\lambda(1,S)+\int_{0}^{\infty}\differential{\gamma}\left\{\frac{% \differential{E(\gamma)}}{\differential{\gamma}}\right.\\ \times\left.\left[\left(S,e^{-2\gamma t}\right)^{2}+\frac{4\gamma}{(2\gamma+1)% ^{2}}\left(\mathscr{I}_{T}^{\frac{1}{2\gamma+1}}S,\mathscr{I}_{T}^{\frac{1}{2% \gamma+1}}S\right)\right]\right\},start_ROW start_CELL roman_Λ [ italic_S ] = - italic_λ ( 1 , italic_S ) + ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT roman_d start_ARG italic_γ end_ARG { divide start_ARG roman_d start_ARG italic_E ( italic_γ ) end_ARG end_ARG start_ARG roman_d start_ARG italic_γ end_ARG end_ARG end_CELL end_ROW start_ROW start_CELL × [ ( italic_S , italic_e start_POSTSUPERSCRIPT - 2 italic_γ italic_t end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 4 italic_γ end_ARG start_ARG ( 2 italic_γ + 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( script_I start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 italic_γ + 1 end_ARG end_POSTSUPERSCRIPT italic_S , script_I start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 italic_γ + 1 end_ARG end_POSTSUPERSCRIPT italic_S ) ] } , end_CELL end_ROW (23)

which clearly has a nonnegative second variation and thus a minimum. This proves the existence of the optimal exchange pulse shape realizing a SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT gate in any stationary noise environments due to ensembles of TLFs.

Appendix B Appendix B. Optimal exchange pulse shape for 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noises with α1𝛼1\alpha\geq 1italic_α ≥ 1

Case of α>1𝛼1{\alpha>1}italic_α > 1.— In the main text, we established the self-adjoint operator form [Eq. (16)] of auto-correlation function R(τ1,τ2)𝑅subscript𝜏1subscript𝜏2R(\tau_{1},\tau_{2})italic_R ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) from Eq. (13). Together with the normalization condition (1,S)=11𝑆1\left(1,S\right)=1( 1 , italic_S ) = 1, it yields a positive-definite Lagrangian:

Λ[M]λ(1,S)+sinπα2π(α1)+{(2πfminT)α1×[(M,M)2Γ(2α)sinπα2π(α1)(τα1,S)]},proportional-toΛdelimited-[]𝑀𝜆1𝑆𝜋𝛼2𝜋𝛼1superscript2𝜋subscript𝑓𝑇𝛼1delimited-[]𝑀𝑀2Γ2𝛼𝜋𝛼2𝜋𝛼1superscript𝜏𝛼1𝑆\Lambda[M]\propto-\lambda(1,S)+\frac{\sin\frac{\pi\alpha}{2}}{\pi(\alpha-1)}+% \left\{\left(2\pi f_{\min}T\right)^{\alpha-1}\right.\\ \times\left.\left[\left(M,M\right)-\frac{2\Gamma({2-\alpha})\sin\frac{\pi% \alpha}{2}}{\pi(\alpha-1)}\left(\tau^{\alpha-1},S\right)\right]\right\},start_ROW start_CELL roman_Λ [ italic_M ] ∝ - italic_λ ( 1 , italic_S ) + divide start_ARG roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_π ( italic_α - 1 ) end_ARG + { ( 2 italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT italic_T ) start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL × [ ( italic_M , italic_M ) - divide start_ARG 2 roman_Γ ( 2 - italic_α ) roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_π ( italic_α - 1 ) end_ARG ( italic_τ start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT , italic_S ) ] } , end_CELL end_ROW (24)

where M𝑀Mitalic_M and S𝑆Sitalic_S are connected via the kernel operator of fractional Brownian motion (fBm):

S=(K^fbm)1M=D1α1τα21D11α2τ1α2M.𝑆superscriptsuperscriptsubscript^𝐾fbm1𝑀superscriptsubscript𝐷1𝛼1superscript𝜏𝛼21superscriptsubscript𝐷11𝛼2superscript𝜏1𝛼2𝑀S=\left(\hat{K}_{\textsc{fbm}}^{*}\right)^{\!-1}\!\!M\ =D_{1}^{\alpha-1}\tau^{% \frac{\alpha}{2}-1}D_{1}^{1-\frac{\alpha}{2}}\tau^{1-\frac{\alpha}{2}}M.italic_S = ( over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_M = italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_M . (25)

The extremum condition δΛ/δM=0𝛿Λ𝛿𝑀0{\delta\Lambda}/{\delta M}=0italic_δ roman_Λ / italic_δ italic_M = 0 yields:

Mopt(τ)=subscript𝑀opt𝜏absent\displaystyle M_{\text{opt}}(\tau)=italic_M start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = Γ(2α)sinπα2π(α1)τ1α2D01α2τα21D0α1τα1Γ2𝛼𝜋𝛼2𝜋𝛼1superscript𝜏1𝛼2superscriptsubscript𝐷01𝛼2superscript𝜏𝛼21superscriptsubscript𝐷0𝛼1superscript𝜏𝛼1\displaystyle\frac{\Gamma({2-\alpha})\sin\frac{\pi\alpha}{2}}{\pi(\alpha-1)}% \tau^{1-\frac{\alpha}{2}}D_{0}^{1-\frac{\alpha}{2}}\tau^{\frac{\alpha}{2}-1}D_% {0}^{\alpha-1}\tau^{\alpha-1}divide start_ARG roman_Γ ( 2 - italic_α ) roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_π ( italic_α - 1 ) end_ARG italic_τ start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT
+λK^fbm11=Γ(2α)Γ(1α2)τα21+λK^fbm11,superscript𝜆superscriptsubscript^𝐾fbm11Γ2𝛼Γ1𝛼2superscript𝜏𝛼21superscript𝜆superscriptsubscript^𝐾fbm11\displaystyle+{\lambda^{\prime}}\,\hat{K}_{\textsc{fbm}}^{-1}1=\frac{\Gamma% \left(2-\alpha\right)}{\Gamma\left(1-\frac{\alpha}{2}\right)}\tau^{\frac{% \alpha}{2}-1}+{\lambda^{\prime}}\,\hat{K}_{\textsc{fbm}}^{-1}1,+ italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 = divide start_ARG roman_Γ ( 2 - italic_α ) end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG italic_τ start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT + italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 ,

for some rescaled Lagrange multiplier λsuperscript𝜆\lambda^{\prime}italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. The first term was simplified using the identities 0Dβxκ=Γ(κ+1)Γ(κβ+1)xκβ,{\ }_{0}D^{\beta}x^{\kappa}=\frac{\Gamma(\kappa+1)}{\Gamma(\kappa-\beta+1)}x^{% \kappa-\beta},start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_D start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_x start_POSTSUPERSCRIPT italic_κ end_POSTSUPERSCRIPT = divide start_ARG roman_Γ ( italic_κ + 1 ) end_ARG start_ARG roman_Γ ( italic_κ - italic_β + 1 ) end_ARG italic_x start_POSTSUPERSCRIPT italic_κ - italic_β end_POSTSUPERSCRIPT , and Γ(p)Γ(1p)=πsinπpΓ𝑝Γ1𝑝𝜋𝜋𝑝\Gamma(p)\Gamma(1-p)=\frac{\pi}{\sin\pi p}roman_Γ ( italic_p ) roman_Γ ( 1 - italic_p ) = divide start_ARG italic_π end_ARG start_ARG roman_sin italic_π italic_p end_ARG. Using Eq. (25), we obtain the optimal shape of exchange pulse:

Sopt(τ)=Γ(2α)Γ(1α2)D1α1τα21D11α21+λ(K^fbmK^fbm)11.subscript𝑆opt𝜏Γ2𝛼Γ1𝛼2superscriptsubscript𝐷1𝛼1superscript𝜏𝛼21superscriptsubscript𝐷11𝛼21superscript𝜆superscriptsubscript^𝐾fbmsuperscriptsubscript^𝐾fbm11S_{\text{opt}}(\tau)=\tfrac{\Gamma\left(2-\alpha\right)}{\Gamma\left(1-\frac{% \alpha}{2}\right)}D_{1}^{\alpha-1}\tau^{\frac{\alpha}{2}-1}D_{1}^{1-\frac{% \alpha}{2}}1+{\lambda^{\prime}}\left(\hat{K}_{\textsc{fbm}}\hat{K}_{\textsc{% fbm}}^{*}\right)^{\!-1\!}\!\!1.italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = divide start_ARG roman_Γ ( 2 - italic_α ) end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT 1 + italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 .

We now use D11α21=1Γ(α/2)(1τ)α21superscriptsubscript𝐷11𝛼211Γ𝛼2superscript1𝜏𝛼21D_{1}^{1-\frac{\alpha}{2}}1=\frac{1}{\Gamma({\alpha}/{2})}(1-\tau)^{\frac{% \alpha}{2}-1}italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT 1 = divide start_ARG 1 end_ARG start_ARG roman_Γ ( italic_α / 2 ) end_ARG ( 1 - italic_τ ) start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT and write the first term of the expression above explicitly as a differintegral:

Γ(2α)Γ(1α2)Γ(α2)D1α1τα21(1τ)α21=Γ2𝛼Γ1𝛼2Γ𝛼2superscriptsubscript𝐷1𝛼1superscript𝜏𝛼21superscript1𝜏𝛼21absent\displaystyle\tfrac{\Gamma\left(2-\alpha\right)}{\Gamma\left(1-\frac{\alpha}{2% }\right)\Gamma\left(\frac{\alpha}{2}\right)}D_{1}^{\alpha-1}\tau^{\frac{\alpha% }{2}-1}(1-\tau)^{\frac{\alpha}{2}-1}=divide start_ARG roman_Γ ( 2 - italic_α ) end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT ( 1 - italic_τ ) start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT =
1Γ(1α2)Γ(α2)ddττ1ds(sτ)1αsα21(1s)α21.1Γ1𝛼2Γ𝛼2𝜏superscriptsubscript𝜏1𝑠superscript𝑠𝜏1𝛼superscript𝑠𝛼21superscript1𝑠𝛼21\displaystyle-\tfrac{1}{\Gamma\left(1-\frac{\alpha}{2}\right)\Gamma\left(\frac% {\alpha}{2}\right)}\frac{\differential}{\differential\tau}\int_{\tau}^{1}% \differential{s}(s-\tau)^{1-\alpha}s^{\frac{\alpha}{2}-1}(1-s)^{\frac{\alpha}{% 2}-1}.- divide start_ARG 1 end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG divide start_ARG start_DIFFOP roman_d end_DIFFOP end_ARG start_ARG start_DIFFOP roman_d end_DIFFOP italic_τ end_ARG ∫ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_d start_ARG italic_s end_ARG ( italic_s - italic_τ ) start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT ( 1 - italic_s ) start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG - 1 end_POSTSUPERSCRIPT .

With the change of variables ξ=sτ1τ𝜉𝑠𝜏1𝜏\xi=\frac{s-\tau}{1-\tau}italic_ξ = divide start_ARG italic_s - italic_τ end_ARG start_ARG 1 - italic_τ end_ARG, the expression above reduces to the standard integral representation of the hypergeometric function F(a,b;c;z)𝐹𝑎𝑏𝑐𝑧F(a,b;c;z)italic_F ( italic_a , italic_b ; italic_c ; italic_z ) [58]:

Γ(2α)ddτ[(1ττ)1α2F(1α2,2α;2α2;τ1τ)]Γ(1α2)Γ(2α2).Γ2𝛼𝜏delimited-[]superscript1𝜏𝜏1𝛼2𝐹1𝛼22𝛼2𝛼2𝜏1𝜏Γ1𝛼2Γ2𝛼2-\frac{\Gamma\left(2-\alpha\right)\frac{\differential}{\differential\tau}\left% [\left(\tfrac{1-\tau}{\tau}\right)^{1-\frac{\alpha}{2}}F\left(1-\tfrac{\alpha}% {2},2-\alpha;2-\tfrac{\alpha}{2};\tfrac{\tau-1}{\tau}\right)\right]}{\Gamma% \left(1-\frac{\alpha}{2}\right)\Gamma\left(2-\frac{\alpha}{2}\right)}.- divide start_ARG roman_Γ ( 2 - italic_α ) divide start_ARG start_DIFFOP roman_d end_DIFFOP end_ARG start_ARG start_DIFFOP roman_d end_DIFFOP italic_τ end_ARG [ ( divide start_ARG 1 - italic_τ end_ARG start_ARG italic_τ end_ARG ) start_POSTSUPERSCRIPT 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_F ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , 2 - italic_α ; 2 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ; divide start_ARG italic_τ - 1 end_ARG start_ARG italic_τ end_ARG ) ] end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) roman_Γ ( 2 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG .

Since c=a+1𝑐𝑎1c=a+1italic_c = italic_a + 1 is satisfied for the hypergeometric function above, it is related to the incomplete beta function B(x;p,q)𝐵𝑥𝑝𝑞B(x;p,q)italic_B ( italic_x ; italic_p , italic_q ) [58]:

B(x;p,q)=xppF(p,1q;p+1;x).𝐵𝑥𝑝𝑞superscript𝑥𝑝𝑝𝐹𝑝1𝑞𝑝1𝑥B(x;p,q)=\frac{x^{p}}{p}F(p,1-q;p+1;x).italic_B ( italic_x ; italic_p , italic_q ) = divide start_ARG italic_x start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT end_ARG start_ARG italic_p end_ARG italic_F ( italic_p , 1 - italic_q ; italic_p + 1 ; italic_x ) .

The first term of S(τ)𝑆𝜏S(\tau)italic_S ( italic_τ ) thus reads as follows:

Γ(2α)(1α2)eiπα/2Γ(1α2)Γ(2α2)ddτB(τ1τ;1α2,α1).Γ2𝛼1𝛼2superscript𝑒𝑖𝜋𝛼2Γ1𝛼2Γ2𝛼2𝜏𝐵𝜏1𝜏1𝛼2𝛼1\frac{\Gamma\left(2-\alpha\right)\left(1-\frac{\alpha}{2}\right)e^{-{i\pi% \alpha}/{2}}}{\Gamma\left(1-\frac{\alpha}{2}\right)\Gamma\left(2-\frac{\alpha}% {2}\right)}\frac{\differential}{\differential{\tau}}B\left(\frac{\tau-1}{\tau}% ;1-\frac{\alpha}{2},\alpha-1\right)\!.divide start_ARG roman_Γ ( 2 - italic_α ) ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) italic_e start_POSTSUPERSCRIPT - italic_i italic_π italic_α / 2 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) roman_Γ ( 2 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG divide start_ARG start_DIFFOP roman_d end_DIFFOP end_ARG start_ARG roman_d start_ARG italic_τ end_ARG end_ARG italic_B ( divide start_ARG italic_τ - 1 end_ARG start_ARG italic_τ end_ARG ; 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , italic_α - 1 ) .

The integral definition of B(x;p,q)0xtp1(1t)q1dt𝐵𝑥𝑝𝑞superscriptsubscript0𝑥superscript𝑡𝑝1superscript1𝑡𝑞1𝑡B(x;p,q)\equiv\int_{0}^{x}t^{p-1}(1-t)^{q-1}\differential{t}italic_B ( italic_x ; italic_p , italic_q ) ≡ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT italic_p - 1 end_POSTSUPERSCRIPT ( 1 - italic_t ) start_POSTSUPERSCRIPT italic_q - 1 end_POSTSUPERSCRIPT roman_d start_ARG italic_t end_ARG is straightforward to differentiate, and the pre-factor can be simplified using the basic properties of gamma functions. This yields the optimal shape function:

Sopt(τ)=τα2(1τ)α2B(1α2,1α2)+λ(K^fbmK^fbm)11.subscript𝑆opt𝜏superscript𝜏𝛼2superscript1𝜏𝛼2𝐵1𝛼21𝛼2superscript𝜆superscriptsubscript^𝐾fbmsuperscriptsubscript^𝐾fbm11S_{\text{opt}}(\tau)=\frac{\tau^{-\frac{\alpha}{2}}(1-\tau)^{-\frac{\alpha}{2}% }}{B\left(1-\frac{\alpha}{2},1-\frac{\alpha}{2}\right)}+{\lambda^{\prime}}% \left(\hat{K}_{\textsc{fbm}}\hat{K}_{\textsc{fbm}}^{*}\right)^{\!-1\!}\!1.italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = divide start_ARG italic_τ start_POSTSUPERSCRIPT - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ( 1 - italic_τ ) start_POSTSUPERSCRIPT - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT end_ARG start_ARG italic_B ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) end_ARG + italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT over^ start_ARG italic_K end_ARG start_POSTSUBSCRIPT fbm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 . (26)

Since the first term satisfies the normalization condition (1,S)=11𝑆1(1,S)=1( 1 , italic_S ) = 1 by itself, we conclude that λ0superscript𝜆0\lambda^{\prime}\equiv 0italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ 0, and expression (26) coincides with the result obtained in the main text for α<1𝛼1\alpha<1italic_α < 1.

Case of α=1𝛼1{\alpha=1}italic_α = 1.—Since stationary 1/f1𝑓1/f1 / italic_f noise is characterized by the logarithmic auto-correlation, we utilize the decomposition [72]:

ln|τ1τ2|=2ln2+n=12nT~n(τ1)T~n(τ2),subscript𝜏1subscript𝜏222superscriptsubscript𝑛12𝑛subscript~𝑇𝑛subscript𝜏1subscript~𝑇𝑛subscript𝜏2-\ln\absolutevalue{\tau_{1}-\tau_{2}}=2\ln 2+\sum_{n=1}^{\infty}\frac{2}{n}% \widetilde{T}_{n}(\tau_{1})\widetilde{T}_{n}(\tau_{2}),- roman_ln | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | = 2 roman_ln 2 + ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT divide start_ARG 2 end_ARG start_ARG italic_n end_ARG over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (27)

where T~n(τ)Tn(2τ1)subscript~𝑇𝑛𝜏subscript𝑇𝑛2𝜏1\widetilde{T}_{n}(\tau)\equiv T_{n}(2\tau-1)over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_τ ) ≡ italic_T start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( 2 italic_τ - 1 ) is the shifted Chebyshev polynomial of order n𝑛nitalic_n. These polynomials form a complete orthogonal basis on [0,1]01[0,1][ 0 , 1 ] with the weight [τ(1τ)]1/2.superscriptdelimited-[]𝜏1𝜏12{\left[\tau(1-\tau)\right]^{-1/2}}.[ italic_τ ( 1 - italic_τ ) ] start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT . Now, when 01|S(τ)|2τ(1τ)dτ<superscriptsubscript01superscript𝑆𝜏2𝜏1𝜏𝜏\int_{0}^{1}{\absolutevalue{S(\tau)}^{2}}\sqrt{\tau(1-\tau)}\differential\tau<\infty∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT | start_ARG italic_S ( italic_τ ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT square-root start_ARG italic_τ ( 1 - italic_τ ) end_ARG start_DIFFOP roman_d end_DIFFOP italic_τ < ∞ is satisfied, we can expand S(τ)𝑆𝜏S(\tau)italic_S ( italic_τ ) into a series of Chebyshev polynomials:

S(τ)=2π12Φ0+Φ1T~1(τ)+Φ2T~2(τ)+τ(1τ),𝑆𝜏2𝜋12subscriptΦ0subscriptΦ1subscript~𝑇1𝜏subscriptΦ2subscript~𝑇2𝜏𝜏1𝜏S(\tau)=\frac{2}{\pi}\ \frac{\frac{1}{2}\Phi_{0}+\Phi_{1}\widetilde{T}_{1}(% \tau)+\Phi_{2}\widetilde{T}_{2}(\tau)+\ldots}{\sqrt{\tau(1-\tau)}},italic_S ( italic_τ ) = divide start_ARG 2 end_ARG start_ARG italic_π end_ARG divide start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_τ ) + roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_τ ) + … end_ARG start_ARG square-root start_ARG italic_τ ( 1 - italic_τ ) end_ARG end_ARG , (28)

where the coefficients are found from Φn=(T~n,S)subscriptΦ𝑛subscript~𝑇𝑛𝑆\Phi_{n}=(\widetilde{T}_{n},S)roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = ( over~ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_S ) for all n𝑛nitalic_n. Since T0(τ)1subscript𝑇0𝜏1T_{0}(\tau)\equiv 1italic_T start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_τ ) ≡ 1, we obtain Φ0=1subscriptΦ01\Phi_{0}=1roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 from the normalization condition (1,S)=11𝑆1\left(1,S\right)=1( 1 , italic_S ) = 1. Using decompositions (27) and (28), we can now write (S,R^S)proportional-to𝑆^𝑅𝑆delimited-⟨⟩(S,\hat{R}S)\propto\left<\mathscr{F}\right>( italic_S , over^ start_ARG italic_R end_ARG italic_S ) ∝ ⟨ script_F ⟩ as a quadratic diagonal form of coefficients {Φn}subscriptΦ𝑛\left\{\Phi_{n}\right\}{ roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT }:

(S,R^S)=4P0[Cln(πfminT2)+2n=1Φn2n].𝑆^𝑅𝑆4subscript𝑃0delimited-[]𝐶𝜋subscript𝑓𝑇22superscriptsubscript𝑛1superscriptsubscriptΦ𝑛2𝑛\left(S,\hat{R}S\right)=4P_{0}\!\left[-C-\ln(\frac{\pi f_{\min}T}{2})+2\sum_{n% =1}^{\infty}\frac{\Phi_{n}^{2}}{n}\right].( italic_S , over^ start_ARG italic_R end_ARG italic_S ) = 4 italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [ - italic_C - roman_ln ( start_ARG divide start_ARG italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT italic_T end_ARG start_ARG 2 end_ARG end_ARG ) + 2 ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT divide start_ARG roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_n end_ARG ] . (29)

This expression reaches its minimum when Φn=0subscriptΦ𝑛0\Phi_{n}=0roman_Φ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 for all n1𝑛1n\geq 1italic_n ≥ 1. Remarkably, the corresponding optimal shape Sopt(τ)=1π[τ(1τ)]1/2subscript𝑆opt𝜏1𝜋superscriptdelimited-[]𝜏1𝜏12S_{\text{opt}}(\tau)=\tfrac{1}{\pi}\left[\tau(1-\tau)\right]^{-1/2}italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) = divide start_ARG 1 end_ARG start_ARG italic_π end_ARG [ italic_τ ( 1 - italic_τ ) ] start_POSTSUPERSCRIPT - 1 / 2 end_POSTSUPERSCRIPT is a special case of formula (26) with λ0superscript𝜆0\lambda^{\prime}\equiv 0italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ 0 for α=1𝛼1\alpha=1italic_α = 1.

This completes the proof that for the stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT charge noise with any spectral exponent α(0,2)𝛼02\alpha\in(0,2)italic_α ∈ ( 0 , 2 ), the optimal shape for a SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT exchange pulse is given by the symmetric beta-distribution function with parameter (1α/2)1𝛼2\left(1-\alpha/2\right)( 1 - italic_α / 2 ).

Appendix C Appendix C. Improved optimal pulse design procedure for 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT stationary noises

The remainder term of order O(z)𝑂𝑧O(z)italic_O ( italic_z ) in the series expansion of Eα(z)subscript𝐸𝛼𝑧E_{\alpha}(z)italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_z ) near z0𝑧0z\rightarrow 0italic_z → 0 [Eq. (8)] is given by an infinite series (z)=n=1(1)n1znn!(1α+n).𝑧superscriptsubscript𝑛1superscript1𝑛1superscript𝑧𝑛𝑛1𝛼𝑛\mathcal{R}(z)=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}z^{n}}{n!(1-\alpha+n)}.caligraphic_R ( italic_z ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT divide start_ARG ( - 1 ) start_POSTSUPERSCRIPT italic_n - 1 end_POSTSUPERSCRIPT italic_z start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT end_ARG start_ARG italic_n ! ( 1 - italic_α + italic_n ) end_ARG . Due to its oscillatory character and semblance to the Taylor expansion of 1ez1superscript𝑒𝑧1-e^{-z}1 - italic_e start_POSTSUPERSCRIPT - italic_z end_POSTSUPERSCRIPT, we approximate it as follows:

(z)A(1eζz),A=3α(2α)2,ζ=2α3α.formulae-sequence𝑧𝐴1superscript𝑒𝜁𝑧formulae-sequence𝐴3𝛼superscript2𝛼2𝜁2𝛼3𝛼\mathcal{R}(z)\approx A(1-e^{-\zeta z}),\quad A=\frac{3-\alpha}{\left(2-\alpha% \right)^{2}},\quad\zeta=\frac{2-\alpha}{3-\alpha}.caligraphic_R ( italic_z ) ≈ italic_A ( 1 - italic_e start_POSTSUPERSCRIPT - italic_ζ italic_z end_POSTSUPERSCRIPT ) , italic_A = divide start_ARG 3 - italic_α end_ARG start_ARG ( 2 - italic_α ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_ζ = divide start_ARG 2 - italic_α end_ARG start_ARG 3 - italic_α end_ARG . (30)

This choice of parameters A,ζ𝐴𝜁A,\zetaitalic_A , italic_ζ ensures the accuracy of Eα(z)subscript𝐸𝛼𝑧E_{\alpha}(z)italic_E start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( italic_z ) approximation up to the third order: (z)A(1eζz)=O(z3),z0.formulae-sequence𝑧𝐴1superscript𝑒𝜁𝑧𝑂superscript𝑧3𝑧0\mathcal{R}(z)-A(1-e^{-\zeta z})=O(z^{3}),\ z\rightarrow 0.caligraphic_R ( italic_z ) - italic_A ( 1 - italic_e start_POSTSUPERSCRIPT - italic_ζ italic_z end_POSTSUPERSCRIPT ) = italic_O ( italic_z start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) , italic_z → 0 . This yields an improved approximation for the stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise auto-correlation, valid for all θ=2πfminT1𝜃2𝜋subscript𝑓𝑇less-than-or-similar-to1\theta=2\pi f_{\min}T\lesssim 1italic_θ = 2 italic_π italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT italic_T ≲ 1:

R(τ1,τ2)4P0fmin1αsinπα2×{Clnθln|τ1τ2|+A(1eθζ|τ1τ2|),α=1,11α[Γ(2α)θα1|τ1τ2|α11]+A(1eθζ|τ1τ2|),α1.𝑅subscript𝜏1subscript𝜏24subscript𝑃0superscriptsubscript𝑓1𝛼𝜋𝛼2cases𝐶𝜃subscript𝜏1subscript𝜏2𝐴1superscript𝑒𝜃𝜁subscript𝜏1subscript𝜏2𝛼111𝛼Γ2𝛼superscript𝜃𝛼1superscriptsubscript𝜏1subscript𝜏2𝛼11𝐴1superscript𝑒𝜃𝜁subscript𝜏1subscript𝜏2𝛼1R(\tau_{1},\tau_{2})\approx{4P_{0}}f_{\min}^{1-\alpha}\sin\frac{\pi\alpha}{2}% \times\begin{cases}-C-\ln\theta-\ln\absolutevalue{\tau_{1}-\tau_{2}}+A\left(1-% e^{-\theta\zeta\absolutevalue{\tau_{1}-\tau_{2}}}\right),&\alpha=1,\\[10.0pt] \dfrac{1}{1-\alpha}\ \quantity\Big[\Gamma({2-\alpha})\,\theta^{\alpha-1}% \absolutevalue{\tau_{1}-\tau_{2}}^{\alpha-1}-1]+A\left(1-e^{-\theta\zeta% \absolutevalue{\tau_{1}-\tau_{2}}}\right),&\alpha\neq 1.\end{cases}italic_R ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ≈ 4 italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 - italic_α end_POSTSUPERSCRIPT roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG × { start_ROW start_CELL - italic_C - roman_ln italic_θ - roman_ln | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | + italic_A ( 1 - italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT ) , end_CELL start_CELL italic_α = 1 , end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 1 - italic_α end_ARG [ start_ARG roman_Γ ( 2 - italic_α ) italic_θ start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT - 1 end_ARG ] + italic_A ( 1 - italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT ) , end_CELL start_CELL italic_α ≠ 1 . end_CELL end_ROW (31)
Refer to caption
Figure 3: Auto-correlation expressions for stationary 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise with α=1.4𝛼1.4\alpha=1.4italic_α = 1.4: exact [Eq. (7)], approximated with the dominant term (Δτα1+const)proportional-toabsentΔsuperscript𝜏𝛼1const\propto\left(\Delta\tau^{\alpha-1}+\text{const}\right)∝ ( roman_Δ italic_τ start_POSTSUPERSCRIPT italic_α - 1 end_POSTSUPERSCRIPT + const ) [Eq. (13)], and the approximation with exponential correction [Eq. (31)]. Here, Δτ=|τ1τ2|Δ𝜏subscript𝜏1subscript𝜏2\Delta\tau=\absolutevalue{\tau_{1}-\tau_{2}}roman_Δ italic_τ = | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG |, fmin=10subscript𝑓10f_{\min}=10italic_f start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 10 kHz, fmax=10subscript𝑓10f_{\max}=10italic_f start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 10 GHz.

Figure 3 compares the exact and approximate expressions for R(Δτ),𝑅Δ𝜏R(\Delta\tau),italic_R ( roman_Δ italic_τ ) , where Δτ=|τ1τ2|Δ𝜏subscript𝜏1subscript𝜏2\Delta\tau=\absolutevalue{\tau_{1}-\tau_{2}}roman_Δ italic_τ = | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG |. The coarse approximation (power-law for α1𝛼1\alpha\neq 1italic_α ≠ 1 or logarithmic for α=1𝛼1\alpha=1italic_α = 1) diverges from the exact expression most significantly in case of highly-correlated noises (large α𝛼\alphaitalic_α values) and long pulses T/Texp1.similar-to𝑇subscript𝑇1T/T_{\exp}\sim 1.italic_T / italic_T start_POSTSUBSCRIPT roman_exp end_POSTSUBSCRIPT ∼ 1 . The improved approximation from Eq. (31) shows good correspondence with the exact expression in all such cases.

As follows from relation (21), the exponential remainder term (30) has a Caputo-Fabrizio fractional integral representation with β~=1/(ζθ+1)~𝛽1𝜁𝜃1\tilde{\beta}={1}/\left({\zeta\theta+1}\right)over~ start_ARG italic_β end_ARG = 1 / ( italic_ζ italic_θ + 1 ):

eθζ|τ1τ2|=eθζ(τ1+τ2)+2β~2ζθ(β~0)(β~0).superscript𝑒𝜃𝜁subscript𝜏1subscript𝜏2superscript𝑒𝜃𝜁subscript𝜏1subscript𝜏22superscript~𝛽2𝜁𝜃subscriptsuperscript~𝛽0superscriptsubscriptsuperscript~𝛽0e^{-\theta\zeta\absolutevalue{\tau_{1}-\tau_{2}}}=e^{-\theta\zeta\left(\tau_{1% }+\tau_{2}\right)}+{2\tilde{\beta}^{2}\zeta\theta}\left({}_{0}\mathscr{I}^{% \tilde{\beta}}\right)\!\left({}_{0}\mathscr{I}^{\tilde{\beta}}\right)^{*}\!\!% \!\!.italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ | start_ARG italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ ( italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + 2 over~ start_ARG italic_β end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ italic_θ ( start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT ) ( start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT .

This gives a precise approximation to the Lagrangian for SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT exchange pulse optimization [Eq. (4)]. For example, for α<1𝛼1\alpha<1italic_α < 1, we get:

Λ[S]const+πsinπα2(K^S,K^S)λ(1,S)proportional-toΛdelimited-[]𝑆const𝜋𝜋𝛼2superscript^𝐾𝑆superscript^𝐾𝑆𝜆1𝑆\displaystyle\!\!\!\Lambda[S]\propto\text{const}+\frac{\pi}{\sin\frac{\pi% \alpha}{2}}\left(\hat{K}^{*}S,\hat{K}^{*}S\right)-\lambda(1,S)roman_Λ [ italic_S ] ∝ const + divide start_ARG italic_π end_ARG start_ARG roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG ( over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S , over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S ) - italic_λ ( 1 , italic_S )
A(eθζτ,S)22β~2ζθ(1β~S,1β~S),𝐴superscriptsuperscript𝑒𝜃𝜁𝜏𝑆22superscript~𝛽2𝜁𝜃superscriptsubscript1~𝛽𝑆superscriptsubscript1~𝛽𝑆\displaystyle-A\left(e^{-\theta\zeta\tau},S\right)^{2}-{2\tilde{\beta}^{2}% \zeta\theta}\left(\mathscr{I}_{1}^{\tilde{\beta}}S,\mathscr{I}_{1}^{\tilde{% \beta}}S\right),\!\!\!\!- italic_A ( italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ italic_τ end_POSTSUPERSCRIPT , italic_S ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 over~ start_ARG italic_β end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ italic_θ ( script_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT italic_S , script_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT italic_S ) , (C3)

where K^=τα/2Iα/20τα/2^𝐾superscript𝜏𝛼2subscriptsuperscript𝐼𝛼20superscript𝜏𝛼2\hat{K}=\tau^{\alpha/2}\,{}_{0}I^{\alpha/2}\tau^{-\alpha/2}over^ start_ARG italic_K end_ARG = italic_τ start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT italic_I start_POSTSUPERSCRIPT italic_α / 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT, introduced in the main text. Although this functional is not positive definite, we previously proved the existence of an optimal exchange shape for a SWAPksuperscriptSWAP𝑘\mathrm{SWAP}^{k}roman_SWAP start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT pulse for an arbitrary ensemble of TLFs [Eq. (23)]. This suggests that the extremum condition δΛ/δS=0𝛿Λ𝛿𝑆0\delta\Lambda/\delta S=0italic_δ roman_Λ / italic_δ italic_S = 0 will still give an accurate fractional integro-differential equation for the optimal shape:

2πsinπα2K^K^Sλ2A(eθζτ,S)eθζτ4β~2ζθβ~01β~S=0.2𝜋𝜋𝛼2^𝐾superscript^𝐾𝑆𝜆2𝐴superscript𝑒𝜃𝜁𝜏𝑆superscript𝑒𝜃𝜁𝜏4superscript~𝛽2𝜁𝜃subscriptsuperscript~𝛽0superscriptsubscript1~𝛽𝑆0\frac{2\pi}{\sin\frac{\pi\alpha}{2}}\hat{K}\hat{K}^{*}S-\lambda-2A\left(e^{-% \theta\zeta\tau},S\right)e^{-\theta\zeta\tau}\\ -{4\tilde{\beta}^{2}\zeta\theta}{}_{0}\mathscr{I}^{\tilde{\beta}}\mathscr{I}_{% 1}^{\tilde{\beta}}S=0.start_ROW start_CELL divide start_ARG 2 italic_π end_ARG start_ARG roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_S - italic_λ - 2 italic_A ( italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ italic_τ end_POSTSUPERSCRIPT , italic_S ) italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ italic_τ end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL - 4 over~ start_ARG italic_β end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ italic_θ start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT script_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT italic_S = 0 . end_CELL end_ROW (32)

As derived earlier, the zeroth-order approximation is a beta distribution function: Sopt(0)(τ)(K^K^)11τα/2(1τ)α/2.proportional-tosuperscriptsubscript𝑆opt0𝜏superscript^𝐾superscript^𝐾11proportional-tosuperscript𝜏𝛼2superscript1𝜏𝛼2S_{\text{opt}}^{(0)}(\tau)\propto(\hat{K}\hat{K}^{*})^{-1}1\propto\tau^{-% \alpha/2}\left(1-\tau\right)^{-\alpha/2}.italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT ( italic_τ ) ∝ ( over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT 1 ∝ italic_τ start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT ( 1 - italic_τ ) start_POSTSUPERSCRIPT - italic_α / 2 end_POSTSUPERSCRIPT . Therefore, by applying 12πsinπα2(K^K^)112𝜋𝜋𝛼2superscript^𝐾superscript^𝐾1\frac{1}{2\pi}{\sin\frac{\pi\alpha}{2}}(\hat{K}\hat{K}^{*})^{-1}divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG ( over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT to both sides of Eq. (32), we bring it to a form that can be solved by iterative methods such as fixed-point iteration:

S=λ~[τ(1τ)]α2+Asinπα2(eθζτ,S)π(K^K^)1eθζτ+2Aβ~2ζθsinπα2π(K^K^)1β~01β~S.𝑆~𝜆superscriptdelimited-[]𝜏1𝜏𝛼2𝐴𝜋𝛼2superscript𝑒𝜃𝜁𝜏𝑆𝜋superscript^𝐾superscript^𝐾1superscript𝑒𝜃𝜁𝜏2𝐴superscript~𝛽2𝜁𝜃𝜋𝛼2𝜋superscript^𝐾superscript^𝐾1subscriptsuperscript~𝛽0superscriptsubscript1~𝛽𝑆S=\frac{\tilde{\lambda}}{\left[\tau\left(1-\tau\right)\right]^{\frac{\alpha}{2% }}}+\frac{A\sin\frac{\pi\alpha}{2}\left(e^{-\theta\zeta\tau},S\right)}{\pi}(% \hat{K}\hat{K}^{*})^{-1}e^{-\theta\zeta\tau}\\ +2A\tilde{\beta}^{2}\zeta\theta\frac{\sin\frac{\pi\alpha}{2}}{\pi}(\hat{K}\hat% {K}^{*})^{-1}{}_{0}\mathscr{I}^{\tilde{\beta}}\mathscr{I}_{1}^{\tilde{\beta}}S.start_ROW start_CELL italic_S = divide start_ARG over~ start_ARG italic_λ end_ARG end_ARG start_ARG [ italic_τ ( 1 - italic_τ ) ] start_POSTSUPERSCRIPT divide start_ARG italic_α end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_A roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG ( italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ italic_τ end_POSTSUPERSCRIPT , italic_S ) end_ARG start_ARG italic_π end_ARG ( over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_θ italic_ζ italic_τ end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL + 2 italic_A over~ start_ARG italic_β end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ italic_θ divide start_ARG roman_sin divide start_ARG italic_π italic_α end_ARG start_ARG 2 end_ARG end_ARG start_ARG italic_π end_ARG ( over^ start_ARG italic_K end_ARG over^ start_ARG italic_K end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT 0 end_FLOATSUBSCRIPT script_I start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT script_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_β end_ARG end_POSTSUPERSCRIPT italic_S . end_CELL end_ROW (33)

For the Lagrange multiplier λ~~𝜆\tilde{\lambda}over~ start_ARG italic_λ end_ARG, one would use the initial guess λ~(0)=1/B(1α2,1α2),superscript~𝜆01𝐵1𝛼21𝛼2\tilde{\lambda}^{(0)}=1/{B\left(1-\frac{\alpha}{2},1-\frac{\alpha}{2}\right)},over~ start_ARG italic_λ end_ARG start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT = 1 / italic_B ( 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_α end_ARG start_ARG 2 end_ARG ) , and adjust it at each iteration step to ensure normalization (1,S)=11𝑆1(1,S)=1( 1 , italic_S ) = 1. This procedure could be the most relevant to the long pulses and noise processes with large α𝛼\alphaitalic_α values, where we expect the largest divergence from the beta-distribution shape from Eq. (26) with λ0superscript𝜆0\lambda^{\prime}\equiv 0italic_λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ 0. However, we showed in the main text that the choice of a beta-distribution pulse shape gives nearly no gain in fidelity compared to a more experimentally feasible square shape. Thus, while finding an improved Sopt(τ)subscript𝑆opt𝜏S_{\text{opt}}(\tau)italic_S start_POSTSUBSCRIPT opt end_POSTSUBSCRIPT ( italic_τ ) numerically is possible, it is not expected to noticeably change the infidelity compared to the beta pulse shape.

References

  • Culcer et al. [2009] D. Culcer, X. Hu, and S. Das Sarma, Dephasing of Si spin qubits due to charge noise, Applied Physics Letters 9510.1063/1.3194778 (2009).
  • Burkard et al. [2023] G. Burkard, T. D. Ladd, A. Pan, J. M. Nichol, and J. R. Petta, Semiconductor spin qubits, Reviews of Modern Physics 95, 025003 (2023).
  • Chan et al. [2018] K. W. Chan, W. Huang, C. H. Yang, J. C. C. Hwang, B. Hensen, T. Tanttu, F. E. Hudson, K. M. Itoh, A. Laucht, A. Morello, and A. S. Dzurak, Assessment of a silicon quantum dot spin qubit environment via noise spectroscopy, Physical Review Applied 10, 044017 (2018).
  • Connors et al. [2019] E. J. Connors, J. Nelson, H. Qiao, L. F. Edge, and J. M. Nichol, Low-frequency charge noise in Si/SiGe quantum dots, Physical Review B 100, 165305 (2019).
  • Kranz et al. [2020] L. Kranz, S. K. Gorman, B. Thorgrimsson, Y. He, D. Keith, J. G. Keizer, and M. Y. Simmons, Exploiting a single-crystal environment to minimize the charge noise on qubits in silicon, Advanced Materials 3210.1002/adma.202003361 (2020).
  • Kuhlmann et al. [2013] A. V. Kuhlmann, J. Houel, A. Ludwig, L. Greuter, D. Reuter, A. D. Wieck, M. Poggio, and R. J. Warburton, Charge noise and spin noise in a semiconductor quantum device, Nature Physics 9, 570 (2013).
  • Yoneda et al. [2017] J. Yoneda, K. Takeda, T. Otsuka, T. Nakajima, M. R. Delbecq, G. Allison, T. Honda, T. Kodera, S. Oda, Y. Hoshi, N. Usami, K. M. Itoh, and S. Tarucha, A quantum-dot spin qubit with coherence limited by charge noise and fidelity higher than 99.9%, Nature Nanotechnology 13, 102 (2017).
  • Petit et al. [2018] L. Petit, J. Boter, H. Eenink, G. Droulers, M. Tagliaferri, R. Li, D. Franke, K. Singh, J. Clarke, R. Schouten, V. Dobrovitski, L. Vandersypen, and M. Veldhorst, Spin lifetime and charge noise in hot silicon quantum dot qubits, Physical Review Letters 121, 076801 (2018).
  • Struck et al. [2020] T. Struck, A. Hollmann, F. Schauer, O. Fedorets, A. Schmidbauer, K. Sawano, H. Riemann, N. V. Abrosimov, Ł. Cywiński, D. Bougeard, and L. R. Schreiber, Low-frequency spin qubit energy splitting noise in highly purified 28Si/SiGe, npj Quantum Information 610.1038/s41534-020-0276-2 (2020).
  • Jock et al. [2022] R. M. Jock, N. T. Jacobson, M. Rudolph, D. R. Ward, M. S. Carroll, and D. R. Luhman, A silicon singlet–triplet qubit driven by spin-valley coupling, Nature Communications 1310.1038/s41467-022-28302-y (2022).
  • Connors et al. [2022] E. J. Connors, J. Nelson, L. F. Edge, and J. M. Nichol, Charge-noise spectroscopy of Si/SiGe quantum dots via dynamically-decoupled exchange oscillations, Nature Communications 13, 940 (2022).
  • Lundberg [2002] K. Lundberg, Noise sources in bulk CMOS (2002).
  • de Sousa [2007] R. de Sousa, Dangling-bond spin relaxation and magnetic 1/f1𝑓1/f1 / italic_f noise from the amorphous-semiconductor/oxide interface: Theory, Physical Review B 76, 245306 (2007).
  • Kabytayev et al. [2014] C. Kabytayev, T. J. Green, K. Khodjasteh, M. J. Biercuk, L. Viola, and K. R. Brown, Robustness of composite pulses to time-dependent control noise, Physical Review A 90, 012316 (2014).
  • Shehata et al. [2023] M. M. E. K. Shehata, G. Simion, R. Li, F. A. Mohiyaddin, D. Wan, M. Mongillo, B. Govoreanu, I. Radu, K. De Greve, and P. Van Dorpe, Modeling semiconductor spin qubits and their charge noise environment for quantum gate fidelity estimation, Physical Review B 108, 045305 (2023).
  • Paquelet Wuetz et al. [2023] B. Paquelet Wuetz, D. Degli Esposti, A.-M. J. Zwerver, S. V. Amitonov, M. Botifoll, J. Arbiol, A. Sammak, L. M. K. Vandersypen, M. Russ, and G. Scappucci, Reducing charge noise in quantum dots by using thin silicon quantum wells, Nature Communications 14, 1385 (2023).
  • Yang et al. [2019] C. H. Yang, K. W. Chan, R. Harper, W. Huang, T. Evans, J. C. C. Hwang, B. Hensen, A. Laucht, T. Tanttu, F. E. Hudson, S. T. Flammia, K. M. Itoh, A. Morello, S. D. Bartlett, and A. S. Dzurak, Silicon qubit fidelities approaching incoherent noise limits via pulse engineering, Nature Electronics 2, 151 (2019).
  • Mills et al. [2022] A. R. Mills, C. R. Guinn, M. J. Gullans, A. J. Sigillito, M. M. Feldman, E. Nielsen, and J. R. Petta, Two-qubit silicon quantum processor with operation fidelity exceeding 99%, Science Advances 810.1126/sciadv.abn5130 (2022).
  • Rojas-Arias et al. [2023] J. Rojas-Arias, A. Noiri, P. Stano, T. Nakajima, J. Yoneda, K. Takeda, T. Kobayashi, A. Sammak, G. Scappucci, D. Loss, and S. Tarucha, Spatial noise correlations beyond nearest neighbors in 28Si/Si-Ge spin qubits, Physical Review Applied 20, 054024 (2023).
  • Paladino et al. [2014] E. Paladino, Y. Galperin, G. Falci, and B. Altshuler, 1/f noise: Implications for solid-state quantum information, Reviews of Modern Physics 86, 361 (2014).
  • Viola and Lloyd [1998] L. Viola and S. Lloyd, Dynamical suppression of decoherence in two-state quantum systems, Physical Review A 58, 2733 (1998).
  • Shiokawa and Lidar [2004] K. Shiokawa and D. A. Lidar, Dynamical decoupling using slow pulses: Efficient suppression of 1/f1𝑓1/f1 / italic_f noise, Physical Review A 69, 030302 (2004).
  • Uhrig [2007] G. S. Uhrig, Kee** a quantum bit alive by optimized π𝜋\piitalic_π-pulse sequences, Physical Review Letters 98, 100504 (2007).
  • Faoro and Viola [2004] L. Faoro and L. Viola, Dynamical suppression of 1/f noise processes in qubit systems, Physical Review Letters 92, 117905 (2004).
  • Falci et al. [2004] G. Falci, A. D’Arrigo, A. Mastellone, and E. Paladino, Dynamical suppression of telegraph and 1/f noise due to quantum bistable fluctuators, Physical Review A 70, 040101 (2004).
  • Cywiński et al. [2008] Ł. Cywiński, R. M. Lutchyn, C. P. Nave, and S. Das Sarma, How to enhance dephasing time in superconducting qubits, Physical Review B 77, 174509 (2008).
  • Pasini and Uhrig [2010] S. Pasini and G. S. Uhrig, Optimized dynamical decoupling for power-law noise spectra, Physical Review A 81, 012309 (2010).
  • Ramon [2015] G. Ramon, Non-Gaussian signatures and collective effects in charge noise affecting a dynamically decoupled qubit, Physical Review B 92, 155422 (2015).
  • Möttönen et al. [2006] M. Möttönen, R. de Sousa, J. Zhang, and K. B. Whaley, High-fidelity one-qubit operations under random telegraph noise, Physical Review A 73, 022332 (2006).
  • Rebentrost et al. [2009] P. Rebentrost, I. Serban, T. Schulte-Herbrüggen, and F. K. Wilhelm, Optimal control of a qubit coupled to a non-Markovian environment, Physical Review Letters 102, 090401 (2009).
  • Pasini et al. [2008] S. Pasini, T. Fischer, P. Karbach, and G. S. Uhrig, Optimization of short coherent control pulses, Physical Review A 77, 032315 (2008).
  • Kuopanportti et al. [2008] P. Kuopanportti, M. Möttönen, V. Bergholm, O.-P. Saira, J. Zhang, and K. B. Whaley, Suppression of 1/fα1superscript𝑓𝛼1/f^{\alpha}1 / italic_f start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT noise in one-qubit systems, Physical Review A 77, 032334 (2008).
  • Zhang et al. [2014] J. Zhang, A. M. Souza, F. D. Brandao, and D. Suter, Protected quantum computing: interleaving gate operations with dynamical decoupling sequences, Physical Review Letters 112, 050502 (2014).
  • D’Arrigo et al. [2016] A. D’Arrigo, G. Falci, and E. Paladino, High-fidelity two-qubit gates via dynamical decoupling of local 1/f1𝑓1/f1 / italic_f noise at the optimal point, Physical Review A 94, 022303 (2016).
  • Ram et al. [2022] M. H. Ram, V. R. Krithika, P. Batra, and T. S. Mahesh, Robust quantum control using hybrid pulse engineering, Physical Review A 105, 042437 (2022).
  • Zeng et al. [2018] J. Zeng, X.-H. Deng, A. Russo, and E. Barnes, General solution to inhomogeneous dephasing and smooth pulse dynamical decoupling, New Journal of Physics 20, 033011 (2018).
  • Zeng and Barnes [2018] J. Zeng and E. Barnes, Fastest pulses that implement dynamically corrected single-qubit phase gates, Physical Review A 98, 012301 (2018).
  • Zeng et al. [2019] J. Zeng, C. H. Yang, A. S. Dzurak, and E. Barnes, Geometric formalism for constructing arbitrary single-qubit dynamically corrected gates, Physical Review A 99, 052321 (2019).
  • Dong et al. [2021] W. Dong, F. Zhuang, S. E. Economou, and E. Barnes, Doubly geometric quantum control, PRX Quantum 2, 030333 (2021).
  • Nelson et al. [2023] H. T. Nelson, E. Piliouras, K. Connelly, and E. Barnes, Designing dynamically corrected gates robust to multiple noise sources using geometric space curves, Physical Review A 108, 012407 (2023).
  • Buterakos et al. [2021] D. Buterakos, S. D. Sarma, and E. Barnes, Geometrical formalism for dynamically corrected gates in multiqubit systems, PRX Quantum 2, 010341 (2021).
  • Samko et al. [1993] S. G. Samko, A. A. Kilbas, O. I. Marichev, et al.Fractional integrals and derivatives, Vol. 1 (Gordon and Breach science publishers, Yverdon-les-Bains, Switzerland, 1993).
  • Hu and Das Sarma [2006] X. Hu and S. Das Sarma, Charge-fluctuation-induced dephasing of exchange-coupled spin qubits, Physical Review Letters 96, 100501 (2006).
  • Burkard et al. [1999] G. Burkard, D. Loss, and D. P. DiVincenzo, Coupled quantum dots as quantum gates, Physical Review B 59, 2070 (1999).
  • Loss and DiVincenzo [1998] D. Loss and D. P. DiVincenzo, Quantum computation with quantum dots, Physical Review A 57, 120 (1998).
  • Stopa and Marcus [2008] M. Stopa and C. M. Marcus, Magnetic Field Control of Exchange and Noise Immunity in Double Quantum Dots, Nano Letters 8, 1778 (2008).
  • Shim and Tahan [2016] Y.-P. Shim and C. Tahan, Charge-noise-insensitive gate operations for always-on, exchange-only qubits, Physical Review B 93, 121410 (2016).
  • Reed et al. [2016] M. Reed, B. Maune, R. Andrews, M. Borselli, K. Eng, M. Jura, A. Kiselev, T. Ladd, S. Merkel, and I. M. et al., Reduced sensitivity to charge noise in semiconductor spin qubits via symmetric operation, Physical Review Letters 116, 110402 (2016).
  • Martins et al. [2016] F. Martins, F. K. Malinowski, P. D. Nissen, E. Barnes, S. Fallahi, G. C. Gardner, M. J. Manfra, C. M. Marcus, and F. Kuemmeth, Noise suppression using symmetric exchange gates in spin qubits, Physical Review Letters 116, 116801 (2016).
  • Nielsen et al. [2010] E. Nielsen, R. W. Young, R. P. Muller, and M. S. Carroll, Implications of simultaneous requirements for low-noise exchange gates in double quantum dots, Physical Review B 82, 075319 (2010).
  • Buonacorsi [2021] B. Buonacorsi, Quantum dot devices in silicon and dopant-free GaAs/AlGaAs heterostructures, Ph.D. thesis, University of Waterloo (2021).
  • Dial et al. [2013] O. E. Dial, M. D. Shulman, S. P. Harvey, H. Bluhm, V. Umansky, and A. Yacoby, Charge noise spectroscopy using coherent exchange oscillations in a singlet-triplet qubit, Physical Review Letters 110, 146804 (2013).
  • Petta et al. [2005] J. R. Petta, A. C. Johnson, J. M. Taylor, E. A. Laird, A. Yacoby, M. D. Lukin, C. M. Marcus, M. P. Hanson, and A. C. Gossard, Coherent manipulation of coupled electron spins in semiconductor quantum dots, Science 309, 2180 (2005).
  • Note [1] Note that according to Markov’s inequality, average infidelity delimited-⟨⟩\langle\mathscr{F}\rangle⟨ script_F ⟩ also gives the upper bound on the extent of the tails of the distribution (v~)~𝑣\mathscr{F}(\widetilde{v})script_F ( over~ start_ARG italic_v end_ARG ).
  • Yamamoto [2017] Y. Yamamoto, Fundamentals of Noise Processes (University of Cambridge ESOL Examinations, 2017).
  • Milotti [2002] E. Milotti, 1/f noise: a pedagogical review, arXiv:physics/0204033 [physics.class-ph] (2002).
  • Astafiev et al. [2004] O. Astafiev, Y. A. Pashkin, Y. Nakamura, T. Yamamoto, and J. S. Tsai, Quantum Noise in the Josephson Charge Qubit, Physical Review Letters 93, 267007 (2004).
  • [58] DLMF, NIST Digital Library of Mathematical Functionshttps://dlmf.nist.gov/, Release 1.2.0 of 2024-03-15, f. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds..
  • Anastassiou [2009] G. A. Anastassiou, Fractional Differentiation Inequalities (Springer-Verlag New York, 2009).
  • Abdeljawad et al. [2019] T. Abdeljawad, A. Atangana, J. Gómez-Aguilar, and F. Jarad, On a more general fractional integration by parts formulae and applications, Physica A: Statistical Mechanics and its Applications 536, 122494 (2019).
  • Note [2] The conjugation relation 12 for β>0𝛽0\beta>0italic_β > 0 holds for φ(x)Lp(a,b)𝜑𝑥superscript𝐿𝑝𝑎𝑏\varphi(x)\in L^{p}(a,b)italic_φ ( italic_x ) ∈ italic_L start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_a , italic_b ), ψ(x)Lq(a,b)𝜓𝑥superscript𝐿𝑞𝑎𝑏\psi(x)\in L^{q}(a,b)italic_ψ ( italic_x ) ∈ italic_L start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ( italic_a , italic_b ) satisfying p,q1𝑝𝑞1\ p,q\geq 1italic_p , italic_q ≥ 1, and p1+q11+βsuperscript𝑝1superscript𝑞11𝛽{p}^{-1}+{q}^{-1}\leq 1+\betaitalic_p start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + italic_q start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ≤ 1 + italic_β; in case of equality, p,q1𝑝𝑞1p,q\neq 1italic_p , italic_q ≠ 1.
  • Williams [1963] W. E. Williams, A class of integral equations, Mathematical Proceedings of the Cambridge Philosophical SocietyMathematical Proceedings of the Cambridge Philosophical Society 59, 589 (1963).
  • Decreusefond and Üstünel [1999] L. Decreusefond and A. Üstünel, Stochastic analysis of the fractional Brownian motion, Potential Analysis 10, 177 (1999).
  • Buonacorsi et al. [2020] B. Buonacorsi, M. Korkusinski, B. Khromets, and J. Baugh, Optimizing lateral quantum dot geometries for reduced exchange noise, arXiv:2012.10512 [cond-mat.mes-hall] (2020).
  • Mandelbrot and Van Ness [1968] B. B. Mandelbrot and J. W. Van Ness, Fractional brownian motions, fractional noises and applications, SIAM review 10, 422 (1968).
  • Flandrin [1989] P. Flandrin, On the spectrum of fractional Brownian motions, IEEE Transactions on information theory 35, 197 (1989).
  • Kuleshov and Grudin [2013] E. Kuleshov and B. Grudin, Spectral density of a fractional Brownian process, Optoelectronics, Instrumentation and Data Processing 49, 228 (2013).
  • Sibatov and Uchaikin [2007] R. T. Sibatov and V. V. Uchaikin, Fractional differential kinetics of charge transport in unordered semiconductors, Semiconductors 41, 335 (2007).
  • Alaria et al. [2019] A. Alaria, A. M. Khan, D. L. Suthar, and D. Kumar, Application of fractional operators in modelling for charge carrier transport in amorphous semiconductor with multiple trap**, International Journal of Applied and Computational Mathematics 510.1007/s40819-019-0750-8 (2019).
  • Caputo and Fabrizio [2016] M. Caputo and M. Fabrizio, Applications of new time and spatial fractional derivatives with exponential kernels, Progress in Fractional Differentiation & Applications 2, 1 (2016).
  • Losada and Nieto [2015] J. Losada and J. J. Nieto, Properties of a new fractional derivative without singular kernel, Progr. Fract. Differ. Appl 1, 87 (2015).
  • Estrada and Kanwal [2000] R. Estrada and R. P. Kanwal, Singular integral equations (Springer Science & Business Media, 2000).