On the substitution rule for Lebesgue–Stieltjes integrals

We show how two change-of-variables formulæ for Lebesgue–Stieltjes integrals generalize when all continuity hypotheses on the integrators are dropped. We find that a sort of “mass splitting phenomenon” arises.     

Uniform Zariski’s theorem on fundamental groups

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates an isomorphism of the fundamental groups of the complements to each hypersurface from this family in the plane and in the space. But we show that in the affine case such a plane exists after a polynomial coordinate substitution. The research was partially supported by an NSA grant.     

On the rate of convergence for multi-category classification based on convex losses

The multi-category classification algorithms play an important role in both theory and practice of machine learning.In this paper,we consider an approach to the multi-category classification based on minimizing a convex surrogate of the nonstandard misclassification loss.We bound the excess misclassification error by the excess convex risk.We construct an adaptive procedure to search the classifier and furthermore obtain its convergence rate to the Bayes rule.     

On the dominated convergence theorem for the Kurzweil–Stieltjes integral

This paper is concerned with a version of the Lebesgue dominated convergence theorem (DCT) which has been stated for the Kurzweil–Stieltjes integral of real functions. Our objective in this work is to analyze the extension of this result to include vector functions with values in Banach spaces. We establish that the mentioned convergence theorem for the Kurzweil–Stieltjes integral can be formulated in weaker versions for reflexive and separable Banach spaces, and spaces having the Schur property, nonetheless it is not verified in the general case.     

On the direct proof of the Poincaré theorem on invariant tori

We present the direct proof of the Poincaré theorem on invariant tori.     

Modifications of the Hurwicz’s decision rule

The Hurwicz’s criterion is one of the classical decision rules applied in decision making under uncertainty as a tool enabling to find an optimal pure strategy both for interval and scenarios uncertainty. The interval uncertainty occurs when the decision maker knows the range of payoffs for each alternative and all values belonging to this interval are theoretically probable (the distribution of payoffs is continuous). The scenarios uncertainty takes place when the result of a decision depends on the state of nature that will finally occur and the number of possible states of nature is known and limited (the distribution of payoffs is discrete). In some specific cases the use of the Hurwicz’s criterion in the scenarios uncertainty may lead to quite illogical and unexpected results. Therefore, the author presents two new procedures combining the Hurwicz’s pessimism-optimism index with the Laplace’s approach and using an additional parameter allowing to set an appropriate width for the ranges of relatively good and bad payoffs related to a given decision. The author demonstrates both methods on the basis of an example concerning the choice of an investment project. The methods described may be used in each decision making process within which each alternative (decision, strategy) is characterized by only one criterion (or one synthetic measure).     

A new method of proof of Filippov’s theorem based on the viability theorem

Filippov??s theorem implies that, given an absolutely continuous function y: [t ₀; T] ?? ? ^d and a set-valued map F(t, x) measurable in t and l(t)-Lipschitz in x, for any initial condition x ₀, there exists a solution x(·) to the differential inclusion x??(t) ?? F(t, x(t)) starting from x ₀ at the time t ₀ and satisfying the estimation $$\left| {x(t) - y(t)} \right| \leqslant r(t) = \left| {x_0 - y(t_0 )} \right|e^{\int_{t_0 }^t {l(s)ds} } + \int_{t_0 }^t \gamma (s)e^{\int_s^t {l(\tau )d\tau } } ds,$$ where the function ??(·) is the estimation of dist(y??(t), F(t, y(t))) ?? ??(t). Setting P(t) = {x ?? ? ⁿ : |x ?y(t)| ?? r(t)}, we may formulate the conclusion in Filippov??s theorem as x(t) ?? P(t). We calculate the contingent derivative DP(t, x)(1) and verify the tangential condition F(t, x) ?? DP(t, x)(1) ?? ?. It allows to obtain Filippov??s theorem from a viability result for tubes.     

On the Cohen–Lusk theorem

Let G be a finite group and X be a G-space. For a map f: X → ℝ ^m , the partial coincidence set A(f, k), k ≤ |G|, is the set of points x ∈ X such that there exist k elements g ₁,…, g _k of the group G, for which f(g ₁ x) = ⋅⋅⋅ = f(g _k x) holds. We prove that the partial coincidence set is nonempty for G = ℤ _p ⁿ under some additional assumptions. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 61–67, 2007.     

On the Jayne–Rogers theorem

J. E. Jayne and C. A. Rogers [3] proved that a mapping \({f \colon {X \rightarrow Y}}\) of an absolute Souslin-\({\mathcal{F}}\) set X to a metric space Y is \({\mathbf{\Delta}^0_2}\)-measurable if and only if it is piecewise continuous. We give a similar result for a perfectly paracompact first-countable space X and a regular space Y.     

On the Pila–Wilkie theorem

This expository paper gives an account of the Pila–Wilkie counting theorem and some of its extensions and generalizations. We use semialgebraic cell decomposition to simplify part of the original proof. We also include complete treatments of a result due to Pila and Bombieri and of the o-minimal Yomdin–Gromov theorem that are used in this proof. For the latter we follow Binyamini and Novikov.     

On a generalisation of the Skitovich–Darmois theorem for several linear forms on Abelian groups

Aequationes mathematicae - A.M. Kagan introduced a class of distributions $$\mathcal {D}_{m, k}$$ in $$\mathbb {R}^m$$ and proved that if the joint distribution of m linear forms of n independent...     

On Cramér's theorem for capacities

In this Note, our aim is to obtain Cramér's upper bound for capacities induced by sublinear expectations.     

On the coupling property and the Liouville theorem for Ornstein–Uhlenbeck processes

Using a coupling for the weighted sum of independent random variables and the explicit expression of the transition semigroup of Ornstein–Uhlenbeck processes driven by compound Poisson processes, we establish the existence of a successful coupling and the Liouville theorem for general Ornstein–Uhlenbeck processes. Then we present the explicit coupling property of Ornstein–Uhlenbeck processes directly from the behaviour of the corresponding symbol or characteristic exponent. This approach allows us to derive gradient estimates for Ornstein–Uhlenbeck processes via the symbol.     

On the ergodic theorem in the Kozlov–Treshchev form for an operator semigroup

We study nonuniform ergodic averages of the Kozlov – Treshchev type for operator semigroups and obtain estimates for the corresponding maximal functions.     

On the Skitovich–Darmois theorem for some locally compact Abelian groups

Let X be a locally compact Abelian group, \(\alpha _{j}, \beta _j\) be topological automorphisms of X. Let \(\xi _1, \xi _2\) be independent random variables with values in X and distributions \(\mu _j\) with non-vanishing characteristic functions. It is known that if X contains no subgroup topologically isomorphic to the circle group \(\mathbb {T}\), then the independence of the linear forms \(L_1=\alpha _1\xi _1+\alpha _2\xi _2\) and \(L_2=\beta _1\xi _1+\beta _2\xi _2\) implies that \(\mu _j\) are Gaussian distributions. We prove that if X contains no subgroup topologically isomorphic to \(\mathbb {T}^2\), then the independence of \(L_1\) and \(L_2\) implies that \(\mu _j\) are either Gaussian distributions or convolutions of Gaussian distributions and signed measures supported in a subgroup of X generated by an element of order 2. The proof is based on solving the Skitovich–Darmois functional equation on some locally compact Abelian groups.