ebook_presentazioni/paradossi_disuguaglianze.tex

\documentclass{beamer}
\usepackage{chronosys}
\usepackage{tikz}

\usepackage{ifpdf}
\ifpdf
\usepackage{hyperref}
%\pdfadjustspacing=1
%\fi

\mode<presentation>
 {
  \usetheme{Frankfurt}
   \usecolortheme[rgb={0.36,0.54,0.66}]{structure}
   
   \definecolor{inaf}{HTML}{1D71B8}
   %\definecolor{ashgrey}{rgb}{0.7, 0.75, 0.71}
   \definecolor{autumn}{rgb}{0.7, 0.75, 0.71}
   \definecolor{autumn1}{rgb}{0.7, 0.75, 0.71}
   \definecolor{autumn2}{rgb}{0.36, 0.54, 0.66}
   
   \definecolor{blue}{HTML}{84CECC}
   \definecolor{gr}{HTML}{375D81}

\setbeamercolor{alerted text}{fg=inaf!80!yellow}
\setbeamercolor*{palette primary}{fg=inaf!60!black,bg=autumn}
\setbeamercolor*{palette secondary}{fg=white!70!black,bg=autumn2}
\setbeamercolor*{palette tertiary}{bg=white!80!black,fg=autumn2}
\setbeamercolor*{palette quaternary}{fg=white,bg=autumn2}

\setbeamercolor*{sidebar}{fg=inaf,bg=autumn}

\setbeamercolor*{palette sidebar primary}{fg=inaf!10!black}
\setbeamercolor*{palette sidebar secondary}{fg=white}
\setbeamercolor*{palette sidebar tertiary}{fg=inaf!50!black}
\setbeamercolor*{palette sidebar quaternary}{fg=yellow!10!orange}

\setbeamercolor*{titlelike}{parent=palette primary}
\setbeamercolor{frametitle}{bg=autumn1}
\setbeamercolor{frametitle right}{bg=autumn}

\setbeamercolor*{separation line}{}
\setbeamercolor*{fine separation line}{}

\mode
<all>
   
   %\usecolortheme{wolverine}
   \usecolortheme{rose}
   \usefonttheme{serif}
%   \setbeamercolor{section in toc}{fg=red}
 }

\title[Paradossi]{Una storia di paradossi, disuguaglianze e baffi}
\author[G.Filippelli]{Gianluigi Filippelli}
\date{Liceo "C. Cavalleri", Parabiago (Milano). 22/02/2018}

\usepackage[latin1]{inputenc}
\usepackage[italian]{babel}
\usepackage{times}
%
\begin{document}
%
\begin{frame}
 \titlepage
\end{frame}
%
% Introduzione
%
\section{Introduzione}
%
\begin{frame}
	\frametitle{Il fondamentale contributo dei gatti alla meccanica quantistica}
	\begin{center}
		\includegraphics[width=7cm]{files/doppiafenditura_gatti.jpg}
	\end{center}
	\begin{center}
		\href{https://youtu.be/IOYyCHGWJq4}{\textcolor{inaf}{Video 1}} (Minute Physics) | \href{https://youtu.be/d1tn56vWU_g}{\textcolor{inaf}{Video 2}} (Open University)
	\end{center}
\end{frame}
%
\begin{frame}
	\frametitle{Voci interiori}
	\begin{block}{Albert Einstein}
		La meccanica quantistica <20> certamente imponente. Ma una voce interiore mi dice che non <20> ancora reale. La teoria dice molto, ma non ci conduce realmente pi<70> vicino al segreto del "grande vecchio". Io, in ogni caso, sono convinto che Egli non gioca a dadi.
	\end{block}
\end{frame}
%
\begin{frame}
	\frametitle{Paradosso EPR}
	\begin{enumerate}
		\item la descrizione quanto-meccanica della realt<6C> data dalla funzione d'onda non <20> completa
		\onslide<2->{\item quando gli operatori corrispondenti a due quantit<69> fisiche non commutano le due quantit<69> non possono avere una realt<6C> simultanea}
	\end{enumerate}
	\onslide<3->{\begin{block}{Conclusione}
		\only<3>{La negazione di (1) implica la negazione di (2) quindi \emph{La descrizione della realt<6C> fisica data dalla funzione d'onda non <20> completa}.}
		\only<4>{\emph{Mentre abbiamo cos<6F> mostrato che la funzione d'onda non fornisce una descrizione completa della realt<6C> fisica, lasciamo aperta la questione se esista o meno una descrizione di tale genere. Crediamo, comunque, che una tale teoria <20> possibile.}}
	\end{block}}
\end{frame}
% http://cds.cern.ch/record/425513/files/0002007.pdf
%
% Variabili nascoste
%
\section{Le variabili nascoste}
%
\begin{frame}
	\frametitle{La proposta di David Bohm: le origini}
	\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
		\node at (0,0) () {\includegraphics[width=5cm]{files/debroglie_foto.jpg}};
		\node at (6,2.5) () {Nel 1924 propose per l'elettrone};
		\node at (6,2) () {l'esistenza di un orologio interno,};
		\node at (6,1.5) () {parte di un meccanismo da cui};
		\node at (6,1) () {un'onda pilota guiderebbe la particella.};
		\node at (6,0.5) () {Tale proposta venne abbandonata};
		\node at (6,0) () {dallo stesso de Broglie.};
	\end{tikzpicture}
\end{frame}
%
\begin{frame}
	\frametitle{La proposta di David Bohm}
	\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
		\node at (0,0) () {\includegraphics[width=5cm]{files/david_bohm.jpg}};
		\node at (6,3.5) () {La velocit<69> di ciascuna particella};
		\node at (6,3) () {dipende dall'equazione principale};
		\node at (6,2.5) () {che dipende dalla};
		\node at (6,2) () {configurazione iniziale dell'universo.};
		\node at (6,1.5) () {Esiste una configurazione che};
		\node at (6,1) () {non pu<70> essere osservata:};
		\node at (6,0.5) () {essa <20> costituita dalle};
		\node at (6,0) () {variabili nascoste.};
	\end{tikzpicture}
\end{frame}
%
\section{La disuguaglianza di Bell}
%
\begin{frame}
	\frametitle{Il teorema di Bell}
	\begin{block}{L'enunciato}
		Nessuna teoria fisica delle variabili nascoste locali pu<70> mai riprodurre tutte le predizioni della meccanica quantistica
	\end{block}
	\begin{center}
		\includegraphics[width=5cm]{files/bells_theorem.png}
	\end{center}
\end{frame}
%
\begin{frame}
	\frametitle{La disuguaglianza di Bell}
	\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
		\node at (6,0) () {\includegraphics[width=4cm]{files/JohnStewartBell.jpg}};
		\node at (0,2) () {$a$ quelli con un'altezza superiore a 1.73 m};
		\node at (0,1.5) () {$b$ quelli con pi<70> di 50.03 euro in tasca};
		\node at (0,1) () {$c$ quelli di sesso maschile};
		\onslide<2->{\node at (0,0.5) () {$N(a,b,\bar c) + N (\bar a, \bar b, c) \geq 0$};}
		\onslide<3->{\node at (0,0) () {$N(a,b,c) + N (a,\bar b,c) + N(a,b,\bar c) + N (\bar a, \bar b, c) \geq$};}
		\onslide<3->{\node at (0,-0.5) () {$N(a,b,c) + N (a,\bar b,c)$};}
		\onslide<4->{\node at (0,-1) () {$N(a,b) + N(\bar b, c) \geq N(a,c)$};}
		\onslide<5>{\node at (0,-1.5) () {\textcolor{red}{$N(a,b) + N(\bar b, c) \not \geq N(a,c)$}};}
	\end{tikzpicture}
\end{frame}
%
% Entanglement
%
\section{Intricazione}
%
\begin{frame}
	\frametitle{\emph{Mi si sono intrecciati i diti}}
	\begin{center}
		\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
			\node at (0,0) () {\includegraphics[width=5cm]{files/paolo_villaggio_diti.jpg}};
		\end{tikzpicture}
	\end{center}
	\begin{block}{}
		\begin{center}
			\emph{Entanglement} $\rightarrow$ Intricazione
		\end{center}
	\end{block}
\end{frame}
%
\begin{frame}
	\frametitle{Cos'<27> l'entanglement}
	\begin{block}{}
		\begin{center}
			Il primo a utilizzare il termine fu Erwin Schroedinger in un articolo successivo a quello del paradosso EPR
		\end{center}
	\end{block}
	\begin{block}{Le conclusioni di Schroedinger}
		\emph{Il paradosso potrebbe essere sciolto, per<65>, se un'osservazione non fosse legata a un momento preciso. Ci<43>, per<65>, renderebbe l'attuale interpretazione della meccanica quantistica priva di significato, poich<63> al momento gli oggetti delle sue predizioni sono considerati il risultato di misure in determinati momenti di tempo.}
	\end{block}
	%The paradox would be shaken, though, if an observation did not relate to a definite moment. But this would make the present interpretation of quantum mechanics meaningless, because at present the objects of its predictions are considered to be the results of measurements for definite moments of time.
\end{frame}
%
\begin{frame}
	\frametitle{Cos'<27> l'entanglement}
	\begin{block}{Una definizione}
		Secondo la meccanica quantistica <20> possibile realizzare un insieme costituito da due particelle caratterizzato da determinati valori globali di alcune osservabili. Ci<43> comporta che il valore misurato per una particella di una propriet<65> definita dell'insieme influenzi istantaneamente il corrispondente valore dell'altra, che risulter<65> tale da mantenere il valore globale iniziale. Ci<43> rimane vero anche nel caso le due particelle si trovino distanziate, senza alcun limite spaziale.
	\end{block}
\end{frame}
%
\begin{frame}
	\frametitle{Testare l'entanglement}
	\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
		\node at (0,2) () {1969 John Clauser con Michael Horne, Abner Shimony, Richard Holt};
		\node at (0,1.5) () {proposta di un esperimento per testare le teorie delle variabili nascoste};
		\node at (0,1) () {1972 John Clauser con Stuart Freedman:};
		\node at (0,0.5) () {esecuzione dell'esperimento};
		\onslide<2->{\node at (0,0) () {1982: Alain Aspect, Philippe Grangier, G<>rard Roger};}
		\onslide<3->{\node at (0,-0.5) () {1998: Gregor Weihs, Thomas Jennewein, Christoph Simon,};}
		\onslide<3->{\node at (0,-1) () {Harald Weinfurter, Anton Zeilinger};}
		\onslide<3->{\node at (0,-1.5) () {1998: W. Tittel, J. Brendel, H. Zbinden, N. Gisin};}
		\onslide<4-5>{\node at (0,-2) () {2007: Simon Gr<47>blacher, Tomasz Paterek, Rainer Kaltenbaek,};}
		\onslide<4-5>{\node at (0,-2.5) () {Caslav Brukner, Marek Zukowski, Markus Aspelmeyer, Anton Zeilinger};}
		\onslide<6->{\node[red] at (0,-2) () {2007: Simon Gr<47>blacher, Tomasz Paterek, Rainer Kaltenbaek,};}
		\onslide<6->{\node[red] at (0,-2.5) () {Caslav Brukner, Marek Zukowski, Markus Aspelmeyer, Anton Zeilinger};}
		\onslide<4, 6->{\node at (0,-3) () {2015 B. Hensen, \emph{et al.}};}
		\onslide<5>{\node[red] at (0,-3) () {2015 B. Hensen, \emph{et al.}};}
		\onslide<5>{\filldraw[fill=black!70!white, rounded corners=4pt, draw=black!10!white] (-2.4,-3.6) rectangle (2.6,-4.6);
		\filldraw[fill=inaf!10!white, rounded corners=4pt, draw=inaf!10!white] (-2.5,-3.5) rectangle (2.5,-4.5);
		\onslide<5>{\node at (0,-4) {Crolla il realismo locale};}}
	    \onslide<6->{\filldraw[fill=black!70!white, rounded corners=4pt, draw=black!10!white] (-3.9,-3.6) rectangle (4.1,-4.6);
	    \filldraw[fill=inaf!10!white, rounded corners=4pt, draw=inaf!10!white] (-4,-3.5) rectangle (4,-4.5);
	    \onslide<6>{\node at (0,-3.8) {Esperimento per verificare la violazione della};
	    \node at (0,-4.3) {disuguaglianza di Leggett};}
		\onslide<7>{\node at (0,-3.8) {essa implica che il realismo e alcuni tipi};
		\node at (0,-4.3) {di non-localit<69> non sono compatibili};}}
	\end{tikzpicture}
\end{frame}
%
% Computer quantistici
%
\section{Computer quantistici}
%
\begin{frame}
	\frametitle{Teoria dell'informazione quantistica}
	\begin{itemize}
		\item No-cloning: l'informazione quantistica non pu<70> essere copiata con fedelt<6C> assoluta, e quindi neanche letta con fedelt<6C> assoluta. (William Wootters, 1982).
		\item L'informazione quantistica pu<70> invece essere trasferita con fedelt<6C> assoluta, a patto che l'originale venga distrutto nel processo. Il teletrasporto quantistico <20> stato ottenuto per la prima volta da Nielsen, Klinn e LaFlamme nel 1998.
		\item Ogni misura compiuta su di un sistema quantistico distrugge la maggior parte dell'informazione, lasciandolo in uno stato base. L'informazione distrutta non pu<70> essere recuperata. Ci<43> <20> una derivazione diretta dai postulati della meccanica quantistica (PMQ).
	\end{itemize}
\end{frame}
%
\begin{frame}
	\frametitle{Teoria dell'informazione quantistica}
	\begin{itemize}
		\item Anche se in qualche caso <20> possibile conoscere esattamente in che stato base si trover<65> il sistema dopo una misura, il pi<70> delle volte avremo solo previsioni probabilistiche. Anche questo deriva direttamente dai PMQ.
		\item Alcune osservabili non possono avere simultaneamente valori definiti con precisione, per il principio di indeterminazione di Heisenberg. Ci<43> ci impedisce sia di stabilire con esattezza le condizioni iniziali prima del calcolo, sia di leggere i risultati con precisione.
		\item L'informazione quantistica pu<70> essere codificata, e solitamente lo <20>, tramite correlazioni non-locali tra parti differenti di un sistema fisico. In pratica, si utilizza l'entanglement.
	\end{itemize}
\end{frame}
%
\begin{frame}
	\frametitle{Teoria dell'informazione quantistica}
	\begin{block}{Qubit}
		Unit<69> dell'informazione quantistica, equivalente al bit.\\
		Sistema quanto-meccanico a due stati, come la polarizzazione di un singolo fotone (polarizzazione verticale e orizzontale). I qubit possono trovarsi in una sovrapposizione dei due stati, propriet<65> fondamentale nell'informazione e nella computazione quantistica.\\
		La logica <20> dunque non booleana (tipo logica a pi<70> valori) come aveva gi<67> mostrato George Mackey (seconda met<65> degli anni Cinquanta del XX secolo).
	\end{block}
\end{frame}
%
\begin{frame}
	\frametitle{Teoria dell'informazione quantistica}
	\begin{block}{Qubit ed entanglement}
		I qubit possono esibire entanglement.\\
		L'entanglement <20> un ingrediente necessario per la computazione quantistica. Anche sistemi come il teletrasporto quantistico fanno uso dell'entanglement. Se un calcolo quantistico non coinvolge qubit intrecciati, allora pu<70> essere perfezionato con la stessa efficienza dalla computazione classica.
	\end{block}
	\onslide<2>{\begin{itemize}
			\item \textcolor{inaf}{\href{https://en.wikipedia.org/wiki/Timeline_of_quantum_computing}{\emph{Timeline} della computazione quantistica su en.wiki}}
		\end{itemize}}
\end{frame}
%
\begin{frame}
	\frametitle{Il punto di vista sperimentale}
	\begin{tikzpicture}[every node/.style={inner sep=0,outer sep=0}]
		\node at (0,0) () {\includegraphics[width=5cm]{files/alain_aspect.jpg}};
		\node at (6,3) () {La conclusione che si pu<70> trarre};
		\node at (6,2.5) () {<EFBFBD> pi<70> una questione di gusto che di logica};
		\node at (6,2) () {e si pu<70> dedurre che};
		\node at (6,1.5) () {tale discussione};
		\node at (6,1) () {<EFBFBD> irrilevante per la scienza.};
		\node at (6,0) () {Alain Aspect - 2007};
	\end{tikzpicture}
\end{frame}
\end{document}