Representación visualmente incorrecta de un personaje muy compuesto.

Question

He elegido la notación

\hat{\widetilde{S_{\hat{n}}}}^{(1)}

para representar el operador Spin a lo largo del eje de una npartícula 1de un sistema multipartito (física).

Copié y pegué ese código. Mientras que en el primer caso se ve bien, nen el segundo hay un error (segundo no subíndice ). Sospecho que es por la \left(cercanía.

La primera instancia es:

\begin{equation}
\label{SingleSpinMeasCompState}
\hat{S}_{\hat{n}} \rightarrow \hat{\widetilde{S_{\hat{n}}}}^{(1)} 
    = \hat{S}_{\hat{n}}^{(1)} \otimes \hat{\mathbb{I}}^{(2)}
\end{equation}

(funciona bien)

El segundo (malo) es:

\begin{equation}
\label{SingletMeasProbabilities}
P \left( \hat{\widetilde{S_{\hat{n}}}}^{(1)} 
  \equalhat \pm \frac{\hbar}{2} \right) 
  = \bra{s} \left( \ket{\pm}_{\hat{n}} \bra{\pm}_{\hat{n}} \right) \ket{s} 
  = \mid \braket{s \mid \pm} \mid^2 
  = \frac{1}{2}.
\end{equation}

¿Cómo puedo arreglar esto?

EDITAR:

Olvidé proporcionar los paquetes que utilicé, que son:

\usepackage{a4wide}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[bookmarks]{hyperref}
\usepackage{braket}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage[numbers]{natbib}
\usepackage{scalerel}
\usepackage{stackengine}
\usepackage{enumitem}
\usepackage{hyperref}
\usepackage{alltt}
\usepackage[multiple]{footmisc}

La definición de \equalhates:

\newcommand\equalhat{\mathrel{\stackon[1.5pt]{=}{\stretchto{%
    \scalerel*[\widthof{=}]{\wedge}{\rule{1ex}{3ex}}}{0.5ex}}}}

Answer 1

Algunos comentarios y observaciones:

• En vista del hecho de que uno de los tres \hat{n}términos de las primeras ecuaciones es notablemente (y también injustificadamente, ¿no?) más grande que los otros dos, no diría que la primera ecuación "funciona bien".

• Combinarlo puede ser muy complicado, como lo demuestran ampliamente sus capturas de pantalla \widetilde. \hatDe todos modos, lo haríanoÚselo \widetildeaquí, y reemplazaría todas las instancias de \hat{\widetilde{S_{\hat{n}}}}con \hat{\tilde{S}}_{\hat{n}}.

• No has explicado cómo \equalhatpodría definirse. Es

  \newcommand\equalhat{\mathrel{\widehat{=}}}
  

  ¿aceptable?

• La expresion

  \mid \braket{s \mid \pm} \mid^2
  

  está simplemente mal. Por favor escríbalo como

  \lvert \braket{s \vert \pm} \rvert^2
  

• Siguiendo la plantilla proporcionada en la guía del usuario del mathtoolspaquete, proporcioné una versión del \braketcomando de tres argumentos. Esto me ha obligado a reemplazar su \braketcomando existente (consulte el punto anterior) con \innerpuna macro que se define a continuación.

\documentclass{article}
\usepackage{mathtools,amssymb}
% Define the following macros: \abs, \bra, \ket, and \braket
% (See the user guide of the 'mathtools' package for the
%  definition of the 3-argument '\braket' macro)
\DeclarePairedDelimiter\abs\lvert\rvert
\DeclarePairedDelimiter\bra\langle\rvert
\DeclarePairedDelimiter\ket\lvert\rangle
\DeclarePairedDelimiter\innerp\langle\rangle
\DeclarePairedDelimiterX\braket[3]{\langle}{\rangle}%
   {#1\,\delimsize\vert\,\mathopen{}#2\,\delimsize\vert\,\mathopen{}#3}
% Define \equalhat -- Did I guess correctly??
\newcommand\equalhat{\mathrel{\widehat{=}}} 

\begin{document}

\begin{equation}\label{SingleSpinMeasCompState}
\hat{S}_{\hat{n}} \rightarrow \hat{\tilde{S}}_{\hat{n}}^{(1)} 
= \hat{S}_{\hat{n}}^{(1)} \otimes \hat{\mathbb{I}}^{(2)}
\end{equation}

\begin{equation}\label{SingletMeasProbabilities}
\Pr \Bigl( \hat{\tilde{S}}_{\hat{n}}^{(1)} \equalhat \pm\frac{\hbar}{2} \Bigr) 
= \braket[\big]{s}{(\ket{\pm}_{\hat{n}}\bra{\pm}_{\hat{n}})}{s} 
= \abs[\big]{ \innerp{s\vert\pm} }^2 
= \frac{1}{2}
\end{equation}

\end{document}