ON THE PARITY OF PARTITION FUNCTIONS

2003 ◽  
Vol 14 (04) ◽  
pp. 437-459 ◽  
Author(s):  
BRUCE C. BERNDT ◽  
AE JA YEE ◽  
ALEXANDRU ZAHARESCU
Keyword(s):  
Partition Function ◽  
Positive Integer ◽  
Power Series ◽  
Formal Power Series ◽  
Lower Bounds ◽  
Partition Functions ◽  
New Methods ◽  
Formal Power ◽  
Positive Integers

Let S denote a subset of the positive integers, and let pS(n) be the associated partition function, that is, pS(n) denotes the number of partitions of the positive integer n into parts taken from S. Thus, if S is the set of positive integers, then pS(n) is the ordinary partition function p(n). In this paper, working in the ring of formal power series in one variable over the field of two elements Z/2Z, we develop new methods for deriving lower bounds for both the number of even values and the number of odd values taken by pS(n), for n ≤ N. New very general theorems are obtained, and applications are made to several partition functions.

scholarly journals An algebraically closed field

1968 ◽  
Vol 9 (2) ◽  
pp. 146-151 ◽  
Author(s):  
F. J. Rayner
Keyword(s):  
Positive Integer ◽  
Power Series ◽  
Formal Power Series ◽  
Characteristic Zero ◽  
Closed Field ◽  
Algebraically Closed Field ◽  
Zero Characteristic ◽  
Image Position ◽  
Formal Power ◽  
Puiseux Expansions

Letkbe any algebraically closed field, and denote byk((t)) the field of formal power series in one indeterminatetoverk. Letso thatKis the field of Puiseux expansions with coefficients ink(each element ofKis a formal power series intl/rfor some positive integerr). It is well-known thatKis algebraically closed if and only ifkis of characteristic zero [1, p. 61]. For examples relating to ramified extensions of fields with valuation [9, §6] it is useful to have a field analogous toKwhich is algebraically closed whenkhas non-zero characteristicp. In this paper, I prove that the setLof all formal power series of the form Σaitei(where (ei) is well-ordered,ei=mi|nprt,n∈ Ζ,mi∈ Ζ,ai∈k,ri∈ Ν) forms an algebraically closed field.

scholarly journals Engel Series Expansions of Laurent Series and Hausdorff Dimensions

2003 ◽  
Vol 75 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Jun Wu
Keyword(s):  
Hausdorff Dimension ◽  
Positive Integer ◽  
Power Series ◽  
Finite Field ◽  
Formal Power Series ◽  
Laurent Series ◽  
Series Expansions ◽  
Formal Laurent Series ◽  
Hausdorff Dimensions ◽  
Formal Power

AbstractFor any positive integer q≧2, let Fq be a finite field with q elements, Fq ((z-1)) be the field of all formal Laurent series in an inderminate z, I denote the valuation ideal z-1Fq [[z-1]] in the ring of formal power series Fq ((z-1)) normalized by P(l) = 1. For any x ∈ I, let the series be the Engel expansin of Laurent series of x. Grabner and Knopfmacher have shown that the P-measure of the set A(α) = {x ∞ I: limn→∞ deg an(x)/n = ά} is l when α = q/(q -l), where deg an(x) is the degree of polynomial an(x). In this paper, we prove that for any α ≧ l, A(α) has Hausdorff dimension l. Among other thing we also show that for any integer m, the following set B(m) = {x ∈ l: deg an+1(x) - deg an(x) = m for any n ≧ l} has Hausdorff dimension 1.

scholarly journals Interlacing polynomials and the veronese construction for rational formal power series

2019 ◽  
Vol 150 (1) ◽  
pp. 1-16
Author(s):  
Philip B. Zhang
Keyword(s):  
Positive Integer ◽  
Power Series ◽  
Formal Power Series ◽  
Generating Functions ◽  
Ehrhart Polynomial ◽  
Polynomial Sequence ◽  
Real Zeros ◽  
Alternative Approach ◽  
Formal Power ◽  
Interlacing Property

AbstractFixing a positive integer r and $0 \les k \les r-1$, define $f^{\langle r,k \rangle }$ for every formal power series f as $ f(x) = f^{\langle r,0 \rangle }(x^r)+xf^{\langle r,1 \rangle }(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle }(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := ( (1+x+\cdots +x^{r-1})^{n} h(x) )^{\langle r,k \rangle }$ has only non-positive zeros for any $r \ges \deg h(x) -k$ and any positive integer n. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension n, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ges n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $( h^{\langle r,r-i \rangle }(x))_{1\les i \les r}$ is interlacing, so is $( U^{n}_{r,r-i}\, h(x) )_{1\les i \les r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for coloured permutations. Besides, we derive a Carlitz identity for refined coloured permutations.

scholarly journals On transformations of formal power series

2003 ◽  
Vol 184 (2) ◽  
pp. 369-383 ◽  
Author(s):  
Manfred Droste ◽  
Guo-Qiang Zhang
Keyword(s):  
Power Series ◽  
Formal Power Series ◽  
Formal Power

scholarly journals On the Square Root of a Bell Matrix

2021 ◽  
Vol 76 (1) ◽  
Author(s):  
Donatella Merlini
Keyword(s):  
Power Series ◽  
Closed Form ◽  
Formal Power Series ◽  
Computational Method ◽  
Square Root ◽  
Riordan Arrays ◽  
Formal Power

AbstractIn the context of Riordan arrays, the problem of determining the square root of a Bell matrix $$R={\mathcal {R}}(f(t)/t,\ f(t))$$ R = R ( f ( t ) / t , f ( t ) ) defined by a formal power series $$f(t)=\sum _{k \ge 0}f_kt^k$$ f ( t ) = ∑ k ≥ 0 f k t k with $$f(0)=f_0=0$$ f ( 0 ) = f 0 = 0 is presented. It is proved that if $$f^\prime (0)=1$$ f ′ ( 0 ) = 1 and $$f^{\prime \prime }(0)\ne 0$$ f ″ ( 0 ) ≠ 0 then there exists another Bell matrix $$H={\mathcal {R}}(h(t)/t,\ h(t))$$ H = R ( h ( t ) / t , h ( t ) ) such that $$H*H=R;$$ H ∗ H = R ; in particular, function h(t) is univocally determined by a symbolic computational method which in many situations allows to find the function in closed form. Moreover, it is shown that function h(t) is related to the solution of Schröder’s equation. We also compute a Riordan involution related to this kind of matrices.

scholarly journals Two Interacting Coordinate Hopf Algebras of Affine Groups of Formal Series on a Category

Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Laurent Poinsot
Keyword(s):  
Power Series ◽  
Formal Power Series ◽  
Semidirect Product ◽  
Hopf Algebras ◽  
Formal Series ◽  
Product Structure ◽  
Locally Finite ◽  
Commutative Algebras ◽  
Affine Groups ◽  
Formal Power

A locally finite category is defined as a category in which every arrow admits only finitely many different ways to be factorized by composable arrows. The large algebra of such categories over some fields may be defined, and with it a group of invertible series (under multiplication). For certain particular locally finite categories, a substitution operation, generalizing the usual substitution of formal power series, may be defined, and with it a group of reversible series (invertible under substitution). Moreover, both groups are actually affine groups. In this contribution, we introduce their coordinate Hopf algebras which are both free as commutative algebras. The semidirect product structure obtained from the action of reversible series on invertible series by anti-automorphisms gives rise to an interaction at the level of their coordinate Hopf algebras under the form of a smash coproduct.

Sign in / Sign up

Export Citation Format

Share Document