benchmarks.wiki / Public workspace

CritPt / Challenge_13_main / Consider a (1+1)-D CFT on a torus that consists of right- and left-moving edges…

Problem

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

problem description

# Problem setup: Consider a (1+1)-D CFT on a torus that consists of right- and left-moving edges of a Moore-Read state at filling fraction ν=1/k\nu=1/k. The primary fields are labeled by (jL,nL,jR,nR)(j_L,n_L,j_R,n_R), where jL/R=0,1/2,1j_{L/R}=0,1/2,1, nL/RZ2kn_{L/R}\in Z_{2k} and the electron operators in the theory are (1,2k,0,0)(1,2k,0,0) and (0,0,1,2k)(0,0,1,2k). # Main problem: Given k=2k=2, find the expectation values of Verlinde lines assuming the identity operator has expectation value 1. Return your answer as a tuple (jL,nL,jR,nR,λ(jL,nL,jR,nR))(j_L,n_L,j_R,n_R,\lambda_{(j_L,n_L,j_R,n_R)}), where λ(jL,nL,jR,nR)\lambda_{(j_L,n_L,j_R,n_R)} is the expectation value.
Plain-text mathematical notation (without MathML)
# Problem setup:
Consider a (1+1)-D CFT on a torus that consists of right- and left-moving edges of a Moore-Read state at filling fraction ν=1/k. The primary fields are labeled by (j_(L),n_(L),j_(R),n_(R)), where j_(L/R)=0,1/2,1, n_(L/R)∈Z_(2k)  and the electron operators in the theory are (1,2k,0,0) and (0,0,1,2k).

# Main problem:
Given k=2, find the expectation values of Verlinde lines assuming the identity operator has expectation value 1. Return your answer as a tuple (j_(L),n_(L),j_(R),n_(R),λ_((j_(L),n_(L),j_(R),n_(R)))), where λ_((j_(L),n_(L),j_(R),n_(R))) is the expectation value.
Original LaTeX notation
# Problem setup:
Consider a (1+1)-D CFT on a torus that consists of right- and left-moving edges of a Moore-Read state at filling fraction $\nu=1/k$. The primary fields are labeled by $(j_L,n_L,j_R,n_R)$, where $j_{L/R}=0,1/2,1$, $n_{L/R}\in Z_{2k}$  and the electron operators in the theory are $(1,2k,0,0)$ and $(0,0,1,2k)$.

# Main problem:
Given $k=2$, find the expectation values of Verlinde lines assuming the identity operator has expectation value 1. Return your answer as a tuple $(j_L,n_L,j_R,n_R,\lambda_{(j_L,n_L,j_R,n_R)})$, where $\lambda_{(j_L,n_L,j_R,n_R)}$ is the expectation value.

code template

Code

import sympy as sp

def answer():
    r"""
    Return the expectation values of Verlinde lines and corresponding labels.

    Inputs
    ----------
    None

    Outputs
    ----------
    values: set[tuple[float, int, float, int, complex]], a set of tuples $(j_L,n_L,j_R,n_R,\lambda_{(j_L,n_L,j_R,n_R)})$
        where $\lambda_{(j_L,n_L,j_R,n_R)}$ is the expectation value of the Verlinde line operator.
    """

    # ------------------ FILL IN YOUR RESULTS BELOW ------------------
    values = ...
    # ---------------------------------------------------------------

    return values

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.

See answer Answer published by the source

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