Hyper MV ‐ideals in hyper MV ‐algebras

In this paper we define the hyper operations ?, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Number of points on certain hyperelliptic curves defined over finite fields

For odd primes p and l such that the order of p modulo l is even, we determine explicitly the Jacobsthal sums _l(v), ψ_l(v), and ψ_2l(v), and the Jacobsthal–Whiteman sums and , over finite fields F_q such that . These results are obtained only in terms of q and l. We apply these results pertaining to the Jacobsthal sums, to determine, for each integer n1, the exact number of F_qⁿ-rational points on the projective hyperelliptic curves aY²Z^e−2=bX^e+cZ^e (abc≠0) (for e=l,2l), and aY²Z^l−1=X(bX^l+cZ^l) (abc≠0), defined over such finite fields F_q. As a consequence, we obtain the exact form of the ζ-functions for these three classes of curves defined over F_q, as rational functions in the variable t, for all distinct cases that arise for the coefficients a,b,c. Further, we determine the exact cases for the coefficients a,b,c, for each class of curves, for which the corresponding non-singular models are maximal (or minimal) over F_q.     

KK ‐theory of amalgamated free products of C *‐algebras

J. Cuntz has conjectured the existence of two cyclic six terms exact sequences relating the KK ‐groups of the amalgamated free product A _{1 ?? B} A ₂ to the KK ‐groups of A ₁, A ₂ and B. First we establish automatic existence of strict and absorbing homomorphisms. Then we use this result to verify the conjecture when B is a countable direct sum of matrix algebras and the embeddings of B into A ₁ and A ₂ are quasiunital. Inspired by the proof we achieve the following nice classification result: A separable C *‐algebra B is a countable direct sum of matrix algebras if and only if the unitary group of the multiplier algebra U M (B) is compact in the strict topology. Finally we prove the conjecture when the amalgamated free product has the property that any asymptotically split extension of A _{1 ?? B} A ₂ is split. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Generalization on the Difference Between an Integer and Its Inverse Modulo Q

The main purpose of this paper is to use the properties of the Gauss sums, primitive characters and the mean value of Dirichlet L-functions to study the hybrid mean value of the error term E（n, l, c, q） and the hyper-Kloosterman sums K（h,n＋1,q）, the asymptotic property of the mean square value ∑^p c=1 E^2（n, 1, c, p）, and give two interesting mean value formulae.     

Inversive congruential generator over a Galois ring of dimension <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">l</Emphasis></Superscript>

We consider the construction of of an inversive congruential generator over a Galois ring of odd dimension p ^l , whichwas proposed by Solé and Zinoviev for p = 2. Using the estimates of trigonometric sums on the sequences of pseudorandom numbers, we obtain the estimates of a discrepant function, a generated sequence of pseudorandom numbers, and the associated sequence of two-dimensional “overlapping” points.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

On some sets of dictionaries whose ω ‐powers have a given

A dictionary is a set of finite words over some finite alphabet X. The ω ‐power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [10] the complexity of the set of dictionaries whose associated ω ‐powers have a given complexity. In particular, he considered the sets ??( Σ ⁰k) (respectively, ??( Π ⁰_k), ??( Δ ¹₁)) of dictionaries V ? 2* whose ω ‐powers are Σ ⁰_k‐sets (respectively, Π ⁰_k‐sets, Borel sets). In this paper we first establish a new relation between the sets ??( Σ ⁰₂) and ??( Δ ¹₁), showing that the set ??( Δ ¹₁) is “more complex” than the set ??( Σ ⁰₂). As an application we improve the lower bound on the complexity of ??( Δ ¹₁) given by Lecomte, showing that ??( Δ ¹₁) is in Σ ¹ ₂(2^2*)\ Π ⁰₂. Then we prove that, for every integer k ≥ 2 (respectively, k ≥ 3), the set of dictionaries ??( Π ⁰_k+1) (respectively, ??( Σ ⁰_{k +1})) is “more complex” than the set of dictionaries ??( Π ⁰_k) (respectively, ??( Σ ⁰_k)) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Estimates of n ‐widths of Besov classes on two‐point homogeneous manifolds

Estimates of Kolmogorov and linear n ‐widths of Besov classes on compact globally symmetric spaces of rank 1 (i.e., on S^d, P^d (?), P^d (?), P^d (?), P¹⁶(Cay)) are established. It is shown that these estimates have sharp orders in different important cases. A new characterisation of Besov spaces is also given (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Global minimum and orthogonality in Cp ‐classes

In this paper we use recent results [14] to establish various characterizations of the global minimum of the map F_ψ : U → ?⁺ defined by F_ψ (X) = ‖ψ (X)‖_p (1 < p < ∞) where ψ: U → C_p is a map defined by ψ (X) = S +? (X), with ?: B (H) → B (H) a linear map and S ∈ C_p , and U = {X ∈ B (H): ? (X) ∈ C_p }. Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Carleson measures and the BMO space on the p ‐adic vector space

For a prime number p, let Q _p be the p ‐adic field and let Q _p ^d denote a vector space over Q _p which consists of all d ‐tuples of Q _p . Then we study the p ‐adic version of the Calderón–Zygmund decomposition, Carleson measures on the vector space Q _p ^{d +1} and the space BMO ( Q _p ^d ) of functions of bounded mean oscillation on Q _p ^d . In particular, it turns out that the operator norms of various oncoming operators are independent of the dimension d and the prime number p, which is one of the big differences from that of the Euclidean case. Interestingly, the independence of the dimension d and p makes it possible to develop Harmonic Analysis on the infinite dimensional p ‐adic vector space as the importance had already been pointed out in the Euclidean case (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Embedding vector‐valued Besov spaces into spaces of γ ‐radonifying operators

It is shown that a Banach space E has type p if and only for some (all) d ≥ 1 the Besov space B^{(1/p – 1/2)d} _p,p (?^d ; E) embeds into the space γ (L²(?^d ), E) of γ ‐radonifying operators L²(?^d ) → E. A similar result characterizing cotype q is obtained. These results may be viewed as E ‐valued extensions of the classical Sobolev embedding theorems. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Increasing η ‐representable degrees

In this paper we prove that any Δ₃⁰ degree has an increasing η ‐representation. Therefore, there is an increasing η ‐representable set without a strong η ‐representation (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Defining Sets and Critical Sets in (0,1)‐Matrices

If D is a partially filled‐in (0, 1)‐matrix with a unique completion to a (0, 1)‐matrix M (with prescribed row and column sums), we say that D is a defining set for M. If the removal of any entry of D destroys this property (i.e. at least two completions become possible), we say that D is a critical set for M. In this note, we show that the complement of a critical set for a (0, 1)‐matrix M is a defining set for M. We also study the possible sizes (number of filled‐in cells) of defining sets for square matrices M with uniform row and column sums, which are also frequency squares. In particular, we show that when the matrix is of even order 2m and the row and column sums are all equal to m, the smallest possible size of a critical set is precisely m². We give the exact structure of critical sets with this property. © 2012 Wiley Periodicals, Inc. J. Combin. Designs 21: 253–266, 2013     

On the Representations of a Number as the Sum of Three Cubes and a Fourth or Fifth Power

Let R _k (n) denote the number of representations of a natural number n as the sum of three cubes and a kth power. In this paper, we show that R ₃ (n) n ^5/9+, and that R ₄ (n) n ^47/90+, where > 0 is arbitrary. This extends work of Hooley concerning sums of four cubes, to the case of sums of mixed powers. To achieve these bounds, we use a variant of the Selberg sieve method introduced by Hooley to study sums of two kth powers, and we also use various exponential sum estimates.     

Sums of the squares of terms of sequence {<Emphasis Type="Italic">u</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>}

In this paper, we consider generalized Fibonacci type second order linear recurrence {u _n }. We derive a generating matrix for both the sums of squares, ∑ _i=0 ⁿ u _i ² and the products of the form u _n u _n+2. We also derive explicit formulas for the sums and products by using matrix methods. Then we give a matrix method to generate the sums of product of two consecutive terms u _n u _n+1 as well as the product, u _n u _n+2. Further we give generating functions and combinatorial representations of the sums of squares of terms of {u _n } and the product, u _n u _n+2.     

Systolic volume of hyperbolic manifolds and connected sums of manifolds

The systolic volume of a closed n-manifold M is defined as the optimal constant σ(M) satisfying the inequality vol(M, g) ≥ σ(M) sys(M, g) ⁿ between the volume and the systole of every metric g on M. First, we show that the systolic volume of connected sums of closed oriented essential manifolds is unbounded. Then, we prove that the systolic volume of every sequence of closed hyperbolic (three-dimensional) manifolds is also unbounded. These results generalize systolic inequalities on surfaces in two different directions.      

Minimally (k,k)‐edge‐connected graphs

For an integer l > 1, the l‐edge‐connectivity of a connected graph with at least l vertices is the smallest number of edges whose removal results in a graph with l components. A connected graph G is (k, l)‐edge‐connected if the l‐edge‐connectivity of G is at least k. In this paper, we present a structural characterization of minimally (k, k)‐edge‐connected graphs. As a result, former characterizations of minimally (2, 2)‐edge‐connected graphs in [J of Graph Theory 3 (1979), 15–22] are extended. © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 116–131, 2003     

Diffeomorphic types of complements of nice point arrangements in CP<Superscript><Emphasis Type="Italic">l</Emphasis></Superscript>

We use a new method to study arrangement in CP ^l , define a class of nice point arrangements and show that if two nice point arrangements have the same combinatorics, then their complements are diffeomorphic to each other. In particular, the moduli space of nice point arrangements with same combinatorics in CP ^l is connected. It generalizes the result on point arrangements in CP ³ to point arrangements in CP ^l for any l.     

ω‐saturated quasi‐minimal models of Th(ℚω, +, σ, 0)

We show that (ℚ^ω, +, σ, 0) is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

M ‐elliptic pseudo‐differential operators on L p (ℝn )

We construct the minimal and maximal extensions in L ^p (?ⁿ ), 1 < p < ∞, for M ‐elliptic pseudo‐differential operators initiated by Garello and Morando. We prove that they are equal and determine the domains of the minimal, and hence maximal, extensions of M ‐elliptic pseudo‐differential operators. For M ‐elliptic pseudodifferential operators with constant coefficients, the spectra and essential spectra are computed. An application to quantization is given. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)