Congruences modulo high powers of 2 for Sloane s box stacking function
|
|
- Octavia Hoover
- 6 years ago
- Views:
Transcription
1 AUSTRALASIAN JOURNAL OF COMBINATORICS Volume (009), Pages 55 6 Congruences modulo high powers of for Sloane s box stacking function Øystein J. Rødseth Department of Mathematics University of Bergen, Johs. Brunsgt., N 5008 Bergen Norway rodseth@math.uib.no James A. Sellers Department of Mathematics Penn State University, University Park, PA 680 U.S.A. sellersj@math.psu.edu Dedicated in honor of George Andrews 70 th birthday Abstract We are given n boxes, labeled,,...,n.boxiweighs i grams and can support a total weight of i grams. The number of different ways to build a single stack of boxes in which no box will be squashed by the weight of the boxes above it is denoted by f(n). Ina006paper,thefirstauthor asked for congruences for f(n) modulo high powers of. In this note, we accomplish this task by proving that, for r 5andalln 0, f( r n) f( r n) 0 (mod r ), and that this result is best possible. Some additional complementary congruence results are also given. Introduction In 005, Sloane and Sellers [8] considered the following problem: Suppose we have boxes with labels,,,...n. A box labeled i weighs i grams and can support a total weight of i grams. We wish to build single
2 56 ØYSTEIN J. RØDSETH AND JAMES A. SELLERS stacks of boxes with distinct labels in such a way that no box will be squashed by the weight of the boxes above it. What is the number f(n) of different ways to build such a single stack of boxes? This function f(n) is the function identified in the title as Sloane s Box Stacking Function and is the primary object of interest in this work. By way of example, note that f() = where the admissible stacks are the following: The other two possible stacks are excluded since + > and the box labeled would collapse in both cases. The first few values of f(n), for n =0,,,..., are,,, 8,,, 6, 5, 78, 09, 9, 99, 6, 9,, 58, 686. Additional values of f(n) are given by Sloane [7, Sequence A08905]. Sloane and Sellers [8] extensively studied f(n). One of their main results is that the generating function F (q) = n=0 f(n)qn can be written as ( ) F (q) = ( q) q q + i= q i i j=0 ( qj ). () In a more recent work, Rødseth [] gave a simple proof of (). At the end of his note, he asked for congruences for f(n) modulo (high) powers of. In this work we satisfy that request by proving the following theorem. Theorem For r 5 and all n 0, f( r n) f( r n) 0 (mod r ). Moreover, no higher power of divides f( r n) f( r n) if n is odd. Some complementary results are given at the end of Section 5; for example, we show that, for all n 0, f( n) f( n) 0 (mod 5 ). We note that Theorem is similar to families of congruences satisfied by related functions. For example, Churchhouse [] conjectured, and Rødseth [] proved, that
3 CONGRUENCES MODULO HIGH POWERS OF 57 the binary partition function (the function which counts the partitions of an integer n using only powers of as parts) satisfies a similar set of congruences; also see [, Section 0.]. More recently, a similar family of results was proven for the function b(n), originally defined by Sloane and Sellers [8], which counts the number of non-squashing partitions of n into distinct parts. See [6] for more details on these congruences satisfied by b(n). Indeed, we will prove Theorem using tools developed in [5, 6]. However, for r<5, the difference f( r n) f( r n) behaves rather irregularly, and this creates some extra difficulties which we overcome below. These irregularities make the search for a result like Theorem more difficult, especially as compared to the results in [, ] and [5, 6]. The structure of this paper is very straightforward. In Section we introduce some auxiliaries which are necessary for the proof of Theorem. Theorem is then proven in Section with most of the technical details postponed for the sake of readability. Those necessary details are then given in Sections and 5. Auxiliaries The power series in this paper will be elements of Z[[q]], the ring of formal power series in q with coefficients in Z. We define a Z-linear operator U, acting on Z[[q]], by U a(n)q n = a(n)q n. n n Notice that if A(q),C(q) Z[[q]], then U(A(q)C(q )) = (UA(q))C(q). () In the following, a power series A(q) Z[[q]] will often be written as A. If the argument is not q, then we will, of course, include the argument in the notation. We shall use below the following identity for binomial coefficients: ( ) r/ n + r ( )( ) r i n + r i = ( ) i r i. () r i r i The truth of this relation follows by expanding both sides of the identity ( + q) n =(+q( + q)) n and comparing the coefficient of q r on each side of the equation. Let q h i =, i 0. ( q) i+ Then ( ) n + i h i = q n, () i n=
4 58 ØYSTEIN J. RØDSETH AND JAMES A. SELLERS so that Uh r = It follows from () and () that ( ) n + r q n. r n= r/ ( ) r i Uh r = ( ) i r i h r i (5) i for r 0. Simple calculations show that Uh 0 = h 0, (6) Uh = h, (7) Uh = h h. (8) Also notice that U q = q. (9) We recursively define functions L r and M r for r by ( ) L = h and L r+ = U q L r (0) and M =h and M r+ = L r+ (UL r ) q + UM r. () The motivation for these definitions will become clear in the following section. Proof of Theorem In this proof we will use the auxillary function B(q) = q + q i i j=0 ( qj ). () i= This function is the generating function of b(n), mentioned in the Introduction. It was introduced and studied by Sloane and Sellers [8] in connection with their study of f(n). In particular, they showed that B(q) satisfies the functional equation B (q) = q B (q )+ q q, () where B = B. By () and (), we have F (q) = ( q) B (q)+ q,
5 CONGRUENCES MODULO HIGH POWERS OF 59 which we can write as F = ( h + ) B (q)+ q q. () Using (), we get ( F = h + h + ) B (q )+h q q + q. Next, we apply the operator U. Using the linearity of U along with () and (7) (9), we obtain ( UF = h + h + ) B +h + q q, so that, by (), UF F =h B +h. (5) Recalling the definitions of L r and M r given in (0) and (), we now prove by induction on r that, for all r, U r F U r F = L r B + M r. (6) By (5), we know that (6) is true for r =. Suppose that (6) holds for some r. By (), we then have ( U r F U r F = L r q B (q )+ q ) + M q r ( ) = q L r B (q )+ q L r L r q + M r, and applying U and using (), we get by (0) and (), U r F U r F = L r+ B + L r+ (UL r ) q + UM r = L r+ B + M r+. Thus (6) holds for all r. For r 6, we have, by Lemma in Section, and by Lemma in Section, By (6), we thus have L r 0 (mod r+ ), M r r h (mod r ). U r F U r F r h (mod r ), and the proof of Theorem is easily completed.
6 60 ØYSTEIN J. RØDSETH AND JAMES A. SELLERS Three Technical Lemmas We have chosen to collect the necessary technical lemmas in this section (to make the first portion of the paper more readable). First, we have a lemma involving L r. Lemma For r and 0 i r, there exist λ r (i) Z such that r L r = λ r (i)h r i, (7) where λ r (i) 0 (mod r i ). (8) Proof. This follows from [5, Lemma ], by observing that K r =L r for the K r defined in [5]. Second, we have a lemma concerning UL r. Lemma For r 5 and 0 i r, there exist δ r (i) Z such that r UL r = δ r (i)h r i, (9) where δ r (i) 0 (mod r i+ ). (0) Proof. This follows from [5, Lemma ]. Third, we prove a crucial lemma about M r. Lemma For r 6, there exist μ r (i) Z such that r M r = μ r (i)h r i, () where and μ r (i) 0 (mod r i ) for 0 i r, () μ r (r ) r (mod r ). () Proof. We use induction on r. By the expression for M 6 in Section 5, we see that the lemma is true for r =6. Suppose that for some r 7 there are integers μ r (j) such that r M r = μ r (j)h r j, () j=0
7 CONGRUENCES MODULO HIGH POWERS OF 6 where and μ r (j) 0 (mod r j ) for 0 j r, (5) μ r (r ) r (mod r ). (6) Then, by () and (5), UM r = = = r μ r (j)uh r j j=0 r j=0 r (r j)/ μ r (j) i k=0 i= j=max(0,i r ) ( ) k r j k ( r j k k ) h r j k ( ) r i ( ) i j r+j i+ μ r (j)h r i. i j Moreover, by (), (7), and (9), so that () holds with M r = L r (UL r ) q + UM r = r r λ r (i)h r i δ r (i)h r i + UM r, μ r (i) =λ r (i) δ r (i) (7) i ( ) r i + ( ) i j r+j i+ μ r (j) i j for 0 i r, and j=max(0,i r ) μ r (r ) = μ r (r ) + μ r (r ). (8) It follows that all the μ r (i) are integers. Furthermore, by (7), (8), (0) and (5), we get (). Finally, () follows from (8), (5) with j = r, and (6). 5 Final Calculations The calculations in this section were performed with the goal of finding a good M r to shape the crucial Lemma, and also to give us a starting point for the induction proof. We had to go all the way up to M 6 before we found an M r which satisfied our requirements.
8 6 ØYSTEIN J. RØDSETH AND JAMES A. SELLERS Our calculations run as follows. (6) (8). We first use (5) to add a few more cases to Uh = h h, Uh = h h + h, Uh 5 = 5 h 5 5 h + h, Uh 6 = 6 h 6 5h 5 + h h Next, we use (0) and the expressions for Uh i to express L r, r 6, in terms of h i. L = 5 h h, L = 9 h 9 h + 5 h, L 5 = h 5 h + 8 9h 7 7h, L 6 = 0 h 6 h 5 + 7h 7h 8 5h Then we apply the U-operator to obtain the following (after elementary simplifications): UL = h h, UL = 8 h 6 h + h, UL = h 5h + 7 h 5 h, UL 5 = 9 h 5 7 7h + h 9 h + 7 7h Finally, we use () and the results above to express M r, r 6, in terms of h i. M = h h h, M = 8 h 6 h, M 5 = h 5 5h + 7 9h + 5 7h, M 6 = 9 h 6 7 7h 5 + 5h + 9 6h 8 5h 5 7h Now, M 6 has the properties we need to prove Lemma. The coefficients of the terms h i are divisible by sufficiently high powers of while the coefficient of h is not divisible by an excessively high power of. This second fact allows us to prove the best possible part of Theorem. From these calculations, we get the following complementary results mentioned in the Introduction for free. The first congruence below follows from (5) and (). For the others, put r =,, 5, 6 in (6) and use the results on L r and M r obtained in the present section. This gives us the following congruences, valid for all n 0: f(n) f(n) n(n +) (mod ), f( n) f(n) n(n +) (mod ), f( n) f( n) 0 (mod 5 ), f( n) f( n) n(n +) (mod 7 ), f( 5 n) f( n) 5 n (mod 8 )
9 CONGRUENCES MODULO HIGH POWERS OF 6 6 Acknowledgements The second author gratefully acknowledges the Department of Mathematics, University of Bergen, Norway for generous support which allowed the two authors to effectively collaborate during a one-week visit to Bergen in March 008. The second author also gratefully acknowledges the staff of the Isaac Newton Institute, University of Cambridge, for their hospitality and support. References [] G.E. Andrews, The Theory of Partitions, Encyclopedia Math. Appl., Vol., Addison-Wesley, Reading, MA, 976. [] R. F. Churchhouse, Congruence properties of the binary partition function, Proc. Cambridge Philos. Soc. 66 (969), [] Ø. J. Rødseth, Some arithmetical properties of m-ary partitions, Proc. Cambridge Philos. Soc. 68 (970), 5. [] Ø. J. Rødseth, Sloane s box stacking problem, Discrete Math. 06 (006), [5] Ø. J. Rødseth and J. A. Sellers, Binary partitions revisited, J. Combin. Theory, Ser. A 98 (00), 5. [6] Ø. J. Rødseth, J. A. Sellers and K. M. Courtright, Arithmetic properties of nonsquashing partitions into distinct parts, Ann. Combin. 8, no. (00), 7 5. [7] N. J. A. Sloane, The On-Line Encyclopedia of Integer Sequences, njas/sequences/ (008). [8] N. J. A. Sloane and J. A. Sellers, On non-squashing partitions, Discrete Math. 9 (005), (Received Apr 008; revised Sep 008)
Binary Partitions Revisited
Binary Partitions Revisited Øystein J. Rødseth and James A. Sellers Department of Mathematics University of Bergen Johs. Brunsgt. N 5008 Bergen, Norway rodseth@mi.uib.no Department of Science and Mathematics
More informationOn m-ary Overpartitions
On m-ary Overpartitions Øystein J. Rødseth Department of Mathematics, University of Bergen, Johs. Brunsgt. 1, N 5008 Bergen, Norway E-mail: rodseth@mi.uib.no James A. Sellers Department of Mathematics,
More informationARITHMETIC PROPERTIES FOR HYPER M ARY PARTITION FUNCTIONS
ARITHMETIC PROPERTIES FOR HYPER M ARY PARTITION FUNCTIONS Kevin M. Courtright Department of Mathematics, The Pennsylvania State University, University Park, PA 16802 kmc260@psu.edu James A. Sellers Department
More informationCHARACTERIZING THE NUMBER OF m ARY PARTITIONS MODULO m Mathematics Subject Classification: 05A17, 11P83
CHARACTERIZING THE NUMBER OF m ARY PARTITIONS MODULO m GEORGE E. ANDREWS, AVIEZRI S. FRAENKEL, AND JAMES A. SELLERS Abstract. Motivated by a recent conjecture of the second author related to the ternary
More informationElementary proofs of congruences for the cubic and overcubic partition functions
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 602) 204), Pages 9 97 Elementary proofs of congruences for the cubic and overcubic partition functions James A. Sellers Department of Mathematics Penn State
More informationarxiv: v1 [math.co] 24 Jan 2017
CHARACTERIZING THE NUMBER OF COLOURED m ARY PARTITIONS MODULO m, WITH AND WITHOUT GAPS I. P. GOULDEN AND PAVEL SHULDINER arxiv:1701.07077v1 [math.co] 24 Jan 2017 Abstract. In a pair of recent papers, Andrews,
More information#A22 INTEGERS 17 (2017) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS
#A22 INTEGERS 7 (207) NEW CONGRUENCES FOR `-REGULAR OVERPARTITIONS Shane Chern Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania shanechern@psu.edu Received: 0/6/6,
More informationArithmetic Relations for Overpartitions
Arithmetic Relations for Overpartitions Michael D. Hirschhorn School of Mathematics, UNSW, Sydney 2052, Australia m.hirschhorn@unsw.edu.au James A. Sellers Department of Mathematics The Pennsylvania State
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition
More informationELEMENTARY PROOFS OF VARIOUS FACTS ABOUT 3-CORES
Bull. Aust. Math. Soc. 79 (2009, 507 512 doi:10.1017/s0004972709000136 ELEMENTARY PROOFS OF VARIOUS FACTS ABOUT 3-CORES MICHAEL D. HIRSCHHORN and JAMES A. SELLERS (Received 18 September 2008 Abstract Using
More informationCONGRUENCES FOR GENERALIZED FROBENIUS PARTITIONS WITH AN ARBITRARILY LARGE NUMBER OF COLORS
#A7 INTEGERS 14 (2014) CONGRUENCES FOR GENERALIZED FROBENIUS PARTITIONS WITH AN ARBITRARILY LARGE NUMBER OF COLORS Frank G. Garvan Department of Mathematics, University of Florida, Gainesville, Florida
More informationELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS
Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract
More informationINFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3
INFINITELY MANY CONGRUENCES FOR BROKEN 2 DIAMOND PARTITIONS MODULO 3 SILVIU RADU AND JAMES A. SELLERS Abstract. In 2007, Andrews and Paule introduced the family of functions k n) which enumerate the number
More informationNew congruences for overcubic partition pairs
New congruences for overcubic partition pairs M. S. Mahadeva Naika C. Shivashankar Department of Mathematics, Bangalore University, Central College Campus, Bangalore-560 00, Karnataka, India Department
More informationENUMERATION OF THE DEGREE SEQUENCES OF LINE HAMILTONIAN MULTIGRAPHS
#A24 INTEGERS 12 (2012) ENUMERATION OF THE DEGREE SEQUENCES OF LINE HAMILTONIAN MULTIGRAPHS Shishuo Fu Department of Mathematical Sciences, Korea Advanced Institute Of Science And Technology (KAIST), Republic
More informationCONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)
CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition
More informationSome congruences for Andrews Paule s broken 2-diamond partitions
Discrete Mathematics 308 (2008) 5735 5741 www.elsevier.com/locate/disc Some congruences for Andrews Paule s broken 2-diamond partitions Song Heng Chan Division of Mathematical Sciences, School of Physical
More informationCONGRUENCES MODULO 2 FOR CERTAIN PARTITION FUNCTIONS
Bull. Aust. Math. Soc. 9 2016, 400 409 doi:10.1017/s000497271500167 CONGRUENCES MODULO 2 FOR CERTAIN PARTITION FUNCTIONS M. S. MAHADEVA NAIKA, B. HEMANTHKUMAR H. S. SUMANTH BHARADWAJ Received 9 August
More informationEVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS
EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes
More information4-Shadows in q-series and the Kimberling Index
4-Shadows in q-series and the Kimberling Index By George E. Andrews May 5, 206 Abstract An elementary method in q-series, the method of 4-shadows, is introduced and applied to several poblems in q-series
More informationEnumeration of the degree sequences of line Hamiltonian multigraphs
Enumeration of the degree sequences of line Hamiltonian multigraphs Shishuo Fu Department of Mathematical Sciences Korea Advanced Institute Of Science And Technology (KAIST) Republic of South Korea shishuo.fu@kaist.ac.kr
More informationCONGRUENCES MODULO SQUARES OF PRIMES FOR FU S k DOTS BRACELET PARTITIONS
CONGRUENCES MODULO SQUARES OF PRIMES FOR FU S k DOTS BRACELET PARTITIONS CRISTIAN-SILVIU RADU AND JAMES A SELLERS Dedicated to George Andrews on the occasion of his 75th birthday Abstract In 2007, Andrews
More informationNew infinite families of congruences modulo 8 for partitions with even parts distinct
New infinite families of congruences modulo for partitions with even parts distinct Ernest X.W. Xia Department of Mathematics Jiangsu University Zhenjiang, Jiangsu 212013, P. R. China ernestxwxia@13.com
More informationPARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND (2k + 1) CORES
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this paper we prove several new parity results for broken k-diamond partitions introduced in
More informationArithmetic properties of overcubic partition pairs
Arithmetic properties of overcubic partition pairs Bernard L.S. Lin School of Sciences Jimei University Xiamen 3101, P.R. China linlsjmu@13.com Submitted: May 5, 014; Accepted: Aug 7, 014; Published: Sep
More informationTHE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS
THE BAILEY TRANSFORM AND FALSE THETA FUNCTIONS GEORGE E ANDREWS 1 AND S OLE WARNAAR 2 Abstract An empirical exploration of five of Ramanujan s intriguing false theta function identities leads to unexpected
More informationRamanujan-type congruences for broken 2-diamond partitions modulo 3
Progress of Projects Supported by NSFC. ARTICLES. SCIENCE CHINA Mathematics doi: 10.1007/s11425-014-4846-7 Ramanujan-type congruences for broken 2-diamond partitions modulo 3 CHEN William Y.C. 1, FAN Anna
More informationThe Kth M-ary Partition Function
Indiana University of Pennsylvania Knowledge Repository @ IUP Theses and Dissertations (All) Fall 12-2016 The Kth M-ary Partition Function Laura E. Rucci Follow this and additional works at: http://knowledge.library.iup.edu/etd
More informationArithmetic Properties for a Certain Family of Knot Diagrams
Arithmetic Properties for a Certain Family of Knot Diagrams Darrin D. Frey Department of Science and Math Cedarville University Cedarville, OH 45314 freyd@cedarville.edu and James A. Sellers Department
More informationIDENTITIES FOR OVERPARTITIONS WITH EVEN SMALLEST PARTS
IDENTITIES FOR OVERPARTITIONS WITH EVEN SMALLEST PARTS MIN-JOO JANG AND JEREMY LOVEJOY Abstract. We prove several combinatorial identities involving overpartitions whose smallest parts are even. These
More informationA PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES
A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES MATTHEW S. MIZUHARA, JAMES A. SELLERS, AND HOLLY SWISHER Abstract. Ramanujan s celebrated congruences of the partition function p(n have inspired a vast
More informationInteger Partitions and Why Counting Them is Hard
Portland State University PDXScholar University Honors Theses University Honors College 3-3-207 Integer Partitions and Why Counting Them is Hard Jose A. Ortiz Portland State University Let us know how
More informationON DIVISIBILITY OF SOME POWER SUMS. Tamás Lengyel Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (007, #A4 ON DIVISIBILITY OF SOME POWER SUMS Tamás Lengyel Department of Mathematics, Occidental College, 600 Campus Road, Los Angeles, USA
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationON THE NUMBER OF HYPER m-ary PARTITIONS. Tom Edgar Department of Mathematics, Pacific Lutheran University, Tacoma, Washington
#A47 INTEGERS 18 (2018) ON THE NUMBER OF HPER m-ar PARTITIONS Tom Edgar Department of Mathematics, Pacific Lutheran University, Tacoma, Washington edgartj@plu.edu.edu Received: 8/11/17, Accepted: 5/13/18,
More informationThe Bhargava-Adiga Summation and Partitions
The Bhargava-Adiga Summation and Partitions By George E. Andrews September 12, 2016 Abstract The Bhargava-Adiga summation rivals the 1 ψ 1 summation of Ramanujan in elegance. This paper is devoted to two
More informationSOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ω(q) AND ν(q) S.N. Fathima and Utpal Pore (Received October 13, 2017)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 47 2017), 161-168 SOME CONGRUENCES FOR PARTITION FUNCTIONS RELATED TO MOCK THETA FUNCTIONS ωq) AND νq) S.N. Fathima and Utpal Pore Received October 1, 2017) Abstract.
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationON PARTITION FUNCTIONS OF ANDREWS AND STANLEY
ON PARTITION FUNCTIONS OF ANDREWS AND STANLEY AE JA YEE Abstract. G. E. Andrews has established a refinement of the generating function for partitions π according to the numbers O(π) and O(π ) of odd parts
More informationOn an identity of Gessel and Stanton and the new little Göllnitz identities
On an identity of Gessel and Stanton and the new little Göllnitz identities Carla D. Savage Dept. of Computer Science N. C. State University, Box 8206 Raleigh, NC 27695, USA savage@csc.ncsu.edu Andrew
More informationMACMAHON S PARTITION ANALYSIS IX: k-gon PARTITIONS
MACMAHON S PARTITION ANALYSIS IX: -GON PARTITIONS GEORGE E. ANDREWS, PETER PAULE, AND AXEL RIESE Dedicated to George Szeeres on the occasion of his 90th birthday Abstract. MacMahon devoted a significant
More informationON RECENT CONGRUENCE RESULTS OF ANDREWS AND PAULE FOR BROKEN ifc-diamonds
BULL. AUSTRAL. MATH. SOC. VOL. 75 (2007) [121-126] 05A17, 11P83 ON RECENT CONGRUENCE RESULTS OF ANDREWS AND PAULE FOR BROKEN ifc-diamonds MICHAEL D. HIRSCHHORN AND JAMES A. SELLERS In one of their most
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationMichael D. Hirschhorn and James A. Sellers. School of Mathematics UNSW Sydney 2052 Australia. and
FURTHER RESULTS FOR PARTITIONS INTO FOUR SQUARES OF EQUAL PARITY Michael D. Hirschhorn James A. Sellers School of Mathematics UNSW Sydney 2052 Australia Department of Mathematics Penn State University
More informationAbstract In this paper I give an elementary proof of congruence identity p(11n + 6) 0(mod11).
An Elementary Proof that p(11n + 6) 0(mod 11) By: Syrous Marivani, Ph.D. LSU Alexandria Mathematics Department 8100 HWY 71S Alexandria, LA 71302 Email: smarivani@lsua.edu Abstract In this paper I give
More informationFURTHER RESULTS FOR PARTITIONS INTO FOUR SQUARES OF EQUAL PARITY. Michael D. Hirschhorn and James A. Sellers
FURTHER RESULTS FOR PARTITIONS INTO FOUR SQUARES OF EQUAL PARITY Michael D. Hirschhorn James A. Sellers School of Mathematics UNSW Sydney 2052 Australia Department of Mathematics Penn State University
More informationINFINITE FAMILIES OF STRANGE PARTITION CONGRUENCES FOR BROKEN 2-DIAMONDS
December 1, 2009 INFINITE FAMILIES OF STRANGE PARTITION CONGRUENCES FOR BROKEN 2-DIAMONDS PETER PAULE AND SILVIU RADU Dedicated to our friend George E. Andrews on the occasion of his 70th birthday Abstract.
More informationDEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results
DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz
More informationRamanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3
Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3 William Y.C. Chen 1, Anna R.B. Fan 2 and Rebecca T. Yu 3 1,2,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071,
More informationQuadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7. Tianjin University, Tianjin , P. R. China
Quadratic Forms and Congruences for l-regular Partitions Modulo 3, 5 and 7 Qing-Hu Hou a, Lisa H. Sun b and Li Zhang b a Center for Applied Mathematics Tianjin University, Tianjin 30007, P. R. China b
More informationTiling Proofs of Recent Sum Identities Involving Pell Numbers
Tiling Proofs of Recent Sum Identities Involving Pell Numbers Arthur T. Benjamin Department of Mathematics, Harvey Mudd College, Claremont, CA 91711 E-mail: benjamin@hmc.edu Sean S. Plott Department of
More informationTHE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5
THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 JEREMY LOVEJOY Abstract. We establish a relationship between the factorization of n+1 and the 5-divisibility of Q(n, where Q(n is the number
More informationON CONGRUENCE PROPERTIES OF CONSECUTIVE VALUES OF P(N, M) Brandt Kronholm Department of Mathematics, University at Albany, Albany, New York, 12222
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (007), #A16 ON CONGRUENCE PROPERTIES OF CONSECUTIVE VALUES OF P(N, M) Brandt Kronholm Department of Mathematics, University at Albany, Albany,
More informationA Fine Dream. George E. Andrews (1) January 16, 2006
A Fine Dream George E. Andrews () January 6, 2006 Abstract We shall develop further N. J. Fine s theory of three parameter non-homogeneous first order q-difference equations. The obect of our work is to
More informationSingular Overpartitions
Singular Overpartitions George E. Andrews Dedicated to the memory of Paul Bateman and Heini Halberstam. Abstract The object in this paper is to present a general theorem for overpartitions analogous to
More informationArithmetic Properties for Ramanujan s φ function
Arithmetic Properties for Ramanujan s φ function Ernest X.W. Xia Jiangsu University ernestxwxia@163.com Nankai University Ernest X.W. Xia (Jiangsu University) Arithmetic Properties for Ramanujan s φ function
More informationHIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION
ISSN 2066-6594 Ann Acad Rom Sci Ser Math Appl Vol 10, No 1/2018 HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION Mircea Merca Dedicated to Professor Mihail Megan on
More informationThe spt-crank for Ordinary Partitions
The spt-crank for Ordinary Partitions William Y.C. Chen a,b, Kathy Q. Ji a and Wenston J.T. Zang a a Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071, P.R. China b Center for Applied
More informationANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM
q-hypergeometric PROOFS OF POLYNOMIAL ANALOGUES OF THE TRIPLE PRODUCT IDENTITY, LEBESGUE S IDENTITY AND EULER S PENTAGONAL NUMBER THEOREM S OLE WARNAAR Abstract We present alternative, q-hypergeometric
More informationPARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS
PARTITIONS WITH FIXED DIFFERENCES BETWEEN LARGEST AND SMALLEST PARTS GEORGE E. ANDREWS, MATTHIAS BECK, AND NEVILLE ROBBINS Abstract. We study the number p(n, t) of partitions of n with difference t between
More informationarxiv: v1 [math.co] 25 Nov 2018
The Unimodality of the Crank on Overpartitions Wenston J.T. Zang and Helen W.J. Zhang 2 arxiv:8.003v [math.co] 25 Nov 208 Institute of Advanced Study of Mathematics Harbin Institute of Technology, Heilongjiang
More informationArticle 12 INTEGERS 11A (2011) Proceedings of Integers Conference 2009 RECURSIVELY SELF-CONJUGATE PARTITIONS
Article 12 INTEGERS 11A (2011) Proceedings of Integers Conference 2009 RECURSIVELY SELF-CONJUGATE PARTITIONS William J. Keith Department of Mathematics, Drexel University, Philadelphia, PA 19104, USA wjk26@math.drexel.edu
More information= (q) M+N (q) M (q) N
A OVERPARTITIO AALOGUE OF THE -BIOMIAL COEFFICIETS JEHAE DOUSSE AD BYUGCHA KIM Abstract We define an overpartition analogue of Gaussian polynomials (also known as -binomial coefficients) as a generating
More informationNumber Theory Homework.
Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this
More informationModular Arithmetic Instructor: Marizza Bailey Name:
Modular Arithmetic Instructor: Marizza Bailey Name: 1. Introduction to Modular Arithmetic If someone asks you what day it is 145 days from now, what would you answer? Would you count 145 days, or find
More informationA GENERALIZATION OF THE FARKAS AND KRA PARTITION THEOREM FOR MODULUS 7
A GENERALIZATION OF THE FARKAS AND KRA PARTITION THEOREM FOR MODULUS 7 S. OLE WARNAAR Dedicated to George Andrews on the occasion of his 65th birthday Abstract. We prove generalizations of some partition
More informationAlexander Berkovich and Frank G. Garvan Department of Mathematics, University of Florida, Gainesville, Florida
Journal of Combinatorics and Number Theory JCNT 2009, Volume 1, Issue # 3, pp. 49-64 ISSN 1942-5600 c 2009 Nova Science Publishers, Inc. THE GBG-RANK AND t-cores I. COUNTING AND 4-CORES Alexander Berkovich
More informationArithmetic Properties of Partition k-tuples with Odd Parts Distinct
3 7 6 3 Journal of Integer Sequences, Vol. 9 06, Article 6.5.7 Arithmetic Properties of Partition k-tuples with Odd Parts Distinct M. S. Mahadeva Naika and D. S. Gireesh Department of Mathematics Bangalore
More informationNew Congruences for Broken k-diamond Partitions
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.5.8 New Congruences for Broken k-diamond Partitions Dazhao Tang College of Mathematics and Statistics Huxi Campus Chongqing University
More informationRAMANUJAN-TYPE CONGRUENCES MODULO POWERS OF 5 AND 7. D. Ranganatha
Indian J. Pure Appl. Math., 83: 9-65, September 07 c Indian National Science Academy DOI: 0.007/s36-07-037- RAMANUJAN-TYPE CONGRUENCES MODULO POWERS OF 5 AND 7 D. Ranganatha Department of Studies in Mathematics,
More informationSign elements in symmetric groups
Dept. of Mathematical Sciences University of Copenhagen, Denmark Nagoya, September 4, 2008 Introduction Work in progress Question by G. Navarro about characters in symmetric groups, related to a paper
More informationMultiplicative Order of Gauss Periods
Multiplicative Order of Gauss Periods Omran Ahmadi Department of Electrical and Computer Engineering University of Toronto Toronto, Ontario, M5S 3G4, Canada oahmadid@comm.utoronto.ca Igor E. Shparlinski
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationA REFINEMENT OF THE ALLADI-SCHUR THEOREM
A REFINEMENT OF THE ALLADI-SCHUR THEOREM GEORGE E. ANDREWS Abstract. K. Alladi first observed a variant of I. Schur s 1926 partition theore. Namely, the number of partitions of n in which all parts are
More information#A6 INTEGERS 17 (2017) AN IMPLICIT ZECKENDORF REPRESENTATION
#A6 INTEGERS 17 (017) AN IMPLICIT ZECKENDORF REPRESENTATION Martin Gri ths Dept. of Mathematical Sciences, University of Essex, Colchester, United Kingdom griffm@essex.ac.uk Received: /19/16, Accepted:
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More informationRing-magic labelings of graphs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 4 (2008), Pages 47 58 Ring-magic labelings of graphs W.C. Shiu Department of Mathematics Hong Kong Baptist University 224 Waterloo Road, Kowloon Tong Hong Kong
More informationTomáš Madaras Congruence classes
Congruence classes For given integer m 2, the congruence relation modulo m at the set Z is the equivalence relation, thus, it provides a corresponding partition of Z into mutually disjoint sets. Definition
More informationA PARTITION IDENTITY AND THE UNIVERSAL MOCK THETA FUNCTION g 2
A PARTITION IDENTITY AND THE UNIVERSAL MOCK THETA FUNCTION g KATHRIN BRINGMANN, JEREMY LOVEJOY, AND KARL MAHLBURG Abstract. We prove analytic and combinatorial identities reminiscent of Schur s classical
More informationarxiv: v1 [math.co] 8 Sep 2017
NEW CONGRUENCES FOR BROKEN k-diamond PARTITIONS DAZHAO TANG arxiv:170902584v1 [mathco] 8 Sep 2017 Abstract The notion of broken k-diamond partitions was introduced by Andrews and Paule Let k (n) denote
More informationDYSON'S CRANK OF A PARTITION
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 8, Number, April 988 DYSON'S CRANK OF A PARTITION GEORGE E. ANDREWS AND F. G. GARVAN. Introduction. In [], F. J. Dyson defined the rank
More informationarxiv: v1 [math.co] 21 Sep 2015
Chocolate Numbers arxiv:1509.06093v1 [math.co] 21 Sep 2015 Caleb Ji, Tanya Khovanova, Robin Park, Angela Song September 22, 2015 Abstract In this paper, we consider a game played on a rectangular m n gridded
More information9 MODULARITY AND GCD PROPERTIES OF GENERALIZED FIBONACCI NUMBERS
#A55 INTEGERS 14 (2014) 9 MODULARITY AND GCD PROPERTIES OF GENERALIZED FIBONACCI NUMBERS Rigoberto Flórez 1 Department of Mathematics and Computer Science, The Citadel, Charleston, South Carolina rigo.florez@citadel.edu
More informationTwo-boundary lattice paths and parking functions
Two-boundary lattice paths and parking functions Joseph PS Kung 1, Xinyu Sun 2, and Catherine Yan 3,4 1 Department of Mathematics, University of North Texas, Denton, TX 76203 2,3 Department of Mathematics
More informationarxiv: v1 [math.nt] 22 Jan 2019
Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an 223300, Jiangsu People s Republic of China jwguo@hytceducn arxiv:190107908v1
More informationCOMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES. James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 19383, USA
COMBINATORICS OF RAMANUJAN-SLATER TYPE IDENTITIES James McLaughlin Department of Mathematics, West Chester University, West Chester, PA 9383, USA jmclaughl@wcupa.edu Andrew V. Sills Department of Mathematical
More informationEnumeration Problems for a Linear Congruence Equation
Enumeration Problems for a Linear Congruence Equation Wun-Seng Chou Institute of Mathematics Academia Sinica and Department of Mathematical Sciences National Chengchi University Taipei, Taiwan, ROC E-mail:
More information7. Prime Numbers Part VI of PJE
7. Prime Numbers Part VI of PJE 7.1 Definition (p.277) A positive integer n is prime when n > 1 and the only divisors are ±1 and +n. That is D (n) = { n 1 1 n}. Otherwise n > 1 is said to be composite.
More informationm=1 . ( bzq; q2 ) k (zq 2 ; q 2 ) k . (1 + bzq4k 1 ) (1 + bzq 2k 1 ). Here and in what follows, we have made use of the standard notation (a) n = j=0
PARTITIONS WITH NON-REPEATING ODD PARTS AND COMBINATORIAL IDENTITIES Krishnaswami Alladi* Abstract: Continuing our earlier work on partitions with non-repeating odd parts and q-hypergeometric identities,
More informationAppending Digits to Generate an Infinite Sequence of Composite Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 2011, Article 11.5.7 Appending Digits to Generate an Infinite Sequence of Composite Numbers Lenny Jones and Daniel White Department of Mathematics
More informationARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3
ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where
More informationCombinatorial results for certain semigroups of partial isometries of a finite chain
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 58() (014), Pages 65 75 Combinatorial results for certain semigroups of partial isometries of a finite chain F. Al-Kharousi Department of Mathematics and Statistics
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
More informationarxiv: v2 [math.nt] 9 Apr 2015
CONGRUENCES FOR PARTITION PAIRS WITH CONDITIONS arxiv:408506v2 mathnt 9 Apr 205 CHRIS JENNINGS-SHAFFER Abstract We prove congruences for the number of partition pairs π,π 2 such that π is nonempty, sπ
More informationMATH CSE20 Homework 5 Due Monday November 4
MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of
More informationSome generalizations of a supercongruence of van Hamme
Some generalizations of a supercongruence of van Hamme Victor J. W. Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an, Jiangsu 3300, People s Republic of China jwguo@hytc.edu.cn Abstract.
More informationCounting k-marked Durfee Symbols
Counting k-marked Durfee Symbols Kağan Kurşungöz Department of Mathematics The Pennsylvania State University University Park PA 602 kursun@math.psu.edu Submitted: May 7 200; Accepted: Feb 5 20; Published:
More informationTHE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS
THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS DIEGO MARQUES Abstract. Let F n be the nth Fibonacci number. The order of appearance z(n) of a natural number n is defined as the smallest
More informationTwo truncated identities of Gauss
Two truncated identities of Gauss Victor J W Guo 1 and Jiang Zeng 2 1 Department of Mathematics, East China Normal University, Shanghai 200062, People s Republic of China jwguo@mathecnueducn, http://mathecnueducn/~jwguo
More informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More information