Assistant Professor Dmitrii V Pasechnik

| Home | Research | Publications | software
Recent preprints, etc., online

2009

  1. Numerical block diagonalization of matrix *-algebras with application to semidefinite programming (with E. de Klerk and C. Dobre) e-print nr. 2009-02-2244 at Optimization online, submitted.
  2. The cost of stability in coalitional games (with Y. Bachrach, E. Elkind, R. Meir, M. Zuckerman, J. Rothe, J. Rosenschein) Proceedings of SAGT 2009 (2nd International Symposium on Algorithmic Game Theory), LNCS, 5814, 122-134 , Springer-Verlag, Berlin, 2009, arXiv.org preprint cs.GT/0907.4385
  3. On semidefinite programming relaxations of association schemes with application to combinatorial optimization problems (with E. de Klerk) CentER Discussion Paper 2009-54

2008

  1. Computing the nucleolus of weighted voting games (with E. Elkind), COMSOC-08, presented at SODA 2009, in the SODA 2009 Proc., pp. 327-335, arXiv.org preprint cs.GT/0808.0298
  2. Computing the Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials (with S. Basu and M.-F. Roy), arXiv.org e-print math.GT/0806.3911, Journal of Algebra 321(2009) 2206-2229
  3. On semidefinite programming relaxations of the traveling salesman problem (with E. de Klerk, and R. Sotirov), arXiv.org e-print math.OC/0902.1843 (a typo (wrong picture) in the journal version corrected, cf. erratum in SIAM J. Opt. 20(2009) p.1132 ), jorunal version: SIAM J. Opt. 19(2008) 1559-1573

2007

  1. Exploiting group symmetry in truss topology optimization (with Y.-Q. Bai, E. De Klerk, and R. Sotirov), e-print nr. 2007-04-1639 at Optimization online, Optimization and Engineering 10(2009), 331-349
  2. Bounding the Betti numbers and computing the Euler-Poincare characteristic of semi-algebraic sets defined by partly quadratic systems of polynomials (with S. Basu and M.-F. Roy), arXiv.org preprint math.AG/0708.3522, a shortened version will appear in J. European Math. Soc.

2006

  1. On the Lov�sz theta-number of almost regular graphs with application to Erd�s--R�nyi graphs (with E. De Klerk, M.W. Newman and R. Sotirov), e-print nr. 2006-09-1476 at Optimization Online, Eur. J. Comb. 30(2009) 879-888

2005

  1. A note on the stability number of an orthogonality graph (with E. de Klerk), CentER Discussion Paper 2005, nr. 66, arXiv.org preprint math.CO/0505038, Eur. J. Comb. 28(2007) 1971-1979
  2. Reduction of symmetric semidefinite programs using the regular *-representation (with E. de Klerk and A. Schrijver), e-print nr. 2005-03-1083 at Optimization Online, Math. Prog. B 109(2007) 613-624 (link via Springer)
  3. A linear programming reformulation of the standard quadratic optimization problem (with E. de Klerk), CentER Discussion Paper 2005, nr. 24, J. Global Optim. 37(2007), 75-84 (link via Springer)
  4. Solving SDP's in non-commutative algebras part I: the dual-scaling algorithm (with E. de Klerk), CentER Discussion Paper 2005, nr. 17

2004

  1. On the irreducibility of a truncated binomial expansion (with M. Filaseta and A. Kumchev), e-print math.NT/0409523 at arXiv.org, Rocky Mountains J. Math. 37(2007), 455-464
  2. Improved bounds for the crossing numbers of Km,n and Kn (with E. de Klerk, J. Maharry, B. Richter and G. Salazar), e-print math.CO/0404142 at arXiv.org, SIAM J. Discr. Math. 20(2006), 189-202
  3. Polynomial-time computing over quadratic maps I. Sampling in real algebraic sets (with D. Grigoriev) e-print cs.SC/0403008 at arXiv.org, Computational Complexity 14(2005) 20-52 via SpringerLink

2003

  1. Recent Progress on Turan's Brickyard Problem: improved lower bounds for the crossing numbers of Km,n and Kn (with E. de Klerk, J. Maharry, B. Richter and G. Salazar). Presented at Advances in Graph and Matroid Theory
  2. Minimal representations of locally projective amalgams (with A.A. Ivanov), J. London Math. Soc. (2) 70(2004) 142-164
  3. On NP-hardness of the clique partition - Independence number gap recognition and related problems (with S. Busygin), Report TR03-052 at Electronic Colloquium on Computational Complexity, Discr. Math. 306(2006) 460-463
  4. The isometries of the cut, metric and hypermetric cones (with A. Deza and B. Goldengorin). e-print math.MG/0306049 at arXiv.org, J. Algebraic Combinatorics23(2006) 197-203

2001

2000

Preprints.
  1. Local Characterizations of Geometries. PhD thesis, The University of Western Australia, 1994, available at http://arXiv.org/abs/math.GR/0103121
  2. Computing covariants of binary forms and related topics. Preprint 1995,
    available at http://stuwww.uvt.nl/~dpasech/misc/impl.dvi
  3. On the nullcone and Hironaka decompositions of the invariants of a torus.
    Preprint 1996, available at http://stuwww.uvt.nl/~dpasech/misc/torus.ps
  4. A construction of locally homogeneous graphs ("Weetman's construction"). (with A. Kasikova). Preprint 1996.
  5. Algebraic combinatorics in mathematical chemistry. Methods and algorithms. II. Program implementation of the Weisfeiler-Leman algorithm. (with L. Babel, I.V. Chuvaeva and M. Klin). Report TUM-M9701 (local copy), 1997, Fakultaet fuer Mathematik, TU Muenchen
  6. An interior point approximtion algorithm for a class of combinatorial optimization problems: implementation and enhancements, Preprint 1998,
    available at http://stuwww.uvt.nl/~dpasech/misc/fap.ps
  7. Optimal disjoint prefect matchings on a pair of weighted bipartite graphs. (with B. Goldengorin and F. Sharifov) Preprint 2003, available at http://stuwww.uvt.nl/~dpasech/misc/disjointmatchings.ps
  8. Solving SDP's in non-commutative algebras part I: the dual-scaling algorithm. (with E. de Klerk) CentER Discussion Paper 2005, nr. 17, available at http://greywww.kub.nl:2080/greyfiles/center/2005/17.html
Some Software (scientific) authored
A selection of links and downloads is available online at
http://stuwww.uvt.nl/~dpasech/software.html
  1. In [1-23]1 I developed an algorithm for finding the Hilbert basis for a system of linear homogeneous Diophantine equations. The accompanying implementation is available for download at http://stuwww.uvt.nl/~dpasech/code/hb.tgz. It should run on any Unix platform with an ANSI C compiler.
  2. I implemented in GAP 3 and GRAPE a classical algorithm to check if a given graph is an edge graph, that was instrumental in [1-26]. This GAP 3 code can be downloaded at ftp://ftp-gap.dcs.st-and.ac.uk/pub/gap/gap-3.4.4/deposit/gap/invling.g
  3. In [1-28] a part of a project to develop and implement algorithms to enumerate (orbiwise) the vertices of polytopes is described. My (programming) task there was to build an interface between Nauty (a program to compute automorphisms of graphs, also used in GRAPE by L. Soicher) and CDD (a suite of programs to enumerate vertices of polytopes, see http://www.cs.mcgill.ca/~fukuda/soft/cdd_home/cdd.html).
  4. CGAL (see http://www.cgal.org) is a large general-purpose computational geometry library written in C++. In 1999-2000 I worked full-time on CGAL, and was mostly involved in porting the library to Microsoft Windows platform. That included adopting STL implementation from http://www.stlport.org as a replacement for the standard STL of Microsoft VC++ compiler, porting GNU MP package (see http://www.gnu.org/software/gmp/gmp.html) to the latter compiler, developing an installation procedure for Windows.
  5. In [2-6] an implementation of a non-linear non-convex programming heuristic for a class of combinatorial optimization algorithms is decribed. It can be downloaded at http://stuwww.uvt.nl/~dpasech/code/fap.tar.gz.
  6. In [2-2] an implementation of a classical algorithm to construct a full system of covariants of binary forms of a given degree is described. A part of it, an implementation in C of a generalisation to systems of equations of an algorithm described in M.Clausen and A.Fortenbacher "Efficient solutions of linear Diophanitine equations" J. Symb. Comp. 6(1988) 113-115, can be downloaded at http://stuwww.uvt.nl/~dpasech/code/dio.tgz.
Slides of some talks
  1. Approximate graph colouring and MAX-k-CUT algorithms based on the theta-function.
    Spring 2000, based on the paper, joint with E. de Klerk and and J.P.Warners, appeared in J. Comb. Opt. 8(2004)
  2. Quadratic optimization subject to a fixed number of quadratic constraints is polynomial-time.
    Autumn 2002, based on joint work with D. Grigoriev and E. de Klerk
  3. Towards parametric solving of systems of quadratic equations over reals: algorithms and applications.
    March 2003, based on joint work with D. Grigoriev and E. de Klerk
  4. Systems of polynomial inequalities over a quadratic map: bounds, algorithms and applications.
    June 2003, presented at MEGA-2003
  5. Complexity and algorithms for semi-algebraic sets over quadratic maps .
    June 2004, invited lecture at the annual 2004 conference of the RAAG Network
  6. A note on the stability number of an orthogonality graph .
    August 2005, 3rd International Conference Geometric and Algebraic Combinatorics

Valid HTML 4.01!