Trajectree 0.0.1__py3-none-any.whl → 0.0.3__py3-none-any.whl

trajectree/quimb/quimb/tensor/tensor_1d.py

@@ -1,4778 +0,0 @@
-"""Classes and algorithms related to 1D tensor networks."""
-"""Modified by Ansh Singal to work with qudit simulations"""
-
-import functools
-import itertools
-import operator
-from math import log, log2
-from numbers import Integral
-
-import numpy as np
-import scipy.sparse.linalg as spla
-from autoray import conj, dag, do, get_dtype_name, reshape, size, transpose
-
-import quimb as qu
-
-from ..linalg.base_linalg import norm_trace_dense
-from ..utils import (
-    deprecated,
-    ensure_dict,
-    pairwise,
-    partition_all,
-    print_multi_line,
-)
-from . import array_ops as ops
-from .tensor_arbgeom import (
-    TensorNetworkGen,
-    TensorNetworkGenOperator,
-    TensorNetworkGenVector,
-    tensor_network_ag_sum,
-    tensor_network_align,
-    tensor_network_apply_op_op,
-    tensor_network_apply_op_vec,
-)
-from .tensor_core import (
-    Tensor,
-    bonds,
-    new_bond,
-    oset,
-    rand_uuid,
-    tags_to_oset,
-    tensor_canonize_bond,
-    tensor_compress_bond,
-)
-
-align_TN_1D = deprecated(
-    tensor_network_align, "align_TN_1D", "tensor_network_align"
-)
-
-
-def expec_TN_1D(*tns, compress=None, eps=1e-15):
-    """Compute the expectation of several 1D TNs, using transfer matrix
-    compression if any are periodic.
-
-    Parameters
-    ----------
-    tns : sequence of TensorNetwork1D
-        The MPS and MPO to find expectation of. Should start and begin with
-        an MPS e.g. ``(MPS, MPO, ...,  MPS)``.
-    compress : {None, False, True}, optional
-        Whether to perform transfer matrix compression on cyclic systems. If
-        set to ``None`` (the default), decide heuristically.
-    eps : float, optional
-        The accuracy of the transfer matrix compression.
-
-    Returns
-    -------
-    x : float
-        The expectation value.
-    """
-    expec_tn = functools.reduce(operator.or_, tensor_network_align(*tns))
-
-    # if OBC or <= 0.0 specified use exact contraction
-    cyclic = any(tn.cyclic for tn in tns)
-    if not cyclic:
-        compress = False
-
-    n = expec_tn.L
-    isflat = all(isinstance(tn, TensorNetwork1DFlat) for tn in tns)
-
-    # work out whether to compress, could definitely be improved ...
-    if compress is None and isflat:
-        # compression only worth it for long, high bond dimension TNs.
-        total_bd = qu.prod(tn.bond_size(0, 1) for tn in tns)
-        compress = (n >= 100) and (total_bd >= 1000)
-
-    if compress:
-        expec_tn.replace_section_with_svd(1, n, eps=eps, inplace=True)
-        return expec_tn ^ all
-
-    return expec_tn ^ ...
-
-
-def maybe_factor_gate_into_tensor(G, phys_dim, nsites, where):
-    # allow gate to be a matrix as long as it factorizes into tensor
-    shape_matches_2d = (ops.ndim(G) == 2) and (G.shape[1] == phys_dim**nsites)
-    shape_matches_nd = all(d == phys_dim for d in G.shape)
-
-    if shape_matches_2d:
-        G = ops.asarray(G)
-        if nsites >= 2:
-            G = reshape(G, [phys_dim] * 2 * nsites)
-
-    elif not shape_matches_nd:
-        raise ValueError(
-            f"Gate with shape {G.shape} doesn't match sites {where}."
-        )
-
-    return G
-
-
-def gate_TN_1D(
-    tn,
-    G,
-    where,
-    contract=False,
-    tags=None,
-    propagate_tags="sites",
-    info=None,
-    inplace=False,
-    cur_orthog=None,
-    **compress_opts,
-):
-    r"""Act with the gate ``G`` on sites ``where``, maintaining the outer
-    indices of the 1D tensor network::
-
-
-        contract=False       contract=True
-            . .                    . .             <- where
-        o-o-o-o-o-o-o        o-o-o-GGG-o-o-o
-        | | | | | | |        | | | / \ | | |
-            GGG
-            | |
-
-
-        contract='split-gate'        contract='swap-split-gate'
-              . .                          . .                      <- where
-          o-o-o-o-o-o-o                o-o-o-o-o-o-o
-          | | | | | | |                | | | | | | |
-              G~G                          G~G
-              | |                          \ /
-                                            X
-                                           / \
-
-        contract='swap+split'
-                . .            <- where
-          o-o-o-G=G-o-o-o
-          | | | | | | | |
-
-    Note that the sites in ``where`` do not have to be contiguous. By default,
-    site tags will be propagated to the gate tensors, identifying a
-    'light cone'.
-
-    Parameters
-    ----------
-    tn : TensorNetwork1DVector
-        The 1D vector-like tensor network, for example, and MPS.
-    G : array
-        A square array to act with on sites ``where``. It should have twice the
-        number of dimensions as the number of sites. The second half of these
-        will be contracted with the MPS, and the first half indexed with the
-        correct ``site_ind_id``. Sites are read left to right from the shape.
-        A two-dimensional array is permissible if each dimension factorizes
-        correctly.
-    where : int or sequence of int
-        Where the gate should act.
-    contract : {False, 'split-gate', 'swap-split-gate',
-                'auto-split-gate', True, 'swap+split'}, optional
-        Whether to contract the gate into the 1D tensor network. If,
-
-            - False: leave the gate uncontracted, the default
-            - 'split-gate': like False, but split the gate if it is two-site.
-            - 'swap-split-gate': like 'split-gate', but decompose the gate as
-              if a swap had first been applied
-            - 'auto-split-gate': automatically select between the above three
-              options, based on the rank of the gate.
-            - True: contract the gate into the tensor network, if the gate acts
-              on more than one site, this will produce an ever larger tensor.
-            - 'swap+split': Swap sites until they are adjacent, then contract
-              the gate and split the resulting tensor, then swap the sites back
-              to their original position. In this way an MPS structure can be
-              explicitly maintained at the cost of rising bond-dimension.
-
-    tags : str or sequence of str, optional
-        Tag the new gate tensor with these tags.
-    propagate_tags : {'sites', 'register', False, True}, optional
-        Add any tags from the sites to the new gate tensor (only matters if
-        ``contract=False`` else tags are merged anyway):
-
-            - If ``'sites'``, then only propagate tags matching e.g. 'I{}' and
-              ignore all others. I.e. just propagate the lightcone.
-            - If ``'register'``, then only propagate tags matching the sites of
-              where this gate was actually applied. I.e. ignore the lightcone,
-              just keep track of which 'registers' the gate was applied to.
-            - If ``False``, propagate nothing.
-            - If ``True``, propagate all tags.
-
-    inplace, bool, optional
-        Perform the gate in place.
-    compress_opts
-        Supplied to :meth:`~quimb.tensor.tensor_core.Tensor.split`
-        if ``contract='swap+split'`` or
-        :meth:`~quimb.tensor.tensor_1d.MatrixProductState.gate_with_auto_swap`
-        if ``contract='swap+split'``.
-
-    Returns
-    -------
-    TensorNetwork1DVector
-
-    See Also
-    --------
-    MatrixProductState.gate_split
-
-    Examples
-    --------
-    >>> p = MPS_rand_state(3, 7)
-    >>> p.gate_(spin_operator('X'), where=1, tags=['GX'])
-    >>> p
-    <MatrixProductState(tensors=4, L=3, max_bond=7)>
-
-    >>> p.outer_inds()
-    ('k0', 'k1', 'k2')
-    """
-    if isinstance(where, Integral):
-        where = (where,)
-    ng = len(where)  # number of sites the gate acts on
-
-    if contract == "auto-mps":
-        # automatically choose a contract mode based on maintaining MPS form
-        if ng == 1:
-            contract = True
-        elif ng == 2:
-            contract = "swap+split"
-        else:
-            contract = "nonlocal"
-
-    # check special MPS methods
-    if contract == "swap+split":
-        if ng == 1:
-            # no swapping or splitting needed
-            contract = True
-        else:
-            return tn.gate_with_auto_swap(
-                G,
-                where,
-                cur_orthog=cur_orthog,
-                info=info,
-                inplace=inplace,
-                **compress_opts,
-            )
-
-    elif contract == "nonlocal":
-        if ng == 1:
-            # no MPO needed
-            contract = True
-        else:
-            return tn.gate_nonlocal(
-                G,
-                where,
-                cur_orthog=cur_orthog,
-                info=info,
-                inplace=inplace,
-                **compress_opts,
-            )
-
-    # can use generic gate method
-    return TensorNetworkGenVector.gate(
-        tn,
-        G,
-        where,
-        contract=contract,
-        tags=tags,
-        propagate_tags=propagate_tags,
-        info=info,
-        inplace=inplace,
-        **compress_opts,
-    )
-
-
-def superop_TN_1D(
-    tn_super,
-    tn_op,
-    upper_ind_id="k{}",
-    lower_ind_id="b{}",
-    so_outer_upper_ind_id=None,
-    so_inner_upper_ind_id=None,
-    so_inner_lower_ind_id=None,
-    so_outer_lower_ind_id=None,
-):
-    r"""Take a tensor network superoperator and act with it on a
-    tensor network operator, maintaining the original upper and lower
-    indices of the operator::
-
-
-         outer_upper_ind_id                           upper_ind_id
-            | | | ... |                               | | | ... |
-            +----------+                              +----------+
-            | tn_super +---+                          | tn_super +---+
-            +----------+   |     upper_ind_id         +----------+   |
-            | | | ... |    |      | | | ... |         | | | ... |    |
-         inner_upper_ind_id|     +-----------+       +-----------+   |
-                           |  +  |   tn_op   |   =   |   tn_op   |   |
-         inner_lower_ind_id|     +-----------+       +-----------+   |
-            | | | ... |    |      | | | ... |         | | | ... |    |
-            +----------+   |      lower_ind_id        +----------+   |
-            | tn_super +---+                          | tn_super +---+
-            +----------+                              +----------+
-            | | | ... | <--                           | | | ... |
-         outer_lower_ind_id                           lower_ind_id
-
-
-    Parameters
-    ----------
-    tn_super : TensorNetwork
-        The superoperator in the form of a 1D-like tensor network.
-    tn_op : TensorNetwork
-        The operator to be acted on in the form of a 1D-like tensor network.
-    upper_ind_id : str, optional
-        Current id of the upper operator indices, e.g. usually ``'k{}'``.
-    lower_ind_id : str, optional
-        Current id of the lower operator indices, e.g. usually ``'b{}'``.
-    so_outer_upper_ind_id : str, optional
-        Current id of the superoperator's upper outer indices, these will be
-        reindexed to form the new effective operators upper indices.
-    so_inner_upper_ind_id : str, optional
-        Current id of the superoperator's upper inner indices, these will be
-        joined with those described by ``upper_ind_id``.
-    so_inner_lower_ind_id : str, optional
-        Current id of the superoperator's lower inner indices, these will be
-        joined with those described by ``lower_ind_id``.
-    so_outer_lower_ind_id : str, optional
-        Current id of the superoperator's lower outer indices, these will be
-        reindexed to form the new effective operators lower indices.
-
-    Returns
-    -------
-    KAK : TensorNetwork
-        The tensornetwork of the superoperator acting on the operator.
-    """
-    n = tn_op.L
-
-    if so_outer_upper_ind_id is None:
-        so_outer_upper_ind_id = getattr(tn_super, "outer_upper_ind_id", "kn{}")
-    if so_inner_upper_ind_id is None:
-        so_inner_upper_ind_id = getattr(tn_super, "inner_upper_ind_id", "k{}")
-    if so_inner_lower_ind_id is None:
-        so_inner_lower_ind_id = getattr(tn_super, "inner_lower_ind_id", "b{}")
-    if so_outer_lower_ind_id is None:
-        so_outer_lower_ind_id = getattr(tn_super, "outer_lower_ind_id", "bn{}")
-
-    reindex_map = {}
-    for i in range(n):
-        upper_bnd = rand_uuid()
-        lower_bnd = rand_uuid()
-        reindex_map[upper_ind_id.format(i)] = upper_bnd
-        reindex_map[lower_ind_id.format(i)] = lower_bnd
-        reindex_map[so_inner_upper_ind_id.format(i)] = upper_bnd
-        reindex_map[so_inner_lower_ind_id.format(i)] = lower_bnd
-        reindex_map[so_outer_upper_ind_id.format(i)] = upper_ind_id.format(i)
-        reindex_map[so_outer_lower_ind_id.format(i)] = lower_ind_id.format(i)
-
-    return tn_super.reindex(reindex_map) & tn_op.reindex(reindex_map)
-
-
-def parse_cur_orthog(cur_orthog="calc", info=None):
-    if info is None:
-        info = {}
-
-    if isinstance(cur_orthog, Integral):
-        info.setdefault("cur_orthog", (cur_orthog, cur_orthog))
-    else:
-        info.setdefault("cur_orthog", cur_orthog)
-
-    return info
-
-
-def convert_cur_orthog(fn):
-    @functools.wraps(fn)
-    def wrapped(self, *args, cur_orthog=None, info=None, **kwargs):
-        info = parse_cur_orthog(cur_orthog, info)
-        return fn(self, *args, info=info, **kwargs)
-
-    return wrapped
-
-
-class TensorNetwork1D(TensorNetworkGen):
-    """Base class for tensor networks with a one-dimensional structure."""
-
-    _NDIMS = 1
-    _EXTRA_PROPS = ("_site_tag_id", "_L")
-    _CONTRACT_STRUCTURED = True
-
-    def _compatible_1d(self, other):
-        """Check whether ``self`` and ``other`` are compatible 2D tensor
-        networks such that they can remain a 2D tensor network when combined.
-        """
-        return isinstance(other, TensorNetwork1D) and all(
-            getattr(self, e) == getattr(other, e)
-            for e in TensorNetwork1D._EXTRA_PROPS
-        )
-
-    def combine(self, other, *, virtual=False, check_collisions=True):
-        """Combine this tensor network with another, returning a new tensor
-        network. If the two are compatible, cast the resulting tensor network
-        to a :class:`TensorNetwork1D` instance.
-
-        Parameters
-        ----------
-        other : TensorNetwork1D or TensorNetwork
-            The other tensor network to combine with.
-        virtual : bool, optional
-            Whether the new tensor network should copy all the incoming tensors
-            (``False``, the default), or view them as virtual (``True``).
-        check_collisions : bool, optional
-            Whether to check for index collisions between the two tensor
-            networks before combining them. If ``True`` (the default), any
-            inner indices that clash will be mangled.
-
-        Returns
-        -------
-        TensorNetwork1D or TensorNetwork
-        """
-        new = super().combine(
-            other, virtual=virtual, check_collisions=check_collisions
-        )
-        if self._compatible_1d(other):
-            new.view_as_(TensorNetwork1D, like=self)
-        return new
-
-    @property
-    def L(self):
-        """The number of sites, i.e. length."""
-        return self._L
-
-    @property
-    def nsites(self):
-        """The number of sites."""
-        return self._L
-
-    def gen_site_coos(self):
-        """Generate the coordinates of all possible sites."""
-        return range(self._L)
-
-    def site_tag(self, i):
-        """The name of the tag specifiying the tensor at site ``i``."""
-        if not isinstance(i, str):
-            i = i % self.L
-        return self._site_tag_id.format(i)
-
-    def slice2sites(self, tag_slice):
-        """Take a slice object, and work out its implied start, stop and step,
-        taking into account cyclic boundary conditions.
-
-        Examples
-        --------
-        Normal slicing:
-
-            >>> p = MPS_rand_state(10, bond_dim=7)
-            >>> p.slice2sites(slice(5))
-            (0, 1, 2, 3, 4)
-
-            >>> p.slice2sites(slice(4, 8))
-            (4, 5, 6, 7)
-
-        Slicing from end backwards:
-
-            >>> p.slice2sites(slice(..., -3, -1))
-            (9, 8)
-
-        Slicing round the end:
-
-            >>> p.slice2sites(slice(7, 12))
-            (7, 8, 9, 0, 1)
-
-            >>> p.slice2sites(slice(-3, 2))
-            (7, 8, 9, 0, 1)
-
-        If the start point is > end point (*before* modulo n), then step needs
-        to be negative to return anything.
-        """
-        if tag_slice.start is None:
-            start = 0
-        elif tag_slice.start is ...:
-            if tag_slice.step == -1:
-                start = self.L - 1
-            else:
-                start = -1
-        else:
-            start = tag_slice.start
-
-        if tag_slice.stop in (..., None):
-            stop = self.L
-        else:
-            stop = tag_slice.stop
-
-        step = 1 if tag_slice.step is None else tag_slice.step
-
-        return tuple(s % self.L for s in range(start, stop, step))
-
-    def maybe_convert_coo(self, x):
-        """Check if ``x`` is an integer and convert to the
-        corresponding site tag if so.
-        """
-        if isinstance(x, Integral):
-            return self.site_tag(x)
-
-        if isinstance(x, slice):
-            return tuple(map(self.site_tag, self.slice2sites(x)))
-
-        return x
-
-    def contract_structured(
-        self, tag_slice, structure_bsz=5, inplace=False, **opts
-    ):
-        """Perform a structured contraction, translating ``tag_slice`` from a
-        ``slice`` or `...` to a cumulative sequence of tags.
-
-        Parameters
-        ----------
-        tag_slice : slice or ...
-            The range of sites, or `...` for all.
-        inplace : bool, optional
-            Whether to perform the contraction inplace.
-
-        Returns
-        -------
-        TensorNetwork, Tensor or scalar
-            The result of the contraction, still a ``TensorNetwork`` if the
-            contraction was only partial.
-
-        See Also
-        --------
-        contract, contract_tags, contract_cumulative
-        """
-        # check for all sites
-        if tag_slice is ...:
-            # else slice over all sites
-            tag_slice = slice(0, self.L)
-
-        # filter sites by the slice, but also which sites are present at all
-        tags_seq = filter(
-            self.tag_map.__contains__,
-            map(self.site_tag, self.slice2sites(tag_slice)),
-        )
-
-        # partition sites into `structure_bsz` groups
-        if structure_bsz > 1:
-            tags_seq = partition_all(structure_bsz, tags_seq)
-
-        # contract each block of sites cumulatively
-        return self.contract_cumulative(tags_seq, inplace=inplace, **opts)
-
-    def compute_left_environments(self, **contract_opts):
-        """Compute the left environments of this 1D tensor network.
-
-        Parameters
-        ----------
-        contract_opts
-            Supplied to
-            :meth:`~quimb.tensor.tensor_core.TensorNetwork.contract`.
-
-        Returns
-        -------
-        dict[int, Tensor]
-            Environments indexed by the site they are to the left of, so keys
-            run from (1, ... L - 1).
-        """
-        left_envs = {1: self.select(0).contract(all, **contract_opts)}
-        for i in range(2, self.L):
-            tll = left_envs[i - 1]
-            tll.drop_tags()
-            tnl = self.select(i - 1) | tll
-            left_envs[i] = tnl.contract(all, **contract_opts)
-
-        return left_envs
-
-    def compute_right_environments(self, **contract_opts):
-        """Compute the right environments of this 1D tensor network.
-
-        Parameters
-        ----------
-        contract_opts
-            Supplied to
-            :meth:`~quimb.tensor.tensor_core.TensorNetwork.contract`.
-
-        Returns
-        -------
-        dict[int, Tensor]
-            Environments indexed by the site they are to the right of, so keys
-            run from (0, ... L - 2).
-        """
-        right_envs = {
-            self.L - 2: self.select(-1).contract(all, **contract_opts)
-        }
-        for i in range(self.L - 3, -1, -1):
-            trr = right_envs[i + 1]
-            trr.drop_tags()
-            tnr = self.select(i + 1) | trr
-            right_envs[i] = tnr.contract()
-
-        return right_envs
-
-    def _repr_info(self):
-        info = super()._repr_info()
-        info["L"] = self.L
-        info["max_bond"] = self.max_bond()
-        return info
-
-
-class TensorNetwork1DVector(TensorNetwork1D, TensorNetworkGenVector):
-    """1D Tensor network which overall is like a vector with a single type of
-    site ind.
-    """
-
-    _EXTRA_PROPS = (
-        "_site_tag_id",
-        "_site_ind_id",
-        "_L",
-    )
-
-    def reindex_sites(self, new_id, where=None, inplace=False):
-        """Update the physical site index labels to a new string specifier.
-        Note that this doesn't change the stored id string with the TN.
-
-        Parameters
-        ----------
-        new_id : str
-            A string with a format placeholder to accept an int, e.g. "ket{}".
-        where : None or slice
-            Which sites to update the index labels on. If ``None`` (default)
-            all sites.
-        inplace : bool
-            Whether to reindex in place.
-        """
-        if where is None:
-            where = self.gen_sites_present()
-        elif isinstance(where, slice):
-            where = self.slice2sites(where)
-        else:
-            where = where
-
-        return super().reindex_sites(new_id, where, inplace=inplace)
-
-    reindex_sites_ = functools.partialmethod(reindex_sites, inplace=True)
-
-    def site_ind(self, i):
-        """Get the physical index name of site ``i``."""
-        if not isinstance(i, str):
-            i = i % self.L
-        return self.site_ind_id.format(i)
-
-    @functools.wraps(gate_TN_1D)
-    def gate(self, *args, inplace=False, **kwargs):
-        return gate_TN_1D(self, *args, inplace=inplace, **kwargs)
-
-    gate_ = functools.partialmethod(gate, inplace=True)
-
-    @functools.wraps(expec_TN_1D)
-    def expec(self, *args, **kwargs):
-        return expec_TN_1D(self, *args, **kwargs)
-
-    def correlation(self, A, i, j, B=None, **expec_opts):
-        """Correlation of operator ``A`` between ``i`` and ``j``.
-
-        Parameters
-        ----------
-        A : array
-            The operator to act with, can be multi site.
-        i : int or sequence of int
-            The first site(s).
-        j : int or sequence of int
-            The second site(s).
-        expec_opts
-            Supplied to :func:`~quimb.tensor.tensor_1d.expec_TN_1D`.
-
-        Returns
-        -------
-        C : float
-            The correlation ``<A(i)> + <A(j)> - <A(ij)>``.
-
-        Examples
-        --------
-        >>> ghz = (MPS_computational_state('0000') +
-        ...        MPS_computational_state('1111')) / 2**0.5
-        >>> ghz.correlation(pauli('Z'), 0, 1)
-        1.0
-        >>> ghz.correlation(pauli('Z'), 0, 1, B=pauli('X'))
-        0.0
-        """
-        if B is None:
-            B = A
-
-        bra = self.H
-
-        pA = self.gate(A, i, contract=True)
-        cA = expec_TN_1D(bra, pA, **expec_opts)
-
-        pB = self.gate(B, j, contract=True)
-        cB = expec_TN_1D(bra, pB, **expec_opts)
-
-        pAB = pA.gate_(B, j, contract=True)
-        cAB = expec_TN_1D(bra, pAB, **expec_opts)
-
-        return cAB - cA * cB
-
-
-class TensorNetwork1DOperator(TensorNetwork1D, TensorNetworkGenOperator):
-    _EXTRA_PROPS = (
-        "_site_tag_id",
-        "_upper_ind_id",
-        "_lower_ind_id",
-        "_L",
-    )
-
-    def reindex_lower_sites(self, new_id, where=None, inplace=False):
-        """Update the lower site index labels to a new string specifier.
-
-        Parameters
-        ----------
-        new_id : str
-            A string with a format placeholder to accept an int, e.g.
-            ``"ket{}"``.
-        where : None or slice
-            Which sites to update the index labels on. If ``None`` (default)
-            all sites.
-        inplace : bool
-            Whether to reindex in place.
-        """
-        if where is None:
-            start = 0
-            stop = self.L
-        else:
-            start = 0 if where.start is None else where.start
-            stop = self.L if where.stop is ... else where.stop
-
-        return self.reindex(
-            {self.lower_ind(i): new_id.format(i) for i in range(start, stop)},
-            inplace=inplace,
-        )
-
-    reindex_lower_sites_ = functools.partialmethod(
-        reindex_lower_sites, inplace=True
-    )
-
-    def reindex_upper_sites(self, new_id, where=None, inplace=False):
-        """Update the upper site index labels to a new string specifier.
-
-        Parameters
-        ----------
-        new_id : str
-            A string with a format placeholder to accept an int, e.g. "ket{}".
-        where : None or slice
-            Which sites to update the index labels on. If ``None`` (default)
-            all sites.
-        inplace : bool
-            Whether to reindex in place.
-        """
-        if where is None:
-            start = 0
-            stop = self.L
-        else:
-            start = 0 if where.start is None else where.start
-            stop = self.L if where.stop is ... else where.stop
-
-        return self.reindex(
-            {self.upper_ind(i): new_id.format(i) for i in range(start, stop)},
-            inplace=inplace,
-        )
-
-    reindex_upper_sites_ = functools.partialmethod(
-        reindex_upper_sites, inplace=True
-    )
-
-
-def set_default_compress_mode(opts, cyclic=False):
-    opts.setdefault("cutoff_mode", "rel" if cyclic else "rsum2")
-
-
-class TensorNetwork1DFlat(TensorNetwork1D):
-    """1D Tensor network which has a flat structure."""
-
-    _EXTRA_PROPS = ("_site_tag_id", "_L")
-
-    def left_canonize_site(self, i, bra=None):
-        r"""Left canonize this TN's ith site, inplace::
-
-                i                i
-               -o-o-            ->-s-
-            ... | | ...  ==> ... | | ...
-
-        Parameters
-        ----------
-        i : int
-            Which site to canonize. The site at i + 1 also absorbs the
-            non-isometric part of the decomposition of site i.
-        bra : None or matching TensorNetwork to self, optional
-            If set, also update this TN's data with the conjugate canonization.
-        """
-        tl, tr = self[i], self[i + 1]
-        tensor_canonize_bond(tl, tr)
-        if bra is not None:
-            # TODO: handle left inds
-            bra[i].modify(data=conj(tl.data))
-            bra[i + 1].modify(data=conj(tr.data))
-
-    def right_canonize_site(self, i, bra=None):
-        r"""Right canonize this TN's ith site, inplace::
-
-                  i                i
-               -o-o-            -s-<-
-            ... | | ...  ==> ... | | ...
-
-        Parameters
-        ----------
-        i : int
-            Which site to canonize. The site at i - 1 also absorbs the
-            non-isometric part of the decomposition of site i.
-         bra : None or matching TensorNetwork to self, optional
-            If set, also update this TN's data with the conjugate canonization.
-        """
-        tl, tr = self[i - 1], self[i]
-        tensor_canonize_bond(tr, tl)
-        if bra is not None:
-            # TODO: handle left inds
-            bra[i].modify(data=conj(tr.data))
-            bra[i - 1].modify(data=conj(tl.data))
-
-    def left_canonicalize(
-        self,
-        stop=None,
-        start=None,
-        normalize=False,
-        bra=None,
-        inplace=False,
-    ):
-        r"""Left canonicalize all or a portion of this TN (i.e. sweep the
-        orthogonality center to the right). If this is a MPS,
-        this implies that::
-
-                          i              i
-            >->->->->->->-o-o-         +-o-o-
-            | | | | | | | | | ...  =>  | | | ...
-            >->->->->->->-o-o-         +-o-o-
-
-        Parameters
-        ----------
-        start : int, optional
-            If given, the site to start left canonicalizing at.
-        stop : int, optional
-            If given, the site to stop left canonicalizing at.
-        normalize : bool, optional
-            Whether to normalize the state, only works for OBC.
-        bra : MatrixProductState, optional
-            If supplied, simultaneously left canonicalize this MPS too,
-            assuming it to be the conjugate state.
-        inplace : bool, optional
-            Whether to perform the operation inplace. If ``bra`` is supplied
-            then it is always modifed inplace.
-
-        Returns
-        -------
-        TensorNetwork1DFlat
-        """
-        mps = self if inplace else self.copy()
-
-        if start is None:
-            start = -1 if mps.cyclic else 0
-        if stop is None:
-            stop = mps.L - 1
-
-        for i in range(start, stop):
-            mps.left_canonize_site(i, bra=bra)
-
-        if normalize:
-            factor = mps[-1].norm()
-            mps[-1] /= factor
-            if bra is not None:
-                bra[-1] /= factor
-
-        return mps
-
-    left_canonicalize_ = functools.partialmethod(
-        left_canonicalize, inplace=True
-    )
-    left_canonize = left_canonicalize_
-
-    def right_canonicalize(
-        self, stop=None, start=None, normalize=False, bra=None, inplace=False
-    ):
-        r"""Right canonicalize all or a portion of this TN (i.e. sweep the
-        orthogonality center to the left). If this is a MPS,
-
-                   i                           i
-                -o-o-<-<-<-<-<-<-<          -o-o-+
-             ... | | | | | | | | |   ->  ... | | |
-                -o-o-<-<-<-<-<-<-<          -o-o-+
-
-
-        Parameters
-        ----------
-        start : int, optional
-            If given, the site to start right canonizing at.
-        stop : int, optional
-            If given, the site to stop right canonizing at.
-        normalize : bool, optional
-            Whether to normalize the state.
-        bra : MatrixProductState, optional
-            If supplied, simultaneously right canonicalize this MPS too,
-            assuming it to be the conjugate state.
-        inplace : bool, optional
-            Whether to perform the operation inplace. If ``bra`` is supplied
-            then it is always modifed inplace.
-
-        Returns
-        -------
-        TensorNetwork1DFlat
-        """
-        mps = self if inplace else self.copy()
-
-        if start is None:
-            start = mps.L - (0 if mps.cyclic else 1)
-        if stop is None:
-            stop = 0
-
-        for i in range(start, stop, -1):
-            mps.right_canonize_site(i, bra=bra)
-
-        if normalize:
-            factor = mps[0].norm()
-            mps[0] /= factor
-            if bra is not None:
-                bra[0] /= factor
-
-    right_canonicalize_ = functools.partialmethod(
-        right_canonicalize, inplace=True
-    )
-    right_canonize = right_canonicalize_
-
-    def canonize_cyclic(self, i, bra=None, method="isvd", inv_tol=1e-10):
-        """Bring this MatrixProductState into (possibly only approximate)
-        canonical form at site(s) ``i``.
-
-        Parameters
-        ----------
-        i :  int or slice
-            The site or range of sites to make canonical.
-        bra : MatrixProductState, optional
-            Simultaneously canonize this state as well, assuming it to be the
-            co-vector.
-        method : {'isvd', 'svds', ...}, optional
-            How to perform the lateral compression.
-        inv_tol : float, optional
-            Tolerance with which to invert the gauge.
-        """
-        if isinstance(i, Integral):
-            start, stop = i, i + 1
-        elif isinstance(i, slice):
-            start, stop = i.start, i.stop
-        else:
-            start, stop = min(i), max(i) + 1
-            if tuple(i) != tuple(range(start, stop)):
-                raise ValueError(
-                    "Parameter ``i`` should be an integer or "
-                    f"contiguous block of integers, got {i}."
-                )
-
-        k = self.copy()
-        b = k.H
-        k.add_tag("_KET")
-        b.add_tag("_BRA")
-        kb = k & b
-
-        # approximate the rest of the chain with a separable transfer operator
-        kbc = kb.replace_section_with_svd(
-            start,
-            stop,
-            eps=0.0,
-            which="!any",
-            method=method,
-            max_bond=1,
-            ltags="_LEFT",
-            rtags="_RIGHT",
-        )
-
-        EL = kbc["_LEFT"].squeeze()
-        # explicitly symmetrize to hermitian
-        EL.modify(data=(EL.data + dag(EL.data)) / 2)
-        # split into upper 'ket' part and lower 'bra' part, symmetric
-        (EL_lix,) = EL.bonds(kbc[k.site_tag(start), "_BRA"])
-        _, x = EL.split(EL_lix, method="eigh", cutoff=-1, get="arrays")
-
-        ER = kbc["_RIGHT"].squeeze()
-        # explicitly symmetrize to hermitian
-        ER.modify(data=(ER.data + dag(ER.data)) / 2)
-        # split into upper 'ket' part and lower 'bra' part, symmetric
-        (ER_lix,) = ER.bonds(kbc[k.site_tag(stop - 1), "_BRA"])
-        _, y = ER.split(ER_lix, method="eigh", cutoff=-1, get="arrays")
-
-        self.insert_gauge(x, start - 1, start, tol=inv_tol)
-        self.insert_gauge(y, stop, stop - 1, tol=inv_tol)
-
-        if bra is not None:
-            for i in (start - 1, start, stop, stop - 1):
-                bra[i].modify(data=self[i].data.conj())
-
-    def shift_orthogonality_center(self, current, new, bra=None):
-        """Move the orthogonality center of this MPS.
-
-        Parameters
-        ----------
-        current : int
-            The current orthogonality center.
-        new : int
-            The target orthogonality center.
-        bra : MatrixProductState, optional
-            If supplied, simultaneously move the orthogonality center of this
-            MPS too, assuming it to be the conjugate state.
-        """
-        if new > current:
-            for i in range(current, new):
-                self.left_canonize_site(i, bra=bra)
-        else:
-            for i in range(current, new, -1):
-                self.right_canonize_site(i, bra=bra)
-
-    def canonicalize(
-        self,
-        where,
-        cur_orthog="calc",
-        info=None,
-        bra=None,
-        inplace=False,
-    ):
-        r"""Gauge this MPS into mixed canonical form, implying::
-
-                          i                      i
-            >->->->->- ->-o-<- -<-<-<-<-<      +-o-+
-            | | | | |...| | |...| | | | |  ->  | | |
-            >->->->->- ->-o-<- -<-<-<-<-<      +-o-+
-
-        You can also supply a min/max of sites to orthogonalize around, and a
-        current location of the orthogonality center for efficiency::
-
-                  current                              where
-                  .......                              .....
-            >->->-c-c-c-c-<-<-<-<-<-<      >->->->->->-w-<-<-<-<-<-<
-            | | | | | | | | | | | | |  ->  | | | | | | | | | | | | |
-            >->->-c-c-c-c-<-<-<-<-<-<      >->->->->->-w-<-<-<-<-<-<
-               cmin     cmax                           i   j
-
-        This would only move ``cmin`` to ``i`` and ``cmax`` to ``j`` if
-        necessary.
-
-        Parameters
-        ----------
-        where : int or sequence of int
-            Which site(s) to orthogonalize around. If a sequence of int then
-            make sure that section from min(where) to max(where) is orthog.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        bra : MatrixProductState, optional
-            If supplied, simultaneously mixed canonicalize this MPS too,
-            assuming it to be the conjugate state.
-        inplace : bool, optional
-            Whether to perform the operation inplace. If ``bra`` is supplied
-            then it is always modifed inplace.
-
-        Returns
-        -------
-        MatrixProductState
-            The mixed canonical form MPS.
-        """
-        mps = self if inplace else self.copy()
-
-        if isinstance(where, Integral):
-            i = j = where
-        else:
-            i, j = min(where), max(where)
-
-        info = parse_cur_orthog(cur_orthog, info)
-        cur_orthog = info["cur_orthog"]
-        if cur_orthog == "calc":
-            cur_orthog = mps.calc_current_orthog_center()
-
-        if cur_orthog is not None:
-            if isinstance(cur_orthog, int):
-                cmin = cmax = cur_orthog
-            else:
-                cmin, cmax = min(cur_orthog), max(cur_orthog)
-
-            if i > cmin:
-                mps.shift_orthogonality_center(cmin, i, bra=bra)
-            else:
-                i = min(j, cmin)
-
-            if j < cmax:
-                mps.shift_orthogonality_center(cmax, j, bra=bra)
-            else:
-                j = max(i, cmax)
-
-        else:
-            mps.left_canonicalize_(i, bra=bra)
-            mps.right_canonicalize_(j, bra=bra)
-
-        info["cur_orthog"] = (i, j)
-
-        return mps
-
-    canonicalize_ = functools.partialmethod(canonicalize, inplace=True)
-    canonize = canonicalize_
-
-    def left_compress_site(self, i, bra=None, **compress_opts):
-        """Left compress this 1D TN's ith site, such that the site is then
-        left unitary with its right bond (possibly) reduced in dimension.
-
-        Parameters
-        ----------
-        i : int
-            Which site to compress.
-        bra : None or matching TensorNetwork to self, optional
-            If set, also update this TN's data with the conjugate compression.
-        compress_opts
-            Supplied to :meth:`Tensor.split`.
-        """
-        set_default_compress_mode(compress_opts, self.cyclic)
-        compress_opts.setdefault("absorb", "right")
-        compress_opts.setdefault("reduced", "left")
-
-        tl, tr = self[i], self[i + 1]
-        tensor_compress_bond(tl, tr, **compress_opts)
-
-        if bra is not None:
-            # TODO: handle left inds
-            bra[i].modify(data=conj(tl.data))
-            bra[i + 1].modify(data=conj(tr.data))
-
-    def right_compress_site(self, i, bra=None, **compress_opts):
-        """Right compress this 1D TN's ith site, such that the site is then
-        right unitary with its left bond (possibly) reduced in dimension.
-
-        Parameters
-        ----------
-        i : int
-            Which site to compress.
-        bra : None or matching TensorNetwork to self, optional
-            If set, update this TN's data with the conjugate compression.
-        compress_opts
-            Supplied to :meth:`Tensor.split`.
-        """
-        set_default_compress_mode(compress_opts, self.cyclic)
-        compress_opts.setdefault("absorb", "left")
-        compress_opts.setdefault("reduced", "right")
-
-        tl, tr = self[i - 1], self[i]
-        tensor_compress_bond(tl, tr, **compress_opts)
-
-        if bra is not None:
-            # TODO: handle left inds
-            bra[i].modify(data=conj(tr.data))
-            bra[i - 1].modify(data=conj(tl.data))
-
-    def left_compress(self, start=None, stop=None, bra=None, **compress_opts):
-        """Compress this 1D TN, from left to right, such that it becomes
-        left-canonical (unless ``absorb != 'right'``).
-
-        Parameters
-        ----------
-        start : int, optional
-            Site to begin compressing on.
-        stop : int, optional
-            Site to stop compressing at (won't itself be an isometry).
-        bra : None or TensorNetwork like this one, optional
-            If given, update this TN as well, assuming it to be the conjugate.
-        compress_opts
-            Supplied to :meth:`Tensor.split`.
-        """
-        if start is None:
-            start = -1 if self.cyclic else 0
-        if stop is None:
-            stop = self.L - 1
-
-        for i in range(start, stop):
-            self.left_compress_site(i, bra=bra, **compress_opts)
-
-    def right_compress(self, start=None, stop=None, bra=None, **compress_opts):
-        """Compress this 1D TN, from right to left, such that it becomes
-        right-canonical (unless ``absorb != 'left'``).
-
-        Parameters
-        ----------
-        start : int, optional
-            Site to begin compressing on.
-        stop : int, optional
-            Site to stop compressing at (won't itself be an isometry).
-        bra : None or TensorNetwork like this one, optional
-            If given, update this TN as well, assuming it to be the conjugate.
-        compress_opts
-            Supplied to :meth:`Tensor.split`.
-        """
-        if start is None:
-            start = self.L - (0 if self.cyclic else 1)
-        if stop is None:
-            stop = 0
-
-        for i in range(start, stop, -1):
-            self.right_compress_site(i, bra=bra, **compress_opts)
-
-    def compress(self, form=None, **compress_opts):
-        """Compress this 1D Tensor Network, possibly into canonical form.
-
-        Parameters
-        ----------
-        form : {None, 'flat', 'left', 'right'} or int
-            Output form of the TN. ``None`` left canonizes the state first for
-            stability reasons, then right_compresses (default). ``'flat'``
-            tries to distribute the singular values evenly -- state will not
-            be canonical. ``'left'`` and ``'right'`` put the state into left
-            and right canonical form respectively with a prior opposite sweep,
-            or an int will put the state into mixed canonical form at that
-            site.
-        compress_opts
-            Supplied to :meth:`Tensor.split`.
-        """
-        if form is None:
-            form = "right"
-
-        if isinstance(form, Integral):
-            if form < self.L // 2:
-                self.left_canonize()
-                self.right_compress(**compress_opts)
-                self.left_canonize(stop=form)
-            else:
-                self.right_canonize()
-                self.left_compress(**compress_opts)
-                self.right_canonize(stop=form)
-
-        elif form == "left":
-            self.right_canonize(bra=compress_opts.get("bra", None))
-            self.left_compress(**compress_opts)
-
-        elif form == "right":
-            self.left_canonize(bra=compress_opts.get("bra", None))
-            self.right_compress(**compress_opts)
-
-        elif form == "flat":
-            compress_opts["absorb"] = "both"
-            self.right_compress(stop=self.L // 2, **compress_opts)
-            self.left_compress(stop=self.L // 2, **compress_opts)
-
-        else:
-            raise ValueError(
-                f"Form specifier {form} not understood, should be either "
-                "'left', 'right', 'flat' or an int specifiying a new orthog "
-                "center."
-            )
-
-    @convert_cur_orthog
-    def compress_site(
-        self,
-        i,
-        canonize=True,
-        info=None,
-        bra=None,
-        **compress_opts,
-    ):
-        r"""Compress the bonds adjacent to site ``i``, by default first setting
-        the orthogonality center to that site::
-
-                 i                     i
-            -o-o-o-o-o-    -->    ->->~o~<-<-
-             | | | | |             | | | | |
-
-        Parameters
-        ----------
-        i : int
-            Which site to compress around
-        canonize : bool, optional
-            Whether to first set the orthogonality center to site ``i``.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        bra : MatrixProductState, optional
-            The conjugate state to also apply the compression to.
-        compress_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split`.
-        """
-        if canonize:
-            self.canonicalize_(i, info=info, bra=bra)
-
-        if self.cyclic or i > 0:
-            self.left_compress_site(i - 1, bra=bra, **compress_opts)
-
-        if self.cyclic or i < self.L - 1:
-            self.right_compress_site(i + 1, bra=bra, **compress_opts)
-
-    def bond(self, i, j):
-        """Get the name of the index defining the bond between sites i and j."""
-        (bond,) = self[i].bonds(self[j])
-        return bond
-
-    def bond_size(self, i, j):
-        """Return the size of the bond between site ``i`` and ``j``."""
-        b_ix = self.bond(i, j)
-        return self[i].ind_size(b_ix)
-
-    def bond_sizes(self):
-        bnd_szs = [self.bond_size(i, i + 1) for i in range(self.L - 1)]
-        if self.cyclic:
-            bnd_szs.append(self.bond_size(-1, 0))
-        return bnd_szs
-
-    def amplitude(self, b):
-        """Compute the amplitude of configuration ``b``.
-
-        Parameters
-        ----------
-        b : sequence of int
-            The configuration to compute the amplitude of.
-
-        Returns
-        -------
-        c_b : scalar
-        """
-        if len(b) != self.nsites:
-            raise ValueError(
-                f"Bit-string {b} length does not "
-                f"match MPS length {self.nsites}."
-            )
-
-        selector = {self.site_ind(i): int(xi) for i, xi in enumerate(b)}
-        mps_b = self.isel(selector)
-        return mps_b ^ ...
-
-    @convert_cur_orthog
-    def singular_values(self, i, info=None, method="svd"):
-        r"""Find the singular values associated with the ith bond::
-
-            ....L....   i
-            o-o-o-o-o-l-o-o-o-o-o-o-o-o-o-o-o
-            | | | | |   | | | | | | | | | | |
-                   i-1  ..........R..........
-
-        Leaves the 1D TN in mixed canoncial form at bond ``i``.
-
-        Parameters
-        ----------
-        i : int
-            Which bond, or equivalently, the number of sites in the
-            left partition.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-
-        Returns
-        -------
-        svals : 1d-array
-            The singular values.
-        """
-        if not (0 < i < self.L):
-            raise ValueError(f"Need 0 < i < {self.L}, got i={i}.")
-
-        self.canonicalize_(i, info=info)
-
-        Tm1 = self[i]
-        left_inds = Tm1.bonds(self[i - 1])
-        return Tm1.singular_values(left_inds, method=method)
-
-    def expand_bond_dimension(
-        self,
-        new_bond_dim,
-        rand_strength=0.0,
-        bra=None,
-        inplace=True,
-    ):
-        """Expand the bond dimensions of this 1D tensor network to at least
-        ``new_bond_dim``.
-
-        Parameters
-        ----------
-        new_bond_dim : int
-            Minimum bond dimension to expand to.
-        inplace : bool, optional
-            Whether to perform the expansion in place.
-        bra : MatrixProductState, optional
-            Mirror the changes to ``bra`` inplace, treating it as the conjugate
-            state.
-        rand_strength : float, optional
-            If ``rand_strength > 0``, fill the new tensor entries with gaussian
-            noise of strength ``rand_strength``.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        tn = super().expand_bond_dimension(
-            new_bond_dim=new_bond_dim,
-            rand_strength=rand_strength,
-            inplace=inplace,
-        )
-
-        if bra is not None:
-            for coo in tn.gen_sites_present():
-                bra[coo].modify(data=tn[coo].data.conj())
-
-        return tn
-
-    def count_canonized(self):
-        if self.cyclic:
-            return 0, 0
-
-        ov = self.H & self
-        num_can_l = 0
-        num_can_r = 0
-
-        def isidentity(x):
-            d = x.shape[0]
-            if get_dtype_name(x) in ("float32", "complex64"):
-                rtol, atol = 1e-5, 1e-6
-            else:
-                rtol, atol = 1e-9, 1e-11
-
-            idtty = do("eye", d, like=x)
-            return do("allclose", x, idtty, rtol=rtol, atol=atol)
-
-        for i in range(self.L - 1):
-            ov ^= slice(max(0, i - 1), i + 1)
-            x = ov[i].data
-            if isidentity(x):
-                num_can_l += 1
-            else:
-                break
-
-        for j in reversed(range(num_can_l + 1, self.L)):
-            ov ^= slice(j, min(self.L, j + 2))
-            x = ov[j].data
-            if isidentity(x):
-                num_can_r += 1
-            else:
-                break
-
-        return num_can_l, num_can_r
-
-    def calc_current_orthog_center(self):
-        """Calculate the site(s) of the current orthogonality center.
-
-        Returns
-        -------
-        (int, int)
-            The min/max of sites around which the TN is currently orthogonal.
-        """
-        lo, ro = self.count_canonized()
-        return lo, self.L - ro - 1
-
-    def as_cyclic(self, inplace=False):
-        """Convert this flat, 1D, TN into cyclic form by adding a dummy bond
-        between the first and last sites.
-        """
-        tn = self if inplace else self.copy()
-
-        # nothing to do
-        if tn.cyclic:
-            return tn
-
-        tn.new_bond(0, -1)
-        tn.cyclic = True
-        return tn
-
-    def show(self, max_width=None):
-        l1 = ""
-        l2 = ""
-        l3 = ""
-        num_can_l, num_can_r = self.count_canonized()
-        for i in range(self.L - 1):
-            bdim = self.bond_size(i, i + 1)
-            strl = len(str(bdim))
-            l1 += f" {bdim}"
-            l2 += (
-                ">"
-                if i < num_can_l
-                else "<"
-                if i >= self.L - num_can_r
-                else "●"
-            ) + ("─" if bdim < 100 else "━") * strl
-            l3 += "│" + " " * strl
-            strl = len(str(bdim))
-
-        l1 += " "
-        l2 += "<" if num_can_r > 0 else "●"
-        l3 += "│"
-
-        if self.cyclic:
-            bdim = self.bond_size(0, self.L - 1)
-            bnd_str = ("─" if bdim < 100 else "━") * strl
-            l1 = f" {bdim}{l1}{bdim} "
-            l2 = f"+{bnd_str}{l2}{bnd_str}+"
-            l3 = f" {' ' * strl}{l3}{' ' * strl} "
-
-        print_multi_line(l1, l2, l3, max_width=max_width)
-
-
-class MatrixProductState(TensorNetwork1DVector, TensorNetwork1DFlat):
-    """Initialise a matrix product state, with auto labelling and tagging.
-
-    Parameters
-    ----------
-    arrays : sequence of arrays
-        The tensor arrays to form into a MPS.
-    sites : sequence of int, optional
-        Construct the MPO on these sites only. If not given, enumerate from
-        zero. Should be monotonically increasing and match ``arrays``.
-    L : int, optional
-        The number of sites the MPO should be defined on. If not given, this is
-        taken as the max ``sites`` value plus one (i.e.g the number of arrays
-        if ``sites`` is not given).
-    shape : str, optional
-        String specifying layout of the tensors. E.g. 'lrp' (the default)
-        indicates the shape corresponds left-bond, right-bond, physical index.
-        End tensors have either 'l' or 'r' dropped from the string.
-    tags : str or sequence of str, optional
-        Global tags to attach to all tensors.
-    site_ind_id : str
-        A string specifiying how to label the physical site indices. Should
-        contain a ``'{}'`` placeholder. It is used to generate the actual
-        indices like: ``map(site_ind_id.format, range(len(arrays)))``.
-    site_tag_id : str
-        A string specifiying how to tag the tensors at each site. Should
-        contain a ``'{}'`` placeholder. It is used to generate the actual tags
-        like: ``map(site_tag_id.format, range(len(arrays)))``.
-    """
-
-    _EXTRA_PROPS = (
-        "_site_tag_id",
-        "_site_ind_id",
-        "cyclic",
-        "_L",
-    )
-
-    def __init__(
-        self,
-        arrays,
-        *,
-        sites=None,
-        L=None,
-        shape="lrp",
-        tags=None,
-        site_ind_id="k{}",
-        site_tag_id="I{}",
-        **tn_opts,
-    ):
-        # short-circuit for copying MPSs
-        if isinstance(arrays, MatrixProductState):
-            super().__init__(arrays)
-            return
-
-        arrays = tuple(arrays)
-
-        if sites is None:
-            # assume dense
-            sites = range(len(arrays))
-            if L is None:
-                L = len(arrays)
-            num_sites = L
-        else:
-            sites = tuple(sites)
-            if L is None:
-                L = max(sites) + 1
-            num_sites = len(sites)
-
-        self._L = len(arrays)
-        self._site_ind_id = site_ind_id
-        self._site_tag_id = site_tag_id
-        self.cyclic = ops.ndim(arrays[0]) == 3
-
-        # this is the perm needed to bring the arrays from
-        # their current `shape`, to the desired 'lrud' order
-        lrp_ord = tuple(map(shape.find, "lrp"))
-
-        tensors = []
-        tags = tags_to_oset(tags)
-        bonds = [rand_uuid() for _ in range(num_sites)]
-        bonds.append(bonds[0])
-
-        for i, (site, array) in enumerate(zip(sites, arrays)):
-            inds = []
-
-            if (i == 0) and not self.cyclic:
-                # only right bond
-                order = tuple(shape.replace("l", "").find(x) for x in "rp")
-                inds.append(bonds[i + 1])
-            elif (i == num_sites - 1) and not self.cyclic:
-                # only left bond
-                order = tuple(shape.replace("r", "").find(x) for x in "lp")
-                inds.append(bonds[i])
-            else:
-                order = lrp_ord
-                # both bonds
-                inds.append(bonds[i])
-                inds.append(bonds[i + 1])
-
-            # physical index
-            inds.append(site_ind_id.format(site))
-
-            tensors.append(
-                Tensor(
-                    data=transpose(array, order),
-                    inds=inds,
-                    tags=tags | oset([site_tag_id.format(site)]),
-                )
-            )
-
-        super().__init__(tensors, virtual=True, **tn_opts)
-
-    @classmethod
-    def from_fill_fn(
-        cls,
-        fill_fn,
-        L,
-        bond_dim,
-        phys_dim=2,
-        sites=None,
-        cyclic=False,
-        shape="lrp",
-        site_ind_id="k{}",
-        site_tag_id="I{}",
-        tags=None,
-    ):
-        """Create an MPS by supplying a 'filling' function to generate the data
-        for each site.
-
-        Parameters
-        ----------
-        fill_fn : callable
-            A function with signature
-            ``fill_fn(shape : tuple[int]) -> array_like``.
-        L : int
-            The number of sites.
-        bond_dim : int
-            The bond dimension.
-        phys_dim : int or Sequence[int], optional
-            The physical dimension(s) of each site, if a sequence it will be
-            cycled over.
-        sites : None or sequence of int, optional
-            Construct the MPS on these sites only. If not given, enumerate from
-            zero.
-        cyclic : bool, optional
-            Whether the MPS should be cyclic (periodic).
-        shape : str, optional
-            What specific order to layout the indices in, should be a sequence
-            of ``'l'``, ``'r'``, and ``'p'``, corresponding to left, right, and
-            physical indices respectively.
-        site_ind_id : str, optional
-            How to label the physical site indices.
-        site_tag_id : str, optional
-            How to tag the physical sites.
-        tags : str or sequence of str, optional
-            Global tags to attach to all tensors.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        if set(shape) - set("lrp"):
-            raise ValueError("Invalid shape string: {}".format(shape))
-
-        # check for site varying physical dimensions
-        if isinstance(phys_dim, Integral):
-            phys_dims = itertools.repeat(phys_dim)
-        else:
-            phys_dims = itertools.cycle(phys_dim)
-
-        mps = cls.new(
-            L=L,
-            cyclic=cyclic,
-            site_ind_id=site_ind_id,
-            site_tag_id=site_tag_id,
-        )
-
-        # which sites are actually present
-        if sites is None:
-            sites = range(L)
-        else:
-            sites = tuple(sites)
-        num_sites = len(sites)
-
-        global_tags = tags_to_oset(tags)
-        bonds = [rand_uuid() for _ in range(num_sites)]
-        bonds.append(bonds[0])
-
-        for i, site in enumerate(sites):
-            inds = []
-            data_shape = []
-            for c in shape:
-                if c == "l":
-                    if (i - 1) >= 0 or cyclic:
-                        inds.append(bonds[i])
-                        data_shape.append(bond_dim)
-                elif c == "r":
-                    if (i + 1) < num_sites or cyclic:
-                        inds.append(bonds[i + 1])
-                        data_shape.append(bond_dim)
-                else:  # c == 'p':
-                    inds.append(site_ind_id.format(site))
-                    data_shape.append(next(phys_dims))
-            data = fill_fn(data_shape)
-            tags = global_tags | oset((site_tag_id.format(site),))
-            mps |= Tensor(data, inds=inds, tags=tags)
-
-        return mps
-
-    @classmethod
-    def from_dense(
-        cls,
-        psi,
-        dims=2,
-        tags=None,
-        site_ind_id="k{}",
-        site_tag_id="I{}",
-        **split_opts,
-    ):
-        """Create a ``MatrixProductState`` directly from a dense vector
-
-        Parameters
-        ----------
-        psi : array_like
-            The dense state to convert to MPS from.
-        dims : int or sequence of int
-            Physical subsystem dimensions of each site. If a single int, all
-            sites have this same dimension, by default, 2.
-        tags : str or sequence of str, optional
-            Global tags to attach to all tensors.
-        site_ind_id : str, optional
-            How to index the physical sites, see
-            :class:`~quimb.tensor.tensor_1d.MatrixProductState`.
-        site_tag_id : str, optional
-            How to tag the physical sites, see
-            :class:`~quimb.tensor.tensor_1d.MatrixProductState`.
-        split_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split` to
-            in order to partition the dense vector into tensors.
-            ``absorb='left'`` is set by default, to ensure the compression
-            is canonical / optimal.
-
-        Returns
-        -------
-        MatrixProductState
-
-        Examples
-        --------
-
-            >>> dims = [2, 2, 2, 2, 2, 2]
-            >>> psi = rand_ket(prod(dims))
-            >>> mps = MatrixProductState.from_dense(psi, dims)
-            >>> mps.show()
-             2 4 8 4 2
-            o-o-o-o-o-o
-            | | | | | |
-        """
-        set_default_compress_mode(split_opts)
-        # ensure compression is canonical / optimal
-        split_opts.setdefault("absorb", "right")
-
-        # make sure array_like
-        psi = ops.asarray(psi)
-
-        if isinstance(dims, Integral):
-            # assume all sites have the same dimension
-            L = round(log(size(psi), dims))
-            dims = (dims,) * L
-        else:
-            dims = tuple(dims)
-            L = len(dims)
-
-        # create a bare MPS TN object
-        mps = cls.new(
-            L=L,
-            cyclic=False,
-            site_ind_id=site_ind_id,
-            site_tag_id=site_tag_id,
-        )
-
-        inds = [mps.site_ind(i) for i in range(L)]
-
-        tm = Tensor(data=reshape(psi, dims), inds=inds)
-        for i in range(L - 1):
-            # progressively split off one more physical index
-            tl, tm = tm.split(
-                left_inds=None,
-                right_inds=inds[i + 1 :],
-                ltags=mps.site_tag(i),
-                get="tensors",
-                **split_opts,
-            )
-            # add left tensor
-            mps |= tl
-
-        # add final right tensor
-        tm.add_tag(mps.site_tag(L - 1))
-        mps |= tm
-
-        # add global tags
-        if tags is not None:
-            mps.add_tag(tags)
-
-        return mps
-
-    def add_MPS(self, other, inplace=False, **kwargs):
-        """Add another MatrixProductState to this one."""
-        return tensor_network_ag_sum(self, other, inplace=inplace, **kwargs)
-
-    add_MPS_ = functools.partialmethod(add_MPS, inplace=True)
-
-    def permute_arrays(self, shape="lrp"):
-        """Permute the indices of each tensor in this MPS to match ``shape``.
-        This doesn't change how the overall object interacts with other tensor
-        networks but may be useful for extracting the underlying arrays
-        consistently. This is an inplace operation.
-
-        Parameters
-        ----------
-        shape : str, optional
-            A permutation of ``'lrp'`` specifying the desired order of the
-            left, right, and physical indices respectively.
-        """
-        for i in self.gen_sites_present():
-            inds = {"p": self.site_ind(i)}
-            if self.cyclic or i > 0:
-                inds["l"] = self.bond(i, (i - 1) % self.L)
-            if self.cyclic or i < self.L - 1:
-                inds["r"] = self.bond(i, (i + 1) % self.L)
-            inds = [inds[s] for s in shape if s in inds]
-            self[i].transpose_(*inds)
-
-    def normalize(self, bra=None, eps=1e-15, insert=None):
-        """Normalize this MPS, optional with co-vector ``bra``. For periodic
-        MPS this uses transfer matrix SVD approximation with precision ``eps``
-        in order to be efficient. Inplace.
-
-        Parameters
-        ----------
-        bra : MatrixProductState, optional
-            If given, normalize this MPS with the same factor.
-        eps : float, optional
-            If cyclic, precision to approximation transfer matrix with.
-            Default: 1e-14.
-        insert : int, optional
-            Insert the corrective normalization on this site, random if
-            not given.
-
-        Returns
-        -------
-        old_norm : float
-            The old norm ``self.H @ self``.
-        """
-        norm = expec_TN_1D(self.H, self, eps=eps)
-
-        if insert is None:
-            insert = -1
-
-        self[insert].modify(data=self[insert].data / norm**0.5)
-        if bra is not None:
-            bra[insert].modify(data=bra[insert].data / norm**0.5)
-
-        return norm
-
-    def gate_split(self, G, where, inplace=False, **compress_opts):
-        r"""Apply a two-site gate and then split resulting tensor to retrieve a
-        MPS form::
-
-            -o-o-A-B-o-o-
-             | | | | | |            -o-o-GGG-o-o-           -o-o-X~Y-o-o-
-             | | GGG | |     ==>     | | | | | |     ==>     | | | | | |
-             | | | | | |                 i j                     i j
-                 i j
-
-        As might be found in TEBD.
-
-        Parameters
-        ----------
-        G : array
-            The gate, with shape ``(d**2, d**2)`` for physical dimension ``d``.
-        where : (int, int)
-            Indices of the sites to apply the gate to.
-        compress_opts
-            Supplied to :func:`~quimb.tensor.tensor_split`.
-
-        See Also
-        --------
-        gate, gate_with_auto_swap
-        """
-        set_default_compress_mode(compress_opts, self.cyclic)
-        ix_i, ix_j = map(self.site_ind, where)
-        # note that 'reduce-split' is unecessary: tensors have ndim<=3
-        return self.gate_inds(
-            G, (ix_i, ix_j), contract="split", inplace=inplace, **compress_opts
-        )
-
-    gate_split_ = functools.partialmethod(gate_split, inplace=True)
-
-    @convert_cur_orthog
-    def swap_sites_with_compress(
-        self, i, j, info=None, inplace=False, **compress_opts
-    ):
-        """Swap sites ``i`` and ``j`` by contracting, then splitting with the
-        physical indices swapped. If the sites are not adjacent, this will
-        happen multiple times.
-
-        Parameters
-        ----------
-        i : int
-            The first site to swap.
-        j : int
-            The second site to swap.
-        cur_orthog : int, sequence of int, or 'calc'
-            If known, the current orthogonality center.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        inplace : bond, optional
-            Perform the swaps inplace.
-        compress_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split`.
-        """
-        mps = self if inplace else self.copy()
-
-        i, j = sorted((i, j))
-        if i + 1 != j:
-            mps.swap_site_to_(j, i, info=info)
-            # first site is now at j + 1, move back up
-            mps.swap_site_to_(i + 1, j, info=info)
-            return mps
-
-        mps.canonicalize_((i, j), info=info)
-
-        # get site tensors and indices
-        ix_i, ix_j = map(mps.site_ind, (i, j))
-        Ti, Tj = mps[i], mps[j]
-        _, unshared = Ti.filter_bonds(Tj)
-
-        # split the contracted tensor, swapping the site indices
-        Tij = Ti @ Tj
-        lix = [i for i in unshared if i != ix_i] + [ix_j]
-        set_default_compress_mode(compress_opts, self.cyclic)
-        sTi, sTj = Tij.split(lix, get="tensors", **compress_opts)
-
-        # reindex and transpose the tensors to directly update original tensors
-        sTi.reindex_({ix_j: ix_i}).transpose_like_(Ti)
-        Ti.modify(data=sTi.data)
-        sTj.reindex_({ix_i: ix_j}).transpose_like_(Tj)
-        Tj.modify(data=sTj.data)
-
-        absorb = compress_opts.get("absorb", None)
-        if absorb == "left":
-            info["cur_orthog"] = (i, i)
-        elif absorb == "right":
-            info["cur_orthog"] = (j, j)
-
-        return mps
-
-    swap_sites_with_compress_ = functools.partialmethod(
-        swap_sites_with_compress,
-        inplace=True,
-    )
-
-    @convert_cur_orthog
-    def swap_site_to(
-        self,
-        i,
-        f,
-        info=None,
-        inplace=False,
-        **compress_opts,
-    ):
-        r"""Swap site ``i`` to site ``f``, compressing the bond after each
-        swap::
-
-                  i       f
-            0 1 2 3 4 5 6 7 8 9      0 1 2 4 5 6 7 3 8 9
-            o-o-o-x-o-o-o-o-o-o      >->->->->->->-x-<-<
-            | | | | | | | | | |  ->  | | | | | | | | | |
-
-
-        Parameters
-        ----------
-        i : int
-            The site to move.
-        f : int
-            The new location for site ``i``.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        inplace : bond, optional
-            Perform the swaps inplace.
-        compress_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split`.
-        """
-        mps = self if inplace else self.copy()
-
-        if i == f:
-            return mps
-        if i < f:
-            compress_opts.setdefault("absorb", "right")
-            js = range(i, f)
-        if f < i:
-            compress_opts.setdefault("absorb", "left")
-            js = range(i - 1, f - 1, -1)
-
-        for j in js:
-            mps.swap_sites_with_compress(
-                j, j + 1, info=info, inplace=True, **compress_opts
-            )
-
-        return mps
-
-    swap_site_to_ = functools.partialmethod(swap_site_to, inplace=True)
-
-    @convert_cur_orthog
-    def gate_with_auto_swap(
-        self,
-        G,
-        where,
-        info=None,
-        swap_back=True,
-        inplace=False,
-        **compress_opts,
-    ):
-        """Perform a two site gate on this MPS by, if necessary, swapping and
-        compressing the sites until they are adjacent, using ``gate_split``,
-        then unswapping the sites back to their original position.
-
-        Parameters
-        ----------
-        G : array
-            The gate, with shape ``(d**2, d**2)`` for physical dimension ``d``.
-        where : (int, int)
-            Indices of the sites to apply the gate to.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        swap_back : bool, optional
-            Whether to swap the sites back to their original position after
-            applying the gate. If not, for sites ``i < j``, the site ``j`` will
-            remain swapped to ``i + 1``, and sites between ``i + 1`` and ``j``
-            will be shifted one place up.
-        inplace : bond, optional
-            Perform the swaps inplace.
-        compress_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split`.
-
-        See Also
-        --------
-        gate, gate_split
-        """
-        mps = self if inplace else self.copy()
-
-        i, j = where
-
-        if i > j:
-            # work with i < j but flip application of gate when necessary
-            i, j = j, i
-            final_gate_where = (i + 1, i)
-            absorb = "left"
-        else:
-            final_gate_where = (i, i + 1)
-            absorb = "right"
-
-        need_to_swap = i + 1 != j
-
-        # move j site adjacent to i site
-        if need_to_swap:
-            mps.swap_site_to(
-                j, i + 1, info=info, inplace=True, **compress_opts
-            )
-
-        # make sure sites are orthog center
-        mps.canonicalize_((i, i + 1), info=info)
-
-        # apply gate and split back into MPS form
-        mps.gate_split_(
-            G, where=final_gate_where, absorb=absorb, **compress_opts
-        )
-
-        # absorb setting guarantees this
-        info["cur_orthog"] = (i + 1, i + 1)
-
-        if need_to_swap and swap_back:
-            # move j site back to original position
-            mps.swap_site_to(
-                i + 1, j, info=info, inplace=True, **compress_opts
-            )
-
-        return mps
-
-    gate_with_auto_swap_ = functools.partialmethod(
-        gate_with_auto_swap,
-        inplace=True,
-    )
-
-    @convert_cur_orthog
-    def gate_with_submpo(
-        self,
-        submpo,
-        where=None,
-        method="direct",
-        transpose=False,
-        info=None,
-        inplace=False,
-        inplace_mpo=False,
-        **compress_opts,
-    ):
-        """Apply an MPO, which only acts on a subset of sites, to this MPS,
-        compressing the MPS with the MPO only on the minimal set of sites
-        covering `where`, keeping the MPS form::
-
-                │   │ │
-                A───A─A
-                │   │ │         ->    │ │ │ │ │ │ │ │
-                                      >─>─O━O━O━O─<─<
-            │ │ │ │ │ │ │ │
-            o─o─o─o─o─o─o─o
-
-        Parameters
-        ----------
-        submpo : MatrixProductOperator
-            The MPO to apply.
-        where : sequence of int, optional
-            The range of sites the MPO acts on, will be inferred from the
-            support of the MPO if not given.
-        method : {'direct", 'dm', 'zipup', 'zipup-first', 'fit'}, optional
-            The compression method to use.
-        transpose : bool, optional
-            Whether to transpose the MPO before applying it. By default the
-            lower inds of the MPO are contracted with the MPS, if transposed
-            the upper inds are contracted.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        inplace : bool, optional
-            Whether to perform the application and compression inplace.
-        compress_opts
-            Supplied to
-            :func:`~quimb.tensor.tensor_1d_compress.tensor_network_1d_compress`.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        from .tensor_1d_compress import tensor_network_1d_compress
-
-        psi = self if inplace else self.copy()
-
-        # get the span of sites the sub-MPO acts on
-        if where is None:
-            where = tuple(submpo.gen_sites_present())
-        si, sf = min(where), max(where)
-
-        # make the psi canonical around the sub-MPO region
-        psi.canonicalize_((si, sf), info=info)
-
-        # lazily combine the sub-MPO with the MPS
-        psi.gate_with_op_lazy_(
-            submpo,
-            transpose=transpose,
-            inplace_op=inplace_mpo,
-        )
-
-        # split off the sub MPS-MPO TN section
-        sub_site_tags = [psi.site_tag(s) for s in range(si, sf + 1)]
-        _, subpsi = psi.partition(sub_site_tags, which="any", inplace=True)
-
-        # compress it!
-        tensor_network_1d_compress(
-            subpsi,
-            site_tags=sub_site_tags,
-            method=method,
-            # the sub TN can't be automatically permuted when missing sites
-            permute_arrays=False,
-            inplace=True,
-            **compress_opts,
-        )
-
-        if compress_opts.get("sweep_reverse", False):
-            info["cur_orthog"] = (sf, sf)
-        else:
-            info["cur_orthog"] = (si, si)
-
-        # recombine the compressed sub region TN
-        psi |= subpsi
-
-        return psi
-
-    gate_with_submpo_ = functools.partialmethod(gate_with_submpo, inplace=True)
-
-    def gate_with_mpo(
-        self,
-        mpo,
-        method="direct",
-        transpose=False,
-        inplace=False,
-        inplace_mpo=False,
-        **compress_opts,
-    ):
-        """Gate this MPS with an MPO and compress the result with one of
-        various methods back to MPS form::
-
-            │ │ │ │ │ │ │ │
-            A─A─A─A─A─A─A─A
-            │ │ │ │ │ │ │ │     ->    │ │ │ │ │ │ │ │
-                                      O━O━O━O━O━O━O━O
-            │ │ │ │ │ │ │ │
-            o─o─o─o─o─o─o─o
-
-        Parameters
-        ----------
-        mpo : MatrixProductOperator
-            The MPO to apply.
-        max_bond : int, optional
-            A maximum bond dimension to keep when compressing.
-        cutoff : float, optional
-            A singular value cutoff to use when compressing.
-        method : {'direct", 'dm', 'zipup', 'zipup-first', 'fit', ...}, optional
-            The compression method to use.
-        transpose : bool, optional
-            Whether to transpose the MPO before applying it. By default the
-            lower inds of the MPO are contracted with the MPS, if transposed
-            the upper inds are contracted.
-        inplace : bool, optional
-            Whether to perform the compression inplace.
-        inplace_mpo : bool, optional
-            Whether the modify the MPO in place, a minor performance gain.
-        compress_opts
-            Other options supplied to
-            :func:`~quimb.tensor.tensor_1d_compress.tensor_network_1d_compress`.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        from .tensor_1d_compress import tensor_network_1d_compress
-
-        psi = self if inplace else self.copy()
-
-        # lazily combine the MPO with the MPS
-        psi.gate_with_op_lazy_(
-            mpo,
-            transpose=transpose,
-            inplace=inplace_mpo,
-        )
-
-        # compress it!
-        return tensor_network_1d_compress(
-            psi,
-            method=method,
-            inplace=True,
-            **compress_opts,
-        )
-
-    gate_with_mpo_ = functools.partialmethod(gate_with_mpo, inplace=True)
-
-    @convert_cur_orthog
-    def gate_nonlocal(
-        self,
-        G,
-        where,
-        dims=None,
-        method="direct",
-        info=None,
-        inplace=False,
-        **compress_opts,
-    ):
-        """Apply a potentially non-local gate to this MPS by first decomposing
-        it into an MPO, then compressing the MPS with MPO only on the minimal
-        set of sites covering `where`.
-
-        Parameters
-        ----------
-        G : array_like
-            The gate to apply.
-        where : sequence of int
-            The sites to apply the gate to.
-        max_bond : int, optional
-            A maximum bond dimension to keep when compressing.
-        cutoff : float, optional
-            A singular value cutoff to use when compressing.
-        dims : sequence of int, optional
-            The factorized dimensions of the gate ``G``, which should match the
-            physical dimensions of the sites it acts on. Calculated if not
-            supplied. If a single int, all sites are assumed to have this same
-            dimension.
-        method : {'direct", 'dm', 'zipup', 'zipup-first', 'fit', ...}, optional
-            The compression method to use.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        inplace : bool, optional
-            Whether to perform the compression inplace.
-        compress_opts
-            Supplied to
-            :func:`~quimb.tensor.tensor_1d_compress.tensor_network_1d_compress`.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        if dims is None:
-            dims = tuple(self.phys_dim(i) for i in where)
-
-        # create a sub-MPO and lazily combine it with the MPS
-        mpo = MatrixProductOperator.from_dense(
-            G, dims=dims, sites=where, L=self.L
-        )
-
-        return self.gate_with_submpo_(
-            mpo,
-            where=where,
-            method=method,
-            info=info,
-            inplace=inplace,
-            inplace_mpo=True,
-            **compress_opts,
-        )
-
-    gate_nonlocal_ = functools.partialmethod(gate_nonlocal, inplace=True)
-
-    def flip(self, inplace=False):
-        """Reverse the order of the sites in the MPS, such that site ``i`` is
-        now at site ``L - i - 1``.
-        """
-        flipped = self if inplace else self.copy()
-
-        retag_map = {
-            self.site_tag(i): self.site_tag(self.L - i - 1) for i in self.sites
-        }
-        reindex_map = {
-            self.site_ind(i): self.site_ind(self.L - i - 1) for i in self.sites
-        }
-
-        return flipped.retag_(retag_map).reindex_(reindex_map)
-
-    @convert_cur_orthog
-    def magnetization(
-        self,
-        i,
-        direction="Z",
-        info=None,
-    ):
-        """Compute the magnetization at site ``i``."""
-        if self.cyclic:
-            msg = (
-                "``magnetization`` currently makes use of orthogonality for"
-                " efficiencies sake, for cyclic systems is it still "
-                "possible to compute as a normal expectation."
-            )
-            raise NotImplementedError(msg)
-
-        self.canonicalize_(i, info=info)
-
-        # +-k-+
-        # | O |
-        # +-b-+
-
-        Tk = self[i]
-        ind1, ind2 = self.site_ind(i), "__tmp__"
-        Tb = Tk.H.reindex({ind1: ind2})
-
-        O_data = qu.spin_operator(direction, S=(self.phys_dim(i) - 1) / 2)
-        TO = Tensor(O_data, inds=(ind1, ind2))
-
-        return Tk.contract(TO, Tb)
-
-    @convert_cur_orthog
-    def schmidt_values(self, i, info=None, method="svd"):
-        r"""Find the schmidt values associated with the bipartition of this
-        MPS between sites on either site of ``i``. In other words, ``i`` is the
-        number of sites in the left hand partition::
-
-            ....L....   i
-            o-o-o-o-o-S-o-o-o-o-o-o-o-o-o-o-o
-            | | | | |   | | | | | | | | | | |
-                   i-1  ..........R..........
-
-        The schmidt values, ``S``, are the singular values associated with the
-        ``(i - 1, i)`` bond, squared, provided the MPS is mixed canonized at
-        one of those sites.
-
-        Parameters
-        ----------
-        i : int
-            The number of sites in the left partition.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-
-        Returns
-        -------
-        S : 1d-array
-            The schmidt values.
-        """
-        if self.cyclic:
-            raise NotImplementedError
-
-        return self.singular_values(i, info=info, method=method) ** 2
-
-    @convert_cur_orthog
-    def entropy(self, i, info=None, method="svd"):
-        """The entropy of bipartition between the left block of ``i`` sites and
-        the rest.
-
-        Parameters
-        ----------
-        i : int
-            The number of sites in the left partition.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-
-        Returns
-        -------
-        float
-        """
-        if self.cyclic:
-            msg = (
-                "For cyclic systems, try explicitly computing the entropy "
-                "of the (compressed) reduced density matrix."
-            )
-            raise NotImplementedError(msg)
-
-        S = self.schmidt_values(i, info=info, method=method)
-        S = S[S > 0.0]
-        return do("sum", -S * do("log2", S))
-
-    @convert_cur_orthog
-    def schmidt_gap(self, i, info=None, method="svd"):
-        """The schmidt gap of bipartition between the left block of ``i`` sites
-        and the rest.
-
-        Parameters
-        ----------
-        i : int
-            The number of sites in the left partition.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-
-        Returns
-        -------
-        float
-        """
-        if self.cyclic:
-            raise NotImplementedError
-
-        S = self.schmidt_values(i, info=info, method=method)
-
-        if len(S) == 1:
-            return S[0]
-
-        return S[0] - S[1]
-
-    def partial_trace_to_mpo(
-        self, keep, upper_ind_id="b{}", rescale_sites=True
-    ):
-        r"""Partially trace this matrix product state, producing a matrix
-        product operator.
-
-        Parameters
-        ----------
-        keep : sequence of int or slice
-            Indicies of the sites to keep.
-        upper_ind_id : str, optional
-            The ind id of the (new) 'upper' inds, i.e. the 'bra' inds.
-        rescale_sites : bool, optional
-            If ``True`` (the default), then the kept sites will be rescaled to
-            ``(0, 1, 2, ...)`` etc. rather than keeping their original site
-            numbers.
-
-        Returns
-        -------
-        rho : MatrixProductOperator
-            The density operator in MPO form.
-        """
-        p_bra = self.copy()
-        p_bra.reindex_sites_(upper_ind_id, where=keep)
-        rho = self.H & p_bra
-        # now have e.g:
-        #     | |     |   |
-        # o-o-o-o-o-o-o-o-o
-        # | |     | |   |
-        # o-o-o-o-o-o-o-o-o
-        #     | |     |   |
-
-        if isinstance(keep, slice):
-            keep = self.slice2sites(keep)
-
-        keep = sorted(keep)
-
-        for i in self.gen_sites_present():
-            if i in keep:
-                #      |
-                #     -o-             |
-                # ... -o- ... -> ... -O- ...
-                #     i|             i|
-                rho ^= self.site_tag(i)
-            else:
-                #        |
-                #     -o-o-              |
-                # ...  |    ... -> ... -OO- ...
-                #     -o-o-              |i+1
-                #      i |i+1
-                if i < self.L - 1:
-                    rho >>= [self.site_tag(i), self.site_tag(i + 1)]
-                else:
-                    rho >>= [self.site_tag(i), self.site_tag(max(keep))]
-
-                rho.drop_tags(self.site_tag(i))
-
-        # if single site a single tensor is produced
-        if isinstance(rho, Tensor):
-            rho = rho.as_network()
-
-        if rescale_sites:
-            # e.g. [3, 4, 5, 7, 9] -> [0, 1, 2, 3, 4]
-            retag, reind = {}, {}
-            for new, old in enumerate(keep):
-                retag[self.site_tag(old)] = self.site_tag(new)
-                reind[self.site_ind(old)] = self.site_ind(new)
-                reind[upper_ind_id.format(old)] = upper_ind_id.format(new)
-
-            rho.retag_(retag)
-            rho.reindex_(reind)
-            L = len(keep)
-        else:
-            L = self.L
-
-        # transpose upper and lower tags to match other MPOs
-        rho.view_as_(
-            MatrixProductOperator,
-            cyclic=self.cyclic,
-            L=L,
-            site_tag_id=self.site_tag_id,
-            lower_ind_id=upper_ind_id,
-            upper_ind_id=self.site_ind_id,
-        )
-        rho.fuse_multibonds_()
-        return rho
-
-    def partial_trace(self, *_, **__):
-        raise AttributeError(
-            "`mps.partial_trace` has been renamed to "
-            "`mps.partial_trace_to_mpo`. Soon `mps.partial_trace` "
-            "will produce (dense) local reduced density matrices to match "
-            "methods elsewhere in quimb."
-        )
-
-    def ptr(self, *_, **__):
-        raise AttributeError(
-            "`mps.ptr` has been renamed " "to `mps.partial_trace_to_mpo`."
-        )
-
-    def partial_trace_to_dense_canonical(
-        self, where, normalized=True, info=None, **contract_opts
-    ):
-        """Compute the dense local reduced density matrix by canonicalizing
-        around the target sites and then contracting the local tensors. Note
-        this moves the orthogonality around inplace, and records it in `info`.
-
-        Parameters
-        ----------
-        where : int or tuple[int]
-            The site or sites to compute the reduced density matrix for.
-        normalized : bool, optional
-            Explicitly normalize the local reduced density matrix.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        contract_opts
-            Passed to `tensor_contract` when computing the reduced local
-            density matrix.
-
-        Returns
-        -------
-        array_like
-        """
-        if self.cyclic:
-            raise NotImplementedError("Only supports OBC.")
-
-        if isinstance(where, Integral):
-            where = (where,)
-
-        # canonicalize around our sites
-        self.canonicalize_(where, info=info)
-
-        # form the local reduced density matrix tn
-        kix = [self.site_ind(i) for i in where]
-        bix = [f"__b{i}__" for i in where]
-        k = self[min(where) : max(where) + 1]
-        b = k.reindex(dict(zip(kix, bix))).conj_()
-        rho_tn = k | b
-
-        # contract down to a matrix
-        rho = rho_tn.to_dense(kix, bix, **contract_opts)
-
-        if normalized:
-            # locally normalize, usually unnecessary for an MPS but cheap
-            rho = rho / do("trace", rho)
-
-        return rho
-
-    def local_expectation_canonical(
-        self, G, where, normalized=True, info=None, **contract_opts
-    ):
-        """Compute a local expectation value (via forming the reduced density
-        matrix). Note this moves the orthogonality around inplace, and records
-        it in `info`.
-
-        Parameters
-        ----------
-        G : array_like
-            The local operator to compute the expectation of.
-        where : int or tuple[int]
-            The site or sites to compute the expectation at.
-        normalized : bool, optional
-            Explicitly normalize the local reduced density matrix.
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        contract_opts
-            Passed to `tensor_contract` when computing the reduced local
-            density matrix.
-
-        Returns
-        -------
-        float
-        """
-        rho = self.partial_trace_to_dense_canonical(
-            where, normalized=normalized, info=info, **contract_opts
-        )
-        return do("trace", G @ rho)
-
-    def compute_local_expectation_canonical(
-        self,
-        terms,
-        normalized=True,
-        return_all=False,
-        info=None,
-        inplace=False,
-        **contract_opts,
-    ):
-        """Compute many local expectations at once, via forming the relevant
-        reduced density matrices via canonicalization. This moves the
-        orthogonality around inplace, and records it in `info`.
-
-        Parameters
-        ----------
-        terms : dict[int or tuple[int], array_like]
-            The local terms to compute values for.
-        normalized : bool, optional
-            Explicitly normalize each local reduced density matrix.
-        return_all : bool, optional
-            Whether to return each expectation in `terms` separately
-            or sum them all together (the default).
-        info : dict, optional
-            If supplied, will be used to infer and store various extra
-            information. Currently, the key "cur_orthog" is used to store the
-            current orthogonality center. Its input value can be ``"calc"``, a
-            single site, or a pair of sites representing the min/max range,
-            inclusive. It will be updated to the actual range after.
-        inplace : bool, optional
-            Whether to perform the required canonicalizations inplace.
-        contract_opts
-            Supplied to
-            :meth:`~quimb.tensor.tensor_core.TensorNetwork.contract`
-            when contracting the local density matrices.
-
-        Returns
-        -------
-        float or dict[in or tuple[int], float]
-            The expecetation value(s), either summed or for each term if
-            `return_all=True`.
-
-        See Also
-        --------
-        compute_local_expectation_via_envs, local_expectation_canonical
-        partial_trace_to_dense_canonical
-        """
-        if self.cyclic:
-            raise NotImplementedError("Only supports OBC.")
-
-        if info is None:
-            # this is used to keep track of canonical center
-            info = {}
-
-        if inplace:
-            mps = self
-        else:
-            mps = self.copy()
-            info = info.copy()
-
-        cur_orthog = info.get("cur_orthog", "calc")
-        if isinstance(cur_orthog, tuple):
-            # have a canonical center already -> start close to it
-            terms = sorted(
-                terms.items(), key=lambda kv: abs(min(kv[0]) - cur_orthog[0])
-            )
-        else:
-            # sort by the smallest site so we sweep in one direction
-            terms = sorted(terms.items(), key=lambda kv: min(kv[0]))
-
-        expecs = {
-            where: mps.local_expectation_canonical(
-                G,
-                where,
-                normalized=normalized,
-                info=info,
-                **contract_opts,
-            )
-            for where, G in terms
-        }
-
-        if return_all:
-            return expecs
-
-        return functools.reduce(operator.add, expecs.values())
-
-    def compute_local_expectation_via_envs(
-        self,
-        terms,
-        normalized=True,
-        return_all=False,
-        **contract_opts,
-    ):
-        """Compute many local expectations at once, via forming the relevant
-        local overlaps using left and right environments formed via
-        contraction. This does not require any canonicalization and can be
-        quicker if the canonical center is not already aligned.
-
-        Parameters
-        ----------
-        terms : dict[int or tuple[int], array_like]
-            The local terms to compute values for.
-        normalized : bool, optional
-            Explicitly normalize each local reduced density matrix.
-        return_all : bool, optional
-            Whether to return each expectation in `terms` separately
-            or sum them all together (the default).
-        contract_opts
-            Supplied to
-            :meth:`~quimb.tensor.tensor_core.TensorNetwork.contract`
-            when contracting the local overlaps.
-
-        Returns
-        -------
-        float or dict[int or tuple[int], float]
-            The expecetation value(s), either summed or for each term if
-            `return_all=True`.
-
-        See Also
-        --------
-        compute_local_expectation_canonical, compute_left_environments,
-        compute_right_environments
-        """
-        norm, ket, bra = self.make_norm(return_all=True)
-
-        left_envs = norm.compute_left_environments(**contract_opts)
-        right_envs = norm.compute_right_environments(**contract_opts)
-
-        expecs = {}
-
-        if normalized:
-            nfactor = (norm.select(0) | right_envs[0]).contract(
-                all, **contract_opts
-            )
-        else:
-            nfactor = None
-
-        for where, G in terms.items():
-            sitemin = min(where)
-            sitemax = max(where)
-            tags = [ket.site_tag(i) for i in range(sitemin, sitemax + 1)]
-            # form:
-            #     sitemin sitemax
-            #          :   :
-            #         ┌─┐ ┌─┐
-            #      ┌──┤k├─┤k├──┐
-            #      │  └┬┘ └┬┘  │
-            #      │   │   │   │
-            #     ┌┴┐ ┌┴───┴┐ ┌┴┐
-            #     │l│ │  G  │ │r│
-            #     └┬┘ └┬───┬┘ └┬┘
-            #      │   │   │   │
-            #      │  ┌┴┐ ┌┴┐  │
-            #      └──┤b├─┤b├──┘
-            #         └─┘ └─┘
-            # (n.b. might be non-gated sites in between as well)
-            k = ket.select_any(tags, virtual=False)
-            b = bra.select_any(tags, virtual=False)
-            k.gate_(G, where, contract=False)
-
-            tn_local_overlap = k | b
-            if sitemin in left_envs:
-                tn_local_overlap |= left_envs[sitemin]
-            if sitemax in right_envs:
-                tn_local_overlap |= right_envs[sitemax]
-
-            x = tn_local_overlap.contract(all, **contract_opts)
-            if normalized:
-                x = x / nfactor
-
-            expecs[where] = x
-
-        if return_all:
-            return expecs
-
-        return functools.reduce(operator.add, expecs.values())
-
-    def compute_local_expectation(
-        self,
-        terms,
-        normalized=True,
-        return_all=False,
-        method="canonical",
-        info=None,
-        inplace=False,
-        **contract_opts,
-    ):
-        """Compute many local expectations at once.
-
-        Parameters
-        ----------
-        terms : dict[int or tuple[int], array_like]
-            The local terms to compute values for.
-        normalized : bool, optional
-            Explicitly normalize each local term.
-        return_all : bool, optional
-            Whether to return each expectation in `terms` separately
-            or sum them all together (the default).
-        method : {'canonical', 'envs'}, optional
-            The method to use to compute the local expectations.
-
-            - 'canonical': canonicalize around the sites of interest and
-              contract the local reduced density matrices, moving the canonical
-              center around as needed.
-            - 'envs': form the local overlaps using left and right environments
-              and contract these directly. This can be quicker if the canonical
-              center is not already aligned.
-
-        info : dict, optional
-            If supplied, and `method=="canonical"`, will be used to infer and
-            store various extra information. Currently the key "cur_orthog" is
-            used to store the current orthogonality center. Its input value can
-            be ``"calc"``, a single site, or a pair of sites representing the
-            min/max range, inclusive. It will be updated to the actual range
-            after.
-        inplace : bool, optional
-            If `method=="canonical"`, whether to perform the required
-            canonicalizations inplace or on a copy of the state.
-        contract_opts
-            Supplied to
-            :meth:`~quimb.tensor.tensor_core.TensorNetwork.contract`
-            when contracting the local overlaps or density matrices.
-
-        Returns
-        -------
-        float or dict[int or tuple[int], float]
-            The expecetation value(s), either summed or for each term if
-            `return_all=True`.
-
-        See Also
-        --------
-        compute_local_expectation_canonical, compute_local_expectation_via_envs
-        """
-        if method == "canonical":
-            return self.compute_local_expectation_canonical(
-                terms,
-                normalized=normalized,
-                return_all=return_all,
-                info=info,
-                inplace=inplace,
-                **contract_opts,
-            )
-        elif method == "envs":
-            return self.compute_local_expectation_via_envs(
-                terms,
-                normalized=normalized,
-                return_all=return_all,
-                **contract_opts,
-            )
-        else:
-            raise ValueError(
-                f"Unrecognized method: {method}, should be one of: "
-                "'canonical', 'envs'."
-            )
-
-    @convert_cur_orthog
-    def bipartite_schmidt_state(self, sz_a, get="ket", info=None):
-        r"""Compute the reduced state for a bipartition of an OBC MPS, in terms
-        of the minimal left/right schmidt basis::
-
-                A            B
-            .........     ...........
-            >->->->->--s--<-<-<-<-<-<    ->   +-s-+
-            | | | | |     | | | | | |         |   |
-           k0 k1...                          kA   kB
-
-        Parameters
-        ----------
-        sz_a : int
-            The number of sites in subsystem A, must be ``0 < sz_a < N``.
-        get : {'ket', 'rho', 'ket-dense', 'rho-dense'}, optional
-            Get the:
-
-            - 'ket': vector form as tensor.
-            - 'rho': density operator form, i.e. vector outer product
-            - 'ket-dense': like 'ket' but return ``qarray``.
-            - 'rho-dense': like 'rho' but return ``qarray``.
-
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-        """
-        if self.cyclic:
-            raise NotImplementedError("MPS must have OBC.")
-
-        s = do("diag", self.singular_values(sz_a, info=info))
-
-        if "dense" in get:
-            kd = qu.qarray(s.reshape(-1, 1))
-            if "ket" in get:
-                return kd
-            elif "rho" in get:
-                return kd @ kd.H
-
-        else:
-            k = Tensor(s, (self.site_ind("A"), self.site_ind("B")))
-            if "ket" in get:
-                return k
-            elif "rho" in get:
-                return k & k.reindex({"kA": "bA", "kB": "bB"})
-
-    @staticmethod
-    def _do_lateral_compress(
-        mps,
-        kb,
-        section,
-        leave_short,
-        ul,
-        ll,
-        heps,
-        hmethod,
-        hmax_bond,
-        verbosity,
-        compressed,
-        **compress_opts,
-    ):
-        #           section
-        #   ul -o-o-o-o-o-o-o-o-o-       ul -\       /-
-        #       | | | | | | | | |   ==>       0~~~~~0
-        #   ll -o-o-o-o-o-o-o-o-o-       ll -/   :   \-
-        #                                      hmax_bond
-
-        if leave_short:
-            # if section is short doesn't make sense to lateral compress
-            #     work out roughly when this occurs by comparing bond size
-            left_sz = mps.bond_size(section[0] - 1, section[0])
-            right_sz = mps.bond_size(section[-1], section[-1] + 1)
-
-            if mps.phys_dim() ** len(section) <= left_sz * right_sz:
-                if verbosity >= 1:
-                    print(
-                        f"Leaving lateral compress of section '{section}' as"
-                        f" it is too short: length={len(section)}, eff "
-                        f"size={left_sz * right_sz}."
-                    )
-                return
-
-        if verbosity >= 1:
-            print(
-                f"Laterally compressing section {section}. Using options: "
-                f"eps={heps}, method={hmethod}, max_bond={hmax_bond}"
-            )
-
-        section_tags = map(mps.site_tag, section)
-        kb.replace_with_svd(
-            section_tags,
-            (ul, ll),
-            heps,
-            inplace=True,
-            ltags="_LEFT",
-            rtags="_RIGHT",
-            method=hmethod,
-            max_bond=hmax_bond,
-            **compress_opts,
-        )
-
-        compressed.append(section)
-
-    @staticmethod
-    def _do_vertical_decomp(
-        mps,
-        kb,
-        section,
-        sysa,
-        sysb,
-        compressed,
-        ul,
-        ur,
-        ll,
-        lr,
-        vmethod,
-        vmax_bond,
-        veps,
-        verbosity,
-        **compress_opts,
-    ):
-        if section == sysa:
-            label = "A"
-        elif section == sysb:
-            label = "B"
-        else:
-            return
-
-        section_tags = [mps.site_tag(i) for i in section]
-
-        if section in compressed:
-            #                    ----U----             |  <- vmax_bond
-            #  -\      /-            /             ----U----
-            #    L~~~~R     ==>      \       ==>
-            #  -/      \-            /             ----D----
-            #                    ----D----             |  <- vmax_bond
-
-            # try and choose a sensible method
-            if vmethod is None:
-                left_sz = mps.bond_size(section[0] - 1, section[0])
-                right_sz = mps.bond_size(section[-1], section[-1] + 1)
-                if left_sz * right_sz <= 2**13:
-                    # cholesky is not rank revealing
-                    vmethod = "eigh" if vmax_bond else "cholesky"
-                else:
-                    vmethod = "isvd"
-
-            if verbosity >= 1:
-                print(
-                    f"Performing vertical decomposition of section {label}, "
-                    f"using options: eps={veps}, method={vmethod}, "
-                    f"max_bond={vmax_bond}."
-                )
-
-            # do vertical SVD
-            kb.replace_with_svd(
-                section_tags,
-                (ul, ur),
-                right_inds=(ll, lr),
-                eps=veps,
-                ltags="_UP",
-                rtags="_DOWN",
-                method=vmethod,
-                inplace=True,
-                max_bond=vmax_bond,
-                **compress_opts,
-            )
-
-            # cut joined bond by reindexing to upper- and lower- ind_id.
-            kb.cut_between(
-                (mps.site_tag(section[0]), "_UP"),
-                (mps.site_tag(section[0]), "_DOWN"),
-                f"_tmp_ind_u{label}",
-                f"_tmp_ind_l{label}",
-            )
-
-        else:
-            # just unfold and fuse physical indices:
-            #                              |
-            #   -A-A-A-A-A-A-A-        -AAAAAAA-
-            #    | | | | | | |   ===>
-            #   -A-A-A-A-A-A-A-        -AAAAAAA-
-            #                              |
-
-            if verbosity >= 1:
-                print(f"Just vertical unfolding section {label}.")
-
-            kb, sec = kb.partition(section_tags, inplace=True)
-            sec_l, sec_u = sec.partition("_KET", inplace=True)
-            T_UP = sec_u ^ all
-            T_UP.add_tag("_UP")
-            T_UP.fuse_(
-                {f"_tmp_ind_u{label}": [mps.site_ind(i) for i in section]}
-            )
-            T_DN = sec_l ^ all
-            T_DN.add_tag("_DOWN")
-            T_DN.fuse_(
-                {f"_tmp_ind_l{label}": [mps.site_ind(i) for i in section]}
-            )
-            kb |= T_UP
-            kb |= T_DN
-
-    def partial_trace_compress(
-        self,
-        sysa,
-        sysb,
-        eps=1e-8,
-        method=("isvd", None),
-        max_bond=(None, 1024),
-        leave_short=True,
-        renorm=True,
-        lower_ind_id="b{}",
-        verbosity=0,
-        **compress_opts,
-    ):
-        r"""Perform a compressed partial trace using singular value
-        lateral then vertical decompositions of transfer matrix products::
-
-
-                    .....sysa......     ...sysb....
-            o-o-o-o-A-A-A-A-A-A-A-A-o-o-B-B-B-B-B-B-o-o-o-o-o-o-o-o-o
-            | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
-
-                                      ==> form inner product
-
-                    ...............     ...........
-            o-o-o-o-A-A-A-A-A-A-A-A-o-o-B-B-B-B-B-B-o-o-o-o-o-o-o-o-o
-            | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
-            o-o-o-o-A-A-A-A-A-A-A-A-o-o-B-B-B-B-B-B-o-o-o-o-o-o-o-o-o
-
-                                      ==> lateral SVD on each section
-
-                      .....sysa......     ...sysb....
-                      /\             /\   /\         /\
-              ... ~~~E  A~~~~~~~~~~~A  E~E  B~~~~~~~B  E~~~ ...
-                      \/             \/   \/         \/
-
-                                      ==> vertical SVD and unfold on A & B
-
-                              |                 |
-                      /-------A-------\   /-----B-----\
-              ... ~~~E                 E~E             E~~~ ...
-                      \-------A-------/   \-----B-----/
-                              |                 |
-
-        With various special cases including OBC or end spins included in
-        subsytems.
-
-
-        Parameters
-        ----------
-        sysa :  sequence of int
-            The sites, which should be contiguous, defining subsystem A.
-        sysb :  sequence of int
-            The sites, which should be contiguous, defining subsystem B.
-        eps : float or (float, float), optional
-            Tolerance(s) to use when compressing the subsystem transfer
-            matrices and vertically decomposing.
-        method : str or (str, str), optional
-            Method(s) to use for laterally compressing the state then
-            vertially compressing subsytems.
-        max_bond : int or (int, int), optional
-            The maximum bond to keep for laterally compressing the state then
-            vertially compressing subsytems.
-        leave_short : bool, optional
-            If True (the default), don't try to compress short sections.
-        renorm : bool, optional
-            If True (the default), renomalize the state so that ``tr(rho)==1``.
-        lower_ind_id : str, optional
-            The index id to create for the new density matrix, the upper_ind_id
-            is automatically taken as the current site_ind_id.
-        compress_opts : dict, optional
-            If given, supplied to ``partial_trace_compress`` to govern how
-            singular values are treated. See ``tensor_split``.
-        verbosity : {0, 1}, optional
-            How much information to print while performing the compressed
-            partial trace.
-
-        Returns
-        -------
-        rho_ab : TensorNetwork
-            Density matrix tensor network with
-            ``outer_inds = ('k0', 'k1', 'b0', 'b1')`` for example.
-        """
-        N = self.L
-
-        if (len(sysa) + len(sysb) == N) and not self.cyclic:
-            return self.bipartite_schmidt_state(len(sysa), get="rho")
-
-        # parse horizontal and vertical svd tolerances and methods
-        try:
-            heps, veps = eps
-        except (ValueError, TypeError):
-            heps = veps = eps
-        try:
-            hmethod, vmethod = method
-        except (ValueError, TypeError):
-            hmethod = vmethod = method
-        try:
-            hmax_bond, vmax_bond = max_bond
-        except (ValueError, TypeError):
-            hmax_bond = vmax_bond = max_bond
-
-        # the sequence of sites in each of the 'environment' sections
-        envm = range(max(sysa) + 1, min(sysb))
-        envl = range(0, min(sysa))
-        envr = range(max(sysb) + 1, N)
-
-        # spread norm, and if not cyclic put in mixed canonical form, taking
-        # care that the orthogonality centre is in right place to use identity
-        k = self.copy()
-        k.left_canonize()
-        k.right_canonize(max(sysa) + (bool(envm) or bool(envr)))
-
-        # form the inner product
-        b = k.conj()
-        k.add_tag("_KET")
-        b.add_tag("_BRA")
-        kb = k | b
-
-        # label the various partitions
-        names = ("_ENVL", "_SYSA", "_ENVM", "_SYSB", "_ENVR")
-        for name, where in zip(names, (envl, sysa, envm, sysb, envr)):
-            if where:
-                kb.add_tag(name, where=map(self.site_tag, where), which="any")
-
-        if self.cyclic:
-            # can combine right and left envs
-            sections = [envm, sysa, sysb, (*envr, *envl)]
-        else:
-            sections = [envm]
-            # if either system includes end, can ignore and use identity
-            if 0 not in sysa:
-                sections.append(sysa)
-            if N - 1 not in sysb:
-                sections.append(sysb)
-
-        # ignore empty sections
-        sections = list(filter(len, sections))
-
-        # figure out the various indices
-        ul_ur_ll_lrs = []
-        for section in sections:
-            #          ...section[i]....
-            #   ul[i] -o-o-o-o-o-o-o-o-o- ur[i]
-            #          | | | | | | | | |
-            #   ll[i] -o-o-o-o-o-o-o-o-o- lr[i]
-
-            st_left = self.site_tag(section[0] - 1)
-            st_right = self.site_tag(section[0])
-            (ul,) = bonds(kb["_KET", st_left], kb["_KET", st_right])
-            (ll,) = bonds(kb["_BRA", st_left], kb["_BRA", st_right])
-
-            st_left = self.site_tag(section[-1])
-            st_right = self.site_tag(section[-1] + 1)
-            (ur,) = bonds(kb["_KET", st_left], kb["_KET", st_right])
-            (lr,) = bonds(kb["_BRA", st_left], kb["_BRA", st_right])
-
-            ul_ur_ll_lrs.append((ul, ur, ll, lr))
-
-        # lateral compress sections if long
-        compressed = []
-        for section, (ul, _, ll, _) in zip(sections, ul_ur_ll_lrs):
-            self._do_lateral_compress(
-                self,
-                kb,
-                section,
-                leave_short,
-                ul,
-                ll,
-                heps,
-                hmethod,
-                hmax_bond,
-                verbosity,
-                compressed,
-                **compress_opts,
-            )
-
-        # vertical compress and unfold system sections only
-        for section, (ul, ur, ll, lr) in zip(sections, ul_ur_ll_lrs):
-            self._do_vertical_decomp(
-                self,
-                kb,
-                section,
-                sysa,
-                sysb,
-                compressed,
-                ul,
-                ur,
-                ll,
-                lr,
-                vmethod,
-                vmax_bond,
-                veps,
-                verbosity,
-                **compress_opts,
-            )
-
-        if not self.cyclic:
-            # check if either system is at end, and thus reduces to identities
-            #
-            #  A-A-A-A-A-A-A-m-m-m-            \-m-m-m-
-            #  | | | | | | | | | |  ...  ==>     | | |  ...
-            #  A-A-A-A-A-A-A-m-m-m-            /-m-m-m-
-            #
-            if 0 in sysa:
-                # get neighbouring tensor
-                if envm:
-                    try:
-                        TU = TD = kb["_ENVM", "_LEFT"]
-                    except KeyError:
-                        # didn't lateral compress
-                        TU = kb["_ENVM", "_KET", self.site_tag(envm[0])]
-                        TD = kb["_ENVM", "_BRA", self.site_tag(envm[0])]
-                else:
-                    TU = kb["_SYSB", "_UP"]
-                    TD = kb["_SYSB", "_DOWN"]
-                (ubnd,) = kb["_KET", self.site_tag(sysa[-1])].bonds(TU)
-                (lbnd,) = kb["_BRA", self.site_tag(sysa[-1])].bonds(TD)
-
-                # delete the A system
-                kb.delete("_SYSA")
-                kb.reindex_({ubnd: "_tmp_ind_uA", lbnd: "_tmp_ind_lA"})
-            else:
-                # or else replace the left or right envs with identites since
-                #
-                #  >->->->-A-A-A-A-           +-A-A-A-A-
-                #  | | | | | | | |  ...  ==>  | | | | |
-                #  >->->->-A-A-A-A-           +-A-A-A-A-
-                #
-                kb.replace_with_identity("_ENVL", inplace=True)
-
-            if N - 1 in sysb:
-                # get neighbouring tensor
-                if envm:
-                    try:
-                        TU = TD = kb["_ENVM", "_RIGHT"]
-                    except KeyError:
-                        # didn't lateral compress
-                        TU = kb["_ENVM", "_KET", self.site_tag(envm[-1])]
-                        TD = kb["_ENVM", "_BRA", self.site_tag(envm[-1])]
-                else:
-                    TU = kb["_SYSA", "_UP"]
-                    TD = kb["_SYSA", "_DOWN"]
-                (ubnd,) = kb["_KET", self.site_tag(sysb[0])].bonds(TU)
-                (lbnd,) = kb["_BRA", self.site_tag(sysb[0])].bonds(TD)
-
-                # delete the B system
-                kb.delete("_SYSB")
-                kb.reindex_({ubnd: "_tmp_ind_uB", lbnd: "_tmp_ind_lB"})
-            else:
-                kb.replace_with_identity("_ENVR", inplace=True)
-
-        kb.reindex_(
-            {
-                "_tmp_ind_uA": self.site_ind("A"),
-                "_tmp_ind_lA": lower_ind_id.format("A"),
-                "_tmp_ind_uB": self.site_ind("B"),
-                "_tmp_ind_lB": lower_ind_id.format("B"),
-            }
-        )
-
-        if renorm:
-            # normalize
-            norm = kb.trace(["kA", "kB"], ["bA", "bB"])
-
-            ts = []
-            tags = kb.tags
-
-            # check if we have system A
-            if "_SYSA" in tags:
-                ts.extend(kb[sysa[0]])
-
-            # check if we have system B
-            if "_SYSB" in tags:
-                ts.extend(kb[sysb[0]])
-
-            # If we dont' have either (OBC with both at ends) use middle envm
-            if len(ts) == 0:
-                ts.extend(kb[envm[0]])
-
-            nt = len(ts)
-
-            if verbosity > 0:
-                print(f"Renormalizing for norm {norm} among {nt} tensors.")
-
-            # now spread the norm out among tensors
-            for t in ts:
-                t.modify(data=t.data / norm ** (1 / nt))
-
-        return kb
-
-    def logneg_subsys(
-        self,
-        sysa,
-        sysb,
-        compress_opts=None,
-        approx_spectral_opts=None,
-        verbosity=0,
-        approx_thresh=2**12,
-    ):
-        r"""Compute the logarithmic negativity between subsytem blocks, e.g.::
-
-                               sysa         sysb
-                             .........       .....
-            ... -o-o-o-o-o-o-A-A-A-A-A-o-o-o-B-B-B-o-o-o-o-o-o-o- ...
-                 | | | | | | | | | | | | | | | | | | | | | | | |
-
-        Parameters
-        ----------
-        sysa :  sequence of int
-            The sites, which should be contiguous, defining subsystem A.
-        sysb :  sequence of int
-            The sites, which should be contiguous, defining subsystem B.
-        eps : float, optional
-            Tolerance to use when compressing the subsystem transfer matrices.
-        method : str or (str, str), optional
-            Method(s) to use for laterally compressing the state then
-            vertially compressing subsytems.
-        compress_opts : dict, optional
-            If given, supplied to ``partial_trace_compress`` to govern how
-            singular values are treated. See ``tensor_split``.
-        approx_spectral_opts
-            Supplied to :func:`~quimb.approx_spectral_function`.
-
-        Returns
-        -------
-        ln : float
-            The logarithmic negativity.
-
-        See Also
-        --------
-        MatrixProductState.partial_trace_compress, approx_spectral_function
-        """
-        if not self.cyclic and (len(sysa) + len(sysb) == self.L):
-            # pure bipartition with OBC
-            psi = self.bipartite_schmidt_state(len(sysa), get="ket-dense")
-            d = round(psi.shape[0] ** 0.5)
-            return qu.logneg(psi, [d, d])
-
-        compress_opts = ensure_dict(compress_opts)
-        approx_spectral_opts = ensure_dict(approx_spectral_opts)
-
-        # set the default verbosity for each method
-        compress_opts.setdefault("verbosity", verbosity)
-        approx_spectral_opts.setdefault("verbosity", verbosity)
-
-        # form the compressed density matrix representation
-        rho_ab = self.partial_trace_compress(sysa, sysb, **compress_opts)
-
-        # view it as an operator
-        rho_ab_pt_lo = rho_ab.aslinearoperator(["kA", "bB"], ["bA", "kB"])
-
-        if rho_ab_pt_lo.shape[0] <= approx_thresh:
-            tr_norm = norm_trace_dense(rho_ab_pt_lo.to_dense(), isherm=True)
-        else:
-            # estimate its spectrum and sum the abs(eigenvalues)
-            tr_norm = qu.approx_spectral_function(
-                rho_ab_pt_lo, abs, **approx_spectral_opts
-            )
-
-        # clip below 0
-        return max(0, log2(tr_norm))
-
-    @convert_cur_orthog
-    def measure(
-        self,
-        site,
-        remove=False,
-        outcome=None,
-        renorm=True,
-        info=None,
-        get=None,
-        inplace=False,
-    ):
-        r"""Measure this MPS at ``site``, including projecting the state.
-        Optionally remove the site afterwards, yielding an MPS with one less
-        site. In either case the orthogonality center of the returned MPS is
-        ``min(site, new_L - 1)``.
-
-        Parameters
-        ----------
-        site : int
-            The site to measure.
-        remove : bool, optional
-            Whether to remove the site completely after projecting the
-            measurement. If ``True``, sites greater than ``site`` will be
-            retagged and reindex one down, and the MPS will have one less site.
-            E.g::
-
-                0-1-2-3-4-5-6
-                       / / /  - measure and remove site 3
-                0-1-2-4-5-6
-                              - reindex sites (4, 5, 6) to (3, 4, 5)
-                0-1-2-3-4-5
-
-        outcome : None or int, optional
-            Specify the desired outcome of the measurement. If ``None``, it
-            will be randomly sampled according to the local density matrix.
-        renorm : bool, optional
-            Whether to renormalize the state post measurement.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-        get : {None, 'outcome'}, optional
-            If ``'outcome'``, simply return the outcome, and don't perform any
-            projection.
-        inplace : bool, optional
-            Whether to perform the measurement in place or not.
-
-        Returns
-        -------
-        outcome : int
-            The measurement outcome, drawn from ``range(phys_dim)``.
-        psi : MatrixProductState
-            The measured state, if ``get != 'outcome'``.
-        """
-        if self.cyclic:
-            raise ValueError("Not supported on cyclic MPS yet.")
-
-        tn = self if inplace else self.copy()
-        L = tn.L
-        d = self.phys_dim(site)
-
-        # make sure MPS is canonicalized
-        tn.canonicalize_(site, info=info)
-
-        # local tensor and physical dim
-        t = tn[site]
-        ind = tn.site_ind(site)
-
-        # diagonal of reduced density matrix = probs
-        tii = t.contract(t.H, output_inds=(ind,))
-        p = do("real", tii.data)
-
-        if outcome is None:
-            # sample an outcome
-            outcome = do("random.choice", do("arange", d, like=p), p=p)
-
-        if get == "outcome":
-            return outcome
-
-        # project the outcome and renormalize
-        t.isel_({ind: outcome})
-
-        if renorm:
-            t.modify(data=t.data / p[outcome] ** 0.5)
-
-        if remove:
-            # contract the projected tensor into neighbor
-            if site == L - 1:
-                tn ^= slice(site - 1, site + 1)
-            else:
-                tn ^= slice(site, site + 2)
-
-            # adjust structure for one less spin
-            for i in range(site + 1, L):
-                tn[i].reindex_({tn.site_ind(i): tn.site_ind(i - 1)})
-                tn[i].retag_({tn.site_tag(i): tn.site_tag(i - 1)})
-            tn._L = L - 1
-        else:
-            # simply re-expand tensor dimensions (with zeros)
-            t.new_ind(ind, size=d, axis=-1)
-
-        return outcome, tn
-
-    measure_ = functools.partialmethod(measure, inplace=True)
-
-    def sample_configuration(self, seed=None, info=None):
-        """Sample a configuration from this MPS.
-
-        Parameters
-        ----------
-        seed : None, int, or np.random.Generator, optional
-            A random seed or generator to use.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-        """
-        import numpy as np
-
-        # if seed is already a generator this simply returns it
-        rng = np.random.default_rng(seed)
-
-        # right canonicalize
-        psi = self.canonicalize(0, info=info)
-
-        config = []
-        omega = 1.0
-        for i in range(psi.L):
-            # form local density matrix
-            ki = psi[i]
-            bi = ki.H
-            ix = psi.site_ind(i)
-            # contract diagonal to get probabilities
-            pi = (ki & bi).contract(output_inds=[ix]).data
-
-            # sample outcome using numpy
-            pi = do("to_numpy", pi).real
-            pi /= pi.sum()
-            xi = rng.choice(pi.size, p=pi)
-            config.append(xi)
-            # track local probability
-            omega *= pi[xi]
-
-            # project outcome
-            psi.isel_({ix: xi})
-            if i < psi.L - 1:
-                # and absorb projected site into next site
-                psi.contract_tags_([psi.site_tag(i), psi.site_tag(i + 1)])
-
-        return config, omega
-
-    def sample(self, C, seed=None, info=None):
-        """Generate ``C`` samples rom this MPS, along with their probabilities.
-
-        Parameters
-        ----------
-        C : int
-            The number of samples to generate.
-        seed : None, int, or np.random.Generator, optional
-            A random seed or generator to use.
-        info : dict, optional
-            If given, will be used to infer and store various extra
-            information. Currently the key "cur_orthog" is used to store the
-            current orthogonality center.
-
-        Yields
-        ------
-        config : sequence of int
-            The sample configuration.
-        omega : float
-            The probability of this configuration.
-        """
-
-        if info is None:
-            info = {}
-
-        # do right canonicalization once (supplying info avoids re-performing)
-        psi0 = self.canonicalize(0, info=info)
-
-        rng = np.random.default_rng(seed)
-        for _ in range(C):
-            yield psi0.sample_configuration(seed=rng, info=info)
-
-
-class MatrixProductOperator(TensorNetwork1DOperator, TensorNetwork1DFlat):
-    """Initialise a matrix product operator, with auto labelling and tagging.
-
-    Parameters
-    ----------
-    arrays : sequence of arrays
-        The tensor arrays to form into a MPO.
-    sites : sequence of int, optional
-        Construct the MPO on these sites only. If not given, enumerate from
-        zero. Should be monotonically increasing and match ``arrays``.
-    L : int, optional
-        The number of sites the MPO should be defined on. If not given, this is
-        taken as the max ``sites`` value plus one (i.e.g the number of arrays
-        if ``sites`` is not given).
-    shape : str, optional
-        String specifying layout of the tensors. E.g. 'lrud' (the default)
-        indicates the shape corresponds left-bond, right-bond, 'up' physical
-        index, 'down' physical index.
-        End tensors have either 'l' or 'r' dropped from the string.
-    tags : str or sequence of str, optional
-        Global tags to attach to all tensors.
-    upper_ind_id : str
-        A string specifiying how to label the upper physical site indices.
-        Should contain a ``'{}'`` placeholder. It is used to generate the
-        actual indices like: ``map(upper_ind_id.format, range(len(arrays)))``.
-    lower_ind_id : str
-        A string specifiying how to label the lower physical site indices.
-        Should contain a ``'{}'`` placeholder. It is used to generate the
-        actual indices like: ``map(lower_ind_id.format, range(len(arrays)))``.
-    site_tag_id : str
-        A string specifiying how to tag the tensors at each site. Should
-        contain a ``'{}'`` placeholder. It is used to generate the actual tags
-        like: ``map(site_tag_id.format, range(len(arrays)))``.
-    """
-
-    _EXTRA_PROPS = (
-        "_site_tag_id",
-        "_upper_ind_id",
-        "_lower_ind_id",
-        "cyclic",
-        "_L",
-    )
-
-    def __init__(
-        self,
-        arrays,
-        *,
-        sites=None,
-        L=None,
-        shape="lrud",
-        tags=None,
-        upper_ind_id="k{}",
-        lower_ind_id="b{}",
-        site_tag_id="I{}",
-        **tn_opts,
-    ):
-        # short-circuit for copying
-        if isinstance(arrays, MatrixProductOperator):
-            super().__init__(arrays)
-            return
-
-        arrays = tuple(arrays)
-
-        if sites is None:
-            # assume dense
-            sites = range(len(arrays))
-            if L is None:
-                L = len(arrays)
-            num_sites = L
-        else:
-            sites = tuple(sites)
-            if L is None:
-                L = max(sites) + 1
-            num_sites = len(sites)
-
-        self._L = L
-        self._upper_ind_id = upper_ind_id
-        self._lower_ind_id = lower_ind_id
-        self._site_tag_id = site_tag_id
-        self.cyclic = ops.ndim(arrays[0]) == 4
-
-        # this is the perm needed to bring the arrays from
-        # their current `shape`, to the desired 'lrud' order
-        lrud_order = tuple(map(shape.find, "lrud"))
-
-        tensors = []
-        tags = tags_to_oset(tags)
-        bonds = [rand_uuid() for _ in range(num_sites)]
-        bonds.append(bonds[0])
-
-        for i, (site, array) in enumerate(zip(sites, arrays)):
-            inds = []
-
-            if (i == 0) and not self.cyclic:
-                # only right bond
-                order = tuple(shape.replace("l", "").find(x) for x in "rud")
-                inds.append(bonds[i + 1])
-            elif (i == num_sites - 1) and not self.cyclic:
-                # only left bond
-                order = tuple(shape.replace("r", "").find(x) for x in "lud")
-                inds.append(bonds[i])
-            else:
-                order = lrud_order
-                # both bonds
-                inds.append(bonds[i])
-                inds.append(bonds[i + 1])
-
-            # physical indices
-            inds.append(upper_ind_id.format(site))
-            inds.append(lower_ind_id.format(site))
-
-            tensors.append(
-                Tensor(
-                    data=transpose(array, order),
-                    inds=inds,
-                    tags=tags | oset([site_tag_id.format(site)]),
-                )
-            )
-
-        super().__init__(tensors, virtual=True, **tn_opts)
-
-    @classmethod
-    def from_fill_fn(
-        cls,
-        fill_fn,
-        L,
-        bond_dim,
-        phys_dim=2,
-        sites=None,
-        cyclic=False,
-        shape="lrud",
-        tags=None,
-        upper_ind_id="k{}",
-        lower_ind_id="b{}",
-        site_tag_id="I{}",
-    ):
-        """Create an MPO by supplying a 'filling' function to generate the data
-        for each site.
-
-        Parameters
-        ----------
-        fill_fn : callable
-            A function with signature
-            ``fill_fn(shape : tuple[int]) -> array_like``.
-        L : int
-            The number of sites.
-        bond_dim : int
-            The bond dimension.
-        phys_dim : int or Sequence[int], optional
-            The physical dimension(s) of each site, if a sequence it will be
-            cycled over.
-        sites : None or sequence of int, optional
-            Construct the MPO on these sites only. If not given, enumerate from
-            zero.
-        cyclic : bool, optional
-            Whether the MPO should be cyclic (periodic).
-        shape : str, optional
-            String specifying layout of the tensors. E.g. 'lrud' (the default)
-            indicates the shape corresponds left-bond, right-bond, 'up'
-            physical index, 'down' physical index. End tensors have either
-            'l' or 'r' dropped from the string.
-        tags : str or sequence of str, optional
-            Global tags to attach to all tensors.
-        upper_ind_id : str
-            A string specifiying how to label the upper physical site indices.
-            Should contain a ``'{}'`` placeholder.
-        lower_ind_id : str
-            A string specifiying how to label the lower physical site indices.
-            Should contain a ``'{}'`` placeholder.
-        site_tag_id : str, optional
-            How to tag the physical sites. Should contain a ``'{}'``
-            placeholder.
-
-        Returns
-        -------
-        MatrixProductState
-        """
-        if set(shape) - {"l", "r", "u", "d"}:
-            raise ValueError(f"Invalid shape string: {shape}.")
-
-        # check for site varying physical dimensions
-        if isinstance(phys_dim, Integral):
-            phys_dims = itertools.repeat(phys_dim)
-        else:
-            phys_dims = itertools.cycle(phys_dim)
-
-        mpo = cls.new(
-            L=L,
-            cyclic=cyclic,
-            site_tag_id=site_tag_id,
-            upper_ind_id=upper_ind_id,
-            lower_ind_id=lower_ind_id,
-        )
-
-        # which sites are actually present
-        if sites is None:
-            sites = range(L)
-        else:
-            sites = tuple(sites)
-        num_sites = len(sites)
-
-        global_tags = tags_to_oset(tags)
-        bonds = [rand_uuid() for _ in range(num_sites)]
-        bonds.append(bonds[0])
-
-        for i, site in enumerate(sites):
-            p = next(phys_dims)
-            inds = []
-            data_shape = []
-            for c in shape:
-                if c == "l":
-                    if (i - 1) >= 0 or cyclic:
-                        inds.append(bonds[i])
-                        data_shape.append(bond_dim)
-                elif c == "r":
-                    if (i + 1) < L or cyclic:
-                        inds.append(bonds[i + 1])
-                        data_shape.append(bond_dim)
-                elif c == "u":
-                    inds.append(upper_ind_id.format(site))
-                    data_shape.append(p)
-                else:  # c == "d"
-                    inds.append(lower_ind_id.format(site))
-                    data_shape.append(p)
-            data = fill_fn(data_shape)
-            tags = global_tags | oset((site_tag_id.format(site),))
-            mpo |= Tensor(data, inds=inds, tags=tags)
-
-        return mpo
-
-    @classmethod
-    def from_dense(
-        cls,
-        A,
-        dims=2,
-        sites=None,
-        L=None,
-        tags=None,
-        site_tag_id="I{}",
-        upper_ind_id="k{}",
-        lower_ind_id="b{}",
-        **split_opts,
-    ):
-        """Build an MPO from a raw dense matrix.
-
-        Parameters
-        ----------
-        A : array
-            The dense operator, it should be reshapeable to ``(*dims, *dims)``.
-        dims : int, sequence of int, optional
-            The physical subdimensions of the operator. If any integer, assume
-            all sites have the same dimension. If a sequence, the dimension of
-            each site. Default is 2.
-        sites : sequence of int, optional
-            The sites to place the operator on. If None, will place it on
-            first `len(dims)` sites.
-        L : int, optional
-            The total number of sites in the MPO, if the operator represents
-            only a subset.
-        tags : str or sequence of str, optional
-            Global tags to attach to all tensors.
-        site_tag_id : str, optional
-            The string to use to label the site tags.
-        upper_ind_id : str, optional
-            The string to use to label the upper physical indices.
-        lower_ind_id : str, optional
-            The string to use to label the lower physical indices.
-        split_opts
-            Supplied to :func:`~quimb.tensor.tensor_core.tensor_split`.
-
-        Returns
-        -------
-        MatrixProductOperator
-        """
-        set_default_compress_mode(split_opts)
-        # ensure compression is canonical / optimal
-        split_opts.setdefault("absorb", "right")
-
-        # make sure array_like
-        A = ops.asarray(A)
-
-        if isinstance(dims, Integral):
-            # assume all sites have the same dimension
-            ng = round(log(size(A), dims) / 2)
-            dims = (dims,) * ng
-        else:
-            dims = tuple(dims)
-            ng = len(dims)
-
-        if sites is None:
-            sorted_sites = sites = range(ng)
-        else:
-            sorted_sites = sorted(sites)
-
-        if L is None:
-            L = max(sites) + 1
-
-        # create a bare MPO TN object
-        mpo = cls.new(
-            L=L,
-            cyclic=False,
-            upper_ind_id=upper_ind_id,
-            lower_ind_id=lower_ind_id,
-            site_tag_id=site_tag_id,
-        )
-
-        # initial inds and tensor contains desired site order ...
-        uix = [mpo.upper_ind(i) for i in sites]
-        lix = [mpo.lower_ind(i) for i in sites]
-        tm = Tensor(data=reshape(A, (*dims, *dims)), inds=uix + lix)
-
-        # ... but want to create MPO in sorted site order
-        uix = [mpo.upper_ind(i) for i in sorted_sites]
-        lix = [mpo.lower_ind(i) for i in sorted_sites]
-
-        for i, site in enumerate(sorted_sites[:-1]):
-            # progressively split off one more pair of physical indices
-            tl, tm = tm.split(
-                left_inds=None,
-                right_inds=uix[i + 1 :] + lix[i + 1 :],
-                ltags=mpo.site_tag(site),
-                get="tensors",
-                **split_opts,
-            )
-            # add left tensor
-            mpo |= tl
-
-        # add final right tensor
-        tm.add_tag(mpo.site_tag(sorted_sites[-1]))
-        mpo |= tm
-
-        # add global tags
-        if tags is not None:
-            mpo.add_tag(tags)
-
-        return mpo
-
-    def fill_empty_sites(
-        self, mode="full", phys_dim=None, fill_array=None, inplace=False
-    ):
-        """Fill any empty sites of this MPO with identity tensors, adding
-        size 1 bonds or draping existing bonds where necessary such that the
-        resulting tensor has nearest neighbor bonds only.
-
-        Parameters
-        ----------
-        mode : {'full', 'minimal'}, optional
-            Whether to fill in all sites, including at either end, or simply
-            the minimal range covering the min to max current sites present.
-        phys_dim : int, optional
-            The physical dimension of the identity tensors to add. If not
-            specified, will use the upper physical dimension of the first
-            present site.
-        fill_array : array, optional
-            The array to use for the identity tensors. If not specified, will
-            use the identity array of the same dtype as the first present site.
-        inplace : bool, optional
-            Whether to perform the operation inplace.
-
-        Returns
-        -------
-        MatrixProductOperator
-            The modified MPO.
-        """
-        mpo = self if inplace else self.copy()
-
-        sites_present = tuple(mpo.gen_sites_present())
-        sites_present_set = set(sites_present)
-        sitei = sites_present[0]
-        sitef = sites_present[-1]
-
-        if fill_array is None:
-            t0 = mpo[sitei]
-            if phys_dim is None:
-                d = mpo.phys_dim(sitei)
-            fill_array = do("eye", d, dtype=t0.dtype, like=t0.data)
-
-        if mode == "full":
-            sites_to_add = [
-                site for site in range(mpo.L) if site not in sites_present_set
-            ]
-        elif mode == "minimal":
-            sites_to_add = [
-                site
-                for site in range(sitei, sitef + 1)
-                if site not in sites_present_set
-            ]
-        else:
-            sites_to_add = list(mode)
-        sites_to_add_set = set(sites_to_add)
-
-        new_sites = list(sites_present)
-        new_sites.extend(sites_to_add)
-        new_sites.sort()
-
-        # add desired identites
-        for site in sites_to_add:
-            mpo |= Tensor(
-                data=fill_array,
-                inds=(mpo.upper_ind(site), mpo.lower_ind(site)),
-                tags=mpo.site_tag(site),
-            )
-
-        # connect up between existing tensors
-        for si, sj in pairwise(sites_present):
-            if bonds(mpo[si], mpo[sj]):
-                # existing bond -> drape it thru
-                sl = si
-                for k in range(si + 1, sj):
-                    if k in sites_to_add_set:
-                        mpo.drape_bond_between_(sl, sj, k)
-                        sl = k
-
-            else:
-                # no bond -> just add bond dim 1
-                sl = si
-                for k in range(si, sj - 1):
-                    if k in sites_to_add_set:
-                        new_bond(mpo[sl], mpo[k])
-                        sl = k
-                new_bond(mpo[sl], mpo[sj])
-
-        # connect up on either side of existing patch
-        for si, sj in pairwise(new_sites):
-            if (sj <= sitei) or (si >= sitef):
-                new_bond(mpo[si], mpo[sj])
-
-        return mpo
-
-    fill_empty_sites_ = functools.partialmethod(fill_empty_sites, inplace=True)
-
-    def add_MPO(self, other, inplace=False, **kwargs):
-        return tensor_network_ag_sum(self, other, inplace=inplace, **kwargs)
-
-    add_MPO_ = functools.partialmethod(add_MPO, inplace=True)
-
-    def _apply_mps(
-        self, other, compress=False, contract=True, **compress_opts
-    ):
-        return tensor_network_apply_op_vec(
-            A=self,
-            x=other,
-            compress=compress,
-            contract=contract,
-            **compress_opts,
-        )
-
-    def _apply_mpo(
-        self, other, compress=False, contract=True, **compress_opts
-    ):
-        return tensor_network_apply_op_op(
-            A=self,
-            B=other,
-            contract=contract,
-            compress=compress,
-            **compress_opts,
-        )
-
-    def apply(self, other, compress=False, **compress_opts):
-        r"""Act with this MPO on another MPO or MPS, such that the resulting
-        object has the same tensor network structure/indices as ``other``.
-
-        For an MPS::
-
-                   | | | | | | | | | | | | | | | | | |
-             self: A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A
-                   | | | | | | | | | | | | | | | | | |
-            other: x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x
-
-                                   -->
-
-                   | | | | | | | | | | | | | | | | | |   <- other.site_ind_id
-              out: y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y=y
-
-        For an MPO::
-
-                   | | | | | | | | | | | | | | | | | |
-             self: A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A-A
-                   | | | | | | | | | | | | | | | | | |
-            other: B-B-B-B-B-B-B-B-B-B-B-B-B-B-B-B-B-B
-                   | | | | | | | | | | | | | | | | | |
-
-                                   -->
-
-                   | | | | | | | | | | | | | | | | | |   <- other.upper_ind_id
-              out: C=C=C=C=C=C=C=C=C=C=C=C=C=C=C=C=C=C
-                   | | | | | | | | | | | | | | | | | |   <- other.lower_ind_id
-
-        The resulting TN will have the same structure/indices as ``other``, but
-        probably with larger bonds (depending on compression).
-
-
-        Parameters
-        ----------
-        other : MatrixProductOperator or MatrixProductState
-            The object to act on.
-        compress : bool, optional
-            Whether to compress the resulting object.
-        compress_opts
-            Supplied to :meth:`TensorNetwork1DFlat.compress`.
-
-        Returns
-        -------
-        MatrixProductOperator or MatrixProductState
-        """
-        if isinstance(other, MatrixProductState):
-            return self._apply_mps(other, compress=compress, **compress_opts)
-        elif isinstance(other, MatrixProductOperator):
-            return self._apply_mpo(other, compress=compress, **compress_opts)
-        else:
-            raise TypeError(
-                "Can only Dot with a MatrixProductOperator or a "
-                f"MatrixProductState, got {type(other)}"
-            )
-
-    dot = apply
-
-    def permute_arrays(self, shape="lrud"):
-        """Permute the indices of each tensor in this MPO to match ``shape``.
-        This doesn't change how the overall object interacts with other tensor
-        networks but may be useful for extracting the underlying arrays
-        consistently. This is an inplace operation.
-
-        Parameters
-        ----------
-        shape : str, optional
-            A permutation of ``'lrud'`` specifying the desired order of the
-            left, right, upper and lower (down) indices respectively.
-        """
-        for i in self.gen_sites_present():
-            temp = self[i]
-            if len(temp._inds) == 2:
-                inds = {}
-            else:
-                inds = {"u": self.upper_ind(i), "d": self.lower_ind(i)}
-            if self.cyclic or i > 0:
-                inds["l"] = self.bond(i, (i - 1) % self.L)
-            if self.cyclic or i < self.L - 1:
-                inds["r"] = self.bond(i, (i + 1) % self.L)
-            inds = [inds[s] for s in shape if s in inds]
-            self[i].transpose_(*inds)
-
-    def trace(self, left_inds=None, right_inds=None):
-        """Take the trace of this MPO."""
-        if left_inds is None:
-            left_inds = map(self.upper_ind, self.gen_sites_present())
-        if right_inds is None:
-            right_inds = map(self.lower_ind, self.gen_sites_present())
-
-        return super().trace(left_inds, right_inds)
-
-    def partial_transpose(self, sysa, inplace=False):
-        """Perform the partial transpose on this MPO by swapping the bra and
-        ket indices on sites in ``sysa``.
-
-        Parameters
-        ----------
-        sysa : sequence of int or int
-            The sites to transpose indices on.
-        inplace : bool, optional
-            Whether to perform the partial transposition inplace.
-
-        Returns
-        -------
-        MatrixProductOperator
-        """
-        tn = self if inplace else self.copy()
-
-        if isinstance(sysa, Integral):
-            sysa = (sysa,)
-
-        tmp_ind_id = "__tmp_{}__"
-
-        tn.reindex_({tn.upper_ind(i): tmp_ind_id.format(i) for i in sysa})
-        tn.reindex_({tn.lower_ind(i): tn.upper_ind(i) for i in sysa})
-        tn.reindex_({tmp_ind_id.format(i): tn.lower_ind(i) for i in sysa})
-        return tn
-
-    def rand_state(self, bond_dim, **mps_opts):
-        """Get a random vector matching this MPO."""
-        return qu.tensor.MPS_rand_state(
-            self.L,
-            bond_dim=bond_dim,
-            phys_dim=[self.phys_dim(i) for i in self.gen_sites_present()],
-            dtype=self.dtype,
-            cyclic=self.cyclic,
-            **mps_opts,
-        )
-
-    def identity(self, **mpo_opts):
-        """Get a identity matching this MPO."""
-        return qu.tensor.MPO_identity_like(self, **mpo_opts)
-
-    def show(self, max_width=None):
-        l1 = ""
-        l2 = ""
-        l3 = ""
-        num_can_l, num_can_r = self.count_canonized()
-        for i in range(self.L - 1):
-            bdim = self.bond_size(i, i + 1)
-            strl = len(str(bdim))
-            l1 += f"│{bdim}"
-            l2 += (
-                ">"
-                if i < num_can_l
-                else "<"
-                if i >= self.L - num_can_r
-                else "●"
-            ) + ("─" if bdim < 100 else "━") * strl
-            l3 += "│" + " " * strl
-
-        l1 += "│"
-        l2 += "<" if num_can_r > 0 else "●"
-        l3 += "│"
-
-        if self.cyclic:
-            bdim = self.bond_size(0, self.L - 1)
-            bnd_str = ("─" if bdim < 100 else "━") * strl
-            l1 = f" {bdim}{l1}{bdim} "
-            l2 = f"+{bnd_str}{l2}{bnd_str}+"
-            l3 = f" {' ' * strl}{l3}{' ' * strl} "
-
-        print_multi_line(l1, l2, l3, max_width=max_width)
-
-
-class Dense1D(TensorNetwork1DVector):
-    """Mimics other 1D tensor network structures, but really just keeps the
-    full state in a single tensor. This allows e.g. applying gates in the same
-    way for quantum circuit simulation as lazily represented hilbert spaces.
-
-    Parameters
-    ----------
-    array : array_like
-        The full hilbert space vector - assumed to be made of equal hilbert
-        spaces each of size ``phys_dim`` and will be reshaped as such.
-    phys_dim : int, optional
-        The hilbert space size of each site, default: 2.
-    tags : sequence of str, optional
-        Extra tags to add to the tensor network.
-    site_ind_id : str, optional
-        String formatter describing how to label the site indices.
-    site_tag_id : str, optional
-        String formatter describing how to label the site tags.
-    tn_opts
-        Supplied to :class:`~quimb.tensor.tensor_core.TensorNetwork`.
-    """
-
-    _EXTRA_PROPS = (
-        "_site_ind_id",
-        "_site_tag_id",
-        "_L",
-    )
-
-    def __init__(
-        self,
-        array,
-        phys_dim=2,
-        tags=None,
-        site_ind_id="k{}",
-        site_tag_id="I{}",
-        **tn_opts,
-    ):
-        # copy short-circuit
-        if isinstance(array, Dense1D):
-            super().__init__(array)
-            return
-
-        # work out number of sites and sub-dimensions etc.
-        self._L = qu.infer_size(array, base=phys_dim)
-        dims = [phys_dim] * self.L
-        data = ops.asarray(array).reshape(*dims)
-
-        # process site indices
-        self._site_ind_id = site_ind_id
-        site_inds = [self.site_ind(i) for i in range(self.L)]
-
-        # process site tags
-        self._site_tag_id = site_tag_id
-        site_tags = oset(self.site_tag(i) for i in range(self.L))
-
-        if tags is not None:
-            # mix in global tags
-            site_tags = tags_to_oset(tags) | site_tags
-
-        T = Tensor(data=data, inds=site_inds, tags=site_tags)
-
-        super().__init__([T], virtual=True, **tn_opts)
-
-    @classmethod
-    def rand(cls, n, phys_dim=2, dtype=float, **dense1d_opts):
-        """Create a random dense vector 'tensor network'."""
-        array = qu.randn(phys_dim**n, dtype=dtype)
-        array /= qu.norm(array, "fro")
-        return cls(array, **dense1d_opts)
-
-
-class SuperOperator1D(TensorNetwork1D):
-    r"""A 1D tensor network super-operator class::
-
-        0   1   2       n-1
-        |   |   |        |     <-- outer_upper_ind_id
-        O===O===O==     =O
-        |\  |\  |\       |\     <-- inner_upper_ind_id
-          )   )   ) ...    )   <-- K (size of local Kraus sum)
-        |/  |/  |/       |/     <-- inner_lower_ind_id
-        O===O===O==     =O
-        |   | : |        |     <-- outer_lower_ind_id
-              :
-             chi (size of entangling bond dim)
-
-    Parameters
-    ----------
-    arrays : sequence of arrays
-        The data arrays defining the superoperator, this should be a sequence
-        of 2n arrays, such that the first two correspond to the upper and lower
-        operators acting on site 0 etc. The arrays should be 5 dimensional
-        unless OBC conditions are desired, in which case the first two and last
-        two should be 4-dimensional. The dimensions of array can be should
-        match the ``shape`` option.
-
-    """
-
-    _EXTRA_PROPS = (
-        "_site_tag_id",
-        "_outer_upper_ind_id",
-        "_inner_upper_ind_id",
-        "_inner_lower_ind_id",
-        "_outer_lower_ind_id",
-        "cyclic",
-        "_L",
-    )
-
-    def __init__(
-        self,
-        arrays,
-        shape="lrkud",
-        site_tag_id="I{}",
-        outer_upper_ind_id="kn{}",
-        inner_upper_ind_id="k{}",
-        inner_lower_ind_id="b{}",
-        outer_lower_ind_id="bn{}",
-        tags=None,
-        tags_upper=None,
-        tags_lower=None,
-        **tn_opts,
-    ):
-        # short-circuit for copying
-        if isinstance(arrays, SuperOperator1D):
-            super().__init__(arrays)
-            return
-
-        arrays = tuple(arrays)
-        self._L = len(arrays) // 2
-
-        # process indices
-        self._outer_upper_ind_id = outer_upper_ind_id
-        self._inner_upper_ind_id = inner_upper_ind_id
-        self._inner_lower_ind_id = inner_lower_ind_id
-        self._outer_lower_ind_id = outer_lower_ind_id
-
-        sites_present = tuple(self.gen_sites_present())
-        outer_upper_inds = map(outer_upper_ind_id.format, sites_present)
-        inner_upper_inds = map(inner_upper_ind_id.format, sites_present)
-        inner_lower_inds = map(inner_lower_ind_id.format, sites_present)
-        outer_lower_inds = map(outer_lower_ind_id.format, sites_present)
-
-        # process tags
-        self._site_tag_id = site_tag_id
-        tags = tags_to_oset(tags)
-        tags_upper = tags_to_oset(tags_upper)
-        tags_lower = tags_to_oset(tags_lower)
-
-        def gen_tags():
-            for site_tag in self.site_tags:
-                yield (site_tag,) + tags + tags_upper
-                yield (site_tag,) + tags + tags_lower
-
-        self.cyclic = ops.ndim(arrays[0]) == 5
-
-        # transpose arrays to 'lrkud' order
-        #        u
-        #        |
-        #     l--O--r
-        #        |\
-        #        d k
-        def gen_orders():
-            lkud_ord = tuple(shape.replace("r", "").find(x) for x in "lkud")
-            rkud_ord = tuple(shape.replace("l", "").find(x) for x in "rkud")
-            lrkud_ord = tuple(map(shape.find, "lrkud"))
-            yield rkud_ord if not self.cyclic else lrkud_ord
-            yield rkud_ord if not self.cyclic else lrkud_ord
-            for _ in range(self.L - 2):
-                yield lrkud_ord
-                yield lrkud_ord
-            yield lkud_ord if not self.cyclic else lrkud_ord
-            yield lkud_ord if not self.cyclic else lrkud_ord
-
-        def gen_inds():
-            #                    |<- outer_upper_ind
-            # cycU_ix or pU_ix --O-- nU_ix
-            #                   /|<- inner_upper_ind
-            #           k_ix ->(
-            #                   \|<- inner_lower_ind
-            # cycL_ix or pL_ix --O-- nL_ix
-            #                    |<- outer_lower_ind
-            if self.cyclic:
-                cycU_ix, cycL_ix = (rand_uuid(),), (rand_uuid(),)
-            else:
-                cycU_ix, cycL_ix = (), ()
-            nU_ix, nL_ix, k_ix = rand_uuid(), rand_uuid(), rand_uuid()
-            yield (
-                *cycU_ix,
-                nU_ix,
-                k_ix,
-                next(outer_upper_inds),
-                next(inner_upper_inds),
-            )
-            yield (
-                *cycL_ix,
-                nL_ix,
-                k_ix,
-                next(outer_lower_inds),
-                next(inner_lower_inds),
-            )
-            pU_ix, pL_ix = nU_ix, nL_ix
-            for _ in range(self.L - 2):
-                nU_ix, nL_ix, k_ix = rand_uuid(), rand_uuid(), rand_uuid()
-                yield (
-                    pU_ix,
-                    nU_ix,
-                    k_ix,
-                    next(outer_upper_inds),
-                    next(inner_upper_inds),
-                )
-                yield (
-                    pL_ix,
-                    nL_ix,
-                    k_ix,
-                    next(outer_lower_inds),
-                    next(inner_lower_inds),
-                )
-                pU_ix, pL_ix = nU_ix, nL_ix
-            k_ix = rand_uuid()
-            yield (
-                pU_ix,
-                *cycU_ix,
-                k_ix,
-                next(outer_upper_inds),
-                next(inner_upper_inds),
-            )
-            yield (
-                pL_ix,
-                *cycL_ix,
-                k_ix,
-                next(outer_lower_inds),
-                next(inner_lower_inds),
-            )
-
-        def gen_tensors():
-            for array, tags, inds, order in zip(
-                arrays, gen_tags(), gen_inds(), gen_orders()
-            ):
-                yield Tensor(transpose(array, order), inds=inds, tags=tags)
-
-        super().__init__(gen_tensors(), virtual=True, **tn_opts)
-
-    @classmethod
-    def rand(
-        cls,
-        n,
-        K,
-        chi,
-        phys_dim=2,
-        herm=True,
-        cyclic=False,
-        dtype=complex,
-        **superop_opts,
-    ):
-        def gen_arrays():
-            for i in range(n):
-                shape = []
-                if cyclic or (i != 0):
-                    shape += [chi]
-                if cyclic or (i != n - 1):
-                    shape += [chi]
-                shape += [K, phys_dim, phys_dim]
-                data = qu.randn(shape=shape, dtype=dtype)
-                yield data
-                if herm:
-                    yield data.conj()
-                else:
-                    yield qu.randn(shape=shape, dtype=dtype)
-
-        arrays = map(ops.sensibly_scale, gen_arrays())
-
-        return cls(arrays, **superop_opts)
-
-    @property
-    def outer_upper_ind_id(self):
-        return self._outer_upper_ind_id
-
-    @property
-    def inner_upper_ind_id(self):
-        return self._inner_upper_ind_id
-
-    @property
-    def inner_lower_ind_id(self):
-        return self._inner_lower_ind_id
-
-    @property
-    def outer_lower_ind_id(self):
-        return self._outer_lower_ind_id
-
-
-class TNLinearOperator1D(spla.LinearOperator):
-    r"""A 1D tensor network linear operator like::
-
-                 start                 stop - 1
-                   .                     .
-                 :-O-O-O-O-O-O-O-O-O-O-O-O-:                 --+
-                 : | | | | | | | | | | | | :                   |
-                 :-H-H-H-H-H-H-H-H-H-H-H-H-:    acting on    --V
-                 : | | | | | | | | | | | | :                   |
-                 :-O-O-O-O-O-O-O-O-O-O-O-O-:                 --+
-        left_inds^                         ^right_inds
-
-    Like :class:`~quimb.tensor.tensor_core.TNLinearOperator`, but performs a
-    structured contract from one end to the other than can handle very long
-    chains possibly more efficiently by contracting in blocks from one end.
-
-
-    Parameters
-    ----------
-    tn : TensorNetwork
-        The tensor network to turn into a ``LinearOperator``.
-    left_inds : sequence of str
-        The left indicies.
-    right_inds : sequence of str
-        The right indicies.
-    start : int
-        Index of starting site.
-    stop : int
-        Index of stopping site (does not include this site).
-    ldims : tuple of int, optional
-        If known, the dimensions corresponding to ``left_inds``.
-    rdims : tuple of int, optional
-        If known, the dimensions corresponding to ``right_inds``.
-
-    See Also
-    --------
-    TNLinearOperator
-    """
-
-    def __init__(
-        self,
-        tn,
-        left_inds,
-        right_inds,
-        start,
-        stop,
-        ldims=None,
-        rdims=None,
-        is_conj=False,
-        is_trans=False,
-    ):
-        self.tn = tn
-        self.start, self.stop = start, stop
-
-        if ldims is None or rdims is None:
-            ind_sizes = tn.ind_sizes()
-            ldims = tuple(ind_sizes[i] for i in left_inds)
-            rdims = tuple(ind_sizes[i] for i in right_inds)
-
-        self.left_inds, self.right_inds = left_inds, right_inds
-        self.ldims, ld = ldims, qu.prod(ldims)
-        self.rdims, rd = rdims, qu.prod(rdims)
-        self.tags = self.tn.tags
-
-        # conjugate inputs/ouputs rather all tensors if necessary
-        self.is_conj = is_conj
-        self.is_trans = is_trans
-        self._conj_linop = None
-        self._adjoint_linop = None
-        self._transpose_linop = None
-
-        super().__init__(dtype=self.tn.dtype, shape=(ld, rd))
-
-    def _matvec(self, vec):
-        in_data = reshape(vec, self.rdims)
-
-        if self.is_conj:
-            in_data = conj(in_data)
-
-        if self.is_trans:
-            i, f, s = self.start, self.stop, 1
-        else:
-            i, f, s = self.stop - 1, self.start - 1, -1
-
-        # add the vector to the right of the chain
-        tnc = self.tn | Tensor(in_data, self.right_inds, tags=["_VEC"])
-        tnc.view_like_(self.tn)
-        # tnc = self.tn.copy()
-        # tnc |= Tensor(in_data, self.right_inds, tags=['_VEC'])
-
-        # absorb it into the rightmost site
-        tnc ^= ["_VEC", self.tn.site_tag(i)]
-
-        # then do a structured contract along the whole chain
-        out_T = tnc ^ slice(i, f, s)
-
-        out_data = out_T.transpose_(*self.left_inds).data.ravel()
-        if self.is_conj:
-            out_data = conj(out_data)
-
-        return out_data
-
-    def _matmat(self, mat):
-        d = mat.shape[-1]
-        in_data = reshape(mat, (*self.rdims, d))
-
-        if self.is_conj:
-            in_data = conj(in_data)
-
-        if self.is_trans:
-            i, f, s = self.start, self.stop, 1
-        else:
-            i, f, s = self.stop - 1, self.start - 1, -1
-
-        # add the vector to the right of the chain
-        in_ix = (*self.right_inds, "_mat_ix")
-
-        tnc = self.tn | Tensor(in_data, inds=in_ix, tags=["_VEC"])
-        tnc.view_like_(self.tn)
-        # tnc = self.tn.copy()
-        # tnc |= Tensor(in_data, inds=in_ix, tags=['_VEC'])
-
-        # absorb it into the rightmost site
-        tnc ^= ["_VEC", self.tn.site_tag(i)]
-
-        # then do a structured contract along the whole chain
-        out_T = tnc ^ slice(i, f, s)
-
-        out_ix = (*self.left_inds, "_mat_ix")
-        out_data = reshape(out_T.transpose_(*out_ix).data, (-1, d))
-        if self.is_conj:
-            out_data = conj(out_data)
-
-        return out_data
-
-    def copy(self, conj=False, transpose=False):
-        if transpose:
-            inds = (self.right_inds, self.left_inds)
-            dims = (self.rdims, self.ldims)
-            is_trans = not self.is_trans
-        else:
-            inds = (self.left_inds, self.right_inds)
-            dims = (self.ldims, self.rdims)
-            is_trans = self.is_trans
-
-        if conj:
-            is_conj = not self.is_conj
-        else:
-            is_conj = self.is_conj
-
-        return TNLinearOperator1D(
-            self.tn,
-            *inds,
-            self.start,
-            self.stop,
-            *dims,
-            is_conj=is_conj,
-            is_trans=is_trans,
-        )
-
-    def conj(self):
-        if self._conj_linop is None:
-            self._conj_linop = self.copy(conj=True)
-        return self._conj_linop
-
-    def _transpose(self):
-        if self._transpose_linop is None:
-            self._transpose_linop = self.copy(transpose=True)
-        return self._transpose_linop
-
-    def _adjoint(self):
-        """Hermitian conjugate of this TNLO."""
-        # cache the adjoint
-        if self._adjoint_linop is None:
-            self._adjoint_linop = self.copy(conj=True, transpose=True)
-        return self._adjoint_linop
-
-    def to_dense(self):
-        T = self.tn ^ slice(self.start, self.stop)
-
-        if self.is_conj:
-            T = T.conj()
-
-        return T.to_dense(self.left_inds, self.right_inds)
-
-    def toarray(self):
-        return self.to_dense()
-
-    @property
-    def A(self):
-        return self.to_dense()