Aller au contenu principal

QUICK-PDE : une fonction Qiskit par ColibriTD

Consulte la référence API

remarque

Les fonctions Qiskit sont une fonctionnalité expérimentale disponible pour les utilisateurs des plans IBM Quantum® Premium, Flex et On-Prem (via l'API IBM Quantum Platform). Elles sont en version préliminaire et susceptibles de changer.

Vue d'ensemble

Le solveur d'équations aux dérivées partielles (EDP) présenté ici fait partie de notre plateforme Quantum Innovative Computing Kit (QUICK) (QUICK-PDE), et est packagé comme une fonction Qiskit. Avec la fonction QUICK-PDE, tu peux résoudre des équations aux dérivées partielles spécifiques à un domaine sur des QPU IBM Quantum. Cette fonction est basée sur l'algorithme décrit dans le document de description H-DES de ColibriTD. Cet algorithme peut résoudre des problèmes multi-physiques complexes, en commençant par la mécanique des fluides numérique (CFD) et la déformation des matériaux (MD), et d'autres cas d'utilisation à venir.

Pour traiter les équations différentielles, les solutions d'essai sont encodées comme des combinaisons linéaires de fonctions orthogonales (généralement des polynômes de Chebyshev, et plus spécifiquement 2n2^n d'entre eux où nn est le nombre de qubits encodant ta fonction), paramétrées par les angles d'un circuit quantique variable (VQC). L'ansatz génère un état encodant la fonction, qui est évalué par des observables dont les combinaisons permettent d'évaluer la fonction en tous les points. Tu peux ensuite évaluer la fonction de perte dans laquelle les équations différentielles sont encodées, et affiner les angles dans une boucle hybride, comme indiqué ci-après. Les solutions d'essai se rapprochent progressivement des solutions réelles jusqu'à ce que tu obtiennes un résultat satisfaisant.

Flux de travail de la fonction QUICK-PDE

En plus de cette boucle hybride, tu peux également enchaîner différents optimiseurs. C'est utile lorsque tu veux qu'un optimiseur global trouve un bon ensemble d'angles, puis un optimiseur plus fin pour suivre un gradient vers le meilleur ensemble d'angles voisins. Dans le cas de la mécanique des fluides numérique (CFD), la séquence d'optimisation par défaut produit les meilleurs résultats - mais dans le cas de la déformation des matériaux (MD), bien que la valeur par défaut donne de bons résultats, tu peux la configurer davantage pour des avantages spécifiques au problème.

Note que pour chaque variable de la fonction, tu spécifies le nombre de qubits (avec lequel tu peux jouer). En empilant 10 circuits identiques et en évaluant les 10 observables identiques sur différents qubits tout au long d'un grand circuit, tu peux atténuer le bruit dans le processus d'optimisation CMA, en t'appuyant sur la méthode d'apprentissage du bruit, et réduire significativement le nombre de shots nécessaires.

Mécanique des fluides numérique

L'équation de Burgers non visqueuse modélise les fluides non visqueux en écoulement comme suit :

ut+uux=0,\frac{\partial u}{\partial t} + u\frac{\partial u}{\partial x} = 0,

uu représente le champ de vitesse du fluide. Ce cas d'utilisation a une condition aux limites temporelle : tu peux sélectionner la condition initiale puis laisser le système se relaxer. Actuellement, les seules conditions initiales acceptées sont les fonctions linéaires : ax+bax + b.

Les arguments pour les équations différentielles de la CFD sont sur une grille fixe, comme suit :

  • tt est compris entre 0 et 0,95 avec 30 points d'échantillonnage. xx est compris entre 0 et 0,95 avec un pas de 0,2375.

Déformation des matériaux

Ce cas d'utilisation se concentre sur la déformation hypoélastique avec le test de traction unidimensionnel, dans lequel une barre fixée dans l'espace est tirée à son autre extrémité. Nous décrivons le problème comme suit :

uσ3K23ϵ0(σσ03)n=0u' - \frac{\sigma}{3K} - \frac{2}{\sqrt{3}}\epsilon_0\left(\frac{\sigma'}{\sigma_0\sqrt{3}}\right)^n = 0

σb=0,\sigma' - b = 0,

KK représente le module de compressibilité du matériau étiré, nn l'exposant d'une loi de puissance, bb la force par unité de masse, ϵ0\epsilon_0 la limite de contrainte proportionnelle, σ0\sigma_0 la limite de déformation proportionnelle, uu la fonction de contrainte et σ\sigma la fonction de déformation.

La barre considérée est de longueur unitaire. Ce cas d'utilisation a une condition aux limites pour la contrainte de surface tt, ou la quantité de travail nécessaire pour étirer la barre.

Les arguments pour les équations différentielles de la MD sont sur une grille fixe, comme suit :

  • xx est compris entre 0 et 1 avec un pas de 0,04.

Benchmarks

Le tableau suivant présente des statistiques sur différentes exécutions de notre fonction.

ExempleNombre de qubitsInitialisationErreurTemps total (min)Utilisation runtime (min)
Équation de Burgers non visqueuse50PHYSICALLY_INFORMED10210^{-2}6625
Test de traction hypoélastique 1D18RANDOM10210^{-2}123100

Premiers pas

Remplis le formulaire pour demander l'accès à la fonction QUICK-PDE. Ensuite, en supposant que tu as déjà enregistré ton compte dans ton environnement local, sélectionne la fonction comme suit :

# Added by doQumentation — required packages for this notebook
!pip install -q matplotlib numpy qiskit-ibm-catalog
from qiskit_ibm_catalog import QiskitFunctionsCatalog

catalog = QiskitFunctionsCatalog(channel="ibm_quantum_platform")

quick = catalog.load("colibritd/quick-pde")

Exemples

Pour démarrer, essaie l'un des exemples suivants :

Mécanique des fluides numérique (CFD)

Lorsque les conditions initiales sont définies à u(0,x)=xu(0,x) = x, les résultats sont les suivants :

# launch the simulation with initial conditions u(0,x) = a*x + b
job = quick.run(use_case="cfd", physical_parameters={"a": 1.0, "b": 0.0})

Vérifie le statut de ta charge de travail Qiskit Function ou récupère les résultats comme suit :

print(job.status())
solution = job.result()
'QUEUED'
import numpy as np
import matplotlib.pyplot as plt

_ = plt.figure()
ax = plt.axes(projection="3d")

# plot the solution using the 3d plotting capabilities of pyplot
t, x = np.meshgrid(solution["samples"]["t"], solution["samples"]["x"])
ax.plot_surface(
t,
x,
solution["functions"]["u"],
edgecolor="royalblue",
lw=0.25,
rstride=26,
cstride=26,
alpha=0.3,
)
ax.scatter(t, x, solution["functions"]["u"], marker=".")
ax.set(xlabel="t", ylabel="x", zlabel="u(t,x)")

plt.show()

Sortie de la cellule de code précédente

Déformation des matériaux

Le cas d'utilisation de déformation des matériaux nécessite les paramètres physiques de ton matériau et la force appliquée, comme suit :

import matplotlib.pyplot as plt

# select the properties of your material
job = quick.run(
use_case="md",
physical_parameters={
"t": 12.0,
"K": 100.0,
"n": 4.0,
"b": 10.0,
"epsilon_0": 0.1,
"sigma_0": 5.0,
},
)

# plot the result
solution = job.result()

_ = plt.figure()
stress_plot = plt.subplot(211)
plt.plot(solution["samples"]["x"], solution["functions"]["u"])
strain_plot = plt.subplot(212)
plt.plot(solution["samples"]["x"], solution["functions"]["sigma"])

plt.show()

Sortie de la cellule de code précédente

Voici un exemple de comment obtenir la valeur de la fonction pour un ensemble spécifique de coordonnées :

# u(t=0.2, x=0.7) == 2
assert solution["samples"]["t"][1] == 0.2
assert solution["samples"]["x"][2] == 0.7
assert solution["functions"]["u"][1, 2] == 2

Récupérer les messages d'erreur

Si le statut de ta charge de travail est ERROR, utilise job.error_message() pour récupérer le message d'erreur et aider au débogage, comme suit :

job = quick.run(use_case="mdf", physical_params={})

print(job.error_message())

# or write a wrapper around it for a more human readable version
def pprint_error(job):
print("".join(eval(job.error_message())["error"]))

print("___")
pprint_error(job)
{"error": ["qiskit.exceptions.QiskitError: 'Unknown argument \"physical_params\", did you make a typo? -- https://docs.quantum.ibm.com/errors#1804'\n"]}
___
qiskit.exceptions.QiskitError: 'Unknown argument "physical_params", did you make a typo? -- https://docs.quantum.ibm.com/errors#1804'

Obtenir de l'aide

Pour obtenir de l'aide, contacte qiskit-function-support@colibritd.com.

Étapes suivantes

Recommandations