Header menu logo Encodings

LadderOperatorUnit Type

Represents the type of a fermionic ladder operator.

Ladder operators are fundamental building blocks in second quantization:

  • Identity - The identity operator (no operation)
  • Raise - Creation operator a†, creates a fermion in an orbital
  • Lower - Annihilation operator a, removes a fermion from an orbital

String representation: "I" for Identity, "u" for Raise (up), "d" for Lower (down).

Union cases

Union case Description

Identity

Full Usage: Identity

Lower

Full Usage: Lower

Raise

Full Usage: Raise

Instance members

Instance member Description

this.AsString

Full Usage: this.AsString

Returns: Lazy<string>
Returns: Lazy<string>

this.IsIdentity

Full Usage: this.IsIdentity

Returns: bool
Returns: bool

this.IsLower

Full Usage: this.IsLower

Returns: bool
Returns: bool

this.IsRaise

Full Usage: this.IsRaise

Returns: bool
Returns: bool

Static members

Static member Description

LadderOperatorUnit.Apply

Full Usage: LadderOperatorUnit.Apply

Returns: string -> LadderOperatorUnit option
Returns: string -> LadderOperatorUnit option

LadderOperatorUnit.FromTuple(ladderOperatorUnit, index)

Full Usage: LadderOperatorUnit.FromTuple(ladderOperatorUnit, index)

Parameters:
    ladderOperatorUnit : 'a - The type of ladder operator (Raise or Lower).
    index : 'b - The spin-orbital index for the operator.

Returns: IxOp<'b, 'a> An indexed operator combining the operator type and orbital index.

Creates an indexed ladder operator from a tuple of (operator, index).

ladderOperatorUnit : 'a

The type of ladder operator (Raise or Lower).

index : 'b

The spin-orbital index for the operator.

Returns: IxOp<'b, 'a>

An indexed operator combining the operator type and orbital index.

LadderOperatorUnit.FromUnit

Full Usage: LadderOperatorUnit.FromUnit

Returns: bool * uint32 -> IxOp<uint32, LadderOperatorUnit>
Returns: bool * uint32 -> IxOp<uint32, LadderOperatorUnit>

LadderOperatorUnit.TryCreateFromString

Full Usage: LadderOperatorUnit.TryCreateFromString

Returns: string -> IxOp<uint32, LadderOperatorUnit> option
Returns: string -> IxOp<uint32, LadderOperatorUnit> option

Type something to start searching.