Showing 1–50 of 150 results for author: Morozov, A

Khovanov-Rozansky cycle calculus for bipartite links

Authors: A. Anokhina, E. Lanina, A. Morozov

Abstract: Bipartite calculus is a direct generalization of Kauffman planar expansion from $N=2$ to arbitrary $N$, applicable to the restricted class of knots which are entirely made of antiparallel lock tangles. Whenever applicable, it allows a straightforward generalization of the Khovanov calculus without a need of the technically complicated matrix factorization used for arbitrary $N$ in the Khovanov-Roz… ▽ More Bipartite calculus is a direct generalization of Kauffman planar expansion from $N=2$ to arbitrary $N$, applicable to the restricted class of knots which are entirely made of antiparallel lock tangles. Whenever applicable, it allows a straightforward generalization of the Khovanov calculus without a need of the technically complicated matrix factorization used for arbitrary $N$ in the Khovanov-Rozansky (KR) approach. The main object here is the $3^{n}$-dimensional hypercube with $n$ being the number of bipartite vertices. Maps, differentials, complex and Poincaré polynomials are straightforward and indeed reproduce the Khovanov-Rozansky polynomials in the known cases. This provides a great simplification of the Khovanov-Rozansky calculus on the bipartite locus, what can make it an accessible tool for the study of superpolynomials. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: 40 pages

On geometric bases for A-polynomials II: $\mathfrak{su}_3$ and Kuberberg bracket

Authors: Dmitry Galakhov, Alexei Morozov

Abstract: We continue the study of quantum A-polynomials -- equations for knot polynomials with respect to their coloring (representation-dependence) -- as the relations between different links, obtained by hanging additional ``simple'' components on the original knot. Depending on the choice of this ``decoration'', the knot polynomial is either multiplied by a number or decomposes into a sum over ``surroun… ▽ More We continue the study of quantum A-polynomials -- equations for knot polynomials with respect to their coloring (representation-dependence) -- as the relations between different links, obtained by hanging additional ``simple'' components on the original knot. Depending on the choice of this ``decoration'', the knot polynomial is either multiplied by a number or decomposes into a sum over ``surrounding'' representations by a cabling procedure. What happens is that these two of decorations, when complicated enough, become dependent -- and this provides an equation. Remarkably it can be made independent of the representation. However, the equivalence of links is not a topological property -- it follows from the properties of $R$-matrices, and strongly depends on the choice the gauge group and particular links. The relatively well studied part of the story concerns $\mathfrak{su}_2$, where $R$-matrices can be chosen in an especially convenient Kauffman form, what makes the derivation of equations rather geometrical. To make these geometric methods somewhat simpler we suggest to use an arcade formalism/representation of the braid group to simplify decorating links universally. Here we attempt to extend this technique to the next case, $\mathfrak{su}_3$, where the Kauffman rule is substituted by a more involved Kuberberg rule, still remains more geometric than generic analysis of MOY-diagrams, needed for higher ranks. Already in this case we encounter a classification problem for possible ``decorations'' and emergence of two-lined Young diagrams in enumeration of representations. △ Less

Submitted 26 May, 2025; originally announced May 2025.

Comments: 25 pages, 6 figures

Macdonald deformation of Vogel's universality and link hyperpolynomials

Authors: Liudmila Bishler, Andrei Mironov, Alexei Morozov

Abstract: Vogel's universality implies a unified description of the adjoint sector of representation theory for simple Lie algebras in terms of three parameters $α,β,γ$, which are homogeneous coordinates of Vogel's plane. Actually this is true (if at all) only for a piece of representation theory captured by knot/Chern-Simons theory, where some irreducible representations are often undistinguishable and com… ▽ More Vogel's universality implies a unified description of the adjoint sector of representation theory for simple Lie algebras in terms of three parameters $α,β,γ$, which are homogeneous coordinates of Vogel's plane. Actually this is true (if at all) only for a piece of representation theory captured by knot/Chern-Simons theory, where some irreducible representations are often undistinguishable and combined into new ``universally-irreducible" entities (uirreps). We consider from this point of view the recently discovered Macdonald deformation of quantum dimensions, for which a kind of universality holds for the ADE series. The claim is that universal are not Macdonald dimensions themselves, but their products with Littlewood-Richardson coefficients, which themselves are functions of $q$ and $t$ in Macdonald theory. These products are precisely what arises in knot/refined Chern-Simons theory. Actually, we consider the simplest decomposition of adjoint square into six uirreps and obtain the universal formulas for hyperpolynomials of the Hopf link and, more generally, of the torus links $T[2,2n]$. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Comments: 15 pages

Report number: MIPT/TH-15/25; FIAN/TD-06/25; ITEP/TH-18/25; IITP/TH-16/25

Can Yang-Baxter imply Lie algebra?

Authors: Dmitry Khudoteplov, Alexei Morozov, Alexey Sleptsov

Abstract: Quantum knot invariants (like colored HOMFLY-PT or Kauffman polynomials) are a distinguished class of non-perturbative topological invariants. Any known way to construct them (via Chern-Simons theory or quantum R-matrix) starts with a finite simple Lie algebra. Another set of knot invariants - of finite type - is related to quantum invariants via a perturbative expansion. However can all finite ty… ▽ More Quantum knot invariants (like colored HOMFLY-PT or Kauffman polynomials) are a distinguished class of non-perturbative topological invariants. Any known way to construct them (via Chern-Simons theory or quantum R-matrix) starts with a finite simple Lie algebra. Another set of knot invariants - of finite type - is related to quantum invariants via a perturbative expansion. However can all finite type invariants be obtained in this way? Investigating this problem, P. Vogel discovered a way to polynomially parameterize the expansion coefficients with three parameters so that, at different specific values, this reproduces the answers for all simple Lie (super)algebras. Then it is easy to construct a polynomial $P_{alg}$ that vanishes for all simple Lie algebras, and the corresponding Vassiliev invariant would thus be absent from the perturbative expansion. We review these Vogel claims pointing out at least two interesting implications of his construction. First, we discuss whether infinite-dimensional Lie algebras might enlarge Chern-Simons theory. Second, Vogel's construction implies an alternative axiomatization of simple Lie algebras - when we start from knot invariants and arrive at Lie algebras and their classification, which is opposite to conventional logic that we mentioned at the beginning. △ Less

Submitted 11 June, 2025; v1 submitted 17 March, 2025; originally announced March 2025.

Comments: 12 pages

Journal ref: Phys. Lett. B 867 (2025) 139586

Diamond of triads

Authors: A. Mironov, A. Morozov, A. Popolitov, Z. Zakirova

Abstract: The triad refers to embedding of two systems of polynomials, symmetric ones and those of the Baker-Akhiezer type into a power series of the Noumi-Shiraishi type. It provides an alternative definition of Macdonald theory and its extensions. The basic triad is associated with the vector representation of the Ding-Iohara-Miki (DIM) algebra. We discuss lifting this triad to two elliptic generalization… ▽ More The triad refers to embedding of two systems of polynomials, symmetric ones and those of the Baker-Akhiezer type into a power series of the Noumi-Shiraishi type. It provides an alternative definition of Macdonald theory and its extensions. The basic triad is associated with the vector representation of the Ding-Iohara-Miki (DIM) algebra. We discuss lifting this triad to two elliptic generalizations and further to the bi-elliptic triad. At the algebraic level, it corresponds to elliptic and bi-elliptic DIM algebras. This completes the list of polynomials associated with Seiberg-Witten theory with adjoint matter in various dimensions. △ Less

Submitted 12 April, 2025; v1 submitted 10 March, 2025; originally announced March 2025.

Comments: 9 pages, LaTeX

Report number: MIPT/TH-04/25; FIAN/TD-03/25; ITEP/TH-04/25; IITP/TH-04/25

Journal ref: Pis'ma v ZhETF, 121 (2025) 788

Tunnels Under Geometries (or Instantons Know Their Algebras)

Authors: Dmitry Galakhov, Alexei Morozov

Abstract: In the tight binding model with multiple degenerate vacua we might treat wave function overlaps as instanton tunnelings between different wells (vacua). An amplitude for such a tunneling process might be constructed as $\mathsf{T}_{i\to j}\sim e^{-S_{\mathrm{ inst}}}{\mathbf{v}}_j^{+}{\mathbf{v}}_i^{-}$, where there is canonical instanton action suppression, and $\mathbf{v}_i^{-}$ annihilates a pa… ▽ More In the tight binding model with multiple degenerate vacua we might treat wave function overlaps as instanton tunnelings between different wells (vacua). An amplitude for such a tunneling process might be constructed as $\mathsf{T}_{i\to j}\sim e^{-S_{\mathrm{ inst}}}{\mathbf{v}}_j^{+}{\mathbf{v}}_i^{-}$, where there is canonical instanton action suppression, and $\mathbf{v}_i^{-}$ annihilates a particle in the $i^{\mathrm{th}}$ vacuum, whereas $\mathbf{v}_j^{+}$ creates a particle in the $j^{\mathrm{th}}$ vacuum. Adiabatic change of the wells leads to a Berry-phase evolution of the couplings, which is described by the zero-curvature Gauss-Manin connection i.e. by a quantum $R$-matrix. Zero-curvature is actually a consequence of level repulsion or topological protection, and its implication is the Yang-Baxter relation for the $R$-matrices. In the simplest case the story is pure Abelian and not very exciting. But when the model becomes more involved, incorporates supersymmetry, gauge and other symmetries, such amplitudes obtain more intricate structures. Operators $\mathbf{v}_i^{-}$, $\mathbf{v}_j^{+}$ might also evolve from ordinary Heisenberg operators into a more sophisticated algebraic object -- a ``tunneling algebra''. The result for the tunneling algebra would depend strongly on geometry of the QFT we started with, and, unfortunately, at the moment we are unable to solve the reverse engineering problem. In this note we revise few successful cases of the aforementioned correspondence: quantum algebras $U_q(\mathfrak{g})$ and affine Yangians $Y(\hat{\mathfrak{g}})$. For affine Yangians we demonstrate explicitly how instantons ``perform'' equivariant integrals over associated quiver moduli spaces appearing in the alternative geometric construction. △ Less

Submitted 15 May, 2025; v1 submitted 16 February, 2025; originally announced February 2025.

Comments: 48 pages, 11 figures, v2: minor updates

Journal ref: JHEP 05 (2025) 132

Bipartite expansion beyond biparticity

Authors: A. Anokhina, E. Lanina, A. Morozov

Abstract: The recently suggested bipartite analysis extends the Kauffman planar decomposition to arbitrary $N$, i.e. extends it from the Jones polynomial to the HOMFLY polynomial. This provides a generic and straightforward non-perturbative calculus in an arbitrary Chern--Simons theory. Technically, this approach is restricted to knots and links which possess bipartite realizations, i.e. can be entirely glu… ▽ More The recently suggested bipartite analysis extends the Kauffman planar decomposition to arbitrary $N$, i.e. extends it from the Jones polynomial to the HOMFLY polynomial. This provides a generic and straightforward non-perturbative calculus in an arbitrary Chern--Simons theory. Technically, this approach is restricted to knots and links which possess bipartite realizations, i.e. can be entirely glued from antiparallel lock (two-vertex) tangles rather than single-vertex $R$-matrices. However, we demonstrate that the resulting positive decomposition (PD), i.e. the representation of the fundamental HOMFLY polynomials as positive integer polynomials of the three parameters $φ$, $\barφ$ and $D$, exists for arbitrary knots, not only bipartite ones. This poses new questions about the true significance of bipartite expansion, which appears to make sense far beyond its original scope, and its generalizations to higher representations. We have provided two explanations for the existence of the PD for non-bipartite knots. An interesting option is to resolve a particular bipartite vertex in a not-fully-bipartite diagram and reduce the HOMFLY polynomial to a linear combination of those for smaller diagrams. If the resulting diagrams correspond to bipartite links, this option provides a PD even to an initially non-bipartite knot. Another possibility for a non-bipartite knot is to have a bipartite clone with the same HOMFLY polynomial providing this PD. We also suggest a promising criterium for the existence of a bipartite realization behind a given PD, which is based on the study of the precursor Jones polynomials. △ Less

Submitted 26 January, 2025; originally announced January 2025.

Comments: 37 pages

Journal ref: Nuclear Physics B 1014 (2025) 116881

Super-Hamiltonians for super-Macdonald polynomials

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: The Macdonald finite-difference Hamiltonian is lifted to a super-generalization. In addition to canonical bosonic time variables $p_k$ new Grassmann time variables $θ_k$ are introduced, and the Hamiltonian is represented as a differential operator acting on a space of functions of both types of variables $p_k$ and $θ_k$. Eigenfunctions for this Hamiltonian are a suitable generalization of Macdonal… ▽ More The Macdonald finite-difference Hamiltonian is lifted to a super-generalization. In addition to canonical bosonic time variables $p_k$ new Grassmann time variables $θ_k$ are introduced, and the Hamiltonian is represented as a differential operator acting on a space of functions of both types of variables $p_k$ and $θ_k$. Eigenfunctions for this Hamiltonian are a suitable generalization of Macdonald polynomials to super-Macdonald polynomials discussed earlier in the literature. Peculiarities of the construction in comparison to the canonical bosonic case are discussed. △ Less

Submitted 29 April, 2025; v1 submitted 24 January, 2025; originally announced January 2025.

A basic triad in Macdonald theory

Authors: A. Mironov, A. Morozov, A. Popolitov

Abstract: Within the context of wavefunctions of integrable many-body systems, rational multivariable Baker-Akhiezer (BA) functions were introduced by O. Chalykh, M. Feigin and A. Veselov and, in the case of the trigonometric Ruijsenaars-Schneider system, can be associated with a reduction of the Macdonald symmetric polynomials at $t=q^{-m}$ with integer partition labels substituted by arbitrary complex num… ▽ More Within the context of wavefunctions of integrable many-body systems, rational multivariable Baker-Akhiezer (BA) functions were introduced by O. Chalykh, M. Feigin and A. Veselov and, in the case of the trigonometric Ruijsenaars-Schneider system, can be associated with a reduction of the Macdonald symmetric polynomials at $t=q^{-m}$ with integer partition labels substituted by arbitrary complex numbers. A parallel attempt to describe wavefunctions of the bispectral trigonometric Ruijsenaars-Schneider problem was made by M. Noumi and J. Shiraishi who proposed a power series that reduces to the Macdonald polynomials at particular values of parameters. It turns out that this power series also reduces to the BA functions at $t=q^{-m}$, as we demonstrate in this letter. This makes the Macdonald polynomials, the BA functions and the Noumi-Shiraishi (NS) series a closely tied {\it triad} of objects, which have very different definitions, but are straightforwardly related with each other. In particular, theory of the BA functions provides a nice system of simple linear equations, while the NS functions provide a nice way to represent the multivariable BA function explicitly with arbitrary number of variables. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: 9 pages

Report number: MIPT/TH-28/24; FIAN/TD-16/24; ITEP/TH-36/24; IITP/TH-31/24

Planar decomposition of bipartite HOMFLY polynomials in symmetric representations

Authors: A. Anokhina, E. Lanina, A. Morozov

Abstract: We generalize the recently discovered planar decomposition (Kauffman bracket) for the HOMFLY polynomials of bipartite knot/link diagrams to (anti)symmetrically colored HOMFLY polynomials. Cabling destroys planarity, but it is restored after projection to (anti)symmetric representations. This allows to go beyond arborescent calculus, which so far produced the majority of results for colored polynom… ▽ More We generalize the recently discovered planar decomposition (Kauffman bracket) for the HOMFLY polynomials of bipartite knot/link diagrams to (anti)symmetrically colored HOMFLY polynomials. Cabling destroys planarity, but it is restored after projection to (anti)symmetric representations. This allows to go beyond arborescent calculus, which so far produced the majority of results for colored polynomials. Technicalities include combinations of projectors, and these can be handled rigorously, without any guess-work -- what can be also useful for other considerations, where reliable quantization was so far unavailable. We explicitly provide simple examples of calculation of the HOMFLY polynomials in symmetric representations with the use of our planar technique. These examples reveal what we call the bipartite evolution and the bipartite decomposition of squares of $\mathcal{R}$-matrices eigenvalues in the antiparallel channel. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Comments: 26 pages

Journal ref: Physical Review D 111 (2025) 046018

Direct proof of one-hook scaling property for Alexander polynomial from Reshetikhin-Turaev formalism

Authors: Andrey Morozov, Aleksandr Popolitov, Alexei Sleptsov

Abstract: We prove that normalized colored Alexander polynomial (the $A \rightarrow 1$ limit of colored HOMFLY-PT polynomial) evaluated for one-hook (L-shape) representation R possesses scaling property: it is equal to the fundamental Alexander polynomial with the substitution $q \rightarrow q^{|R|}$. The proof is simple and direct use of Reshetikhin-Turaev formalism to get all required R-matrices. We prove that normalized colored Alexander polynomial (the $A \rightarrow 1$ limit of colored HOMFLY-PT polynomial) evaluated for one-hook (L-shape) representation R possesses scaling property: it is equal to the fundamental Alexander polynomial with the substitution $q \rightarrow q^{|R|}$. The proof is simple and direct use of Reshetikhin-Turaev formalism to get all required R-matrices. △ Less

Submitted 6 November, 2024; v1 submitted 17 October, 2024; originally announced October 2024.

Comments: 20 pages

Journal ref: J.Geom.Phys. vol. 209 (2025) 105410

On Chalykh's approach to eigenfunctions of DIM-induced integrable Hamiltonians

Authors: A. Mironov, A. Morozov, A. Popolitov

Abstract: Quite some years ago, Oleg Chalykh has built a nice theory from the observation that the Macdonald polynomial reduces at $t=q^{-m}$ to a sum over permutations of simpler polynomials called Baker-Akhiezer functions, which can be unambiguously constructed from a system of linear difference equations. Moreover, he also proposed a generalization of these polynomials to the twisted Baker-Akhiezer funct… ▽ More Quite some years ago, Oleg Chalykh has built a nice theory from the observation that the Macdonald polynomial reduces at $t=q^{-m}$ to a sum over permutations of simpler polynomials called Baker-Akhiezer functions, which can be unambiguously constructed from a system of linear difference equations. Moreover, he also proposed a generalization of these polynomials to the twisted Baker-Akhiezer functions. Recently, in a private communication Oleg suggested that these twisted Baker-Akhiezer functions could provide eigenfunctions of the commuting Hamiltonians associated with the $(-1,a)$ rays of the Ding-Iohara-Miki algebra. In the paper, we discuss this suggestion and some evidence in its support. △ Less

Submitted 12 March, 2025; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 14 pages, LaTeX

Report number: MIPT/TH-23/24; FIAN/TD-14/24; ITEP/TH-29/24; IITP/TH-24/24

Journal ref: Phys. Lett. B863 (2025) 139380

On geometric bases for quantum A-polynomials of knots

Authors: Dmitry Galakhov, Alexei Morozov

Abstract: A simple geometric way is suggested to derive the Ward identities in the Chern-Simons theory, also known as quantum $A$- and $C$-polynomials for knots. In quasi-classical limit it is closely related to the well publicized augmentation theory and contact geometry. Quantization allows to present it in much simpler terms, what could make these techniques available to a broader audience. To avoid over… ▽ More A simple geometric way is suggested to derive the Ward identities in the Chern-Simons theory, also known as quantum $A$- and $C$-polynomials for knots. In quasi-classical limit it is closely related to the well publicized augmentation theory and contact geometry. Quantization allows to present it in much simpler terms, what could make these techniques available to a broader audience. To avoid overloading of the presentation, only the case of the colored Jones polynomial for the trefoil knot is considered, though various generalizations are straightforward. Restriction to solely Jones polynomials (rather than full HOMFLY-PT) is related to a serious simplification, provided by the use of Kauffman calculus. Going beyond looks realistic, however it remains a problem, both challenging and promising. △ Less

Submitted 22 November, 2024; v1 submitted 15 August, 2024; originally announced August 2024.

Comments: 16 pages, v2: minor updates

Journal ref: Phys.Lett.B 860 (2025) 139139

Planar decomposition of the HOMFLY polynomial for bipartite knots and links

Authors: A. Anokhina, E. Lanina, A. Morozov

Abstract: The theory of the Kauffman bracket, which describes the Jones polynomial as a sum over closed circles formed by the planar resolution of vertices in a knot diagram, can be straightforwardly lifted from sl(2) to sl(N) at arbitrary N -- but for a special class of bipartite diagrams made entirely from the anitparallel lock tangle. Many amusing and important knots and links can be described in this wa… ▽ More The theory of the Kauffman bracket, which describes the Jones polynomial as a sum over closed circles formed by the planar resolution of vertices in a knot diagram, can be straightforwardly lifted from sl(2) to sl(N) at arbitrary N -- but for a special class of bipartite diagrams made entirely from the anitparallel lock tangle. Many amusing and important knots and links can be described in this way, from twist and double braid knots to the celebrated Kanenobu knots for even parameters -- and for all of them the entire HOMFLY polynomials possess planar decomposition. This provides an approach to evaluation of HOMFLY polynomials, which is complementary to the arborescent calculus, and this opens a new direction to homological techniques, parallel to Khovanov-Rozansky generalisations of the Kauffman calculus. Moreover, this planar calculus is also applicable to other symmetric representations beyond the fundamental one, and to links which are not fully bipartite what is illustrated by examples of Kanenobu-like links. △ Less

Submitted 4 October, 2024; v1 submitted 11 July, 2024; originally announced July 2024.

Comments: 33 pages, published version

Journal ref: The European Physical Journal C 84 (2024) 990

Supersymmetric polynomials and algebro-combinatorial duality

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynom… ▽ More In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed. △ Less

Submitted 19 September, 2024; v1 submitted 5 July, 2024; originally announced July 2024.

Comments: 26 pages, 2 figures, v2: typos corrected, references added

Journal ref: SciPost Phys. 17, 119 (2024)

Macdonald polynomials for super-partitions

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: We introduce generalization of famous Macdonald polynomials for the case of super-Young diagrams that contain half-boxes on the equal footing with full boxes. These super-Macdonald polynomials are polynomials of extended set of variables: usual $p_k$ variables are accompanied by anti-commuting Grassmann variables $θ_k$. Starting from recently defined super-Schur polynomials and exploiting orthogon… ▽ More We introduce generalization of famous Macdonald polynomials for the case of super-Young diagrams that contain half-boxes on the equal footing with full boxes. These super-Macdonald polynomials are polynomials of extended set of variables: usual $p_k$ variables are accompanied by anti-commuting Grassmann variables $θ_k$. Starting from recently defined super-Schur polynomials and exploiting orthogonality relations with triangular decompositions we are able to fully determine super-Macdonald polynomials. These new polynomials have similar properties to canonical Macdonald polynomials -- they respect two different orderings in the set of (super)-Young diagrams simultaneously. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Algorithms for representations of quiver Yangian algebras

Authors: Dmitry Galakhov, Alexei Gavshin, Alexei Morozov, Nikita Tselousov

Abstract: In this note, we aim to review algorithms for constructing crystal representations of quiver Yangians in detail. Quiver Yangians are believed to describe an action of the BPS algebra on BPS states in systems of D-branes wrapping toric Calabi-Yau three-folds. Crystal modules of these algebras originate from molten crystal models for Donaldson-Thomas invariants of respective three-folds. Despite the… ▽ More In this note, we aim to review algorithms for constructing crystal representations of quiver Yangians in detail. Quiver Yangians are believed to describe an action of the BPS algebra on BPS states in systems of D-branes wrapping toric Calabi-Yau three-folds. Crystal modules of these algebras originate from molten crystal models for Donaldson-Thomas invariants of respective three-folds. Despite the fact that this subject was originally at the crossroads of algebraic geometry with effective supersymmetric field theories, equivariant toric action simplifies applied calculations drastically. So the sole pre-requisite for this algorithm's implementation is linear algebra. It can be easily taught to a machine with the help of any symbolic calculation system. Moreover, these algorithms may be generalized to toroidal and elliptic algebras and exploited in various numerical experiments with those algebras. We illustrate the work of the algorithms in applications to simple cases of $\mathsf{Y}(\mathfrak{sl}_2)$, $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1})$ and $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 41 pages, 9 figures

Journal ref: JHEP 08 (2024) 209

Wall-Crossing Effects on Quiver BPS Algebras

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: BPS states in supersymmetric theories can admit additional algebro-geometric structures in their spectra, described as quiver Yangian algebras. Equivariant fixed points on the quiver variety are interpreted as vectors populating a representation module, and matrix elements for the generators are then defined as Duistermaat-Heckman integrals in the vicinity of these points. The well-known wall-cros… ▽ More BPS states in supersymmetric theories can admit additional algebro-geometric structures in their spectra, described as quiver Yangian algebras. Equivariant fixed points on the quiver variety are interpreted as vectors populating a representation module, and matrix elements for the generators are then defined as Duistermaat-Heckman integrals in the vicinity of these points. The well-known wall-crossing phenomena are that the fixed point spectrum establishes a dependence on the stability (Fayet-Illiopolous) parameters $ζ$, jumping abruptly across the walls of marginal stability, which divide the $ζ$-space into a collection of stability chambers -- ``phases'' of the theory. The standard construction of the quiver Yangian algebra relies heavily on the molten crystal model, valid in a sole cyclic chamber where all the $ζ$-parameters have the same sign. We propose to lift this restriction and investigate the effects of the wall-crossing phenomena on the quiver Yangian algebra and its representations -- starting with the example of affine super-Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. In addition to the molten crystal construction more general atomic structures appear, in other non-cyclic phases (chambers of the $ζ$-space). We call them glasses and also divide in a few different classes. For some of the new phases we manage to associate an algebraic structure again as a representation of the same affine Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. This observation supports an earlier conjecture that the BPS algebraic structures can be considered as new wall-crossing invariants. △ Less

Submitted 15 April, 2024; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: 36 pages, 7 figures, minor corrections, references added

Journal ref: JHEP05(2024)118

Simple Representations of BPS Algebras: the case of $Y(\widehat{\mathfrak{gl}}_2)$

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: BPS algebras are the symmetries of a wide class of brane-inspired models. They are closely related to Yangians -- the peculiar and somewhat sophisticated limit of DIM algebras. Still they possess some simple and explicit representations. We explain here that for $Y(\widehat{\mathfrak{gl}}_r)$ these representations are related to Uglov polynomials, whose families are also labeled by natural $r$. Th… ▽ More BPS algebras are the symmetries of a wide class of brane-inspired models. They are closely related to Yangians -- the peculiar and somewhat sophisticated limit of DIM algebras. Still they possess some simple and explicit representations. We explain here that for $Y(\widehat{\mathfrak{gl}}_r)$ these representations are related to Uglov polynomials, whose families are also labeled by natural $r$. They arise in the limit $\hbar\longrightarrow 0$ from Macdonald polynomials, and generalize the well-known Jack polynomials ($β$-deformation of Schur functions), associated with $r=1$. For $r=2$ they approximate Macdonald polynomials with the accuracy $O(\hbar^2)$, so that they are eigenfunctions of {\it two} immediately available commuting operators, arising from the $\hbar$-expansion of the first Macdonald Hamiltonian. These operators have a clear structure, which is easily generalizable, -- what provides a technically simple way to build an explicit representation of Yangian $Y(\widehat{\mathfrak{gl}}_2)$, where $U^{(2)}$ are associated with the states $|λ\rangle$, parametrized by chess-colored Young diagrams. An interesting feature of this representation is that the odd time-variables $p_{2n+1}$ can be expressed through mutually commuting operators from Yangian, however even time-variables $p_{2n}$ are inexpressible. Implications to higher $r$ become now straightforward, yet we describe them only in a sketchy way. △ Less

Submitted 27 February, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Towards the theory of Yangians

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: We review the main ideas underlying the emerging theory of Yangians -- the new type of hidden symmetry in string-inspired models. Their classification by quivers is a far-going generalization of simple Lie algebras classification by Dynkin diagrams. However, this is still a kind of project, while a more constructive approach goes through toric Calabi-Yau spaces, related supersymmetric systems and… ▽ More We review the main ideas underlying the emerging theory of Yangians -- the new type of hidden symmetry in string-inspired models. Their classification by quivers is a far-going generalization of simple Lie algebras classification by Dynkin diagrams. However, this is still a kind of project, while a more constructive approach goes through toric Calabi-Yau spaces, related supersymmetric systems and the Duistermaat-Heckmann/equivariant integrals between the fixed points in the ADHM-like moduli spaces. These fixed points are classified by crystals (Young-type diagrams) and Yangian generators describe ``instanton'' transitions between them. Detailed examples will be presented elsewhere. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Journal ref: Phys. Rev. D 109, 066001 (2024)

Towards tangle calculus for Khovanov polynomials

Authors: A. Anokhina, E. Lanina, A. Morozov

Abstract: We provide new evidence that the tangle calculus and "evolution" are applicable to the Khovanov polynomials for families of long braids inside the knot diagram. We show that jumps in evolution, peculiar for superpolynomials, are much less abundant than it was originally expected. Namely, for torus and twist satellites of a fixed companion knot, the main (most complicated) contribution does not jum… ▽ More We provide new evidence that the tangle calculus and "evolution" are applicable to the Khovanov polynomials for families of long braids inside the knot diagram. We show that jumps in evolution, peculiar for superpolynomials, are much less abundant than it was originally expected. Namely, for torus and twist satellites of a fixed companion knot, the main (most complicated) contribution does not jump, all jumps are concentrated in the torus and twist part correspondingly, where these jumps are necessary to make the Khovanov polynomial positive. Among other things, this opens a way to define a jump-free part of the colored Khovanov polynomials, which differs from the naive colored polynomial just "infinitesimally". The separation between jumping and smooth parts involves a combination of Rasmussen index and a new knot invariant, which we call "Thickness". △ Less

Submitted 24 August, 2023; originally announced August 2023.

Journal ref: Nuclear Physics B 998 (2023) 116403

Super-Schur Polynomials for Affine Super Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$

Authors: Dmitry Galakhov, Alexei Morozov, Nikita Tselousov

Abstract: We explicitly construct cut-and-join operators and their eigenfunctions -- the Super-Schur functions -- for the case of the affine super-Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. This is the simplest non-trivial (semi-Fock) representation, where eigenfunctions are labeled by the superanalogue of 2d Young diagrams, and depend on the supertime variables $(p_k,θ_k)$. The action of other ge… ▽ More We explicitly construct cut-and-join operators and their eigenfunctions -- the Super-Schur functions -- for the case of the affine super-Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. This is the simplest non-trivial (semi-Fock) representation, where eigenfunctions are labeled by the superanalogue of 2d Young diagrams, and depend on the supertime variables $(p_k,θ_k)$. The action of other generators on diagrams is described by the analogue of the Pieri rule. As well we present generalizations of the hook formula for the measure on super-Young diagrams and of the Cauchy formula. Also a discussion of string theory origins for these relations is provided. △ Less

Submitted 12 August, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: 27 pages, 3 figures

Journal ref: JHEP08(2023)049

Commutative subalgebras from Serre relations

Authors: A. Mironov, V. Mishnyakov, A. Morozov, A. Popolitov

Abstract: We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in algebra known as Serre relations. No other relations are needed for commutativity. The Serre relations survive the deformation to the affine Yangian… ▽ More We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in algebra known as Serre relations. No other relations are needed for commutativity. The Serre relations survive the deformation to the affine Yangian $Y(\hat{\mathfrak{gl}}_1)$, hence the commutative subalgebras do as well. A special case of the Yangian parameters corresponds to the $β$-deformation. The preservation of Serre relations can be thought of a selection rule for proper systems of commuting $β$-deformed Hamiltonians. On the contrary, commutativity in the extended family associated with ``rational (non-integer) rays" is {\it not} reduced to the Serre relations, and uses also other relations in the $W_{1+\infty}$ algebra. Thus their $β$-deformation is less straightforward. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: 13 pages

Report number: FIAN/TD-11/23; IITP/TH-12/23; ITEP/TH-16/23; MIPT/TH-13/23

Journal ref: Phys.Lett. B845 (2023) 138122

3-Schurs from explicit representation of Yangian $Y(\hat{\mathfrak{gl}}_1)$. Levels 1-5

Authors: A. Morozov, N. Tselousov

Abstract: We suggest an ansatz for representation of affine Yangian $Y(\hat{ \mathfrak{gl}}_1)$ by differential operators in the triangular set of time-variables ${\bf P}_{a,i}$ with $1\leqslant i\leqslant a$, which saturates the MacMahon formula for the number of $3d$ Young diagrams/plane partitions. In this approach the 3-Schur polynomials are defined as the common eigenfunctions of an infinite set of com… ▽ More We suggest an ansatz for representation of affine Yangian $Y(\hat{ \mathfrak{gl}}_1)$ by differential operators in the triangular set of time-variables ${\bf P}_{a,i}$ with $1\leqslant i\leqslant a$, which saturates the MacMahon formula for the number of $3d$ Young diagrams/plane partitions. In this approach the 3-Schur polynomials are defined as the common eigenfunctions of an infinite set of commuting "cut-and-join" generators $ψ_n$ of the Yangian. We manage to push this tedious program through to the 3-Schur polynomials of level 5, and this provides a rather big sample set, which can be now investigated by other methods. △ Less

Submitted 20 May, 2023; originally announced May 2023.

Averaging method in combinatorics of symmetric polynomials

Authors: A. Mironov, A. Morozov

Abstract: We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previous… ▽ More We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities. △ Less

Submitted 30 June, 2023; v1 submitted 12 February, 2023; originally announced February 2023.

Comments: 15 pages

Report number: MIPT/TH-06/22; FIAN/TD-03/22; ITEP/TH-06/22; IITP/TH-05/22

Journal ref: Phys.Lett. B843 (2023) 138037

Multistrand Eigenvalue conjecture and Racah symmetries

Authors: Andrey Morozov

Abstract: Racah matrices of quantum algebras are of great interest at present time. These matrices have a relation with $\mathcal{R}$-matrices, which are much simpler than the Racah matrices themselves. This relation is known as the eigenvalue conjecture. In this paper we study symmetries of Racah matrices which follow from the eigenvalue conjecture for multistrand braids. Racah matrices of quantum algebras are of great interest at present time. These matrices have a relation with $\mathcal{R}$-matrices, which are much simpler than the Racah matrices themselves. This relation is known as the eigenvalue conjecture. In this paper we study symmetries of Racah matrices which follow from the eigenvalue conjecture for multistrand braids. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 6 pages, 4 figures

Report number: ITEP/TH-26/22 IITP/TH-23/22

Hunt for 3-Schur polynomials

Authors: A. Morozov, N. Tselousov

Abstract: This paper describes our attempt to understand the recent success of Na Wang in constructing the 3-Schur polynomials, associated with the plane partitions. We provide a rather detailed review and try to figure out the new insights, which allowed to overcome the problems of the previous efforts. In result we provide a very simple definition of time-variables ${\bf P}_{i\geqslant j}$ and the cut-and… ▽ More This paper describes our attempt to understand the recent success of Na Wang in constructing the 3-Schur polynomials, associated with the plane partitions. We provide a rather detailed review and try to figure out the new insights, which allowed to overcome the problems of the previous efforts. In result we provide a very simple definition of time-variables ${\bf P}_{i\geqslant j}$ and the cut-and-join operator $\hat W_2$, which generates the set of $3$-Schur functions. Some coefficients in $\hat W_2$ remain undefined and require more effort to be fixed. △ Less

Submitted 20 May, 2023; v1 submitted 27 November, 2022; originally announced November 2022.

Defect and degree of the Alexander polynomial

Authors: E. Lanina, A. Morozov

Abstract: Defect characterizes the depth of factorization of terms in differential (cyclotomic) expansions of knot polynomials, i.e. of the non-perturbative Wilson averages in the Chern-Simons theory. We prove the conjecture that the defect can be alternatively described as the degree in $q^{\pm 2}$ of the fundamental Alexander polynomial, which formally corresponds to the case of no colors. We also pose a… ▽ More Defect characterizes the depth of factorization of terms in differential (cyclotomic) expansions of knot polynomials, i.e. of the non-perturbative Wilson averages in the Chern-Simons theory. We prove the conjecture that the defect can be alternatively described as the degree in $q^{\pm 2}$ of the fundamental Alexander polynomial, which formally corresponds to the case of no colors. We also pose a question if these Alexander polynomials can be arbitrary integer polynomials of a given degree. A first attempt to answer the latter question is a preliminary analysis of antiparallel descendants of the 2-strand torus knots, which provide a nice set of examples for all values of the defect. The answer turns out to be positive in the case of defect zero knots, what can be observed already in the case of twist knots. This proved conjecture also allows us to provide a complete set of $C$-polynomials for the symmetrically colored Alexander polynomials for defect zero. In this case, we achieve a complete separation of representation and knot variables. △ Less

Submitted 2 August, 2022; originally announced August 2022.

Comments: 21 pages

Journal ref: The European Physical Journal C 82 (2022) 1022

Differential Expansion for antiparallel triple pretzels: the way the factorization is deformed

Authors: A. Morozov, N. Tselousov

Abstract: For a peculiar family of double braid knots there is a remarkable factorization formula for the coefficients of the differential (cyclotomic) expansion (DE), which nowadays is widely used to construct the exclusive Racah matrices $S$ and $\bar S$ in arbitrary representations. The origins of the factorization remain obscure and the special role of double braids remains a mystery. In an attempt to b… ▽ More For a peculiar family of double braid knots there is a remarkable factorization formula for the coefficients of the differential (cyclotomic) expansion (DE), which nowadays is widely used to construct the exclusive Racah matrices $S$ and $\bar S$ in arbitrary representations. The origins of the factorization remain obscure and the special role of double braids remains a mystery. In an attempt to broaden the perspective, we extend the family of double braids to antiparallel triple pretzels, which are obtained by the defect-preserving deformation from the trefoil and all have defect zero. It turns out that factorization of DE coefficients is violated quite strongly, still remains described by an elegant formula, at least for all symmetric representations. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Evolution properties of the knot's defect

Authors: A. Morozov, N. Tselousov

Abstract: The defect of differential (cyclotomic) expansion for colored HOMFLY-PT polynomials is conjectured to be invariant under any antiparallel evolution and change linearly with the evolution in any parallel direction. In other words, each ${\cal R}$-matrix can be substituted by an entire 2-strand braid in two different ways: the defect remains intact when the braid is antiparallel and changes by half… ▽ More The defect of differential (cyclotomic) expansion for colored HOMFLY-PT polynomials is conjectured to be invariant under any antiparallel evolution and change linearly with the evolution in any parallel direction. In other words, each ${\cal R}$-matrix can be substituted by an entire 2-strand braid in two different ways: the defect remains intact when the braid is antiparallel and changes by half of the added length when the braid is parallel. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Polynomial representations of classical Lie algebras and flag varieties

Authors: A. Morozov, M. Reva, N. Tselousov, Y. Zenkevich

Abstract: Recently we have started a program to describe the action of Lie algebras associated with Dynkin-type diagrams on generic Verma modules in terms of polynomial vector fields. In this paper we explain that the results for the classical ABCD series of Lie algebras coincide with the more conventional approach, based on the knowledge of the entire algebra, not only the simple roots. We apply the coset… ▽ More Recently we have started a program to describe the action of Lie algebras associated with Dynkin-type diagrams on generic Verma modules in terms of polynomial vector fields. In this paper we explain that the results for the classical ABCD series of Lie algebras coincide with the more conventional approach, based on the knowledge of the entire algebra, not only the simple roots. We apply the coset description, starting with a large representation and then reducing it with the help of the algebra, commuting with the original one. The irreducible representations are then obtained by gauge fixing this residual symmetry. △ Less

Submitted 23 May, 2022; v1 submitted 23 February, 2022; originally announced February 2022.

Data-driven model for hydraulic fracturing design optimization. Part II: Inverse problem

Authors: Viktor Duplyakov, Anton Morozov, Dmitriy Popkov, Egor Shel, Albert Vainshtein, Evgeny Burnaev, Andrei Osiptsov, Grigory Paderin

Abstract: We describe a stacked model for predicting the cumulative fluid production for an oil well with a multistage-fracture completion based on a combination of Ridge Regression and CatBoost algorithms. The model is developed based on an extended digital field data base of reservoir, well and fracturing design parameters. The database now includes more than 5000 wells from 23 oilfields of Western Siberi… ▽ More We describe a stacked model for predicting the cumulative fluid production for an oil well with a multistage-fracture completion based on a combination of Ridge Regression and CatBoost algorithms. The model is developed based on an extended digital field data base of reservoir, well and fracturing design parameters. The database now includes more than 5000 wells from 23 oilfields of Western Siberia (Russia), with 6687 fracturing operations in total. Starting with 387 parameters characterizing each well, including construction, reservoir properties, fracturing design features and production, we end up with 38 key parameters used as input features for each well in the model training process. The model demonstrates physically explainable dependencies plots of the target on the design parameters (number of stages, proppant mass, average and final proppant concentrations and fluid rate). We developed a set of methods including those based on the use of Euclidean distance and clustering techniques to perform similar (offset) wells search, which is useful for a field engineer to analyze earlier fracturing treatments on similar wells. These approaches are also adapted for obtaining the optimization parameters boundaries for the particular pilot well, as part of the field testing campaign of the methodology. An inverse problem (selecting an optimum set of fracturing design parameters to maximize production) is formulated as optimizing a high dimensional black box approximation function constrained by boundaries and solved with four different optimization methods: surrogate-based optimization, sequential least squares programming, particle swarm optimization and differential evolution. A recommendation system containing all the above methods is designed to advise a production stimulation engineer on an optimized fracturing design. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 13 pages, 21 figures, 1 table, preprint submitted to Journal of Petroleum Science & Engineering

Connection between cut-and-join and Casimir operators

Authors: A. Mironov, A. Morozov, A. Zhabin

Abstract: We study cut-and-join operators for spin Hurwitz partition functions. We provide explicit expressions for these operators in terms of derivatives in $p$-variables without straightforward matrix realization, which is yet to be found. With the help of these expressions spin cut-and-join operators can be calculated directly and algorithmically. The reason why it is possible is the connection between… ▽ More We study cut-and-join operators for spin Hurwitz partition functions. We provide explicit expressions for these operators in terms of derivatives in $p$-variables without straightforward matrix realization, which is yet to be found. With the help of these expressions spin cut-and-join operators can be calculated directly and algorithmically. The reason why it is possible is the connection between mentioned operators and specially chosen Casimir operators that are easy to compute. An essential part of the connection involves shifted Q-Schur functions. △ Less

Submitted 6 June, 2022; v1 submitted 23 May, 2021; originally announced May 2021.

Comments: 14 pages

Report number: FIAN/TH-06/21; ITEP/TH-12/21; IITP/TH-09/21; MIPT/TH-08/21

Journal ref: Phys.Lett. B822 (2021) 136668

Khovanov polynomials for satellites and asymptotic adjoint polynomials

Authors: A. Anokhina, A. Morozov, A. Popolitov

Abstract: We compute explicitly the Khovanov polynomials (using the computer program from katlas.org) for the two simplest families of the satellite knots, which are the twisted Whitehead doubles and the two-strand cables. We find that a quantum group decomposition for the HOMFLY polynomial of a satellite knot can be extended to the Khovanov polynomial, whose quantum group properties are not manifest. Namel… ▽ More We compute explicitly the Khovanov polynomials (using the computer program from katlas.org) for the two simplest families of the satellite knots, which are the twisted Whitehead doubles and the two-strand cables. We find that a quantum group decomposition for the HOMFLY polynomial of a satellite knot can be extended to the Khovanov polynomial, whose quantum group properties are not manifest. Namely, the Khovanov polynomial of a twisted Whitehead double or two-strand cable (the two simplest satellite families) can be presented as a naively deformed linear combination of the pattern and companion invariants. For a given companion, the satellite polynomial "smoothly" depends on the pattern but for the "jump" at one critical point defined by the s-invariant of the companion knot. A similar phenomenon is known for the knot Floer homology and tau-invariant for the same kind of satellites. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Harer-Zagier formulas for knot matrix models

Authors: Alexei Morozov, Aleksandr Popolitov, Shamil Shakirov

Abstract: Knot matrix models are defined so that the averages of characters are equal to knot polynomials. From this definition one can extract single trace averages and generation functions for them in the group rank - which generalize the celebrated Harer-Zagier formulas for Hermitian matrix model. We describe the outcome of this program for HOMFLY-PT polynomials of various knots. In particular, we claim… ▽ More Knot matrix models are defined so that the averages of characters are equal to knot polynomials. From this definition one can extract single trace averages and generation functions for them in the group rank - which generalize the celebrated Harer-Zagier formulas for Hermitian matrix model. We describe the outcome of this program for HOMFLY-PT polynomials of various knots. In particular, we claim that the Harer-Zagier formulas for torus knots factorize nicely, but this does not happen for other knots. This fact is mysteriously parallel to existence of explicit beta = 1 eigenvalue model construction for torus knots only, and can be responsible for problems with construction of a similar model for other knots. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Report number: ITEP/TH-03/21, IITP/TH-03/21, MIPT/TH-03/21

Journal ref: Phys.Lett.B 818 (2021) 136370

Global Optimisation in Hilbert Spaces using the Survival of the Fittest Algorithm

Authors: Andrew Yu. Morozov, Oleg Kuzenkov, Simran K. Sandhu

Abstract: Global optimisation problems in high-dimensional and infinite dimensional spaces arise in various real-world applications such as engineering, economics, geophysics, biology, machine learning, optimal control, etc. Among stochastic approaches to global optimisation, biology-inspired methods are currently popular in the literature, imitating natural ecological and evolutionary processes and reporte… ▽ More Global optimisation problems in high-dimensional and infinite dimensional spaces arise in various real-world applications such as engineering, economics, geophysics, biology, machine learning, optimal control, etc. Among stochastic approaches to global optimisation, biology-inspired methods are currently popular in the literature, imitating natural ecological and evolutionary processes and reported to be efficient in many practical study cases. However, many of bio-inspired methods have some vital drawbacks. Due to their semi-empirical nature, convergence to the globally optimal solution cannot always be guaranteed and struggles with the high dimensionality of space, showing a slow convergence. Here, we present a bio-inspired global stochastic optimisation method, applicable in Hilbert function spaces, inspired by Darwin's' famous idea of the survival of the fittest, therefore, referred to as the `Survival of the Fittest Algorithm' (SoFA). Mathematically, the convergence of SoFA is a consequence of a fundamental property of localisation of probabilistic measure in a Hilbert space, we rigorously prove the convergence of the introduced algorithm for a generic class of functionals. As an insightful real-world problem, we apply SoFA to find globally optimal trajectories for daily vertical migrations of zooplankton in ocean and lakes, considered to be the largest synchronised movement of biomass on Earth. We maximise fitness in a function space derived from a von-Foerster stage-structured population model with biologically realistic parameters. We show that for problems of fitness maximisation in high-dimensional spaces, SoFA performs better than some other stochastic global optimisation algorithms. We highlight the links between the new optimisation algorithm and natural selection process in ecosystems occurring within a population via gradual exclusion of competitive con-specific strains. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 19 pages, 4 figures

Around spin Hurwitz numbers

Authors: A. D. Mironov, A. Yu Morozov, S. M. Natanzon, A. Yu Orlov

Abstract: We present a review of the spin Hurwitz numbers, which count the ramified coverings with spin structures. They are related to peculiar $Q$ Schur functions, which are actually related to characters of the Sergeev group. This allows one to put the whole story into the modern context of matrix models and integrable hierarchies. Hurwitz partition functions are actually broader than conventional $τ$-fu… ▽ More We present a review of the spin Hurwitz numbers, which count the ramified coverings with spin structures. They are related to peculiar $Q$ Schur functions, which are actually related to characters of the Sergeev group. This allows one to put the whole story into the modern context of matrix models and integrable hierarchies. Hurwitz partition functions are actually broader than conventional $τ$-functions, but reduce to them in particular circumstances. We explain, how a special $d$-soliton $τ$-functions of KdV and Veselov-Novikov hierarchies generate the spin Hurwitz numbers $H^\pm\left( Γ^r_d \right)$ and $H^\pm\left( Γ^r_d,Δ\right)$. The generating functions of the spin Hurwitz numbers are hypergeometric $τ$-functions of the BKP integrable hierarchy, and we present their fermionic realization. We also explain how one can construct $τ$-functions of this type entirely in terms of the $Q$ Schur functions. An important role in this approach is played by factorization formulas for the $Q$ Schur functions on special loci. △ Less

Submitted 21 August, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: 27 pages

Report number: FIAN/TD-07/20; IITP/TH-19/20; ITEP/TH-30/20; MIPT/TH-17/20

Journal ref: Lett.Math.Phys. 111 (2021) 124

Algebra of quantum ${\cal C}$-polynomials

Authors: A. Mironov, A. Morozov

Abstract: Knot polynomials colored with symmetric representations of $SL_q(N)$ satisfy difference equations as functions of representation parameter, which look like quantization of classical ${\cal A}$-polynomials. However, they are quite difficult to derive and investigate. Much simpler should be the equations for coefficients of differential expansion nicknamed quantum ${\cal C}$-polynomials. It turns ou… ▽ More Knot polynomials colored with symmetric representations of $SL_q(N)$ satisfy difference equations as functions of representation parameter, which look like quantization of classical ${\cal A}$-polynomials. However, they are quite difficult to derive and investigate. Much simpler should be the equations for coefficients of differential expansion nicknamed quantum ${\cal C}$-polynomials. It turns out that, for each knot, one can actually derive two difference equations of a finite order for these coefficients, those with shifts in spin $n$ of the representation and in $A=q^N$. Thus, the ${\cal C}$-polynomials are much richer and form an entire ring. We demonstrate this with the examples of various defect zero knots, mostly discussing the entire twist family. △ Less

Submitted 24 September, 2020; originally announced September 2020.

Comments: 21 pages

Report number: FIAN/TD-13/20; IITP/TH-13/20; ITEP/TH-18/20; MIPT/TH-12/20

Journal ref: J. High Energ. Phys. 2021 (2021) 142

On cohesive powers of linear orders

Authors: Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev

Abstract: Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $ω$. If… ▽ More Cohesive powers of computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let $ω$, $ζ$, and $η$ denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of $ω$. If $\mathcal{L}$ is a computable copy of $ω$ that is computably isomorphic to the usual presentation of $ω$, then every cohesive power of $\mathcal{L}$ has order-type $ω+ ζη$. However, there are computable copies of $ω$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to $ω+ ζη$. For example, we show that there is a computable copy of $ω$ with a cohesive power of order-type $ω+ η$. Our most general result is that if $X \subseteq \mathbb{N} \setminus \{0\}$ is a Boolean combination of $Σ_2$ sets, thought of as a set of finite order-types, then there is a computable copy of $ω$ with a cohesive power of order-type $ω+ σ(X \cup \{ω+ ζη+ ω^*\})$, where $σ(X \cup \{ω+ ζη+ ω^*\})$ denotes the shuffle of the order-types in $X$ and the order-type $ω+ ζη+ ω^*$. Furthermore, if $X$ is finite and non-empty, then there is a computable copy of $ω$ with a cohesive power of order-type $ω+ σ(X)$. △ Less

Submitted 22 February, 2023; v1 submitted 1 September, 2020; originally announced September 2020.

Distinguishing Mutant Knots

Authors: L. Bishler, Saswati Dhara, T. Grigoryev, A. Mironov, A. Morozov, An. Morozov, P. Ramadevi, Vivek Kumar Singh, A. Sleptsov

Abstract: Knot theory is actively studied both by physicists and mathematicians as it provides a connecting centerpiece for many physical and mathematical theories. One of the challenging problems in knot theory is distinguishing mutant knots. Mutant knots are not distinguished by colored HOMFLY-PT polynomials for knots colored by either symmetric and or antisymmetric representations of $SU(N)$. Some of the… ▽ More Knot theory is actively studied both by physicists and mathematicians as it provides a connecting centerpiece for many physical and mathematical theories. One of the challenging problems in knot theory is distinguishing mutant knots. Mutant knots are not distinguished by colored HOMFLY-PT polynomials for knots colored by either symmetric and or antisymmetric representations of $SU(N)$. Some of the mutant knots can be distinguished by the simplest non-symmetric representation $[2,1]$. However there is a class of mutant knots which require more complex representations like $[4,2]$. In this paper we calculate polynomials and differences for the mutant knot polynomials in representations $[3,1]$ and $[4,2]$ and study their properties. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 22 pages + 3 Appendices

Report number: FIAN/TD-12/20; IITP/TH-09/20; ITEP/TH-12/20; MIPT/TH-09/20

Journal ref: Journal of Geometry and Physics, 159 (2021) 103928

Interpreting a field in its Heisenberg group

Authors: Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina Harizanov, Julia Knight, Andrey Morozov, Russell Miller, Alexandra Soskova, Rose Weisshaar

Abstract: We improve on and generalize a 1960 result of Maltsev. For a field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is a copy of $F$ defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair $(u,v)$ as parameters. We show that $F$ is interpreted in $H(F)$ using computable $Σ_1$ formulas with no parameters. We give two proofs. The… ▽ More We improve on and generalize a 1960 result of Maltsev. For a field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is a copy of $F$ defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair $(u,v)$ as parameters. We show that $F$ is interpreted in $H(F)$ using computable $Σ_1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalbán. This proof allows the possibility that the elements of $F$ are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of $F$ represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of $F$ in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations. △ Less

Submitted 5 April, 2022; v1 submitted 21 June, 2020; originally announced June 2020.

Comments: Published online by the *Journal of Symbolic Logic*, 23 December 2021. Print version to appear subsequently

MSC Class: 03C57 (Primary) 03D45; 20H20; 12L12

Perspectives of differential expansion

Authors: L. Bishler, A. Morozov

Abstract: We outline the current status of the differential expansion (DE) of colored knot polynomials i.e. of their $Z$--$F$ decomposition into representation-- and knot--dependent parts. Its existence is a theorem for HOMFLY-PT polynomials in symmetric and antisymmetric representations, but everything beyond is still hypothetical -- and quite difficult to explore and interpret. However, DE remains one of… ▽ More We outline the current status of the differential expansion (DE) of colored knot polynomials i.e. of their $Z$--$F$ decomposition into representation-- and knot--dependent parts. Its existence is a theorem for HOMFLY-PT polynomials in symmetric and antisymmetric representations, but everything beyond is still hypothetical -- and quite difficult to explore and interpret. However, DE remains one of the main sources of knowledge and calculational means in modern knot theory. We concentrate on the following subjects: applicability of DE to non-trivial knots, its modifications for knots with non-vanishing defects and DE for non-rectangular representations. An essential novelty is the analysis of a more-naive ${\cal Z}$--${F_{Tw}}$ decomposition with the twist-knot $F$-factors and non-standard ${\cal Z}$-factors and a discovery of still another triangular and universal transformation $V$, which converts $\cal{Z}$ to the standard $Z$-factors $V^{-1}\cdot {\cal Z}= Z$ and allows to calculate $F$ as $F = V\cdot F_{Tw}$. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Comments: 14 pages

Journal ref: Phys.Lett. B808 (2020) 135639

Elliptic lift of the Shiraishi function as a non-stationary double-elliptic function

Authors: H. Awata, H. Kanno, A. Mironov, A. Morozov

Abstract: As a development of arXiv:1912.12897, we note that the ordinary Shiraishi functions have an insufficient number of parameters to describe generic eigenfunctions of double elliptic system (Dell). The lacking parameter can be provided by substituting elliptic instead of the ordinary Gamma functions in the coefficients of the series. These new functions (ELS-functions) are conjectured to be functions… ▽ More As a development of arXiv:1912.12897, we note that the ordinary Shiraishi functions have an insufficient number of parameters to describe generic eigenfunctions of double elliptic system (Dell). The lacking parameter can be provided by substituting elliptic instead of the ordinary Gamma functions in the coefficients of the series. These new functions (ELS-functions) are conjectured to be functions governed by compactified DIM networks which can simultaneously play the three roles: solutions to non-stationary Dell equations, Dell conformal blocks with the degenerate field (surface operator) insertion, and the corresponding instanton sums in $6d$ SUSY gauge theories with adjoint matter. We describe the basics of the corresponding construction and make further conjectures about the various limits and dualities which need to be checked to make a precise statement about the Dell description by double-periodic network models with DIM symmetry. We also demonstrate that the ELS-functions provide symmetric polynomials, which are an elliptic generalization of Macdonald ones, and compute the generation function of the elliptic genera of the affine Laumon spaces. In the particular $U(1)$ case, we find an explicit plethystic formula for the $6d$ partition function, which is a non-trivial elliptic generalization of the $(q,t)$ Nekrasov-Okounkov formula from $5d$. △ Less

Submitted 24 July, 2020; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 21 pages

Report number: FIAN/TD-01/20; IITP/TH-01/20; ITEP/TH-01/20; MIPT/TH-01/20

Journal ref: J. High Energ. Phys. 2020 (2020) 150

Hopf superpolynomial from topological vertices

Authors: A. Mironov, A. Morozov

Abstract: Link/knot invariants are series with integer coefficients, and it is a long-standing problem to get them positive and possessing cohomological interpretation. Constructing positive "superpolynomials" is not straightforward, especially for colored invariants. A simpler alternative is a multi-parametric generalization of the character expansion, which leads to colored "hyperpolynomials". The third c… ▽ More Link/knot invariants are series with integer coefficients, and it is a long-standing problem to get them positive and possessing cohomological interpretation. Constructing positive "superpolynomials" is not straightforward, especially for colored invariants. A simpler alternative is a multi-parametric generalization of the character expansion, which leads to colored "hyperpolynomials". The third construction involves branes on resolved conifolds, which gives rise to still another family of invariants associated with composite representations. We revisit this triality issue in the simple case of the Hopf link and discover a previously overlooked way to produce positive colored superpolynomials from the DIM-governed four-point functions, thus paving a way to a new relation between super- and hyperpolynomials. △ Less

Submitted 17 March, 2020; originally announced March 2020.

Comments: 12 pages

Report number: FIAN/TD-03/20; IITP/TH-05/20; ITEP/TH-06/20; MIPT/TH-05/20

Journal ref: Nucl.Phys. B960 (2020) 115191

KNTZ trick from arborescent calculus and the structure of differential expansion

Authors: A. Morozov

Abstract: The recently suggested KNTZ trick completed the lasting search for exclusive Racah matrices $\bar S$ and $S$ for all rectangular representations and has a potential to help in the non-rectangular case as well. This was the last lacking insight about the structure of differential expansion of (rectangularly-)colored knot polynomials for twist knots -- and the resulting success is a spectacular achi… ▽ More The recently suggested KNTZ trick completed the lasting search for exclusive Racah matrices $\bar S$ and $S$ for all rectangular representations and has a potential to help in the non-rectangular case as well. This was the last lacking insight about the structure of differential expansion of (rectangularly-)colored knot polynomials for twist knots -- and the resulting success is a spectacular achievement of modern knot theory in a classical field of representation theory, which was originally thought to be a tool for knot calculus but instead appeared to be its direct beneficiary. In this paper we explain that the KNTZ ansatz is actually a suggestion to convert the arborescent evolution matrix $\bar S\bar T^2\bar S$ into triangular form ${\cal B}$ and demonstrate how this works and what is the form of the old puzzles and miracles of the differential expansions from this perspective. The main new fully result is the conjecture for the triangular matrix ${\cal B}$ in the case of non-rectangular representation $[3,1]$. This paper does not simplify any calculations, but highlights the remaining problems, which one needs to overcome in order to {\it prove} that things really work. We believe that this discussion is also useful for further steps towards non-rectangular case and the related search of the gauge-invariant arborescent vertices. As an example we formulate a puzzling, still experimentally supported conjecture, that the study of twist knots only is sufficient to describe the shape of the differential expansion for all knots. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: 20 pages

Journal ref: Theor.Math.Phys. 204 (2020) 863-889

Multiplicity-free $U_q(sl_N)$ 6-j symbols: relations, asymptotics, symmetries

Authors: Victor Alekseev, Andrey Morozov, Alexey Sleptsov

Abstract: A closed form expression for multiplicity-free quantum 6-j symbols (MFS) was proposed in arXiv:1302.5143 for symmetric representations of $U_q(sl_N)$, which are the simplest class of multiplicity-free representations. In this paper we rewrite this expression in terms of q-hypergeometric series ${}_4Φ_3$. We claim that it is possible to express any MFS through the 6-j symbol for $U_q(sl_2)$ with a… ▽ More A closed form expression for multiplicity-free quantum 6-j symbols (MFS) was proposed in arXiv:1302.5143 for symmetric representations of $U_q(sl_N)$, which are the simplest class of multiplicity-free representations. In this paper we rewrite this expression in terms of q-hypergeometric series ${}_4Φ_3$. We claim that it is possible to express any MFS through the 6-j symbol for $U_q(sl_2)$ with a certain factor. It gives us a universal tool for the extension of various properties of the quantum 6-j symbols for $U_q(sl_2)$ to the MFS. We demonstrate this idea by deriving the asymptotics of the MFS in terms of associated tetrahedron for classical algebra $U(sl_N)$. Next we study MFS symmetries using known hypergeometric identities such as argument permutations and Sears' transformation. We describe symmetry groups of MFS. As a result we get new symmetries, which are a generalization of the tetrahedral symmetries and the Regge symmetries for N = 2. △ Less

Submitted 19 August, 2020; v1 submitted 31 December, 2019; originally announced December 2019.

Comments: 25 pages

Morse-Smale surfaced diffeomorphisms with orientable heteroclinic

Authors: A. I. Morozov, O. V. Pochinka

Abstract: In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits. In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits. △ Less

Submitted 28 September, 2019; originally announced September 2019.

Comments: 13 pages, 10 figures,

MSC Class: 37C05

Interplay between symmetries of quantum 6-j symbols and the eigenvalue hypothesis

Authors: Victor Alekseev, Andrey Morozov, Alexey Sleptsov

Abstract: The eigenvalue hypothesis claims that any quantum Racah matrix for finite-dimensional representations of $U_q(sl_N)$ is uniquely determined by eigenvalues of the corresponding quantum $\cal{R}$-matrices. If this hypothesis turns out to be true, then it will significantly simplify the computation of Racah matrices. Also due to this hypothesis various interesting properties of colored HOMFLY-PT poly… ▽ More The eigenvalue hypothesis claims that any quantum Racah matrix for finite-dimensional representations of $U_q(sl_N)$ is uniquely determined by eigenvalues of the corresponding quantum $\cal{R}$-matrices. If this hypothesis turns out to be true, then it will significantly simplify the computation of Racah matrices. Also due to this hypothesis various interesting properties of colored HOMFLY-PT polynomials will be proved. In addition, it allows one to discover new symmetries of the quantum 6-j symbols, about which almost nothing is known for $N>2$, with the exception of the tetrahedral symmetries, complex conjugation and transformation $q \longleftrightarrow q^{-1}$. In this paper we prove the eigenvalue hypothesis in $U_q(sl_2)$ case and show that it is equivalent to 6-j symbol symmetries (the Regge symmetry and two argument permutations). Then we apply the eigenvalue hypothesis to inclusive Racah matrices with 3 symmetric incoming representations of $U_q(sl_N)$ and an arbitrary outcoming one. It gives us 8 new additional symmetries that are not tetrahedral ones. Finally, we apply the eigenvalue hypothesis to exclusive Racah matrices with symmetric representations and obtain 4 tetrahedral symmetries. △ Less

Submitted 17 March, 2021; v1 submitted 17 September, 2019; originally announced September 2019.

Comments: 22 pages

Journal ref: Lett Math Phys 111, 50 (2021)

Pentad and triangular structures behind the Racah matrices

Authors: A. Morozov

Abstract: Somewhat unexpectedly, the study of the family of twisted knots revealed a hidden structure behind exclusive Racah matrices $\bar S$, which control non-associativity of the representation product in a peculiar channel $R\otimes \bar R \otimes R \longrightarrow R$. These $\bar S$ are simultaneously symmetric and orthogonal, and therefore admit two decompositions: as quadratic forms,… ▽ More Somewhat unexpectedly, the study of the family of twisted knots revealed a hidden structure behind exclusive Racah matrices $\bar S$, which control non-associativity of the representation product in a peculiar channel $R\otimes \bar R \otimes R \longrightarrow R$. These $\bar S$ are simultaneously symmetric and orthogonal, and therefore admit two decompositions: as quadratic forms, $\bar S \sim {\cal E}^{tr}{\cal E}$, and as operators: $\bar T\bar S\bar T = S T^{-1} S^{-1}$. Here $\bar T$ and $T$ consist of the eigenvalues of the quantum ${\cal R}$-matrices in channels $R\otimes \bar R$ and $R\otimes R$ respectively, $S$ is the second exclusive Racah matrix for $\bar R\otimes R\otimes R \longrightarrow R$ (still orthogonal, but no longer symmetric), and ${\cal E}$ is a {\it triangular} matrix. It can be further used to construct the KNTZ evolution matrix ${\cal B}={\cal E}\bar T^2{\cal E}^{-1}$, which is also triangular and explicitly expressible through the skew Schur and Macdonald functions -- what makes Racah matrices calculable. Moreover, ${\cal B}$ is somewhat similar to Ruijsenaars Hamiltonian, which is used to define Macdonald functions, and gets triangular in the Schur basis. Discovery of this pentad structure $(\bar T,\bar S,S,{\cal E},{\cal B})$, associated with the universal ${\cal R}$-matrix, can lead to further insights about representation theory, knot invariants and Macdonald-Kerov functions. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: 8 pages

Journal ref: Eur. Phys. J. Plus 135 (2020) 196

New symmetries for the $U_q(sl_N)$ 6-j symbols from the Eigenvalue conjecture

Authors: Andrey Morozov, Alexey Sleptsov

Abstract: In the present paper we discuss the eigenvalue conjecture, suggested in 2012, in the particular case of $U_q(sl_2)$. The eigenvalue conjecture provides a certain symmetry for Racah coefficients and we prove that \textbf{the eigenvalue conjecture is provided by the Regge symmetry} for $U_q(sl_2)$, when three representations coincide. This in perspective provides us a kind of generalization of the R… ▽ More In the present paper we discuss the eigenvalue conjecture, suggested in 2012, in the particular case of $U_q(sl_2)$. The eigenvalue conjecture provides a certain symmetry for Racah coefficients and we prove that \textbf{the eigenvalue conjecture is provided by the Regge symmetry} for $U_q(sl_2)$, when three representations coincide. This in perspective provides us a kind of generalization of the Regge symmetry to arbitrary $U_q(sl_N)$. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 9 pages

Report number: IITP/TH-16/18 ITEP/TH-27/18

Journal ref: Jetp Lett. (2018) 108: 697