Search

For an integer n, let d(n) denote the ordinary divisor function. This paper studies the asymptotic behavior of the sumIt is proved in the paper that, as x → ∞,where A1 and A2 are certain constants and ε is any fixed positive real number.The result corrects a false formula given in a paper of Gafurov concerning the same problem, and improves the error claimed by Gafurov.

This paper contains two essentially independent results in the invariant theory of finite groups. First we prove that, for any faithful representation of a non-trivial p-group over a field of characteristic p, the ring of vector invariants ofmcopies of that representation is not Cohen-Macaulay for m ≥ 3. In the second section of the paper we use Poincaré series methods to produce upper bounds for the degrees of the generators for the ring of invariants as long as that ring is Gorenstein. We prove that, for a finite non-trivial group G and a faithful representation of dimension n with n > 1, if the ring of invariants is Gorenstein then the ring is generated in degrees less than or equal to n(|G| − 1). If the ring of invariants is a hypersurface, the upper bound can be improved to |G|.

The purpose of this paper is twofold: we present some matrix inequalities of log-majorization type for eigenvalues indexed by a sequence; we then apply our main theorem to generalize and improve the Hua–Marcus’ inequalities. Our results are stronger and more general than the existing ones.

Let $M=$ diag $(\rho _1,\rho _2)\in M_{2}({\mathbb R})$ be an expanding matrix and Let $\{D_n\}_{n=1}^{\infty }$ be a sequence of digit sets with $D_n=\left \{(0, 0)^T,\,\,\,(a_n, 0 )^T, \,\,\, (0, b_n )^T \right \}$ , where $a_n, b_n\in \{-1,1\}$ . The associated Borel probability measure $$ \begin{align*} \mu_{M,\{D_n\}}:=\delta_{M^{-1}D_1}\ast \delta_{M^{-2}D_2}\ast \delta_{M^{-3}D_3}\ast \cdots \end{align*} $$ is called a Moran Sierpinski-type measure. In this paper, we show that $\mu _{M, \{D_n\}}$ is a spectral measure if and only if $3\mid \rho _i$ for each $i=1, 2$ . The special case is the Sierpinski-type measure with $a_n=b_n=1$ for all $n\in {\mathbb N}$ , which is proved by Dai et al. [Appl. Comput. Harmon. Anal. (2020), https://doi.org/10.1016/j.acha.2019.12.001].

Let $\{M_{n}\}_{n=1}^{\infty }$ be a sequence of expanding matrices with $M_{n}=\operatorname{diag}(p_{n},q_{n})$, and let $\{{\mathcal{D}}_{n}\}_{n=1}^{\infty }$ be a sequence of digit sets with ${\mathcal{D}}_{n}=\{(0,0)^{t},(a_{n},0)^{t},(0,b_{n})^{t},\pm (a_{n},b_{n})^{t}\}$, where $p_{n}$, $q_{n}$, $a_{n}$ and $b_{n}$ are positive integers for all $n\geqslant 1$. If $\sup _{n\geqslant 1}\{\frac{a_{n}}{p_{n}},\frac{b_{n}}{q_{n}}\}, then the infinite convolution $\unicode[STIX]{x1D707}_{\{M_{n}\},\{{\mathcal{D}}_{n}\}}=\unicode[STIX]{x1D6FF}_{M_{1}^{-1}{\mathcal{D}}_{1}}\ast \unicode[STIX]{x1D6FF}_{(M_{1}M_{2})^{-1}{\mathcal{D}}_{2}}\ast \cdots \,$ is a Borel probability measure (Cantor–Dust–Moran measure). In this paper, we investigate whenever there exists a discrete set $\unicode[STIX]{x1D6EC}$ such that $\{e^{2\unicode[STIX]{x1D70B}i\langle \unicode[STIX]{x1D706},x\rangle }:\unicode[STIX]{x1D706}\in \unicode[STIX]{x1D6EC}\}$ is an orthonormal basis for $L^{2}(\unicode[STIX]{x1D707}_{\{M_{n}\},\{{\mathcal{D}}_{n}\}})$.

This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation $m$ that satisfies the minority equations $m(y,x,x)\approx m(x,y,x)\approx m(x,x,y)\approx y$. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP.

Let R be a commutative ring with non-zero identity. In this paper, we introduce theweakly nilpotent graph of a commutative ring. The weakly nilpotent graph of R denoted by Γw(R) is a graph with the vertex set R* and two vertices x and y are adjacent if and only if x y ∊ N(R)*, where R* = R \ {0} and N(R)* is the set of all non-zero nilpotent elements of R. In this article, we determine the diameter of weakly nilpotent graph of an Artinian ring. We prove that if Γw(R) is a forest, then Γw(R) is a union of a star and some isolated vertices. We study the clique number, the chromatic number, and the independence number of Γw(R). Among other results, we show that for an Artinian ring R, Γw(R) is not a disjoint union of cycles or a unicyclic graph. For Artinan rings, we determine diam . Finally, we characterize all commutative rings R for which is a cycle, where is the complement of the weakly nilpotent graph of R.

Let G be a connected graph with vertex set V(G).The degree Kirchhoò index of G is defined as S'(G) = Σ{u,v}⊆V(G) d(u)d(v)R(u, v), where d(u) is the degree of vertex u, and R(u, v) denotes the resistance distance between vertices u and v. In this paper, we characterize the graphs having maximum and minimum degree Kirchhoò index among all n-vertex bicyclic graphs with exactly two cycles.

Let a1, …, a9 be non-zero integers and n any integer. Suppose that a1, …, a9 ≡ n (mod 2) and (ai, aj) = 1 for 1 ≤ i ≤ j ≤ 9. In this paper we prove that (i)if aj are not all of the same sign, then the cubic equation has prime solutions satisfying (ii)if all aj are positive and , then is soluble in primes pj. These results improve our previous results with the bounds max{|aj|}14+ε and max{|aj|}43+ε in place of max{|aj|}8+ε and max{|aj|}25+ε above, respectively.

We study the existence of fixed points for contraction multivalued mappings in modular metric spaces endowed with a graph. The notion of a modular metric on an arbitrary set and the corresponding modular spaces, generalizing classical modulars over linear spaces like Orlicz spaces, were recently introduced. This paper can be seen as a generalization of Nadler and Edelstein’s fixed point theorems to modular metric spaces endowed with a graph.

Let (L, λ) be a locally solid Riesz space. (L, λ) is said to have the Levi property if for every increasing λ-bounded net (xα) ⊂ L+, sup xα exists. The Levi property, appearing in literature also as weak Fatou property (Luxemburg and Zaanen), condition (B) or monotone completeness (Russian terminology), is a classical object of investigation. In this paper we are interested in some variations of the property, their mutual relationships and applications in the theory of topological Riesz spaces. In the first part of the paper we clarify the status of two problems of Aliprantis and Burkinshaw. In the second part we study ideal-injective Riesz spaces.

In this paper we investigate the structure of certain spaces of operator valued measures and the Lp spaces they generate. The work is motivated by our earlier paper [1] in which we studied the Lp spaces generated by matrix valued measures. The present results can thus be regarded as a generalization of this “finite dimensional” situation.

Several years ago, C. Long wrote two papers ([3], [4]) that related to F(n) the number of ordered factorizations of n. The second of these papers [4] was devoted entirely to a discussion of conjectured formula for F(n).

Throughout this paper rings are understood to be commutative with unity. In this paper we prove the general approximation theorem for valuations whose infinite ideals have large Jacobson radicals. We give an example in which it is shown that approximation theorems for Manis valuations do not hold in the general case. Also we prove that every valuation pair (Rv, Pv) of a total quotient ring T(R) whose infinite ideal has large Jacobson radical is a Prüfer valuation pair.

This paper is a continuation of two papers [4], [5] and brings out the solution of the ballot problem in its general form.In [5], Narayana has considered a generalised occupancy problem which can be viewed as a problem in compositions of integers. In what follows, we use the definitions of [6].

In this paper, we investigate the common approximate fixed point sequences of nonexpansive semigroups of nonlinear mappings {T1}t≥0, i.e., a family such that T0(x) = x, Ts+t = Ts(Tt(x)), where the domain is a metric space (M; d). In particular, we prove that under suitable conditions the common approximate fixed point sequences set is the same as the common approximate fixed point sequences set of two mappings from the family. Then we use the Ishikawa iteration to construct a common approximate fixed point sequence of nonexpansive semigroups of nonlinear mappings.

In a previous paper the authors developed an intersection theory for subspaces of rational functions on an algebraic variety X over k = ℂ. In this short note, we first extend this intersection theory to an arbitrary algebraically closed ground field k. Secondly we give an isomorphism between the group of Cartier b-divisors on the birational class of X and the Grothendieck group of the semigroup of subspaces of rational functions on X. The constructed isomorphism moreover preserves the intersection numbers. This provides an alternative point of view on Cartier b-divisors and their intersection theory.

In this paper we show that every module of a table algebra can be considered as a faithful module of some quotient table algebra. Also we prove that every faithful module of a table algebra determines a closed subset that is a cyclic group. As a main result we give some information about multiplicities of characters in table algebras.

This paper gives a new upper bound for the essential dimension and the essential 2-dimension of the split simply connected group of type E7 over a field of characteristic not 2 or 3. In particular, ed(E7) ≤ 29, and ed(E7, 2) ≤ 27.

Let a1,;… a9 be nonzero integers and n any integer. Suppose that a1+…+a9 ≡ n (mod 2) and (ai ; aj ) = 1 for 1 ≤ i < j ≤9. In this paper we prove the following:(i) If aj are not all of the same sign, then the cubic equation has prime solutions satisfying pj ≪|n|1/3 + max{|aj|}14+∊.(ii) If all aj are positive and n ≫ max{|aj|} 43+∊, then is solvable in primes pj.These results are an extension of the linear and quadratic relative problems.

M. Hu and S. Wen considered quasisymmetrically minimal uniform Cantor sets of Hausdorff dimension 1, where at the k-th set one removes from each interval I a certain number nk of open subintervals of length ck|I|, leaving (nk + 1) closed subintervals of equal length. Quasisymmetrically Moran sets of Hausdorff dimension 1 considered in the paper are more general than uniform Cantor sets in that neither the open subintervals nor the closed subintervals are required to be of equal length.

In this paper we study left invariant Einstein–Randers metrics on compact Lie groups. First, we give a method to construct left invariant non-Riemannian Einstein–Randers metrics on a compact Lie group, using the Zermelo navigation data. Then we prove that this gives a complete classification of left invariant Einstein–Randers metrics on compact simple Lie groups with the underlying Riemannian metric naturally reductive. Further, we completely determine the identity component of the group of isometries for this type of metrics on simple groups. Finally, we study some geometric properties of such metrics. In particular, we give the formulae of geodesics and flag curvature of such metrics.

LetRbe a commutative ring with identity, and letMbe a unitary module overR. We callMH-smaller (HS for short) if and only ifMis infinite and |M/N| < |M| for every nonzero submoduleNofM. After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: supposeMis faithful overR,Ris a domain (we will show that we can restrict to this case without loss of generality), andKis the quotient field ofR. IfMis HS overR, thenRis HS as a module over itself,R⊆M⊆K, and there exists a generating setSforMoverRwith |S| < |R|. We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on Jónsson modules.

Let C be a hyperelliptic curve given by the equation y2 = f(x) for f ∈ ℤ[x] without multiple roots. We say that points Pi = (xi, yi) ∈ C(ℚ) for i = 1, 2, … , m are in arithmetic progression if the numbers xi for i = 1, 2, … , m are in arithmetic progression.In this paper we show that there exists a polynomial k ∈ ℤ[t] with the property that on the elliptic curve ε′ : y2 = x3+k(t) (defined over the field ℚ(t)) we can find four points in arithmetic progression that are independent in the group of all ℚ(t)-rational points on the curve Ε′. In particular this result generalizes earlier results of Lee and Vélez. We also show that if n ∈ ℕ is odd, then there are infinitely many k's with the property that on curves y2 = xn + k there are four rational points in arithmetic progressions. In the case when n is even we can find infinitely many k's such that on curves y2 = xn +k there are six rational points in arithmetic progression.

Hinčin proved that any limit law, associated with a triangular array of infinitesimal random variables, is infinitely divisible. The analogous result for additive free convolution was proved earlier by Bercovici and Pata. In this paper we will prove corresponding results for the multiplicative free convolution of measures defined on the unit circle and on the positive half-line.

Let k be a field of characteristic not 2, 3. Let G be an exceptional simple algebraic group over k of type F4, 1E6 or E7 with trivial Tits algebras. Let X be a projective G-homogeneous variety. If G is of type E7, we assume in addition that the respective parabolic subgroup is of type P7. The main result of the paper says that the degree map on the group of zero cycles of X is injective.

Let R be a commutative Noetherian ring, α an ideal of R and M a finitely generated R-module. Let t be a non-negative integer. It is known that if the local cohomology module is finitely generated for all i < t, then is finitely generated. In this paper it is shown that if is Artinian for all i < t, then need not be Artinian, but it has a finitely generated submodule N such that /N is Artinian.

Let v ≥ k ≥ 1 and λ ≥ 0 be integers. A block design BD(v, k, λ) is a collection of k-subsets of a v-set X in which every unordered pair of elements from X is contained in exactly λ elements of . More generally, for a fixed simple graph G, a graph design GD(v, G, λ) is a collection of graphs isomorphic to G with vertices in X such that every unordered pair of elements from X is an edge of exactly λ elements of . A famous result of Wilson says that for a fixed G and λ, there exists a GD(v, G, λ) for all sufficiently large v satisfying certain necessary conditions. A block (graph) design as above is resolvable if can be partitioned into partitions of (graphs whose vertex sets partition) X. Lu has shown asymptotic existence in v of resolvable BD(v, k, λ), yet for over twenty years the analogous problem for resolvable GD(v, G, λ) has remained open. In this paper, we settle asymptotic existence of resolvable graph designs.

In this paper, we investigate the higher simplicial cohomology groups of the convolution algebra ℓ1(S) for various semigroups S. The classes of semigroups considered are semilattices, Clifford semigroups, regular Rees semigroups and the additive semigroups of integers greater than a for some integer a. Our results are of two types: in some cases, we show that some cohomology groups are 0, while in some other cases, we show that some cohomology groups are Banach spaces.

The aim of this paper is to study sequences of integers for which the second differences between their squares are constant. We show that there are infinitely many nontrivial monotone sextuples having this property and discuss some related problems.

In this paper, we consider the behavior of the commutators of convolution operators on the Triebel–Lizorkin spaces .

In this paper, we find a lower bound on the number of cyclic function fields of prime degreelwhose class numbers are divisible by a given integern. This generalizes a previous result of D. Cardon and R. Murty which gives a lower bound on the number of quadratic function fields with class numbers divisible byn.

In this paper, we study the Lp mapping properties of a class of singular integral operators with rough kernels belonging to certain block spaces. We prove that our operators are bounded on Lp provided that their kernels satisfy a size condition much weaker than that for the classical Calderón–Zygmund singular integral operators. Moreover, we present an example showing that our size condition is optimal. As a consequence of our results, we substantially improve a previously known result on certain maximal functions.

Let E be an elliptic curve defined over ℚ, of conductor N and without complex multiplication. For any positive integer l, let ϕl be the Galois representation associated to the l-division points of E. From a celebrated 1972 result of Serre we know that ϕl is surjective for any sufficiently large prime l. In this paper we find conditional and unconditional upper bounds in terms of N for the primes l for which ϕl is not surjective.

We look at the simple continued fraction expansion of √D for any D = 2hc where c > 1 is odd with a goal of determining necessary and sufficient conditions for the central norm (as determined by the infrastructure of the underlying real quadratic order therein) to be 2h. At the end of the paper, we also address the case where D = c is odd and the central norm of √D is equal to 2.

The usual constructions of classifying spaces for monoidal categories produce CW-complexes withmany cells that,moreover, do not have any proper geometricmeaning. However, geometric nerves ofmonoidal categories are very handy simplicial sets whose simplices have a pleasing geometric description: they are diagrams with the shape of the 2-skeleton of oriented standard simplices. The purpose of this paper is to prove that geometric realizations of geometric nerves are classifying spaces for monoidal categories.

In this paper we establish a Hopf type lemma and a CR type inversion for the generalized Greiner operator. Some nonlinear Liouville type results are given.

Let P be a transitive permutation group of order pm, p an odd prime, containing a regular cyclic subgroup. The main result of this paper is a determination of the suborbits of P. The main result is used to give a simple proof of a recent result by J. Morris on Cayley digraph isomorphisms. Received by the editors August 15, 2002; revised March 18, 2003. The first author was partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A-4792. The second author was partially supported by the NSFC(19901022), BNSF(19920003), SRF for ROCS SEM, DPFIHE(97000141) and SYSF(19981002). AMS subject classification: 20B25, 05C60. c ©Canadian Mathematical Society 2004. 161

In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of rational points of bounded height on a line. This upper bound is such that it can be easily controlled as the line varies, and hence is used to sum the counting functions of the lines which cover the original variety $V$., Comment: LaTeX, 9 pages, no figures

This paper characterizes when a Delone set X in is an ideal crystal in terms of restrictions on the number of its local patches of a given size or on the heterogeneity of their distribution. For a Delone set X, let NX(T) count the number of translation-inequivalent patches of radius T in X and let MX(T) be the minimum radius such that every closed ball of radius MX(T) contains the center of a patch of every one of these kinds. We show that for each of these functions there is a “gap in the spectrum” of possible growth rates between being bounded and having linear growth, and that having sufficiently slow linear growth is equivalent to X being an ideal crystal.Explicitly, for NX(T), if R is the covering radius of X then either NX(T) is bounded or NX(T) ≥ T/2R for all T > 0. The constant 1/2R in this bound is best possible in all dimensions.For MX(T), either MX(T) is bounded or MX(T) ≥ T/3 for all T > 0. Examples show that the constant 1/3 in this bound cannot be replaced by any number exceeding 1/2. We also show that every aperiodic Delone set X has MX(T) ≥ c(n)T for all T > 0, for a certain constant c(n) which depends on the dimension n of X and is > 1/3 when n > 1.

H. O. Kim has shown that contrary to the case of Hp-space, the Smirnov class M defined by the radial maximal function is essentially smaller than the classical Smirnov class of the disk. In the paper we show that these two classes have the same corresponding locally convex structure, i.e. they have the same dual spaces and the same Fréchet envelopes. We describe a general form of a continuous linear functional on M and multiplier from M into Hp, 0 < p ≤ ∞.

Let G be a discrete subgroup of SL(2, ℝ) which contains Γ(N) for some N. If the genus of X(G) is zero, then there is a unique normalised generator of the field of G-automorphic functions which is known as a normalised Hauptmodul. This paper gives a characterisation of normalised Hauptmoduls as formal q series using modular polynomials.

This paper is concernedwith the structure of the arithmetic sum of a finite number of central Cantor sets. The technique used to study this consists of a duality between central Cantor sets and sets of subsums of certain infinite series. One consequence is that the sum of a finite number of central Cantor sets is one of the following: a finite union of closed intervals, homeomorphic to the Cantor ternary set or an M-Cantorval.

The paper is dealing with determination of the integral along the fractal arc γ on the complex plane by terms of polynomial approximations of the function ƒ. We obtain inequalities for polynomials and conditions of integrability for functions from the Hölder, Besov and Slobodetskii spaces.

A new infinite product tn was introduced by S. Ramanujan on the last page of his third notebook. In this paper, we prove Ramanujan’s assertions about tn by establishing new connections between themodular jinvariant and Ramanujan’s cubic theory of elliptic functions to alternative bases. We also show that for certain integers n, tn generates the Hilbert class field of . This shows that tn is a new class invariant according to H. Weber’s definition of class invariants.

In this paper we prove: for any positive integers a and q with (a, q) = 1, we have uniformlyThis improves the previous bound obtained by D. Hajela, A. Pollington and B. Smith [5].

We study the existence of solutions of the semilinear equations (1) in which the non-linearity g may grow superlinearly in u in one of directions u → ∞ and u → −∞, and (2) −Δu + g(x, u) = h, in which the nonlinear term g may grow superlinearly in u as |u| → ∞. The purpose of this paper is to obtain solvability theorems for (1) and (2) when the Landesman-Lazer condition does not hold. More precisely, we require that h may satisfy are arbitrarily nonnegative constants, . The proofs are based upon degree theoretic arguments.

In [7,3.1 ] the authors show that if a space X is realcompact and locally compact, then X* is a P′-space. In this paper we show that the hypothesis of realcompactness can be weakened. We also look at other conditions on X that are sufficient to guarantee that X* is a P′-space.

In this paper, we show that the lattice of closed subsets of the completion, in the Jacobson radical topology, of a finitely generated module M is isomorphic to the completion, under the Hausdorff topology, of the lattice of closed subsets of M. This extends submodule-theoretic results for complete modules to modules satisfying Chevalley's Theorem. We show that the lattice of submodules of every finitely generated module over a semi-local ring R is complete in the Hausdorff topology if and only if R is complete in the Jacobson radical topology.

Let R be a root system (in the sense of Bourbaki) in a finite dimensional real inner product space V. A subset P ⊂ R is closed if α, β ∊ P and α + β ∊ R imply that α + β ∊ P. In this paper we shall classify, up to conjugacy by the Weyl group W of R, all closed sets P ⊂ R such that R\P is also closed. We also show that if θ:R —> R′ is a bijection between two root systems such that both θ and θ-1 preserve closed sets, and if R has at most one irreducible component of type A1, then θ is an isomorphism of root systems.