Pour une ressource supplémentaire, j'ai beaucoup aimé *Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning* de Bob Coecke et Aleks Kissinger. Il construit vraiment un formalisme entièrement centré autour de la notation diagrammatique, ce qui est cool ; mais c'est aussi (bien sûr !) important de le supplémenter par des ressources plus classiques de mécanique/calcul quantique pour avoir un aperçu complet du sujet. :)
Merci! Je crois que le time stamp n'est pas le bon car je ne parle pas de produit tensoriel à ce moment, mais c'est pas grave je suis content que ça aide !
@@antoinebrgt ah oui, time stamp un peu tard, mais ta remarque ω[0> [1> = [0> ω[1> vient bien du fait qu’on considère le (co-)produit tensoriel d’états, plus le (co-)produit juste cartésien. J’ai du utiliser en cours une notation similaire à celle des algo quantiques pour parler de bigèbres et j’avais trouvé une intuition cool genre que la « trame de fond » des diagrammes, c’est pas juste du vide comme en classique mais K, et que toutes le branches peuvent « laisser une trace » sur K, ou « consommer du K » hahaha (selon une certaine liste de relations ; unité, counité, modules…. Et dans le cas que t’as présenté, les matrices diags et Cnot ont une sorte d identité « homotopique ») Très informel mais voilà ta remarque m’a fait joindre quelque bouts je crois haha merci !
@@antoinebrgt y a certainement de la littérature sur les bi algèbres dans un cadre général, mais avec un peuti axiome en plus tu as une algèbre de Hopf, et pour ça, je te conseille grandement « A Course on Hopf Algebras » de Rinat Kashaev, j’ai beaucoup aimé !
Vos vidéos ont l'air génial ! Mais assez complexes... Quel niveau faut-il avoir selon vous pour comprendre vos vidéos ? (Je suis en terminale mais ces sujets m'intéresse fortement)
Merci! Pour le niveau je dirais en général L2 ou prépa, mais ça peut valoir le coup d'essayer de suivre même avant ça (et certaines parties vont beaucoup plus loin de toute façon !)
Rien à voir avec la vidéo mais j'avais une petite question. En QFT, prenons par exemple le cas de la QED scalaires et donc coupler un champ scalaire complexe avec le champs électromagnétique. Pourquoi lorsque on construit le lagrangien pour cette théorie on demande qu'il soit invariant de gauge local sous U(1)? Quelle est la signification physique de devoir imposer cela? Merci beaucoup si tu réponds 😊
Rien n'impose de faire ça, c'est un choix qu'on fait au moment où on définit la théorie (plus précisément, quand on définit l'espace de Hilbert). Il se trouve que pour QED c'est ça qui colle avec les expériences, tout simplement !
la porte XOR peut etre déduite de AND et OR : a * b * (a + b) où * est AND et + est OR, si le résultat est non nul c'est vrai et en binaire le résultat ne peut etre que 1 su A et B sont des bits non nuls
@@antoinebrgt si tu peux laisser une pub au début c'est cool, tu peux choisir non ? La c'était 2 pub de 15 secondes toutes les 10 min lol, c'était un peu rude
@@yannickpezeu3419 non malheureusement je ne peux rien choisir, je peux juste choisir de mettre des pubs pour la monétisation ou pas (et je choisis donc de ne pas en mettre)
Merci, pour les pubs, d'autres personnes me l'ont signalé, c'est vrai que ça doit être insupportable... Je vais écrire à UA-cam pour faire remonter le problème.
@@antoinebrgt Effectivement, j'ai vu d'autres commentaires au sujet de la pub. Je suis bien conscient que tu n'a pas vraiment le contrôle sur cette situation. :) Tant pis, je finirai par manger des chips pour me détruire la santé et par acheter un SUV pour détruire plus vite la planète.
Toutes ces remarques sur les pubs sont étonnantes; il suffit de mettre le bon bloqueur. Pour ceux qui écoutent sur leur tel, il faut installer newpipe, et là, plus de blocages, plus de pub, on peut verrouiller l'écran, ça continue à tourner
Je trouve vos vidéos vraiment fascinantes - vous rendez les sujets complexes tellement plus faciles à comprendre. Je suis sur le point de commencer mon diplôme universitaire en physique en Angleterre, j’ai hâte d’apprendre des trucs comme ça!
Si e_1 est une base de R, la seule base de R⊗R est e_1⊗e_1, etc. J'avais détaillé suite à une question ce sujet dans la vidéo précédente d'Antoine ua-cam.com/video/kQFNvTnKbKM/v-deo.html&ab_channel=ScientiaEgregia
je viens de commencer un stage d’informatique quantique, ta vidéo m’a énormément aidé pour débuter, merci beaucoup !!!
Excellent! Il faut que je me dépêche de faire celle sur Shor et la transformée de Fourier quantique!
53:26 merci pour l'explication des covecteurs, ça faisait un demi siècle que je me demandais ce que c'est, grâce à vous j'ai enfin compris 🙂
Cool ! En effet c'est pas toujours expliqué de façon simple...
Quel clarté ! Merci ! Vivement la suite !!
Pour une ressource supplémentaire, j'ai beaucoup aimé *Picturing quantum processes : A first course in quantum theory and diagrammatic reasoning* de Bob Coecke et Aleks Kissinger.
Il construit vraiment un formalisme entièrement centré autour de la notation diagrammatique, ce qui est cool ; mais c'est aussi (bien sûr !) important de le supplémenter par des ressources plus classiques de mécanique/calcul quantique pour avoir un aperçu complet du sujet. :)
Ah je ne connais pas, je regarderai à l'occasion!
En effet, le livre est excellent !
Petit bonjour de Merignac de ma part, celle de Mengfei et de Ming !!!! On a rien compris à y’a vidéo, mais c’est chouette de te voir !!
Merci !! Mais... Qui est-ce ? :D
Super un des sujet qui m'interessais le plus (de parts mon métier) merci pour votre vidéo
Merci !
Excellent ! J'attends la suite avec impatience !
1:41:40 merci beaucoup pour la remarque “produit tensoriel” ! Ça m’a beaucoup éclairé ! :)
Merci! Je crois que le time stamp n'est pas le bon car je ne parle pas de produit tensoriel à ce moment, mais c'est pas grave je suis content que ça aide !
@@antoinebrgt ah oui, time stamp un peu tard, mais ta remarque ω[0> [1> = [0> ω[1> vient bien du fait qu’on considère le (co-)produit tensoriel d’états, plus le (co-)produit juste cartésien.
J’ai du utiliser en cours une notation similaire à celle des algo quantiques pour parler de bigèbres et j’avais trouvé une intuition cool genre que la « trame de fond » des diagrammes, c’est pas juste du vide comme en classique mais K, et que toutes le branches peuvent « laisser une trace » sur K, ou « consommer du K » hahaha (selon une certaine liste de relations ; unité, counité, modules…. Et dans le cas que t’as présenté, les matrices diags et Cnot ont une sorte d identité « homotopique »)
Très informel mais voilà ta remarque m’a fait joindre quelque bouts je crois haha merci !
@@Vannishn ah oui je vois ! Super, il faudrait que je me renseigne sur les bi-algèbres :D
@@antoinebrgt y a certainement de la littérature sur les bi algèbres dans un cadre général, mais avec un peuti axiome en plus tu as une algèbre de Hopf, et pour ça, je te conseille grandement « A Course on Hopf Algebras » de Rinat Kashaev, j’ai beaucoup aimé !
@@Vannishn Merci pour la référence, je regarderai à l'occasion!
Vos vidéos ont l'air génial ! Mais assez complexes...
Quel niveau faut-il avoir selon vous pour comprendre vos vidéos ? (Je suis en terminale mais ces sujets m'intéresse fortement)
Merci! Pour le niveau je dirais en général L2 ou prépa, mais ça peut valoir le coup d'essayer de suivre même avant ça (et certaines parties vont beaucoup plus loin de toute façon !)
Merci, très intéressant !
Merci Monsieur 🧞
Rien à voir avec la vidéo mais j'avais une petite question. En QFT, prenons par exemple le cas de la QED scalaires et donc coupler un champ scalaire complexe avec le champs électromagnétique. Pourquoi lorsque on construit le lagrangien pour cette théorie on demande qu'il soit invariant de gauge local sous U(1)? Quelle est la signification physique de devoir imposer cela? Merci beaucoup si tu réponds 😊
Rien n'impose de faire ça, c'est un choix qu'on fait au moment où on définit la théorie (plus précisément, quand on définit l'espace de Hilbert). Il se trouve que pour QED c'est ça qui colle avec les expériences, tout simplement !
Hola du quantique avec Egregia. Chapeau
la porte XOR peut etre déduite de AND et OR : a * b * (a + b) où * est AND et + est OR, si le résultat est non nul c'est vrai et en binaire le résultat ne peut etre que 1 su A et B sont des bits non nuls
Il me semble qu’avec le duplicateur et nor, y a tout ce qu’il faut.
Tu veux dire pour le calcul classique ?
@@antoinebrgt oui oui
Super ta video merci !
Il y a bcp de pubs, une toutes les 10min environs. Je sais pas si c'est voulu :-)
@Yannick : et pas d'Adblock, c'est voulu ?
Vraiment ?? C'est fou, je démonétise toutes les vidéos pour être sûr qu'il n'y a pas de pub... C'est assez insupportable...
@@lolo6795 je regarde sur le téléphone dans mon lit
@@antoinebrgt si tu peux laisser une pub au début c'est cool, tu peux choisir non ?
La c'était 2 pub de 15 secondes toutes les 10 min lol, c'était un peu rude
@@yannickpezeu3419 non malheureusement je ne peux rien choisir, je peux juste choisir de mettre des pubs pour la monétisation ou pas (et je choisis donc de ne pas en mettre)
Désolé mais comment ça, "UA-cam à Fermé" ? Je n'ai rien tourvé en ligne à e sujet :p
Tu veux parler de Utip peut-être?
Super intéressant ! Dommage que UA-cam pollue avec autant de pub. Je crois que je n'en avais jamais vu une telle densité dans d'autres vidéos.
Merci, pour les pubs, d'autres personnes me l'ont signalé, c'est vrai que ça doit être insupportable... Je vais écrire à UA-cam pour faire remonter le problème.
@@antoinebrgt Effectivement, j'ai vu d'autres commentaires au sujet de la pub. Je suis bien conscient que tu n'a pas vraiment le contrôle sur cette situation. :) Tant pis, je finirai par manger des chips pour me détruire la santé et par acheter un SUV pour détruire plus vite la planète.
Toutes ces remarques sur les pubs sont étonnantes; il suffit de mettre le bon bloqueur. Pour ceux qui écoutent sur leur tel, il faut installer newpipe, et là, plus de blocages, plus de pub, on peut verrouiller l'écran, ça continue à tourner
nice!
Je trouve vos vidéos vraiment fascinantes - vous rendez les sujets complexes tellement plus faciles à comprendre. Je suis sur le point de commencer mon diplôme universitaire en physique en Angleterre, j’ai hâte d’apprendre des trucs comme ça!
Merci beaucoup, c'est très encourageant pour moi !
Svp, est ce que le produit tensoriel de R avec R c'est R2?
Non, le produit tensoriel multiplie les dimensions, donc le produit tensoriel de deux espaces de dimension 1 est de dimension 1
@@antoinebrgt du coup le produit tensoriel de R et R est R ?
@@yannickpezeu3419 oui, c'est isomorphe
@@antoinebrgt dacc merci
Si e_1 est une base de R, la seule base de R⊗R est e_1⊗e_1, etc. J'avais détaillé suite à une question ce sujet dans la vidéo précédente d'Antoine ua-cam.com/video/kQFNvTnKbKM/v-deo.html&ab_channel=ScientiaEgregia