Research interests: Algebra, Geometry, Mathematical Physics, Computational Mathematics
    Supergeometry. Algebraic theory of differential operators. Cluster algebras.

    My Refereed Publications (published/accepted - 36, preprints - 1)

  1. On super cluster algebras based on super Pl\"ucker and super Ptolemy relations , J.Geom.Phys., (2023).

    Abstract. We consider and compare super Pluecker and super Ptolemy relations from the perspective of constructing super cluster algebras. We develop the super cluster structure of the super Grassmannians $Gr_{2|0}(n|1)$ for arbitrary $n$, which was indicated in our earlier work. We also analyze super Pluecker relations for ``weighted projective'' case of super Grassmannians and obtain a new simple form of the relations for $Gr_{r|1}(n|1)$. To this end, we establish properties of Berezinians of certain type matrices (which we call ``wrong''). For the super Ptolemy relation for the decorated super Teichmueller space of Penner-Zeitlin, we show how by a change of variables it can be transformed into the classical Ptolemy relation with the new even variables decoupled from odd variables.

  2. with Sergey Khashin, Growing an architecture for a neural network .

    Abstract. We propose a new kind of automatic architecture search algorithm. The algorithm alternates pruning connections and adding neurons, and it is not restricted to layered architectures only. Here architecture is an arbitrary oriented graph with some weights (along with some biases and an activation function), so there may be no layered structure in such a network. The algorithm minimizes the complexity of staying within a given error. We demonstrate our algorithm on the brightness prediction problem of the next point through the previous points on an image. Our second test problem is the approximation of the bivariate function defining the brightness of a black and white image. Our optimized networks significantly outperform the standard solution for neural network architectures in both cases.

  3. with Theodore Voronov, On super Plücker embedding and possible application to cluster algebras , Selecta N.S. 28, 39 (2022).

    Informal abstract. We completely solved the following problems: super Plücker embedding, coordinates, and relations. We proposed a super cluster structure for the case $Gr_{2|0}(n|1)$. For the Grassmannian $Gr_{r|0}(n|m)$ we built on the standard construction of the exterior powers using the quotient of the tensor algebra by anticommutativity relations. For the general case $Gr_{r|s}{n|m}$ we need Voronov-Zorich's super exterior powers $\Lambda^{r|s}(V)$; and for the target space, we have to use a weighted projective space of weights $1$ and $-1$, $P_{+1,-1}(\Lambda^{r|s}(V)\oplus \Lambda^{s|r}(\Pi V))$.

  4. with Theodore Voronov, On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms, vol.74, Differ. Geom. Appl. (2021).

    Abstract. We recall the notion of a differential operator over a smooth map (in linear and non-linear settings) and consider its versions such as formal $\hbar$-differential operators over a map. We study constructions and examples of such operators, which include pullbacks by thick morphisms and quantization of symplectic micromorphisms.

  5. On a Batalin-Vilkovisky operator generating higher Koszul brackets on differential forms , Lett. Math. Phys. 111, 41 (2021).

    Abstract. We introduce a formal $\hbar$-differential operator $\Delta$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty}$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in arXiv:1808.10049. (This operator is an analogue of the Koszul--Brylinski boundary operator $\partial_P$ which defines Poisson homology for an ordinary Poisson structure.)

    Here we introduce $\Delta=\Delta_P$ by a different method and establish its properties. We show that this BV type operator generating higher Koszul brackets can be included in a one-parameter family of BV type formal $\hbar$-differential operators, which can be understood as a quantization of the cotangent $L_{\infty}$-bialgebroid. We obtain symmetric description on both $\Pi TM$ and $\Pi T^*M$.

    For the purpose of the above, we develop in detail a theory of formal $\hbar$-differential operators and also of operators acting on densities on dual vector bundles. In particular, we have a statement about operators that can be seen as a quantization of the Mackenzie-Xu canonical diffeomorphism. Another interesting feature is that we are able to introduce a grading, not a filtration, on our algebras of operators. When operators act on objects on vector bundles, we obtain a bi-grading.

  6. with David Hobby, Laplace invariants for differential operators , Illinois J. Math. 65(1): 231-257 (2021).

    Abstract. We identify conditions giving large natural classes of partial differential operators for which it is possible to construct a complete set of Laplace invariants. In order to do that we investigate general properties of differential invariants of partial differential operators under gauge transformations and introduce a sufficient condition for a set of invariants to be complete. We also give a some mild conditions that guarantee the existence of such a set. The proof is constructive. The method gives many examples of invariants previously known in the literature as well as many new examples including multidimensional.

  7. Factorization of Darboux Transformations of Arbitrary Order for Two-dimensional Schroedinger operator, Illinois J. Math. 64(1): 71-92 (2020).

    Informal abstract. We give a proof of Darboux's lond-standing conjecture that every Darboux transformation of arbitrary order of a 2D Schroedinger type operator can be factorized into Darboux transformations of order one. The proof is constructive.

    Besides the main result, the paper contains an algebraic definition of a Darboux transformations for an arbitrary operator, which naturally implies additional properties that are usually had to be added artificially.

  8. with Theodore Voronov, Differential operators on the algebra of densities and factorization of the generalized Sturm-Liouville operator , Lett. Math. Phys. 109, Issue 2 (2019), 403-421.

    Informal Abstract. We explore factorizations of differential operators on the algebra of densities (note that all densities are considered in one algebra together, such was introduced by Khudaverdian and Voronov in connection with Batalin--Vilkovisky geometry).
    Here we consider the case of the line, where unlike the familiar setting (where operators act on functions) there are obstructions for factorization. We analyze these obstructions.

    Then we have a surprising result: we consider "generalized Sturm-Liouville" operator, which was invented by Khudaverdian and Voronov recently as the generalization of classical Sturm-Liouville operator which (if we care about changes of variables) is defined on densities of weight $-\frac{1}{2}$ and map them into the space of densities of weight $\frac{3}{2}$. The generalized Sturm-Liouville operator acts on densities of all weights. We establish a criterion of its factorizability in terms of solution of the classical Sturm-Liouville equation (!!!). We also establish the possibility of an incomplete factorization.

  9. with David Hobby, Classification of multidimensional Darboux transformations: first order and continued type , SIGMA (Symmetry Integrability Geom. Methods Appl.) 13 (2017), Paper No. 010, 20 pp. 16-32.

    Informal Abstract. What is interesting here is that we consider Darboux transformations (DTs) for an operator of a very general form and there are not much of results for such!

    We answered the questions: (1) When an operator has a DT of Wronskian type of order one? (2) What are possible "building blocks" i.e. Darboux transformations of order one for an operator? We also suggested a new construction (partially inspired by continued fractions) that allows to construct DTs of new previously not known type: "Continued DTs". (Other known types of DTs so far are: Laplace transformation, "Wronskian type", Type I, and Intertwining Type).

  10. with Simon Li (my undergraduate student) and Theodore Voronov, Differential operators on the superline, Berezinians, and Darboux transformations , Lett. Math. Phys. 107 (2017), no. 9, 1689–1714.

    Abstract. We consider differential operators on a supermanifold of dimension $1|1$. We distinguish non-degenerate operators as those with an invertible top coefficient in the expansion in the superderivative $D$. They are remarkably similar with ordinary differential operators. We show that every non-degenerate operator can be written in terms of 'super Wronskians' (which are certain Berezinians). We apply this to Darboux transformations (DTs), proving that every DT of an arbitrary non-degenerate operator is the composition of elementary first order transformations. Hence every DT corresponds to an invariant subspace of the source operator and upon a choice of a basis in this subspace is expressed by a super-Wronskian formula. We consider also dressing transformations, i.e., the effect of a DT on the coefficients of an operator. We calculate them in examples and make some general statements.

  11. An algorithm for construction of orbits of Darboux transformations of type I for third order hyperbolic operators of two variables, Programming and Computer Software, special issue Computer Algebra, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), 2015.
  12. with Sean Hill (my undergraduate student) and Theodore Voronov, Darboux transformations for differential operators on the superline , Russian Mathematical Surveys, (6), pp. 207-208, 70, 2015.

    Informal abstract. We show that an arbitrary Darboux transformation of a differential operator on the superline is the composition of "elementary" Darboux transformations of order one. This is an analog of the similar statement for operators on the line. One should note that examples of super Darboux transformations including the elementary transformations and their products for particular operators were considered before.
    The novelty of our work is in the full description of Darboux transformations for arbitrary operators on the superline. This may be regarded as the first step in the algebraic theory of super Darboux transformations. As follows from the results of this paper, the case of the superline is close to the ordinary one-dimensional case. On the other hand, it is known that Darboux transformations in 2D differ substantially from the case of 1D. New possibilities that may open in the super version seem very attractive and we hope to consider them elsewhere.

  13. Invertible Darboux Transformations of Type I , Programming and Computer Software, special issue Computer Algebra, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), 2015.
    Informal abstract. For operators of arbitrary dimension and arbitrary order we singled out Darboux transformations of certain form and call them transformation of type I (precisely M generates a Darboux transformation for L of type I if the remainder of the division of L by M is just a function).
    Transformations of type I are always invertible, and amazingly we have simple coordinate-free formulas for all operators involved into the definition of Darboux transformation and its inverse in this case. All Darboux transformations of order one are of type I. Laplace transformations are of type I too.
    Using those we obtained analogs of chains Darboux transformations for operators of third order .
  14. Orbits of Darboux groupoid for hyperbolic operators of order three , Geometric Methods in Physics, P. Kielanowski, S. T. Ali, A.Odesski, A. Odzijewicz, M. Schlichenmaier, Th. Voronov (editors), Trends in Mathematics. Springer, Basel, 2014.
    Informal abstract. Darboux transformations are viewed as morphisms in a Darboux category. Darboux transformations of type I which we defined previously, make an important subgroupoid consists of Darboux transformations of type I. We describe the orbits of this subgroupoid for hyperbolic operators of order three. We consider the algebras of differential invariants for our operators. In particular, we show that the Darboux transformations of this class can be lifted to transformations of differential invariants (which we calculate explicitly).
  15. Darboux transformations for factorizable operators, Programming and Computer Software, special issue Computer Algebra, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), number 2, 2014.
    Informal abstract. He we address a "non-general" case, which was skipped in the paper above, and which occurs when initial operator is factorizable. Darboux transformations for such operators have a number of additional interesting properties, while many usual facts which are true for a general Darboux transformation are not true for this one. Initially the case was skipped due to the two reasons: 1) it is kind of very degenerate case, because once operator is factorizable, we can write down its complete solution; 2) the methods that have been employed for the general case completely fail here. However, since Darboux transformations of an operator are often used not for the solution of the corresponding linear PDE, but for some integrable system based on it, we cannot completely neglect this case.

    Darboux transformations for factorizable operator has lot of structure. In particular, there is a correspondence between Darboux transformations of factorizable second-order operators and Darboux transformation of first order operators. However, the correspondence is not one-to-one, and lifting back process is not immediate.

  16. Invertible Darboux Transformations , SIGMA 9 (2013), 002, special issue “Symmetries of Differential Equations: Frames, Invariants and Applications” in honor of the 60th Birthday of Peter Olver. Eds: N.Kamran, G.M.Beffa, W. Miller, G. Sapiro, bibtex
    Informal abstract. This paper is the first step towards the study of invertible Darboux transformations. If Darboux transformation is invertible then the corresponding mappings of the operator kernels is an isomorphism. For the classical case of operators of order two on the plane, there are only two invertible Darboux transformations, which are two famous particular cases of Darboux transformations, Laplace transformations.

    Here we find a criterion for an arbitrary operator on the plane to have an invertible Darboux transformation.

    We also study Wronkian-type formulas which allow to construct Darboux transformations for many different types of operators. These are non-invertible by construction. From time to time new works appear showing that Wronskian-type formulas generate Darboux transformations for some new type of operators. However, up until this work there has been no explicit example of an operator for which Wronkiant-type formulas do NOT work. We give an explicit example in this paper, and find sufficient conditions for Wronkians to work.

  17. Invariants for Darboux transformations of Arbitrary Order for $D_x D_y +aD_x + bD_y +c$ , Geometric Methods in Physics. XXXI Workshop, Bialowieza, Poland, June 30 to July 6, 2013, P. Kielanowski, S. T. Ali, A.Odesski, A. Odzijewicz, M. Schlichenmaier, Th. Voronov (editors), Trends in Mathematics. Springer, Basel, 2013. bibtex .
    Informal abstract. One of my goals is to develop an invariant approach to Darboux transformations. A Darboux transformation of arbitrary order for an operator of the form $L=D_x D_y +aD_x + bD_y +c$ is generated by an arbitrary partial differential operator $M$. The fact that operator $M$ is arbitrary makes it hard to find compact constructive and explicit formulas for the joint differential invariants.
    Such formulas is the achievement of the present paper. The formulas are given in terms of complete Bell polynomials.
  18. Proof of the Completeness of Darboux Wronskian Formulae for Order Two, Canadian Journal of Mathematics 65, no.3, 655-674, 2013.
    Informal abstract. The paper contains a constructive proof that every Darboux transformation for operators of the form $D_x D_y +aD_x + bD_y +c$ can be factored into elementary Darboux transformations of order one. For such operators there are only two types of elementary Darboux transformations: Wronskian-type and Laplace transformations (this was proved in earlier paper Laplace Transformations as the Only Degenerate Darboux Transformations of First Order).

    The conjecture was reduced to the solution of a complicated system of non-linear PDEs. Using moving frames method (of differential geometry, due to P.Olver et al.) I have found a generating set of joint differential invariants for the involved operators. Then after re-writing in terms of invariants, the initial system split into two much simpler systems, one of which was a system of linear PDEs.

  19. Package LPDO for MAPLE, Programming and Computer Software, special issue Computer Algebra, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), number 4, 2013.
    Informal abstract. Help file for my LPDO package .
  20. Journal: Laplace Transformations as the Only Degenerate Darboux Transformations of First Order, Programming and Computer Software, special issue Computer Algebra, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), volume 38, number 2, 2012, bibtex .
    Informal abstract. Wronskian formulas allow one to construct Darboux Transformations (DTs). Laplace transformations (DT of order one) cannot be represented in this way. Here: among DTs of total order 1 - NO exceptions, other than Laplace transformations.
  21. X- and Y-invariants of partial differential operators in the plane , Programming and Computer Software, special issue devoted to Computer Algebra 2011, (Russian Academy of Science, eds. S. Abramov, S.Tsarev), (37), no.4, pp.192-196, 2011, bibtex.
  22. Book chapter: with F. Winkler, Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra, in Monographs in Symbolic Computation, Springer (book chapter),
    editors: P. Paule et al., vol. Progress and Prospects in Numerical and Symbolic Scientific Computing, 2011.
  23. Refinement of Two-Factor Factorizations of a Linear Partial Differential Operator of Arbitrary Order and Dimension, Mathematics in Computer Science, (4), no.2-3, pp. 223-230, 2010, bibtex .
  24. with S.I.Khashin, and D.J.Jeffrey, Conjecture concerning a completely monotonic function, Computers & Mathematics with Applications, vol. 60, issue 5, pp.1360-1363, 2010. ScienceDirect , bibtex .
  25. Multiple factorizations of bivariate linear partial differential operators, Lecture Notes in Computer Science, vol. 5743, pp. 299--309, 2009, bibtex .
  26. On the invariant properties of non-hyperbolic third-order linear partial differential operators, Conferences on Intelligent Computer Mathematics, vol.5625, pp.154--169, 2009, bibtex .
  27. with S.Tsarev Differential transformations of parabolic second-order operators in the plane, Proceedings Steklov Inst. Math. (Moscow), vol.266, pp.219--227, 2009, bibtex .
  28. with E.Mansfield, Moving frames for Laplace invariants, Proceedings of ISSAC 2008 (The International Symposium on Symbolic and Algebraic Computation), pp.295--302, 2008, bibtex .
  29. with F.Winkler, On the invariant properties of hyperbolic bivariate third-order linear partial differential operators, Lecture Notes in Artificial Intelligence, vol.5081, pp.199--212, 2007, bibtex .
  30. with F.Winkler, A full system of invariants for third-order linear partial differential operators in general form, Lecture Notes in Comput. Sci., vol.4770, pp.360--369, 2007, bibtex .
  31. The Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators on the Plane , Mathematics in Computer Science, vol.1, no.2, pp.225--237, 2007, bibtex .
  32. with F.Winkler, Obstacles to the Factorization of Linear Partial Differential Operators into Several Factors , Programming and Computer Software, vol.33, no.2, pp.67--73, 2007, bibtex .
  33. with F.Winkler, Symbolic and Algebraic Methods for Linear Partial Differential Operators , Lecture Notes in Computer Science, vol.4770, 2007, bibtex .
  34. with F.Winkler, Obstacle to Factorization of LPDOs, in Proc. Transgressive Computing 2006 (J.-G. Dumas, ed.), pp.435--441, 2006.
  35. A full system of invariants for third-order linear partial differential operators, Lecture Notes in Computer Science, vol.4120, pp.360--369, 2006, bibtex .
  36. Involutive divisions. Graphs., Programming and Computer Software, vol.30, no.2, pp.68--74, 2004.
  37. Involutive divisions for effective involutive algorithms, Fundam. Prikl. Mat., vol.9, no.3, pp.237--253, 2003.

Minor Refereed Publications

  1. Abstract of the PhD thesis, M.Giesbrecht (eds.), ACM Communications in Computer Algebra, 41, N.3, issue 161, 2007.
  2. with F. Winkler. Extended abstract: Algebraic Methods for Linear Partial Differential Operators. M.Giesbrecht, I.Kotsireas, A.Lobo (eds.), ACM Communications in Computer Algebra, 41, N.2, issue 160, 2007.
  3. with F. Winkler. Extended abstract: Approximate Factorization of Linear Partial Differential Operators. Full System of Invariants for Order Three. Zh. Wan, A.Lobo(eds.), ACM Communications in Computer Algebra, 40, N.2, issue 156, 2006.

Technical Reports

  1. with J. Middeke, F. Winkler, Proceedings of DEAM (Workshop for Differential Equations by Algebraic Methods), 2009, RISC Report Series, University of Linz, Austria.