Finite-Depth Preparation of Tensor Network States from Measurement
Extracted source text · arXiv 2404.17087
\documentclass[aps,prl,reprint,superscriptaddress,nofootinbib]{revtex4-2}
\usepackage{blindtext}
\usepackage{lipsum}
\usepackage{graphics}
\usepackage{amsmath}
\usepackage{graphicx}
\usepackage{graphics}
\usepackage{amssymb}
\usepackage{verbatim}
\usepackage{physics}
\usepackage{verbatim}
\usepackage{float}
\usepackage{dsfont}
\usepackage[dvipsnames]{xcolor}
\usepackage{framed}
\definecolor{shadecolor}{RGB}{224,224,224}
%\usepackage{hyperref}
\makeatletter
%\def\l@subsection#1#2{}
\def\l@subsubsection#1#2{}
\makeatother
\usepackage[dvipsnames]{xcolor}
\usepackage[normalem]{ulem}
\usepackage{wasysym} % for "\varhexagon" macro
\usepackage[export]{adjustbox}
\makeatletter
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{MnLargeSymbols}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{MnLargeSymbols}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12
}{}
\DeclareFontShape{OMX}{MnSymbolE}{b}{n}{
<-6> MnSymbolE-Bold5
<6-7> MnSymbolE-Bold6
<7-8> MnSymbolE-Bold7
<8-9> MnSymbolE-Bold8
<9-10> MnSymbolE-Bold9
<10-12> MnSymbolE-Bold10
<12-> MnSymbolE-Bold12
}{}
\let\llangle\@undefined
\let\rrangle\@undefined
\DeclareMathDelimiter{\llangle}{\mathopen}%
{MnLargeSymbols}{'164}{MnLargeSymbols}{'164}
\DeclareMathDelimiter{\rrangle}{\mathclose}%
{MnLargeSymbols}{'171}{MnLargeSymbols}{'171}
\makeatother
%%%%%%-- TikZ package
\usepackage{tikz}
\usepackage{tikz-cd}
\usetikzlibrary{arrows}
\usetikzlibrary{snakes}
\usetikzlibrary{intersections}
\usetikzlibrary{shapes.geometric}
\usetikzlibrary{decorations.pathmorphing, patterns,shapes}
\usetikzlibrary{decorations.markings}
%%% --- TikZ set
\tikzset{
partial ellipse/.style args={#1:#2:#3}{
insert path={+ (#1:#3) arc (#1:#2:#3)}
}
}
\tikzset{
% style to add an arrow in the middle of a path
mid arrow/.style={postaction={decorate,decoration={
markings,
mark=at position .575 with {\arrow[#1]{stealth}}
}}},
near arrow/.style={postaction={decorate,decoration={
markings,
mark=at position .275 with {\arrow[#1]{stealth}}
}}},
far arrow/.style={postaction={decorate,decoration={
markings,
mark=at position .800 with {\arrow[#1]{stealth}}
}}},
}
\pgfdeclarepatternformonly{south west lines}{\pgfqpoint{-0pt}{-0pt}}{\pgfqpoint{3pt}{3pt}}{\pgfqpoint{3pt}{3pt}}{
\pgfsetlinewidth{0.4pt}
\pgfpathmoveto{\pgfqpoint{0pt}{0pt}}
\pgfpathlineto{\pgfqpoint{3pt}{3pt}}
\pgfpathmoveto{\pgfqpoint{2.8pt}{-.2pt}}
\pgfpathlineto{\pgfqpoint{3.2pt}{.2pt}}
\pgfpathmoveto{\pgfqpoint{-.2pt}{2.8pt}}
\pgfpathlineto{\pgfqpoint{.2pt}{3.2pt}}
\pgfusepath{stroke}}
\newcommand{\rv}[1]{{ \color{blue}[RV] #1 }}
\newcommand{\rs}[1]{{ \color{red}[RS] #1 }}
\newcommand{\cmmt}[1]{{\color{lightgray} Old: #1}}
\newcommand{\by}[1]{{ \color{ForestGreen} BY: #1 }}
\newcommand{\eff}{\mathrm{eff}}
\newcommand{\XY}{\mathrm{XY}}
\newcommand{\ZZ}{\mathrm{ZZ}}
\newcommand{\X}{\mathrm{X}}
\definecolor{orange(ryb)}{HTML}{FFA500}
\definecolor{lightorange(ryb)}{HTML}{FFB300}
\definecolor{dodgerblue}{HTML}{1E90FF}
%\definecolor{lightdodgerblue}{HTML}{17b3ff}
\definecolor{lightdodgerblue}{HTML}{4dbff7}
\definecolor{crimson}{HTML}{FF4C4C}%{FB4324}%{E53214}%{DC143C}
\definecolor{pinkerton}{HTML}{EC368D}
\definecolor{forest}{HTML}{6DD189}
\definecolor{lightishgray}{HTML}{DFDFDF}
\definecolor{error-red}{HTML}{EFB2B6}
\usepackage[colorlinks=true,citecolor=dodgerblue,linkcolor=dodgerblue,urlcolor=dodgerblue,pdftitle={Gluing TNS}]{hyperref}
\begin{document}
\title{Finite-Depth Preparation of Tensor Network States from Measurement}
\author{Rahul Sahay}
\affiliation{Department of Physics, Harvard University, Cambridge, Massachusetts 02138 USA}
\author{Ruben Verresen}
\affiliation{Department of Physics, Harvard University, Cambridge, Massachusetts 02138 USA}
\affiliation{Department of Physics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA}
\date{\today}
\begin{abstract}
Although tensor network states constitute a broad range of exotic quantum states, their realization is challenging and often requires resources whose depth scales with system size.
%
In this work, we explore criteria on the local tensors for enabling deterministic state preparation via a single round of measurements and on-site unitary feedback.
%
We use these criteria to construct families of measurement-preparable states in one and two dimensions, tuning between distinct symmetry-breaking, symmetry-protected, and intrinsic topological phases of matter.
%
For instance, in one dimension we chart out a three-parameter family of preparable states which interpolate between the AKLT, cluster, GHZ and other states of interest.
%
Our protocol even allows one to engineer preparable quantum states with a range of desired correlation lengths and entanglement properties.
%
In addition to such constructive approaches, we present diagnostics for verifying whether a given tensor network state is preparable using measurements.
%
We conclude by charting out generalizations, such as considering multiple rounds of measurements, implementing matrix product operators, and using incomplete basis measurements.
\end{abstract}
\maketitle
\textbf{Introduction.} In recent years, projective measurements and unitary feedback have emerged as powerful tools in the quest to realize interesting states of matter in quantum devices \cite{Briegel01,Raussendorf05,Aguado08,Bolt16,piroli2021locc,LREfromSPT,verresen2021efficiently,lu2022shortcut,Bravyi22,lee2022decoding,hierarchy,zhu2023nishimori,smith2023aklt,shortestroute,gunn2023phases,li2023set,lu2023mixedstateLRO,piroli2024approximate,malz2024logdepth, li2023measuring, Wu_2023, sukeno2024LGT,buhrman2023state, lee2024symmetry}.
%
Explorations into the capabilities of these tools have led to both an increased theoretical understanding into the complexity of quantum states but also experimental advances in creating previously unrealized phases of matter \cite{iqbal2023topological,foss2023advantage,chen2023nishimori,Iqbal2024nonabel,Bluvstein_2023}.
%
Nevertheless, much remains to be understood regarding the landscape of quantum states that are deterministically preparable in this way.
%
This is especially the case for the realization of quantum states away from clean renormalization group fixed points.
%
Indeed, while isolated deterministic examples \cite{smith2023aklt,zhu2023nishimori} have been discovered for one-dimensional quantum systems, organizing principles, broader classes of preparable quantum states, and higher-dimensional generalizations are lacking.
In this work, we study the preparation of tensor network states\footnote{Specifically, we consider those that fall within the general class of ``projected entangled pair states'' including the matrix product state and its two-dimensional generalizations.} \cite{Fannes1992,Cirac2021MPSReview, PhysRevLett.96.220601} which are known to capture a rich landscape of many-body quantum states. In particular, we will start from disentangled clusters of qudits and perform a single round of parallel entangling measurements, followed by on-site unitary feedback to guarantee a deterministic result.
%
Our approach proceeds by identifying a criteria on local tensors that ensures preparability, inspired in part by an initial work by Smith et al.~\cite{smith2023aklt}, and motivated by results presented in our companion paper \cite{sahay2024finite} that establishes this criteria as necessary and sufficient in a more restricted setting.
%
We will use this to (i) construct landscapes of preparable quantum states in one and two dimensions, (ii) develop settings where correlation and entanglement properties of a desired quantum state can be engineered, and finally (iii) develop diagnostics for determining when a many-body quantum state is preparable.
%
\textbf{Preparability condition.} Let $\ket{\Psi}$ be a tensor network state generated by a local tensor $A$. While our discussion applies to general dimensions, we sketch it in two dimensions:
\begin{equation} \label{eq:Psi}
\ket{\Psi} = \includegraphics[valign = c, scale = 0.5]{PEPS.pdf}
\end{equation}
As usual, here we contract the `virtual' legs of $A$ (horizontal; dimension $\chi$), giving rise to $\ket{\Psi}$ on the uncontracted `physical' legs (vertical; dimension $d$).
The goal will be to prepare this state in finite time using measurement and feedback. The general methodology will be to start with decoupled clusters of qudits, each of which has a wavefunction given by a single $A$ tensor. Note that in this approach, all legs of $A$ correspond to actual qudits in the system; the `virtual' legs simply correspond to ancillas:
\begin{equation} \label{eq:cluster}
\ket{A}^{\otimes N} = \includegraphics[valign = c, scale = 0.5]{spiders.pdf}
\end{equation}
We now want to `fuse' these legs together. This is achieved by performing (generalized) Bell measurements on the ancilla qudits. Indeed, in the case of the ideal measurement outcome $\ket{\mathds{1}} = \frac{1}{\sqrt{\chi}} \sum_{a=1}^\chi \ket{a}\ket{a}$, we see that the post-measurement state is Eq.~\eqref{eq:Psi}. For more generic outcomes $\alpha \in \{1,2,\cdots,\chi^2\}$, however, we obtain the insertion of an operator $V_\alpha$ in the virtual bond:
\begin{equation}
\includegraphics[valign = c, scale = 0.6]{measured_spiders.pdf}\ \ \longrightarrow\ \ \includegraphics[valign = c, scale = 0.6]{glued_spiders.pdf}
\end{equation}
where $V_\alpha$ is the operator whose Choi state defines the measurement outcome $\ket{V_\alpha} = \frac{1}{\sqrt{\chi}} \sum_{a,b=1}^\chi \left( V_\alpha \right)_{a,b} \ket{a}\ket{b}$.
%
In this work, we will consider the case where $V_\alpha$ is unitary, which is equivalent to the measurement basis $\{ \ket{V_\alpha} \}$ being maximally-entangled.
%
In fact, in our companion work \cite{sahay2024framework} we derive this as a necessary property for preparability in a broad range of circumstances. The resulting set of unitary operators $\{ V_\alpha \}$ then defines a trace-orthogonal basis of $\chi\times \chi$ matrices, also called a \emph{unitary error basis} \cite{knill1996group, klappenecker2005monomiality, klappenecker2002beyond}. Note that the ideal measurement outcome corresponds to $V_1 = \mathds{1}$.
In summary, in this approach we arrive at the desired state Eq.~\eqref{eq:Psi} with virtual operators inserted. Although these depend on the measurement outcome, deterministic state preparation requires that for each set of outcomes, there exists a unitary which can correct for them. I.e., we need\footnote{Here we have chosen an on-site unitary feedback. To the best of our knowledge this pertains to all known examples of deterministic measurement-based state preparation.}:
\begin{equation}
\includegraphics[valign = c, scale = 0.5]{error_PEPs.pdf}\! \! =\! \! \includegraphics[valign = c, scale = 0.5]{correction_PEPs.pdf}
\end{equation}
(with site- and measurement-dependent $U$'s in general) such that we can correct for the measurement outcome by applying $U^\dagger$ on the physical qubits.
%
This daunting global condition becomes more weildy if we look for a local condition where a each $V_\alpha$ can be pushed through the tensor network:
\begin{equation}\label{eq:VA=AU}
\includegraphics[valign = c,scale = 0.65]{ValphaA.pdf} \; = \; \includegraphics[valign = c, scale = 0.65]{Valpha_push_A.pdf}
\end{equation}
This in turn requires the newly spawned virtual operators $V_\alpha^{l,r,f}$ to appropriately push through.
This rephrases the problem of measurement-based state preparation as a game of locally pushing operators until all measurement outcomes are reduced to unitaries on the physical degrees of freedom, where they can easily be corrected. This is an interesting many-body problem of sorts, and a full solution and characterization of tensors with these properties poses an exciting research question. In our companion paper, we show how this problem becomes tractable in at least one scenario---a one-dimensional setting where the flow of classical information is unidirectional. In the present work, we instead take a more phenomenological approach, demonstrating the power of this approach in a more general setting where a full solution is not yet available.
Before transitioning to concrete examples, we highlight that Eq.~\eqref{eq:VA=AU} can be proven to be \emph{equivalent} to the following symmetry condition on the doubled PEPS tensor:
\begin{equation} \label{eq:VTV=T}
\mathbb E = \includegraphics[valign = c, scale = 0.6]{T.pdf} = \includegraphics[valign = c, scale = 0.6]{VTV.pdf}
\end{equation}
where we introduced $\mathbb E$ following Ref.~\onlinecite{Schuch13}.
It is clear that Eq.~\eqref{eq:VA=AU} implies Eq.~\eqref{eq:VTV=T}, and while the other direction can be proven using Kraus' theorem, we provide a constructive proof for $U$ in the
Supplemental Materials. %\cite{Stinespring1995,Wolf2012},
\textbf{Landscape of Preparable $\chi=2$ MPS.} Let us explore how already the simplest instance of the above provides a remarkably rich phase diagram. We consider one-dimensional matrix product states (MPS) with bond dimension $\chi=2$. In this case, the only unitary error basis possible is given by the Pauli matrices $\{\mathds{1},X,Y,Z\}$ (up to global conjugation if $V_1 =\mathds{1}$) \cite{klappenecker2005monomiality}. If we now consider the one-dimensional analog of Eq.~\eqref{eq:VTV=T}, the left-hand side is the MPS transfer matrix with a natural solution:
\begin{equation}
\mathbb E = \lambda_1 \mathds{1} \otimes \mathds{1} + \lambda_x X \otimes X + \lambda_y Y \otimes Y + \lambda_z Z \otimes Z,
\end{equation}
where the $\lambda_i$'s are required to be real, non-negative, and sum to $1$ for $\mathbb{E}$ to be a valid transfer matrix.
%
Indeed, the commutation relations of Pauli matrices directly ensures that $(V_\alpha \otimes \bar V_\alpha ) \mathbb E (V_\alpha^\dagger \otimes V_\alpha^T) = \mathbb E$ for any $V_\alpha \in \{\mathds{1},X,Y,Z\}$. Up to physical isometry, this uniquely identifies the following MPS tensor:
\begin{equation} \label{eq:Achi2}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-0.8, 0) -- (0.8, 0);
\draw[color = black, thick] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.0,0) {\small $A$};
%\node at (-0.9, 0) {\small $i$};
%\node at (0.9, 0) {\small $j$};
%\node at (0.25, -0.6) {\small $k$};
%\node at (1.2, -0.05) {\small $v_i$};
\node at (0.2, -0.75) {\small $i$};
\end{tikzpicture} = \sqrt{\lambda_i}\ \ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-0.8, 0) -- (0.8, 0);
\draw[fill = white] (0,0) circle (0.3);
\node at (0,0) {\small $\sigma^i$};
\node at (0.0, -0.79) {\small $\ $};
\end{tikzpicture}
\end{equation}
where $\sigma^i \in \{\mathds{1}, X, Y, Z\}$ labels the Pauli matrices\footnote{In our companion work \cite{sahay2024framework}, we show that this captures all preparable $\chi=2$ MPS where $V_\alpha$ pushes through uniformly.}.
\begin{figure}
\centering
\includegraphics[width = 247 pt]{prep_PD.pdf}\caption{\textbf{Preparable Phase Diagram.} The solid region inside the (non-regular) tetrahedron labels a family of $\chi=2$ matrix product states which can be deterministically prepared using a single round of measurements \eqref{eq:Achi2}. This provides a rich landscape containing not only the AKLT, cluster, GHZ and N\'eel states, but also various wavefunction deformations of these states which allows one to interpolate between these celebrated states. For instance, the red line corresponds to $e^{\beta \sum_n (S^z_n)^2} \ket{\textrm{AKLT}}$ whose correlation diverges with $\beta$ as it approaches the N\'eel state.}
\label{fig:preparable_phase_diagram}
\end{figure}
Given this class of preparable matrix product states, we can readily explore its phenomenology.
%
Since the parameters $\lambda_i$ of the MPS are non-negative and sum to $1$, the landscape of preparable matrix product states corresponds to points in the interior and boundary of the (non-regular) tetrahedron shown in Fig.~\ref{fig:preparable_phase_diagram}.
%
Furthermore, since $\sigma^{x, y, z}$ in Eq.~\eqref{eq:Achi2} can be permuted amongst themselves via a unitary MPS gauge transformation, we can always choose $\lambda_{x}\geq \lambda_y \geq \lambda_z$ (though we show the full phase diagram for ease of visualization) .
Our guided tour of this landscape begins with by noting that the celebrated AKLT chain \cite{AKLT_original} corresponds to the point $\mathbf{\lambda} = \left(0, \frac{1}{3}, \frac{1}{3}, \frac{1}{3} \right)$ on the tetrahedron, where we imagine embedding the spin-1 into a four-state qudit. While its measurement-based preparation was first discussed in Ref.~\onlinecite{smith2024constant}, we point out that there are a number of interesting deformations of the AKLT chain that can be prepared.
%
First, $e^{\beta \sum_n (S^z_n)^2} \ket{\text{AKLT}}$ systematically suppresses the $S^z = 0$ component of the state, which decreases $\lambda_z$ in Eq.~\eqref{eq:Achi2} (red lines in Fig.~\ref{fig:preparable_phase_diagram}).
%
This increases the correlation length of the AKLT chain whilst remaining in a non-trivial symmetry-protected topological (SPT) phase \cite{Gu09,Schuch2011,Pollmann_2010,Turner2011-zi,fidkowski2011topological,Chen2011-et,son12,Chen2011-kz,Pollmann2012-lv,Chen2012-oa} and in fact interpolates it to the long-range entangled N\'eel antiferromagnetic cat state $\ket{\text{N\'eel}} = \ket{\uparrow \downarrow \cdots} + \ket{\downarrow \uparrow \cdots}$ (written in the basis of $S^z = \pm 1$ states $\ket{\uparrow}, \ket{\downarrow}$ and shown as the blue points in Fig.~\ref{fig:preparable_phase_diagram}).
%
More generally, the AKLT chain has the remarkable property that the deformed wavefunction $\prod_{n} M_n \ket{\text{AKLT}}$ for an \emph{arbitrary} invertible complex matrix $M$ can still be deterministically prepared \cite{SM}!
%
This corresponds to the face of the tetrahedron, shaded in red.
Moving inward from the AKLT chain, we note that the famed cluster state \cite{Briegel01,son12,geraedts2014exact,Santos15} is located at $\mathbf{\lambda} = \left(\frac{1}{4}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4} \right)$ (purple point in Fig.~\ref{fig:preparable_phase_diagram}).
%
Not only does the tetrahedron provide a ``measurement preparable'' path between the AKLT and cluster state, once one arrives at the cluster state, there are a number of physically motivated paths to interesting quantum states.
%
For example, to go the trivial $\ket{+}$ state (white dot at the origin), one travels along the $e^{\beta \sum_{n} X_n} \ket{\text{cluster}}$ (black line). %~\cite{SM}.
%
Moreover, to go to the long-range entangled GHZ state (orange dot on the axes), one can instead travel along $e^{\beta \sum_{n} X_{2n}} \ket{\text{cluster}}$ (brown lines). %~\cite{SM}.
%
The axes themselves correspond to deformed GHZ states, $e^{\pm \beta \sum_n X_n} \ket{\textrm{GHZ}}$ (orange lines).
%
Lastly, we remark that the points where the correlation length diverges can be interpreted as quantum critical points into new phases of matter.
%
For instance, $e^{\beta \sum_{n} X_{2n} }\ket{\text{cluster}}$ can be transformed into $e^{\beta \sum_{n} Z_{2n-1} Z_{2n+1}} \ket{+}^{\otimes N}$ by a finite-depth local unitary, both of which limit to the same GHZ state which can be interpreted as a critical point between the trivial and cluster SPT phase \cite{Wolf06,skeleton}.
More generally, one can choose the coefficients of Eq.~\eqref{eq:Achi2} in order to engineer desired physical properties. We will explain this more constructively in the set-up for arbitary bond dimension $\chi$. For now we note that one rigid property of Eq.~\eqref{eq:Achi2} is that the bipartition entanglement spectrum of Eq.~\eqref{eq:Achi2} is always $\Lambda^2 = \left(\frac{1}{2}, \frac{1}{2}\right)$. This degeneracy is related to the state's ability to move arbitrary Pauli matrices through its virtual space. If one considers cases where $V_\alpha$ pushes through in a \emph{non-uniform} way,
%(e.g., $V_\alpha^r = V_\alpha^l = V_\alpha^f = \mathds{1}$ in Eq.~\eqref{eq:VA=AU})
the entanglement spectrum need not be flat \cite{sahay2024framework}.
\textbf{Arbitrary bond dimension.} The above construction can be generalized to any unitary error basis with the group-like property $V_g V_h =\omega(g,h) V_{gh}$. These arise from projective representations of finite groups $G$ (with cocycle $\omega(g,h) \in U(1)$) and are also called \emph{nice error bases} \cite{knill1996group}. This gives a rich landscape even including non-abelian groups. While we give the general formula in the Supplemental Materials, here we state it for the $\chi$-dimensional clock matrices $\{ \mathcal X^a \mathcal Z^b \}$ which generalize the Pauli matrices, constituting a projective representation of $G = \mathbb Z_\chi \times \mathbb Z_\chi$.
We generalize Eq.~\eqref{eq:Achi2} to the following MPS tensor:
\begin{equation} \label{eq:AchiN}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-0.8, 0) -- (0.8, 0);
\draw[color = black, thick] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.0,0) {\small $A$};
%\node at (-0.9, 0) {\small $i$};
%\node at (0.9, 0) {\small $j$};
%\node at (0.25, -0.6) {\small $k$};
%\node at (1.2, -0.05) {\small $v_i$};
\node at (0.3, -0.75) {\small $a,b$};
\end{tikzpicture} = \sqrt{\lambda_{a,b}}\ \ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-0.8, 0) -- (0.8+0.8, 0);
\draw[fill = white] (0,0) circle (0.3);
\node at (0,0) {\small $\mathcal X^a$};
\draw[fill = white] (0.8,0) circle (0.3);
\node at (0.8,0) {\small $\mathcal Z^b$};
\node at (0.0, -0.79) {\small $\ $};
\end{tikzpicture}
\end{equation}
with $a,b \in \{1,2,\cdots,\chi\}$ labeling a $\chi^2$-dimensional qudit. Up to physical change of basis, we can presume $\lambda_{a,b} \geq 0$; moreover normalization dictates $\sum_{a,b} \lambda_{a,b}=1$. Similar to before, this state is deterministically preparable in constant-depth by measuring in the generalized Bell basis defined by the clock matrices.
\textbf{Build-your-own.} We stress that in Eq.~\eqref{eq:AchiN} one can choose $\lambda_{a,b}$ freely in order to obtain a preparable MPS with bond dimension $\chi$. In particular, if one wishes to specify eigenvalues $\mu_{a,b}$ of the transfer matrix (which dictate the correlation lengths $\xi_{a,b} = |\ln|\mu_{a,b}||^{-1}$), this can be done by setting\footnote{This follows from noting that the clock matrices are the eigenvectors of the transfer matrix.}:
\begin{equation}
\lambda_{c,d} = \frac{1}{\chi^2} \sum_{a,b} \mu_{a,b} \; \omega^{ad-bc},
\end{equation}
where $\omega=e^{2\pi i/\chi}$ and one has the condition $\lambda_{c,d} \geq 0$. Moreover, the reduced density matrix of a single $\chi^2$-state qudit has $\{ \lambda_{a,b} \}_{a,b=1,\cdots,\chi}$ as its entanglements spectrum. This follows from Eq.~\eqref{eq:AchiN} being in canonical form with a flat bipartition entanglement spectrum, such that:
\begin{equation}
\rho = \cdots \begin{tikzpicture}[scale = 0.8, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.5,0) -- (4.5, 0);
\draw[color = black] (-0.5,-1) -- (4.5, -1);
\foreach \i in {0, 1, 3, 4}{
\draw[color = black] (1*\i,0) -- (1*\i, -0.5);
\draw[fill = lightdodgerblue] (1*\i,0) circle (0.25);
\node at (1*\i, 0) {\small $A$};
\draw[color = black] (1*\i,-1) -- (1*\i, -0.5);
\draw[fill = lightdodgerblue] (1*\i,-1) circle (0.25);
\node at (1*\i, -1) {\small $\bar A$};
}
\draw[color = black] (1*2,0) -- (1*2, 0.5);
\draw[fill = lightdodgerblue] (1*2,0) circle (0.25);
\node at (1*2, 0) {\small $A$};
\draw[color = black] (1*2,-1) -- (1*2, -1.5);
\draw[fill = lightdodgerblue] (1*2,-1) circle (0.25);
\node at (1*2, -1) {\small $\bar A$};
\end{tikzpicture} \cdots = \frac{1}{\chi}\ \
\begin{tikzpicture}[scale = 0.8, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (2.5, 0) -- (1.5, 0);
\draw[color = black] (2.5, -1) -- (1.5, -1);
\draw[color = black] (2.5, -1) -- (2.5, 0);
\draw[color = black] (1.5, -1) -- (1.5, 0);
\draw[color = black] (1*2,0) -- (1*2, 0.5);
\draw[fill = lightdodgerblue] (1*2,0) circle (0.25);
\node at (1*2, 0) {\small $A$};
\draw[color = black] (1*2,-1) -- (1*2, -1.5);
\draw[fill = lightdodgerblue] (1*2,-1) circle (0.25);
\node at (1*2, -1) {\small $\bar A$};
\end{tikzpicture}
\end{equation}
We thus see that efficiently preparable states can have very rich correlation functions and entanglement properties.
\textbf{Higher-dimensional examples.} To illustrate how these ideas can be used to prepare states in higher dimensions, let us consider a state $\ket{\Psi(\beta)}$ which interpolates from a trivial product state ($\beta=0$) to the square lattice toric code \cite{Kitaev_2003} ($\beta \to \infty$). In particular, $\ket{\Psi(\beta)} \propto e^{\beta \sum_v A_v} \ket{+}^{\otimes N}$ where $A_v = \prod_{l \in v} Z_l$ and $B_p = \prod_{l \in p} X_l$ are the `star' and `plaquette' stabilizers of the toric code. We can prepare this state using measurement by starting with the following $\chi=2$ PEPS tensor:
\begin{equation}
\includegraphics[valign = c, scale = 0.6]{TC_PEPs.pdf} \; = \; \includegraphics[valign = c, scale = 0.6]{TC_PEPs_resolved.pdf}
\end{equation}
where the orange circles are Hadamard matrices, the white circle is $e^{\alpha Z}$ where $\tanh \alpha = e^{-2\beta}$, and the `$T$' and `$X$'-junctions are to be understood as Kronecker deltas $\delta_{ijk}$ and $\delta_{ijkl}$ respectively. We can follow our general prescription by noticing that the Pauli's again form a unitary error basis with nice push-through rules:
\begin{equation}
\includegraphics[valign = c, scale = 0.55]{TC_Zpre.pdf}
= \includegraphics[valign = c, scale = 0.55]{TC_Zpost.pdf}, \quad
\includegraphics[valign = c, scale = 0.55]{TC_Xpre.pdf}
= \includegraphics[valign = c, scale = 0.55]{TC_Xpost.pdf},
\end{equation}
where $X$ can take any turn. This way, the $Z$ errors can be locally corrected, whereas the $X$ errors can be pushed through to infinity, or more efficiently pairwise annihilated wherever they are found. We note that upon acting with a finite-depth local unitary circuit, this measurement-preparable path constitutes a phase transition between a trivial and higher-form SPT phase, where the toric code arises as a gapless critical point \cite{pivot}.
Our second example is $\ket{\Psi(\beta)} \propto e^{\beta \sum_v X_v} |\textrm{GHZ}\rangle$ on the square lattice. In principle we could prepare this via a two-step process by applying the gauging map \cite{LREfromSPT} to the previous example. However, it is interesting to see that it is \emph{directly} preparable. Moreover, the push-through rules are quite different, potentially suggesting different generalizations. The local tensor for $\beta=0$ is simply the Kronecker delta, and $A(\beta)$ is then given by appending $e^{\beta X}$ to the physical leg. We read off the following push-through rules:
\begin{equation}
\includegraphics[valign = c, scale = 0.55]{Z_GHZ.pdf}
= \includegraphics[valign = c, scale = 0.55]{Zpost_GHZ.pdf},\quad
\includegraphics[valign = c, scale = 0.55]{Xpre_GHZ.pdf}
= \includegraphics[valign = c, scale = 0.55]{Xpost_GHZ.pdf},
\end{equation}
where $Z$ can again take any turn on the virtual bonds. One might worry about a single $X$ spawning into three other virtual $X$ insertions. This means that an \emph{odd} number of $X$'s on a single plaquette cannot be removed. Fortunately, this has zero probability of happening, since the corresponding tensor network contracts to zero. Since we are guaranteed an even number of $X$ insertions per plaquette, they form closed loops such that we can correct them by acting on the enclosed domains.
\textbf{Diagnostics.} The fact that the landscape of preparable tensor network states is so rich, naturally raises the question: how do we test whether a given tensor network can be prepared in this way? The key condition is Eq.\eqref{eq:VTV=T}, which can be interpreted as a generalized eigenvalue equation. It is most instructive to interpret $\mathbb E$ as a matrix in the \emph{vertical} direction, where we think of the top virtual bonds as input and the bottom bonds as output. Then $\mathbb E$ is a positive semi-definite map and can be diagonalized as $\mathbb U^\dagger \mathbb D \mathbb U$ where $\mathbb D \geq 0$. Hence, if $\mathbb V_\alpha$ denotes the tensor product of $V_\alpha$ operators\footnote{I.e., $\mathbb V_\alpha = V_\alpha \otimes (V_\alpha^l)^\dagger \otimes (V_\alpha^r)^\dagger \otimes (V_\alpha^f)^\dagger$.} in Eq.~\eqref{eq:VTV=T}, then the space of solutions is spanned by $\mathbb V_\alpha = \mathbb U^\dagger \mathbb D_\alpha^\dagger \mathbb U$ where $\{\mathbb D_\alpha\}$ are matrices which commute with $\mathbb D$. Thus in the generic case where $\mathbb D$ is a non-degenerate diagonal matrix, then $\{ \mathbb D_\alpha \}$ is simply given by the $\chi^z$ independent choices of diagonal matrices (where $z$ is the number of virtual bonds; $z=2$ for MPS).
The crux of the matter is to then find \emph{disentangled} states within this vector space of solutions; indeed those correspond to tensor product operators on the separate virtual legs in Eq.~\eqref{eq:VTV=T}. In the most general case, this can be achieved by a non-linear optimization within this space, which we have bench-marked for several of our examples. Alternatively, one can employ a bootstrap-inspired approach: if Eq.~\eqref{eq:VTV=T} admits disentangled solutions, this implies a non-trivial constraint on the set of solutions after blocking several sites. Hence, disentangled solutions can be found by obtaining the intersection of these solution spaces.
In a subset of cases, such as the one-dimensional examples we studied where $V_\alpha$ pushes through uniformly and commute up to a phase, the unitary error basis is given by the columns of $\mathbb U$ itself. This is easiest to see by noting that Eq.~\eqref{eq:Achi2} and Eq.~\eqref{eq:AchiN} are already in this diagonalized form. Indeed, $\mathbb U$ being a unitary super-operator is equivalent to its columns defining an error basis. Hence, this shows that in certain cases, one can claim success after a finite number of steps. Moreover, in certain cases one can conclude a state is \emph{not} preparable: our companion work \cite{sahay2024framework} identifies a no-go theorem in a one-dimensional setting based on properties of the entanglement spectrum and correlation functions.
%In certain cases, one can constructively arrive at a successful protocol in a finite number of steps. For instance, suppose one suspects to be in possession of a preparable state like Eq.~\eqref{eq:AchiN}; how would one find the unitary error basis that prepares it? An easy check is to think of the MPS as a map from the two virtual bonds to the physical bond. If one performs a singular value decomposition $A = \mathcal U s \mathcal V$ then $\mathcal V$ encodes $\chi^2$ trace-orthonormal $\chi \times \chi$ matrices $\{ V_\alpha \}$. One can then simply check whether $\{V_\alpha \otimes \bar V_\alpha\}$ commute with $\mathbb E$. Indeed, if one applies this method to the states in Eq.~\eqref{eq:Achi2} or Eq.~\eqref{eq:AchiN}, one recovers the unitary error basis that prepares the state\footnote{The simplest setting is where the singular values of $A$ are non-degenerate, such that $\mathcal V$ is unique.}.
%For more general cases (e.g., where $V_\alpha$ is not presumed to push through homogeneously), the question comes down to finding sufficient number of solutions to Eq.~\eqref{eq:VTV=T}. Crucially, this equation can be interpreted as a generalized eigenvalue equation upon taking the pseudo-inverse of $\mathbb E$. The crux of the matter is finding solutions which have no entanglement between the virtual bonds. In small-bond-dimension cases, one can perform a brute-force non-linear optimization in the space of solutions of the aforementioned generalized eigenvalue equation. A more elegant approach is to use a bootstrap-inspired approach
%$(V_\alpha \otimes \bar V_\alpha ) \mathbb E (V_\alpha^\dagger \otimes V_\alpha^T) = \mathbb E$
\textbf{Generalizations.} Thus far, we have discussed the preparation of interesting families of one- and two-dimensional tensor networks by `fusing' or `gluing' their virtual legs together by one-round of complete basis measurement.
%
Here, we provide first steps for generalizations where we permit \emph{multiple} rounds of measurements and feedback, as well as exploring the preparation and application of tensor network \emph{operators}.
%
To do so, let us recognize that, since the cluster state corresponds to point $\mathbf{\lambda} = \left(\frac{1}{4}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4} \right)$ of Eq.~\eqref{eq:Achi2}, it is preparable from one-round of measurements and tensor product unitary feedback\footnote{We remark in our companion work \cite{sahay2024framework} that, it can in fact be prepared using a one-site unit cell by leveraging its properties as a dipole SPT \cite{han2024dipole, lam2024classification}.}.
%
However, we may re-interpret the cluster state's MPS representation as a matrix product operator (MPO) via:
\begin{equation} \label{eq-clusterMPO}
\begin{tikzpicture} [scale = 1.5, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-1.25, 0) -- (0.75, 0);
\draw[color = black, thick] (-1, 0) -- (-1, -0.3);
\draw[color = black, thick] (-0.5, 0) -- (-0.5, -0.3);
\draw[color = black, thick] (0, 0) -- (0, -0.3);
\draw[color = black, thick] (0.5, 0) -- (0.5, -0.3);
\draw[fill = lightdodgerblue, thick] (-1, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0.5, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (0.5, 0) circle (0.1);
\end{tikzpicture} \longrightarrow \begin{tikzpicture} [scale = 1.5, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-1.25, 0) -- (0.75, 0);
\draw[color = black, thick] (-1, 0) -- (-1, -0.3);
\draw[color = black, thick] (-0.5, 0) -- (-0.5, 0.3);
\draw[color = black, thick] (0, 0) -- (0, -0.3);
\draw[color = black, thick] (0.5, 0) -- (0.5, 0.3);
\draw[fill = lightdodgerblue, thick] (-1, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0.5, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (0.5, 0) circle (0.1);
\end{tikzpicture}
\end{equation}
In recent years, this MPO has been appreciated as representing the Kramers-Wannier ``gauging'' map \cite{LREfromSPT, hierarchy, seiberg2024noninvertible, Aasen_2016, lootens_dualities_2023, lootens_dualities_2024, haegeman_2015_gauging}.
%
Ref.~\onlinecite{LREfromSPT} showed how the action of this MPO can be deterministically implemented on a given input state using a finite-depth measurement-based protocol.
%
Here we offer a re-interpretation, viewing the cluster state in Eq.~\eqref{eq-clusterMPO} as a ``stored-program'' \cite{Gottesman_1999, Raussendorf2001-xm, Briegel_2009}, which is prepared first and then applied to a given many-body state using measurements.
%
In particular, given an initial many-body state (say, prepared with one-round of measurements and feedback), we can apply the above MPO (blue) to the state (orange) as:
\begin{equation}
\begin{tikzpicture} [scale = 1.5, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black, thick] (-1.25, 0) -- (0.75, 0);
\draw[color = black, thick] (-1, 0) -- (-1, -0.3);
\draw[color = black, thick] (-0.5, 0) -- (-0.5, 0.3);
\draw[color = black, thick] (0, 0) -- (0, -0.3);
\draw[color = black, thick] (0.5, 0) -- (0.5, 0.3);
\draw[fill = lightdodgerblue, thick] (-1, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0.5, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (-0, 0) circle (0.1);
\draw[fill = lightdodgerblue, thick] (0.5, 0) circle (0.1);
%
\draw[color = black, thick] (-1.25, 0 + 0.8) -- (0.75, 0 + 0.8);
\draw[color = black, thick] (-0.5, 0 + 0.8) -- (-0.5, -0.3 + 0.8);
%\draw[color = black] (-0.5, 0) -- (-0.5, 0.3);
\draw[color = black, thick] (0.5, 0 + 0.8) -- (0.5, -0.3 + 0.8);
%\draw[color = black] (0.5, 0) -- (0.5, 0.3);
%\draw[fill = lightorange(ryb)] (-1, 0) circle (0.1);
%\draw[fill = lightorange(ryb)] (-0.5, 0) circle (0.1);
\draw[fill = lightorange(ryb), thick] (-0.5, 0.8) circle (0.1);
\draw[fill = lightorange(ryb), thick] (0.5, 0.8) circle (0.1);
\draw[fill = lightishgray, thick] (0.5, 0.4) circle (0.1);
\draw[fill = lightishgray, thick] (-0.5, 0.4) circle (0.1);
\end{tikzpicture}
\end{equation}
where the gray circles indicate the measurements performed between one-sublattice of the cluster state and the qubits of the original state.
%
One can readily show that undesired measurement outcomes can always be corrected at the physical level in such a case \cite{LREfromSPT}.
%
This can be viewed as a generalization of the standard teleportation protocol \cite{Teleportation}, where the resource is a cluster state instead of decoupled Bell pairs.
Lastly, another natural extension is to only use \emph{incomplete} basis measurements. This can be naturally motivated in cases where some of the error correction is local. E.g., in the toric code example we saw that $Z$ errors can be locally corrected. This means that the feedback protocol can be turned into a logical quantum gate, obviating the need for the corresponding measurement. In other words, the toric code example can be prepared\footnote{This observation was also made in Ref.~\onlinecite{lu2022shortcut} for deterministically preparing the fixed-point toric code.} using only a `$ZZ= \pm 1$' measurement between the two ancillas (rather than a full Bell basis measurement which includes $XX = \pm 1$) \cite{SM}. In our companion work we also highlight how even in the one-dimensional case this can be utilized to prepare states whose entanglement spectrum is not flat \cite{sahay2024framework}.
In conclusion, the submanifold of tensor network states which can be efficiently prepared using measurement invites further exploration. It exhibits remarkably rich phenomenology, whilst at the same time displaying tight connections between its entanglement spectra and correlation functions---which need not hold for more generic tensor network states. We have highlighted several exciting open questions, and many more remain, including complete classifications beyond those in the companion work \cite{sahay2024framework}, improved numerical algorithms for detecting preparability, charting out the physical properties (in)compatible with measurement-based preparation, and finally bringing these ideas to experimental fruition in novel platforms with mid-circuit measurement capabilities \cite{Singh_2023,moses2023race,deist2022midcircuit,norcia2023midcirc,graham2023midcirc,baumer2023efficient, anand2024dualspecies, baumer2024quantum, finkelstein2024universal, Bluvstein_2023}.
\vspace{5pt}
\emph{Note added:} The posting of this preprint to the arXiv was coordinated with simultaneous postings by Smith et al.~\cite{smith2024constant} and Stephen et al.~\cite{stephen2024fusing}. Both discuss the measurement-based preparation of matrix product states, and were developed independently from this work.
\section{Acknowledgements} We would like to thank Richard Allen, Soonwon Choi, Kevin Smith, and Francisco Machado.
%
R.S. acknowledges support from the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, Department of Energy Computational Science Graduate Fellowship under Award Number
DESC0022158.
%
R.V. is supported by the
Simons Collaboration on Ultra-Quantum Matter, which
is a grant from the Simons Foundation (618615, Ashvin
Vishwanath).
%\bibliographystyle{apsrev4-1}
\bibliography{refs}
\pagebreak
\onecolumngrid
\appendix
\begin{center}
{\large \textbf{Supplementary Materials}}
\end{center}
\section{Supplementary Materials A: Constructive Proof for Physical Unitary}
\begin{shaded}
\noindent
\textbf{Theorem} (Virtual-Physical Correspondence) Suppose $A$ is a tensor with physical Hilbert space dimension $d$ and every virtual leg has dimension $\chi$.
%
Below, we show this tensor as a matrix product state but we remark that the theorem statement and proof are agnostic to dimension.
%
Now, suppose that $V$ is an operator acting on the virtual legs.
%
Then, there exists a unitary $U$ such that:
\begin{equation}\label{eq-UtoV}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
\node at (0, 0.58) {\small $V$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture}
= \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
%\node at (-1, 0) {\small ${V}_{\alpha}$};
%\node at (1.05, 0) {\small $W_{\alpha} $ };
\node at (0.0, -1) {\small $U$};
\end{tikzpicture}
\end{equation}
if and only if, $V$ leaves the transfer operator invariant:
\begin{equation}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[color = black] (-0.8, -1.2) -- (-0.8, -2.2);
\draw[color = black] (0.8, -1.2) -- (0.8, -2.2);
\draw[color = black] (-0.8, -1.2) -- (0.8, -1.2);% top horizontal bar
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -1.2 - 0.35) rectangle (1, -1.2-0.85);
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
\draw[fill = lightdodgerblue] (0,-1.2) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
\node at (-0.03,-1.2) {\small $\bar{A}$};
\node at (0, 0.58) {\small $V$};
\node at (0, -1.2 - 0.58) {\small $V^{\dagger}$};
%
% \node at (-1, -1.2) {\small $\bar{V}_{\alpha}$};
% \node at (1.05, -1.2) {\small $\bar{W}_{\alpha} $ };
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, -1.2) -- (0.8, -1.2); % bottom horizontal bar
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
\draw[fill = lightdodgerblue] (0,-1.2) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
\node at (-0.03,-1.2) {\small $\bar{A}$};
%
% \node at (-1, -1.2) {\small $\bar{V}_{\alpha}$};
% \node at (1.05, -1.2) {\small $\bar{W}_{\alpha} $ };
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture}
\end{equation}
Moreover, $U$ can take the form:
\begin{equation}
U\, =\,
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.5); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
% \draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.0,0) {\small $A^+$};
% \node at (0.0 ,0.5) {\small $\hat{s}$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -0.5-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
% \draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.,-1) {\small $A$};
\node at (0,-0.5) {\small $V$};
% \node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} + \left(\mathds{1}_{d} - \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.5); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
% \draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.0,0) {\small $A^+$};
% \node at (0.0 ,0.5) {\small $\hat{s}$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -0.5-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
% \draw[fill = white] (0,-0.5-1) circle (0.14);
%\draw[rounded corners, fill = lightdodgerblue] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.,-1) {\small $A$};
%\node at (0,-0.5) {\small $V$};
% \node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} \right)
\end{equation}
where $\hat{A}$ is the Moore-Penrose pseudo-inverse of $A$ (viewed as a map from virtual to physical bonds). %and $U_{\text{arb}}$ is an arbitrary unitary that is block diagonal in the kernel and image of the projector $A\hat{A}$.%(which does not affect the action of $U$ on the matrix product state).
%
%\textcolor{red}{Correct this.}
\end{shaded}
\textit{Proof.} Let us remark that the forwards direction of this proof is trivial.
%
Therefore, we focus our attention on the backwards direction.
%
We prove this by explicit construction of $U$.
%
To do so, it is convenient and illuminating to perform a singular value decomposition on the matrix product state as:
\begin{equation}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -1.4); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,-0.5) circle (0.14);
\draw[fill = lightorange(ryb)] (0,-1) circle (0.24);
%% Text
\node at (0.02,0) {\small $\mathcal{U}$};
\node at (0.0,-0.5) {\small $s$};
\node at (0.0,-1) {\small $\mathcal{V}^{\dagger}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} \to \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,-0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\mathcal{U}$};
\node at (0.0,-0.5) {\small $s$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture}
\end{equation}
where in the last step we dropped the $V^{\dagger}$ because it can always be removed from the matrix product state by a physical local unitary transformation.
%
We will call the above the ``vertical representation'' of the MPS tensor (for lack of a better name and because I'll refer to it from time to time).
%
Vertical representation in hand, we consider the following trial unitary operator:
\begin{equation}
U\, =\, \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.1 ,0.55) {\small $s^+$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -0.8-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
\draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small ${\mathcal{U}}$};
\node at (0,-0.5) {\small $V$};
\node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} + \left(1 -\ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (0.0, 0.0) -- (0.0, -1);
\draw[fill = white] (0,-0.75) circle (0.14);
\draw[fill = white] (0,-0.25) circle (0.14);
\node at (0.0 ,-0.75) {\small $s$};
\node at (0.1 ,-0.175) {\small $s^+$};
\end{tikzpicture} \right) = X + (1 - P)% U_{\text{arb}}
\end{equation}
where we introduced the notation $s^+$ to refer to the Moore-Penrose pseudo-inverse of the singular value matrix.
%
% Note that $U_{\text{arb}}$ is block diagonal in the subspaces defined by the kernel and image of $P$.
% %
% Thus:
% \begin{equation}
% U_{\text{arb}} = PU_{\text{arb}}P + (1 - P)U_{\text{arb}}(1 - P)
% \end{equation}
%
Operationally, the Moore-Penrose pseudo-inverse (for diagonal matrices) is obtained by inverting each of the non-zero elements along the diagonal of $s$ and then taking the transpose.
%
It is worth noting some special properties of $s^+$:
\begin{enumerate}
\item[1.] $s^+$ and $s$ are weak inverses of one another.
%
That is to say that $s^+ s s^+ = s^+$ and similarly $ss^+ s = s$.
%
\item[2.] $s^+ s$ and $s s^+$ are both projectors (i.e. are idempotent and hermitian).
%
In the case, where $s$ is injective (i.e. full rank), $s^+ s = 1$.
\end{enumerate}
%
Note that the second property guarantees that $(1 - P)$ is a projector.
%
With these properties, we can prove first that $U$ is unitary and can be pushed through $A$ to yield $V$.
%
To prove unitarity, note that:% \textcolor{red}{Correct this}
\begin{equation}
U^{\dagger} U = X^{\dagger} X + (1 - P) + (1 - P)X + X^{\dagger}(1 - P)
\end{equation}
We evaluate each term above individually.
%
Let us first note that:
\begin{equation}
PX =
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.7); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0, 0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.1 ,0.55) {\small $s^+$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -1.5-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
\draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[fill = white] (0,-1-0.85) circle (0.14);
\draw[fill = white] (0,-1-1.2) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small $\mathcal{U}$};
\node at (0,-0.5) {\small $V$};
\node at (0.0 ,-0.5-1) {\small $s$};
\node at (0.1 ,-1-0.80) {\small $s^+$};
\node at (0.0 ,-1-1.2) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} =\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.1 ,0.55) {\small $s^+$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -0.8-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
\draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small ${\mathcal{U}}$};
\node at (0,-0.5) {\small $V$};
\node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture}
= X
\end{equation}
As an aside, note that a similar calculation reveals that $PX = XP = X$.
%
This implies that $U$ decomposes as a direct sum in the spaces with support on $P$ and $(1 - P)$, with $X$ only acting on the former space.
%
Indeed, as a consequence of the above calculation, we have that:
\begin{equation}
U^{\dagger} U = X^{\dagger} X+ (1 - P)
\end{equation}
Now, let us note that:
\begin{equation}
X^{\dagger} X = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.1 ,0.55) {\small $s^+$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -1-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small ${\mathcal{U}}$};
\node at (0,-0.5) {\small $V$};
\draw[fill = white] (0,-0.75-1) circle (0.14);
\node at (0.07 ,-0.7-1) {\small $s^{\dagger}$};
\draw[fill = white] (0,-0.4-1) circle (0.14);
\node at (0.0 ,-0.4-1) {\small $s$};
%
%
%
%
\draw[color = black] (-0.8, -2.2) -- (0.8, -2.2); % top horizontal bar
%\draw[color = black] (0, 0-2.2) -- (0, 0.8-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-2.2) circle (0.24); % circle
%\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,-2.2) {\small $\bar{\mathcal{U}}$};
%\node at (0.0 ,0.5) {\small $\hat{s}$};
%
%
\draw[color = black] (-0.8, -2.2) -- (-0.8, -1-2.2);
\draw[color = black] (0.8, -2.2) -- (0.8, -1-2.2);
\draw[color = black] (-0.8, -1-2.2) -- (0.8, -1-2.2); % top horizontal bar
\draw[color = black] (0, -1-2.2) -- (0, -0.8-1-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-1-2.2) circle (0.24); % circle
%\draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7-2.2) rectangle (1, -0.3-2.2);
%% Text
\node at (0.02,-1-2.2) {\small ${\mathcal{U}}$};
\node at (0,-0.5-2.2) {\small $V^{\dagger}$};
\draw[fill = white] (0,-0.5-1 -2.2) circle (0.14);
\node at (0.13 ,-0.47-3.2) {\small $(s^+)^{\dagger}$};
%\node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.1 ,0.55) {\small $s^+$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -1-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
%\draw[rounded corners, fill = lightdodgerblue] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small ${\mathcal{U}}$};
%\node at (0,-0.5) {\small $V$};
\draw[fill = white] (0,-0.75-1) circle (0.14);
\node at (0.07 ,-0.7-1) {\small $s^{\dagger}$};
\draw[fill = white] (0,-0.4-1) circle (0.14);
\node at (0.0 ,-0.4-1) {\small $s$};
%
%
%
%
\draw[color = black] (-0.8, -2.2) -- (0.8, -2.2); % top horizontal bar
%\draw[color = black] (0, 0-2.2) -- (0, 0.8-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-2.2) circle (0.24); % circle
%\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,-2.2) {\small $\bar{\mathcal{U}}$};
%\node at (0.0 ,0.5) {\small $\hat{s}$};
%
%
\draw[color = black] (-0.8, -2.2) -- (-0.8, -1-2.2);
\draw[color = black] (0.8, -2.2) -- (0.8, -1-2.2);
\draw[color = black] (-0.8, -1-2.2) -- (0.8, -1-2.2); % top horizontal bar
\draw[color = black] (0, -1-2.2) -- (0, -0.8-1-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-1-2.2) circle (0.24); % circle
%\draw[fill = white] (0,-0.5-1) circle (0.14);
%\draw[rounded corners, fill = lightdodgerblue] (-1, -0.7-2.2) rectangle (1, -0.3-2.2);
%% Text
\node at (0.02,-1-2.2) {\small ${\mathcal{U}}$};
%\node at (0,-0.5-2.2) {\small $V^{\dagger}$};
\draw[fill = white] (0,-0.5-1 -2.2) circle (0.14);
\node at (0.12 ,-0.47-3.2) {\small $(s^+)^{\dagger}$};
%\node at (0.0 ,-0.5-1) {\small $s$};
%\node at (-0.55, -1) {\small $V_{\alpha}$};
%\node at (0.55, -1) {\small $W_{\alpha}$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture} = (s^+)^{\dagger} s^{\dagger} s s^+ = (ss^+)^{\dagger} (s s^+) = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (0.0, 0.0) -- (0.0, -1);
\draw[fill = white] (0,-0.75) circle (0.14);
\draw[fill = white] (0,-0.25) circle (0.14);
\node at (0.0 ,-0.75) {\small $s$};
\node at (0.1 ,-0.2) {\small $s^+$};
\end{tikzpicture} = P
\end{equation}
where in the second step we used the fact that $V$ leaves the transfer matrix invariant.
%
Therefore, we have that:
\begin{equation}
U^{\dagger} U = 1
\end{equation}
Now, note that $U$ is a square matrix and since $U^{\dagger}$ is a left inverse of $U$, it is also its right inverse.
%
Thus, $U U^{\dagger} = 1$.
%
Thus, $U$ is unitary.
%
Having proven unitarity, we now prove that Eq.~\eqref{eq-UtoV} holds.
%
To do so, we first note the following non-trivial identity
\begin{equation}
UU^{\dagger} = X X^{\dagger} + (1 - P) + X(1 - P) + (1 - P)X^{\dagger} = 1 \implies XX^{\dagger} = P
\end{equation}
%
This yields the following diagrammatic identity:
\begin{equation}
XX^{\dagger} = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, 0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,0) {\small $\bar{\mathcal{U}}$};
\node at (0.05 ,0.57) {\small $s^{\dagger}$};
%
%
\draw[color = black] (-0.8, 0) -- (-0.8, -1);
\draw[color = black] (0.8, 0) -- (0.8, -1);
\draw[color = black] (-0.8, -1) -- (0.8, -1); % top horizontal bar
\draw[color = black] (0, -1) -- (0, -1-1); % vertical bar
\draw[fill = lightdodgerblue] (0,-1) circle (0.24); % circle
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7) rectangle (1, -0.3);
%% Text
\node at (0.02,-1) {\small ${{\mathcal{U}}}$};
\node at (0,-0.5) {\small $V^{\dagger}$};
\draw[fill = white] (0,-0.75-1) circle (0.14);
\node at (0.1 ,-0.7-1) {\small $s^+$};
\draw[fill = white] (0,-0.4-1) circle (0.14);
\node at (0.12 ,-0.35-1) {\small $(s^+)^{\dagger}$};
%
%
%
%
\draw[color = black] (-0.8, -2.2) -- (0.8, -2.2); % top horizontal bar
%\draw[color = black] (0, 0-2.2) -- (0, 0.8-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-2.2) circle (0.24); % circle
%\draw[fill = white] (0,0.5) circle (0.14);
%% Text
\node at (0.02,-2.2) {\small $\bar{\mathcal{U}}$};
%\node at (0.0 ,0.5) {\small $\hat{s}$};
%
%
\draw[color = black] (-0.8, -2.2) -- (-0.8, -1-2.2);
\draw[color = black] (0.8, -2.2) -- (0.8, -1-2.2);
\draw[color = black] (-0.8, -1-2.2) -- (0.8, -1-2.2); % top horizontal bar
\draw[color = black] (0, -1-2.2) -- (0, -0.8-1-2.2); % vertical bar
\draw[fill = lightdodgerblue] (0,-1-2.2) circle (0.24); % circle
%\draw[fill = white] (0,-0.5-1) circle (0.14);
\draw[rounded corners, fill = lightorange(ryb)] (-1, -0.7-2.2) rectangle (1, -0.3-2.2);
%% Text
\node at (0.02,-1-2.2) {\small $\mathcal{U}$};
\node at (0,-0.5-2.2) {\small $V$};
\draw[fill = white] (0,-0.5-1 -2.2) circle (0.14);
\node at (0 ,-0.5-3.2) {\small $s$};
\end{tikzpicture} = \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (0.0, 0.0) -- (0.0, -1);
\draw[fill = white] (0,-0.75) circle (0.14);
\draw[fill = white] (0,-0.25) circle (0.14);
\node at (0.0 ,-0.75) {\small $s$};
\node at (0.0 ,-0.25) {\small $\hat{s}$};
\end{tikzpicture} = P
\end{equation}
We can use this identity to our advantange.
%
In particular, we get that:
\begin{equation}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
%\draw[fill = lightorange(ryb)] (0,0) circle (0.3); % circle
%% Text
%\node at (-0.03,0) {\small $A$};
\node at (0, 0.58) {\small $V$};
%
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\node at (0.02,0) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5) circle (0.14);
\node at (0.0,-0.5) {\small $s$};
\end{tikzpicture}\ \ =\ \ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
%\draw[fill = lightorange(ryb)] (0,0) circle (0.3); % circle
%% Text
%\node at (-0.03,0) {\small $A$};
\node at (0, 0.58) {\small $V$};
%
\draw[color = black] (0, 0) -- (0, -1.6); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\node at (0.02,0) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5) circle (0.14);
\node at (0.0,-0.5) {\small $s$};
\draw[fill = white] (0,-0.9) circle (0.14);
\node at (0.1,-0.8) {\small $s^+$};
\draw[fill = white] (0,-1.3) circle (0.14);
\node at (0.0,-1.3) {\small $s$};
\end{tikzpicture}\ \ =\ \
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
%\draw[fill = lightorange(ryb)] (0,0) circle (0.3); % circle
%% Text
%\node at (-0.03,0) {\small $A$};
\node at (0, 0.58) {\small $V$};
%
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\node at (0.02,0) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5) circle (0.14);
\node at (0.0,-0.5) {\small $s$};
\draw[fill = white] (0,-0.8) circle (0.14);
\node at (0.075,-0.75) {\small $s^{\dagger}$};
\draw[color = black] (-0.8, -1.3) -- (0.8, -1.3);
\draw[fill = lightdodgerblue] (0,-1.3) circle (0.24); % circle
\node at (0.02,-1.3) {\small $\bar{\mathcal{U}}$};
\draw[color = black] (-0.8, -1.3) -- (-0.8, -2.3);
\draw[color = black] (0.8, -1.3) -- (0.8, -2.3);
%
\draw[rounded corners, fill = lightorange(ryb)] (-1, -2.0) rectangle (1, -1.6);
\node at (0, -1.8) {\small $V^{\dagger}$};
\draw[color = black] (-0.8, -2.3) -- (0.8, -2.3);
\draw[color = black] (0, -2.3) -- (0, -3.5);
\draw[fill = lightdodgerblue] (0,-2.3) circle (0.24); % circle
\node at (0.02,-2.3) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5-2.3) circle (0.14);
\node at (0.12,-0.47-2.3) {\small $(s^+)^{\dagger}$};
\draw[fill = white] (0,-0.8-2.3) circle (0.14);
\node at (0.1,-0.79-2.3) {\small $s^+$};
\draw[color = black] (-0.8, -1.3-2.3) -- (0.8, -2.3 - 1.3);
\draw[fill = lightdodgerblue] (0,-2.3-1.3) circle (0.24); % circle
\node at (0.02,-2.3-1.3) {\small $\bar{\mathcal{U}}$};
\draw[color = black] (-0.8, -3.6) -- (-0.8, -3.6 -1);
\draw[color = black] (0.8, -3.6) -- (0.8, -3.6 -1);
\draw[color = black] (-0.8, -3.6 - 1) -- (0.8, -3.6 -1);
\draw[color = black] (-0, -4.4) -- (-0, -5.4);
\draw[fill = lightdodgerblue] (0,-2.3-1.3-1) circle (0.24); % circle
\node at (0.02,-2.3-1.3-1) {\small ${\mathcal{U}}$};
\draw[rounded corners, fill = lightorange(ryb)] (-1, -4.3) rectangle (1, -3.9);
\node at (0.0,-4.1) {\small ${V}$};
\draw[fill = white] (0,-5.1) circle (0.14);
\node at (0.0,-5.1) {\small $s$};
\end{tikzpicture}
%
%
\ \
= \ \ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
%\draw[fill = lightorange(ryb)] (0,0) circle (0.3); % circle
%% Text
%\node at (-0.03,0) {\small $A$};
%
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\node at (0.02,0) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5) circle (0.14);
\node at (0.0,-0.5) {\small $s$};
\draw[fill = white] (0,-0.8) circle (0.14);
\node at (0.075,-0.75) {\small $s^{\dagger}$};
\draw[color = black] (-0.8, -1.3) -- (0.8, -1.3);
\draw[fill = lightdodgerblue] (0,-1.3) circle (0.24); % circle
\node at (0.02,-1.3) {\small $\bar{\mathcal{U}}$};
\draw[color = black] (-0.8, -1.3) -- (-0.8, -2.3);
\draw[color = black] (0.8, -1.3) -- (0.8, -2.3);
%
\draw[color = black] (-0.8, -2.3) -- (0.8, -2.3);
\draw[color = black] (0, -2.3) -- (0, -3.5);
\draw[fill = lightdodgerblue] (0,-2.3) circle (0.24); % circle
\node at (0.02,-2.3) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5-2.3) circle (0.14);
\node at (0.12,-0.47-2.3) {\small $(s^+)^{\dagger}$};
\draw[fill = white] (0,-0.8-2.3) circle (0.14);
\node at (0.1,-0.79-2.3) {\small $s^+$};
\draw[color = black] (-0.8, -1.3-2.3) -- (0.8, -2.3 - 1.3);
\draw[fill = lightdodgerblue] (0,-2.3-1.3) circle (0.24); % circle
\node at (0.02,-2.3-1.3) {\small $\bar{\mathcal{U}}$};
\draw[color = black] (-0.8, -3.6) -- (-0.8, -3.6 -1);
\draw[color = black] (0.8, -3.6) -- (0.8, -3.6 -1);
\draw[color = black] (-0.8, -3.6 - 1) -- (0.8, -3.6 -1);
\draw[color = black] (-0, -4.4) -- (-0, -5.4);
\draw[fill = lightdodgerblue] (0,-2.3-1.3-1) circle (0.24); % circle
\node at (0.02,-2.3-1.3-1) {\small ${\mathcal{U}}$};
\draw[rounded corners, fill = lightorange(ryb)] (-1, -4.3) rectangle (1, -3.9);
\node at (0.0,-4.1) {\small ${V}$};
\draw[fill = white] (0,-5.1) circle (0.14);
\node at (0.0,-5.1) {\small $s$};
\end{tikzpicture}\ \ =\ \ \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
%\draw[fill = lightorange(ryb)] (0,0) circle (0.3); % circle
%% Text
%\node at (-0.03,0) {\small $A$};
%
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.24); % circle
\node at (0.02,0) {\small $\mathcal{U}$};
\draw[fill = white] (0,-0.5) circle (0.14);
\node at (0.0,-0.5) {\small $s$};
\draw[fill = white] (0,-0.8) circle (0.14);
\node at (0.1,-0.75) {\small $s^+$};
\draw[color = black] (-0.8, -1.3) -- (0.8, -1.3);
\draw[fill = lightdodgerblue] (0,-1.3) circle (0.24); % circle
\node at (0.02,-1.3) {\small $\bar{\mathcal{U}}$};
\draw[color = black] (-0.8, -1.3) -- (-0.8, -2.3);
\draw[color = black] (0.8, -1.3) -- (0.8, -2.3);
\draw[color = black] (-0.8, -2.3) -- (0.8, -2.3);
\draw[color = black] (0, -2.3) -- (0, -3.1);
\draw[fill = white] (0,-2.8) circle (0.14);
\node at (0.0,-2.8) {\small $s$};
\draw[fill = lightdodgerblue] (0,-2.3) circle (0.24); % circle
\node at (0.02,-2.3) {\small $\mathcal{U}$};
\draw[rounded corners, fill = lightorange(ryb)] (-1, -2.0) rectangle (1, -1.6);
\node at (0, -1.8) {\small $V$};
\end{tikzpicture}
\end{equation}
%
where in the last step we used $s^+ (s^+)^{\dagger} s^{\dagger} s = s^+(s s^+)^{\dagger} s = s^+ s s^+ s = s^+ s$.
%
Note that since $(1 - P)$ annhilates the MPS, the above proves that:
\begin{equation}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[color = black] (-0.8, 0) -- (-0.8, 1);
\draw[color = black] (0.8, 0) -- (0.8, 1);
\draw[rounded corners, fill = lightorange(ryb)] (-1, 0.35) rectangle (1, 0.85);
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
\node at (0, 0.58) {\small $V$};
% \node at (-1, 0) {\small ${V}_{\alpha}$};
% \node at (1.05, 0) {\small $W_{\alpha} $ };
\end{tikzpicture}
= \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (0, 0) -- (0, -0.8); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
%\node at (-1, 0) {\small ${V}_{\alpha}$};
%\node at (1.05, 0) {\small $W_{\alpha} $ };
\node at (0.0, -1) {\small $U$};
\end{tikzpicture}
\end{equation}
as desired.
\hspace{0.95\textwidth} $\blacksquare$
\section{Supplementary Materials B: Additional Details Regarding Preparable Phase Diagram}
In the main text, we provided a guided tour of the landscape of $\chi = 2$ preparable phases, which corresponded to points within a tetrahedron (with states related by permuting the axes being physically equivalent).
%
Here, we provide closed-form expressions for the trajectories shown in the text and provide a proof of the claim that the AKLT state is gluable with a physical deformation by an arbitrary on-site complex matrix.
\subsection{Physically Motivated Trajectories in the Tetrahedron}
In Fig.~\ref{fig:preparable_phase_diagram}, we showed several physically motivated trajectories of preparable quantum states in the preparable tetrahedron.
%
Specifically, we showed trajectories for the following families of states:
\begin{equation}
\ket{\Psi_{1}(\beta)} = e^{\beta \sum_x X_x} \ket{\text{cluster}} \qquad \ket{\Psi_{2}(\beta)} = e^{\beta \sum_{x \text{ even}} X_x} \ket{\text{cluster}} \qquad \ket{\Psi_{3}(\beta)} = e^{\beta \sum_{n}(S^z_n)^2} \ket{\text{AKLT}}
\end{equation}
where the first interpolated between the cluster state and the trivial state, the middle interpolated between the cluster state and the GHZ, and the final interpolated between the AKLT state and the N\'eel state.
%
The trajectories for each of these states are:
\begin{equation}
\boldsymbol{\lambda}_1(\beta) = \frac{1}{2 (1 + \cosh(4 \beta))} \begin{pmatrix} e^{4 \beta} \\ 1 \\ 1 \\ e^{- 4\beta}\end{pmatrix} \qquad \boldsymbol{\lambda}_2(\beta) = \frac{1}{4 \cosh(2\beta)} \begin{pmatrix} e^{2 \beta} \\ e^{-2\beta} \\ e^{2\beta} \\ e^{- 2\beta}\end{pmatrix} \qquad \boldsymbol{\lambda}_3(\beta) = \frac{1}{1 + \cosh(2\beta)}\begin{pmatrix}
0 \\ e^{2\beta} \\ e^{2\beta} \\ 1
\end{pmatrix}
\end{equation}
\subsection{Arbitrary Invertible Complex Matrices on the AKLT State}
We now show that the AKLT state is preparable even if one acts at the physical level with an arbitrary complex matrix.
%
To do so, let us recall that the AKLT state is described by matrix product state tensors given by:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $A$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (0, -1) {\small $i$ };
%\node at (0, -1.0) {\small $u_{\alpha}$};
\end{tikzpicture} = \frac{1}{\sqrt{3}} \sigma^i
\end{equation}
in the appropriate basis \cite{tenpy} (the so-called Cartesian basis).
%
Furthermore, the AKLT tensor is symmetric under a full $SO(3)$ at the physical level, implying that any unitary acting at the physical level acts like a unitary gauge transformation of the MPS tensor.
Now, let us remark that, one can perform an SVD on $M$ and the result will be:
\begin{equation}
M = U S V^{\dagger} \qquad S = \text{diag} (s_1, s_2, s_3)
\end{equation}
where $s_1, s_2,$ and $s_3$ are in principle arbitrary but non-zero by assumption of invertibility.
%
Note that this means that any unitary matrix of the form:
\begin{equation}
W = U D U^{\dagger}
\end{equation}
where $D$ is diagonal will have the property that $WM = MW'$ for $W' = V^{\dagger} D V$.
%
Let us choose diagonal matrices to be $D_0 = \mathds{1}$, $D_1 = \text{diag}(1, -1, -1)$, $D_2 = \text{diag}(-1, 1, -1)$, $D_3 = (-1, -1, 1)$.
%
Note that $W_{\alpha} = U D_{\alpha} U^{\dagger}$ generates a $\mathbb{Z}_2 \times \mathbb{Z}_2$ subgroup of $SO(3)$ and hence have the property that:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $A$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (0, -1) {\small $W_{\alpha}$ };
%\node at (0, -1.0) {\small $u_{\alpha}$};
\end{tikzpicture} = \begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $A$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (-1.2, 0) {\small $V_{\alpha}$ };
\node at (1.2, 0) {\small $V^{\dagger}_{\alpha}$ };
%\node at (0, -1.0) {\small $u_{\alpha}$};
\end{tikzpicture}
\end{equation}
where the $V_{\alpha}$'s form an irreducible faithful projective representation of $\mathbb{Z}_2 \times \mathbb{Z}_2$ with degree $2$ and hence forms a unitary error basis \cite{klappenecker2002beyond}.
%
The above discussion then implies that:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $A$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (-1.2, 0) {\small $V_{\alpha}$ };
\draw[fill = lightorange(ryb)] (0, -0.5) circle (0.1);
%\node at (0, -1.0) {\small $u_{\alpha}$};
\end{tikzpicture} =
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $A$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (0, -1) {\small $W'_{\alpha}$ };
%\node at (0, -1.0) {\small $u_{\alpha}$};
\node at (1.2, 0) {\small $V_{\alpha}$ };
\draw[fill = lightorange(ryb)] (0, -0.5) circle (0.1);
\end{tikzpicture}
\end{equation}
for all $\alpha$, where the orange circle is the matrix $M$.
%
Consequently, the AKLT state deformed with an arbitrary invertible complex matrix is preparable.
\section{Supplementary Materials C: Preparable Matrix Product States for Arbitrary Nice Error Bases}
In the main text, we remarked that Eqs.~\eqref{eq:Achi2}~and~\eqref{eq:AchiN} could be generalized to arbitrary nice error bases, even non-abelian ones.
%
The generalization, expressed in terms of the transfer matrix, is given by:
\begin{equation}
\begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, -1.2) -- (0.8, -1.2); % bottom horizontal bar
\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = lightdodgerblue] (0,0) circle (0.3); % circle
\draw[fill = lightdodgerblue] (0,-1.2) circle (0.3); % circle
%% Text
\node at (-0.03,0) {\small $A$};
\node at (-0.03,-1.2) {\small $\bar{A}$};
\end{tikzpicture} = \sum_{\mathcal{C} \text{ of } G_U} \lambda_{\mathcal{C}}\left(\frac{1}{|\mathcal{C}|} \sum_{g \in \mathcal{C}} \begin{tikzpicture} [scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.8, 0) -- (0.8, 0); % top horizontal bar
\draw[color = black] (-0.8, -1.2) -- (0.8, -1.2); % bottom horizontal bar
%\draw[color = black] (0, 0) -- (0, -1.2); % vertical bar
\draw[fill = white] (0,0) circle (0.25); % circle
\draw[fill = white] (0,-1.2) circle (0.25); % circle
%% Text
\node at (0,0) {\small $V_g$};
\node at (0,-1.2) {\small $\bar{V}_g$};
\end{tikzpicture} \right)
\end{equation}
where $\{V_g\}$ is a nice error basis, $G_U$ is its index group, and $\mathcal{C}$ label conjugacy classes of $G_U$.
%
By using the definition of nice error basis (i.e. $V_g V_h =\omega(g,h) V_{gh}$ for some $2$-cocycle of $G_U$, $\omega$), one can readily show that the transfer matrix above satisfies the one-dimensional analog of Eq.~\eqref{eq:VTV=T}.
%
Namely, there is an error basis of $\chi^2$ operators that leave the transfer matrix invariant under conjugation.
%
This implies that the state can be prepared by using $\{V_g\}$ as a measurement basis.
\section{Supplementary Materials D: Generalization to Incomplete Basis Measurement}
In the main text, we briefly alluded to generalizations to incomplete basis measurement.
%
Here, we provide additional details for this.
%
The general idea will be to consider a tensor with the following structure:
\begin{equation}
\begin{tikzpicture} [scale = 1.8, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1.5, 0) -- (1, 0);
\draw[color = black] (-1, 0) -- (-1, -0.4);
\draw[color = black] (-0.5, 0) -- (-0.5, -0.4);
\draw[color = black] (0, 0) -- (0, -0.4);
\draw[color = black] (0.5, 0) -- (0.5, -0.4);
\draw[fill = lightdodgerblue] (-1, 0) circle (0.15);
%\draw[fill = lightdodgerblue, thick] (-0.5, 0) circle (0.1);
\draw[fill = lightdodgerblue] (-0, 0) circle (0.15);
%\draw[fill = lightdodgerblue, thick] (0.5, 0) circle (0.1);
\node at (-1, 0) {\small $B$};
\node at (0, 0) {\small $B$};
\end{tikzpicture}
\end{equation}
where the $T$-junctions are Kronecker deltas\footnote{Here, the Kronecker delta tensor is used for ease of demonstrating the point but generalizations of the idea should be clear.}
%
For simplicity, let us consider the case of $\chi = 2$.
%
Now, the only property that we require of $B$ is that:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $B$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
\node at (-1.2, 0) {\small $X$ };
%\node at (0, -1.0) {\small $u_{\alpha}$};
\end{tikzpicture} = \begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-1, 0) -- (1, 0);
\draw[color = black] (0, 0) -- (0, -0.8);
\draw[fill = lightdodgerblue] (0,0) circle (0.3);
\node at (-0.03,0) {\small $B$};
%\node at (-1.4, 0) {\small $\{V_{\alpha} \}$ };
%\node at (-1.3, 0) {\small $X$ };
\node at (0, -1.0) {\small $U$};
\node at (1.15, 0) {\small $X$};
\end{tikzpicture}
\end{equation}
In other words, only an incomplete basis of operators pushes through the $B$ tensor.
%
We can glue the above tensor network with incomplete basis measurement in the following way.
%
Let us first recognize a useful identity:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (0.7, -0.8) -- (-0.7 + 2.3, -0.8);
\draw[fill = black] (1.6, -0.8) circle (0.07);
\draw[color = black] (0.7, -0.4) -- (0.7, -1.2);
\draw[color = black] (1.6, -0.4) -- (1.6, -1.2);
\node at (0.7, -0.8) {$\small \bigoplus$};
\node at (0.7, -1.4) {$\small \ket{0}$};
\end{tikzpicture}\ \ =\ \
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.5, 0) -- (0.5, 0);
\draw[color = black] (0, 0) -- (0, -0.5);
\end{tikzpicture}
\end{equation}
relating the control-NOT (CNOT) gate to the Kronecker delta tensor.
%
This naturally suggests an incomplete basis measurement protocol for the above tensor network.
%
In particular, first we prepare disentangled clusters given by the $B$ tensors.
%
Subsequently, instead of performing something like a Bell measurement between the clusters, which in practice would imply performing a CNOT gate between the virtual bonds and measuring the control and target in the $X$ and $Z$ bases respectively, we first entangle them with a CNOT and then only measure the target in the $Z$ basis.
%
The result will be:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\foreach \i in {0, ..., 1}{
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, 0);
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (-0.7 + 2.3*\i, -0.8);
\draw[color = black] (0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, -0.8);
\draw[color = black] (0 + 2.3*\i, 0) -- (0 + 2.3*\i, -0.8);
\draw[fill = lightdodgerblue] (0.0 + 2.3*\i, 0) circle (0.25);
\node at (0.0 + 2.3*\i, 0) {\small $B$};
}
\draw[color = black] (0.7, -0.8) -- (-0.7 + 2.3, -0.8);
\draw[fill = black] (1.6, -0.8) circle (0.07);
\draw[color = black] (0.7, -0.8) -- (0.7, -1.2);
\draw[color = black] (1.6, -0.8) -- (1.6, -1.2);
\node at (0.7, -0.8) {$\small \bigoplus$};
\node at (0.7, -1.4) {$\small \ket{0/1}$};
\end{tikzpicture}
\end{equation}
Note that in the case of measuring all $\ket{0}$ states, we have successfully prepared the matrix product state with incomplete basis measurements.
%
In the case, we measure $\ket{1}$, note that:
\begin{equation}
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\foreach \i in {0, ..., 1}{
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, 0);
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (-0.7 + 2.3*\i, -0.8);
\draw[color = black] (0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, -0.8);
\draw[color = black] (0 + 2.3*\i, 0) -- (0 + 2.3*\i, -0.8);
\draw[fill = lightdodgerblue] (0.0 + 2.3*\i, 0) circle (0.25);
\node at (0.0 + 2.3*\i, 0) {\small $B$};
}
\draw[color = black] (0.7, -0.8) -- (-0.7 + 2.3, -0.8);
\draw[fill = black] (1.6, -0.8) circle (0.07);
\draw[color = black] (0.7, -0.8) -- (0.7, -1.2);
\draw[color = black] (1.6, -0.8) -- (1.6, -1.2);
\node at (0.7, -0.8) {$\small \bigoplus$};
\node at (0.7, -1.4) {$\small \ket{1}$};
\end{tikzpicture}\ \ =\ \
\begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\foreach \i in {0, ..., 1}{
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, 0);
\draw[color = black] (-0.7 + 2.3*\i, 0) -- (-0.7 + 2.3*\i, -0.8);
\draw[color = black] (0.7 + 2.3*\i, 0) -- (0.7 + 2.3*\i, -0.8);
\draw[color = black] (0 + 2.3*\i, 0) -- (0 + 2.3*\i, -0.8);
\draw[fill = lightdodgerblue] (0.0 + 2.3*\i, 0) circle (0.25);
\node at (0.0 + 2.3*\i, 0) {\small $B$};
}
\draw[color = black] (0.7, -0.8) -- (-0.7 + 2.3, -0.8);
\draw[fill = black] (1.6, -0.8) circle (0.07);
\draw[color = black] (0.7, -0.8) -- (0.7, -1.2);
\draw[color = black] (1.6, -0.8) -- (1.6, -1.2);
\node at (0.7, -0.8) {$\small \bigoplus$};
\node at (0.7, -1.4) {$\small \ket{0}$};
\node at (0.7, -0.3) {$\small \textcolor{red}{X}$};
\end{tikzpicture}\ =\ \begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-0.7 + 2.3*0, 0) -- (-0.7 + 2.3*1 + 2.3*0, 0);
\draw[color = black] (-0.7 + 2.3*0, 0) -- (-0.7 + 2.3*0, -0.8);
%\draw[color = black] (0.7 + 2.3*0, 0) -- (0.7 + 2.3*0, -0.8);
\draw[color = black] (0 + 2.3*0, 0) -- (0 + 2.3*0, -0.8);
\draw[fill = lightdodgerblue] (0.0 + 2.3*0, 0) circle (0.25);
\draw[color = black] (-0.7 + 2.3*1, 0) -- (0.7 + 2.3*1, 0);
\node at (0.0 + 2.3*0, 0) {\small $B$};
% \draw[color = black] (-0.7 + 2.3*1, 0) -- (-0.7 + 2.3*1, -0.8);
\draw[color = black] (0.7 + 2.3*1, 0) -- (0.7 + 2.3*1, -0.8);
\draw[color = black] (0 + 2.3*1, 0) -- (0 + 2.3*1, -0.8);
\draw[fill = lightdodgerblue] (0.0 + 2.3*1, 0) circle (0.25);
\node at (0.0 + 2.3*1, 0) {\small $B$};
%\node at (0.7, -0.8) {$\small \bigoplus$};
\node at (1.0, 0) {$\small \textcolor{red}{X}$};
\draw[color = black] (1.3, 0) -- (1.3, -0.8);
\node at (0.7, -1.4) {$\small \ $};
\end{tikzpicture}
\end{equation}
which we can sweep through the chain and correct at the physical level.
%
Hence, states with the above form are deterministically correctable even with incomplete basis measurements.
%
As an example of a state with this structure, let us note that the MPS of the state $\ket{\Psi} = e^{\beta \sum_{x} Z_xZ_{x + 1}}\ket{+}^{\otimes N}$ takes the form:
\begin{equation}
\ket{\Psi} = \begin{tikzpicture}[scale = 1, baseline = {([yshift=-.5ex]current bounding box.center)}]
\draw[color = black] (-3.5, 0) -- (3.5, 0);
\foreach \i in {-3,...,3}{
\draw[color = black] (\i, 0) -- (\i, -0.7);
}
\foreach \i in {-3,...,3}{
\draw[fill = white] (\i + 0.3, 0) circle (0.1);
}
\end{tikzpicture}
\end{equation}
where the white circles are $e^{\alpha X}$ with $\alpha = \text{arctanh}(e^{-2\beta})$.
%
Note that the above is of the desired form and has a ``$B$'' tensor with a trivial physical leg.
%
We recgonize the same structure in the toric code example in the main text.
\end{document}
%apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst
%Control: key (0)
%Control: author (8) initials jnrlst
%Control: editor formatted (1) identically to author
%Control: production of article title (0) allowed
%Control: page (0) single
%Control: year (1) truncated
%Control: production of eprint (0) enabled
\begin{thebibliography}{79}%
\makeatletter
\providecommand \@ifxundefined [1]{%
\@ifx{#1\undefined}
}%
\providecommand \@ifnum [1]{%
\ifnum #1\expandafter \@firstoftwo
\else \expandafter \@secondoftwo
\fi
}%
\providecommand \@ifx [1]{%
\ifx #1\expandafter \@firstoftwo
\else \expandafter \@secondoftwo
\fi
}%
\providecommand \natexlab [1]{#1}%
\providecommand \enquote [1]{``#1''}%
\providecommand \bibnamefont [1]{#1}%
\providecommand \bibfnamefont [1]{#1}%
\providecommand \citenamefont [1]{#1}%
\providecommand \href@noop [0]{\@secondoftwo}%
\providecommand \href [0]{\begingroup \@sanitize@url \@href}%
\providecommand \@href[1]{\@@startlink{#1}\@@href}%
\providecommand \@@href[1]{\endgroup#1\@@endlink}%
\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}%
\providecommand \@@startlink[1]{}%
\providecommand \@@endlink[0]{}%
\providecommand \url [0]{\begingroup\@sanitize@url \@url }%
\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}%
\providecommand \urlprefix [0]{URL }%
\providecommand \Eprint [0]{\href }%
\providecommand \doibase [0]{https://doi.org/}%
\providecommand \selectlanguage [0]{\@gobble}%
\providecommand \bibinfo [0]{\@secondoftwo}%
\providecommand \bibfield [0]{\@secondoftwo}%
\providecommand \translation [1]{[#1]}%
\providecommand \BibitemOpen [0]{}%
\providecommand \bibitemStop [0]{}%
\providecommand \bibitemNoStop [0]{.\EOS\space}%
\providecommand \EOS [0]{\spacefactor3000\relax}%
\providecommand \BibitemShut [1]{\csname bibitem#1\endcsname}%
\let\auto@bib@innerbib\@empty
%</preamble>
\bibitem [{\citenamefont {Briegel}\ and\ \citenamefont {Raussendorf}(2001)}]{Briegel01}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {H.~J.}\ \bibnamefont {Briegel}}\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}},\ }\bibfield {title} {\bibinfo {title} {Persistent entanglement in arrays of interacting particles},\ }\href {https://doi.org/10.1103/PhysRevLett.86.910} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {86}},\ \bibinfo {pages} {910} (\bibinfo {year} {2001})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Raussendorf}\ \emph {et~al.}(2005)\citenamefont {Raussendorf}, \citenamefont {Bravyi},\ and\ \citenamefont {Harrington}}]{Raussendorf05}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Bravyi}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Harrington}},\ }\bibfield {title} {\bibinfo {title} {Long-range quantum entanglement in noisy cluster states},\ }\href {https://doi.org/10.1103/PhysRevA.71.062313} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {71}},\ \bibinfo {pages} {062313} (\bibinfo {year} {2005})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Aguado}\ \emph {et~al.}(2008)\citenamefont {Aguado}, \citenamefont {Brennen}, \citenamefont {Verstraete},\ and\ \citenamefont {Cirac}}]{Aguado08}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Aguado}}, \bibinfo {author} {\bibfnamefont {G.~K.}\ \bibnamefont {Brennen}}, \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Creation, manipulation, and detection of abelian and non-abelian anyons in optical lattices},\ }\href {https://doi.org/10.1103/PhysRevLett.101.260501} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {101}},\ \bibinfo {pages} {260501} (\bibinfo {year} {2008})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bolt}\ \emph {et~al.}(2016)\citenamefont {Bolt}, \citenamefont {Duclos-Cianci}, \citenamefont {Poulin},\ and\ \citenamefont {Stace}}]{Bolt16}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Bolt}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Duclos-Cianci}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Poulin}},\ and\ \bibinfo {author} {\bibfnamefont {T.~M.}\ \bibnamefont {Stace}},\ }\bibfield {title} {\bibinfo {title} {Foliated quantum error-correcting codes},\ }\href {https://doi.org/10.1103/PhysRevLett.117.070501} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {117}},\ \bibinfo {pages} {070501} (\bibinfo {year} {2016})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Piroli}\ \emph {et~al.}(2021)\citenamefont {Piroli}, \citenamefont {Styliaris},\ and\ \citenamefont {Cirac}}]{piroli2021locc}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Piroli}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Styliaris}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Quantum circuits assisted by local operations and classical communication: Transformations and phases of matter},\ }\href {https://doi.org/10.1103/PhysRevLett.127.220503} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {127}},\ \bibinfo {pages} {220503} (\bibinfo {year} {2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Tantivasadakarn}}\ \emph {et~al.}(2021)\citenamefont {{Tantivasadakarn}}, \citenamefont {{Thorngren}}, \citenamefont {{Vishwanath}},\ and\ \citenamefont {{Verresen}}}]{LREfromSPT}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Tantivasadakarn}}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Thorngren}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Vishwanath}}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Verresen}}},\ }\bibfield {title} {\bibinfo {title} {{Long-range entanglement from measuring symmetry-protected topological phases}},\ }\href {https://doi.org/10.48550/arXiv.2112.01519} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2112.01519}} (\bibinfo {year} {2021})},\ \Eprint {https://arxiv.org/abs/2112.01519} {arXiv:2112.01519 [cond-mat.str-el]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Verresen}}\ \emph {et~al.}(2021)\citenamefont {{Verresen}}, \citenamefont {{Tantivasadakarn}},\ and\ \citenamefont {{Vishwanath}}}]{verresen2021efficiently}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Verresen}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Tantivasadakarn}}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Vishwanath}}},\ }\bibfield {title} {\bibinfo {title} {{Efficiently preparing Schr{\"o}dinger's cat, fractons and non-Abelian topological order in quantum devices}},\ }\href {https://doi.org/10.48550/arXiv.2112.03061} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2112.03061}} (\bibinfo {year} {2021})},\ \Eprint {https://arxiv.org/abs/2112.03061} {arXiv:2112.03061 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lu}\ \emph {et~al.}(2022)\citenamefont {Lu}, \citenamefont {Lessa}, \citenamefont {Kim},\ and\ \citenamefont {Hsieh}}]{lu2022shortcut}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Lu}}, \bibinfo {author} {\bibfnamefont {L.~A.}\ \bibnamefont {Lessa}}, \bibinfo {author} {\bibfnamefont {I.~H.}\ \bibnamefont {Kim}},\ and\ \bibinfo {author} {\bibfnamefont {T.~H.}\ \bibnamefont {Hsieh}},\ }\bibfield {title} {\bibinfo {title} {Measurement as a shortcut to long-range entangled quantum matter},\ }\href {https://doi.org/10.1103/PRXQuantum.3.040337} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {3}},\ \bibinfo {pages} {040337} (\bibinfo {year} {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bravyi}\ \emph {et~al.}(2022)\citenamefont {Bravyi}, \citenamefont {Kim}, \citenamefont {Kliesch},\ and\ \citenamefont {Koenig}}]{Bravyi22}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Bravyi}}, \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Kim}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Kliesch}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Koenig}},\ }\bibfield {title} {\bibinfo {title} {Adaptive constant-depth circuits for manipulating non-abelian anyons},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {arXiv preprint arXiv:2205.01933}\ } (\bibinfo {year} {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lee}\ \emph {et~al.}(2022)\citenamefont {Lee}, \citenamefont {Ji}, \citenamefont {Bi},\ and\ \citenamefont {Fisher}}]{lee2022decoding}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~Y.}\ \bibnamefont {Lee}}, \bibinfo {author} {\bibfnamefont {W.}~\bibnamefont {Ji}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Bi}},\ and\ \bibinfo {author} {\bibfnamefont {M.~P.~A.}\ \bibnamefont {Fisher}},\ }\href@noop {} {\bibinfo {title} {Decoding measurement-prepared quantum phases and transitions: from ising model to gauge theory, and beyond}} (\bibinfo {year} {2022}),\ \Eprint {https://arxiv.org/abs/2208.11699} {arXiv:2208.11699 [cond-mat.str-el]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Tantivasadakarn}\ \emph {et~al.}(2023{\natexlab{a}})\citenamefont {Tantivasadakarn}, \citenamefont {Vishwanath},\ and\ \citenamefont {Verresen}}]{hierarchy}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Tantivasadakarn}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Vishwanath}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ }\bibfield {title} {\bibinfo {title} {Hierarchy of topological order from finite-depth unitaries, measurement, and feedforward},\ }\href {https://doi.org/10.1103/PRXQuantum.4.020339} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {4}},\ \bibinfo {pages} {020339} (\bibinfo {year} {2023}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Zhu}\ \emph {et~al.}(2023)\citenamefont {Zhu}, \citenamefont {Tantivasadakarn}, \citenamefont {Vishwanath}, \citenamefont {Trebst},\ and\ \citenamefont {Verresen}}]{zhu2023nishimori}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {G.-Y.}\ \bibnamefont {Zhu}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Tantivasadakarn}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Vishwanath}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Trebst}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ }\bibfield {title} {\bibinfo {title} {Nishimori's cat: Stable long-range entanglement from finite-depth unitaries and weak measurements},\ }\href {https://doi.org/10.1103/PhysRevLett.131.200201} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {131}},\ \bibinfo {pages} {200201} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Smith}\ \emph {et~al.}(2023)\citenamefont {Smith}, \citenamefont {Crane}, \citenamefont {Wiebe},\ and\ \citenamefont {Girvin}}]{smith2023aklt}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.~C.}\ \bibnamefont {Smith}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Crane}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Wiebe}},\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Girvin}},\ }\bibfield {title} {\bibinfo {title} {Deterministic constant-depth preparation of the aklt state on a quantum processor using fusion measurements},\ }\href {https://doi.org/10.1103/PRXQuantum.4.020315} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {4}},\ \bibinfo {pages} {020315} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Tantivasadakarn}\ \emph {et~al.}(2023{\natexlab{b}})\citenamefont {Tantivasadakarn}, \citenamefont {Verresen},\ and\ \citenamefont {Vishwanath}}]{shortestroute}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Tantivasadakarn}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Vishwanath}},\ }\bibfield {title} {\bibinfo {title} {Shortest route to non-abelian topological order on a quantum processor},\ }\href {https://doi.org/10.1103/PhysRevLett.131.060405} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {131}},\ \bibinfo {pages} {060405} (\bibinfo {year} {2023}{\natexlab{b}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Gunn}}\ \emph {et~al.}(2023)\citenamefont {{Gunn}}, \citenamefont {{Styliaris}}, \citenamefont {{Kraft}},\ and\ \citenamefont {{Kraus}}}]{gunn2023phases}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {{Gunn}}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {{Styliaris}}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {{Kraft}}},\ and\ \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {{Kraus}}},\ }\bibfield {title} {\bibinfo {title} {{Phases of Matrix Product States with Symmetric Quantum Circuits and Symmetric Measurements with Feedforward}},\ }\href {https://doi.org/10.48550/arXiv.2312.13838} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2312.13838}} (\bibinfo {year} {2023})},\ \Eprint {https://arxiv.org/abs/2312.13838} {arXiv:2312.13838 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Li}\ \emph {et~al.}(2023{\natexlab{a}})\citenamefont {Li}, \citenamefont {Sukeno}, \citenamefont {Mana}, \citenamefont {Nautrup},\ and\ \citenamefont {Wei}}]{li2023set}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Li}}, \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Sukeno}}, \bibinfo {author} {\bibfnamefont {A.~P.}\ \bibnamefont {Mana}}, \bibinfo {author} {\bibfnamefont {H.~P.}\ \bibnamefont {Nautrup}},\ and\ \bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Wei}},\ }\bibfield {title} {\bibinfo {title} {Symmetry-enriched topological order from partially gauging symmetry-protected topologically ordered states assisted by measurements},\ }\href {https://doi.org/10.1103/PhysRevB.108.115144} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {108}},\ \bibinfo {pages} {115144} (\bibinfo {year} {2023}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lu}\ \emph {et~al.}(2023)\citenamefont {Lu}, \citenamefont {Zhang}, \citenamefont {Vijay},\ and\ \citenamefont {Hsieh}}]{lu2023mixedstateLRO}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Lu}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Zhang}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Vijay}},\ and\ \bibinfo {author} {\bibfnamefont {T.~H.}\ \bibnamefont {Hsieh}},\ }\bibfield {title} {\bibinfo {title} {Mixed-state long-range order and criticality from measurement and feedback},\ }\href {https://doi.org/10.1103/PRXQuantum.4.030318} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {4}},\ \bibinfo {pages} {030318} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Piroli}}\ \emph {et~al.}(2024)\citenamefont {{Piroli}}, \citenamefont {{Styliaris}},\ and\ \citenamefont {{Cirac}}}]{piroli2024approximate}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {{Piroli}}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {{Styliaris}}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {{Cirac}}},\ }\bibfield {title} {\bibinfo {title} {{Approximating many-body quantum states with quantum circuits and measurements}},\ }\href {https://doi.org/10.48550/arXiv.2403.07604} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2403.07604}} (\bibinfo {year} {2024})},\ \Eprint {https://arxiv.org/abs/2403.07604} {arXiv:2403.07604 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Malz}\ \emph {et~al.}(2024)\citenamefont {Malz}, \citenamefont {Styliaris}, \citenamefont {Wei},\ and\ \citenamefont {Cirac}}]{malz2024logdepth}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Malz}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Styliaris}}, \bibinfo {author} {\bibfnamefont {Z.-Y.}\ \bibnamefont {Wei}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Preparation of matrix product states with log-depth quantum circuits},\ }\href {https://doi.org/10.1103/PhysRevLett.132.040404} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {132}},\ \bibinfo {pages} {040404} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Li}\ \emph {et~al.}(2023{\natexlab{b}})\citenamefont {Li}, \citenamefont {Litvinov},\ and\ \citenamefont {Wei}}]{li2023measuring}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Li}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Litvinov}},\ and\ \bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Wei}},\ }\href@noop {} {\bibinfo {title} {Measuring topological field theories: Lattice models and field-theoretic description}} (\bibinfo {year} {2023}{\natexlab{b}}),\ \Eprint {https://arxiv.org/abs/2310.17740} {arXiv:2310.17740 [cond-mat.str-el]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Wu}\ \emph {et~al.}(2023)\citenamefont {Wu}, \citenamefont {Yao},\ and\ \citenamefont {Zhang}}]{Wu_2023}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Wu}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Yao}},\ and\ \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Zhang}},\ }\bibfield {title} {\bibinfo {title} {Preparing quantum states by measurement-feedback control with bayesian optimization},\ }\bibfield {journal} {\bibinfo {journal} {Frontiers of Physics}\ }\textbf {\bibinfo {volume} {18}},\ \href {https://doi.org/10.1007/s11467-023-1311-5} {10.1007/s11467-023-1311-5} (\bibinfo {year} {2023})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Sukeno}\ and\ \citenamefont {Wei}(2024)}]{sukeno2024LGT}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Sukeno}}\ and\ \bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Wei}},\ }\bibfield {title} {\bibinfo {title} {Quantum simulation of lattice gauge theories via deterministic duality transformations assisted by measurements},\ }\href {https://doi.org/10.1103/PhysRevA.109.042611} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {109}},\ \bibinfo {pages} {042611} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Buhrman}\ \emph {et~al.}(2023)\citenamefont {Buhrman}, \citenamefont {Folkertsma}, \citenamefont {Loff},\ and\ \citenamefont {Neumann}}]{buhrman2023state}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Buhrman}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Folkertsma}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Loff}},\ and\ \bibinfo {author} {\bibfnamefont {N.~M.~P.}\ \bibnamefont {Neumann}},\ }\href@noop {} {\bibinfo {title} {State preparation by shallow circuits using feed forward}} (\bibinfo {year} {2023}),\ \Eprint {https://arxiv.org/abs/2307.14840} {arXiv:2307.14840 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lee}\ \emph {et~al.}(2024)\citenamefont {Lee}, \citenamefont {You},\ and\ \citenamefont {Xu}}]{lee2024symmetry}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~Y.}\ \bibnamefont {Lee}}, \bibinfo {author} {\bibfnamefont {Y.-Z.}\ \bibnamefont {You}},\ and\ \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Xu}},\ }\href@noop {} {\bibinfo {title} {Symmetry protected topological phases under decoherence}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2210.16323} {arXiv:2210.16323 [cond-mat.str-el]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Iqbal}}\ \emph {et~al.}(2023)\citenamefont {{Iqbal}}, \citenamefont {{Tantivasadakarn}}, \citenamefont {{Gatterman}}, \citenamefont {{Gerber}}, \citenamefont {{Gilmore}}, \citenamefont {{Gresh}}, \citenamefont {{Hankin}}, \citenamefont {{Hewitt}}, \citenamefont {{Horst}}, \citenamefont {{Matheny}}, \citenamefont {{Mengle}}, \citenamefont {{Neyenhuis}}, \citenamefont {{Vishwanath}}, \citenamefont {{Foss-Feig}}, \citenamefont {{Verresen}},\ and\ \citenamefont {{Dreyer}}}]{iqbal2023topological}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Iqbal}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Tantivasadakarn}}}, \bibinfo {author} {\bibfnamefont {T.~M.}\ \bibnamefont {{Gatterman}}}, \bibinfo {author} {\bibfnamefont {J.~A.}\ \bibnamefont {{Gerber}}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {{Gilmore}}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {{Gresh}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Hankin}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Hewitt}}}, \bibinfo {author} {\bibfnamefont {C.~V.}\ \bibnamefont {{Horst}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Matheny}}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {{Mengle}}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {{Neyenhuis}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Vishwanath}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Foss-Feig}}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Verresen}}},\ and\
\bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {{Dreyer}}},\ }\bibfield {title} {\bibinfo {title} {{Topological Order from Measurements and Feed-Forward on a Trapped Ion Quantum Computer}},\ }\href {https://doi.org/10.48550/arXiv.2302.01917} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2302.01917}} (\bibinfo {year} {2023})},\ \Eprint {https://arxiv.org/abs/2302.01917} {arXiv:2302.01917 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Foss-Feig}}\ \emph {et~al.}(2023)\citenamefont {{Foss-Feig}}, \citenamefont {{Tikku}}, \citenamefont {{Lu}}, \citenamefont {{Mayer}}, \citenamefont {{Iqbal}}, \citenamefont {{Gatterman}}, \citenamefont {{Gerber}}, \citenamefont {{Gilmore}}, \citenamefont {{Gresh}}, \citenamefont {{Hankin}}, \citenamefont {{Hewitt}}, \citenamefont {{Horst}}, \citenamefont {{Matheny}}, \citenamefont {{Mengle}}, \citenamefont {{Neyenhuis}}, \citenamefont {{Dreyer}}, \citenamefont {{Hayes}}, \citenamefont {{Hsieh}},\ and\ \citenamefont {{Kim}}}]{foss2023advantage}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Foss-Feig}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Tikku}}}, \bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {{Lu}}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {{Mayer}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Iqbal}}}, \bibinfo {author} {\bibfnamefont {T.~M.}\ \bibnamefont {{Gatterman}}}, \bibinfo {author} {\bibfnamefont {J.~A.}\ \bibnamefont {{Gerber}}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {{Gilmore}}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {{Gresh}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Hankin}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Hewitt}}}, \bibinfo {author} {\bibfnamefont {C.~V.}\ \bibnamefont {{Horst}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Matheny}}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {{Mengle}}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {{Neyenhuis}}}, \bibinfo {author}
{\bibfnamefont {H.}~\bibnamefont {{Dreyer}}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {{Hayes}}}, \bibinfo {author} {\bibfnamefont {T.~H.}\ \bibnamefont {{Hsieh}}},\ and\ \bibinfo {author} {\bibfnamefont {I.~H.}\ \bibnamefont {{Kim}}},\ }\bibfield {title} {\bibinfo {title} {{Experimental demonstration of the advantage of adaptive quantum circuits}},\ }\href {https://doi.org/10.48550/arXiv.2302.03029} {\bibfield {journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2302.03029}} (\bibinfo {year} {2023})},\ \Eprint {https://arxiv.org/abs/2302.03029} {arXiv:2302.03029 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Chen}}\ \emph {et~al.}(2023)\citenamefont {{Chen}}, \citenamefont {{Zhu}}, \citenamefont {{Verresen}}, \citenamefont {{Seif}}, \citenamefont {{B{\"a}umer}}, \citenamefont {{Layden}}, \citenamefont {{Tantivasadakarn}}, \citenamefont {{Zhu}}, \citenamefont {{Sheldon}}, \citenamefont {{Vishwanath}}, \citenamefont {{Trebst}},\ and\ \citenamefont {{Kandala}}}]{chen2023nishimori}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {E.~H.}\ \bibnamefont {{Chen}}}, \bibinfo {author} {\bibfnamefont {G.-Y.}\ \bibnamefont {{Zhu}}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Verresen}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Seif}}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {{B{\"a}umer}}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {{Layden}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Tantivasadakarn}}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {{Zhu}}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {{Sheldon}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Vishwanath}}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {{Trebst}}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Kandala}}},\ }\bibfield {title} {\bibinfo {title} {{Realizing the Nishimori transition across the error threshold for constant-depth quantum circuits}},\ }\href {https://doi.org/10.48550/arXiv.2309.02863} {\bibfield
{journal} {\bibinfo {journal} {arXiv e-prints}\ ,\ \bibinfo {eid} {arXiv:2309.02863}} (\bibinfo {year} {2023})},\ \Eprint {https://arxiv.org/abs/2309.02863} {arXiv:2309.02863 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Iqbal}}\ \emph {et~al.}(2024)\citenamefont {{Iqbal}}, \citenamefont {{Tantivasadakarn}}, \citenamefont {{Verresen}}, \citenamefont {{Campbell}}, \citenamefont {{Dreiling}}, \citenamefont {{Figgatt}}, \citenamefont {{Gaebler}}, \citenamefont {{Johansen}}, \citenamefont {{Mills}}, \citenamefont {{Moses}}, \citenamefont {{Pino}}, \citenamefont {{Ransford}}, \citenamefont {{Rowe}}, \citenamefont {{Siegfried}}, \citenamefont {{Stutz}}, \citenamefont {{Foss-Feig}}, \citenamefont {{Vishwanath}},\ and\ \citenamefont {{Dreyer}}}]{Iqbal2024nonabel}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Iqbal}}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {{Tantivasadakarn}}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {{Verresen}}}, \bibinfo {author} {\bibfnamefont {S.~L.}\ \bibnamefont {{Campbell}}}, \bibinfo {author} {\bibfnamefont {J.~M.}\ \bibnamefont {{Dreiling}}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {{Figgatt}}}, \bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont {{Gaebler}}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {{Johansen}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Mills}}}, \bibinfo {author} {\bibfnamefont {S.~A.}\ \bibnamefont {{Moses}}}, \bibinfo {author} {\bibfnamefont {J.~M.}\ \bibnamefont {{Pino}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Ransford}}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Rowe}}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {{Siegfried}}}, \bibinfo {author} {\bibfnamefont {R.~P.}\ \bibnamefont {{Stutz}}},
\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {{Foss-Feig}}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {{Vishwanath}}},\ and\ \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {{Dreyer}}},\ }\bibfield {title} {\bibinfo {title} {{Non-Abelian topological order and anyons on a trapped-ion processor}},\ }\href {https://doi.org/10.1038/s41586-023-06934-4} {\bibfield {journal} {\bibinfo {journal} {\nat}\ }\textbf {\bibinfo {volume} {626}},\ \bibinfo {pages} {505} (\bibinfo {year} {2024})},\ \Eprint {https://arxiv.org/abs/2305.03766} {arXiv:2305.03766 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bluvstein}\ \emph {et~al.}(2023)\citenamefont {Bluvstein}, \citenamefont {Evered}, \citenamefont {Geim}, \citenamefont {Li}, \citenamefont {Zhou}, \citenamefont {Manovitz}, \citenamefont {Ebadi}, \citenamefont {Cain}, \citenamefont {Kalinowski}, \citenamefont {Hangleiter}, \citenamefont {Bonilla~Ataides}, \citenamefont {Maskara}, \citenamefont {Cong}, \citenamefont {Gao}, \citenamefont {Sales~Rodriguez}, \citenamefont {Karolyshyn}, \citenamefont {Semeghini}, \citenamefont {Gullans}, \citenamefont {Greiner}, \citenamefont {Vuletić},\ and\ \citenamefont {Lukin}}]{Bluvstein_2023}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Bluvstein}}, \bibinfo {author} {\bibfnamefont {S.~J.}\ \bibnamefont {Evered}}, \bibinfo {author} {\bibfnamefont {A.~A.}\ \bibnamefont {Geim}}, \bibinfo {author} {\bibfnamefont {S.~H.}\ \bibnamefont {Li}}, \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Zhou}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Manovitz}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Ebadi}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Cain}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Kalinowski}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Hangleiter}}, \bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont {Bonilla~Ataides}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Maskara}}, \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Cong}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Gao}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Sales~Rodriguez}}, \bibinfo {author} {\bibfnamefont
{T.}~\bibnamefont {Karolyshyn}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Semeghini}}, \bibinfo {author} {\bibfnamefont {M.~J.}\ \bibnamefont {Gullans}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Greiner}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Vuletić}},\ and\ \bibinfo {author} {\bibfnamefont {M.~D.}\ \bibnamefont {Lukin}},\ }\bibfield {title} {\bibinfo {title} {Logical quantum processor based on reconfigurable atom arrays},\ }\href {https://doi.org/10.1038/s41586-023-06927-3} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {626}},\ \bibinfo {pages} {58–65} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Fannes}\ \emph {et~al.}(1992)\citenamefont {Fannes}, \citenamefont {Nachtergaele},\ and\ \citenamefont {Werner}}]{Fannes1992}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Fannes}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Nachtergaele}},\ and\ \bibinfo {author} {\bibfnamefont {R.~F.}\ \bibnamefont {Werner}},\ }\bibfield {title} {\bibinfo {title} {Finitely correlated states on quantum spin chains},\ }\href {https://doi.org/10.1007/BF02099178} {\bibfield {journal} {\bibinfo {journal} {Communications in Mathematical Physics}\ }\textbf {\bibinfo {volume} {144}},\ \bibinfo {pages} {443} (\bibinfo {year} {1992})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Cirac}\ \emph {et~al.}(2021)\citenamefont {Cirac}, \citenamefont {P\'erez-Garc\'{\i}a}, \citenamefont {Schuch},\ and\ \citenamefont {Verstraete}}]{Cirac2021MPSReview}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {P\'erez-Garc\'{\i}a}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Schuch}},\ and\ \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ }\bibfield {title} {\bibinfo {title} {Matrix product states and projected entangled pair states: Concepts, symmetries, theorems},\ }\href {https://doi.org/10.1103/RevModPhys.93.045003} {\bibfield {journal} {\bibinfo {journal} {Rev. Mod. Phys.}\ }\textbf {\bibinfo {volume} {93}},\ \bibinfo {pages} {045003} (\bibinfo {year} {2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Verstraete}\ \emph {et~al.}(2006)\citenamefont {Verstraete}, \citenamefont {Wolf}, \citenamefont {Perez-Garcia},\ and\ \citenamefont {Cirac}}]{PhysRevLett.96.220601}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}}, \bibinfo {author} {\bibfnamefont {M.~M.}\ \bibnamefont {Wolf}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Perez-Garcia}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Criticality, the area law, and the computational power of projected entangled pair states},\ }\href {https://doi.org/10.1103/PhysRevLett.96.220601} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {96}},\ \bibinfo {pages} {220601} (\bibinfo {year} {2006})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Sahay, Rahul and Verresen, Ruben}}({\natexlab{a}})}]{sahay2024finite}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibnamefont {{Sahay, Rahul and Verresen, Ruben}}},\ }\bibfield {title} {\bibinfo {title} {{Finite-Depth Preparation of Tensor Network States from Measurement}},\ }\href@noop {} {\ ({\natexlab{a}})},\ \bibinfo {note} {to appear}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {{Sahay, Rahul and Verresen, Ruben}}({\natexlab{b}})}]{sahay2024framework}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibnamefont {{Sahay, Rahul and Verresen, Ruben}}},\ }\bibfield {title} {\bibinfo {title} {{Classifying One-Dimensional Quantum States Prepared by a Single Round of Measurements}},\ }\href@noop {} {\ ({\natexlab{b}})},\ \bibinfo {note} {to appear}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Knill}(1996)}]{knill1996group}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Knill}},\ }\bibfield {title} {\bibinfo {title} {Group representations, error bases and quantum codes},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {arXiv preprint quant-ph/9608049}\ } (\bibinfo {year} {1996})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Klappenecker}\ and\ \citenamefont {Rotteler}(2005)}]{klappenecker2005monomiality}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Klappenecker}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rotteler}},\ }\bibfield {title} {\bibinfo {title} {On the monomiality of nice error bases},\ }\href {https://doi.org/10.1109/TIT.2004.842573} {\bibfield {journal} {\bibinfo {journal} {IEEE Transactions on Information Theory}\ }\textbf {\bibinfo {volume} {51}},\ \bibinfo {pages} {1084} (\bibinfo {year} {2005})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Klappenecker}\ and\ \citenamefont {Rotteler}(2002)}]{klappenecker2002beyond}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Klappenecker}}\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rotteler}},\ }\bibfield {title} {\bibinfo {title} {Beyond stabilizer codes .i. nice error bases},\ }\href {https://doi.org/10.1109/TIT.2002.800471} {\bibfield {journal} {\bibinfo {journal} {IEEE Transactions on Information Theory}\ }\textbf {\bibinfo {volume} {48}},\ \bibinfo {pages} {2392} (\bibinfo {year} {2002})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Schuch}\ \emph {et~al.}(2013)\citenamefont {Schuch}, \citenamefont {Poilblanc}, \citenamefont {Cirac},\ and\ \citenamefont {P\'erez-Garc\'{\i}a}}]{Schuch13}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Schuch}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Poilblanc}}, \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ and\ \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {P\'erez-Garc\'{\i}a}},\ }\bibfield {title} {\bibinfo {title} {Topological order in the projected entangled-pair states formalism: Transfer operator and boundary hamiltonians},\ }\href {https://doi.org/10.1103/PhysRevLett.111.090501} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {111}},\ \bibinfo {pages} {090501} (\bibinfo {year} {2013})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Affleck}\ \emph {et~al.}(1987)\citenamefont {Affleck}, \citenamefont {Kennedy}, \citenamefont {Lieb},\ and\ \citenamefont {Tasaki}}]{AKLT_original}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Affleck}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Kennedy}}, \bibinfo {author} {\bibfnamefont {E.~H.}\ \bibnamefont {Lieb}},\ and\ \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Tasaki}},\ }\bibfield {title} {\bibinfo {title} {Rigorous results on valence-bond ground states in antiferromagnets},\ }\href {https://doi.org/10.1103/PhysRevLett.59.799} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {59}},\ \bibinfo {pages} {799} (\bibinfo {year} {1987})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Smith}\ \emph {et~al.}()\citenamefont {Smith}, \citenamefont {Khan}, \citenamefont {Clark}, \citenamefont {Girvin},\ and\ \citenamefont {Wei}}]{smith2024constant}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.~C.}\ \bibnamefont {Smith}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Khan}}, \bibinfo {author} {\bibfnamefont {B.~K.}\ \bibnamefont {Clark}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Girvin}},\ and\ \bibinfo {author} {\bibfnamefont {T.-C.}\ \bibnamefont {Wei}},\ }\bibfield {title} {\bibinfo {title} {Constant-depth preparation of matrix product states with adaptive quantum circuits},\ }\href@noop {} {\ }\bibinfo {note} {To appear}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Gu}\ and\ \citenamefont {Wen}(2009)}]{Gu09}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {Z.-C.}\ \bibnamefont {Gu}}\ and\ \bibinfo {author} {\bibfnamefont {X.-G.}\ \bibnamefont {Wen}},\ }\bibfield {title} {\bibinfo {title} {Tensor-entanglement-filtering renormalization approach and symmetry-protected topological order},\ }\href {https://doi.org/10.1103/PhysRevB.80.155131} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {80}},\ \bibinfo {pages} {155131} (\bibinfo {year} {2009})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Schuch}\ \emph {et~al.}(2011)\citenamefont {Schuch}, \citenamefont {P\'erez-Garc\'{\i}a},\ and\ \citenamefont {Cirac}}]{Schuch2011}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Schuch}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {P\'erez-Garc\'{\i}a}},\ and\ \bibinfo {author} {\bibfnamefont {I.}~\bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Classifying quantum phases using matrix product states and projected entangled pair states},\ }\href {https://doi.org/10.1103/PhysRevB.84.165139} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {84}},\ \bibinfo {pages} {165139} (\bibinfo {year} {2011})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pollmann}\ \emph {et~al.}(2010)\citenamefont {Pollmann}, \citenamefont {Turner}, \citenamefont {Berg},\ and\ \citenamefont {Oshikawa}}]{Pollmann_2010}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Pollmann}}, \bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Turner}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Berg}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Oshikawa}},\ }\bibfield {title} {\bibinfo {title} {Entanglement spectrum of a topological phase in one dimension},\ }\bibfield {journal} {\bibinfo {journal} {Physical Review B}\ }\textbf {\bibinfo {volume} {81}},\ \href {https://doi.org/10.1103/physrevb.81.064439} {10.1103/physrevb.81.064439} (\bibinfo {year} {2010})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Turner}\ \emph {et~al.}(2011)\citenamefont {Turner}, \citenamefont {Pollmann},\ and\ \citenamefont {Berg}}]{Turner2011-zi}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Turner}}, \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Pollmann}},\ and\ \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Berg}},\ }\bibfield {title} {\bibinfo {title} {Topological phases of one-dimensional fermions: An entanglement point of view},\ }\href {https://doi.org/10.1103/PhysRevB.83.075102} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {83}},\ \bibinfo {pages} {075102} (\bibinfo {year} {2011})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Fidkowski}\ and\ \citenamefont {Kitaev}(2011)}]{fidkowski2011topological}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Fidkowski}}\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Kitaev}},\ }\bibfield {title} {\bibinfo {title} {Topological phases of fermions in one dimension},\ }\href {https://doi.org/10.1103/PhysRevB.83.075103} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {83}},\ \bibinfo {pages} {075103} (\bibinfo {year} {2011})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Chen}\ \emph {et~al.}(2011{\natexlab{a}})\citenamefont {Chen}, \citenamefont {Gu},\ and\ \citenamefont {Wen}}]{Chen2011-et}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {Z.-C.}\ \bibnamefont {Gu}},\ and\ \bibinfo {author} {\bibfnamefont {X.-G.}\ \bibnamefont {Wen}},\ }\bibfield {title} {\bibinfo {title} {Classification of gapped symmetric phases in one-dimensional spin systems},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B Condens. Matter}\ }\textbf {\bibinfo {volume} {83}},\ \bibinfo {pages} {035107} (\bibinfo {year} {2011}{\natexlab{a}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Son}\ \emph {et~al.}(2012)\citenamefont {Son}, \citenamefont {Amico},\ and\ \citenamefont {Vedral}}]{son12}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {W.}~\bibnamefont {Son}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Amico}},\ and\ \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Vedral}},\ }\bibfield {title} {\bibinfo {title} {Topological order in 1d cluster state protected by symmetry},\ }\href {https://doi.org/10.1007/s11128-011-0346-7} {\bibfield {journal} {\bibinfo {journal} {Quantum Information Processing}\ }\textbf {\bibinfo {volume} {11}},\ \bibinfo {pages} {1961} (\bibinfo {year} {2012})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Chen}\ \emph {et~al.}(2011{\natexlab{b}})\citenamefont {Chen}, \citenamefont {Liu},\ and\ \citenamefont {Wen}}]{Chen2011-kz}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {Z.-X.}\ \bibnamefont {Liu}},\ and\ \bibinfo {author} {\bibfnamefont {X.-G.}\ \bibnamefont {Wen}},\ }\bibfield {title} {\bibinfo {title} {Two-dimensional symmetry-protected topological orders and their protected gapless edge excitations},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B Condens. Matter}\ }\textbf {\bibinfo {volume} {84}},\ \bibinfo {pages} {235141} (\bibinfo {year} {2011}{\natexlab{b}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pollmann}\ \emph {et~al.}(2012)\citenamefont {Pollmann}, \citenamefont {Berg}, \citenamefont {Turner},\ and\ \citenamefont {Oshikawa}}]{Pollmann2012-lv}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Pollmann}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Berg}}, \bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Turner}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Oshikawa}},\ }\bibfield {title} {\bibinfo {title} {Symmetry protection of topological phases in one-dimensional quantum spin systems},\ }\href {https://doi.org/10.1103/PhysRevB.85.075125} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {85}},\ \bibinfo {pages} {075125} (\bibinfo {year} {2012})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Chen}\ \emph {et~al.}(2012)\citenamefont {Chen}, \citenamefont {Gu}, \citenamefont {Liu},\ and\ \citenamefont {Wen}}]{Chen2012-oa}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {Z.-C.}\ \bibnamefont {Gu}}, \bibinfo {author} {\bibfnamefont {Z.-X.}\ \bibnamefont {Liu}},\ and\ \bibinfo {author} {\bibfnamefont {X.-G.}\ \bibnamefont {Wen}},\ }\bibfield {title} {\bibinfo {title} {{Symmetry-Protected} topological orders in interacting bosonic systems},\ }\href@noop {} {\bibfield {journal} {\bibinfo {journal} {Science}\ }\textbf {\bibinfo {volume} {338}},\ \bibinfo {pages} {1604} (\bibinfo {year} {2012})}\BibitemShut {NoStop}%
\bibitem [{SM()}]{SM}%
\BibitemOpen
\href@noop {} {\bibinfo {journal} {See supplementary material}\ }\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Geraedts}\ and\ \citenamefont {Motrunich}(2014)}]{geraedts2014exact}%
\BibitemOpen
\bibfield {journal} { }\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.~D.}\ \bibnamefont {Geraedts}}\ and\ \bibinfo {author} {\bibfnamefont {O.~I.}\ \bibnamefont {Motrunich}},\ }\href@noop {} {\bibinfo {title} {Exact models for symmetry-protected topological phases in one dimension}} (\bibinfo {year} {2014}),\ \Eprint {https://arxiv.org/abs/1410.1580} {arXiv:1410.1580 [cond-mat.stat-mech]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Santos}(2015)}]{Santos15}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.~H.}\ \bibnamefont {Santos}},\ }\bibfield {title} {\bibinfo {title} {Rokhsar-kivelson models of bosonic symmetry-protected topological states},\ }\href {https://doi.org/10.1103/PhysRevB.91.155150} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {91}},\ \bibinfo {pages} {155150} (\bibinfo {year} {2015})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Wolf}\ \emph {et~al.}(2006)\citenamefont {Wolf}, \citenamefont {Ortiz}, \citenamefont {Verstraete},\ and\ \citenamefont {Cirac}}]{Wolf06}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.~M.}\ \bibnamefont {Wolf}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Ortiz}}, \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ and\ \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ }\bibfield {title} {\bibinfo {title} {Quantum phase transitions in matrix product systems},\ }\href {https://doi.org/10.1103/PhysRevLett.97.110403} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {97}},\ \bibinfo {pages} {110403} (\bibinfo {year} {2006})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Jones}\ \emph {et~al.}(2021)\citenamefont {Jones}, \citenamefont {Bibo}, \citenamefont {Jobst}, \citenamefont {Pollmann}, \citenamefont {Smith},\ and\ \citenamefont {Verresen}}]{skeleton}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.~G.}\ \bibnamefont {Jones}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Bibo}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Jobst}}, \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Pollmann}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Smith}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ }\bibfield {title} {\bibinfo {title} {Skeleton of matrix-product-state-solvable models connecting topological phases of matter},\ }\href {https://doi.org/10.1103/PhysRevResearch.3.033265} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Res.}\ }\textbf {\bibinfo {volume} {3}},\ \bibinfo {pages} {033265} (\bibinfo {year} {2021})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Kitaev}(2003)}]{Kitaev_2003}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Kitaev}},\ }\bibfield {title} {\bibinfo {title} {Fault-tolerant quantum computation by anyons},\ }\href {https://doi.org/10.1016/s0003-4916(02)00018-0} {\bibfield {journal} {\bibinfo {journal} {Annals of Physics}\ }\textbf {\bibinfo {volume} {303}},\ \bibinfo {pages} {2–30} (\bibinfo {year} {2003})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Tantivasadakarn}\ \emph {et~al.}(2023{\natexlab{c}})\citenamefont {Tantivasadakarn}, \citenamefont {Thorngren}, \citenamefont {Vishwanath},\ and\ \citenamefont {Verresen}}]{pivot}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Tantivasadakarn}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Thorngren}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Vishwanath}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ }\bibfield {title} {\bibinfo {title} {{Pivot Hamiltonians as generators of symmetry and entanglement}},\ }\href {https://doi.org/10.21468/SciPostPhys.14.2.012} {\bibfield {journal} {\bibinfo {journal} {SciPost Phys.}\ }\textbf {\bibinfo {volume} {14}},\ \bibinfo {pages} {012} (\bibinfo {year} {2023}{\natexlab{c}})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Han}\ \emph {et~al.}(2024)\citenamefont {Han}, \citenamefont {Lake}, \citenamefont {Lam}, \citenamefont {Verresen},\ and\ \citenamefont {You}}]{han2024dipole}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.~H.}\ \bibnamefont {Han}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Lake}}, \bibinfo {author} {\bibfnamefont {H.~T.}\ \bibnamefont {Lam}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Verresen}},\ and\ \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {You}},\ }\bibfield {title} {\bibinfo {title} {Topological quantum chains protected by dipolar and other modulated symmetries},\ }\href {https://doi.org/10.1103/PhysRevB.109.125121} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {109}},\ \bibinfo {pages} {125121} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lam}(2024)}]{lam2024classification}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {H.~T.}\ \bibnamefont {Lam}},\ }\bibfield {title} {\bibinfo {title} {Classification of dipolar symmetry-protected topological phases: Matrix product states, stabilizer hamiltonians, and finite tensor gauge theories},\ }\href {https://doi.org/10.1103/PhysRevB.109.115142} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. B}\ }\textbf {\bibinfo {volume} {109}},\ \bibinfo {pages} {115142} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Seiberg}\ \emph {et~al.}(2024)\citenamefont {Seiberg}, \citenamefont {Seifnashri},\ and\ \citenamefont {Shao}}]{seiberg2024noninvertible}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Seiberg}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Seifnashri}},\ and\ \bibinfo {author} {\bibfnamefont {S.-H.}\ \bibnamefont {Shao}},\ }\href@noop {} {\bibinfo {title} {Non-invertible symmetries and lsm-type constraints on a tensor product hilbert space}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2401.12281} {arXiv:2401.12281 [cond-mat.str-el]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Aasen}\ \emph {et~al.}(2016)\citenamefont {Aasen}, \citenamefont {Mong},\ and\ \citenamefont {Fendley}}]{Aasen_2016}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Aasen}}, \bibinfo {author} {\bibfnamefont {R.~S.~K.}\ \bibnamefont {Mong}},\ and\ \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Fendley}},\ }\bibfield {title} {\bibinfo {title} {Topological defects on the lattice: I. the ising model},\ }\href {https://doi.org/10.1088/1751-8113/49/35/354001} {\bibfield {journal} {\bibinfo {journal} {Journal of Physics A: Mathematical and Theoretical}\ }\textbf {\bibinfo {volume} {49}},\ \bibinfo {pages} {354001} (\bibinfo {year} {2016})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lootens}\ \emph {et~al.}(2023)\citenamefont {Lootens}, \citenamefont {Delcamp}, \citenamefont {Ortiz},\ and\ \citenamefont {Verstraete}}]{lootens_dualities_2023}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Lootens}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Delcamp}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Ortiz}},\ and\ \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ }\bibfield {title} {\bibinfo {title} {Dualities in one-dimensional quantum lattice models: Symmetric hamiltonians and matrix product operator intertwiners},\ }\href {https://doi.org/10.1103/PRXQuantum.4.020357} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {4}},\ \bibinfo {pages} {020357} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lootens}\ \emph {et~al.}(2024)\citenamefont {Lootens}, \citenamefont {Delcamp},\ and\ \citenamefont {Verstraete}}]{lootens_dualities_2024}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Lootens}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Delcamp}},\ and\ \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ }\bibfield {title} {\bibinfo {title} {Dualities in one-dimensional quantum lattice models: Topological sectors},\ }\href {https://doi.org/10.1103/PRXQuantum.5.010338} {\bibfield {journal} {\bibinfo {journal} {PRX Quantum}\ }\textbf {\bibinfo {volume} {5}},\ \bibinfo {pages} {010338} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Haegeman}\ \emph {et~al.}(2015)\citenamefont {Haegeman}, \citenamefont {Van~Acoleyen}, \citenamefont {Schuch}, \citenamefont {Cirac},\ and\ \citenamefont {Verstraete}}]{haegeman_2015_gauging}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Haegeman}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Van~Acoleyen}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Schuch}}, \bibinfo {author} {\bibfnamefont {J.~I.}\ \bibnamefont {Cirac}},\ and\ \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Verstraete}},\ }\bibfield {title} {\bibinfo {title} {Gauging quantum states: From global to local symmetries in many-body systems},\ }\href {https://doi.org/10.1103/PhysRevX.5.011024} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. X}\ }\textbf {\bibinfo {volume} {5}},\ \bibinfo {pages} {011024} (\bibinfo {year} {2015})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Gottesman}\ and\ \citenamefont {Chuang}(1999)}]{Gottesman_1999}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Gottesman}}\ and\ \bibinfo {author} {\bibfnamefont {I.~L.}\ \bibnamefont {Chuang}},\ }\bibfield {title} {\bibinfo {title} {Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations},\ }\href {https://doi.org/10.1038/46503} {\bibfield {journal} {\bibinfo {journal} {Nature}\ }\textbf {\bibinfo {volume} {402}},\ \bibinfo {pages} {390–393} (\bibinfo {year} {1999})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Raussendorf}\ and\ \citenamefont {Briegel}(2001)}]{Raussendorf2001-xm}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}}\ and\ \bibinfo {author} {\bibfnamefont {H.~J.}\ \bibnamefont {Briegel}},\ }\bibfield {title} {\bibinfo {title} {A one-way quantum computer},\ }\href {https://doi.org/10.1103/PhysRevLett.86.5188} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {86}},\ \bibinfo {pages} {5188} (\bibinfo {year} {2001})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Briegel}\ \emph {et~al.}(2009)\citenamefont {Briegel}, \citenamefont {Browne}, \citenamefont {Dür}, \citenamefont {Raussendorf},\ and\ \citenamefont {Van~den Nest}}]{Briegel_2009}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {H.~J.}\ \bibnamefont {Briegel}}, \bibinfo {author} {\bibfnamefont {D.~E.}\ \bibnamefont {Browne}}, \bibinfo {author} {\bibfnamefont {W.}~\bibnamefont {Dür}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Van~den Nest}},\ }\bibfield {title} {\bibinfo {title} {Measurement-based quantum computation},\ }\href {https://doi.org/10.1038/nphys1157} {\bibfield {journal} {\bibinfo {journal} {Nature Physics}\ }\textbf {\bibinfo {volume} {5}},\ \bibinfo {pages} {19–26} (\bibinfo {year} {2009})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bennett}\ \emph {et~al.}(1993)\citenamefont {Bennett}, \citenamefont {Brassard}, \citenamefont {Cr\'epeau}, \citenamefont {Jozsa}, \citenamefont {Peres},\ and\ \citenamefont {Wootters}}]{Teleportation}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {C.~H.}\ \bibnamefont {Bennett}}, \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {Brassard}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Cr\'epeau}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Jozsa}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Peres}},\ and\ \bibinfo {author} {\bibfnamefont {W.~K.}\ \bibnamefont {Wootters}},\ }\bibfield {title} {\bibinfo {title} {Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen channels},\ }\href {https://doi.org/10.1103/PhysRevLett.70.1895} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {70}},\ \bibinfo {pages} {1895} (\bibinfo {year} {1993})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Singh}\ \emph {et~al.}(2023)\citenamefont {Singh}, \citenamefont {Bradley}, \citenamefont {Anand}, \citenamefont {Ramesh}, \citenamefont {White},\ and\ \citenamefont {Bernien}}]{Singh_2023}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Singh}}, \bibinfo {author} {\bibfnamefont {C.~E.}\ \bibnamefont {Bradley}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Anand}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Ramesh}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {White}},\ and\ \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Bernien}},\ }\bibfield {title} {\bibinfo {title} {Mid-circuit correction of correlated phase errors using an array of spectator qubits},\ }\href {https://doi.org/10.1126/science.ade5337} {\bibfield {journal} {\bibinfo {journal} {Science}\ }\textbf {\bibinfo {volume} {380}},\ \bibinfo {pages} {1265–1269} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Moses}\ \emph {et~al.}(2023)\citenamefont {Moses}, \citenamefont {Baldwin}, \citenamefont {Allman}, \citenamefont {Ancona}, \citenamefont {Ascarrunz}, \citenamefont {Barnes}, \citenamefont {Bartolotta}, \citenamefont {Bjork}, \citenamefont {Blanchard}, \citenamefont {Bohn}, \citenamefont {Bohnet}, \citenamefont {Brown}, \citenamefont {Burdick}, \citenamefont {Burton}, \citenamefont {Campbell}, \citenamefont {Campora}, \citenamefont {Carron}, \citenamefont {Chambers}, \citenamefont {Chan}, \citenamefont {Chen}, \citenamefont {Chernoguzov}, \citenamefont {Chertkov}, \citenamefont {Colina}, \citenamefont {Curtis}, \citenamefont {Daniel}, \citenamefont {DeCross}, \citenamefont {Deen}, \citenamefont {Delaney}, \citenamefont {Dreiling}, \citenamefont {Ertsgaard}, \citenamefont {Esposito}, \citenamefont {Estey}, \citenamefont {Fabrikant}, \citenamefont {Figgatt}, \citenamefont {Foltz}, \citenamefont {Foss-Feig}, \citenamefont {Francois}, \citenamefont {Gaebler}, \citenamefont {Gatterman},
\citenamefont {Gilbreth}, \citenamefont {Giles}, \citenamefont {Glynn}, \citenamefont {Hall}, \citenamefont {Hankin}, \citenamefont {Hansen}, \citenamefont {Hayes}, \citenamefont {Higashi}, \citenamefont {Hoffman}, \citenamefont {Horning}, \citenamefont {Hout}, \citenamefont {Jacobs}, \citenamefont {Johansen}, \citenamefont {Jones}, \citenamefont {Karcz}, \citenamefont {Klein}, \citenamefont {Lauria}, \citenamefont {Lee}, \citenamefont {Liefer}, \citenamefont {Lu}, \citenamefont {Lucchetti}, \citenamefont {Lytle}, \citenamefont {Malm}, \citenamefont {Matheny}, \citenamefont {Mathewson}, \citenamefont {Mayer}, \citenamefont {Miller}, \citenamefont {Mills}, \citenamefont {Neyenhuis}, \citenamefont {Nugent}, \citenamefont {Olson}, \citenamefont {Parks}, \citenamefont {Price}, \citenamefont {Price}, \citenamefont {Pugh}, \citenamefont {Ransford}, \citenamefont {Reed}, \citenamefont {Roman}, \citenamefont {Rowe}, \citenamefont {Ryan-Anderson}, \citenamefont {Sanders}, \citenamefont {Sedlacek}, \citenamefont
{Shevchuk}, \citenamefont {Siegfried}, \citenamefont {Skripka}, \citenamefont {Spaun}, \citenamefont {Sprenkle}, \citenamefont {Stutz}, \citenamefont {Swallows}, \citenamefont {Tobey}, \citenamefont {Tran}, \citenamefont {Tran}, \citenamefont {Vogt}, \citenamefont {Volin}, \citenamefont {Walker}, \citenamefont {Zolot},\ and\ \citenamefont {Pino}}]{moses2023race}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.~A.}\ \bibnamefont {Moses}}, \bibinfo {author} {\bibfnamefont {C.~H.}\ \bibnamefont {Baldwin}}, \bibinfo {author} {\bibfnamefont {M.~S.}\ \bibnamefont {Allman}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Ancona}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Ascarrunz}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Barnes}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Bartolotta}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Bjork}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Blanchard}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Bohn}}, \bibinfo {author} {\bibfnamefont {J.~G.}\ \bibnamefont {Bohnet}}, \bibinfo {author} {\bibfnamefont {N.~C.}\ \bibnamefont {Brown}}, \bibinfo {author} {\bibfnamefont {N.~Q.}\ \bibnamefont {Burdick}}, \bibinfo {author} {\bibfnamefont {W.~C.}\ \bibnamefont {Burton}}, \bibinfo {author} {\bibfnamefont {S.~L.}\ \bibnamefont {Campbell}}, \bibinfo {author}
{\bibfnamefont {J.~P.}\ \bibnamefont {Campora}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Carron}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Chambers}}, \bibinfo {author} {\bibfnamefont {J.~W.}\ \bibnamefont {Chan}}, \bibinfo {author} {\bibfnamefont {Y.~H.}\ \bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Chernoguzov}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Chertkov}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Colina}}, \bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont {Curtis}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Daniel}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {DeCross}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Deen}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Delaney}}, \bibinfo {author} {\bibfnamefont {J.~M.}\ \bibnamefont {Dreiling}}, \bibinfo {author} {\bibfnamefont {C.~T.}\ \bibnamefont {Ertsgaard}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Esposito}}, \bibinfo
{author} {\bibfnamefont {B.}~\bibnamefont {Estey}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Fabrikant}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Figgatt}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Foltz}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Foss-Feig}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Francois}}, \bibinfo {author} {\bibfnamefont {J.~P.}\ \bibnamefont {Gaebler}}, \bibinfo {author} {\bibfnamefont {T.~M.}\ \bibnamefont {Gatterman}}, \bibinfo {author} {\bibfnamefont {C.~N.}\ \bibnamefont {Gilbreth}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Giles}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Glynn}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Hall}}, \bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Hankin}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Hansen}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Hayes}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Higashi}}, \bibinfo
{author} {\bibfnamefont {I.~M.}\ \bibnamefont {Hoffman}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Horning}}, \bibinfo {author} {\bibfnamefont {J.~J.}\ \bibnamefont {Hout}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Jacobs}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Johansen}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Jones}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Karcz}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Klein}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Lauria}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Lee}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Liefer}}, \bibinfo {author} {\bibfnamefont {S.~T.}\ \bibnamefont {Lu}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Lucchetti}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Lytle}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Malm}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Matheny}}, \bibinfo {author} {\bibfnamefont
{B.}~\bibnamefont {Mathewson}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Mayer}}, \bibinfo {author} {\bibfnamefont {D.~B.}\ \bibnamefont {Miller}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Mills}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Neyenhuis}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Nugent}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Olson}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Parks}}, \bibinfo {author} {\bibfnamefont {G.~N.}\ \bibnamefont {Price}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Price}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Pugh}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Ransford}}, \bibinfo {author} {\bibfnamefont {A.~P.}\ \bibnamefont {Reed}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Roman}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Rowe}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Ryan-Anderson}}, \bibinfo {author} {\bibfnamefont
{S.}~\bibnamefont {Sanders}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Sedlacek}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Shevchuk}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Siegfried}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Skripka}}, \bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Spaun}}, \bibinfo {author} {\bibfnamefont {R.~T.}\ \bibnamefont {Sprenkle}}, \bibinfo {author} {\bibfnamefont {R.~P.}\ \bibnamefont {Stutz}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Swallows}}, \bibinfo {author} {\bibfnamefont {R.~I.}\ \bibnamefont {Tobey}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Tran}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Tran}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Vogt}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Volin}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Walker}}, \bibinfo {author} {\bibfnamefont {A.~M.}\ \bibnamefont {Zolot}},\ and\ \bibinfo {author} {\bibfnamefont
{J.~M.}\ \bibnamefont {Pino}},\ }\bibfield {title} {\bibinfo {title} {A race-track trapped-ion quantum processor},\ }\href {https://doi.org/10.1103/PhysRevX.13.041052} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. X}\ }\textbf {\bibinfo {volume} {13}},\ \bibinfo {pages} {041052} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Deist}\ \emph {et~al.}(2022)\citenamefont {Deist}, \citenamefont {Lu}, \citenamefont {Ho}, \citenamefont {Pasha}, \citenamefont {Zeiher}, \citenamefont {Yan},\ and\ \citenamefont {Stamper-Kurn}}]{deist2022midcircuit}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Deist}}, \bibinfo {author} {\bibfnamefont {Y.-H.}\ \bibnamefont {Lu}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Ho}}, \bibinfo {author} {\bibfnamefont {M.~K.}\ \bibnamefont {Pasha}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Zeiher}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Yan}},\ and\ \bibinfo {author} {\bibfnamefont {D.~M.}\ \bibnamefont {Stamper-Kurn}},\ }\bibfield {title} {\bibinfo {title} {Mid-circuit cavity measurement in a neutral atom array},\ }\href {https://doi.org/10.1103/PhysRevLett.129.203602} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. Lett.}\ }\textbf {\bibinfo {volume} {129}},\ \bibinfo {pages} {203602} (\bibinfo {year} {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Norcia}\ \emph {et~al.}(2023)\citenamefont {Norcia}, \citenamefont {Cairncross}, \citenamefont {Barnes}, \citenamefont {Battaglino}, \citenamefont {Brown}, \citenamefont {Brown}, \citenamefont {Cassella}, \citenamefont {Chen}, \citenamefont {Coxe}, \citenamefont {Crow}, \citenamefont {Epstein}, \citenamefont {Griger}, \citenamefont {Jones}, \citenamefont {Kim}, \citenamefont {Kindem}, \citenamefont {King}, \citenamefont {Kondov}, \citenamefont {Kotru}, \citenamefont {Lauigan}, \citenamefont {Li}, \citenamefont {Lu}, \citenamefont {Megidish}, \citenamefont {Marjanovic}, \citenamefont {McDonald}, \citenamefont {Mittiga}, \citenamefont {Muniz}, \citenamefont {Narayanaswami}, \citenamefont {Nishiguchi}, \citenamefont {Notermans}, \citenamefont {Paule}, \citenamefont {Pawlak}, \citenamefont {Peng}, \citenamefont {Ryou}, \citenamefont {Smull}, \citenamefont {Stack}, \citenamefont {Stone}, \citenamefont {Sucich}, \citenamefont {Urbanek}, \citenamefont {van~de Veerdonk}, \citenamefont
{Vendeiro}, \citenamefont {Wilkason}, \citenamefont {Wu}, \citenamefont {Xie}, \citenamefont {Zhang},\ and\ \citenamefont {Bloom}}]{norcia2023midcirc}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {M.~A.}\ \bibnamefont {Norcia}}, \bibinfo {author} {\bibfnamefont {W.~B.}\ \bibnamefont {Cairncross}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Barnes}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Battaglino}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Brown}}, \bibinfo {author} {\bibfnamefont {M.~O.}\ \bibnamefont {Brown}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Cassella}}, \bibinfo {author} {\bibfnamefont {C.-A.}\ \bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Coxe}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Crow}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Epstein}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Griger}}, \bibinfo {author} {\bibfnamefont {A.~M.~W.}\ \bibnamefont {Jones}}, \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Kim}}, \bibinfo {author} {\bibfnamefont {J.~M.}\ \bibnamefont {Kindem}}, \bibinfo {author} {\bibfnamefont
{J.}~\bibnamefont {King}}, \bibinfo {author} {\bibfnamefont {S.~S.}\ \bibnamefont {Kondov}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Kotru}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Lauigan}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Li}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Lu}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Megidish}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Marjanovic}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {McDonald}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Mittiga}}, \bibinfo {author} {\bibfnamefont {J.~A.}\ \bibnamefont {Muniz}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Narayanaswami}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Nishiguchi}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Notermans}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Paule}}, \bibinfo {author} {\bibfnamefont {K.~A.}\ \bibnamefont {Pawlak}}, \bibinfo {author} {\bibfnamefont
{L.~S.}\ \bibnamefont {Peng}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Ryou}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Smull}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Stack}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Stone}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Sucich}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Urbanek}}, \bibinfo {author} {\bibfnamefont {R.~J.~M.}\ \bibnamefont {van~de Veerdonk}}, \bibinfo {author} {\bibfnamefont {Z.}~\bibnamefont {Vendeiro}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Wilkason}}, \bibinfo {author} {\bibfnamefont {T.-Y.}\ \bibnamefont {Wu}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Xie}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Zhang}},\ and\ \bibinfo {author} {\bibfnamefont {B.~J.}\ \bibnamefont {Bloom}},\ }\bibfield {title} {\bibinfo {title} {Midcircuit qubit measurement and rearrangement in a $^{171}\mathrm{Yb}$ atomic array},\ }\href
{https://doi.org/10.1103/PhysRevX.13.041034} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. X}\ }\textbf {\bibinfo {volume} {13}},\ \bibinfo {pages} {041034} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Graham}\ \emph {et~al.}(2023)\citenamefont {Graham}, \citenamefont {Phuttitarn}, \citenamefont {Chinnarasu}, \citenamefont {Song}, \citenamefont {Poole}, \citenamefont {Jooya}, \citenamefont {Scott}, \citenamefont {Scott}, \citenamefont {Eichler},\ and\ \citenamefont {Saffman}}]{graham2023midcirc}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {T.~M.}\ \bibnamefont {Graham}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Phuttitarn}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Chinnarasu}}, \bibinfo {author} {\bibfnamefont {Y.}~\bibnamefont {Song}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Poole}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Jooya}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Scott}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Scott}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Eichler}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Saffman}},\ }\bibfield {title} {\bibinfo {title} {Midcircuit measurements on a single-species neutral alkali atom quantum processor},\ }\href {https://doi.org/10.1103/PhysRevX.13.041051} {\bibfield {journal} {\bibinfo {journal} {Phys. Rev. X}\ }\textbf {\bibinfo {volume} {13}},\ \bibinfo {pages} {041051} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bäumer}\ \emph {et~al.}(2023)\citenamefont {Bäumer}, \citenamefont {Tripathi}, \citenamefont {Wang}, \citenamefont {Rall}, \citenamefont {Chen}, \citenamefont {Majumder}, \citenamefont {Seif},\ and\ \citenamefont {Minev}}]{baumer2023efficient}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Bäumer}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Tripathi}}, \bibinfo {author} {\bibfnamefont {D.~S.}\ \bibnamefont {Wang}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Rall}}, \bibinfo {author} {\bibfnamefont {E.~H.}\ \bibnamefont {Chen}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Majumder}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Seif}},\ and\ \bibinfo {author} {\bibfnamefont {Z.~K.}\ \bibnamefont {Minev}},\ }\href@noop {} {\bibinfo {title} {Efficient long-range entanglement using dynamic circuits}} (\bibinfo {year} {2023}),\ \Eprint {https://arxiv.org/abs/2308.13065} {arXiv:2308.13065 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Anand}\ \emph {et~al.}(2024)\citenamefont {Anand}, \citenamefont {Bradley}, \citenamefont {White}, \citenamefont {Ramesh}, \citenamefont {Singh},\ and\ \citenamefont {Bernien}}]{anand2024dualspecies}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Anand}}, \bibinfo {author} {\bibfnamefont {C.~E.}\ \bibnamefont {Bradley}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {White}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Ramesh}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Singh}},\ and\ \bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Bernien}},\ }\href@noop {} {\bibinfo {title} {A dual-species rydberg array}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2401.10325} {arXiv:2401.10325 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bäumer}\ \emph {et~al.}(2024)\citenamefont {Bäumer}, \citenamefont {Tripathi}, \citenamefont {Seif}, \citenamefont {Lidar},\ and\ \citenamefont {Wang}}]{baumer2024quantum}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Bäumer}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Tripathi}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Seif}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Lidar}},\ and\ \bibinfo {author} {\bibfnamefont {D.~S.}\ \bibnamefont {Wang}},\ }\href@noop {} {\bibinfo {title} {Quantum fourier transform using dynamic circuits}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2403.09514} {arXiv:2403.09514 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Finkelstein}\ \emph {et~al.}(2024)\citenamefont {Finkelstein}, \citenamefont {Tsai}, \citenamefont {Sun}, \citenamefont {Scholl}, \citenamefont {Direkci}, \citenamefont {Gefen}, \citenamefont {Choi}, \citenamefont {Shaw},\ and\ \citenamefont {Endres}}]{finkelstein2024universal}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Finkelstein}}, \bibinfo {author} {\bibfnamefont {R.~B.-S.}\ \bibnamefont {Tsai}}, \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Sun}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Scholl}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Direkci}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Gefen}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Choi}}, \bibinfo {author} {\bibfnamefont {A.~L.}\ \bibnamefont {Shaw}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Endres}},\ }\href@noop {} {\bibinfo {title} {Universal quantum operations and ancilla-based readout for tweezer clocks}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2402.16220} {arXiv:2402.16220 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Stephen}\ and\ \citenamefont {Hart}()}]{stephen2024fusing}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {D.~T.}\ \bibnamefont {Stephen}}\ and\ \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Hart}},\ }\bibfield {title} {\bibinfo {title} {Preparing matrix product states via fusion: constraints and extensions},\ }\href@noop {} {\ }\bibinfo {note} {To appear}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Hauschild}\ and\ \citenamefont {Pollmann}(2018)}]{tenpy}%
\BibitemOpen
\bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Hauschild}}\ and\ \bibinfo {author} {\bibfnamefont {F.}~\bibnamefont {Pollmann}},\ }\bibfield {title} {\bibinfo {title} {{Efficient numerical simulations with Tensor Networks: Tensor Network Python (TeNPy)}},\ }\href {https://doi.org/10.21468/SciPostPhysLectNotes.5} {\bibfield {journal} {\bibinfo {journal} {SciPost Phys. Lect. Notes}\ ,\ \bibinfo {pages} {5}} (\bibinfo {year} {2018})},\ \bibinfo {note} {code available from \url{https://github.com/tenpy/tenpy}},\ \Eprint {https://arxiv.org/abs/1805.00055} {arXiv:1805.00055} \BibitemShut {NoStop}%
\end{thebibliography}%