SearcharxivSearch

arXiv subjects

Dimitri Korkotashvili

Publications and source records attributed to Dimitri Korkotashvili.

3 recordsLinked to original sources

Link between bipartite and general unicellular toroidal maps via slit--slide--sew bijections

We relate general maps to bipartite maps through a bijection of type slit-slide-sew. We provide an involution on arbitrary genus maps with even degree faces. This enables a full interpretation of the relation between general and bipartite maps, in the case of genus $1$ maps with a unique face. The main tool is the use of rotations along well-chosen specific loops. Once a noncontractible simple loop is given, one slits along it, slides one notch, and sews back. This mildly modifies the structure of the map along the loop, changing the parity of the length of other loops crossing it. In the unicellular toroidal setting, the structure of noncontractible loops is simple enough to enable a full correspondence between general and bipartite maps.

math.CO

Slit-slide-sew bijections for constellations and quasiconstellations

We extend so-called slit-slide-sew bijections to constellations and quasiconstellations. We present an involution on the set of hypermaps given with an orientation, one distinguished corner, and one distinguished edge leading away from the corner while oriented in the given orientation. This involution reverts the orientation, exchanges the distinguished corner with the distinguished edge in some sense, slightly modifying the degrees of the incident faces in passing, while keeping all the other faces intact. The construction consists in building a canonical path from the distinguished elements, slitting the map along it, and sewing back after sliding by one unit along the path. The involution specializes into a bijection interpreting combinatorial identities linking the numbers of constellations or quasiconstellations with a given face degree distribution, where the degree distributions differ by one $+1$ and one $-1$. In particular, this allows to recover the counting formula for constellations or quasiconstellations with a given face degree distribution. Our bijections furthermore provide an algorithm for sampling a hypermap uniformly distributed among constellations or quasiconstellations with prescribed face degrees.

math.CO

Difficulties of the NSGA-II with the Many-Objective LeadingOnes Problem

The NSGA-II is the most prominent multi-objective evolutionary algorithm (cited more than 50,000 times). Very recently, a mathematical runtime analysis has proven that this algorithm can have enormous difficulties when the number of objectives is larger than two (Zheng, Doerr. IEEE Transactions on Evolutionary Computation (2024)). However, this result was shown only for the OneMinMax benchmark problem, which has the particularity that all solutions are on the Pareto front, a fact heavily exploited in the proof of this result. In this work, we show a comparable result for the LeadingOnesTrailingZeroes benchmark. This popular benchmark problem appears more natural in that most of its solutions are not on the Pareto front. With a careful analysis of the population dynamics of the NGSA-II optimizing this benchmark, we manage to show that when the population grows on the Pareto front, then it does so much faster by creating known Pareto optima than by spreading out on the Pareto front. Consequently, already when still a constant fraction of the Pareto front is unexplored, the crowding distance becomes the crucial selection mechanism, and thus the same problems arise as in the optimization of OneMinMax. With these and some further arguments, we show that the NSGA-II, with a population size by at most a constant factor larger than the Pareto front, cannot compute the Pareto front in less than exponential time.

cs.NE