Erdős-Ginzburg-Ziv theorem for finite commutative semigroups

Let \(\mathcal{S}\) be a finite additively written commutative semigroup, and let \(\exp(\mathcal{S})\) be its exponent which is defined as the least common multiple of all periods of the elements in \(\mathcal{S}\) . For every sequence T of elements in \(\mathcal{S}\) (repetition allowed), let \(\sigma(T) \in\mathcal{S}\) denote the sum of all terms of T. Define the Davenport constant \(\mathsf{D}(\mathcal{S})\) of \(\mathcal{S}\) to be the least positive integer d such that every sequence T over \(\mathcal{S}\) of length at least d contains a proper subsequence T′ with σ(T′)=σ(T), and define \(\mathsf{E}(\mathcal{S})\) to be the least positive integer ? such that every sequence T over \(\mathcal{S}\) of length at least ? contains a subsequence T′ with \(|T|-|T'|= \lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil \exp(\mathcal{S})\) and σ(T′)=σ(T). When \(\mathcal{S}\) is a finite abelian group, it is well known that \(\lceil\frac{|\mathcal{S}|}{\exp(\mathcal{S})} \rceil\exp (\mathcal{S})=|\mathcal{S}|\) and \(\mathsf{E}(\mathcal{S})=\mathsf{D}(\mathcal{S})+|\mathcal{S}|-1\) . In this paper we investigate whether \(\mathsf{E}(\mathcal{S})\leq \mathsf{D}(\mathcal{S})+ \lceil\frac{|\mathcal{S}|}{\exp(\mathcal {S})} \rceil \exp(\mathcal{S})-1\) holds true for all finite commutative semigroups \(\mathcal{S}\) . We provide a positive answer to the question above for some classes of finite commutative semigroups, including group-free semigroups, elementary semigroups, and archimedean semigroups with certain constraints.     

An explicit Lévy-Hinčin formula for convolution semigroups on locally compact groups

LetG be a locally compact group and (_t)_{t 0} a continuous convolution semigroup of probability measures onG. We show that an operatorN is the infinitesimal generator of (_t)_{t 0} iffN is defined at least on the spaceC ₂(G) of twice right differentiable functions and if

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.     

The Erdös-Kac theorem for additive arithmetical semigroups

We show that the Erdös-Kac theorem for additive arithmetical semigroups can be proved under the condition that the counting function of elements has the asymptotics G(n) = q ⁿ (A + O(1/(lnn)^k) as n → ∞ with A > 0, q > 1, and arbitrary k ∈ ? and that P(n) = O(q ⁿ /n) for the number of prime elements of degree n. This improves a result of Zhang.     

Wong–Zakai approximation and support theorem for SPDEs with locally monotone coefficients

In this paper we present the Wong–Zakai approximation results for a class of nonlinear SPDEs with locally monotone coefficients and driven by multiplicative Wiener noise. This model extends the classical monotone one and includes examples like stochastic 2d Navier–Stokes equations, stochastic porous medium equations, stochastic p-Laplace equations and stochastic reaction–diffusion equations. As a corollary, our approximation results also describe the support of the distribution of solutions.     

An Assmus–Mattson theorem for codes over commutative association schemes

We prove an Assmus–Mattson-type theorem for block codes where the alphabet is the vertex set of a commutative association scheme (say, with s classes). This in particular generalizes the Assmus–Mattson-type theorems for \(\mathbb {Z}_4\)-linear codes due to Tanabe (Des Codes Cryptogr 30:169–185, 2003) and Shin et al. (Des Codes Cryptogr 31:75–92, 2004), as well as the original theorem by Assmus and Mattson (J Comb Theory 6:122–151, 1969). The weights of a code are s-tuples of non-negative integers in this case, and the conditions in our theorem for obtaining t-designs from the code involve concepts from polynomial interpolation in s variables. The Terwilliger algebra is the main tool to establish our results.     

An Erdős–Fuchs theorem for ordered representation functions

The Ramanujan Journal - Let $$k\ge 2$$ be a positive integer. We study concentration results for the ordered representation functions $$r^{{ \le }}_k({\mathcal {A}},n) = \# \big \{ (a_1 \le \dots...     

An extension of Bonnet–Myers theorem

We give a complementary generalization of the extensions of Bonnet–Myers theorem obtained by Calabi and also Cheeger–Gromov–Taylor.

     

Regularity for semigroups of Ornstein–Uhlenbeck processes

Under mild conditions on the characteristic exponent or the symbol of Lévy process, we derive explicit estimates for L ^p (dx) → L ^q (dx) (1 ≤ p ≤ q ≤ ∞) norms of semigroups and their gradients of the associated Lévy driven Ornstein–Uhlenbeck process. Our result efficiently applies to the class of Lévy driven Ornstein–Uhlenbeck processes, where the asymptotic behaviour near infinity for the symbol of Lévy process is known.     

An improvement of the Arzela–Ascoli theorem

For the classical Arzela–Ascoli theorem and its typical modern formulation, we have improved the sufficiency part by weakening the compactness of the domain space, and the necessity part is improved by strengthening the necessity part of the classical version.     

An alternative proof of Lickorish–Wallace theorem

We introduce the concept of s-distance of an unstabilized Heegaard splitting. We prove if a 3-manifold admits an unstabilized genus g Heegaard splitting with s-distance m  , then surgery on some (m−1)$(m-1)$ components link may produce a 3-manifold which admits a stabilized genus g Heegaard splitting. We also give an alternative proof of the fundamental theorem of surgery theory, which states that every closed orientable 3-manifold is obtained by surgery on some link in 3-sphere.     

An isomorphism theorem for Teichmüller curves

It is proved that for any Fuchsian group Г such that H/Г is a hyperbolic Riemann surface, the Teichmuller curve V(Г) has a unique complex manifold structure so that the natural projection of the Bers fiber space F(Г) onto V(Г) is holomorphic with local holomorphic sections. An isomorphism theorem for Teichmuller curves is deduced, which generalizes a classical result that the Teichmuller curve V(Г) depends only on the type of Г and not on the orders of the elliptic elements of Г when H/Г is a compact hyperbolic Riemann surface.     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

The Gearhart-Prüss theorem for a class of degenerate semigroups of operators

We consider a class of semigroups of operators in Hilbert space whose generators are linear relations. An analog of the Gearhart-Prüss theorem for semigroups of operators from the class under consideration is obtained.     

Automatic structures for subsemigroups of Baumslag–Solitar semigroups

This paper studies automatic structures for subsemigroups of Baumslag–Solitar semigroups (that is, semigroups presented by 〈x,y∣(yx ^m ,x ⁿ y)〉 where $m,n \in\mathbb {N}$ ). A geometric argument (a rarity in the field of automatic semigroups) is used to show that if m>n, all of the finitely generated subsemigroups of this semigroup are (right-) automatic. If m<n, all of its finitely generated subsemigroups are left-automatic. If m=n, there exist finitely generated subsemigroups that are not automatic. An appendix discusses the implications of these results for the theory of Malcev presentations. (A Malcev presentation is a special type of presentation for semigroups embeddable into groups.)     

The Gauss–Wilson theorem for quarter-intervals

We define a Gauss factorial N _n ! to be the product of all positive integers up to N that are relatively prime to n. It is the purpose of this paper to study the multiplicative orders of the Gauss factorials $\left\lfloor\frac{n-1}{4}\right\rfloor_{n}!$ for odd positive integers n. The case where n has exactly one prime factor of the form p≡1(mod4) is of particular interest, as will be explained in the introduction. A fundamental role is played by p with the property that the order of  $\frac{p-1}{4}!$ modulo p is a power of 2; because of their connection to two different results of Gauss we call them Gauss primes. Our main result is a complete characterization in terms of Gauss primes of those n of the above form that satisfy $\left\lfloor\frac{n-1}{4}\right\rfloor_{n}!\equiv 1\pmod{n}$ . We also report on computations that were required in the process.