<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Devanur, N. R., Papadimitriou, C. H., Saberi, A., Vazirani, V. V. Market equilibrium via
a primal-dual algorithm for a convex program.Journal of the ACM (JACM)</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Polyhedral Complementarity and Fixed Points Problem of Decreasing Regular Mappings on Simplex</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Acknowledgments.</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Vadim I. Shmyrev Sobolev Institute of Mathematics, Russian Academy of Sciences 4 Acad.</institution>
          <addr-line>Koptyug avenue, 630090 Novosibirsk</addr-line>
          ,
          <country country="RU">Russia.</country>
          <institution>Novosibirsk State University</institution>
          ,
          <addr-line>2 Pirogova street, 630090 Novosibirsk</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2008</year>
      </pub-date>
      <volume>55</volume>
      <issue>5</issue>
      <fpage>511</fpage>
      <lpage>516</lpage>
      <abstract>
        <p>A new development of polyhedral complementarity investigation is presented. This consideration extends the author's original approach to the equilibrium problem in a linear exchange model and its variations. Two polyhedral complexes in duality and a cells correspondence are given. The problem is to find a point of intersection of the cells corresponding each other . This is a natural generalization of linear complementarity problem. Now we study arising point-to-set mappings without the original exchange model. The potentiality for a special class of regular mappings is proved. As a result the fixed point problem of mapping reduces to an optimization problem . Two finite algorithms for this problem are considered.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        It is known that the problem of finding an equilibrium in a linear exchange model can be reduced to the linear
complementarity problem [Eaves, 1976]. The polyhedral complementarity approach [Shmyrev, 1983] is based on
a fundamentally different idea, that reflects more the character of economic equilibrium as a concordance the
consumers’ preferences with financial balances. In algorithmic aspect it may be treated as a realization of the
main idea of the simplex-method of linear programming. It has no analogues and makes it possible to obtain
the finite algorithms not only for the linear exchange model [Shmyrev, 1985], but also for some of it’s variations
[Shmyrev, 2008],
        <xref ref-type="bibr" rid="ref6">(more references one can find in [Shmyrev, 2016])</xref>
        . The simplest algorithms are those for a
model with fixed budgets, known more as Fisher’s problem. The convex programming reduction of it , given
by Eisenberg and Gale [Eisenberg &amp; Gale, 1959], is well known . This result has been used by many authors to
study computational aspects of the problem. Some review of that can be found in [Devanur et al., 2008]. The
polyhedral complementarity approach has given an alternative reduction of the Fisher’s problem to a convex
program [Shmyrev, 1983],[Shmyrev, 2006]. Only the well known elements of transportation problem algorithms
are used in the procedures obtained by this way [Shmyrev, 2009]. These simple procedures can be used for
getting iterative methods for more complicate models [Shmyrev, 1996], [Shmyrev, 2016].
Ξ4
Ω3
Ξ2
Ω7
Ξ7
Ξ1
x∗
Ω6
Ξ3
Ω4
x∗ is the solution
x∗ ∈ Ω6 ∩ Ξ6
Ξ5
      </p>
      <p>By the given approach we try to study a mathematical fundamental principle of the proposed finite algorithms
ignoring an original economic model. We consider a class of piecewise constant multivalued mappings on the
simplex in Rn , which possess some monotonicity property . The potentiality of these mappings is proved
[Shmyrev, 2017]. This makes possible to reduce a fixed point problem to two optimization problems which are
in duality similarly to dual linear programming problems. Two finite algorithms presented here are based on the
ideas of suboptimization [Rubinstein, 1971].
2</p>
    </sec>
    <sec id="sec-2">
      <title>Polyhedral Complementarity Problem</title>
      <p>We consider polyhedrons in Rn. Let two polyhedral complexes ω and ξ with the same number of cells r be
given . Let R ⊂ ω × ξ be a one-to-one correspondence : R = {(Ωi, Ξi)}ir=1 with Ωi ∈ ω, Ξi ∈ ξ.</p>
      <p>We say that the complexes ω and ξ are in duality by R if the subordination of cells in ω and the subordination
of the corresponding cells in ξ are opposite each other:
The polyhedral complementarity problem is to find a point that belongs to both cells of some pair (Ωi, Ξi):
Ωi ≺ Ωj ⇐⇒ Ξi ≻ Ξj .
p∗ is the solution</p>
      <p>⇐⇒ p∗ ∈ Ωi ∩ Ξi for some i.</p>
      <p>This is natural generalization of linear complementarity, where ( in nonsingular case) the complexes are formed
by all faces of two simplex cones.</p>
      <p>Figure 1 shows an example of the polyhedral complementarity problem. Each of two complexes has 7 cells.
There is a unique solution of the problem — the point x∗ that belongs to Ω6 and Ξ6.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Polyhedral Complementarity on Simplex</title>
      <p>Let σ be the unit simplex in Rn :
σ =
{
p ∈ Rn+ | ∑n pj = 1}.</p>
      <p>j=1
∑ hj pj +</p>
      <p>∑ hkpk ≥ γ,
j∈S</p>
      <p>k∈=S
hj &gt; 0, j ∈ S,</p>
      <p>hk &lt; 0, k ∈/ S.
We consider on σ two polyhedral complexes in duality ω = {Ωi} and ξ = {Ξi}.The cell of full dimension of the
complex ω is defined by the condition p ∈ σ and a system of linear inequalities of the form :
where S ̸= ∅, S ⊂ J = {1, ..., n} and
(1)
c12</p>
      <p>c1
p1</p>
      <p>c2
Complex ξ
Ω2</p>
      <p>Ω12</p>
      <p>For the faces points of the cell some of inequalities (1) become equalities. For a face of dimension (n − 2) there
is only one equality and so we obtain a subdivision J into S and J \ S.</p>
      <p>It is assumed that the cells {Ωi} form a subdivision of the simplex σ and the cells {Ξi} form a subdivision of
it’s interior σ◦.</p>
      <p>The cells {Ξi} of full dimension are defined by the inequalities of the form:
pj /pk ≥ γjk.
(2)
A vertex of ξ will be given by a collection of (n − 1) linearly independent equations obtained from inequalities
(2). With such a collection we can associate a graph with a set of vertexes J and a set of edges (j, k)
corresponding to the selected inequalities. It is easy to see, that to obtain an edge of ξ we have to remove one edge of
the graph. In this way we obtain two connected components and also a subdivision J into two subsets Q and J \Q.</p>
      <p>Concordance condition. The subdivision for an edge of the complex ξ is the same as that for the
corresponding cell of the complex ω .
4</p>
    </sec>
    <sec id="sec-4">
      <title>Monotone Regular Mappings</title>
      <sec id="sec-4-1">
        <title>1◦. Monotonicity property.</title>
        <p>For the problem under consideration it is naturally to introduce piecewise constant point-to-set mapping G,
which for every point of the relative interior of a cell Ω ∈ ω assigns the corresponding cell Ξ ∈ ξ: G(p) = Ξ for
all p ∈ Ω◦. So the polyhedral complementarity problem becomes the fixed point one: we have to find p ∈ G(p).
It is clear, that the fixed point of the mapping G will be also the fixed point of it’s restriction G◦ on σ◦.
A key feature of the considered fixed point problem is a specific monotonicity property of arising mappings.</p>
        <p>Let the cells Ω1, Ω2 be adjacent and q1, q2 are the corresponding vertexes of ξ. Let h be a vector, for which
the inequality (h, Ω2◦ − Ω1◦) ≥ 0 holds.</p>
        <p>De nition 2. The mapping G is locally decreasing, if for each two adjacent Ω1, Ω2 the inequality
(h, q2 − q1) ≤ 0 is valid.</p>
        <p>For a positive vector q = (q1, ..., qn) we introduce the vector ln q = (ln q1, ..., ln qn).</p>
        <p>De nition 3. The mapping G is locally logarithmically decreasing, if
(p2 − p1, ln q2 − ln q1) ≤ 0,
∀p1 ∈ Ω1, p2 ∈ Ω2.</p>
        <p>In what follows we consider a narrower class of regular mappings for which in the inequalities (1) we have:
and −1 ≤ γ ≤ 1. So (1) becomes
hj = 1,
hk = −1,
j ∈ S,
k ∈/ S,
∑ pj −</p>
        <p>∑ pk ≥ γ.
j∈S</p>
        <p>k∈=S
It can be proofed, that for regular mappings the subclass of locally decreasing mappings coincides with the
subclass of locally logarithmically decreasing mappings.</p>
      </sec>
      <sec id="sec-4-2">
        <title>2◦. Reduction to the optimization problem.</title>
        <p>De nition 4. A mapping G is named potential if there exists piecewise linear concave function f on σ such
that
∀p ∈ σ</p>
        <p>∂f (p) = {ln q + tθ|q ∈ G(p), t ∈ R1, }
where θ = (1, ..., 1) and ∂f (p) is the subdifferential of the function f at the point p.</p>
        <p>The main feature of the considered fixed point problem is the fact that logarithmically decreasing mappings
are potential [Shmyrev, 2017]. We have as a corollary that locally logarithmically decreasing mappings are
logarithmically decreasing in the large :
(p2 − p1, ln q2 − ln q1) ≤ 0,
∀p1, p2 ∈ σ,
∀q1 ∈ G(p1), q2 ∈ G(p2).</p>
        <p>This allows us to reduce the fixed point problem to the optimization one.</p>
        <p>For p &gt; 0 we introduce the function h(p) = (p, ln p) and consider the function</p>
        <p>φ(p) = h(p) − f (p),
where f (p) is the potential function of the mapping G◦.</p>
        <p>Theorem 1. The xed point of G◦ coincides with the minimum point of the convex function φ(p) on σ◦
The function φ is very simple and the suboptimization approach [Rubinstein, 1971] can be used to minimize
it . In this way we obtain the finite algorithm for the fixed point searching.</p>
        <p>Another algorithm for the problem can be obtained if we take into account that the mapping G and the
inverse mapping G−1 have the same fixed points. For the introduced concave function f we can consider the
conjugate function f ∗ :</p>
        <p>f ∗(y) = inzf{(y, z) − f (z)}
Theorem 2. The xed point of G◦ is the maximum point of the concave function ψ(q) = f ∗(ln q) on σ◦.</p>
        <p>It can be shown that for the functions φ(p) and ψ(q) there is a duality relation as for dual programs of linear
programming:</p>
        <p>Proposition. For all p, q ∈ σ◦ the inequality</p>
        <p>φ(p) ≥ ψ(q)
holds . If this inequality turns into equality then p = q .</p>
        <p>Corollary. φ(r) = ψ(r) if the point r is the xed point of the mapping G</p>
      </sec>
      <sec id="sec-4-3">
        <title>3◦. Algorithms.</title>
        <p>The mentioned theorems allow us to propose two finite algorithms for searching fixed points.
Algorithmically they are based on the ideas of suboptimization [Rubinstein, 1971], which were used for
minimization quasiconvex functions on a polyhedron. In considered case we exploit the fact that the complexes ω
and ξ define the cells structure on σ◦ similarly to the faces structure of a polyhedron.</p>
        <p>For implementation of the algorithms one does not need to have function φ(p) and f ∗(y) explicit. We just need
to be able to verify the inequality defining cells Ω ∈ ω and Ξ ∈ ξ.</p>
        <p>We now describe the general scheme of the algorithm that is based on the theorem 1. The other one using
the theorem 2 is quite similar.</p>
        <p>Consider a couple of two cells Ω ∈ ω, Ξ ∈ ξ corresponding each other. Let L, M be their affine hulls
respectively. It can be shown that L ∩ M is singleton. Let r be the point of this intersection.
Theorem 3. The point r is the minimum point of the function φ(p) on L and the maximum point of the function
ψ(q) on M .</p>
        <p>On the current k-step of the process there are two cells Ωk ∈ ω, Ξk ∈ ξ corresponding each other and two
points pk ∈ Ωk, qk ∈ Ξk. We consider affine hulls Lk ⊃ Ωk, Mk ⊃ Ξk and obtain the point of their intersection
rk . For this we need descriptions of these sets.</p>
        <p>As it was mentioned before, with an edge of ξ we associate a graph with two connected components and a
subdivision J into two subsets Q and J \ Q. For a cell of higher dimension the associated graph will have more
components, that will entail an increase of the sets number in the subdivision of J . Let τ be the number of
connected components of the associated graph for the cell Ξk and J = Q1 ∪Q2, ∪..., Q is the obtained subdivision
of J . It is easy to verify that the linear system for Lk is going to be equivalent to this one :
∑ pj = α ,
j∈Q
ν = 1, ..., τ.</p>
        <p>(3)
The conditions for the cell Ξk define coordinates qj on each connected component up to a positive multiplier:
k
qj = t qj ,
j ∈ Q .</p>
        <p>To obtain the coordinates of the point rk we need to put pj = qj in corresponding equation (3), which gives the
multiplier t .</p>
        <p>For the obtained point rk can be realized two cases.</p>
        <p>(i) rk ∈/ Ωk. Since rk is a minimum point on Lk for the strictly convex function φ(p), the value of the function
will diminish for the moving point p(t) = (1 − t)pk + trk) when t increases in [0,1]. In considered case this point
reaches a face of Ωk at t = t∗ &lt; 1 . This face we take as Ωk+1, that determines the cell Ξk+1. We accept
pk+1 = p(t∗), qk+1 = qk and pass to the next step.</p>
        <p>It should be noted that the dimension of the cell Ω reduces. It will certainly be rk ∈ Ωk when the current cell
Ωk degenerates into a point and we have rk = pk. But it can occur earlier.</p>
        <p>(ii) rk ∈ Ωk. In this case we can assume pk = rk. Otherwise, we can simply replace pk by rk with a decrease
of the function’s φ(p) value. If rk ∈ Ξk, then rk is the required fixed point. Otherwise, we are looking for the
maximum t∗, at which point q(t) = (1 − t)qk + trk is still in the Ξk. At t = t∗ the point q(t) reaches a face
of the cell Ξk, which is accepted as Ξk+1. The corresponding cell of the complex ω will be Ωk+1. We accept
pk+1 = pk, qk+1 = q(t∗) and pass to the next step.</p>
        <p>Nondegeneracy condition. The dimension of the current cells Ωk, Ξk at each step of the process changes
per unit.</p>
        <p>Under this condition the value of the difference φ(pk) − ψ(qk) decreases at each step of the process and we
use this to prove the finiteness of the process.
This work was supported by the Russian Foundation for Basic Research, project 16-01-00108 .</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <source>[Rubinstein</source>
          , 1971]
          <string-name>
            <given-names>Rubinstein G.Sh.</given-names>
            ,
            <surname>Shmyrev</surname>
          </string-name>
          <string-name>
            <surname>V. I.</surname>
          </string-name>
          <article-title>Methods for minimization quasiconvex function on polyhadron (in Russian)</article-title>
          .
          <source>Optimization</source>
          <volume>1</volume>
          (
          <issue>18</issue>
          ).
          <fpage>82</fpage>
          -
          <lpage>117</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 2017]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>Polyhedral complementarity on simplex. Potentiality of regular mappings (in Russian)</article-title>
          .
          <source>J. Appl</source>
          . Indust. Math. . to appear.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 1996]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shmyreva</surname>
            <given-names>N. V.</given-names>
          </string-name>
          <article-title>An iterative algorithm for searching an equilibrium in the linear exchange model</article-title>
          .
          <source>Sib.Adv.Math. 6</source>
          ,
          <issue>1</issue>
          .
          <fpage>87</fpage>
          -
          <lpage>104</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 2009]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>An algorithm for finding equilibrium in the linear exchange model with fixed budgets</article-title>
          .
          <source>Journal of Applied and Industrial Mathematics</source>
          <volume>3</volume>
          (
          <issue>4</issue>
          ).
          <fpage>505</fpage>
          -
          <lpage>518</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 2006]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>An algorithmic approach for searching an equilibrium in fixed budget exchange models</article-title>
          . In Driessen, T. S., van der Laan, G. ,
          <article-title>Vasil'ev, V. A</article-title>
          .,
          <string-name>
            <surname>Yanovskaya</surname>
            , E. B. (eds.) Russian Contributions to Game Theory and
            <given-names>Equilibrium</given-names>
          </string-name>
          <string-name>
            <surname>Theory</surname>
          </string-name>
          . (pp.
          <fpage>217</fpage>
          -
          <lpage>235</lpage>
          ). Berlin, Germany: Springer.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 2016]
          <string-name>
            <surname>Shmyrev Vadim I.</surname>
          </string-name>
          (
          <year>2016</year>
          )
          <article-title>An Iterative Approach for Searching an Equilibrium in Piecewise Linear Exchange Model</article-title>
          . In Kochetov, Yu. et al. (Eds.) DOOR-2016
          <source>. LNCS (Lecture Notes in Computer Sciences)</source>
          .
          <source>( vol. 9869</source>
          , pp.
          <fpage>61</fpage>
          -
          <lpage>72</lpage>
          ). Heidelberg, Germany : Springer.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 2008]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>A generalized linear exchange model</article-title>
          .
          <source>J. Appl. Indust. Math. 2</source>
          ,
          <issue>1</issue>
          .
          <fpage>125</fpage>
          -
          <lpage>142</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 1985]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>An algorithm for the search of equilibrium in the linear exchange model</article-title>
          .
          <source>Sibirian Math. J</source>
          .
          <volume>26</volume>
          .
          <fpage>288</fpage>
          -
          <lpage>300</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <source>[Shmyrev</source>
          , 1983]
          <string-name>
            <surname>Shmyrev</surname>
            <given-names>V. I.</given-names>
          </string-name>
          <article-title>On an approach to the determination of equilibrium in elementary exchange models</article-title>
          ,
          <source>Sov. Math. Dokl. 27</source>
          ,
          <issue>1</issue>
          ,
          <fpage>230</fpage>
          -
          <lpage>233</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          <source>[Eaves</source>
          , 1976] Eaves,
          <string-name>
            <surname>B. C.</surname>
          </string-name>
          <article-title>A finite algorithm for linear exchange model</article-title>
          .
          <source>J. Math. Econom</source>
          .
          <volume>3</volume>
          (
          <issue>2</issue>
          ),
          <fpage>197</fpage>
          -
          <lpage>204</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          <source>[Eisenberg &amp; Gale</source>
          , 1959]
          <string-name>
            <given-names>E.</given-names>
            <surname>Eisenberg</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>Gale</surname>
          </string-name>
          .:
          <article-title>Consensus of subjective probabilities: The pari-mutuel method</article-title>
          .
          <source>The Annals of Mathematical Statistics</source>
          <volume>30</volume>
          (
          <issue>1</issue>
          ).
          <fpage>165</fpage>
          -
          <lpage>168</lpage>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>