Search

Congruences mod p for a prime p and partial products of the numbers 1,…, p − 1 are obtained. Bibliography: 2 titles.

This paper is a survey of results on countable families with natural degree spectra. These results were obtained by a modification of the methodology proposed by Wechner, who first found a family of sets with the spectrum consisting precisely of nonzero Turing degrees. Based on this method, many researchers obtained examples of families with other natural spectra. In addition, in this paper we extend these results and present new examples of natural spectra. In particular, we construct a family of finite sets with the spectrum consisting of exactly non-K-trivial degrees and also we find new sufficient conditions on $$ {\Delta}_2^0 $$ -degree a, which guarantees that the class {x : x ≰ a} is the degree spectrum of some family. Finally, we give a survey of our recent results on the degree spectra of α-families, where α is an arbitrary computable ordinal.

In this paper, we consider boundary-value problems for a new class of hybrid systems of differential equations whose coefficients contain the Dirac delta-function. Hybrid systems are systems that contain both ordinary and partial differential equations; such systems appear, for example, when equations of motion of mechanical systems of rigid bodies attached to a beam by elastic bonds are derived from the Hamilton–Ostrogradsky variational principle. We present examples that lead to such systems and introduce the notions of generalized solutions and eigenvalues of a boundary-value problem. We also compare results of numerical simulations based on methods proposed in this paper with results obtained by previously known methods and show that our approach is reliable and universal.

A dynamical system $$ {\displaystyle \begin{array}{ll}{u}_{tt}-\Delta u-\nabla 1\mathrm{n}\;\rho \cdot \nabla u=0& in\kern0.6em {\mathrm{\mathbb{R}}}_{+}^3\times \left(0,T\right),\\ {}{\left.u\right|}_{t=0}={\left.{u}_t\right|}_{t=0}=0& in\kern0.6em \overline{{\mathrm{\mathbb{R}}}_{+}^3},\\ {}{\left.{u}_z\right|}_{z=0}=f& for\kern0.36em 0\le t\le T,\end{array}} $$ is under consideration, where ρ = ρ(x, y, z) is a smooth positive function; f = f(x, y, t) is a boundary control; u = uf (x, y, z, t) is a solution. With the system one associates a response operator R : f ↦ uf|z = 0. The inverse problem is to recover the function ρ via the response operator. A short representation of the local version of the BC-method, which recovers ρ via the data given on a part of the boundary, is provided. If ρ is constant, the forward problem is solved in explicit form. In the paper, the corresponding representations for the solutions and response operator are derived. A way to use them for testing the BC-algorithm, which solves the inverse problem, is outlined. The goal of the paper is to extend the circle of the BC-method users, who are interested in numerical realization of methods for solving inverse problems.

In this paper, we consider the operator sheaf $$ -\Delta +V+\varepsilon {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right)+{\lambda}^2 $$ in the space L2(ℝ2), where the real-valued potential V depends only on the first variable x1, e is a small positive parameter, λ is the spectral parameter, $$ {\mathrm{\mathcal{L}}}_{\varepsilon}\left(\lambda \right) $$ is a localized operator bounded with respect to the Laplacian −Δ, and the essential spectrum of this operator is independent of e and contains certain critical points defined as isolated eigenvalues of the operator $$ -\frac{d^2}{dx_1^2}+V\left({x}_1\right) $$ in L2(ℝ). The basic result obtained in this paper states that for small values of e, in neighborhoods of critical points mentioned, isolated eigenvalues of the sheaf considered arise. Sufficient conditions for the existence or absence of such eigenvalues are obtained. The number of arising eigenvalues is determined, and in the case where they exist, the first terms of their asymptotic expansions are found.

A goal of the paper is to prove new inequalities connecting some functionals of probability distribution functions. These inequalities are based on the strict convexity of functions used in the definition of the functionals. The starting point is the paper “Cramer–von Mises distance: probabilistic interpretation, confidence intervals and neighborhood of model validation” by Ludwig Baringhaus and Norbert Henze. The present paper provides a generalization of inequality obtained in probabilistic interpretation of the Cramer–von Mises distance. If the equality holds there, then a chance to give characterization of some probability distribution functions appears. Considering this fact and a special character of the functional, it is possible to create a class of free-of-distribution two sample tests.

In this paper, we prove the integrability of certain classes of dynamical systems on the tangent bundles of four-dimensional manifolds (systems with four degrees of freedom). The force field considered possessed so-called variable dissipation; they are generalizations of fields studied earlier. This paper continues earlier works of the author devoted to systems on the tangent bundles of two- and three-dimensional manifolds.

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

A very short proof of an unpublished result due to O. Gabber is given. More exactly, let R be a regular local ring containing a finite field k. Let G be a simply-connected reductive group scheme over k. It is proved that a principal G-bundle over R is trivial if it is trivial over the fraction field of R. This is the mentioned unpublished result due to O. Gabber. In this paper, this result is derived from a purely geometric one, proved in another paper of the author and stated in the Introduction.

In a joint paper of the author with Alexei Stepanov, it was established that for any two comaximal ideals A and B of a commutative ring R, A + B = R, and any n ≥ 3 one has [E(n,R,A),E(n,R,B)] = E(n,R,AB). Alec Mason and Wilson Stothers constructed counterexamples demonstrating that the above equality may fail when A and B are not comaximal, even for such nice rings as ℤ [i]. The present note proves a rather striking result that the above equality and, consequently, also the stronger equality [GL(n,R,A), GL(n,R,B)] = E(n,R,AB) hold whenever R is a Dedekind ring of arithmetic type with infinite multiplicative group. The proof is based on elementary calculations in the spirit of the previous papers by Wilberd van der Kallen, Roozbeh Hazrat, Zuhong Zhang, Alexei Stepanov, and the author, and also on an explicit computation of the multirelative SK1 from the author’s paper of 1982, which, in its turn, relied on very deep arithmetical results by Jean-Pierre Serre and Leonid Vaserstein (as corrected by Armin Leutbecher and Bernhard Liehl). Bibliography: 50 titles.

A regular system is a Delone set in Euclidean space with a transitive group of symmetries or, in other words, the orbit of a crystallographic group. The local theory for regular systems, created by the geometric school of B. N. Delone, was aimed, in particular, to rigorously establish the “local-global-order” link, i.e., the link between the arrangement of a set around each of its points and symmetry/regularity of the set as a whole. The main result of this paper is a proof of the so-called 10R-theorem. This theorem asserts that identity of neighborhoods within a radius 10R of all points of a Delone set (in other words, an (r, R)-system) in 3D Euclidean space implies regularity of this set. The result was obtained and announced long ago independently by M. Shtogrin and the author of this paper. However, a detailed proof remains unpublished for many years. In this paper, we give a proof of the 10R-theorem. In the proof, we use some recent results of the author, which simplify the proof.

The aim of this (mostly expository) article is to show a connection between the finiteness conditions arising in twisted K-theory. There are two different conditions arising naturally in two main approaches to the problem of computing the index of the appropriate family of elliptic operators (the approach of Nistor and Troitsky and the approach of Mathai, Melrose, and Singer). These conditions are formulated absolutely differently, but in some sense they should be close to each other. In this paper, we find this connection and prove the corresponding formal statement. Thereby it is shown that these conditions map to each other. This opens a possibility to synthesize these approaches. It is also shown that the finiteness condition arising in the paper of Nistor and Troitsky is a special case of the finiteness condition that appears in the paper of Emerson and Meyer, where the theorem of Nistor and Troitsky is proved not only for the case of a bundle of Lie groups, but also for the case of a general groupoid.

In this paper, we suggest a new type of tasks for control theory for stochastic dynamical systems — programmed control with Probability 1 (PCP1). PCP1 is an application of an invariant theory. We use the PCP1 concept for dynamical processes described by a system of Ito differential equations with jump-diffusion (GSDES). The considered equations include the drift, the diffusion, and the jumps, together or not. Features of our approach are both a wide set of dynamical systems and investigation of such systems for their unique trajectories. Our method is based on the concept of a stochastic first integral (SFI) for GSDES and its equations which author studied before. The purpose of the present paper is to construct a differential equation system (both stochastic and deterministic) using a known set of FIs for the investigating process. Several examples are given.

In this paper, the structure of relative disposition of 3-vertex cutsets in a 3-connected graph is studied. All such cutsets are divided into structural units – complexes of flowers, of cuts, of single cutsets, and trivial complexes. The decomposition of the graph by a complex of each type is described in detail. It is proved that for any two complexes C1 and C2 of a 3-connected graph G there is a unique part of the decomposition of G by C1 that contains C2. The relative disposition of complexes is described with the help of a hypertree T (G) – a hypergraph any cycle of which is a subset of a certain hyperedge. It is also proved that each nonempty part of the decomposition of G by the set of all of its 3-vertex cutsets is either a part of the decomposition of G by one of the complexes or corresponds to a hyperedge of T (G). This paper can be considered as a continuation of studies begun in the joint paper by D. V. Karpov and A. V. Pastor “On the structure of a 3-connected graph,” published in 2011. Bibliography: 10 titles.

This paper investigates, using a simulation program, a retrial queuing system with a single server which is subject to random breakdowns. The number of sources of calls is finite, and collisions can take place. We assume that the failure of the server blocks the system’s operation such that newly arriving customers cannot enter the system, contrary to an earlier paper where the failure does not affect the arrivals. All the random variables included in the model construction are assumed to be independent of each other, and all times are exponentially distributed except for the service time, which is gamma distributed. The novelty of this analysis is the inspection of the blocking effect on the performance measures using different distributions. Various figures represent the impact of the squared coefficient of the variation of the service time on the main performance measures such as the mean and variance of the number of customers in the system, the mean and variance of the response time, the mean and variance of the time a customer spends in the service, and the mean and variance of the sojourn time in the orbit.

This paper continues a series of studies dealing with noninvasive preoperative methods for localizing eloquent areas of the human brain. The inverse problem of magnetoencephalography (MEG) is illposed and difficult for both analytical and numerical solutions. An analytical formula is derived for the solution of the forward problem that computes the magnetic field on the surface of the head from the known location and orientation of a current dipole in the low-frequency approximation in the spherical model. In addition, the paper considers the question of stability of solutions of the inverse problem of MEG to the effect of noise. The solution is unstable to the effect of noise on its angular component, but the deviation from the true solution is much less than the noise variance.

In this paper, we study questions related to the theory of stochastic processes on Lie nilpotent groups. In particular, we consider the stochastic process on the Heisenberg group H3(ℝ) whose trajectories satisfy the horizontal conditions in the stochastic sense relative to the standard contact structure on H3 (ℝ). It is shown that this process is a homogeneous Markov process relative to the Heisenberg group operation. There was found a representation in the form of a Wiener integral for a one-parameter linear semigroup of operators for which the Heisenberg sublaplacian generated by basis vector fields of the corresponding Lie algebra L(H3) is producing. The main method of solving the problem in this paper is using the path integrals technique, which indicates the common direction of further development of the results.

The word maps $$ \tilde{w}:\kern0.5em {\mathrm{GL}}_m{(D)}^{2k}\to {\mathrm{GL}}_n(D) $$ and $$ \tilde{w}:\kern0.5em {D}^{\ast 2k}\to {D}^{\ast } $$ for a word $$ w=\prod \limits_{i=1}^k\left[{x}_i,{y}_i\right], $$ where D is a division algebra over a field K, are considered. It is proved that if $$ \tilde{w}\left({D}^{\ast 2k}\right)=\left[{D}^{\ast },{D}^{\ast}\right], $$ then $$ \tilde{w}\left({\mathrm{GL}}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right), $$ where En(D) is the subgroup of GLn(D), generated by transvections, and Z(En(D)) is its center. Furthermore if, in addition, n > 2, then $$ \tilde{w}\left({E}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right). $$ The proof of the result is based on an analog of the “Gauss decomposition with prescribed semisimple part” (introduced and studied in two papers of the second author with collaborators) in the case of the group GLn(D), which is also considered in the present paper.

The paper is devoted to one open extremal problem in the geometric function theory of complex variables associated with estimates of a functional defined on the systems of non-overlapping domains. We consider the problem of the maximum of a product of inner radii of n non-overlapping domains containing points of a unit circle and the power γ of the inner radius of a domain containing the origin. The problem was formulated in 1994 in Dubinin’s paper in the journal “Russian Mathematical Surveys” in the list of unsolved problems and then repeated in his monograph in 2014. Currently, it is not solved in general. In this paper, we obtained a solution of the problem for five simply connected domains and power γ ∈ (1; 2:57] and generalized this result to the case of multidimensional complex space.

The waveguide considered coincides with a strip having two narrows of width e. An electron wave function satisfies the Dirichlet boundary value problem for the Helmholtz equation. The part of the waveguide between the narrows serves as a resonator, and conditions for the electron resonant tunneling may occur. In the paper, asymptotic formulas as e → 0 for characteristics of the resonant tunneling are used. The asymptotic results are compared with the numerical ones obtained by approximate calculation of the scattering matrix for energies in the interval between the second and third thresholds. The comparison allows us to state an interval of e, where the asymptotic and numerical approaches agree. The suggested methods can be applied to more complicated models than that considered in the paper. In particular, the same approach can be used for asymptotic and numerical analysis of the tunneling in three-dimensional quantum waveguides of variable cross-sections. Bibliography: 3 titles.

The present paper offers a new approach to the construction of the coordinate asymptotics of the kernel of the resolvent of the Schrodinger operator in the scattering problem of three onedimensional quantum particles with short-range pair potentials. Within the framework of this approach, the asymptotics of eigenfunctions of the absolutely continuous spectrum of the Schrodinger operator can be constructed. In the paper, the possibility of a generalization of the suggested approach to the case of the scattering problem of N particles with arbitrary masses is discussed.

The paper presents a general duality theory for vector measure spaces taking its origin in the author's papers written in the 1960s. The main result establishes a direct correspondence between the geometry of a measure in a vector space and the properties of the space of measurable linear functionals on this space regarded as closed subspaces of an abstract space of measurable functions. An example of useful new features of this theory is the notion of a free measure and its applications., Comment: 20 pp.23 Ref

The present paper deals with the performance evaluation of a cognitive radio network with the help of a queueing model. The queueing system contains two interconnected, not independent sub-systems. The first part is for the requests of the Primary Units (PU). The number of sources is finite, and each source generates high priority requests after a exponentially distributed time. The requests are sent to a single server unit or Primary Channel Service (PCS) with a preemptive priority queue. The service times are assumed to be exponentially distributed. The second sub-system is for the requests of the Secondary Units (SU), which is finite sources system too; the inter-request times and service times of the single server unit or Secondary system Channel Service (SCS) are assumed to be exponentially distributed, respectively. A generated high priority packet goes to the primary service unit. If the unit is idle, the service of the packet begins immediately. If the server is busy with a high priority request, the packet joins the preemptive priority queue. When the unit is engaged with a request from SUs, the service is interrupted and the interrupted low priority task is sent back to the SCS. Depending on the state of the secondary channel, the interrupted job is directed to either the server or the orbit. In case the requests from SUs find the SCS idle, the service starts, and if the SCS is busy, the packet looks for the PCS. In the case of an idle PCS, the service of the low-priority packet begins at the high-priority channel (PCS). If the PCS is busy, the packet goes to the orbit. From the orbit it retries to be served after an exponentially distributed time. The novelty of our investigation is that each server is subject to random breakdowns, in which case the interrupted request is sent to the queue or orbit, respectively. The operating and repair times of the servers are assumed to be generally distributed. Finally, all the random times included in the model construction are assumed to be independent of each other. The main aim of the paper is to analyze the effect of the nonreliability of the servers on the mean and variance of the response time for the SUs by using simulation.

The existing notion of the Kostrikin radical as a radical in the Kurosh–Amitsur sense on classes of Mal’tsev algebras over rings with 1/6 is not completely justified. More precisely, to the fullest extent it is true for classes of Lie algebras over fields of characteristic zero and, as shown in the given paper, classes of algebraic Lie algebras of degree not greater than n over rings with 1/n! at all n ≥ 1. Similar conclusions are obtained in the paper also for the Jordan, regular, and extremal radicals constructed analogously to the Kostrikin radical.

In the paper, we consider a nonlinear integrodifferential equation of the third order with delay. We establish sufficient conditions guaranteeing the global existence and boundedness of the solutions of the analyzed equation. We use the Lyapunov second method to prove the main result. An example is also given to illustrate the applicability of our result. The result of this paper is new and improves previously known results.

The notion of the supercharacter theory was introduced by P. Diaconis and I. M. Isaaks in 2008. In this paper, we present a review of the main notions and facts of the general theory and discuss the construction of the supercharacter theory for algebra groups and the theory of basic characters for unitriangular groups over a finite field. Based on his earlier papers, the author constructs the supercharacter theory for finite groups of triangular type. The structure of the Hopf algebra of supercharacters for triangular groups over finite fields is also characterized.

Let rk(n) denote the number of lattice points on a k-dimensional sphere of radius $$ \sqrt{n} $$ . The generating function $$ {\zeta}_k(s)=\sum \limits_{n=1}^{\infty }{r}_k(n){n}^{-s},\kern0.5em k\ge 2, $$ is Epstein’s zeta function. The paper considers the Riesz mean of the type $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{1}{\Gamma \left(\rho +1\right)}\sum \limits_{n\le x}{\left(x-n\right)}^{\rho }{r}_3(n), $$ where ρ > 0; the error term Δρ(x; ζ3) is defined by $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{\uppi^{3/2}{x}^{\rho +3/2}}{\Gamma \left(\rho +5/2\right)}+\frac{x^{\rho }}{\Gamma \left(\rho +1\right)}{\zeta}_3(0)+{\Delta}_{\rho}\left(x;{\zeta}_3\right). $$ K. Chandrasekharan and R. Narasimhan (1962, MR25#3911) proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\Big({x}^{1/2+\rho /2\Big)}& \left(\rho >1\right),\\ {}{\Omega}_{\pm}\left({x}^{1/2+\rho /2}\right)& \left(\rho \ge 0\right).\end{array}} $$ In the present paper, it is proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\left(x\log x\right)& \left(\rho =1\right),\\ {}O\left({x}^{2/3+\rho /3+\varepsilon}\right)& \left(1/2

In a joint work with S. Bianchini [8] (see also [6, 7]), we proved a quadratic interaction estimate for the system of conservation laws $$ \left\{\begin{array}{l}{u}_t+f{(u)}_x=0,\\ {}u\left(t=0\right)={u}_0(x),\end{array}\right. $$ where u : [0, ∞) × ℝ → ℝn, f : ℝn → ℝn is strictly hyperbolic, and Tot.Var.(u0) ≪ 1. For a wavefront solution in which only two wavefronts at a time interact, such an estimate can be written in the form $$ \sum \limits_{t_j\;\mathrm{interaction}\ \mathrm{time}}\frac{\left|\sigma \left({\alpha}_j\right)-\sigma \left({\alpha}_j^{\prime}\right)\right|\left|{\alpha}_j\right|\left|{\alpha}_j^{\prime}\right|}{\left|{\alpha}_j\right|+\left|{\alpha}_j^{\prime}\right|}\le C(f)\mathrm{Tot}.\mathrm{Var}.{\left({u}_0\right)}^2, $$ where αj and $$ {\alpha}_j^{\prime } $$ are the wavefronts interacting at the interaction time tj, σ(·) is the speed, |·| denotes the strength, and C(f) is a constant depending only on f (see [8, Theorem 1.1] or Theorem 3.1 in the present paper for a more general form). The aim of this paper is to provide the reader with a proof for such a quadratic estimate in a simplified setting, in which: • all the main ideas of the construction are presented; • all the technicalities of the proof in the general setting [8] are avoided.

The CMV matrix is the five-diagonal matrix that represents the operator of multiplication by the independent variable in a special basis formed of Laurent polynomials orthogonal on the unit circle C. The article by Cantero, Moral, and Velazquez, published in 2003 and describing this matrix, has attracted much attention because it implies that the conventional orthogonal polynomials on C can be interpreted as the characteristic polynomials of the leading principal submatrices of a certain five-diagonal matrix. The present paper recalls that finite-dimensional sections of the CMV matrix appeared in papers on the unitary eigenvalue problem long before the article by Cantero et al. was published. Moreover, band forms were also found for a number of other situations in the normal eigenvalue problem.

We study properties of sets having the minimum length (one-dimensional Hausdorff measure) in the class of closed connected sets Σ ⊂ ℝ2 satisfying the inequality max yϵM dist (y, Σ) ≤ r for a given compact set M ⊂ ℝ2 and given r > 0. Such sets play the role of the shortest possible pipelines arriving at a distance at most r to every point of M where M is the set of customers of the pipeline. In this paper, it is announced that every maximum distance minimizer is a union of finitely many curves having one-sided tangent lines at every point. This shows that a maximum distance minimizer is isotopic to a finite Steiner tree even for a “bad” compact set M, which distinguishes it from a solution of the Steiner problem (an example of a Steiner tree with infinitely many branching points can be found in a paper by Paolini, Stepanov, and Teplitskaya). Moreover, the angle between these lines at each point of a maximum distance minimizer is at least 2π/3. Also, we classify the behavior of a minimizer Σ in a neighborhood of any point of Σ. In fact, all the results are proved for a more general class of local minimizers.

The paper is a continuation of previous papers of the authors dealing with the exploration of shortwave diffraction by smooth and strictly convex bodies of revolution (the axisymmetric case). In these problems, the boundary layer method contains two large parameters: one is the Fock parameter M and the second is Λ that characterizes the oblongness of the scatterer. This naturally gives the possibility of using the two-scaled asymptotic expansion, where both M and Λ are regarded as independent. The approximate formulas for the wave field in this situation depend on the mutual strength between the large parameters and may vary. In the paper, we carry out numerical experiments with our formulas, in the case where the Fock analytical solution is in good coincidence with the exact solution of a model problem, in order to examine the influence of the parameter Λ on the wave field. It follows from our numerical experiments that the influence of the oblongness of the scatterer on the wave field is really insignificant if the method of Leontovich–Fock parabolic equation does not meet mathematical difficulties.

In this paper, extensions of the results obtained in our previous paper devoted to the diffraction of waves from a Hertzian dipole (point source) located over an impedance wedge are presented. The surface waves components and the edge wave, produced by a surface wave from a point source coming to the edge, are discussed. The geometric optics laws for the surface waves reflected by and transmitted across the edge are also addressed.

A map (S,G) is a closed Riemann surface S with embedded graph G such that S \G is the disjoint union of connected components, called faces, each of which is homeomorphic to an open disk. Tutte began a systematic study of maps in the 1960s and contemporary authors are actively developing it. In the present paper, after recalling the concept of a circular map introduced by the author and Mednykh, a relationship between bipartite maps and circular maps is demonstrated via the concept of the duality of maps. In this way an enumeration formula for the number of bipartite maps with a given number of edges is obtained. A hypermap is a map whose vertices are colored black and white in such a way that every edge connects vertices of different colors. The hypermaps are also known as dessins d’enfants (or Grothendieck’s dessins). A hypermap is self-equivalent with respect to reversing the colors of vertices if it is equivalent to the hypermap obtained by reversing the colors of its vertices. The main result of the present paper is an enumeration formula for the number of unrooted hypermaps, regardless of genus, which have n edges and are self-equivalent with respect to reversing the colors of vertices. Bibliography: 13 titles.

The quadratic Vieta formulas (x, y) ↦ (u, v) = (x + y, xy) in the complex geometry define a two-fold branched covering ℂ2 → ℂ2 ramified over the parabola u 2 = 4v. Thinking about topics considered in Arnold’s paper Topological content of the Maxwell theorem on multipole representation of spherical functions, I came to a very simple idea: in fact, these formulas describe the algebraic structure, i.e., addition and multiplication, of complex numbers. What if, instead of the field of complex numbers, we consider an arbitrary ring? Namely for an arbitrary ring A (commutative, with unity) consider the mapping Φ: A 2 → A 2 defined by the Vieta formulas (x, y) ↦ (u, v) = (x + y, xy). What kind of algebraic properties of the ring itself does this map reflect? At first, it is interesting to investigate the simplest finite rings A = ℤ m and A = ℤ k ×ℤ m . Recently, it has been very popular to consider graphs associated to rings (the zero-divisor graph, the Cayley graph, etc.). In the present paper, we study the directed graph defined by the Vieta mapping Φ.

In this paper we develop the theory of anti-compact sets we introduced earlier. We describe the class of Frechet spaces where anti-compact sets exist. They are exactly the spaces that have a countable set of continuous linear functionals. In such spaces we prove an analogue of the Hahn–Banach theorem on extension of a continuous linear functional from the original space to a space generated by some anti-compact set. We obtain an analogue of the Lyapunov theorem on convexity and compactness of the range of vector measures, which establishes convexity and a special kind of relative weak compactness of the range of an atomless vector measure with values in a Frechet space possessing an anti-compact set. Using this analogue of the Lyapunov theorem, we prove the solvability of an infinite-dimensional analogue of the problem of fair division of resources. We also obtain an analogue of the Lyapunov theorem for nonadditive analogues of measures that are vector quasi-measures valued in an infinite-dimensional Frechet space possessing an anti-compact set. In the class of Frechet spaces possessing an anti-compact set, we obtain analogues of the Krein–Milman theorem on extreme points for convex bounded sets that are not necessarily compact. A special place is occupied by analogues of the Krein–Milman theorem in terms of extreme sequences introduced in the paper (the so-called sequential analogues of the Krein–Milman theorem).

In the paper, a family of representations of maximal solvable subgroups of the simple Lie groups O(p, q), U(p, q), and Sp(p, q), where 1 ≤ p ≤ q, is introduced. These subgroups are called the Iwasawa subgroups of the corresponding simple groups. The main property of these representations is the existence of nontrivial 1-cohomology with values in the representations. For groups of rank 1, the representations from this family are unitary; for ranks greater than 1, they are nonunitary. The paper continues a series of our previous papers and serves as an introduction to the theory of nonunitary current groups.

A characterization of the prime radical of loops as the set of strongly Engel elements was given in our earlier paper. In this paper, some properties of the prime radical of loops are considered. Also a connection between the prime radical of the loop of units of an alternative ring and the prime radical of this ring is given.

The paper considers the category ( $$ \mathcal{T} $$ , S, X) consisting of mappings S : $$ \mathcal{T} $$ −→ $$ \mathcal{T} $$ of spaces $$ \mathcal{T} $$ with distinguished subsets X ⊂ $$ \mathcal{T} $$ . Let rX (i, x0) be the distribution function of points of an S-orbit x0, x1 = S(x0), . . . , xi−1 = Si−1(x0) getting into X, and let δX (i, x0) be the deviation defined by the equation rX (i, x0) = aX i + δX (i, x0), where aX i is the average value. If δX (i, x0) = O(1), then such sets X are called bounded remainder sets. In the paper, bounded remainder sets X are constructed in the following cases: (1) the space $$ \mathcal{T} $$ is the circle, torus, or the Klein bottle; (2) the map S is a rotation of the circle, a shift or an exchange mapping of the torus; (3) X is a fixed subset X ⊂ $$ \mathcal{T} $$ or a sequence of subsets depending on the iteration number i = 0, 1, 2, . . .. Bibliography: 27 titles.

It is known that the monoid wreath product of any two semigroup varieties that are atoms in the lattice of all semigroup varieties may have a finite as well as an infinite lattice of subvarieties. If this lattice is finite, then as a rule it has at most eleven elements. This was proved in a paper of the author in 2007. The exclusion is the monoid wreath product Sl w N 2 of the variety of semilattices and the variety of semigroups with zero multiplication. The number of elements of the lattice L(Sl w N 2) of subvarieties of Sl w N 2 is still unknown. In our paper, we show that the lattice L(Sl w N 2) contains no less than 33 elements. In addition, we give some exponential upper bound of the cardinality of this lattice.

This paper is a sequel of the joint paper by the author with S. O. Ivanov, Yu. Volkov, and G. Zhou. In the present paper, the BV -structure, and therefore, the Gerstenhaber algebra structure on the Hochschild cohomology of local algebras of generalized quaternion type is completely described over a field of characteristic 2. The family of algebras under investigation contains group algebras of generalized quaternion groups for which the case of characteristic 2 is the only one where the calculation of Hochschild cohomology and structures on it is a highly nontrivial problem. Also the group algebras of generalized quaternion groups represent classes of Morita-equivalence of tame group blocks from K. Erdmann’s classification. In particular, the BV -structure on the Hochschild cohomology of group algebras of some noncommutative groups is described.

This paper is a direct continuation of [26], where we proved that every normal lattice isomorphism of supersolvable Lie ring is induced at the isomorphism. In the present paper,we generalize this theorem for rational Lie rings.

This paper is devoted to the study of groups from the category M of R-power groups. We examine problems on the commutation of the tensor completion with basic group operations and on the exactness of the tensor completion. Moreover, we introduce the notion of a variety and obtain a description of abelian varieties and some results on nilpotent varieties of A-groups. We prove the hypothesis on irreducible coordinate groups of algebraic sets for the nilpotent R-groups of nilpotency class 2, where R is a Euclidean ring. We state that the analog to the Lyndon result for the free groups (see [10]) holds in this case, whereas the analog to the Myasnikov–Kharlampovich result fails.The paper is dedicated to partial R-power groups which are embeddable to their A-tensor completions. The free R-groups and free R-products are described with usual group-theoretical free constructions.

In this paper, we describe several types of fuzzy arithmetics and discuss their applicability to fuzzy numbers in arbitrary and generalized trapezoidal forms. The methods of calculation of results of arithmetic operations described in the paper can be used for mathematical modeling of economical processes and the creation of decision support systems.

The paper is devoted to the master thesis on “information theory” which was written by the author in 1956–57. The topic was suggested by his advisor A. A. Bobrov (a student of A. Ya. Khinchin and A. N. Kolmogorov), and the thesis was written under the influence of lectures by N. I. Gavrilov (a student of I. G. Petrovskii) on the qualitative theory of differential equations, which included the statement of Birkhoff’s theorem for ergodic dynamical systems. In the thesis, the author used the concept of Shannon entropy in the study of ergodic dynamical systems f(p, t) in a separable compact metric space R with an invariant measure μ (where μ(R) = 1) and introduced the notion of the (ϵ, T)-entropy of a system as a quantitative characteristic of the degree of mixing. In the work, not only partitions of R were considered, but also partitions of the interval (−∞,∞) into subintervals of length T > 0. In particular, f(p, T) was regarded as an automorphism S of X = R, and the (ϵ, T)-entropy is essentially the e-entropy of S. But, despite some “oversights” in the definition of the (ϵ, T)-entropy and many years that have passed, the author decided to publish the corresponding chapter of the thesis in connection with the following: 1) There is a number of papers that refer to this work in the explanation of the history of the concept of Kolmogorov’s entropy. 2) Recently, B. M. Gurevich obtained new results on the ϵ-entropy hϵ(S), which show that for two ergodic automorphisms with equal finite entropies their ϵ-entropies also coincide for all ϵ, but, on the other hand, there are unexpected nonergodic automorphisms with equal finite entropies, but different ϵ-entropies for some ϵ. This shows that the concept of ϵ-entropy is of scientific value.

In the present paper we consider local minimal and extremal networks in normed spaces. It is well known that in the case of the Euclidean space these two classes coincide and the length of a local minimal network can be found by using only the coordinates of boundary vertices and the directions of boundary edges (the Maxwell formula). Moreover, as was shown by Ivanov and Tuzhilin [15], the length of a local minimal network in the Euclidean space can be found by using the coordinates of boundary vertices and the structure of the network. In the case of an arbitrary norm there are local minimal networks that are not extremal networks, and an analogue of the formula mentioned above is only true for extremal networks; this is the main result of the paper. Moreover, we generalize the Maxwell formula for the case of extremal networks in normed spaces and give an explicit construction of norming functionals used in the formula for several normed spaces.

The present paper is devoted to graph-links with many components and consists of two parts. In the first part of the paper we classify vertices of a labeled graph according to the component they belong to. Using this classification, we construct an invariant of graph-links. This invariant shows that the labeled second Bouchet graph generates a nonrealizable graph-link. In the second part of the work we introduce the notion of an oriented graph-link. We define a writhe number for the oriented graph-link and we get an invariant of oriented graph-links, the Jones polynomial, by normalizing the Kauffman bracket with the writhe number.

In the present paper, we construct an invariant of knots in the thickened sphere with g handles dependent on 2g + 3 variables. In the construction of the invariant we use the Wirtinger presentation of the knot group and the concept of parity introduced by Manturov [9]. In the present paper, we also consider examples of knots in the thickened torus considered in [2] such that their nonequivalence is proved by using the constructed polynomial.

The remarkable class of measurable functions was introduced by classics of function theory. It has found different applications in various branches of mathematics. However this class turned out too restrictive for solving some natural mathematical problems because it is essentially connected with the property of countability. Therefore, along with it another remarkable class, essentially connected with the property of finiteness, was introduced. It is the class of uniform functions. Measurable functions are described both in the classical Lebesgue–Borel language of preimages and in the quite new language of covers. Uniform functions are described in the language of covers exclusively. Both the families of measurable functions and the families of uniform functions are determined by the rigid structure of their supports (descriptive spaces). For this reason, mathematicians weakened more that once the rigidity of the structure of descriptive spaces at the expense of using the additional property of negligence. The present paper is devoted to a contemporary formalization of the indicated ideas. Some applications of the introduced classes of functions to solving a number of known mathematical problems is traced in the paper.

This paper deals with an extremal problem concerning hypergraph colorings. Let k be an integer. The problem is to find the value m k (n) equal to the minimum number of edges in an n-uniform hypergraph not admitting two-colorings of the vertex set such that every edge of the hypergraph contains at least k vertices of each color. In this paper, we obtain upper bounds of m k (n) for small k and n, the exact value of m 4(8), and a lower bound for m 3(7).

sp-Groups form an interesting and informative class of Abelian mixed groups. In this paper, we systematically study self-small sp-groups of finite rank and their endomorphism rings.