Papers by Alexander Omelchenko
10 paper(s) by this author
· All BibTeX
A continuous kernel method for affine Motzkin paths: boundary traces, height shifts, and secant-power hierarchies
We introduce a continuous analogue of the kernel method for boundary-interrupted affine tridiagonal production rules arising in weighted lattice paths and related models. In the classical kernel method, an unknown catalytic boundary series is eliminated by substituting an algebraic root of the kernel. Here affine height dependence turns the kernel into a differential kernel: the catalytic boundary trace is selected instead by following a characteristic to the boundary and imposing regularity there. This produces a first-kind Abel--Volterra equation and a reconstruction formula for height-refined generating functions. For affine Motzkin triangles, the framework identifies the balanced case as the exact locality condition, explains integer imbalance through height shifts and finite operator compression, and yields closed shifted-Pearson collapses for arbitrary real boundary index, including the secant-power hierarchy interpolating Euler and higher-order Euler numbers. The same boundary index also appears naturally in Jacobi recurrence data and affine birth--death models, showing that the theory is intrinsically continuous rather than purely integral.
Balanced weighted Motzkin paths: Pearson structure and saddlepoint asymptotics
We analyse weighted Motzkin paths with step multiplicities that vary linearly with height. In the balanced case the associated exponential generating function satisfies a Pearson-type PDE, and solving by characteristics yields closed expressions in all drift regimes. These formulas reveal a moving algebraic singularity that governs both local and global behaviour. Locally this gives a Gaussian central window for the terminal-height distribution, while globally we identify an explicit limit cumulant generating function and prove an $n$-speed large-deviation principle. For finite $n$, Daniels' lattice saddlepoint approximation provides a single formula that is accurate across the full range of $k$; in all quadratic regimes it achieves a uniform interior relative error of order $n^{-1}$. The results link Pearson geometry with uniform saddlepoint methods and extend naturally to other weighted path models and tridiagonal recurrences.
Maps on Surfaces as a Structural Framework for Genus-One Virtual Knot Classification
We develop a purely combinatorial framework for the systematic enumeration of knot and link diagrams supported on the thickened torus $T^2\times I$. Using the theory of maps on surfaces, cellular $4$--regular torus projections are encoded by permutation pairs $(α,σ)$, and unsensed projection classes are enumerated completely and without duplication via canonical representatives. For a fixed projection, crossing assignments are encoded by bit data, and an immediate Reidemeister~II reduction supported by a bigon face is characterized directly in terms of these bits. The genus-one generalized Kauffman-type bracket is then evaluated as a state sum entirely within the permutation model, without drawing diagrams in a fundamental polygon.
The implementation is validated against published genus-one classifications for $N\le 5$ under explicit comparison conventions, with remaining discrepancies explained at the level of global conventions. Beyond the published range, we compute projection and diagram data for crossing numbers up to $N=8$ and provide a public reference implementation together with machine-readable datasets. Via the standard correspondence between virtual knots and knots in thickened surfaces, this yields a canonical and fully reproducible genus-one framework for virtual knot tabulation.
Unsensed enumeration of cubic unicellular maps on orientable and non-orientable surfaces
We enumerate cubic (3-regular) unicellular maps on closed surfaces up to all homeomorphisms. Using the orbifold approach, we reduce the unsensed enumeration to explicit counts of quotient maps and rooted cubic/precubic maps on simpler surfaces. For orientable hosts this yields a compact identity expressed through known sensed and rooted numbers; for non orientable hosts we obtain a fully explicit finite sum expression via precubic counts. Numerical tables are provided, together with a brief asymptotic discussion.
Enumeration of Unsensed Orientable Maps on Surfaces of a Given Genus
In this work for the first time we enumerate unlabelled maps on orientable genus $g$ surfaces with respect to all homeomorphisms, including both orientation-preserving and orientation-reversing. We show that in the latter case as an intermediate step one has to enumerate rooted maps of a special kind (quotient maps) on orientable and non-orientable surfaces possibly having a boundary and a certain number of branch points. In this work we develop a special technique for enumerating such maps.
Enumeration of Labelled and Unlabelled Hamiltonian Cycles in Complete $k$-partite Graphs
Published
• View Publication
• BIB
We enumerate labelled and unlabelled Hamiltonian cycles in complete $n$-partite graphs $K_{d,d,\ldots,d}$ having exactly $d$ vertices in each part (in other words, Turán graphs $T(nd, n))$. We obtain recurrence relations that allow us to find the exact values $b_{n}^{(d)}$ of such cycles for arbitrary $n$ and $d$
Enumeration of $r$-regular Maps on the Torus. Part I: Enumeration of Rooted and Sensed Maps
Published
• View Publication
• BIB
The work that consists of two parts is devoted to the problem of enumerating unrooted $r$-regular maps on the torus up to all its symmetries. We begin with enumerating near-$r$-regular rooted maps on the torus, projective plane and the Klein bottle. We also present the results of enumerating some special kinds of maps on the sphere: near-$r$-regular maps, maps with multiple leaves and maps with multiple root semi-edges. For $r=3$ and $r=4$ we obtain exact analytical formulas. For larger $r$ we derive recurrence relations. Then using these results we enumerate $r$-regular maps on the torus up to homeomorphisms that preserve its orientation --- so-called sensed maps. Using the concept of a quotient map on an orbifold we reduce this problem to enumeration of certain classes of rooted maps. For $r=3$ and $r=4$ we obtain closed-form expressions for the numbers of $r$-regular sensed maps by edges. All these results will be used in the second part of the work to enumerate $r$-regular maps on the torus up to all homeomorphisms --- so-called unsensed maps.
Enumeration of $r$-regular Maps on the Torus. Part II: Enumeration of Unsensed Maps
The second part of the paper is devoted to enumeration of $r$-regular toroidal maps up to all homeomorphisms of the torus (unsensed maps). We describe in detail the periodic orientation reversing homeomorphisms of the torus which turn out to be representable as glide reflections. We show that considering quotients of the torus with respect to these homeomorphisms leads to maps on the Klein bottle, annulus and the Möbius band. Using $3$- and $4$-regular maps as an example we describe the technique of enumerating quotient maps on surfaces with a boundary. Obtained recurrence relations are used to enumerate unsensed $r$-regular maps on the torus for various $r$.
Enumeration of Chord Diagrams without Loops and Parallel Chords
Published in The Electronic Journal of Combinatorics. Volume 24, Issue 3 (2017). #P3.43
• View Publication
• BIB
We enumerate chord diagrams without loops and without both loops and parallel chords. We show that the former ones describe Hamiltonian paths in $n$-dimensional octahedrons. The latter ones are also known as shapes. For labelled diagrams we obtain generating functions, for unlabelled ones we derive recurrence relations.
Enumeration of 4-regular one-face maps
Published
• View Publication
• BIB
We give explicit formulas enumerating 4-regular labelled and unlabelled one-face maps.