Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2604.26625 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917451965399040 |
|---|---|
| author | Ahmad, Tanveer |
| author_facet | Ahmad, Tanveer |
| contents | We study a projection-type gradient flow for equality-constrained maximisation of a smooth bilinear control objective on $\mathcal{H}=L^2(0,T;\mathbb{R})$, eliminating Lagrange multipliers through an $(M{+}1)\times(M{+}1)$ moving Gram matrix $Γ(s)_{\ell\ell'}=\int_0^T S(t)\,c_\ell(s,t)\,c_{\ell'}(s,t)\,\mathrm{d}t$. The flow generates monotonic ascent in continuous time but becomes unstable on discretisation; existing implementations rely on heuristic step-size safeguards lacking rigorous justification. We close this gap by replacing $Γ$ with $Γ_{\varepsilon}:=Γ+\varepsilon^{2}I$ and prove: (i) an exact spectral identity giving $κ(Γ_{\varepsilon})=(σ_{\max}^{2}+\varepsilon^{2})/(σ_{\min}^{2}+\varepsilon^{2})$; (ii) objective monotonicity $\mathrm{d}J/\mathrm{d}s\ge 0$ for all $\varepsilon\ge 0$; (iii) constraint drift $|h_{m}-C_{m}|=\mathcal{O}(\varepsilon^{2})$ with a computable prefactor; (iv) convergence of the regularised trajectory to the unregularised one in $L^{2}(0,T)$ at rate $\mathcal{O}(\varepsilon^{2})$ under uniform invertibility of $Γ$; and (v) a discrete CFL criterion $Δs\,G\,\|Γ_{\varepsilon}^{-1}\|\leα<2$ guaranteeing objective monotonicity of the forward-Euler scheme up to $\mathcal{O}(Δs^{2})$ local truncation error. The theory is validated on a three-level bilinear benchmark for all-optical Bell-state preparation, where $κ(Γ)\in[10^{9},10^{11}]$, the predicted $\varepsilon^{2}$ rate is confirmed over eight decades, and moderate regularisation eliminates step rejections and reduces constraint drift by more than an order of magnitude at unchanged final fidelity. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_26625 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Tikhonov-regularised projected gradient flow for equality-constrained bilinear quantum control Ahmad, Tanveer Quantum Physics We study a projection-type gradient flow for equality-constrained maximisation of a smooth bilinear control objective on $\mathcal{H}=L^2(0,T;\mathbb{R})$, eliminating Lagrange multipliers through an $(M{+}1)\times(M{+}1)$ moving Gram matrix $Γ(s)_{\ell\ell'}=\int_0^T S(t)\,c_\ell(s,t)\,c_{\ell'}(s,t)\,\mathrm{d}t$. The flow generates monotonic ascent in continuous time but becomes unstable on discretisation; existing implementations rely on heuristic step-size safeguards lacking rigorous justification. We close this gap by replacing $Γ$ with $Γ_{\varepsilon}:=Γ+\varepsilon^{2}I$ and prove: (i) an exact spectral identity giving $κ(Γ_{\varepsilon})=(σ_{\max}^{2}+\varepsilon^{2})/(σ_{\min}^{2}+\varepsilon^{2})$; (ii) objective monotonicity $\mathrm{d}J/\mathrm{d}s\ge 0$ for all $\varepsilon\ge 0$; (iii) constraint drift $|h_{m}-C_{m}|=\mathcal{O}(\varepsilon^{2})$ with a computable prefactor; (iv) convergence of the regularised trajectory to the unregularised one in $L^{2}(0,T)$ at rate $\mathcal{O}(\varepsilon^{2})$ under uniform invertibility of $Γ$; and (v) a discrete CFL criterion $Δs\,G\,\|Γ_{\varepsilon}^{-1}\|\leα<2$ guaranteeing objective monotonicity of the forward-Euler scheme up to $\mathcal{O}(Δs^{2})$ local truncation error. The theory is validated on a three-level bilinear benchmark for all-optical Bell-state preparation, where $κ(Γ)\in[10^{9},10^{11}]$, the predicted $\varepsilon^{2}$ rate is confirmed over eight decades, and moderate regularisation eliminates step rejections and reduces constraint drift by more than an order of magnitude at unchanged final fidelity. |
| title | Tikhonov-regularised projected gradient flow for equality-constrained bilinear quantum control |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2604.26625 |