The Mixed Curvatures on C N

The aim of the present paper is devoted to the investigation of some geometrical properties on the middle envelope in terms of the invariants of the third quadratic form of the normal line congruence C_N . The mixed middle curvature and mixed curvature on C_N are obtained in tenus of the Mean and Gauss curvatures of the surface of reference. Our study is considered as a continuation to Stephanidis ([1], [2], [3], [4], [5]). The technique adapted here is based on the methods of moving frames and their related exteriour forms [6] and [7].     

Further results on factorization of meromorphic solutions of partial differential equations

This paper is a continuation of Hu-Yang [2]. Here we extend Malmquist type theorem ofalgebraic differential equations of Steinmetz [3] and Tu [4] to higher order partial differential equations. The results also generalize Theorems 4.2 and 4.3 in [2].     

General Solution of Two Functional Equations Concerning Measures of Information

In the characterization of multidimensional sum form information measures the two functional equations $$f(pq) + f(p(1 - q)) = f(p)\lbrace f(q) + f(1 - q)\rbrace \ \ \ p,q,\in I,$$ $$f(pq) + f(p(1 - q)) = f(p)\lbrace M(q) + M(1 - q)\rbrace \ \ \ p,q,\in I,$$ arise. For the one-dimensional case, these equations were studied by Maksa [2] and Kannappan and Sahoo [1], respectively. This paper extends their results to the n-dimensional case.     

Exponential polynomials on commutative hypergroups

Polynomials and exponential polynomials play a fundamental role in the theory of spectral analysis and spectral synthesis on commutative groups. Recently several new results have been published in this field [2–4,6]. Spectral analysis and spectral synthesis has been studied on some types of commutative hypergroups, as well. However, a satisfactory definition of exponential monomials on general commutative hypergroups has not been available so far. In [5,7,8] and [9], the authors use a special concept on polynomial and Sturm–Liouville-hypergroups. Here we give a general definition which covers the known special cases.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

The General Solution of Abel-Type Functional Equations

The general measurable solution of (A) was found by Stamate [8]. Aczél [3] and Lajkô [6] proved that the general solution of (A) for unknown functions ψ, g, h: ? → ? are (1), (2) and (3), respectively. Filipescu [5] found the general measurable solution of (B). We establish an elementary prof for the general solution of equation (A) (Theorem 1.). Our method is suitable for finding the general solution of (B) (Theorem 2.).     

Algebraische Unabhängigkeit der Werte gewisser Lückenreihen in nicht-archimedisch bewerteten Körpern

In 1844 Liouville proved the transcendence of α = ∑_h≥1 10^{?h h!} over Q. The number α can be considered as the value of the gap power series ∧(x) =∑_h≥1 at tne point 1/10 Since then, the above result has been generalized in this direction by different authors by applying improved “Liouville-estimates”. For instance, in 1973 Cijsouw and Tijdeman [2] showed that a gap series with algebraic coefficients takes on transcendental values (over Q) at non-zero algebraic points under some conditions on the growth of the coefficients and the gaps. In 1988 Bundschuh [1] resp. Zhu [9] proved the algebraic independence (over Q) of the values of several gap series at different algebraic points. In particular this result includes the algebraic independence of A(α₁),…, α(α_s) for non-zero algebraic numbers α₁,…, α_s of distinct absolute values less than 1. Moreover in [1] a set of continuum-many algebraically independent numbers was constructed. In 1978 Geijsel [4] obtained a result analogous to that of Cijsouw and Tijdeman underlying a non-archimedian valued function field over a finite field, and in 1983 Sieburg [7] was concerned with the algebraic independence of “Liouville-series” in non-archimedian valued fields of characteristic zero. In this paper some of the results of [1] resp. [9] will be transfered to the situation of some non-archimedian valued fields. If the characteristic of the field is prime, we have to require stronger conditions as in the “classical case”. An example shows that in this case the numbers A(c*i),..., A(aa) need not to be algebraically independent. But a set of continuum-many algebraically independent numbers still exists. In characteristic zero, results of the same kind will be obtained like in the “classical case”.     

Two results on arithmetical functions

Generalizing two results of Rieger [8] and Selberg [10] we give asymptotic formulas for sums of type $${\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n)\qquad {\rm and} {\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n),$$ where χ is a suitable multiplicative function, f₁,…, f _r are “small” additive, prime-independent arithmetical functions and k, l are coprime. The proofs are based on an analytic method which consists of considering the Dirichlet series generated by $ \chi(n)z_{1}^{f_{1}(n)}\cdot... \cdot z_{r}^{f_{r}(n)},z_{1}\dots z_{r} $ complex.     

Ideal Divisibility Monoids

Inspired by the monograph of Larsen/McCarthy, [26], in [10] and [11] the author started a series of articles concerning abstract multiplicative ideal theory along the problem lines of [26]. In this paper we turn to multiplicative lattices having the left Priifer property, that is to m-lattices satisfying the implication a¹ + … + a_n ? B ? a₁ +… + a_n ¦? B or even the multiplication property A ? B ? A ¦B, respectively. Clearly, studying such structures includes studying substructures of d-semigroups.     

Syntactic Rings

If the state set and the input set of an automaton are Ω-groups then near-rings are useful in the study of automata (see [5]). These near-rings, called syntactic near-rings, consist of mappings from the state set Q of the automaton into itself. If, as is often the case, Q bears the structure of a module, then the zerosymmetric part N₀(A) of syntactic near-rings is a commutative ring with identity. If N₀(A) is a syntactic ring then its ideals are useful for determining reachability in automata (see [1] or [2]). In this paper we investigate syntactic rings.     

A symmetry property for q-weighted Robinson–Schensted and other branching insertion algorithms

In [19], a \(q\) -weighted version of the Robinson–Schensted algorithm was introduced. In this paper, we show that this algorithm has a symmetry property analogous to the well-known symmetry property of the usual Robinson–Schensted algorithm. The proof uses a generalisation of the growth diagram approach introduced by Fomin [5–8]. This approach, which uses ‘growth graphs’, can also be applied to a wider class of insertion algorithms which have a branching structure, including some of the other \(q\) -weighted versions of the Robinson–Schensted algorithm which have recently been introduced by Borodin–Petrov [2].     

A Characterization of the Finite Veronesean by Intersection Properties

A combinatorial characterization of the Veronese variety of all quadrics in PG(n, q) by means of its intersection properties with respect to subspaces is obtained. The result relies on a similar combinatorial result on the Veronesean of all conics in the plane PG(2, q) by Ferri [Atti Accad. Naz. Lincei Rend. 61(6), 603?C610 (1976)], Hirschfeld and Thas [General Galois Geometries. Oxford University Press, New York (1991)], and Thas and Van Maldeghem [European J. Combin. 25(2), 275?C285 (2004)], and a structural characterization of the quadric Veronesean by Thas and Van Maldeghem [Q. J. Math. 55(1), 99?C113 (2004)].     

To the question on the almost everywhere convergence of the Riesz means of double orthogonal series

Sufficient conditions of the classical type ensuring the almost everywhere (a.e.) convergence of the nonnegative-order Riesz means of double orthogonal series are indicated. Analogies of the onedimensional results of Kolmogoroff [7] and Kaczmarz?CZygmund [5, 12] have been obtained for the Cesaro means and those of Zygmund [13] for the Riesz means. These analogies establish the a.e. equiconvergence of the lacunary subsequences of rectangular partial sums and of the entire sequence of Riesz means, generalize the corresponding results of Moricz [9] for the Cesaro a.e. summability by (C, 1, 1), (C, 1, 0), and (C, 0, 1) methods of double orthogonal series, and were announced earlier without proofs in the author??s work [3].     

Algebraic Hecke characters and strictly compatible systems of abelian mod p Galois representations over global fields

In [10] (C R Acad Sci Paris Ser I Math 323(2) 117–120, 1996), [11] (Math Res Lett 10(1):71–83 2003), [12] (Can J Math 57(6):1215–1223 2005), Khare showed that any strictly compatible systems of semisimple abelian mod p Galois representations of a number field arises from a unique finite set of algebraic Hecke characters. In this article, we consider a similar problem for arbitrary global fields. We give a definition of Hecke character which in the function field setting is more general than previous definitions by Goss and Gross and define a corresponding notion of compatible system of mod p Galois representations. In this context we present a unified proof of the analog of Khare’s result for arbitrary global fields. In a sequel we shall apply this result to strictly compatible systems arising from Drinfeld modular forms, and thereby attach Hecke characters to cuspidal Drinfeld Hecke eigenforms.     

Series Expansions for the Solution of an Integral-Functional Equation with a Parameter

We continue our considerations in [2] and [3] on a homogeneous integral-functional equation with a parameter a > 1 and derive different series expansions for the solution which simplify in the case a ≥ 2. The terms of these series can be interpreted as polynomial splines.     

The Totally Nonnegative Part of G/P is a CW Complex

The totally nonnegative part of a partial ag variety G/P has been shown in [18], [17] to be a union of semialgebraic cells. Moreover, the closure of a cell was shown in [19] to be a union of smaller cells. In this paper we provide glueing maps for each of the cells to prove that (G/P)_?0 is a CW complex. This generalizes a result of Postnikov, Speyer and the second author [15] for Grassmannians.     

The composition of solutions of the multidimensional translation equation

Under certain conditions, the general solution of the multidimensional translation equation was constructed locally in L. Berg [4] and globally in J. Aczél, L. Berg and Z. Moszner [2]. By composition of two of these solutions there arise new functional equations, which are solved here locally using generalized inverses, cf. A. Ben-Israel and T.N.E. Greville [5]. The results are illustrated by the linear case.     

Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method

Final polynomials and final syzygies provide an explicit representation of polynomial identities promised by Hilbert’s Nullstellensatz. Such representations have been studied independently by Bokowski [2,3,4] and Whiteley [23,24] to derive invariant algebraic proofs for statements in geometry. In the present paper we relate these methods to some recent developments in computational algebraic geometry. As the main new result we give an algorithm based on B. Buchberger’s Gröbner bases method for computing final polynomials and final syzygies over the complex numbers. Degree upper bound for final polynomials are derived from theorems of Lazard and Brownawell, and a topological criterion is proved for the existence of final syzygies. The second part of this paper is expository and discusses applications of our algorithm to real projective geometry, invariant theory and matrix theory.     

The Mellin Transform and Spectral Properties of Toric Varieties

In this paper we apply the results of [W] on the twisted Mellin transform to problems in toric geometry. In particular, we use these results to describe the asymptotics of probability densities associated with the monomial eigenstates, z ^k , $ k \in \mathbb{Z}^{d} $ , in Bargmann space and prove an “upstairs” version of the spectral density theorem of [BGU]. We also obtain for the z ^k ’s, “upstairs” versions of the results of [STZ] on distribution laws for eigenstates on toric varieties.     

Tensor product surfaces of euclidean plane curves

Recently B.Y. CHEN initiated the study of the tensor product immersion of two immersions of a given Riemannian manifold [3]. In [6] the particular case of tensor product of two Euclidean plane curves was studied. The minimal one were classified, and necessary and sufficient conditions for such a tensor product to be totally real or complex or slant were established. In the present paper we study for tensor product of Euclidean plane curves the problem of B.Y. CHEN: to what extent do the properties of the tensor product immersion f ? h of two immersions f, h determines the immersions f, h ? [3]