czammar / MNO_finalproject

An implementation on GPU's of a Solver for Markowitz's Model
Other
0 stars 4 forks source link
cupy docker finance gpu-computing karush-kuhn-tucker lagrangian markowitz-portfolio optimization python

Implementación del modelo Markowitz

0. Índice

1. Descripción del problema

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 r > 0. 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 \Sigma 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 w_i, que finalmente es un vector de tamaño n \times 1, donde n \times 1 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:

\min_{w} \frac{1}{2}w^T\Sigma w

Sujeto a las restricciones lineales:

Resolver este problema nos permite encontrar cómo se integra el portafolio que dado un rendimiento r > 0 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:

alt-text

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.

2. Consideraciones metodológicas

2.1 Portafolio de activos, sus rendimientos y pesos

Código Bursátil Nombre de la empresa Industria
XOM Exxon Mobil Corporation Energía
CVX Chevron Corporation Energía
RDSA.AS Royal Dutch Shell Energía
RELIANCE.NS Reliance Industries Limited Energía
COP Conoco Phillips Energía
AMT American Tower Corporation Inmobiliaria
CCI Crown Castle International Corp Inmobiliaria
PLD Prologis, Inc Inmobiliaria
DLR Digital Realty Trust, Inc Inmobiliaria
0688.HK China Overseas Land & Investment Limited Inmobiliaria
LIN Linde plc Materiales
BHP.AX BHP Group Materiales
RIO.L Rio tinto Group Materiales
AI.PA L'Air Liquide S.A Materiales
2010.SR Saudi Basic Industries Materiales
LMT Lockhedd Martin Corporation Materiales Industriales
HON Honeywell International Inc Materiales Industriales
UPS United Parcel Service. Inc Materiales Industriales
UNP Union Pacific Corporation Materiales Industriales
RTX Raytheon Technologies Corporation Materiales Industriales
AMZN Amazon.com, Inc Consumo Discrecional
BABA Alibaba Group Holding Limited Consumo Discrecional
HD The Home Depot, Inc Consumo Discrecional
MC.PA LVMH Louis Vuitton, Société Europèenne Consumo Discrecional
7203.T Toyota Motor Corporation Consumo Discrecional
WMT Walmart Inc Retail
PG PThe Procter & Gamble Company Retail
KO The Coco-Cola Company Retail
PEP PesiCo Inc Retail
NSRGY Nestlé S.A Retail
JNJ ohnson & Johnson Cuidado Personal
UNH UnitedHealth Group Incorporated Cuidado Personal
PFE Pfizer Inc Cuidado Personal
MRK Merk & Co., Inc Cuidado Personal
RHHBY Roche Holding AG Cuidado Personal
VTI Vanguard Total Stock Market ETF Financiera
VOO Vanguard S&P 500 ETF Financiera
BRK-A Bekshire Hathaway Inc Financiera
1398.HK Industrial and Commercial Bank of China Limited Financiera
JPM JPMorgan Chase & Co Financiera
MSTF Microsoft Corporation Tecnología
APPL Apple Inc Tecnología
V Visa Inc Tecnología
005930.KS Samsung Electronics Tecnología
MA Mastercard Incorporated Tecnología
GOOG.L Alphabet Inc Comunicación
FB Facebook, Inc Comunicación
0700.HK Tencent Holdings Limited Comunicación
VS Verizon Communications Inc Comunicación
T AT&T Inc Comunicación

r=log\tfrac{P_t}{P_{t-1}}

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

2.2 Solver basado en multiplicadores de Lagrange

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:

L(w,\lambda_{1}, \lambda_{2}) = \frac{1}{2}w^T\Sigma w +  \lambda_{1}(r-w^T\mu) + \lambda_{2}(1-w^T1_{n})

w_0 = \lambda_1 \Sigma^{-1} \mu + \lambda_2 \Sigma^{-1} 1_n

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

Matriz

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 w^{*}=w_{0}\cdot (\Sigma^{-1}\cdot \mu)+w_{1}\cdot (\Sigma^{-1}\cdot 1)

2.2.1 Diagrama de flujo del solver basado en multiplicadores de Lagrange

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

El proceso comentado, se resume a continuación:

Diagrama de flujo

2.3 Solver basado en el método de Newton con restricciones de igualdad

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:

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:

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

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:

\begin{bmatrix} \nabla^2 f(x) & A^T \\ A & 0  \end{bmatrix} = \begin{bmatrix} \Delta x_t  \\ W  \end{bmatrix} = \begin{bmatrix} -\nabla f(x)  \\ 0  \end{bmatrix}

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 \lambda(x)=(\Delta {x_n}_t^T \nabla^2 f(x) \Delta {x_n}_t)^{1/2}%5E%7B1%2F2%7D), 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:

2.3.1 Diagrama de flujo del solver basado en el método de Newton con restricciones de igualdad

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

El proceso comentado, se resumen a continuación:

Diagrama de flujo

3. Organización del equipo

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

# Rol Persona
1 Grupo de programación Bruno
2 Grupo de programación Itzel
3 Grupo de programación César
4 Grupo de revisión León
5 Grupo de revisión/Asistente de PM Danahi
6 Project Manager Yalidt

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

# Rol Persona
1 Grupo de programación Bruno
2 Grupo de programación Itzel
3 Grupo de programación César
4 Grupo de revisión/ Ayudante de programación León
5 Grupo de revisión/ Contexto Teórico Yalidt
6 Project Manager Danahi

4. Flujo de trabajo en Github

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.

gitflow

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.

5. Requerimientos de infraestructura

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:

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.

6. Organización del proyecto

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

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.

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.

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

Referencias