An open API service indexing awesome lists of open source software.

https://github.com/toschaefer/lucon.jl

loss optimization under unitary constraint
https://github.com/toschaefer/lucon.jl

loss-functions machine-learning materials-science optimization-algorithms optimization-methods quantum-chemistry wannier-functions

Last synced: 3 months ago
JSON representation

loss optimization under unitary constraint

Awesome Lists containing this project

README

          

# Lucon

[![Build Status](https://github.com/toschaefer/Lucon.jl/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/toschaefer/Lucon.jl/actions/workflows/CI.yml?query=branch%3Amain)

Lucon (**L**oss optimization under **U**nitary **CON**straint) optimizes loss functions mapping a unitary matrix onto a number. A conjugate-gradient algorithm is used following the work by [T. Abrudan et al., Signal Processing 89 (2009) 1704–1714](https://dx.doi.org/10.1016/j.sigpro.2009.03.015).

The module presents potential applications in various fields. For instance, it can be employed for tasks such as orbital rotations (e.g., orbital localization) in quantum chemistry and materials science, as well as for various tasks in signal processing applications or machine learning algorithms. The main motivation for Lucon.jl is given by orbital localizations for calculations in materials physics and quantum chemistry. These will be referenced here shortly.

The code is designed in a way that users can implement arbitrary loss functionals with little effort for optimization with Lucon.jl. As a template the [BrockettLoss.jl](src/BrockettLoss.jl) functional can be used (see example below).

To provide a very simple and illustrative example of the module's potential use cases, consider the following loss functional that can be used to diagonalize a hermitian matrix.
```math
L(U) = \text{tr}(U^\dagger H U N)
```
Here, $H$ is a hermitian matrix (to be diagonalized) and $N$ is a diagonal matrix with distinct entries in ascending order, $N_{nm} = n\delta_{nm}$. Lucon finds the optimal $U$ which maximizes the loss functional. For this particular choice of $L(U)$ (also known as [Brockett criterion](https://doi.org/10.1016/0024-3795(91)90021-N)), the optimal unitary matrix is the one that diagonalizes $H$.

## Install

In the Julia REPL, simply run the following commands:
```julia
using Pkg
Pkg.add("Lucon")
```

## Usage

In order to use Lucon to optimize a loss functional $L(U)$ one has provide a Julia function that calculates the Eucledean derivative $\Gamma_{ij} = \partial L / \partial u^*_{ij}$. For the above example (Brockett criterion) the Eucledean derivative simply reads $\Gamma = \partial L /\partial U^\dagger = H U N$.

To this end a sub-type of the abstract type ```Lucon.LossFunctional``` has to be defined which can hold all quantities necessary for the loss functional (for the example, it is only the hermitian matrix $H$).
The Eucledean derivative has to be provided by overloading the function ```Lucon.EuclideanDerivative```.

```julia
import Lucon

struct LossFunctional <: Lucon.LossFunctional
H::Hermitian{<:Number}
end

function Lucon.EuclideanDerivative(
L::LossFunctional,
U::Matrix{T},
CalcLoss::Bool
)::Tuple{Matrix{T},Float64} where T<:Number
Γ = zero(similar(U)) # Euclidean derivative has same type and dimension as U
Loss = 0.0 # the value of the Loss functional
dim = size(L.H,1)
N = Diagonal([1.0*n for n=1:dim]) # the N matrix is a diagonal matrix with entries N_nn = n
Γ = L.H*U*N
(CalcLoss == true) && (Loss = real(tr(U'*Γ)))
return (Γ, Loss)
end
```
The optimization can then be performed via
```julia
# set up your hermitian matrix H and initial unitary U
L = LossFunctional(H)
(U, Loss) = optimize(L,U)
```
The full example and its usage can be found in the source file [BrockettLoss.jl](src/BrockettLoss.jl) and in the test file [runtests.jl](test/runtests.jl).
Both can be used as a **template** to implement arbitrary loss functionals.

## How to cite?

Benjamin Wöckinger, Alexander Rumpf, Tobias Schäfer. *Exploring Intrinsic Bond Orbitals in Solids*, [arXiv:2409.18212](https://arxiv.org/abs/2409.18212)