partial_trace

Assumes <code>expr</code> is a 2D square matrix representing a Kronecker product
of <code>length(dims)</code> subsystems. Returns the partial trace over the
subsystem at index <code>axis</code> (1-indexed).

An object-oriented modeling language for disciplined
convex programming (DCP) as described in Fu, Narasimhan, and Boyd
(2020, <doi:10.18637/jss.v094.i14>). It allows the user to
formulate convex optimization problems in a natural way following
mathematical convention and DCP rules. The system analyzes the
problem, verifies its convexity, converts it into a canonical
form, and hands it off to an appropriate solver to obtain the
solution. This version uses the S7 object system for improved
performance and maintainability.

Anqi Fu

CVXR

Disciplined Convex Optimization

Balasubramanian Narasimhan

Steven Diamond

John Miller

Stephen Boyd

partial_trace function

<dl><dt>expr</dt>
<dd>An Expression (2D square matrix)</dd>
<dt>dims</dt>
<dd>Integer vector of subsystem dimensions</dd>
<dt>axis</dt>
<dd>Integer (1-indexed) subsystem to trace out</dd></dl>

Arguments

Partial trace of a tensor product expression — partial_trace

<dl>

<dt>expr</dt>
<dd>An Expression (2D square matrix)</dd>


<dt>dims</dt>
<dd>Integer vector of subsystem dimensions</dd>


<dt>axis</dt>
<dd>Integer (1-indexed) subsystem to trace out</dd>

</dl>

partial_trace: Partial trace of a tensor product expression

Description

Usage

Value

Arguments