Symmetry of Sections in Fields of Formal Power Series and a Non-Standard Real Line

Let be a field of formal power series with real coefficients, whose supports are well ordered subsets of an Abelian group of cardinality strictly less than . For , we give criteria of a section being symmetric and of a symmetric section being Dedekind. It is proved that an -saturated non-standard real line is isomorphic to some field of the form . For , some consequences are inferred regarding symmetric sections, and the cofinality of banks of the sections.     

Specialisation and Reduction of Continued Fractions of Formal Power Series

We discuss and illustrate the behaviour of the continued fraction of a formal power series under specialisation of parameters or their reduction modulo p and sketch some applications of the reduction theorem here proved.To Jean-Louis Nicolas in celebration of his sixtieth birthday2000 Mathematics Subject Classification: Primary—11J70, 11A55, 11J68     

Matrices of Formal Power Series Associated to Binomial Posets

We introduce an operation that assigns to each binomial poset a partially ordered set for which the number of saturated chains in any interval is a function of two parameters. We develop a corresponding theory of generating functions involving noncommutative formal power series modulo the closure of a principal ideal, which may be faithfully represented by the limit of an infinite sequence of lower triangular matrix representations. The framework allows us to construct matrices of formal power series whose inverse may be easily calculated using the relation between the Möbius and zeta functions, and to find a unified model for the Tchebyshev polynomials of the first kind and for the derivative polynomials used to express the derivatives of the secant function as a polynomial of the tangent function.On leave from the Rényi Mathematical Institute of the Hungarian Academy of Sciences.     

Transcendence of Binomial and Lucas' Formal Power Series

The formal power series[formula]is transcendental over (X) whentis an integer ≥ 2. This is due to Stanley forteven, and independently to Flajolet and to Woodcock and Sharif for the general case. While Stanley and Flajolet used analytic methods and studied the asymptotics of the coefficients of this series, Woodcock and Sharif gave a purely algebraic proof. Their basic idea is to reduce this series modulo prime numbersp, and to use thep-Lucas property: ifn = ∑n_ipⁱis the basepexpansion of the integern, then[equation]The series reduced modulopis then proved algebraic over _p(X), the field of rational functions over the Galois field _p, but its degree is not a bounded function ofp. We generalize this method to characterize all formal power series that have thep-Lucas property for “many” prime numbersp, and that are furthermore algebraic over (X).     

An Intuitionistic Axiomatisation of Real Closed Fields

We give an intuitionistic axiomatisation of real closed fields which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of classical logic over intuitionistic logic for geometric theories.     

Semirings of Formal Power Series

Semirings of formal power series over semirings, in particular, over k-semifields, are studied. It is also shown that the semiring of formal power series S[[x]] over a k-semifield S becomes a local semiring. Moreover, the Jacobson radical of S[x]] over a k-semifield S is described.AMS Subject Classification (1991): Primary 16Y60     

Symmetry of cuts in fields of formal power series

The theory of cuts is an effective tool for studying ordered fields. We continue research into the relationship between the structure of cuts in a field of formal power series and algebraic properties of the field. __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 174–185, March–April, 2008.     

Changes of Parameters for Generalized Power Series

A new notion of differentials is introduced to the method of generating functions for generalized power series with exponents in a totally ordered Abelian group. A logarithmic analogue of cohomology residues is defined to serve as a tool in the technique of equating coefficients.     

适合无限维实零点定理的序域之结构II

在本文的第二部分中,我们研究了适合无限维实零点定理的序域的结构。通过嵌入,我们证明了,一个序域适合无限维实零点定理,当且仅当它的实闭包同构于域Ｒ｛Γ｝的某个具有无限维逼近性质的子域。这里Γ是一个无裂缝的可除序群,Ｒ｛Γ｝是指数在Γ中,系数为实数的形式幂级数域。     

On the Rate of Convergence of Fourier Series of Functions of Bounded Variation

Mathematical Notes -     

Identifiability of Modified Power Series Mixtures via Posterior Means

Problems of specification of discrete bivariate statistical models by a modified power series conditional distribution and a regression function are studied. An identifiability result for a wide class of such mixtures with infinite support is obtained. Also the finite support case within a more specific model is considered. Applications for Poisson, (truncated) geometric, and binomial mixtures are given. From the viewpoint of Bayesian analysis unique determination of the prior by a Bayes estimate of the mean for modified power series mixtures is investigated.     

两类关于二项式系数倒数的级数(英文)

By applying the theory of formal power series,the author obtains the closed forms for two kinds of infinite series involving the reciprocals of binomial coefficients,and the author gets another closed form for the infinite series Σr≥m tn＋r/（n＋rr）.     

Approximation of the Singularities of a Bounded Function by the Partial Sums of Its Differentiated Fourier Series

In our earlier work we developed an algorithm for approximating the locations of discontinuities and the magnitudes of jumps of a bounded function by means of its truncated Fourier series. The algorithm is based on some asymptotic expansion formulas. In the present paper we give proofs for those formulas.     

广义幂级数环的Morita对偶

设A,B是有单位元的环, (S,≤)是有限生成的Artin的严格全序幺半群, AMB是双模.本文证明了双模[[AS,≤]][MS,≤][[BS,≤]]定义一个Morita对偶当且仅当 AMB定义一个Morita对偶且A是左noether的,B是右noether的.因此A上的广 义幂级数环[[AS,≤]]具有Morita对偶当且仅当A是左noether的且具有由双模AMB 诱导的Morita对偶,使得B是右noether的.     

Morita Duality for the Rings of Generalized Power Series

Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule _A M _B , we show that the bimodule _{[[ AS,≤ ]]}[M ^{S ,≤}]_{[[ BS, ≤ ]]} defines a Morita duality if and only if _A M _B defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A ^{S ,≤}]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule _A M _B such that B is right noetherian. Received April 13, 1999, Accepted December 12, 1999     

On Influence of the Arguments of Coefficients of a Power Series Expansion of an Entire Function on the Growth of the Maximum of Its Modulus

Siberian Mathematical Journal - The following question is discussed: How fast can the maximum of the modulus of one entire function grow in comparison with the maximum of the modulus of another...     

Local Limit Theorems for Sums of Power Series Distributed Random Variables and for the Number of Components in Labelled Relational Structures

A Local limit theorem for the distribution of the number of components in random labelled relational structures of size n (e.g., a type of random graphs on n vertices, random permutations of n elements, etc.) is proved as n→∞. The case when the corresponding exponential generating functions diverge at their radii of convergence is considered.