On the dual of the solvency cone

Similar documents
3. Linear Programming and Polyhedral Combinatorics

CHAPTER 9. Integer Programming

Duality of linear conic problems

Mathematical finance and linear programming (optimization)

Product irregularity strength of certain graphs

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

On a comparison result for Markov processes

Minimally Infeasible Set Partitioning Problems with Balanced Constraints

Proximal mapping via network optimization

Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1

2.3 Convex Constrained Optimization Problems

Definition Given a graph G on n vertices, we define the following quantities:

Convex Programming Tools for Disjunctive Programs

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Sensitivity analysis of utility based prices and risk-tolerance wealth processes

NETZCOPE - a tool to analyze and display complex R&D collaboration networks

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

COMPLETE MARKETS DO NOT ALLOW FREE CASH FLOW STREAMS

About the inverse football pool problem for 9 games 1

A Turán Type Problem Concerning the Powers of the Degrees of a Graph

On the k-path cover problem for cacti

Perron vector Optimization applied to search engines

A 2-factor in which each cycle has long length in claw-free graphs

Large induced subgraphs with all degrees odd

Max-Min Representation of Piecewise Linear Functions

Actually Doing It! 6. Prove that the regular unit cube (say 1cm=unit) of sufficiently high dimension can fit inside it the whole city of New York.

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

Tail inequalities for order statistics of log-concave vectors and applications

Collinear Points in Permutations

The Advantages and Disadvantages of Online Linear Optimization

4.6 Linear Programming duality

Gambling and Data Compression

Lecture 16 : Relations and Functions DRAFT

Notes on Determinant

Cacti with minimum, second-minimum, and third-minimum Kirchhoff indices

On the representability of the bi-uniform matroid

8.1 Min Degree Spanning Tree

LECTURE 4. Last time: Lecture outline

GRAPH THEORY LECTURE 4: TREES

MATHEMATICAL ENGINEERING TECHNICAL REPORTS. The Independent Even Factor Problem

NOTES ON LINEAR TRANSFORMATIONS

Scheduling Shop Scheduling. Tim Nieberg

4: SINGLE-PERIOD MARKET MODELS

Adaptive Online Gradient Descent

A Note on the Bertsimas & Sim Algorithm for Robust Combinatorial Optimization Problems

Factoring & Primality

Degree-associated reconstruction parameters of complete multipartite graphs and their complements

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Some representability and duality results for convex mixed-integer programs.

The Division Algorithm for Polynomials Handout Monday March 5, 2012

Midterm Practice Problems

5.1 Bipartite Matching

Modern Optimization Methods for Big Data Problems MATH11146 The University of Edinburgh

Biometrical worst-case and best-case scenarios in life insurance

How To Solve The Online Advertising Problem

Mean Ramsey-Turán numbers

Asymptotics for ruin probabilities in a discrete-time risk model with dependent financial and insurance risks

Tree-representation of set families and applications to combinatorial decompositions

The van Hoeij Algorithm for Factoring Polynomials

Graphs without proper subgraphs of minimum degree 3 and short cycles

Exponential time algorithms for graph coloring

Arrangements And Duality

Separation Properties for Locally Convex Cones

Discrete Applied Mathematics. The firefighter problem with more than one firefighter on trees

Lecture 1: Course overview, circuits, and formulas

The minimum number of distinct areas of triangles determined by a set of n points in the plane

Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs

Solving Linear Systems, Continued and The Inverse of a Matrix

Practical Guide to the Simplex Method of Linear Programming

Stationary random graphs on Z with prescribed iid degrees and finite mean connections

arxiv: v2 [q-fin.mf] 26 Feb 2015

Tree sums and maximal connected I-spaces

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

On Integer Additive Set-Indexers of Graphs

Fixed Point Theorems

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

MATH 289 PROBLEM SET 4: NUMBER THEORY

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

INTERPOLATION. Interpolation is a process of finding a formula (often a polynomial) whose graph will pass through a given set of points (x, y).

How To Solve The Line Connectivity Problem In Polynomatix

Optimal Index Codes for a Class of Multicast Networks with Receiver Side Information

Interpreting Kullback-Leibler Divergence with the Neyman-Pearson Lemma

Transportation Polytopes: a Twenty year Update

5 Directed acyclic graphs

Every tree contains a large induced subgraph with all degrees odd

The Steepest Descent Algorithm for Unconstrained Optimization and a Bisection Line-search Method

A Robust Optimization Approach to Supply Chain Management

Chapter 4. Duality. 4.1 A Graphical Example

The sum of digits of polynomial values in arithmetic progressions

Continued Fractions and the Euclidean Algorithm

Trading regret rate for computational efficiency in online learning with limited feedback

Buered Probability of Exceedance: Mathematical Properties and Optimization Algorithms

Scheduling and Location (ScheLoc): Makespan Problem with Variable Release Dates

A Branch and Bound Algorithm for Solving the Binary Bi-level Linear Programming Problem

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

Price of Anarchy in Non-Cooperative Load Balancing

5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

A NEW LOOK AT CONVEX ANALYSIS AND OPTIMIZATION

A simple criterion on degree sequences of graphs

6.852: Distributed Algorithms Fall, Class 2

Transcription:

On the dual of the solvency cone Andreas Löhne Friedrich-Schiller-Universität Jena Joint work with: Birgit Rudloff (WU Wien) Wien, April, 0

Simplest solvency cone example Exchange between: Currency : Nepalese Rupee Currency : Euro π = 0 π = 0 ( ) Rupee -portfolios: Euro ( ) 0 ( ) 0 ( ) 0 0 {( 0 ( ) K = cone 0 0 ), ( )} 0 price systems: ( ) ( ) 0 0 ( ) ( ) K+ = cone /0 /0 {( ), 0 ( )} 0

Solve a problem stated in Bouchard, B., Touzi, N. (000): Explicit solution to the multivariate super-replication problem under transaction costs, Ann. Appl. Probab. provide explicitly a generating family for the polar [or dual] cone [of K d for d > ]

Basic facts about transportation problem s > 0 s > 0 d = s > 0 d = s > 0 A = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 s > 0 Variables: x = x x x x x Neg. cost: c = c c c c c Supply s = s s s s s max c T x s.t. Ax = s, x 0

Dual transportation problem min s T y s.t. A T y c s > 0 s > 0 d = s > 0 d = s > 0 A = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 s > 0 y y + c y y + c y y + c y y + c y y + c c = 0 (primal problem = feasibility problem) y y y y y y y y y y s T y = 0

Modified transportation problem s > 0 s > 0 d = s > 0 d = s > 0 A = π 0 0 0 0 0 π π 0 0 0 0 0 π π 0 0 0 0 0 s > 0 Variables: x = x x x x x Neg. cost: c = 0 0 0 0 0 Supply s = s s s s s max c T x s.t. Ax = s, x 0

Modified transportation problem (dual) min s T y s.t. A T y c s > 0 s > 0 d = s > 0 d = s > 0 A = π 0 0 0 0 0 π π 0 0 0 0 0 π π 0 0 0 0 0 s > 0 π y y π y y π y y π y y π y y s T y = 0

Definition (solvency cone) Let d {,,...}, V = {,..., d} and let Π = (π ij ) be a (d d)-matrix such that Sometimes, () and () is replaced by i V : π ii =, () i, j V : 0 < π ij, () i, j, k V : π ij π ik π kj, () i, j, k V : π ij < π ik π kj. () i, j V, k V \ {i, j} : π ij < π ik π kj. () The polyhedral convex cone K d := cone { π ij e i e j ij V V } is called solvency cone induced by Π.

The dual cone K + d := { y R d x K d : x T y 0 }... (positive) dual cone of K d Proposition. One has K + d = { y R d i, j V : π ij y i y j }. Proof: obvious Recall: K d := cone { π ij e i e j ij V V } Proposition. One has R d + \ {0} int K d and K + d \ {0} int Rd +. Proof: Follows from () to (), a separation argument is used. Proposition. One has K d R d + = {0}. Proof: Elementary.

Feasible tree solution V = {,..., d} (P, N)... bi-partition of V, i.e., = P V, N = V \ P G(P, N)... bi-partite digraph with arc set E = P N y R d is called generated by a tree T if T is a spanning tree of G(P, N) such that ij E(T ) P N : π ij y i = y j > 0. () y R d is called feasible with respect to (P, N) if ij P N : π ij y i y j > 0. (7) y is called feasible tree solution w.r.t (P, N) if both properties hold.

Feasible tree solution V = {,,,,,, 7}, P = {,,, }, N = {,, 7} y = T y = π y = π y = π π y = π π 7 π π 7 π y = π π 7 π y 7 = π π 7 π Tree solution: π ij y i = y j for ij E(T )

Feasible tree solution V = {,,,,,, 7}, P = {,,, }, N = {,, 7} y = T y = π y = π y = π π y = π π 7 π π 7 π y = π π 7 π y 7 = π π 7 π Feasibility: e.g. π 7 y y 7

Characterization of K + d Theorem. For y R d, the following statements are equivalent. (i) y is an extremal direction of K + d ; (ii) y is a feasible tree solution w.r.t. some bipartition (P, N) of V.

Questions: Existence of extremal directions/feasible tree solutions Construction of extremal directions/feasible tree solutions Structure of extremal directions/feasible tree solutions

Degree vectors P T N deg T (P ) = deg T (N) = 7

Degree vectors of spanning trees P N 7 c N P is called P -configuration if c i = d i P b N N is called N-configuration if N = {,,...} i N b i = d

Degree vectors of spanning trees P T N 7 c N P is called P -configuration if c i = d i P b N N is called N-configuration if N = {,,...} i N b i = d

Degree vectors of spanning trees P T N 7 c N P is called P -configuration if c i = d i P b N N is called N-configuration if N = {,,...} i N b i = d

Degree vectors of spanning trees P T N 7 c N P is called P -configuration if c i = d i P b N N is called N-configuration if N = {,,...} i N b i = d

Existence of feasible tree solutions Theorem. For every bi-partition (P, N) of V and every P -configuration c N P there exists a feasible tree solution y R d generated by a spanning tree T of the bi-partite graph G(P, N) with deg T (P ) = c. An analogous statement holds if an N-configuration is given.

Towards a proof of Theorem 7

Towards a proof of Theorem 7

Towards a proof of Theorem k = k arg max{y j /π j j N} 7

Towards a proof of Theorem 7 Is there an N-configuration b N N and a feasible tree solution y generated by T such that b = deg T (N) and c = deg T (P )?

Towards a proof of Theorem 7 7

Towards a proof of Theorem 7 7 k arg min{y i π ij i P }

Remaining question: Given a P -configuration c N P. Is there an N-configuration b N N and a feasible tree solution y generated by T such that b = deg T (N) and c = deg T (P )?

Towards a proof of Theorem T (H)... set of all spanning trees of a graph H Lemma. Let H = H(P, N) be a bi-partite graph. Then {deg T (P ) T T (H)} = {deg T (N) T T (H)}. P H N 7 Sang-Il Oum Postnikov 009 (about generalized permutohedra)

Toward a proof of Theorem For a feasible tree solution y, define subgraph H(y) of G = G(P, N) V (H(y)) := V (G), E(H(y)) := { ij P N π ij y i = y j } P(y) := {deg T (P ) T T (H(y))} N (y) := {deg T (N) T T (H(y))} Lemma. Let x, y be two feasible tree solutions such that x αy for all α > 0. Then P(x) P(y) = and N (x) N (y) =.

Illustration of Lemma and Lemma x H(x) y H(y) x y x y x y x y 7 x 7 7 y 7 x y π ij x i = x j, π ij x i > x j P(x) = N (x) = π ij y i = y j, π ij y i > y j P(y) = N (y) =,,

Consequences of Theorem and Corollary. Assume that also () holds. Let x, y be two feasible tree solutions with respect to bi-partitions (P x, N x ) and (P y, N y ) of V, respectively. Then (P x, N x ) (P y, N y ) implies x αy for all α > 0. Moreover, K d + has at least d extremal directions. Corollary. K + d has at most ( ) d d d p= p )( p extremal directions. Example. The upper bound in Corollary cannot be improved. Let the non-diagonal entries be pairwise different prime numbers such that ( min { πij ij V V, i j }) > max { πij ij V V, i j }

Example. d = 0, π i i =, π = 9, π =... π 0,9 = 7 9 > 7 = () K 0 + has exactly ( 9 8 0 p= p )( p ) =...800 extremal directions. P = {,, 7, 8, 9, 0, }, N = {,...,,,..., 0}. ( ) ( d p = 8 ) = 8 P -configurations for this bi-partition (p := P ). c = (,,,,,, ) T N P Algorithm (Matlab, about minutes): y = ( 87 77 0 89, 9 77 0 89, 9 97 7 77 9 7, 77 89, 77 0 89, 97 7 77 9 7, 89, 7 9 7, 7, 89 89 7, 7, 7 7, 97 7 9 7, 7 7, 7 7, 89 89, 89 89, 89 7 89 9, 7 09, ) T b = (,,,,,,,,,,,, ) T N N

Special case π ii := and π ij := a j /b i (i j), 0 < b i a i for all i V, 0 < b k < a k for at least one k V () to () Recursion formula ( ) a b Y = b a Direct description Y d = b a Y d. Y d. b d a d... a d a d b d... b d b d a d. K + d = cone { y R d (P, N) bi-part. of V, i P : y i = b i, j N : y j = a j } Consequence K + d has at most d extremal directions.

Special case π ii := and π ij := a j /b i (i j), 0 < b i < a i for all i V, } () to () The same as in special case, but now K + d has exactly d extremal directions.

Special case π ii := and π ij := a j /b i (i j), 0 < b i a i for all i V, 0 < b k < a k for at least one k V b k = a k for some k V () to () Recursion formula (w.l.o.g. a = b = ) Y = ( a b ) Y d = Y d Y d. a d... a d b d... b d Direct description K d + = cone { y R d } Q V \ {k}, i Q : y i = b i, j V \ Q : y j = a j. Consequence K + d has at most d extremal directions.

References Jewell, W. S. (9): Optimal flow through networks with gains. Operations Research, 0, 7-99 Kabanov, Y. M. (999): Hedging and liquidation under transaction costs in currency markets. Finance and Stochastics, 7-8 Postnikov, A (009): Permutohedra, associahedra, and beyond, Int. Math. Res. Not., 0-0 L., Rudloff, B. (0): On the dual of the solvency cone, Discrete Applied Mathematics 8, 7-8