Source author record

Andrey Morozov

Andrey Morozov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
17topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2026arXiv

Utilizing Class Separation Distance for the Evaluation of Corruption Robustness of Machine Learning Classifiers

Robustness is a fundamental pillar of Machine Learning (ML) classifiers, substantially determining their reliability. Methods for assessing classifier robustness are therefore essential. In this work, we address the challenge of evaluating corruption robustness in a way that allows comparability and interpretability on a given dataset. We propose a test data augmentation method that uses a robustness distance $ε$ derived from the datasets minimal class separation distance. The resulting MSCR (minimal separation corruption robustness) metric allows a dataset-specific comparison of different classifiers with respect to their corruption robustness. The MSCR value is interpretable, as it represents the classifiers avoidable loss of accuracy due to statistical corruptions. On 2D and image data, we show that the metric reflects different levels of classifier robustness. Furthermore, we observe unexpected optima in classifiers robust accuracy through training and testing classifiers with different levels of noise. While researchers have frequently reported on a significant tradeoff on accuracy when training robust models, we strengthen the view that a tradeoff between accuracy and corruption robustness is not inherent. Our results indicate that robustness training through simple data augmentation can already slightly improve accuracy.

preprint2022arXiv

Interpreting a field in its Heisenberg group

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.

preprint2022arXiv

Large $k$ topological quantum computer

Chern-Simons topological quantum computer is a device that can be effectively described by the Chern-Simons topological quantum field theory and used for quantum computations. Quantum qudit gates of this quantum computer are represented by sequences of quantum $\mathcal{R}$-matrices. Its dimension and explicit form depend on the parameters of the Chern-Simons theory -- level $k$, gauge group $SU(N)$, and representation, which is chosen to be symmetric representation $[r]$. In this paper, we examine the universality of such a quantum computer. We prove that for sufficiently large $k$ it is universal, and the minimum allowed value of $k$ depends on the remaining parameters $r$ and $N$.

preprint2021arXiv

Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System

Model-based fault injection methods are widely used for the evaluation of fault tolerance in safety-critical control systems. In this paper, we introduce a new model-based fault injection method implemented as a highlycustomizable Simulink block called FIBlock. It supports the injection of typical faults of essential heterogeneous components of Cyber-Physical Systems, such as sensors, computing hardware, and network. The FIBlock GUI allows the user to select a fault type and configure multiple parameters to tune error magnitude, fault activation time, and fault exposure duration. Additional trigger inputs and outputs of the block enable the modeling of conditional faults. Furthermore, two or more FIBlocks connected with these trigger signals can model chained errors. The proposed fault injection method is demonstrated with a lower-limb EXO-LEGS exoskeleton, an assistive device for the elderly in everyday life. The EXO-LEGS model-based dynamic control is realized in the Simulink environment and allows easy integration of the aforementioned FIBlocks. Exoskeletons, in general, being a complex CPS with multiple sensors and actuators, are prone to hardware and software faults. In the case study, three types of faults were investigated: 1) sensor freeze, 2) stuck-at-0, 3) bit-flip. The fault injection experiments helped to determine faults that have the most significant effects on the overall system reliability and identify the fine line for the critical fault duration after that the controller could no longer mitigate faults.

preprint2020arXiv

Iterative Variable Reordering: Taming Huge System Families

For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space explosion problem. Symbolic BDD-based representations have been also shown to be successful for the analysis of families of systems that arise, e.g., through configurable parameters or following the feature-oriented modeling approach. The state space of such system families face an additional exponential blowup in the number of parameters or features. It is well known that the order of variables in ordered BDDs is crucial for the size of the model representation. Especially for automatically generated models from real-world systems, family models might even be not constructible due to bad variable orders. In this paper we describe a technique, called iterative variable reordering, that can enable the construction of large-scale family models. We exemplify feasibility of our approach by means of an aircraft velocity control system with redundancy mechanisms modeled in the input language of the probabilistic model checker PRISM. We show that standard reordering and dynamic reordering techniques fail to construct the family model due to memory and time constraints, respectively, while the new iterative approach succeeds to generate a symbolic family model.

preprint2020arXiv

Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

Modern safety-critical systems are heterogeneous, complex, and highly dynamic. They require reliability evaluation methods that go beyond the classical static methods such as fault trees, event trees, or reliability block diagrams. Promising dynamic reliability analysis methods employ probabilistic model checking on various probabilistic state-based models. However, such methods have to tackle the well-known state-space explosion problem. To compete with this problem, reduction methods such as symmetry reduction and partial-order reduction have been successfully applied to probabilistic models by means of discrete Markov chains or Markov decision processes. Such models are usually specified using probabilistic programs provided in guarded command language. In this paper, we propose two automated reduction methods for probabilistic programs that operate on a purely syntactic level: reset value optimization and register allocation optimization. The presented techniques rely on concepts well known from compiler construction such as live range analysis and register allocation through interference graph coloring. Applied on a redundancy system model for an aircraft velocity control loop modeled in SIMULINK, we show effectiveness of our implementation of the reduction methods. We demonstrate that model-size reductions in three orders of magnitude are possible and show that we can achieve significant speedups for a reliability analysis.

preprint2016arXiv

Explicit examples of DIM constraints for network matrix models

Dotsenko-Fateev and Chern-Simons matrix models, which describe Nekrasov functions for SYM theories in different dimensions, are all incorporated into network matrix models with the hidden Ding-Iohara-Miki (DIM) symmetry. This lifting is especially simple for what we call balanced networks. Then, the Ward identities (known under the names of Virasoro/W-constraints or loop equations or regularity condition for qq-characters) are also promoted to the DIM level, where they all become corollaries of a single identity.

preprint2016arXiv

Toric Calabi-Yau threefolds as quantum integrable systems. R-matrix and RTT relations

R-matrix is explicitly constructed for simplest representations of the Ding-Iohara-Miki algebra. The calculation is straightforward and significantly simpler than the one through the universal R-matrix used for a similar calculation in the Yangian case by A.~Smirnov but less general. We investigate the interplay between the R-matrix structure and the structure of DIM algebra intertwiners, i.e.\ of refined topological vertices and show that the R-matrix is diagonalized by the action of the spectral duality belonging to the SL(2,Z) group of DIM algebra automorphisms. We also construct the T-operators satisfying the RTT relations with the R-matrix from refined amplitudes on resolved conifold. We thus show that topological string theories on the toric Calabi-Yau threefolds can be naturally interpreted as lattice integrable models. Integrals of motion for these systems are related to q-deformation of the reflection matrices of the Liouville/Toda theories.

preprint2014arXiv

Evolution method and HOMFLY polynomials for virtual knots

Following the suggestion of arXiv:1407.6319 to lift the knot polynomials for virtual knots and links from Jones to HOMFLY, we apply the evolution method to calculate them for an infinite series of twist-like virtual knots and antiparallel 2-strand links. Within this family one can check topological invariance and understand how differential hierarchy is modified in virtual case. This opens a way towards a definition of colored (not only cabled) knot polynomials, though problems still persist beyond the first symmetric representation.

preprint2014arXiv

On possible existence of HOMFLY polynomials for virtual knots

Virtual knots are associated with knot diagrams, which are not obligatory planar. The recently suggested generalization from N=2 to arbitrary N of the Kauffman-Khovanov calculus of cycles in resolved diagrams can be straightforwardly applied to non-planar case. In simple examples we demonstrate that this construction preserves topological invariance -- thus implying the existence of HOMFLY extension of cabled Jones polynomials for virtual knots and links.

preprint2009arXiv

CFT exercises for the needs of AGT

An explicit check of the AGT relation between the W_N-symmetry controlled conformal blocks and U(N) Nekrasov functions requires knowledge of the Shapovalov matrix and various triple correlators for W-algebra descendants. We collect simplest expressions of this type for N=3 and for the two lowest descendant levels, together with the detailed derivations, which can be now computerized and used in more general studies of conformal blocks and AGT relations at higher levels.

preprint2009arXiv

Linearized Lorentz-Violating Gravity and Discriminant Locus in the Moduli Space of Mass Terms

We analyze the pattern of normal modes in linearized Lorentz-violating massive gravity over the 5-dimensional moduli space of mass terms. Ghost-free theories arise at bifurcation points when the ghosts get out of the spectrum of propagating particles due to vanishing of the coefficient in front of ω^2 in the propagator. Similarly, the van Dam-Veltman-Zakharov (DVZ) discontinuities in the Newton law arise at another type of bifurcations, when the coefficient vanishes in front of \vec k^2. When the Lorentz invariance is broken, these two kinds of bifurcations get independent and one can easily find a ghost-free model without the DVZ discontinuity in the moduli space, at least, in the quadratic (linearized) approximation.

preprint2009arXiv

Non-conformal limit of AGT relation from the 1-point torus conformal block

Given a 4d N=2 SUSY gauge theory, one can construct the Seiberg-Witten prepotentional, which involves a sum over instantons. Integrals over instanton moduli spaces require regularisation. For UV-finite theories the AGT conjecture favours particular, Nekrasov's way of regularization. It implies that Nekrasov's partition function equals conformal blocks in 2d theories with W_{N_c} chiral algebra. For $N_c=2$ and one adjoint multiplet it coincides with a torus 1-point Virasoro conformal block. We check the AGT relation between conformal dimension and adjoint multiplet's mass in this case and investigate the limit of the conformal block, which corresponds to the large mass limit of the 4d theory e.i. the asymptotically free 4d N=2 supersymmetric Yang-Mills theory. Though technically more involved, the limit is the same as in the case of fundamental multiplets, and this provides one more non-trivial check of AGT conjecture.

preprint2009arXiv

Resolving Puzzles of Massive Gravity with and without violation of Lorentz symmetry

We perform a systematic study of various versions of massive gravity with and without violation of Lorentz symmetry in arbitrary dimension. These theories are well known to possess very unusual properties, unfamiliar from studies of gauge and Lorentz invariant models. These peculiarities are caused by mixing of familiar transverse fields with revived longitudinal and pure gauge (Stueckelberg) fields and are all seen already in quadratic approximation. They are all associated with non-trivial dispersion laws, which easily allow superluminal propagation, ghosts, tachyons and essential irrationalities. Moreover, coefficients in front of emerging modes are small, what makes the theories essentially non-perturbative within a large Vainshtein radius. Attempts to get rid of unwanted degrees of freedom by giving them infinite masses lead to DVZ discontinuities in parameter (moduli) space, caused by un-permutability of different limits. Also, the condition m_{gh}=\infty can not be preserved already in non-trivial gravitational backgrounds and is unstable under any other perturbations of linearized gravity. At the same time an {\it a priori} healthy model of massive gravity in quadratic approximation definitely exists: provided by any mass level of Kaluza-Klein tower. It bypasses the problems because gravity field is mixed with other fields, and this explains why such mixing helps in other models. At the same time this can imply that the really healthy massive gravity can still require infinite number of extra fields beyond quadratic approximation.