Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 71, No 3 (2016)

Article

Estimation of the depth of reversible circuits consisting of NOT, CNOT and 2-CNOT gates

Zakablukov D.V.

Abstract

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z2n → Z2n as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z2n) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ≳ 2n/(3log2n). It is also proved that for the case of transformation f: Z2n → Z2n with a reversible circuit having q0 ~ 2n additional inputs the depth is bounded as D(n,q0) ≲ 3n.

Moscow University Mathematics Bulletin. 2016;71(3):89-97
pages 89-97 views

Semigroup rings and group rings with large center

Zlydnev D.V.

Abstract

A ring R is called a ring with a large center or an IIC-ring if any nonzero ideal of R has a nonzero intersection with the center of R. We consider conditions which guarantee that a semigroup ring over an IIC-ring is an IIC-ring.

Moscow University Mathematics Bulletin. 2016;71(3):98-101
pages 98-101 views

Ball, sphere, and all, all, all

Zorich V.A.

Abstract

The relationship of multidimensional geometry with statistical thermodynamics and with laws of large numbers is described.

Moscow University Mathematics Bulletin. 2016;71(3):102-105
pages 102-105 views

Numerical stabilization from the boundary for solutions of a model one-dimensional of a model one-Dimensional RBMK reactor

Kornev A.A.

Abstract

The problem of construction of first kind boundary conditions providing an asymptotic change of the trivial solution of a model one-dimensional RBMK reactor to the required stationary state is numerically studied according to specific features of this model. Results of calculations are presented for different admissible modes. The principal feasibility of efficient stabilization of the dynamics of occurring processes by boundary control of fast and slow neutrons is shown as well as its essential slow-down in the control of only fast neutrons.

Moscow University Mathematics Bulletin. 2016;71(3):106-110
pages 106-110 views

Brief Communications

System with priority queues and unreliable server

Aibatov S.Z.

Abstract

A single server queueing system with an unreliable server and priority customers is considered. The limit distribution of the number of ordinary customers in the system is obtained.

Moscow University Mathematics Bulletin. 2016;71(3):111-114
pages 111-114 views

Almost nilpotent varieties with non-integer exponents do exist

Mishchenko S.P.

Abstract

The existence of an almost nilpotent variety of linear algebras with noninteger exponent is proved. Examples of almost nilpotent varieties with integer exponents were only known so far.

Moscow University Mathematics Bulletin. 2016;71(3):115-118
pages 115-118 views

The topology of the analog of Kovalevskaya integrability case on the Lie algebra so(4) under zero area integral

Kibkalo V.A.

Abstract

The topology of the space of closures of solutions to an integrable system on the Lie algebra so(4) being an analogue of the Kovalevskaya case has been studied. Fomenko-Zieschang invariants are calculated for this purpose in the case of zero area integral, which classify isoenergetic 3-surfaces and the corresponding Liouville foliations.

Moscow University Mathematics Bulletin. 2016;71(3):119-123
pages 119-123 views

The estimate of the Ricci curvature of a weighted tree

Rubleva O.V.

Abstract

For weighed trees with random walk on the vertex set an estimate of the coarse Ricci curvature is obtained.

Moscow University Mathematics Bulletin. 2016;71(3):124-126
pages 124-126 views

Complexity and depth of formulas for symmetric Boolean functions

Sergeev I.S.

Abstract

A new approach for implementation of the counting function for a Boolean set is proposed. The approach is based on approximate calculation of sums. Using this approach, new upper bounds for the size and depth of symmetric functions over the basis B2 of all dyadic functions and over the standard basis B0 = {∧, ∨,- } were non-constructively obtained. In particular, the depth of multiplication of n-bit binary numbers is asymptotically estimated from above by 4.02 log2n relative to the basis B2 and by 5.14log2n relative to the basis B0.

Moscow University Mathematics Bulletin. 2016;71(3):127-130
pages 127-130 views