FixedRdFinder.java

  1. package org.drip.function.rdtor1solver;

  2. /*
  3.  * -*- mode: java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
  4.  */

  5. /*!
  6.  * Copyright (C) 2020 Lakshmi Krishnamurthy
  7.  * Copyright (C) 2019 Lakshmi Krishnamurthy
  8.  * Copyright (C) 2018 Lakshmi Krishnamurthy
  9.  * Copyright (C) 2017 Lakshmi Krishnamurthy
  10.  * Copyright (C) 2016 Lakshmi Krishnamurthy
  11.  *
  12.  *  This file is part of DROP, an open-source library targeting analytics/risk, transaction cost analytics,
  13.  *      asset liability management analytics, capital, exposure, and margin analytics, valuation adjustment
  14.  *      analytics, and portfolio construction analytics within and across fixed income, credit, commodity,
  15.  *      equity, FX, and structured products. It also includes auxiliary libraries for algorithm support,
  16.  *      numerical analysis, numerical optimization, spline builder, model validation, statistical learning,
  17.  *      and computational support.
  18.  *  
  19.  *      https://lakshmidrip.github.io/DROP/
  20.  *  
  21.  *  DROP is composed of three modules:
  22.  *  
  23.  *  - DROP Product Core - https://lakshmidrip.github.io/DROP-Product-Core/
  24.  *  - DROP Portfolio Core - https://lakshmidrip.github.io/DROP-Portfolio-Core/
  25.  *  - DROP Computational Core - https://lakshmidrip.github.io/DROP-Computational-Core/
  26.  *
  27.  *  DROP Product Core implements libraries for the following:
  28.  *  - Fixed Income Analytics
  29.  *  - Loan Analytics
  30.  *  - Transaction Cost Analytics
  31.  *
  32.  *  DROP Portfolio Core implements libraries for the following:
  33.  *  - Asset Allocation Analytics
  34.  *  - Asset Liability Management Analytics
  35.  *  - Capital Estimation Analytics
  36.  *  - Exposure Analytics
  37.  *  - Margin Analytics
  38.  *  - XVA Analytics
  39.  *
  40.  *  DROP Computational Core implements libraries for the following:
  41.  *  - Algorithm Support
  42.  *  - Computation Support
  43.  *  - Function Analysis
  44.  *  - Model Validation
  45.  *  - Numerical Analysis
  46.  *  - Numerical Optimizer
  47.  *  - Spline Builder
  48.  *  - Statistical Learning
  49.  *
  50.  *  Documentation for DROP is Spread Over:
  51.  *
  52.  *  - Main                     => https://lakshmidrip.github.io/DROP/
  53.  *  - Wiki                     => https://github.com/lakshmiDRIP/DROP/wiki
  54.  *  - GitHub                   => https://github.com/lakshmiDRIP/DROP
  55.  *  - Repo Layout Taxonomy     => https://github.com/lakshmiDRIP/DROP/blob/master/Taxonomy.md
  56.  *  - Javadoc                  => https://lakshmidrip.github.io/DROP/Javadoc/index.html
  57.  *  - Technical Specifications => https://github.com/lakshmiDRIP/DROP/tree/master/Docs/Internal
  58.  *  - Release Versions         => https://lakshmidrip.github.io/DROP/version.html
  59.  *  - Community Credits        => https://lakshmidrip.github.io/DROP/credits.html
  60.  *  - Issues Catalog           => https://github.com/lakshmiDRIP/DROP/issues
  61.  *  - JUnit                    => https://lakshmidrip.github.io/DROP/junit/index.html
  62.  *  - Jacoco                   => https://lakshmidrip.github.io/DROP/jacoco/index.html
  63.  *
  64.  *  Licensed under the Apache License, Version 2.0 (the "License");
  65.  *      you may not use this file except in compliance with the License.
  66.  *  
  67.  *  You may obtain a copy of the License at
  68.  *      http://www.apache.org/licenses/LICENSE-2.0
  69.  *  
  70.  *  Unless required by applicable law or agreed to in writing, software
  71.  *      distributed under the License is distributed on an "AS IS" BASIS,
  72.  *      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  73.  *  
  74.  *  See the License for the specific language governing permissions and
  75.  *      limitations under the License.
  76.  */

  77. /**
  78.  * <i>FixedRdFinder</i> exports the Methods needed for the locating a Fixed R<sup>d</sup> Point.
  79.  *
  80.  *  <br><br>
  81.  *  <ul>
  82.  *      <li><b>Module </b> = <a href = "https://github.com/lakshmiDRIP/DROP/tree/master/NumericalCore.md">Numerical Core Module</a></li>
  83.  *      <li><b>Library</b> = <a href = "https://github.com/lakshmiDRIP/DROP/tree/master/NumericalOptimizerLibrary.md">Numerical Optimizer</a></li>
  84.  *      <li><b>Project</b> = <a href = "https://github.com/lakshmiDRIP/DROP/tree/master/src/main/java/org/drip/feed/README.md">Function</a></li>
  85.  *      <li><b>Package</b> = <a href = "https://github.com/lakshmiDRIP/DROP/tree/master/src/main/java/org/drip/feed/rdtor1solver/README.md">R<sup>d</sup> To R<sup>1</sup> Solver</a></li>
  86.  *  </ul>
  87.  *
  88.  * @author Lakshmi Krishnamurthy
  89.  */

  90. public abstract class FixedRdFinder
  91. {

  92.     /**
  93.      * Flag Indicating whether the Verifier Increment Metrics are to be Traced
  94.      */

  95.     public static boolean s_verifierIncrementBlog = false;

  96.     private org.drip.function.definition.RdToR1 _objectiveFunction = null;
  97.     private org.drip.function.rdtor1solver.ConvergenceControl _convergenceControl = null;
  98.     private org.drip.function.rdtor1descent.LineStepEvolutionControl _lineStepEvolutionControl = null;

  99.     protected FixedRdFinder (
  100.         final org.drip.function.definition.RdToR1 objectiveFunction,
  101.         final org.drip.function.rdtor1descent.LineStepEvolutionControl lineStepEvolutionControl,
  102.         final org.drip.function.rdtor1solver.ConvergenceControl convergenceControl)
  103.         throws java.lang.Exception
  104.     {
  105.         if (null == (_objectiveFunction = objectiveFunction) ||
  106.             null == (_convergenceControl = convergenceControl))
  107.         {
  108.             throw new java.lang.Exception ("FixedRdFinder Constructor => Invalid Inputs");
  109.         }

  110.         _lineStepEvolutionControl = lineStepEvolutionControl;
  111.     }

  112.     /**
  113.      * Retrieve the Objective Function
  114.      *
  115.      * @return The Objective Function
  116.      */

  117.     public org.drip.function.definition.RdToR1 objectiveFunction()
  118.     {
  119.         return _objectiveFunction;
  120.     }

  121.     /**
  122.      * Retrieve the Line Step Evolution Control
  123.      *
  124.      * @return The Line Step Evolution Control
  125.      */

  126.     public org.drip.function.rdtor1descent.LineStepEvolutionControl lineStepEvolutionControl()
  127.     {
  128.         return _lineStepEvolutionControl;
  129.     }

  130.     /**
  131.      * Retrieve the Convergence Control Parameters
  132.      *
  133.      * @return The Convergence Control Parameters
  134.      */

  135.     public org.drip.function.rdtor1solver.ConvergenceControl convergenceControl()
  136.     {
  137.         return _convergenceControl;
  138.     }

  139.     /**
  140.      * Solve for the Optimal Variate-Inequality Constraint Multiplier Tuple Using the Variate/Inequality
  141.      *  Constraint Tuple Convergence
  142.      *  
  143.      * @param startingVariateConstraint The Starting Variate/Inequality Constraint Tuple
  144.      *
  145.      * @return The Optimal Variate-Inequality Constraint Multiplier Tuple
  146.      */

  147.     public org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier convergeVariate (
  148.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier startingVariateConstraint)
  149.     {
  150.         if (null == startingVariateConstraint)
  151.         {
  152.             return null;
  153.         }

  154.         org.drip.function.definition.RdToR1 objectiveFunction = objectiveFunction();

  155.         boolean fixedPointFound = false;
  156.         org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier currentVariateConstraint =
  157.             startingVariateConstraint;
  158.         org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier previousVariateConstraint =
  159.             startingVariateConstraint;

  160.         int comparisonVariateCount = objectiveFunction instanceof
  161.             org.drip.function.rdtor1.LagrangianMultivariate ? (
  162.                 (org.drip.function.rdtor1.LagrangianMultivariate) objectiveFunction).objectiveFunctionDimension() :
  163.                 objectiveFunction.dimension();

  164.         double absoluteToleranceFallback = _convergenceControl.absoluteTolerance();

  165.         double relativeTolerance = _convergenceControl.relativeTolerance();

  166.         while (!fixedPointFound)
  167.         {
  168.             org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier variateConstraint =
  169.                 increment (
  170.                     currentVariateConstraint
  171.                 );

  172.             if (null == variateConstraint ||
  173.                 null == (
  174.                     currentVariateConstraint = next (
  175.                         previousVariateConstraint,
  176.                         variateConstraint,
  177.                         incrementFraction (
  178.                             currentVariateConstraint,
  179.                             variateConstraint
  180.                         )
  181.                     )
  182.                 )
  183.             )
  184.             {
  185.                 return null;
  186.             }

  187.             try
  188.             {
  189.                 fixedPointFound =
  190.                     org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier.Compare (
  191.                         currentVariateConstraint,
  192.                         previousVariateConstraint,
  193.                         relativeTolerance,
  194.                         absoluteToleranceFallback,
  195.                         comparisonVariateCount
  196.                     );
  197.             }
  198.             catch (java.lang.Exception e)
  199.             {
  200.                 e.printStackTrace();

  201.                 return null;
  202.             }

  203.             previousVariateConstraint = currentVariateConstraint;
  204.         }

  205.         return currentVariateConstraint;
  206.     }

  207.     /**
  208.      * Solve for the Optimal Variate-Inequality Constraint Multiplier Tuple Using the Objective Function
  209.      *  Convergence
  210.      *  
  211.      * @param startingVariateConstraint The Starting Variate/Inequality Constraint Tuple Set
  212.      *
  213.      * @return The Optimal Variate-Inequality Constraint Multiplier Tuple
  214.      */

  215.     public org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier convergeObjectiveFunction (
  216.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier startingVariateConstraint)
  217.     {
  218.         if (null == startingVariateConstraint)
  219.         {
  220.             return null;
  221.         }

  222.         boolean fixedPointFound = false;
  223.         double objectiveFunctionValuePrevious = java.lang.Double.NaN;
  224.         org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier variateConstraint =
  225.             startingVariateConstraint;

  226.         try
  227.         {
  228.             objectiveFunctionValuePrevious = _objectiveFunction.evaluate (
  229.                 variateConstraint.variateArray()
  230.             );
  231.         }
  232.         catch (java.lang.Exception e)
  233.         {
  234.             e.printStackTrace();

  235.             return null;
  236.         }

  237.         double convergenceControlAbsoluteTolerance = _convergenceControl.absoluteTolerance();

  238.         double objectiveFunctionAbsoluteTolerance = java.lang.Math.abs (
  239.             objectiveFunctionValuePrevious * _convergenceControl.relativeTolerance()
  240.         );

  241.         double dblAbsoluteTolerance = convergenceControlAbsoluteTolerance <
  242.             objectiveFunctionAbsoluteTolerance ?
  243.             convergenceControlAbsoluteTolerance : objectiveFunctionAbsoluteTolerance;

  244.         while (!fixedPointFound)
  245.         {
  246.             org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier incrementalVariateConstraint
  247.                 = increment (
  248.                     variateConstraint
  249.                 );

  250.             if (null == incrementalVariateConstraint ||
  251.                 null == (
  252.                     variateConstraint = next (
  253.                         variateConstraint,
  254.                         incrementalVariateConstraint,
  255.                         incrementFraction (
  256.                             variateConstraint,
  257.                             incrementalVariateConstraint
  258.                         )
  259.                     )
  260.                 )
  261.             )
  262.             {
  263.                 return null;
  264.             }

  265.             try
  266.             {
  267.                 double objectiveFunctionValue = _objectiveFunction.evaluate (
  268.                     variateConstraint.variateArray()
  269.                 );

  270.                 if (java.lang.Math.abs (
  271.                         objectiveFunctionValuePrevious - objectiveFunctionValue
  272.                     ) < dblAbsoluteTolerance
  273.                 )
  274.                 {
  275.                     fixedPointFound = true;
  276.                 }

  277.                 objectiveFunctionValuePrevious = objectiveFunctionValue;
  278.             }
  279.             catch (java.lang.Exception e)
  280.             {
  281.                 e.printStackTrace();

  282.                 return null;
  283.             }
  284.         }

  285.         return variateConstraint;
  286.     }

  287.     /**
  288.      * Find the Optimal Variate-Inequality Constraint Multiplier Tuple using the Iteration Parameters
  289.      *  provided by the Convergence Control Instance
  290.      *  
  291.      * @param startingVariateConstraint The Starting Variate-Inequality Constraint Multiplier Tuple
  292.      *
  293.      * @return The Optimal Variate-Inequality Constraint Multiplier Tuple
  294.      */

  295.     public org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier find (
  296.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier startingVariateConstraint)
  297.     {
  298.         int convergenceType = _convergenceControl.convergenceType();

  299.         if (org.drip.function.rdtor1solver.InteriorPointBarrierControl.OBJECTIVE_FUNCTION_SEQUENCE_CONVERGENCE
  300.             == convergenceType)
  301.         {
  302.             return convergeObjectiveFunction (startingVariateConstraint);
  303.         }

  304.         if (org.drip.function.rdtor1solver.InteriorPointBarrierControl.VARIATE_CONSTRAINT_SEQUENCE_CONVERGENCE
  305.             == convergenceType)
  306.         {
  307.             return convergeVariate (startingVariateConstraint);
  308.         }

  309.         return null;
  310.     }

  311.     /**
  312.      * Retrieve the Incremental Step Length Fraction
  313.      *
  314.      * @param variateConstraint The VariateInequalityConstraintMultiplier Base Instance
  315.      * @param variateConstraintIncrement The Full VariateInequalityConstraintMultiplier Instance Increment
  316.      *
  317.      * @return The VariateInequalityConstraintMultiplier Incremental Step Length Fraction
  318.      */

  319.     public double incrementFraction (
  320.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier variateConstraint,
  321.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier
  322.             variateConstraintIncrement)
  323.     {
  324.         if (null == _lineStepEvolutionControl ||
  325.             null == variateConstraint || variateConstraint.incremental() ||
  326.             null == variateConstraintIncrement || !variateConstraintIncrement.incremental())
  327.         {
  328.             return 1.;
  329.         }

  330.         org.drip.function.rdtor1descent.LineEvolutionVerifier lineEvolutionVerifier =
  331.             _lineStepEvolutionControl.lineEvolutionVerifier();

  332.         org.drip.function.definition.UnitVector variateIncrementDirectionVector =
  333.             variateConstraintIncrement.variateIncrementVector().direction();

  334.         int reductionStepCount = _lineStepEvolutionControl.reductionStepCount();

  335.         double reductionFactor = _lineStepEvolutionControl.reductionFactor();

  336.         double[] variateArray = variateConstraint.variateArray();

  337.         double stepLength = 1.;

  338.         while (0 <= --reductionStepCount)
  339.         {
  340.             org.drip.function.rdtor1descent.LineEvolutionVerifierMetrics lineEvolutionVerifierMetrics =
  341.                 lineEvolutionVerifier.metrics (
  342.                     variateIncrementDirectionVector,
  343.                     variateArray,
  344.                     _objectiveFunction,
  345.                     stepLength
  346.                 );

  347.             if (null == lineEvolutionVerifierMetrics)
  348.             {
  349.                 return 1.;
  350.             }

  351.             if (s_verifierIncrementBlog)
  352.             {
  353.                 System.out.println (lineEvolutionVerifierMetrics);
  354.             }

  355.             if (lineEvolutionVerifierMetrics.verify())
  356.             {
  357.                 return stepLength;
  358.             }

  359.             stepLength *= reductionFactor;
  360.         }

  361.         return 1.;
  362.     }

  363.     /**
  364.      * Produce the Incremental Variate-Constraint Multiplier
  365.      *
  366.      * @param currentVariateConstraint The Current Variate-Constraint Multiplier Tuple
  367.      *
  368.      * @return The Incremental Variate-Constraint Multiplier
  369.      */

  370.     abstract public org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier increment (
  371.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier currentVariateConstraint);

  372.     /**
  373.      * Iterate Over to the Next Variate-Constraint Multiplier Tuple
  374.      *
  375.      * @param currentVariateConstraint The Current Variate-Constraint Multiplier Tuple
  376.      * @param incrementalVariateConstraint The Incremental Variate-Constraint Multiplier Tuple
  377.      * @param incrementFraction The Incremental Fraction to be applied
  378.      *
  379.      * @return The Next Variate-Constraint Multiplier Set
  380.      */

  381.     abstract public org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier next (
  382.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier currentVariateConstraint,
  383.         final org.drip.function.rdtor1solver.VariateInequalityConstraintMultiplier incrementalVariateConstraint,
  384.         final double incrementFraction);
  385. }