Exploration mathématique approfondie du calcul multipartite sécurisé (MPC) : du partage de secret additif et du problème des millionnaires d'Andrew Yao au partage à seuil (t, n) de Shamir par interpolation de Lagrange, triplets de Beaver, transfert inconscient (OT), circuits brouillés et applications en génomique et finance.
De la carte du choléra de Londres du Dr John Snow (1854) aux réseaux 5G et aux maillages par éléments finis : étude mathématique rigoureuse des diagrammes de Voronoï, preuve de complexité linéaire par la formule d'Euler, théorèmes de dualité de la triangulation de Delaunay, soulèvement sur le paraboloïde 3D, algorithme de balayage de Steven Fortune en O(n log n) et relaxation de Lloyd pour les pavages de Voronoï centroïdaux (CVT).
De l'article historique de Rudolf Kálmán en 1960 et l'ordinateur Apollo de 2 Ko à la multiplication de deux gaussiennes, la dérivation matricielle complète du gain de Kalman optimal, la forme stabilisée de Joseph, le principe de séparation LQG, EKF/UKF/SLAM et une simulation Python 2D.
Analyse architecturale et mathématique de la synchronisation non bloquante : défaillances des mutex en très basse latence, hiérarchie du nombre de consensus de Maurice Herlihy (CAS vs LL/SC), anatomie de la corruption mémoire du problème ABA dans la pile de Treiber, et récupération mémoire sûre via Hazard Pointers, EBR et RCU.
De la maxime de Dijkstra et du théorème de Rice à la logique de Floyd-Hoare, aux solveurs SMT Z3, au Model Checking temporel (TLA+), à l'explosion d'Ariane 5, à l'interprétation abstraite de Cousot (connexions de Galois) et aux assistants de preuve (Coq, Lean 4, CompCert, seL4).
Analyse mathématique approfondie de l'algorithme Shazam d'Avery Wang (transformée de Fourier à court terme STFT, principe d'incertitude de Gabor-Heisenberg, Constellation Map des maxima locaux, hachage combinatoire 32 bits et histogramme de décalage temporel) ainsi que du problème de la soirée cocktail et de l'analyse en composantes indépendantes (blanchiment PCA, non-gaussianité, kurtosis, négentropie et FastICA).
Devant la boîte transparente A (1 000 $) et la boîte opaque B (1 000 000 $ ou 0 $) préparées par un Prédicteur Oméga fiable à 99 %, un agent rationnel doit-il prendre une seule boîte (One-Boxing) ou les deux boîtes (Two-Boxing) ? Analyse mathématique et philosophique approfondie de la théorie de la décision évidentielle (EDT), de la théorie de la décision causale (CDT), du do-calcul de Judea Pearl, de la lésion du fumeur, de la prédestination calviniste chez Max Weber, de la Tickle Defense d'Ellery Eells, de l'isomorphisme du dilemme du prisonnier jumeau de David Lewis et de la théorie de la décision fonctionnelle (FDT).
Analyse philosophique approfondie : du sens et de la dénotation chez Frege et des descriptions définies de Russell aux désignateurs rigides de Kripke, à l'expérience de la Terre jumelle de Putnam (H2O vs XYZ), à l'externalisme social de Burge et au problème de l'ancrage des symboles dans les grands modèles de langage (LLM).
Analyse mathématique rigoureuse du piège de la martingale classique, du problème de la ruine du joueur de Huygens et Pascal par les équations aux différences finies, et de la théorie moderne des martingales et du théorème d'arrêt optionnel de Paul Lévy et Joseph Leo Doob.
La probabilité qu'une corde choisie au hasard dans un cercle unité soit plus longue que le côté du triangle équilatéral inscrit est-elle 1/3, 1/2 ou 1/4 ? Du paradoxe de Joseph Bertrand (1889) à la crise du principe d'indifférence de Laplace et au paradoxe du vin et de l'eau de Keynes, jusqu'aux axiomes de Kolmogorov, à l'invariance par groupe de transformations de Jaynes (mesure cinématique de Poincaré-Santaló) et à la loi a priori de Jeffreys.
Lorsqu'une métropole construit un nouveau pont ultrarapide ou qu'un ingénieur réseau ajoute une liaison fibre optique à haut débit, le bon sens veut que les temps de parcours diminuent. Pourtant, en 1968, Dietrich Braess a démontré que l'ajout de capacité dans un réseau soumis au routage égoïste (Selfish Routing) peut augmenter strictement le temps de trajet de 100 % des usagers. Cet article explore le réseau en diamant à 4 nœuds de Braess, les deux principes de Wardrop, la fonction de potentiel convexe de Beckmann-Rosenthal, la preuve complète de la borne 4/3 du Prix de l'Anarchie (Price of Anarchy) de Roughgarden et Tardos, le paradoxe mécanique ressorts-cordes de Cohen et Horowitz, ainsi que les fermetures de routes réelles de Séoul à New York.
Exploration mathématique rigoureuse du problème gravitationnel à trois corps : de l'intégrabilité exacte du problème à deux corps de Newton aux cinq points de Lagrange (L1–L5, télescope James Webb et astéroïdes troyens), de l'erreur féconde d'Henri Poincaré en 1889 (enchevêtrement homocline et théorie du chaos) à la chorégraphie en huit de Chenciner-Montgomery, au théorème KAM et aux travaux de Jacques Laskar sur la stabilité du Système solaire.
Pourquoi l'eau liquide pure peut-elle survivre jusqu'à près de -40 °C sans geler ? Une exploration thermodynamique et cinétique rigoureuse de la métastabilité, de la théorie classique de la nucléation (CNT), du rayon critique, du facteur de mouillage de Turnbull, de la croissance dendritique par choc, de la surchauffe et de la vitrification.
Exploration physique et mathématique de la tribologie : résolution du paradoxe d'Amontons-Coulomb via l'aire réelle de contact (Bowden-Tabor et Greenwood-Williamson), loi de frottement vitesse-état de Dieterich-Ruina du violon aux séismes, réfutation thermodynamique de la fusion sous pression de la glace par l'équation de Clapeyron, et superlubricité structurelle des réseaux incommensurables.
Analyse thermodynamique et tribologique rigoureuse de la glissance de la glace : réfutation de l'hypothèse de fusion par pression via l'équation de Clapeyron, démystification du regel de Faraday, couche quasi-liquide (QLL), chauffage frictionnel de Bowden-Hughes et nanorhéologie viscoélastique complexe.
Pourquoi l'aile bleu électrique d'un papillon Morpho se transforme-t-elle en poudre brune lorsqu'on la broie, et perd-elle instantanément sa couleur dans l'acétone ? Une étude rigoureuse d'optique ondulatoire sur l'interférence des couches minces, les réflecteurs de Bragg (DBR), le paradoxe Morpho et les cristaux photoniques 3D.
De l'énigme des plaques d'égout aux fonctions d'appui de Minkowski, séries de Fourier à harmoniques impaires, deux démonstrations complètes du théorème de Barbier (L = πw), théorème de Blaschke-Lebesgue, cinématique exacte du foret à trou carré de Harry Watts (98,77 % de la surface) et corps de Meissner en 3D.
Une exploration mathématique et physique approfondie des bulles de savon et des mousses : de la thermodynamique de la tension superficielle et de l'équation de Young-Laplace aux surfaces minimales, au mûrissement d'Ostwald, au surfactant pulmonaire DPPC, aux lois de Plateau (120° et 109,47°), à la structure de Weaire-Phelan et à l'élasticité auto-cicatrisante de Gibbs-Marangoni.
De l'expérience de de Mairan sur la sensitive Mimosa pudica (1729) et de la boucle de rétroaction transcription-traduction (CLOCK:BMAL1 et PER:CRY, prix Nobel 2017) jusqu'à la bifurcation de Hopf du modèle de Goodwin-Goldbeter, l'horloge protéique KaiABC des cyanobactéries en tube à essai et l'énigme biophysique de la compensation thermique (Q10 ≈ 1,0).
Analyse physique approfondie de l'adhésion biologique sèche chez le gecko tokay (Gekko gecko) : d'Aristote et la réfutation expérimentale des sept hypothèses classiques par Kellar Autumn jusqu'aux forces de dispersion quantiques de Fritz London, la théorie de Hamaker-Lifshitz, l'architecture hiérarchique sétule-spatule, la division du contact JKR et l'équation de pelage de Kendall.
