Class ComplexSchur

java.lang.Object
org.flag4j.linalg.decompositions.Decomposition<CMatrix>
org.flag4j.linalg.decompositions.schur.Schur<CMatrix,Complex128[]>
org.flag4j.linalg.decompositions.schur.ComplexSchur
Type Parameters:
T - The type of matrix to be decomposed.
U - The type for the internal storage data structure of the matrix to be decomposed.
public class ComplexSchur extends Schur<CMatrix,Complex128[]>

Instanced of this class can be used for computing the Schur decomposition of a real dense square matrix.

The Schur decomposition decomposes a given square matrix \( A \) into: \[ A = UTU^{T} \] where \( U \) is an orthogonal matrix \( T \) is a quasi-upper triangular matrix known as the Schur form of \( A \). This means \( T \) is upper triangular except for possibly \( 2\times2 \) blocks along its diagonal, which correspond to complex conjugate pairs of eigenvalues.

The Schur decomposition proceeds by an iterative algorithm with possible random behavior. For reproducibility, constructors support specifying a seed for the pseudo-random number generator.

Usage:

The decomposition workflow typically follows these steps:
  1. Instantiate an instance of ComplexSchur.
  2. Call decompose(CMatrix) to perform the factorization.
  3. Retrieve the resulting matrices using Schur.getU() and Schur.getT().

Efficiency Considerations:

If eigenvectors are not required, setting computeU = false may improve performance.

This class was inspired by code from the EJML library and the description of the Francis implicit double shifted QR algorithm from Fundamentals of Matrix Computations 3rd Edition by David S. Watkins.

See Also:

  • Field Details

    • norm

      protected Complex128 norm
      For computing the norm of a column for use when computing Householder reflectors.

    • currentFactor

      protected Complex128 currentFactor
      Stores the scalar factor \( \alpha \) for use in computation of the Householder reflector \( P = I - \alpha vv^{T} \).

  • Constructor Details

    • ComplexSchur

      public ComplexSchur()

      Creates a decomposer to compute the Schur decomposition for a complex dense matrix.

      Note: This decomposer may use random numbers during the decomposition. If reproducible results are needed, set the seed for the pseudo-random number generator using ComplexSchur(long)

    • ComplexSchur

      public ComplexSchur(boolean computeU)

      Creates a decomposer to compute the Schur decomposition for a real dense matrix where the \( U \) matrix may or may not be computed.

      If the \( U \) matrix is not needed, passing computeU = false may provide a performance improvement.

      By default, if a constructor with no computeU parameter is called, \( U \) will be computed.

      Note: This decomposer may use random numbers during the decomposition. If reproducible results are desired, set the seed for the pseudo-random number generator using ComplexSchur(boolean, long)

      Parameters:
      computeU - Flag indicating if the unitary U matrix should be computed for the Schur decomposition. If true, U will be computed. If false, \( U \) will not be computed.

    • ComplexSchur

      public ComplexSchur(long seed)
      Creates a decomposer to compute the Schur decomposition for a real dense matrix.
      Parameters:
      seed - Seed to use for pseudo-random number generator when computing exceptional shifts during the QR algorithm.

    • ComplexSchur

      public ComplexSchur(boolean computeU, long seed)
      Creates a decomposer to compute the Schur decomposition for a real dense matrix.
      Parameters:
      seed - Seed to use for pseudo-random number generator when computing exceptional shifts during the QR algorithm.

  • Method Details

    • setExceptionalThreshold

      public ComplexSchur setExceptionalThreshold(int exceptionalThreshold)
      Description copied from class: Schur

      Sets the number of iterations of the QR algorithm to perform without deflation before performing a random shift.

      That is, if exceptionalThreshold = 10, then at most 10 iterations QR algorithm iterations will be performed. If, by the 10th iteration, no convergence has been detected which allows for deflation, then a QR algorithm iteration will be performed with a random (i.e. exceptional) shift.

      By default, the threshold is set to Schur.DEFAULT_EXCEPTIONAL_ITERS

      Overrides:
      setExceptionalThreshold in class Schur<CMatrix,Complex128[]>
      Parameters:
      exceptionalThreshold - The new exceptional shift threshold. i.e. the number of iterations to perform without deflation before performing an iteration with random shifts.
      Returns:
      A reference to this Schur decomposer.

    • setMaxIterationFactor

      public ComplexSchur setMaxIterationFactor(int maxIterationFactor)
      Description copied from class: Schur

      Specify maximum iteration factor for computing the total number of iterations to run the QR algorithm for when computing the decomposition. The maximum number of iterations is computed as maxIteration = maxIterationFactor * src.numRows; If the algorithm does not converge within this limit, an exception will be thrown.

      By default, this is computed as maxIterations = DEFAULT_MAX_ITERS_FACTOR * src.numRows; where src is the matrix being decomposed (see Schur.DEFAULT_MAX_ITERS_FACTOR).

      Overrides:
      setMaxIterationFactor in class Schur<CMatrix,Complex128[]>
      Parameters:
      maxIterationFactor - maximum iteration factor for use in computing the total maximum number of iterations to run the QR algorithm for.
      Returns:
      A reference to this Schur decomposer.

    • enforceFinite

      public ComplexSchur enforceFinite(boolean enforceFinite)
      Description copied from class: Schur

      Sets flag indicating if a check should be made to ensure the matrix being decomposed only contains finite values.

      By default, this will be false.

      Overrides:
      enforceFinite in class Schur<CMatrix,Complex128[]>
      Parameters:
      enforceFinite - Flag indicating if a check should be made to ensure matrices decomposed by this instance only contain finite values.
      • If true, an explicit check will be made.
      • If false, an explicit check will not be made.
      Returns:
      A reference to this Schur decomposer.

    • unbalance

      protected void unbalance()

      Reverts the scaling and permutations applied during the balancing step to obtain the correct form.

      Specifically, this method computes \[ \begin{align*} U :&= PDU \\ &= TU \\ where \\left( P \\right) and \\left( D \\right) are the permutation and scaling matrices respectively from balancing.

      \\
      \\
      Specified by:
      \\
      unbalance in class Schur<CMatrix,Complex128\left[\right]>
      \\
      \\
      \\ \\
      • \\
    • \\ <\section class&="detail" id&="decompose\left(org.flag4j.arrays.dense.CMatrix\right)"> \\

      decompose

      \\
      \\
      public \end{align*} \] ComplexSchur decompose(CMatrix src)

      Computes the Schur decomposition of the input matrix.

      Specified by:
      decompose in class Decomposition<CMatrix>
      Parameters:
      src - The source matrix to decompose.
      Returns:
      A reference to this decomposer.

  • setUpArrays

    protected void setUpArrays()
    Initializes temporary work arrays to be used in the decomposition.
    Specified by:
    setUpArrays in class Schur<CMatrix,Complex128[]>

  • performExceptionalShift

    protected void performExceptionalShift(int workEnd)
    Performs a full iteration of the single shifted QR algorithm (this includes the bulge chase) where the shift is chosen to be a random value with the same magnitude as the lower right element of the working matrix. This can help the QR converge for certain pathological cases where the double shift algorithm oscillates or fails to converge for repeated eigenvalues.
    Specified by:
    performExceptionalShift in class Schur<CMatrix,Complex128[]>
    Parameters:
    workEnd - The ending row (inclusive) of the current active working block.

  • computeExceptionalShift

    protected Complex128 computeExceptionalShift(int k)
    Computes a random shift to help the QR algorithm converge if it gets stuck.
    Parameters:
    k - The current size of the working matrix. Specifically, the index of the lower right value in the working matrix is (k, k).
    Returns:
    A shift in a random direction which has the same magnitude as the elements in the matrix.

  • computeImplicitSingleShift

    protected void computeImplicitSingleShift(int k, Complex128 shift)
    Computes the non-zero data of the first column for the single shifted QR algorithm.
    Parameters:
    k - Size of current working matrix.
    shift - The shift to use.

  • performSingleShift

    protected void performSingleShift(int workEnd, Complex128 shift)
    Performs a full iteration of the implicit single shifted QR algorithm (this includes the bulge chase).
    Parameters:
    workEnd - The ending row (inclusive) of the current active working block.
    shift - The shift to use in the implicit single shifted QR algorithm.

  • applySingleShiftReflector

    protected void applySingleShiftReflector(int i, boolean set)
    Applies reflector for the double shift. This method can be used to apply either be the reflector constructed for the first column of the shifted matrix, or a reflector being used in the bulge chase of size 2 which arises from the first case.
    Parameters:
    i - The starting row the reflector is being applied to.

  • performDoubleShift

    protected void performDoubleShift(int workEnd)
    Performs a full iteration of the Francis implicit double shifted QR algorithm (this includes the bulge chase).
    Specified by:
    performDoubleShift in class Schur<CMatrix,Complex128[]>
    Parameters:
    workEnd - The ending row (inclusive) of the current active working block.

  • computeImplicitDoubleShift

    protected void computeImplicitDoubleShift(int workEnd)
    Computes the shifts for a Francis double shift iteration. Specifically, the shifts are the generalized Rayleigh quotients of degree two.
    Parameters:
    workEnd - The ending row (inclusive) of the current active working block.

  • applyDoubleShiftReflector

    protected void applyDoubleShiftReflector(int i, boolean set)
    Applies reflector for the double shift. This method can be used to apply either be the reflector constructed for the first column of the shifted matrix, or a reflector being used in the bulge chase of size 2 which arises from the first case.
    Parameters:
    i - The starting row the reflector is being applied to.

  • applyReflector

    protected void applyReflector(int i, int shiftSize)
    Applies the constructed Householder reflector which has been constructed for the given shift size.
    Parameters:
    i - The stating row the reflector is being applied to.
    shiftSize - The size of the shift the reflector was constructed for.

  • makeReflector

    protected boolean makeReflector(int i, Complex128 p1, Complex128 p2, Complex128 p3)
    Constructs a householder reflector given specified values for a column to apply the reflector to. This reflector is stored in indices i, i+1, and i+2 of Schur.householderVector.
    Parameters:
    i - Row of working matrix to construct reflector for.
    p1 - First entry to in column to apply reflector to.
    p2 - Second entry in column to apply reflector to.
    p3 - Third entry in column to apply reflector to.
    Returns:
    True if a reflector needs to be constructed to return matrix to upper Hessenburg form. False if column is already in the correct form.

  • makeReflector

    protected boolean makeReflector(int i, Complex128 p1, Complex128 p2)
    Constructs a householder reflector given specified values for a column to apply the reflector to. This reflector is stored in indices i and i+1 of Schur.householderVector.
    Parameters:
    i - Row of working matrix to construct reflector for.
    p1 - First entry to in column to apply reflector to.
    p2 - Second entry in column to apply reflector to.
    Returns:
    True if a reflector needs to be constructed to return matrix to upper Hessenburg form. False if column is already in the correct form.

  • checkConvergence

    protected int checkConvergence(int workEnd)
    Checks for convergence of lower \( 2\times2 \) sub-matrix within working matrix to upper triangular or block upper triangular form. If convergence is found, this will also zero out the values which have converged to near zero.
    Specified by:
    checkConvergence in class Schur<CMatrix,Complex128[]>
    Parameters:
    workEnd - The ending row (inclusive) of the current active working block.
    Returns:
    Returns the amount the working matrix size should be deflated. Will be zero if no convergence is detected, one if convergence to upper triangular form is detected and two if convergence to block upper triangular form is detected.

  • checkFinite

    protected void checkFinite(CMatrix src)
    Ensures that src only contains finite values.
    Specified by:
    checkFinite in class Schur<CMatrix,Complex128[]>
    Parameters:
    src - Matrix of interest.
    Throws:
    IllegalArgumentException - If src does not contain only finite values.

  • real2ComplexSchur

    public CMatrix[] real2ComplexSchur()