Showing 1–50 of 117 results for author: Ivanov, O

Path homology of digraphs without multisquares and its comparison with homology of spaces

Authors: Xin Fu, Sergei O. Ivanov

Abstract: For a digraph $G$ without multisquares and a field $\mathbb{F}$, we construct a basis of the vector space of path $n$-chains $Ω_n(G;\mathbb{F})$ for $n\geq 0$, generalising the basis of $Ω_3(G;\mathbb{F})$ constructed by Grigory'an. For a field $\mathbb{F},$ we consider the $\mathbb{F}$-path Euler characteristic $χ^\mathbb{F}(G)$ of a digraph $G$ defined as the alternating sum of dimensions of pat… ▽ More For a digraph $G$ without multisquares and a field $\mathbb{F}$, we construct a basis of the vector space of path $n$-chains $Ω_n(G;\mathbb{F})$ for $n\geq 0$, generalising the basis of $Ω_3(G;\mathbb{F})$ constructed by Grigory'an. For a field $\mathbb{F},$ we consider the $\mathbb{F}$-path Euler characteristic $χ^\mathbb{F}(G)$ of a digraph $G$ defined as the alternating sum of dimensions of path homology groups with coefficients in $\mathbb{F}.$ If $Ω_\bullet(G;\mathbb{F})$ is a bounded chain complex, the constructed bases can be applied to compute $χ^\mathbb{F}(G)$. We provide an explicit example of a digraph $\mathcal{G}$ whose $\mathbb{F}$-path Euler characteristic depends on whether the characteristic of $\mathbb{F}$ is two, revealing the differences between GLMY theory and the homology theory of spaces. This allows us to prove that there is no topological space $X$ whose homology is isomorphic to path homology of the digraph $H_*(X;\mathbb{K})\cong {\rm PH}_*(\mathcal{G};\mathbb{K})$ simultaneously for $\mathbb{K}=\mathbb{Z}$ and $\mathbb{K}=\mathbb{Z}/2\mathbb{Z}.$ △ Less

Submitted 24 July, 2024; originally announced July 2024.

On diagonal digraphs, Koszul algebras and triangulations of homology spheres

Authors: Sergei O. Ivanov, Lev Mukoseev

Abstract: The article is devoted to the study of diagonal digraphs, i.e. digraphs whose magnitude homology is concentrated on the diagonal. For a digraph $G$ and $\ell\geq 2,$ we describe a condition, denoted by $(\mathcal{V}_\ell)$, equivalent to vanishing of the second magnitude homology group ${\rm MH}_{2,k}(G,\mathbb{Z})$ for all $k>\ell.$ In particular, diagonal digraphs satisfy $(\mathcal{V}_2).$ As a… ▽ More The article is devoted to the study of diagonal digraphs, i.e. digraphs whose magnitude homology is concentrated on the diagonal. For a digraph $G$ and $\ell\geq 2,$ we describe a condition, denoted by $(\mathcal{V}_\ell)$, equivalent to vanishing of the second magnitude homology group ${\rm MH}_{2,k}(G,\mathbb{Z})$ for all $k>\ell.$ In particular, diagonal digraphs satisfy $(\mathcal{V}_2).$ As a corollary we obtain that the 2-dimensional CW-complex obtained from a diagonal undirected graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $σG$ is Koszul for any ground field; and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $Ω^\bullet(G)$ is Koszul for any ground field. To obtain a source of examples of digraphs, we study the extended Hasse diagram $\hat G_K$ of a pure simplicial complex $K$. For a triangulation $K$ of a topological manifold $M,$ we express the non-diagonal part of the magnitude homology of $\hat G_K$ via the homology of $M$. As a corollary we obtain that, if $K$ is a triangulation of a closed manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere. △ Less

Submitted 29 July, 2024; v1 submitted 7 May, 2024; originally announced May 2024.

Limits via relations

Authors: Sergei O. Ivanov, Roman Mikhailov, Fedor Pavutnitskiy

Abstract: In this paper, we study operations on functors in the category of abelian groups simplar to the derivation in the sense of Dold-Puppe. They are defined as derived limits of a functor applied to the relation subgroup over a category of free presentations of the group. The integral homology of the Eilenberg-Maclane space $K(\mathbb Z,3)$ appears as a part of description of these operations applied t… ▽ More In this paper, we study operations on functors in the category of abelian groups simplar to the derivation in the sense of Dold-Puppe. They are defined as derived limits of a functor applied to the relation subgroup over a category of free presentations of the group. The integral homology of the Eilenberg-Maclane space $K(\mathbb Z,3)$ appears as a part of description of these operations applied to symmetric powers. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Awareness of uncertainty in classification using a multivariate model and multi-views

Authors: Alexey Kornaev, Elena Kornaeva, Oleg Ivanov, Ilya Pershin, Danis Alukaev

Abstract: One of the ways to make artificial intelligence more natural is to give it some room for doubt. Two main questions should be resolved in that way. First, how to train a model to estimate uncertainties of its own predictions? And then, what to do with the uncertain predictions if they appear? First, we proposed an uncertainty-aware negative log-likelihood loss for the case of N-dimensional multivar… ▽ More One of the ways to make artificial intelligence more natural is to give it some room for doubt. Two main questions should be resolved in that way. First, how to train a model to estimate uncertainties of its own predictions? And then, what to do with the uncertain predictions if they appear? First, we proposed an uncertainty-aware negative log-likelihood loss for the case of N-dimensional multivariate normal distribution with spherical variance matrix to the solution of N-classes classification tasks. The loss is similar to the heteroscedastic regression loss. The proposed model regularizes uncertain predictions, and trains to calculate both the predictions and their uncertainty estimations. The model fits well with the label smoothing technique. Second, we expanded the limits of data augmentation at the training and test stages, and made the trained model to give multiple predictions for a given number of augmented versions of each test sample. Given the multi-view predictions together with their uncertainties and confidences, we proposed several methods to calculate final predictions, including mode values and bin counts with soft and hard weights. For the latter method, we formalized the model tuning task in the form of multimodal optimization with non-differentiable criteria of maximum accuracy, and applied particle swarm optimization to solve the tuning task. The proposed methodology was tested using CIFAR-10 dataset with clean and noisy labels and demonstrated good results in comparison with other uncertainty estimation methods related to sample selection, co-teaching, and label smoothing. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Magnitude homology is a derived functor

Authors: Yasuhiko Asao, Sergei O. Ivanov

Abstract: We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of quasimetric spaces, finite quasimetric spaces, and finite digraphs. For quasimetric spaces, we define the notion of a distance module over a quasimetric space, d… ▽ More We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of quasimetric spaces, finite quasimetric spaces, and finite digraphs. For quasimetric spaces, we define the notion of a distance module over a quasimetric space, define the functor of (co)invariants of a distance module and show that the magnitude (co)homology can be presented via its derived functors. As a corollary we obtain that the magnitude cohomology of a quasimetric space can be presented in terms of Ext functors in the category of distance modules. For finite quasimetric spaces, we show that magnitude (co)homology can be presented in terms of Tor and Ext functors over a certain graded algebra, called the distance algebra of the quasimetric space. For finite digraphs, the distance algebra is a bound quiver algebra. In addition, we show that the magnitude cohomology algebra of a finite quasimetric space can be described as a Yoneda algebra. △ Less

Submitted 20 May, 2024; v1 submitted 22 February, 2024; originally announced February 2024.

Nested homotopy models of finite metric spaces and their spectral homology

Authors: Sergei O. Ivanov

Abstract: For a real $r\geq 0,$ we consider the notion of $r$-homotopy equivalence in the category quasimetric spaces, which includes metric spaces and directed graphs. We show that for a finite quasimetric space $X$ there is a unique (up to isometry) $r$-homotopy equivalent quasimetric space of the minimal possible cardinality. It is called the $r$-minimal model of $X$. We use this to construct a decomposi… ▽ More For a real $r\geq 0,$ we consider the notion of $r$-homotopy equivalence in the category quasimetric spaces, which includes metric spaces and directed graphs. We show that for a finite quasimetric space $X$ there is a unique (up to isometry) $r$-homotopy equivalent quasimetric space of the minimal possible cardinality. It is called the $r$-minimal model of $X$. We use this to construct a decomposition of the magnitude-path spectral sequence of a digraph into a direct sum of spectral sequences with certain properties. We also construct an $r$-homotopy invariant ${\rm SH}^r_{n,I}(X)$ of a quasimetric space $X,$ called spectral homology, that generalizes many other invariants: the pages of the magnitude-path spectral sequence, including path homology, magnitude homology, blurred magnitude homology and reachability homology. △ Less

Submitted 21 May, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Transfinite version of the Mittag-Leffler condition for the vanishing of the derived limit

Authors: Mishel Carelli, Sergei O. Ivanov

Abstract: We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in an arbitrary abelian category having a generator and satisfying Grothendieck axioms ${\rm (AB3)}$ and ${\rm (AB4^*)}.$… ▽ More We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in an arbitrary abelian category having a generator and satisfying Grothendieck axioms ${\rm (AB3)}$ and ${\rm (AB4^*)}.$ We also show that the class of inverse sequences $S$ such that ${\rm lim}\: S={\rm lim}^1 S=0$ is the least class of inverse sequences containing the trivial inverse sequence and closed with respect to small limits and a certain type of extensions. △ Less

Submitted 10 September, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

A Note on the Non-Existence of Functors

Authors: Emmanuel Dror Farjoun, Sergei O. Ivanov, Anatolii Zaikovskii

Abstract: We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For examp… ▽ More We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For example, there is no a natural non-trivial way to define an abelian subgroup of a group, or a perfect quotient group of a group. As an auxiliary result we prove that, for any non-trivial subfunctor $F$ of the identity functor on the category of groups, any group can be embedded into a simple group that lies in the essential image of $F.$ The paper concludes with a few questions regarding the non-existence of certain (co-)augmented functors in the $\infty$-category of spaces. △ Less

Submitted 7 June, 2024; v1 submitted 7 June, 2023; originally announced June 2023.

MSC Class: 16D90

On the path homology of Cayley digraphs and covering digraphs

Authors: Shaobo Di, Sergei O. Ivanov, Lev Mukoseev, Mengmeng Zhang

Abstract: We develop a theory of covering digraphs, similar to the theory of covering spaces. By applying this theory to Cayley digraphs, we build a "bridge" between GLMY-theory and group homology theory, which helps to reduce path homology calculations to group homology computations. We show some cases where this approach allows us to fully express path homology in terms of group homology. To illustrate th… ▽ More We develop a theory of covering digraphs, similar to the theory of covering spaces. By applying this theory to Cayley digraphs, we build a "bridge" between GLMY-theory and group homology theory, which helps to reduce path homology calculations to group homology computations. We show some cases where this approach allows us to fully express path homology in terms of group homology. To illustrate this method, we provide a path homology computation for the Cayley digraph of the additive group of rational numbers with a generating set consisting of inverses to factorials. The main tool in our work is a filtered simplicial set associated with a digraph, which we call the filtered nerve of a digraph. △ Less

Submitted 30 March, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Completions and Terminal Monads

Authors: Emmanuel Dror Farjoun, Sergei O. Ivanov

Abstract: We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfi… ▽ More We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfield-Kan R-homology completion. In addition, we note that an idempotent pro-completion tower can be associated with any co-augmented endo functor M, whose limit is the terminal monad that preserves the closure of ImM, the image of M, under finite limits. We conclude that some basic properties of the homological completion tower of a space can be formulated and proved for general monads over any category with limits, and characterized as universal △ Less

Submitted 16 March, 2023; v1 submitted 28 February, 2023; originally announced February 2023.

MSC Class: 18C15

Role of ionic surfactant in magnetic dynamics of self-assembled dispersions of nanoplatelets

Authors: Hajnalka Nádasi, Melvin Küster, Alenka Mertelj, Nerea Sebastián, Patricija Hribar Boustjanuciuc, Darja Lisjak, Thilo Viereck, Margaret Rosenberg, Alexey O. Ivanov, Sofia S. Kantorovich, Alexey Eremin, Frank Ludwig

Abstract: In complex colloidal systems, interparticle interactions strongly affect the dynamics of the constituting particles. A study of the dynamical response also provides invaluable information on the character of those interactions. Here we demonstrate how tuning the electrostatic interactions by an ionic surfactant in dispersions of magnetic nanoplatelets leads to developing new dynamic modes in magne… ▽ More In complex colloidal systems, interparticle interactions strongly affect the dynamics of the constituting particles. A study of the dynamical response also provides invaluable information on the character of those interactions. Here we demonstrate how tuning the electrostatic interactions by an ionic surfactant in dispersions of magnetic nanoplatelets leads to developing new dynamic modes in magnetic response spectra. The collective modes can be induced or suppressed by either varying the concentration ratio of the magnetic nanoplatelets (MP) to the surfactant or increasing the MP concentration reflecting the nanoscale characteristics of this fluid magnet. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Simplicial approach to path homology of quivers, marked categories, groups and algebras

Authors: Sergei O. Ivanov, Fedor Pavutnitskiy

Abstract: We develop a generalisation of the path homology theory introduced by Grigor'yan, Lin, Muranov and Yau (GLMY-theory) in a general simplicial setting. The new theory includes as particular cases the GLMY-theory for path complexes and new homology theories: path homology of categories with a chosen set of morphisms (marked categories) groups with a chosen subset (marked groups) and path Hochschild h… ▽ More We develop a generalisation of the path homology theory introduced by Grigor'yan, Lin, Muranov and Yau (GLMY-theory) in a general simplicial setting. The new theory includes as particular cases the GLMY-theory for path complexes and new homology theories: path homology of categories with a chosen set of morphisms (marked categories) groups with a chosen subset (marked groups) and path Hochschild homology of algebras with chosen vector subspaces (marked algebras). Using our general machinery, we also introduce a new homology theory for quivers that we call square-commutative homology of quivers and compare it with the theory developed by Grigor'yan, Muranov, Vershinin and Yau. △ Less

Submitted 2 August, 2023; v1 submitted 11 November, 2022; originally announced November 2022.

Detection of sepsis during emergency department triage using machine learning

Authors: Oleksandr Ivanov, Karin Molander, Robert Dunne, Stephen Liu, Deena Brecher, Kevin Masek, Erica Lewis, Lisa Wolf, Debbie Travers, Deb Delaney, Kyla Montgomery, Christian Reilly

Abstract: Sepsis is a life-threatening condition with organ dysfunction and is a leading cause of death and critical illness worldwide. Even a few hours of delay in the treatment of sepsis results in increased mortality. Early detection of sepsis during emergency department triage would allow early initiation of lab analysis, antibiotic administration, and other sepsis treatment protocols. The purpose of th… ▽ More Sepsis is a life-threatening condition with organ dysfunction and is a leading cause of death and critical illness worldwide. Even a few hours of delay in the treatment of sepsis results in increased mortality. Early detection of sepsis during emergency department triage would allow early initiation of lab analysis, antibiotic administration, and other sepsis treatment protocols. The purpose of this study was to compare sepsis detection performance at ED triage (prior to the use of laboratory diagnostics) of the standard sepsis screening algorithm (SIRS with source of infection) and a machine learning algorithm trained on EHR triage data. A machine learning model (KATE Sepsis) was developed using patient encounters with triage data from 16participating hospitals. KATE Sepsis and standard screening were retrospectively evaluated on the adult population of 512,949 medical records. KATE Sepsis demonstrates an AUC of 0.9423 (0.9401 - 0.9441) with sensitivity of 71.09% (70.12% - 71.98%) and specificity of 94.81% (94.75% - 94.87%). Standard screening demonstrates an AUC of 0.6826 (0.6774 - 0.6878) with sensitivity of 40.8% (39.71% - 41.86%) and specificity of 95.72% (95.68% - 95.78%). The KATE Sepsis model trained to detect sepsis demonstrates 77.67% (75.78% -79.42%) sensitivity in detecting severe sepsis and 86.95% (84.2% - 88.81%) sensitivity in detecting septic shock. The standard screening protocol demonstrates 43.06% (41% - 45.87%) sensitivity in detecting severe sepsis and40% (36.55% - 43.26%) sensitivity in detecting septic shock. Future research should focus on the prospective impact of KATE Sepsis on administration of antibiotics, readmission rate, morbidity and mortality. △ Less

Submitted 14 June, 2023; v1 submitted 15 April, 2022; originally announced April 2022.

Comments: 25 pages, 2 figure, 3 tables, 4 supplementary tables

FFC-SE: Fast Fourier Convolution for Speech Enhancement

Authors: Ivan Shchekotov, Pavel Andreev, Oleg Ivanov, Aibek Alanov, Dmitry Vetrov

Abstract: Fast Fourier convolution (FFC) is the recently proposed neural operator showing promising performance in several computer vision problems. The FFC operator allows employing large receptive field operations within early layers of the neural network. It was shown to be especially helpful for inpainting of periodic structures which are common in audio processing. In this work, we design neural networ… ▽ More Fast Fourier convolution (FFC) is the recently proposed neural operator showing promising performance in several computer vision problems. The FFC operator allows employing large receptive field operations within early layers of the neural network. It was shown to be especially helpful for inpainting of periodic structures which are common in audio processing. In this work, we design neural network architectures which adapt FFC for speech enhancement. We hypothesize that a large receptive field allows these networks to produce more coherent phases than vanilla convolutional models, and validate this hypothesis experimentally. We found that neural networks based on Fast Fourier convolution outperform analogous convolutional models and show better or comparable results with other speech enhancement baselines. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: Submitted to INTERSPEECH 2022

HiFi++: a Unified Framework for Bandwidth Extension and Speech Enhancement

Authors: Pavel Andreev, Aibek Alanov, Oleg Ivanov, Dmitry Vetrov

Abstract: Generative adversarial networks have recently demonstrated outstanding performance in neural vocoding outperforming best autoregressive and flow-based models. In this paper, we show that this success can be extended to other tasks of conditional audio generation. In particular, building upon HiFi vocoders, we propose a novel HiFi++ general framework for bandwidth extension and speech enhancement.… ▽ More Generative adversarial networks have recently demonstrated outstanding performance in neural vocoding outperforming best autoregressive and flow-based models. In this paper, we show that this success can be extended to other tasks of conditional audio generation. In particular, building upon HiFi vocoders, we propose a novel HiFi++ general framework for bandwidth extension and speech enhancement. We show that with the improved generator architecture, HiFi++ performs better or comparably with the state-of-the-art in these tasks while spending significantly less computational resources. The effectiveness of our approach is validated through a series of extensive experiments. △ Less

Submitted 10 December, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: Accepted to ICASSP 2023

Calculating Gromov-Hausdorff Distance by means of Borsuk Number

Authors: Alexander O. Ivanov, Alexey A. Tuzhilin

Abstract: The purpose of this article is to demonstrate the connection between the properties of the Gromov--Hausdorff distance and the Borsuk conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$ such that $X$ can be partitioned into $n$ smaller parts (in the sense of diameter). An exact formula for the Gromov--Hausdorff distance between bounded metric spa… ▽ More The purpose of this article is to demonstrate the connection between the properties of the Gromov--Hausdorff distance and the Borsuk conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$ such that $X$ can be partitioned into $n$ smaller parts (in the sense of diameter). An exact formula for the Gromov--Hausdorff distance between bounded metric spaces is obtained under the assumption that the diameter and cardinality of one space are less than the diameter and Borsuk number of another, respectively. Using the results of Bacon's equivalence between the Lusternik--Schnirelmann and Borsuk problems, several corollaries are obtained. △ Less

Submitted 8 March, 2022; originally announced March 2022.

MSC Class: 51F99

Isometric Embeddings of Bounded Metric Spaces into the Gromov-Hausdorff Class

Authors: Alexander O. Ivanov, Alexey A. Tuzhilin

Abstract: It is shown that any bounded metric space can be isometrically embedded into the Gromov--Hausdorff metric class GH. This result is a consequence of local geometry description of the class GH in a sufficiently small neighborhood of a generic metric space. This description is interesting in itself. The technique of optimal correspondences and their distortions is used. It is shown that any bounded metric space can be isometrically embedded into the Gromov--Hausdorff metric class GH. This result is a consequence of local geometry description of the class GH in a sufficiently small neighborhood of a generic metric space. This description is interesting in itself. The technique of optimal correspondences and their distortions is used. △ Less

Submitted 6 March, 2022; originally announced March 2022.

Comments: 15 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:2111.06709

MSC Class: 51F99

HR-length of a free group via polynomial functors

Authors: Sergei O. Ivanov, Roman Mikhailov

Abstract: We prove that for a subring $R\subseteq \mathbb Q$ and a free group $F$ of rank at least $2$ the length of the Bousfield's $HR$-localization tower for $F$ is at least $ω+ω$. The key ingredient of the proof is the theory of polynomial functors over $\mathbb Q.$ We prove that for a subring $R\subseteq \mathbb Q$ and a free group $F$ of rank at least $2$ the length of the Bousfield's $HR$-localization tower for $F$ is at least $ω+ω$. The key ingredient of the proof is the theory of polynomial functors over $\mathbb Q.$ △ Less

Submitted 26 April, 2023; v1 submitted 23 November, 2021; originally announced November 2021.

An overview of rationalization theories of non-simply connected spaces and non-nilpotent groups

Authors: Sergei O. Ivanov

Abstract: We give an overview of five rationalization theories for spaces (Bousfield-Kan's $\mathbb Q$-completion; Sullivan's rationalization; Bousfield's homology rationalization; Casacuberta-Peschke's $Ω$-rationalization; Gómez-Tato-Halperin-Tanré's $π_1$-fiberwise rationalization) that extend the classical rationalization of simply connected spaces. We also give an overview of the corresponding rationali… ▽ More We give an overview of five rationalization theories for spaces (Bousfield-Kan's $\mathbb Q$-completion; Sullivan's rationalization; Bousfield's homology rationalization; Casacuberta-Peschke's $Ω$-rationalization; Gómez-Tato-Halperin-Tanré's $π_1$-fiberwise rationalization) that extend the classical rationalization of simply connected spaces. We also give an overview of the corresponding rationalization theories for groups ($\mathbb Q$-completion; $H\mathbb Q$-localization; Baumslag rationalization) that extend the classical Malcev completion. △ Less

Submitted 9 December, 2021; v1 submitted 20 November, 2021; originally announced November 2021.

Superdiffusion in self-reinforcing run-and-tumble model with rests

Authors: Sergei Fedotov, Daniel Han, Alexey O Ivanov, Marco A A da Silva

Abstract: This paper introduces a run-and-tumble model with self-reinforcing directionality and rests. We derive a single governing hyperbolic partial differential equation for the probability density of random walk position, from which we obtain the second moment in the long time limit. We find the criteria for the transition between superdiffusion and diffusion caused by the addition of a rest state. The… ▽ More This paper introduces a run-and-tumble model with self-reinforcing directionality and rests. We derive a single governing hyperbolic partial differential equation for the probability density of random walk position, from which we obtain the second moment in the long time limit. We find the criteria for the transition between superdiffusion and diffusion caused by the addition of a rest state. The emergence of superdiffusion depends on both the parameter representing the strength of self-reinforcement and the ratio between mean running and resting times. The mean running time must be at least $2/3$ of the mean resting time for superdiffusion to be possible. Monte Carlo simulations validate this theoretical result. This work demonstrates the possibility of extending the telegrapher's (or Cattaneo) equation by adding self-reinforcing directionality so that superdiffusion occurs even when rests are introduced. △ Less

Submitted 8 October, 2021; originally announced October 2021.

Baumslag rationalization of spaces

Authors: Sergei O. Ivanov

Abstract: Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and compare it with other extensions of the classical rationalization: Bousfield-Kan $\mathbb Q$-completion; Bousfield's homology rationalization; Gómez-Tato--Halp… ▽ More Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and compare it with other extensions of the classical rationalization: Bousfield-Kan $\mathbb Q$-completion; Bousfield's homology rationalization; Gómez-Tato--Halperin--Tantré's $π_1$-fiberwise rationalization; and the localization with respect to the maps $n:S^1\to S^1$ that we call $Ω$-rationalization. △ Less

Submitted 11 October, 2021; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: Results of this paper are not new. They can be found in https://link.springer.com/article/10.1007/BF02802510

Status of the Yakutsk air shower array and future plans

Authors: A. K. Alekseev, E. A. Atlasov, N. G. Bolotnikov, A. V. Bosikov, N. A. Dyachkovskiy, N. S. Gerasimova, A. V. Glushkov, A. A. Ivanov, O. N. Ivanov, D. N. Kardashevsky, I. A. Kellarev, S. P. Knurenko, A. D. Krasilnikov, A. N. Krivenkov, I. V. Ksenofontov, L. T. Ksenofontov, K. G. Lebedev, S. V. Matarkin, V. P. Mokhnachevskaya, E. V. Nikolaeva, N. I. Neustroev, I. S. Petrov, N. D. Platonov, A. S. Proshutinsky, A. V. Sabourov , et al. (4 additional authors not shown)

Abstract: The Yakutsk Extensive Air Shower Array has been continuously operating for more than 50 years (since 1970) and up until recently it has been one of world's largest ground-based instruments aimed at studying the properties of cosmic rays in the ultra-high energy domain. In this report we discuss results recently obtained at the array - on cosmic rays energy spectrum, mass composition and directiona… ▽ More The Yakutsk Extensive Air Shower Array has been continuously operating for more than 50 years (since 1970) and up until recently it has been one of world's largest ground-based instruments aimed at studying the properties of cosmic rays in the ultra-high energy domain. In this report we discuss results recently obtained at the array - on cosmic rays energy spectrum, mass composition and directional anisotropy - and how they fit into the world data. Special attention is paid to the measurements of muonic component of extensive air showers. Theoretical results of particle acceleration at shocks are also briefly reviewed. Future scientific and engineering plans on the array modernization are discussed. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: 24 pages, 7 figures. Accepted for publication in Physics of Atomic Nuclei. For color figures see ISCRA-2021 contribution: https://indico.nevod.mephi.ru/event/6/contributions/161/

Journal ref: Physics of Atomic Nuclei 2021 V.84 P.893

Homology of the pronilpotent completion and cotorsion groups

Authors: Mikhail Basok, Sergei O. Ivanov, Roman Mikhailov

Abstract: For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\widehat F)$ is not a cotorsion group. For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\widehat F)$ is not a cotorsion group. △ Less

Submitted 3 July, 2021; originally announced July 2021.

Quadric Hypersurface Intersection for Manifold Learning in Feature Space

Authors: Fedor Pavutnitskiy, Sergei O. Ivanov, Evgeny Abramov, Viacheslav Borovitskiy, Artem Klochkov, Viktor Vialov, Anatolii Zaikovskii, Aleksandr Petiushko

Abstract: The knowledge that data lies close to a particular submanifold of the ambient Euclidean space may be useful in a number of ways. For instance, one may want to automatically mark any point far away from the submanifold as an outlier or to use the geometry to come up with a better distance metric. Manifold learning problems are often posed in a very high dimension, e.g. for spaces of images or space… ▽ More The knowledge that data lies close to a particular submanifold of the ambient Euclidean space may be useful in a number of ways. For instance, one may want to automatically mark any point far away from the submanifold as an outlier or to use the geometry to come up with a better distance metric. Manifold learning problems are often posed in a very high dimension, e.g. for spaces of images or spaces of words. Today, with deep representation learning on the rise in areas such as computer vision and natural language processing, many problems of this kind may be transformed into problems of moderately high dimension, typically of the order of hundreds. Motivated by this, we propose a manifold learning technique suitable for moderately high dimension and large datasets. The manifold is learned from the training data in the form of an intersection of quadric hypersurfaces -- simple but expressive objects. At test time, this manifold can be used to introduce a computationally efficient outlier score for arbitrary new data points and to improve a given similarity metric by incorporating the learned geometric structure into it. △ Less

Submitted 24 February, 2022; v1 submitted 11 February, 2021; originally announced February 2021.

On the cokernel of the Baumslag rationalization

Authors: Sergei O. Ivanov

Abstract: We prove that for the free group of rank two $F$ the cokernel of the homomorphism to its Baumslag rationalization $F\to {\sf Bau}(F)$ is not abelian. Moreover, this cokernel contains a free subgroup of countable rank. This answers a question of Emmanuel Farjoun. We prove that for the free group of rank two $F$ the cokernel of the homomorphism to its Baumslag rationalization $F\to {\sf Bau}(F)$ is not abelian. Moreover, this cokernel contains a free subgroup of countable rank. This answers a question of Emmanuel Farjoun. △ Less

Submitted 12 March, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Possibility to create a coronavirus sensor using an optically excited electrical signal

Authors: Ognyan Ivanov, Peter Todorov, Zhivko Stoyanov

Abstract: The research of our team has led to a series of new experimental results, revealing the so-called electromagnetic echo effect (EMEE). The EMEE signal is highly sensitive even to small changes in the composition and properties of the object under study - gas, liquid, or solid. The method is fast and contactless, provides real-time analysis, and can be considered universal. We have an idea to create… ▽ More The research of our team has led to a series of new experimental results, revealing the so-called electromagnetic echo effect (EMEE). The EMEE signal is highly sensitive even to small changes in the composition and properties of the object under study - gas, liquid, or solid. The method is fast and contactless, provides real-time analysis, and can be considered universal. We have an idea to create a sensor to detect COVID-19 in three cases -- in the air, on hard surfaces, and in fluids from the human body. The approach involves detecting specific reactions to the virus, even if they are invisible without specialized equipment. Our experience shows that the EMEE signal is very sensitive to weak or practically imperceptible reactions. Therefore, we believe that it is quite possible to register the presence of COVID-19. We have many experimental results in this regard that support this idea. We have experience in creating sensors to monitor the processes, composition, and properties of fluids (including biological ones), as well as to detect pollution and contamination in the atmosphere. △ Less

Submitted 30 August, 2020; originally announced October 2020.

Comments: 9 pages, 2 figures

On homology of Lie algebras over commutative rings

Authors: Sergei O. Ivanov, Fedor Pavutnitskiy, Vladislav Romanovskii, Anatolii Zaikovskii

Abstract: We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove tha… ▽ More We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections between them. In particular, we show that they are naturally isomorphic in the case of a Lie algebra which is flat as a module. As an auxiliary result we prove that the Koszul complex of a module $M$ over a principal ideal domain that connects the exterior and the symmetric powers $0\to Λ^n M\to M \otimes Λ^{n-1} M \to \dots \to S^{n-1}M \otimes M \to S^nM\to 0 $ is purely acyclic. △ Less

Submitted 29 June, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Journal ref: Journal of Algebra, Volume 586, 2021, Pages 99-139, ISSN 0021-8693

Extendability of Metric Segments in Gromov--Hausdorff Distance

Authors: S. I. Borzov, A. O. Ivanov, A. A. Tuzhilin

Abstract: In this paper geometry of Gromov-Hausdorff distance on the class of all metric spaces considered up to an isometry is investigated. For this class continuous curves and their lengths are defined, and it is shown that the Gromov-Hausdorff distance is intrinsic. Besides, metric segments are considered, i.e., the classes of points lying between two given ones, and an extension problem of such segment… ▽ More In this paper geometry of Gromov-Hausdorff distance on the class of all metric spaces considered up to an isometry is investigated. For this class continuous curves and their lengths are defined, and it is shown that the Gromov-Hausdorff distance is intrinsic. Besides, metric segments are considered, i.e., the classes of points lying between two given ones, and an extension problem of such segments beyond their end-points is considered. △ Less

Submitted 26 August, 2020; originally announced September 2020.

Comments: 19 pages

MSC Class: 53C23; 51F99

Thermodynamics of interacting single-domain superparamagnetic nanoparticles frozen in the nodes of a regular cubic lattice

Authors: Anna Yu. Solovyova, Sergey A. Sokolsky, Ekaterina A. Elfimova, Alexey O. Ivanov

Abstract: In this work, we study the effect of dipole-dipole interparticle interactions on the static thermodynamic and magnetic properties of an ensemble of immobilized monodisperse superparamagnetic nanoparticles. We assume that magnetic nanoparticles are embedded in the nodes of a regular cubic lattice, so that the particle translational degrees of freedom are turned off. The relaxation of the magnetic m… ▽ More In this work, we study the effect of dipole-dipole interparticle interactions on the static thermodynamic and magnetic properties of an ensemble of immobilized monodisperse superparamagnetic nanoparticles. We assume that magnetic nanoparticles are embedded in the nodes of a regular cubic lattice, so that the particle translational degrees of freedom are turned off. The relaxation of the magnetic moments of the nanoparticles occurs by the Neel mechanism. The easy axes are aligned (i) parallel or (ii) perpendicular to the direction of an external field. These models are investigated using theory and computer simulation, taking microscopic discrete structure explicitly into account. The analytical expressions of the Helmholtz free energy, the static magnetization, and the initial magnetic susceptibility are derived for both configurations (i) and (ii) as functions of the height of the magnetic crystallographic anisotropy energy barrier, measured by parameter $σ$, and the intensity of the dipole-dipole interparticle interactions measured by $λ_e$. A good agreement between the theory and the results of MC simulations in the region of low and moderate values of $λ_e$ and $σ$ is obtained. For high values of $λ_e$ and $σ$, the structuring of magnetic moments in regularly orientated structures was found from MC simulations for configuration (i). △ Less

Submitted 16 November, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 16 pages, 13 figures

Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras

Authors: Sergei O. Ivanov, Viktor Lopatkin

Abstract: We develop a theory of parafree augmented algebras similar to the theory of parafree groups and explore some questions related to the Parafree Conjecture. We provide an example of finitely generated parafree augmented algebra of infinite cohomological dimension. Motivated by this example, we prove a version of the Composition-Diamond lemma for complete augmented algebras and provide a sufficient c… ▽ More We develop a theory of parafree augmented algebras similar to the theory of parafree groups and explore some questions related to the Parafree Conjecture. We provide an example of finitely generated parafree augmented algebra of infinite cohomological dimension. Motivated by this example, we prove a version of the Composition-Diamond lemma for complete augmented algebras and provide a sufficient condition for augmented algebra to be residually nilpotent on the language of its relations. △ Less

Submitted 9 July, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Visualization of radiotracers for SPECT imaging using a Timepix detector with a coded aperture

Authors: V. Rozhkov, G. Chelkov, I. Hernández, O. Ivanov, D. Kozhevniko, A. Leyva, A. Perera, D. Rastorguev, P. Smolyanskiy, L. Torres, A. Zhemchugov

Abstract: The work shows the ability to visualize radiotracers used in SPECT with a system based on a coded aperture mask and a hybrid pixel Timepix detector with the CdTe sensor. Characterization of the system using X-rays and radioactive sources confirms that the spatial resolution of less than 1 mm with a field of view 3 cm x 3 cm can be achieved. The results of a simulation study to determine the expect… ▽ More The work shows the ability to visualize radiotracers used in SPECT with a system based on a coded aperture mask and a hybrid pixel Timepix detector with the CdTe sensor. Characterization of the system using X-rays and radioactive sources confirms that the spatial resolution of less than 1 mm with a field of view 3 cm x 3 cm can be achieved. The results of a simulation study to determine the expected spatial resolution of the system in the focal plane for the various radionuclides is presented. The possibility of using this system with a thin (1.5 mm) coded aperture mask for reconstructing images of gamma emitters with the energy up to 180 keV is demonstrated. △ Less

Submitted 28 May, 2020; v1 submitted 20 April, 2020; originally announced April 2020.

Improving Emergency Department ESI Acuity Assignment Using Machine Learning and Clinical Natural Language Processing

Authors: Oleksandr Ivanov, Lisa Wolf, Deena Brecher, Kevin Masek, Erica Lewis, Stephen Liu, Robert B Dunne, Kevin Klauer, Kyla Montgomery, Yurii Andrieiev, Moss McLaughlin, Christian Reilly

Abstract: Effective triage is critical to mitigating the effect of increased volume by accurately determining patient acuity, need for resources, and establishing effective acuity-based patient prioritization. The purpose of this retrospective study was to determine whether historical EHR data can be extracted and synthesized with clinical natural language processing (C-NLP) and the latest ML algorithms (KA… ▽ More Effective triage is critical to mitigating the effect of increased volume by accurately determining patient acuity, need for resources, and establishing effective acuity-based patient prioritization. The purpose of this retrospective study was to determine whether historical EHR data can be extracted and synthesized with clinical natural language processing (C-NLP) and the latest ML algorithms (KATE) to produce highly accurate ESI predictive models. An ML model (KATE) for the triage process was developed using 166,175 patient encounters from two participating hospitals. The model was then tested against a gold set that was derived from a random sample of triage encounters at the study sites and correct acuity assignments were recorded by study clinicians using the Emergency Severity Index (ESI) standard as a guide. At the two study sites, KATE predicted accurate ESI acuity assignments 75.9% of the time, compared to nurses (59.8%) and average individual study clinicians (75.3%). KATE accuracy was 26.9% higher than the average nurse accuracy (p-value < 0.0001). On the boundary between ESI 2 and ESI 3 acuity assignments, which relates to the risk of decompensation, KATE was 93.2% higher with 80% accuracy, compared to triage nurses with 41.4% accuracy (p-value < 0.0001). KATE provides a triage acuity assignment substantially more accurate than the triage nurses in this study sample. KATE operates independently of contextual factors, unaffected by the external pressures that can cause under triage and may mitigate the racial and social biases that can negatively affect the accuracy of triage assignment. Future research should focus on the impact of KATE providing feedback to triage nurses in real time, KATEs impact on mortality and morbidity, ED throughput, resource optimization, and nursing outcomes. △ Less

Submitted 22 September, 2020; v1 submitted 29 March, 2020; originally announced April 2020.

Comments: 18 pages, 6 tables, 12 supplemental tables

Journal ref: Journal of Emergency Nursing VOLUME 47, ISSUE 2, P265-278.E7, MARCH 01, 2021

A Simple proof of Curtis' connectivity theorem for Lie powers

Authors: Sergei O. Ivanov, Vladislav Romanovskii, Andrei Semenov

Abstract: We give a simple proof of the Curtis' theorem: if $A_\bullet$ is $k$-connected free simplicial abelian group, then $L^n(A_\bullet)$ is an $k+ \lceil \log_2 n \rceil$-connected simplicial abelian group, where $L^n$ is the functor of $n$-th Lie power. In the proof we do not use Curtis' decomposition of Lie powers. Instead of this we use the Chevalley-Eilenberg complex for the free Lie algebra. We give a simple proof of the Curtis' theorem: if $A_\bullet$ is $k$-connected free simplicial abelian group, then $L^n(A_\bullet)$ is an $k+ \lceil \log_2 n \rceil$-connected simplicial abelian group, where $L^n$ is the functor of $n$-th Lie power. In the proof we do not use Curtis' decomposition of Lie powers. Instead of this we use the Chevalley-Eilenberg complex for the free Lie algebra. △ Less

Submitted 12 December, 2019; v1 submitted 6 December, 2019; originally announced December 2019.

Right exact group completion as a transfinite invariant of the homology equivalence

Authors: Sergei O. Ivanov, Roman Mikhailov

Abstract: We consider a functor from the category of groups to itself $G\mapsto \mathbb Z_\infty G$ that we call right exact $\mathbb Z$-completion of a group. It is connected with the pronilpotent completion $\hat G$ by the short exact sequence $1\to {\varprojlim}^1\: M_n G \to \mathbb Z_\infty G \to \hat G \to 1,$ where $M_n G$ is $n$-th Baer invariant of $G.$ We prove that $\mathbb Z_\infty π_1(X)$ is an… ▽ More We consider a functor from the category of groups to itself $G\mapsto \mathbb Z_\infty G$ that we call right exact $\mathbb Z$-completion of a group. It is connected with the pronilpotent completion $\hat G$ by the short exact sequence $1\to {\varprojlim}^1\: M_n G \to \mathbb Z_\infty G \to \hat G \to 1,$ where $M_n G$ is $n$-th Baer invariant of $G.$ We prove that $\mathbb Z_\infty π_1(X)$ is an invariant of homological equivalence of a space $X$. Moreover, we prove an analogue of Stallings' theorem: if $G\to G'$ is a 2-connected group homomorphism, then $\mathbb Z_\infty G\cong \mathbb Z_\infty G'.$ We give examples of $3$-manifolds $X,Y$ such that $ \hat{π_1(X)}\cong \hat{π_1( Y)}$ but $\mathbb Z_\infty π_1(X)\not \cong \mathbb Z_\infty π_1(Y).$ We prove that for a finitely generated group $G$ we have $(\mathbb Z_\infty G)/ γ_ω= \hat G.$ So the difference between $\hat G$ and $\mathbb Z_\infty G$ lies in $γ_ω.$ This allows us to treat $\mathbb Z_\infty π_1(X)$ as a transfinite invariant of $X.$ The advantage of our approach is that it can be used not only for $3$-manifolds but for arbitrary spaces. △ Less

Submitted 23 January, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Journal ref: Algebr. Geom. Topol. 21 (2021) 447-468

Homological properties of parafree Lie algebras

Authors: Sergei O. Ivanov, Roman Mikhailov, Anatoly Zaikovski

Abstract: In this paper, an explicit construction of a countable parafree Lie algebra over $\mathbb Z/2$ with nonzero second homology is given. It is also shown that the cohomological dimension of the pronilpotent completion of a free noncyclic finitely generated Lie algebra over $\mathbb Z$ is greater than two. Moreover, it is proven that there exists a countable parafree group with nontrivial $H_2$. In this paper, an explicit construction of a countable parafree Lie algebra over $\mathbb Z/2$ with nonzero second homology is given. It is also shown that the cohomological dimension of the pronilpotent completion of a free noncyclic finitely generated Lie algebra over $\mathbb Z$ is greater than two. Moreover, it is proven that there exists a countable parafree group with nontrivial $H_2$. △ Less

Submitted 14 July, 2020; v1 submitted 13 August, 2019; originally announced August 2019.

Journal ref: Journal of Algebra, Volume 560, 15 October 2020, Pages 1092-1106

The Gromov--Hausdorff Distance between Simplexes and Two-Distance Spaces

Authors: A. O. Ivanov, A. A. Tuzhilin

Abstract: In the present paper we calculate the Gromov-Hausdorff distance between an arbitrary simplex (a metric space all whose non-zero distances are the same) and a finite metric space whose non-zero distances take two distinct values (so-called $2$-distance spaces). As a corollary, a complete solution to generalized Borsuk problem for the $2$-distance spaces is obtained. In addition, we derive formulas… ▽ More In the present paper we calculate the Gromov-Hausdorff distance between an arbitrary simplex (a metric space all whose non-zero distances are the same) and a finite metric space whose non-zero distances take two distinct values (so-called $2$-distance spaces). As a corollary, a complete solution to generalized Borsuk problem for the $2$-distance spaces is obtained. In addition, we derive formulas for the clique covering number and for the chromatic number of an arbitrary graph $G$ in terms of the Gromov-Hausdorff distance between a simplex and an appropriate $2$-distance space constructed by the graph $G$. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 10 pages

MSC Class: 51Fxx; 52C23

The Gromov-Hausdorff Distances between Simplexes and Ultrametric Spaces

Authors: Alexander O. Ivanov, Alexey A. Tuzhilin

Abstract: In the present paper we investigate the Gromov--Hausdorff distances between a bounded metric space $X$ and so called simplex, i.e., a metric space all whose non-zero distances are the same. In the case when the simplex's cardinality does not exceed the cardinality of $X$, a new formula for this distance is obtained. The latter permits to derive an exact formula for the distance between a simplex a… ▽ More In the present paper we investigate the Gromov--Hausdorff distances between a bounded metric space $X$ and so called simplex, i.e., a metric space all whose non-zero distances are the same. In the case when the simplex's cardinality does not exceed the cardinality of $X$, a new formula for this distance is obtained. The latter permits to derive an exact formula for the distance between a simplex and an ultrametric space. △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 10 pages

MSC Class: 51F99; 53C23

Gromov--Hausdorff Distance to Simplexes

Authors: D. S. Grigor'ev, A. O. Ivanov, A. A. Tuzhilin

Abstract: Geometric characteristics of metric spaces that appear in formulas of the Gromov--Hausdorff distances from these spaces to so-called simplexes, i.e., to the metric spaces, all whose non-zero distances are the same are studied. The corresponding calculations essentially use geometry of partitions of these spaces. In the finite case, it gives the lengths of minimal spanning trees. A similar theory f… ▽ More Geometric characteristics of metric spaces that appear in formulas of the Gromov--Hausdorff distances from these spaces to so-called simplexes, i.e., to the metric spaces, all whose non-zero distances are the same are studied. The corresponding calculations essentially use geometry of partitions of these spaces. In the finite case, it gives the lengths of minimal spanning trees. A similar theory for compact metric spaces was worked out previously. In the present paper we generalize those results to any bounded metric space, and also, we simplify some proofs. △ Less

Submitted 23 June, 2019; originally announced June 2019.

MSC Class: 51G99; 53C23

Limits, standard complexes and fr-codes

Authors: Sergei O. Ivanov, Roman Mikhailov, Fedor Pavutnitskiy

Abstract: For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to \mathrm{Ab}$. Applications involve Künneth theorem for higher limits and ${\sf lim}$-finiteness of ${\bf fr}$-codes. A dictionary for the ${\bf fr}$-codes with words of le… ▽ More For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to \mathrm{Ab}$. Applications involve Künneth theorem for higher limits and ${\sf lim}$-finiteness of ${\bf fr}$-codes. A dictionary for the ${\bf fr}$-codes with words of length $\leq 3$ is given. △ Less

Submitted 20 June, 2019; originally announced June 2019.

Comments: 23 pages

Right exact localizations of groups

Authors: Danil Akhtiamov, Sergei O. Ivanov, Fedor Pavutnitskiy

Abstract: We introduce several classes of localizations (idempotent monads) on the category of groups and study their properties and relations. The most interesting class for us is the class of localizations which coincide with their zero derived functors. We call them right exact (in the sense of Keune). We prove that a right exact localization $L$ preserves the class of nilpotent groups and that for a fin… ▽ More We introduce several classes of localizations (idempotent monads) on the category of groups and study their properties and relations. The most interesting class for us is the class of localizations which coincide with their zero derived functors. We call them right exact (in the sense of Keune). We prove that a right exact localization $L$ preserves the class of nilpotent groups and that for a finite $p$-group $G$ the map $G\to LG$ is an epimorphism. We also prove that some examples of localizations (Baumslag's $P$-localization with respect to a set of primes $P,$ Bousfield's $HR$-localization, Levine's localization, Levine-Cha's $\mathbb Z$-localization) are right exact. At the end of the paper we discuss a conjecture of Farjoun about Nikolov-Segal maps and prove a very special case of this conjecture. △ Less

Submitted 24 January, 2021; v1 submitted 18 May, 2019; originally announced May 2019.

Dual Linear Programming Problem and One-Dimensional Gromov Minimal Fillings of Finite Metric Spaces

Authors: A. O. Ivanov, A. A. Tuzhilin

Abstract: The present paper is devoted to studying of minimal parametric fillings of finite metric spaces (a version of optimal connection problem) by methods of Linear Programming. The estimate on the multiplicity of multi-tours appearing in the formula of weight of minimal fillings is improved, an alternative proof of this formula is obtained, and also explicit formulas for finite spaces consisting of… ▽ More The present paper is devoted to studying of minimal parametric fillings of finite metric spaces (a version of optimal connection problem) by methods of Linear Programming. The estimate on the multiplicity of multi-tours appearing in the formula of weight of minimal fillings is improved, an alternative proof of this formula is obtained, and also explicit formulas for finite spaces consisting of $5$ and $6$ points are derived. △ Less

Submitted 23 April, 2019; originally announced April 2019.

Comments: 19 pages, 4 figures

MSC Class: 51F99; 90C35; 90C08; 49Q10; 90C27

Hausdorff Realization of Linear Geodesics of Gromov-Hausdorff Space

Authors: Alexander O. Ivanov, Alexey A. Tuzhilin

Abstract: We have constructed a realization of rectilinear geodesic (in the sense of~\cite{Memoli2018}), lying in Gromov-Hausdorff space, as a shortest geodesic w.r.t. the Hausdorff distance in an ambient metric space. We have constructed a realization of rectilinear geodesic (in the sense of~\cite{Memoli2018}), lying in Gromov-Hausdorff space, as a shortest geodesic w.r.t. the Hausdorff distance in an ambient metric space. △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 5 pages, 1 figure

MSC Class: 51F99; 53C23

Subquandles of free quandles

Authors: Sergei O. Ivanov, Georgii Kadantsev, Kirill Kuznetsov

Abstract: We prove that a subquandle of a free quandle is free. We prove that a subquandle of a free quandle is free. △ Less

Submitted 13 April, 2019; originally announced April 2019.

Toward ternary fission accompanied by the ${}^{8}$Be nucleus

Authors: D. A. Artemenkov, V. Bradnova, M. V. Gustova, O. M. Ivanov, R. R. Kattabekov, K. Z. Mamatkulov, V. V. Rusakova, A. V. Sabelnikov, A. A. Zaitsev, P. I. Zarubin, I. G. Zarubina, I. Ambrouzova, M. Kakona, M. Luuzova, O. Ploc, K. Turek, E. Firu, M. Haiduc, A. Neagu, R. Stanoeva

Abstract: Experiments in preparation for search for uranium ternary fission by means of nuclear track emulsion are summarized. The study will be focused on the possible involvement of the unstable nucleus ${}^{8}$Be in the suggested scenario of the collinear tri-partition in the fission. Experiments in preparation for search for uranium ternary fission by means of nuclear track emulsion are summarized. The study will be focused on the possible involvement of the unstable nucleus ${}^{8}$Be in the suggested scenario of the collinear tri-partition in the fission. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Comments: To be published in Proceedings of IX International Symposium on Exotic Nuclei (EXON-2018) 10 - 15 September, 2018, Petrozavodsk, Russia

Journal ref: Exotic Nuclei, pp. 281-294 (2020)

Collision of Ionization Waves in Long Discharge Tubes

Authors: Alexsandr I. Shishpanov, Danila O. Ivanov, Sergey A. Kalinin

Abstract: This research focuses on interaction of ionization waves (IW) generated in long discharge tubes (1 m length and 1.5 cm in diameter) filled with neon or argon under pressure about 1 Torr and, in particular, on simplest case of such interference which is collision of the opposite directed IW of positive polarity. The waves were triggered from two electrodes of the tube by simultaneous application of… ▽ More This research focuses on interaction of ionization waves (IW) generated in long discharge tubes (1 m length and 1.5 cm in diameter) filled with neon or argon under pressure about 1 Torr and, in particular, on simplest case of such interference which is collision of the opposite directed IW of positive polarity. The waves were triggered from two electrodes of the tube by simultaneous application of the same high voltage pulse and propagated toward the tube center until their collision. Space and time stability of the collisions was achieved via decreasing time delay of the initial breakdowns which trigger IW by employment of both memory effect and photo-desorption of wall surface electrons. Significant memory effect occurred for the pulse repetition rate over 100Hz. Multiple IW transition from the electrode forms specific one-electrode discharge; as a result the problem of IW collision was transformed into the observation of two opposite one-electrode discharges interaction. Patterns of IW interfering were registered via deviation of their kinematic characteristics (x-t diagrams) from ones for non-collided wave. This method shows that two ionization waves travel toward each other with decreasing speeds and subsequent degradation of the emission. An area near the tube center where IWs emission was not detected was considered as the IW suppression zone. The zone width depends on voltage amplitude, gas type and pressure. △ Less

Submitted 31 December, 2018; originally announced January 2019.

Comments: 16 pages, 10 figures

Mod-2 (co)homology of an abelian group

Authors: Sergei O. Ivanov, Anatolii Zaikovskii

Abstract: It is known that for a prime $p\ne 2$ there is the following natural description of the homology algebra of an abelian group $H_*(A,\mathbb F_p)\cong Λ(A/p)\otimes Γ({}_pA)$ and for finitely generated abelian groups there is the following description of the cohomology algebra of $H^*(A,\mathbb F_p)\cong Λ((A/p)^\vee)\otimes {\sf Sym}(({}_pA)^\vee).$ We prove that there are no such descriptions for… ▽ More It is known that for a prime $p\ne 2$ there is the following natural description of the homology algebra of an abelian group $H_*(A,\mathbb F_p)\cong Λ(A/p)\otimes Γ({}_pA)$ and for finitely generated abelian groups there is the following description of the cohomology algebra of $H^*(A,\mathbb F_p)\cong Λ((A/p)^\vee)\otimes {\sf Sym}(({}_pA)^\vee).$ We prove that there are no such descriptions for $p=2$ that `depend' only on $A/2$ and ${}_2A$ but we provide natural descriptions of $H_*(A,\mathbb F_2)$ and $H^*(A,\mathbb F_2)$ that `depend' on $A/2,$ ${}_2A$ and a linear map $\tilde β:{}_2A\to A/2.$ Moreover, we prove that there is a filtration by subfunctors on $H_n(A,\mathbb F_2)$ whose quotients are $Λ^{n-2i}(A/2)\otimes Γ^i({}_2A)$ and that for finitely generated abelian groups there is a natural filtration on $H^n(A,\mathbb F_2)$ whose quotients are $ Λ^{n-2i}((A/2)^\vee)\otimes {\sf Sym}^i(({}_2A)^\vee).$ △ Less

Submitted 7 September, 2019; v1 submitted 30 October, 2018; originally announced October 2018.

Variational Autoencoder with Arbitrary Conditioning

Authors: Oleg Ivanov, Michael Figurnov, Dmitry Vetrov

Abstract: We propose a single neural probabilistic model based on variational autoencoder that can be conditioned on an arbitrary subset of observed features and then sample the remaining features in "one shot". The features may be both real-valued and categorical. Training of the model is performed by stochastic variational Bayes. The experimental evaluation on synthetic data, as well as feature imputation… ▽ More We propose a single neural probabilistic model based on variational autoencoder that can be conditioned on an arbitrary subset of observed features and then sample the remaining features in "one shot". The features may be both real-valued and categorical. Training of the model is performed by stochastic variational Bayes. The experimental evaluation on synthetic data, as well as feature imputation and image inpainting problems, shows the effectiveness of the proposed approach and diversity of the generated samples. △ Less

Submitted 27 June, 2019; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: Published as a conference paper at ICLR 2019

Higher colimits, derived functors and homology

Authors: Sergei O. Ivanov, Roman Mikhailov, Vladimir Sosnilo

Abstract: A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived functors, and group homology can be obtained as higher colimits of simply defined functors. Connes' exact sequence linking Hochschild and cyclic homology was obtained u… ▽ More A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived functors, and group homology can be obtained as higher colimits of simply defined functors. Connes' exact sequence linking Hochschild and cyclic homology was obtained using this approach as a corollary of a simple short exact sequence. As an application of the developed theory it is shown that the third reduced $K$-functor can be defined as the colimit of the second reduced $K$-functor applied to the fibre square of a free presentation of an algebra. A Hopf-type formula for odd dimensional cyclic homology of an algebra over a field of characteristic zero is also proved. △ Less

Submitted 26 March, 2019; v1 submitted 20 May, 2018; originally announced May 2018.

Comments: 1 figure

On two letter identities in Lie rings

Authors: Boris Baranov, Sergei O. Ivanov, Savelii Novikov

Abstract: Let $L=L(a,b)$ be a free Lie ring on two letters $a,b.$ We investigate the kernel $I$ of the map $L\oplus L \to L $ given by $(A,B)\mapsto [A,a]+[B,b].$ Any homogeneous element of $L$ of degree $\geq 2$ can be presented as $[A,a]+[B,b].$ Then $I$ measures how far such a presentation from being unique. Elements of $I$ can be interpreted as identities $[A(a,b),a]=[B(a,b),b]$ in Lie rings. The kernel… ▽ More Let $L=L(a,b)$ be a free Lie ring on two letters $a,b.$ We investigate the kernel $I$ of the map $L\oplus L \to L $ given by $(A,B)\mapsto [A,a]+[B,b].$ Any homogeneous element of $L$ of degree $\geq 2$ can be presented as $[A,a]+[B,b].$ Then $I$ measures how far such a presentation from being unique. Elements of $I$ can be interpreted as identities $[A(a,b),a]=[B(a,b),b]$ in Lie rings. The kernel $I$ can be decomposed into a direct sum $I=\bigoplus_{n,m} I_{n,m},$ where elements of $I_{n,m}$ correspond to identities on commutators of weight $n+m,$ where the letter $a$ occurs $n$ times and the letter $b$ occurs $m$ times. We give a full description of $I_{2,m};$ describe the rank of $I_{3,m};$ and present a concrete non-trivial element in $I_{3,3n}$ for $n\geq 1.$ △ Less

Submitted 7 May, 2018; originally announced May 2018.

Model Oriented Scheduling Algorithm for The Hardware-In-The-Loop Simulation

Authors: Anas M. Al-Oraiqat, Yuriy O. Ivanov, Aladdein M. Amro

Abstract: This paper presents an approach for designing software for dynamical systems simulation. An algorithm is proposed to obtain a schedule for calculating each phase variable of a stiff system of differential equations. The problem is classified as a fixed-priority pre-emptive scheduling of periodic tasks. The Branch-and-Bound algorithm is modified to minimize the defined utilization function and to o… ▽ More This paper presents an approach for designing software for dynamical systems simulation. An algorithm is proposed to obtain a schedule for calculating each phase variable of a stiff system of differential equations. The problem is classified as a fixed-priority pre-emptive scheduling of periodic tasks. The Branch-and-Bound algorithm is modified to minimize the defined utilization function and to optimize the scheduling process for a numerical solver. A program for the experimental schedule is implemented solving a job-shop problem that proved the effectiveness of the proposed algorithm. △ Less

Submitted 28 February, 2018; originally announced March 2018.

Comments: 10 pages, 5 figures

Journal ref: International Journal of Electronics Communication and Computer Engineering, 2016