ConjugatedByA function

  • Article

Warning

This documentation refers to the Classic QDK, which has been replaced by the Modern QDK.

Please see https://aka.ms/qdk.api for the API documentation for the Modern QDK.

Namespace: Microsoft.Quantum.Canon

Package: Microsoft.Quantum.Standard

Given outer and inner operations, returns a new operation that conjugates the inner operation by the outer operation.

function ConjugatedByA<'T> (outerOperation : ('T => Unit is Adj), innerOperation : ('T => Unit is Adj)) : ('T => Unit is Adj)

Input

outerOperation : 'T => Unit is Adj

The operation $U$ that should be used to conjugate $V$. Note that the outer operation $U$ needs to be adjointable, but does not need to be controllable.

innerOperation : 'T => Unit is Adj

The operation $V$ being conjugated.

Output : 'T => Unit is Adj

A new operation whose action is represented by the unitary $U^{\dagger} V U$.

Type Parameters

'T

The type of the target on which each of the inner and outer operations act.

Remarks

The outer operation is always assumed to be adjointable, but does not need to be controllable in order for the combined operation to be controllable.

See Also