Largeness of the set of finite products in a semigroup

We investigate when the set of finite products of distinct terms of a sequence 〈x _n 〉 _n=1^∞ in a semigroup (S,⋅) is large in any of several standard notions of largeness. These include piecewise syndetic, central, syndetic, central*, and IP*. In the case of a “nice” sequence in (S,⋅)=(ℕ,+) one has that FS(〈x _n 〉 _n=1^∞) has any or all of the first three properties if and only if {x _n+1−∑ _t=1 ⁿ x _t :n∈ℕ} is bounded from above. N. Hindman acknowledges support received from the National Science Foundation via Grant DMS-0554803.     

Subdirectly irreducible \mathcal{RGC} -commutative right H-semigroups

A semigroup S is said to be ℛ-commutative if, for all elements a,b∈S, there is an element x∈S ¹ such that ab=bax. A semigroup S is called a generalized conditionally commutative (briefly, -commutative) semigroup if it satisfies the identity aba ²=a ² ba. An ℛ-commutative and -commutative semigroup is called an -commutative semigroup. A semigroup S is said to be a right H-semigroup if every right congruence of S is a congruence of S. In this paper we characterize the subdirectly irreducible semigroups in the class of -commutative right H-semigroups. Research supported by the Hungarian NFSR grant No T029525.     

Representation of measurable functions by series in Walsh subsystems

For any sequence {ω(n)} _n∈ℕ tending to infinity we construct a “quasiquadratic” representation spectrum Λ = {n ² + o(ω(n))} _n∈ℕ: for any almost everywhere (a. e.) finite measurable function f(x) there exists a series in the form $ \mathop \sum \limits_{k \in \Lambda } $ \mathop \sum \limits_{k \in \Lambda } α _k ω _k (x) that converges a. e. to this function, where {w _k (x)} _k∈ℕ is the Walsh system. We find representation spectra in the form {n ^l + o(n ^l )} _n∈ℕ, where l ∈ {2 ^k } _k∈ℕ.     

Digital representation of semigroups and groups

A digital representation of a semigroup (S,⋅) is a family 〈F _t 〉 _t∈I , where I is a linearly ordered set, each F _t is a finite non-empty subset of S and every element of S is uniquely representable in the form Π _t∈H   x _t where H is a finite subset of I, each x _t ∈F _t and products are taken in increasing order of indices. (If S has an identity 1, then Π _t∈∅   x _t =1.) A strong digital representation of a group G is a digital representation of G with the additional property that for each t∈I, for some x _t ∈G and some m _t >1 in ℕ where m _t =2 if the order of x _t is infinite, while, if the order of x _t is finite, then m _t is a prime and the order of x _t is a power of m _t . We show that any free semigroup has a digital representation with each | F _t |=1 and that each Abelian group has a strong digital representation. We investigate the problem of whether all groups, or even all finite groups have strong digital representations, obtaining several partial results. Finally, we give applications to the algebra of the Stone-Čech compactification of a discrete group and the weakly almost periodic compactification of a discrete semigroup. Dedicated to Karl Heinrich Hofmann on the occasion of his 75th birthday. Stefano Ferri was partially supported by a research grant of the Faculty of Sciences of Universidad de los Andes. The support is gratefully acknowledged. Neil Hindman acknowledges support received from the National Science Foundation via Grant DMS-0554803.     

To the problem of a strong differentiability of integrals along different directions

It is proved that for any given sequence (σ _n ,n ∈ ℕ)=Γ₀ ⊂ Γ, where Γ is the set of all directions in ℝ² (i.e., pairs of orthogonal straight lines) there exists a locally integrable functionf on ℝ² such that: (1) for almost all directionsσ ∈ Γ\Γ₀ the integral ∫f is differentiable with respect to the familyB _2σ of open rectangles with sides parallel to the straight lines fromσ: (2) for every directionσ _n ∈ Γ₀ the upper derivative of ∫f with respect toB _{2σ n} equals +∞; (3) for every directionσ ∈ Γ the upper derivative of ∫ |f| with respect toB _2σ equals +∞.     

Permutation functions and (n,m)-commutativity of semigroups

By [4], a semigroupS is called an (n, m)-commutative semigroup (n, m ∈ ?⁺, the set of all positive integers) if $$x_1 x_2 \cdot \cdot \cdot x_n y_1 y_2 \cdot \cdot \cdot y_m = y_1 y_2 \cdot \cdot \cdot y_m x_1 x_2 \cdot \cdot \cdot x_n $$ holds for allx ₁,...,x _n ,y ₁,...,y _m ∈S It is evident that ifS is an (n, m)-commutative semigroup then it is (n′,m′)-commutative for alln′≥n andm′≥m. In this paper, for an arbitrary semigroupS, we determine all pairs (n, m) of positive integersn andm for which the semigroupS is (n, m)-commutative. In our investigation a special type of function mapping ?⁺ into itself plays an important role. These functions which are defined and discussed here will be called permutation functions.     

Convergence of the median filterings of sequences

Suppose thatx=|x(n)|_n∈ℤ is a sequence of real numbers. For eachp∈ℕ,x ^p =|x ^p (n)|_n∈ℤis the resulting sequence ofx throughp times median filterings with window 2k+1. It is proved that whenp→∞, bothx ^(2p) andx(² p}-1) are convergent. Thus the problem of convergence of the median filters of infinite-length sequences is completely solved. Project supported by the National Natural Science Foundation of China (Grant No. 16971047).     

Uniqueness of Solutions of Some Nonlocal Boundary-Value Problems for Operator-Differential Equations on a Finite Segment

For the equation L ₀ x(t) + L ₁ x ⁽¹⁾(t) + ... + L _n x ⁽ⁿ⁾(t) = 0, where L _k, k = 0, 1, ... , n, are operators acting in a Banach space, we formulate conditions under which a solution x(t) that satisfies some nonlocal homogeneous boundary conditions is equal to zero.     

Asymptotic results on infinite tandem queueing networks

We consider an infinite tandem queueing network consisting of ·/GI/1/∞ stations with i.i.d. service times. We investigate the asymptotic behavior of t(n, k), the inter-arrival times between customers n and n + 1 at station k, and that of w(n, k), the waiting time of customer n at station k. We establish a duality property by which w(n, k) and the “idle times”y(n, k) play symmetrical roles. This duality structure, interesting by itself, is also instrumental in proving some of the ergodic results. We consider two versions of the model: the quadrant and the half-plane. In the quadrant version, the sequences of boundary conditions {w(0,k), k∈ℕ} and {t(n, 0), n∈ℕ}, are given. In the half-plane version, the sequence {t(n, 0), n∈ℕ} is given. Under appropriate assumptions on the boundary conditions and on the services, we obtain ergodic results for both versions of the model. For the quadrant version, we prove the existence of temporally ergodic evolutions and of spatially ergodic ones. Furthermore, the process {t(n, k), n∈ℕ} converges weakly with k to a limiting distribution, which is invariant for the queueing operator. In the more difficult half plane problem, the aim is to obtain evolutions which are both temporally and spatially ergodic. We prove that 1/n∑ _k=1 ⁿ w(0, k) converges almost surely and in L ₁ to a finite constant. This constitutes a first step in trying to prove that {t(n,k), n∈ℤ} converges weakly with k to an invariant limiting distribution. Received: 23 March 1999 / Revised version: 5 January 2000 / Published online: 12 October 2000     

The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group

Let A be an Artin group with standard generating set {σ _s :s∈S}. Tits conjectured that the only relations in A amongst the squares of the generators are consequences of the obvious ones, namely that σ _s ² and σ _t ² commute whenever σ _s and σ _t commute, for s,t∈S. In this paper we prove Tits’ conjecture for all Artin groups. In fact, given a number m _s ≥2 for each s∈S, we show that the elements {T _s =σ _s ^ms :s∈S} generate a subgroup that has a finite presentation in which the only defining relations are that T _s and T _t commute if σ _s and σ _t commute. Oblatum 21-III-2000 & 1-XII-2000?Published online: 5 March 2001     

Convergence in law of partial sum processes in p-variation norm

Let X ₁, X ₂, … be a sequence of independent identically distributed real-valued random variables, S _n be the nth partial sum process S _n (t) ≔ X ₁ + ⋯ X _⌊tn⌋, t ∈ [0, 1], W be the standard Wiener process on [0, 1], and 2 < p < ∞. It is proved that n ^−1/2 S _n converges in law to σW as n → ∞ in p-variation norm if and only if EX ₁ = 0 and σ ² = EX ₁² < ∞. The result is applied to test the stability of a regression model. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-21/07     

Gumbel statistics for the longest interval of identical spins in a one-dimensional Gibbs measure

We consider one-dimensional Gibbs measures on spin configurations σ ∈ {–1,+1}^ℤ. For N ∈ ℕ let l _N denote the length of the longest interval of consecutive spins of the same kind in the interval [0,N]. We show that the distribution of a suitable continuous modification l _c (N) of l _N converges to the Gumbel distribution, i.e., for some α, β ∈ (0, ∞) and γ ∈ ℝ, lim _{N →∞} ℙ(l _c (N) ≤ α log N + βx + γ) = e ^{–e –x} . Received: 2 September 2002     

Oscillation theorems for second-order nonlinear neutral delay dynamic equations on time scales

By employing the generalized Riccati transformation technique, we will establish some new oscillation criteria and study the asymptotic behavior of the nonoscillatory solutions of the second-order nonlinear neutral delay dynamic equation

On weak positive supercyclicity

A bounded linear operator T on a separable complex Banach space X is called weakly supercyclic if there exists a vector x ∈ X such that the projective orbit {λT ⁿ x: n ∈ ℕ λ ∈ ℂ} is weakly dense in X. Among other results, it is proved that an operator T such that σ _p (T ^*) = 0, is weakly supercyclic if and only if T is positive weakly supercyclic, that is, for every supercyclic vector x ∈ X, only considering the positive projective orbit: {rT ⁿ x: n ∈ ℂ, r ∈ ℝ₊} we obtain a weakly dense subset in X. As a consequence it is established the existence of non-weakly supercyclic vectors (non-trivial) for positive operators defined on an infinite dimensional separable complex Banach space. The paper is closed with concluding remarks and further directions. Partially supported by MEC MTM2006-09060 and MTM2006-15546, Junta de Andalucía FQM-257 and P06-FQM-02225. Partially supported by Junta de Andalucía FQM-257, and P06-FQM-02225     

Stieltjes Perfect Semigroups are Perfect

An abelian *-semigroup S is perfect (resp. Stieltjes perfect) if every positive definite (resp. completely so) function on S admits a unique disintegration as an integral of hermitian multiplicative functions (resp. nonnegative such). We prove that every Stieltjes perfect semigroup is perfect. The converse has been known for semigroups with neutral element, but is here shown to be not true in general. We prove that an abelian *-semigroup S is perfect if for each s ∈ S there exist t ∈ S and m, n ∈ ℕ₀ such that m + n ≥ 2 and s + s* = s* + mt + nt*. This was known only with s = mt + nt* instead. The equality cannot be replaced by s + s* + s = s + s* + mt + nt* in general, but for semigroups with neutral element it can be replaced by s + p(s + s*) = p(s + s*) + mt + nt* for arbitrary p ∈ ℕ (allowed to depend on s).     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

On Hong’s conjecture for power LCM matrices

A set S={x ₁,...,x _n } of n distinct positive integers is said to be gcd-closed if (x _i , x _j ) ∈ S for all 1 ⩽ i, j ⩽ n. Shaofang Hong conjectured in 2002 that for a given positive integer t there is a positive integer k(t) depending only on t, such that if n ⩽ k(t), then the power LCM matrix ([x _i , x _j ] ^t ) defined on any gcd-closed set S={x ₁,...,x _n } is nonsingular, but for n ⩾ k(t) + 1, there exists a gcd-closed set S={x ₁,...,x _n } such that the power LCM matrix ([x _i , x _j ] ^t ) on S is singular. In 1996, Hong proved k(1) = 7 and noted k(t) ⩾ 7 for all t ⩾ 2. This paper develops Hong’s method and provides a new idea to calculate the determinant of the LCM matrix on a gcd-closed set and proves that k(t) ⩾ 8 for all t ⩾ 2. We further prove that k(t) ⩾ 9 iff a special Diophantine equation, which we call the LCM equation, has no t-th power solution and conjecture that k(t) = 8 for all t ⩾ 2, namely, the LCM equation has t-th power solution for all t ⩾ 2.     

Second module cohomology group of inverse semigroup algebras

Let S be a commutative inverse semigroup and let E be its subsemigroup of idempotents. In this paper we define the n-th module cohomology group of Banach algebras and we show that H²_l¹(E)(l¹(S),l¹(S)⁽ⁿ⁾)\mathcal {H}^{2}_{\ell^{1}(E)}(\ell^{1}(S),\ell^{1}(S)^{(n)}) is a Banach space for every odd n∈ℕ.     

New approach to the numerical solution of forward-backward equations

This paper is concerned with the approximate solution of functional differential equations having the form: x′(t) = αx(t) + βx(t - 1) + γx(t + 1). We search for a solution x, defined for t ∈ [−1, k], k ∈ ℕ, which takes given values on intervals [−1, 0] and (k-1, k]. We introduce and analyse some new computational methods for the solution of this problem. Numerical results are presented and compared with the results obtained by other methods.