Convolutions of random measures on compact groups

LetG be a compact group andM ₁(G) be the convolution semigroup of all Borel probability measures onG with the weak topology. We consider a stationary sequence {μ _n } _n=?∞ ^+∞ of random measures μ _n =μ _n (ω) inM ₁(G) and the convolutions $$v_{m,n} (\omega ) = \mu _m (\omega )* \cdots *\mu _{n - 1} (\omega ), m< n$$ and $$\alpha _n^{( + k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n,n + i} (\omega ),} \alpha _n^{( - k)} (\omega ) = \frac{1}{k}\sum\limits_{i = 1}^k {v_{n - i,n} (\omega )} $$ We describe the setsA _m ⁺ (ω) andA _n ⁺ (ω) of all limit points ofv _m,n(ω) asm→?∞ orn→+∞ and the setA _∞(ω) of its two-sided limit points for typical realizations of {μ _n (ω)} _n=?∞ ^+∞ . Using an appropriate random ergodic theorem we study the limit random measures ρ _n ^(±) (ω)=lim _k→∞ α _n ^(±k) (ω).     

A generalization of the katona theorem for crosst-intersecting families

LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:

1. There are two crosst-intersecting Hamming spheresA ₀,? ₀ with centerX such that |A| ≤ |A ₀| and|?| ≤ |? ₀| hold.
2. Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.

Using these claims, the following conjecture of Frankl is proven:

1. Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _l ⁿ is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
2. Ifn + t = 2k then |A| |? ≤ (K _k ⁿ )² holds.

The extremal configurations are also determined.     

Some results on starlike trees and sunlike graphs

A tree is called starlike if it has exactly one vertex of degree greater than two. In [4] it was proved that two starlike treesG andH are cospectral if and only if they are isomorphic. We prove here that there exist no two non-isomorphic Laplacian cospectral starlike trees. Further, letG be a simple graph of ordern with vertex setV(G)={1,2, …,n} and letH={H ₁,H ₂, ...H _n } be a family of rooted graphs. According to [2], the rooted productG(H) is the graph obtained by identifying the root ofH _i with thei-th vertex ofG. In particular, ifH is the family of the paths $P_{k_1 } , P_{k_2 } , ..., P_{k_n } $ with the rooted vertices of degree one, in this paper the corresponding graphG(H) is called the sunlike graph and is denoted byG(k ₁,k ₂, …,k _n ). For any (x ₁,x ₂, …,x _n ) ∈I _* ⁿ , whereI _*={0,1}, letG(x ₁,x ₂, …,x _n ) be the subgraph ofG which is obtained by deleting the verticesi ₁, i₂, …,i _j ∈ V(G) (0≤j≤n), provided that $x_{i_1 } = x_{i_2 } = ... = x_{i_j } = 0$ . LetG(x ₁,x ₂,…, x _n] be the characteristic polynomial ofG(x ₁,x ₂,…, x _n ), understanding thatG[0, 0, …, 0] ≡ 1. We prove that $$G[k_1 , k_2 ,..., k_n ] = \Sigma _{x \in ^{I_ * ^n } } \left[ {\Pi _{i = 1}^n P_{k_i + x_i - 2} (\lambda )} \right]( - 1)^{n - (\mathop \Sigma \limits_{i = 1}^n x_i )} G[x_1 , x_2 , ..., x_n ]$$ where x=(x ₁,x ₂,…,x _n );G[k ₁,k ₂,…,k _n ] andP _n (γ) denote the characteristic polynomial ofG(k ₁,k ₂,…,k _n ) andP _n , respectively. Besides, ifG is a graph with λ₁(G)≥1 we show that λ₁(G)≤λ₁(G(k ₁,k ₂, ...,k _n )) < for all positive integersk ₁,k ₂,…,k _n , where λ₁ denotes the largest eigenvalue.     

Index formulae for subspaces of Kreîn spaces

For a subspaceS of a Kreîn spaceK and an arbitrary fundamental decompositionK=K ^?[+]K ⁺ ofK, we prove the index formula $$\kappa ^ - \left( \mathcal{S} \right) + \dim \left( {\mathcal{S}^ \bot \cap \mathcal{K}^ + } \right) = \kappa ^ + \left( {\mathcal{S}^ \bot } \right) + \dim \left( {\mathcal{S} \cap \mathcal{K}^ - } \right)$$ where κ^±(S) stands for the positive/negative signature ofS. The difference dim(S∩K ^?)?dim(S ^⊥∩K ⁺), provided it is well defined, is called the index ofS. The formula turns out to unify other known index formulac for operators or subspaces in a Kreîn space.     

Regularity property of Donsker's delta function

LetL be the space of rapidly decreasing smooth functions on ? andL ^* its dual space. Let (L ²)⁺ and (L ²)^? be the spaces of test Brownian functionals and generalized Brownian functionals, respectively, on the white noise spaceL ^* with standard Gaussian measure. The Donsker delta functionδ(B(t)?x) is in (L ²)^? and admits the series representation $$\delta (B(t) - x) = (2\pi t)^{ - 1/2} \exp ( - x^2 /2t)\sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} H_n (x/\sqrt {2t} )} \times H_n (B(t)/\sqrt {2t} )$$ , whereH _n is the Hermite polynomial of degreen. It is shown that forφ in (L ²)⁺,g _t,φ(x)≡〈δ(B(t)?x), φ〉 is inL and the linear map takingφ intog _t,φ is continuous from (L ²)⁺ intoL. This implies that forf inL ^* is a generalized Brownian functional and admits the series representation $$f(B(t)) = (2\pi t)^{ - 1/2} \sum\limits_{n = 0}^\infty {(n!2^n )^{ - 1} \langle f,\xi _{n, t} \rangle } H_n (B(t)/\sqrt {2t} )$$ , whereξ _n,t is the Hermite function of degreen with parametert. This series representation is used to prove the Ito lemma forf inL ^*, $$f(B(t)) = f(B(u)) + \int_u^t {\partial _s^ * } f'(B(s)) ds + (1/2)\int_u^t {f''} (B(s)) ds$$ , where? _s ^* is the adjoint of \(\dot B(s)\) -differentiation operator? _s .     

Directed graphs over topological spaces: Some set theoretical aspects

In this paper we shall consider problems of the following type. SupposeG is some set,U is some family of subsests ofG (e.g.G could be the Euclidean plane andU might be the family of all sets of Lebesgue measure zero), andG is any directed graph overG (i.e. any collection of ordered pairs of members ofG) such that for eachg∈G the set {h:<g,h>∈G} belongs to the familyU. How large a setSυG must there exist with the property that (S×S) ∩G=, i.e. such that it is totally disconnected? In many of the cases we shall consider (including the particular example above), the answer will turn out to be independent of the axioms of set theory and will remain so even after adjoining the negation of the continuum hypothesis.     

Some remarks on the existence of optimal controls for quasilinear systems

Let a quasilinear control system having the state space \(\bar X \subseteq R^n \) be governed by the vector differential equation $$\dot x = G(u(t))x,$$ wherex(0) =x ₀ andU is the family of all bounded measurable functions from [0,T] intoU, a compact and convex subset ofR ^m.LetG:U ?R be a bounded measurable nonlinear function, such thatG(U) is compact and convex.G ^?1 can be convex onG(U) or concave. The main results of the paper establish the existence of a controlu ∈U which minimizes the cost functional $$I(u) = \int_0^T {L(u(t))x(t)dt,} $$ whereL(·) is convex. A practical example of application for chemical reactions is worked out in detail.     

When is the radical associated with a module a torsion?

For an arbitrary R-module M we consider the radical (in the sense of Maranda)G _M, namely, the largest radical among all radicalsG, such thatG(M). We determine necessary and sufficient on M in order for the radicalG(M) to be a torsion. In particular,G(M) is a torsion if and only if M is a pseudo-injective module.     

Finite union theorem with restrictions

The aim of this paper is to prove the following extension of the Folkman-Rado-Sanders Finite Union Theorem: For every positive integersr andk there exists a familyL of sets having the following properties:

1. ifS ₁,S ₂, ...,S _{k + 1} are distinct pariwise disjoint elements ofL then there exists nonemptyI ? {1, 2, ...,k + 1} with ∪ _i∈I S _i ?L
2. ifL =L ₁ ?...?L _r is an arbitrary partition then there existsj ≤ r and pairwise disjoint setsS ₁,S ₂, ...,S _k ∈L _j , such thatL _i∈I S _i ∈L _j for every nonemptyI ? {1, 2, ...,k}.

     

Moment multipliers for power series

По определению после довательность {μ _n пр инадлежит классуG _s , если звезда М иттагЛеффлера произвольного степе нного ряда (1) $$\mathop \sum \limits_0^\infty a_n z^n , \mathop {lim sup}\limits_{n \to \infty } \left| {a_n } \right|^{1/n}< \infty $$ , совпадает со звёздам и Миттаг-Леффлера сте пенных рядов $$\mathop \sum \limits_0^\infty \mu _n a_n z^n ,\mathop \sum \limits_0^\infty \mu _n^{ - 1} a_n z^n $$ . В работе установлены следующие утвержден ия Теорема 1.Для произво льной последователь ности ? _n с условиями $$0< \varphi _n< 1,\mathop {lim}\limits_{n \to \infty } \varphi _n = 0,\mathop {lim}\limits_{n \to \infty } \varphi _n^{1/n} = 1$$ существует неубываю щая функция χ(t) такая, ч то моменты \(\mu _n = \int\limits_0^1 {t^n d\chi (t)} \) удовлетворяют условию 0<μ_nn звезда М иттаг-Леффлера любог о ряда (1) совпадает со звездой МиттагЛеффлера степенных рядов . Теорема 2. Для произвол ьной неотрицательно й последовательности {а_n} с условием {a _n } и для любой последов ательности {?_n} для к оторой 0n<1, \(\mathop {\lim }\limits_{n \to \infty } \varepsilon _n = 0\) сущест вуютπ={π _n }∈G _s и последовательнос ть {п_i} такие, что a_nμ_n≦1 (n≧n₀), \(a_{n_i } \mu _{\mu _i } \geqq exp( - \varepsilon _{n_i } )\) (i=1, 2, ...) и при эmom звезда Миттаг-Леффлера ряда (1) совпа дает со звездой Миттаг- Леффлера степенных р ядов .     

Combinatorial models for the finite-dimensional Grassmannians

Let ? ⁿ be a linear hyperplane arrangement in ? ⁿ . We define two corresponding posetsG _k (? ⁿ andV _k (? ⁿ ) of oriented matroids, which approximate the GrassmannianG _k (? ⁿ ) and the Stiefel manifoldV _k (? ⁿ ). The basic conjectures are that the “OM-Grassmannian”G _k (? ⁿ ) has the homotopy type ofG _k (? ⁿ ), and that the “OM-Stiefel bundle” Δπ: ΔV _k (? ⁿ ) → ΔG _k (? ⁿ ) is a surjective map. These conjectures can be proved in some cases: we survey the known results and add some new ones. The conjectures fail if they are generalized to nonrealizable oriented matroids ? ⁿ .     

Asymptotic behaviour of the minima to a class of optimization problems for differential inclusions

Denoting byS _k (ξ _k ) the set of solutions of the Cauchy problem $\dot x \in F_k (t,x),x(0) = \xi _k $ , fork∈N∪{∞}, we prove that, under appropriate assumptions, the sequence {S _k (ξ _k )} _{k ∈ N} converges toS _∞(∈_∞) in the Kuratowski sense as well as in the Mosco sense. This result together with some facts from Γ-convergence theory are used to prove a result concerning the existence and the asymptotic behavior of the minima to the optimization problem $$\min \int_0^T {[g_k (t,x(t)) + h_k (t,\dot x(t))]} dt + \psi _k (\xi ),x \in S_k (\xi ),\xi \in K$$ withK a compact subset ofR ⁿ .     

О раэложении мероморфных функций специального вида на простейщие дроби

The paper is devoted to study the entire functions L(λ) with simple real zeros λ_k, k = 1, 2, ..., that admit an expansion of Krein’s type: $$\frac{1}{{\mathcal{L}(\lambda )}} = \sum\limits_{k = 1}^\infty {\frac{{c_k }}{{\lambda - \lambda _k }}} ,\sum\limits_{k = 1}^\infty {\left| {c_k } \right| < \infty } .$$ We present a criterion for these expansions in terms of the sequence {L′ (λ _k )} _k=1 ^∞ . We show that this criterion is applicable to certain classes of meromorphic functions and make more precise a theorem of Sedletski? on the annihilating property in L ² systems of exponents.     

A limit theorem for matrix-solutions of Hamiltonian systems

The following limit theorem on Hamiltonian systems (resp. corresponding Riccati matrix equations) is shown: Given(N, N)-matrices,A, B, C andn ∈ {1,…, N} with the following properties:A and kemelB(x) are constant, rank(I, A, …, A ^n?1) B(x)≠N,B(x)∈C _n(R), andB(x)(A ^T)^j-1 C(x)∈C _n-j(R) forj=1, …, n. Then \(\mathop {\lim }\limits_{x \to x_0 } \eta _1^T \left( x \right)V\left( x \right)U^{ - 1} \left( x \right)\eta _2 \left( x \right) = d_1^T \left( {x_0 } \right)U\left( {x_0 } \right)d_2 \) forx ₀∈R, whenever the matricesU(x), V(x) are a conjoined basis of the differential systemU′=AU + BV, V′=CU?A ^TV, and whenever η_i(x)∈R ^N satisfy η_i(x ₀)=U(x ₀)d _i ∈ imageU(x ₀) η′_i-Aη_ni(x) ∈ imageB(x),B(x)(η′_i(x)-Aη_i(x)) ∈C _n-1 R fori=1,2.     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

On the asymptotic behaviour of linear learning processes with partial forgetting

For linear learning processes with partial forgetting a recursion of the form $$X_{n + 1} = \frac{1}{n}\sum\limits_{k = j_n }^n {(B_k X_k + b_k ) with \frac{{j_n }}{n}} \to \alpha \in [0,1)$$ in a real separable Banach spaceB is investigated. Results on a.s. convergence and rate of convergence of (X _n ) (loglog and distributional invariance principle) are obtained under corresponding assumptions on the sequences of arithmetic means of the random elementsb _n andB _n inB andL(B), resp., together with suitable spectral conditions on the (deterministic) Cesàro limit of (B _n ). By the special casej _n ≡1 results on stochastic approximation are comprehended. The limit process in the invariance principles satisfies a stochastic differential equation with delay.