Header menu logo Encodings

LadderOperatorSumExpr<'algebra> Type

A sum expression of ladder operators parameterized by a combining algebra (e.g., fermionic anti-commutation relations).

This type represents a sum of product terms of indexed ladder operators. The algebra parameter determines how operators combine when reordering (e.g., fermionic operators anti-commute, generating sign changes).

Instance members

Instance member Description

this.AllTermsIndexOrdered

Full Usage: this.AllTermsIndexOrdered

Returns: bool
Returns: bool

this.AllTermsNormalOrdered

Full Usage: this.AllTermsNormalOrdered

Returns: bool
Returns: bool

this.Coeff

Full Usage: this.Coeff

Returns: Complex
Returns: Complex

this.ProductTerms

Full Usage: this.ProductTerms

Returns: Lazy<P<IxOp<uint32, LadderOperatorUnit>> array>
Returns: Lazy<P<IxOp<uint32, LadderOperatorUnit>> array>

Static members

Static member Description

l * r

Full Usage: l * r

Parameters:
Returns: LadderOperatorSumExpression

l + r

Full Usage: l + r

Parameters:
Returns: LadderOperatorSumExpression

LadderOperatorSumExpr.ConstructIndexOrdered(candidate)

Full Usage: LadderOperatorSumExpr.ConstructIndexOrdered(candidate)

Parameters:
Returns: LadderOperatorSumExpr<'algebra> option The index-ordered sum expression, or None if construction fails.

Constructs an index-ordered version of the given sum expression.

First normal-orders the expression, then sorts raise operators in ascending order by index and lower operators in descending order by index. This canonical form is useful for comparing operator expressions.

candidate : S<IxOp<uint32, LadderOperatorUnit>>

The sum expression to index-order.

Returns: LadderOperatorSumExpr<'algebra> option

The index-ordered sum expression, or None if construction fails.

LadderOperatorSumExpr.ConstructNormalOrdered(candidate)

Full Usage: LadderOperatorSumExpr.ConstructNormalOrdered(candidate)

Parameters:
Returns: LadderOperatorSumExpr<'algebra> option The normal-ordered sum expression, or None if construction fails.

Constructs a normal-ordered version of the given sum expression.

Uses the combining algebra to apply commutation/anti-commutation relations. For fermionic operators, each swap of adjacent operators introduces a factor of −1, and swapping a†ᵢ past aᵢ generates delta terms. The result has all creation operators (a†) to the left of all annihilation operators (a).

candidate : S<IxOp<uint32, LadderOperatorUnit>>

The sum expression to normal-order.

Returns: LadderOperatorSumExpr<'algebra> option

The normal-ordered sum expression, or None if construction fails.

LadderOperatorSumExpr.TryCreateFromString

Full Usage: LadderOperatorSumExpr.TryCreateFromString

Returns: String -> LadderOperatorSumExpr<'algebra> option
Returns: String -> LadderOperatorSumExpr<'algebra> option

Type something to start searching.