• Descripcion del problema
• Consideraciones metodológicas
  • Portafolio de activos y sus rendimiento
  • Solver basado en multiplicadores de Lagrange
    • Diagrama de flujo del solver basado en multiplicadores de Lagrange
  • Solver basado en método de Newton
    • Diagrama de flujo del solver basado en el método de Newton con restricciones de igualdad
  • Reporte de resultados
• Organización del equipo
• Flujo de trabajo en Github
• Requerimientos de infraestructura
• Organización del proyecto
• Referencias

En el contexto de finanzas, un problema relevante es definir estrategias que permitan a los inversionistas diversificar sus inversiones con el objetivo de minimizar el riesgo de su capital. Típicamente, esto corresponde con que un inversionista tiene interés en un conjunto definido de activos, denominado portafolio, sobre el que debe tomar una decisión sobre cómo adquirir o vender acciones con la idea obtener un determinado rendimiento . Sin embargo, es deseable que la elección considere reducir el riesgo inherente al mercado de inversiones, los que se traduce en obtener el portafolio de mínima varianza, que en otras palabras significa obtener el portafolio de menor riesgo para inversionistas aversos al riesgo, donde se espera obtener las ponderaciones o proporciones que el inversionista debe invertir en las acciones evaluadas en un vector de todo el conjunto de acciones.

En términos matemáticos y considerando la consabida teoría financiera, lo anterior equivale a una formulación denominada Modelo de Markowitz, propuesta por el economista Harry Markowitz, a través de la cual se trata de minimizar la norma inducida por la matriz de covarianza de los activos con referencia a los proporciones de cómo se deben elegir las acciones que integran un portafolio específico (pesos), sujeto a que se obtenga un rendimiento acorde a la expectativa del inversionista. A estas proporciones las denotaremos , que finalmente es un vector de tamaño , donde es el número de acciones a analizar.

Ello constituye un problema de optimización sujeto a restricciones (lineales) de igualdad, que se puede expresar en los términos siguientes:

Sujeto a las restricciones lineales:

• El rendimiento que vislumbra el inversionista:
• Los pesos de los activos se encuentran distribuidos congruentemente sobre el portafolio;

Resolver este problema nos permite encontrar cómo se integra el portafolio que dado un rendimiento esperado del inversionista, tenga varianza mínima varianza, el cual corresponde con el perfil de los inversionistas que son aversos al riesgo. Es decir, nos permite conocer los pesos de un portafolio que, de acuerdo a una frontera de posibilidades de alocación y un rendimiento esperado, se localiza en la frontera superior entre todos los portafolios de inversión según su varianza, tal como se aprecia en la curva de la imagen:

Es así que el propósito de este proyecto será desarrollar estrategias que permitan resolver el modelo de Markowitz empleando herramientas de optimización y cómputo distribuido, particularmente aprovechando la disponibilidad de tarjetas GPU, así como el framework CuPy de Python para este tipo de hardware. En adición, en este proyecto se busca echar mano de herramientas de computo en la nube y ambientes de virtualización, concretamente AWS y Docker.

A continuación se describe la estructura del presente repositorio, así como los algoritmos planteados para dar solución al modelo en cuestión.

• Tras analizar las fuentes de datos disponibles, se estimó pertinente considerar precios históricos de las 50 empresas, que destacan en sus correspondientes industrias, seleccionándose las que tienen mayor participación en el mercado (al momento de realizar este proyecto). En concreto, se consideraron las empresas:

• Para considerar el comportamiento histórico de las acciones de dichas empresas, se consideró la información financiera de los últimos 5 años para hacer el análisis (esto es, desde el 1 de enero de 2015 al 30 de abril de 2020). Dicha información se obtuvo del API de Python que permite obtener datos desde Yahoo Finance, considerándose como valores de referencia de los activos a los precios diarios Closed Price (es decir, los precios al cierre de la bolsa).

• En complemento, para el cálculo de los rendimientos esperados de cada una de las empresas, se estímó pertinente evaluarlo a través de los precios de cierre diarios a partir de la fórmula del rendimiento instantáneo en escala logarítimica:

Ello para evitar problemas numéricos debidos a la escala de los rendimientos.

• En lo tocante a cómo se debe determinar el vector de pesos asociado al portafolio de activos, se consideró relevante pensarlos como una proporción, lo que equivale a que la suma de la entradas sea igual a 1.

• Por otro lado, el rendimiento esperado del portafolio se obtiene haciendo el producto punto del vector de rendimientos medios de los activos en el periodo en cuestión y los pesos del portafolio elegido, cumpliendo los portafolios factibles la restricción . Nota: estos pesos pueden ser negativos porque asumimos que pueden existir ventas en corto (short sale), lo cual implica que los inversores podrían tener una ganancia si tienen algún contrato de préstamo de títulos accionarios, los cuales deben devolver a una fecha futura y podrían devolverlos a un precio menor.

• Finalmente, la matriz de varianzas y covarianzas de los portafolios se calcula como las correspondientes matrices de varianzas y covarianzas de rendimientos de las acciones en el periodo de los últimos 5 años para hacer el análisis (1 de enero de 2015 al 30 de abril de 2020).

En este caso, el problema de minimización se aborda calculando la solución analítica del problema de optimización recién descrito, empleando la expresión del Lagrangiano del problema de optimización considerando las respectivas restricciones, aprovechando que la matriz de covarianzas es simétrica y definida positiva.

Solución: Aplicar el método de multiplicadores de Lagrange al problema de optimización convexa (minimización) sujeto a restricciones lineales del Modelo de Markowitz:

• Definimos el Lagrangiano del problema:

• En consecuencia, las condiciones de primer orden que debe satisfacer el punto factible del problema, quedan en función de lo siguiente:

  • 
  • 
  • 

• Resolviendo para w en términos de

• Por otro lado, resolviendo para y sustituyendo para w se sigue:

  • 
  • 

Es sencillo ver que las ecuaciones previas pueden ser resueltas de manera analítica al resolver el sistema lineal:

En donde:

• ,
• 
• 

De lo anterior y tras un poco de álgebra, se puede probrar que la solución del sistema de Markowitz se puede encontrar como sigue:

Formamos al vector

• Donde los vectores involucrados tienen las siguientes expresiones:
  
  
  

• Donde :
  

  • 
    
  • 
    
  • 
    
  • 

La implementación de este método se dividió en una serie de etapas:

• Etapa I: se refiere a la obtención de los datos de portafolios a analizar, junto con su limpieza y transformación para posteriores análisis,
• Etapa II: corresponde a la estimación de tres elementos base del modelo, a saber el retorno esperado de los activos, el valor medio esperado de los mismos junto con la matriz de covarianzas asociada.
• Etapa III: relativa a la aproximación de la composición de los pesos que permite integrar el portafolio de inversión que posee mínima varianza, el cual es para aquellos inversionistas que son aversos al riesgo.

El proceso comentado, se resume a continuación:

Es relevante destacar que en la teoría de optimización, es posible aproximar las soluciones de un problema de optimización sujeto a restricciones lineales, si se cumplen ciertos supuestos:

• La función objetivo es convexa y dos veces continuamente diferenciable,
• El número de restricciones es menor al número de variables y tales restricciones son independientes,

En tal caso, es posible probar que por condiciones necesarias y suficientes de Karush-Kuhn-Tucker (también conocidas como las condiciones KKT o Kuhn-Tucker), es posible observar que la solución del problema de minimización equivale a resolver un problema denominado "dual". Concretamente se sabe que, existe una equivalencia lógica entre las siguientes proposiciones:

• es óptimo
• 

Nota: típicamente las ecuaciones involucradas se denominan a través de la siguiente terminología:

• Ecuaciones de factibilidad primal:
• Ecuaciones de factibilidad dual:

Aprovechando lo anterior, se puede extender el método de Newton para resolver las ecuaciones de KKT, de manera que pueda aproximarse la solución del problema de optimización original; esto se basa en los siguientes hechos:

• a) El punto inicial debe ser factible, es decir debe estar en el dominio de la función objetivo y satisfacer las restricciones lineales.
• b) El paso de Newton se debe modificar para que satisfaga las conducentes restricciones.
• c) Lo anterior se puede lograr aproximando la función objetivo, considerando su expansión derivada del teorema de Taylor hasta el término de segundo orden, , de modo que puede considerarse un nuevo problema de optimización dado por sujeto a .
• d) El paso de Newton en un punto , se define como la solución única al problema de minimización cuadrática previo con matriz KKT no singular; el cual se denota específicamente como y se encuentra en términos de las ecuaciones matriciales:

En este caso w es la variable óptima dual asociada.

Notas:

1. En este caso, las implementaciones típicamente echan mano de una cantidad conocida como decremento de Newton , la cual guarda información útil en las búsquedas de direcciones factibles, como las búsquedas de línea y que puede emplearse como criterio de paro en procesos iterativos, como en el que nos ocupa,

Con todos los elementos anteriores, nos encontramos en condiciones de describir el Algortimo del método de Newton para un problema de optimización con restricciones de igualdad:

• Repetir hasta convergencia:
  • 1. Calcular el paso y decremento de Newton,
  • 2. Revisar criterio de paro: terminar método si ,
  • 3. Búsqueda de línea: elegir el tamaño de paso por backtracking line search,
  • 4. Actualizar:

La implementación de este método se dividió en una serie de etapas:

• Etapa I: se refiere a la obtención de los datos de portafolios a analizar, junto con su limpieza y transformación para posteriores análisis,
• Etapa II: corresponde a la estimación de tres elementos base del modelo, a saber el retorno esperado de los activos, el valor medio esperado de los mismo junto con la matriz de covarianzas asociada.
• Etapa III: relativa a la aproximación de la solución del problema original de optimización con el algortimo recién descrito, lo que da la posibilidad de aproximar los pesos que permiten integrar el portafolio de inversión que posee mínima varianza, el cual es para aquellos inversionistas que son aversos al riesgo. En este caso, se obtiene primero una propuesta de punto factible del problema de Markowitz (esencialmente, obtenida resolviendo las ecuaciones normales asociadas a las restricciones lineales) la cual alimenta al solver del problema de optimización con restricciones que se basa en el método de Newton para aproximar una solución del problema de optimización, siguiendo las consideraciones expuestas en la sección previa.

El proceso comentado, se resumen a continuación:

Para el desarrollo del proyecto, los integrantes se dividieron principalmente en dos grupos; el Grupo de programación encargado de la implementación de los métodos y algoritmos; y el Grupo de revisión encargado de probar y reportar los métodos del primer grupo. Ambos grupos fueron coordinados por el Project Manager con ayuda de un Asistente.

La división anterior se puede resumir mediante la siguiente tabla:

Fase 1: Implementación empleando método de Lagrange

Fase 2: Implementación usando método de Newton

Para facilitar el desarrollo de forma colaborativa entre los equipos de programación y revisión, se siguió un Github flow, que consistió, en líneas generales, en la creación de ramas para resolver un issue específico, para solicitar la revisión del PM a través de un Pull request, y su posterior aprobación para unir los cambios hacia la rama master.

Fuente: Notas del curso Programación para Ciencia de Datos de la Maestría en Ciencia de Datos del ITAM (2019). Véase https://github.com/ITAM-DS/programming-for-data-science-2019/blob/master/handbook.pdf

Cabe destacar que una vez solucionado el issue correspondiente, se borró la rama asociada para facilitar el entendimiento y administración del proyecto.

A efecto de que los equipos de programación y revisión tuvieran un entorno común de trabajo para el desarrollo del proyecto, se empleó Google Colab. Una vez desarrollados los códigos, se ejecutaron los mismos en una instancia de AWS. Para ello se eligió la máquina Deep Learning AMI (Ubuntu 18.04) Version 28.1, pues tiene una tarjeta gráfica NVIDIA. Las características de la instancia fueron:

• Familia GPU

• Tipo p2.xlarge

• 4 vCPUs

Para poder utilizar CuPy en la instancia de AWS, se construyó una imagen de Docker con el Dockerfile correspondiente. En esta imagen se instala CuPy, los paquetes necesarios para la ejecución de la implementación del modelo de Markowitz, así como otros requerimientos de software (jupyter, awscli, entre otros). Finalmente se levanta un contenedor a partir de esta imagen, e ingresando a jupyterlab se obtiene el entorno para poder ejecutar los códigos desarrollados.

Los pasos a seguir para levantar la instancia de AWS, construir la imagen de Docker y levantar el contenedor, además de los detalles de configuración se encuentran en la carpeta de infrastructure.

La organización del proyecto se realizó a través una serie de carpetas, entre las cuales destacan:

• notebooks

Esta carpeta se subdivide en dos, Programación donde se realizan las implementaciones en python para los solvers de multiplicador de Lagrange y método de Newton, se encuentran notebooks por separado que forman parte de los diagramas de flujo 2.2.1 y 2.3.1 así como una carpeta solver donde se encuentran los archivos .py que implementan los solvers. Por otra parate la carpeta Revisión contiene notebooks separados de la revisión de código de la carpeta anterior.

• infrastructure

Carpeta que contiene el Dockerfile y donde se explican los pasos a seguir para levantar una instancia en AWS con las características necesarias, en donde se pueden ejecutar los códigos desarrollados para la implementación del modelo Markowitz en paralelo.

• results

Carpeta donde se desarrolla el reporte ejecutivo de resultados.

En complemento, se presenta una versión esquemática de la organización de repositorio del proyecto:

    .
    ├── LICENSE
    ├── README.md
    ├── burning_bus
    ├── conf
    │   ├── base
    │   └── local
    ├── docs
    ├── images
    ├── infrastructure        <- Carpeta de infraestructura AWS y Docker
    │   ├── Dockerfile
    │   ├── Readme.md
    │   └── Solver_AWS.ipynb
    ├── notebooks
    │   ├── Programacion      <- Carpeta de reportes de programacion
    │   └── Revision          <- Carpeta de reportes de revision
    ├── references
    │   ├── Minutas
    │   └── algorithms_for_ceco.py
    ├── requirements-dev.txt
    ├── requirements.txt
    ├── results                <- Carpeta de reporte ejecutivo de resultados
    │   └── ReporteResultados.ipynb
    ├── setup.py
    ├── sql
    └── src
        ├── __init__.py
        ├── etl
        ├── pipeline
        └── utils

    18 directories, 17 files

• Bodie, Z., Kane, A., & Marcus, A. J. (2011). Investments. New York: McGraw-Hill/Irwin. https://www.niceideas.ch/airxcell_doc/doc/userGuide/portfolio_optimTheory.html
• Topics in mathematics with applications in finance, MIT 18.S096, Lecture 14 Portfolio Theory, Fall 2013, Dr. Kempthorne, https://ocw.mit.edu/courses/mathematics/18-s096-topics-in-mathematics-with-applications-in-finance-fall-2013/lecture-notes/MIT18_S096F13_lecnote14.pdf
• Notas del curso de Métodos Numéricos y Optimización, ITAM, Moreno Palacios Erick, 2020 https://drive.google.com/file/d/12L7rOCgW7NEKl_xJbIGZz05XXVrOaPBz/view