Ouvrir l'application

Exemple LaTeX

Exemple d'article LaTeX à plusieurs auteurs : source et rendu

Cet article court sert de projet de démonstration à sharedraft. Voici son source LaTeX complet, le rendu compilé, et la relecture que ses deux co-auteurs y ont laissée. Dans la démo, tout est modifiable, à plusieurs et en temps réel.

Ce que contient l'exemple

« Transport optimal et interpolation de formes » : Claire Martin, Hugo Bernard.

  • Classe article, babel en français, amsmath et amsthm
  • Équations numérotées, align, renvoi par \eqref
  • Un théorème (\newtheorem), un tableau tabular
  • Bibliographie avec thebibliography

Le rendu

Page 1 du rendu LaTeX de l'article « Transport optimal et interpolation de formes »Page 2 du rendu LaTeX de l'article « Transport optimal et interpolation de formes »

Le source

Le fichier main.tex du projet, tel qu'il s'ouvre dans la démo.

\documentclass[11pt]{article}
\usepackage[french]{babel}
\usepackage{amsmath,amssymb,amsthm}
\usepackage[margin=2.5cm]{geometry}
\newtheorem{theorem}{Théorème}

\title{Transport optimal et interpolation de formes}
\author{Claire Martin \and Hugo Bernard}
\date{}

\begin{document}
\maketitle

\begin{abstract}
Nous proposons une méthode d'interpolation entre deux formes fondée sur le
transport optimal. Elle reste stable lorsque les topologies diffèrent, et son
coût de calcul croît linéairement avec le nombre de points.
\end{abstract}

\section{Introduction}
Comparer deux formes revient souvent à mesurer l'effort nécessaire pour
déplacer l'une sur l'autre. Le transport optimal donne à cette idée un cadre
précis : on cherche l'application qui déplace la masse au moindre coût.

Les méthodes classiques d'interpolation, fondées sur une correspondance point
à point, échouent dès que les formes n'ont pas la même topologie. Le transport
optimal, lui, ne suppose aucune correspondance : il la calcule.

\section{Formulation}
Soient $\mu$ et $\nu$ deux mesures de probabilité sur $\mathbb{R}^d$. Le
problème de Monge cherche une application $T$ qui pousse $\mu$ sur $\nu$ :
\begin{equation}
  \min_{T_\# \mu = \nu} \int_{\mathbb{R}^d} \|x - T(x)\|^2 \, d\mu(x).
\end{equation}
Sa relaxation, due à Kantorovich, porte sur les couplages $\pi$ de marges
$\mu$ et $\nu$ :
\begin{equation}
  W_2^2(\mu,\nu) = \min_{\pi \in \Pi(\mu,\nu)} \int \|x-y\|^2 \, d\pi(x,y).
  \label{eq:kantorovich}
\end{equation}

\begin{theorem}[Brenier]
Si $\mu$ est absolument continue, le problème~\eqref{eq:kantorovich} admet une
unique solution, portée par le graphe de $T = \nabla \varphi$, où $\varphi$
est une fonction convexe.
\end{theorem}

L'interpolation de McCann relie alors continûment les deux formes :
\begin{equation}
  \mu_t = \big((1-t)\,\mathrm{Id} + t\,T\big)_\# \mu, \qquad t \in [0,1].
\end{equation}

\section{Calcul}
Nous régularisons le problème par l'entropie, ce qui conduit à l'algorithme de
Sinkhorn. Avec $K = e^{-C/\varepsilon}$, les itérations s'écrivent
\begin{align}
  a^{(k+1)} &= \frac{\mu}{K\, b^{(k)}}, &
  b^{(k+1)} &= \frac{\nu}{K^\top a^{(k+1)}},
\end{align}
et le couplage s'obtient par $\pi = \operatorname{diag}(a)\, K \operatorname{diag}(b)$.
Chaque itération ne demande que des produits matrice-vecteur.

\section{Résultats}
Sur l'ensemble de nos exemples, la méthode préserve les détails fins tout en
évitant les artefacts de repliement observés avec les approches classiques.

\begin{center}
\begin{tabular}{lccc}
  \hline
  Méthode & Points & Temps (s) & Erreur \\
  \hline
  Correspondance directe & $10^4$ & 0{,}8 & 0{,}112 \\
  Sinkhorn (ours) & $10^4$ & 1{,}3 & 0{,}031 \\
  Sinkhorn (ours) & $10^5$ & 12{,}9 & 0{,}029 \\
  \hline
\end{tabular}
\end{center}

\section{Conclusion}
Le transport optimal fournit une interpolation naturelle entre formes de
topologies différentes. Nous étudierons ensuite le cas de formes animées.

\begin{thebibliography}{9}
\bibitem{villani} C.~Villani, \emph{Optimal Transport: Old and New}, Springer, 2009.
\bibitem{cuturi} M.~Cuturi, Sinkhorn Distances, \emph{NeurIPS}, 2013.
\end{thebibliography}
\end{document}

La relecture dans la démo

En ouvrant la démo, on trouve l'article déjà relu par ses deux co-auteurs fictifs, Claire et Hugo : des commentaires en fil sur le source, des marques dessinées sur le rendu, et deux modifications suivies à accepter ou refuser.

Commentaires

  • sur « Transport optimal et interpolation de formes »Claire : Bienvenue ! Ce projet est partagé avec tous les visiteurs et remis à zéro toutes les 20 minutes. Écrivez, commentez, annotez le rendu : les autres le voient aussitôt.
  • sur « au moindre coût »Claire : Citer Villani ici ?
    Hugo : Oui, le livre de 2009.
  • sur « absolument continue »Hugo : Hypothèse essentielle : la rappeler dans l'introduction ?
  • sur « Sinkhorn »Claire : Donner la valeur de ε utilisée dans les expériences.
  • sur « artefacts de repliement »Hugo : Ajouter une figure comparative
  • sur « formes animées »Claire : Peut-être trop ambitieux pour ce papier.résolu
    Hugo : D'accord, on garde pour la suite.

Marques sur le rendu

  • Parenthèse dans la marge, sur « classiques »Hugo : Paragraphe un peu long : à resserrer ?
  • Zigzag dans la marge, sur « Brenier »Claire : Vérifier l'énoncé exact (hypothèses sur μ).
  • Note dans la marge, sur « matrice-vecteur »Claire : Coût : O(n²) par itération.

Modifications suivies

  • Hugo propose d'ajouter « et robuste » après « Elle reste stable »
  • Claire propose de supprimer « naturelle »

Essayer sans compte

La démo est partagée par tous les visiteurs et remise à zéro toutes les 20 minutes : écrivez, commentez, annotez, les autres le voient aussitôt. N'y mettez rien de personnel.