Benchmark AI / Public workspace

CritPt / Challenge_15_main / The Hamiltonian is

Problem

Answer published by the source. Consult the official source to check your work against its answer.

code template

Code

import sympy as sp

N, l = sp.symbols('N l', positive=True, integer=True)
p = sp.symbols('p', real=True)

def answer(N, p, l):
    r"""
    Return the expression of $\mathcal{S}_{0}$ in Sympy format.

    Inputs
    ----------
    N: sympy.Symbol, site number, $N$
    p: sympy.Symbol, noise rate, $p\in[0,1]$
    l: sympy.Symbol, string length, $l$

    Outputs
    ----------
    S0: sympy.Expr, string order parameter, $\mathcal{S}_{0}$
    """

    # ------------------ FILL IN YOUR RESULTS BELOW ------------------
    S0 = ...  # a SymPy expression of inputs
    # ---------------------------------------------------------------

    return S0

problem description

# Problem setup: The Hamiltonian is \begin{equation} H=\sum_{i=1}^N\left[\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}+\frac{1}{3}\left(\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}\right)^{2}\right],\ \end{equation} where Si=(Sx,i,Sy,i,Sz,i)\boldsymbol{S}_i=(S_{x, i},\ S_{y, i},\ S_{z, i}) is the 3×33\times 3 identity matrix, with S{x,y,z}S_{\{x, y, z\}} the spin operators along the x,yx,\ y, and zz directions. The subscript ii denotes the site index, and NN is the number of sites. In particular, the subscript ii can be neglected when unambiguous. We then take the ground state of this model and apply the following noise: \begin{equation} \rho = \mathcal{E}_1\circ\mathcal{E}_2\circ...\mathcal{E}_N[\rho_{0}],\ \text{and}\ \mathcal{E}_i[\cdot]=\sum_{\alpha} K_{\alpha,i}(\cdot) K_{\alpha,i}^{\dagger}, \end{equation} where ρ0\rho_0 is the ground state of HH, and the Kraus operators {Kα,i}\{K_{\alpha,i}\} of the quantum channel Ei\mathcal{E}_i act locally on the spin-11 Hilbert space at site ii as {1pI3,pSxSy,pSySz,pSzSx}\{\sqrt{1-p}\mathbb{I}_3,\sqrt{p}S_x S_y, \sqrt{p}S_yS_z,\sqrt{p} S_z S_x\}. Here, I3\mathbb{I}_3 is a 3×33\times 3 identity matrix for the spin-11 operator, and p[0,1]p\in [0,1] represents the noise rate. # Main problem: Exactly calculate the quantity \begin{equation} \mathcal{S}_{0}=\text{Tr}\left[ \rho \mathbb{I}_{3}\otimes\left(\otimes_{i=j}^{j+l-1}R_{z}\right)\otimes \mathbb{I}_{3}\right], \end{equation} where Rz=eiπSzR_{z}=e^{i\pi S_{z}}, and ll is the string length. This represents the string order parameter with length ll.
Plain-text mathematical notation (without MathML)
# Problem setup:
The Hamiltonian is
\begin{equation}
H=\sum_{i=1}^N\left[\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}+\frac{1}{3}\left(\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}\right)^{2}\right],\
\end{equation}
where S_(i)=(S_(x,i), S_(y,i), S_(z,i)) is the 3×3 identity matrix, with S_({x,y,z}) the spin operators along the x, y, and z directions. The subscript i denotes the site index, and N is the number of sites. In particular, the subscript i can be neglected when unambiguous. We then take the ground state of this model and apply the following noise:
\begin{equation}
\rho = \mathcal{E}_1\circ\mathcal{E}_2\circ...\mathcal{E}_N[\rho_{0}],\ \text{and}\  \mathcal{E}_i[\cdot]=\sum_{\alpha} K_{\alpha,i}(\cdot) K_{\alpha,i}^{\dagger},
\end{equation}
where ρ₀ is the ground state of H, and the Kraus operators {K_(α,i)} of the quantum channel E_(i) act locally on the spin-1 Hilbert space at site i as {√(1−p)I₃,√(p)S_(x)S_(y),√(p)S_(y)S_(z),√(p)S_(z)S_(x)}. Here, I₃ is a 3×3 identity matrix for the spin-1 operator, and p∈[0,1] represents the noise rate.

# Main problem:
Exactly calculate the quantity
\begin{equation}
\mathcal{S}_{0}=\text{Tr}\left[ \rho \mathbb{I}_{3}\otimes\left(\otimes_{i=j}^{j+l-1}R_{z}\right)\otimes \mathbb{I}_{3}\right],
\end{equation}
where R_(z)=e^(iπS_(z)), and l is the string length. This represents the string order parameter with length l.
Original LaTeX notation
# Problem setup:
The Hamiltonian is
\begin{equation}
H=\sum_{i=1}^N\left[\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}+\frac{1}{3}\left(\boldsymbol{S}_{i}\cdot\boldsymbol{S}_{i+1}\right)^{2}\right],\
\end{equation}
where $\boldsymbol{S}_i=(S_{x, i},\ S_{y, i},\ S_{z, i})$ is the $3\times 3$ identity matrix, with $S_{\{x, y, z\}}$ the spin operators along the $x,\ y$, and $z$ directions. The subscript $i$ denotes the site index, and $N$ is the number of sites. In particular, the subscript $i$ can be neglected when unambiguous. We then take the ground state of this model and apply the following noise:
\begin{equation}
\rho = \mathcal{E}_1\circ\mathcal{E}_2\circ...\mathcal{E}_N[\rho_{0}],\ \text{and}\  \mathcal{E}_i[\cdot]=\sum_{\alpha} K_{\alpha,i}(\cdot) K_{\alpha,i}^{\dagger},
\end{equation}
where $\rho_0$ is the ground state of $H$, and the Kraus operators $\{K_{\alpha,i}\}$ of the quantum channel $\mathcal{E}_i$ act locally on the spin-$1$ Hilbert space at site $i$ as $\{\sqrt{1-p}\mathbb{I}_3,\sqrt{p}S_x S_y, \sqrt{p}S_yS_z,\sqrt{p} S_z S_x\}$. Here, $\mathbb{I}_3$ is a $3\times 3$ identity matrix for the spin-$1$ operator, and $p\in [0,1]$ represents the noise rate.

# Main problem:
Exactly calculate the quantity
\begin{equation}
\mathcal{S}_{0}=\text{Tr}\left[ \rho \mathbb{I}_{3}\otimes\left(\otimes_{i=j}^{j+l-1}R_{z}\right)\otimes \mathbb{I}_{3}\right],
\end{equation}
where $R_{z}=e^{i\pi S_{z}}$, and $l$ is the string length. This represents the string order parameter with length $l$.

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

Official source

initial import