{
  "cells": [
    {
      "cell_type": "markdown",
      "id": "frontmatter",
      "metadata": {},
      "source": [
        "---\n",
        "title: \"Améliorer une estimation SQD grâce à l'optimisation orbitale\"\n",
        "description: \"Améliorer une estimation SQD grâce à l’optimisation orbitale pour la dernière version de la diagonalisation quantique basée sur l’échantillonnage (SQD)\"\n",
        "---\n",
        "\n"
      ]
    },
    {
      "cell_type": "markdown",
      "id": "bb5a576d",
      "metadata": {},
      "source": [
        "<span id=\"improve-an-sqd-estimate-with-orbital-optimization\" />\n",
        "\n",
        "# Améliorer une estimation SQD grâce à l'optimisation orbitale\n",
        "\n",
        "La diagonalisation quantique par échantillonnage (SQD) permet d'estimer l'énergie de l'état fondamental en\n",
        "diagonalisant l'hamiltonien dans un sous-espace fixe de configurations électroniques. Cette\n",
        "estimation dépend de la base orbitale dans laquelle l'hamiltonien est exprimé, et\n",
        "*l'optimisation orbitale* (OO) exploite cette liberté pour réduire l'énergie sans élargir\n",
        "le sous-espace.\n",
        "\n",
        "Ce guide explique comment exécuter SQD sur une molécule de type « $N_2$ », puis comment améliorer le résultat grâce à une\n",
        "optimisation orbitale, en utilisant [`ffsim`](https://qiskit-community.github.io/ffsim/) pour représenter\n",
        "l'hamiltonien et déterminer la rotation orbitale minimisant l'énergie.\n",
        "\n"
      ]
    },
    {
      "cell_type": "markdown",
      "id": "77ab953b",
      "metadata": {},
      "source": [
        "<span id=\"run-sqd\" />\n",
        "\n",
        "## Exécuter SQD\n",
        "\n",
        "Nous construisons les intégrales moléculaires pour l’ $N_2$ e dans la base des orbitales moléculaires (MO), générons\n",
        "des échantillons aléatoires uniformes, puis exécutons SQD afin d’obtenir une approximation de l’état fondamental.\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 1,
      "id": "b8d5618e",
      "metadata": {
        "execution": {
          "iopub.execute_input": "2026-07-16T01:36:48.334261Z",
          "iopub.status.busy": "2026-07-16T01:36:48.334063Z",
          "iopub.status.idle": "2026-07-16T01:37:42.585853Z",
          "shell.execute_reply": "2026-07-16T01:37:42.584303Z"
        }
      },
      "outputs": [
        {
          "name": "stdout",
          "output_type": "stream",
          "text": [
            "converged SCF energy = -108.835236570775\n",
            "CASCI E = -109.046671778080  E(CI) = -32.8155692383187  S^2 = 0.0000000\n"
          ]
        }
      ],
      "source": [
        "import numpy as np\n",
        "import pyscf\n",
        "import pyscf.cc\n",
        "import pyscf.mcscf\n",
        "from qiskit_addon_sqd.counts import generate_bit_array_uniform\n",
        "from qiskit_addon_sqd.fermion import diagonalize_fermionic_hamiltonian\n",
        "\n",
        "# Specify molecule properties\n",
        "num_orbitals = 16\n",
        "num_elec_a = num_elec_b = 5\n",
        "spin_sq = 0\n",
        "\n",
        "# Build N2 molecule\n",
        "mol = pyscf.gto.Mole()\n",
        "mol.build(\n",
        "    atom=[[\"N\", (0, 0, 0)], [\"N\", (1.0, 0, 0)]],\n",
        "    basis=\"6-31g\",\n",
        "    symmetry=\"Dooh\",\n",
        ")\n",
        "\n",
        "# Define active space\n",
        "n_frozen = 2\n",
        "active_space = range(n_frozen, mol.nao_nr())\n",
        "\n",
        "# Get molecular integrals\n",
        "scf = pyscf.scf.RHF(mol).run()\n",
        "num_orbitals = len(active_space)\n",
        "n_electrons = int(sum(scf.mo_occ[active_space]))\n",
        "num_elec_a = (n_electrons + mol.spin) // 2\n",
        "num_elec_b = (n_electrons - mol.spin) // 2\n",
        "cas = pyscf.mcscf.CASCI(scf, num_orbitals, (num_elec_a, num_elec_b))\n",
        "mo = cas.sort_mo(active_space, base=0)\n",
        "hcore, nuclear_repulsion_energy = cas.get_h1cas(mo)\n",
        "eri = pyscf.ao2mo.restore(1, cas.get_h2cas(mo), num_orbitals)\n",
        "\n",
        "# Compute exact energy\n",
        "exact_energy = cas.run().e_tot\n",
        "\n",
        "# Create a seed to control randomness throughout this workflow\n",
        "rng = np.random.default_rng(24)\n",
        "\n",
        "\n",
        "# Generate random samples\n",
        "bit_array = generate_bit_array_uniform(\n",
        "    10_000, num_orbitals * 2, rand_seed=rng\n",
        ")\n",
        "\n",
        "# Run SQD\n",
        "result = diagonalize_fermionic_hamiltonian(\n",
        "    hcore,\n",
        "    eri,\n",
        "    bit_array,\n",
        "    samples_per_batch=100,\n",
        "    norb=num_orbitals,\n",
        "    nelec=(num_elec_a, num_elec_b),\n",
        "    num_batches=1,\n",
        "    max_iterations=5,\n",
        "    symmetrize_spin=True,\n",
        "    seed=rng,\n",
        ")"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 2,
      "id": "0ca70028",
      "metadata": {
        "execution": {
          "iopub.execute_input": "2026-07-16T01:37:42.590790Z",
          "iopub.status.busy": "2026-07-16T01:37:42.589477Z",
          "iopub.status.idle": "2026-07-16T01:37:42.595563Z",
          "shell.execute_reply": "2026-07-16T01:37:42.595133Z"
        }
      },
      "outputs": [
        {
          "name": "stdout",
          "output_type": "stream",
          "text": [
            "Exact energy:  -109.04667178\n",
            "SQD energy:    -108.98469255\n"
          ]
        }
      ],
      "source": [
        "sqd_energy = result.energy + nuclear_repulsion_energy\n",
        "print(f\"Exact energy:  {exact_energy:.8f}\")\n",
        "print(f\"SQD energy:    {sqd_energy:.8f}\")"
      ]
    },
    {
      "cell_type": "markdown",
      "id": "9160d09c",
      "metadata": {},
      "source": [
        "<span id=\"optimize-the-orbitals\" />\n",
        "\n",
        "## Optimiser les orbitales\n",
        "\n",
        "L'optimisation orbitale consiste à rechercher une rotation orbitale qui minimise l'énergie variationnelle\n",
        "\n",
        "$$\n",
        "E = \\langle \\psi | \\mathcal{U}^\\dagger\\, H\\, \\mathcal{U} | \\psi \\rangle\n",
        "$$\n",
        "\n",
        "de l'approximation de l'état fondamental SQD $|\\psi\\rangle$. Une rotation orbitale est définie par\n",
        "une matrice unitaire d' $N \\times N$ s $\\mathbf{U}$ (où $N$ est le nombre d'orbitales spatiales), qui\n",
        "agit sur l'état à plusieurs corps par l'intermédiaire de l'opérateur\n",
        "\n",
        "$$\n",
        "\\mathcal{U} = \\exp\\left[\\sum_{pq, \\sigma} \\log(\\mathbf{U})_{pq}\\, a^\\dagger_{p\\sigma} a_{q\\sigma}\\right].\n",
        "$$\n",
        "\n",
        "`ffsim.optimize_orbitals` renvoie la **matrice** d' $\\mathbf{U}$; l'appliquer à la\n",
        "base orbitale (via `hamiltonian.rotated`) revient à appliquer $\\mathcal{U}$ à l'\n",
        "état. Pour plus de détails, consultez l'\n",
        "[explication de ffsim sur la rotation orbitale](https://qiskit-community.github.io/ffsim/explanations/orbital-rotation.html)\n",
        ".\n",
        "\n",
        "Étant donné que la rotation des orbitales modifie l'hamiltonien associé au sous-espace, nous alternons\n",
        "ces deux étapes jusqu'à ce que l'énergie cesse de s'améliorer :\n",
        "\n",
        "1. **Diagonaliser** l'hamiltonien dans la base actuelle sur l'ensemble fixe de\n",
        "   configurations.\n",
        "2. **Optimisez les orbitales** en déterminant la rotation qui minimise l'énergie de l'\n",
        "   état résultant, puis effectuez une rotation des intégrales dans la nouvelle base.\n",
        "\n",
        "Nous confions l'étape de rotation orbitale à\n",
        "[`ffsim.optimize_orbitals`](https://qiskit-community.github.io/ffsim/api/ffsim.html#ffsim.optimize_orbitals),\n",
        "qui détermine la rotation minimisant l'énergie à partir des matrices de densité réduites\n",
        "(RDM) à un et à deux corps de l'état. Voir\n",
        "[la section Voir II A 4](https://arxiv.org/pdf/2405.05068) pour plus de détails.\n",
        "\n"
      ]
    },
    {
      "cell_type": "markdown",
      "id": "006745b5",
      "metadata": {},
      "source": [
        "<span id=\"why-orbital-optimization-helps-here\" />\n",
        "\n",
        "### Pourquoi l'optimisation orbitale s'avère utile dans ce cas précis\n",
        "\n",
        "La base d'orbitales moléculaires (OM) SCF est stationnaire par rapport aux rotations orbitales pour le problème -CI *complet* . Mais la méthode SQD opère dans un petit sous-espace tronqué (ici, quelques\n",
        "centaines de chaînes CI sur environ 19 millions de déterminants CI complets), pour lequel la base MO\n",
        "n'est généralement pas optimale; la rotation des orbitales réduit donc l'énergie que ce sous-espace\n",
        "peut représenter.\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 3,
      "id": "46eb2f5a",
      "metadata": {
        "execution": {
          "iopub.execute_input": "2026-07-16T01:37:42.597573Z",
          "iopub.status.busy": "2026-07-16T01:37:42.597399Z",
          "iopub.status.idle": "2026-07-16T01:37:42.654809Z",
          "shell.execute_reply": "2026-07-16T01:37:42.654267Z"
        }
      },
      "outputs": [],
      "source": [
        "import ffsim\n",
        "from pyscf import fci\n",
        "\n",
        "# ffsim's ``MolecularHamiltonian`` uses the same \"chemist\" ordering for the two-body\n",
        "# tensor as PySCF's ``eri``, and stores the nuclear repulsion energy as the constant\n",
        "# term so that expectation values come out as total energies."
      ]
    },
    {
      "cell_type": "markdown",
      "id": "93179dc4",
      "metadata": {},
      "source": [
        "<span id=\"alternate-diagonalization-and-orbital-optimization\" />\n",
        "\n",
        "### Diagonalisation alternée et optimisation orbitale\n",
        "\n",
        "Nous conservons le sous-espace de diagonalisation **défini** par les configurations mises en évidence par la méthode SQD\n",
        "ci-dessus, de sorte que chaque itération isole l'effet de la rotation des orbitales. À chaque\n",
        "itération :\n",
        "\n",
        "1. **Diagonalise** l'hamiltonien sur le sous-espace fixe dans la base actuelle, à l'aide\n",
        "   du solveur CI sélectionné de PySCF's.\n",
        "2. **Crée les RDM**\n",
        "   de l'état résultant, ce qui`ffsim.optimize_orbitals`\n",
        "   suffit.\n",
        "3. **Optimise les orbitales** : `ffsim.optimize_orbitals` renvoie la rotation minimisant l'énergie,\n",
        "   que nous appliquons aux intégrales afin de passer à la base améliorée.\n",
        "\n",
        "Nous enregistrons l'énergie *avant* chaque étape d'optimisation. Comme la base s'améliore à chaque\n",
        "itération, cette suite diminue de manière monotone vers la meilleure énergie pouvant être atteinte dans\n",
        "le sous-espace fixé.\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 4,
      "id": "a0783e88",
      "metadata": {
        "execution": {
          "iopub.execute_input": "2026-07-16T01:37:42.657394Z",
          "iopub.status.busy": "2026-07-16T01:37:42.657213Z",
          "iopub.status.idle": "2026-07-16T01:38:48.374706Z",
          "shell.execute_reply": "2026-07-16T01:38:48.373697Z"
        }
      },
      "outputs": [
        {
          "name": "stdout",
          "output_type": "stream",
          "text": [
            "Iteration 0: energy = -108.98452447\n",
            "Iteration 1: energy = -108.99981993\n",
            "Iteration 2: energy = -109.00585329\n",
            "Iteration 3: energy = -109.00816569\n",
            "Iteration 4: energy = -109.00936616\n",
            "Iteration 5: energy = -109.01014322\n",
            "Iteration 6: energy = -109.01069439\n",
            "Iteration 7: energy = -109.01109308\n",
            "Iteration 8: energy = -109.01138928\n",
            "Iteration 9: energy = -109.01161411\n"
          ]
        }
      ],
      "source": [
        "# Fix the diagonalization subspace to the configurations found by SQD.\n",
        "ci_strings = (result.sci_state.ci_strs_a, result.sci_state.ci_strs_b)\n",
        "nelec = (num_elec_a, num_elec_b)\n",
        "\n",
        "# Start from the MO basis in which we ran SQD.\n",
        "hamiltonian_opt = ffsim.MolecularHamiltonian(\n",
        "    hcore, eri, constant=nuclear_repulsion_energy\n",
        ")\n",
        "\n",
        "num_iters = 10\n",
        "for i in range(num_iters):\n",
        "    # Diagonalize over the fixed subspace in the current basis.\n",
        "    myci = fci.selected_ci.SelectedCI()\n",
        "    myci = fci.addons.fix_spin_(myci, ss=spin_sq)\n",
        "    _, amplitudes = fci.selected_ci.kernel_fixed_space(\n",
        "        myci,\n",
        "        hamiltonian_opt.one_body_tensor,\n",
        "        hamiltonian_opt.two_body_tensor,\n",
        "        num_orbitals,\n",
        "        nelec,\n",
        "        ci_strs=ci_strings,\n",
        "    )\n",
        "\n",
        "    # Build the RDMs and record the energy before re-optimizing the orbitals.\n",
        "    dm1, dm2 = myci.make_rdm12(amplitudes, num_orbitals, nelec)\n",
        "    rdm = ffsim.ReducedDensityMatrix(dm1, dm2)\n",
        "    energy = rdm.expectation(hamiltonian_opt).real\n",
        "    print(f\"Iteration {i}: energy = {energy:.8f}\")\n",
        "\n",
        "    # Rotate the Hamiltonian into the energy-minimizing basis for the next iteration.\n",
        "    # optimize_orbitals returns the unitary matrix U minimizing\n",
        "    # rdm.rotated(U).expectation(hamiltonian), equivalently\n",
        "    # rdm.expectation(hamiltonian.rotated(U.conj().T)), so we rotate by U^dagger.\n",
        "    orbital_rotation = ffsim.optimize_orbitals(rdm, hamiltonian_opt)\n",
        "    hamiltonian_opt = hamiltonian_opt.rotated(orbital_rotation.T.conj())"
      ]
    },
    {
      "cell_type": "markdown",
      "id": "a61dbda8",
      "metadata": {},
      "source": [
        "<span id=\"compare-the-results\" />\n",
        "\n",
        "### Comparez les résultats\n",
        "\n",
        "L'optimisation orbitale améliore l'estimation du sous-espace fixe, comblant ainsi une grande partie de l'écart par rapport à\n",
        "l'énergie exacte tout en restant au-dessus de celle-ci.\n",
        "\n"
      ]
    },
    {
      "cell_type": "code",
      "execution_count": 5,
      "id": "762b0903",
      "metadata": {
        "execution": {
          "iopub.execute_input": "2026-07-16T01:38:48.377620Z",
          "iopub.status.busy": "2026-07-16T01:38:48.377404Z",
          "iopub.status.idle": "2026-07-16T01:38:53.111168Z",
          "shell.execute_reply": "2026-07-16T01:38:53.110312Z"
        }
      },
      "outputs": [
        {
          "name": "stdout",
          "output_type": "stream",
          "text": [
            "Exact energy:      -109.04667178\n",
            "SQD energy (MO):   -108.98469255\n",
            "Energy after OO:   -109.01178727\n"
          ]
        }
      ],
      "source": [
        "# Diagonalize once more in the final optimized basis to report the improved energy.\n",
        "myci = fci.selected_ci.SelectedCI()\n",
        "myci = fci.addons.fix_spin_(myci, ss=spin_sq)\n",
        "_, amplitudes = fci.selected_ci.kernel_fixed_space(\n",
        "    myci,\n",
        "    hamiltonian_opt.one_body_tensor,\n",
        "    hamiltonian_opt.two_body_tensor,\n",
        "    num_orbitals,\n",
        "    nelec,\n",
        "    ci_strs=ci_strings,\n",
        ")\n",
        "dm1, dm2 = myci.make_rdm12(amplitudes, num_orbitals, nelec)\n",
        "energy_after_oo = (\n",
        "    ffsim.ReducedDensityMatrix(dm1, dm2).expectation(hamiltonian_opt).real\n",
        ")\n",
        "\n",
        "print(f\"Exact energy:      {exact_energy:.8f}\")\n",
        "print(f\"SQD energy (MO):   {sqd_energy:.8f}\")\n",
        "print(f\"Energy after OO:   {energy_after_oo:.8f}\")"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {},
      "id": "a1b8767d",
      "source": "© IBM Corp., 2017-2026"
    }
  ],
  "metadata": {
    "kernelspec": {
      "display_name": "Python 3",
      "language": "python",
      "name": "python3"
    },
    "language_info": {
      "codemirror_mode": {
        "name": "ipython",
        "version": 3
      },
      "file_extension": ".py",
      "mimetype": "text/x-python",
      "name": "python",
      "nbconvert_exporter": "python",
      "pygments_lexer": "ipython3",
      "version": "3"
    }
  },
  "nbformat": 4,
  "nbformat_minor": 5
}