scholarly journals Linear Invariant Generation Using Non-linear Constraint Solving

Author(s):  
Michael A. Colón ◽  
Sriram Sankaranarayanan ◽  
Henny B. Sipma
Author(s):  
Joost-Pieter Katoen ◽  
Annabelle K. McIver ◽  
Larissa A. Meinicke ◽  
Carroll C. Morgan

2003 ◽  
Vol 06 (07) ◽  
pp. 703-720
Author(s):  
A. Schianchi ◽  
L. Bongini ◽  
M. D. Esposti ◽  
C. Giardinà

In this paper an extension of the Lintner model [1] is considered: the problem of portfolio optimization is studied when short-selling is allowed through the mechanism of margin requirements. This induces a non-linear constraint on the wealth. When interest on deposited margin is present, Lintner ingeniously solved the problem by recovering the unique optimal solution of the linear model (no margin requirements). In this paper an alternative and more realistic approach is explored: the nonlinear constraint is maintained but no interest is perceived on the money deposited against short-selling. This leads to a fully non-linear problem which admits multiple and unstable solutions very different among themselves but corresponding to similar risk levels. Our analysis is built on a seminal idea by Galluccio, Bouchaud and Potters [3], who have re-stated the problem of finding solutions of the portfolio optimization problem in futures markets in terms of a spin glass problem. In order to get the best portfolio (i.e. the one lying on the efficiency frontier), we have to implement a two-step procedure. A worked example with real data is presented.


2004 ◽  
Vol 39 (1) ◽  
pp. 318-329 ◽  
Author(s):  
Sriram Sankaranarayanan ◽  
Henny B. Sipma ◽  
Zohar Manna

Sign in / Sign up

Export Citation Format

Share Document