-
arXiv:2501.19272 [pdf, ps, other]
A MacMahon Analysis View of Cylindric Partitions
Abstract: We study cylindric partitions with two-element profiles using MacMahon's partition analysis. We find explicit formulas for the generating functions of the number of cylindric partitions by first finding the recurrences using partition analysis and then solving them. We also note some q-series identities related to these objects that show the manifestly positive nature of some alternating series. W… ▽ More
Submitted 31 January, 2025; originally announced January 2025.
Comments: 28 pages
MSC Class: 11B65; 33F10; 11C08; 11P81; 11P82; 11P84; 05A10; 05A15; 05A17; 05A30
-
Quantifier Elimination for Normal Cone Computations
Abstract: We present effective procedures to calculate regular normal cones and other related objects using quantifier elimination. This method of normal cone calculations is complementary to computing Lagrangians and it works best at points where the constraint qualifications fail and extra work for other methods becomes inevitable. This method also serves as a tool to calculate the regular co-derivative f… ▽ More
Submitted 8 February, 2024; originally announced February 2024.
Comments: 15 pages, 2 figures
MSC Class: 49J53; 03C10; 49J52; 68V15; 74P10; 90C23; 90C30; 90C31; 90C53 ACM Class: I.1.4
-
arXiv:2402.04392 [pdf, ps, other]
Factorial Basis Method for q-Series Applications
Abstract: The Factorial Basis method, initially designed for quasi-triangular, shift-compatible factorial bases, provides solutions to linear recurrence equations in the form of definite-sums. This paper extends the Factorial Basis method to its q-analog, enabling its application in q-calculus. We demonstrate the adaptation of the method to q-sequences and its utility in the realm of q-combinatorics. The ex… ▽ More
Submitted 6 February, 2024; originally announced February 2024.
Comments: 9 double-column pages
MSC Class: 05A15; 05A30; 68R05; 05-04 ACM Class: G.2.1; I.1.4; F.2.2
-
arXiv:2312.16210 [pdf, ps, other]
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Abstract: This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer algebra systems decades ago, but have recently received renewed interest as part of the ongoing develop… ▽ More
Submitted 26 December, 2024; v1 submitted 23 December, 2023; originally announced December 2023.
Comments: Submitted to Mathematics in Computer Science
MSC Class: 14W30 (primary) 68W30 (secondary) ACM Class: I.1.2
-
A Unified Approach to Unimodality of Gaussian Polynomials
Abstract: In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establi… ▽ More
Submitted 31 August, 2023; v1 submitted 8 February, 2023; originally announced February 2023.
Comments: Supplementary material at https://wongey.github.io/unimodality
Journal ref: ISSAC 2023: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, July 2023, Pages 434-442
-
arXiv:2301.01359 [pdf, ps, other]
Proofs of Modulo 11 and 13 Cylindric Kanade-Russell Conjectures for $A_2$ Rogers-Ramanujan Type Identities
Abstract: We present proofs of two new families of sum-product identities arising from the cylindric partitions paradigm. Most of the presented expressions, the related sum-product identities, and the ingredients for the proofs were first conjectured by Kanade-Russell in the spirit of Andrews-Schilling-Warnaar identities of the $A_2$ Rogers-Ramanujan type. We follow the footsteps of Kanade-Russell while we… ▽ More
Submitted 3 January, 2023; originally announced January 2023.
Comments: 19 pages
MSC Class: 05A15; 05A17; 05A19; 11B65; 11P84; 17B65; 68R05
-
arXiv:2205.00527 [pdf, ps, other]
On Finite Analogs of Schmidt's Problem and Its Variants
Abstract: We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szegő polynomials by Berkovich-Warnaar, and present various Schmidt's problem alike theorems and their refinements. Our new Schmidt type results include the use of even-indexed part… ▽ More
Submitted 19 May, 2022; v1 submitted 1 May, 2022; originally announced May 2022.
Comments: 13 pages, 2 figures, 10 tables
MSC Class: 05A15; 05A17; 05A19; 11B34; 11B75; 11P81
-
arXiv:2111.15003 [pdf, ps, other]
Sequences in Overpartitions
Abstract: This paper is devoted to the study of sequences in overpartitions and their relation to 2-color partitions. An extensive study of a general class of double series is required to achieve these ends.
Submitted 29 November, 2021; originally announced November 2021.
Comments: 10 pages
MSC Class: Primary 11B65; Secondary 11C08; 11C20; 11P81; 11P84; 05A10; 05A15; 05A17
-
arXiv:2106.09773 [pdf, ps, other]
New infinite hierarchies of polynomial identities related to the Capparelli partition theorems
Abstract: We prove a new polynomial refinement of the Capparelli's identities. Using a special case of Bailey's lemma we prove many infinite families of sum-product identities that root from our finite analogues of Capparelli's identities. We also discuss the $q\mapsto 1/q$ duality transformation of the base identities and some related partition theoretic relations.
Submitted 26 June, 2021; v1 submitted 17 June, 2021; originally announced June 2021.
Comments: 16 pages
MSC Class: Primary 11B65; Secondary 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17
-
Cylindric partitions and some new $A_2$ Rogers-Ramanujan identities
Abstract: We study the generating functions for cylindric partitions with profile $(c_1,c_2,c_3)$ for all $c_1,c_2,c_3$ such that $c_1+c_2+c_3=5$. This allows us to discover and prove seven new $A_2$ Rogers-Ramanujan identities modulo $8$ with quadruple sums, related with work of Andrews, Schilling, and Warnaar.
Submitted 25 November, 2020; originally announced November 2020.
Comments: 12 pages, 3 figures
-
arXiv:2005.04903 [pdf, ps, other]
On a weighted spin of the Lebesgue Identity
Abstract: Alladi studied partition theoretic implications of a two variable generalization of the Lebesgue identity. In this short note, we focus on a slight variation of the basic hypergeometric sum that Alladi studied. We present two new partition identities involving weights.
Submitted 11 May, 2020; originally announced May 2020.
Comments: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, pp 273-279
MSC Class: 05A15; 05A17; 05A19; 11P81; 33D15
-
arXiv:2002.07796 [pdf, ps, other]
Log-concavity results for a biparametric and an elliptic extension of the $q$-binomial coefficients
Abstract: We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality.
Submitted 11 August, 2020; v1 submitted 18 February, 2020; originally announced February 2020.
Comments: 17 pages; dedicated to Bruce Berndt, on the occasion of his 80th birthday; minor changes; to appear in the International Journal of Number Theory
MSC Class: 05A20 (Primary) 05A10; 05A30; 11F27; 26D20; 33E05 (Secondary)
-
Where do the maximum absolute $q$-series coefficients of $(1-q)(1-q^2)(1-q^3)\dots(1-q^{n-1})(1-q^n)$ occur?
Abstract: We used the MACH2 supercomputer to study coefficients in the $q$-series expansion of $(1-q)(1-q^2)\dots(1-q^n)$, for all $n\leq 75000$. As a result, we were able to conjecture some periodic properties associated with the before unknown location of the maximum coefficient of these polynomials with odd $n$. Remarkably the observed period is 62,624.
Submitted 9 November, 2019; originally announced November 2019.
Comments: 9 pages, 1 figure, 3 tables
MSC Class: 05A15; 05A30; 11Y55; 11Y60; 90C10
-
arXiv:1910.12410 [pdf, ps, other]
qFunctions -- A Mathematica package for $q$-series and partition theory applications
Abstract: We describe the qFunctions Mathematica package for $q$-series and partition theory applications. This package includes both experimental and symbolic tools. The experimental set of elements includes guessers for $q$-shift equations and recurrences for given $q$-series and fitting/finding explicit expressions for sequences of polynomials. This package can symbolically handle formal manipulations on… ▽ More
Submitted 27 October, 2019; originally announced October 2019.
Comments: 17 pages
MSC Class: 05A15; 05A17; 05A19; 11P81; 33D15; 68-01; 68R05
-
arXiv:1903.01157 [pdf, ps, other]
A Polynomial Identity Implying Schur's Partition Theorem
Abstract: We propose and prove a new polynomial identity that implies Schur's partition theorem. We give combinatorial interpretations of some of our expressions in the spirit of Kurşungöz. We also present some related polynomial and $q$-series identities.
Submitted 4 March, 2019; originally announced March 2019.
Comments: 11 pages
MSC Class: 05A15; 05A17; 05A19; 11B37; 11P83
-
arXiv:1811.08261 [pdf, ps, other]
On double sum generating functions in connection with some classical partition theorems
Abstract: We focus on writing closed forms of generating functions for the number of partitions with gap conditions as double sums starting from a combinatorial construction. Some examples of the sets of partitions with gap conditions to be discussed here are the set of Rogers--Ramanujan, Göllnitz--Gordon, and little Göllnitz partitions. This work also includes finding the finite analogs of the related gene… ▽ More
Submitted 27 July, 2021; v1 submitted 20 November, 2018; originally announced November 2018.
Comments: 24 pages
MSC Class: 05A10; 05A15; 05A17; 11B37; 11B65; 11P81; 11P83; 11P84; 11C08
-
arXiv:1810.12048 [pdf, ps, other]
Refined $q$-Trinomial Coefficients and Two Infinite Hierarchies of $q$-Series Identities
Abstract: We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem.
Submitted 27 March, 2019; v1 submitted 29 October, 2018; originally announced October 2018.
Comments: 10 pages
MSC Class: 11B65; 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17
-
arXiv:1810.06497 [pdf, ps, other]
Elementary Polynomial Identities Involving $q$-Trinomial Coefficients
Abstract: We use $q$-binomial theorem to prove three new polynomial identities involving $q$-trinomial coefficients. We then use summation formulas for the $q$-trinomial coefficients to convert our identities into another set of three polynomial identities, which imply Capparelli's partition theorems when the degree of the polynomial tends to infinity. This way we also obtain an interesting new result for t… ▽ More
Submitted 15 October, 2018; originally announced October 2018.
Comments: 9 pages
MSC Class: 11B65; 11C08; 11P81; 11P82; 11P83; 11P84; 05A10; 05A15; 05A17
-
arXiv:1807.10974 [pdf, ps, other]
Polynomial Identities Implying Capparelli's Partition Theorems
Abstract: We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow Kurşungöz's ideas to provide direct combinatorial interpretations of some of our expressions. We use of the trinomial analogue of Bailey's lemma to derive new ide… ▽ More
Submitted 15 February, 2019; v1 submitted 28 July, 2018; originally announced July 2018.
Comments: 22 pages, 3 tables
MSC Class: 05A15; 05A17; 05A19; 11B37; 11P83
-
arXiv:1708.01957 [pdf, ps, other]
Some Elementary Partition Inequalities and Their Implications
Abstract: We prove various inequalities between the number of partitions with the bound on the largest part and some restrictions on occurrences of parts. We explore many interesting consequences of these partition inequalities. In particular, we show that for $L\geq 1$, the number of partitions with $l-s \leq L$ and $s=1$ is greater than the number of partitions with $l-s\leq L$ and $s>1$. Here $l$ and… ▽ More
Submitted 6 August, 2017; originally announced August 2017.
Comments: 16 pages
MSC Class: 05A15; 05A17; 05A19; 05A20; 11B65; 11P81; 11P84; 33D15
-
arXiv:1705.07504 [pdf, ps, other]
On some polynomials and series of Bloch-Polya Type
Abstract: We will show that $(1-q)(1-q^2)\dots (1-q^m)$ is a polynomial in $q$ with coefficients from $\{-1,0,1\}$ iff $m=1,\ 2,\ 3,$ or $5$ and explore some interesting consequences of this result. We find explicit formulas for the $q$-series coefficients of $(1-q^2)(1-q^3)(1-q^4)(1-q^5)\dots$ and $(1-q^3)(1-q^4)(1-q^5)(1-q^6)\dots$. In doing so, we extend certain observations made by Sudler in 1964. We al… ▽ More
Submitted 11 October, 2017; v1 submitted 21 May, 2017; originally announced May 2017.
Comments: 9 pages, 2 tables
MSC Class: 05A17; 05A19; 11B65; 11P81
-
arXiv:1608.00193 [pdf, ps, other]
New Weighted Partition Theorems with the Emphasis on the Smallest Part of Partitions
Abstract: We use the $q$-binomial theorem, the $q$-Gauss sum, and the ${}_2φ_1 \rightarrow {}_2φ_2$ transformation of Jackson to discover and prove many new weighted partition identities. These identities involve unrestricted partitions, overpartitions, and partitions with distinct even parts. Smallest part of the partitions plays an important role in our analysis. This work was motivated in part by the res… ▽ More
Submitted 11 November, 2016; v1 submitted 31 July, 2016; originally announced August 2016.
Comments: 18 pages, 7 tables
MSC Class: 05A15; 05A17; 05A19; 11B34; 11B75; 11P81; 11P84; 33D15
-
arXiv:1605.00291 [pdf, ps, other]
Variation on a theme of Nathan Fine. New weighted partition identities
Abstract: We utilize false theta function results of Nathan Fine to discover three new partition identities involving weights. These relations connect Göllnitz--Gordon type partitions and partitions with distinct odd parts, partitions into distinct parts and ordinary partitions, and partitions with distinct odd parts where the smallest positive integer that is not a part of the partition is odd and ordinary… ▽ More
Submitted 7 November, 2016; v1 submitted 1 May, 2016; originally announced May 2016.
Comments: 16 pages, 9 tables
MSC Class: 05A17; 05A19; 11B34; 11B75; 11P81; 11P84; 33D15
-
arXiv:1603.00399 [pdf, ps, other]
Weighted Rogers-Ramanujan Partitions and Dyson Crank
Abstract: In this paper we refine a weighted partition identity of Alladi. We write explicit formulas of generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results and the different statistics with the crank of a partition. In particular, we prove that the number of partitions into even number of distinct parts whose odd-i… ▽ More
Submitted 30 March, 2016; v1 submitted 1 March, 2016; originally announced March 2016.
Comments: 8 pages
MSC Class: 05A15; 05A17; 05A19; 11B75; 11P81; 11P84
-
arXiv:1510.07301 [pdf, ps, other]
On partitions with fixed number of even-indexed and odd-indexed odd parts
Abstract: This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We… ▽ More
Submitted 9 April, 2016; v1 submitted 25 October, 2015; originally announced October 2015.
Comments: 17 pages, 8 tables. The paper will appear in the Journal of Number Theory
MSC Class: 05A15; 05A17; 05A19; 11B34; 11B37; 11B75; 11P81; 11P83; 33D15
-
arXiv:1504.02922 [pdf, ps, other]
A New Companion to Capparelli's Identities
Abstract: We discuss a new companion to Capparelli's identities. Capparelli's identities for m=1,2 state that the number of partitions of $n$ into distinct parts not congruent to m, -m modulo $6$ is equal to the number of partitions of n into distinct parts not equal to m, where the difference between parts is greater than or equal to 4, unless consecutive parts are either both consecutive multiples of 3 or… ▽ More
Submitted 11 June, 2015; v1 submitted 11 April, 2015; originally announced April 2015.
Comments: 9 pages
MSC Class: 05A15; 05A17; 05A20; 11B34; 11B37; 11P83